Geometra Espectral

Seminario de Matematicas
Seminarista: Leonardo Cano
12 de noviembre de 2011
Redactado:
Juan Sebastian Cruz1
Juan David Perez2
Miguel Angel de Avila3
David Alejandro Garcia4

C
odigo: 200821697
C
odigo: 201017066
C
odigo: 201113187
C
odigo: 201115343
Resumen

La Geometra Espectral tiene que ver con relacionar dos grandes areas de la matematica. Una es la geometra en este caso diferencial y riemanniana. La otra es el analisis
funcional en lo referente a espectros de operadores, en este caso el operador Laplaciano.
La intenci
on de este documento es mostrar de manera divulgativa el camino a seguir si se
desea estudiar esta area particular de la matematica.

1.

An
alisis Funcional

El analisis funcional se basa en la idea de ver a las funciones como puntos de un espacio abstracto lineal. Esto con el objetivo de estudiar ecuaciones diferenciales e integrales
relacionadas con estas funciones (puntos) en terminos de transformaciones lineales.
En lo referente a la geometra espectral interesa conocer el espectro de operadores autoadjuntos. La idea es entonces la de extender el algebra lineal b
asica a espacios lineales de
dimensi
on innita. Se trabaja en general sobre espacios denominados de Hilbert. Para denir estos espacios recordamos la nocion de espacio vectorial, producto interno, metrica y
completitud.
Definici
on 1.1 (Espacio Vectorial). Una tupla (V, F) con V un conjunto (con +) y F un
campo, es un espacio vectorial si s
olo si cumple las siguientes propiedades. Para v1 , v2 , v3 V
y s, r F
Asociatividad respecto a la adici
on

v1 + (v2 + v3 ) = (v1 + v2 ) + v3 .

Conmutatividad de la adici
on

v1 + v2 = v2 + v1 .

Identidad aditiva: 0 V , el vector cero, tal que v V

v + 0 = v.

Inversos aditivos: v V, v V , el inverso aditivo de v, tal que v + (v) = 0.

1

Estudiante de pregrado fsica y matem

aticas U. Andes. e-mail: js.cruz171@uniandes.edu.co
Estudiante de pregrado de matem
aticas e ingeniera electrica de U. Andes. e-mail:
jd.perez2691@uniandes.edu.co
3
Estudiante pregrado de matem
aticas U. Andes. e-mail:ma.de1295@uniandes.edu.co
4
Estudiante de pregrado de fsica y matem
aticas U. Andes. e-mail: da.garcia2227@uniandes.edu.co
2

 Distributividad del producto por escalar (adici

on vectores):

s(v1 + v2 ) = sv1 + sv2 .

Distributividad del producto por escalar (adici

on del campo): (r + s)v1 = rv1 + sv1 .
Respeto del producto escalar respecto a la multiplicaci
on del campo: r(sv1 ) = (rs)v1
Elemento identidad para la multiplicaci
on por escalar: 1v1 = v1 , donde 1 denota la
identidad multiplicativa de F.
En la denicion anterior se puede pensar en F como R (los reales) o C (los n
umeros
5
complejos) , ya que no hablaremos de los axiomas de campos. Ahora agregamos mas estructura
a los espacios vectoriales incorporando un producto interno (en algebra basica esto es el
producto punto)
Definici
on 1.2 (Producto Interno). Dado un espacio vectorial (V, F) un producto interno es
una funci
on que asigna un escalar del campo F a cada pareja de vectores x, y V . Usualmente
se denota como x, y y cumple las siguientes propiedades. Para x, y, z V y s F
1. x + y, z = x, y + z, y
2. sx, y = sx, y
3. x, y = y, x
4. x, x 0 igual a cero sii x = 0.
Veamos dos ejemplos de productos internos.
Ejemplo 1.2.1 (Rn ). El producto punto usual es un producto interno para Rn . Para v, w Rn
con componentes v = (v1 , v2 , . . . , vn ) y w = (w1 , w2 , . . . , wn ) se les asocia
v, w = v w =

n


vi wi

i=0

Ejemplo 1.2.2 (C([0,1). )] Sea V = C([0, 1]) el espacio vectorial de funciones reales continuas
en el intervalo [0,1]. Para f, g V se define

f, g =

f (t)g(t)dt
0

Ahora nos hace falta un ingrediente mas para poder llegar a la denicion de un espacio
de Hilbert. Introducimos el concepto de metrica. En lo que nos ata
ne nos interesa la metrica
inducida por el producto interno denido arriba (Def1.2). Una metrica es entonces una manera
de medir distancias dentro de un conjunto.
5

Hablando de espacios de Hilbert estos campos son los u

nicos posibles.

Definici
on 1.3 (Metrica). Dado un conjunto A no vaco. Una metrica es una funci
on
d:AAR
que cumple las siguientes propiedades. x, y A se tiene:
1. d(x, y) 0
2. d(x, y) = 0 si s
olo si x = y
3. d(x, y) = d(y, x)
4. d(x, z) d(x, y) + d(y, z)
Ahora la metrica inducida por el producto interno es la siguiente
d:V V R
con x, y V donde

d(x, y) = ||x y|| =

x y, x y

se puede revisar que la expresion anterior cumple con la denicion de metrica. Siendo as tenemos ahora un espacio vectorial con un producto interno y una metrica, lo u
nico que hace
falta es la nocion de completitud.
Definici
on 1.4 (Completitud). Se dice que un espacio metrico (A, d) (un conjunto con una
metrica) es completo si toda sucesi
on de Cauchy converge a un punto del espacio.
No pasaremos por la denicion de sucesion de Cauchy, sin embargo la idea es; que cualquier
lista innita (de Cauchy) de elementos se acerque siempre a puntos del conjunto. De alguna
manera quiere decir que hagamos lo que hagamos no nos vamos a salir del conjunto.
Ahora para lo que nos interesa reunimos todas las estructuras anteriores en un espacio.
Definici
on 1.5 (Espacio de Hilbert). Un espacio vectorial con un producto interno y que
es completo respecto a la metrica inducida por el producto punto se denomina un espacio de
Hilbert.
Un ejemplo importante de este tipo de espacios es el siguiente:
Ejemplo 1.5.1 (L2 (R)). El espacio de Lebesgue con p = 2, sobre los reales (i.e. L2 (R)) es
un espacio de Hilbert. Este es el conjunto de funciones continuas en R tales que

||f (x)|| =

f (x)dx
R

1/2

<

habiendo utilizado un producto interno de la forma del ejemplo 1.2.2. Podemos ver que este
espacio vectorial de funciones es de dimensi
on infinita (como lo son en general los Espacios
de Hilbert).

1.1.

Operadores y Espectros

Ahora hablamos un poco de operadores para irnos acercando al objetivo. Primero damos
su denicion.
Definici
on 1.6 (Operador Lineal). Un operador A es una transformaci
on lineal que va de un
espacio vectorial V (F) a un espacio vectorial V  (F) (posiblemente el mismo). Es decir cumple
que para r, s F y v, w V , Av, Aw V  y
A(rv + sw) = r(Av) + s(Aw)

d
es un operador de C a C (funciones infinitamente difedx
renciables en valuadas en alg
un campo y alg
un intervalo). Es un operador pues este es una
transformaci
on lineal ya que

Ejemplo 1.6.1 (Derivada).

donde f, g C

d
d
d
(rf (x) + sg(x)) = r f (x) + s g(x)
dx
dx
dx
y r, s elementos del campo respectivo.

Partiendo del ejemplo anterior podemos introducir de alguna manera el operador laplaciano. Este es bien conocido en coordenadas cartesianas y en 3 variables. No obstante lo que
se quiere es una abstracci
on de la acci
on de este operador a un n
umero indenido de variables
y coordenadas curvilneas posiblemente, esto no lo haremos en este documento pues se sale
del proposito introductorio, solo diremos que existen generalizaciones (Laplace-Beltrami) para
trabajar con funciones sobre variedades Riemannianas de las cuales se hablara un poco mas
adelante. Por lo pronto pensaremos en el Laplaciano como
Definici
on 1.7 (Laplaciano). Se llama laplaciano al operador : C k C k2 a veces
on es
tambien denotado como 2 cuya acci
f =

n

2f
i=1

x2i

Ahora recopilamos un poco lo que tenemos y mostramos una clase interesante de operadores. Tenemos construido por el momento un espacio que llamamos de Hilbert, H, el cual
tiene la estructura de un espacio vectorial, es decir podemos sumar vectores (funciones en
nuestro caso) tenemos un producto interno que nos permite hablar de ortogonalidad y por
ende bases ortonormales/gonales (v, w = 0) y ademas este producto interno induce una
metrica respecto a la cual H es completo es decir tenemos a disposicion las herramientas del
analisis. De ah que podamos hablar del operador Laplaciano.
De ahora en adelante podemos pensar particularmente en el caso del espacio de Hilbert
siguiente H = L2 (Rn ) con el producto interno denido en el ejemplo 1.5.1 extendido a n
variables. De esta manera podemos hablar del Laplaciano como operando en C (Rn )
L2 (Rn ) (hemos omitido hablar de teora de la medida por simplicidad, pero notamos que
debe dotarse a L2 con una medida para hablar plenamente de integracion). Denotaremos al
Laplaciano en este caso particular como Rn en lo que sigue del documento y damos ahora
la denicion de un tipo particular de operadores interesantes:
4

Definici
on 1.8 (Operador autoadjunto). Un operador A : V V de un espacio con producto
interno , , se dice autoadjunto si cumple la siguiente propiedad, para cualquier v, w V
Av, w = v, Aw

Resulta entonces que Rn pertenece a esta clase de operadores, es decir el Laplaciano en

nuestro caso particular es autoadjunto.
Veremos ahora que estos operadores tienen propiedades interesantes, para ello nos adentramos un poco en lo que se conoce como teora espectral.
1.1.1.

Teorema Espectral

El teorema de descomposicion espectral, expresa las condiciones bajo las cuales un operador o una matriz pueden ser diagonalizados. Este teorema tiene muchas versiones pero nos
interesa dar la idea basica de lo que se busca, por esta razon mostramos el caso de operadores
hermticos y compactos. En el caso de interes operador hermtico coincide con autoadjunto.
Damos una u
ltima denicion importante antes de dar el teorema.
Definici
on 1.9 (Operador Compacto). Un operador A : H H entre espacios de Hilbert6

es compacto si para toda sucesi
on acotada {xn }
on {Axn }
n=1 H, la sucesi
n=1 H tiene

una subsucesi
on convergente en H .
El Laplaciano de nuevo entra en el conjunto de operadores compactos y esto lo que nos
dice es que el comportamiento del operador es de alguna manera bien comportado no hay
vectores que al operarlos se dispersen de manera totalmente arbitraria. Ahora la idea es ahora
extender la nocion de valores propios del algebra lineal a espacios de funciones. Buscamos
entonces ciertos valores que satisfagan que para un operador A
Af = f
Esto se logra efectivamente en el caso que nos interesa gracias al teorema espectral.
Teorema 1.1 (Teorema Espectral para operadores hermticos y compactos). Sea T : H H
un operador hermtico y compacto, se sigue lo siguiente
1. T tiene un n
umero finito o infinito contable de valores propios reales y distintos de 0,
1 , 2 , 3 , . . . , n , . . . , tales que
|1 | |2 | |3 | |n |
El conjunto de valores propios n de T se conoce como el espectro de T .
2. Cada uno de estos valores propios aparece un n
umero finito de veces en la sucesi
on
anterior.
3. Si los valores propios n , son contables, lm n = 0.
n

Se requiere u
nicamente que sean de Banach pero no hablaremos de ellos ac
a.

4. A la sucesi
on de valores propios n le corresponde una sucesi
on de vectores propios en
(ortonormales entre s) tales que para todo f H,
Tf =

n f, en en

n=1

La ecuaci
on anterior se conoce como la representaci
on espectral de T.
5. El escalar 0 es valor propio de T si y s
olo si el sistema ortonormal {en }
n=1 no es
completo. (El operador no es inyectivo).
Siguiendo con el estilo y proposito del documento, no se dara la demostraci
on de este
teorema pues se necesita bastante tecnica para hacerlo.
Llegados a este punto tenemos una base conceptual para entender de que se trata la
geometra espectral. Hasta el momento no se ha hablado de geometra, pero creemos que la
parte espectral del tema ya nos dice algo. Lo que se quiere ahora es extender todo lo que se
ha hecho sobre Rn a otros espacios, espacios de un caracter geometrico. Buscamos entonces
poder hablar de operadores sobre supercies o m
as general sobre variedades. Una vez logrado
esto (trabajo de la geometra) queremos estudiar lo que los valores propios de un operador
nos pueden decir acerca de la variedad sobre la cual se esta operando.
Pasamos ahora a hablar de geometra. Reducimos el n
umero de deniciones y nivel de
formalismo pues este se pone bastante mas abstracto. A
un as tratamos de dar a entender
una idea intuitiva de lo que se hace.

2.

Geometra

Podemos tratar la geometra mediante un acercamiento en 4 niveles, en el primer nivel tenemos un conjunto de puntos sueltos, en segundo nivel se introduce una estructura topologica,
en el tercero se extiende la nocion de diferenciabilidad (Geometra diferencial) y por u
ltimo
se introduce una metrica(Geometra riemanniana).

2.1.

Conjuntos y Topologa

En el primer nivel se tratan los objetos geometricos como puntos sueltos, sin estructura.
Una buena analoga es la de pensar en granos de arena que forman el objeto. En este nivel los
estudios son meramente conjuntistas y quizas menos complejos que los otros niveles debido a
la falta de estructura.
En el segundo nivel, el de topologa, imaginemos los granos de arena anteriormente sueltos
ahora pegados elasticamente. Introducimos la nocion de espacio topologico por completitud
y como una peque
na introduccion a esta elasticidad. Tenemos en estos casos, conjuntos
llamados abiertos los cuales seran piezas basicas en este tratamiento por lo que nos ayudaran
a relacionar objetos geometricos.
Definici
on 2.1 (Espacio Topol
ogico). Es una pareja (X, ) donde X es un conjunto cualquiera y es una familia de subconjuntos de X (llamada topologa) tal que
1. , X
6

2. Una uni
on arbitraria de elementos de es un elemento de .
3. Si A, B , entonces A B . O en general una intersecci
on finita de elementos de
es un elemento de .
Nota 2.1.1. Los elementos de reciben el nombre de abiertos.
La nocion importante en este nivel es la de identicar dos objetos como iguales si podemos
transformar el uno en el otro sin cortar o tener que pegar, es decir solo por medio de
estiramientos o retorcimientos. Decimos que dos objetos son homeomorfos si hay una manera
de asociar abiertos entre estos dos objetos sin que tales abiertos dejen de ser abiertos. Un
poco mas formalmente quiere decir que existe una funci
on biyectiva que es continua (en el
sentido de preservar abiertos) cuya inversa tambien es continua.
Con esto queremos dar a entender que un objeto que deformemos sin pegar o cortar
sera homeomorfo (esencialmente igual en cuanto a topologa) al original. Un ejemplo de esto
es una esfera com
un y corriente (e.j. un globo de caucho) que inamos o que le hacemos
una abolladura no importa su radio o si tiene abolladuras o chichones siempre y cuando no
le abramos huecos o la cortemos, seg
un esta forma de pensar un cubo es lo mismo que una
esfera.

2.2.

Geometra Diferencial

Ahora introducimos la nocion de diferenciabilidad que nos permitira entender el operador

laplaciano del cual hablaremos un poco al nal. Necesitamos extender la nocion de derivaci
on para trabajar sobre objetos geometricos. Para esto usamos una relacion entre Rn y los
objetos geometricos mas generales: nos valemos de las cartas. Podemos pensar el concepto de
carta como el de un mapa de coordenadas que nos relaciona las vecindades en Rn con las
as abstractas sobre un objeto.
vecindades7 m
Definici
on 2.2. (Atlas y cartas) Un atlas sobre un espacio topol
ogico X es una colecci
on de
cartas {(U , )}, donde U son abiertos que cubren a X, y para cada tenemos que
: U Rn
es un homeomorfismo de U a un abierto de Rn .
Al cubrir una variedad (pensemos en supercies) con cartas, queremos lograr identicar
puntas en esta. Para lograr esto examinamos las intersecciones de este recubrimiento y miramos las funciones que relacionan las vecindades asociadas a la interseccion en las respectivas
cartas. Decimos entonces que una variedad es diferenciable (no tiene puntas) si al cubrirla
con vecindades y tomar dos cartas asociadas a dos vecindades cualesquiera sobre la variedad,
que se intersequen, todas las funciones que asocian las vecindades en los respectivos Rn son
funciones innitamente derivables (C ) en la forma usual (de Rn a Rn ). Estas funciones se
llaman usualmente mapeos de transici
on y son esencialmente funciones de la forma 1
con los como en la denici
on 2.2, sobre estas es que se exige diferenciabilidad.
Pendiente: Hablar de espacio tangente.
7
Al hablar de vecindad, se hace referencia a un conjunto con una forma arbitraria pero que en u
ltimas
siempre contiene al menos un abierto, as que podemos pensarlo como los abiertos de la secci
on anterior

2.3.

Geometra Riemanniana

Ya que se tienen las variedades diferenciables introducidas, podemos hablar de geometra

Riemanniana. En los niveles de geometra anteriores no fue necesario introducir ninguna
metrica. La topologa ya nos daba la nocion de abiertos y de pudimos extender la nocion
de diferenciabilidad. Es ahora el momento adecuado para introducir lo que se denomina una
metrica riemanniana. Se intenta con esta generalizar el concepto de distancia, para ello nos
valemos de un producto interno denido positivo, el tensor metrico, usualmente g. Este se
dene sobre el espacio tangente a cada punto y nos da informaci
on acerca de angulos longitud
de arco de curvas entre otras. Al introducir la metrica g a una variedad diferenciable M , la
pareja obtenida (M, g) se denomina variedad riemanniana.
En este nivel de geometra hay distintos elementos a tratar, uno puede hablar de difeomorsmos, curvatura, isometras, extensiones de la derivada entre muchos otros temas. Lo
importante en general es encontrar invariantes.

3.

Geometra y an
alisis funcional

Hemos mostrado el camino a seguir para aprehender la geometra espectral. Queda concluir
que el teorema 1.1 se extiende al operador de Laplace sobre variedades riemannianas por lo
que sabemos que existen los valores y que estos nos daran informaci
on acerca de alg
un tipo
de invariantes vistos desde el punto de vista geometrico.
En general la geometra espectral no s
olo se centra en el operador del que hemos hablado
sino tambien en muchos otros. Cada uno de ellos proporciona informacion distinta de las
variedades. Un ejemplo de un problema famoso es el llamado Can you hear the shape of a
drum? el cual trata de relacionar las frecuencias a las que suena un tambor, las cuales estan
ntimamente ligadas a los valores propios de la ecuacion de onda (que involucra al laplaciano)
con la forma del tambor.