12.07.2015 Views

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

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Por lo que Im(P + γI) es un subespacio cerrado <strong>de</strong> H −1 (R n ).Veamos ahora que es sobreyectivo. Supongamos que no lo es, <strong>en</strong>tonces porHahn-Banach ∃ F ∈ H −1 (R n ) tal que F ≠ 0 y F | Im(P +γI) = 0. Como (H −1 (R n )) ∗ ≃H 1 (R n ) esto es equival<strong>en</strong>te a <strong>de</strong>cir que ∃ u ∈ H 1 (R n ), u ≠ 0, tal que φ(u) = 0∀φ ∈ Im(P + γI). En otras palabrasEn particular〈(P + γI)v, u〉 = 0 ∀v ∈ H 1 (R n )0 = 〈(P + γI)u, u〉 ≥ ‖u‖ 1por lo que u = 0 contradici<strong>en</strong>do lo afirmado.Parte II: Para todo r ∈ Z, r ≥ 0, el operador (∆ g +γI): H r+2 (R n ) −→ H r (R n )es continuo y biyectivo ∀ γ ≥ σ(r).Definamos para todo r ∈ Z el operador P (r)1 : H 1 (R n ) −→ H −1 (R n ) porP (r)1 u = (∆ + I) r ∆ g (∆ + I) −r u∀ u ∈ H 1 (R n ). Llamemos T al operador T = (∆ + I) r ∆ g − ∆ g (∆ + I) r . LuegoT es un operador difer<strong>en</strong>cial <strong>de</strong> ord<strong>en</strong> ≤ 2r + 1, es <strong>de</strong>cir que no aparec<strong>en</strong> <strong>de</strong>rivadas<strong>de</strong> ord<strong>en</strong> 2r + 2. Observemos eso:Supongamos primero que r = 1. Entonces,T u = (∆ + I)∆ g u − ∆ g (∆ + I)u = ∆∆ g u + ∆ g u − ∆ g ∆u − ∆ g= ∆∆ g u − ∆ g ∆uy consi<strong>de</strong>remos T = ∆∆ g − ∆ g ∆: H 3 (R n ) −→ H −1 (R n ).<strong>El</strong> operador T es continuo pues los mapas∆: H 1 (R n ) −→ H −1 (R n ) ∆: H 3 (R n ) −→ H 1 (R n )lo son.∆ g : H 1 (R n ) −→ H −1 (R n ) ∆ g : H 3 (R n ) −→ H 1 (R n )Para simplificar notación escribiremos∆ = ∑ k∂ 2 k∆ g = a ∑ ij∂ i a ij ∂ jCalculemos ∆∆ g = ∑ k ∂2 k ∆ g :[∂k∆ 2 g = ∂k2 a ∑ ij∂ i a ij ∂ j]43

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!