El Laplaciano en Variedades Riemannianas - Centro de Matemática
El Laplaciano en Variedades Riemannianas - Centro de Matemática
El Laplaciano en Variedades Riemannianas - Centro de Matemática
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Herrami<strong>en</strong>tas <strong>de</strong>l Análisis FuncionalDefinición 2.1Diremos que una función u, <strong>de</strong>finida a m<strong>en</strong>os <strong>de</strong> conjuntos <strong>de</strong> medida nula <strong>en</strong>M, es localm<strong>en</strong>te integrable si para todo conjunto compacto A ⊂ M se cumpleque u ∈ L 1 (A).L 1 loc (M) d<strong>en</strong>otará al conjunto <strong>de</strong> las funciones localm<strong>en</strong>te integrables <strong>en</strong> M.Trabajemos <strong>en</strong>tonces <strong>en</strong> este espacio. Dada u ∈ L 1 loc (M), hagamos una asignaciónanáloga a la que haríamos vía Riesz, si u estuviera <strong>en</strong> L 2 (M), para obt<strong>en</strong>erun funcional lineal. Explícitam<strong>en</strong>te, le asociaremos la función T u <strong>de</strong>finida por∫T u (φ) = u(x)φ(x)dx ∀φ ∈ DMObservamos que esta expresión ti<strong>en</strong>e s<strong>en</strong>tido pues uφ ∈ L 1 (M). La linealidad<strong>de</strong> la integral asegura que T u será lineal.Para ver la continuidad, tomemos {φ n } ⊂ C0 ∞ (M) convergi<strong>en</strong>do a φ ∈ C0 ∞ (M)<strong>en</strong> el s<strong>en</strong>tido <strong>de</strong> D. Sabemos <strong>en</strong>tonces que existe un compacto K tal quesop(φ n − φ) ⊂ K, y por lo tanto∫|T u φ n − T u φ| ≤ sup |φ n (x) − φ(x)| |u(x)|dx −→ 0x∈KEs importante remarcar que el mapa u T u no es <strong>en</strong> g<strong>en</strong>eral sobreyectivo,es <strong>de</strong>cir, exist<strong>en</strong> distribuciones que no son <strong>de</strong> la forma T u para ningún u ∈L 1 loc (M). Por ejemplo, consi<strong>de</strong>remos la distribuciónδ x0 (φ) = φ(x 0 )K∀, φ ∈ D y un x 0 ∈ M.Si δ x0 (φ) fuera <strong>de</strong> la forma T u para alguna u ∈ L 1 loc (M) <strong>en</strong>tonces ∀ φ ∈ C∞ 0 (M)∫δ x0 (φ) = T u (φ) = u(x)φ(x)dω g (x)Sea φ ∈ C0 ∞ (M) tal que φ(x) = 0 ⇔ x = x 0 . Luego,∫u(x)φ(x)dω g (x) = φ(x 0 ) = 0Mpor lo que u(x)φ(x) = 0 y por tanto u(x) = 0 <strong>en</strong> casi todo punto, lo queimplica que T u ≡ 0. Ahora, sea ψ ∈ C ∞ 0 (M) tal que ψ(x 0 ) ≠ 0. LuegoM0 ≠ δ x0 (ψ) = T u (ψ) = 018