Ampliacin de Variable Compleja

ndice general

1 Funciones holomorfas y meromorfas 1

1.1 Funcin holomorfa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.3 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.4 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.5 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Funcin meromorfa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.1 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.3 Funciones meromorfas sobre supercies de Riemann . . . . . . . . . . . . . . . . . . . . 4
1.2.4 Diversas variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.5 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Productorio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.1 Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3.3 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Teorema de factorizacin de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.1 Motivacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4.2 Las dos formas del teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.3 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.4.4 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

2 Sucesiones y series de funciones analticas 10

3 Transformacin conforme. 11
3.1 Transformacin conforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.1.1 Anlisis complejo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.2 Fraccin continua generalizada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3.2.1 Historia de las fracciones continuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.2.2 Notacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.2.3 Algunas consideraciones elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2.4 Transformaciones fraccionarias lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

i
ii NDICE GENERAL

3.2.5 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3.2.6 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3 Teorema de representacin conforme de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . 19

4 Funciones elpticas 20
4.1 Funcin elptica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.1.1 Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.1.2 Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.1.3 Vase tambin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2 Funciones de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2.1 Funcin sigma de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2.2 Funcin zeta de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
4.2.3 Funcin eta de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.2.4 Funcin p de Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

5 Supercies de Riemann 23
5.1 Supercie de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.1.1 Historia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.1.2 Concepto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.1.3 Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.1.4 Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.1.5 Clasicacin de supercies de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
5.1.6 Referencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

6 Text and image sources, contributors, and licenses 26

6.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
6.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
6.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
Captulo 1

Funciones holomorfas y meromorfas

1.1 Funcin holomorfa

Las funciones holomorfas son el principal objeto de estudio del anlisis complejo; son funciones que se denen
sobre un subconjunto abierto del plano complejo C y con valores en C, que adems son complejo-diferenciables en
cada punto. Esta condicin es mucho ms fuerte que la diferenciabilidad en caso real e implica que la funcin es
innitamente diferenciable y que puede ser descrita mediante su serie de Taylor.
El trmino funcin analtica se usa a menudo en vez del de funcin holomorfa, especialmente para cuando se
trata de la restriccin a los nmeros reales de una funcin holomorfa. Una funcin que sea holomorfa sobre todo el
plano complejo se dice funcin entera. La frase holomorfa en un punto a" signica no slo diferenciable en a, sino
diferenciable en todo un disco abierto centrado en a, en el plano complejo.

1.1.1 Denicin
Si U es un conjunto abierto de C (ver espacio mtrico para la denicin de abierto) y f :U C es una funcin, se
dice que f es complejo-diferenciable en el punto z0 de U si existe el siguiente lmite:

f (z) f (z0 )
f (z0 ) = lim
zz0 z z0

Este lmite se toma aqu sobre todas las sucesiones de nmeros complejos que se aproximen a z0 , y para todas esas
sucesiones el cociente de diferencias tiene que dar el mismo nmero f '(z0 ).
Intuitivamente, si f es complejo-diferenciable en z0 y nos aproximamos al punto z0 desde la direccin r, entonces las
imgenes se acercarn al punto f(z0 ) desde la direccin f '(z0 ) r, donde el ltimo producto es la multiplicacin de
nmeros complejos. Este concepto de diferenciabilidad comparte varias propiedades con la diferenciabilidad en caso
real: es lineal y obedece a las reglas de derivacin del producto, del cociente y de la cadena.
Si f es complejo-diferenciable y las derivadas son continuas en cada punto z0 en U, se dice que f es holomorfa en U.
Es claro que, al igual que en el caso real, si f es holomorfa e inyectiva en U con inversa continua entonces f 1
es holomorfa y su derivada vale:

1
(f 1 ) (z) =
f (f 1 (z))

1.1.2 Ejemplos
Todas las funciones polinmicas en z con coecientes complejos son holomorfas sobre C, y tambin lo son las
funciones trigonomtricas de z y la funcin exponencial. (Las funciones trigonomtricas estn de hecho relacionadas

1
2 CAPTULO 1. FUNCIONES HOLOMORFAS Y MEROMORFAS

estrechamente con esta ltima y pueden denirse a partir de ella usando la frmula de Euler). La rama principal de
la funcin
logaritmo es holomorfa sobre el conjunto C - {z R : z 0}. La funcin raz cuadrada se puede denir
1
como : z = e 2 ln z y es por tanto all donde lo sea la funcin logaritmo ln(z). La funcin 1/z es holomorfa sobre {z
: z 0}. Las funciones trigonomtricas inversas tienen cortes y son holomorfas en todos los puntos excepto en estos
cortes.

1.1.3 Propiedades
Ya que la diferenciacin compleja es lineal y cumple las reglas del producto, del cociente y de la cadena, se tendr
que las sumas, productos, composiciones son tambin holomorfas, y el cociente de dos funciones holomorfas lo ser
all donde el denominador sea distinto de cero.
Cada funcin holomorfa es innitamente diferenciable en cada punto, y coincide con su propia serie de Taylor; esta
serie converger sobre cada disco abierto que se encuentre dentro del dominio U. La serie de Taylor puede converger
en un disco ms grande; por ejemplo, la serie de Taylor para el logaritmo converge sobre cada disco que no contenga al
0, incluso en las cercanas de la lnea real negativa. Ver demostracin de que las funciones holomorfas son analticas.
Si se identica C con R, entonces las funciones holomorfas son las mismas que aquellas funciones de dos variables
reales diferenciables y que cumplan las ecuaciones de Cauchy-Riemann, que son un par de ecuaciones diferenciales
parciales.
Las funciones holomorfas son conformes cerca de los puntos con derivada distinta de cero, en el sentido de que
preservan ngulos y la forma (pero no el tamao) de las guras pequeas.
La frmula integral de Cauchy dice que los valores, dentro de un disco, de una funcin holomorfa, quedan determi-
nados por los valores de la funcin en la frontera del disco.

1.1.4 Vase tambin

funcin meromorfa

funcin antiholomorfa

1.1.5 Referencias
Weisstein, Eric W. Holomorphic function. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.

1.2 Funcin meromorfa

En anlisis complejo, una funcin meromorfa sobre un subconjunto abierto D del plano complejo es una funcin
que es holomorfa en todo D excepto en un conjunto de puntos aislados, llamados polos de la funcin. (La terminologa
viene del Griego clsico meros, que signica parte, en contrapunto a holos, que signica todo.) Dichas funciones
son a veces conocidas como funciones regulares o regulares sobre D.
Toda funcin meromorfa sobre D puede ser expresada como el cociente entre dos funciones holomorfas (no siendo
el denominador la funcin constante 0) denidas sobre D: los polos de la funcin meromorfa ocurren en los ceros del
denominador.
Intuitivamente, una funcin meromorfa es un cociente de dos buenas funciones (holomorfas). Dicha funcin seguir
siendo buena excepto en los puntos en el que el denominador se anula, en los cuales el valor tiende a innito.
Desde un punto de vista algebraico, si D es un espacio conexo, entonces el conjunto de funciones meromorfas es un
cuerpo de fracciones del dominio de integridad del conjunto de funciones holomorfas. Esta relacin es anloga a la
existente entre Q , los racionales, y Z , los enteros.

1.2.1 Ejemplos
Toda funcin racional como
1.2. FUNCIN MEROMORFA 3

La funcin gamma es meromorfa en todo el plano complejo.

f(z) = (z3 2z + 1)/(z5 + 3z 1)

es meromorfa en todo el plano complejo.

Las funciones

f(z) = exp(z)/z and f(z) = sin(z)/(z 1)2

as como la funcin gamma y la funcin zeta de Riemann son meromorfas en todo el plano complejo.

La funcin

f(z) = exp(1/z)
est denida en todo el plano complejo exceptuando el origen, z=0. Sin embargo, el punto z=0 no es
un polo de la funcin sino una singularidad esencial. Por tanto, esta funcin no es meromorfa en todo el
plano complejo. Sin embargo, es meromorfa (incluso holomorfa) en C-{0}.

La funcin f(z) = ln(z) no es meromorfa en todo el plano complejo, ya que no puede ser denida de forma
contnua en todo el plano y ni siguiera quitando un conjunto de puntos aislados.

1.2.2 Propiedades
Como los polos de una funcin meromorfa son aislados, como mucho puede haber una cantidad numerable de ellos.
El conjunto de polos puede ser innito, como se puede ver en la funcin

f(z)=1/sin(z).

Mediante la continuacin analtica para eliminar las singularidades evitables, las funciones meromorfas pueden ser
sumadas, restadas, multiplicadas, y el cociente f/g est bien denido a no ser que g(z) = 0 sobre una componente
conexa de D. Por lo que, si D es conexo, las funciones meromorfas constituyen un cuerpo, de hecho constituyen una
extensin de los complejos.
4 CAPTULO 1. FUNCIONES HOLOMORFAS Y MEROMORFAS

1.2.3 Funciones meromorfas sobre supercies de Riemann

En una supercie de Riemann todo punto admite un entorno abierto que es isomorfo a un subconjunto abierto del
plano complejo. De este modo la nocin de funcin meromorfa puede ser denida para toda supercie de Riemann.
Cuando el conjunto D es la esfera de Riemann, el cuerpo de funciones meromorfas es simplemente el cuerpo de fun-
ciones racionales de una variable sobre el plano complejo, por lo que se puede demostrar que toda funcin meromorfa
sobre la esfera es racional.
Para toda supercie de Riemann, una funcin meromorfa es lo mismo que una funcin holomorfa cuyo espacio de
llegada es la esfera de Riemann y que no toma el valor en todo punto. Los polos corresponden a aquellos nmeros
complejos cuya imagen es .
En una supercie de Riemann no compacta, toda funcin meromorfa puede ser expresada como el cociente de dos
(globalmente denidas) funciones holomorfas. En cambio, sobre una supercie de Riemann compacta toda funcin
holomorfa es constante, mientras que siempre existen funciones meromorfas no constantes.
Las funciones meromorfas sobre una curva elptica se les conoce como funciones elpticas.

1.2.4 Diversas variables

Con mltiples variables complejas, una funcin meromorfa se dene como el cociente local de dos funciones holo-
morfas. Por ejemplo, f(z1 ,z2 )=z1 /z2 es una funcin meromorfa sobre el espacio afn complejo de dos dimensiones.
En este nuevo contexto, no es cierto que cada funcin meromorfa puede ser pensada como una funcin holomorfa
con valores dentro de la esfera de Riemann: hay un conjunto de indeterminacin de codimensin 2 (en el ejemplo
que se ha mostrado, este conjunto consiste en el origen (0,0)). A diferencia de una sola dimensin, en dimensiones
ms altas existen variedades complejas sobre las cuales no hay ninguna funcin meromorfa no constante.

1.2.5 Referencias
Lars Ahlfors, Complex Analysis, McGraw-Hill Education, ISBN 0-07-085008-9
Serge Lang, Complex Analysis, Springer, 2003. ISBN 0-387-98592-1.

1.3 Productorio
El operador productorio o productoria, tambin conocido como multiplicatoria o simplemente producto (por
denotarse como una letra pi mayscula), es un operador matemtico que representa una multiplicacin de una cantidad
arbitraria (nita o innita).

n
ak = am am+1 ... an
k=m

Para todos los valores m < n, si m = n tenemos que:

n
m
m=n, ak = ak = am
k=m k=m

En el caso de que m sea mayor que n, m > n, se le asigna el valor del elemento neutro de la multiplicacin, el uno:

n
m>n, ak = 1
k=m

Se puede denir por induccin como sigue.

1. Se dene
1.3. PRODUCTORIO 5

1
ak = a1
k=1

2. Supuesta denida para un n 1 jo, se dene

( )

n+1
n
ak = ak an+1
k=1 k=1

1.3.1 Ejemplo
Se puede usar el productorio para denir otras igualdades importantes.
Se puede tomar n=1 y aplicar la segunda igualdad para obtener:

( )

2
1
ak = ak (a2 ) = a1 a2
k=1 k=1

Denida para n=2, se puede aplicar otra vez la segunda igualdad con n=2 para luego obtener

( )

3
2
ak = ak (a3 ) = (a1 a2 )a3
k=1 k=1

As, usando la propiedad asociativa de la multiplicacin, el producto (a1 a2 )a3 es el mismo que a1 (a2 a3 ) y, por lo
tanto, podemos prescindir del uso de parntesis sin peligro de confusin y usar simplemente

3
a1 a2 a3 = ak
k=1

Se puede entonces, usar este razonamiento para cualquier n N sin que haya peligro de confusin.
Luego, se puede aplicar la denicin de Multiplicatoria, para denir n! (n factorial) como sigue:

n
k = n!
k=1

Se dene 0! = 1! = 1

1.3.2 Propiedades
Se puede usar el Mtodo de Induccin Matemtica para demostrar algunas propiedades. Para ello, nos basaremos
en la denicin formal por induccin descrita anteriormente.

Propiedad Multiplicativa

( )( )

n
n
n
(ak bk ) = ak bk
k=1 k=1 k=1
6 CAPTULO 1. FUNCIONES HOLOMORFAS Y MEROMORFAS

Demostracin por Induccin i) Tomemos n=1 y veamos si se cumple la igualdad

( )( )

1
1
1
(ak bk ) = a1 b1 = ak bk
k=1 k=1 k=1

y la igualdad es cierta para n=1

ii) Supongmosla cierta para n y analicmosla para n+1

[ ]

n+1
n
(ak bk ) = (ak bk ) (an+1 bn+1 )
k=1 k=1
( )( )

n+1
n
n
(ak bk ) = ak bk an+1 bn+1
k=1 k=1 k=1
(Denicin por induccin)

[( ) ] [( ) ]

n+1
n
n
(ak bk ) = ak (an+1 ) bk (bn+1 )
k=1 k=1 k=1

(Asociatividad en IR) Luego,

(n+1 ) (n+1 )

n+1
(ak bk ) = ak bk
k=1 k=1 k=1

Propiedad Telescpica

n
ak an
= , si cada ak = 0
ak1 a0
k=1

Demostracin por Induccin

i) Analicemos para n=1

1
ak a1
= , con : a0 = 0 y la igualdad es cierta para : n = 1
ak1 a0
k=1

ii) Supongmosla cierta para n y analicmosla para n+1

n+1 ak ( )( )
n ak an+1
k=1 ak1 = k=1 ak1 an (Denicin por induccin)

Luego,

n+1
ak an an+1
=
ak1 a0 an
k=1

que es lo que queramos demostrar.

Ntese que nuestra exigencia era que para cada k , ak = 0 . En particular, para k = n , ak = an = 0 . Luego la
simplicacin es posible y

n+1
ak an+1
=
ak1 a0
k=1
1.4. TEOREMA DE FACTORIZACIN DE WEIERSTRASS 7

1.3.3 Vase tambin

Sumatoria

Factorial

Suma

Multiplicacin

1.4 Teorema de factorizacin de Weierstrass

En matemtica, concretamente en anlisis complejo, el teorema de factorizacin de Weierstrass, llamado as en
honor a Karl Weierstrass, asegura que las funciones enteras pueden ser representadas mediante un producto que
envuelve sus ceros. Adems, cualquier sucesin que tienda al innito tiene asociada una funcin entera con ceros
precisamente en los puntos de esa sucesin.
Una segunda forma extendida a funciones meromorfas permite considerar una funcin meromorfa dada como un
producto de tres factores: los polos, los ceros, y una funcin holomorfa asociada distinta de cero.

1.4.1 Motivacin

Las consecuencias del teorema fundamental del lgebra son dobles.[1] La primera de ellas, cualquier sucesin nita
{c
n } en el plano complejo tiene asociado un polinomio que tiene ceros precisamente en los puntos de esa sucesin,
n (z cn ).

La segunda de ellas, cualquier funcin polinmica p(z) es el plano complejo tiene una factorizacin p(z) = a n (z
cn ), donde a es una constante distinta de cero y cn son los ceros de p.
Las dos formas del teorema de factorizacin de Weierstrass pueden ser pensadas como extensiones superiores
de las
funciones enteras. La necesidad de un mecanismo extra se demuestra cuando se considera el producto n (z cn )
si la sucesin {cn } no es nita. Esto nunca puede denir una funcin entera, porque el producto innito no converge.
As que, en general, no se puede denir una funcin entera de una sucesin de ceros preestablecidos o representar
una funcin entera mediante sus ceros usando las expresiones dadas mediante el teorema fundamental del algebra.
Una condicin necesaria para la convergencia de un producto innito en cuestin es que, cada factor (z cn ) debe
aproximarse a 1 cuando n . As que, parece lgico que se deba buscar una funcin que podra ser 0 en el punto
preestablecido y sin embargo, permanecer prximo a 1 cuando no se encuentre en ese punto, adems de no introducir
ms ceros de los establecidos. Esto se dene con los factores elementales de Weierstrass. Estos factores sirven para el
mismo propsito que los factores (z cn ) de arriba.

Los factores elementales

Tambin se les conoce como factores primarios.[2]

Para n N , se denen los factores elementales como:[3]

{
(1 z) ( ) si n = 0,
En (z) = z1 z2 zn
(1 z) exp 1 + 2 + + n de otra forma.

Su utilidad radica en el siguiente lema:[3]

Lema (15.8, Rudin) para |z| 1, n N

|1 En (z)| |z|n+1 .
8 CAPTULO 1. FUNCIONES HOLOMORFAS Y MEROMORFAS

1.4.2 Las dos formas del teorema

Existencia de una funcin entera con ceros especcos

A veces llamado como teorema de Weierstrass.[4]

Sea {an } una sucesin de nmeros complejos distintos de cero tales que |an | . Si {pn } es cualquier sucesin
de enteros tales que para todo r > 0 ,

1+pn
(r/|an |) < ,
n=1

entonces la funcin

f (z) = Epn (z/an )
n=1

es entera con ceros nicamente en los puntos an . Si el nmero z0 se produce en la sucesin {an } exactamente m
veces, entonces la funcin f tiene un cero en z = z0 de multiplicidad m.

Ntese que la sucesin {pn } en la declaracin del teorema siempre existe. Por ejemplo siempre se podra tomar
pn = n y se obtendra convergencia. Tal sucesin no es nica: cambiando sta un nmero nito de posiciones,
o tomando otra secuencia p'n pn, no se romper la convergencia.
El teorema generaliza lo siguiente: sucesiones en conjuntos abiertos (y por lo tanto regiones) de la esfera de
Riemann tienen funciones asociadas que son holomorfas en esos subconjuntos y tienen ceros en los puntos de
la sucesin.[3]
Ntese tambin que el caso dado por el teorema fundamental del lgebra
est incorporado aqu. Si la sucesin
{an } es nita entonces se puede tomar pn = 0 y obtener: f (z) = c (z an ) .
n

El teorema de factorizacin de Weierstrass

A veces llamado como Teorema del producto/factor de Weierstrass.[5]

Sea una funcin entera, y sea {an } los ceros distintos de 0 de , repetidos acorde con su multiplicidad; supngase
tambin que tiene un cero en z = 0 de orden m 0 (un cero de orden m = 0 en z = 0 signica que (0) 0). Entonces
existe una funcin entera g y una sucesin de enteros {pn } tales que

( )
z [6]
f (z) = z m eg(z) n=1 E pn an .

Ejemplos de factorizacin
( ) ( z2
)
sin z = z n=0 1 z
n ez/n = z n=1 1 n2

( ) ( )
4z 2
cos z = n=0 1 2z
2n1 e2z/(2n1) = n=1 1 (2n1)2

Teorema de factorizacin de Hadamard

Si es una funcin nita con un orden , entonces sta admite una factorizacin

f (z) = z m eg(z) Ep (z/an )
n=1

donde g(z) es un polinomio de grado q, y q .[6]

1.4. TEOREMA DE FACTORIZACIN DE WEIERSTRASS 9

1.4.3 Vase tambin

Teorema de Mittag-Leer

1.4.4 Referencias
[1] Knopp, K. (1996), Weierstrasss Factor-Theorem, Theory of Functions, Part II, New York: Dover, pp. 17.

[2] Boas, R. P. (1954), Entire Functions, New York: Academic Press Inc., ISBN 0821845055, OCLC 6487790, chapter 2.

[3] Rudin, W. (1987), Real and Complex Analysis (3rd edicin), Boston: McGraw Hill, pp. 301304, ISBN 0070542341,
OCLC 13093736.

[4] Weisstein, Eric W. Weierstrasss Theorem. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.

[5] Weisstein, Eric W. Weierstrass Product Theorem. En Weisstein, Eric W. MathWorld (en ingls). Wolfram Research.

[6] Conway, J. B. (1995), Functions of One Complex Variable I, 2nd ed., springer.com: Springer, ISBN 0387903283
Captulo 2

Sucesiones y series de funciones analticas

10
Captulo 3

Transformacin conforme.

3.1 Transformacin conforme

En matemticas, una transformacin conforme es una funcin que preserva ngulos. En el caso ms comn la
funcin es entre dominios del plano complejo.

3.1.1 Anlisis complejo

En el anlisis complejo, una transformacin conforme es una funcin f : A C , diferenciable en z0 A C ,
que preserva el ngulo que dos curvas
: [a, b] A y : [a, b] A , diferenciables en 1 (z0 ) y 1 (z0 ) , respectivamente, forman entre s en z0 . Es
decir f es conforme en z0 cuando se verica

[ ] [ ]
(f ) (z0 ) (z0 )
arg = arg
(f ) (z0 ) (z0 )

siempre y cuando (z0 ) y (z0 ) sean vectores tangentes no nulos.

Una denicin equivalente es que una funcin es conforme si y solamente si es holomorfa o antiholomorfa (es decir
conjugada de una holomorfa) y su derivada es por todas partes diferente a cero. El teorema de representacin conforme
de Riemann establece que cualquiera subconjunto propio abierto y simplemente conexo de C admite una funcin
conforme sobre un disco unitario abierto en C.
Una funcin del plano complejo extendido (que es equivalente conforme a una esfera) sobre s mismo es conforme
(si y slo si) es una transformacin de Moebius o su conjugada.

3.2 Fraccin continua generalizada

En anlisis complejo, una rama de las matemticas, una fraccin continua generalizada o fraccin fractal es una
generalizacin de una fraccin continua en la cual los numeradores parciales y los denominadores parciales pueden
tomar cualesquiera valores reales o complejos.[1]
Una fraccin continua generalizada es una expresin de la forma:

a1
x = b0 +
a2
b1 +
a3
b2 +
a4
b3 +
.
b4 + . .

11
12 CAPTULO 3. TRANSFORMACIN CONFORME.

donde los an (n > 0) son los numeradores parciales, los bn son los denominadores parciales y el trmino principal b0
es el llamado parte entera de la fraccin continua.
Las convergentes sucesivas de la fraccin continua se forma aplicando las frmulas fundamentales de recurrencia:

A0 A1 b1 b0 + a1 A2 b2 (b1 b0 + a1 ) + a2 b0
x0 = = b0 , x1 = = , x2 = = ,
B0 B1 b1 B2 b2 b1 + a2
donde An es el numerador y Bn es el denominador (tambin llamado continuante [2][3] ) del n-simo convergente.
Si la sucesin de convergentes {xn} tiene lmite, la fraccin continua es convergente y tiene un valor denido. Si la
sucesin de convergentes no tiene lmite, la fraccin continua es divergente. La divergencia puede darse por osci-
lacin (por ejemplo, los convergentes pares e impares pueden tender a distinto lmite) o por tendencia a innito o
denominadores Bn iguales a cero.

3.2.1 Historia de las fracciones continuas

La historia de las fracciones continuas comienza con el Algoritmo de Euclides,[4] un procedimiento para encontrar
el mximo comn divisor de dos nmeros naturales m y n. Ese algoritmo introdujo la idea de dividir para extraer un
nuevo resto y entonces dividir por el nuevo resto de nuevo y as, sucesivamente.
Cerca de dos mil aos despus, Rafael Bombelli[5] encontr una tcnica para la aproximacin de las races de ecua-
ciones cuadrticas con fracciones continuas. A partir de ah, el ritmo de desarrollo se aceler. Justo 24 aos despus
Pietro Cataldi present la primera notacin formal[6] para la fraccin continua generalizada. Cataldi representaba
una fraccin continua como

n1 n2 n3
a0 . & & & ,
d1 . d2 . d3
donde los puntos indicaban dnde ira la siguiente fraccin y cada & representa al actual signo ms.
Ms tarde, en el siglo XVII John Wallis[7] introdujo el trmino fraccin continua en la literatura matemtica. Nuevas
tcnicas de anlisis mtematico haban sido presentadas por Newton y Leibniz y una generacin de contemporneos
de Wallis se pusieron a usar el trmino inmediatamente.
En 1748 Euler public un teorema muy importante mostrando que un tipo particular de fraccin continua es equiva-
lente a cierta serie innita muy general.[8] El teorema de fracciones continuas de Euler tiene todava una importancia
crucial en los intentos actuales de reduccin en el problema de convergencia.
Las fracciones continuas pueden aplicarse tambin a problemas de la teora de nmeros y son especialmente tiles
en el estudio de ecuaciones diofnticas. A nales del siglo XVIII Lagrange us fracciones continuas para construir
la solucin general de la ecuacin de Pell, dando as respuesta a una cuestin que haba fascinado a los matemticos
durante ms de mil aos.[9] Sorprendentemente, el descubrimiento de Lagrange implicaba que la expansin de raz
cuadrada de la fraccin continua cannica de cualquier entero no cuadrado perfecto es peridica y as, si el periodo
es de longitud p > 1, contiene una sucesin palindrmica de longitud p - 1.
En 1813 Gauss us un ingenioso truco con la funcin hipergeomtrica compleja para derivar una expresin en for-
ma de fraccin continua que ha sido denominada en su honor.[10] Esa frmula puede usarse para expresar muchas
funciones elementales (e incluso ms funciones avanzadas, como las funciones de Bessel como fracciones continuas
rpidamente convergentes vlidas casi siempre en el plano complejo.

3.2.2 Notacin
La gran expresin de fraccin continua mostrada en la introduccin es, probablemente, la forma ms intuitiva de
fraccin continua para el lector. Desafortunadamente, ocupa un montn de espacio en un libro (y tampoco es fcil su
escritura). As que los matemticos han encontrado algunas notaciones alternativas. Una forma apropiada de expresar
una fraccin continua generalizada tiene el siguiente aspecto:

a1 a2 a3
x = b0 +
b1 + b2 + b3 +
3.2. FRACCIN CONTINUA GENERALIZADA 13

Pringsheim escribi una fraccin continua generalizada del siguiente modo:

a1 | a2 | a3 |
x = b0 + + + +
| b1 | b2 | b3
Karl Friedrich Gauss evocaba el ms familiar producto innito cuando ide esta notacin:

ai
x = b0 + K .
i=1 bi

Aqu K signica Kettenbrche, la palabra alemana para fraccin continua. Esta es probablemente la forma ms
compacta y conveniente para expresar fracciones continuas.

3.2.3 Algunas consideraciones elementales

Aqu se muestran algunos resultados elementales que son de importancia fundamental en el posterior desarrollo de la
teora analtica de fracciones continuas.

Numeradores y denominadores parciales

Si uno de los numeradores parciales an es cero, la fraccin continua innita

ai
b0 + K
i=1 bi

es, precisamente, una fraccin continua nita con n trminos fraccionarios y, por consiguiente, una funcin racional
de el primer n ais y el primer (n + 1) bis. Tal objeto es de poco inters desde el punto de vista adoptado en el anlisis
matemtico, as que habitualmente se asume que ninguno de los ai = 0. No hay necesidad de aplicar esta restriccin
a los denominadores parciales bi.

La frmula determinante

Cuando el n-simo convergente de una fraccin continua

n ai
xn = b0 + K
i=1 bi

se expresa como una fraccin simple xn = An/Bn podemos usar la frmula determinante

An1 Bn An Bn1 = (1)n a1 a2 an = ni=1 (ai )

para relacionar los numeradores y denominadores de los convergentes sucesivos xn and xn entre s. Especcamente,
si ni Bn ni Bn son cero, podemos expresar la diferencia entre el n-primero y el n-simo (n > 0) convergente como
sigue:

An1 An a1 a2 an n (ai )
xn1 xn = = (1)n = i=1 .
Bn1 Bn Bn Bn1 Bn Bn1

La transformacin de equivalencia

Si {ci} = {c1 , c2 , c3 , ...} es cualquier sucesin innita de nmeros complejos no nulos, puede probarse por induccin
que
14 CAPTULO 3. TRANSFORMACIN CONFORME.

a1 c1 a1
b0 + = b0 +
a2 c1 c2 a2
b1 + c1 b1 +
a3 c2 c3 a3
b2 + c2 b2 +
a4 c3 c4 a4
b3 + c3 b3 +
.. ..
. .
donde la igualdad se entiende como una equivalencia, es decir, que los convergentes sucesivos de la fraccin continua
de la izquierda son, exactamente, los mismos que los convergentes de la fraccin de la derecha.
La transformacin de equivalencia es perfectamente general, pero dos casos particulares merecen una mencin es-
pecial. En primer lugar, si uno de los ai es cero, se puede elegir una sucesin {ci} para hacer 1 cada numerador
parcial:

ai 1
b0 + K = b0 + K
i=1 bi i=1 ci bi

donde c1 = 1/a1 , c2 = a1 /a2 , c3 = a2 /(a1 a3 ) y, en general, cn = 1/(ancn).

En segundo lugar, si uno de los denominadores parciales bi es cero, podemos usar un procedimiento similar para
elegir otra sucesin {di} que haga 1 cada denominador parcial:

ai d a
i i
b0 + K = b0 + K
i=1 bi i=1 1

donde d1 = 1/b1 y por otra parte dn = 1/(bnbn).

Estos dos casos especiales de transformaciones de equivalencia son enormemente tiles cuando se analiza el problema
de convergencia general.

Conceptos de convergencia simple

Como ya se ha dicho, la fraccin continua

ai
x = b0 + K
i=1 bi

converge si la sucesin de convergencia {xn} tiende a un lmite nito.

La nocin de convergencia absoluta juega un papel central en la teora de series innitas. No existe una nocin
correspondiente en la teora analtica de fracciones continuas, en otras palabras, los matemticos no hablan de una
fraccin continua absolutamente convergente. A veces la nocin de convergencia absoluta entra, no obstante, en la
discusin, especialmente en el estudio de el problema de la convergencia. Por ejemplo, una fraccin continua en
concreto

1
x= K
i=1 bi

diverge por oscilacin si la serie b1 + b2 + b3 + ... es absolutamente convergente.[11]

A veces los numeradores y denominadores parciales de una fraccin continua se expresan como funciones de variable
compleja z. Por ejemplo, una funcin relativamente simple[12] podra estar denida como

1
f (z) = K .
i=1 z

Para una fraccin continua como esta, la nocin de convergencia uniforme surge de forma bastante natural. Una
fraccin continua de una o ms variables complejas es uniformemente convergente en un entorno abierto si los
3.2. FRACCIN CONTINUA GENERALIZADA 15

convergentes de la fraccin convergen uniformemente en cada punto de . O, dicho de otro modo, si para cada >
0 puede encontrarse un entero M tal que el valor absoluto de la diferencia

ai (z) n ai (z)
f (z) fn (z) = K K
i=1 bi (z) i=1 bi (z)

es menor que para cada punto z en un entorno abierto cuando n > M, la fraccin continua denida por f(z) es
uniformemente convergente en . (Aqu fn(z) denota el n-simo convergente de la fraccin continua, evaluado en el
punto z del interior de , y f(z) es el valor de la fraccin continua innita en el punto z.)

Convergentes pares e impares

Es en ocasiones necesario separar una fraccin continua en sus partes pares e impares. Por ejemplo, si la fraccin
continua diverge por oscilacin entre dos puntos lmite distintos p y q, entonces la sucesin {x0 , x2 , x4 , ...} debe
converger a uno de estos y {x1 , x3 , x5 , ...} debe converger al otro. En tal situacin puede ser conveniente expresar la
fraccin continua original como dos fracciones continuas diferentes, una de ellas convergiendo a p y la otra a q.
Las frmulas para las partes pares e impares de una fraccin continua pueden escribirse de forma ms compacta si
la fraccin ya se ha transformado, de este modo todos sus denominadores parciales son uno. Especcamente, si

ai
x= K
i=1 1
es una fraccin continua, entonces la parte par x y la parte impar x vienen dadas por

a1
xeven =
a2 a3
1 + a2
a4 a5
1 + a3 + a4
a6 a7
1 + a5 + a6
..
.
y

a1 a2
xodd = a1
a3 a4
1 + a2 + a3
a5 a6
1 + a4 + a5
a7 a8
1 + a6 + a7
..
.
respectivamente. Con ms precisin, si los sucesivos convergentes de la fraccin continua x son {x1 , x2 , x3 , ...},
entonces los sucesivos convergentes de x como se escriban ms arriba son {x2 , x4 , x6 , ...} y los convergentes
sucesivos de x son {x1 , x3 , x5 , ...}.[13]

Condiciones para la irracionalidad

Si a1 , a2 , . . . y b1 , b2 , . . . son enteros positivos con ak bk para todo k sucientemente grande, entonces

ai
x = b0 + K
i=1 bi

converge a un lmite irracional.[14]

16 CAPTULO 3. TRANSFORMACIN CONFORME.

3.2.4 Transformaciones fraccionarias lineales

Una transformacin fraccionaria lineal (TFL) es una funcin compleja de la forma

a + bz
w = f (z) = ,
c + dz
donde z es una variable compleja y a, b, c, d son constantes complejas arbitrarias. Suele imponerse una restriccin
adicional que ad bc , para dejar fuera los casos en los cuales w = f(z) es una constante. La transformacin
fraccionaria lineal, tambin conocida como transformacin de Mbius, tiene muchas propiedades fascinantes. Cuatro
de ellas son de importancia primordial en el desarrollo de la teora analtica de fracciones continuas.

Si d 0, la TFL tiene uno o dos puntos jos. Esto puede verse si se considera la ecuacin

f (z) = z dz 2 + cz = a + bz

que es claramente una ecuacin cuadrtica en z. Las races de esta ecuacin son puntos jos de f(z). Si
el discriminante (c b)2 + 4ad es cero, la TFL da lugar a un punto jo; en otro caso, tiene dos puntos
jos.

Si ad bc, la TFL es una biyeccin del plano complejo extendido en s mismo . En otras palabras esta TFL
tiene funcin inversa

a + cw
z = g(w) =
b dw

tal que f(g(z)) = g(f(z)) = z para todo punto z en el plano complejo extendido y ambos, f y g preservan
ngulos y formas a escalas muy pequeas. Desde la formulacin z = g(w) se comprueba que g es tambin
una TFL.

La composicin de dos TFL diferentes para las cuales ad bc es tambin una TFL para la cual ad bc. En otras
palabras, el conjunto de todas las TFL para las cuales ad bc es cerrado para la composicin de funciones.
El conjunto de tales TFL juntas con la operacin como grupo de composicin - se conoce como un grupo
automrco del plano complejo extendido.

Si b = 0 la TFL se reduce a

a
w = f (z) = ,
c + dz

lo cual es una funcin mermrca muy simple de z con un polo simple (at c/d) y un resto igual a a/d.
(Vase tambin Serie de Laurent).

La fraccin continua como una composicin de TFL

Considrese una sucesin de transformaciones fraccionarias lineales simples

a1 a2 a3
0 (z) = b0 + z, 1 (z) = , 2 (z) = , 3 (z) = ,
b1 + z b2 + z b3 + z
3.2. FRACCIN CONTINUA GENERALIZADA 17

Aqu se usa la letra griega (tau) para representar cada TFL simple y se adopta la notacin habitual para la com-
posiccin de funciones. Tambin se introduce un nuevo smbolo n para representar la composicin de n+1 - , es
decir,

T1 (z) = 0 1 (z) = 0 (1 (z)), T2 (z) = 0 1 2 (z) = 0 (1 (2 (z))),

y as, sucesivamente. Por substitucin directa desde el primer conjunto de expreseiones en el segundo, se ve que

a1
T1 (z) = 0 1 (z) = b0 +
b1 + z
a1
T2 (z) = 0 1 2 (z) = b0 +
a2
b1 +
b2 + z
y, en general,

n ai
Tn (z) = 0 1 2 n (z) = b0 + K
i=1 bi

donde el ltimo denominador parcial en la fraccin continua nita K se entiende que es bn + z. Y, desde bn + 0 =
bn, la imagen del punto z = 0 bajo la iteracin de la TFL n es de hecho el valor de la fraccin continua nita con n
numeradores parciales:

n ai
Tn (0) = Tn+1 () = b0 + K .
i=1 bi

Una interpretacin geomtrica

La intuicin no puede nunca reemplazar una prueba matemtica. No obstante, es una til herramienta que, a me-
nudo, sugiere nuevas lneas de ataque que nalmente resuelven problemas inicialmente intratables. Si se dene una
fraccin continua nita como la imagen de un punto bajo la iteracin de una TFL (z) se llega intuitivamente a una
interpretacin geomtrica de la fracciones continuas innitas. A continuacin se puede ver cmo funciona.
La relacin

n ai An
xn = b0 + K = = Tn (0) = Tn+1 ()
i=1 bi Bn
es probablemente mejor comprendida mediante la reescritura de las TFL n(z) y n(z) en trminos de frmulas
fundamentales de recurrencia:

(bn + z)An1 + an An2 zAn1 + An

Tn (z) = Tn (z) = ;
(bn + z)Bn1 + an Bn2 zBn1 + Bn
(bn+1 + z)An + an+1 An1 zAn + An+1
Tn+1 (z) = Tn+1 (z) = .
(bn+1 + z)Bn + an+1 Bn1 zBn + Bn+1
En la primera de estas ecuaciones la razn tiende a An/Bn as como z tiende a cero. En la segunda, la razn tiende a
An/Bn como z tiende a innito. Esto lleva a la primera interpretacin geomtrica. Si la fraccin continua converge,
los convergentes sucesivos An/Bn estn eventualmente tan juntos como se desee. En virtud de que la transformacin
fraccionaria lineal n(z) es una transformacin continua , debe haber un entorno de z = 0 que se transforma en
un entorndo arbitrariamente pequeo de n(0) = An/Bn. De un modo similar, debe haber un entorno del punto en
innito que se transforma en un entorno arbitrariamente pequeo de n() = An/Bn. As, si la fraccin continua
converge la transformacin n(z) convierten z muy pequeas y z muy grandes en un entorno arbitrariamente pequeo
de x, el valor de la fraccin continua, cuando n se hace ms y ms grande.
18 CAPTULO 3. TRANSFORMACIN CONFORME.

Y qu ocurre con los valores intermedios de z? Bien, en virtud de que los sucesivos convergentes se hacen ms
cercanos entre s, se tiene

An1 An An1 Bn1

=k
Bn1 Bn An Bn

donde k es una constante, introducida por conveniencia. Pero entonces, sustituyendo en la expresin por n(z) se
obtiene

( ) ( )
zAn1 + An An z AAn1 +1 An zk + 1 An
Tn (z) = = n
=
zBn1 + Bn Bn z BBn1
n
+1 Bn zk + 1 Bn

as que incluso los valores intermedios de z (excepto cuando z k1 ) se transforman en entornos arbitrariamente
pequeos de x, el valor de la fraccin continua, as como n se hace ms y ms grande. Intuitivamente es casi como si
el convergente de la fraccin continua transformara por completo el plano complejo extendido en un simple punto.[15]
Ntese que la sucesin {n} cae dentro del grupo de automorsmo del plano complejo extendido, en el momento en
que cada n es una transformacin lineal fraccionaria para la cual ab cd. Y cada miembro del grupo de automorsmo
se aplica desde el plano complejo extendido en s mismo no uno de los n puede posiblemente aplicar el plano en
un solo punto. Todava en el lmite de la sucesin {n} dene una fraccin continua innita la cual (si converge)
representa un solo punto en el plano complejo.
Cmo es esto posible? Pinsese del siguiente modo: cuando una fraccin continua innita converge, la sucesin
correspondiente {n} de TFL se enfoca en el plano en la direccin de x, el valor de la fraccin continua. En cada
etapa del proceso una regin ms y ms grande del plano se aplica en un entorno de x, y una regin ms y ms pequea
del plano se va achicando hasta cubrir el borde de ese entorno.[16]
Y qu hay de las fracciones continuas divergentes? Pueden tambin ser interpretadas geomtricamente? En una
palabra, s. Se distinguen tres casos:

1. Las dos sucesiones {n} y {n} podran denirse como dos fracciones continuas convergentes que tienen
dos valores diferentes, x y x . En este caso, la fraccin continua denida por la sucesin {n} diverge
por oscilacin entre dos distintos puntos lmite. Y de hecho esta idea puede generalizarse (pueden construirse
sucesiones {n} que oscilan entre tres o cuatro o incluso cualquier nmero de puntos lmite. Se llega a intere-
santes instancias de este caso cuando la sucesin {n} constituye un subgrupo de orden nico en el grupo de
automorsmos sobre el plano complejo extendido.

2. La sucesin {n} puede producir un nmero innito de denominadores cero Bi mientras que tambin produce
una subsucesin de convergentes nitos. Estos convergentes nitos podran no repetirse o caer en un patrn de
oscilacin reconocible. O podran converger a un lmite nito o incluso oscilar entre mltiples lmites nitos.
Sin importar como se comporten los convergentes nitos, la fraccin denida por la sucesin {n} diverge por
oscilacin con el punto en innito en este caso.[17]

3. La sucesin {n} podra producir no ms de un nmero nito de denominadores cero Bi, mientras que la
subsucesin de convergentes nitos baila ampliamente alrededor de el plano en un patrn que nunca se repite
y nunca alcanza un lmite nito tampoco.

Se pueden construir interesantes ejemplos de los casos 1 y 3 mediante el estudio de la fraccin simple continua

z
x=1+
z
1+
z
1+
z
1+
..
.
donde z es cualquier nmero real tal que z < .
3.3. TEOREMA DE REPRESENTACIN CONFORME DE RIEMANN 19

3.2.5 Vase tambin

Fraccin continua
Fraccin continua de Gauss

Fraccin continua de Euler

3.2.6 Referencias
[1] Medra \cfrac{a_3}{b_3 + \cfrac{a_4}{\ddots\,. Falta el |ttulo= (ayuda)}}</math>

[2] Thomas W. Cusick; Mary E. Flahive (1989). The Marko and Lagrange Spectra. American Mathematical Society. p. 89.
ISBN 0-8218-1531-8.

[3] George Chrystal (1999). Algebra, an Elementary Text-book for the Higher Classes of Secondary Schools and for Colleges:
Pt. 1. American Mathematical Society. p. 500. ISBN 0-8218-1649-7.

[4] 300 BC Euclides, Elements - El algoritmo de Euclides genera una fraccin continua como un producto-por

[5] 1579 Rafael Bombelli, L'Algebra Opera

[6] 1613 Pietro Cataldi, Trattato del modo brevissimo di trovar la radice quadra delli numeri, (Tratado sobre un modo rpido
de encontrar la raz cuadrada de un nmero).

[7] 1695 John Wallis, Opera Mathematica

[8] 1748 Leonhard Euler, Introductio in analysin innitorum, Vol. I, Chapter 18.

[9] Brahmagupta (598 - 670) fue el primer matemtico en hacer un estudio sistemtico de la ecuacin de Pell.

[10] 1813 Karl Friedrich Gauss, Werke, Vol. 3, pp. 134-138.

[11] 1895 Helge von Koch, Bull. Soc. Math. de France, Sur un thorme de Stieltjes et sur les fractions continues.

[12] Cuando z se toma entero, esta funcin es bastante famosa, genera la razn area y la sucesin estrechamente relacionada
de medias plateadas.

[13] 1929 Oskar Perron, Die Lehre von den Kettenbrchen derives even more general extension and contraction formulas for
continued fractions.

[14] Angell, David. (2007), Irrationality and Transcendence - Lamberts Irrationality Proofs, School of Mathematics, University
of New South Wales, http://web.maths.unsw.edu.au/~{}angell/5535

[15] Esta interpretacin intuitiva no es rigurosa porque una fraccin continua no es una transformacin , sino el lmite de una su-
cesin de transformaciones. Esta construccin de una fraccin continua innita es completamente anloga a la construccin
de un nmero irracional como el lmite de una sucesin de Cauchy de nmeros racionales.

[16] Because of analogies like this one, the theory of conformal mapping is sometimes described as rubber sheet geometry.

[17] Una aproximacin al problema de la convergencia es construir fracciones continuas denidas positivas, para las cuales los
denominadores Bi nunca son cero.

3.3 Teorema de representacin conforme de Riemann

En anlisis complejo el teorema del mapeo de Riemann o teorema de representacin conforme de Riemann
establece que dado un dominio del plano complejo simplemente conexo cuya frontera contenga al menos un punto,
existe una aplicacin holomorfa y biyectiva de dicho dominio sobre el disco unidad. Tiene una relacin inversa con
la geometra hiperblica de Lobachebski.
El teorema se debe al matemtico Bernhard Riemann quien lo enunci en su tesis doctoral de 1851 sobre funciones
de variable compleja.
Captulo 4

Funciones elpticas

4.1 Funcin elptica

En anlisis complejo, una funcin elptica es, hablando toscamente, una funcin denida sobre el plano complejo
y peridica en ambas direcciones. Las funciones elpticas pueden ser vistas como generalizaciones de las funciones
trigonomtricas (las cuales nicamente tienen la periodicidad en una direccin, paralela a la recta real). Histrica-
mente, las funciones elpticas fueron descubiertas como las funciones inversas de las integrales elpticas; estas fueron
estudiadas en relacin con el problema de la longitud de arco en una elipse, de donde el nombre se deriva.

4.1.1 Denicin
Formalmente, una funcin elptica es una funcin meromorfa f denida sobre C para la que existen dos nmeros
complejos no nulos a y b tal que

f(z + a) = f(z + b) = f(z) para todo z perteneciente a C

y tal que a/b no es un real. De esto se deduce que

f(z + ma + nb) = f(z) para todo z perteneciente a C y para todo entero m y n.

En el desarrollo de la teora de las funciones elpticas, la mayora de autores modernos utilizan la notacin creada por
Karl Weierstrass: la notacin de las funciones elpticas en forma de Weierstrass basadas en la funcin es cmoda
y cualquier funcin elptica puede ser expresada a partir de estas. Weierstrass se interes en estas funciones cuando
era estudiante de Christoph Gudermann, un estudiante de Carl Friedrich Gauss. Las funciones elpticas introducidas
por Carl Jacobi, y la funcin auxiliar theta (no doble peridica), son ms complicadas pero ambas importantes para
la historia y para la teora general. La diferencia ms importante entre estas dos teoras es que las funciones de
Weierstrass tienen polos de alto orden situados en las esquinas de un retculo peridico, mientras que las funciones
de Jacobi tienen polos simples.
El estudio de las funciones elpticas est estrechamente relacionado con el estudio de las funciones modulares y las
formas modulares, relacin demostrada por el teorema de Taniyama-Shimura. Algunos ejemplos de esta relacin son
el invariante j, las series de Eisenstein y la funcin eta de Dedekind.

4.1.2 Propiedades
Cualquier nmero tal que f(z + ) = f(z) para toda z de C se le llama period de f. Si dos periodos a y b son tales
que cualquier otro periodo puede ser escrito como = ma + nb con m y n enteros , entonces a y b se les llama
periodos fundamentales. Toda funcin elptica tiene un par fundamental de perodos, aunque este par no es nico,
como se describe ms adelante.
Si a y b son periodos fundamentales que describen un retculo, entonces exactamente el mismo retculo puede ser
obtenido por los periodos fundamentales a' y b' donde a' = p a + q b y b' = r a + s b donde p, q, r y s son enteros

20
4.2. FUNCIONES DE WEIERSTRASS 21

( )
p q
que satisfacen p s q r = 1. Dicho de otra forma, la matriz tiene determinante unidad, por lo que pertenece
r s
al grupo modular. En otras palabras, si a y b son periodos fundamentales de una funcin elptica, entonces tambin
lo son a' y b' .
Si a y b son periodos fundamentales, entonces cualquier paralelogramo con vertices z, z + a, z + b, z + a + b se
le llama paralelogramo fundamental. Moviendo dicho paralelogramo mltiples de a y b obtenemos una copia del
paralelogramo, y la funcin f se comporta idnticamente sobre todas esas copias, debido a esta periodicidad.
El nmero de polos es cualquier paralelogramo es nito (e igualmente para todo paralelogramo fundamental). A no
ser que la funcin elptica sea constante, todo paralelogramo fundamental tiene al menos un polo como consecuencia
del teorema de Liouville.
La suma de los rdenes de los polos en cualquier paralelogramo fundamental se le llama el orden de la funcin elptica.
La suma de los residuos de los polos en cualquier paralelogramos fundamental es igual a cero, en particular, ninguna
funcin elptica puede tener orden uno.
El nmero de ceros (contados con su multiplicidad) en cualquier paralelogramo fundamental es igual al orden de la
funcin elptica.
La derivada de una funcin elptica es otra funcin elptica con los mismos periodos. El conjunto de todas las funciones
elpticas con el mismo periodo fundamental forman un cuerpo.
Las funciones elpticas en forma de Weierstrass son el prototipo de funcin elptica, y de hecho, el cuerpo de
funciones elpticas para un retculo dado se genera a partir de y su derivada .

4.1.3 Vase tambin

Funcin elptica de Jacobi

Funcin elptica de Weierstrass

4.2 Funciones de Weierstrass

En el mbito de las matemticas, las funciones de Weierstrass son un conjunto de funciones especiales de variable
compleja que son auxiliares a la funcin elptica de Weierstrass. Han sido nombradas en honor al matemtico alemn
Karl Weierstrass (1815 1897), considerado el padre del anlisis moderno.

4.2.1 Funcin sigma de Weierstrass

La funcin sigma de Weierstrass asociada a una grilla bidimensional C se encuentra denida por el producto

( ) 1 2
(z; ) = z w 1 z
w ez/w+ 2 (z/w)

donde:

denota el conjunto {0}

4.2.2 Funcin zeta de Weierstrass

La funcin zeta de Weierstrass se encuentra denida por la suma

( )
(z;) 1 1 1 z
(z; ) = (z;) = z + w zw + w + w2 .

Notar que la funcin zeta de Weierstrass es bsicamente la derivada logartmica de la funcin sigma. La funcin zeta
puede ser re-escrita como:
22 CAPTULO 4. FUNCIONES ELPTICAS

(z; ) = 1
z k=1 G2k+2 ()z 2k+1 donde G2k+2 es la serie de Eisenstein de peso 2k + 2 .

Tambin es interesante notar que la derivada de la funcin zeta es (z) , donde (z) es la funcin elptica de Weiers-
trass.
No debe confundirse la funcin zeta de Weierstrass con la funcin zeta de Riemann de la teora de nmeros.

4.2.3 Funcin eta de Weierstrass

La funcin eta de Weierstrass est denida por la expresin

(w; ) = (z + w; ) (z; ), para todo z C

Se puede demostrar que est bien denida, o sea (z + w; ) (z; ) solo depende de w. No se debe confundir la
funcin eta de Weierstrass con la funcin eta de Dedekind.

4.2.4 Funcin p de Weierstrass

La funcin p de Weierstrass est denida por la expresin

(z; ) = (z; ), para todo z C

La funcin p de Weierstrass es una funcin par elptica de rden N=2 con un nico polo doble en cada grilla.
Captulo 5

Supercies de Riemann

5.1 Supercie de Riemann

Supercie de Riemann que aparece al extender el dominio de la funcin f (z) = z

En geometra algebraica, una supercie de Riemann es una variedad compleja de dimensin (compleja) uno. Con-
secuentemente, la variedad real subyacente ser de dimensin 2.

5.1.1 Historia

El desarrollo de la idea de supercie de Riemann comenz a mediados del siglo XIX de la mano del matemtico
Bernhard Riemann, con los intentos de extender el dominio de denicin de funciones analticas f:U C denidas
sobre un abierto U del plano complejo. La extensin maximal (extensin analtica) se lograba no sobre el propio plano

23
24 CAPTULO 5. SUPERFICIES DE RIEMANN

complejo, sino sobre copias de abiertos del mismo que se solapaban, en lo que hoy da conocemos como variedad
compleja de dimensin uno.

5.1.2 Concepto
Una variedad real de dimensin 2 puede convertirse en una supercie de Riemann (frecuentemente de varios modos
no equivalentes) si y slo s es orientable. De este modo, la esfera y el toro admitirn estructuras complejas, pero la
banda de Mbius, la botella de Klein y el plano proyectivo real no.
Se sabe que la 2-esfera tiene una sola estructura analtica. Mientras que cada supercie orientable de gnero mayor
que cero tiene una innidad, constrastando con el punto de vista diferenciable ya que las supercies slo tienen una
estructura diferenciable.
Las supercies de Riemann
constituyen el lugar natural donde estudiar el comportamiento global de numerosas fun-
ciones (p ej f (z) = (z) , f (z) = log(z) ).

5.1.3 Ejemplos
Sea S = C {} y sea f(z) = z donde z pertenece a S \ {} y g(z) = 1 / z donde z pertenece a S \ {0} y 1/ se
dene como 0. As denidas, f y g son cartas complejas compatibles, y { f, g } es un atlas para S, convirtiendo
a S en una supercie de Riemann compacta llamada la esfera de Riemann.

Sea G un grupo de biholomorsmos de una supercie de Riemann X , que acta de modo libre y propiamente
discontinuo, entonces el espacio cociente Y es una supercie de Riemann y la proyeccin p: X Y es una
aplicacin recubridora.

Por ejemplo, G puede ser un grupo de traslaciones del plano complejo,. Sea G el grupo generado por
dos traslaciones independientes, por ejemplo:
T : z z + 1, U :z z+a
donde a es un nmero complejo no real. El espacio cociente ser homeomorfo al toro, La topologa no
depender de la eleccin de a (es siempre un toro), pero la estructura compleja cambia sensiblemente al
variar a.

Numerosos ejemplos de supercies de Riemann no compactas se obtienen por el procedimiento de extensin

analtica.

5.1.4 Funciones
Toda supercie de Riemann no compacta admite funciones holomorfas no constantes.
Esto contrasta con que en una supercie de Riemann compacta toda funcin holomorfa es constante debido al princi-
pio del mximo. Sin embargo, en supercies compactas siempre existirn funciones meromorfas no constantes, que
pueden considerarse como aplicaciones holomorfas de la supercie sobre la esfera de Riemann C {}).

5.1.5 Clasicacin de supercies de Riemann

El conjunto de supercies de Riemann puede dividirse en tres tipos: las supercies hiperblicas, las parablicas y las
elpticas. Esta divisin viene dada por el teorema de uniformizacin, que garantiza que toda supercie de Riemann
simplemente conexa es conformemente equivalente a una de las siguientes:
5.1. SUPERFICIE DE RIEMANN 25

al plano complejo C

a la esfera de Rieman C {}, tambin llamada lnea proyectiva compleja P1 C o

al disco abierto D := {z C : |z| < 1} o a la supercie equivalente formada por el semiplano superior H := {z
C : Im(z) > 0}.

En caso de que la supercie X no sea simplemente conexa, podremos armar que su recubridor universal Y es con-
formemente equivalente a uno de los tres modelos anteriores. En ese caso, la supercie X podr obetenersese como
el espacio cociente de Y bajo la accin de un grupo de biholomorsmos del recubridor Y que acte de modo libre
(es decir, sin puntos jos) y propiamente discontinuo.

Cocientes de la esfera (supercies elpticas)

Los biholomorsmos de la esfera son exactamente las transformaciones de Moebius. Como una transformacin de
Moebius siempre deja un punto jo, no obtendremos ningn cociente de la esfera.

Cocientes del plano (supercies parablicas).

Los biholomorsmos del plano complejo que actan de modo libre y propiamente discontinuo son las traslaciones, en
concreto los grupos de traslaciones con uno o dos generadores, isomorfos a Z o a Z + Z . Los cocientes respectivos
son topolgicamente equivalentes a una corona circular o a un toro.
Al ser las traslaciones isometras respecto de la mtrica plana del plano, inducen una mtrica plana en el cociente.

Cocientes del disco (supercies hiperblicas).

Un grupo de biholomorsmos del disco que acte de modo libre y propiamente discontinuo se dice un grupo Fuch-
siano. Existen numerosos grupos Fuchsianos, y su estudio es un ramo importante de la geometra moderna.
Como todo biholomorsmo del disco resulta ser una isometra de la mtrica hiperblica del disco unidad, tambin
conocida como mtrica de Poincar, se induce una mtrica hiperblica en el cociente.

5.1.6 Referencias
Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. ISBN 0-387-90465-4

Jrgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X
Artculo Riemann surface en Encyclopaedia of Mathematics
Captulo 6

Text and image sources, contributors, and

licenses

6.1 Text
Funcin holomorfa Fuente: http://es.wikipedia.org/wiki/Funci%C3%B3n%20holomorfa?oldid=79103160 Colaboradores: Sms, Tano4595,
Jsanchezes, Rembiapo pohyiete (bot), Orgullobot~eswiki, RobotQuistnix, Francosrodriguez, Yrbot, YurikBot, KnightRider, Giro720, Da-
vius, Thijs!bot, JAnDbot, TXiKiBoT, Rei-bot, VolkovBot, BOTarate, DragonBot, Estirabot, Artra, Alexbot, Juan Mayordomo, Raulshc,
Kadellar, Alecas000, Xario, Luckas-bot, MystBot, ArthurBot, Xqbot, Belerofontesp, Kismalac, TobeBot, ZroBot, ChuispastonBot, Me-
troBot, Acratta, YFdyh-bot, Addbot y Annimos: 22
Funcin meromorfa Fuente: http://es.wikipedia.org/wiki/Funci%C3%B3n%20meromorfa?oldid=64945865 Colaboradores: Tano4595,
GermanX, Wewe, Ricard Delgado Gonzalo, CEM-bot, JAnDbot, Uruk, VolkovBot, Muro Bot, Gerakibot, Gato ocioso, Farisori, Juan
Mayordomo, MastiBot, SpBot, DumZiBoT, Luckas-bot, MystBot, ArthurBot, Xqbot, TobeBot, Dinamik-bot, ZroBot, KLBot2 y An-
nimos: 4
Productorio Fuente: http://es.wikipedia.org/wiki/Productorio?oldid=77941027 Colaboradores: Sabbut, Magister Mathematicae, Cami-
ma, Marianov, Rovnet, VolkovBot, Feministo, Loveless, Bigsus-bot, Camiloalcubo2, Dnu72, Botito777, Raulshc, Luckas-bot, Anselmi-
Juan, Euclides, Proferichardperez, EmausBot, ZroBot, MerlIwBot, Thehelpfulbot, MahdiBot, Addbot y Annimos: 12
Teorema de factorizacin de Weierstrass Fuente: http://es.wikipedia.org/wiki/Teorema%20de%20factorizaci%C3%B3n%20de%20Weierstrass?
oldid=73929112 Colaboradores: BOT-Superzerocool, Urdangaray, Drinibot, Raulshc, LucienBOT, KLBot2, Invadibot y Makecat-bot
Transformacin conforme Fuente: http://es.wikipedia.org/wiki/Transformaci%C3%B3n%20conforme?oldid=73758495 Colaborado-
res: Wewe, Alfredobi, Rosarinagazo, Felipe Cruz G., SieBot, Juan Mayordomo, Raulshc, Luckas-bot, Xqbot, Kismalac, EmausBot, Z-
roBot, KLBot2, Elvisor, Addbot y Annimos: 1
Fraccin continua generalizada Fuente: http://es.wikipedia.org/wiki/Fracci%C3%B3n%20continua%20generalizada?oldid=67946194
Colaboradores: Tartaglia, CEM-bot, Drinibot, Bigsus-bot, Raulshc, CayoMarcio, MAfotBOT, MerlIwBot, KLBot2 y Annimos: 4
Teorema de representacin conforme de Riemann Fuente: http://es.wikipedia.org/wiki/Teorema%20de%20representaci%C3%B3n%
20conforme%20de%20Riemann?oldid=73929059 Colaboradores: Lourdes Cardenal, Digigalos, Drini2, CEM-bot, Davius, Botones, Ur-
dangaray, Belgrano, Muro Bot, PaintBot, Juan Mayordomo, SilvonenBot, Luckas-bot, Barnacaga, KLBot2, Nawiks y Annimos: 3
Funcin elptica Fuente: http://es.wikipedia.org/wiki/Funci%C3%B3n%20el%C3%ADptica?oldid=64945769 Colaboradores: Tano4595,
Aadrover, RobotQuistnix, Yrbot, BOTijo, GermanX, Ricard Delgado Gonzalo, CEM-bot, Davius, TXiKiBoT, AlleborgoBot, Muro Bot,
SieBot, Macarrones, Farisori, Alexbot, Juan Mayordomo, Raulshc, David0811, Luckas-bot, RedBot, Dinamik-bot, EmausBot, KLBot2,
YFdyh-bot y Annimos: 3
Funciones de Weierstrass Fuente: http://es.wikipedia.org/wiki/Funciones%20de%20Weierstrass?oldid=74559280 Colaboradores: Sab-
but, CEM-bot, Davius, Uruk, VolkovBot, Urdangaray, Xqbot, KLBot2 y Annimos: 1
Supercie de Riemann Fuente: http://es.wikipedia.org/wiki/Superficie%20de%20Riemann?oldid=78782891 Colaboradores: Vitami-
ne, GermanX, Er Komandante, Siabef, Juan Marquez, Tamorlan, CEM-bot, Drake 81, Botones, TXiKiBoT, Muro Bot, Alexandrosas,
YonaBot, SieBot, Drinibot, Gato ocioso, Alexbot, Juan Mayordomo, Raulshc, AVBOT, DumZiBoT, Joelcuervo, Luckas-bot, Lu Tup,
Erud, Jkbw, D'ohBot, Jerowiki, GrouchoBot, ZroBot, KLBot2, Vagobot y Annimos: 6

6.2 Images
Archivo:Gamma_abs.png Fuente: http://upload.wikimedia.org/wikipedia/commons/4/44/Gamma_abs.png Licencia: Public domain Co-
laboradores: Trabajo propio Artista original: FredStober
Archivo:Riemann_sqrt.jpg Fuente: http://upload.wikimedia.org/wikipedia/commons/b/b5/Riemann_sqrt.jpg Licencia: CC-BY-SA-3.0
Colaboradores: Transferido desde en.wikipedia a Commons. Artista original: Elb2000 de Wikipedia en ingls

26
6.3. CONTENT LICENSE 27

6.3 Content license

Creative Commons Attribution-Share Alike 3.0