Professional Documents
Culture Documents
UFRO
INTRODUCCIN
A LAS ESTRUCTURAS DE
SUPERFICIES DE RIEMANN
DISCRETAS
Rubn A. Hidalgo
Mauricio Godoy
4
2
3
1
5
Mauricio Godoy
Departamento de Matemtica y Estadstica, Universidad de La Frontera, Temuco, Chile.
Dado un grafo G = (V, E) conexo de grado finito y una funcin positiva sobre sus ejes,
d : E (0, +), se puede definir el concepto de derivadas direccionales para funciones
definidas sobre sus vrtices u : V R. En particular, se pueden definir el operador
Laplaciano discreto 2 , el concepto de funciones harmnicas discretas, y permite estudiar
ecuaciones diferenciales parciales sobre grafos. En particular, en estas notas estudiaremos
con cierto detalle ecuaciones del tipo 2 = f (), donde : V R y f : R R son
funciones reales. Estudiaremos condiciones, similares al caso clsico, sobre la funcin f
que permitan asegurar la existencia de soluciones no triviales. Para esto, nos basaremos
en el artculo [24] de John M. Neuberger, donde slo se considera el caso de mtrica
constante d = 1, para modificar adecuadamente las tcnicas y as obtener los mismos
resultados para cualquier eleccin de d. Estas ideas pueden ser de gran utilidad en la
aproximacin de soluciones de tales ecuaciones en variedades Riemannianas.
Cuando el grafo est representado sobre una superficie orientada como mapa, es de-
cir, el complemento son superficies simplemente conexas, se puede definir el grafo dual.
Usando esto, en el ao 2001, Christian Mercat introdujo una teora de superficies de Rie-
mann discretas, la cual generaliza una nocin de funciones analticas discretas introducida
por Jacqueline Lelong-Ferrand en 1955. Esta teora fu originalmente diseada para es-
tudios en mecnica estadstica (modelo de Ising), aunque para entenderla no es necesario
tener conocimientos previous en tal rea.
Areas de aplicacin de lo anterior son, por ejemplo, redes elctricas, teora de elastici-
dad, termodinmica e hidrodinmica. Tambin, esta teora puede ser utilizada para aproxi-
mar la teora clsica de ecuaciones diferenciales parciales y superficies de Riemann bajo
ciertas condiciones desarrolladas por Mercat : criticalidad. En el caso de superficies de
Riemann discretas, esta teora tambin tiene aplicaciones en correspondencia geomtrica
x INTRODUCCIN
tanto en la tsis de doctorado de Christian Mercat como de algunos de sus artculos sobre
matrices de periodos.
Introduccin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
Parte I. Grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1. Grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1. Grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Subgrafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Caminos en (multi)grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Grafos conexos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5. Vrtices vecinos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.6. Grado de un vrtice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.7. Grafos isomorfos y automorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.8. Matrices de adyacencia y valencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.9. Representacin de grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.10. Mapas y sus automorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.11. Teorema de Kuratowski. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.12. Grafos dirigidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.13. Grafos Eulerianos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.14. Grafos Hamiltoneanos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.15. Coloracin de grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.16. Grafos bipartitos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.17. Funciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.18. Derivacin en grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.19. Campo de vectores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2. Grafos Mtricos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.1. Mtricas discretas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2. Grafos mtricos isomorfos y automorfismos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3. Matriz de adyacencia mtrica y de valencia mtrica . . . . . . . . . . . . . . . . . . . . . . 28
2.4. Derivadas direccionales de funciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.5. Campos de vectores y derivacin en grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.6. Operador discreto de Laplace 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
xiv TABLA DE MATERIAS
4. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.1. Ecuaciones discretas tipo Matukuma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
4.2. Ecuacin discreta de ondas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.3. Ecuacin discreta del calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
4.4. Otra ecuacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
4.5. La ecuacin de Helmholtz en grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.6. La ecuacin de Navier-Stokes en grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
5. Aplicaciones Numricas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.1. Un ejemplo 1-dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.2. Grafos planares adecuados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.3. Un ejemplo 2-dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.4. Caso de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.5. Dominios no acotados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
GRAFOS
CAPTULO 1
GRAFOS
1.1. Grafos
Un grafo es un par G = (V, E), donde V 6= es un conjunto cuyos elementos son
llamados los vrtices del grafo y E es un subconjunto del conjunto potencias 2V cuyos
elementos, si E 6= , tienen cardinalidad 1 o 2 y que son llamados los ejes del grafo.
Aquellos ejes de cardinalidad 1 son tambin llamados lazos del grafo. Si no hay lazos,
entonces hablamos de un grafo simple.
Un multigrafo es definido de manera similar a un grafo, pero ahora podemos aceptar
que sobre un vrtice tengamos ms de un lazo y que tengamos ms de un eje conectando
dos vrtices.
Ejemplo 1. El grafo Kn,m es definido como aquel que tiene como conjunto de vr-
tices a
V = {v1 , ..., vn , w1 , ..., wm }
y ejes a
E = {{vi , wj } : i {1, ..., n}, j {1, ..., m}}
El grafo Kn es definido como aquel que tiene como conjunto de vrtices a
V = {v1 , ..., vn }
y ejes a
E = {{vi , vj } : i, j {1, ..., n}, i 6= j}
El grafo K^ f
n,m (respectivamente, Kn ) es aquel que se obtiene de Kn,m (respectiva-
mente, Kn ) agregando un lazo en cada vrtice.
4 CAPTULO 1. GRAFOS
1.2. Subgrafos
Un subgrafo de G = (V, E) es un grafo de la forma H = (VH , EH ) donde VH V y
EH E.
Ejercicio 2. Ver que en todo grafo conexo se puede definir una mtrica sobre el
conjunto de vrtices usando el mnimo de las longitudes de los caminos que conectan
el mismo par de vrtices.
Ejercicio 3.
1.6. GRADO DE UN VRTICE 5
1.- Verificar que un grafo finito es conexo si y slo si existe un rbol conexo como
subgrafo que contenga todos los vrtices del grafo.
2.- Una manera simple de construir un rbol como subgrafo es como sigue. Tomamos
uno de los vrtices del grafo, digamos v1 . Luego consideramos un vrtice vecino
v2 (diferente de v1 ) y marcamos el eje {v1 , v2 } como eje usado. A continuacin
escogemos un vrtice v3 vecino de v2 y diferente de v1 y v2 . Consideramos el eje
{v2 , v3 } y lo marcamos como eje usado. A continuacin escogemos un vrtice v4
vecino de v3 y diferente de v1 , v2 y v3 . Consideramos el eje {v2 , v3 }. Si este eje
junto a los ejes usados permite generar un cclo, entonces buscamos otro vrtice
vecino de v3 y volvemos a hacernos la pregunta anterior. Si no es posible generar
un cclo, entonces marcamos el eje {v3 , v4 } como eje usado. Ahora procedemos
de manera inductiva. Como la cantidad de vrtices es finita, este proceso termina
despus de un nmero finito de pasos y al final hemos obtenido un rbol conexo
(como subgrafo) que es maximal en el sentido que es subgrafo de otro arbol conexo.
Si tal rbol contiene a todos los vrtices del grafo, entonces obtenemos que el grafo
original es conexo. El algoritmo descrito es llamado busqueda por un paso (en ings
depth-first search).
y concluir que la cantidad de vrtices con grado impar debe ser par. (Ind. Observar que
todo eje determina dos vrtices diferentes y que cada lazo adiciona 2 al grado de vrtice
correspondiente.)
6 CAPTULO 1. GRAFOS
Un grafo simple es llamado un grafo regular si cada uno de sus vtrices tiene el mismo
grado ; si tal grado es d, entonces decimos que es un grafo d-regular.
Ejercicio 5.
1. Verificar que los grafos completos Kn son grafos regulares, pero que hay grafos
n-regulares que no son Kn .
2. Bajo qu condicin el grafo Kn,m es regular ?
3. Sea G = (V, E) un grafo finito y d-regular. Verificar que
d|V | = 2|E|
Ejercicio 6.
1. Considere un isomorfismo h : G1 G2 . Verificar que h(v) y v tienen los mismos
grados y cantidad de lazos.
2. Calcular el grupo de automorfismos del grafo Kn . Concluir que todo grupo finito
es subgrupo del grupo de automorfismos de algn grafo finito.
3. Calcular el grupo de automorfismos del grafo Kn,m .
4. Construir un grafo cuyo grupo total de automorfismos es : (i) Zn , (ii) Dn , A4 , (iii)
A5 y S4 .
5. Describir, mdulo isomorfismos, todos los grafos conexos con a lo ms 5 vrtices.
Determinar cuales de ellos son grafos simples.
6. Sean n, k > 0 enteros. Determinar el grupo de automorfismos del grafo Hk,n cuyo
conjunto de vrtices es V = {v1 , ...., vn , w1 , ..., wn } y cuyo conjunto de ejes es
E = {{v1 , v2 }, ..., {vn , v1 }, {v1 , w1 }, ..., {vn , wn }, {w1 , wk+1 }, {w2 , wk+2 }, ...{wnk , wn }, ...}
Si definimos
0, i 6= j
bij = Pm
k=1 a ik , i =j
La matriz cuadrada
B = [bij ]mm
es llamada la matriz de valencia del grafo G.
Teorema 1.8.1. Sea G = (V, E) un grafo finito y denotemos V = {v1 , ..., vm }. Consi-
dermos la matriz A de adyacencia del grafo asociado a tal enumeracin de sus vrtices.
Entonces el coeficiente (i, j) de la matriz Ak (k {1, 2, 3, ...}) es exctamente el nmero
de caminos de longitud k que conectan vi con vj .
Demonstracin. Obsevemos que para k = 1 esto sale de la definicin de matriz
de adyacencia. Procedamos por induccin en k. Supongamos que el resultado vale para
Ak1 . Como Ak = Ak1 A, tenemos que el coeficiente (i, j) de Ak es igual a
Xm
bik akj
k=1
Ejercicio 7. Consideremos un grafo finito G = (V, E), donde V = {v1 , ..., vn }. Sea
A la matriz de adyacencia del grafo asociada a tal enumeracin de los vrtices y B la
matriz de valencia asociada.
8 CAPTULO 1. GRAFOS
Ejercicio 8. Dada una representacin del grafo G, uno puede construir el grafo cuyos
vrtices es dado por W y cuyos ejes es dado por los arcos e ([0, 1]), donde e E.
Verificar que estos dos grafos son isomorfos.
Teorema 1.9.1. Todo grafo, con una cantidad numerable de vrtices y cantidad nu-
merable de ejes puede ser representado en R3 .
Demonstracin. Ya que todo grafo finito se puede ver como un subgrafo de un grafo
con una cantidad infinita numerable de vrtices, basta con verificar para un grafo con una
cantidad infinita numerable de vrtices. Ms an, podemos asumir que en tal grafo todo
par de vrtices esta conectado por un eje y que en cada vrtice hay una cantidad numerable
1.10. MAPAS Y SUS AUTOMORFISMOS 9
infinita de lazos ya que todo grafo a considerar es un subgrafo de este. Consideremos los
subconjuntos siguientes de R3 :
H = {(x, y, z) R : y = 0}
H + = {(x, y, z) R : y = 0, z 0}
H = {(x, y, z) R : y = 0, z 0}
Sea W = {(n, 0, 0) : n = 1, 2, ...}. Por cada par de elementos w1 , w2 W , w1 6= w2 ,
podemos considerar el arco de crculo Cw1 ,w2 H + que es ortogonal al borde de H +
just en esos dos puntos. Por cada elemento w W podemos considerar una coleccin
infinita numerable de crculos diferentes en H , todos tangente al borde de H en el
punto w y de dimetros menor que 1/4. Ahora, dos arcos de crculo Cw1 ,w2 y Cw3 ,w4
slo se cortan en a lo ms un punto y, en caso de haber interseccin no vaca, no hay otro
arco que pasa por ese punto. Podemos modificar uno de esos dos arcos en el espacio R3
en una pequea vecindad del punto de interseccin (la cual no contiene otros puntos de
interseccin) para evitar tener tal interseccin.
Ejercicio 11. Calcular el grupo de automorfismo del mapa del Ejemplo 2. Dar un
ejemplo de un mapa donde el grupo de automorfismos del grafo es diferente al grupo
de automorfismos del mapa asociado.
Ejercicio 12. Suponga que hay 3 casas, digamos C1 , C2 , C3 , y hay 3 fbricas, diga-
mos F1 , F2 , F3 , que producen bienes necesarios para cada una de esas casas. Describa
el grafo cuyos vrtices son las casas y las fbricas y cuyos ejes conectan cada fbrica
con cada casa. Verifique que tal grafo es isomorfo a K3,3 . Puede dibujar tal grafo en el
plano de manera que los ejes no se corten ?
Ejercicio 14. Sea G = (V, E) un grafo finito, conexo representado en R2 . Una regin
del grafo es una componente conexa que se obtienen al quitar la representacin del grafo
de R2 . Sea F el conjunto de las regiones del grafo. Verificar la frmula de Euler
|V | |E| + |F | = 2
Ejercicio 15. Sea G = (V, E) un grafo finito, conexo representado en una superficie
cerrada y orientada de gnero g. Supongamos adems que cada una de las regiones
(componente conexa que se obtienen al quitar la representacin del grafo de ) es sim-
plemente conexa (decimos que esta representacin es un mapa en ). Sea F el conjunto
de las regiones del grafo. Verificar la frmula de Euler
|V | |E| + |F | = 2 2g
Observacin 1.12.2. No todo lenguaje puede ser tratado por medio de autmatas fini-
tos. La clase de lenguajes que si lo permiten son llamados lenguajes regulares (Teorema
de Kleene). Stephen C. Kleene (1909-1994) fu uno de los fundadores de la inform-
tica terica juntamente con Alonso Church (su director de tesis), Alan Turing y John von
Neumann.
Ejercicio 16.
1. Supongamos que tenemos una palabra (finita) w que se construye usando letras
de un alfabeto (finito) V . Podemos construir un multigrafo dirigido asociado tal
palabra como sigue. Usamos como vrtices las letras del alfabeto que utiliza la
palabra w. Si la letra v1 est justo antes de la letra v2 (en la palabra w), entonces
colocamos un eje dirigido desde v1 hasta v2 . Este proceso permite construir, de
manera nica, multigrafos dirigidos por cada palabra. Pero puede ocurrir que dos
palabras diferentes definan el mismo multigrafo dirigido. Dar un ejemplo de tal
situacin.
2. Consideremos el alfabeto A = {a1 , ..., an }. La cantidad de palabras de longitud
m que se pueden construir con este alfabeto es igual a nm . Formemos el multigrafo
dirigido cuyos vrtices son todas las palabras de longitud m y colocamos un eje
dirigido desde cada vrtice v1 = c1 c2 cm (donde cj A) a cada vrtice v2 =
c2 cm aj (es decir, desde cada palabra salen n ejes dirigidos, donde uno de ellos
podra ser un lazo). Cada eje dirigido (v1 , v2 ) se puede identificar con una palabras
de longitud (m + 1) dadas por c1 c2 cm aj . Este multigrafo dirigido, usualmente
denotado por G(n, m + 1) y llamado multigrafo grafo de Bruijn.
(a) Verificar que la cantidad de ejes que tiene G(n, m + 1) es igual a nm+1 .
(b) Verificar que el multigrafo dirigido G(n, m+1) es Euleriano, es decir, existe
un camino dirigido cerrado y simple que contiene a todos los ejes, es decir,
un cclo Euleriano.
(c) Considere un cclo Euleriano y considere uno de los ejes, digamos c1 . Sean
c1 , c2 ,..., cnm+1 los ejes seguidos de manera ordenada siguiendo el cclo.
Sea dj la primera letra del alfabeto que aparece en la palabra cj . Verificar
que toda palabra de longitud (m + 1) es de la forma dj dj+1 dj+m (los
ndices mirados mdulo nm+1 ).
3. Sea A un alfabeto de longitud n. Una sucesin de Bruijn B(n, m + 1) es una
palabra d1 d2 dnm+1 (dj A) tal que toda palabra de longitud (m+1) se puede
escribir como dj dj+1 dj+m (los ndices mirados mdulo nm+1 ). Verificar que
para todo par de enteros positivos (n, m) existe una sucesin de Bruijn B(n, m +
1).
14 CAPTULO 1. GRAFOS
Ejercicio 17. Ver que todo grafo Euleriano es necesariamente conexo. Ver que el
grafo K2 no es Euleriano, mientras que K3 si lo es.
Teorema 1.13.1. Un grafo finito y conexo es Euleriano s y slo si cada vrtice tiene
grado par.
Demonstracin. Supongamos que tenemos un grafo Euleriano. Como cada eje debe
ser recorrido y no podemos repetir ejes, entonces en cada vrtice debemos tener por cada
1.13. GRAFOS EULERIANOS 15
Figura 1.2
Figura 1.3
eje otro eje diferente (uno para llegar y otro para salir). Esto nos dice que el grado en cada
vrtice debe ser par.
Supongamos ahora que tenemos un grafo finito, conexo donde cada vrtice tiene grado
par. Podemos suponer que este grafo es simple (ver Ejercicio 18). Si |V | = 1, entonces
no hay nada que probar. Supongamos desde ahora que |V | > 1. Tomemos dos vrtices
vecinos v1 , v2 V , luego {v1 , v2 } E. Por el Lema 1.13.2, podemos construir un
circuito 1 conteniendo al eje {v1 , v2 }.
Consideremos el nuevo grafo que se obtiene eliminando los ejes contenidos en el cir-
cuito 1 , pero manteniendo los vrtices originales que tienen grado positivo despus de
esta eliminacin. Para este nuevo grafo, los vrtices siguen teniendo grado par. Si este
nuevo grafo no tiene ejes, entonces estamos listos y 1 es el circuito Euleriano buscado.
Supongamos ahora que tenemos ejes. En cada componente conexa del nuevo grafo po-
demos proceder de la misma manera que antes. Como el grafo original es finito, este
proceso produce una coleccin finita de circuitos disjuntos, pero cuya unin es conexa
(todo el grafo original). Ahora la unin de estos circuitos definen un circuito Euleriano
como se deseaba.
Ejercicio 18.
16 CAPTULO 1. GRAFOS
Figura 1.4
Lema 1.13.2. Sea G = (V, E) un grafo finito, donde cada vrtice tiene grado par. Si
{v1 , v2 } E, entonces existe un circuito en el grafo conteniendo al eje {v1 , v2 }.
Demonstracin. Construyamos un camino partiendo de v1 y conteniendo {v1 , v2 }.
Luego, continuamos este camino usando el siguiente preocedimiento. Cada vez que lle-
guemos a un vrtice w 6= v1 , podemos continuar por un eje diferente a los usados an-
teriormente (esto se puede hacer ya que el grado de w es par y cada vez que el camino
llega a un vrtice diferente de v1 este utiliza un eje para llegar y otro para salir). Como el
nmero de vrtices es finito, el camino terminar llegando a v1 .
Ejercicio 19.
1. Construir un ciclo Euleriano para el grafo Euleriano de la Figura 1.5.
2. Es Kn Euleriano ?, Es Kn,m Euleriano ?
3. Ver cuales de los grafos de la Figura 1.6 son Eulerianos y tales caso buscar un
circuito Euleriano.
Un camino Euleriano en un grafo es una camino que contiene a todos los ejes excta-
mente una vez. En particular, todo camino Euleriano cerrado es un cclo Euleriano.
Ejercicio 20. Verificar que el grafo de la Figura 1.4 contiene un camino Euleriano.
1.13. GRAFOS EULERIANOS 17
v1
v3
v2 v4
v5 v6
v7
v8 v9
v10
Figura 1.5
Figura 1.6
v1 v2
v4
v3
v7
v8
v5 v6
Figura 1.7
Ejercicio 21.
1. Ver que todo grafo Hamiltoneano es necesariamente conexo.
2. Ver que el grafo de la Figura 1.7 es Hamiltoneano.
3. Sea G = (V, E) un grafo conexo. Si |V | 2, entonces determinar cuando G es
Hamiltonenao. Dar un ejemplo con |V | = 3 que no es Hamiltoneano.
a b
Figura 1.8
componentes. De manera inductiva se puede verificar que el subgrafo H{w1 ,...,wr } tiene a
lo ms r componentes.
Ejercicio 22.
1. Sea G un grafo y Gb el grafo obtenido al eliminar los lazos de G. Verificar que G es
Hamiltonenao s y slo si Gb es Hamiltoneano.
2. Analizar si los grafos completos Kn y los grafos Kn,m son Hamiltoneanos.
Teorema 1.14.2 (Teorema de Ore (1963)). Sea G = (V, E) un grafo simple y conexo
con |V | 3. Si la suma de los grados de todo par de vrtices no vecinos es al menos |V |,
entonces G es Hamiltoneano.
Corolario 1.14.3 (Teorema de Dirac). Sea G = (V, E) un grafo simple y conexo con
|V | 3. Si el grado de todo vrtices es al menos |V |/2, entonces G es Hamiltoneano.
Figura 1.9
Figura 1.10
un arco e que conecta los vrtices de G determinados por las caras que comparten el eje
e y que intersecta e de manera transversal en un nico punto de su interior (en caso que
ambas caras son la misma, entonces e es un lazo. En la Figura 1.9 se muestra el mapa
M y su multigrafo dual (el cual es un grafo) y en la Figura 1.10 se muestra un ejemplo
donde tenemos la existencia de lazos y ejes multiples.
Ejercicio 23. Ver que si el (multi)grafo tiene una coloracin, entonces tal (multi)grafo
no puede tener lazos.
Teorema 1.15.1. Todo (multi)grafo planar sin lazos puede ser coloreado por 4 co-
lores.
22 CAPTULO 1. GRAFOS
Teorema 1.16.1. Un (multi)grafo finito sin lazos es bipartito s y slo si no tiene ciclos
de longitud impar.
f : H0 {0, 1}.
luego 2 = 1 e resulta ser un ciclo en G. Como el ciclo 2 tiene longitud par por
hiptesis, la longitud de 1 es impar. Esto nos asegura que f (u) 6= f (v). En particular, f
define una coloracin por dos colores en G como deseabamos.
1.17. Funciones
Dado un grafo G = (V, E), tenemos asociado el espacio vectorial real de todas las
funciones reales definidas sobre V , el cual denotaremos por C 0 (G).
24 CAPTULO 1. GRAFOS
Denotamos por L2 (G) al subespacio vectorial cuyos elementos son aquellas funciones
C 0 (G) tales que X
kk2 = (v)2 < +
vV
Verificar que con este producto interior vale que L2 (G) es un espacio de Hilbert.
Ejercicio 25. Sea G = (V, E) un grafo finito y V = {v1 , ..., vn }. Construir un iso-
morfismo entre (L2 (G), < , >) y el espacio Euclidiano En = (Rn , < , >0 ) (donde
< , >0 denota el producto punto usual en Rn ).
2.- Dar un ejemplo para ver que es posible tener solucions diferentes, para el mismo
campo, que comparten al menos un vrtice. En tal caso, ver que a partir de un
vrtice en comn tales soluciones deben coincidir.
3.- Qu condiciones debera tener el campo X para asegurar que si dos soluciones
intersectan, entonces estas soluciones deben coincidir ?
CAPTULO 2
GRAFOS MTRICOS
w2 , ..., wr1 V
Definimos su longitud como (tomando w1 = u y wr = v)
r1
X
l() = d({wj , wj+1 }).
j=1
Definimos la distancia d(u, v) como el mnimos de las longitudes de todos los posibles
caminos que unen u con v en el grafo. Observemos que esta definicin coincide con la
dada en el captulo anterior para la mtrica d = 1.
Ejercicio 27. Si (G, d) es un grafo mtrico conexo orientado y de grado finito, verifi-
car que d es una mtrica. Qu pasa si quitamos la condicin que el grafo sea de grado
finito ? Qu sucede si imponemos la condicin que existe r > 0 tal que d(e) r para
todo eje e del grafo infinito ?
28 CAPTULO 2. GRAFOS MTRICOS
V = {v1 , ..., vm }
Sea
d({vi , vj })k , {vi , vj } E
akij =
0, caso contrario.
La matriz cuadrada
Ak = [akij ]mm
es llamada la matriz de adyacencia mtrica de grado k del grafo mtrico (G, d).
Si definimos
0, i 6= j
bkij = Pm k
r=1 air , i=j.
La matriz cuadrada
Bk = [bkij ]mm
es llamada la matriz de valencia mtrica de grado k del grafo mtrico (G, d).
La definicin tiene sentido ya que, al ser G de grado finito, N (v) es finito para cada
v V . Es importante hacer notar que la definicin dada aqu corresponde a el operador
negativo de Laplace.
Proposicin 2.6.1. Sea (G = (V, E), d) un grafo mtrico finito, conexo y sea n la
cardinalidad de V . Entonces el espectro de 2 tiene la forma
0 = 1 2 n .
X X (v)2 (v)(w)
=
d({v, w})2
vV wN (v)
Ahora, cada eje {v, w} aparece dos veces contados en la suma anterior, de donde se
obtiene que
X (v) (w) 2
h, 2 i = 0.
d({v, w})
{v,w}E
De lo anterior obtenemos que todo valor propio de 2 es no-negativo. Para ver que
1 = 0, basta con notar que si es una funcin constante, entonces 2 = 0.
30 CAPTULO 2. GRAFOS MTRICOS
Ejercicio 29. Ver que toda funcin constante es harmnica y concluir que 1 = 0 es
valor propio de 2 .
Ejercicio 30. Sea (G, d) un grafo mtrico finito, conexo con al menos 2 vrtices,
donde G = (V, E). Supongamos que
V = {v1 , ..., vm }, E = {e1 , ..., en }
definido por
m
X m
X
c2 (x1 , ..., xm ) =
w1j (x1 xj ), ..., wmj (xm xj )
j=1 j=1
2.7. FUNCIONES HARMNICAS DISCRETAS 31
4. Concluir que
x1
c2 (x1 , ..., xm ) = (B2 A2 )
.
..
xm
es decir, que la matriz de 2 en la base cannica de C 0 (G) es J2 = B2 A2 .
5. Verificar que
x1
. X
[x1 xm ]J2 .. = wij (xi xj )2 .
1i<jm
xm
6. Concluir que el operador discreto de Laplace 2 es simtrico y positivo semi-
definido.
7. Concluir de lo anterior que
h2 , i = h, 2 i
donde X
h, i = (v)(v).
vV
8. Concluir que para cada p > 0 se puede calcular un nico operador p que es la
p-potencia de 2 : este operador es llamado el operador discreto p-Laplaciano.
9. Considere una orientacin para los ejes del grafo. Si {vi , vj } E, entonces es-
cribamos (vi , vj ) para denotar el eje orientado de manera que vi es el vrtice de
partida. Defina las matrices U = (uij ), V = (vij ) Mnn (R) por
1, si tenemos ei = (vj , vk )
uij = 1, si tenemos ei = (vk , vj )
0, en caso que ei no contiene al vrtice vj
wij , si tenemos ei = (vj , vk )
vij = wij , si tenemos ei = (vk , vj )
0, en caso que ei no contiene al vrtice vj .
Verificar que
J2 = t U V
y que t U V no depende de la orientacin escogida sobre los ejes.
10. Sean r {1, ..., m}, a1 , ..., ar R y escriba
J J12
J2 = t 11
J12 J22
donde J11 es matriz simtrica de tamao r r, J12 es matriz de tamao r (mr)
y J22 es matriz simtrica de tamao (m r) (m r). Verificar que el problema
(vj ) = aj , j = 1, ..., r
(vj ) = 0, j = r + 1, ...., m
32 CAPTULO 2. GRAFOS MTRICOS
donde
(v) (w) = k (v), =v
k k w
DX ()( ) = (1) d({v, w})k
v,w
0, 6= v .
2.9. PRINCIPIO DEL MXIMO Y MNIMO 33
Ejercicio 31. Ver que el operador p no siempre puede ser transformado al operador
2 por medio de cambio de mtrica. Analizar esto para K3 .
Lema 2.9.1. Sea G un grafo finito. Entonces toda C 0 (G) tiene un mximo global
y un mnimo global.
Demonstracin. Tarea.
Teorema 2.9.2 (Principio del Mximo y Mnimo). Sea (G, d) un grafo mtrico fi-
nito y C 0 (G) una funcin que no es localmente constante. Si v V es un mximo o
un mnimo local para , entonces no es harmnica en v.
es que tengamos que (w) = (v) para todo w N (v), una contradiccin al hecho que
no es localmente constante. La demostarcin es idntica para un mnimo local.
Corolario 2.9.3. Sea (G, d) un grafo mtrico finito y conexo. Entonces, las nicas
funciones harmnicas C 0 (G) son las constantes.
34 CAPTULO 2. GRAFOS MTRICOS
Corolario 2.9.4. Sea (G, d) un grafo mtrico finito, conexo. Entonces, el espectro del
operador Laplaciano discreto es
0 = 1 < 2 m
donde el espacio propio asociado al valor propio 1 = 0 es de dimensin 1.
El Corolario 2.9.4 nos dice que 2 > 0. El prximo resultado nos indica como deter-
minarlo. Recordemos que en C 0 (G) (grafo finito) tenemos el producto interior Euclidiano
X
h, i = (v)(v).
vV
Corolario 2.9.6. Sea (G, d) un grafo mtrico finito, conexo. Entonces, si denotamos
por C(0) < C 0 (G) el subspacio formado por las funciones constantes, entonces
X
C(0) = { C 0 (G) : (v) = 0}
vV
and 2
P (v) (w)
{v,w}E
d({v, w})
2 = InfimoC(0) {0} P 2
vV (v)
P
Demonstracin. Es claro que si { C 0 (G) : vV (v) = 0} y C(0),
P
entonces h, i = 0. Luego, { C 0 (G) : vV (v) = 0} < C(0) . Como {
P
C 0 (G) : vV (v) = 0} es de co-dimensin 1 en C 0 (G), se obtene la igualdad deseada.
Como 2 es simtrica, sus valores propios diferentes tienen espacios propios ortogo-
nales entre si, en particular, los vectores propios de 2 asociados a los valores propios
j , con j 2, viven en C(0) . Por otro lado, sabemos que, para cada C 0 (G) vale la
igualdad
2
P (v) (w)
{v,w}E
d({v, w})
h, 2 i = P 2
.
vV (v)
As, si es vector propio asociado al valor propio j , entonces
2
P (v) (w)
{v,w}E
d({v, w})
j = P 2
.
vV (v)
Ya que 2 es el menor valor propio diferente de cero, lo anterior nos da la igualdad
deseada para 2 .
2.9. PRINCIPIO DEL MXIMO Y MNIMO 35
Ejercicio 33. Si eliminamos la condicin de finitud del grafo, entonces podemos tener
funciones harmnicas discretas diferentes de las constantes. Sea G definido por V =
Z[i] C y los ejes son los arcos de la forma {z + t : t [0, 1]} y {z + it : t [0, 1]}
donde z Z[i]. Para cada n = 0, 1, 2, 3, ..., sea
Pn : Z[i] C : z 7 z n
Tomamos la mtrica discreta d 1. En este caso, verificar que Pn es harmnica
discreta slo para n = 0, 1, 2, 3.
Ejercicio 34. Sea (G, d) un grafo mtrico finito, conexo con al menos 2 vrtices,
donde G = (V, E). Supongamos que V = {v1 , ..., vm } y sea wij = 0 en caso que
/ E y wij = d({vi , vj })2 en caso que {vi , vj } E.
{vi , vj }
1. Verificar la igualdad
m
X X
k = 2 wij = Traza(B2 ),
k=1 1i<jm
2 X Traza(B2 )
m wij = .
m1 m1
1i<jm
3. Verificar
Traza(B2 ) Traza(B2 )
2 = 2 = 3 = = m = .
m1 m1
Adems, ver que esta igualdad vale slo cuando el grafo es Km y la mtrica d
es constante.
4. En el caso particular en que d = 1, es decir wij {0, 1}, concluir que 2 m.
Ms an, 2 = m s y slo si G = Km . En el caso G = Km verificar que 2 =
= m = m.
5. Considerar los grafos completo K2 y K3 con una mtrica discreta. Calcule los
valores propios de 2 .
Ejemplo 11. Sea G definido por V = Z[i] C y los ejes son los arcos de la forma
{z + t : t [0, 1]} y {z + it : t [0, 1]} donde z Z[i]. Consideremos la funcin
: Z[i] R : a + ib 7 a2 + b2
36 CAPTULO 2. GRAFOS MTRICOS
N (z) = {z + 1, z 1, z + i, z i}
y luego (z = a + ib)
2 (z) = ((z+1)(z))+((z1)(z))+((z+i)(z))+((zi)(z)) =
Ejercicio 35. Sea G definido por V = Z[i] C y los ejes son los arcos de la forma
{z + t : t [0, 1]} y {z + it : t [0, 1]} donde z Z[i], junto con la mtrica discreta
d 1.
(i) Si : G0 R escribir la condicin 2 = 0.
(ii) Usando (i) verificar que dado valores cualesquiera para (n, 0) y (n, 1), para
todo n Z, se puede extender de manera nica u a todo el rwsto de los vrtices
para que sea harmnica.
(iii) Concluir que el espacio vectorial real de las funciones harmnicas en este caso
es isomorfo a RZ
V = {v1 , v2 , v3 , v4 }
a=b=c=d
Lema 2.10.1. Sea (G, d) un grafo mtrico finito y conexo. Supongamos que el
conjunto de vrtices de G es dado por
donde n > 0 y m > n. Escribamos la matriz del Laplaciano discreto 2 con esta
numeracin como
R U
J2 = t
U T
donde R y T son matrices cuadradas de tamaos n y (mn), respectivamente. Entonces,
T es invertible.
Teorema 2.10.2 (Problema discreto de Dirichlet). Sea (G, d) un grafo mtrico finito
y conexo, donde G = (V, E). Sea 6= W V y consideremos nmeros aw , bv R para
cada w W y cada v V W . Entonces, existe una y slo una funcin : V R
solucin al problema discreto de Dirichlet :
(v) = bv , v V W
(w) = aw , wW .
Demonstracin.
mr
X
bvr+j xj
j=1
= (vr+k ) bvr+k
De esta manera, cualquier punto crtico para Q corresponder a una funcin como se
requiere. Ahora, como la funcin Q es cuadrtica positiva, esta posee un mnimo.
Teorema 2.10.4 (Problema discreto de Neumann). Sea (G, d) un grafo mtrico fi-
nito y conexo, donde G = (V, E). Sean W Z V , W 6= , V Z 6= , |Z W | = 1,
de manera que al quitar todos los ejes que tienen alguno de sus vrtices en W no desco-
necta el grafo. Sea : W V Z y consideremos una coleccin de nmeros reales
aw , b R, w W , no necesariamente diferentes. Entonces, existe una y slo una funcin
: V R solucin al problema discreto de Neumann :
(v) = 0, v V Z
(w) ((w)) = aw , w W
(z) = b, {z} = Z W.
Demonstracin. Sean
V = {v1 , ...., vn }
W = {v1 , ..., vm }
El Lema 2.10.1 ahora asegura que la matriz LL6 es invertibe, como queramos.
PARTE II
ECUACIONES PARCIALES EN
DIFERENCIAS SOBRE GRAFOS
CAPTULO 3
Consideremos un grafo simple, conexo y de grado finito (G, d), donde G = (V, E).
En este captulo consideraremos el problema de existencia de soluciones para ecuaciones
parciales en diferencia (EPD) del tipo
D() = F (v, )
donde D es una derivacin simtrica positiva y semi-definida para G y F : V R R
es una funcin.
Por ejemplo, en casos de grafos mtricos, se tienen EPDs del tipo
2 = F (v, ), k = F (v, ), p = F (v, ), 2 + f (v)p = 0.
Daremos la demostracin para el caso F (v, ) = f () y al final del captulo diremos
cmo modificar esta demostracin para el caso general.
(1) D() = f ()
(2) Jx = f (x)
donde
x1
x = ...
xm
y
f (x1 )
..
f (x) = . .
f (xm )
Observemos que en el caso en que tenemos D {2 , k , p }, tenemos que la matriz
J correspondiente tiene la propiedad que la suma de cada columna es cero. Luego, la
siguiente observacin trivial es interesante tenerla en cuenta.
Corolario 3.1.3. Sean (G, d) un grafo simple, conexo, finito, D una derivacin nula y
f : R R. Si f (t) > 0 para todo t, entonces no hay solucin de la ecuacin (1).
Ejemplo 13. Sean (G, d) un grafo mtrico simple, conexo, finito y n {1, 2, ...}.
Entonces la ecuacin 2 = e no tiene solucin.
3.1. ECUACIONES DEL TIPO D() = f () 47
Corolario 3.1.4. Sean (G, d) un grafo simple, conexo, finito, D una derivacin nula y
f : R R una funcin positiva, es decir, f (t) > 0 para t 6= 0 (o una funcin negativa,
es decir, f (t) < 0 para t 6= 0). Si C 0 (G) es solucin de la ecuacin (1), entonces
0.
Ejemplo 14. Sean (G, d) un grafo mtrico simple, conexo, finito y n {1, 2, ...}.
Entonces la ecuacin 2 = 2n slo tiene como solucin a 0.
Si consideramos la funcin
Hf : R m R
x1 m Zj
x
1 .. X
Hf (x1 , ..., xm ) = [x1 xm ]J . f (t) dt
2 j=1 0
xm
vemos que
x1 x1 f (x1 )
. . ..
Hf .. = J .. .
xm xm f (xm )
concluyendo el siguiente hecho.
Para poder utilizar el Teorema 3.1.6 para obtener puntos crticos no triviales de la
funcin Hf necesitamos que la funcin f : R R satisfaga ciertas condiciones. Ya que
x1
1
[x1 xm ]J ... 0,
2
xm
quisiramos que exista cierto r > 0 con las siguientes propiedades :
(i) si |t| < r, entonces
Zt
f (s) ds < 0;
0
(ii) existe un punto a = (a1 , ..., am ) Rm tal que r2 < a21 + + a2m y de manera
que
a1 m Zj
a
1 .. X
[a1 am ]J . < f (t) dt
2 j=1 0
am
Si consideramos
m Z t
t2 X
Lf (t) := Hf (t, 0, ..., 0) = w1j f (s) ds,
2 j=2
0
entonces una manera de garantizar la condicin (i) es tener f (0) = 0 y f (0) < 0 y para
garantizar la condicin (ii) es tener algn t0 > 0 de manera que Lf (t0 ) < 0. Esto se
puede garantizar si
lim Lf (t) = .
t+
Para garantizar la condicin de Palais-Smale y la anterior, basta asumir la condicin
f (t)
lim = +,
t t
ya que en tal caso todo existe algn s > 0 de manera que si kxk > s, entonces Hf (x) < 0.
Teorema 3.1.7. Sea (G, d) un grafo simple, conexo y finito, D una derivacin sim-
trica y positiva semi-definida y f : R R de clase C 1 tal que f (0) = 0, f (0) < 0
y
f (t)
lim = +.
t t
Entonces existe solucin no trivial de la ecuacin (1).
3.1. ECUACIONES DEL TIPO D() = f () 49
Ejemplo 15. Sea f (t) = tp h(t), donde p > 1, tp := |t|p1 t, h(0) = 0, h (0) > 0
y, para t 6= 0, | h(t)
t | < M , para algn M > 0. En tal caso se cumplen las condiciones del
Teorema 3.1.7 para la funcin f y, en particular, para todo grafo mtrico finito conexo
(G, d) la ecuacin
2 = p h()
tiene solucin no trivial en C 0 (G) si p > 1. Ejemplos de tales funciones h son, (i)
h(t) = t con > 0 y (ii) h(t) = sin(t).
Ejemplo 16. Hay casos de funciones que no satisfacen las condiciones del Teorema
3.1.7, como es el caso cuando
f (t) = tp := |t|p1 t, p > 1,
en cuyo caso,
Zt
p1 |t|p+1
f (t) = p|t| , f (s) ds = .
p+1
0
Veamos un par de ejemplos. Consideremos primero el grafo completo K2 cuyos vr-
tices son {v1 , v2 } y una mtrica d. Tomemos D = 2 . En este caso tenemos el valor
positivo d({v1 , v2 })2 = w12 > 0 y las matrices
0 w12 w12 + w13 0
A2 = , B2 =
w12 0 0 w12 + w23
w12 + w13 w12
J = J2 = .
w12 w12 + w23
En esta situacin, tenemos que
x1 1 1
Hf = w12 (x1 x2 )2 |x1 |p+1 + |x2 |p+1 .
x2 2 p+1
Es claro que
0
Hf =0.
0
Adems tenemos que
x 2
G(x) = Hf = 2w12 x2 |x|p+1 .
x p+1
1
Hay slo un punto crtico x > 0 de la funcin G(x), este siendo x0 = (2w12 ) p1 .
Ahora, el punto
" 1
#
(2w12 ) p1
1
(2w12 ) p1
es un punto crtico de Hf . As, vemos que la ecuacin (1) (con D = 2 ) tiene solucin
no trivial para cada p > 1.
50 CAPTULO 3. ECUACIONES PARCIALES EN DIFERENCIAS
Definicin 3.1.8. Una funcin C 0 (G) se dice positiva si (v) 0 para todo
v V y se dice negativa si (v) 0 para todo v V , donde G = (V, E).
equivalentemente
m x1
X H
(x) + [x1 xm ]Hess(H)(x) ... = 0
xk
xk
k=1
xm
donde Hess(H)(x) denota la matriz Hessiana de H en el punto x. Si adems x SH ,
entonces debemos tener
x1
.
[x1 xm ]Hess(H)(x) .. = 0 .
xm
Lo anterior junto al teorema de la funcin implcita permiten obtener el siguiente he-
cho.
Proposicin 3.1.10. Sea (G, d) un grafo simple, conexo y finito, D una derivacin
simtrica positiva semi-definida y f : R R una funcin de clase C 1 tal que
f (t)
f (t) > , t 6= 0.
t
Entonces la variedad de Nehari SHf es una subvariedad diferenciable de Rm de dimen-
sin m 1.
Ahora, como
x1 m Zj
x
1 .. X
Hf (x1 , ..., xm ) = [x1 xm ]J . f (t) dt
2 j=1 0
xm
y
x1 x1 f (x1 )
Hf ... = J ... ..
.
xm xm f (xm )
vemos que
x1 m
X
= x Rm {0} : [x1 xm ]J ... =
SHf xj f (xj ) .
j=1
xm
Lema 3.1.11. Sea M = (mij )mm tal que M = t M , mij 0 para i 6= j y mjj 0.
Entonces,
t +
x M x = t x M x+ 0
donde x = [x1 xm ], x+
j = Mx{0, xj } y xj = Mn{0, xj }.
3.1. ECUACIONES DEL TIPO D() = f () 53
ya que x+ +
j xj = 0, xk xj 0 y mkj 0 para k 6= j.
Definicin 3.1.12. Diremos que una derivacin D cuya matriz J que la representa sa-
tisface las mismas hiptesis que M del Lema anterior es una derivacin simtrica positiva
semi-definida de tipo positiva.
Proposicin 3.1.13. Sea (G, d) un grafo simple, conexo y finito, D derivacin sim-
trica positiva semi-definida y f : R R de clase C 1 tal que
f (t) f (t)
f (0) = 0, f (0) < 0, lim = +, f (t) > , t 6= 0.
t t t
Entonces
(i) SHf es compacta ;
(ii) x Rm {0} existe > 0 (nico) de manera que x SHf . Ms an, si
0 < < , entonces Hf (x) < Hf (x).
(iii) Toda solucin no trivial de la ecuacin (1) corresponde a un punto crtico de Hf
restricto a SHf .
Demonstracin.
Parte (i). Veamos que 0 no es punto de acumulacin de puntos en SHf ; con lo cual
vemos que SHf es un cerrado (pues sabemos que SHf {0} es la preimagen de 0 por
una funcin continua). Como J es una matriz simtrica positiva semi-definida, tenemos
que t xJx 0. Por otro lado, como f (0) < 0 y f (0) = 0, tenemos que tf (t) < 0
para todo t 6= 0 muy cercano a 0. Si 0 pudiese acumularse por puntos de SHf , digamos
por la sucesin x(n) SHf , entonces para n muy grande tendremos que t x(n) Jx(n) =
Pm (n) (n)
j=1 xj f (xj ). Por lo visto antes, la parte izquierda de tal igualdad es mayor o igual
cero, pero la parte derecha ser negativa, una contradiccin.
Ahora, el acotamiento de SHf se obtiene del hecho que en la igualdad
m
X
t
xJx = xj f (xj )
j=1
54 CAPTULO 3. ECUACIONES PARCIALES EN DIFERENCIAS
La condicin
f (t)
f (t) > , t 6= 0,
t
nos asegura que
m
1X
R (t) = T (t) < t xJx xj f (txj ) .
t j=1
3.1. ECUACIONES DEL TIPO D() = f () 55
Ahora ya tenemos las herramientas necesarias para poder dar respuesta a nuestra pro-
blemtica original.
Teorema 3.1.15. Sea (G, d) un grafo simple, conexo y finito, D una derivacin sim-
trica positiva semi-definida de tipo positiva y f : R R de clase C 1 tal que
f (t) f (t)
f (0) = 0, f (0) < 0, lim = +, f (t) > , t 6= 0.
t t t
Entonces la ecuacin
D() = f ()
tiene tanto soluciones positivas como soluciones negativas en C 0 (G).
Demonstracin. Por la Proposicin 3.1.13, tenemos que SHf es una variedad com-
pacta ; luego la funcin Hf : SHf R tiene un mnimo global, digamos z. Por la misma
Proposicin, parte (iii), tal valor de z es solucin de la ecuacin (2). Tambin podemos
proceder con el mximo gobal de Hf restricta a SHf . Como 0 / SHf , tenemos que z 6= 0.
Veamos que todas las coordenadas diferentes de cero de z tienen el mismo signo.
Supongamos por el contrario que z tiene coordenadas diferentes de cero con diferente
signo. Entonces z + , z Rm {0}. Por la parte (ii) de la Proposicin 3.1.13 existen
nicos valores positivos, digamos + , de manera que + z + , z SHf . Podemos
suponer que + . En este caso, usando la parte (ii) de la Proposicin 3.1.13,
Hf (z) Hf (+ z) Hf (+ z + ) + Hf (+ z ) .
Como Hf (+ z ) > 0 (ver la Observacin 3.1.14), tenemos que
Hf (z) > Hf (+ z + )
lo cual contradice el hecho que z era mximo global de Hf sobre SHf .
56 CAPTULO 3. ECUACIONES PARCIALES EN DIFERENCIAS
Demonstracin. Tarea.
y definamos fj (t) = F (vr+j , t), para cada j = 1, ..., m r. Supongamos que la matriz
J asociada a D es
R tU
J=
U V
donde R es de tamao r r y V es de tamao (m r) (m r). Sea b = U a, donde
a es el vector columna cuya j-sima coordinada es aj . Si cada fj : R R satisface las
condiciones
fj (t)
fj (0) = bj , fj (0) < 0, lim = +,
t+ t
entonces el problema de Dirichlet
D() = F (v, ), v V W
u(vj ) = aj , j = 1, ..., r
tiene soluciones no triviales
Lema 3.3.1 (Teorema del paso de la Montaa [1]). Sea U un espacio de Hilbert
space y H : U R una funcin de clase C 1 (U ; R) la cual es Lipschitz continua sobre
subconjuntos acotados de U (esto es, |H(x) H(y)| K kx yk para x, y U
acotado). Supongamos que :
(i) H(0) = 0 ;
(ii) existen a, r > 0 tales que H(x) a, para kxk = r ;
(iii) existe y U , kyk > r con H(y) < 0.
Sean
A = { : [0, 1] U : (0) = 0, (1) = y, C 0 ([0, 1], U )}
y
a = InfA {Maxt[0,1] H((t))} R.
Entonces, a es un punto crtico de H.
X
< x, y >= xj yj ,
j=1
para todo x = (x1 , ....) l2 , entonces la ecuacin (4) tiene soluciones no triviales.
(7) HQ x = Qx f (x).
Luego, los puntos crticos de HQ son exctamente las soluciones del problema (4). Por
la definicin, HQ (0) = 0. Como fj (0) = 0, fj (0) < 0 y Q es positiva semi-definida, exis-
f (t)
ten a, r > 0 de manera que HQ (x) a > 0 para kxk = r. La condicin limt jt =
+ nos asegura la existencia de algn y l2 con kyk > r y HQ (y) < 0. Sea R > 0 dado
P P
y sean x, y B(0; R) l2 , es decir, kxk2 = j=1 x2j < R2 , kyk2 = j=1 yj2 < R2 .
As,
y
Zj
X
1 t
|HQ (x) HQ (y)| xQx yQy +
t
fj (t) dt K(R)kx yk
2
j=1 xj
para cada x = (x1 , ....) l2 , entonces la ecuacin (4) tiene soluciones no-triviales en
W.
Corolario 3.3.4. Sean G un grafo infinito y conexo cuyo conjunto de vrtices es nu-
merable, digamos V = {v1 , ....}, D R (G) una derivacin simtrica y positiva semi-
definida y F : V R R una funcin continua. Sean fj (t) = F (vj , t), para cada
vj V . Si, para cada j, fj : R R es derivable en 0 y satisface las condiciones
xj
Z
f j (t)
(9)
fj (0) = 0, fj (0) < 0, lim = +, fj (t) dt x2j
t t
0
para cada x = (x1 , x2 , ...) l2 , entonces la ecuacin (1) tiene soluciones non-triviales.
Corolario 3.3.5. Sean G un grafo infinito y conexo cuyo conjunto de vrtices es nu-
merable, digamos V = {v1 , ....}, D R (G) una derivacin simtrica y positiva semi-
definida y F : V R R una funcin continua, fj (t) = F (vj , t), para cada vj V
y G un grupo de simetras del grafo G. Si, para cada j, fj : R R es derivable en 0 y
satisface las condiciones
xj
Z
f j (t)
(10)
fj (0) = 0, fj (0) < 0, lim = +, fj (t) dt x2j
t t
0
para cada x = (x1 , x2 , ...) l2 , entonces la ecuacin (1) tiene soluciones que son
simtricas con respecto aG.
Observacin 3.3.6. En la hiptesis del Teorema 3.3.2 hemos asumido que para todo
j vale que fj (0) < 0. Tambin podemos considerar el caso en que para todo j vale
Rt
que fj (0) > 0, pero donde necesitamos asumir una condicin extra : fj (s) ds < t2
0
para valores de |t| pequeos (esto es vlido si, por ejemplo, fj (t)/t < 2 para t 6= 0
suficientemente cercano a 0.
Ejercicio 36. Escribir la demostracin del Teorema 3.3.2 para las condiciones des-
critas en la Observacin 3.3.6.
60 CAPTULO 3. ECUACIONES PARCIALES EN DIFERENCIAS
Teorema 3.4.1. Sea (G, d) un grafo mtrico conexo y simple, que puede ser infinito
pero cada vrtice con grado finito, y G = (V, E). Sea f : R R una funcin satisfa-
ciendo :
(i) f (t) 0 si t 0 ; y
(ii) f (0) = 0.
Sea C 0 (G) una solucin de la ecuacin parcial en diferencias 2 = f (), tal
que (v) 0 para todo v V . Si tiene un cero en V , entonces 0.
Demonstracin. Supongamos que existe v0 V tal que (v0 ) = 0. Sea N (v0 ) =
{v1 , ..., vm }. Entonces,
Xm Xm
(v0 ) (vj ) (vj )
0 = f ((v0 )) = 2 (v0 ) = 2
= 2
.
j=1
d ({v0 , vj }) j=1
d ({v0 , vj })
(vj )
Como 0, se tiene necesariamente que (vj ) = 0 for j = 1, ..., m.
d2 ({v0 , vj })
Ahora, usando la conectividad del grafo obtenemos que 0.
CAPTULO 4
EJEMPLOS
(11) 2 + f (v)p = 0
donde p > 1 y f : V (0, +). Esta es llamada una ecuacion discreta tipo Matukuma.
Una solucin u C 0 (G) de la ecuacin discreta tipo Matukuma (11) (ver el Ejercicio
36) la es una tal que
2 (v) + f (v)p (v) = 0, v V.
Como consecuencia del Teorema 3.1.1, sabemos que si u es una solucin, entonces
X
f (v)p (v) = 0 .
vV
(12) utt = + f (, t) .
(13) t = + f (, t) .
Nuevamente, si identificamos (, t) con el vector (x1 (t), ..., xm (t)), entonces lo ante-
rior se puede escribir como
donde
x1 (t)
x(t) = ..
. .
xm (t)
As, si f = 0, entonces
x(t) = eJ2 t x0
a1
x0 = ... .
am
Teorema 4.4.1. La ecuacin parcial en diferencias (14) tiene solucin si, y slo si,
tiene solucin la ecuacin algebraica
y p + (U M V )y U a = 0 .
(15) = k 2 + h
donde es el operador de Laplace y : R es una funcin.
En el caso h = 0, la existencia de soluciones no triviales de (15) es equivalente a que
k 2 sea un valor propio de (sobre el dominio ). Esta ecuacin puede ser resuelta por
medio de separacin de variables.
Tambin se puede considerar el correspondiente problema de Newmann
= k 2 + h,
(16)
n = f,
donde n denota la derivada normal respecto al borde Rn .
2 (v) = k 2 (v) + av , v V W
(17)
(w) ((w)) = bw , wW
Para analizar la existencia de soluciones de la ecuacin (17), escribamos
V = {v1 , ...., vm }
W = {v1 , ..., vn }
donde 0 < n < m. La matriz J2 representando a 2 puede ser escrita como
A tC
J2 =
C D
donde A y D son matrices simtricas (positivas semi-definidas) de tamao n y (m n)
respectivamente.
La funcin puede ser entonces pensada como una funcin en los ndices
: {1, ..., n} {n + 1, ..., m} .
Definamos la matriz M = [mij ] por
1, (i) = n + j
mij =
0, 6 n+j .
(i) =
Sean bj = bvj (j = 1, ..., n) y ar = avn+r (r = 1, ..., m n) ,
b = t [b1 bn ]
66 CAPTULO 4. EJEMPLOS
a = t [a1 amn ]
xj , j = 1, ..., n
(vj ) =
yjn , j = n + 1, ..., m .
Con las notaciones anteriores, la ecuacin (17) puede escribirse matricialmente como
In M x b
(18) = 2
C D y k y+a
x = b M y
(19)
(D CM k 2 In )y = a Cb .
Proposicin 4.5.1. El problema (17) tiene solucin nica si, y slo si, k 2 no es un
valor propio de D CM . En el caso contrario, tal ecuacin puede no tener soluciones
y si las tiene stas son infinitas soluciones.
M = [1]
D CM = 0 .
Luego, si k 6= 0, entonces la ecuacin (17) tiene solucin nica, siendo sta dada por
x = (bk 2 a wb)/k 2
y = (a + wb)/k 2
Observacin 4.5.2. Lo anterior puede ser adaptado al caso que V es infinito nume-
rable y W es finito sin mayores problemas.
4.6. LA ECUACIN DE NAVIER-STOKES EN GRAFOS 67
(20) + = p + 2 + f
t
donde = (x, t) es una funcin real (usualmente positiva) dependiendo de las variables
de tiempo t y posicin x, = (x, t) representa la velocidad del fluido incompresible,
p = p(x, t) representa la presin y f (x, t) representa una fuerza externa.
El factor es llamada la aceleracin convectiva y 2 la viscosidad del fluido.
Adems, si = (1 , ..., n ), entonces
:= ( 1 , ..., n )
2 := (1 , ..., n ) .
El fluido es llamado un fluido Newtoniano si este conserva su masa, es decir, satisface
la ecuacin de conservacin de Newton
Xn
j
(21) = =0
j=1
xj
Fijemos tambin una mtrica d : E (0, +) para as poder definir derivadas direc-
cionales para funciones : V R. Definimos su n-gradiente como
(22) n (vj ) := v1 (j) (vj ), ..., vn (j) (vj ) .
Observacin 4.6.1. Notemos que la definicin del n-gradiente depende de las elec-
ciones de las funciones j y de su orden.
(vj , t) + (vj , t) n (vj , t)
t (vj , t)
||
(23)
n p(vj , t) + 2 (vj , t) + f (vj , t),
j = 1, ...., n,
donde
n := ( n 1 , ..., n n )
2 := (2 1 , ..., 2 n ) .
Sea J2 la matriz Laplaciana discreta (que representa a 2 ) y definamos, para j =
1, ..., m y k = 1, ..., n, los siguientes
j (t) := (vj , t)
pj (t) := p(vj , t)
fjk (t) := fk (vj , t)
jk (t) := k (vj , t)
:= t [1 m ]
p := t [p1 pm ]
f k := t [f1k fm
k
]
k
k := t [1k m ]
k
Lk = [lij ], k = 1, ..., n,
4.6. LA ECUACIN DE NAVIER-STOKES EN GRAFOS 69
1
, i=j
d({vi vk (i) })
,
k
lij = 1
, k (i) = j
d({vi , vk (i) })
0, caso contrario
1 0 0 0
0 2 0 0
M = .. .. .. .. ..
. . . . .
0 0 m
1k 0 0 0
0 2k 0 0
Sk = .. .. .. .. .. , k = 1, ..., n .
. . . . .
k
0 0 m
n
X
k
(24) + Sl Ll k = M 1 Lk p M 1 J2 k + M 1 f k , k = 1, ..., n.
l=1
n
X
(25) Lk k = 0 .
k=1
1 0
M= .
0 2
La condicin algebraica (25) nos asegura que
1 = 2 .
Luego, la ecuacin (24) queda dada por
1 1 0 w w 1
+ =
1 0 1 w w 1
| {z }
0
11 0 w w p1 1
1 0 w2 w2 1
= +
0 1
2 w w p2 0 1
2 w2 w2 1
| {z }
0
1
1 0 f1
+
0 1
2 f2
es decir 1
1 1 w(p1 p2 + f1 /w)
= .
1 1
2 w(p1 + p2 + f2 /w)
La ecuacin anterior tendr solucin si, y slo si,
w(1 + 2 )(p1 p2 ) = 1 f2 2 f1
en cuyo caso tendr infinitas soluciones.
CAPTULO 5
APLICACIONES NUMRICAS
En los captulos anteriores hemos visto como adaptar algunas ecuaciones diferenciales
parciales al caso de grafos mtricos. Hasta ahora slo nos hemos preocupado de tales
adaptaciones, pero no hemos intentado usar esta tcnica para ver como obtener soluciones
numricas aproximadas de tales ecuaciones clsica. Para este propsito, el mtodo clsico
de las diferencias finitas discretiza tanto el espacio como el tiempo. Nosotros slo nos
preocuparemos de discretizar el espacio. Consideramos a continuacin tres ejemplos, uno
de dimensin 1 y otros dos de dimensin 2 (uno de ellos no acotado).
t = xx , t > 0, x (0, 1)
(27) (0, t) = (1, t) = 0, t > 0
(x, 0) = f (x), x (0, 1)
donde f : (0, 1) R es una funcin real continua dada.
t (vj , t) = 2 (vj , t), j {2, ..., n 1}, t > 0
(28) (v1 , t) = (vn , t) = 0, t > 0
(vj , 0) = f (vj ), j {2, ..., n 1}
donde
xj (t) = (vj , t), j = 1, ..., n,
x1 x1
.. ..
. = [t J12 L J23 ]
.
xn xn
(29)
x1 = xn = 0
x2 (0) = f (v2 ), ..., xn1 (0) = f (vn1 )
J11 J12 J13
J2 = t J12 L J23
t
J13 J23 J33
w1 + w2 w2 0 0 0 0 0
w2 w2 + w3 w3 0 0 0 0
0 w3 w3 + w4 w4 0 0 0
L=
.. .. .. .. .. .. .. ..
. . . . . . . .
0 0 0 0 0 wn3 + wn2 wn2
0 0 0 0 0 wn2 wn2 + wn1
x2 x2
.. ..
= L
. .
xn1 xn1
(30)
x1 (t) = xn (t) = 0
x2 (0) = f (v2 ), ..., xn1 (0) = f (vn1 )
cuya solucin es
x2 (t) f (v2 )
.. ..
. = eLt .
(31) xn1 (t) f (vn1 )
x1 (t) = xn (t) = 0.
Notemos que el Lema 2.10.1 nos asegura que L es de hecho una matriz positiva defi-
nida.
X 2
2 t
(x, t) = Cr er sin(rx),
r=1
X
f (x) = Cr sin(rx).
r=1
Todo lo anterior asegura que las soluciones obtenidas en (31) aproximan la solucin
clsica.
74 CAPTULO 5. APLICACIONES NUMRICAS
Escribamos vj = v + dj,v (aj,v , bj,v ), donde a2j,v + b2j,v = 1, para cada j = 1, ..., rv ;
luego d({v, vj }) = dj,v . Si mantenemos fijos los vectores unitarios (aj,v , bj,v ), entonces
rv
X (v) (vj )
lim
(d1,v ,...,drv ,v )(0,...0)
j=1
d2j,v
||
1
r
X v 2
(v)
r
X v 2
(v) Xrv
(v)
2
a2j,v 2
+ b2j,v 2
+2 aj,v bj,v .
2 j=1
x y
j=1
xy j=1
rv
X
(P2) aj,v bj,v = 0.
j=1
2
Bajo tales condiciones tendremos que D 2 ser quien aproxime .
As, para poder tener garantizada la condicin (P1), necesitamos tener que nv = n es
independiente de v, en cuyo caso D = n/2.
Por otro lado, si hacemos la restriccin n = nv para todo vrtice v Vb , entonces los
polgonos que aparecen como complemento de tal grafo planar tienen ngulos interiores
5.3. UN EJEMPLO 2-DIMENSIONAL 75
t = , t > 0, x
(32) (x, t) = 0, t > 0, x
(x, 0) = f (x), x
donde f : R es una funcin continua dada.
Denotemos por v1 , ..., vn los puntos de interseccin de las rectas que generan L con
. Podemos asumir que ellos estn indexados de manera que siguen el orden al viajar por
la curva en direccin opuesta a las manecillas del reloj. Ahora, sean vn+1 , ..., vm los
vrtices de L que estn contenidos en .
Consideramos el grafo G cuyos vrtices son
V = {v1 , ..., vm },
y sus ejes son
{v1 , v2 }, {v2 , v3 }, ..., {vn1 , vn }, {vn , v1 },
y todos los arcos de rectas de las rectas que generan L determinados por tales puntos
(ver Figura 5.1). Notemos que los vrtices del grafo G contenidos en tienen valencia 4
mientras que aquellos en tienen valencia 3.
Definimos como mtrica en el grafo G la distancia Euclidiana entre los vrtices de cada
eje. Luego la ecuacin (32) queda dado, en tal grafo mtrico, por
t (vj , t) = 2 (vj , t), j {n + 1, ..., m}, t > 0
(33) (vj , t) = 0, j {1, ..., n}, t > 0
(vj , 0) = f (vj ), j {n + 1, ..., m}
donde
xj (t) = (vj , t), j = 1, ..., m,
entonces la ecuacin (33) queda dada por
xn+1 x1
.. .
. = [R S] ..
xm xm
(34)
x1 = = xn = 0
xn+1 (0) = f (vn+1 ), ..., xm (0) = f (vm )
donde la matriz J2 asociada al operador de Laplace discreto 2 en este caso tiene la forma
t
U R
J2 =
R S
con U es una matriz de tamao n n y S es de tamao (m n) (m n).
Ahora, la ecuacin (34) es equivalente a
xn+1 xn+1
.. .
. = S ..
xm xm
(35)
x1 (t) = = xn (t) = 0
xn+1 (0) = f (vn+1 ), ..., xm (0) = f (vm )
de donde obtenemos la solucin
xn+1 (t) f (vn+1 )
.. ..
. = eSt .
(36) xm (t) f (vm )
x1 (t) = = xn (t) = 0.
Notemos que el Lema 2.10.1 nos asegura que la matriz S es una matriz positiva defi-
nida.
P6 P5
P1 P4
P2 P3
Figura 5.2
Usando diferentes hexgonos, uno puede construir una teselacin del plano (ver Figura
5.3).
Figura 5.3
Ahora procedemos igual que en el caso reticular a considerar un grafo cuyos vrtices
son dados por la interseccin de con los ejes de la teselacin y los vrtices de la tesela-
cin que estn en el dominio (ver Figura 5.4). Al igual que antes, podemos asumir que
los vrtices del borde son dados por v1 , ..., vn y los del interior son dados por vn+1 , ..., vm .
Definimos como mtrica en el grafo G la distancia Euclidiana entre los vrtices de cada
eje. Luego la ecuacin (32) queda dado, en tal grafo mtrico, por
4
t (vj , t) = 3 2 (vj , t), j {n + 1, ..., m}, t > 0
(37) (vj , t) = 0, j {1, ..., n}, t > 0
(vj , 0) = f (vj ), j {n + 1, ..., m}
Ahora se puede proceder como en el caso reticular, excepto que ahora debemos usar la
matriz 31 J2 en vez de J2 .
5.4. CASO DE ANILLOS 79
= f,
(38)
= g, 0 1
2 (vj ) = f (vj ), j {n + 1, ..., m}
(39)
(vj ) = g (vj ), j {1, ..., n}
80 CAPTULO 5. APLICACIONES NUMRICAS
Como consecuencia del Lema 2.10.1, S es invertible (de hecho positiva definida). En-
tonces, la solucin del problema (39) tiene la forma
(v1 )
..
. = a
(vn )
(vn+1 )
.. 1
. = S (Ra b)
(vm )
En el caso de grafos hexagonales la ecuacin (38) queda dado por
3
2 (vj ) = 4 f (vj ), j {n + 1, ..., m}
(40)
(vj ) = g (vj ), j {1, ..., n}
5.5. DOMINIOS NO ACOTADOS 81
= f,
(41)
= g, 0
Ya que las traslaciones son funciones harmnicas, podemos asumir sin prdida de ge-
neralidad que 0 0 .
0 = D ,
1 = R(0 ),
= S 0 1 .
Consideremos las funciones
f : R
g : 0 R
definidas por
f (x, y), (x, y) S 0
f (x, y) =
4
f (R(x, y)), (x, y) R(0 )
(x2 + y 2 )2
y
g(x, y), (x, y) 0
g (x, y) =
g(R(x, y)), (x, y)
82 CAPTULO 5. APLICACIONES NUMRICAS
= f ,
(42)
= g , 0
5.5.1.2. Una posible aproximacin. Supongamos que existe una solucin al pro-
blema de Dirichlet (41). Entonces podemos definir la nueva funcin
: R
definida por
(x, y), (x, y) S 0
(x, y) =
(R(x, y)), (x, y) R(0 )
lim f (w) = A R,
w
entonces lim | (z)|2 f ((z)) = | (0)|2 A. En esta situacin, el problema de Dirichlet
z0
(42) es equivalente al problema de Dirichlet
= F (z), z U
(44)
(z) = G (z), z S 1
donde G (z) = g((z)), el cual puede ser aproximado utilizando grafos conexos
finitos (reticulares o hexagonales).
PARTE III
HOMOLOGA Y COHOMOLOGA EN
GRAFOS Y MAPAS
CAPTULO 6
donde rj R y vj V .
Escojamos una orientacin por cada eje de E. Sea e = {v, w} E un eje que conecta
a los vrtices v e w. Si tenemos una orientacin donde v es el punto inicial, entonces
usaremos la notacin (v, w) para representar tal orientacin. En este caso, usaremos la
notacin
(w, v) = (v, w)
Podemos considerar el R-mdulo generado por todos esos ejes orientados, el cual deno-
taremos por C1 (G, R). Un miembro de C1 (G, R), llamado una 1-cadena singular, es de la
forma
Xn
e= rj (vj1 , vj2 ),
j=1
donde rj R y vj1 , vj2 son vrtices de G que se conectan por un eje {vj1 , vj2 } E.
: C1 (G, R) C0 (G, R)
n
X n
X
rj (vj1 , vj2 ) = rj (vj2 vj1 )
j=1 j=1
Se puede definir el primer grupo de homologa del grafo G con coeficientes en el anillo
R al grupo Abeliano
H1 (G, R) = Ker()
y el cero grupo de homologa del grafo G con coeficientes en el anillo R al grupo Abeliano
Ejercicio 39. Ver que todo elemento de C 0 (G, R) est nicamente determinada por
su restriccin a V .
6.6. INTEGRACIN EN GRAFOS 89
Z n
X Z n
X
vj1 + vj2
g df = nj g df = nj g (f (vj2 ) f (vj1 ))
j=1 j=1
2
e (vj1 ,vj2 )
Los elementos de Ck (G, R) son, al igual que antes, llamados las k-cadenas singulares.
e2
e3
F
e4
e1
e1e2e3+e4e5
e5
Figura 7.1
donde
0, si ej tiene orientacin de manera que F est a la izquierda
j =
1, si ej tiene orientacin de manera que F est a la derecha
De manera general,
!
X X
2G nF F = nF 2G (F )
F G2 F G2
7.4. CO-CADENAS SINGULARES EN MAPAS 93
Proposicin 7.2.1.
1G 2G = 0
Ker(1G )
H1 (G, R) =
Im(2G )
7.5. Dualidades
7.5.1. k=0.
C 0 (G, R) C0 (G, R) R
r
X r
X r
X
(f, nj vj ) 7 hf, nj vj i := nj f (vj )
j=1 j=1 j=1
7.5.2. k=1.
C 1 (G, R) C1 (G, R) R
r
X r
X r
X r
X Z
(, nj ej ) 7 h, nj ej i := nj (vj ) := nj
j=1 j=1 j=1 j=1 ej
7.5.3. k=2.
C 2 (G, R) C2 (G, R) R
r
X r
X r
X r
X ZZ
(, nj Fj ) 7 h, nj Fj i := nj (Fj ) := nj
j=1 j=1 j=1 j=1 Fj
dGk () = k+1
G
7.6.1. k=0.
dG0 : C 0 (G, R) C 1 (G, R)
dG0 (f ) = f 1G
Z
dG0 (f ) =
Pr
j=1 nj (xj ,yj )
Xr r
X r
X r
X
dG0 (f )( nj (xj , yj )) = nj f (1G (xj , yj )) = nj f (yj xj ) = nj (f (yj )f (xj ))
j=1 j=1 j=1 j=1
7.7. PRIMER GRUPO DE COHOMOLOGA 95
7.6.2. k=1.
dG1 : C 1 (G, R) C 2 (G, R)
dG1 () = 2G
ZZ
dG1 () =
Pr
j=1 nj Fj
r
X r
X r
X ZZ
dG1 ()( nj Fj ) = nj dG1 ()(Fj ) = nj dG1 ()
j=1 j=1 j=1 Fj
Si
sj
X
2G (Fj ) = (1)s,j es,j ,
s=1
donde es,j tiene la orientacin de manera que la cara Fj est a la izquierda y s,j {0, 1},
entonces
ZZ Xsj Z
dG1 () =
Fj s=1e
s,j
Proposicin 7.6.1.
dG1 dG0 = 0
Demonstracin. Como
dG1 () = 2G
dG0 (f ) = f 2G
tenemos que
dG1 (dG0 (f )) = d1 (f 1G ) = f 1G 2G
Como 1G 2G = 0, entonces obtenemos el resultado deseado.
1-formas cerradas y los elementos de B 1 (G) son llamados las 1-formas exactas .
PARTE IV
ESTRUCTURAS DE SUPERFICIES DE
RIEMANN DISCRETAS
CAPTULO 8
v2
F1* v1
*
F2
v F5*
v5
v3 F4*
F3 *
v4
Figura 8.1
Ejercicio 44. Verificar que es un mapa, es decir, ella define una descomposicin
celular como hemos dispuesto al comienzo.
Ejercicio 45. Verificar que la descomposicin celular dual es nica mdulo homo-
topa y que es homotpica a .
8.2.2. Superficies con borde. Consideremos ahora un mapa para una superficie
con borde. En este caso, tenemos el par (d , ) (en la cual d es una superficie orientada
sin borde y : d d es un homeomorfismo de orden dos que revierte orientacin
y de manera que d /h i es homeomorfo a ), tenemos un mapa de que se extiende a
un mapa de d , digamos , que es invariante por . En este caso se puede escoger una
descomposicin dual en d la cual es tambin invariante por . En este caso decimos
8.4. EL CELULAR DIAMANTE 101
x2
x3
x x1
xn
Figura 8.2
CAPTULO 9
9.1.2. Superficies con borde. Sea una superficie orientada con borde y (d , )
su doble asociado, es decir, d es una superficie orientada sin borde. Una estructura de
superficie de Riemann real discreta en (d , ) es una estructura de superficie de Riemann
discreta en d . Notemos que, por la propiedad invarainte de y por la accin de ,
vemos que ( (e)) = (e) para todo e 1 , donde es el doble asociado.
104 CAPTULO 9. SUPERFICIES DE RIEMANN DISCRETAS
d(e ) = (e), e 1
obtenemos que d = .
Ejemplo 21. Consideremos una superficie orientada con una estructura de super-
ficie de Riemann clsica. Luego, en tenemos una mtrica Riemanniana de curvatura
constante. Tomemos una descoposicin celular y una dual . Supongamos que todos
los ejes son arcos geodsicos de tal mtrica Riemanniana. As, podemos considerar la
mtrica discreta d para (, ) donde d(e) es la longitud de e 1 1 . De esta ma-
nera obtenemos una estructura de superficie de Riemann discreta (, , d ) para . La
pregunta natural es : Se puede descubrir la estructura clsica de superficie de Riemann
usando estas estructuras discretas ? Christian Mercat [20, 21] ha desarrollado la idea de
descomposiciones celulares criticas que permiten dar respuesta positiva a esta pregunta.
ESPACIOS DE MODULI
M od(, )
M od+ (, )
= Aut+ ()/K +
M od(, ) T (, ) T (, )
(, ) 7
{ M od+ (, ) : () = }
= Aut+ (, , )/Aut+
0 (, , )
x1 e1
x1
F2 e1
e2
e3
e2 e2
e3
e2
F1
e1
x1 x1
e1
Figura 10.1
donde Aut+
0 (, , ) es el subgrupo normal) de Aut (, , ) consistiendo de aquellos
+
K = K + = hbi
= Z2
1 2
M od(, ) = hA(1 , 2 ) = ( , )i = Z2
1 1
M od+ (, ) = {I}
x2
x1
x
x3
x5
x4
Figura 11.1
x2
y1 = y2
y2 = y3
x1
x
x3
y1 = y5
y3 = y4
y5
= x5
x4
y4
Figura 11.2
yj
ej *
ej
x xj
yj
Figura 11.3
de manera equivalente
R R
df = i({x, xj }) df, j = 1, ..., n,
(yj ,b
yj ) (x,xj )
Ejercicio 49. Verificar que la suma y amplificacin por constantes complejas de fun-
ciones analticas discretas (respectivamente, anti-analticas discretas) es analtica dis-
creta (respectivamente, anti-analticas discretas). Verificar que el producto de funciones
analticas discretas no siempre es analtica discreta.
116 CAPTULO 11. FUNCIONES ANALTICAS DISCRETAS
Ahora, las ecuaciones de Cauchy-Riemann discretas nos aseguran que, para cada x
0 vale que
11.5. Descomposicin
Sea f C 0 () una funcin analtica discreta. Si
b : 0 C : z 7 u
u b(z) = f (z)
vb : 0 C : z 7 vb(z) = f (z),
entonces u
b y vb son harmnicas discretas satisfaciendo la igualdad
vb(b
y ) vb(y) = i({x, x
b})(b x) u
u(b b(x)),
para cada caso en que e = (x, x
b) y e = (y, yb), de manera que
f = u + v,
donde
b(x),
u x 0
u(x) =
0, x 0
0, x 0
v(x) =
vb(x), x 0
Recprocamente, si tenemos funciones harmnicas discretas
b : 0 C, vb : 0 C,
u
satisfaciendo la igualdad
vb(b
y ) vb(y) = i({x, x
b})(b x) u
u(b b(x)),
b) y e = (y, yb), entonces
para cada caso en que e = (x, x
f = u + v,
es analtica discreta, donde
b(x),
u x 0
u(x) =
0, x 0
0, x 0
v(x) =
vb(x), x 0
118 CAPTULO 11. FUNCIONES ANALTICAS DISCRETAS
es llamada una funcin admisible entre las estructuras de Riemann discretas si esta es la
restriccin de una funcin continua F : 1 2 la cual define funciones celulares entre
la descomposicin celular y una de las descomposiciones celulares G o y entre la
descomposicin celular y la otra. En otras palabras, si valen las siguientes :
(i) si x, y 0 son vecinos, entonces F (x), F (y) G0 coinciden o son vecinos,
(ii) si {x, y}, {u, v} G1 son ejes duales y F (x) 6= F (y), entonces F (u) 6= F (v) y
{F (x), F (y)}, {F (u), F (v)} G 1 son duales, y
(iii) si {x, y}, {u, v} G
1 son ejes duales y F (x) = F (y), entonces F (u) = F (v) =
F (x) = F (y).
Ejercicio 51. Sea (, , ) una superficie de Riemann discreta. Sea e otra descopo-
sicion celular que es dual a . Verificar que existe una estructura de superficie de Rie-
e ) y un isomorfismo analtico discreto entre ellas que acta como la
mann discreta (, ,
identidad en 0 .
CAPTULO 12
12.2. Polinomios
Ahora veremos los polinomios Pn (z) = z n .
122 CAPTULO 12. ESTRUCTURAS DISCRETAS EN EL PLANO DEFINIDOS POR UN RETICULADO
Ejercicio 53. Verificar que las funciones P1 (z) = z y P2 (z) = z 2 son analticas
discretas, pero que P3 (z) = z 3 no lo es. En particular, concluir que el producto de
funciones analticas discretas no siempre es analtica discreta.
Ahora, consideremos la funcin Pn (z) restricta sobre 0 = Z[i]. Ser posible redefi-
nirla sobre 0 de manera que esta sea analtica discreta en (, , ) ?
Analizemos esta pregunta para n = 3. Fijemos algn valor a C y definamos
1i
F( )=a
2
F (z) = z 3 , z Z[i]
Queremos ver si es posible definir F (z) para el resto de los puntos en 0 de manera
que F sea analtica discreta. Consideremos una eleccin para tales valores :
1i
wz = F (z + ), z Z[i]
2
donde w0 = a. Las ecuaciones de Cauchy-Riemann discretas dan el siguiente sistema de
ecuaciones :
wz+i = wz + i(1 + 3z + 3z 2 )
wz1+i = wz+i + i(i 3z + 3iz 2)
w = wz1+i + i(1 + 3z 3z 2 )
z1
wz = wz1 + i(i 3z 3iz 2)
12.3. DESCOMPOSICIN 123
12.3. Descomposicin
Ahora veamos el tema de descomposicin de funciones analticas discretas. Sabemos
que toda funcin analtica discreta f : 0 C se puede escribir como f = u + v, donde
ub(x), x 0
u(x) =
0, x 0
0, x 0
v(x) =
vb(x), x 0
y
b : 0 C, vb : 0 C
u
son funciones discretas harmnicas que satisfacen
vb(w + i) vb(w) = i(b
u(z + 1) u
b(z)),
1i
vb(w + i 1) vb(w + i) = i(b
u(z + i) u
b(z)), w=z+ .
2
Ahora, si escogemos de manera arbitraria a C, entonces definiendo
1i
b
v =a
2
podemos determinar vb de manera nica, es decir, vb queda nicamente determinada salvo
una constante en C. De esta manera, para obtener las funciones analticas discretas, nece-
sitamos ver como construir las funciones harmnicas discretas
b : Z[i] C
u
La condicin de harmonicidad en el punto z Z[i] es en este caso equivalente a pedir
4b b(z + 1) + u
u(z) = u b(z + i) + u
b(z 1) + u
b(z i).
Podemos hacer una eleccin arbitraria para los valores de u b en los puntos en Z(Zi)
los cuales determinan nicamente los valores de u b en el resto de Z[i]. En otras palabras,
si
a = (..., a2 , a1 , a0 , a1 , a2 , ...) CZ
124 CAPTULO 12. ESTRUCTURAS DISCRETAS EN EL PLANO DEFINIDOS POR UN RETICULADO
b = (..., b2 , b1 , b0 , b1 , b2 , ...) CZ
entonces la definicin
b(a,b) : Z[i] C
u
por
b(a,b) (n) = an ,
u b(a,b) (n i) = bn ,
u n Z
permite definir una isomorfismo entre el espacio de funciones harmnicas discretas en
Z[i] y P = CZ CZ .
Ahora, para cada (a, b) P, u b(a,b) determina de manera nica, mdulo una constante
c C una nica funcin harmnica discreta vb(a,b,c) de manera que f = u(a,b) + v(a,b,c)
es analtica discreta. De esta manera, el espacio de las funciones analticas discretas en
C 0 () es naturalmente equivalente al espacio CZ CZ C.
Si para cada n Z denotamos por en = (..., 0, 0, 0, 1, 0, 0, ...), donde el 1 va en la
posicin n, por 0 = (..., 0, 0, 0, ....), y
b(en ,0) ,
en,0 = u b(0,en ) ,
e0,n = u
entonces, si
X
(a, b) = an (en , 0) + bn (0, en )
nZ
tenemos que
X
b(a,b) =
u an en,0 + bn e0,n
nZ
z+(1+i)/2
z z+1
z+(1i)/2
Figura 12.1
Luego,
Z
1+i 1i
2 f (z) dz = f z + f z+ i (f (z + 1) f (z))
2 2
Ejemplo 27. Recordemos que los polinomios Pn (z) = z n , con n 3, no son fun-
ciones analticas discretas. Pero las siguientes "pseudo-Potencias" lo son (ver el Corolo-
raio 12.4.2) :
Zz
z = 1, z = n w(n1) dw, n = 1, ....
(0) (n)
0
Estas pseudo-potencias generan el espacio vectorial de los polinomios discretos. En
[8], Duffin verific que z (n) z n es un polinomio en z y z de grado a lo ms (n 2).
Ahora que tenemos los anlogos de las potencias de z, podemos construir ms fun-
ciones analticas discretas por medio de series de potencia. Por ejemplo, podemos definir
la exponencial discreta
X
z 1 (n)
e = z
n=0
n!
De hecho, uno puede definir, para |t| < 2, la funcin
X
1 (n) n
ez,t = z t
n=0
n!
J. Lelong-Ferrand verific la frmula
Re(z) Im(z)
z,t 2+t 2 + it
e =
2t 2 it
la cual es analtica discreta para cualquier valor t C {2, 2i}.
CAPTULO 13
Durante todo este captulo supondremos que tenemos una estructura de superficie de
Riemann discreta, digamos (, , ), sobre una superficie orientada , y su correspon-
diente doble . Consideramos una orientacin en los ejes e 1 y colocamos una orien-
tacin en los ejes duales e 1 de manera que si e y e son ejes duales, entonces las
orientaciones de e y e son como se bosqueja en la figura 13.1.
y2
y2
e* e*
x1 x2 x1 x2
e e
y1
y1
Figura 13.1
128 CAPTULO 13. DIFERENCIALES EN SUPERFICIES DE RIEMANN DISCRETAS
e3 *
F2
x3 F2 *
e3
F1
*
e2
x1 *
F1 e2
e1
x2
e1*
Figura 13.2
donde u Ck (), v Ck ( ).
2 (F1 ) = e1 + e2 + e3
2 (F2 ) = e1 e2 e3
2 (nF1 + mF2 ) = (n m)(e1 + e2 + e3 )
Im( ) = he1 + e2 + e3 i
2 =Z
1 (e1 ) = x2 x1
1 (e2 ) = x3 x2
1 (e3 ) = x1 x3
1 (ae1 + be2 + ce3 ) = (c a)x1 + (a b)x2 + (b c)x3
Ker( ) = he1 + e2 + e3 i
1 =Z
H1 (, Z) = {0}
13.1. HOMOLOGA PARA SUPERFICIES DE RIEMANN DISCRETAS 129
* e2 *
F F*
e2
F F
*
e1
x1 e1
F F
F* F*
Figura 13.3
2 (x1 ) = e1 e3
2 (x2 ) = e2 e1
2 (x3 ) = e3 e2
2 (nx1 + mx2 + rx3 ) = (n m)e1 + (m r)e2 + (r n)e3
Im( ) = he e , e e i
2 1 = Z2
2 1 3
1 (e1 ) = F1 F2
1 (e2 ) = F1 F2
1 (e3 ) = F1 F2
1 (ae1 + be2 + ce3 ) = (a + b + c)(F1 F2 )
Ker( ) = he e , e e i
1 1 = Z2
2 1 3
H1 ( , Z) = {0}
H1 (, Z) = {0}
2 (F ) = 0 = Im(2 ) = {0}
1 (e1 ) = 1 (e2 ) = 0 = Ker(1 ) = he1 , e2 i
= Z2
H1 (, Z)
= Z2
2 (x1 ) = 0 = Im(2 ) = {0}
130 CAPTULO 13. DIFERENCIALES EN SUPERFICIES DE RIEMANN DISCRETAS
1 (e1 ) = 1 (e2 ) = 0 = Ker(1 ) = he1 , e2 i
= Z2
H1 ( , Z)
= Z2
H1 (, Z)
= Z4
obtenemos que H 1 (, Z)
= H1 (, Z). Una demostracin ms rigurosa ser dada ms
adelante.
: C k () C 2k (), k = 0, 1, 2,
Caso k = 0.
: C 0 () C 2 ()
ZZ
f = f (F )
F
Caso k = 1.
: C 1 () C 1 ()
Z Z
= (e )
e e
Caso k = 2.
: C 2 () C 0 ()
ZZ
(v) =
v
Proposicin 13.3.1.
2 = (1)k IC k ()
Demonstracin.
(1) Caso k = 0. Sean f C 0 () y v C0 ().
ZZ
(f )(v) = f = f (v ) = f (v)
v
Ejercicio 62. Verificar que el operador produce isomorfismos entre los siguientes
espacios vectoriales
: C k () C 2k ( )
: C k ( ) C 2k ()
Notemos que cada sumando es invariante por y que acta como multiplicacin por
i sobre C 1,0 () y como multiplicacin por i sobre C 0,1 ().
Consideremos las proyecciones naturales
1
1,0 = (I + i) : C 1 () C 1,0 ()
2
1
0,1 = (I i) : C 1 () C 0,1 ()
2
2 = (d d + d d)
2 : C 0 () C 0 ()
2 = d d
13.8. FORMAS HARMNICAS 137
l
X Z l
X Z l
X Z
j
= (1) ((e
j )) df = (1) j
(e
j ) df = j
(1) (ej ) df =
j=1 e j=1 ej j=1 ej
j
l
X Z l
X l
X
= (ej ) df = (ej )(f (vj ) f (v)) = (ej )(f (v) f (vj ))
j=1 j=1 j=1
(1)j ej
Ejercicio 68. Verificar que toda 1-forma analtica y anti-analtica discreta es harm-
nica.
Si consideremos el operador
d = d
entonces tenemos el siguiente diagrama
d d d
C 2 () C 1 () C 0 () 0
Proposicin 13.8.1.
d d = 0
Proposicin 13.8.2.
2 = dd + d d
Demonstracin.
dd + d d = d d d d = (d d + d d) = 2
X Z Z
(, ) = (e) , , C 1 ()
e1 e e
X ZZ ZZ
(, ) = , , C 2 ()
F 2 F F
es
d : C k () C k1 ()
donde
0, ej = (x0 , xj )
j =
1, ej = (xj , x0 )
Para C 1 () tenemos
X Z Z X Z
(df, ) = b})
({x, x df = b})(f (b
({x, x x) f (x)) =
(x,b
x)1 (x,b
x) (x,b
x) (x,b
x)1 (x,b
x)
n
X Z n
X Z
= (ej )(1)j (f (xj ) f (x0 )) = (ej )(1)j +1 f (x0 )
j=1 ej j=1 ej
Z n
X Z n
X Z
j j
= = (1) = (1) (ej ) =
x j=1 e j=1 e
0 j j
n
X Z n
X Z
= (1)j (ej )(1) = (ej )(1)j +1 f (x0 )
j=1 ej j=1 ej
Proposicin 14.2.1.
Ker(2 ) = Ker(d) Ker(d )
Corolario 14.2.3.
C k () es harmnica d = 0 = d d = 0 = d
es decir, las formas harmnicas son exactamente aquella que son cerradas y co-cerradas
al mismo tiempo.
Corolario 14.2.5.
C k () = {k-formas coexactas} {k-formas exactas} {k-formas harmonica}
R
= 0, T 2
T
C 1 ()es hamnica P R
({v, w}) = 0, v 0
wN (v) {v,w}
14.3. DESCOMPOSICIN DE HODGE PARA EL CASO k = 1 145
Teorema 14.3.1.
Ker(2 ) = H 1,0 () H 0,1 ()
Corolario 14.3.2.
H 1 (, C)
= Ker(2 ) = H 1,0 () H 0,1 ()
Corolario 14.3.3.
Ker(2 ) = H 1 (, C)
= C4g
H 1,0 ()
= H 0,1 ()
= C2g
CAPTULO 15
donde
0, ej = (x, xj )
j =
1, ej = (xj , x)
Entonces,
ZZ Z n
X Z n
X Z
e=
d e
= (1)j e
= (1)j +1 (e
j ) e=
x x j=1 e j=1 e
j j
n
X Z n
X Z n
X
j j
= (1) (ej ) e= (1) (ej ) df = (1)j (ej )(f (xj )f (x)) = 2 f (x)
j=1 ej j=1 ej j=1
Luego,
e(x ) = 2 f (x)
d
En particular,
e(x ) = 0,
d x 0 {z1 , z2 },
de donde obtenemos que e es harmnica en 0 {z1 , z2 }. As, e = e C 1 ()
e+i
es analtica discreta en 0 {z1 , z2 }.
Por el principio del mximo y del mnimo, el mximo de f es 1 que ocurre en z1 y el
mnimo de f es 1 que ocurre en z2 .
Sean x1 , ..., xn los vrtices vecinos de z1 y
Xn
z1 = (1)j ej ,
j=1
donde
0, ej = (z1 , xj )
j =
1, ej = (xj , z1 )
Sabemos que 1 = f (z1 ) f (xj ) y que para algn j0 tal desigualdad es estricta. Como
e = 0 sobre C1 ( ), tenemos que
Z Z Z
e = i e
= i(e
j ) e=
e
j e
j e
j
Z Z
= i(ej ) e = i(ej )
df = i(ej )(f (xj ) f (z1 )) i(, 0])
ej ej
Como para algn j0 sabemos que (f (xj0 ) f (z1 )) < 0, tenemos que
Z
e i(, 0)
z1
y, en particular,
Z
1 a
Resz1 e = e = <0
2i 2
z1
De esta manera
2
= e
a
es real y harmnica en 0 {z1 , z2 } tal que
= + i C 1,0 ()
Si C1 (, Z), entonces
Z Z Z Z Z
= e + i e
= e = df = 0
150 CAPTULO 15. CLCULO DE dimC H 1,0 () = 2g
y1 x1
y2 y4
x3
y3
y1
x0=z1 y3
x4=z2
y2 x2 y4
Figura 15.1. n = 4
x1
x3
x0=z1
x4=z2
x2
x1
x2
x3
Figura 15.2. n = 4
y1 x1
y2 y4
y3 x3
y1
x0=z1 y2
x4=z2
y3 y4
y1 x2
y2
y3 y4
y1 x1
x2
y4
y2
y3 x3
Figura 15.3. n = 4
Definamos el grafo G cuyos vrtices y ejes son los dados por , y consideremos el
problema de Neumann en el grafo G con
B = {w1 = yb1 , ..., ybn1 , yb2 , ..., ybn , wm = yb1 } (m = 2(n 1))
a1 = = an1 = 2i, an = = a2n2 = 2i, b = 1
C = {y1 , ..., yn1 , y2 , ..., yn }
Luego, tenemos un nico g C 0 (G) satisfaciendo las siguientes condiciones :
2 g(v) = 0, v G0 B
g(b
yj ) g(yj ) = 2, j = 1, ..., n 1
yj ) g(yj ) = 2,
g(b j = 2, ..., n
g(by1 ) = 1.
Sea
0 C 1 ()
e = C 1 ().
i dg C 1 ( )
Es claro de la definicin que
de = 0
0 C 2 ( )
d e = C 2 ().
id dg C 2 ()
Definamos
dg C 1 ()
e = e + i e = C 1,0 ().
i dg C 1 ( )
Veamos que e es harmnica en 0 {z1 , z2 }, luego e es analtica en 0 {z1 , z2 }.
Para esto, basta ver (pues ya sabemos que de = 0) que d e = 0 sobre cada cara
F C2 (, Z).
Supongamos que
Xr
F = (1)j ej ,
j=1
donde
0, si F es vrtice inicial de ej
j =
1, si F es vrtice final de ej
Sea wj el otro vrtice del eje ej . De esta manera,
ZZ Z X r Z r
X Z
d =e e
= (1) j e
= (1) j +1
(ej ) e =
F F j=1 ej j=1 e
j
r
X Z r
X
= i (ej ) dg = i (ej ) (g(F ) g(wj )) = i2 g(F ) = 0
j=1 j=1
(1)j e
j
152 CAPTULO 15. CLCULO DE dimC H 1,0 () = 2g
ya que F
/ B.
Calculemos el residuo de e sobre el vrtice z1 . Supongamos que
Xr
z1 = (1)j ej ,
j=1
donde
0, si z1 es vrtice inicial de ej
j =
1, si z1 es vrtice final de ej
Ya que Z Z
e = i dg
e
j e
j
Observacin 15.1.2.
1.- En (iv) la condicin = slo se requiere para y no para .
2.- Sea = Im(), donde es como en el Teorema anterior. Entonces valen las
siguientes.
2.1.- Si C1 (, Z) es camino cerrado, entonces
Z
= 0;
15.2. EXISTENCIA DE DIFERENCIALES ANALTICAS 153
2.3.- si e , entonces
Z
= 1.
e
3.- Consideremos la funcin f construida en la demostracin para la construccin de
. Al considerar un camino aleatorio sobre el grafo asociado a , la probabilidad de
pasar de x 0 a un vrtice vecino y 0 es dado por
({x, y})
P (x, y) = P
zN (x) ({x, z})
Demonstracin.
154 CAPTULO 15. CLCULO DE dimC H 1,0 () = 2g
Resz1 1 = Resz2 2 = 1
Resz2 1 = Resz1 2 = 1
Basta con escoger
1
A,B = (1 + 2 ) .
2i
= 1 2 H 1,0 ()
satisface que
Z
iR
= i,
vale que
Z
=0
Observacin 15.2.2. La forma real harmnica Re (A,B ) satisface que para todo ca-
mino cerrado C1 (, Z) el valor
Z
Re (A,B )
Lema 15.2.3. Sean w0 , ..., w2g H 1,0 (). Entonces, existen nmeros complejos, no
todos nulos, 0 , ..., 2g , de manera que
0 w0 + + 2g w2g = 0.
En particular,
dimC H 1,0 () 2g
Demonstracin. Se puede construir 2g caminos cerrados y simples, digamos
A1 , ..., Ag , B1 , ..., Bg C1 (, Z)
tales que
(i) Aj Bk = jk ;
(ii) Aj Ak = 0 ;
(iii) Bj Bk = 0.
La coleccin
{A1 , ..., Ag , B1 , ..., Bg }
define una base cannica de H1 (, Z) (y una base cannica de homologa para H1 (, Z)).
Denotemos por
j = Aj , g+j = Bj , j = 1, ..., g.
Consideremos el sistema lineal de tamao 2g (2g + 1) siguiente
R R R
0 w0 + 1 w1 + + 2g w2g = 0
1 1 1
.. .. ..
. . .
R R R
0 w0 + 1 w1 + + 2g w2g = 0
2g 2g 2g
B1 , ..., Bg C1 ( , Z)
tales que en definen una base cannica de homologa para H1 (, Z), es decir,
(i) Aj Bk = jk ;
(ii) Aj Ak = 0 ;
(iii) Bj Bk = 0.
Se puede construir 2g caminos cerrados y simples, digamos
A1 , ..., Ag C1 ( , Z)
B1 , ..., Bg C1 (, Z)
tales que en definen una base cannica de homologa para H1 (, Z), es decir,
(i) Aj Bk = jk ;
(ii) Aj Ak = 0 ;
(iii) Bj Bk = 0.
de manera que las siguientes son bases cannicas
{A1 , ..., Ag , B1 , ..., Bg } C1 (, Z)
Tenemos que
Z
Re wj = 1, j = 1, ..., 4g.
j
Tomando
k + 2g, k 2g
l(k) =
k 2g, k > 2g
tenemos que Z
wk iR
si es un camino cerrado tal que l(k)
= .
De esta manera,
Z
Re wk = I4g4g
j
Sean 1 , ..., 4g R y
4g
X
w= j wj
j=1
Entonces,
Z
Re w = j , j = 1, ..., 4g,
j
Z
d d = d (x ) d (x ) = 0
Podemos considerar
{A1 = e1 , B1 = e1 }
{A1 = e2 , B1 = e2 }
Escojamos 1 , 2 C y escojamos C 1 () definida por
Z Z
= = 1
e1 e
2
15.3. dimC H 1,0 () = 2g 159
e2
* e1 x
e2
e1*
Figura 15.4
Z Z
= = 2
e2 e
1
Sea
m1
= ( + i ) H 1,0 ()
= C2
m1 1 i2
En esta caso, Z Z
= 1, = im1 iR
A1 B1
Z Z Z
1 + im2 2 m1 m2 2 + i1 i
= m1 , = =
m1 1 i2 m2 m1 1 i2 m2
A1 B1 A1
Por otro lado, sabemos de la demostracin del Teorema 15.3.1 que hay una base para
H 1,0 () (como espacio vectorial real), digamos w1 , ..., w4 , de manera que
R
e1 e2 e3 e4
w1 ia11 ia12 1 + ia13 ia14
w2 ia21 1 + ia22 ia23 ia24 (aij R)
w3 1 + ia31 ia32 ia33 ia34
w4 ia41 ia42 ia43 1 + ia44
Como wj H 1,0 () tenemos las ecuaciones de Cauchy-Riemann
wj = iwj , j = 1, 2, 3, 4.
Estas ecuaciones dicen, por ejemplo, que
Z Z Z
1
(1 + ia13 ) = (e1 ) w1 = w1 = i w1 = a11
m1
e
1
e1 e1
Proposicin 16.1.1. Si {w1 , ..., w2g } es una base de H 1,0 (), entonces la matriz de
tamao 2g 2g cuyo coeficiente (k, l) es dado por (wk , wl ) es Hermitiana y positiva
definida.
Proposicin 16.1.2. Si {1 , ..., 4g } es una base del subespacio de las 1-formas dife-
renciales harmnicas reales, entonces la matriz de tamao 4g 4g cuyo coeficiente (k, l)
es dado por (k , l ) es real, simtrica y positiva definida.
Demonstracin. Como las formas j son todas reales, los coeficientes de la matriz
son reales. La simetra de la matriz sale del hecho que el producto (, ) es Hermitiano.
Como las formas j forman una base de las formas harmnicas cerradas y la forma es
Hermitiana positiva definida, entonces la matriz es positiva definida.
Ahora,
m
X Z Z m
X Z Z
(df, ) = (ej ) df + (ej ) df =
j=1 ej ej j=1 e e
j j
m
X Z m
X Z
= (ej )(f (xj2 ) f (xj1 )) + (ej )(f (yj2 ) f (yj1 )) =
j=1 ej j=1 e
j
m
X Z m
X Z
= (ej )(f (xj2 ) f (xj1 ))(ej ) (ej )(f (yj2 ) f (yj1 ))(ej ) =
j=1 e j=1 ej
j
m
X Z m
X Z
= (f (xj2 ) f (xj1 )) (f (yj2 ) f (yj1 ))
j=1 e j=1 ej
j
Lo anterior y el hecho que cada xjk es el centro de una cara de 2 y cada yjk es el
centro de una cara de 2 nos permiten notar que las dos ltima sumas son necesariamente
igual a 0.
a4 = a1 a2 + a3
a5 = a2 a3
a6 = a1 a2
b4 = (b1 + b2 + b3 )
En este caso,
Z Z
bj
= , = mj aj , j = 1, ..., 6
mj
ej e
j
R
Figura 16.1. = 1
es igual al nmero (algebraico) de veces que contiene un eje dual de (ver Figura 16.1).
Esto nos dice que, si C 1 (), entonces vale la siguiente igualdad (usando el hecho
que e = e)
X Z Z X Z
( , ) = (e) = (e) =
e1 e e e e
X Z XZ XZ Z
= (e)((e )) = = = ,
e e e e e e
de donde se obtiene, de la Proposicin 16.1.3, que la forma es nica mdulo formas
exctas, es decir, su clase de cohomologia en H 1 () es nica.
El Nmero de interseccin discreto entre dos cclos 1 , 2 Z1 (, Z) es definido
como Z
1 2 = 2 = (1 , 2 )
1
que definen una base para H1 ( , Z), luego una base de H1 (, Z), de manera que Aj es
ej y Bj es paralelo a B
paralelo a A ej . Esta es tambin una base cannica de homologa
para H1 (, Z).
La coleccin de cclos
e1 , ...., A
A1 , ...., Ag , A eg , B
e1 , ...., B
eg , B1 , ...., Bg Z1 (, Z)
k l = (k , l )
166 CAPTULO 16. MATRICES DE RIEMANN DISCRETAS
Teorema 16.4.1. Consideremos una base cannica de homologa para H1 (, Z), di-
gamos 1 , ..., 4g . Si 1 , 2 son diferenciales discretas cerradas, entonces vale la relacin
bilineal discreta de Riemann
X2g Z Z Z Z
(1 , 2 ) = 1 2 1 2
j=1 j 2g+j 2g+j j
Ahora,
4g X
X 4g
(1 , 2 ) = a1j a2k (j , k )
j=1 k=1
R
Como sabemos que (k , r ) = k r = r , tenemos que
k
X 4g
4g X 2g
X
(1 , 2 ) = a1j a2k j k = a1j a22g+j a12g+j a2j
j=1 k=1 j=1
de donde sale el resultado.
Como {j } define una base de las formas harmnicas cerradas y el operador de Hodge
preserva tal espacio, podemos escribir en tal base (como vectores columna) como una
matriz de tamao 4g de la forma
U V
[] =
W X
k l = (k , l )
se tiene que
J = Q[]
de donde se obtiene que
J[] = Q
es decir
B C
[] =
A D
La condicin algebraica []2 = I queda dada por
2
B CA = I
AB = DA
BC = CD
2
D AC = I
Ahora construimos las siguientes 4g formas analticas discretas
wj = j + i j , j = 1, ..., 4g.
A D A D B C A D + iI
P = i =
B C B C A D B iI C
Notemos que la matriz 2A (respectivamente, 2C) es la matriz definida en e la Proposi-
cin 16.1.1 respecto a la base {w1 , ..., w2g } (respectivamente, {w2g+1 , ..., w4g }).
Notemos que, por la construccin hecha, tenemos
16.5. MATRICES DE RIEMANN 169
w1 w1
R w2 R w2
i i .. ..
. .
e e
(B1 Bg B1 Bg ) e e
(A1 Ag A1 Ag )
w2g w2g
P =
w2g+1 w2g+1
R w2g+2 R w2g+2
i .. i ..
e B
(B e B B )
1 g 1
.g
(A A Ae Ae )
1
.
g 1 g
w4g w4g
{1 , ..., 2g }
definida por
1 w2g+1
2 w2g+2
.. = iC 1 ..
. .
2g w4g
1
Z 2
.. = I2g
.
e1 A
(A1 Ag A eg )
2g
1
Z 2
= .. = C 1 B + iC 1 H2g
.
e1 B
(B eg B1 Bg )
2g
donde H2g denota el espacio de Siegel de grado 2g, es decir, el espacio de matrices sim-
tricas, de tamao 2g 2g, con parte imaginaria positiva definida.
La base {1 , ..., 2g } es llamada la base dual asociada a la base cannica de H1 (, Z)
anterior. La matriz anterior es la Matriz de Periodos asociada a la base cannica.
1 1
R .. R ..
. .
(B1 Bg ) e1 B
(B eg )
iC11 1
C1 B1 g g
= =
C21 B2 iC21
g+1 g+1
R .. R ..
. .
(B1 Bg ) e1 B
(B eg )
2g 2g
Tambin tenemos las matrices de periodo g-dimensionales
Z 1 Z 1
.. ..
1 = C11 B1 + iC11 = . + . Hg
(B1 Bg ) g e1 B
(B eg ) g
Z g+1 Z g+1
.. ..
2 = C21 B2 + iC21 = . + . Hg
(B1 Bg ) 2g e1 B
(B eg ) 2g
1,0
(3) Si H () es tal que
R
(3.1) = 0, para j = 1, ..., 2g, o bien
j
R
(3.2) Im( ) = 0, para j = 1, ..., 4g,
j
entonces = 0.
16.6. LA VARIEDAD JACOBIANA 171
(, , )
donde
0 = {x}, 1 = {e1 , e2 }, 2 = {F }
0 = {F }, 1 = {e1 , e2 }, 2 = {x }
1
(e1 ) = = m1 > 0
(e1 )
1
(e2 ) = = m2 > 0
(e2 )
En este caso particular, como vimos en el Ejemplo 33, se tiene que C 1 () = Ker(2 ).
Otra manera de ver esto es de la siguiente manera. 2 contiene un solo elemento F1 , cuyo
borde es F1 = e1 + e2 e1 e2 = 0 y el nico elemento de 2 F1 tienen como borde
F1 = e1 + e2 e1 e2 = 0. Ahora, una 1-forma C 1 () es harmnica s y slo
RR R R RR R R
si d = 0 = d . Pero d = = = 0, d = = = 0,
0 0
RR R R F1 RRF1 R F1
R F1
d = = = 0, d = = = 0, de donde vemos
F1 F1 0 F1 F1 0
que trivialmente valen las igualdades d = 0 = d . Una base de diferenciales reales
harmnicas
{e e2 ,
1 , e1 ,
e2 }
es definida por la siguiente tabla de integracin
R
e1 e2 e1 e2
e1
1 0 0 0
e2
0 1 0 0
e3
0 0 1 0
e4
0 0 0 1
de donde
1 = Be1 , 2 = B1 , 3 = A1 , 4 = Ae1
En este caso podemos ver que
e1 , 2 = e
1 = e3 , 4 =
4 , 3 = e2
16.7. EJEMPLOS EN GNERO 1 173
i
1 = im1 , 2 =
m2
Luego, el Jacobiano de esta superficie de Riemann discreta es
* +
0
1 0 im1
J(, , ) = C2 / , , , i
0 1 0
m2 Z
i
J(, , )
= C/h1, im1 iZ C/h1, iZ
m2
En este ejemplo,
m2
T (, )
= (0, +) (el par (m1 , m2 ) corresponde a = ),
m1
1
M od(, ) = h() = i = Z2
+
M od (, ) = {I}
M(, )
= (0, +)
f )
M(, = (0, 1]
Genricamente, Aut(, , ) = Aut (, , )
+
= Z2 y en el caso en que (e1 ) =
(e2 ) tenemos que Z4
= Aut+ (, , ) Aut(, , )
= D4
En el borde, donde podemos asumir (e1 ) = (e2 ) = 1, obtenemos la matriz de
Rieman del toro C/h1, iiZ , es decir, 1 = i = 2 .
174 CAPTULO 16. MATRICES DE RIEMANN DISCRETAS
e1
e2
e2* e2
e1*
e1
Figura 16.2
la cual se puede obtener de la base real harmnica anterior. Uno puede tambin calcularla
directamente como sigue. Como 1 , 2 H 1,0 () tenemos las ecuaciones de Cauchy-
Riemann
j = ij , j = 1, 2.
Usando estas ecuaciones podemos ver lo siguiente :
Z Z Z
(e1 ) 1 = 1 = i 1 = i
e
1
e1 e1
de donde Z
1 = im1
e1
B
Z Z Z
0= (e2 ) 1 = 1 = i 1
e
2
e2 e2
16.7. EJEMPLOS EN GNERO 1 175
de donde Z
1 = 0
B1
Z Z Z
(e1 ) 2 = 2 = i 2 = 0
e
1
e1 e1
de donde Z
2 = 0
e1
B
Z Z Z
1
= (e2 ) 2 = 2 = i 2
m2
e
2
e2 e2
de donde Z
i
2 =
m2
B1
Luego,
R
A1 e1
B e1
A B1
1 1 im1 0 0
i
2 0 0 1
m2
16.7.2. Una descomposicin triangular. Consideremos (ver Figura 16.3) una su-
perficie de gnero g = 1 y la estructura de superficie de Riemann discreta
(, , )
donde
0 = {x1 , x2 }, 1 = {e1 , e2 , e3 , e4 , e5 , e6 }, 2 = {F1 , F2 , F3 , F4 }
0 = {F1 , F2 , F3 , F4 }, 1 = {e1 , e2 , e3 , e4 , e5 , e6 }, 2 = {x1 , x2 }
1
(ej ) = = mj > 0, j = 1, 2, 3, 4, 5, 6.
(ej )
Procedamos a buscar las formas reales harmnicas en C 1 (). Sea C 1 () tal que
Z
= aj , j = 1, ..., 6
ej
Z
= bj , j = 1, ..., 6
e
j
Entonces Z
bj
= , j = 1, ..., 6
mj
ej
176 CAPTULO 16. MATRICES DE RIEMANN DISCRETAS
Z
= mj aj , j = 1, ..., 6
e
j
de donde
1 = Be1 , 2 = B1 , 3 = A1 , 4 = Ae1
e5
e3 e5*
e2
e3* e2*
e6 e6
e6* e6*
e4* e1*
e1
e4
e5 *
e5
Figura 16.3
R
A1 e1
A B1 B1
1 = Be1 1 0 0 0
2 = B1 0 1 0 0
3 = A1 0 0 1 0
4 = Ae1 0 0 0 1
De esta manera,
1 a5 = 1, b1 + b4 + b6 = 0, b5 b3 b4 = 0, a6 = 0
2 a5 = 0, b1 + b4 + b6 = 1, b5 b3 b4 = 0, a6 = 0
3 a5 = 0, b1 + b4 + b6 = 0, b5 b3 b4 = 1, a6 = 0
4 a5 = 0, b1 + b4 + b6 = 0, b5 b3 b4 = 0, a6 = 1
y como consecuencia
m3 + m4
e1 , e2 7
m1 + m2 + m3 + m4
m1 + m2
e3 , e4 7
1 = m 1 + m2 + m3 + m4
e 5
7 1
e
7 0
6
ej 7 0
178 CAPTULO 16. MATRICES DE RIEMANN DISCRETAS
m1 (m3 m5 + m2 (m3 + m4 + m5 ))
e1 7
T
m2 (m4 m5 + m1 (m3 + m4 + m5 ))
e2 7
T
m3 (m4 (m2 + m5 ) + m1 (m4 + m5 ))
e3 7
T
2 = m4 (m1 m3 + m3 m5 + m2 (m3 + m5 ))
e 4
7
T
m1 m3 m5 + m2 m4 m5
e 5
7
T
m6 ((m3 + m4 )m5 + m1 (m3 + m4 + m5 ) + m2 (m3 + m4 + m5 ))
e
7
6
T
ej 7 0
m1 (m2 m4 + m3 (m4 + m6 ) + m4 m6 )
e1 7
T
m2 (m1 m3 + m3 (m4 + m6 ) + m4 m6 )
e2 7
T
m3 (m1 (m2 + m6 ) + m2 (m4 + m6 ))
e3 7
T
3 = m4 (m1 (m2 + m3 + m6 ) + m2 m6 )
e 4
7
T
m 5 (m 3 m 4 + m1 (m2 + m3 + m6 ) + m2 (m4 + m6 ) + m3 m6 + m4 m6 )
e
5
7
T
m6 (m1 m3 m2 m4 )
e6 7
T
ej 7 0
m1 + m4
e2 , e3 7
m1 + m2 + m3 + m4
m2 + m3
e1 , e4 7
4 = m 1 + m2 + m3 + m4
e 5
7 0
e
7 1
6
ej 7 0
donde
!2
P6 R
mj 1 0
j=1
ej
!2
A=
P6 R
0 1
2
j=1 mj
e
j
! !
P6 1
R R
0 j=1 mj 2 3
e e
B= D= t
P ! ! j j
6 R R
j=1 mj 1 4 0
ej ej
!2
P6 R
1
3 0
j=1 mj
e
C = j
!2
P6 R
0 mj 4
j=1
ej
P6 R R
1 2 3
j=1 mj
e e
i 2
j
j
2
P 6 1
R
3
P6 1
R
3
j=1 mj j=1 mj
1 e e
= C (iI2 B) = j j
P6 R R
m j 1 4
j=1
ej ej
2 i 2
P R P6 R
6
j=1 mj 4 j=1 mj 4
ej ej
! !
P6 R R
j=1 mj 1 4
ej ej i
2 = !2 + !2 H1
P6 R P6 R
j=1 mj 4 j=1 mj 4
ej ej
Ya que
180 CAPTULO 16. MATRICES DE RIEMANN DISCRETAS
2
6
X Z
mj 4
j=1 ej
||
m3 m4 + m3 m6 + m4 m6 + m1 (m2 + m3 + m6 ) + m2 (m4 + m6 )
m1 + m2 + m3 + m4
y
6
X Z Z
mj 1 4
j=1 ej ej
||
m2 m4 (m2 + m4 ) + m21 (m3 + m4 ) m1 (m2 (m3 2m4 ) + m3 (m3 + 2m4 ))
(m1 + m2 + m3 + m4 )2
tenemos que
Re(2 )
||
(m2 m4 (m2 + m4 ) + m21 (m3
+ m4 ) m1 (m2 (m3 2m4 ) + m3 (m3 + 2m4 )))
(m1 + m2 + m3 + m4 )(m3 m4 + m3 m6 + m4 m6 + m1 (m2 + m3 + m6 ) + m2 (m4 + m6 ))
y
Im(2 )
||
m1 + m2 + m3 + m4
m3 m4 + m3 m6 + m4 m6 + m1 (m2 + m3 + m6 ) + m2 (m4 + m6 )
En este caso,
T (, ) = (0, +)5
Aut()
||
ha(e1 , e2 , e3 , e4 , e5 , e6 ) = (e2 , e3 , e4 , e1 , e6 , e5 ), b(e1 , e2 , e3 , e4 , e5 , e6 ) = (e2 , e1 , e4 , e3 , e5 , e6 )i
= D4
+
Aut () = hai = Z4
Aut+
0 () = Aut0 () = {I}
K = K + = {I}
Aut()
M od(, ) =
16.8. MATRICES DE RIEMANN DISCRETAS Y AUTOMORFISMOS 181
||
1 1 2 5 4 2 1 1 4 5
hA(1 , 2 , 3 , 4 , 5 ) = , , , , , B(1 , 2 , 3 , 4 , 5 ) = , , , , i
3 3 3 3 3 3 3 3 3 3
M od+ (, ) = hAi
= Z4
1 , ...., 4g .
1 , ..., 2g
es decir,
Z
k = jk , j, k = 1, ..., 2g.
j
Z 1
..
= .
2g
(2g+1 4g )
Notacin : f (jf ) = j .
P : T (, ) H2g : 7
tal que para cada t M od+ (, ) existe At Sp4g (Z) de manera que
P t = At P
Ms an, el ncleo del homomorfismo
t M od+ (, ) At Sp4g (Z)
16.9. PROBLEMAS DE TORELLI Y SCHOTTKY 183
Observacin 16.9.1. En general, lo que uno puede hacer es considerar un mapa dual
y luego considerar la unin de ellos y los puntos de interseccin de los ejes de con
los ejes de ser nuevos vrtices.
Ahora, si tenemos una mtrica para , entonces definimos la siguiente mtrica b para
b
.
b 1 es parte de un eje e 1 , entonces definimos b(b
1. Si eb e) = (e)/2.
b 1 es un eje que conecta a un vrtice que est en el interior de una cara de
2. Si eb
con el punto interior a un eje e 1 , entonces definimos b(b
e) = 1/(2(e)).
v3
v2
T2
T1
T3
v v1
T6
T4 T5
v4
v6
v5
del reloj), que tienen a v en su borde (ver Figura 17.1). Supongamos que los vrtices de
Tj son, ordenados de manera cclica y opuesta a las manecillas del reloj, v, vj y vj+1 (ver
Figura 17.1).
0, j=1
j = ,
P
j1
k , j {2, ..., n}
k=1
n
X
= k .
k=1
Sean
U : C C : z 7 e2/ z
y
Rj : C C : z 7 z 2i/j , j = 1, ..., n.
Sea Tbj C, para cada j = 1, ..., n, el tringulo Euclidiano planar cuyos vrtices
son, ordenados de manera opuesta a las manecillas del reloj, dados por 0, kv vj k y
kv vj+1 keij , y sea Lj : Tj Tbj la isometra Euclidiana definida por Lj (v) = 0,
Lj (vj ) = kv vj k y Lj (vj+1 ) = kv vj+1 keij .
Se define la carta local
v : v C
por la regla
v (p) = Rj U Lj (p), p Tj .
17.2. ESTRUCTURAS DE SUPERFICIES DE RIEMANN EN SUPERFICIES SIMPLICIALES 187
v3
v2
T2
T1
T3
v v1
T4
v4
v5
por la regla
v (p) = Rj U Lj (p), p Tj .
Ejercicio 75. Verificar que las cartas anteriores definen una estructura de superficie
de Riemann compacta (con posible borde) sobre . Ms an, la restriccin de cada Lj
al interior de Tj es tambin una carta local para tal estructura.
E:F R
ZZ
1
E(f ) = |df |2ds dA, f F
2
donde dA denota el elemento de rea asociadao a ds.
Como cada eje del smplice es de medida de Lebesgue 0 y tenemos, por la compa-
cidad, slo una cantidad finita de tringulos en el smplice, digamos
T1 , ..., Tn
obtenemos que
n ZZ
1X
E(f ) = |df |2ds dA
2 j=1
Tj
Por otro lado, ya que sobre el interior de Tj vale que
(Rj U ) Lj = vj1
donde vj1 es uno de los vrtices de Tj , y (Rj U ) es complejo analtico en el interior de
Tbj , vemos que (Tj , Lj ) es carta local para la estructura de superficie de Riemann dada.
De esta manera,
n ZZ
1X
E(f ) = |dfj |2dsj dAj
2 j=1
bj
T
17.4. FUNCIONES PL-HARMNICAS 189
Supongamos que los tringulos del smplice son T1 ,..., Tn , y que los vrtices de Tj
son vj1 , vj2 y vj3 , enumerados de manera opuesta a las manecillas del reloj, y suponiendo
que el ngulo interior de Tj respecto al vrtice vjk es jk (0, /2).
Si f FP L es fcil ver que
ZZ ZZ 2 2 !
1 2 1 fj fj
|df |ds dA = + dxdy
2 2 x y
Tj bj
T
||
1
cot(j3 )(f (vj1 ) f (vj2 ))2 + cot(j1 )(f (vj2 ) f (vj3 ))2 + cot(j2 )(f (vj1 ) f (vj3 ))2
4
190 CAPTULO 17. ESTRUCTURAS CLSICAS VERSUS ESTRUCTURAS DISCRETAS
[1] Ambrosetti, A. and Rabinowitz, P. Dual Variational Methods in Critical Point Theory
and Applications. J. Functional Analysis 14 (1973), 349-381.
[2] Baker, Matthew and Rumely, Robert. Harmonic analysis on metrized graphs. Canad.
J. Math. 59 (2007), no. 2, 225-275.
[3] Baker, Matthew and Faber, Xander. Metrized graphs, Laplacian operators, and elec-
trical networks. Quantum graphs and their applications, 1533, Contemp. Math. 415,
Amer. Math. Soc., Providence, RI, 2006.
[4] Bers, L. Riemann Surfaces. Courant Institute of Mathematical Sciences. New York
University, New York, 1958.
[5] Brezis, H. and Niremberg, L. Remarks on Finding Critical Points. Comm. Pure Appl.
Math. 44 (1991), 939-963.
[7] Derose, A., Duchamp, T., Certain, A. and Stuetzle, W. Hierarchical computation of
pl harmonic embeddings. Preprint 1997.
[8] Duffin, R.J. Basic properties of discrete analytic functions. Duke Math. J. 23 (1956),
335-363.
[9] Evans, G., Blackledge, J. and Yardley, P. Numerical Methods for Partial Differential
Equations. Springer-Verlag, 2000.
[10] Favre, Charles and Jonsson, Mattias. The valuative tree. Lecture Notes in Mathema-
tics, 1853. Springer-Verlag, Berlin, 2004. xiv+234 pp. ISBN : 3-540-22984-1
[11] Gilbart, D. and Trudinger, N. Elliptic Partial Equations of Second Order. Springer,
2nd Edition, 2001.
[12] Girault, V. and Raviart, P.A. Finite Element Methods for Navier-Stokes Equations.
Theory and Algorithms. Springer-Verlag, 1986.
192 REFERENCIAS
[13] Gockenbach, M.S. Partial Differential Equations. Analytical and Numerical Me-
thods. SIAM, 2002.
[14] Gu, Xianfeng, Wang, Yalin and Yau, Shin-Tung. Computing conformal invariants :
Period matrices. Communications in Information and Systems. 3 No. 3 (2004), 153-
170.
[16] Hidalgo, R.A. Zeros of semilinear systems with applications to nonlinear partial
difference equations on graphs. Preprint UTFSM (2007). To appear in Journal of
Difference Equations and Applications.
[20] Mercat, C. Holomorphie discrte et modle dIsing. Ph.D. Thesis, Universit Louis
Pasteur, Strasbourg, France, 1998.
[21] Mercat, C. Discrete Riemann surfaces and the Ising Model. Commun. Math. Phys.
218 (2001), 177-216.
[23] Michell, A.R. and Griffiths, D.F. The Finite Difference Method in Partial Differential
Equations. John Wiley & Sons, 1980.
[24] Neuberger, John M. Nonlinear Elliptic Partial Difference Equations on Graphs. Ex-
perimental Mathematics 15 (2006), 91-107.
[25] Smith, G.D. Numerical Solution of Partial Differential Equations : Finite Difference
Methods (3rd ed.). Oxford University Press. 1985.
ISBN XXXXXXXXXX