Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Discreta PDF
Discreta PDF
UTFSM
INTRODUCCIN
A LAS ESTRUCTURAS DE
SUPERFICIES DE RIEMANN
DISCRETAS
Rubn A. Hidalgo
Mauricio Godoy
Departamento de Matemtica
Universidad Tcnica Federico Santa Mara
Rubn A. Hidalgo
Mauricio Godoy
Rubn A. Hidalgo
Departamento de Matemtica, Universidad Tcnica Federico Santa Mara, Valparaso,
Chile.
E-mail : ruben.hidalgo@usm.cl
Url : http://docencia.mat.utfsm.cl/~rhidalgo
Mauricio Godoy
Departamento de Matemtica, Universidad Tcnica Federico Santa Mara, Valparaso,
Chile.
Palabras claves. Grafos, Grafos mtricos, Operador de Laplace, Funciones harmnicas, Ecuaciones diferenciales parciales discretas, Homologa, Cohomologa, Funciones
analticas discretas, Superficies de Riemann discretas, Diferenciales analticas discretas.
Este trabajo fue parcialmente financiado por Fondecyt 1070271 y UTFSM 12.05.21 y un
Sabtico de la Universidad Tcnica Federico Santa Mara durante el ao 2006.
INTRODUCCIN
INTRODUCCIN
INTRODUCCIN
xi
tanto en la tsis de doctorado de Christian Mercat como de algunos de sus artculos sobre
matrices de periodos.
Queremos, finalmente, dar nuestros agradecimientos a Sasha Mednykh y Elas Tuma
por sus comentarios, sugerencias e ideas inspiradoras durante algunas discusiones en
partes de estas notas, sin las cuales estas probablemente no seran una realidad.
Rubn A. Hidalgo
Mauricio Godoy M.
TABLA DE MATERIAS
Introduccin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
Parte I. Grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1. Grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.1. Grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Subgrafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Caminos en (multi)grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4. Grafos conexos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.5. Vrtices vecinos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6. Grado de un vrtice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.7. Grafos isomorfos y automorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.8. Matrices de adyacencia y valencia. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.9. Representacin de grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.10. Mapas y sus automorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.11. Teorema de Kuratowski. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.12. Grafos dirigidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.13. Grafos Eulerianos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.14. Grafos Hamiltoneanos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.15. Coloracin de grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.16. Grafos bipartitos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.17. Funciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.18. Derivacin en grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.19. Campo de vectores. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3
3
4
4
4
5
5
6
7
8
9
10
11
14
18
20
22
23
24
24
2. Grafos Mtricos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1. Mtricas discretas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Grafos mtricos isomorfos y automorfismos. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Matriz de adyacencia mtrica y de valencia mtrica . . . . . . . . . . . . . . . . . . . . . .
2.4. Derivadas direccionales de funciones. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.5. Campos de vectores y derivacin en grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.6. Operador discreto de Laplace 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
27
28
28
28
29
29
xiv
TABLA DE MATERIAS
30
32
33
37
45
45
56
57
60
4. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.1. Ecuaciones discretas tipo Matukuma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Ecuacin discreta de ondas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3. Ecuacin discreta del calor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4. Otra ecuacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5. La ecuacin de Helmholtz en grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.6. La ecuacin de Navier-Stokes en grafos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
61
61
62
62
63
64
67
5. Aplicaciones Numricas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.1. Un ejemplo 1-dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2. Grafos planares adecuados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3. Un ejemplo 2-dimensional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4. Caso de anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.5. Dominios no acotados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
71
71
74
75
79
81
87
87
88
88
89
89
89
91
91
92
93
93
94
94
95
TABLA DE MATERIAS
xv
xvi
TABLA DE MATERIAS
PARTE I
GRAFOS
CAPTULO 1
GRAFOS
y ejes a
f
^
El grafo K
n,m (respectivamente, Kn ) es aquel que se obtiene de Kn,m (respectivamente, Kn ) agregando un lazo en cada vrtice.
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.
fn y que todo grafo
Ejercicio 1. Ver que todo grafo finito es un subgrafo de algn K
simple finito es subgrafo de algn Kn .
1.3. Caminos en (multi)grafos
Consideremos un grafo (multigrafo) G = (V, E). Un camino en G que conecta los
vrtices u, v V es una unin de ejes
= {u, w2 } {w2 , w3 } {wr2 , wr1 } {wr1 , v}
donde
u = w1 , w2 , ..., wr1 , wr = v V
Ejercicio 3.
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.)
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|
1.7. Grafos isomorfos y automorfismos
Dos grafos, digamos Gj = (Vj , Ej ), donde j = 1, 2, son llamados isomorfos si existe
una biyeccin h : V1 V2 entre los coonjuntos de vrtices de manera que {v, w} E1
si y slo si {h(v), h(w)} E2 . Diremos que h es unisomorfismo entre los grafos y
generalmente uno habla de un isomorfismo h : G1 G2 .
Un automorfismo del grafo G es un isomorfismo de G consigo mismo.
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 }, ...}
7. Si G y H son grafos isomorfos y G es un grafo d-regular, entonces H es tambin un
grafo d-regular.
8. Si n es impar, ver que todos los subgrafos (n 2)-regulares de Kn son isomorfos
a Kn1 .
9. Encontrar un subgrafo 2-regular de K4 que no es isomorfo a K3 .
1, {vi , vj } E
0, caso contrario.
A = [aij ]mm
es llamada la matriz de adyacencia del grafo G.
Si definimos
bij =
La matriz cuadrada
i 6= j
a
,
i
=j
ik
k=1
0,
Pm
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 }. Considermos 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
m
X
bik akj
k=1
k1
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.
CAPTULO 1. GRAFOS
Teorema 1.9.1. Todo grafo, con una cantidad numerable de vrtices y cantidad numerable 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
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}
10
CAPTULO 1. GRAFOS
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.
11
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 simplemente 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
1.12. Grafos dirigidos
Un grafo dirigido es un grafos sobre el cual dotamos de una direccin a cada uno de
sus ejes (tambin decimos que hemos escogido una orientacin en cada eje). La direccin
en el eje {v, w} selecciona a uno de los vrtices como vrtice de partida y al otro como
vrtice de llegada ; denotamos esto por el smbolo (v, w) si v es el vrtice de partida.
En algunas ocasiones podemos considerar un eje con ambas posibles direcciones (por
ejemplo, comunicacin bidireccional). En este caso hablamos de multigrafos dirigidos.
Ejemplo 3 (Redes de transporte). Supongamos que tenemos una coleccin de paradas de buses. Podemos considerar un (multi)grafo dirigido como sigue. Los vrtices son
las paradas y dos paradas, digamos v1 y v2 , son unidas por un eje dirigido desde v1 a
v2 si existe un bus que parte desde la parada v1 y su iguiente parada es v2 . Un problema
interesante a estudiar es si existe una manera de pasar por todas la paradas una sola vez
y volver a la parada de partida. Este tipo de problemas lo veremos ms adelante cuando
estudiemos grafos Hamiltoneanos.
Ejemplo 4. Otro ejemplo de (multi)grafos dirigidos es en el estudio de comunicaciones. Los vrtices pueden ser considerados como estaciones de comunicacin y dos
estaciones, digamos v1 y v2 , son unidas por un eje dirigido desde v1 a v2 si la estacin
v1 puede enviar un mensaje a la estacin v2 .
12
CAPTULO 1. GRAFOS
0, caso contrario.
La matriz cuadrada
A = [aij ]mm
4. q Q es un estado inicial ; y
13
Observacin 1.12.2. No todo lenguaje puede ser tratado por medio de autmatas finitos. 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 informtica 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
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 circuito 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 podemos 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 lleguemos a un vrtice w 6= v1 , podemos continuar por un eje diferente a los usados anteriormente (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 exctamente 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.
17
v1
v3
v2
v4
v5
v6
v7
v8
v9
v10
Figura 1.5
Figura 1.6
18
CAPTULO 1. GRAFOS
v1
v4
v2
v3
v7
v8
v5
v6
Figura 1.7
19
Figura 1.8
componentes. De manera inductiva se puede verificar que el subgrafo H{w1 ,...,wr } tiene a
lo ms r componentes.
Ejemplo 7. Consideremos el grafo de la Figura 1.8. Si tomamos W = {a, b}, entonces el subgrafo determinado como en el Teorema 1.14.1 consiste de 3 > |W | componentes conexas ; luego no puede ser Hamiltoneano.
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.
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.
Demonstracin. Sea |V | = m 3. Supongamos por el contrario que G no es Hamiltoneano. Podemos ver G como un subgrafo propio del grafo completo Km (propio ya
que Km es Hamiltoneano). Consideramos el subgrafo ms grande de Km que contenga
a G que no sea Hamiltoneano (es decir, al agregar un eje ms este queda Hamiltonenao)
b Luego,
y que tiene los mismos vrtices que G. Llamemos a este nuevo subgrafo como G.
b
b
G G Kn y G =
6 Km .
Si v1 , v2 son dos vrtices de Gb que no son vecinos, entonces ellos no son vecinos
tampoco en G ; luego gradGb(v1 ) + gradGb(v2 ) gradG (v1 ) + gradG (v2 ) m.
Si agregamos el eje {v1 , v2 }, entonces obtenemos un gafo Hamiltoneano (por la maxib En particular, existe un camino Hamiltoneano (camino simple que contiene
malidad de G).
a todos los vrtices), digamos
= {v1 = u1 , u2 } {u2 , u3 } {um1 , um = v2 }
20
CAPTULO 1. GRAFOS
una contradiccin.
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.
Teorema 1.14.4. 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 | 1, entonces G tiene un
camino Hamiltoneano.
Demonstracin. La demostracin es similar a la demostracin del Teorema 1.13.3
21
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.
1.15.1. Coloracin de grafos. Sea G = (V, E) un (multi)grafo y K un conjunto de
cardinalidad k 2. Una coloracin por K de G es dada por una funcin f : V K, de
modo que si {v, w} E, entonces f (v) 6= f (w). En otras palabras, si cada elemento de
K representa un color diferente, entonces una coloracin por K consiste en dotar de un
color a cada vrtice de manera que vrtices vecinos no tengan el mismo color.
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 colores.
22
CAPTULO 1. GRAFOS
Ejemplo 8. En la UTFSM se quiere realizar un horario para las distintas asignaturas que se imparten semestralmente. Algunas de tales asignaturas pueden interesar al
mismo tipo de alumnos. Se deben, luego, programar estas asignaturas de manera que
no coincidan las horas asignadas a tales asignaturas. Es por esto que se quiere conocer
el mnimo de horas (semanales) necesarias para impartir las enseanzas de tales. Para
esto, primero consideramos el grafo cuyos vrtices consisten de las asignaturas a dictar
en el semestre. Si dos asignaturas tienen estudiantes comunes, entonces conectamos por
un eje tales vrtices. So pensamos que cada color que se le puede asignar a un vrtice
corresponde a un bloque de horas a la semana, lo que necesitamos es buscar el nmero
mnimo de colores para colorear tal grafo.
Teorema 1.16.1. Un (multi)grafo finito sin lazos es bipartito s y slo si no tiene ciclos
de longitud impar.
Demonstracin. Es claro que podemos asumir que no tenemos multiejes, es decir,
podemos asumir que el grafo es simple. Tampoco es problema asumir que tal grafo es
conexo.
Si tenemos que el grafo es bipartito, como cada eje conecta dos vrtices de diferente
color y slo usamos dos colors, entonces es claro que todo ciclo debe tener longitud par.
1.17. FUNCIONES
23
Veamos el recproco. Usemos inducin en la cardinalidad N de ejes. Si N = 0, entonces tal grafo consiste de slo un vrtice y trivialmente admite una coloracin con dos
colores. Supongamos que el resultado es vlido para grafos con N < M ejes.
Consideremos un grafo simple conexo G = (V, E) con M ejes y de manera que no
contiene ciclos de longitud impar. Tomemos un eje cualquiera e = {u, v} E.
Supongamos que al quitar el eje e (pero no los vrtices) el grafo queda disconexo,
digamos dado por los grafos G 1 = (V 1 , E 1 ) y G 2 = (V 2 , E 2 ), donde u V 1 y v
V 2 . Es claro que ambos grafos nuevos tienen menos que M ejes, luego, por la hiptesis
inductiva, podemos colorear cada uno de ellos con dos colores diferentes (usamos los
mismos dos colores para ambos). Adems podemos asumir que los vrtices u y v tienen
colores diferentes. Esta coloracin produce una coloracin por dos colores en el grafo G.
Supongamos ahora que al quitar el eje e (pero no los vrtices) el grafo sigue siendo
un grafo conexo, digamos H = (H0 , H1 ), donde H0 = V y H1 = E {e}. Usando la
hiptesis inductiva, existe una coloracin
f : H0 {0, 1}.
Consideremos un camino simple en H que conecta u con v, digamos
1 = {u, v1 } {vs , v},
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.
Observacin 1.16.2. La teora de grafos permite studiar problemas en informtica relacionados con la eficiencia de algoritmos. La idea es analizar el costo en trminos de
tiempo y espacio (memoria) de los mtodos utilizados. Este estudio es muy importante,
no slo por razones de economa sino que en ocasiones puede ser vital, al crecer los
problemas propuestos los tiempos de realizacin o las necesidades de espacio en memoria pueden hacer impracticable una determinada tarea. Respecto a esto, existen problemas
que son intratables de modo prctico ; llamados problemas con complejidad NP (tiempo
polinomial no deterministicas). Las mquinas de Turing no dterministicas son una generalizacin de los autmatas finitos, pero mucho ms rpidas y econmicas. Problemas del
tipo NP son, por ejemplo, determinar si un grafo dado es Hamiltoneano o ver la posibilidad de colorear un grafo por un nmero dado de colores.
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.
Observemos que cuando el grafo es finito se tiene que C 0 (G) = L2 (G).
Ejercicio 25. Sea G = (V, E) un grafo finito y V = {v1 , ..., vn }. Construir un isomorfismo entre (L2 (G), < , >) y el espacio Euclidiano En = (Rn , < , >0 ) (donde
< , >0 denota el producto punto usual en Rn ).
1.18. Derivacin en grafos
Una derivacin en un grafo G = (V, E) es un operador lineal D : C 0 (G) C 0 (G).
Denotamos por R (G) el lgebra real de derivacions sobre G.
1.19. Campo de vectores
Un campo de vectores de un grafo G = (V, E) es una funcin
X:V V
de manera que
X(v) N (v) {v},
donde N (v) denota al conjunto de los vrtices vecinos de v. Aquellos vtrices v donde
X(v) = v son llamados los vrtices crticos de X.
Ejercicio 26. Sea G = (V, E) un grafo. Sea X un campo de vectores en G. Una
solucin del campo X es una coleccin (finita o infinita) ordenada de vrtices
v1 , v2 , ..... V
tal que
X(vj ) = vj+1 ,
j = 1, 2, 3, ...
25
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
En este captulo definiremos el concepto de derivadas direccionales de funciones definidas en los vrtices de grafos y, en particular, el concepto del operador de Laplace
discreto 2 el cual es un ejemplo de derivacin. Esto permitir definir el concepto de
funciones harmnicas discretas. Tambin se describirn, en le caso de grafos finitos, el
principio del mximo y mnimo, el problema de Dirichlet y el problema de Newmann.
r1
X
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, verificar 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
La matriz cuadrada
Ak = [akij ]mm
es llamada la matriz de adyacencia mtrica de grado k del grafo mtrico (G, d).
Si definimos
bkij
La matriz cuadrada
0,
Pm
k
r=1 air ,
i 6= j
i=j.
Bk = [bkij ]mm
es llamada la matriz de valencia mtrica de grado k del grafo mtrico (G, d).
Ejercicio 28. Verificar que k y la matriz de adyacencia mtrica de grado k determina el grafo mtrico mdulo isomorfismo. Observar que A0 y B0 son exactamente las
matrices de adyacencia y valencia del grafo.
29
2 (v) =
wN (v)
(v) (w)
=
d2 ({v, w})
2
w
(x)
wN (v)
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 .
Demonstracin. Sea C 0 (G). Entonces,
X
h, 2 i =
(v)2 (v) =
vV
vV
(v)
X X
wN (v)
vV wN (v)
(v) (w)
d({v, w})2
(v)2 (v)(w)
d({v, w})2
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
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 }
de C 0 (G).
definido por
c2 (x1 , ..., xm ) =
m
X
j=1
m
X
j=1
wmj (xm xj )
4. Concluir que
31
x1
.
c2 (x1 , ..., xm ) = (B2 A2 )
..
xm
x1
X
.
wij (xi xj )2 .
[x1 xm ]J2 .. =
1i<jm
xm
(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 escribamos (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 )
J2 = t U V
32
x1
a1
. .
.. ..
Ir
0
xr ar
=
t
J12 J22 xr+1 0
.. ..
. .
xm
0
2.8. Derivaciones inducidas por campos de vectores
Consideremos un grafo mtrico (G, d) y un campo de vectores X : V V , donde
G = (V, E). Tal campo de vectores permite definir una derivacin en G como
DX : C 0 (G) C 0 (G) ,
0,
Luego,
=v
6= v .
0,
Luego, el operador discreto de Laplace es
X X
2
.
DX
2 =
v,w
vV wN (v)
donde
DX
d({v, w})k
v,w
0,
=v
6= v .
=v
6= v .
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 .
Teorema 2.9.2 (Principio del Mximo y Mnimo). Sea (G, d) un grafo mtrico finito 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.
Demonstracin. Como el grafo es finito, entonces V es finito, la existencia de un
mximo y de un mnimo es dada por el Lema anterior. Sea v V un mximo local para
, es decir, (v) (w) para todo w N (v). Luego, como (v) (w), la nica
manera de tener la igualdad
0 = 2 (v) =
wN (v)
(v) (w)
d2 ({v, w})
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
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.
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
(v) (w)
{v,w}E
d({v, w})
P
2 = InfimoC(0) {0}
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 ortogonales 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})
P
h, 2 i =
.
2
vV (v)
As, si es vector propio asociado al valor propio j , entonces
2
P
(v) (w)
{v,w}E
d({v, w})
P
j =
.
2
vV (v)
P
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
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
{vi , vj }
/ E y wij = d({vi , vj })2 en caso que {vi , vj } E.
1. Verificar la igualdad
m
X
k = 2
k=1
wij = Traza(B2 ),
1i<jm
2
m1
2
m1
wij =
Traza(B2 )
m1
wij =
Traza(B2 )
.
m1
1i<jm
1i<jm
3. Verificar
2 =
Traza(B2 )
Traza(B2 )
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
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
2 f (v1 ) = 3a + b + c + d
2 f (v2 ) = 3b + a + c + d
2 f (v3 ) = 3c + a + b + d
2 f (v4 ) = 3d + a + b + c
37
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
Demonstracin.
(w) = aw ,
wW .
38
(v1 )
..
x=
.
(vm )
y suponiendo que
J2 = B2 A2 =
R
t
U
U
T
x1
a1
. .
.. ..
I
0 xr ar
=
.
t
U T xr+1 b1
.. ..
. .
xm
bmr
Como T es invertible, por el Lema 2.10.1, ,el problema lineal anterior tiene solucin y
dems es nica.
1
+
2
1imr 1jr
w(r+i)j (xi aj )2 +
mr
X
39
bvr+j xj
j=1
1jmr
w(r+k)(r+j) (xk xj ) +
n+1jm
= (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 finito 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 desconecta 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 }
Z = {v1 , ..., vm+1 }
W = {v1 , ..., vm }
Supongamos que (vj ) = v (j) , para j = 1, ..., m, donde
: {1, ..., m} {m + 2, ..., n}.
Sean A2 y B2 las matrices de adyacencia y valencia mtrica de grado 2 del grafo G.
Identificamos cada funcin : V R con el vector
(v1 )
..
x=
.
.
(vn )
40
L1
L2
|{z}
|{z}
mm
m1
t
L4
L2
|{z}
|{z}
J2 = B2 A2 =
11
1m
t
t
L5
L3
|{z}
|{z}
(nm1)m
L3
|{z}
m(nm1)
L5
|{z}
1(nm1)
L6
|{z}
(nm1)(nm1)
(nm1)1
a1
.
..
a
M
m
0 x = b .
0
L6
..
.
0
Im
0
t
L3
0
1
t
L5
a1
..
Im
0
M
am
0
1
0 x = am+1 = b .
am+2
0 LL5 LL5
..
.
an
Queremos ver que la matriz
111
LL5
01(nm1)
LL6
J2 = B2 A2 =
LL5
LL6
El Lema 2.10.1 ahora asegura que la matriz LL6 es invertibe, como queramos.
41
PARTE II
ECUACIONES PARCIALES EN
DIFERENCIAS SOBRE GRAFOS
CAPTULO 3
ECUACIONES PARCIALES EN DIFERENCIAS
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.
D() = f ()
46
(2)
donde
x1
x = ...
xm
f (x1 )
..
f (x) =
.
.
f (xm )
entonces
f ((v)) = 0 .
vG0
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.
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
vemos que
x
x1
m Zj
1
.. X
f (t) dt
Hf (x1 , ..., xm ) = [x1 xm ]J .
2
j=1 0
xm
f (x1 )
x1
x1
.
.
..
Hf .. = J ..
.
f (xm )
xm
xm
k+
and
lim kH(x(k) )k = 0.
k+
48
k+
and
k+
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
a
a1
m Zj
1
.. X
f (t) dt
[a1 am ]J . <
2
j=1 0
am
Si consideramos
Z
m
t2 X
Lf (t) := Hf (t, 0, ..., 0) =
w1j f (s) ds,
2 j=2
t
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+
Teorema 3.1.7. Sea (G, d) un grafo simple, conexo y finito, D una derivacin simtrica 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).
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,
f (t) = p|t|
p1
Zt
f (s) ds =
|t|p+1
.
p+1
Veamos un par de ejemplos. Consideremos primero el grafo completo K2 cuyos vrtices 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 =
0
w12 + w23
w12
0
w12 + w13
w12
J = J2 =
.
w12
w12 + w23
En esta situacin, tenemos que
1
1
x1
= w12 (x1 x2 )2
Hf
|x1 |p+1 + |x2 |p+1 .
x2
2
p+1
Es claro que
Hf
Adems tenemos que
G(x) = Hf
x
x
0
0
=0.
= 2w12 x2
2
|x|p+1 .
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
0
A2 = w12
w13
w12
0
w23
w13
w23
0
w12 + w13
, B2 =
0
0
w12
w12 + w23
w23
x1
Hf x2
w12 + w13
J = J2 =
w12
w13
0
w12 + w23
0
w13
w23
w13 + w23
0
w13 + w23
x3
||
1
1
w12 (x1 x2 )2 + w13 (x1 x3 )2 + w23 (x2 x3 )2
|x1 |p+1 + |x2 |p+1 + |x3 |p+1
2
p+1
Si tomamos p = 2, w12 = 1 = w23 , w13 = 2, entonces el nico punto crtico (real) de
Hf es (0, 0, 0), es decir, la ecuacin (1) (con D = 2 ), en este caso particular, no tiene
ms que la solucin trivial.
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).
El Teorema 3.1.7 slo da la existencia de soluciones no triviales, pero no dice si existen
soluciones positivas y/o negativas. Ahora analizaremos la existencia de tales soluciones
bajo ciertas restricciones en f .
Dada una funcin de clase C 1 , digamos H : Rm R, se define la variedad de Nehari
asociada a H como
X
H
xj
(x) = 0 ,
SH = {x Rm {0} : hH(x), xi = 0} = x Rm {0} :
xj
j=1
SH F 1 (0) .
51
Si tenemos que
F
(x) = 0, k = 1, ..., m,
xk
entonces, en particular tendremos que
m
m
m
m
X
X
X
X
F
2H
H
0=
xk
xj
(x) =
xk
(x) +
xk
(x)
xk
xk
xk xj
j=1
k=1
k=1
k=1
equivalentemente
x1
H
m
X
x1
.
[x1 xm ]Hess(H)(x) .. = 0 .
xm
x1
0
f (x2 ) 0
.
.
.
0
0
0
..
.
0
0
..
.
f (xm )
x1
x1
m
. X 2
.
xj f (xj ) .
[x1 xm ]Hess(H)(x) .. = [x1 xm ]J ..
j=1
xm
xm
52
f (t)
,
t
t 6= 0
x1
x1
m
m
X
X
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
t 6= 0.
x
x1
m Zj
1
.. X
f (t) dt
Hf (x1 , ..., xm ) = [x1 xm ]J .
2
j=1 0
xm
x1
x1
f (x1 )
..
Hf ... = J ...
.
xm
xm
f (xm )
vemos que
SHf
x1
xj f (xj ) .
= x Rm {0} : [x1 xm ]J ... =
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 }.
53
Demonstracin. La igualdad es consecuencia del hecho que M es una matriz simtrica. Por otro lado,
x1
m m
.. X X +
+
+
xk xj mkj 0
[x1 xm ]M . =
k=1 j=1
x
m
+
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 satisface 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 simtrica positiva semi-definida y f : R R de clase C 1 tal que
f (0) = 0,
f (t)
= +,
t t
f (0) < 0,
lim
f (t) >
f (t)
, t 6= 0.
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
t
xJx =
m
X
j=1
xj f (xj )
54
donde
f (tx1 )
..
F (tx) =
.
.
f (txm )
Queremos ver la existencia de un nico cero de Q. Ya que t 6= 0, basta con ver que hay
un nico cero de la funcin T : (0, +) R por
T (t) = hHf (tx), xi = tt xJx t xF (tx) = t x(J(tx) F (tx)) .
Ya que t xJ(tx) = tt xJx 0 crece de manera lineal con t y, por otro lado, la condicin
f (t)
= +,
lim
t t
dice que t xF (tx) ( 0 para t suficientemente grande) crece de manera ms rpida, vemos
que
lim T (t) =
t+
y como
lim T (t) = 0
t0
m
X
x2j f (txj ) =
j=1
1
t2
La condicin
f (t) >
f (t)
,
t
(tx)Hess(Hf )(tx)(tx) .
t 6= 0,
1X
xj f (txj ) .
t j=1
55
m
m
X
X
1
1 t
t
(xj )f (xj )
R () = T () < xJx
xj f (xj ) = 2 (x)J(x)
=0
j=1
j=1
|
{z
}
= 0 ya que x SHf
Esto nos dice que cada punto crtico de R es un mximo local, de donde obtenemos
que hay slo un punto crtico > 0 de R siendo este un mximo global para la funcin
Hf (tx). Esto mismo concluye Parte (iii).
56
fe(t) =
f (t), t > 0
f (t),
t0
f (t),
t>0
f (t), t 0 .
La funciones fb y fe satisfacen las condiciones del Teorema, luego tenemos que los
problemas D() = fb() y D() = fe() tienen soluciones positivas y negativas.
La solucin negativa del problema D() = fb() es tambin solucin negativa de
D() = f () y la solucin positiva del problema D() = fe() es tambin solucin
positiva de D() = f ().
D() = F (v, )
57
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
X
j=1
x2j < }
58
< x, y >=
xj yj ,
j=1
(4)
(5)
fj (0) = 0, fj (0) < 0, lim
= +, fj (t) dt x2j
t
t
0
para todo x = (x1 , ....) l2 , entonces la ecuacin (4) tiene soluciones no triviales.
Demonstracin. Consideremos la funcin real
xj
(6)
Z
X
1t
fj (t) dt.
HQ : l2 R : x 7 xQx
2
j=1
0
(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, exisf (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
t
|HQ (x) HQ (y)|
xQx yQy +
fj (t) dt K(R)kx yk
2
j=1 xj
59
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 numerable, digamos V = {v1 , ....}, D R (G) una derivacin simtrica y positiva semidefinida 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
(t)
j
(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 numerable, digamos V = {v1 , ....}, D R (G) una derivacin simtrica y positiva semidefinida 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
(t)
j
(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 descritas en la Observacin 3.3.6.
60
.
2
2
d ({v0 , vj })
d ({v0 , vj })
j=1
j=1
(vj )
0, se tiene necesariamente que (vj ) = 0 for j = 1, ..., m.
d2 ({v0 , vj })
Ahora, usando la conectividad del grafo obtenemos que 0.
Como
CAPTULO 4
EJEMPLOS
En este captulo mostraremos ejemplos de ecuaciones parciales en diferencias que provienen de algunas ecuaciones diferenciales parciales clsicas. Para esto, fijaremos una
mtrica d sobre un grafo simple, conexo y finito G = (V, E).
4.1. Ecuaciones discretas tipo Matukuma
En ciertas aplicaciones de organizacin de estrellas se utilizan ecuaciones diferenciales
parciales del tipo
+ f (|x|)p = 0
donde p > 1 y f : (0, +) (0, +), llamadas ecuaciones del tipo Matukuma.
Sea (G, d) un grafo mtrico conexo y finito. Un modelo discreto de tal tipo de ecuaciones es el siguiente (el signo - es debido a que nuestro operador discreto de Laplace
es el negativo del usual)
(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
62
CAPTULO 4. EJEMPLOS
utt = + f (, t) .
x1 (t)
..
x(t) =
.
.
xm (t)
la parte lineal del sistema anterior puede ser diagonalizado, as si f = 0, entonces este
sistema se puede resolver de manera simple.
4.3. Ecuacin discreta del calor
La ecuacin del calor modela la distribucin de la temperatura en una regin y tiene
la forma
(13)
t = + f (, t) .
63
x1 (t)
..
x(t) =
.
.
xm (t)
As, si f = 0, entonces
x(t) = eJ2 t x0
a1
x0 = ... .
am
p
(x) + (x) = 0, x
n (x) = f (x),
W = {v1 , ..., vr }
p
j = r + 1, ..., m
2 (vj ) + (vj ) = 0,
(14)
J2 =
L=
R
U
I
U
M
V
U
V
64
CAPTULO 4. EJEMPLOS
x1
f (x1 )
.
..
..
.
x f (x )
r
r
L
.
=
xr+1 xpr+1
..
..
.
.
p
xm
xm
Si
x1
x = ... ,
y=
xr
y1
..
.
ymr
x + My
de donde vemos que
Ux + V y
p
,y =
y1p
..
.
p
ymr
= a
= yp
x = a My
y
y p + (U M V )y U a = 0 .
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 .
Por ejemplo, si U a = 0, entonces x = a, y = 0, en cuyo caso u(vj ) = aj para
j = 1, .., r y u(vk ) = 0 para k = r + 1, ..., m.
65
4.5.1. Situacin clsica. Sea Rn un dominio y h : R una funcin (generalmente con soporte compacto). La ecuacin clsica de Helmholtz es dada por
= k 2 + h
(15)
(16)
= k 2 + h,
= f,
(17)
2 (v)
(w) ((w))
=
=
k 2 (v) + av , v V W
bw ,
wW
66
CAPTULO 4. EJEMPLOS
a = t [a1 amn ]
(vj ) =
xj ,
j = 1, ..., n
yjn , j = n + 1, ..., m .
Con las notaciones anteriores, la ecuacin (17) puede escribirse matricialmente como
(18)
In
C
M
D
x
y
b
2
k y+a
(19)
x = b M y
(D CM k 2 In )y = a Cb .
Observacin 4.5.2. Lo anterior puede ser adaptado al caso que V es infinito numerable y W es finito sin mayores problemas.
67
+
t
= p + 2 + f
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
n
X
j
=0
=
x
j
j=1
(21)
68
CAPTULO 4. EJEMPLOS
Fijemos tambin una mtrica d : E (0, +) para as poder definir derivadas direccionales 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 elecciones de las funciones j y de su orden.
Consideremos ahora funciones :
, p : V R R
ambas derivables respecto a la variable real, y
f : V R Rn : (v, t) 7 (f1 (v, t), ..., fn (v, t))
continua en la variable real.
El problema adaptado de Navier-Stokes consiste en buscar soluciones
: V R Rn : (v, t) 7 (1 (v, t), ..., n (v, t))
derivables en la variable real de la ecuacin de Navier-Stokes discreta
(23)
donde
+ (vj , t) n (vj , t)
||
n p(vj , t) + 2 (vj , t) + f (vj , t),
j = 1, ...., n,
(vj , t)
t (vj , t)
n := ( n 1 , ..., n n )
2 := (2 1 , ..., 2 n ) .
k
]
f k := t [f1k fm
k
k := t [1k m
]
k
Lk = [lij
],
k = 1, ..., n,
69
, i=j
d({v
,
i vk (i) })
k
1
lij =
, k (i) = j
d({vi , vk (i) })
0,
caso contrario
Sk =
M =
1k
0
..
.
0
0
2k
..
.
1
0
..
.
0
0
2
..
.
0
..
.
0
..
.
..
.
0
0
0
0
..
..
.
.
0 m
0
0
..
.
k
m
k = 1, ..., n .
(24)
n
X
l=1
Sl Ll k = M 1 Lk p M 1 J2 k + M 1 f k ,
k = 1, ..., n.
(25)
n
X
Lk k = 0 .
k=1
Observacin 4.6.2. El tipo de ecuaciones que hemos obtenido es un sistema de ecuaciones diferenciales ordinarias con restricciones del tipo algebraico
x = F (x)
(26)
E(x) = 0 .
Ejemplo 19. Sea el grafo completo K2 , V = {v1 , v2 }, w = 1/d({v1 , v2 }) > 0,
n = 1, 1 (1) = 2 y 1 (2) = 1. En este caso, 1 (t) = (v1 , t), 2 (t) = (v2 , t),
w w
= J2
L1 =
w w
S1 =
1
0
0
2
70
CAPTULO 4. EJEMPLOS
1 0
M=
0 2
La condicin algebraica (25) nos asegura que
1 = 2 .
Luego, la ecuacin (24) queda dada por
=
11
0
0
1
2
1
1
w
w
1
0
w
w
+
es decir
0
1
1
1
0
p1
p2
w
w
0
1
2
w
w
{z
0
1
1
0
1
2
f1
f2
1
1
}
|
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
w2
w2
w2
w2
{z
0
1
1
}
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).
5.1. Un ejemplo 1-dimensional
Consideremos la ecuacin de difusin dada por la siguiente ecuacin parablica
t
(0, t)
(x, 0)
(27)
= xx ,
= (1, t) =
= f (x),
t > 0, x (0, 1)
0, t > 0
x (0, 1)
j = 1, ..., n 1,
1
,
d2j
j = 1, ..., n 1.
En este caso, la ecuacin (27) queda adaptada al grafo mrtico anterior como
72
t (vj , t) =
(v1 , t) =
(vj , 0) =
(28)
2 (vj , t),
(vn , t)
=
f (vj ),
x1 (t)
..
x(t) =
xn (t)
donde
xj (t) = (vj , t),
j = 1, ..., n,
(29)
x 1
..
. = [t J12 L J23 ]
x n
x1
..
.
xn
x1 = xn = 0
x2 (0) = f (v2 ), ..., xn1 (0) = f (vn1 )
J11
J2 = t J12
J13
J12
L
t
J23
J13
J23
J33
L=
w1 + w2
w2
0
..
.
w2
w2 + w3
w3
..
.
0
w3
w3 + w4
..
.
0
0
w4
..
.
0
0
0
0
0
0
0
0
0
0
0
..
..
.
.
0
0
0
0
0
..
.
0
0
0
..
.
wn3 + wn2
wn2
wn2
wn2 + wn1
(30)
cuya solucin es
(31)
x n1
= L
x2
..
.
xn1
x1 (t) = xn (t) = 0
x2 (0) = f (v2 ), ..., xn1 (0) = f (vn1 )
x 2
..
.
73
x2 (t)
f (v2 )
..
..
= eLt
.
.
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 definida.
5.1.2. Caso divisin homognea. Si consideramos la eleccin de manera que dj =
1/n, es decir, vj = (j 1)/(n 1), entonces wj = (n 1)2 y el espectro de L es dado
por
r
2
1 , r = 1, ..., n 2.
r,n = 2(n 1) cos
n1
Como
cos(x) 1
1
lim
=
,
2
x0
x
2
se puede ver que
lim r,n = r2 2
Ahora, recordemos que cuando resolvemos el problema (27) por medio de separacin
de variables, obtenemos que la solucin es dada por
(x, t) =
Cr er
2 t
sin(rx),
r=1
Cr sin(rx).
r=1
Todo lo anterior asegura que las soluciones obtenidas en (31) aproximan la solucin
clsica.
74
rv
X
(v) (vj )
j=1
d({v, vj })2
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
lim
rv
X
(v) (vj )
d2j,v
j=1
||
r
r
rv
v
v
2
2
2
X
X
X
1
(v)
(v)
(v)
.
a2j,v
+
+2
b2j,v
aj,v bj,v
2
2
2
x
y
xy
j=1
j=1
j=1
j=1
(P2)
rv
X
aj,v bj,v = 0.
j=1
2
D 2
a2j,v =
v
X
nv
b2j,v .
=
2
j=1
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
75
(32)
t
(x, t)
(x, 0)
= ,
= 0,
= f (x),
t > 0, x
t > 0, x
x
5.3.1. Aproximacin discreta usando grafos reticulares. Consideramos un reticulado planar L = (VL , EL ), es decir, un grafo infinito que se obtiene al considerar una
coleccin de rectas paralelas a los ejes coordenados ; los vrtices son los puntos de interseccin de tales rectas y los ejes son los arcos de tales rectas determinados por tales
puntos (ver Figura 5.1).
76
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
(33)
(vj , 0) =
f (vj ),
j {n + 1, ..., m}
x1 (t)
..
x(t) =
.
xm (t)
77
donde
xj (t) = (vj , t),
j = 1, ..., m,
(34)
x1
x n+1
.
..
. = [R S] ..
xm
x m
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
J2 =
U
R
R
S
(35)
xn+1
x n+1
.
..
. = S ..
xm
x m
x1 (t) = = xn (t) = 0
xn+1 (0) = f (vn+1 ), ..., xm (0) = f (vm )
(36)
xn+1 (t)
f (vn+1 )
..
..
= eSt
.
.
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 definida.
5.3.2. Aproximacin discreta usando grafos hexagonales. Un hexgonoen el
plano es una traslacin
0), P2 = (c/2, c3/2),
del hexgono con vrtices P1 = (0,
P3 = (a c/2, c 3/2), P4 = (a, 0), P5 = (a b/2, b 3/2) y P6 = (b/2, b 3/2),
donde a, b, c > 0 (ver Figura 5.2).
78
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 teselacin 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
(37)
t (vj , t) =
(vj , t) =
(vj , 0) =
4
3 2 (vj , t),
0,
f (vj ),
Ahora se puede proceder como en el caso reticular, excepto que ahora debemos usar la
matriz 31 J2 en vez de J2 .
79
(38)
f,
g, 0 1
(39)
2 (vj ) =
(vj )
=
f (vj ),
g (vj ),
j {n + 1, ..., m}
j {1, ..., n}
80
g (v1 )
..
a=
,
.
g (vn )
f (vn+1 )
..
b=
.
f (vm )
Como consecuencia del Lema 2.10.1, S es invertible (de hecho positiva definida). Entonces, la solucin del problema (39) tiene la forma
(v1 )
..
= a
.
(vn )
(vn+1 )
..
1
= S (Ra b)
(vm )
(40)
2 (vj ) =
(vj )
=
3
4 f (vj ),
g (vj ),
j {n + 1, ..., m}
j {1, ..., n}
81
(41)
= f,
= g, 0
Ya que las traslaciones son funciones harmnicas, podemos asumir sin prdida de generalidad que 0 0 .
5.5.1. Proceso de simetrizacin.
5.5.1.1. Una simetrizacin. Tomemos > 0 de manera que
0 D = {(x, y) R2 : x2 + y 2 < },
y sea
2 x
2 y
R(x, y) =
,
x2 + y 2 x2 + y 2
la refleccin en S = D . Definamos los conjuntos
= R(0 )
0 = D ,
1 = R(0 ),
= S 0 1 .
Consideremos las funciones
f : R
g : 0 R
definidas por
f (x, y) =
y
f (x, y),
(x, y) S 0
4
f (R(x, y)),
(x2 + y 2 )2
g (x, y) =
g(x, y),
(x, y) R(0 )
(x, y) 0
82
(42)
=
=
f ,
g , 0
5.5.1.2. Una posible aproximacin. Supongamos que existe una solucin al problema de Dirichlet (41). Entonces podemos definir la nueva funcin
: R
definida por
(x, y) =
(x, y),
(x, y) S 0
para 1 y exigir que la restriccin al dominio 0n de la solucin simetrizada correspondiente a n+1 coincida con la restriccin al mismo dominio de la solucin simetrizada del
proble correspondient a n .
Para el proceso de discretizacin de este tipo de dominios anulares simtricos, conviene
usar como grafos aquellos reticulares que se forman con rectas por el origen y crculos
concentricos en el origen (aqui conviene tener uno de tales cculos igual al crculo de
reflexin).
5.5.2. Reduccin a un dominio acotado. Identifiquemos el plano R2 con el plano
complejo C. Sean U = {z C : |z| < 1}, U = U {0}, S 1 = {z C : |z| = 1} y
U = U S 1 . Consideremos una aplicacin de Riemann
: U
83
La aplicacin de Riemann es nica mdulo composicin a la derecha por una rotacin R(z) = ei z. Como es una curva de Jordan (la cual es localmente arcoconexa),
por el Teorema de extensin de Cartheodory, podemos extender continuamente a un
homeomorfismo
: U S1
y podemos reescribir (41) en U S 1 como
(43)
=
(z) =
F (z), z U
g((z)), z S 1
(44)
=
(z) =
F (z), z U
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
HOMOLOGA Y COHOMOLOGA EN GRAFOS
rj vj ,
j=1
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 denotaremos por C1 (G, R). Un miembro de C1 (G, R), llamado una 1-cadena singular, es de la
forma
n
X
rj (vj1 , vj2 ),
e=
j=1
donde rj R y vj1 , vj2 son vrtices de G que se conectan por un eje {vj1 , vj2 } E.
88
: C1 (G, R) C0 (G, R)
n
X
j=1
rj (vj1 , vj2 ) =
n
X
j=1
rj (vj2 vj1 )
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
H0 (G, R) = C0 (G, R)/Im()
n
n
X
X
nj f (vj )
f
nj vj =
j=1
j=1
n
n
X
X
nj g(ej )
nj e j =
g
j=1
j=1
Ejercicio 39. Ver que todo elemento de C 0 (G, R) est nicamente determinada por
su restriccin a V .
89
n
n
X
X
nj (f (vj2 ) f (vj1 ))
df
nj (vj1 , vj2 ) =
j=1
j=1
Las 1-formas que estn en la imagen del operador d son llamadas 1-formas exactas.
6.5. Cohomologa de grafos
Se puede definir el primer grupo de cohomologa del grafo G con coeficientes en el
anillo R al grupo Abeliano
H 1 (G, R) = C 1 (G, R)/Im(d)
y el cero grupo de cohomologa del grafo G con coeficientes en el anillo R al grupo
Abeliano
H 0 (G, R) = Ker(d)
Ejercicio 40. Calcular los grupos de cohomologa del grafo Kn .
g df =
n
X
j=1
nj
(vj1 ,vj2 )
g df =
n
X
nj g
j=1
vj1 + vj2
2
(f (vj2 ) f (vj1 ))
CAPTULO 7
HOMOLOGA Y COHOMOLOGA EN MAPAS
Los elementos de Ck (G, R) son, al igual que antes, llamados las k-cadenas singulares.
92
e2
e3
e4
e1
e1e2e3+e4e5
e5
Figura 7.1
ne e
eG1
donde
ne 1G (e)
eG1
1 (x1 , x2 ) = x2 x1
Ejercicio 42. Ver que la definicin de 1G no depende de la orientacin escogida y
que es un homomorfismo entre R-mdulos.
Sea F G2 , entonces (ver Figura 7.1)
2G (F )
n
X
(1)j ej
j=1
donde
j =
De manera general,
2G
F G2
nF F
F G2
nF 2G (F )
93
Proposicin 7.2.1.
1G 2G = 0
Demonstracin. Tarea (Ind. Trabajar slo con una cara).
Ker(1G )
Im(2G )
94
7.5. Dualidades
7.5.1. k=0.
(f,
r
X
j=1
C 0 (G, R) C0 (G, R) R
nj vj ) 7 hf,
r
X
j=1
nj vj i :=
r
X
nj f (vj )
j=1
7.5.2. k=1.
(,
r
X
j=1
C 1 (G, R) C1 (G, R) R
nj ej ) 7 h,
r
X
j=1
nj ej i :=
r
X
nj (vj ) :=
j=1
r
X
nj
r
X
nj
j=1
ej
7.5.3. k=2.
(,
r
X
j=1
C 2 (G, R) C2 (G, R) R
nj Fj ) 7 h,
r
X
j=1
nj Fj i :=
r
X
nj (Fj ) :=
j=1
j=1
ZZ
Fj
G
dGk () = (k+1
(w))
7.6.1. k=0.
dG0 : C 0 (G, R) C 1 (G, R)
dG0 (f ) = f 1G
Pr
j=1
dG0 (f ) =
nj (xj ,yj )
r
r
r
r
X
X
X
X
nj (f (yj )f (xj ))
nj f (yj xj ) =
nj f (1G (xj , yj )) =
nj (xj , yj )) =
dG0 (f )(
j=1
j=1
j=1
j=1
95
7.6.2. k=1.
dG1 : C 1 (G, R) C 2 (G, R)
dG1 () = 2G
Pr
ZZ
j=1
r
X
dG1 ()(
nj Fj ) =
r
X
dG1 () =
nj Fj
nj dG1 ()(Fj ) =
j=1
j=1
j=1
Si
2G (Fj )
r
X
sj
X
nj
ZZ
dG1 ()
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
sj Z
ZZ
X
dG1 () =
s=1e
s,j
Fj
Proposicin 7.6.1.
dG1 dG0 = 0
Demonstracin. Como
dG1 () = 2G
tenemos que
dG0 (f ) = f 2G
dG1 (dG0 (f )) = d1 (f 1G ) = f 1G 2G
Ker(dG1 )
Im(dG0 )
PARTE IV
ESTRUCTURAS DE SUPERFICIES DE
RIEMANN DISCRETAS
CAPTULO 8
ALGUNAS DESCOMPOSICIONES CELULARES
IMPORTANTES
100
F1*
F2
v3
*
F5*
F4*
F3 *
v5
v4
Figura 8.1
Ejercicio 45. Verificar que la descomposicin celular dual es nica mdulo homotopa 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
101
Diremos que los elementos de 0 son los vrtices de , que los elementos de 1 son
los ejes de y que los elementos de 2 son las caras de .
8.3.2. Superficies con borde. Supongamos que tenemos descomposiciones duales
y para (d , ). Entonces el dual = es invariante por .
8.4. El celular diamante
8.4.1. Superficies sin borde. Consideremos una descomposicin celular dual
para . El celular diamante es definido de manera que sus vrtices es dado por
0 = 0 0
y sus ejes 1 es definido como sigue. Por cada x 0 tenemos una cara Fx 2
que lo contiene en su interior. El borde de Fx contiene a los vrtices x1 , ..., xn 0 .
Entonces, consideramos n arcos simples (dos a dos disjuntos aparte de x) cada uno de
ellos conectando x con uno de los vrtices xj (ver Figura 8.2).
En el caso de una superficie con borde (d , ) consideramos que la descomposicin
celular diamante sea invariante por .
8.4.2. Superficies con borde. Supongamos que tenemos descomposiciones duales
y para (d , ). Entonces el celular diamante asociado se puede escoger ser tambin
invariante por .
102
x2
x3
x1
xn
Figura 8.2
CAPTULO 9
SUPERFICIES DE RIEMANN DISCRETAS
Ejercicio 47. Sea una descomposicin celular de , una descomposicin celular dual y : 1 (0, +) una funcin cualquiera. Verifique que existe una extensin
(que es nica) de a 1 de manera que obtenemos una estructura de superficie de Riemann discreta (, , ).
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
d(e )
,
d(e)
e 1
e 1
e 1
obtenemos que d = .
Consideremos dos mtricas discretas, d1 y d2 , para (, ) ambas definiendo la misma
estructura de superficie de Riemann discreta, es decir, d1 = d2 . Luego, por la definicin
debemos tener que
d2 (e )
d1 (e )
=
e 1 .
d1 (e)
d2 (e)
Definamos
: 1 (0, +)
(e) =
d1 (e)
,
d2 (e)
e 1
105
Ejemplo 21. Consideremos una superficie orientada con una estructura de superficie 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 manera 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.
Ejemplo 22. Consideremos el plano complejo C y la descomposicin celular cuyos
vrtices son los puntos de Z[i], es decir, de la forma a + bi, con a, b Z y los ejes son de
la forma {z + ti : t [0, 1]}, {z + t : t [0, 1]}, con z Z[i]. Como descomposicin
dual consideramos = (1 + i)/2 + . Usemos en este caso 1. Obtenemos as
una estructura de superficie de Riemann discreta para C dada por (, , ).
CAPTULO 10
ESPACIOS DE MODULI
108
109
f ) = M(, ), pero
Si M od(, ) = M od+ (, ), entonces es claro que M(,
f ) = M(, )/Z2 , donde Z2 es
si [M od(, ) : M od+ (, )] = 2, entonces M(,
generado por un automorfismo de orden dos del espacio de mduli M(, ).
Observacin 10.3.1. En el caso de una superficie con borde (d , ) y (, ) desf ) como el espacio de
composiciones duales para (d , ), entonces podemos ver M(,
moduli de la superficie con borde .
{ M od+ (, ) : () = }
= Aut+ (, , )/Aut+
0 (, , )
donde Aut+
0 (, , ) es el subgrupo normal) de Aut (, , ) consistiendo de aquellos
automorfismos de dejan invariante (pero pueden reverstir la orientacin) cada e 1 .
110
e1
x1
e2
F2
x1
e1
e3
e2
e3
e2
e2
F1
e1
x1
e1
x1
Figura 10.1
donde Aut+
0 (, , ) es el subgrupo normal) de Aut (, , ) consistiendo de aquellos
111
K = K + = hbi
= Z2
M od(, ) = hA(1 , 2 ) = (
1 2
, )i = Z2
1 1
M od+ (, ) = {I}
M(, ) = (0, +)2
f ) = (0, +)2 /hA(1 , 2 ) = ( 1 , 2 )i
M(,
= (0, 1] (0, +)
1 1
f ) corresponde al caso en que tenemos tal que
El borde de M(,
(e1 ) = (e2 )
CAPTULO 11
FUNCIONES ANALTICAS DISCRETAS
114
x1
x3
x5
x4
Figura 11.1
x2
y1 = y2
y2 = y3
x1
x3
y1 = y5
y3 = y4
y5
=
x4
x5
y4
Figura 11.2
yj
ej *
ej
x
xj
yj
Figura 11.3
f (b
yj ) f (yj ) = i({x, xj })(f (xj ) f (x)),
j = 1, ..., n,
115
de manera equivalente
(yj ,b
yj )
df = i({x, xj })
df,
j = 1, ..., n,
(x,xj )
Observacin 11.1.1. Sea d : 1 (0, +) una mtrica discreta para (, ). Hemos visto que la mtrica discreta d define una estructura de superficie de Riemann discreta
(, , d ), donde
d(e )
, e 1
d (e) =
d(e)
d(e)
, e 1
d (e ) =
d(e )
En este caso, la Ecuacin de Cauchy-Riemann discreta puede ser escrita como
(f (xj ) f (x))
f (b
yj ) f (yj )
=i
,
d({b
yj , yj })
d({x, xj })
j = 1, ..., n.
Ejercicio 49. Verificar que la suma y amplificacin por constantes complejas de funciones analticas discretas (respectivamente, anti-analticas discretas) es analtica discreta (respectivamente, anti-analticas discretas). Verificar que el producto de funciones
analticas discretas no siempre es analtica discreta.
116
11.5. DESCOMPOSICIN
117
Ahora, las ecuaciones de Cauchy-Riemann discretas nos aseguran que, para cada x
0 vale que
f (b
yj ) f (yj ) = i({x, xj })(f (xj ) f (x)),
j = 1, ..., n.
v(b
yj ) v(yj ) = ({x, xj })(u(xj ) u(x)),
j = 1, ..., n.
j = 1, ..., n.
11.5. Descomposicin
Sea f C 0 () una funcin analtica discreta. Si
u
b : 0 C : z 7 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
u(b
x) u
b(x)),
donde
u(x) =
u
b(x),
0,
x 0
x 0
0,
x 0
vb(x), x 0
Recprocamente, si tenemos funciones harmnicas discretas
v(x) =
satisfaciendo la igualdad
u
b : 0 C, vb : 0 C,
vb(b
y ) vb(y) = i({x, x
b})(b
u(b
x) u
b(x)),
u
b(x),
0,
0,
vb(x),
x 0
x 0
x 0
x 0
118
C
resulta
que
h
F : 0 C
0
es analtica discreta.
Observacin 11.6.3. Notemos que todo automorfismo conforme discreto de la Riemann discreta (, , ) es un isomorfismo analtico discreto. Similarmente, todo automorfismo anticonforme es un isomorfismo anti-analtico discreto.
a 0
119
a 0 {0}
CAPTULO 12
ESTRUCTURAS DISCRETAS EN EL PLANO DEFINIDOS POR
UN RETICULADO
1i
f (z + 1+i
2 ) f (z + 2 ) = i (f (z + 1) f (z))
1+i
1+i
f (z + 2 ) f (z + 2 ) = i (f (z + i) f (z))
1+i
f (z + 1i
2 ) f (z +
2 ) = i (f (z 1) f (z))
1i
f (z + 1i
2 ) f (z +
2 ) = i (f (z i) f (z))
122
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.
28 3i
/ (0, +)
26
una contradiccin.
1i
)=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
), z Z[i]
2
donde w0 = a. Las ecuaciones de Cauchy-Riemann discretas dan el siguiente sistema de
ecuaciones :
wz = F (z +
wz+i
wz1+i
z1
wz
=
=
=
=
wz + i(1 + 3z + 3z 2 )
wz+i + i(i 3z + 3iz 2)
wz1+i + i(1 + 3z 3z 2 )
wz1 + i(i 3z 3iz 2)
12.3. DESCOMPOSICIN
123
1i
.
2
Ahora, si escogemos de manera arbitraria a C, entonces definiendo
1i
=a
v
b
2
vb(w + i 1) vb(w + i) = i(b
u(z + i) u
b(z)),
w=z+
124
b = (..., b2 , b1 , b0 , b1 , b2 , ...) CZ
entonces la definicin
u
b(a,b) : Z[i] C
por
u
b(a,b) (n) = an ,
u
b(a,b) (n i) = bn ,
n Z
entonces, si
(a, b) =
e0,n = u
b(0,en ) ,
an (en , 0) + bn (0, en )
nZ
tenemos que
u
b(a,b) =
an en,0 + bn e0,n
nZ
f (z) dz =
f (z) dz =
f (x) + f (y)
(y x)
2
(x,y)
Pn
j=1
nj (xj1 ,xj2 )
f (z) dz =
n
X
j=1
nj
f (xj1 ) + f (xj2 )
2
(xj2 xj1 )
1i
1i
1+i
1+i
) + (z +
, z + 1) + (z + 1, z +
) + (z +
, z) C1 ()
2
2
2
2
125
z+(1+i)/2
z+1
z+(1i)/2
Figura 12.1
Luego,
Z
1i
1+i
f z+
i (f (z + 1) f (z))
2 f (z) dz = f z +
2
2
donde los arcos de integracin son escogidos en C1 () define una funcin analtica discreta.
nj (xj1 ,xj2 )
Zz
0
f dg
126
X
1 (n)
z
e =
z
n!
n=0
De hecho, uno puede definir, para |t| < 2, la funcin
X
1 (n) n
z t
ez,t =
n!
n=0
CAPTULO 13
DIFERENCIALES EN SUPERFICIES DE RIEMANN
DISCRETAS
Durante todo este captulo supondremos que tenemos una estructura de superficie de
Riemann discreta, digamos (, , ), sobre una superficie orientada , y su correspondiente doble . Consideramos una orientacin en los ejes e 1 y colocamos una orientacin 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.
k = 0, 1, 2.
k (u + v) = k (u) + k (v)
y2
y2
e*
e*
x1
x2
e
x1
x2
e
y1
y1
Figura 13.1
128
F2
x3
F2 *
e3
F1
x1
*
F1 e2
*
e2
e1
x2
e1*
Figura 13.2
donde u Ck (), v Ck ( ).
Ejercicio 57. Verificar que 1 2 = 0.
El primer grupo de homologa asociado al doble es definido como
H1 (, Z) =
Ker(1 )
Im(2 )
1 (e1 ) = x2 x1
1 (e2 ) = x3 x2
1 (e3 ) = x1 x3
H1 (, Z) = {0}
e2 *
*
F
129
F*
e2
*
e1
e1
x1
F
F*
F*
Figura 13.3
2 (x1 ) = e1 e3
2 (x2 ) = e2 e1
2 (x3 ) = e3 e2
Im( ) = he e , e e i
= Z2
2
1 (e1 ) = F1 F2
1 (e2 ) = F1 F2
1 (e3 ) = F1 F2
Ker( ) = he e , e e i
= Z2
1
H1 ( , Z) = {0}
H1 (, Z) = {0}
Ejemplo 29. Ahora consideremos = S 1 S 1 , es decir un toro. Podemos pensar en
como el cuadrado unitario donde los lados opuestos estn identificados. Consideremos
el mapa y su dual como se muestra en la figura 13.3.
En este caso 0 = {x1 }, 1 = {e1 , e2 }, 2 = {F }, 0 = {F }, 1 = {e1 , e2 } y
2 = {x1 }.
2 (F ) = 0 = Im(2 ) = {0}
130
H1 (, Z)
= Z4
Teorema 13.1.2. Sea (, , ) una estructura de superficie de Riemann discreta
sobre una superficie orientada que es cerrada de gnero g. Entonces
H1 (, Z)
= H1 ( , Z)
= Z2g
H1 (, Z)
= Z4g
Demonstracin. Como 1 es un grafo conexo, podemos considerar un arbol maximal
T 1 . Luego, cada vez que adicionamos un eje e 1 T a T obtenemos un cclo e
T e. Como tienen gnero g, podemos encontrar 2g ejes, digamos, e1 , .., e2g 1 T
tal que cada uno de ellos define un ciclo, digamos 1 , ..., 2g , donde j T ej . Ahora,
esos 2g cclos forman una base para H1 (, Z). Ms an, esos cclos se pueden reordenar
de manera que en la superficie valen las siguientes propiedades de interseccin de
caminos en homologa usual (1 i, j g) :
i j = 0
i+g j+g = 0
i j+g = ij
La demostracin para es similar. La ltima parte sale del hecho que H1 (, Z) =
H1 (, Z) H1 ( , Z).
131
k = 0, 1, 2.
d
k (u + v) = dk (u) + dk (v)
donde u C k () y v C k ( ).
Ker(d
1)
Im(d
0)
(,
r
X
j=1
nj ej ) 7=
r
X
j=1
nj
ej
132
obtenemos que H 1 (, Z)
= H1 (, Z). Una demostracin ms rigurosa ser dada ms
adelante.
k = 0, 1, 2,
Caso k = 1.
: C 1 () C 1 ()
Z
Z
= (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 = f (v ) = f (v)
(f )(v) =
v
133
= (e )(e)
Z
e
= (e)
Ejercicio 62. Verificar que el operador produce isomorfismos entre los siguientes
espacios vectoriales
: C k () C 2k ( )
: C k ( ) C 2k ()
d
0 f = id0 f
7 i
i : C 1 ( ) C 1 ()
C 1 () = C 1,0 () C 0,1 ()
134
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
13.4. Diferenciales analticas y anti-analticas discretas
Una 1-forma C 1 () es llamada analtica discreta si
= i
C 1,0 ()
d = 0
d = 0
Una 1-forma C 1 () es llamada anti-analtica discreta si
= i
C 0,1 ()
d = 0
d = 0
135
es decir,
df es diferencial analtica discreta f es funcin analtica discreta.
Teorema 13.4.2. Si H 1,0 () y
Z
R
e C1 (),
Z
e
i = i
Z
e
iR
ZZ
Z
d 6= 0 .
6= 0
v
136
v D2
137
l
X
(1)
((e
j ))
j=1
l
X
e
j
(ej )
j=1
df =
df =
(1)j ej
l
X
j=1
j=1
l
X
(1)
(e
j )
j=1
ej
df =
l
X
j=1
l
X
e
j
(1) (ej )
j=1
df =
ej
C 2 () C 1 () C 0 () 0
Proposicin 13.8.1.
d d = 0
Demonstracin. Basta analizar el caso
(d )2
C 2 () C 0 ()
Tenemos que
d d = ( d)( d) = d 2 d = d2 = 0
138
C 2 () C 1 () C 0 () 0
C 2 () C 1 () C 0 ()
0
Proposicin 13.8.2.
2 = dd + d d
Demonstracin.
dd + d d = d d d d = (d d + d d) = 2
PARTE V
En esta parte nos restringiremos al caso de estructuras de superficies de Riemann discretas sobre superficies orientadas y cerradas. Primero veremos el teorema de descomposicin de Hodge y calcularemos la dimensin del espacio de diferenciales holomorfas
analticas. Luego analizaremos el concepto de matrices de Riemann discretas.
CAPTULO 14
EL TEOREMA DE DESCOMPOSICIN DE HODGE
(, ) =
(e)
e1
(, ) =
X ZZ
F 2 F
Z
e
Z
,
, C 1 ()
ZZ
, C 2 ()
142
es
d : C k () C k1 ()
Demonstracin. Veamos el caso k = 1. Para cada x0 0 sea fx0 C 0 () definida
por
fx0 (x) = 0, si x 6= x0
fx0 (x0 ) = 1,
Es claro que la coleccin
{fx : x 0 }
define una base de C 0 (). Consideremos una orientacin en los ejes de y denotemos
por (x, y) al eje orientado de manera que x es la partida.
Sea f = fx0 y denotemos por x1 , ..., xn los vrtices vecinos de x0 . Escribamos
n
X
x0 =
(1)j ej
j=1
donde
j =
Para C 1 () tenemos
(df, ) =
({x, x
b})
(x,b
x)1
n
X
j=1
df
(x,b
x)
0, ej = (x0 , xj )
1, ej = (xj , x0 )
(x,b
x)1
(x,b
x)
({x, x
b})(f (b
x) f (x))
(x,b
x)
n
X
j=1
ej
ej
(f, d ) =
x0
x
0
n
X
j=1
n
X
(1)
j=1
j=1
e
j
ej
n
X
n
X
j=1
(1) (ej )
ZZ
d =
x
0
e
j
ej
143
Proposicin 14.2.1.
Ker(2 ) = Ker(d) Ker(d )
Demonstracin. Como 2 = dd + d d, es claro que
Ker(d) Ker(d ) < Ker(2 ).
Luego,
2 = 0 = dd + d d = 0 = dd = 0
= d Im(d ) Ker(d) = (Ker(d)) Ker(d) = {0}
= d = d = (d )2 = 0 = Ker(d )
Luego,
2 = 0 = dd + d d = 0 = d d = 0
= d Im(d) Ker(d ) = (Ker(d )) Ker(d ) = {0}
= d = 0 = Ker(d) = Ker(d) Ker(d )
144
Corolario 14.2.5.
C k () = {k-formas coexactas} {k-formas exactas} {k-formas harmonica}
14.2.1. 1-Formas harmnicas sobre . Supongamos que tenemos C 1 (). PoR
demos hacer la extensin trivial a , es decir, e = 0 para todo e 1 , para considerara C 1 (). Sabemos de lo anterior que C 1 () es harmnica s y slo
si d = d = 0. La condicin d = 0, en este caso, es equivalente a tener que
R
T = 0 para cadaRcara T 2 . La condicin d = 0 es equivalente a la condicin
P
wN (v) ({v, w}) {v,w} = 0 para cada v 0 . De esta manera, podemos hablar de
1-formas harmnicas en C 1 () :
C 1 ()es hamnica
R
= 0,
wN (v)
({v, w})
T 2
R
{v,w}
= 0, v 0
145
tenemos que
w2 = iw2
0 = d = i(dw2 dw1 )
dw1 = dw2 = 0
es decir
de donde concluimos que
w1 H 1,0 (),
w2 H 0,1 ()
Teorema 14.3.1.
Ker(2 ) = H 1,0 () H 0,1 ()
Si C 1 (), entonces la descomposicin
2 = d Im(d ),
3 Ker(2 )
de manera que
= 1 + 2 + 3
Recordemos que
H 1 (, C) = Ker(d)/Im(d)
Si Ker(d), entonces, como Ker(2 ) = Ker(d) Ker(d ), tenemos que
0 = d = d1 + d2 + d3 = d2 = 2 Ker(d)
146
es decir
Corolario 14.3.2.
H 1 (, C)
= Ker(2 ) = H 1,0 () H 0,1 ()
Ya habamos visto que la conjugacin
: H 1,0 () H 0,1 () : 7
es un isomorfismo entre espacios vectoriales reales. Tambin observamos que (de manera
no muy rigurosa)
H 1 (, Z)
=Z H1 (, Z)
=Z Z4g
luego, al tensorizar por C obtenemos el siguiente hecho.
Corolario 14.3.3.
Ker(2 )
= H 1 (, C)
= C4g
H 1,0 ()
= H 0,1 ()
= C2g
CAPTULO 15
CLCULO DE dimC H 1,0 () = 2g
Consideremos una superficie orientada cerrada de gnero g y (, , ) una estructura de superficie de Riemann discreta sobre . En este caso, los grafos y son finitos.
15.1. Existencia de diferenciales meromorfas
Teorema 15.1.1. Sea z1 , z2 0 , z1 6= z2 y C1 (, Z) un camino simple que
conecta z1 con z2 . Entonces, existen nicas , C 1 () tales que :
(i) , son reales y harmnicas en 0 {z1 , z2 } ;
(ii) = + i , = + i C 1,0 () son analticas en 0 {z1 , z2 } ;
(iii) Resz1 = Resz1 = 1, Resz2 = Resz2 = 1 ;
(iv) si C1 (, Z) es un camino cerrado tal que = , entonces
Z
Z
,
iR
(
b) = 0
h : 0 R : x 7 h(x) =
Zx
z1
(
b)
que es harmnica. Como en grafos finitos conexos las funciones harmnicas son las
constantes, tenemos que h es constante. Como h(z1 ) = 0, thenemos que h 0. Esto
nos dice que =
b.
148
0, x 0 {z1 , z2 }
2 f (x) =
f (z1 )
=
1,
f (z2 )
= 1.
Sea
e=
Es claro que
C 1 ()
C 1 ( )
df
0
C 1 ()
de
=0
d df C 2 ( )
C 2 ()
d
e=
0
C 2 ()
Sea x 0 , sus vrtices vecinos x1 , ..., xn y
n
X
(1)j ej ,
x =
j=1
donde
j =
Entonces,
ZZ
x
d
e=
e
=
n
X
0, ej = (x, xj )
1, ej = (xj , x)
(1)j
j=1
e
j
e
=
n
X
(1)j +1 (e
j )
j=1
e
j
e=
Z
Z
n
n
n
X
X
X
j
j
(1)j (ej )(f (xj )f (x)) = 2 f (x)
(1) (ej ) df =
e=
(1) (ej )
=
j=1
ej
j=1
ej
j=1
Luego,
En particular,
d
e(x ) = 2 f (x)
d
e(x ) = 0,
x 0 {z1 , z2 },
(1)j ej ,
z1 =
j=1
donde
j =
0, ej = (z1 , xj )
1, ej = (xj , z1 )
Sabemos que 1 = f (z1 ) f (xj ) y que para algn j0 tal desigualdad es estricta. Como
e
j
= i(ej )
ej
e = i
e = i(ej )
i(e
j )
e
=
e
j
e
j
ej
149
e=
Como para algn j0 sabemos que (f (xj0 ) f (z1 )) < 0, tenemos que
Z
e i(, 0)
z1
y, en particular,
1
2i
Resz1 e =
De esta manera
z1
=
es real y harmnica en 0 {z1 , z2 } tal que
a
<0
e =
2
e
a
= + i C 1,0 ()
es analtica en 0 {z1 , z2 } con Resz1 = 1. Como la suma de los residuos es cero,
tambin vale que Resz2 = 1.
Sea C1 (, Z) un camino cerrado (en este caso podra occurrir que 6= ).
Tenemos que C1 (, Z) bien C1 ( , Z). Al igual que antes, como
e = 0 sobre
C1 ( , Z), tenemos que, si e = (x, y) 1 , entonces
Z
= i(e)
e = i
Z
e
e
= i(e)
Z
e
e=
Si C1 (, Z), entonces
Z
Z
Z
Z
Z
=
e = df = 0
=
e + i e
150
x1
y1
y4
y2
x3
y3
y1
x0=z1
y3
y2
x4=z2
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
y3
x2
y1
x4=z2
y4
y2
y3
y1
y4
x1
x2
y4
y2
y3
x3
Figura 15.3. n = 4
151
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 }
2 g(v) = 0,
v G0 B
g(b
yj ) g(yj ) = 2, j = 1, ..., n 1
g(b
yj ) g(yj ) = 2,
g(b
y1 ) = 1.
Sea
e =
0
i dg
d e =
Definamos
e = e + i e =
C 1 ()
C 1 ( )
0
id dg
j = 2, ..., n
de = 0
C 2 ( )
C 2 ()
dg
i dg
C 1 ().
C 1 ()
C 1 ( )
C 2 ().
C 1,0 ().
donde
0, si F es vrtice inicial de ej
1, si F es vrtice final de ej
Sea wj el otro vrtice del eje ej . De esta manera,
Z
Z
ZZ
Z
r
r
X
X
j +1
j
e
e
e
(1)
(ej ) e =
(1)
=
d =
=
j =
= i
r
X
j=1
(ej )
(1)j e
j
j=1
dg = i
ej
r
X
j=1
j=1
e
j
152
ya que F
/ B.
Calculemos el residuo de e sobre el vrtice z1 . Supongamos que
r
X
(1)j ej ,
z1 =
j=1
donde
j =
Ya que
0, si z1 es vrtice inicial de ej
1, si z1 es vrtice final de ej
Z
e
j
z1
contiene al vrtice
y1 ,
e = i
tenemos que
Resz1 e =
dg
e
j
z1
e = 2i
Resz1 e = 2i
Si considerar
entonces
1 e
2i
1
e
2i
Sea C1 (, Z) camino cerrado tal que = .
Si C1 ( , Z), entonces, como = ,
Z
Z
1
=
dg = 0
2
=
Si =
Pk
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;
153
2.3.- si e , entonces
= 1.
({x, y})
zN (x) ({x, z})
Re
Z
A,B = 1
A,B iR
154
1
(1 + 2 ) .
2i
iR
=0
Observacin 15.2.2. La forma real harmnica Re (A,B ) satisface que para todo camino cerrado C1 (, Z) el valor
Z
Re (A,B )
155
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
0 w0 + 1 w1 + + 2g w2g
1
1
1
.. ..
..
. .
.
R
R
R
w
=
0
w
+
w
+
2g
1
2g
0
1
0
2g
2g
2g
j = 1, ..., 2g.
156
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)
{A1 , ..., Ag , B1 , ..., Bg } C1 ( , Z)
Tenemos que
Re
Tomando
l(k) =
tenemos que
wj = 1,
j = 1, ..., 4g.
k + 2g,
k 2g, k > 2g
Z
157
k 2g
wk iR
Re wk = I4g4g
j
Sean 1 , ..., 4g R y
w=
4g
X
j wj
j=1
Entonces,
Re w = j ,
j = 1, ..., 4g,
C 1 ( ,Z)
158
C1 ( ,Z)
{1 , ..., 2g } H 1,0 ()
Aj
j = 0 (r 6= j);
Ar
g+j = 0 (r 6= j);
Ar
j = 0;
g+j = 0.
Al
Al
0 = {F }, 1 = {e1 , e2 }, 2 = {x }
1
(e1 ) =
= m1 > 0
(e1 )
1
= m2 > 0
(e2 ) =
(e2 )
En este ejemplo C 1 () = Ker(2 ). En efecto, si {e1 , e2 , e1 , e2 } y C 1 (),
entonces
Z
Z
d d = ( ) d d = ( ) (d(x) d(x)) = 0
d d = d (x ) d (x ) = 0
Podemos considerar
{A1 = e1 , B1 = e1 }
{A1 = e2 , B1 = e2 }
e
2
159
e2
e1
*
e2
e1*
Figura 15.4
e2
Sea
=
En esta caso,
A1
= m1
= 2
e
1
m1
( + i ) H 1,0 ()
= C2
m1 1 i2
Z
= 1,
= im1 iR
B1
A1
1 + im2 2
m1 1 i2
B1
m1
=
m2
m2 2 + i1
m1 1 i2
i
=
m2
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
(aij R)
w2
ia21
1 + ia22
ia23
ia24
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.
e1
e1
a11 =
1
.
m1
1
.
m2
160
entonces
H 1,0 () = h1 , 2 i
R
A1
1
B1
im1
A1
0
B1
0
i
m2
CAPTULO 16
MATRICES DE RIEMANN DISCRETAS
162
Proposicin 16.1.2. Si {1 , ..., 4g } es una base del subespacio de las 1-formas diferenciales 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.
ej
e
j
= (ej )
e
j
= (ej )
(ya que e
j = ej )
ej
Ahora,
(df, ) =
=
m
X
j=1
m
X
j=1
m
X
(ej )
j=1
m
X
j=1
df
ej
ej
ej
f (xj1 ))(ej )
e
j
(f (xj2 ) f (xj1 ))
e
j
m
X
m
X
j=1
(ej )
e
j
j=1
m
X
j=1
m
X
j=1
df
e
j
f (yj1 ))
e
j
f (yj1 ))(ej )
(f (yj2 ) f (yj1 ))
ej
ej
163
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.
1
= mj > 0,
(ej )
j = 1, 2, 3, 4, 5, 6.
= aj ,
= bj , j = 1, ..., 6
e
j
ej
ej
bj
,
mj
e
j
= mj aj , j = 1, ..., 6
164
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)
Z
Z
Z
X
X
( , ) =
(e) =
(e) =
e1
(e)((e ))
XZ
e e
XZ
e e
Ejercicio 73.
2 = (1 , 2 )
1. Verificar que 2 1 = 1 2 .
e Z1 ( , Z) tal que
e = 0, pero que son homlogos en la superficie (decimos que
ellos son paralelos).
165
definiendo una base para H1 (, Z), luego una base de H1 (, Z). Supongamos que esta
base es una base cannica de homologa para H1 (, Z).
Se construyen cclos
e1 , ...., A
eg , B
e1 , ...., B
eg Z1 ( , Z)
A
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
ej . Esta es tambin una base cannica de homologa
paralelo a A
para H1 (, Z).
La coleccin de cclos
e1 , ...., A
eg , B
e1 , ...., B
eg , B1 , ...., Bg Z1 (, Z)
A1 , ...., Ag , A
j = Aj ,
j = 1, ..., g
ej ,
g+j = A
j = 1, ..., g
3g+j = Bj ,
j = 1, ..., g
ej ,
2g+j = B
j = 1, ..., g
0
0
J =
I
0
0
0
0
I
I
0
0
0
0
I
0
0
Por tal razn, decimos que la coleccin de cclos {j } es una base cannica de homologa para H1 (, Z).
Consideremos las formas reales harmnicas asociadas a los cclos j , digamos
1 , ..., 4g
Al definir las siguientes formas reales harmnicas, para j = 1, ..., 2g,
j
= 2g+j
2g+j = j
obtenemos que
Z
r = kr ,
k l = (k , l )
166
Z
Z
Z
Z
2g
X
1 2
2
(1 , 2 ) =
1
j=1
2g+j
2g+j
Demonstracin. Sea 1 , ..., 4g la base dual de diferenciales reales harmnicas discretas de la base de homologa cannica 1 ,..., 4g .
Ya que el espacio C 1 () es suma directa de diferenciales exactas, coexactas y harmnicas, cada forma cerrada es suma de una exacta con una harmnica. La proposicin
16.1.3 nos permite suponer que k es harmnica discreta. Ms an, basta con suponer
que k es real (consideramos por separado su parte real y su parte imaginaria). Con estas
restricciones, escribimos
Z
4g
X
k
k
aj j , aj = k R, k = 1, 2.
k =
j=1
Ahora,
(1 , 2 ) =
4g
4g X
X
j=1 k=1
a1j a2k (j , k )
4g
4g X
X
j=1 k=1
a1j a2k j k =
r , tenemos que
k
2g
X
j=1
Z
Z
Z
Z
2g
X
kk2 =
j=1
2g+j
2g+j
167
Z
Z
2g
X
2
kk = i
j=1
2g+j
2g+j
j = 1, ..., g
ej ,
g+j = A
j = 1, ..., g
3g+j = Bj ,
j = 1, ..., g
ej ,
2g+j = B
j = 1, ..., g
y sea {1 , ..., 4g } una base dual del subespacio de las 1-formas diferenciales harmnicas
reales. Denotemos la matriz de la Proposicin 16.1.2, respecto a esta base de diferenciales
como
A D
Q=
B C
cuyo coeficiente (k, l) es dado por
R
l ,
k = 1, ..., 2g
2g+k
R
(k , l ) =
l , k = 2g + 1, ..., 4g
k2g
A = A, t C = C, D = t B
C=
B=
A1
0
0
A2
C1
0
0
C2
0
B2
B1
0
168
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
Como 2 = 1, se tiene que []1 = []. Ahora, usando el hecho que
k l = (k , l )
se tiene que
J = Q[]
de donde se obtiene que
J[] = Q
es decir
[] =
B
A
C
D
AB = DA
BC
= CD
2
D AC = I
j = 1, ..., 4g.
1
(wk , wl ) = (k , l ) + i(k , l )
2
P =
A
B
D
C
A
B
D
C
B
A
C
D
A
B iI
D + iI
C
Notemos que la matriz 2A (respectivamente, 2C) es la matriz definida en e la Proposicin 16.1.1 respecto a la base {w1 , ..., w2g } (respectivamente, {w2g+1 , ..., w4g }).
Notemos que, por la construccin hecha, tenemos
w1
w2
..
.
w2g
169
w1
w2
..
.
w2g
R
R
i
i
e
e
e
e
(A1 Ag A1 Ag )
(B1 Bg B1 Bg )
P =
w2g+1
w2g+1
w2g+2
w2g+2
R
R
i
..
..
(A A Ae Ae )
.
.
e B
e B B )
(B
1
w4g
w4g
1
2
..
.
= iC 1
2g
w2g+1
w2g+2
..
.
w4g
e1 A
eg )
(A1 Ag A
e1 B
eg B1 Bg )
(B
1
2
..
.
2g
1
2
..
.
2g
= I2g
= C 1 B + iC 1 H2g
donde H2g denota el espacio de Siegel de grado 2g, es decir, el espacio de matrices simtricas, 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.
Notemos adems que
170
iC11
C21 B2
1
C1 B1
=
1
iC2
(B1 Bg )
1
..
.
(B1 Bg )
e1 B
eg )
(B
g+1
..
.
2g
e1 B
eg )
(B
(B1 Bg )
g
g+1
..
.
2g
1
1
Z
..
..
. Hg
. +
e1 B
eg )
g
g
(B
g+1
..
. +
2 = C21 B2 + iC21 =
1
..
.
1 = C11 B1 + iC11 =
(B1 Bg )
2g
g+1
..
. Hg
e1 B
eg )
(B
2g
2g+j
(2) Para , H
1,0
() vale que
0=
2g
X
j=1
1,0
2g+j
entonces = 0.
2g+j
171
1 , ..., 4g
es una base cannica de homologa para H1 (, Z) y que
1 , ..., 2g
es su base dual para H
1,0
(), es decir
Z
r = kr ,
k, r = 1, ..., 2g.
Rp
1
p0
.
..
p0 (p) =
R
2g
p0
172
1
= m1 > 0
(e1 )
(e2 ) =
1
= 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
R
RR
R
RR
R
R
= = 0,
si d = 0 = d . Pero
= = 0,
d =
d =
0
0
F1
F1
RR
R F1
R
RRF1
R
R
= = 0,
d =
= = 0, de donde vemos
d =
F1
F1
F1
F1
e1
e2
e3
e4
e1
1
0
0
0
e2
0
1
0
0
e1
0
0
1
0
e2
0
0
0
1
de donde
e1 = e2 , B
e1 = e1 , B1 = e2 },
{A1 = e1 , A
1 = Be1 , 2 = B1 , 3 = A1 , 4 = Ae1
1 =
e1 , 2 = e
4 , 3 =
e3 , 4 =
e2
173
m1
0
0
0
1
0
0
0 A D
m
2
Q=
=
1
0
B C
0
0
m
1
m2
= C 1 (B + iI2 ) =
im1
0
0
i
m2
i
m2
Luego, el Jacobiano de esta superficie de Riemann discreta es
+
*
0
im1
0
1
, i
,
,
J(, , ) = C2 /
0
1
0
m2
Z
i
J(, , )
iZ
= C/h1, im1 iZ C/h1,
m2
1 = im1 ,
2 =
En este ejemplo,
m2
),
T (, )
= (0, +) (el par (m1 , m2 ) corresponde a =
m1
Aut() = ha(e1 , e2 ) = (e2 , e1 ), b(e1 , e2 ) = (e2 , e1 )i
= D4
+
+
2
Aut () = Aut () = ha i = Z2
0
1
i = Z2
M od (, ) = {I}
M od(, ) = h() =
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
e2
e2
e2*
e1*
e1
Figura 16.2
1 =
1 =
e1
A
2 =
1 = 0
e
2
2 = 0
e1
A1
1 = 1
e1
A1
2 =
e1
A
2 = 1
e
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 CauchyRiemann
j = ij , j = 1, 2.
Usando estas ecuaciones podemos ver lo siguiente :
(e1 )
1 =
e
1
de donde
e1
1 = i
0=
(e2 )
e
2
e1
1 = i
1 = im1
e1
B
1 =
e2
1 = i
e2
de donde
(e1 )
1 = 0
B1
2 =
e
1
e1
de donde
2 = i
e1
B
2 =
2 =
A1
1
e1
B
im1
de donde
2 = 0
e1
2 = 0
1
= (e2 )
m2
175
e
2
2 = i
e2
B1
e2
i
m2
Luego,
e1
A
0
1
B1
0
i
m2
16.7.2. Una descomposicin triangular. Consideremos (ver Figura 16.3) una superficie 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 }
= bj ,
j = 1, ..., 6
e
j
Entonces
ej
bj
,
mj
j = 1, ..., 6
176
= mj aj ,
j = 1, ..., 6
e
j
a5 a1 + a4 = 0
a1 a6 a2 = 0
2 a5 a3 = 0
a
+ a6 a4 = 0
3
b1
b4
b
=0
m
m
m
5
1
4
b1
b6
b2
+
+
=0
m1
m6
m2
b5
b3
b2
+
+
=0
m
m
m
2
5
3
b6
b4
b3
+
=0
m3
m6
m4
m1 a 1 + m2 a 2 + m3 a 3 + m4 a 4 = 0
b +b +b +b =0
1
a3 (m2 + m3 ) + a4 (m2 m4 )
a1 =
m1 + m2
a3 (m1 m3 ) a4 (m1 + m4 )
a2 =
m1 + m2
a
(m
+
m3 ) + a4 (m1 + m4 )
3
2
a5 =
m1 + m2
a3 + a4
a6 =
m1 (b4 m3 (m2 m4 ) b3 (m2 + m3 )m4 )
b1 =
(m1 + m2 )m3 m4
m
(b
(m
+ m3 )m4 + b4 m3 (m1 + m4 ))
2
3
1
b2 =
(m1 + m2 )m3 m4
b5 =
(m1 + m2 )m3 m4
b 4 m6
b 3 m6
b6 =
m4
m3
As, una base para las formas reales harmnicas se puede obtener considerando
(a3 , a4 , b3 , b4 ) {(1, 0, 0, 0), (0, 1, 0, 0), (0, 0, 1, 0), (0, 0, 0, 1)}
de donde
e1 = e1 + e4 + e6 , B
e1 = e5 e3 e4 , B1 = e6 }
A1 = e5 , A
1 = Be1 , 2 = B1 , 3 = A1 , 4 = Ae1
177
e5
e5*
e3
e2
e2*
e3*
e6
e6
e6*
e1*
e4*
e6*
e1
e4
e5 *
e5
Figura 16.3
1 = Be1
2 = B1
3 = A1
4 = Ae1
A1
1
0
0
0
e1
A
0
1
0
0
B1
0
0
1
0
B1
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
m
+
m2 + m3 + m4
1
1 =
7
1
5
7
0
ej 7 0
178
m1 (m3 m5 + m2 (m3 + m4 + m5 ))
T
m2 (m4 m5 + m1 (m3 + m4 + m5 ))
e2 7
T
m3 (m4 (m2 + m5 ) + m1 (m4 + m5 ))
e3 7
T
m4 (m1 m3 + m3 m5 + m2 (m3 + m5 ))
2 =
m1 m3 m5 + m2 m4 m5
e
7
ej 7 0
e1 7
m1 (m2 m4 + m3 (m4 + m6 ) + m4 m6 )
T
m2 (m1 m3 + m3 (m4 + m6 ) + m4 m6 )
e2 7
T
m3 (m1 (m2 + m6 ) + m2 (m4 + m6 ))
e3 7
T
m4 (m1 (m2 + m3 + m6 ) + m2 m6 )
3 =
m
(m
m
+
m1 (m2 + m3 + m6 ) + m2 (m4 + m6 ) + m3 m6 + m4 m6 )
5
3
4
e
7
m6 (m1 m3 m2 m4 )
e6 7
ej 7 0
donde
e1 7
m1 + m4
e2 , e3 7
m1 + m2 + m3 + m4
m2 + m3
e1 , e4 7
m
+
m2 + m3 + m4
1
4 =
7
0
5
7
1
ej 7 0
P6
A=
j=1
mj
ej
!2
0
P6
1
j=1 mj
j=1
mj
ej
!
R
P6
C =
!2
e
j
P6
1
j=1 mj
B= D=
P
6
t
179
1
j=1 mj
ej
e
j
0
P6
j=1
mj
R
P
6
1
3
j=1 mj
e
1
j
= C (iI2 B) =
P6
R
R
1 4
m
j
j=1
ej
ej
R
P
mj
ej
e
j
!2
P6
1
j=1 mj
e
j
P6
1
j=1 mj
P6
j=1
e
j
e
j
mj
ej
1
j=1 mj
1 =
P6
P6
mj
j=1
Ya que
ej
P6
e
j
1
j=1 mj
j=1
2 =
mj
e
j
ej
e
j
!2
R
ej
!2
P6
1
j=1 mj
e
j
+
P6
j=1
mj
ej
!2 H1
!2 H1
ej
6
j=1
!2
e
j
180
6
X
j=1
mj
ej
||
m3 m4 + m3 m6 + m4 m6 + m1 (m2 + m3 + m6 ) + m2 (m4 + m6 )
m1 + m2 + m3 + m4
y
6
X
j=1
Z
Z
mj 1 4
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 ) +
+ 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 ))
m21 (m3
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()
||
Aut () = hai = Z4
Aut+
0 () = Aut0 () = {I}
K = K + = {I}
Aut()
M od(, ) =
hA(1 , 2 , 3 , 4 , 5 ) =
||
1 1 2 5 4
, , , ,
3 3 3 3 3
, B(1 , 2 , 3 , 4 , 5 ) =
181
2 1 1 4 5
, , , ,
i
3 3 3 3 3
M od+ (, ) = hAi
= Z4
M(, ) = (0, +)5 /hAi
f ) = (0, +)5 /hA, Bi
M(,
Denotemos por H < M od+ (, ) el subgrupo normal formado de aquellas transformaciones modulares h tales que h(j ) = j , para todo j = 1, ..., 4g. El cociente
M od+ (, )/H = T or(, ) es llamado el grupo de Torelli asociado a (, ).
Para cada T (, ) tenemos una estructura de superficie de Riemann discreta
(, , ) sobre y el grupo finito Aut+ (, , ) de automorfismos conformes de tal
estructura. Tenemos una base dual de diferenciales analticas discretas para H 1,0 (),
1 , ..., 2g
es decir,
k = jk ,
j, k = 1, ..., 2g.
182
1
..
.
2g
y las matrices de periodos g-dimensionales dadas por
(2g+1 4g )
1
Z
..
+
1 =
.
(3g+1 4g )
(2g+1 3g )
g
g+1
Z
Z
..
2 =
. +
Z
(2g+1 3g )
2g
(3g+1 4g )
1
..
. Hg
g
g+1
..
. Hg
2g
tal que para cada t M od+ (, ) existe At Sp4g (Z) de manera que
P t = At P
183
es de grado finito. Llamamos a A(, ) el espacio de variedades Abelianas principalmente polarizadas respecto (, ).
0
i/2
184
1. los dos semi-ejes que determina cada punto del interior de cada eje en 1 ;
2. por cada vrtice que est en el interior de una cara F 2 , consideramos ejes que
conectan tal punto a cada uno de los vrtices de es punto interior a uno de los ejes
del borde de F .
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.
b
.
Ahora, si tenemos una mtrica para , entonces definimos la siguiente mtrica b para
Este proceso permite considerar sucesiones de estructuras de Riemann discretas a partir de una dada. Esto nos d una sucesin de Jacobianas. El problema de Torelli pude
ser considerado como la decidibilidad de la estructura de partida si conocemos todas las
Jacobianas de esta sucesin.
CAPTULO 17
ESTRUCTURAS CLSICAS VERSUS ESTRUCTURAS
DISCRETAS
En los captulos anteriores nos hemos interesado en estructuras de superficies de Riemann discretas, pero no la hemos explcitamente relacionada con las estructuras clsicas
de superficies de Riemann. En este captulo intentaremos dar cierta relacin, para ciertos
casos particulares. La situacin aqu descrita es de real aplicacin a reconocimiento de
imgenes.
17.1. Superficies simpliciales en R3
En lo que sigue, usaremos la mtrica usual Euclidiana en R3 . Consideremos un objeto 3-dimensional O R3 , por ejemplo, una escultura, un corazn, etc. Denotemos
por S el borde de O ; es decir, S es una superficie orientada compacta. En procesos de
scanner de imgenes, generalmente se hace una aproximacin de S por medio de superficies simpliciales, es decir, superficies orientadas y compactas que son unin de tringulos
Euclidenaos planos. Luego, se buscan representaciones (locales) planares que permitan
reobtener la superficie simplicial original. Tales representaciones deben ser eficientes en
lo que se refiere a su almacenamiento, transmisin y edicin, entre otros.
Supongamos que tenemos una superficie orientada, simplicial, compacta R3 . La
estructura simplicial determina de manera natural una mapa .
Para efectos prcticos, supondremos que cada tringulo en la superficie simplicial tiene
cada uno de sus ngulos en (0, /2).
17.2. Estructuras de superficies de Riemann en superficies simpliciales
L. Bers [4] introdujo de manera natural una estructura de superficie de Riemann en
asociada de manera natural a su estructura simplicial. Procederemos a indicar las cartas
locales de tal estructura.
17.2.1. Vrtices interiores. Sea v un vrtice interior de la estructura simplicial.
Consideramos la vecindad abierta v dada por el interior de la unin de todos los
tringulos, digamos T1 ,..., Tn (ordenados cclicamente de anera opuesta a las manecillas
186
v3
v2
T2
T1
T3
v
T4
v4
v1
T6
T5
v6
v5
Figura 17.1. La vecindad v para n = 6
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).
Denotemos por j (0, /2) el ngulo interior de Tj en el vrtice v. Definamos
j =
0,
j=1
j1
P
k ,
k=1
,
j {2, ..., n}
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 .
v3
v2
T2
T1
T3
v1
v
v4
187
T4
v5
j =
0,
j=1
j1
P
k ,
k=1
,
j {2, ..., n}
n
X
k .
k=1
Sean
y
U : C C : z 7 e/ z
Rj : C C : z 7 z i/j ,
j = 1, ..., n.
b
Sea Tj 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 .
Notemos en este caso que U (Tbj ) H2 R, donde H2 denota el semiplano superior
en C.
Se define la carta local
v : v H2 R
188
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.
1
2
ZZ
f F
1X
E(f ) =
2 j=1
ZZ
|df |2ds dA
Tj
189
donde dsj (respectivamente, dAj ) es la mtrica Riemanniana inducida por ds (respectivamente, el elemento de rea inducida) por Lj y fj = f L1
j .
Como Lj es una isomtra Euclidiana, dsj no es nada ms que la mtrica Euclidiana ;
en particular, dAj = dxdy. Luego ;
2
2 !
n ZZ
1X
fj
fj
E(f ) =
dxdy
+
2 j=1
x
y
Tbj
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
Teorema 17.5.1. Las PL-funciones harmnicas asociadas a la estructura de superficie de Riemann coinciden con las funciones f C 0 () que son harmnicas discretas
con la estructura de supeficie de Riemann discreta anterior y f | = 0.
17.6. Caso homeomorfo a un disco cerrado
Supongamos que tenemos que es homeomorfo a un disco cerrado, con borde .
Sea g = (g1 , g2 ) : R2 . El problema de Dirichlet discreto nos asegura la existencia
de una (nica) funcin fj C 0 () que es harmnica discreta en y cuyos valores
en es dada por gj . Ahora podemos construir la PL-funcin f = (f1 , f2 ) : R2 .
Tambin tenemos la existencia de funciones fbj : R que son harmnicas en
y que coinciden con gj sobre .
Por otro lado, el Teorema de Choquet 17.3.1 nos asegura que si g() es el borde de
un dominio convexo , entonces tenemos que fb = (fb1 , fb2 ) es un difoemorfismo entre
y .
La funcin f = (f1 , f2 ) : 0 R2 no es necesariamente bijectiva, pero si es una
aproximacin de fb. Haciendo una retriangulacin de , cada vez ms fina, uno puede
aproxiamar el difeomorfismo fb por las correspondientes f , de donde se puede obtener un
algoritmo computacional numrico para aproximaciones de la incrustacin fb. Esta idea
es muy importante para analizar resolucin de imgenes [7].
CAPTULO 18
GRUPOS KLEINIANOS PLANARES Y ESTRUCTURAS
DISCRETAS DE RIEMANN
XXXXX
CAPTULO 19
ESTRUCTURAS HIPERBLICAS 3-DIMENSIONALES
DISCRETAS
XXXXX
REFERENCIAS
[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 electrical 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.
[6] Colin de Verdire. Y. Multiplicits de valeurs propes : laplaciens discrets et continus.
Rendiconti di Matematica VII, 13 (1993), 433-460.
[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 Mathematics, 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.
196
REFERENCIAS
[13] Gockenbach, M.S. Partial Differential Equations. Analytical and Numerical Methods. 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), 153170.
[15] Hackbusch, W. Elliptic Differential Equations. Springer-Verlag, 1992.
[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.
[17] Howe, M. S. Acoustics of fluid-structure interactions. Cambridge, New York. Cambridge University Press (1998).
[18] Hutchinson, Joan P. Automorphism properties of embedded graphs. Journal of
Graph Theory 8 No.1(1984), 35 - 49.
[19] Lelong-Ferrand, J. Reprsentation conforme et transformations intgrale de Dirichlet borne. Paris : Cauthier-Villars, 1955.
[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.
[22] Mercat, C. Discrete period matrices and related topics.
[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. Experimental Mathematics 15 (2006), 91-107.
[25] Smith, G.D. Numerical Solution of Partial Differential Equations : Finite Difference
Methods (3rd ed.). Oxford University Press. 1985.
[26] Veblen, O. Analysis Situs. Amer. Math. Soc. X, 1931.
INDICE
1-Cclos, 93
1-Cclos fronteras, 93
1-Cocclos, 95
1-Cocclos fronteras, 95
1-Formas cerradas, 95
1-Formas exactas, 95
k-forma en grafos, 88
k-formas, 93
p-Laplaciano discreto, 31
Derivacin nula, 46
Arbol, 4
Autmatas finitos, 12
Automorfismo de grafos, 6
Automorfismo de grafos mtricos, 28
Automorfismos anticonformes discretos, 110
Automorfismos conformes discretos, 109
Automorfismos de mapas, 9
Base cannica de homologa para H1 (, Z) , 165
Base dual de diferenciales analticas, 169
Base dual de diferenciales reales harmnicas, 166
Cclo Hamiltoneano, 4, 18
Cclos, 4
Cadenas singulares en grafos, 87
Cadenas singulares en mapas, 91
Camino Euleriano, 4, 16
Camino Hamiltoneano, 4
Caminos cerrados, 4
Caminos en grafos, 4
Caminos simples, 4
Campos de vectores en grafos, 24
Celular diamante, 101
Circuito, 4
Circuito Euleriano, 4, 14
Co-cadenas singulares en grafos, 88
Co-cadenas singulares en mapas, 93
Cohomolog de grafo, 89
Coloracin de grafos, 20
198
INDICE
ISBN XXXXXXXXXX