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.

don<strong>de</strong> la última <strong>de</strong>sigualdad se <strong>de</strong>be a que√ √γ1 20 ≤ (2 ‖u‖ 1 − K‖u‖ 0 ) 2 ≤ γ 1γ 1 2 ‖u‖2 1 − K‖u‖ 1 ‖u‖ 0 + 2 K 2 ‖u‖ 2 0γ 1Luego t<strong>en</strong>emos queRe〈(P + Q)u, u〉 ≥ γ 12 ‖u‖2 1 −y por tanto P + Q es coercitivo.[γ 0 + 2 γ 1K 2 ]‖u‖ 2 0□Lema 3.6<strong>El</strong> <strong>Laplaciano</strong> ∆ g : H 1 (R n ) −→ H −1 (R n ) es un operador coercitivo.Demostración:Veamos primero la continuidad. Tomemos u ∈ C0 ∞ (R n ). Luego∫∫‖∆ g u‖ −1 = sup ∆ g u · v dω g ≤ sup ∇ g u ∇ g v dω g‖v‖ 1 =1 R n ‖v‖ 1 =1 R n≤ ‖∇ g u‖ 0 ‖∇ g v‖ 0 ≤ ‖u‖ H 1‖v‖ H 1 ≤ γ 0 ‖u‖ 1 ‖v‖ 1 = γ 0 ‖u‖ 1Don<strong>de</strong> el número γ 0 provi<strong>en</strong>e <strong>de</strong> que las normas <strong>en</strong> H 1 (R n ) son equival<strong>en</strong>tes ypor tanto ∃ γ 0 , γ 1 ∈ R + tal que √ γ 1 ‖u‖ 1 ≤ ‖u‖ H 1 ≤ √ γ 0 ‖u‖ 1 ∀u ∈ H 1 (R n ).Luego ‖∆ g u‖ −1 ≤ γ 0 ‖u‖ 1 y ∆ g : C0 ∞ (R n ) −→ H −1 (R n ) es continuo. ComoC0 ∞ (R n ) es d<strong>en</strong>so <strong>en</strong> H 1 (R n ), hay una única ext<strong>en</strong>sión continua a todo H 1 (R n ).Vale la p<strong>en</strong>a notar que exist<strong>en</strong> funciones <strong>en</strong> H 1 (R n ) que no pose<strong>en</strong> <strong>de</strong>rivadassegundas por lo que p<strong>en</strong>samos que el operador ∆ g actúa <strong>de</strong>rivando débilm<strong>en</strong>te.Vimos previam<strong>en</strong>te que si u ∈ C0 ∞ (R n ) <strong>en</strong>tonces∫〈∆ g u, u〉 = ∆ g u · u dω g = ‖|∇ g u|‖ 2 0R npor lo que〈∆ g u, u〉 = ‖|∇ g u|‖ 2 0 + ‖u‖ 2 0 − ‖u‖ 2 0 = ‖u‖ 2 H 1 − ‖u‖2 0 ≥ γ 1 ‖u‖ 2 1 − ‖u‖ 2 0Sea {u n } ⊂ C ∞ 0 (R n ) tal que ‖u n − u‖ 1 −→ 0. T<strong>en</strong>emos por un lado queA<strong>de</strong>más, ∃K ∈ R + tal que41γ 1 ‖u n ‖ 2 1 − ‖u n ‖ 2 0 −→ γ 1 ‖u‖ 2 1 − ‖u‖ 2 0〈∆ g u n , u n 〉 = ‖|∇ g u n |‖ 2 0 ≤ K‖|∇ g u|‖ 2 0

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

Saved successfully!

Ooh no, something went wrong!