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.

Primeros Resultados <strong>en</strong> R nLuego, por el teorema <strong>de</strong> converg<strong>en</strong>cia dominada t<strong>en</strong>emos quelím 〈∆ g u n , u n 〉 = límn n∆ g u n ·u n =∫R n ∫lím ∆ g u n ·u n =R n n∫∆ g u·u = 〈∆ g u, u〉R nObservamos que utilizamos la converg<strong>en</strong>cia <strong>en</strong> H 1 (R n ) para intercambiar ellímite con el operador ∆ g , ya que este último es continuo allí.Así obtuvimos que ∀ u ∈ H 1 (R n )〈∆ g u, u〉 ≥ γ 1 ‖u‖ 2 1 − ‖u‖ 2 0□Teorema 3.7 (Interpolación)Si T : H s 0(R n ) −→ H t 0(R n ) es un operador continuo tal que T [H s 1(R n )] ⊂H t 1(R n ) para s 1 > s 0 y t 1 > t 0 <strong>en</strong>tonces si s θ = (1 − θ)s 0 + θs 1 y t θ =(1 − θ)t 0 + θt 1 para algún θ ∈ [0, 1] <strong>en</strong>tonces T : H s θ (R n ) −→ H t θ (R n ) escontinuo.Corolario 3.8Si T : H s 0(R n ) −→ H t 0(R n ) y T : H s 1(R n ) −→ H t 1(R n ) son biyectivas <strong>en</strong>toncesH s θ (R n ) −→ H t θ (R n ) es un homeomorfismo ∀θ ∈ [0, 1].A continuación <strong>de</strong>mostraremos uno <strong>de</strong> los teoremas más importantes <strong>de</strong> estasnotas.Teorema 3.9Sea g una métrica Riemanniana <strong>en</strong> R n tal que g coinci<strong>de</strong> con la métricaEuclí<strong>de</strong>a <strong>en</strong> B(0, 2) c . Entonces, el <strong>Laplaciano</strong> ∆ g : HR 2 (Rn ) −→ L 2 R (Rn ) esDiagonalizable <strong>en</strong> una base ortonormal <strong>de</strong> L 2 R (Rn ).Demostración:Parte I: Si P : H 1 (R n ) −→ H −1 (R n ) es un operador coercitivo <strong>en</strong>tonces ∃ γ 0tal que el operador P + γI : H 1 (R n ) −→ H −1 (R n ) es biyectivo ∀γ ≥ γ 0 .Observemos queRe〈(P + γI)u, u〉 = Re〈P u, u〉 + γ‖u‖ 2 0 ≥ γ 1 ‖u‖ 2 1 − ‖u‖ 2 0 + γ‖u‖ 2 0 ≥ γ 1 ‖u‖ 2 1<strong>de</strong> don<strong>de</strong> P + γI es inyectivo. A<strong>de</strong>más,‖(P +γI)u‖ −1 ≥ 1 |〈(P +γI)u, u〉| ≥ 1 [ ]γ1 ‖u‖ 2 1 − ‖u‖ 2 0 + γ‖u‖ 2 0 ≥ ‖u‖1‖u‖ 1 ‖u‖ 142

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

Saved successfully!

Ooh no, something went wrong!