El Laplaciano en Variedades Riemannianas

TRABAJO MONOGRAFICO
El Laplaciano
en
Variedades Riemannianas
Janine Bachrachas
Orientador: Federico Rodriguez Hertz
20 de Noviembre, 2008 Licenciatura en Matematica

Montevideo Facultad de Ciencias
Uruguay Universidad de la Rep
ublica
Resumen
En estas notas estudiamos el Operador Laplaciano en ciertas va-

riedades Riemannianas, para lo cual sera necesario encontrar una
adecuada definicion que generalize la nocion usual en Rn . Proba-
remos que el Laplaciano es un operador diagonalizable y que sus
autofunciones constituyen una base ortonormal de las funciones de
cuadrado integrable en la variedad. Por u ltimo nos centraremos en el
ejemplo de la esfera S n , calculando sus autovalores y autofunciones.
Ademas, probaremos una condicion suficiente para que una variedad
sea isometrica a la esfera S n .
Palabras clave: Variedad Riemanniana, El operador Laplaciano,

Transformada de Fourier, Espacios de Sobolev, Teorema Espectral,
Espectro del Laplaciano, Campos de Jacobi.
Abstract
In these notes we study the Laplace Operator defined on certain

Riemannian manifolds. With this in mind, we will have to reach for
an accurate definition, generalizing the usual notion in Rn . We will
prove that the Laplacian is a diagonal operator, and its eigenfunctions
are an ortonormal basis of the square-integrable functions on the
manifold. At the end, we will focus on the case our manifold is the
sphere S n , computing its eigenvalues and eigenfunctions. Moreover,
we will prove a sufficient condition for a manifold be isometric to the
sphere S n .
Keywords: Riemannian Manifold, Laplacian, The Fourier Transform,

Sobolev Spaces, Spectral Theorem, Spectrum of the Laplacian, Jacobi
Fields.
A mis guas:
Federico y Luciana.
A mis hermanos:
Javier, Juan Pablo, Yaiza y Nicolas.
Indice general
1. Panor
amica 9
2. Herramientas del An alisis Funcional 17

2.1. Distribuciones y derivadas debiles . . . . . . . . . . . . . . . . . 17
2.2. Transformada de Fourier . . . . . . . . . . . . . . . . . . . . . . 20
2.2.1. Transformada de Fourier en Rn . . . . . . . . . . . . . . 20
2.2.2. Transformada de Fourier para distribuciones. . . . . . . . 24
2.3. Analisis Funcional de operadores no acotados . . . . . . . . . . 25
2.4. Espacios de Sobolev . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.4.1. Espacios de Sobolev en Rn . . . . . . . . . . . . . . . . . 28
2.4.2. Espacios de Sobolev: construccion general . . . . . . . . 31
2.4.3. H s (Rn ) como el dominio del Laplaciano. . . . . . . . . . 32
2.4.4. Equivalencias y conclusiones. . . . . . . . . . . . . . . . 33
3. Primeros Resultados en Rn 39
4. El Laplaciano en variedades 49
4.1. Localizacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.2. El Laplaciano en la esfera S n . . . . . . . . . . . . . . . . . . . 54
4.3. El Laplaciano como fuente de informacion geometrica. . . . . . . 60
Bibliografa 71
7
Captulo 1
Panor
amica
En este trabajo (M, g) denotara una variedad Riemanniana M de dimension

n, compacta, conexa, sin borde, orientable y g sera una metrica Riemanniana.
Asumimos que una orientacion ha sido asignada.
En este captulo introduciremos las primeras definiciones y propiedades que

nos acompanaran a lo largo de todo el trabajo.
Notaci on 1.1
Sea x M , U M abierto con x U y : Rn U una parametrizacion.
Notaremos Xi = dx (ei ) siendo {e1 , ..., en } la base canonica de Rn . Tambien
es usual notar x i a los dx (ei ), pero nosotros adoptaremos la notacion intro-
ducida previamente. La matriz de la metrica G sera G = G(x) = (gij )ij con
gij = hXi , Xj ix .
Definici on 1.1 (Forma de volumen can onica)

Dados x M y B = {v1 , ..., vn } base ortonormal directa de Tx M , existe
una unica xg : Tx M ... Tx M R n-forma multilineal alternada tal que
x (v1 , ..., vn ) = 1. Explcitamente,
xg = dv1 ... dvn
donde {dv1 , ..., dvn } es la base dual de {v1 , ..., vn }.
Observamos que si C = {w1 , ..., wn } es otra base de Tx M entonces
dw1 ... dwn = det P dv1 ... dvn
con P = B [id]C la matriz de cambio de base. Esto implica que si C tambien es di-
recta y ortonormal entonces det P = 1 y por tanto dw1 ...dwn = dv1 ...dvn ,
por lo que xg esta bien definida.
Diremos que g = {xg }xM es la forma de volumen canonica de la variedad

(M, g).
9
mica
Panora
Observacion 1.1 p
Si x M entonces xg (X1 , ..., Xn ) = det(gij ) con Xi como antes.
Demostracion: P
Consideremos B = {v1 , ...,Pvn } una base ortonormal de Tx M . Xi = j hXi , vj ix vj
por lo que hXi , Xj ix = k hXi , vk ix hXj , vk ix . Si llamamos P a la matriz de
cambio de base B [id]C entonces pij = hXi , vj ix y obtenemos
que G = P t P y
2
por tanto det G = (det P ) y (X1 , ..., Xn ) = det P = det G.
Observaci on 1.2 (Correspondencia T M P T M )

Dado x M , si v Tx M entonces v = i ai Xi . Sabemos que existe un

nicoPfuncional (Tx M ) tal que (w) = hw, vix , w Tx M . Si escribimos
u
= i ai dxi , siendo {dx1 , ..., dxn } la base dual de {X1 , ..., Xn }, observamos
que
Xn Xn
ai = (Xi ) = hXi , vix = aj hXi , Xj ix = aj gij
j=1 j=1
y por lo tanto tambien obtenemos que

n
X
ai = ai g ij
j=1
siendo g ij las entradas de la matriz inversa de G = (gij )ij
Definicion 1.2 (Gradiente)

Dada u C (M ), sea du : T M R la derivada exterior. Para cada
x M , dx u : Tx M R es una funcional lineal, por lo que el Teore-
nico vector g u(x) en Tx M tal que
ma de Riesz nos asegura que existe un u
dx u(v) = hv, g u(x)ix , v Tx M .
C
alculo explcito del gradiente en coordenadas locales.
Si u C (M ) entonces
n
X u
du = dxi
i=1
xi
Por lo tanto va la observacion 1.2 obtenemos que

n
X u ij
g u = g Xi
i,j=1
xj
10
Observaci on 1.3
De la expresion en coordenadas locales y la observacion 1.2 tenemos que
u C (M )
g u = G1 u
Definicion 1.3 (Divergencia de un campo de vectores)

Dada forma de volumen, definimos la divergencia de un campo X respecto
a de la siguiente manera:
Sea iX la (n 1)-forma definida por
iX (X1 , ..., Xn1 ) = (X(x), X1 , ..., Xn1 )
X1 , ..., Xn1 Tx M , x M .
Luego d(iX ) es una n-forma, por lo que existe un u nico n
umero real div X
de manera que
d(iX ) = div X
C
alculo explcito de la divergencia en coordenadas locales.
p
Consideremos una forma de volumen = dx1 ... dxn con = det(gij ) y
X un campo. Entonces
i , ..., Xn ) =
iX (X1 , ..., X i , ..., Xn )
(X, X1 , ..., X
= (1)i1 (X1 , ..., X, ..., Xn )
= (1)i1 X i (X1 , ..., Xn )
= (1)i1 X i
1 indica que la
Donde X i denota la i-esima componente del campo X y X
componente Xi esta omitida. Luego
n
X (X i )
d(ix ) = (1)i1 dxi dx1 ... d
xi ... dxn
i=1
x i
n
X (X i )
= dx1 ... dxn
i=1
xi
n
1 X (X i )
=
i=1 xi
11
mica
Panora
Por lo que la divergencia del campo resulta

n
1 X (X i )
div X =
i=1 xi
Observacion 1.4
Para toda u C (M ) y todo campo X
div(u X) = u divX + hg u, Xi
Demostracion:
div(uX) = d(iuX ) = du + u d(iX ) = du(X) + u divX
Definici
on 1.4 (Laplaciano)

Si u C (M ), definimos el Laplaciano de u por
g u = div (g u)
C
alculo explcito del Laplaciano en coordenadas locales.
n
1 X ( (g u)i )
g u = div(g u) =
i=1 xi
n
! n
1X ij
X u 1 X ij u
= g = g
i=1 xi j
xj i, j=1 xi xj
Consideramos el caso en que M = Rn con la metrica Eucldea, es decir que

gij = ij . El Laplaciano de una funcion u C (M ) resulta
n
X 2u
g u =
i=1
x2i
Esta conocida formula es la opuesta a la del Laplaciano usual en Rn . El signo

de menos fue puesto pon una cuestion de practicidad, pero es claro que no
altera el comportamiento del Laplaciano como operador.
12
Observamos tambien que si en una variedad (M, g) consideramos {X1 , ..., Xn }
una base ortonormal de Tx M respecto de la metrica g, obtenemos tambien
gij = ij por lo que arribamos a la misma formula.
A continuacion veremos las primeras propiedades del Laplaciano, que se des-

prenden directamente de la definicion.
Proposicion 1.1
Para todas u,v C (M ) se tiene que
Z Z
u g v dg = hg u, g vidg
M M
Demostracion:
Sabemos que
div(u g v) = u div(g v) + hg u, g vi = u g v + hg u, g vi
Integrando
Z Z Z
div(u g v)dg = u g v dg + hg u, g vidg
M M M
Reescribiendo el termino de la izquierda y utilizando el teorema de Stokes

tenemos que
Z Z Z
div(u v)dg = d iu v = iu v = 0
M M M
ya que M es vaco.
Corolario 1.2
El Laplaciano g : C (M ) L2 (M ) es un operador simetrico.
Demostracion:
Dadas u, v C (M ) tenemos que
Z Z Z
hg u, vi = u v dg = hg u, g vidg = u g v dg = hu, g vi
M M M
13
mica
Panora
Corolario 1.3
El laplaciano g : C (M ) L2 (M ) es un operador positivo:
Z Z
hg u, ui = g u u dg = hg u, g uidg = k|g u|k2 0
M M
u C (M ).
Invariancia por Isometras del Laplaciano.
Definici
on 1.5
Sean (M, g) y (N, h) son dos variedades Riemannianas. Diremos que un difeo-
morfismo : M N es una isometra si x M se verifica
hv, wix = hdx (v), dx (w)i(x)
v, w Tx M .
Una propiedad fundamental del Laplaciano es la invariancia por isometras,

que puede describirse de la siguiente manera:
Proposicion 1.4
Sean f : N R una funcion diferenciable y : M N una isometra.
Entonces
M (f ) = N f
Demostracion:
Dado x M , tomemos {X1 , ..., Xn } una base ortonormal de Tx M . Sean {i }
las geodesicas que en tiempo t = 0 pasan por x con velocidad Xi . Como dx
preserva el producto interno {dx (X1 ), ..., dx (Xn )} es una base ortonormal
de T(x) N . Si llamamos i = (i ) entonces {i } son curvas que en tiempo
t = 0 pasan por (x) con velocidad dx (Xi ).
14
Tenemos entonces que
n
M
X d2
(f )(x) = ((f ) i )(0)
i=1
dt2
n
X d2
= 2
(f (i ))(0) = [(N f ) ](x)
i=1
dt
para todo x M , por lo que obtenemos el resultado.
15
mica
Panora
16
Captulo 2
Herramientas del An
alisis
Funcional
Gran parte de nuestro trabajo se centrara en el estudio del Laplaciano como

operador, para lo cual necesitaremos introducir algunos conceptos de Analisis
de Fourier y de Analisis Funcional para operadores no acotados.
2.1. Distribuciones y derivadas d

ebiles
Qu e es derivar d ebilmente y porqu e queremos hacerlo?
Nuestra primera motivacion es que nuestro protagonista, el Laplaciano, es un
operador que act ua derivando. Muchas veces trabajamos con objetos que, o
bien no son diferenciables, o bien no controlamos que lo sean o no. La nocion
de derivada debil sera una asignacion que verifique algunas propiedades basicas
de la derivada convencional, y nos permita trabajar sin preocuparnos de la
verdadera naturaleza de los objetos.
Comencemos trabajando en C0 (M ), las funciones de M en R de clase C y so-

porte compacto. Consideremos la siguiente nocion de convergencia en C0 (M ):
Diremos que n en el sentido de D(M ) si

1. K M tal que n Z, sop(n ) K
2. D n D uniformemente en K, multindice
Llamemos C al conjunto de las funcionales lineales continuas respecto a esta

convergencia. Observamos que C no es vaca: la funcion evaluacion ix es lineal
y como la convergencia en el sentido de D(M ) implica la convergencia puntual,
ix esta en C. Consideramos entonces la topologa debil respecto de la familia
C. Como C es un espacio vectorial, sus elementos son todas las funcionales
continuas. Llamaremos D0 (M ) al dual de D(M ) con la topologa debil-, y
Distribuciones a sus elementos.
17
lisis Funcional
Herramientas del Ana
Definici on 2.1
Diremos que una funcion u, definida a menos de conjuntos de medida nula en
M , es localmente integrable si para todo conjunto compacto A M se cumple
que u L1 (A).
L1loc (M ) denotara al conjunto de las funciones localmente integrables en M .
Trabajemos entonces en este espacio. Dada u L1loc (M ), hagamos una asigna-

cion analoga a la que haramos va Riesz, si u estuviera en L2 (M ), para obtener
un funcional lineal. Explcitamente, le asociaremos la funcion Tu definida por
Z
Tu () = u(x)(x)dx D
M
Observamos que esta expresion tiene sentido pues u L1 (M ). La linealidad

de la integral asegura que Tu sera lineal.
Para ver la continuidad, tomemos {n } C0 (M ) convergiendo a C0 (M )

en el sentido de D. Sabemos entonces que existe un compacto K tal que
sop(n ) K, y por lo tanto
Z
|Tu n Tu | sup |n (x) (x)| |u(x)|dx 0
xK K
Es importante remarcar que el mapa u Tu no es en general sobreyectivo,

es decir, existen distribuciones que no son de la forma Tu para ning un u
1
Lloc (M ). Por ejemplo, consideremos la distribucion
x0 () = (x0 )
, D y un x0 M .
Si x0 () fuera de la forma Tu para alguna u L1loc (M ) entonces C0 (M )
Z
x0 () = Tu () = u(x)(x)dg (x)
M
Sea C0 (M ) tal que (x) = 0 x = x0 . Luego,

Z
u(x)(x)dg (x) = (x0 ) = 0
M
por lo que u(x)(x) = 0 y por tanto u(x) = 0 en casi todo punto, lo que
implica que Tu 0. Ahora, sea C0 (M ) tal que (x0 ) 6= 0. Luego
0 6= x0 () = Tu () = 0
18
2.1 Distribuciones y derivadas de
biles
lo que es una contradiccion.
Si ahora consideramos una funcion u de clase C 1 , utilizando el teorema de

Stokes y el hecho de que M no tiene borde, es inmediata una formula de in-
tegracion por partes. Luego, si u es lo suficientemente diferenciable tememos
que
Z Z
||
(D u)(x)(x)dx = (1) u(x)D (x)dx
M M
Esto motiva una definicion de derivada de una distribucion:

Si T es de la forma Tu es natural definir D Tu = (1)|| TD u para tener la
integracion por partes.
Generalizando esta formula, dada una distribucion T y un multindice , de-

finimos
(D T )() = (1)|| T (D ) (2.1)
para toda D.
Veamos que as definida D T es de hecho una distribucion. Si miramos el

miembro derecho de la ecuacion 2.1, la linealidad es inmediata de la lineali-
dad de la derivada convencional y de T . Para ver que es continuo, tomemos
{n } C0 (M ) convergiendo a C0 (M ) en el sentido de D. Sabemos
entonces que existe un compacto K tal que sop(n ) K y por tanto
sop(D n D ) = sop(D (n )) sop(n ) K
Ademas,
D (D (n )) = D+ (n ) 0
uniformemente en K. As, obtuvimos que D n D en el sentido de D.
Como T es continua en el sentido de las distribuciones, T (D n ) T (D ),
y por 2.1 vemos que esto es equivalente a que D T (n ) D T ().
Terminando...
Estamos ahora en condiciones de definir la derivada debil de una funcion
u L1loc (M ). Tomemos un multindice . Si existe v L1loc (M ) tal que
Tv = D (Tu ), entonces v sera unico a menos de conjuntos de medida nu-
la. A este elemento lo llamaremos -esima derivada debil de u, y notaremos
D u. Como adelantabamos, en caso de que exista la derivada en el sentido
convencional, la derivada debil coincide con esta.
19
lisis Funcional
2.2. Transformada de Fourier

La transformada de Fourier resultara un elemento crucial en nuestro trabajo.
Las buenas propiedades y la regularidad de este operador nos ofreceran tecnicas
que facilitaran enormemente el desarrollo de nuestra teora.
2.2.1. Transformada de Fourier en Rn

Definici
on 2.2
La Transformada de Fourier es el operador F : L1 (Rn ) L (Rn ) definido
como Ff = f con
Z
1
f () = f (x) eih,xi dx (2.2)
(2)n/2 Rn
Rn
La ecuacion 2.2 tiene sentido pues

Z
1 1
|f()| |f (x)|dx = kf kL1
(2)n/2 Rn (2)n/2
Rn
La linealidad de F es inmediata y tambien se tiene que

1
kfkL kf kL1
(2)n/2
por lo que F es un operador continuo.
Tambien es posible definir la llamada Transformada de Fourier Inversa de la

siguiente manera Z
1
f () = f (x) eih,xi dx (2.3)
(2)n/2 Rn
Una cuenta analoga a la que realizamos para F muestra que la transformada

inversa es tambien un operador continuo.
Introduciremos ahora los Espacios de Schwartz ya que son un buen con-

texto para trabajar con la transformada F.
Definici
on 2.3 (Espacio de Schwartz)
S(Rn ) = {u C (Rn ) : sup |x u(x)| < , multindices }

xRn
20
2.2 Transformada de Fourier
Es facil ver que C0 (Rn ) es denso en S(Rn ) con la topologa inducida por la
norma L2 .
Una de las buenas propiedades que mencionabamos es el hecho de que si res-

tringimos F a S(Rn ), la transformada inversa resulta ser efectivamente la
inversa de la transformada de Fourier F. Por esto, es usual notar F 1 a la
transformada inversa. El resultado lo probaremos mas adelante.
Proposicion 2.1
Se cumple que F(S(Rn )) S(Rn ) y valen las siguientes formulas
(i)|| (D
\ f )() = f() (2.4)
(i)|| (x
\ f )() = (D f)() (2.5)
Demostracion:
La primera afirmacion se deduce de las formulas ya que para cualquier ,
multindices
sup | D u()| = sup | xd
u()| = sup |D\
(x u)()|
Rn Rn Rn
1
kD (x u)kL1 (Rn ) <
(2)n/2
ya que si una funcion esta en S(Rn ) entonces es absolutamente integrable y

sus derivadas tambien estan en S(Rn ).
Para verificar las formulas observemos que
f
Z
1 ih,xi
() = f (x) e dx
i i (2)n/2 Rn
Z
1 ih,xi
= f (x) e dx
(2)n/2 Rn i
Z
1
= (i)xi f (x)eih,xi dx = (i)(x
[ i f )()
(2)n/2 Rn
Derivando sucesivas veces obtenemos la formula 2.5. Para demostrar 2.4, ob-
servemos que
Z
f
d 1 f
() = n/2
(x)eihx,i dx
xi (2) Rn xi
Z Z
1 ihx,i 1
= lm f (x)e dx + i i f (x)dx
R+ (2)n/2 B(0,R) (2)n/2 Rn
= if()
21
lisis Funcional
ya que Z
lm f (x)eihx,i dx = 0
R+ B(0,R)
Nuevamente, derivando sucesivas veces, obtenemos el resultado.
Proposici
on 2.2
1. Si f S(Rn ) entonces F es una isometra, i.e.

Z Z
2
|f (x)| dx = |f(x)|2 dx
Rn Rn
2. Si , S(Rn ) entonces
Z Z
dx =
dx
Rn Rn
y consecuentemente Z Z
dx
= dx
Rn Rn
3. La Transformada Inversa es el operador inverso de la Transformada de

Fourier.
Demostracion:
(1) Llamemos C = [ 1 , 1 ]n Rn el cubo de volumen (2/)n centrado en el
origen de Rn . Dada f C0 (Rn ), sea > 0 suficientemente pequeno tal que
sop(f ) C . Definamos tambien el conjunto
k
K = {k R : Z}
()
Ahora, {( 12 )n/2 eihk,xi }kK es una base ortonormal de L2 (C ), por lo que

X 1 1
f (x) = h( )n/2 eihk,xi , f (x)i( )n/2 eihk,xi
kK
2 2
Ademas sabemos que
X f(k)eihk,xi
f (x) = n/2
()n
kK
(2)

22
2.2 Transformada de Fourier
Luego
Z Z
2 1 X
|f (x)| dx = |h( )n/2 eihk,xi , f (x)i|2
|f (x)|2 dx =
Rn C kK
2
2
X Z X 1 f(j)
n/2 ihk,xi ihj,xi
= ( ) e e dx

2 (2) n/2

C
kK jK
2
X Z 1
n/2 f (k)

n
= ( ) () dx

C 2 (2) n/2
kK
2
2n 1 n |f (k)|
X 2
= ( ) ( ) n
()2n
kK
2 (2)
X Z
= 2 n
|f (k)| () |f(x)|2 dx
0 Rn
kK
(2)
Z Z Z
dx = 1 ihx,i
(x)e d (x)dx
Rn n (2)n/2 Rn
ZR Z
1 ih,xi
= ()e dx ()d (2.6)
Rn (2)n/2 Rn
Z
= d
Rn
Analogamente, se prueba que

Z Z
dx =
dx
Rn Rn
Utilizando la formula 2.6, si tomamos y entonces

Z Z Z

dx = d = d
Rn Rn Rn
(3) Observemos primero que F = F 1 . Luego

Z Z Z
1
2
dx = FF dx = FF 1 dx
Rn Rn Rn
Z Z Z
2 dx = F 1 Fdx = F 1 Fdx
Rn Rn Rn
Por lo que = FF 1 = F 1 F en casi todo punto, y como es continua, en

todo punto.
23
lisis Funcional
Corolario 2.3
La transformada de Fourier F : L2 (Rn ) L2 (Rn ) es un operador unitario.
Demostracion:
De la proposicion anterior es inmediato que F : S(Rn ) S(Rn ) es un ope-
rador unitario. Como S(Rn ) es denso en L2 (Rn ) obtenemos el resultado.
Corolario 2.4
Si f S(Rn ) tenemos que f = (||2 f)
Demostracion:
Por la proposicion anterior sabemos que
c () = (||2 f)()
f
Tomando la transformada inversa a ambos lados obtenemos el resultado.
Una operacion en S que resultara muy u

til es la convolucion
Definici on 2.4
Si f, g S(Rn ) se define la convolucion de f y g por
Z
(f g)(x) = f (x y)g(y)dy (2.7)
Rn
La expresion 2.7 tiene sentido pues si definimos h(x, y) = f (xy)g(y) entonces

h L1 (Rn Rn ) y por el teorema de Fubini la funcion x f (x y)g(y)
1 n
tambien esta en L (R ).
2.2.2. Transformada de Fourier para distribuciones.

Sea S 0 (Rn ) el dual de S(Rn ) con la topologa debil-. A los elementos de S 0 (Rn )
los llamaremos Distribuciones Temperadas.
Observemos lo siguiente: podemos pensar a S(Rn ) dentro de S 0 (Rn ), ya
24
2.3 Ana
lisis Funcional de operadores no acotados
que dada una funcion f S(Rn ) y multindice, podemos asociarle una dis-
tribucion Tf, mediante
Z

Tf, () = hD f, i = D f (x)(x)dx
Rn
S.
El hecho de que Tf, resulta efectivamente una distribucion se prueba de ma-

nera analoga a las pruebas realizadas en la seccion Derivadas Debiles.
Derivaremos distribuciones temperadas en el sentido introducido en dicha sec-
cion.
2.3. Analisis Funcional de operadores no aco-

tados
Introduciremos algunos conceptos basicos de esta teora. En esta seccion, H
denotara un espacio de Hilbert y h, i su producto interno.
Definiciones b
asicas.
Definici
on 2.5
Un operador T en H es un mapa lineal de un subconjunto de H que llamaremos
dominio de T en H. Notaremos dom(T ) al dominio de T y asumiremos que
dom(T ) es denso en H.
Definicion 2.6
Si T : dom(T ) H es un operador, el grafico de T es el conjunto
G(T ) = {(x, T x) H H : x H}
Definici
on 2.7
Un operador T se dice cerrado si su grafico es un subconjunto cerrado de
H H.
Definici on 2.8
Sean T0 y T1 dos operadores en H. Diremos que T1 es una extension de T0
si dom(T1 ) dom(T0 ) y T0 x = T1 x x dom(T0 ). En este caso escribiremos
T1 T0 .
25
lisis Funcional
Definicion 2.9
Un operador T es cerrable si admite un extension cerrada. Si T es cerrable a
su extension mas peque
na (que existe por el lema de Zorn) la llamaremos la
clausura de T y la notaremos T .
Observaci on 2.1
Una manera constructiva de obtener T es la siguiente:
Consideremos el grafico de T , su clausura G(T ) HH y sea i : HH H
la proyeccion canonica sobre la i-esima coordenada para i = 1, 2. Llamemos
dom(T ) := 1 (G(T )). Es claro que dom(T ) dom(T ). Definimos entonces
T : dom(T ) H de la siguiente manera:
Si {vn } H tal que {(vn , T vn )} es convergente, entonces T v := 2 (lmn T vn ).
Es claro que as definido T es un operador y que extiende a T . A su vez debe
ser la clausura pues tomamos su dominio mas peque no.
Observacion 2.2
Con la construccion anterior, la norma natural en dom(T ) viene dada por
q
kvkdom(T ) = kv|k2H + kT vk2H
Esta norma proviene del producto interno
hv, widom(T ) = hv, wiH + hT v, T wiH
Y por tanto dom(T ) es de hecho un Hilbert pues la completitud es asegurada

por a misma definicion de T .
Definicion 2.10 (Adjunto de un operador)

Si T : dom(T ) H es un operador, consideremos el conjunto
dom(T ) = { H : H tal que hT , i = h, i dom(T )}
Para todo D(T ) definimos T = . La bilinealidad del producto interno

asegura la linealidad de T . Luego T es un operador y es llamado el adjunto
de T .
Observaci on 2.3
El conjunto dom(T ) puede no ser denso en H.
Definici
on 2.11 (Operador sim etrico)
Un operador T se dice simetrico si T T . Equivalentemente, T es simetrico
26
2.3 Ana
lisis Funcional de operadores no acotados
si y solo si , dom(T )
hT , i = h, T i
Definicion 2.12 (Operador autoadjunto)

Al igual que en la teora de operadores acotados, diremos que un operador T
es autoadjunto si T = T . En nuestro contexto esto significa que T es simetrico
y que dom(T ) = dom(T ).
Definici
on 2.13
Un operador T se dice esencialmente autoadjunto si su clausura es autoadjunta.
El Laplaciano usual como operador
Consideremos f : Rn R una funcion Borel medible de crecimiento poli-

nomial, y definamos el operador
f (D) = f (De1 , ..., Den )
donde Dei es el operador que act ua derivando respecto a la variable i-esima.
Consideramos como dominio de f (D) el conjunto dom f (D) = F 1 [dom Mf ],
donde Mf denota al operador de multiplicacion, es decir, dom(Mf ) = {h
L2 (Rn ) : f h L2 (Rn )} y Mf h = f h.
Entonces, si dom f (D)
f (D) = F 1 Mf F
Probaremos que as definido f (D) resulta autoadjunto. Si , dom f (D)

entonces
Z Z
hf (D), i =
(f ) = f
Rn Rn
Z Z
= )
(f = (f ) = h, f (D)i
Rn Rn
de donde f (D) es simetrico.
Teorema 2.5
Si g : Rn R es una funcion de crecimiento polinomial entonces Mg es
esencialmente autoadjunto.
27
lisis Funcional
Este teorema permite probar el siguiente, de donde se deduce el resultado que

queremos.
Teorema 2.6
Si f : Rn R es una funcion Borel medible de crecimiento polinomial en-
tonces:
1. dom f (D) C0 (Rn ).
2. f (D)|C0 (Rn ) es esencialmente autoadjunto.
Observemos primero que Luego, f (D)|C0 (Rn ) es esencialmente autoadjunto y

por tanto su clausura f (D) es autoadjunta.
Consideremos ahora la funcion f : Rn R con

n
X
f (x1 , ..., xn ) = x2i
i
(x1 , ..., xn ) Rn , y el operador f (D), i.e.

n
X 2
f (D) =
i=1
x2i
Como f es de crecimiento polinomial, el operador f (D) es esencialmente au-

toadjunto. El Laplaciano se define como la u nica extension autoad-
junta de f (D).
2.4. Espacios de Sobolev

2.4.1. Espacios de Sobolev en Rn
Dado s R definimos el espacio de Sobolev H s (Rn ) como
H s (Rn ) = {f S 0 (Rn ) : (1 + ||2 )s/2 f L2 (Rn )}
H s (Rn ) es un espacio de Hilbert con producto interno

Z
hf, gi = f()g()(1 + ||2 )s d
28
2.4 Espacios de Sobolev
Y por tanto la norma inducida es

Z
2
kf ks = (1 + ||2 )s |f()|2 d
Rn
Observaci on 2.4
Por la proposicion 2.2 es inmediato que H 0 (Rn ) = L2 (Rn ).
Proposici
on 2.7
0
1. Si s, s0 R con s0 > s entonces H s (Rn ) H s (Rn ). Ademas, la inclusion
0
i : H s (Rn ) H s (Rn ) es continua.
2. FH s = L2 (Rn , (1 + ||2 )s d)
3. (H s (Rn )) es isometricamente isomorfo a H s (Rn ).
Demostracion:
La afirmacion 2 es evidente. Demostraremos 1 y 3 :
0
(1) Si s > s0 entonces (1 + ||2 )s /2 (1 + ||2 )s/2 , por lo que si f H s (Rn )
Z Z
2 s0 /2
2
kf ks0 2
(1 + || ) |f ()| d (1 + ||2 )s/2 |f()|2 d = kf k2s <
Rn Rn
0 0
y por tanto f H s (Rn ). Ademas, la inclusion i : H s (Rn ) H s (Rn ) resulta
continua pues
ki(f )ks0 = kf ks0 kf ks
(3) Dadas f H s (Rn ) y g H s (Rn ), tenemos que

Z Z

|f ()
g ()|d = |f()|(1 + ||2 )s/2 |
g ()|(1 + ||2 )s/2 d
Rn Rn
kf ks kgks <
donde utilizamos la desigualdad de Cauchy-Schwartz.
Si definimos g : H s (Rn ) C como

Z
g (f ) = g ()d
f ()
Rn
29
lisis Funcional
entonces g resulta un funcional continuo. Recprocamente, dado (H s (Rn ))

existe, por el teorema de Riesz, un unico elemento h H s (Rn ) tal que f
H s (Rn ) Z
(f ) = hf, hi = h()d
f ()
Rn
Tomemos g como la funcion cuya trasformada de Fourier resulta g() = (1 +

||2 )s h() Rn . Observemos que
Z Z Z
2 s
(1+|| ) | 2
g | ()d = 2 s 2 s
(1+|| ) (1+|| ) |h()|2
d =
|h()|2
d <
Rn Rn Rn
por lo que g H s (Rn ).
Luego, para toda f H s (Rn )

Z
(f ) = g ()d = g (f )
f ()
Rn
Obtuvimos entonces un isomorfismo lineal entre H s (Rn ) y (H s (Rn ))

Ademas observemos que
Z Z
2 s
2 2
kg k = khks = 2
(1 + || ) |h()| d = (1 + ||2 )s |
g ()|2 d = kgk2s
Rn Rn
por lo que el isomorfismo es una isometra.
Observaci on 2.5
El teorema anterior implica que los elementos de H s (Rn ) para s > 0 pueden
ser vistos como elementos de L2 (Rn ).
Teorema 2.8
Si m N entonces
H m (Rn ) = {f S 0 (Rn ) : D f L2 (Rn ) 0 || m}
Corolario 2.9
Si m N entonces
H m (Rn ) = {u L2 (Rn ) : D u L2 (Rn ) 0 || m}
30
Definici
on 2.14
Dado R R, R > 0, los Espacios de Sobolev HRs (Rn ) son los conjuntos
HRs (Rn ) = {u H s (Rn ) : sop (u) B(0, R)}
Como HRs (Rn ) es un subespacio cerrado de H s (Rn ) es tambien un espacio de

Hilbert con la norma heredada.
2.4.2. Espacios de Sobolev: construcci

on general
Consideremos la funcion k kk : L2 (M ) R {+} definida por
s X
kukk = kD uk2
0||k
En el conjunto {u C k (M ) : kukk < +} L2 (M ) la funcion k kk es una

norma, y llamaremos H k (M ) a su completacion respecto a esta norma.
Con esta construccion no es evidente que tipo de objetos conforman H k (M ).

Veremos mas adelante que H k (M ) es de hecho un subconjunto de L2 (M ).
Consideremos, para k N, los conjuntos
W k (M ) = {u L2 (M ) : D u L2 (M ), tal que 0 || k}
Donde D u es la derivada debil. Observamos que como L2 (M ) L1loc (M ),

existe la derivada debil para toda u L2 (M ). Equipemos entonces W k (M )
con la norma k kk . Notaremos W0k (M ) a la clausura de C0 (M ) en W k (M )
Teorema 2.10
W k (M ) es un espacio de Banach.
Demostracion:
Tomemos {un } una sucesion de Cauchy en W k (M ). {D un } es una sucesion
de Cauchy en L2 (M ) 0 || k y como L2 es completo existen vectores
u L2 (M ) tal que D un u . Como L2 (M ) L1loc (M ) consideremos las
distribuciones TD un y Tu . Luego si D tenemos que
Z
|TD un Tu | |D un (x) u (x)||(x)|dx ||||L2 ||D un u ||L2
M
por la desigualdad de Cauchy-Schwartz, por lo que TD un Tu D.
Luego
31
lisis Funcional
Tu = lm TD un = lm(1)|| Tun (D ) = (1)|| Tu0 (D )

n n

D. Por lo tanto, u = D u0 en el sentido de las distribuciones, y esto
implica que que u W k (M ). Luego tenemos que lmn ||un u0 ||k = 0 de donde
{un } es convergente y por tanto W k (M ) es completo.

Observaci on 2.6
El conjunto B = {u C k (M ) : kukk < +} esta contenido en W k . Esto
implica que la identidad i : B B W k se extiende a un isomorfismo
isometrico entre H k y la clausura de B en W k . Identificando H k con su imagen
por este isomorfismo obtenemos el siguiente resultado.
Corolario 2.11
Para todo k Z, H k (M ) W k (M ).
Concluimos as que podemos entender a los objetos de H k (M ) como funciones

de L2 (M ) que poseen derivadas debiles hasta orden ||.
2.4.3. H s (Rn ) como el dominio del Laplaciano.

Otra manera equivalente de ver los Espacios de Sobolev es la siguiente:
Definamos
H s (Rn ) := dom[( + I)s/2 ]
equipado con la norma
kf kH s () = k( + I)s/2 f k
Observemos que coincide, como conjunto, con la definicion dada al comienzo
de la seccion
dom[( + I)s/2 ] = {f L2 (Rn ) : ( \
+ I)s/2 f L2 (Rn )}
= {f L2 (Rn ) : (1 + ||2 )s/2 f L2 (Rn )} = H s (Rn )
A su vez
Z
kf k2H s () = k( + I) s/2
fk 2
= |( + I)s/2 f |2 (x)dx
Rn
Z
= (1 + ||2 )s |f2 |()d = kf k2s
Rn
por lo que las normas son las mismas y por tanto las definiciones equivalentes.
32
2.4.4. Equivalencias y conclusiones.

A continuacion mostraremos que, a nuestros efectos, los distintos espacios de
Sobolev son esencialmente los mismos.
Teorema 2.12
(I) Las normas k kL2 (Rn ) y k kL2 (Rn , dg ) en L2 (Rn ) son equivalentes.
(II) Las siguientes normas en H 2 (Rn ) son equivalentes

R
1. kukH 2 (Rn ) = Rn
(1 + ||2 )2 |
u()|2 d
1/2
2. kuk2 = kuk2L2 (Rn ) + kuk2L2 (Rn )
1/2
3. kuk2, g = kuk2L2 (Rn ,dg ) + kg uk2L2 (Rn , dg )
Demostracion:
(I) Consideremos la identidad id : (Rn , h, ig ) (Rn , h, i) preservando orien-
tacion, y siendo h, i el producto interno usual en Rn . Sea {v1 , ..., vn } una
base ortonormal de Rn respecto de h, ig y {e1 , ..., en } la base canonica de
Rn . Por la observacion 1.1 sabemos que si P = B [id]C entonces G = P t P
y det P = det G. Como G es una matriz simetrica real definida positiva,
|det G| < , |det G1 | < , kGk < y kG1 k < , por lo que existen c1 ,
c2 , C1 y C2 R+ tal que
1 1
|det P | C1 y kP k C2
c1 c2
Ahora,
Z Z
kuk2L2 (Rn , dg ) = 2
|u(x)| dg (x) = id (|u(x)|2 dg (x))
n Rn
ZR Z
2
= |u(x)| |det P |dx C |u(x)|2 dx = C1 kuk2L2 (Rn )
Rn Rn
Una cuenta analoga muestra que
kuk2L2 (Rn ) c1 kuk2L2 (Rn , dg )
(II) Las normas 1 y 2 son de hecho las mismas ya que

Z Z Z
2 2 2 2 2
kukH 2 (Rn ) = (1 + || ) |
u()| d = |
u()| d + ||2 |
u()|2 d
Rn Rn Rn
33
lisis Funcional
Observemos que el u ltimo termino se puede reescribir como

Z Z X Z X d 2
u
||2 |
u()|2 d = |i u()|2 d = () d
Rn i xi

Rn Rn i
2 2
X Z d u X Z u
= () d = (x) dx
Rn xi Rn xi

i i
Z X 2 Z
u 2
= xi (x) dx = n |u(x)| dx

R n R
i
Por lo que
kuk2H 2 (Rn ) = kuk2L2 (Rn ) + kuk2L2 (Rn ) = kuk22
Para ver que 2 y 3 son equivalentes, recordemos que g = G1 . Entonces,
|g u| kG1 k |u|
Luego
kuk22, g = kuk2L2 (Rn , dg ) + kg uk2L2 (Rn , dg )

kuk2L2 (Rn , dg ) + kG1 k2 kuk2L2 (Rn , dg )
C1 kuk2L2 (Rn ) + C1 kG1 k2 kuk2L2 (Rn )
Ckuk22
y analogamente
kuk22 C 0 kuk22, g
Observaci on 2.7
Para H (Rn ) con k Z+ , vale un resultado analogo a lo demostrado en la
k
parte (II) de el teorema. De hecho, la demostracion del mismo tambien es

analoga.
En lo que resta de la seccion probaremos un teorema que resultara clave para

nuestro trabajo.
Teorema 2.13
La inclusion i : HR1 (Rn ) HR0 (Rn ) es compacta.
Para probar este resultado nos auxiliaremos del siguiente lema.
34
Lema 2.14
Si u H 1 (Rn ) entonces existe C > 0 tal que
Z
|u(x + h) u(x)|2 dx C 2 |h|2 kuk21
Rn
Demostracion:
Z Z
2
|u(x + h) u(x)| dx = u(x + h) u(x)|2 dx
|
n Rn
ZR Z
= |eihx,hi u(x) u(x)|2 dx = |eihx,hi 1|2 |
u(x)|2 dx
Rn Rn
Z ihx,hi 2 Z ihx,hi 2
e 1 2 2 2
e 1
kxk2 |
= |hx, hi| |
u(x)| dx |h| u(x)|2 dx
Rn
hx, hi
Rn
hx, hi
Z Z
C|h|2 kxk2 |u(x)|2 dx = C|h|2 |u(x)|
c 2
dx
R n Rn
Z
2
= C|h| |u(x)|2 dx C|h|2 kuk21
Rn
Demostracion del teorema:

Sea B = {u HR1 (Rn ) : kuk1 1} la bola unidad en HR1 (Rn ). Queremos pro-
bar que i(B) HR0 (Rn ) es precompacta, para lo cual utilizaremos el siguiente
criterio:
Un conjunto K en un espacio metrico es precompacto si y solo si admite una

-red para todo > 0.
Consideremos la familia {J u : u HR1 (Rn ), > 0}, donde J : Rn R

Rson funciones positivas de clase C que se anulan fuera de la bola B(0, ) y
J (x)dx = 1.
Rn
Parte I:
Para cada > 0 fijo, la familia K = {J u : u B} es precompacta en
(C(B(0, R)), k k )
Para demostrar esto utilizaremos el teorema de Ascoli-Arzela; vamos a ve-

rificar que estamos en hipotesis.
Veamos la continuidad. Tomemos > 0 y u HR1 (Rn ).
35
lisis Funcional
Z 2
2

|J u(x) u(x)| =
n J (y)u(x y)dy u(x)

R
Z Z 2

=
n J (y)u(x y)dy J (y)u(x)dy

R Rn
Z 2

= n J (y)[u(x y) u(x)]dy

R
Z
J (y)|u(x y) u(x)|2 dy
Rn
Para ver u
ltima desigualdad consideremos la medida definida por
Z Z
(y)d (y) = (y)J (y)dy
Rn Rn
Como la funcion | |2 es convexa y es una medida de probabilidad, vale la

desigualdad de Jensen y por tanto
Z 2 Z 2

J (y)[u(x y) u(x)]dy = [u(x y) u(x)]d (y)
Rn n
Z ZR
|u(x y) u(x)|2 d (y) = J (y)|u(x y) u(x)|2 dy
Rn Rn
Ahora,
Z Z Z
2 2
|J u(x) u(x)| dx J (y)|u(x y) u(x)| dy dx
Rn Rn Rn
Z Z
2
= J (y) |u(x y) u(x)| dx dy
Rn Rn
Z
C2 J (y)|y|2 dy
n
ZR
C2 J (y)|y|2 dy
B(0,)
Z
2 2
C || J (y)dy = C 2 ||2
B(0,)
lo que implica
kJ u ukL2 C|| (2.8)
36
Adoptemos la notacion u = J u. Luego,
|u (x + h) u (x)| =
Z

= J (y)[u(x + h y) u(x y)]dy
n
ZR
J (y)|u(x + h y) u(x y)|dy
Rn
Z 1/2 Z 1/2
J2 (y)dy |u(x + h y) u(x y)| dy 2
Rn Rn
Z 1/2
2
C |u(z + h) u(z)| dz
Rn
C |h| kuk21 C0 |h|2
2
q

Por lo que si < C0
, entonces |u (x + h) u (x)| < . Observemos que no
depende de u, por lo que a su vez obtenemos la equicontinuidad.
La acotacion puntual es inmediata ya que

Z

|J u(x)| = J (y)u(x y)dy kJ k0 kuk0 C
Rn
Parte II:
Por la ecuacion 2.8 existe 0 tal que para toda u HR1 (Rn )

kJ0 u uk0 <
2
Como por la parte (I) K0 es precompacto, existe una ( 2 )-red {1 , ..., n },
p
con = vol B(0, R). Luego, para toda u0 K0 existe i {1, ..., n} tal que
r

ku0 i k <
2
y por lo tanto
Z Z
ku0 i k20 = 2
|u0 (x) i (x)| dx = |u0 (x) i (x)|2 dx
Rn B(0,R)

ku0 i k2 <
2
Ahora, si tomamos u K
ku i k0 ku u0 k0 + ku0 i k0 <
y obtenemos que {1 , ..., n } es una -red para K.
37
lisis Funcional
Corolario 2.15
Para todo k N la inclusion i : HRk (Rn ) HR0 (Rn ) es compacta.
Demostracion:
Este resultado es inmediato del hecho que i : H k (Rn ) H k1 (Rn ) es continua
y por tanto i : HRk (Rn ) HRk1 (Rn ) tambien lo es.
38
Captulo 3
Primeros Resultados en Rn
Teorema 3.1
El Laplaciano g : H k (Rn , kkk ) H k2 (Rn , kkk2 ) es un operador continuo
k 2, k Z.
Demostracion:
Consideremos primero g : (C (Rn ), kk ) (C (Rn ), kk ). Es claro que
este operador es continuo ya que si {fn } C (Rn ) es una sucesion convergente
fn f = g fn g f
Luego, como C (Rn ) es denso en H k (Rn , k kk ), existe una u
nica extension
k n n
continua g : H (R , k kk ) (C (R ), k k ). Ademas, sabemos que si
u H k (Rn ) entonces g u H k2 (Rn ), por lo que obtenemos el resultado.

Teorema 3.2
El Laplaciano g : H 2 (Rn , dg ) L2 (Rn , dg ) es un operador simetrico.
Demostracion:
Sean u, v C0 (Rn ). Si llamamos M a un abierto que contenga a los soportes
de u y v, por 1.2 sabemos que vale
hg u, vi = hu, g vi
Como C0 (Rn ) es denso en H 2 (Rn ) y g : H 2 (Rn ) L2 (Rn ) es continuo,
este u
ltimo resulta simetrico.

Teorema 3.3
El Laplaciano g : H 2 (Rn , dg ) L2 (Rn , dg ) es un operador positivo.
39
Demostracion:
Tomemos u C0 (Rn ) y M un abierto que contenga al soporte de u. Luego, por
el teorema 1.3 sabemos que hg u, ui 0. Como g : H 2 (Rn ) L2 (Rn ) es
continuo y C0 (Rn ) es denso en H 2 (Rn ), tenemos que g : H 2 (Rn ) L2 (Rn )
tambien es positivo.

Lema 3.4
Si r, s R entonces (+I)r : H s (Rn ) H s2r (Rn ) es un operador unitario.
Demostracion:
Z
r
k( + I) uk2s2r = (1 + ||2 )s2r |(\
+ I)r u|2 ()d
n
ZR
= (1 + ||2 )s2r (1 + ||2 )2r |
u|2 ()d
ZRn
= (1 + ||2 )s |
u|2 ()d = kuk2s
Rn
Definici
on 3.1
Un operador P : H 1 (Rn ) H 1 (Rn ) se dice coercitivo si es continuo y existen
n
umeros reales 0 , 1 > 0 tal que
RehP u, ui 1 kuk1 0 kuk0
u H 1 (Rn ).
Lema 3.5
Si P : H 1 (Rn ) H 1 (Rn ) es un operador coercitivo y Q : H 1 (Rn ) H 0 (Rn )
es un operador continuo, entonces la suma P + Q : H 1 (Rn ) H 1 (Rn ) es
tambien un operador coercitivo.
Demostracion:
Sabemos que 0 , 1 y K R+ tal que si u H 1 (Rn )
RehP u, ui 1 kuk1 0 kuk0 y

1 2
|hQu, ui| kQuk0 kuk0 Kkuk1 kuk0 kuk21 + K 2 kuk20
2 1
40
donde la u
ltima desigualdad se debe a que
r r
1 2 1 2
0( kuk1 Kkuk0 )2 kuk21 Kkuk1 kuk0 + K 2 kuk20
2 1 2 1
Luego tenemos que

1 2 2
Reh(P + Q)u, ui kuk1 0 + K kuk20
2
2 1
y por tanto P + Q es coercitivo.
Lema 3.6
El Laplaciano g : H 1 (Rn ) H 1 (Rn ) es un operador coercitivo.
Demostracion:
Veamos primero la continuidad. Tomemos u C0 (Rn ). Luego
Z Z
kg uk1 = sup g u v dg sup g u g v dg
kvk1 =1 Rn kvk1 =1 Rn
kg uk0 kg vk0 kukH 1 kvkH 1 0 kuk1 kvk1 = 0 kuk1
umero 0 proviene de que las normas en H 1 (Rn ) son equivalentes y

Donde el n

por tanto 0 , 1 R+ tal que 1 kuk1 kukH 1 0 kuk1 u H 1 (Rn ).
Luego kg uk1 0 kuk1 y g : C0 (Rn ) H 1 (Rn ) es continuo. Como

C0 (Rn ) es denso en H 1 (Rn ), hay una u
nica extension continua a todo H 1 (Rn ).
Vale la pena notar que existen funciones en H 1 (Rn ) que no poseen derivadas
segundas por lo que pensamos que el operador g act ua derivando debilmente.
Vimos previamente que si u C0 (Rn ) entonces

Z
hg u, ui = g u u dg = k|g u|k20
Rn
por lo que
hg u, ui = k|g u|k20 + kuk20 kuk20 = kuk2H 1 kuk20 1 kuk21 kuk20
Sea {un } C0 (Rn ) tal que kun uk1 0. Tenemos por un lado que
1 kun k21 kun k20 1 kuk21 kuk20
Ademas, K R+ tal que
hg un , un i = k|g un |k20 Kk|g u|k20
41
Luego, por el teorema de convergencia dominada tenemos que

Z Z Z
lm hg un , un i = lm g un un = lm g un un = g uu = hg u, ui
n n Rn Rn n Rn
Observamos que utilizamos la convergencia en H 1 (Rn ) para intercambiar el

lmite con el operador g , ya que este u
ltimo es continuo all.
As obtuvimos que u H 1 (Rn )
hg u, ui 1 kuk21 kuk20
Teorema 3.7 (Interpolaci on)

Si T : H s0 (Rn ) H t0 (Rn ) es un operador continuo tal que T [H s1 (Rn )]
H t1 (Rn ) para s1 > s0 y t1 > t0 entonces si s = (1 )s0 + s1 y t =
(1 )t0 + t1 para alg un [0, 1] entonces T : H s (Rn ) H t (Rn ) es
continuo.
Corolario 3.8
Si T : H s0 (Rn ) H t0 (Rn ) y T : H s1 (Rn ) H t1 (Rn ) son biyectivas enton-
ces H s (Rn ) H t (Rn ) es un homeomorfismo [0, 1].
A continuacion demostraremos uno de los teoremas mas importantes de estas

notas.
Teorema 3.9
Sea g una metrica Riemanniana en Rn tal que g coincide con la metrica
Eucldea en B(0, 2)c . Entonces, el Laplaciano g : HR2 (Rn ) L2R (Rn ) es
Diagonalizable en una base ortonormal de L2R (Rn ).
Demostracion:
Parte I: Si P : H 1 (Rn ) H 1 (Rn ) es un operador coercitivo entonces 0
tal que el operador P + I : H 1 (Rn ) H 1 (Rn ) es biyectivo 0 .
Observemos que
Reh(P + I)u, ui = RehP u, ui + kuk20 1 kuk21 kuk20 + kuk20 1 kuk21
de donde P + I es inyectivo. Ademas,

1 1
1 kuk21 kuk20 + kuk20 kuk1

k(P +I)uk1 |h(P +I)u, ui|
kuk1 kuk1
42
Por lo que Im(P + I) es un subespacio cerrado de H 1 (Rn ).
Veamos ahora que es sobreyectivo. Supongamos que no lo es, entonces por
Hahn-Banach F H 1 (Rn ) tal que F 6= 0 y F |Im(P +I) = 0. Como (H 1 (Rn )) '
H 1 (Rn ) esto es equivalente a decir que u H 1 (Rn ), u 6= 0, tal que (u) = 0
Im(P + I). En otras palabras
h(P + I)v, ui = 0 v H 1 (Rn )
En particular
0 = h(P + I)u, ui kuk1
por lo que u = 0 contradiciendo lo afirmado.
Parte II: Para todo r Z, r 0, el operador (g +I) : H r+2 (Rn ) H r (Rn )

es continuo y biyectivo (r).
(r)
Definamos para todo r Z el operador P1 : H 1 (Rn ) H 1 (Rn ) por
(r)
P1 u = ( + I)r g ( + I)r u
u H 1 (Rn ). Llamemos T al operador T = ( + I)r g g ( + I)r . Luego
T es un operador diferencial de orden 2r + 1, es decir que no aparecen deri-
vadas de orden 2r + 2. Observemos eso:
Supongamos primero que r = 1. Entonces,

T u = ( + I)g u g ( + I)u = g u + g u g u g
= g u g u
y consideremos T = g g : H 3 (Rn ) H 1 (Rn ).
El operador T es continuo pues los mapas

: H 1 (Rn ) H 1 (Rn ) : H 3 (Rn ) H 1 (Rn )
g : H 1 (Rn ) H 1 (Rn ) g : H 3 (Rn ) H 1 (Rn )
lo son.
Para simplificar notacion escribiremos

X X
= k2 g = a i aij j
k ij
k2 g :
P
Calculemos g = k
" #
X
k2 g = k2 a i aij j
ij
43
X X X
= k2 a i aij j + 2k a k i aij j + a k2 i aij j
ij ij ij
Observamos que el unico termino que podra involucrar derivadas de orden 4

es el u
ltimo sumando del miembro de la derecha, por lo que lo desarrollaremos
un poco mas.
X X
a k2 i aij j = a k2 [i aij j + aij i j ]
ij ij
X X
=a k2 [i aij j ] + a [k2 aij i j + 2k aij i j + aij k2 i j ]
ij ij
De donde g se escribe como

X
g = T3 + a aij k2 i j
ijk
con T3 un operador que involucra derivadas hasta orden 3. Por otro lado,
" !#
X X
g = a i aij j k2
ij k
" #
X X X
=a i aij j k2 + aij i j k2
ij k k
" #
X X X
=a i aij j k2 + a aij i j k2
ij k ijk
por lo que g se escribe como

X
g = T30 + a aij i j k2
ijk
con T30 un operador que involucra derivadas hasta orden 3.
Luego podemos escribir T = T3 T30 + R, donde R resulta

X X
R= aij k2 i j aij i j k2
ijk ijk
Si tomamos u C (Rn ) entonces, por los teoremas de intercambio de deriva-

das de Schwartz, Ru = 0, y por tanto T [C (Rn )] H 0 (Rn ). Luego, como T
es continua y C (Rn ) es denso en H 3 (Rn ) resulta
T : H 3 (Rn ) H 0 (Rn )
44
lo que implica que R = 0, pues de lo contrario existira v H 1 (Rn ) Im T .
Concluimos entonces que
g g = T3 T30
por lo que no se involucran derivadas cuartas.
Para otro entero r > 1 puede probarse por induccion completa, utilizando
la formula del binomio de Newton para desarrollar la expresion ( + I)r .
Luego, escribiendo ( + I)r g = g ( + I)r + T tenemos que

(r)
P1 = ( + I)r g ( + I)r = g + T ( + I)r
Observamos que T ( + I)r : H 1 (Rn ) H 0 (Rn ) es un operador continuo

pues ( + I)r : H 1 (Rn ) H 2r+1 (Rn ) y T : H 2r+1 (Rn ) H 0 (Rn ) lo son.
(r)
Como ademas por el lema 3.6 g es coercitivo, el lema 3.5 implica que P1
tambien es coercitivo y por tanto esta en las hipotesis de la Parte I. Por ende,
(r)
(r), P1 + I : H 2r+1 (Rn ) H 2r1 (Rn ) es biyectivo. Ahora, como
(r)
P1 + I = ( + I)r [g + I]( + I)r
el operador g + I : H 2r+1 (Rn ) H 2r1 (Rn ) tambien es biyectivo y conti-

nuo (r).
Utilizando el teorema de interpolacion se deduce el resultado de esta etapa.

Observemos de que manera:
Dado r Z sabemos que existen (r) y (r)0 de manera que
(g + I) : H 2r+1 (Rn ) H 2r1 (Rn )
es biyectivo y continuo (r) y
(g + I) : H 2r+3 (Rn ) H 2r+1 (Rn )
es biyectivo y continuo (r)0 . Luego, si tomamos

(r) = max{(r), (r)0 }
obtenemos que ambos son biyectivos y continuos (r).
Luego, por el teorema de interpolacion concluimos que
(g + I) : H 2r (Rn ) H 2r2 (Rn )
tambien es biyectivo y continuo

(r).
45
Observaci on: Las partes 1 y 2 de este teorema valen en particular cuando

los operadores tienen dominio HRs (Rn ) en lugar de todo H s (Rn ).
Parte III: (g + I)1 : HR0 (Rn ) HR0 (Rn ) es un operador compacto y au-
toadjunto.
Observamos que, por el teorema de la aplicacion abierta, el operador
(g + I)1 : HR0 (Rn ) HR2 (Rn )
es tambien es continuo con = (0). A su vez, por el teorema 2.15,

2 n 0 n
la inclusion i : HR (R ) HR (R ) es compacta, por lo que considerando
(g + I)1 : HR0 (Rn ) HR0 (Rn ) como
HR2 (Rn ) HR0 (Rn )

HR0 (Rn ) 1
(g +I) i
este resulta un operador compacto, por ser composicion de un continuo con un

compacto.
Veamos ahora que (g + I)1 : HR0 (Rn ) HR0 (Rn ) es autoadjunto:
Como CR (Rn ) es denso en HR2 (Rn ), D = (g + I)(CR (Rn )) es denso en

HR0 (Rn ). Tomemos u0 y v0 en D. Luego existen u, v CR (Rn ) tal que
u = (g + I)u0 y v = (g + I)v0 . Ahora,
h(g + I)1 u, vi = hu0 , (g + I)v0 i = h(g + I)u0 , v0 i = hu, (g + I)1 vi
por lo que (g + I)1 |D es simetrico y por tanto (g + I)1 : HR0 (Rn )

HR0 (Rn ) tambien lo es. Como ademas es continuo resulta autoadjunto.
Luego, por el Teorema Espectral para operadores compactos y autoadjuntos,
(g + I)1 es diagonalizable en una base ortonormal de L2R (Rn ).
Conclusion:
Observamos que si es un valor propio de (g + I)1 y u una funcion propia
asociada a , tenemos que
1 1
(g + I)1 u = u u = (g + I)u g u = [ ]u

Por tanto u es una funcion propia para (g + I)1 si y solo si es funcion
propia para g . De aqu se concluye que g es diagonalizable en una base
ortonormal de L2R (Rn ), formada de hecho por funciones de HR2 (Rn ).
46
Corolario 3.10
Las funciones propias del Laplaciano g son de clase C .
Demostracion:
Vimos que u es una funcion propia de g si y solo si es funcion propia de
(g + I)1 . La imagen de (g + I)1 es de hecho HR2 (Rn ) y por tanto
u HR2 (Rn ). Ahora consideramos (g + I)1 : HR2 (Rn ) HR2 (Rn ). La
funcion u sera tambien propia para este operador, que de hecho tiene imagen
HR4 (Rn ) y por tanto u HR4 (Rn ). Siguiendo esta razonamiento inductivamente,
vemos que u HR2k (Rn ) para todo k lo que implica que u tiene derivadas de
todos los ordenes.
Corolario 3.11
Todos los valores propios de g son reales no negativos y tienen multiplicidad
finita.
Demostracion:
Ya sabemos por 3.3 que los valores propios de g son reales no negativos. Como
(g + I)1 es compacto y autoadjunto, todos sus valores propios no nulos
tienen multiplicidad finita y por tanto los de g tambien. Sabemos ademas
que el valor propio 0 de g tiene multiplicidad 1 ya que si g u = 0 tenemos
que u CR (Rn )) y por tanto
0 = hg u, ui = hg u, g ui = k|g u|k2
de donde u es constante, i.e.: el subespacio propio asociado a 0 es el conjunto

de las funciones constantes en CR (Rn ).
Corolario 3.12
El espectro Spec(g ) es un conjunto discreto tendiendo a infinito.
Demostracion:
Sabemos que los valores propios de (g + I)1 son un conjunto infinito,
discreto, acotado y acumulando en el 0. Por ende, como los valores propios de
g vienen dados por 1 , con valor propio de (g + I)1 , el espectro de
g es un conjunto infinito, discreto y no acotado superiormente.
47
48
Captulo 4
El Laplaciano en variedades
4.1. Localizaci
on
En el captulo 1 hicimos un estudio profundo del Laplaciano en el caso M = Rn
equipada con una metrica Riemanniana g. Queremos obtener ahora resulta-
dos similares definiendo el Laplaciano sobre una variedad Riemanniana M con
metrica g. Fundamentalmente, probar la existencia de una base ortonor-
mal de L2 (M ) formada por funciones propias del Laplaciano g . Para
esto, es crucial la hipotesis de que la variedad M sea compacta. De lo contrario,
el resultado es en general falso. Por cuestiones tecnicas, pediremos ademas que
M orientable, y sin borde. Pedimos ademas la hipotesis de conexion, que no
genera restricciones de ning un tipo, reduciendose el caso no conexo a estudiar
cada componente conexa.
Comencemos considerando {(U1 , h1 ), ..., (Un , hn )} un atlas finito de M con

hi : Ui B(0, 1) Rn i {1, ..., n}. Trabajaremos en esta seccion con
este atlas.
on de la unidad C subordinada al cu-

Consideremos p1 , ..., pn una partici
brimiento {U1 , ..., Un }, es decir
1. pi : Ui R es una funcion de clase C con soporte compacto i

{1, ...n}
2. pi 0 i {1, ...n}
P
3. i pi (x) = 1 x M
Teorema 4.1
Dada (M, g) variedad Riemanniana compacta, conexa, sin borde y orientada,
El Laplaciano g es diagonalizable en una base ortonormal de L2 (M ).
49
Demostracion:
Utilizaremos varias ideas del teorema 3.9 junto con la tecnica clasica de loca-
lizacion para utilizar los resultados obtenidos en el caso M = Rn .
Parte I: Existe R tal que g + I : H 2 (M ) H 0 (M ) es biyectivo

.
Definamos i en (Rn , gi ) con gi una metrica Riemanniana tal que coincide

con la metrica Eucldea en B(0, 2)c y en B(0, 1) la definimos de la siguiente
manera: Dado z B(0, 1) y v, w Rn
hv, wiz = h(dz h1 1

i )v, (dz hi )wih1
i (z)
Observaci on: Definidas las metricas de esta manera, los mapas dx hi : Tx M

Rn resultan isometras x Ui .
Sabemos por el teorema 3.9 que i + I : H 2 (Rn ) H 0 (Rn ) es biyectivo

i . Llamemos = max{1 , ..., n }. Luego, para todo i {1, ..., n}
i + I : H 2 (Rn ) H 0 (Rn )
es biyectivo .
Tomemos y v H 0 (M ) y definamos
vi := pi v
para todo i {1, ..., n}, y luego
(pi v h1

i )(z) z B(0, 1)
vi (z) =
0 z B(0, 1)c
De esta manera, vi H 0 (Rn ) i {1, ..., n}. Luego sabemos que para cada i
existe ui H 2 (Rn ) tal que
(i + I)
ui = vi
Para cada i existe Vi M abierto tal que U i Vi . Consideremos h i : Vi

B(0, 2) una extension de h de manera que h i H (M ) y sea biyectiva. Defi-
2
nimos entonces ui : M R como:

i )(x) x Vi

ui h
(
ui (x) =
0 x (Vi )c
de donde ui H 2 (Vi ).
50
4.1 Localizacio
n
Sabemos que ui |Uic = 0 pues ui es 0 en la bola B(0, 1) dado que vi lo es.

Entonces, si consideramos la restriccion ui |Ui , tenemos que ui |Ui H 2 (Ui )
valiendo 0 en Vi \Ui . Como ademas ui es cero en (Vi )c , obtenemos que ui
H 2 (M ), y su formula explcita viene dada por

ui hi )(x) x Ui
(
ui (x) =
0 x (Ui )c
Tenemos entonces que para cada i, en Ui vale
ui + i ui = vi
ui hi + i ui hi = vi hi
ui + i ui hi = vi
Como hi es una isometra tenemos que
ui hi ) = i ui hi
g ui = g (
y por tanto en Ui
( + g )ui = vi
Pn
Si definimos u : M R como u := i=1 ui , entonces u H 2 (M ) y verifica
n
X n
X
( + g )u = u + g u = ui + g ui
i=1 i=1
n
X n
X n
X
= ui + g ui = vi = pi v = v
i=1 i=1 i=1
Por lo que el operador g + I : H 2 (M ) H 0 (M ) es sobreyectivo.

Como por el teorema3.3 g : H 2 (M ) H 0 (M ) es positivo, tenemos que
k(g + I)uk2 = kg uk2 + 2hg u, ui + ||2 kuk2 ||2 kuk2
y el operador g + I : H 2 (M ) H 0 (M ) es inyectivo.
Parte II: El operador g + I : H 2 (M ) H 0 (M ) es continuo.
51
n
X n
X
2 2
k(g + I)uk = k (g + I)ui k k(g + I)ui k2
i=1 i=1
n
X n
X
= ui hi )k2
k(g + I)( i kui k2
i=1 i=1
n
X
(max i ) kui k2 max i kuk2
i i
i=1
Donde los i se obtienen de la siguiente manera:
k(g + I)ui k2 = k(g + I)(

ui hi )k2 = ki ui + ui k2
= ki ui + ui ui + ui k2 k(i + I)
ui k2 + ||2 k
ui k2 + ||2 kui k2
ui k2 + ||2 kui k2 (K + ||2 )kui k2 kh1

(K + ||2 )k 2 2
i k + || kui k
2
{[ (K + ||2 )kh1 2 2
i k ] + || }kui k
2
Parte III: El operador (g + I)1 : H 0 (M ) H 0 (M ) es compacto y au-

toadjunto, .
Probemos primero que es compacto. Al igual que en el caso HRk (Rn ), la in-
clusion i : H k (M ) H 0 (M ) es compacta. Esta afirmacion se deduce del
teorema 2.15, ya que M es compacta y por tanto las funciones de H s (M ) tie-
nen soporte contenido en la bola de centro 0 Rn y radio R = diam(M ).
Por la parte II sabemos que (g + I)1 : H 0 (M ) H 2 (M ) es continuo y,
al igual que en la prueba de 3.9, (g +I)1 : H 0 (M ) H 0 (M ) es compacto.
Veamos ahora que es autoadjunto. Como C (M ) es denso en H 0 (M ), D =

(g + I)(C (M )) es denso en H 0 (M ). Tomemos u0 y v0 en D. Luego u,
v C (M ) tal que u0 = (g + I)u y v0 = (g + I)v.
Ahora,
X X
h(g + I)1 u0 , v0 i = hu, (g + I)vi = h ui , (g + I)( v j )i
i j
X X X X
=h ui , (g + I)v j i = h ui , ((g + I)v)j i
i j i j
X X
= hui , ((g + I)v)j i = hui , ((g + I)v)i i
ij i
52
4.1 Localizacio
n
Observemos lo siguiente:
Z
i i
hu , ((g + I)v) i = ui (x)((g + I)v)i (x)dx
n
ZR
= ui (hi (x))((g + I)
v (hi (x)))i dg (x)
ZM
= ui (hi (x))((i + I)
v )i (hi (x))dg (x) (4.1)
ZM
= ui (x)((i + I)
v )i (x)dx
Rn
ui , ((i + I)
= h v )i i
donde utilizamos la formula de cambio de variable y el hecho de que las hi son

ltimo que |detJhi (x)| = 1 x M .
isometras, implicando esto u
Una cuenta analoga muestra que
h((g + I)u)i , v i i = h((i + I)

u)i , vi i
De la prueba de 3.9 sabemos que (i + I)1 es autoadjunto, por lo que
h(g + I)1 ui0 , v0i i = hui , (g + I)v i i

= h((g + I)u)i , v i i = hui0 , (g + I)1 v0i i
y por ende
h(g + I)1 u0 , v0 i = hu0 , (g + I)1 v0 i
Tenemos entonces que (g + I)1 |D es autoadjunto, lo que implica que (g +

I)1 : H 0 (M ) H 0 (M ) tambien lo es.
De esta manera concluimos que g es diagonalizable en una base or-

tonormal de H 0 (M ). En otras palabras, existe una base ortonormal de
L2 (M ) formada por funciones propias de g .
53
Obtenemos tambien los corolarios
Corolario 4.2
Las funciones propias del Laplaciano g son de clase C .
Corolario 4.3
Todos los valores propios de g tienen multiplicidad finita.
Corolario 4.4
El espectro Sp(g ) es discreto.
Teorema 4.5
Para todo s Z, s 1 el operador (g + I) : H s+2 (M ) H s (M ) es
continuo y biyectivo (s).
4.2. El Laplaciano en la esfera S n

Adoptemos la siguiente notacion:
Si p M notaremos B(p, ) la bola geodesica centro p y radio , i.e. B(p, ) =
expp [B(0, )] y el mapa exponencial expp : B(0, ) Tp M B(p, ) M es
un difeomorfismo.
Si f : B(p, ) R y q M entonces el valor de f (q) solo depende de la
distancia de q a p, por tanto f se puede escribir como
f (q) = ( r)(q)
Donde r(q) = d(p, q) y es una cierta funcion : [0, ) R.
Proposici
on 4.6 (El Laplaciano en coordenadas Polares)
2 0 n 1

f = 2 +
r r r
p
Donde = det(gij ) al igual que antes.
54
4.2 El Laplaciano en la esfera S n
Proposici on 4.7
Consideramos la esfera (S n , g0 ) dentro de (Rn+1 , g0 ), siendo g0 la metrica
Eucldea de Rn+1 , y para el caso de la esfera la metrica heredada. Entonces, si
f : Rn+1 R es una funcion de clase C se verifica que
2 f

Rn+1 Sn f
( f )|S n = (f |S n ) n
r2 S n r S n
Demostracion:
Sea x0 S n y consideremos x1 , ..., xn tal que el conjunto {xo , x1 , ..., xn } es
una base ortonormal de Rn+1 . A su vez, el conjunto {x1 , ..., xn } es una base
ortonormal de Tx0 M . Consideremos, i {1, ..., n}, las geodesicas de la esfera
que pasan por x0 con velocidad xi , es decir
i (t) = cos t x0 + sin t xi
d2 (f i ) f 2f
(t) = cos t (i (0)) sin t (i (0))
dt2 x0 x20
f 2f
sin t (i (0)) + cos t 2 (i (0))
xi xi
por lo que
d2 (f i ) f 2f
(0) = (x 0 ) + (x0 )
dt2 x0 x2i
Luego
n n
2 (f i )
2
Sn
X X f f
(f |S n )(x0 ) = 2
(0) = + 2
(x0 ) (x0 )
i=0
dt i=0
x i x 0
n
X 2f f
= (x0 ) + n (x0 )
i=0
x2i x0
Sabemos que el Laplaciano usual en Rn+1 viene dado por

n n
Rn+1
X 2f X 2f 2f
( f )(x) = (x) = (x) + 2 (x)
i=0
x2i i=1
x2i x0
por lo tanto la restriccion viene dada por la misma formula y tenemos que
n
n+1
X 2f 2f
(R f )|S n (x0 ) = 2
(x0 ) + (x0 )
i=1
xi x20
n f 2f
= S (f |S n )(x0 ) n (x0 ) 2 (x0 )
x0 x0
55

Aplicaci on 1.
Notemos por r : Rn+1 R la funcion distancia al origen y consideremos para
R la funcion r2 . Observamos que esta funcion es de clase C 2 y que su
restriccion a la esfera S n es la funcion constante 1. Por esto, su Laplaciano en
la esfera es cero y por la proposicion anterior tenemos que
2 2 2

n+1 r r
(R r2 )|S n = n = 2(2 1) n 2
r2 S n r S n
Observamos ademas que
n+1
R (r2 ) = 2(2 + n 1)r2(1)
por lo que el Laplaciano de un polinomio homogeneo de grado 2 es un poli-

nomio homogeneo de grado 2 2.
Aplicacion 2.
Consideremos P un polinomio en Rn+1 homogeneo, de grado k, que ademas
n+1
sea armonico, es decir que verifica R P = 0. Entonces tenemos que
n
0 = S (P |S n ) k(k 1) P |S n n k P |S n
si y solo si
n
S (P |S n ) = k(k + n 1)P |S n
Por lo que los polinomios homogeneos armonicos en la esfera son funciones

n
propias del Laplaciano S para cualquier k 1.
Mas interesante aun es el hecho de que estos polinomios constituyen todas

las autofunciones del Laplaciano, y forman por tanto una base ortonormal de
L2 (S n ). Probaremos esto a continuacion.
Notacion 4.1
Notaremos por Pk al subespacio de los polinomios en Rn+1 homogeneos de
grado k. Si fL C (Rn+1 ), f denotara su restriccion a la esfera S n .
El conjunto k0 Pk puede ser equipado con el producto interno dado por
Z
hp, qi = p q dg0
Sn
donde g0 es la metrica heredada de Rn+1 .
56
Notaci on 4.2
Notaremos por Hk al subespacio de los polinomios en Rn+1 homogeneos y
armonicos, de grado k. Si consideramos la restriccion R : Hk C (S n ) con
R(p) = p|S n , R es un mapa inyectivo: la homogeneidad asegura que si dos
polinomios coinciden en la esfera S n entonces coinciden en cualquier esfera
B(0, r), y por ende en todo Rn+1 . Por lo tanto, R es un isomorfismo sobre su
imagen, la cual notaremos H k.
Teorema 4.8
El espectro del Laplaciano en la esfera (S n , g0 ) es el conjunto
Spec(g0 ) = {k = k(n + k 1) : k Z, k 0}
Ademas, los subespacios propios Ek asociados a cada valor propio k son exac-
tamente los conjuntos Hk.
Lema 4.9
Para todo k 0
P2k = H2k r2 H2k2 r2k H0

P2k+1 = H2k+1 r2 H2k1 r2k H1
donde ademas los subespacios en cada descomposicion son ortogonales dos a

dos.
Demostracion:
Haremos esta prueba por induccion completa.
Para k = 0 y k = 1 se verifica trivialmente ya que H0 = P0 , las funcio-
nes constantes, y H1 = P1 , las funcionales lineales. Supongamos que para
un k 2 vale la descomposicion Pk = Hk r2 Pk2 y probemos que vale
alg
Pk+2 = Hk+2 r2 Pk .
Veamos que la suma Hk+2 + r2 Pk Pk+2 es directa y que los factores son
ortogonales:
k+2 y Pk en C (S n ) son ortogonales:
(1) H
k+2 Ek+2 . Tenemos
Sabemos, por la aplicacion 2 de la proposicion 4.7 que H
entonces, utilizando la hipotesis inductiva, que
Pk H
k Pk2 Ek Pk2 = Ek H k2 Pk4
Ek Ek2 Pk4
57
por lo que Pk esta contenido en la suma de subespacios propios asociados a

valores propios distintos de (k + 2)(n + k + 1). Como los subespacios propios
son ortogonales dos a dos, tenemos que H k+2 y Pk son ortogonales.
(2) Si p Pk+2 es ortogonal a Pk entonces p Hk+2

Dado p Pk+2 , p Pk . Por el lema 4.9 sabemos que Pk se escribe como
suma de r2l Hk2l con 0 2l k, por lo que p = 0 si y solo si es ortogonal a
a todos los r2l Hk2l . Equivalentemente, p = 0 si y solo si p es ortogonal a
H k2l , 0 2l k.
Sean p Pk+2 y h Hk2l . Sabemos que
pfh =
ph + 2h + ph
p, hi
Integrando
Z Z Z Z
0= pfh =
ph+2 h +
p, hi
p h (4.2)
Sn Sn Sn Sn
Como h es un polinomio armonico de grado k 2l sabemos que h

= (k

2l)(n + k 2l 1)h. Por tanto
Z Z
= (k 2l)(n + k 2l 1)
p h =0
p h
Sn Sn
ya que p es ortogonal a Pk .
Ahora, por la proposicion 4.7 sabemos que
2
f + p + n p = p
g f

p = p f + (k + 2)(n + k + 1)
p
r2 r
Entonces
Z Z Z Z

ph= p
fh + (k + 2)(n + k + 1) =
p h p
fh
Sn Sn Sn Sn
Reemplazando en la ecuacion 4.2
Z Z
p
fh = 2 h = 2h
p, hi
p, hi
Sn Sn
= 2h = 2(k 2l)(n + k 2l 1)h
p, hi =0
p, hi
Finalmente, p es ortogonal a Pk y por lo tanto p = 0.
58
Lema 4.10
Sea (M, g) variedad Riemanniana y {Wi }iN C (M ) subespacios vectoriales
tal que se verifica
1. Para todo i N existe un subespacio propio Si del Laplaciano g tal

que Wi Si .
2
P
2. iN Wi es densa en C (M ) con la norma L .
Entonces para todo i N, Wi = Si y el espectro de g es exactamente el

conjunto {i }iN .
Demostracion:
Primero observemos que los subespacios Wi deben ser de dimension finita
pues los Si lo son. Supongamos que existe i tal que Wi ( Si . Entonces existe
f Si que es ortogonal a Wi . A su vez, f debe ser ortogonal a Wj para todo
j 6= i por la descomposicion en subespacios ortogonales que nos da el Teorema
Espectral. Luego f es ortogonal a iN Wi y por tanto a C (M ) de donde
P
f = 0, lo que es una contradiccion.
Con respecto a la afirmacion sobre el espectro, es claro que {i }iN Spec(g ).

Si existiese otro valor propio distinto de los {i }iN , entonces el subespacio
propio S es no trivial y es ortogonal a todos los Wi . Luego es ortogonal a la

P
iN Wi y por densidad a todo C (M ), resultando entonces trivial, lo que es
tambien una contradiccion.
Demostracion del Teorema:

n
Por el teorema de Stone-Weierstrass, el conjunto ^ k0 Pk es denso en C (S )
con la topologa uniforme y, como S n tiene medida finita, tambien es denso en
L2 (S n ). Por el lema 4.9 tenemos que cada Pk se escribe como suma de ciertos
H l con l k. Ademas obtenemos que
M M
Hk = Pk
k0 k0
y por tanto k0 Hk tambien es denso en C (S n ) con la norma L2 . Luego, por

el lema 4.10 Hk = Ek para todo k 0.
59
4.3. El Laplaciano como fuente de informaci

on
geometrica.
Toda un area de la matematica se ocupa de estudiar la relacion existente entre
el espectro del Laplaciano en una variedad y la geometra de esta. Al estar
intrnsecamente relacionado con la metrica, el espectro del Laplaciano codifi-
ca de alguna manera la informacion geometrica de la variedad. Lamentable-
mente, esta codificacion no es lo suficientemente buena en el siguiente sentido:
el espectro del Laplaciano no caracteriza, en general, la geometra
de la variedad. Al final de la seccion probaremos sin embargo un resultado
en el cual, bajo ciertas hipotesis, s hay caracterizacion.
Proposicion 4.11 (Principio del mnimo para 1 .)

El primer valor propio no nulo, 1 , de una variedad (M, g) viene dado por
kf k2
1 = nf
f H1 (M ) kf k2
Demostracion:
Por un lado, si f es una funcion propia asociada a 1 entonces tenemos que
Z Z Z
hg f, g f idg = g f f dg = 1 f 2 dg
M M M
y por lo tanto
kf k2
1 nf
f H1 (M ) kf k2
Tomemos ahora f H 1 (Rn ). f se escribe de manera u

P
nica como f = i i ui
siendo {ui } las autofunciones del Laplaciano. Luego,
Z Z Z
2
|g f | dg = hg f, g f idg = hg f, f idg
M ZM M Z X
X X
= h i i ui , j uj idg = i2 i |ui |2
M i j M i
Z X
1 i2 = 1 kf k2
M i
por lo que,
kf k2
1 nf
f H1 (M ) kf k2
60
4.3 El Laplaciano como fuente de informacio
n geome
trica.
Definicion 4.1 (Campos de Jacobi)

Sean f C (M ) y : [0, a] M una curva geodesica. Un campo a lo largo
de se dice de Jacobi si satisface la siguiente ecuacion diferencial
D2 J
(t) + R((t),
J(t))(t)

dt2
t [0, a] y donde R denota al tensor de curvatura.
Observaci
on 4.1
Un campo de Jacobi queda determinado por las condiciones iniciales J(0) y
DJ
dt
(0).
Campos de Jacobi en la esfera S n
Sea : [0, ] S n una geodesica de velocidad 1 uniendo los puntos antpo-

das (0) y (). Tomemos w0 T(0) M tal que |w| = 1 y hw, (0)i
(0) = 0, y
consideremos w(t) el campo paralelo con w = w(0) a lo largo de la curva (t).
Veamos que J(t) = sin t w(t) es un campo de Jacobi. Sabemos que la curvatura
K = 1 y que |(0)|
= 1. Tenemos entonces que
hR(, Ji = |J|2
J),
lo que implica que
R(,
J) = J
Por otra parte, utilizando que w(t) es un campo paralelo obtenemos que

D D D D D
sin tw(t) = (cos t w(t)) + sin t w(t)
dt dt dt dt dt
D
= sin w(t) + cos t w(t) = sen t w(t) = J
dt
61
Proposicion 4.12 (Caracterizaci on de los Campos de Jacobi)

Sea x M , v Tx M y w Tv Tx M . Entonces
1. El campo J(t) = (d expx )tv (tw) a lo largo de una geodesica (t) es un
campo de Jacobi
2. Todo campo de Jacobi a lo largo de una geodesica es de la forma J(t) =
(d expx )tv (tw)
Definici on 4.2 (Variaciones de curvas)

Sea c : [0, 1] M una curva parametrizada. Una Variacion diferenciable de
c en una funcion diferenciable K : [0, 1] (, ) M tal que K(t, 0) = c(t),
t [0, 1]. Para cada s (, ), la funcion Ks : [0, 1] M definida por
Ks (t) = K(t, s) es una curva parametrizada, y la llamaremos curva de varia-
cion.
Diremos que una variacion es geodesica si la curva inicial c es una geodesi-

ca y todas las curvas {Ks }s(,) tambien lo son.
Teorema 4.13
Sea : [0, 1] M una geodesica y K : [0, 1] (, ) M una variacion
geodesica. Entonces J(t) = K
s
(t, 0) es un campo de Jacobi. Recprocamente,
todo campo de Jacobi a lo largo de es de esa forma para alguna variacion K.
Formula de la primera Variaci on de la Longitud.

Sea c : [0, 1] M una curva parametrizada y X un campo de vectores a
lo largo de c. Sea K : [0, 1] (, ) M una variacion diferenciable de
tal manera que todas las curvas cs (t) = K(t, s) tienen velocidad constante.
Entonces
Z 1
d 1 D dc
l(cs ) = hX, idt
ds s=0 r 0 dt dt
donde r = |c(t)|.

Formula de la segunda Variaci on de la Longitud para campos de

Jacobi.
Sea : [0, 1] M una curva geodesica y J un campo de Jacobi a lo largo de
. Entonces
d2

1
[hJ(1), J 0 (1)i hJ(0), J 0 (0)i]

2
l(c s ) =
ds s=0
|(t)|

62
n geome
trica.
Definici
on 4.3
Dada una funcion f H 2 (M ) y x M , llamaremos matriz Hessiana de f en
x a la matriz asociada a la forma cuadratica Hessx f en Tx M definida por
d2 (f )

Hessx f (v) = (t)
dt2 t=t0
donde es una curva tal que (t0 ) = x y (t 0 ) = v Tx M . Observamos que

n
para el caso de R con la metrica Eucldea, la Hessiana de f es la matriz de
2f
las derivadas segundas, es decir, tal que la entrada aij -esima es xi x j
.
Notaremos indistintamente Hess f a la matriz y a la forma cuadratica.
Proposicion 4.14 (Formula de Bochner - Lichnerowicz)

Para toda f C (M )
1
g (|g f |2 ) = |Hess(f )|2 |g f |2 + (g f, g f )
2
Donde es el tensor de curvatura de
PRicci. |Hess(f )| denota la norma de la
2 2
matriz Hessiana, i.e., |Hess(f )| = ij aij .
Teorema 4.15 (Lichnerowicz)

umero K > 0 tal que K g entonces
Si existe un n
n
1 K
n1
Donde 1 es el primer valor propio no nulo del Laplaciano g
Demostracion:
Sea f una funcion propia del Laplaciano g de valor propio . De la formula
de Bochner - Lichnerowicz obtenemos que
1
g (|g f |2 ) = |Hess f |2 hg f, g g f i + (g f, g f )
2
= |Hess f |2 hg f, g f i + (g f, g f )
Integrando
Z
2 2
0 = kHess f k kg f k + (g f, g f )dg
M
por lo que
0 kHess f k2 kg f k2 + Kkg f k2
63
Observemos que si f es como antes
kg f k2 = hg f, g f i = hf, g i = hg f, g f i = kg f k2
Por lo tanto obtuvimos que si 6= 0
K
0 kHess f k2 kg f k2 + kg f k2

Consideremos B una base ortonormal de Tx M y sean H y I las matrices asocia-

das a la Hessiana de f y a la metrica en la base B, respectivamente. Utilizando
la desigualdad de Cauchy-Schwartz
(g f )2 = (tr H)2 = (tr I t H)2 = |hH, Ii|2 |H|2 |I|2

= |Hess f |2 tr I = |Hess f |2 n
Luego
1 1
|Hess(f )|2 (g f )2 kHess(f )k2 kg f k2
n n
y concluimos que

1 K n1 K n
0 1+ kg f k2 + K
n n n1
En particular
n
1 K
n1

Teorema 4.16 (Obata)

Sea (M, g) una variedad Riemanniana y 1 el primer valor propio no nulo del
Laplaciano g . Si K R verifica que Kg y
n
1 = K
n1
entonces (M, g) es isometrica a (S n , g0 ).
64
n geome
trica.
Demostracion:
Parte I: Existe un mapa diferenciable f : M R tal que
Hess f = f g
Sabemos de la prueba del teorema de Lichnerowicz que el hecho de que se de el

n
igual en la formula 1 = K n1 implica que las formas cuadraticas g y Hess(f )
son colineales. Luego, para cada x M existe (x) tal que
Hessx f = (x)gx
La funcion : M R as definida resulta diferenciable ya que en particular

tenemos que
1 2f
(x) =
g11 (x) x21
x M , de donde Hess f = g. Luego considerando las matrices asociadas

a g y a Hess en una base ortonormal de Tx M y tomando trazas obtenemos que
g f = tr[Hess f ] = n
Si tomamos f una funcion propia asociada a 1

n
n = 1 f = Kf
n1
Consideremos entonces una metrica g 0 = n1K

g. De esta manera tenemos que
K
g0 = g y ademas g0 = n1 g , por lo que los dos operadores tienen las mis-
mas autofunciones con valor propio de g si y solo si n1
K
es valor propio
de g0 . Luego el primer valor propio no nulo de g0 es n y por tanto
n = 1 f = n f
de donde = f y obtenemos el resultado.
Consecuencia: Si consideramos una geodesica parametrizada por longi-

tud de arco entonces tenemos que
d2 (f )
(t) = [Hess(t) f ]((t))
= (f )(t)h(t),
(t)i
(t) = (f )(t)
dt2
de donde (f )(t) = A cos t + B sin t
65
Parte II:
Como M es compacta, f alcanza un maximo en el punto N , y podemos suponer
que este maximo es 1. Tomemos : [0, a] M una geodesica parametrizada
por longitud de arco partiendo de N .
Sabemos que (f )(0) = 1 por lo que 1 = A cos 0 + B sin 0 de donde A = 1.
Como f alcanza un maximo en t = 0 su derivada se anula en este instante.
Por tanto 0 = sin 0 + B cos 0 de donde B = 0. Concluimos entonces que
(f )(t) = cos t
Ahora, si tomamos un punto x M , como M es compacta sabemos que existe

una geodesica que une x con N y que realiza la distancia. Tenemos entonces
que
f (x) = cos d(x, N )
Llamando r(x) = d(x, N ), f = cos r y f = (r)

sin r 6= 0. Esto implica que
el mapa exponencial restricto a la bola B(0, ) Tx M es inyectivo.
Fijemos un tiempo t y un vector w tal que w v y |tw| = 1. Considere-

mos (s) la geodesica que en tiempo s = 0 pasa por (t) con velocidad 1.
Consideremos el campo de Jacobi a lo largo de dado por
J(t) = dtv (exp)(tw)

Con 0 t 1.
Consideramos una variacion geodesica K : [0, 1] (, ) M con K(t, s) =

cs (t) de manera
cs (0) = N para todo s (, ) y cs (t) = (s). Notemos
que
por l(s) = dcdts (0) t a la longitud de cs entre N y cs (t).
Sabemos que, como es una geodesica, (f )(s) = A cos s + B sin s. Al igual

que antes, A = (f )(0) = (f c0 )(t) = cos t y B = d(fdt) (t) = hg f, (0)i
=0

ya que (0) v y g f es paralelo a v. Luego tenemos que
(f )(s) = cos t cos s
Como ademas (f )(s) = (f cs )(t) = cos[l(s)] obtenemos
cos[l(s)] = cos t cos s
Ahora, derivaremos dos veces respecto a s a ambos lados. Del miembro izquier-
do obtenemos que
66
n geome
trica.
d2

d dl
cos[l(s)] = sin[l(s)] (s)
ds2
s=0 ds ds
s=0

2 2

dl dl
= cos[l(s)] (s) sin[l(s)] 2 (s)

ds ds s=0
s=0
= sin thJ(t), J 0 (t)i
d2 l
donde utilizamos que dl
ds
(0) =0y ds2
(0) = hJ(t), J 0 (t)i. Por su parte, el miem-
bro derecho resulta
d2

2

2
[cos t cos s] = cos t cos s
s=0
= cos2 t = |J(t)|2
ds
s=0
de donde
|J(t)|2 cos t = sin thJ(t), J 0 (t)i
por lo que si llamamos U (t) = |J(t)|2 tenemos que
U 0 (t) U 0 (t) cos t

U (t) cos t = sin t =2
2 U (t) sin t
Integrando
log |U (t)| = 2 log[sin t] + c0 |U (t)| = c1 sin2 t

|J(t)| = c sin t
Luego
|J(t)| = |J 0 (t)| sin t
Parte III: Existe una isometra h entre expx [B(0, )] M y expN [B(0, )]
Sn
Notaremos exp : Tx M M y exp : Tx S n S n a los mapas exponencia-

les de M y S n en N y x, respectivamente. De aqu en mas identificaremos los
planos tangentes TN M y Tx S n .
Definamos h : exp[B(0, )] exp[B(0, )] como h(y) = [exp exp1 ](y)
67
y exp[B(0, )].
exp1 (x)
Llamemos tv = exp1 (x), con v = |exp1 (x)|
y t = |exp1 (x)| por lo que |v| = 1.
Ahora,
1
dx h = dexp1 (x) exp dx exp1 = dexp1 (x) exp dexp1 (x) exp
por lo que podemos escribir
dx h = dtv exp (dtv exp)1
Para ver que h es isometra, primero analicemos que pasa en el subespacio

generado por v. Observemos que exp(tv) = (t) es la geodesica parametriza-
da por longitud de arco que en tiempo t = 0 pasa por x con velocidad v. Luego,
|dtv exp(tv)| = |(t)|

= 1 = |v|
por lo que dtv exp preserva la norma en este subespacio. Una cuenta analoga
muestra que dtv exp tambien preserva la norma all, y por tanto h tambien.
Consideremos ahora w [v] de manera que |tw| = 1. Tomemos u = dtv exp(tw)

y por tanto, por la parte II
|u| = |dtv exp(tw)| = |w| sin t
Como conocemos como son los campos de Jacobi en la esfera tambien sabemos
que
|dx h(u)| = |dtv exp(tw)| = |w| sin t
de donde
|dx h(u)| = |u|
si u = (dtv exp)(tw). Ahora, por el Lema de Gauss sabemos que
hdtv exp(tv), dtv exp(tw)i = htv, twi
por lo que
hdtv exp(tv), ui = hdtv exp(tv), dtv exp(tw)i = htv, twi = 0
68
n geome
trica.
De aqu que v w si y solo si u (t).

Notar que aqu tambien estamos iden-
tificando los planos tangentes Tv Tx S y Tx S n . Tenemos entonces la ecuacion
n
|dx h(u)| = |u|
siempre que u v.
Probamos entonces que
? |dtv exp(tv)| = 1 = |dtv exp(tv)|
? |dtv exp(tw)| = |w| sin t = |dtv exp(tw)|
? hdtv exp(tv), dtv exp(tw)i = 0 = hdtv exp(tv), dtv exp(tw)i
De aqu concluimos
|dtv exp(u)| = |dtv exp(u)|
u Tx S n , por lo que si z de la forma z = (dtv exp)1 (u)
|z| = |dtv exp (dtv exp)1 (z)| = |dx h(z)|
Como exp es inyectivo, dtv exp es biyectivo y por tanto
|dx h(z)| = |z|
z Tx S n . Luego h es isometra local. Ademas, h es inyectiva pues los mapas

exponenciales lo son en los entornos considerados.
Parte IV: El mapa h : exp[B(0, )] exp[B(0, )] se extiende a una iso-

metra sobreyectiva h : S n S n .
Veamos que exp[B(0, )] cubre todo M salvo un punto. Supongamos que exis-
ten dos puntos S0 y S1 que no estan en exp[B(0, )]. Sean 0 y 1 las geodesicas
parametrizadas por longitud de arco que unen N con S0 y S1 respectivamente.
Consideremos la variacion geodesica K : [0, ] [0, 1] M definida por
K(t, s) = exp(t cos s 0 (0) + t sin s 1 (0)) = exp(tvs )
69
notando vs = cos s 0 (0) + sin s 1 (0).

La variacion determina una curva c(s) = K(, s) donde el vector tangente en
c(s) es el vector del campo de Jacobi J() asociado a la variacion. Pero, por la
parte II, sabemos que todo campo de Jacobi en M verifica |J(t)| = |J 0 (t)| sin t,
por lo que J = 0. Luego la curva c consiste en un solo punto por lo que S0 = S1 .
Luego por continuidad extendemos h a una isometra inyectiva h : M S n .

Esta extension debe ser ademas sobreyectiva ya que sabemos que exp[B(0, )] =
S n.
70
Bibliografa
[1] R. A. Adams. Sobolev Spaces. Academic Press, London, 1975.
[2] M. Berger, P. Gauduchon, and E. Mazet. Le Spectre dune Variete Rie-

mannienne, volume 194 of Lecture notes in Mathematics. Springer-Verlag,
Berlin, 1971.
[3] M. P. Do Carmo. Geometria Riemanniana. Projeto Euclides. Braslia,

1979.
[4] G. B. Folland. Real analysis. Pure and Applied Mathematics (New York).
John Wiley & Sons Inc., New York, 1984.
[5] R. Iorio Jr. and V. De Magalhaes Iorio. Ecuacoes diferenciais parciais:

uma introducao. Projeto Euclides. Braslia, 1988.
[6] Kobayashi and Nomizu. Foundations of Differential Geometry, Vol. 1.
[7] M. Reed and B. Simon. Fourier Analysis, Self-Adjointness, volume II of

Methods of modern mathematical phisics. Academic Press, London, 1975.
[8] M. Reed and B. Simon. Functional Analysis, volume I of Methods of modern

mathematical phisics. Academic Press, London, 1975.
[9] J. Thayer. Operadores auto-adjuntos e equacoes diferenciais parciais. Pro-

jeto Euclides. Braslia, 1987.
71

El Laplaciano en Variedades Riemannianas

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

El Laplaciano en Variedades Riemannianas

Încărcat de

Drepturi de autor:

Formate disponibile

TRABAJO MONOGRAFICO

20 de Noviembre, 2008 Licenciatura en Matematica

En estas notas estudiamos el Operador Laplaciano en ciertas va-

Palabras clave: Variedad Riemanniana, El operador Laplaciano,

In these notes we study the Laplace Operator defined on certain

Keywords: Riemannian Manifold, Laplacian, The Fourier Transform,

2. Herramientas del An alisis Funcional 17

En este trabajo (M, g) denotara una variedad Riemanniana M de dimension

En este captulo introduciremos las primeras definiciones y propiedades que

Definici on 1.1 (Forma de volumen can onica)

Diremos que g = {xg }xM es la forma de volumen canonica de la variedad

Observaci on 1.2 (Correspondencia T M P T M )

y por lo tanto tambien obtenemos que

siendo g ij las entradas de la matriz inversa de G = (gij )ij

Definicion 1.2 (Gradiente)

Por lo tanto va la observacion 1.2 obtenemos que

Definicion 1.3 (Divergencia de un campo de vectores)

iX (X1 , ..., Xn1 ) = (X(x), X1 , ..., Xn1 )

Por lo que la divergencia del campo resulta

div(uX) = d(iuX ) = du + u d(iX ) = du(X) + u divX

Consideramos el caso en que M = Rn con la metrica Eucldea, es decir que

Esta conocida formula es la opuesta a la del Laplaciano usual en Rn . El signo

A continuacion veremos las primeras propiedades del Laplaciano, que se des-

Reescribiendo el termino de la izquierda y utilizando el teorema de Stokes

Invariancia por Isometras del Laplaciano.

hv, wix = hdx (v), dx (w)i(x)

Una propiedad fundamental del Laplaciano es la invariancia por isometras,

para todo x M , por lo que obtenemos el resultado.

Gran parte de nuestro trabajo se centrara en el estudio del Laplaciano como

2.1. Distribuciones y derivadas d

Comencemos trabajando en C0 (M ), las funciones de M en R de clase C y so-

Diremos que n en el sentido de D(M ) si

Llamemos C al conjunto de las funcionales lineales continuas respecto a esta

Trabajemos entonces en este espacio. Dada u L1loc (M ), hagamos una asigna-

Observamos que esta expresion tiene sentido pues u L1 (M ). La linealidad

Para ver la continuidad, tomemos {n } C0 (M ) convergiendo a C0 (M )

Es importante remarcar que el mapa u Tu no es en general sobreyectivo,

Sea C0 (M ) tal que (x) = 0 x = x0 . Luego,

lo que es una contradiccion.

Si ahora consideramos una funcion u de clase C 1 , utilizando el teorema de

Esto motiva una definicion de derivada de una distribucion:

Generalizando esta formula, dada una distribucion T y un multindice , de-

Veamos que as definida D T es de hecho una distribucion. Si miramos el

sop(D n D ) = sop(D (n )) sop(n ) K

2.2. Transformada de Fourier

2.2.1. Transformada de Fourier en Rn

La ecuacion 2.2 tiene sentido pues

La linealidad de F es inmediata y tambien se tiene que

Tambien es posible definir la llamada Transformada de Fourier Inversa de la

Una cuenta analoga a la que realizamos para F muestra que la transformada

Introduciremos ahora los Espacios de Schwartz ya que son un buen con-

S(Rn ) = {u C (Rn ) : sup |x u(x)| < , multindices }

Una de las buenas propiedades que mencionabamos es el hecho de que si res-

ya que si una funcion esta en S(Rn ) entonces es absolutamente integrable y

Para verificar las formulas observemos que

Nuevamente, derivando sucesivas veces, obtenemos el resultado.

1. Si f S(Rn ) entonces F es una isometra, i.e.

3. La Transformada Inversa es el operador inverso de la Transformada de

Ahora, {( 12 )n/2 eihk,xi }kK es una base ortonormal de L2 (C ), por lo que

Ademas sabemos que

Analogamente, se prueba que

Utilizando la formula 2.6, si tomamos y entonces

(3) Observemos primero que F = F 1 . Luego

Por lo que = FF 1 = F 1 F en casi todo punto, y como es continua, en