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.

<strong>El</strong> <strong>Laplaciano</strong> <strong>en</strong> varieda<strong>de</strong>s4.3. <strong>El</strong> <strong>Laplaciano</strong> como fu<strong>en</strong>te <strong>de</strong> informacióngeométrica.Toda un área <strong>de</strong> la matemática se ocupa <strong>de</strong> estudiar la relación exist<strong>en</strong>te <strong>en</strong>treel espectro <strong>de</strong>l <strong>Laplaciano</strong> <strong>en</strong> una variedad y la geometría <strong>de</strong> ésta. Al estarintrínsecam<strong>en</strong>te relacionado con la métrica, el espectro <strong>de</strong>l <strong>Laplaciano</strong> “codifica”<strong>de</strong> alguna manera la información geométrica <strong>de</strong> la variedad. “Lam<strong>en</strong>tablem<strong>en</strong>te”,esta codificación no es lo sufici<strong>en</strong>tem<strong>en</strong>te bu<strong>en</strong>a <strong>en</strong> el sigui<strong>en</strong>te s<strong>en</strong>tido:el espectro <strong>de</strong>l <strong>Laplaciano</strong> no caracteriza, <strong>en</strong> g<strong>en</strong>eral, la geometría<strong>de</strong> la variedad. Al final <strong>de</strong> la sección probaremos sin embargo un resultado<strong>en</strong> el cual, bajo ciertas hipótesis, sí hay caracterización.Proposición 4.11 (Principio <strong>de</strong>l mínimo para λ 1 .)<strong>El</strong> primer valor propio no nulo, λ 1 , <strong>de</strong> una variedad (M, g) vi<strong>en</strong>e dado porλ 1 =‖∇f‖ 2ínff∈H 1 (M) ‖f‖ 2Demostración:Por un lado, si f es una función propia asociada a λ 1 <strong>en</strong>tonces t<strong>en</strong>emos que∫∫∫〈∇ g f, ∇ g f〉dω g = ∆ g f fdω g = λ 1 f 2 dω gy por lo tantoMλ 1 ≥M‖∇f‖ 2ínff∈H 1 (M) ‖f‖ 2Tomemos ahora f ∈ H 1 (R n ). f se escribe <strong>de</strong> manera única como f = ∑ i α iu isi<strong>en</strong>do {u i } las autofunciones <strong>de</strong>l <strong>Laplaciano</strong>. Luego,∫Mpor lo que,|∇ g f| 2 dω g ==≥∫∫〈∇ g f, ∇ g f〉dω g = 〈∆ g f, f〉dω g∫MMM〈 ∑ α i λ i u i , ∑ ∫∑α j u j 〉dω g = αi 2 λ i |u i | 2ijM i∫∑λ 1 αi 2 = λ 1 ‖f‖ 2Miλ 1 ≤Mínff∈H 1 (M)‖∇f‖ 2‖f‖ 2 60

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

Saved successfully!

Ooh no, something went wrong!