Memorias de Ecuaciones Diferenciales

Memorias del Seminario de
Ecuaciones Diferenciales y
Sistemas Din
amicos, 2008
Coordinadores:
Luis Loeza Chin Elifalet Lopez Gonzalez
UNIVERSIDAD AUTONOMA
DE CIUDAD JUAREZ
Jorge M. Quintana Silveyra
Rector
David Ramrez Perea
Secretario General
Antonio Guerra Jaime
Director del Instituto de Ingeniera y Tecnologa
Servando Pineda Jaimes
Director General de Difusion Cultural
y Divulgacion Cientfica
INSTITUTO DE INGENIERIA Y
TECNOLOGIA
DEPARTAMENTO DE FISICA Y
MATEMATICA
CUERPO ACADEMICO
DE MATEMATICAS
PURAS Y APLICADAS
Con aportaciones de:
Elifalet Lopez Gonzalez, UACJ

Antonio Antoln Fonseca, UACJ
Gustavo Tapia Sanchez, UACJ
Alvaro
Alvarez
Parrilla, UABC
Carlos Yee Romero, UABC
Selene Solorza Calderon, UABC
Luis Loeza Chin, UACJ
Gustavo Tapia Sanchez, UACJ
Boris Mederos, UACJ
Memorias del seminario de ecuaciones diferenciales y sistemas dinamicos

2008 / coord. Luis Loeza Chin, Elifalet Lopez Gonzalez Ciudad Juarez,
Chih.: Universidad Autonoma de Ciudad Juarez, Instituto de Ingeniera y
Tecnologa, 2009.
88 p.; 22 cm. (Divulgare)
Bibliografa.
ISBN: 978-607-7623-50-2
diferencial 3. Campos vectoriales.

1. Ecuaciones diferenciales 2. Algebra
I. Loeza Chin, Luis, coord. II. Lopez Gonzalez, Elifalet, coord.
LC QA371 M45 2009
Cuidado de la edicion: Luis Loeza Chin, Elifalet Lopez Gonzalez.

Correccion: Jorge Hernandez Martnez.
Diagramacion: Luis Loeza Chin.
Cubierta: Karla Mara Rascon Gonzalez.
D.R. Universidad Autonoma
de Ciudad Juarez
Calle Henri Dunant n
um. 4016,
zona Pronaf 32310
Ciudad Juarez, Chihuahua
Impreso en Mexico / Printed in Mexico
Este documento fue creado en LATEX,

u
ltima compilacion: 3 de diciembre de 2009.
Agradecemos a:
Departamento de Ciencias Basicas Exactas
Instituto de Ingeniera y Tecnologa
Direccion General de Difusion Cultural y Divulgacion Cientfica
Coordinacion General de Investigacion y Posgrado

(Proyecto Interno 339)
noma de Ciudad Jua

rez
Universidad Auto
Indice general
Indice general
Presentaci
on.
Ejemplos de
algebras de matrices. (E. L
opez,
pia)
1. Introduccion . . . . . . . . . . . . . . . . .
2. Algebras
. . . . . . . . . . . . . . . . . . .
3. Ejemplos de algebras de Banach . . . . . .
A. Antoln, G. Ta. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
11
11
12
13
Visualizaci
on de campos vectoriales analticos sin integraci
on num
eri
ca. (A. Alvarez,
C. Yee, S. Solorza.)
21
1.
2.
3.
4.
5.
Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Antecedentes
de
geometra
diferencial
y variable compleja . . . . . . . . . . . . . . . . . . . . . . . .
2.1.
Vectores tangentes y espacio tangente . . . . . . . . . .
2.2.
Campo vectorial real . . . . . . . . . . . . . . . . . . .
2.3.
Funciones analticas y algunas de sus propiedades basicas
Campos vectoriales analticos complejos y sus flujos reales asociados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.1.
Campos vectoriales analticos complejos . . . . . . . .
3.2.
El flujo real asociado a un campo vectorial analtico
complejo . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.
Valores regulares y crticos del flujo real . . . . . . . .
3.4.
Pullbacks
de
campos
vectoriales
analticos
complejos . . . . . . . . . . . . . . . . . . . . . . . . .
Campos newtonianos . . . . . . . . . . . . . . . . . . . . . . .
4.1.
Caso meromorfo . . . . . . . . . . . . . . . . . . . . . .
va cubrientes
4.2.
Caso general: pullback de t t
ramificados . . . . . . . . . . . . . . . . . . . . . . . .
Visualizacion de campos newtonianos . . . . . . . . . . . . . .
5.1.
La observacion fundamental . . . . . . . . . . . . . . .
7
21
24
24
27
28
32
32
33
34
36
37
38
41
43
43
6.
5.2.
Implementacion . . . . . . . . . . . . . . . . . .
Generalizaciones y problemas abiertos . . . . . . . . . .
6.1.
Campos analticos en variedades complejas . . .
6.2.
Campos diferenciales en Rn . . . . . . . . . . .
6.3.
Campos diferenciales en variedades diferenciales
6.4.
Avances y problemas abiertos . . . . . . . . . .
El -grupo fundamental de un G-espacio. (L. Loeza)

1. Preliminares . . . . . . . . . . . . . . . . . . . . . .
2. Dependencia del punto base . . . . . . . . . . . . .
3. Tipo de homotopa . . . . . . . . . . . . . . . . . .
4. H-Grupo de Transformacion . . . . . . . . . . . . .
5. Relacion con 1 (X/G) . . . . . . . . . . . . . . . .
Un vistazo a las teoras de torsi
on. (G. Tapia)
1. Introduccion . . . . . . . . . . . . . . . . . .
2. Diversos conceptos de teoras de torsion . . .
3. La retcula R tors . . . . . . . . . . . . .
4. Algunas teoras de torsion importantes . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
46
49
49
50
51
51
.
.
.
.
.
55
55
56
57
59
60
.
.
.
.
63
63
64
68
69
El funcional de Mumford-Shah en el procesamiento de im

agenes:
aspectos te
oricos y sus aplicaciones. (B. Mederos)
1. Introduccion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Aspectos teoricos . . . . . . . . . . . . . . . . . . . . . . . . .
3. Existencia de mnimos . . . . . . . . . . . . . . . . . . . . . .
4. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . .
73
73
75
79
84
n
Presentacio
Las ecuaciones diferenciales tienen la propiedad de transversalidad en las

matematicas pues en su desarrollo teorico aparecen practicamente todas las
areas de las matematicas. Por ejemplo: Analisis Matematico, Algebra,

Geometra Diferencial, Variable Compleja, Geometra Algebraica, Topologa Diferencial, Topologa Algebraica, Sistemas Dinamicos, entre otras.
La Licenciatura en Matematicas del Instituto de Ingeniera y Tecnologa de
la UACJ tiene actualmente como eje principal de formacion academica a las
ecuaciones diferenciales. Esto es pertinente, pues el estudio de las ecuaciones
diferenciales es una excelente perspectiva para el estudio de las matematicas y
estas tienen una gran cantidad de aplicaciones en ingeniera y en las ciencias
en general. Se busca que los estudiantes egresados de esta licenciatura cuenten
con una formacion solida en esta area de las matematicas. Con el proposito
de contribuir en esta direccion el Cuerpo Academico de Matematicas del Instituto de Ingeniera y Tecnologa de la UACJ creo el seminario de Ecuaciones
Diferenciales y Sistemas Dinamicos (EDySD). Dicho seminario, ademas, apoya
directamente al desarrollo de las Lneas de Generacion y Aplicacion del Cono
cimiento: Algebras,
Ecuaciones Diferenciales y Sistemas Dinamicos.
El presente material es un registro de algunas de las actividades realizadas
en el seminario de EDySD. Todos los trabajos incluidos se han presentado
en las actividades regulares del seminario o en sesiones especiales de este.
Los objetivos principales de estas memorias son: 1. Que se cuente con un
material de consulta para los asistentes al seminario de EDySD.
2. Dar a conocer y dejar evidencia de algunas de las actividades
desarrolladas por el Cuerpo Acad
emico de Matem
aticas.
9
En virtud de la propiedad de transversalidad de las ecuaciones diferenciales

en las matematicas, se consideraran para posteriores publicaciones en estas
memorias, trabajos matematicos y de sus aplicaciones que sean previamente
presentadas en el seminario EDySD. Todos los artculos seran sometidos a
arbitraje y deberan apegarse a las recomendaciones hechas por los revisores
tanto en contenido como en forma.
Elifalet Lopez Gonzalez,

Ciudad Juarez, Chihuahua, marzo de 2009.
10
Memorias del Seminario de Ecuaciones Diferenciales y Sistemas Dinamicos

FM-IIT, UACJ (2008) 1119
lgebras de matrices*
Ejemplos de a
Elifalet L
opez Gonzalez, Gustavo Tapia Sanchez,
Antonio Antoln Fonseca **
Resumen
El prop
osito de este trabajo es dar algunos ejemplos de Algebras
conmutativas con unidad, que se obtienen principalmente de algebras de matrices. Se
tienen los n
umeros complejos, los bicomplejos, los tricomplejos y otros multicomplejos. En este tipo de algebras se pueden definir los siguientes tipos de
funciones: polinomios, racionales, exponencial, trigonometricas y las que se obtengan de estas usando las operaciones de algebras de Banach y la composicion
de funciones. Por lo tanto, se cuenta con una familia importante de funciones.
1.
Introducci
on
Los campos real y complejo R (ver [5]) y C (ver [1]) son importantes por
su multitud de usos. El campo C emerge de la necesidad de tener un campo
algebraicamente cerrado (i.e., esto significa que cualquier polinomio con coeficientes en C, tiene races dentro de C); actualmente la utilidad de este campo
es de importancia central en matematicas. La mayor parte del analisis matematico se desarrolla en los espacios de Banach (espacios vectoriales dotados
de una norma y completos con respecto a la convergencia en la norma) sobre
R o sobre C; en dimension finita tenemos los espacios Rn y Cn y en dimension
infinita se tienen, por ejemplo, espacios de funciones.
Diferentes tipos de analisis se desarrollan utilizando otros campos de n
umeros como el analisis p-adico basado en el campo de los n
umeros p-adicos.
Las algebras conmutativas con unidad de matrices con entradas reales pueden ser vistas como sistemas de n
umeros, los cuales son extensiones del sistema
de los n
umeros reales, en el sentido de que los m
ultiplos reales de la unidad del
algebra corresponden a una copia de R en el algebra. Como es el caso de los
bicomplejos (el ejemplo 5 que se presenta en este trabajo). Lo mismo sucede
para algebras conmutativas con unidad de matrices con entradas complejas.
Los bicomplejos tambien se pueden ver como una extension del sistema de
n
umeros complejos.
* Este trabajo estuvo parcialmente apoyado por el proyecto UACJ 339.

** Departamento de Fisca y Matmatica IIT-UACJ, elgonzal@uacj.mx, gtapia@uacj.mx,
antolin.antonio@gmail.com,
12
pez, A. Antoln, G. Tapia

E. Lo
En los espacios de Banach se define la derivada de Frechet (ver [4]), que

es una generalizacion no tan directa, de las derivadas usuales (real y compleja). Uno de los temas propuestos a desarrollar en el proyecto de investigacion
N-derivada en algebras de Banach y dinamica de mapeos racionales holomorfos del Cuerpo Academico de Matematicas del IIT-UACJ, es una definicion
de diferencial, analoga a la diferencial de Frechet, para modulos sobre algebras normadas; se define la diferencial como homomorfismo de modulos. Esto
se hace en el proyecto de titulacion [2]. El proposito de este trabajo es dar
unos ejemplos de algebras normadas, las cuales provienen principalmente de
algebras de matrices.
2.
Algebras
Un algebra asociativa A sobre un campo F (para este caso F es R o C) es

un espacio lineal A con una operacion F-bilineal () : A A A (donde la
imagen de (x, y) se escribe como xy) y es asociativa:
(xy)z = x(yz) para x, y y z en A.
Si A contiene un elemento identidad, esto es, un elemento e tal que ex =
xe = x para todo x A, entonces A se llama algebra asociativa unital o con
unidad. Tal algebra es un anillo, y contiene todos los elementos del campo F
al identificar F con e A (ver [3]). Un algebra se llama conmutativa si
el producto () : A A A es conmutativo, i.e., xy = yx para toda x, y A.
La dimension del algebra asociativa A sobre el campo F es su dimension como
F-espacio lineal.
Una norma k k en un espacio lineal V sobre un campo F (F es tpicamente
R o C) es una funcion k k : V V R, que cumple lo siguiente:
1.- kxk 0 para toda x V y kxk = 0 si y solo si x = 0 .
2.- kxk = ||kxk para cada x V y cada F.
3.- kx + yk kxk + kyk siempre que x, y V.
Un espacio lineal junto con una norma se llama espacio normado y un espacio
de Banach B sobre un campo F es un espacio lineal V junto con una norma
k k : V V R, el cual es completo con respecto a la convergencia en la
norma (estos conceptos se pueden consultar en [3]).
Un algebra normada es un algebra asociativa y tambien es un espacio normado; ademas, se requiere que la multiplicacion del algebra y la norma del
espacio de normado se relacionen por la siguiente desigualdad:
kxyk kxkkyk
lgebras de matrices
Ejemplos de a
13
para x, y A. Esto asegura que la multiplicacion es una funcion continua

() : A A A. Un algebra de Banach es un algebra normada, la cual es un
espacio de Banach con la norma del algebra.
En cada algebra de Banach asociativa conmutativa con unidad B, las funciones polinomiales con coeficientes en B se pueden definir, as como las funciones racionales, ya que cuando estemos trabajando en algebras de Banach
conmutativas, si y es invertible (tiene inverso multiplicativo con respecto al
producto del algebra), el cociente x/y significara xy 1 . Mas a
un, muchas funciones elementales las cuales se definen usando series de potencias se pueden
definir en B; como ejemplos tenemos a la funcion exponencial y a las funciones trigonometricas: las formulas para las series geometricas y la formula del
binomio siguen siendo validas y en el caso de dimension finita, si el algebra
tiene una estructura compleja (por ejemplo, las algebras de matrices de los
complejos y los bicomplejos, ver ejemplos 4 y 5), es decir, existe J B tal que
J 2 = e, tambien se tienen algunas versiones de las identidades trigonometricas complejas (se reemplaza J por i).
El conjunto de elementos invertibles A en un algebra de Banach unital A es
un conjunto abierto que tiene estructura de grupo con respecto al producto del
algebra, y la funcion que a un elemento de A le asigna su inverso multiplicativo
es continua, as que A es un grupo topologico bajo la multiplicacion.
3.
Ejemplos de
algebras de Banach
Presentamos ejemplos de algebras de Banach B, tanto de dimension finita

como infinita.
1. (R y C). Uno de los ejemplos mas importantes de algebras de Banach es el

conjunto de los n
umeros reales con las operaciones de suma y producto
usuales, y la norma dada por el valor absoluto. Otro ejemplo, el cual
tambien es fundamental, es el conjunto de los n
umeros complejos con las
operaciones de suma y producto usuales, y norma dada por el modulo.
2. (Los operadores lineales acotados). El conjunto de los operadores lineales acotados de un espacio de Banach en s mismo forman un algebra
de Banach con elemento unidad (pero no conmutativa con respecto a la
multiplicacion) con respecto a las operaciones de adicion y multiplicacion (composicion) de operadores lineales y con la norma de operadores
(definicion dada en [3]).

E. Lo
14
3. (Espacios de
matrices sobre R). El conjunto de las matrices n n
a1,1 a1,2 a1,n
a2,1 a2,2 a2,n

:
a
R,
1
i,
j
n
..
..
..
i,j
..
.
.
.
.
an,1 an,2 an,n
es un algebra (sobre R) asociativa unital con respecto al producto de

matrices, pero no conmutativa. Mas a
un, el algebra de matrices, vista
como el conjunto de los operadores lineales de Rn a Rn , es un algebra de
Banach con respecto a la norma de operadores. Esta

no es conmutativa,
pero tiene subalgebras conmutativas interesantes, como lo veremos en los
siguientes ejemplos. Note que este tipo de algebras ya esta considerado
en el caso 2.
4. Consideremos al conjunto

x y
B=
: x, y R
y x
en el algebra de matrices de 2 2 sobre R. El conjunto B es un algebra
de Banach B con respecto al producto de matrices. Sea : C B la
funcion

x y
x + iy 7
,
y x
entonces es un isomorfismo de algebras de Banach, es decir, es un
isomorfismo de espacios vectoriales y es una isometra (esto es, |z| =
k(z)k para todo z C) con (z1 z2 ) = (z1 )(z2 ) para todo z1 , z2 C
(estamos suponiendo que C tiene la metrica asociada al modulo de los
complejos y B tiene la metrica asociada a norma de operadores, ver [3]).
Entonces, C y B son esencialmente la misma Algebra

de Banach.
5. (Los n
umeros bicomplejos). El espacio lineal B sobre R, generado por las
matrices
x y u v
y
x
v
u
: x, y, u, v R
u v x y
v u y x
es un algebra de Banach conmutativa unital de dimension real 4. Sea e
la matriz obtenida al tomar x = 1 y y, u, v iguales a cero, de manera
similar se definen i1 , i2 y j tomando y = 1 y las demas entradas cero,
v = 1 y las demas entradas cero, y u = 1 y las demas entradas cero,
respectivamente. Entonces {e, i1 , i2 , j} es una base para el algebra B.
lgebras de matrices
Ejemplos de a
15
Identificando a los elementos a R con ae B, los elementos de B se

pueden expresar en la forma a + bi1 + ci1 + dj, donde a, b, c y d son
n
umeros reales. Al conjunto de estas expresiones con las operaciones de
suma y producto del algebra B, se le conoce como n
umeros bicomplejos.
A i1 , i2 y j se les llama unidades imaginarias y cumplen las reglas de
multiplicacion
i1 i1 = 1, i2 i2 = 1, j j = 1, i1 i2 = j, i1 j = i2 y i2 j = i1 .
El termino bicomplejo se usa porque estos se pueden expresar como
A + Bi2 , donde A, B son n
umeros complejos, es decir, si tomamos el
n
umero bicomplejo = a + bi1 + ci2 + dj, entonces = A + Bi2 para
A = a + bi1 y B = c + di1 . Esto es, los n
umeros bicomplejos se obtienen
de los complejos de manera similar a como se obtienen los complejos de
los reales, agregando una unidad imaginaria y definiendo una regla de
multiplicacion entre unidades imaginarias. Los n
umeros bicomplejos se
reducen a complejos cuando A y B son n
umeros reales.
Los n
umeros bicomplejos se pueden ver como un algebra sobre el campo
complejo C de dimension 2.
6. (Los n
umeros tricomplejos). El espacio B generado por las matrices
x
y
u
v
r
s
y
x
v
u
s
r
r
s
x
y
u
v
: x, y, u, v, r, s R
(1)
s r y x v u
u v r s x y
v u s r y x
es un algebra de Banach conmutativa unital de dimension real 6. Sea
e la matriz obtenida al tomar x = 1 y y, u, v, r, s iguales a cero, de
manera similar se definen i1 , i2 , j, i3 y k tomando y = 1 y las demas
entradas cero, v = 1 y las demas entradas cero, u = 1 y las demas
entradas cero, s = 1 y las demas entradas cero, y r = 1 y las demas
entradas cero, respectivamente. Entonces {e, i1 , i2 , j, i3 , k} es una base
para B. Identificando a los elementos a R con ae B, los elementos
de B se pueden expresar en la forma a + bi1 + ci2 + dj + ei3 + f k donde
a, b, c, d, e, f R; al conjunto de estas expresiones con las operaciones de
suma y producto del algebra B, se le conoce como n
umeros bicomplejos.
A i1 , i2 , j, i3 y k se les llama unidades imaginarias y cumplen las reglas
de multiplicacion
i1 i1 = 1, i1 i2 = j,
i1 i3 = k, i1 j = i2 , i1 k = i3 ,

E. Lo
16
i2 i2 = k, i2 i3 = 1, i2 j = i3 , i2 k = i1 ,
i3 i3 = j, i3 j = i1 , i3 k = i2 ,
j j = k,
j k = 1,
k k = j.
El termino tricomplejo se usa porque estos se pueden expresar como
A+Bi2 +Ci3 , donde A, B, C son n
umeros complejos, es decir, si tomamos
el n
umero bicomplejo = a + bi1 + ci2 + dj + ei3 + f k, entonces = A +
Bi2 +Ci3 para A = a+bi1 , B = c+di1 y C = e+f i1 . Esto es, los n
umeros
tricomplejos se obtienen de los complejos de manera similar a como se
obtienen los complejos de los reales, agregando dos unidades imaginarias
y definiendo una regla de multiplicacion entre unidades imaginarias.
Los n
umeros tricomplejos se pueden ver como un algebra sobre el campo
complejo C de dimension 3. Se pueden definir los n
umeros k-complejos
(multi-complejos) para k > 3 de manera parecida.
7. (Algebras
cclicas). En M (n, R) o en M (n, C) uno puede encontrar algebras de Banach cclicas (por lo tanto, conmutativas) considerando un
elemento M y el espacio lineal generado por el conjunto
{M, M 2 , M 3 , },
y si M es invertible, entonces el algebra obtenida es unital.
8. (Algebras
de funciones continuas). Sea X un espacio topologico compacto
y sea C(X) el conjunto de todas las funciones definidas sobre X y con
valores en los complejos. Entonces C(X) es un algebra de Banach con
respecto a las operaciones usuales y con norma
kf k = max |f |.
X
9. (Espacios de matrices sobre C). El conjunto M de las matrices n n

cuyas entradas son n
umeros complejos, es un algebra asociativa (sobre
C) unital con respecto a la operacion producto de matrices. El conjunto
M se puede ver como un algebra sobre R de dimension 2n2 y tiene
importantes subalgebras, como veremos en el siguiente ejemplo. Mas a
un,
el algebra de matrices (sobre C) vista como el conjunto de operadores
lineales de Cn a Cn es un algebra de Banach con respecto a la norma
de operadores. Note que este tipo de algebras ya esta considerado en el
caso 2.
lgebras de matrices
Ejemplos de a
17
10. (Cuaterniones). Los cuaterniones es el conjunto

H = {a + bi + cj + dk : a, b, c, d R},
con la siguiente tabla de multiplicacion
i2 = 1, ij = k, ik = j,
ji = k, j 2 = 1, jk = i,
ki = j, kj = i, k 2 = 1.
Por lo tanto, H es un algebra no conmutativa de dimension real 4.
Los cuaterniones se pueden ver como un algebra de Banach (sobre los
reales) de matrices de 2 por 2 con entradas complejas, a saber, la generada por

1 0
i 0
0 1
0 i
,
,
,
0 1
0 i
1 0
i 0
que es de dimension real 4. Claramente las matrices de B no conmutan
con respecto al producto. Los cuaterniones tambien se pueden ver como
un algebra de Banach (sobre los reales) de matrices con entradas reales,
generada por
x
y
u v
y
x
v
u
: x, y, u, v R .
u v
x y
v u y x
11. (Algebras
de funciones holomorfas). Sea V un dominio acotado en el
espacio complejo n-dimensional Cn . El conjunto de funciones holomorfas
acotadas sobre V es un algebra de Banach con respecto a las operaciones
usuales y con la norma del supremo:
kf k = sup |f |.
X
18

E. Lo
Esta algebra de Banach contiene la subalgebra cerrada de funciones holomorfas acotadas sobre V que tienen una extension continua a la clausura
de V . El ejemplo mas simple es el algebra de funciones que son continuas
en el disco |z| 1 y analticas en el disco |z| < 1.
12. Tomamos el espacio de Banach Rn (Cn ) con norma

kxk = max{|xi | : i = 1, 2, . . . , n}
y definimos la multiplicacion como sigue:
(x1 , . . . , xn )(y1 , . . . , yn ) = (x1 y1 , ..., xn yn ).
Entonces Rn (Cn ) es un algebra de Banach con respecto a la multiplicacion y norma dadas.
13. (Ejemplo de dimension infinita). P
Sea X el conjunto de todas las sucesiones
de n
umeros reales {xn }nZ con nZ a2n convergente. Entonces X es un
espacio de
PBanach (Hilbert) de dimension infinita, con producto interior
hx, yi = nZ xn yn , donde x = {xn }nZ y y = {yn }nZ , y con la norma
kxk = hx, xi1/2 . Sea : X X el desplazamiento hacia la derecha
(a) = b, donde a = {an }nZ , b = {bn }nZ y bn = an1 , entonces k
es un operador lineal acotado para cada k Z. El espacio lineal B
sobre R generado por { k : k Z} es un subalgebra conmutativa (con
respecto a la composicion de operadores) de dimension del algebra de
los operadores lineales acotados. El operador k es invertible y su inversa
es el operador lineal k , para cada k Z.
14. (Bloques de Jordan real y complejos). En el espacio de matrices M (n, R)
consideramos la subalgebra generada por la matriz identidad I y las
potencias de la matriz nilpotente
0 1 0 0
.
0 0 1 .. 0
N = ... ... ... . . . ... .
0 0 0 1
0 0 0 0
De esta manera obtenemos un algebra sobre R de dimension real n.
Estas algebras son importantes porque todas las algebras de matrices
conmutativas con unidad reales son isomorfas a una suma directa de
algebras, las cuales son de tipo bloque de Jordan real. Se puede hacer lo
mismo y considerar algebras sobre los complejos.
lgebras de matrices
Ejemplos de a
19
Bibliografa
[1] Ahlfors, L Complex Analysis. McGraw-Hill International Book Company,
(1979).
[2] Gomez, A. Diferencial en modulos. Proyecto de titulacion de la Licenciatura en Matematicas, IIT-UACJ, noviembre de (2008).
[3] Kreyszig, E. Introductory Functional Analysis with Applications. John Wiley and Sons, (1978).
[4] Marsden, J.; Hoffman, M. Analisis clasico elemental. Addison-Wesley, 2a.
ed., (1998).
[5] Rudin, W. Principios de analisis matematico. McGraw-Hill, 3a. ed.,
(1980).
Elifalet L
opez Gonz
alez (elgonzal@uacj.mx)
Antonio Antoln Fonseca (antolin.antonio@gmail.com)
Gustavo Tapia S
anchez (tapia@uacj.mx)
Instituto de Ingeniera y Tecnologa, UACJ
Av. Del Charro n
um. 450 norte, Ciudad Juarez, Chih., Mexico.
C.P. 32310, A.P. 1594-D.

FM-IIT, UACJ (2008) 2154
n de campos vectoriales
Visualizacio
n nume
rica*
analticos sin integracio
Alvaro
Alvarez
Parrilla, Carlos Yee Romero, Selene Solorza
Calderon **
Resumen
Usualmente la visualizacion de los flujos asociados a campos vectoriales se
realiza mediante metodos de integracion numerica. Estos metodos tienen serios
inconvenientes como:
se requiere especificar varias condiciones iniciales para tener una idea
general del campo vectorial,
el error se propaga como funcion de la variable de integracion,
las trayectorias no permiten obtener informacion acerca de la parametrizaci
on de las soluciones y
tienen una alta demanda de recursos de computo.
En estas notas presentamos un metodo que permite visualizar campos vectoriales analticos, provenientes de funciones racionales sobre el plano complejo,
sin necesidad de utilizar metodos de integracion numerica. Se discute la teora
detr
as del metodo, su implementacion, sus ventajas, se presentan generalizaciones a campos en Rn y se plantean algunos problemas abiertos.
1.
Introducci
on
Los campos vectoriales son objetos matematicos de mucha utilidad, tanto

desde el punto de vista de las matematicas (vease [1, 3, 5, 6, 8, 9, 10, 12, 13])
como desde el punto de vista de las aplicaciones. Surgen en m
ultiples contextos,
en particular en la fsica, puesto que una gran cantidad de fenomenos fsicos se
pueden modelar mediante campos (campo electrico, campo magnetico, campo
de velocidades de un fluido, etc...).
Un campo vectorial real es una funcion F : Rn Rn de clase C 1 o por lo
menos Lipschitz. Usualmente para visualizarlo se tienen dos alternativas (ver
figuras 1 y 2):
1. Se construye una malla en Rn y se coloca el vector correspondiente al
campo en cada vertice de la malla,
* Este trabajo estuvo parcialmente apoyado por el proyecto UABC 0196.

** Facultad de Ciencias, Campus Ensenada, UABC, alvaro.uabc@gmail.com,
cyeer.mxl@gmail.com, selene.solorza@gmail.com
22
A. Alvarez,
C. Yee, S. Solorza
2. O se encuentra su flujo asociado, que es una trayectoria
x0 : (, ) Rn
de clase C 1 que satisface
(
0x0 (t) = F (x0 (t)), con la condicion inicial
x0 (0) = x0 .
(1)
Figura 1: Ejemplo de las representaciones usuales de un campo en R2 : mediante

vectores en una malla (donde a cada vector se le ha asignado un color distinto
dependiendo de la magnitud del vector) y mediante el flujo asociado a diversas
condiciones iniciales (puntos rojos).
Figura 2: Ejemplo de un campo en R3 , donde se representa al campo mediante

vectores en una malla. Se muestra tambien el flujo asociado a una condicion
inicial.
Ya en estos ejemplos se pueden apreciar algunos inconvenientes relativos a
los metodos usuales de visualizacion. En el caso de vectores colocados en los
n de campos vectoriales sin integracio

n
Visualizacio
23
vertices de la malla:
si la malla que se utiliza es muy fina, los vectores se enciman unos en
otros, por lo que no se aprecia el comportamiento del campo vectorial,
si la malla que se utiliza es muy gruesa, la resolucion puede ser insuficiente para poder obtener informacion relevante del campo.
En el caso de la representacion por medio de flujos:
es necesario elegir distintas condiciones iniciales para poder observar el
comportamiento global del campo,
elegir a-priori estas condiciones iniciales no es sencillo,
la informacion relativa a la parametrizacion (tiempo) de las soluciones
no es facilmente accesible a partir de estas representaciones.
Ademas de estos inconvenientes, es preciso agregar los siguientes: para
encontrar el flujo, es necesario resolver un sistema de ecuaciones, a saber (1),
lo cual en la gran mayora de los casos se tiene que hacer numericamente. El
resolver numericamente el sistema de ecuaciones a su vez acarrea problemas
de caracter numerico como:
eleccion adecuada de algun(os) algoritmo(s) de integracion numerica
(Euler, Newton-Raphson, Runge-Kutta, otros),
la propagacion de errores como funcion de la variable de integracion
(tiempo),
alta demanda de recursos de computo, especialmente cerca de los valores
crticos del flujo (los ceros y las singularidades del campo).
De aqu que sera muy conveniente tener un metodo de visualizacion que no
tuviera estos problemas asociados.
En este minicurso se presenta un metodo cuyos orgenes pueden ser atribuidos a Benzinger, Burns y Palmore [5, 7, 15], que lo aplicaron a campos
vectoriales racionales en el plano, y que nosotros hemos extendido a todo campo vectorial analtico complejo. Las ventajas de este metodo sobre los usuales
son:
permite visualizar de forma global el campo vectorial,
no tiene propagacion de error,
provee informacion relativa a la parametrizacion de las soluciones (tiempos),
24
A. Alvarez,
C. Yee, S. Solorza
permite visualizar de forma eficiente los flujos, aun para condiciones
iniciales especficas,
los recursos de computo requeridos son mucho menores que los que se
necesitan para los otros metodos,
es facilmente paralelizable, esto es, se puede implementar de manera
muy sencilla para que una computadora con varios procesadores pueda
calcular la visualizacion,
es adaptable para otro tipo de campos, incluyendo campos en superficies.
Para presentar este metodo comenzaremos, en la seccion 2, haciendo un repaso

de conceptos basicos de geometra diferencial y de variable compleja; despues
en la seccion 3 hablaremos de campos vectoriales complejos y sus caractersticas principales; en la seccion 4 introduciremos los campos newtonianos, esto
on 5
es, aquellos que pueden ser representados por (z)
0 (z) z , para en la secci
presentar propiamente el metodo aplicado a campos newtonianos, particularmente para funciones racionales; finalmente en la seccion 6 se hablara acerca
de como se puede generalizar este metodo a superficies complejas, a campos
en Rn y a campos sobre variedades diferenciales, para terminar con algunos
otros problemas abiertos.
2.
Antecedentes de geometra
y variable compleja
diferencial
En esta seccion definimos los objetos de estudio basicos para nosotros,

a saber: los campos vectoriales reales. El punto de vista que tomamos es el
de la geometra diferencial, y para ello comenzamos definiendo los conceptos
en Rn , para posteriormente poder extenderlo de manera natural a variedades
diferenciales.
2.1.
Vectores tangentes y espacio tangente
El concepto de vector tangente es conocido desde nuestros cursos de calculo

vectorial como la derivada de una trayectoria, o visto desde un punto de vista
fsico, como la velocidad infinitesimal.
Def inici
on 2.1. Sea : (, ) Rn una trayectoria en Rn de clase C 1 ,
tal que (0) = x0 Rn . Definimos un vector tangente en x0 como el vector
(basado en el origen) dado por 0 (0) Rn . Al conjunto de vectores tangentes
en x0 lo denotaremos por Tx0 Rn y lo llamaremos el espacio tangente a x0 Rn .

n
Visualizacio
25
Es claro que Tx0 Rn

= Rn : por definicion Tx0 Rn Rn . Para la otra contencion, sea v Rn , y consideremos la trayectoria (diferenciable) (t) = x0 + tv,
entonces claramente 0 (0) = v, por lo que v Tx0 Rn .
Ejemplo 2.2. La trayectoria (t) = x0 +tv con x0 = (1, 1, 1) y con v = (0, 1, 2)
da lugar al vector tangente v = (0, 1, 2) en T(1,1,1) R3 .
Recordemos de nuestros cursos de calculo vectorial que dada una funcion
diferenciable
F : Rn Rm
(2)
x 7 F (x),
se tiene, por la regla de la cadena, que si v es un vector tangente en x0 Rn ,
entonces w = (F )0 (0) = DFx0 0 (0) = DFx0 v es el correspondiente vector
tangente en F (x0 ). Esto es, la aplicacion lineal DFx0 lleva vectores tangentes
en x0 a vectores tangentes en F (x0 ):
DFx0 : Tx0 Rn TF (x0 ) Rm
0 (0) 7 0 (0),
(3)
donde = F .
Def inici
on 2.3. Definimos el haz tangente de Rn , denotado por T Rn , como
el conjunto de todas las parejas (x0 , v) con x0 Rn y v Tx0 Rn .
As, dada una funcion diferenciable F : Rn Rm se tiene una aplicacion
natural del haz tangente de Rn al haz tangente de Rm , dada por:
DF : T Rn T Rm
(x0 , 0 (0)) 7 (F (x0 ), DFx0 0 (0)) .
(4)
Otro punto de vista

Para generalizar el concepto de vector tangente, a variedades diferenciables,
sera conveniente utilizar una definicion distinta. Esto se logra mediante el
concepto de la derivada direccional: sea f : Rn R una funcion diferenciable
con valores reales y v Tx0 Rn . De nuestro curso de calculo vectorial sabemos
que la derivada direccional de f en x0 en direccion de v se puede calcular
mediante la formula:
df
(x0 + tv)
= Dfx0 v.
dt
t=0
De manera que considerando en detalle la expresion
Dfx0 v,
26
A. Alvarez,
C. Yee, S. Solorza
se tiene que si v = 0 (0) = (10 (0), 20 (0), , n0 (0)), entonces

Dfx0 v =
n
n
X
X
f
f
(x0 )j0 (0) =
vj
(x0 ),
x
x
j
j
j=1
j=1
(5)
donde vj = j0 (0), de manera que v = (v1 , v2 , , vn ) son las componentes de

v Tx0 Rn .
Esto nos provee de una identificacion clara entre Tx0 Rn , el espacio tangente
a x0 en Rn , y el cotangente Tx0 Rn . Explcitamente tenemos:
Tx0 Rn
= Tx0 Rn
n
X
,
(v1 , v2 , , vn ) 7
vj
xj x0
j=1
(6)
de manera que podemos definir un vector tangente en x0 como en (6).

En particular utilizando esta definicion, las ecuaciones (4) quedan como
DF : T Rn T Rm
!
!
m
n
X
X
7 y0 ,
(Fi (x0 ) v)
,
x0 ,
vj
x
y
j
j
x
y
0
0
i=1
j=1
(7)
donde
y0 = F (x0 ) = (F1 (x0 ), F2 (x0 ), , Fm (x0 )) Rm
y
Fi (x0 ) v =
n
X
j=1
vj
Fi
,
xj x0
(8)
para i = 1, 2, , m con v = (v1 , v2 , , vn ).

Como se vera mas adelante, cuando se generalicen estos conceptos a variedades diferenciales, sera mas conveniente utilizar esta u
ltima notacion.
Ejemplo 2.4. El ejemplo 2.2 en esta notacion se expresa como
v=
+2
T(1,1,1) R3 ,
y (1,1,1)
z (1,1,1)
y cuando el punto base se pueda deducir claramente, o quede claro dentro del
contexto se obviara de manera que la expresion anterior quedara como:
v=
+2
T(1,1,1) R3 .
y
z

n
Visualizacio
2.2.
27
Campo vectorial real
Finalmente podemos definir un campo vectorial como una seccion del haz
tangente, esto es, como una funcion
e : Rn T Rn
X
x 7 (x, X(x)),
(9)
de modo que, abusando de la notacion, diremos que

X : Rn Tx Rn
= Rn
x 7 X(x)
(10)
es un campo vectorial. En particular, debido a (6) tenemos:

Def inici
on 2.5. Un campo vectorial real es una expresion de la forma
X(x1 , x2 , , xn ) =
n
X
vj (x1 , x2 , , xn )
j=1
,
xj
donde las vj son funciones diferenciables con valores reales.

Para entender que son los campos vectoriales, consideremoslo desde otra
perspectiva: recordemos que un vector tangente es un funcional real, de manera que un campo vectorial se puede pensar como un funcional real que act
ua
sobre funciones diferenciables de la siguiente manera:
Sean f, g : Rn R funciones diferenciables, entonces el campo vectorial
real X = X(x) es un funcional real que cumple con:
a) X(f g) = f (x)X(g) + g(x)X(f ), y
b) si f y g son iguales en una vecindad de x, entonces X(f ) = X(g).
Ejemplo 2.6. A manera de ejemplo consideremos el campo vectorial real dado
por
+ x0
,
X(x0 , y0 ) = y0
x (x0 ,y0 )
y (x0 ,y0 )
que usualmente se expresa de manera mas sucinta como
X(x, y) = y
+x .
x
y
Este campo vectorial act

ua sobre funciones diferenciables f de manera que la
df
derivada direccional dt (x0 , y0 ) + t(y0 , x0 ) t=0 es el valor de X(x0 ,y0 ) (f ).
28
2.3.
A. Alvarez,
C. Yee, S. Solorza
Funciones analticas y algunas de sus propiedades

b
asicas
Recordemos que los n

umeros complejos C se definen como los puntos (x, y)
2
en el plano R dotados con una estructura de campo proporcionada por las
operaciones
(x1 , y1 ) + (x2 , y2 ) = (x1 + x2 , y1 + y2 ),
(x1 , y1 )(x2 , y2 ) = (x1 x2 y1 y2 , x1 y2 + x2 y1 ).
Es u
til y com
un denotar por i al vector (0, 1) C, de modo que
z = (x, y) = x + iy C
y entonces las operaciones de suma y producto se siguen de la suma y producto
de binomios con la salvedad de que i2 = 1.
Interpretaci
on geom
etrica
Un n
umero complejo z = x + iy representa un punto en el plano, de modo
que z = r con r = |z| y = arg(z).
La suma corresponde a la suma de vectores en el plano (usualmente conocida como la ley del paralelogramo), mientras que la multiplicacion corresponde
a multiplicar los modulos y sumar los angulos. En particular, multiplicar por
i corresponde a una rotacion por /2.
Funciones analticas
Existen muchas maneras equivalentes de definir a una funcion analtica, en
particular si C es un conjunto abierto, podemos decir que f : C C
es analtica en si
f (z) f (z0 )
lm
zz0
z z0
existe para todo z0 , en cuyo caso denotaremos al lmite por f 0 (z0 ).
Algunas consecuencias de esto es que f (z) = u(z) + iv(z), donde u, v son
funciones con valores reales, es analtica en z0 C, si y solo si
u y v son de clase C 1 y cumplen con las ecuaciones de Cauchy-Riemann,
a saber:
u
v
(z0 )
(z0 ) =
x
y
v
u
(z0 ) = (z0 ).
x
y

n
Visualizacio
29
f es de clase C 1 y
f
(z0 ) = 0,
z
f
f
(z0 ) =
(z0 ) = f 0 (z0 ),
x
z
donde
1
=
z
2
1
=
z
2
1
+
x i y
f (z) =
x
i y

.
an (z z0 )n , para todo z B(z0 , r) con alg

un r > 0.
n0
f (z) es una funcion conforme, esto es, que si es vista desde

la perspectiva

a b
2
2
de una funcion de R a R , entonces Dfz0 es de la forma
.
b a
Algunos ejemplos de funciones analticas son:
Ejemplo 2.7. La funcion
ez = ex (cos(y) + i sin(y))
es analtica en C. Esta funcion permite reescribir, y manipular algebraicamente, la representacion polar: z = r = |z|ei arg(z) .
As mismo, las funciones
sin(z) =
eiz eiz
2i
cos(z) =
eiz + eiz
,
2
son analticas en C
log (z) = log|z| + i arg (z)
es analtica en C\{rei : r 0}, donde arg (z) [, + 2). Recordemos que
ez y log (z) son inversas una de otra.

A. Alvarez,
C. Yee, S. Solorza
30
Un resultado importante acerca de funciones analticas es el siguiente

Teorema. (Continuacion analtica) Sea f una funcion analtica en un conjunto A C abierto y conexo. Sea Zf = {z A : f (z) = 0}, el conjunto de las
races de f en A. Si Zf tiene puntos de acumulacion en A, entonces f 0.
Recordemos tambien el concepto de singularidad aislada y su clasificacion:
un punto a C se dice que es una singularidad aislada de f si a es analtica
en una vecindad de a, mas no necesariamente en a.
Las singularidades aisladas se clasifican en singularidades removibles, polos
de orden k > 0 o singularidades esenciales, como se muestra en la siguiente tabla: Resulta que es muy u
til pensar en que las funciones meromorfas
Cuadro 1: Tabla que muestra los tipos de singularidades aisladas a de f que
puede haber.
Tipo
removible
lm |f (z)|
za
Serie
an (z a)n
Comportamiento geometrico
existe una extension analtica
n=0
de f a este punto
polo de
an (z a)n
existe un menor entero positivo
n=k
k, tal que lm (z a)k f (z) C
orden k > 0
esencial
no existe
za
an (z a)n
f (B(a, r)\{a}) evita a lo mas
n=
b para todo r > 0

2 puntos en C,
(aquellas que tienen solamente polos o singularidades removibles) son funciones analticas que pueden tomar el valor . Tambien resultara conveniente
poder evaluar a una funcion en . Para lograr ambas cosas, introducimos la
proyeccion estereografica
: C S 2 \(0, 0, 1)

2Re(z) 2Im(z) |z|2 1
z 7
,
,
|z|2 + 1 |z|2 + 1 |z|2 + 1
(11)
que permite identificar a la compactificacion de C con S 2 , esto es, S 2

= C
b
{} = C, de manera que ahora se podra hablar de que una funcion toma
b estara determinado por el
el valor , y el comportamiento de f en C
comportamiento de f (1/z) cuando z 0. As, una funcion es analtica en
b si f (a) = .
si f (1/z) es analtica en 0, y tiene un polo en a C

n
Visualizacio
31
Figura 3: Proyeccion estereografica del plano C a la esfera de Riemann, donde

se esta utilizando un mapa de colores para identificar los puntos corresponb al
dientes en el plano y en la esfera. La lnea que parte del polo norte ( C)
plano tiene una parte negra para indicar que esta parte de la lnea se encuentra
por dentro de la esfera.

f (z) =
z 2 (z 1)
z2 z + 1
es analtica en C\{z 3 1}. Los ceros se encuentran exactamente en {0, 1, }

y son de multiplicidad 2, 1 y 1 respectivamente, y tiene polos de orden 1 en
{ei/3 }.

tan(z) =
sin(z)
cos(z)
es analtica en C\{ 2 + n : n Z}. Los ceros se encuentran exactamente

en z = n, n Z y son de multiplicidad 1, y tiene polos de orden 1 en
z = 2 + n : n Z; ademas, no es una singularidad aislada.

A. Alvarez,
C. Yee, S. Solorza
32
3.
Campos vectoriales analticos complejos y

sus f lujos reales asociados
En esta seccion definiremos el concepto de campo vectorial analtico complejo y mostraremos algunas de sus propiedades, particularmente que cada campo
vectorial complejo define dos flujos reales perpendiculares entre s. Para motivar la definicion de los campos vectoriales analticos complejos, consideremos
el campo real
+ v(x, y) ,
F (x, y) = u(x, y)
x
y
donde u(x, y) y v(x, y) son funciones reales que satisfacen las ecuaciones de
Cauchy-Riemann:
u
v
(x, y) = (x, y)
x
y
(Cauchy-Riemann).
u
v
(x, y) = (x, y)
y
x
Entonces, f (z) = u(z) + iv(z) es una funcion analtica compleja y podemos
definir un campo vectorial analtico complejo (CVAC) como
X(z) = f (z)
donde
3.1.
1
2
1
i y
= u(x, y) + iv(x, y)
,
z
z
o
, con la caracterstica de que 2Re(X) = F .
Campos vectoriales analticos complejos
b un conjunto abierto y sea f una funcion analtica en U , a

Sea U C
excepcion de posibles singularidades aisladas.
Por el Teorema de continuacion analtica, se sigue que tanto los ceros como
las singularidades aisladas forman un subconjunto discreto de U . Denotemos
por K, S, E U , a los subconjuntos de polos, ceros y singularidades esenciales
de f , respectivamente. Es claro que estos conjuntos son mutuamente disjuntos
y discretos.
Def inici
on 3.1. Un campo vectorial analtico complejo X(z) es un campo
vectorial analtico en U \ (K E), esto es:
X(z) = f (z)
= u(z) + iv(z)
,
z
z
donde f (z) = u(z) + iv(z) es analtica en U \ (K E) con ceros en S.

n
Visualizacio
33
Como consecuencia del Teorema de continuacion analtica, usualmente no

haremos distincion entre U y U = U \ (K E), y diremos que X(z) es un
campo analtico en U .
3.2.
El f lujo real asociado a un campo vectorial analtico

complejo
En U , mas precisamente en U , existe una correspondencia uno a uno entre

campos vectoriales analticos complejos X y un par de campos reales, F y JF
dada por:
1
F X = (F iJF )
2
F = X + X X.
En coordenadas explcitas esto es:
X = f (z)
= u(x, y) + iv(x, y)
z
z
2Re(X)(x, y) = F (x, y) = u(x, y)
+ v(x, y) .
x
y
2Im(X)(x, y) = JF (x, y) = v(x, y)
+ u(x, y) .
x
y
Es de notarse que estos campos vectoriales reales tienen la caracterstica

de ser perpendiculares entre s, por lo que para precisar al campo vectorial
analtico complejo es suficiente precisar solamente uno de la pareja de campos
vectoriales reales.
Por demas cada uno de los campos vectoriales reales tienen un flujo real
asociado, que en el caso del campo F se define por:
(
z0 0 (x, y) = F (z0 (x, y))
(12)
z0 (0) = z0 .
Por convencion cuando hablemos de las trayectorias de un campo vectorial
complejo, nos referiremos a las trayectorias de sus correspondientes campos
vectoriales reales, esto es, a los flujos que estos determinan.
Comentario 3.2. Es conveniente notar que las soluciones de (12) son las mismas
soluciones que las del siguiente sistema complejo:
(
0z0 (x, y) = f (z0 (x, y))
(13)
z0 (0) = z0 .

A. Alvarez,
C. Yee, S. Solorza
34
Ejemplo 3.3. Sea f (z) = z = x + iy, de modo que:

2Re(X(z)) = x
+y
x
y
y
2Im(X(z)) = y
x .
x
y
Ver figura 4.
.
Figura 4: Flujos reales e imaginarios de un cero simple, esto es, del campo z z
Ejemplo 3.4. Sea f (z) = z 2 = (x2 y 2 ) + i2xy, de modo que:

2Re(X(z)) = (x2 y 2 )
+ 2xy .
x
y
Ver figura 5.
Ejemplo 3.5. Sea f (z) =
1
z
xiy
,
x2 +y 2
2Re(X(z)) =
de modo que:
.
x2 + y 2 x x2 + y 2 y
Ver figura 6.
3.3.
Valores regulares y crticos del f lujo real
Para comprender lo que esta sucediendo recordemos que cuando se encuentra el flujo asociado al campo vectorial, se esta resolviendo la ecuacion
diferencial que define al flujo
0 (t) = f ((t)),

n
Visualizacio
Figura 5: Flujo real de un cero doble, esto es, del campo z 2 z

.
Figura 6: Flujo real de un polo simple, esto es, del campo
1
.
z z
35

A. Alvarez,
C. Yee, S. Solorza
36
por lo que:
b donde la funlos valores regulares del flujo corresponden a puntos en C

cion f (z) es analtica y distinta de cero,
mientras que los valores crticos del flujo corresponden a los ceros y las
singularidades de f (z).
Vease la figura 7.
Figura 7: Flujo real donde se muestra el caso de (a) puntos singulares, (b) cero
de orden 3, y una singularidad tipo polo de orden 3.
Es por esto que cuando se visualizan campos vectoriales es preciso considerar, de manera especial, no solo a las singularidades del campo, sino tambien
a sus ceros.
3.4.
Pullbacks
complejos
de
campos
vectoriales
analticos
Sea
bz C
bw
:C
una aplicacion analtica, tal que w = (z) y supongamos que 0 (z) 6= 0, entonces vectores tangentes en z son llevados a vectores tangentes en w mediante
la derivada de . De modo que:
bw
Lema 3.6. Si Y (w) = g(w) w
es un campo vectorial analtico complejo en C
la aplicacion define un campo vectorial analtico complejo X(z) = f (z) z

,
llamado el pullback de Y denotado por X = (Y ) y la relacion entre X y Y

esta dada por
g((z))
.
f (z) =
0 (z)
Demostracion. La demostracion es consecuencia inmediata de (7).

n
Visualizacio
37
Como ejemplos de campos vectoriales analticos complejos y pullbacks tenemos:

Ejemplo 3.7. El campo vectorial constante
Y (w) =
no tiene ceros en C; sin embargo, utilizando (z) = 1/z vemos que

X(z) = (Y )(z) = z 2
tiene un cero de orden 2 en el origen, de donde se sigue que Y (w) tiene un

cero doble en .
Ejemplo 3.8. Transformaciones fraccionales lineales. Sea Y (t) = g(t) t

b t y consideremos el pullback va un
un campo vectorial analtico complejo en C
b
biholomorfismo de C:
T (z) =
entonces
az + b b
b t , ad bc 6= 0,
: Cz C
cz + d
(cz + d)2
g(T (z)) .
T Y (t) (z) =
(ad bc)
z
El caso particular visto en el ejemplo previo es T (z) = (1/z), donde

T Y (t) (z) = z 2 g(1/z) .

z
Ejemplo 3.9. Campo vectorial constante. El campo vectorial
X(z) =
se obtiene como pullback va (z) = exp(z) a partir del campo

Y (t) = t
4.
.
t
Campos newtonianos
En los ochenta Smale [11, 16] introdujo el concepto de campo newtoniano

en la definicion de las graficas (o grafos) newtonianas que surgen del estudio
del metodo de Newton para encontrar los ceros de un polinomio.

A. Alvarez,
C. Yee, S. Solorza
38
Tomando su definicion como gua tenemos:
se dice que es
Def inici
on 4.1. Un campo vectorial complejo X(z) = f (z) z
un campo newtoniano si se puede representar como
X(z) =
(z)
,
0 (z) z
para alguna funcion analtica .

De aqu se ve inmediatamente que:
Lema 4.2. Un campo es newtoniano si y solo si proviene de t t

va pullback
precisamente por .
Demostracion. Es inmediato de las definiciones.
Comentario 4.3. Notemos tambien que si un campo X(z) = f (z) z

es newtoniano, la funcion analtica que lo define es el recproco de una derivada
logartmica:
0 (z)
1
=
log ((z)) =
.
f (z)
z
(z)
4.1.
Caso meromorfo
Esta u
ltima observacion da lugar a que en el caso de que f (z) sea una
funcion meromorfa en el plano, exista una formula explcita para (vease
[4]). La idea basica de la prueba es utilizar el Teorema de Mittag-Leffler para
expresar al campo en terminos de una expansion tipo fracciones parciales y
luego integrar.
A manera de ejemplo consideremos el caso de los campos racionales (desarrollado por Benzinger en [5]), esto es, cuando
f (z) =
p(z)
q(z)
(14)
con q, p C[z] sin factores comunes, y p monico. En particular tendremos que

J
Y
p(z) =
(z zj )mj
j=1
q(z) = b
K
Y
(z sk )nk ,
k=1
donde mj , nk Z y b C son constantes.

Tendremos entonces (vease Teorema 2.3 de [5]):
(15)

n
Visualizacio
39
Teorema. (Benzinger 91) Sea f (z) una funcion racional como en (14). Entonces f (z) satisface
(z)
f (z) = 0
(z)
si y solo si existen polinomios u
nicos Pj , j = 0, . . . , J con Pj (0) = 0, y constantes u
nicas Aj C, j = 1, . . . , J, tales que:
(z) = CeP0 (z)
J
Y
Pj ( 1 )
(z zj )Aj e zzj ,
(16)
j=1
donde C C es una constante arbitraria.

Demostracion. ():
Por el algoritmo de la division tenemos que
q
r
=d+ ,
p
p
(17)
con d, r C[z] de grado menor que grado de p. Enseguida consideremos la

descomposicion en fracciones parciales de pr :
mj
J
r(z) X X Ajk
=
p(z)
(z zj )k
j=1
k=1
J
X
j=1
mj
X Ajk
Aj0
+
z zj k=2 (z zj )k
(18)
!
.
Sean Pj C[z], j = 0, . . . , J polinomios, tales que:

a) Pj (0) = 0,
b) P00 (z) = d(z) y
c) Pj0 (z) =
mj
P
Ajk z k , para j = 1, . . . , J.
k=2
Entonces por (17) tenemos

J
X
0 (z)
log() =
= P00 (z) +
(z)
j=1
0
Aj0
+ Pj0
z zj
1
z zj

,
(19)

A. Alvarez,
C. Yee, S. Solorza
40
de modo que integrando obtenemos

log (z) = P0 (z) +
J
X
Aj0
log(z zj )

+ Pj
j=1
1
z zj

e
+ C,
(20)
y exponenciando y renombrando Aj = Aj0 obtenemos

(z) = Ce
P0 (z)
J
Y
Pj ( 1 )
(z zj )Aj e zzj .
(21)
j=1
La unicidad de los polinomios Pj , j = 0, . . . , J y de Aj se sigue de la condicion

(a) y de la expansion en fracciones parciales.
():
Es un calculo elemental.
As, tenemos una caracterizacion explcita, y mas importante a
un, un metodo para calcular la (z) en el caso en que tenemos una funcion racional f (z)
(en realidad s se tiene una expansion de Mittag-Leffler del recproco de la
funcion que define al campo).
Ejemplo 4.4. Sea f (z) = z(z+1)(z3)
, entonces encontramos que
(z1)(z2)
(z 1)(z 2)
q(z)
=
,
p(z)
z(z + 1)(z 3)
de modo que d(z) = 0 y descomponiendo en fracciones parciales se ve que
q(z)
1/6
2/3
3/2
=
+
+
,
p(z)
z3
z
z+1
de modo que
(log())0 =
q(z)
1/6
2/3
3/2
=
+
+
,
p(z)
z3
z
z+1
integrando obtenemos
e
log((z)) = log z 2/3 + log(z + 1)3/2 + log(z 3)1/6 + C,
de modo que
(z) = Cz 2/3 (z + 1)3/2 (z 3)1/6 .
De modo que el campo X(z) = z(z+1)(z3)

es pullback de t t
va , por lo
(z1)(z2)
que es un campo newtoniano.
Ejemplo 4.5. Ahora consideremos el caso opuesto: supongamos que sabemos

n
Visualizacio
41
que
(z) = e1/z (z 1)
y encontremos la funcion racional asociada al campo newtoniano dado por
X(z) =
(z)
.
0 (z) z
En este caso, calculando la derivada logartmica de vemos que

0 (z)
1
0
= (log((z))) =
+ log(z 1) ,
(z)
z z
1
1
= 2 +
,
z
z1
(z 1) + z 2
=
,
z 2 (z 1)
z2 z + 1
.
= 2
z (z 1)
(22)
Por lo tanto,
X(z) =
z 2 (z 1)
.
z 2 z + 1 z
Ejemplo 4.6. El campo dado por

X(z) =
1
z(z 1)
2 + 1 z 2 z
2+1
va
es un campo newtoniano que proviene del pullback del campo t t
(z) = z
4.2.
(z 1).
va cubrientes
Caso general: pullback de t t
ramif icados
Si el campo newtoniano no es un campo meromorfo, de todas maneras
proviene del campo t t

va pullback por una funcion : dado un campo
newtoniano X(z) = f (z) z en principio se tiene que

Z z
1
(z) = exp
,
f
pero en general no se tiene una expresion explcita para (en [4] se explora
en mayor detalle esta pregunta, incluyendo el caso de campos descritos por
42
A. Alvarez,
C. Yee, S. Solorza
funciones elpticas).
Sin embargo, tomando el punto de vista de que la es un cubriente rab en s misma, podemos construir campos
mificado de la esfera de Riemann, C,
newtonianos.
Def inici
on 4.7. Un cubriente : V W es una aplicacion continua sobrejectiva, tal que w W, un abierto U 3 w en W con la caracterstica
que 1 (U ) es una union disjunta de abiertos O V , cada uno de los cuales
satisface que : O U es un homeomorfismo.
Un cubriente ramificado : V W es un cubriente excepto en un n
umero
finito de puntos de W . A los puntos excepcionales se les conoce como puntos
de ramificacion.
Por ejemplo, si V y W son superficies de Riemann y : V W es
analtico no constante, entonces P W finito, tal que : V 0 W 0 es un
cubriente, donde W 0 = W \P y V 0 = 1 (W 0 ).
Ahora s, consideremos el siguiente esquema:
bz C
b w , cubrientes analticos ramificados, entonces es posiSean : C
ble hacer pullback va los de campos complejos. Notemos ademas que la
composicion finita de cubrientes ramificados es un cubriente ramificado, por
lo tanto:
b t , si
un campo complejo en C
Teorema 4.8. Sea Y (t) = g(t) t
bz C
bw
1 : C
y
bw C
bt
2 : C
es el pullback va =
son cubrientes ramificados, entonces X(z) = f (z) z
2 1 de Y (t) si y solo si
f (z) =
g((z))
g(2 (1 (z)))
= 0
.
0
(z)
2 (1 (z)) 01 (z)
podremos construir campos newDe manera que si tomamos Y (t) = t t

tonianos. Veamos algunos ejemplos:
Ejemplo 4.9. El campo complejo X(z) = tan(z) z

es el pullback va (z) =
sin(z) del campo complejo Y (t) = t t

, por lo que es un campo newtoniano.
Ejemplo 4.10. El campo X(z) = (cosh(z) + 1) z

se obtiene de t t
va
w1
pullback con = 3 2 1 , donde 3 (s) = exp(s), 2 (w) = w+1
y
1 (z) = exp(z). Tiene ceros en zn = i(2n + 1), n Z.

n
Visualizacio
43
Ejemplo 4.11. El campo X(z) = exp(z) z

se obtiene de t t
va pullback
con = 2 1 , donde 2 (w) = exp(w) y 1 (z) = exp(z). Tiene una
singularidad esencial en .
5.
Visualizaci
on de campos newtonianos
Pasemos ahora al metodo que nos permitira visualizar campos newtonianos.

La idea detras del metodo consiste en que las trayectorias del campo vectorial
se encontraran en las curvas de nivel de una cierta funcion auxiliar, de manera
que para visualizar la trayectoria bastara visualizar las curvas de nivel de dicha
funcion auxiliar.
Sea
(z)
= 0
X(z) = f (z)
z
(z) z
un campo newtoniano, recordemos que las trayectorias z(t) son solucion de
z 0 (t) = z(t) ,
0 z(t)
(23)
z(0) = z0 .
5.1.
La observaci
on fundamental
Una primera observacion esta dada por el siguiente:

Lema 5.1. Una trayectoria z(t) satisface

z(t) = (z0 )et ,
(24)
si y solo si z(t) es una trayectoria del campo newtoniano correspondiente a .

Demostracion. Se sigue de diferenciar implcitamente la ecuacion

z(t) = (z0 )et ,
esto es:

0 z(t) z 0 (t) = (z0 )et
de modo que

z(t)
,
z (t) = 0
z(t)
0
por lo que z(t) es solucion a (23).
44
A. Alvarez,
C. Yee, S. Solorza
En otras palabras, si un rayo,

en la imagen de , contiene a (z0 ), entonces tambien contiene a z(t) , t R.
Comentario 5.2. (Interpretaci
on geom
etrica del lema)
La interpretacion geometrica de esta observacion se puede entender en terminos del pullback como sigue: Las trayectorias de z(t) provienen del campo que
cuyas trayectorias son lneas rectas (paraes pullback (va ) del campo t t
t
metrizadas por e ) que unen 0 con . Vease la figura 8.
Figura 8: Las trayectorias z(t) pasan a trayectorias de t t

bajo el cubriente
.
Consideremos ahora el campo vectorial newtoniano perpendicular al original, esto es:

()
X () = if (z)
= 0
,
z
()

n
Visualizacio
45
con su correspondiente funcion. Se sigue entonces que

0
0
i (log ) = i =
= (log )0 ,
de donde se sigue que = i .

Lema 5.3. Sea el cubriente correspondiente a un campo newtoniano X, y
sea el correspondiente cubriente asociado a X , entonces

log| z | = arg z
y

log| z | = arg z .
Demostracion. Consideremos log , puesto que = i , se sigue que
log|(z)| + i arg {(z)} = log (z)
= log i (z)
= i log (z)
= i log|(z)| + arg {(z)} .
(25)
Llegamos ahora al resultado principal.

Teorema A. Sea z(t) una trayectoria de un campo newtoniano
X(z) =
(z)
,
0 (z) z
entonces
a) log|(z(t))| = arg {(z0 )} es constante a lo largo de las trayectorias, y
b) log|(z(t))| = t + log|(z0 )| es lineal a lo largo de las trayectorias,
donde z0 = z(0).
Demostracion. Para (a) tenemos que por el lema anterior

log| z(t) | = arg z(t)

y como z(t) = (z0 )et , entonces

arg z(t) = arg {(z0 )}
es constante.

A. Alvarez,
C. Yee, S. Solorza
46

Para (b) de nuevo, puesto que z(t) = (z0 )et , vemos que
log|(z(t))| = t + log|(z0 )|.
Corolario 5.4. (Visualizaci

on de campos newtonianos)
1. Las trayectorias de un campo vectorial newtoniano
X(z) =
(z)
0 (z) z
corresponden a las curvas de nivel de la funcion real

h(z) = log|(z)| = arg {(z)}.
b
En particular, para visualizar la trayectoria que pasa por el punto z0 C
es necesario graficar la curva de nivel h(z) = h(z0 ).
2. Ademas, las curvas de nivel de
g(z) = log|(z)| = arg {(z)}
definen bandas de igual tiempo (en el sentido de que las trayectorias z(t)
que intersectan a dicha banda, tardan el mismo tiempo en atravesarla).
3. Por demas no existe propagacion de error al encontrar las trayectorias.
5.2.
Implementaci
on
Dado un campo newtoniano

X(z) = f (z)
(z)
= 0
z
(z) z
se requiere, de acuerdo al Corolario 5.4, graficar las curvas de nivel de la funcion

real h(z) = log|(z)| = arg {(z)}.
Esto se puede hacer tanto en el plano como en la esfera de Riemann,
o en ambas partes. Por demas es conveniente, computacionalmente, graficar
bandas de nivel, donde definimos una banda de nivel asociada al intervalo [a, b)
como aquella region en el plano (o la esfera) donde el valor de la funcion h(z)
pertenezca a dicho intervalo.
Se opto por la visualizacion tanto en la esfera de Riemann como en el plano
utilizando bandas de nivel fijas (todos los intervalos son de la misma longitud)
y se siguio el siguiente algoritmo:

n
Visualizacio
47
1. Se define el tama
no del intervalo, y el n
umero de colores a utilizar,
2. Se crea una triangulacion de la esfera utilizando un algoritmo recursivo
que asegura una triangulacion casi uniforme,
3. Para cada triangulo de la triangulacion de la esfera se encuentra el baricentro z y mediante proyeccion estereografica, se encuentra el correspondiente punto z C,
4. Se calcula el valor h(z),
5. Se asigna un color de entre los elegidos, de manera que cada color tiene
asignado un intervalo de la longitud elegida; al acabarse los colores estos
se repiten,
6. Se colorea el triangulo correspondiente con el color asignado (tanto en
la esfera como el correspondiente triangulo en el plano).
De esta manera se asegura que la resolucion sea uniforme en la esfera, no as en
el plano; sin embargo, debido a la proyeccion estereografica, los triangulos
grandes en el plano quedan muy lejos del origen.
En las siguientes figuras presentamos, a manera de ejemplo, la visualiza2
cion, tanto en el plano como en la esfera, de los campos X(z) = zz2 (z1)
z+1 z
(figura 9) y de X(z) = tan(z) z

(figura 10).
(z1)
Figura 9: Visualizacion del campo X(z) = zz2 z+1
, tanto en el plano comz
plejo como en la esfera de Riemann. Las fronteras de las bandas de nivel
representan lneas de flujo del campo.
Se puede observar que en estas figuras es muy sencillo identificar los ceros,
pero es difcil observar donde se encuentran los polos; para solucionar esto
sera conveniente poder trazar curvas de nivel especficas, esto es, trayectorias
del campo que pasen por un punto z0 determinado.
48
A. Alvarez,
C. Yee, S. Solorza
Figura 10: Campo X(z) = tan(z) z

visualizado en el plano complejo como
en la esfera de Riemann, utilizando las tecnicas descritas en el texto. Las
fronteras de las bandas de nivel representan lneas de flujo del campo.
Curvas de nivel especficas

A veces es conveniente graficar curvas de nivel especficas: supongamos que
se selecciona un punto especfico z0 en el plano y se quiere graficar la curva de
nivel con valor h0 = h(z0 ) (esto es, la trayectoria del campo newtoniano que
pasa por z0 ). Como la unidad fundamental utilizada para la visualizacion es
la triangulacion de la esfera, se requieren pintar los triangulos que intersecten
a la curva de nivel y se ve que:
la funcion H(z, z0 ) = h(z) h(z0 ) puede ser cero en el interior de alg
un
triangulo, a pesar de que en el baricentro del mismo no lo sea,
no se quieren pintar triangulos que no intersecten a la curva de nivel
H(z, z0 ) = 0.
Para lograr esto se considero el siguiente algoritmo:
1. Para cada triangulo de la triangulacion se encuentra su baricentro z ,
as como la distancia maxima del baricentro a cada vertice,
2. Utilizando el hecho de que el gradiente de una funcion con valores
reales
H(z ,z0 )
apunta en la direccion de maximo crecimiento, sea e = |H(z
el
vector
,z )|
0
unitario que apunta en la direccion de maximo crecimiento (notese que
H(z, z0 ) es de clase C , puesto que es la parte real de una funcion
analtica),
3. Recordando que el signo de H cambia si y solo si H pasa por 0, se
considera el producto
H(z +
e, z0 ) H(z
e, z0 )

n
Visualizacio
49
y entonces la curva de nivel H = 0 intersecta al triangulo si el producto

es menor que cero, por lo que si esto ocurre se pinta el triangulo asociado
a z.
As, se pintaran triangulos que intersecten o esten contiguos a uno que s intersecte a la curva H = 0 (ver figura 11).
, tanto en el plano
Figura 11: Visualizacion del campo X(z) = zz2 (z1)
z+1 z
complejo como en la esfera de Riemann. Se han trazado las curvas de nivel
correspondientes a las lneas de flujo que pasan por los polos del campo.
6.
Generalizaciones y problemas abiertos
A continuacion presentamos diversas direcciones por donde se puede generalizar lo que se ha presentado en este minicurso. Comenzamos con generalizar
a superficies complejas, esto es, a variedades analticas; enseguida presentamos
ideas de como se puede llevar a cabo el presente trabajo a campos vectoriales
sobre Rn , generalizando despues a variedades diferenciables de dimension n, y
finalmente presentamos una pregunta abierta relacionada con el caso general
de campos newtonianos.
6.1.
Campos analticos en variedades complejas
Una generalizacion inmediata de lo que se ha presentado en este minicurso

es llevar a cabo la visualizacion de campos analticos complejos sobre variedades complejas. En el caso de dimension (compleja) 1, la generalizacion es
inmediata, pues utilizando las cartas, que una variedad compleja tiene por
definicion, se puede llevar a cabo la visualizacion en C y despues mediante las
coordenadas de la carta llevarla a la variedad compleja.

A. Alvarez,
C. Yee, S. Solorza
50
Para poner esto en un contexto mas formal, recordemos:

Def inici
on 6.1. Un espacio topologico V es una superficie compleja si existe
una coleccion A de conjuntos abiertos U V junto con unos homeomorfismos
f : U C asociados a cada U , que llamaremos coordenadas de la carta,
tales que:
S
los abiertos cubren a la superficie: U = V,
las coordenadas f satisfacen que dados U , U A con U U 6= , se
tiene que las funciones de transicion
f = f1 f : f (U U ) f (U U )
son biholomorfismos (f es analtica, uno a uno, sobre y con inversa
analtica).
A la pareja (U , f ) se le llamara una carta y a la coleccion de todas ellas se
le llamara un atlas de la variedad.
As pues, para generalizar el metodo anteriormente descrito a variedades
e definido localmente en V
complejas, bastara con tomar el campo complejo X
y mediante pushforward con la coordenada de la carta f encontrar el campo
e correspondiente en C. Si este campo es newtoniano en C, entonces
X = f X
se procede a calcular sus trayectorias en C para posteriormente llevarlas a V
mediante f1 , quedando as resuelto el caso de variedades complejas.
6.2.
Campos diferenciales en Rn
En esta direccion s hay avances sustanciales (vease [15] para mayores detalles). Aqu solo mencionamos lo mas sobresaliente, dando un esquema de los
pasos a seguir, pero sin entrar en los detalles.
Dada una funcion F : Rn Rn diferenciable, localmente 1-1, y con inversa
diferenciable, entonces F define un campo vectorial
H(x) = [DF (x)]1 F (x),
donde DF (x) es la matriz jacobiana de derivadas parciales. A este campo H se
le conoce como el campo newtoniano asociado a F , pues satisface la ecuacion
diferencial
dx
= H(x).
dt
Por otra parte, dado un campo vectorial H(x), se puede mostrar que, en
un punto regular x0 de H con H(x0 ) 6= 0, existe F : Rn Rn , tal que H es el

n
Visualizacio
51
campo newtoniano asociado a F . As mismo, H y F satisfacen

DF (x)H(x) = F (x).
(26)
Esta u
ltima ecuacion, al igual que en el caso complejo, esta ntimamente
ligada a las soluciones de
dx
= H(x),
(27)
dt
pues si x(t) satisface que
F (x(t)) = e(tt0 ) F (x(t0 )),
entonces es una trayectoria solucion de (27). De modo que considerando F =
(F1 , F2 , , Fn ) y H = (H1 , H2 , , Hn ), la relacion (26) se reescribe como
H(x) Fi (x) = Fi (x), i = 1, 2, , n.
De modo que proponiendo que Fi = exp [Gi ], se tiene que
H(x) Gi (x) = 1
y cada diferencia Gij = Gi Gj satisface
H(x) Gij (x) = 0,
de modo que las Gij son constantes en las trayectorias de dx
= H(x).
dt
En este caso, de todas maneras hay que resolver unas ecuaciones diferenciales para poder encontrar las Gij , pero dichas ecuaciones son mas sencillas
que las originales que definen a las soluciones de (27).
6.3.
Campos diferenciales en variedades diferenciales
Ya teniendo resuelto el caso en Rn , una opcion inmediata es generalizarlo

a variedades diferenciales de nueva cuenta utilizando cartas. La descripcion es
completamente analoga a la que se da en la seccion 6.1, por lo que se omite.
6.4.
Avances y problemas abiertos
Entre los problemas abiertos que se observan, destacamos solamente el

interesante problema de describir con mayor detalle los campos newtonianos;
en relacion a esto ya se tienen algunos avances en esta direccion:

A. Alvarez,
C. Yee, S. Solorza
52
En el caso complejo: se sabe ya que todo campo vectorial analtico com

(vease
plejo puede ser obtenido va pullback a partir del campo t t
[4]).
En el caso de variedades complejas: recientemente se ha concluido que
todo campo vectorial analtico complejo en una superficie compleja es
un campo newtoniano (vease [2]).
Sin embargo, en el caso real, a
un quedan muchas preguntas por responder.
Si bien todo campo vectorial real de dimension 2, cuyas componentes satisfacen
las ecuaciones de Cauchy-Riemann, se puede describir como un campo vectorial
analtico complejo, y por ende es un campo newtoniano, a
un quedan abiertas
las siguientes preguntas:
En el caso real: cuales campos H permiten una descripcion de las Gij
que no necesiten integracion numerica para obtenerse?, se le puede dar
otra descripcion mas clara a las Gij ?
En el caso de variedades reales: se puede dar una descripcion mas clara de cuales campos en las variedades diferenciales reales admiten una
solucion por estos metodos?
Bibliografa
[1] Alvarez
Parrilla, A. Complex Analytic Vector Field Visualization without
Numerical Integration, preprint, 2008.
[2] Alvarez
Parrila, A.; Fras Armenta, E.; Yee Romero, C. Complex Analytic
Vector Fields on Riemann Surfaces as Newton Vector Fields. En preparacion.
[3] Alvarez
Parrilla, A.; Muci
no Raymundo, J. Dynamics of Complex Analytic
Vector Fields with Essential Singularities, preprint, 2008.
[4] Alvarez
Parrilla, A.; Gomez Arciga, A.; Riesgo Tirado, A. Newton Vector
Fields on the Plane and on the Torus. Aceptado en Complex Variable and
Elliptic Equations. Diciembre de 2008.
[5] Benzinger, Harold E. Plane Autonomous Systems with Rational Vector
Fields. Trans. Amer. Math. Soc. 326 (1991), no. 2, pp. 465483.
[6] Benzinger, Harold E.: Julia Sets and Differential Equations. Proc. Amer.
Math. Soc. 117 (1993), no. 4, pp. 939946.

n
Visualizacio
53
[7] Burns, Scott A.; Palmore, Julian I. The Newton Transform an Operational
Method for Constructing Integrals of Dynamical Systems. Advances in
Fluid Turbulence (Los Alamos, NM, 1988). Phys. D 37 (1989), no. 1-3,
pp. 8390.
[8] Jongen, H.Th.; Jonker P. and Twilt, F. The Continuous, Desingularized Newton Method for Meromorphic Functions. Acta Appl. Math., 13,
(1988), pp. 81121.
[9] Jongen, H.Th.; Jonker P. and Twilt, F. On the Classification of Plane
Graphs Representing Structurally Stable Rational Newton Flows. J. Comb.
Th. Series B. 15(2), (1991), pp. 256270.
[10] Helminck, G. F.; Kamphof, F. H.; Streng, M. and Twilt, F. The Qualitative Behaviour of Newton Flows for Weirstrass-Functions. Complex
Variables and Elliptic Equations, 4710, (2002), pp. 867880.
[11] Hirsch, M. W.; Smale, S. On Algorithms for Solving f (x) = 0. Comm.
Pure Appl. Math., 32, (1979), pp. 281312.
[12] Muci
no-Raymundo, J. Complex Structures Adapted to Smooth Vector
Fields. Math. Ann. 322, (2002), pp. 229265.
[13] Muci
no-Raymundo, J.; Valero-Valdez, C. Bifurcations of Meromorphic
Vector Fields on the Riemann Sphere. Ergod. Th. & Dynam. Sys. 15,
(1995), pp. 12111222.
[14] Newton, T.; Lofaro T. On Using Flows to Visualize Functions of a Complex Variable. Mathematics Magazine, Vol. 69, No. 1 (Feb., 1996), pp.
2834.
[15] Palmore, Julian I.; Burns, Scott A.; Benzinger, Harold E. Ecology Models
and Newton Vector Fields. Nonlinearity in Biology and Medicine (Los
Alamos, NM, 1987). Math. Biosci. 90, (1988), no. 1-2, pp. 219232.
[16] Smale, S. A Convergent Process of Price Adjustment and Global Newton
Methods. J. Math. Econom. 3, (1976), pp. 107120.
Alvaro
Alvarez
Parrilla (alvaro.uabc@gmail.com)
Carlos Yee Romero (cyeer.mxl@gmail.com)
Selene Solorza Calder
on (selene.solorza@gmail.com)
Facultad de Ciencias, Universidad Autonoma de Baja California km 103 carretera Tijuana-Ensenada, Ensenada, Baja California, Mexico.

FM-IIT, UACJ (2008) 5561
El -grupo fundamental de un G-espacio*

Luis Loeza Chin **
Resumen
En este artculo el concepto clasico de grupo fundamental se generaliza
al -grupo fundamental (X, G) de un G-espacio X. Veremos que el -grupo
fundamental es invariante bajo tipos de homotopa, introduciremos el concepto
de H-grupo de transformacion y finalmente relacionaremos a (X, G) con el
grupo fundamental del espacio de orbitas X/G.
1.
Preliminares
Un arco f en (X, G) de orden g (g G) con punto base x0 es un mapeo

f : I X, tal que f (0) = x0 y f (1) = gx0 . A lo largo de esta seccion haremos
referencia u
nicamente a arcos basados en x0 . Sea f1 de orden g1 y f2 de orden
g2 , definimos el arco f1 + g1 f2 de orden g1 g2 como sigue:

f1 (2s),
s [0, 1/2];
(f1 + g1 f2 )(s) =
g1 f2 (2s 1), s [1/2, 1].
Sean f1 y f2 arcos del mismo orden g, se dice que son homotopicos y lo
denotamos por f1 f2 , si existe una homotopa F entre f1 y f2 relativa a
{x0 , gx0 }, es decir, un mapeo F : I I X, tal que:
F (s, 0) = f1 (s)
F (s, 1) = f2 (s)
F (0, t) = x0
F (1, t) = gx0 .
decimos que dos arcos del mismo orden estan relacionados si y solo si son homotopicos; esta relacion es una relacion de equivalencia. La clase de homotopa
del arco f de orden g se denota por [f ; g]; dos clases de homotopa [f ; g1 ] y
[f ; g2 ] de ordenes diferentes son diferentes aun cuando g1 x0 = g2 x0 .
Es facil de verificar que si f1 f10 de orden g1 y f2 f20 de orden g2 ,
entonces f1 + g1 f2 f10 + g1 f20 de orden g1 g2 , as la ecuacion
[f1 ; g1 ] [f2 ; g2 ] = [f1 + g1 f2 ; g1 g2 ]
* Este artculo corresponde a una conferencia impartida en el Seminario de Ecuaciones

Diferenciales y Sistemas Din
amicos febrero-noviembre de 2008.
** Departamento de Fisca y Matmatica IIT-UACJ, luis.loeza@uacj.mx
56
L. Loeza
define una regla de composicion entre las clases de homotopa; esta operacion
es asociativa. Si e denota el elemento neutro de G y ex0 es el camino constante
en x0 , entonces [ex0 ; e] es el neutro de esta operacion; mas a
un, si denotamos
por f al camino f recorrido en sentido inverso, entonces
[f ; g] [g 1 f ; g 1 ] = [ex0 ; e]
con lo cual el conjunto de clases de homotopa de arcos de orden alg
un elemento
de G y con base en x0 es un grupo al que denotamos por (X, x0 , G) y lo
llamamos grupo fundamental en x0 del grupo de transformacion (X, G).
Existe una manera canonica de relacionar a los grupos G, 1 (X) y (X, G)
de la siguiente forma: sea i : 1 (X) (X, G) el monomorfismo dado por
[f ] 7 [f ; e] y j : (X, G) G el epimorfismo dado por [f ; g] 7 g. Entonces
la siguiente sucesion es exacta:
0
/ 1 (X)
(X, G)
0,
(1)
por lo tanto, podemos decir que (X, G) = [1 (X), G], es decir, es una extension de 1 (X) por G; esto es, (X, G) es un grupo tal que contiene un subgrupo
normal N
= 1 (X) y su correspondiente grupo factor (X, G)/N
= G. Si la
extension de grupos fuera u
nica salvo isomorfismos, dados 1 (X) y G estara
completamente determinado el grupo (X, G), pero no lo es; por ejemplo,
tanto Z6 como S3 son extensiones de Z3 por Z2 .
Ejemplo 1.1. Es facil ver que si G es el grupo trivial, entonces
(X, x0 , G)
= 1 (X, x0 ).
Ahora si X es simplemente conexo, entonces (X, x0 , G)
= G.
Ejemplo 1.2. Consideremos el grupo de transformacion (S 1 , Z2 ), donde Z2
act
ua sobre el crculo por antpodas, sea f el arco basado en x0 = (1, 0) de orden
1, afirmamos que [f ; 1] genera a (S 1 , x0 , Z2 ). Por lo tanto, (S 1 , x0 , Z2 ) =
Z.
2.
Dependencia del punto base
Es ampliamente conocido que 1 (X, x0 )

= 1 (X, x1 ) si x1 esta en la misma
arco-componente de x0 . Esto puede extenderse al grupo fundamental de un
grupo de transformacion de la siguiente manera:
Sea un arco en X de x0 a x1 y sea f un arco de orden g con base en x0 ,
entonces + f + g es un arco de orden g con base en x1 ; si f f 0 podemos
verificar que + f + g + f 0 + g. As, induce un mapeo entre los grupos
Grupo fundamental equivariante
57
fundamentales (X, x0 , G) y (X, x1 , G), dado por

: (X, x0 , G) (X, x1 , G)
[f ; g] 7 [ + f + g; g],
(2)
el cual resulta ser un isomorfismo. Esto lo podemos resumir en la siguiente

proposicion:
Proposici
on 2.1. Sea un arco en X de x0 a x1 , entonces induce un
isomorfismo
: (X, x0 , G) (X, x1 , G)
dado por (2).
Una de las cosas que nos gustara que pasara es que
(X, x0 , G)
= (X, x1 , G)
cuando x1 G(x0 ). As, supongamos que x1 = gx0 y sea f un arco de orden g1
con base en x0 , entonces gf es un arco con base en x1 = gx0 y de orden g1 si G
fuera abeliano. Por lo tanto, induce un mapeo entre (X, x0 , G) y (X, x1 , G)
(cuando G es abeliano), dado por
g : (X, x0 , G) (X, x1 , G)
[f ; g1 ] 7 [gf ; g1 ],
(3)
este mapeo resulta ser un isomorfismo, por lo cual tenemos el siguiente resultado:
Proposici
on 2.2. Sea (X, G) un grupo de transformacion tal que G es abeliano, si x1 GX0 = {gx00 | g G, x00 X0 }, donde X0 denota la arcocomponente de x0 . Entonces (X, x0 , G)
= (X, x1 , G).
3.
Tipo de homotopa
En la seccion anterior mostramos que si X es arco-conexo la importancia del

punto base es irrelevante; por tanto, a partir de ahora los espacios a considerar
seran arcoconexos. Sea (, ) : (X, G) (Y, H) un mapeo categorico, es decir,
(gx) = (g)(x)
para toda pareja (x, g), si f es un arco en X de orden g con base en x0 ,
entonces (f ) es un arco en Y con base en y0 = (x0 ) de orden (g); mas a
un,
58
L. Loeza
si f f 0 , entonces (f ) (f 0 ). Por lo tanto, (, ) induce un mapeo entre

clases de homotopa definido por
(, ) : (X, x0 , G) (Y, y0 , H)
[f ; g] 7 [(f ); (g)]
que resulta ser un homomorfismo.
Decimos que dos grupos de transformacion (X, G) y (Y, H) son del mismo
tipo de homotopa si existen mapeos categoricos
(, ) : (X, G) (Y, H)
(0 , 0 ) : (Y, H) (X, G),
tales que y 0 son isomorfos y 0 y 0 son homotopicos a los mapeos

identidad en X y Y , respectivamente. Ahora ya estamos en condiciones de
enunciar nuestro siguiente resultado:
Proposici
on 3.1. El grupo fundamental de un grupo de transformacion es un
invariante bajo tipos de homotopa.
Prueba: Sean (X, G) y (Y, H) dos grupos de transformacion del mismo

tipo de homotopa. Sean (, ) y (0 , 0 ) mapeos categoricos como arriba,
consideremos la siguiente sucesion:
(X, x0 , G)
(,)
(Y, y0 , H)
(0 , 0 )
(X, x1 , G)
(,)
(Y, y0 , H),
donde y0 = (x0 ), 0 (y0 ) = x1 y (x1 ) = y1 . Dado que existe una homotopa F

entre 0 y IdX , podemos unir x1 con x0 por medio del arco he (t) = F (x0 , t);
como 0 ( 1 01 gx0 ) = g0 (x0 ) = gx1 , podemos unir gx1 con 1 01 gx0
por medio de hg (t) = F ( 1 01 gx0 , t). Sea f un arco en X de x1 a gx1 ,
entonces he + f + hg es un arco en X de x0 a 1 01 gx0 ; dada la homotopa
entre 0 (he + f + hg ) y he + f + hg , la podemos modificar a una homotopa
con extremos fijos 0 (he + f + hg ) he + he + f + hg + hg f . Por lo tanto,
(0 , 0 ) (, ) es un homomorfismo suprayectivo de (X, x0 , G) en (X, x1 , G)
que mapea clases de arcos de orden g con base en x0 en clases de arcos de orden
0 g con base en x1 ; puesto que y 0 son isomorfismos solo las clases de
arcos de orden e con base en x0 , se mapean en clases de arcos de orden e con
base en x1 . Ahora bien, el conjunto de clases de arcos de orden e con base
en x0 es isomorfo a 1 (X, x0 ) y (0 , 0 ) (, ) ; restringido a este subgrupo
es el isomorfismo 0 : 1 (X, x0 ) 1 (X, x1 ), entonces (0 , 0 ) (, ) es
uno a uno y por tanto es un isomorfismo; analogamente (, ) (0 , 0 ) es un
isomorfismo. Por lo tanto, (0 , 0 ) es un isomorfismo.
4.
59
H-Grupo de Transformaci
on
En [2] se define lo que es un H-espacio y no es difcil de probar que si X

es un H-espacio, entonces 1 (X, x0 ) es abeliano. Generalizando este concepto
a un G-espacio proponemos la siguiente definicion:
Def inici
on 4.1. Decimos que un G-espacio es un H-grupo de transformacion
si existe un mapeo continuo : X X X equivariante por coordenadas y
un punto x0 X, tales que i ' IdX rel(G(x0 )) y j ' IdX rel(G(x0 )), donde
i, j : X X X son los encajes, tales que i(x) = (x, x0 ) y j(x) = (x0 , x).
Teorema 4.2. Si (X, G) es un H-grupo de transformacion y G, un grupo
abeliano, entonces (X, x0 , G) es abeliano.
Prueba: Sean f, h dos arcos en X basados en x0 de orden g, k respectivamente. Es suficiente probar que f + gh h + kf , dado que G es abeliano.
Notemos que (X X, GG) es un grupo de transformacion donde la accion
es coordenada a coordenada. Sean i, j : X X X como en la definicion 1,
consideremos los arcos (if + (g, e)jh) y (jh + (e, k)if ) en X X basados en
(x0 , x0 ), ambos de orden (g, k) definidos por

(f (2s), x0 )
si s [0, 21 ];
(if + (g, e)jh)(s) =
(gx0 , h(2s 1)) si s [ 12 , 1].

(x0 , h(2s))
si s [0, 21 ];
(jh + (e, k)if )(s) =
(f (2s 1), kx0 ) si s [ 21 , 1].
Como f + gex0 ex0 + f y ex0 + h h + kex0 , entonces (if + (g, e)jh)
(jh + (e, k)if ); mas a
un, dado que (X, G) es un H-grupo de transformacion
existe un mapeo : X X X, tal que i ' IdX y j ' IdX , ambas
relativas a G(x0 ), es decir, existen homotopas F, G : X I X, tales que:
F (x, 0) = i(x)
G(x, 0) = j(x)
F (x, 1) = x
G(x, 1) = x
F (gx0 , t) = gx0
G(gx0 , t) = gx0
para toda g G. Ahora bien,

[(if + (g, e)jh)(s)] =
i(f (2s))
s [0, 12 ];
gj(h(2s 1)) s [ 12 , 1].
definamos H : I I X como

F (f (2s), t)
s [0, 12 ];
H(s, t) =
gG(h(2s 1), t) s [ 12 , 1].
60
L. Loeza
Puede verificarse que H es una homotopa entre (if + (g, e)jh) y f + gh

relativa a {x0 , gkx0 }. Analogamente (jh + (e, k)if ) h + kf , como es
continua, entonces (if + (g, e)jh) (jh + (e, k)if ) y por lo tanto, f + gh
h + kf .
5.
Relaci
on con 1(X/G)
Recordemos que si : X X/G es un mapeo cubriente, por ejemplo,

cuando la accion es propiamente discontinua, entonces la siguiente sucesion es
exacta:
/ (X/G)
/G
/0
/ 1 (X)
(4)
0
Por lo tanto, dado (1) y el lema de la serpiente, si es un mapeo cubriente,
entonces (X, G)
= 1 (X/G).
En particular el ejemplo 2 sera una consecuencia inmediata de lo anterior,
pues la accion libre de un grupo finito en un espacio hausdorff es propiamente
discontinua. Este resultado se puede generalizar de la siguiente manera:
Teorema 5.1. Sea X un espacio arco conexo y G un grupo que act
ua libremente en X, supongamos que : X X/G es una fibracion con la propiedad
de levantamiento u
nico de caminos. Entonces
(X, G)
= 1 (X/G).
Prueba: Sea f un camino en X con base en x0 de orden g y x0 = (x0 ).
Consideremos el mapeo
# : (X, G) 1 (X/G)
[f ; g] 7 [(f )]
que claramente es un homomorfismo. Veamos que # es biyectivo: supongamos
que [(f )] = [ex0 ] = [(ex0 )], entonces (f ) ' (ex0 ), lo que implica que
f ' ex0 , as f (1) = gx0 = x0 ; por tanto, g = e; mas a
un [f, g] = [ex0 , e]. Ahora
bien, sea [h] 1 (X/G), es decir, h es un lazo en x0 ; por hipotesis existe un

tal que h(0) = x0 y h
= (h), entonces
u
nico levantamiento h de h,
# ([h; gh ]) = [(h)] = [h],

donde gh es el u
nico elemento en G, tal que h(1) = gh x0 , con lo cual se completa la prueba.
61
Bibliografa
[1] M. Armstrong. The Fundamental Group of the Orbit Space of a Discontinuous Group. Proc. Cambridge Philos Soc. 64, (1968), pp. 299-301.
[2] C. Kosniowski. Topologa algebraica. Reverte, 1992.
[3] F. Rhodes. On the Fundamental Group of a Transformation Group. Proc.
London Math Soc. 16, (1966), pp. 635-650.
Luis Loeza Chin (luis.loeza@uacj.mx)

Av. Del Charro n
C.P. 32310, A.P. 1594-D.

FM-IIT, UACJ (2008) 6372
n*
Un vistazo a las teoras de torsio
Gustavo Tapia Sanchez **
Resumen
Existen varias formas de definir el concepto de teora de torsion (hereditaria): mediante un funtor de la categora de R-modulos sobre s misma, a traves
de una axiomatizaci
on de ciertas clases de R-modulos, o bien por medio de los
llamados filtros de Gabriel, o finalmente como ciertas clases de equivalencia
de R-m
odulos inyectivos. Ademas, el conjunto de teoras de torsion sobre un
anillo R forma un marco, es decir, es una retcula completa donde el nfimo
distribuye a los supremos arbitrarios. Finalmente mencionaremos algunas de
las teoras de torsi
on m
as estudiadas hasta la fecha.
1.
Introducci
on
En grupos abelianos el concepto de torsion surgio a traves de los elementos

de orden finito. Si G es un grupo abeliano, entonces:
t(G) = {g G| n Z {0}, tal que ng = 0}
es un subgrupo de G, llamado el subgrupo de torsion; se dice entonces que G
es un grupo de torsion si t(G) = G y es libre de torsion si t(G) = {0}.
Las principales propiedades que se tienen son las siguientes (ver [2]):
1. Si f : G G0 es un homomorfismo, entonces f (t(G)) t(G0 ), lo que
permite definir la restriccion f |t(G) : t(G) t(G0 ). Por lo tanto, t( )
es un subfuntor del funtor identidad sobre la categora de los grupos
abelianos.
2. Todos los elementos de t(G) son, por definicion, de orden finito, es decir,
t2 (G) = t(t(g)) = t(G). Se dice entonces que el funtor t( ) es idempotente.
3. Si G se divide entre t(G), el grupo cociente G/t(G) es libre de torsion, es
decir, t(G/t(G)) = {0}. Se dice entonces que el funtor t( ) es un radical.
4. Si G es un grupo de torsion y G0 es un grupo libre de torsion, entonces
Hom(G, G0 ) = {0}.

** Departamento de Fisca y Matmatica IIT-UACJ, gtapia@uacj.mx
64
G. Tapia
5. La clase de todos los grupos de torsion es cerrada bajo subgrupos, cocientes, sumas directas y extensiones.
6. La clase de todos los grupos libres de torsion es cerrada bajo subgrupos,
productos directos, capsulas divisibles y extensiones.
2.
Diversos conceptos de teoras de torsi

on
En la decada de los sesenta del siglo XX, con los trabajos de Dickson
([1]), Gabriel ([3]) y Maranda([6]), aparece un concepto general de teoras de
torsion para R-modulos en diversas formas equivalentes. Hoy en da, existe
una literatura extensa sobre esta area de investigacion (ver [4], [5] y [9]).
Una forma de introducir el concepto de teora de torsion es (guiados por
las propiedades enunciadas anteriormente en el caso de grupos abelianos) mediante un funtor t : M od R M od R, el cual asocia a cada modulo MR
un submodulo de torsion t(M ).
Def inici
on 2.1. Un prerradical r de Mod-R es un subfuntor del funtor identidad sobre Mod-R, es decir, para cada modulo MR se tiene que r(M ) M y
si f : M N , entonces f induce por restriccion r(f ) : r(M ) r(N ).
Def inici
on 2.2. Un prerradical r se llama idempotente si r = r2 , es decir, si
r(r(M )) = r(M ) para todo M M odR, y se llama radical si r(M/r(M )) =
0 para todo M M od R.
Dado un prerradical r, podemos asociarle dos clases de R-modulos derechos,
como sigue:
Tr = {M M od R| r(M ) = M },
Fr = {M M od R| r(M ) = 0}.
Se tiene entonces el siguiente resultado:
Proposici
on 2.3. Tr es cerrada bajo cocientes y sumas directas y Fr es cerrada
bajo submodulos y productos directos. Como consecuencia, si M Tr y N
Fr , entonces HomR (M, N ) = 0.
Esto da lugar al siguiente concepto:
Def inici
on 2.4. Una clase C de R-modulos derechos que es cerrada bajo cocientes y sumas directas, se llama clase de pretorsi
on y en caso de que
sea cerrada bajo submodulos y productos directos, se llama clase libre de
pretorsi
on.
n
Teoras de torsio
65
Dada C una clase de pretorsion, a cada M M od R podemos asociarle

un submodulo t(M ) como sigue:
X
t(M ) =
{N M | N C}.
Claramente t(M ) C y es el mayor submodulo de M perteneciente a C. De esta
forma, C define un prerradical t de M od R, y es obvio que t es idempotente.
Tenemos entonces que:
Proposici
on 2.5. Hay una correspondencia biyectiva entre los prerradicales
idempotentes de M od R y las clases de pretorsion sobre M od R.
Obviamente cuando el funtor r satisface mas condiciones, esto repercute
directamente sobre la clase Tr , y viceversa. As, se tiene el siguiente resultado:
Proposici
on 2.6. Para un prerradical r sobre Mod-R las siguientes condiciones son equivalentes:
1. r es un funtor exacto izquierdo.
2. Si N M M od R, entonces r(N ) = r(M ) N .
3. r es idempotente y Tr es cerrada bajo submodulos.
Cuando una clase de pretorsion es cerrada bajo submodulos, se llama clase
de pretorsion hereditaria. Las proposiciones 1.2 y 1.3 nos dicen entonces que:
Corolario 2.7. Hay una correspondencia biyectiva entre los prerradicales exactos izquierdos de M odR y las clases de pretorsion hereditarias sobre M odR.
La siguiente definicion es de Dickson ([1]):
Def inici
on 2.8. Una teora de torsi
on para M od R es una pareja
(T , F ) de clases no vacas de R-modulos derechos, tales que:
1. M T y N F HomR (M, N ) = 0.
2. HomR (M, N ) = 0, N F M T .
3. HomR (M, N ) = 0, M T N F .
A la clase T se le llama clase de -torsion, consistente de R-modulos de torsion, mientras que a F se le llama clase -libre de torsion, consistente de Rmodulos -libres de torsion. Tenemos entonces las siguientes caracterizaciones:
Proposici
on 2.9. Para una clase no vaca T M od R las siguientes
condiciones son equivalentes:
66
G. Tapia
1. T es una clase de torsion para alguna teora de torsion.
2. T es cerrada bajo cocientes, sumas directas y extensiones.
Proposici
on 2.10. Para una clase no vaca F M od R las siguientes
condiciones son equivalentes:
1. F es una clase libre de torsion para alguna teora de torsion.
2. F es cerrada bajo submodulos, productos directos y extensiones.
De este modo, dada una teora de torsion , T es una clase de pretorsion
y en particular, dado M M od R existe un mayor submodulo t (M ) M
perteneciente a T , el cual es llamado el submodulo de -torsion de M. Un
modulo NR es -libre de torsion si y solo si t (N ) = 0. Es facil checar, ademas,
que el prerradical t es un radical y de aqu se sigue que:
Proposici
on 2.11. Hay una correspondencia biyectiva entre los radicales idempotentes de M od R y las teoras de torsion sobre M od R.
Cuando T es hereditaria decimos que la teora de torsion (T , F ) es hereditaria. Por la proposicion 1.3, sabemos que esto sucede si y solo si el radical
asociado t es exacto izquierdo, de donde obtenemos el siguiente resultado:
Proposici
on 2.12. Hay una correspondencia biyectiva entre las teoras de
torsion hereditarias en M odR y los radicales exactos izquierdos de M odR.
Se ha definido una teora de torsion hereditaria cuando la clase de torsion
T es cerrada bajo submodulos, pero usando la proposicion 1.3, no es difcil ver
que esto es equivalente a que la clase libre de torsion sea cerrada bajo capsulas
inyectivas. De este modo, las proposiciones 1.4 y 1.5 siguen siendo validas si
cambiamos teora de torsion por teora de torsion hereditaria y a los incisos (2)
de cada una a
nadimos las peticiones de que T sea cerrada bajo submodulos
y F , bajo capsulas inyectivas, respectivamente. Se sigue entonces que:
Proposici
on 2.13. Si es una teora de torsion hereditaria, entonces:
1. M T HomR (M, E(N )) = 0, N F .
2. N F HomR (M, E(N )) = 0, M T .
De aqu en adelante, todas las teoras de torsion que consideraremos seran
teoras de torsion hereditarias, sin hacer mencion explcita de ello. Si es una
teora de torsion y M M od R, una familia distinguida de submodulos de
M es la que contiene a todos los submodulos N M , tales que M/N T y
en este caso, se dice que N es -denso en M. En particular, considerando al
n
Teoras de torsio
67
R-modulo derecho RR , un ideal derecho I R es -denso en R si (R/I)R T .

Usaremos la notacion:
L = {IR R| I es -denso en R}.
Las propiedades basicas de L se resumen a continuacion:
Proposici
on 2.14. Si es una teora de torsion en M od R, entonces:
1. Si I L y x R, entonces (I : x) := {r R| xr I} L .
2. Si I R y J L son tales que (I : x) L para todo x J, entonces
I L .
3. Si I, J L , entonces I J L .
4. Si I, J L , entonces IJ L .
5. Si I L e I JR R, entonces J L .
En realidad las propiedades centrales son la (1) y (2) de la proposicion
anterior, por lo que hacemos la siguiente:
Def inici
on 2.15. Cuando un conjunto no vaco de ideales derechos de R
satisface a (1) y (2) de la proposicion anterior, se le llama filtro de Gabriel
de R (algunos autores tambien le llaman filtro idempotente).
El resultado principal sobre los filtros de Gabriel es el siguiente:
Proposici
on 2.16. Hay una correspondencia biyectiva entre las teoras de
torsion sobre M od R y los filtros de Gabriel de R.
Como corolario de esta proposicion, tenemos que las teoras de torsion sobre
M od R forman en realidad un conjunto, el cual es denotado por R tors.
Finalizamos esta seccion con una u
ltima forma equivalente del concepto de
teora de torsion, como ciertas clases de equivalencia de la clase de R-modulos
inyectivos.
Para un anillo R, consideremos la familia ER que contiene a todos los Rmodulos inyectivos. En ER , definimos E1 E2 si y solo si E1 se sumerge en un
producto directo de copias de E2 , y decimos que E1 E2 si y solo si E1 E2
y E2 E1 . Esto define una relacion de equivalencia sobre ER , y denotemos
por [E] a la clase de equivalencia de E ER .
Dada una clase de equivalencia [E], podemos definir las siguientes clases
de R-modulos:
1. F[E] := {M M od R| E(M ) E 0 para alg
un E 0 [E]}.
68
G. Tapia
2. T[E] := {M M od R| HomR (M, E 0 ) = 0 para alg
un E 0 [E]}.

Proposici
on 2.17. Sean R un anillo y [E] una clase de equivalencia, entonces:
1. M T[E] HomR (M, E(N )) = 0 para todo N F[E] .
2. N F[E] HomR (M, E(N )) = 0 para todo M T[E] .
3. F[E] es cerrada bajo submodulos, capsulas inyectivas, productos directos
y extensiones.
4. T[E] es cerrada bajo submodulos, cocientes, sumas directas y extensiones.
De esta forma, cada clase de equivalencia [E] define una u
nica teora de
torsion , a saber, la correspondiente a la clase F[E] (o T[E] ). Recprocamente,
si F es la clase libre de torsion de una teora de torsion , entonces existe una
u
nica clase de equivalencia [E], tal que F = F[E] . Para ello se considera F0 un
conjunto completo de representantes
Q de las clases de isomorfismo de miembros
cclicos de F , y se define E = {E(M )| M F0 }, y se prueba por doble
contencion que F = F[E] .
Todo lo anterior demuestra que las teoras de torsion se pueden definir
como las clases de equivalencia [E].
3.
La retcula R tors
Otro aspecto importante es la estructura de retcula completa del conjunto

de teoras de torsion sobre M od R.
Def inici
on 3.1. Sean , R tors, diremos que si t t , es decir,
si t (M ) t (M ), M M od R.
Proposici
on 3.2. Sean , R tors. Son equivalentes:
1. .
2. T T .
3. F F .
4. L L .
5. E E 0 para alg
un E y alg
un E 0 .
n
Teoras de torsio
69
Ademas, si { } R tors, se definen las teoras de torsion y

como sigue:
\
T =
T ,
\
F =
F .
Proposici
on 3.3. El conjunto R tors con las operaciones y definidas
anteriormente es un marco, es decir, es una retcula completa donde:
( ) = ( ).
En particular, R tors forma una retcula distributiva.
Si C M od R, entonces hay una menor teora de torsion denotada por
(C), tal que C T(C) . Obviamente (C) = { R tors| C T }. De
la misma forma, hay una mayor teora de torsion denotada por (C), tal que
C F(C) . En este caso, tenemos que (C) = { R tors| C F }.
Def inici
on 3.4. (C) se llama la teora de torsion generada por C y (C) se
llama la teora de torsion cogenerada por C.
Es claro que (0) es entonces el elemento menor de R tors y se denota
simplemente por , mientras que (0) es el elemento mayor de R tors y se
denota por .
Dada L una retcula completa, decimos que 0 6= a L es un atomo en L,
si para todo b L la condicion 0 < b a implica que a = b. La retcula L se
dice que es atomica, si para cada 0 6= b L existe a b, donde a L es un
atomo.
Es facil ver que en el conjunto Rtors, los atomos son las teoras de torsion
simples, es decir, las de la forma (S) donde S M odR es un modulo simple;
as tambien es facil ver que esta retcula es atomica.
4.
Algunas teoras de torsi

on importantes
Una de las teoras de torsion mas importantes es la teora de torsion de

Goldie. Dado M M od R, se define el submodulo singular de M como sigue:
Z(M ) = {m M | an(m) e R}.
Se dice entonces que MR es no singular si Z(M ) = 0. Es bien sabido que si
consideramos la familia de todos los R-modulos derechos no singulares, esta
es cerrada bajo submodulos, productos directos, capsulas inyectivas y extensiones, por lo que es la clase libre de torsion de alguna teora de torsion, que
es conocida como la teora de torsion de Goldie, la cual se denota por g . Los
siguientes hechos son basicos acerca de la teora de torsion de Goldie:
70
G. Tapia
1. g = ({R/I| IR e R}).
2. (R) g . A la teora de torsion (R) se le conoce como la teora de
torsion de Lambek.
3. El radical exacto izquierdo asociado a g se denota por Z( ), el cual queda
definido por la regla: Z(M )/Z(M ) = Z(M/Z(M )). En particular, si M
es singular (es decir, si Z(M ) = M ), entonces M Tg .
4. Si RR es no singular, entonces g = (R), Z(M ) = Z(M ) para todo
M M od R y Lg = {I R| IR e R}.
Ejemplo 4.1. Si R = Z es el anillo de los enteros, entonces es claro que Z es

no singular, por lo que si aplicamos el inciso (4) anterior, tenemos que para
un grupo abeliano G, el submodulo de torsion Goldie asociado esta dado por
Z(G), pero en vista de que todos los ideales no cero de Z son esenciales en
Z, entonces para que an(g) e Z es suficiente con que an(g) 6= 0, o lo que es
lo mismo, que exista n Z {0}, tal que ng = 0, y esto es precisamente la
definicion clasica del subgrupo de torsion de G. En otras palabras, la teora de
torsion de Goldie de Z es la teora de torsion clasica de grupos abelianos.
Si R tors y T es cerrada bajo productos directos, se dice que es
una teora de torsion TTF o jansiana. En este caso, el filtro de Gabriel de R
tiene una base que consiste T
de un ideal bilateral idempotente, a saber:
I = {JR R| J es -denso}.
Recprocamente, si I R es un ideal bilateral idempotente, entonces el
conjunto
L = {JR R| I J}
es un filtro de Gabriel y la teora de torsion asociada es TTF.
Claramente el conjunto de teoras de torsion TTF es cerrado bajo nfimos
arbitrarios y en vista de que este conjunto es no vaco (pues contiene a ),
entonces dada cualquier Rtors, existe una teora de torsion TTF mnima,
denotada por , tal que ; a se le conoce como la capsula TTF de .
Por otro lado, cuando T es cerrada bajo capsulas inyectivas, entonces se
dice que es una teora de torsion estable. Ademas de los hechos basicos mencionados arriba, podemos encontrar en la literatura los siguientes resultados:
5. La capsula TTF de g es
g = ({S Simp R| S es proyectivo }),
donde Simp R denota un conjunto fijo de representantes de las clases de
isomorfismo de R-modulos derechos simples (ver [7] para una demostracion de
este hecho).
6. Cada g es una teora de torsion estable (ver [4]).
n
Teoras de torsio
71
Otra teora de torsion importante es la teora de torsion de Goldman que

se define como:
sp = ({S Simp R| S es proyectivo }).
El radical asociado conPsp es la componente proyectiva del zoclo, es decir:
tsp (M ) = {S M | S es simple proyectivo}.
Dada R tors, se define el intervalo [, ] = gen( ) = { R
tors| } y se le conoce como la subretcula de generalizaciones de ; uno
de estos subintervalos mas estudiados es gen(g ). Los resultados principales
obtenidos hasta la fecha son (ver [7] y [8]):
Proposici
on 4.2. Si Q es un anillo regular autoinyectivo derecho, entonces
hay un isomorfismo de retculas:
B(Q) ' gen(g (Q)),
dado por e 7 ((1 e)Q).
Como consecuencia se obtiene que para cualquier anillo R, la retcula
gen(g (R)) es una retcula booleana.
Finalizamos con el siguiente resultado:
Proposici
on 4.3. g y g sp son teoras de torsion complementarias en el
intervalo gen(g ) y por lo tanto, hay un isomorfismo de retculas [g , g ] '
[g sp , ].
Bibliografa
[1] Dickson, S. A Torsion Theory for Abelian Categories. Trans. Amer.
Math. Soc. 121, (1966), pp. 223235.
[2] Fucks, L. Infinite Abelian Groups, Vol. I. Academic Press, New York,
1970.
[3] Gabriel, P. Des Categories Abeliennes, Bull. Soc. Math. France 90,
(1962), pp. 323448.
[4] Golan, J. Localization of Noncommutative Rings. Marcel Dekker, New
York, 1975.
[5] Golan, J. Torsion Theories. Longman Scientific & Technical, Harlow,
1986.
[6] Maranda, J. Injective Structures. Trans. Math. Soc. 110, (1964), pp.
98135.
72
G. Tapia
[7] Raggi, F., y Ros, J. Algunas relaciones entre anillos semiartinianos y la

teora de torsion de Goldie. An. Inst. Mat. UNAM 23, (1983), pp. 4154.
[8] Raggi, F., y Ros, J. On the Lattice Structure of Torsion Theories.
Comm. in Algebra 19(2), (1991), pp. 669674.
[9] Stenstrom, B. Rings and Modules of Quotients. Springer-Verlag, New
York-Berln, 1975.
Gustavo Tapia S
anchez (gtapia@uacj.mx)
Av. Del Charro n
C.P. 32310, A.P. 1594-D.

FM-IIT, UACJ (2008) 7386
El funcional de Mumford-Shah en el
genes: aspectos
procesamiento de ima
ricos y sus aplicaciones*
teo
Boris Mederos **
Resumen
En este trabajo daremos una introduccion al funcional de Mumford-Shah
y su relaci
on con el problema de segmentacion de imagenes. Presentaremos los
principales resultados te
oricos para la demostracion de existencia de minimizadores para este funcional, adoptando el enfoque de Ambrosio y de Giorgi.
Adem
as, discutiremos otras aplicaciones de este funcional dentro del procesamiento de imagen, como la determinacion de texturas e inpainting.
1.
Introducci
on
En la sociedad actual orientada a la informacion, las imagenes digitales

juegan un papel cada vez mas importante como un medio de comunicacion y
representacion compacta del mundo fsico que nos rodea. Extraer informacion
de las imagenes es cada vez mas necesario en areas tan diversas como la medicina, ciencias de los materiales, industria del entretenimiento, sistemas de
informacion geografica, efectos especiales y la industria de la seguridad, entre
otros. La idea de una imagen digital es considerar una malla rectangular de
nodos (pixeles) y asignar a cada pixel de la malla un n
umero que corresponde
al nivel de intensidad de gris de ese pixel en la fotografa. Para extraer informacion de las imagenes digitales mediante modelos de las ecuaciones diferenciales
parciales y el calculo de variaciones, se necesita una representacion continua
de las imagenes digitales que corresponda a una interpolacion de la imagen
digital. Daremos la siguiente definicion de la imagen:
Def inici
on 1.1 (Imagen). Dado un abierto acotado una imagen es una
funcion g : R que es acotada, o sea, g L ().
En las aplicaciones mas frecuentes el dominio de la imagen g es un rectangulo = [a, b] [c, d] y su rango es el intervalo [0, 1].

** Departamento de Fisca y Matmatica IIT-UACJ, bmmadrazo@gmail.com
74
B. Mederos
Uno de los primeros pasos en el proceso de la vision humana y de muchos

animales es el de encontrar los contornos de los objetos que constituyen una
escena real que el ojo observa y posteriormente el cerebro es capaz de determinar cuales son los objetos que constituyen dicha escena. Llamaremos de
segmentacion al proceso de determinar las partes u objetos de una imagen. La
caracterstica fundamental es que en una imagen los objetos constituyen regiones que se separan unas de otras mediante cambios bruscos en la intensidad
(valores de g(x)), o sea, los objetos son regiones donde la imagen g(x) es continua y las discontinuidades de la imagen estan en los contornos de estos objetos.
Basado en estos argumentos una definicion matematica de segmentacion es:
Def inici
on 1.2 (Segmentacion). El problema de segmentacion consiste en
determinar una descomposicion finita del dominio de la imagen g:
= 1 2 ... k
y una aproximacion u g, tal que:
La imagen u vara suavemente dentro de cada region i , i = 1, ..., k (u
restricta a i sea suave).
La imagen u es discontinua a traves de la frontera com
un de los i , i =
1, ..., k.
El problema de segmentacion surge en varios contextos: en reconocimiento
de voz (requiere una segmentacion temporal), en datos provenientes de la
tomografa axial computarizada donde una segmentacion es requerida para
identificar diferentes organos, entre otros. Varios modelos matematicos han
sido propuestos para solucionar este problema, por ejemplo, los modelos de
contorno activo y el funcional de Mumford-Shah, introducido en [9]. En este
u
ltimo nos concentraremos en este trabajo.
Con el objetivo de determinar una aproximacion u suave de g que no contenga
ruido y su conjunto de discontinuidad K, Mumford y Shah propusieron buscar
un par (u, K), donde K es un conjunto de discontinuidades de manera que se
minimice el funcional
Z
|u g| dx +
F (u, K) =
\K
|u|2 dx + H n1 (K)
(M S).
\K
Problemas del calculo de las variaciones donde se minimiza un funcional que

depende de un par funcion conjunto (u, K) son denominados problemas de
El funcional de Mumford-Shah
75
discontinuidad libre, terminologa introducida por De Giorgi [7]. A continuacion explicaremos el significado de cada termino en (M S). En las aplicaciones
de imagenes R2 , luego n = 2. El primer termino
R al procesamiento
2
|u g| dx busca que la funcion u este proxima de g fuera del conjunto de
\K
R
discontinuidad K. El segundo termino \K |u|2 dx tiene por objetivo buscar que la funcion u vare suavemente en \ K y el tercer termino H n1 (K)
corresponde a la medida de Hausdorff n1 dimensional que definiremos a continuacion y tiene por objetivo encontrar el conjunto K con longitud peque
na
de manera que no presente ruido.
Def inici
on 1.3 (Medida de Hausdorff). Sea k 0 y K Rn . La medida k
dimensional de Hausdorff es definida como
H k (K) = lm Hk (K),
0
donde Hk (K) es definida como

Hk (K) =
nX
[ o
wk
k
nf
|diam(A
)|
,
diam(A
)
,
K
Ai ,
i
i
2k
iI
iI
wk es un factor de normalizacion igual a k/2 (1+k/2), donde es la funcion

gamma.
H k coincide con la medida de Lebesgue para 1 k n, si k es entero, H k (K)
es el area k dimensional clasica si K es variedad k dimensional en Rn de clase
C 1 . Para mas detalles sobre medidas de Hausdorff, ver [15].
Nuestro trabajo se organiza de la siguiente forma: en la seccion 2 daremos una
breve introduccion a conceptos de la teora geometrica de la medida y analisis
real como las funciones de variacion acotada, el conjunto de discontinuidad de
una funcion de variacion acotada y la descomposicion de la variacion total. En
la seccion 3 nos concentraremos en la existencia de mnimos para el funcional
(M S). En la seccion 4 se presentan algunas aplicaciones recientes del funcional
(M S) a diferentes subproblemas del procesamiento de imagenes.
2.
Aspectos te
oricos
Esta seccion la dedicaremos a introducir de manera breve varios conceptos

del analisis real y teora geometrica de la medida con el objetivo de poder probar la existencia de mnimo par del funcional (M S). En el resto de este trabajo
usaremos la siguiente notacion: Dado un conjunto A, Ln (A) y |A| denotan su
76
B. Mederos

medida de Lebesgue. Dada una medida por B denotaremos la restriccion
de la medida al conjunto B, o sea, B(A) = (A B). Sea A Rn , su
clausura y frontera se denota por A y A, respectivamente. Ademas, consideraremos al conjunto Rn un dominio acotado.
Uno de los conceptos fundamentales que usaremos es el de conjunto de discontinuidades Su de una funcion u. Dada una funcion u L1loc () definimos
su conjunto de discontinuidades Su de la siguiente manera:
R
o
n
|u(y) z|dy
Br (x)
=0 ,
Su = x : @z R, lm
r0
|Br (x)|
dado x Su , se definen los siguiente n
umeros u+ (x) y u (x) como
|Br (x) {u > t}|
= 0},
r0
|Br (x)|
u+ (x) = nf{ t : lm
|Br (x) {u < t}|

= 0}.
r0
|Br (x)|
u (x) = sup{ t : lm
La clase de funciones que tienen un conjunto Su con estructura apropiada

para el procesamiento de imagenes es el conjunto de las funciones de variacion
acotada, la cual definimos a continuacion:
Def inici
on 2.1 (Funcion de variacion acotada en ). El conjunto de las funciones de variacion acotada BV () es un subconjunto de L1 (), tal que
|Du|() < ,
donde
Z
n
o
1
n
|Du|() = sup u(x) div (x) dx, Cc (, R ), kkL () 1
es la variacion total de u.
Observaci
on 2.2. Si consideramos
el funcional lineal L : Cc1 (, Rn ) R
R
definido como L() = u(x) div (x) dx, entonces aplicando el Teorema de
representacion de Riesz, ver [13], tenemos que existe una funcion : Rn Rn ,
tal que (x) = 1 para |Du|-casi todo x y
Z
Z
L() =
u(x) div (x) dx =
(x) d|Du|.
Observaci
on 2.3. Si u BV () su conjunto de discontinuidad Su es un
77
conjunto n 1 contable rectificable. O sea, Su se descompone de la siguiente

manera:
Su = M0
fi (Rn1 ) = Mi , i = 1, 2, ...,
Mi ,
donde fi : Rn1 Rn son funciones Lipschitz y H n1 (M0 ) = 0.

Una caracterstica importante del conjunto BV () es que permite generalizar
el concepto de permetro de conjuntos, sea E Rn un conjunto tal que su
variacion total |DE |() < , entonces decimos que E tiene permetro finito
en y denotaremos por P (E, ) el n
umero |DE |(). Es facil ver que si E es
de clase C 1 , entonces usando el Teorema de integracion por partes obtenemos
que |DE |() concide con la definicion usual de permetro.
A continuacion demostraremos la propiedad de semicontinuidad de la variacion
total que nos da la propiedad de semicontinuidad del permetro.
Lema 2.4 (Semicontinuidad). Sea fk SBV (), k = 1, 2, ..., tal que fk f
en L1 (), entonces
|Df |() lm inf |Dfk |().
Demostracion. Sea Cc1 (, Rn ), kkL () 1, tenemos que

Z
Z
fk (x) div (x) dx.
f (x) div (x) dx = lm
k
De la observacion 2.2 tenemos que

por lo tanto, tenemos
f (x) div (x) dx =

k
(x) k d|Dfk |,
Z
f (x) div (x) dx = lm
(x) k d|Dfk |
(1)
lm inf |Dfk |().

k
(2)
Luego, aplicando el supremo con respecto a Cc1 (, Rn ), kkL () 1,

obtenemos
|Df |() lm inf |Dfk |().
k
78
B. Mederos
Un aspecto importante es conocer como se descompone la medida |Du| para

una funcion u BV (). Usando el Teorema de descomposicion de Lebesgue
|Du|, se factoriza como
|Du| = |Da u| + |Ds u|, |Da u| << Ln y |Ds u| Ln
(|Ds u| es la parte singular de |Du| respecto a Ln y |Da u| es la parte absolutamente continua de |Du| respecto a Ln ), a su vez |Ds u| se descompone
en

|Ds u| = |Dj u| + |Dc u|, |Dj u| = |Ds u| Su y |Dc u| = |Ds u| \ Su
|Dj u| |Dc u|
|Du| = |Da u| + |Dj u| + |Dc u|.
La medida |Dj u| es conocida como la parte de salto de la medida |Du| y |Dc u|
se conoce como la parte de Cantor de |Du|. El siguiente resultado debido a
Ambrosio [3, 11] da una caracterizacion mas precisa de las medidas |Da u| y
|Dj u|, respectivamente.
Teorema 2.5. Si u BV (), entonces Su es contable n 1 rectificable,
Z
a
|u| dx
|D u| =

|Dj u| = |(u+ (x) u (x)| H n1 Su .
u(x) es el gradiente aproximado de u, o sea, u(x) = (x), donde (x) es
la funcion que satisface
Z
|u(y) u(x) < (x), y x > |
n
dy = 0
lm 1/r
r0
|y x|
Br (x)
para casi todo x .
En relacion a la medida |Dc u| tenemos el siguiente resultado:
Lema 2.6. Si H n1 (K) , entonces |Dc u|(K) = 0.
Un subconjunto de BV () que sera utilizado posteriormente es la clase de las
funciones de variacion acotada especiales SBV () introducida por De Giorgi
y Ambrosio, definido a continuacion:
79
Def inici
on 2.7. u SBV () si y solo si
|Da u| = |Da u| + |Dj u|.
Concluimos esta seccion presentando un importante resultado de extension de
funciones de variacion acotada. Para mas detalles, ver [14, 13].
Lema 2.8. Sea U un conjunto abierto con frontera Lipschitz por partes.
Sea u1 BV (U ) y u2 BV ( \ U ). Sea u la funcion que es una extension de
u1 y u2 simultaneamente:

u1
si x U
u(x) =
(3)
u2
si x \ U,
entonces u BV ().
Una clase importante de funciones son los espacios de Sobolev definidos a
continuacion:
Def inici
on 2.9 (Espacios de Sobolev W 1,p ). El espacio de Sobolev W 1,p ()
es el conjunto de todas las funciones medibles u, tal que u Lp () y su
u
Lp () para todo i = 1, ...n, donde por derivada debil
derivada debil x
i
i-esima entendemos a una funcion g que satisface
Z
Z
(x)
u(x)
dx = g(x) (x) dx, Cc1 (, R),
xi
g se denotara por
u
xi
u u
u
y u = ( x
).
,
, ..., x
n
1 x2
Es facil ver que se cumple la siguiente cadena de inclusiones W 1,2 ()

W 1,1 () BV () cuando es un abierto acotado; por otro lado, existen
funciones como E con E de permetro finito, tal que E BV () \ W 1,2 ().
Terminamos esta seccion presentando un lema que nos da una caracterizacion
del conjunto de discontinuidad de una funcion en W 1,1 ():
Lema 2.10. Si u W 1,1 (), entonces H n1 (Su ) = 0.
Para su demostracion, ver [14].
3.
Existencia de mnimos
Encontrar el par minimizador (u, K), donde K es un conjunto compacto

y u C 1 ( \ K) del funcional (M S) es un problema complejo, debido a que
el funcional depende de dos variables de naturaleza completamente diferente
(una funcion y un conjunto). Varias tecnicas han sido propuestas para estudiar
80
B. Mederos
este funcional como las contribuciones de Mumford y Shah [9], Dal Maso,
Morel y Solomini [5, 12], Ambrosio y De Giorgi [3, 11, 7]. En este trabajo
presentaremos el enfoque introducido por Ambrosio y De Giorgi [3, 11, 7] en
el cual la idea consiste en identificar el conjunto de contornos K con el conjunto
de discontinuidades Su de u, de manera que se elimina la incognita K, o sea,
se considera una variante del funcional (M S) en el espacio SBV () en el cual
se puede encontrar un Teorema de compacidad. En esta seccion abordaremos
este u
ltimo enfoque y posteriormente demostraremos la equivalencia con el
problema (M S), resultado debido a De Giorgi, Carriero y Leaci [8]. As, la
idea es considerar el funcional
Z
|u|2 dx + H n1 (Su )
|u g| dx +
G(u) =
(SM S).
El plan es probar la existencia de un mnimo u SBV () de (SM S) y

posteriormente probar que el par (
u, S u ) es un mnimo del funcional (M S), o
sea, los siguientes dos problemas son equivalentes:
Z
|u|2 dx + H n1 (Su )
|u g| dx +
nf
uSBV ()
|u g| dx +
nf
uW 1,2 (\K)
(SM S)
\K
|u|2 dx + H n1 (K)
(M S).
\K
La existencia de mnimo del funcional (SM S), se deduce del siguiente Teorema
de compacidad debido a Ambrosio:
Teorema 3.1. Sean f : [0, +) [0, +) y : [0, +) [0, +) funciones convexa y concava, respectivamente, no decrecientes y cumpliendo
f (t)
= +,
t+ t
lm
(t)
= +.
t0 t
lm
Sea {un } SBV () una sucesion, tal que sup kun k < y
Z

Z
+
n1
f (un ) dx +
< .
sup
(|un un |) dH
n
Sun
Entonces, hay una sucesion {un } y una funcion u SBV (), tal que un
converge debilmente* en BV () a u, |Dujn | y |Duan | convergen en medida a
|Duj | y |Dua |, respectivamente. Ademas, un * u en L1 y H n1 (Su )
lm inf H n1 (Sunk ).
81
Para su demostracion, ver Ambrosio [3, 11]. De este Teorema de compacidad

se obtiene la existencia de mnimo para el funcional (SM S).
Lema 3.2. El funcional
Z
Z
2
|u| dx + |f u|2 dx + H n1 (Su )
G(u) =
admite un mnimo en u SBV ().
Demostracion. Tomemos un SBV (), tal que lm G(un ) = nf G(u). Debido

al principio del maximo para el funcional
Z
Z
2
|u| dx + |f u|2 dx
L(u) =
tenemos que para uM = (u M ) M , se cumple que L(uM ) L(u) (debido

a que uM (x) = 0R cuando x {|u|
R > M }, uM (x) = u(x) cuando
x {|u| M } y |f uM |2 dx |f u|2 dx si M kf kL ). Por otro
lado, es conocido que SuM Su ; a partir de esto se concluye que
G(uM ) G(u).
Esto significa que podemos considerar la sucesion {un } satisfaciendo kun kL
kgkL . Aplicando el Teorema de compacidad concluimos que de un , se puede
extraer una subsucesion que converge en L1 a una funcion u SBV (), tal
que
H n1 (Su ) lm inf H n1 (Sun ).
Usando el Lema de Fatou tenemos que
Z
Z
2
|u g| dx lm inf
|un g|2 dx.
(4)
(5)
Debido a que un * u en L1 y | |2 es una Rfuncion convexa, entonces por

semicontinuidad del funcional convexo F (h) = |h|2 dx tenemos que
Z
Z
2
|u| dx lm inf
|un |2 dx.
(6)
Combinando (5), (6) con (4) tenemos que

G(u) lm G(un ) = nf G(u);
por lo tanto, u es un mnimo de G.
82
B. Mederos
El siguiente lema muestra que las funciones que son de Sobolev por partes
estan contenidas en la clase SBV ():
Lema 3.3. Sea K un compacto, tal que H n1 (K ) < . Sea u W 1,1 ( \
K) L ( \ K), entonces u SBV () y H n1 (Su \ K) = 0.
Demostraci
on. n N existe una coleccion finita de bolas {Bri } cubriendo
S
K n = i Bri , tal que ri 1/n y
X
wn1 rin1 2n1 [H n1 (K ) + 1].
Luego,
X
rin1
2n1 n1
[H (K ) + 1];
wn1
por lo tanto, |n | 0 y
P (n , )
n2n1 wn n1
[H (K ) + 1].
wn1
Definamos:
un (x) = u(x) si x \ n
Observe que un u en L1 (), o sea,
Por el lema 2.8 un BV () y
y
R
un (x) = 0 si x n .
|un (x) u(x)|dx kuk |n | 0.
|Dun |() = |Duan |() + |Dujn |()

Z
n2n1 wn n1
|u(x)|dx + kuk
[H (K ) + 1].
wn1
\K
Por lo tanto, como un converge a u en L1 tenemos por la semicontinuidad de
la variacion total (ver lema 2.4) que
Z
|Du|()
|u(x)|dx + kuk
\K
n2n1 wn n1
[H (K ) + 1];
wn1
luego, u BV (). Probemos que u SBV (). Sabemos por el lema 2.10 que
si u W 1,1 ( \ K) = H n1 (Su \ K) = 0. Como H n1 (K ) < y |Ds u|
esta concentrada en K , el lema 2.6 garantiza que |Dc u|(K ) = 0; por
lo tanto, |Dc u| = 0 y u SBV ().
83
Un resultado extremamente importante y complejo es el siguiente teorema

debido a De Giorgi, Carriero y Leaci [8], el cual nos permite demostrar la
existencia de mnimo para el funcional (M S):
Teorema 3.4. Si u es un mnimo de G(u), entonces satisface H n1 ( S u \
Su ) = 0.
El siguiente lema muestra la equivalencia de los problemas (SM S) y (M S), de
manera que la existencia de mnimo del problema (SM S) implica la existencia
de mnimos para el funcional de Mumford-Shah:
Lema 3.5. Si u es un mnimo de G(u), entonces (
u, S u ) es un mnimo de
(M S).
Demostracion. Del lema anterior tenemos que si
F (u, K) < = u SBV () y H n1 (Su \ K) = 0;
luego,
F (u, K) G(u);
por lo tanto,
nf F (u, K) nf G(u).
Por otro lado, el lema anterior implica que H n1 ( S u \ Su ) = 0; luego se
tiene que
G(
u) = F (
u, S u ) nf F (u, K);
consecuentemente G(
u) = F (
u, S u ) = nf F (u, K) y el lema esta probado.
El teorema anterior nos dice que el problema (M S) tiene un par minimizador
(u, K) con u W 1,2 ( \ K), pero queremos un minimizador en C 1 ( \ K).
Para demostrar esto se fija K y se observa que u en \K satisface el problema
de Neumann:
u = u g, x \ K
u
= 0, x ( \ K).
n
(7)
(8)
Es conocido que si u satisface el problema de Neumann arriba, entonces u

es C 1 en el interior de \ K. Usando resultados de la Teora de regularidad introducida por De Giorgi, es posible probar la regularidad C 1 hasta la
frontera.
84
4.
B. Mederos
Aplicaciones
En los u
ltimos a
nos varias aplicaciones del funcional (M S) han surgido
dentro del procesamiento de imagenes y vision computacional para resolver
determinados problemas especficos. En esta seccion presentaremos algunas de
estas aplicaciones.
Determinar el conjunto de discontinuidad del gradiente de u tiene gran importancia en procesamiento de imagenes, ya que proporciona informacion acerca
del conjunto de arrugas de la imagen. Para esto, Blake-Zisserman propusieron
un funcional de la siguiente forma:
Z
|g u|2 dx
BZ(u, K1 , K2 ) =
\(K1 K2 )
|2 u|2 dx + H 1 (K1 ) + H 1 (K2 ),
+
\(K1 K2 )
donde K1 es el conjunto de saltos de u; K2 es el conjunto de salto de u y u es

considerada en C 1 ( \ K1 ) C 2 ( \ (K1 K2 )). La existencia de minimizadores
para este funcional ha sido probada en [6].
Debido a oclusion de los objetos en el campo visual, errores en la transmision
sin cables de las imagenes, entre otros factores, existen regiones U del
dominio de la imagen g donde no hay informacion disponible. El problema
de inpainting consiste en recuperar la informacion en estas areas donde no
hay informacion significativa, basandose en la informacion disponible en las
regiones alrededor del area a ser restaurada. Varios modelos matematicos han
sido planteados para este problema, entre los cuales se encuentra el modelo
de Mumford-Shah para impainting propuesto por Esedoglu y Shen [1], el cual
consiste en minimizar el siguiente funcional:
Z
D |g u| dx +
I(u) =
\K
|u|2 dx + +H 1 (K),
(IP )
\K
donde D es la region a restaurar, D es la funcion caracterstica de D y la

imagen restaurada es u que minimiza I(u). Como se
nalaron Esedoglu y Shen,
la imagen restaurada u recupera la informacion faltante cuando la region D
no es muy grande.
85
En [1] se propone una extension de (IP ) que resuelve esta dificultad, agregando un Rtermino que depende de la curvatura de K, conocido por elastica de
Euler K 2 d, al funcional (IP ). Esta extension permite una recuperacion
satisfactoria de regiones D grandes.
Una de las desventajas de (M S) es que no toma en cuenta la posibilidad de
que la imagen
rapidas oscilaciones, es decir, textura, y la presencia
R contenga
2
del termino |u| dx en el funcional favorece a mnimos con alto grado de
suavidad conllevando a una atenuacion de la textura. En este sentido, con el
objetivo de recuperar la textura en la imagen g posiblemente ruidosa, Shen [2]
propuso estudiar el funcional
Z
T (u, K) =
|g u v| dx +
|u|2 dx
\K
\K
Z
+
|(4)1 v|2 dx + H 1 (K).
\K
argmimuH 1 (\K), vH 1 (\K) T (u, K).

La idea es considerar una descomposicion de la imagen g en dos componentes
u H 1 ( \ K) yR v H 1 ( \ K), de manera que, debido a que el funcional
tiene el termino \K |(4)1 v|2 dx, que es peque
no cuando v oscila mucho,
entonces es posible recuperar las texturas mediante la funcion v. Ejemplos
practicos muestran que discontinuidades en las texturas estan presentes en el
conjunto K. El problema (4) esta poco estudiado, y la existencia de mnimo
para este problema esta en abierto.
Bibliografa
[1] S, Esedoglu, and J. Shen. Digital Inpainting Based on the Mumford-ShahEuler Image Model. European J. of Appl Math, 13, (2002), pp. 353-370.
[2] J. Shen. Piecewise H-1 +H0 +H1 Images and the Mumford-Shah-Sobolev
Model for Segmented Image Decomposition. Applied Math Research Exp,
4, (2005), pp. 143-167.
[3] L. Ambrosio. A New Proof of the SBV Compactness Theorem. Cal Var.
Partial Differential Equation, 3, (1995), pp. 127-137.
[4] L. Ambrosio. A Compactness Theorem for a New Class of Functions of
Bounded Variations, Boll. Un Mat Ital, B3, (1989), pp. 857-881.
86
B. Mederos
[5] G. Dal Maso, and J. M. Morel, and S. Solomini. A Variational Method in

Image Segmentation: Existence and Approximation Results. Acta Math,
168, (1992), pp. 89-151.
[6] Carriero, and Leaci, and Tomarelli. Strong Minimizers of Blake and Zisserman Functional. Scuola Norm Sup Pisa CL Sci, 4, 25, (1997), pp.
257-285.
[7] E. De Giorgi, and L. Ambrosio. Un Nuovo Tipo di Funzionale del Calcolo
delle Variazioni. Atti Accad Naz, Lincei Rend. Cl Sci. Fis. Mat. Natur.,
82, 1988, pp. 199-210.
[8] E. De Giorgi, and M. Carriero, and A. Leaci. Existence Theorem for a
Maximum Problem with a Free Discontinuity Set. Archive for Rational
Mechanics and Analysis, 108, (1989), pp. 195-218.
[9] D. Mumford, and J. Shah. Optimal Approximations by Piecewise Smooth
Function and Associated Variational Problems. Comm Pure. Appl. Math,
17, (1989), pp. 577-685.
[10] T. Chan, and J. Shen. Image Processing and Analysis - Variational, PDE,
Wavelet, and Stochastic Methods, SIAM publisher, 2005.
[11] G. Aubert, and P. Komprost. Mathematical Methods in Image Processing.
Springer Verlag, 1999.
[12] J. M. Morel, and S. Solomini. Variational Methods in Image Segmentation.
Birkhauser, 1995.
[13] L. C. Evans, and R. F. Gariepy. Lecture Notes on Measure Theory and
Fine Properties of Functions. CRC Press, 1992.
[14] L. Ambrosio, and N. Fusco, and D. Pallara. Functions of Bounded Variation and Free Discontinuity Problems. Oxford Science Publications, 2001.
[15] Falconer. The Geometry of Fractal Sets. University Press, 1985.
Boris Mederos (bmmadrazo@gmail.com)

Av. Del Charro n
C.P. 32310, A.P. 1594-D.
Las Memorias del Seminario de Ecuaciones Diferenciales y Sistemas

Dinamicos publica artculos de investigacion originales en cualquier area de
las matematicas y sus aplicaciones, y artculos de divulgacion presentados en
el Seminario de EDySD del Departamento de Ciencias Basicas Exactas del
Instituto de Ingeniera y Tecnologa de la Universidad Autonoma de Ciudad
Juarez. Todos los artculos son sometidos a evaluacion para ser publicados.
A los autores
Los artculos deberan ser enviados por correo electronico en alguna version de
LaTeX con un archivo pdf o ps a alguno de los Editores Generales: Elifalet
Lopez Gonzalez (elgonzal@uacj.mx) o Luis Loeza Chin (luis.loeza@uacj.mx),
Instituto de Ingeniera y Tecnologa, UACJ. Av. Del Charro n
um. 450 norte,
Ciudad Juarez, Chih., Mexico. C.P. 32310, A.P. 1594-D.
La presentacion de un artculo para publicacion en las Memorias del Seminario
de Ecuaciones Diferenciales y Sistemas Dinamicos conlleva el compromiso
por parte de sus autores de que este no ha sido previamente publicado o
simultaneamente sometido para publicacion en alguna otra revista.
Las ecuaciones diferenciales tienen la propiedad de transversalidad en las

matematicas pues en su desarrollo teorico aparecen practicamente todas las
areas de las matematicas. Es por ello que su estudio es una excelente perspectiva para el estudio de las matematicas y tienen una gran cantidad de
aplicaciones en ingeniera y en las ciencias en general.
El presente material es un registro de algunas de las actividades realizadas
en el Seminario de Ecuaciones Diferenciales y Sistemas Dinamicos (EDySD)
del Cuerpo Academico de Matematicas del Instituto de Ingeniera y Tecnologa
de la Universidad Autonoma de Ciudad Juarez. Todos los trabajos incluidos se
han presentado en las actividades regulares del seminario o en sesiones especiales de este. Los objetivos principales de estas memorias son: 1. Que se cuente
con un material de consulta para los asistentes al Seminario de EDySD y para
todos los interesados en las areas de ecuaciones diferenciales, sistemas dinamicos y matematicas en general. 2. Dar a conocer y dejar evidencia de algunas
de las actividades desarrolladas por el Cuerpo Academico de Matematicas.

Memorias de Ecuaciones Diferenciales

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Memorias de Ecuaciones Diferenciales

Cargado por

Copyright:

Formatos disponibles

Memorias del Seminario de

Luis Loeza Chin Elifalet Lopez Gonzalez

Con aportaciones de:

Elifalet Lopez Gonzalez, UACJ

Memorias del seminario de ecuaciones diferenciales y sistemas dinamicos

diferencial 3. Campos vectoriales.

Cuidado de la edicion: Luis Loeza Chin, Elifalet Lopez Gonzalez.

Este documento fue creado en LATEX,

Departamento de Ciencias Basicas Exactas

Instituto de Ingeniera y Tecnologa

Direccion General de Difusion Cultural y Divulgacion Cientfica

Coordinacion General de Investigacion y Posgrado

noma de Ciudad Jua

El -grupo fundamental de un G-espacio. (L. Loeza)

El funcional de Mumford-Shah en el procesamiento de im

Las ecuaciones diferenciales tienen la propiedad de transversalidad en las

areas de las matematicas. Por ejemplo: Analisis Matematico, Algebra,

En virtud de la propiedad de transversalidad de las ecuaciones diferenciales

Elifalet Lopez Gonzalez,

Memorias del Seminario de Ecuaciones Diferenciales y Sistemas Dinamicos

* Este trabajo estuvo parcialmente apoyado por el proyecto UACJ 339.

pez, A. Antoln, G. Tapia

En los espacios de Banach se define la derivada de Frechet (ver [4]), que

Un algebra asociativa A sobre un campo F (para este caso F es R o C) es

para x, y A. Esto asegura que la multiplicacion es una funcion continua

Presentamos ejemplos de algebras de Banach B, tanto de dimension finita

1. (R y C). Uno de los ejemplos mas importantes de algebras de Banach es el

pez, A. Antoln, G. Tapia

matrices sobre R). El conjunto de las matrices n n

a1,1 a1,2 a1,n

a2,1 a2,2 a2,n

an,1 an,2 an,n

es un algebra (sobre R) asociativa unital con respecto al producto de

Banach con respecto a la norma de operadores. Esta

Entonces, C y B son esencialmente la misma Algebra

Identificando a los elementos a R con ae B, los elementos de B se

pez, A. Antoln, G. Tapia

9. (Espacios de matrices sobre C). El conjunto M de las matrices n n

10. (Cuaterniones). Los cuaterniones es el conjunto

pez, A. Antoln, G. Tapia

12. Tomamos el espacio de Banach Rn (Cn ) con norma

N = ... ... ... . . . ... .

Memorias del Seminario de Ecuaciones Diferenciales y Sistemas Dinamicos

Los campos vectoriales son objetos matematicos de mucha utilidad, tanto

* Este trabajo estuvo parcialmente apoyado por el proyecto UABC 0196.

Figura 1: Ejemplo de las representaciones usuales de un campo en R2 : mediante

Figura 2: Ejemplo de un campo en R3 , donde se representa al campo mediante

n de campos vectoriales sin integracio

Para presentar este metodo comenzaremos, en la seccion 2, haciendo un repaso

En esta seccion definimos los objetos de estudio basicos para nosotros,

Vectores tangentes y espacio tangente

El concepto de vector tangente es conocido desde nuestros cursos de calculo

n de campos vectoriales sin integracio

Es claro que Tx0 Rn

Otro punto de vista

se tiene que si v = 0 (0) = (10 (0), 20 (0), , n0 (0)), entonces

donde vj = j0 (0), de manera que v = (v1 , v2 , , vn ) son las componentes de

de manera que podemos definir un vector tangente en x0 como en (6).

para i = 1, 2, , m con v = (v1 , v2 , , vn ).

n de campos vectoriales sin integracio

Campo vectorial real

de modo que, abusando de la notacion, diremos que

es un campo vectorial. En particular, debido a (6) tenemos:

donde las vj son funciones diferenciables con valores reales.

f (z) es una funcion conforme, esto es, que si es vista desde