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.
2.4 Espacios <strong>de</strong> Sobolev2.4.4. Equival<strong>en</strong>cias y conclusiones.A continuación mostraremos que, a nuestros efectos, los distintos espacios <strong>de</strong>Sobolev son es<strong>en</strong>cialm<strong>en</strong>te los mismos.Teorema 2.12(I) Las normas ‖ · ‖ L 2 (R n ) y ‖ · ‖ L 2 (R n , dω g) <strong>en</strong> L 2 (R n ) son equival<strong>en</strong>tes.(II) Las sigui<strong>en</strong>tes normas <strong>en</strong> H 2 (R n ) son equival<strong>en</strong>tes1. ‖u‖ H 2 (R n ) = ∫ R n (1 + |ξ| 2 ) 2 |û(ξ)| 2 dξ2. ‖u‖ 2 =3. ‖u‖ 2, g =() 1/2‖u‖ 2 L 2 (R n ) + ‖∇u‖2 L 2 (R n )() 1/2‖u‖ 2 L 2 (R n ,dω + ‖∇ g) gu‖ 2 L 2 (R n , dω g)Demostración:(I) Consi<strong>de</strong>remos la id<strong>en</strong>tidad id: (R n , 〈·, ·〉 g ) −→ (R n , 〈·, ·〉) preservando ori<strong>en</strong>tación,y si<strong>en</strong>do 〈·, ·〉 el producto interno usual <strong>en</strong> R n . Sea {v 1 , ..., v n } unabase ortonormal <strong>de</strong> R n respecto <strong>de</strong> 〈·, ·〉 g y {e 1 , ..., e n } la base canónica <strong>de</strong>R n . Por la observación 1.1 sabemos que si P = B [id] C <strong>en</strong>tonces G = P t Py <strong>de</strong>t P = √ <strong>de</strong>t G. Como G es una matriz simétrica real <strong>de</strong>finida positiva,|<strong>de</strong>t G| < ∞, |<strong>de</strong>t G −1 | < ∞, ‖G‖ < ∞ y ‖G −1 ‖ < ∞, por lo que exist<strong>en</strong> c 1 ,c 2 , C 1 y C 2 ∈ R + tal queAhora,‖u‖ 2 L 2 (R n , dω g) =1c 1≤ |<strong>de</strong>t P | ≤ C 1=Una cu<strong>en</strong>ta análoga muestra quey1c 2≤ ‖P ‖ ≤ C 2∫∫|u(x)| 2 dω g (x) = id ∗ (|u(x)| 2 dω g (x))∫R n R n ∫|u(x)| 2 |<strong>de</strong>t P |dx ≤ C |u(x)| 2 dx = C 1 ‖u‖ 2 L 2 (R n )R n R n‖u‖ 2 L 2 (R n ) ≤ c 1‖u‖ 2 L 2 (R n , dω g)(II) Las normas 1 y 2 son <strong>de</strong> hecho las mismas ya que∫∫‖u‖ 2 H 2 (R n )∫R = (1 + |ξ| 2 ) 2 |û(ξ)| 2 dξ = |û(ξ)| 2 dξ + |ξ| 2 |û(ξ)| 2 dξn R n R n33