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.

Capítulo 2Herrami<strong>en</strong>tas <strong>de</strong>l AnálisisFuncionalGran parte <strong>de</strong> nuestro trabajo se c<strong>en</strong>trará <strong>en</strong> el estudio <strong>de</strong>l <strong>Laplaciano</strong> comooperador, para lo cual necesitaremos introducir algunos conceptos <strong>de</strong> Análisis<strong>de</strong> Fourier y <strong>de</strong> Análisis Funcional para operadores no acotados.2.1. Distribuciones y <strong>de</strong>rivadas débiles¿Qué es <strong>de</strong>rivar débilm<strong>en</strong>te y porqué queremos hacerlo?Nuestra primera motivación es que nuestro protagonista, el <strong>Laplaciano</strong>, es unoperador que actúa <strong>de</strong>rivando. Muchas veces trabajamos con objetos que, obi<strong>en</strong> no son difer<strong>en</strong>ciables, o bi<strong>en</strong> no controlamos que lo sean o no. La noción<strong>de</strong> <strong>de</strong>rivada débil será una asignación que verifique algunas propieda<strong>de</strong>s básicas<strong>de</strong> la <strong>de</strong>rivada conv<strong>en</strong>cional, y nos permita trabajar “sin preocuparnos” <strong>de</strong> laverda<strong>de</strong>ra naturaleza <strong>de</strong> los objetos.Com<strong>en</strong>cemos trabajando <strong>en</strong> C ∞ 0 (M), las funciones <strong>de</strong> M <strong>en</strong> R <strong>de</strong> clase C ∞ y soportecompacto. Consi<strong>de</strong>remos la sigui<strong>en</strong>te noción <strong>de</strong> converg<strong>en</strong>cia <strong>en</strong> C ∞ 0 (M):Diremos que φ n −→ φ <strong>en</strong> el s<strong>en</strong>tido <strong>de</strong> D(M) si1. ∃ K ⊂ M tal que ∀ n ∈ Z, sop(φ n − φ) ⊂ K2. D α φ n −→ D α φ uniformem<strong>en</strong>te <strong>en</strong> K, ∀ α multiíndiceLlamemos C al conjunto <strong>de</strong> las funcionales lineales continuas respecto a estaconverg<strong>en</strong>cia. Observamos que C no es vacía: la función evaluación i x es linealy como la converg<strong>en</strong>cia <strong>en</strong> el s<strong>en</strong>tido <strong>de</strong> D(M) implica la converg<strong>en</strong>cia puntual,i x está <strong>en</strong> C. Consi<strong>de</strong>ramos <strong>en</strong>tonces la topología débil respecto <strong>de</strong> la familiaC. Como C es un espacio vectorial, sus elem<strong>en</strong>tos son todas las funcionalescontinuas. Llamaremos D ′ (M) al dual <strong>de</strong> D(M) con la topología débil-∗, yDistribuciones a sus elem<strong>en</strong>tos.17

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

Saved successfully!

Ooh no, something went wrong!