Integrales y Funciones Elipticas

Notas de Integrales y Funciones
Elpticas
Erika Fernndez Gmora
Septiembre 2005
ii
ndice general
Introduccin V
I Integrales Elpticas 1
1. Leyes de Kepler 5
2. Mtodos numricos para aproximar integrales elpticas 9

2.1. Aproximacin de la longitud de la grca del sen(x) en el intervalo
[0,2 ] usando Expansin de Taylor . . . . . . . . . . . . . . . . . 9
2.2. Aproximacin de la longitud de la grca del sen(x) en el intervalo
[0,2 ] usando el Mtodo del Trapezoide . . . . . . . . . . . . . . 10
2.3. Promedios aritmtico-geomtricos. . . . . . . . . . . . . . . . . . 11
2.4. EJEMPLOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3. Integrales elpticas en problemas de la Mecnica, la Geometra

y la Dinamica de Fluidos. 15
3.1. Oscilaciones de un pndulo sin friccin . . . . . . . . . . . . . . . 15
3.2. Encontrar el rea de la supercie de la seccin separada del cilin-
dro x2 +z2 =a2 por el cilindro x2 +y2 =b2 , donde 0 < b < a y
z 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.3. Ondas viajeras para la ecuacin de Korteweg - de Vries . . . . . 21
II Funciones Elpticas 25
4. Mapeos del Semiplano Superior H + 27
5. Sinus Amplitudinus 37
5.1. Cul es el orden de los polos de sn(z;k)? . . . . . . . . . . . . . 39
5.2. Cmo ajustar K(k) y K(k) para tener como dominio un cuadra-
do, es decir, tal que K(k)=2K(k)? . . . . . . . . . . . . . . . . . 42
5.3. Funciones meromorfas con polos y ceros dobles. . . . . . . . . . . 44
5.3.1. Qu se puede decir de una funcin meromorfa g(z) con
polo doble en A + iA y cero doble en cero? . . . . . . . . 44
iii
iv NDICE GENERAL
5.3.2. Qu otras funciones meromorfas m(z) tienen un cero

doble en 0 y un polo doble en A + iA? . . . . . . . . . . . 44
5.3.3. Cuntas funciones elpticas con periodos 2A y 2iA
tienen un cero doble en 0 y un polo doble en A + iA? . . 45
6. Funcin P de Weierstrass 47
6.1. Ecuacin Diferencial para P (z) . . . . . . . . . . . . . . . . . . . 48
6.2. Ecuacin Diferencial para P . . . . . . . . . . . . . . . . . . . . . 48
7. Funcin Theta 51
7.1. Ecuacin de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . 51
7.2. Propiedades de las funciones T HET A . . . . . . . . . . . . . . . 53
8. Hacia el problema de inversin 57

8.1. Funciones Elpticas de Grado 1 . . . . . . . . . . . . . . . . . . . 58
8.2. Funciones Elpticas de Grado 2 . . . . . . . . . . . . . . . . . . . 59
8.3. Funcin P de Weierstrass . . . . . . . . . . . . . . . . . . . . . . 60
A. Korteweg-de Vries 65
Bibliografa 71
Introduccin
Las integrales y funciones elpticas aparecen de manera natural cuando se

trata de resolver una gran cantidad de problemas geomtricos y fsicos, como
veremos a lo largo de estas notas.
v
vi INTRODUCCIN
Parte I
Integrales Elpticas
1
3
El origen del trmino se debe a que hacen su aparicin en el contexto de calcular

de manera aproximada la longitud de una elipse.
Calculemos esta longitud para conocer la integral elptica que llamaremos del
segundo tipo. Tomando como parametrizacin de la elipse (t) = (a cos(t); b
sen(t)) con b > a > 0
t 2 [0; 2 ], la longitud queda dada por:
Z 2 Z 2
p p
L(a; b) = 4 2 2 2 2
a sen (t) + b cos (t)dt = 4 a2 sen2 (t) + b2 (1 sen2 (t))dt
Z 20 0 Z 2
p p
=4 b2 + a2 sen2 (t) b2 sen2 (t)dt = 4 b2 + (a2 b2 )sen2 (t)dt
0
Z 2q Z 2 0
2 2
p
= 4b 1 ( b b2a )sen2 (t)dt = 4b 1 k 2 sen2 (t)dt
0 0
b2 a2 a2
tomando k 2 = b2 =1 b2 ,
que es la excentricidad de la elipse.
Z 2
p
A las integrales de este tipo, es decir a las de la forma 1 k 2 sen2 ( )d
0
con 0 < k < 1 las llamaremos integrales elpticas completas del segundo tipo.
Este tipo de integrales tambien las encontramos al calcular la longitud de la
grca de la funcin sen(x) en el intervalo 0; 2 :
Z Z
2 p 2 p
L(sen(x); 0; 2 ) = 1 + cos2 (x)dx = 1 + (1 sen2 (x))dx
Z 0
Z 2r
0
2 p p 2
= 2 sen2 (x)dx = 2 1 p1 sen2 (x)dx
2
0 0
L(sen(x); 0; 2 ) es una integral del segundo tipo con k = p12

Hasta ahora estas integrales han aparecido en problemas geomtricos pero la
motivacin surge de la Mecnica Celeste, en los trabajos de Kepler sobre el
movimiento de los planetas.
4
Captulo 1
Leyes de Kepler
El problema de describir el movimiento de los planetas se remonta a los Griegos

quienes crean que los planetas giran alrededor de la tierra en rbitas crculares.
Fue hasta 1543, que Coprnico propone al Sol como el cuerpo alrededor del cual
giran los planetas. An as, Coprnico mantena la idea de los griegos con respec-
to a la rbita que siguen los planetas que es el Sistema Ptolemaico de Epiciclos y
Deferentes. Segun este Sistema los planetas giran en orbitas circulares pequeas
(Epiciclos) cuyo centro gira alrededor de una rbita circular (Deferentes) mayor
centrada en el Sol. La utilizacin de este sistema requeria ajustar el nmero de
epiciclos cada vez que los datos observacionales no coincidian con la teora Por
lo tanto era muy dicil predecir la posicin de los cuerpos a tiempos futuros.
Fue Kepler quien trabajando con el reconocido astrnomo Tycho Brahe, propone
un modelo a partir de los datos observacionales. Brahe le asign el proyecto de
calcular la rbita de Marte [Ca].
Marte era el planeta que mostraba ms diferencias entre los datos observa-
cionales y la teora que se tena hasta ese momento, e.d. el modelo de Coprnico.
A Kepler le interesaba conocer la posicin de Marte con respecto al tiempo.
Si P (0) es la posicin del planeta al tiempo 0
(i) Cul es la posicin a un tiempo t 0? Es decir, Podremos parametrizar
la posicin del cuerpo como una funcin del tiempo P (t) = (x(t); y(t))?
(ii) Podemos conocer la distancia recorrida por Marte del tiempo t0 = 0 al
tiempo t?
Depus de estudiar los datos observacionales recavados por Brahe, Kepler for-
mul sus Tres Leyes del Movimiento Planetario:
1a Los cuerpos celestes se mueven en trayectorias elpticas sobre un plano y

el Sol es un foco de dicha rbita.
2a A tiempos iguales se barren reas iguales
5
6 CAPTULO 1. LEYES DE KEPLER
3a El cuadrado del periodo de revolucin de cualquier planeta es proporcional

al cubo del semieje mayor de la elipse determinada por el movimiento de
dicho planeta alrededor del Sol.
La primera ley de Kepler contesta la pregunta (i) y (ii), podemos parametrizar
la posicin de Marte como P (t) = (a cos( (t)); b sen( (t)) ) y la distancia
recorrida por Marte durante el tiempo t to esta dada por:
Z t
p
L(a; b) = a2 sen2 (s) + b2 cos2 (s) (s)ds =
to
Z t s q 2
b2 a2
=b 1 b2 sen2 (s) (s)ds
to
Z s
t q 2
b2 a2
=b 1 b2 sen2 (s) (s)ds (0)
0
A las integrales que aparecen en este contexto las llamamos integrales incom-
pletas del segundo tipo.
Pero aun no sabemos cmo es (t). Lo que s sabemos por la tercera ley de
Kepler es que el movimiento no es uniforme as que (t) no es constante.
Utilicemos la Mecnica Newtoniana para encontrar (t):
La ley de Gravitacin nos dice que cualesquiera dos particulas con masa M y
m respectivamente se atraen mediante la siguiente relacin
F = G MRm
2
con G una constante y r la distancia entre las dos partculas.

Mientras que la segunda ley de Newton: Una Fuerza F actuando en una masa
m le da a la masa una aceleracin a y se tiene
F = ma
Sea M = masa del Sol; m = masa de M arte, podemos pensar al Sol y a Marte
como partculas ya que su masa es pequea con respecto a la distancia entre los
dos cuerpos. Si tomamos F como la f uerza gravitacional tenemos:
M
GR 2 = a
En nuestro caso, la aceleracin actua en la misma direccin del vector Marte-Sol

y en direccin de decrecimiento de R(t):
7
Por lo que la aceleracin es una funcin del Radio R. Ya que

2
a(R) = R(t) R(t) (t)
2
GM
R(t) R(t) (t) = (1)
R(t)2
Pero la gravitacin actua radialmente por lo cual la aceleracin no es una funcin

del ngulo . Es decir
1 d
a( ) = R(t) R2 (t) (t) =0
dt
de esta ltima ecuacin encontramos que
R(t)2 (t) = c ; para alguna c 2 R (2)
Nos gustaria tener una ecuacin diferencial que solo involucre a R o a : Para
esto, utlicemos la relacin
h
R= 1+e cos( )
donde
e = eccentricidad de la elipse def inida por la trayectoria de M arte
h = e (la distancia del Sol a la directriz de la elipse def inida por la
trayectoria de M arte)
sustituyendo en (2) obtenemos
2
k c
(t) = c = ( )2 (1 + e cos( ))2 (3)
1 + e cos( ) h
d
(1+e cos( ))2 = ( hc )2 dt
Z
ds
) (1+e cos(s))2 = t ( hc )2
0
Ya se ve complicada la ecuacion de y recordemos que para nuestro problema

de encontrar la distancia recorrida por Marte en un intervalo de tiempo (0; t) lo
que nos interesa es (t).
8 CAPTULO 1. LEYES DE KEPLER
Para nes prcticos, supongamos que el movimiento es uniforme, es decir (t) =

m; p:a m 2 R+ ;para obtener:
2 s 3
Z q 2 Z
t t p
L(a; b) = b m 4 1 b2 a2
sen2 (s)ds5 =bm 1 k 2 sen2 (s)ds
b2
0 0
La distancia recorrida por marte esta dada por una integral que llamaremos
elptica incompleta del segundo tipo.
A continuacin describiremos algunos mtodos para evaluar integrales elpticas
completas. El primer mtodo sera para k pequeo usando expansin de Taylor
y el segundo sera para k 2 [0; 1] usando mtodos nmericos.
Captulo 2
Mtodos numricos para

aproximar integrales
elpticas
2.1. Aproximacin de la longitud de la grca

del sen(x) en el intervalo [0,2 ] usando Ex-
pansin de Taylor
La longitud de la grca del sen(x) en el intervalo [0; 2 ] esta dada por:
Z Z
2 p 2 p
I= 1 + cos2 (t)dt = 1 + (1 sen2 (t))dt =
0 0
Z q
p 2
= 2 1 ( p12 )2 sen2 (t))dt
0
Si k = p1 , entonces
2
Z
p 2 p
I= 2 1 k 2 sen2 (t)dt. Sea f (x) = (1 + x)s .
0
Usando series de Taylor obtenemos:
s(s 1) 2 s(s 1)(s 2):::(s n+2) n 1

f (x) = 1 + sx + 2! x + + (n 1)! x + Rn
s(s 1)(s 2):::(s n+1)(1+ )s n

Rn = n! xn ; 2 (0; x)
9
10CAPTULO 2. MTODOS NUMRICOS PARA APROXIMAR INTEGRALES ELPTICAS
Esta serie converge absolutamente si jxj 1: Por lo tanto x = k 2 sen2 ( )

cumple la condicin para tener convergencia absoluta de la serie.
Sea s = 1=2
Z 2
2 3
p1 I = 1 ( 21 ) k 2 sen2 ( ) + 2!
1 1 1 2 2 1 1 1 3 2 2
2 2 2 k sen ( ) 3! 2 2 2 k sen ( ) +
0
1 1 1 3 2n n
+::::: + ( 1)n n! 2 2 ::: 2 k 2 sen2 ( ) dx + Rn
n+1
Y
( 1)n (1+ )s n
Rn = n! 2n (2i 3) k 2n sen2n
i=2
n+1
Y n+1
Y
1 1 1 1
jRn j n! 2n (2i 3) k 2n = n! 2n (2i 3) k 2n
i=2 i=2
2.2. Aproximacin de la longitud de la grca

del sen(x) en el intervalo [0,2 ] usando el
Mtodo del Trapezoide
Sean
3 i
fxo = 0; x1 = 2n ; x2 = n ; x3 = 2n ; :::; xi = 2n ; :::; xn = 2g
una particin de [0; 2 ] y

p
yi = f (xi ) = 1 k 2 sen2 (xi ) ; 8i = 0; 1; 2; :::; n
Entonces
Z 2
p
1 k 2 sen2 (t)dt 4n [yo + 2y1 + 2y2 + ::: + 2yj + ::: + 2yn 1 + yn ]
0
Una cota para el error utilizando este mtodo es :

M ( =2)3
error E 12n2 , M = maxfjf 00 (x)j ; 0 x 2g
Pero
k2 ( cos2 (x)+sen2 (x)+k2 sen4 (x))
jf 00 (x)j = (1+k2 sen2 (x))3=2
k 2 sen2 (x) + k 2 sen4 (x) cos2 (x)
k 2 sen2 (x) + k 2 sen4 (x) cos2 (x) k2 1 + k2
por lo tanto
k2 [1+k2 ] 3
E 96n2
2.3. PROMEDIOS ARITMTICO-GEOMTRICOS. 11
En el caso de la longitud de la grca del sen(x) en el intervalo [0; =2] teniamos

que k = p12 por lo tanto el error esta acotado por
128n2 0;24223653656484231 n12

Z
p 2 p
Comparacin de la aproximacin de 2 1 k 2 sen2 (t)dt utilizando mto-
0
do del trapezoide y expansin de Taylor.
Trapezoide Expansin de Taylor

n Estimacin Error Estimacin Error
1 1.8961188979370398 0.242237 1.9437612854442854 0.25
2 1.9099718215899177 0.0605591 1.9177287682285138 0.09375
3 1.9100969337379137 0.0269152 1.9123053271418946 0.0390625
5 1.9100988937464334 0.00968946 1.9103552187355535 0.00769043
9 1.9100988945138557 0.00299057 1.9101049729345663 0.000362247
15 1.9100988945138557 0.00107661 1.9100989330881069 .0000440870
17
50 1.9100988945138553 0.0000968946 1.9100988945138562 7.06894 x 10
Observamos que para n pequea el mtodo del Trapezoide nos da una mejor
estimacin del error que por Expansin de Taylor pero conforme n crece Taylor
es quien da la mejor estimacin del error.
2.3. Promedios aritmtico-geomtricos.

Ya vimos que calcular la longitud de una elipse (e.d. calcular L(a; b)) no es un
problema sencillo. Gauss, Ramanujan, Landen y muchos otros grandes matemti-
cos dieron mtodos para aproximar estas integrales. Uno de los ms sencillos y
tiles es el de promedios Aritmtico-Geomtricos debido a Gauss.
Qu son estos promedios?
Tomemos a; b 2 R , a > b > 0: Consideremos la siguiente sucesin de promedios
an 1 +bn 1
aritmticos fai ja1 = a+b
2 y an = 8n > 1gi2N y la siguiente sucecin
p2 p
de promedios geomtricos fbi jb1 = ab y bn = an 1 bn 1 8n > 1gi2N :Es un
ejercicio probar que la sucesin fai g es decreciente y acotada inferiormente por
b mientras que la sucesin fbi g es creciente y acotada superiormente por a. Por
lo tanto ambas sucesiones convergen. No solo eso, si el lector hizo el ejercicio
habra notado que:
b < b1 < b2 < b3 < ::::::: < a3 < a2 < a1 < a
y que las suceciones convergen al mismo lmite. Este lmite, que denotaremos
por M (a; b), es el promedio aritmtico-geomtrico.(1 ).
1 American Mathematical Monthly 1988. No.August-September. Pp585-608
Qu tienen que ver estos promedios con nuestro problema original: Calcular el
permetro de un elipse?
TODO!! El siguiente resultado, de Gauss, nos dir que tanto estn rela-
cionadas. R
Teorema 1 Sea jxj < 1 y K(x) = 02 p ds 2 2
, entonces
1 x sen (s)
M (1 + x) = 2K(x)
Demostracin Ver [AB]

Esto ya se parece ms a lo que queremos llegar. John Landen logra, mediante
una transformacin, relacionar ambas ideas y obtiene el siguiente resultado:
P
1
(a)k (b)k k
Teorema 2 Sea F (a; b; c; x) = (c)k k! x , jxj < 1 ,
k=0
(m)k = m(m + 1)(m + 2) (m + k 1) , entonces
2
1 1 a b
L(a; b) = (a + b) F ( 2; 2 ; 1; a+b )
Haciendo uso del Teorema 2 obtenemos

P
1
( 1
2 )k (
1
2 )k a b
2k
L(a; b) = (a + b) (1)k k! a+b
k=0
P
1
( 21 )2 ( 1 2
2 +1) (
1
2 +2)
2
( 1
2 +k 1)2 a b
2k
= (a + b) (k!)2 a+b
k=0
P1
( 1 2 1 2 3 2 5 2
2) (2) (2) (2) ( 2k2 3 2
) a b
2k
= (a + b) (k!)2 a+b
k=0
" k
#
2 P
1 2k 2 Y
1 a b
= (a + b) 1 + 4 a+b + ( 14 )k a b
a+b
1
k! (2i 3)2
k=2 i=1
Una buena apriximacin depL(a; b) debida a Ekwall y Sipos es:

p
2(a+b)2 ( a b)4
L(a; b) 2 p p p p p4
( a+ b)2 +2 2 a+b ab
2.4. EJEMPLOS
1. Consideremos la elipse con ecuacin paramtrica (t) = (2 cos(t); sen(t))

2.4. EJEMPLOS 13
Usando el resultado anterior aproximemos su permetro.

" k
#
2 P
1 2k 2 Y
L(2; 1) = (2 + 1) 1 + 14 2 1
2+1 + ( 14 )k 22+11 1
k! (2i 3)2
k=2 i=1
" k
#
P
1 Y
1 1 2 1 2k 1 2
L(2; 1) = 3 1+ 4 3 + ( 14 )k 3 k! (2i 2
3)
k=2 i=1
k =5 L(2; 1) 9;6884482125373
k =9 L(2; 1) 9;6884482205474
k = 15 L(2; 1) 9;6884482205474
k = 50 L(2; 1) 9;6884482205474
k = 100 L(2; 1) 9;6884482205474
Numericamente nos damos cuenta de la rapidez con la que converge la serie.

Utilizando la aproximacin de Ekwall obtenemos: L(2; 1) 9;6884498265932
2. Calcular la longitud de la grca del sen(x) en el intervalo [0; 2 ]:
Z 2 p
L(sen(x); 0; 2 ) = 4 1 + cos2 (x)dx
Z 02
p
=4 cos2 (x) + sen2 (x) + cos2 (x)dx
0
Z 2 p
=4 sen2 (x) + 2 cos2 (x)dx
0
Z q
2 p
=4 sen2 (x) + ( 2)2 cos2 (x)dx
0 p
notamos que este problema es anlogo al ejemplo 1 tomando a = 1 y b = 2
Por lo tanto podemos aproximar esta integral utilizando el mtodo de Gauss-
Landen p
L(sen(x); 0; 2 ) = L(1; 2)
" k
#
p p 2 P
1 p 2k 2 Y
1
p 2
= (1+ 2) 1 + 14 2+1
+ ( 41 )k 1p2+12 1
k! (2i 3)2
k=2 i=1
k L(sen(x); 0; 2 ) L(sen(x); 0; =2)

5 7;640395578053309 1;9100988945133273
6 7;640395578055384 1;910098894513846
7 7;640395578055423 1;9100988945138557
9 7;640395578055423 1;9100988945138557
15 7;640395578055423 1;9100988945138557
500 7;640395578055423 1;9100988945138557
2,000 7;640395578055423 1;9100988945138557
1,000,000 7;640395578055423 1;9100988945138557
Captulo 3
Integrales elpticas en
problemas de la Mecnica,
la Geometra y la Dinamica
de Fluidos.
3.1. Oscilaciones de un pndulo sin friccin

Consideremos el sistema mecnico que consiste de una masa m, sujeta en un
extremo de una barra rgida e inextensible de longitud L. Suponemos que la
barra es tan delgada que no tiene peso, que est ja en el otro extremo y que el
sistema oscila de tal manera que el movimiento tiene lugar en un plano.
Si denotamos por (t) el ngulo que forma la barra con la direccin vertical al
tiempo t, la posicin de la masa al tiempo t es x(t) = L(sen( (t)); cos( (t)))
15
16CAPTULO 3. INTEGRALES ELPTICAS EN PROBLEMAS DE LA MECNICA, LA GEOMETR
Suponemos que las fuerzas que actan sobre la masa son su peso y la tensin
de la barra. Esta ltima es la responsable de que el movimiento de la masa sea
siempre tangencial.
La velocidad de la masa est dada por
x(t) = L (cos( (t)); sen( (t)))
y la aceleracin es:
2
x(t) = L (t) ( sen( (t)); cos( (t))) + L (t)(cos( (t)); sen( (t)))
El primer trmino representa la componente normal de la aceleracin, el segundo

trminoes la componente tangencial.
El balance de las componentes tangenciales de la fuerza debida al peso y de la
aceleracin nos dan la ecuacin
g
+ L sen( (t)) = 0
Este es un sistema conservativo, lo cual es consecuencia de que no estamos

considerando la friccin.
Para obtener la ecuacin de conservacin de energa, multiplicamos por e
integramos entre 0 y t
Rt
0
(s) (s) + (s) Lg sen( (s))ds = 0
2 2
(t) g (0) g
2 L cos( (t)) 2 + L cos( (0)) = 0
2 2
(t) g (0) g
cos( (t)) = cos( (0)) =: E (4)
2 L 2 L
En el plano fase de y , las curvas integrales del sistema son las grcas de
p p g
= 2 E+ L cos( (t))
Observe que para cada E, la curva integral correspondiente est denida para
valores de con la propiedad que Lg cos( (t)) E. En la siguiente gura se
muestra una grca del plano fase ; .
3.1. OSCILACIONES DE UN PNDULO SIN FRICCIN 17
Observando que es peridica de periodo 2 la podemos gracar en un cilindro

cuya circunferencia sea dicho periodo y obtenemos
Tomando (0) = a y (0) = b y sustituyendo en (4) obtenemos

d 2
dt = 2 Lg cos( ) + b2 2 Lg cos(a)
p
d
dt = 2 Lg cos( ) + b2 2 Lg cos(a)
Por lo tanto
q
d L q d
dt = p g g = 2g
2L cos( )+b2 2 L cos(a) L 2
cos( )+ 2g b cos(a)
utilizando la identidad trigonomtrica cos(x) = 1 2sen2 ( x2 )

q
L q d
dt = 2g L 2
1 2sen2 ( =2)+ 2g b 1+2sen2 (a=2)
q
L q d
= 2g 2 L 2 2
2sen ( =2)+ 2g b +2sen (a=2)
q
1 Lq d
= 2 g L 2
sen2 ( =2)+ 4g b +sen2 (a=2)
Supongamos b = 0 y hagamos el cambio de variable
sen( =2) = sen (a=2) sen( )
d = 2 p sen(a=2) cos( )d
:
21 sen (a=2)sen2 ( )
Por lo tanto
q 2p
sen(a=2) cos( )d
1 L sen2 (a=2)sen2 ( )
dt = 2 g
p 1
=
sen2 (a=2)sen2 ( =2)+sen2 (a=2)
q p
L sen(a=2) 1 sen2 ( )d
dt = g
p p
sen2 (a=2)(1 sen2 ( =2)) 1 sen2 (a=2)sen2 ( )
q
L p d
= g 1 sen2 (a=2)sen2 ( )
Sea k 2 = sen2 (a=2), entonces

s
L d
dt = p (5)
g 1 k 2 sen2 ( )
Integrando (5) respecto a t, podemos calcular el periodo del pndulo que deno-
taremos por T (a):
q R
T (a) = 4 Lg 0 max p ds
1 k2 sen2 (s)
donde max es el ngulo mximo de apertura del pndulo.

Si k 2 es pequeo (e.d si k 2 = sen2 (a=2) < 1=2), obtenemos una buena aproxi-
macin de T (a) por medio de la serie:
q h i
L 1 2 2 13 2 4
T (a) = 2 2g 1 + 2 sen (a=2) + 24 sen (a=2) + ::::::
Pero lo que nos interesa es determinar la ecuacin de movimiento del pndulo.

Observemos que cuando vara entre 0 y t; vara entre a y ( ) y vara
de max a ( ) . Integrando (5) obtenemos:
Zt q R q R q R
0
d = Lg p ds 2 2
= Lg p d2 2 + Lg 0 p d2 2
max 1 k sen (s) max 1 k sen ( ) 1 k sen ( )
0
q R q R
L max
p d L p d
t= g 0
+ g 0
1 k2 sen2 ( ) 1 k2 sen2 ( )
q R
t + 14 T (a) = L
g 0
p ds
1 k2 sen2 (s)
pg
L (t + 14 T (a)) = F (k; )
3.2. ENCONTRAR EL REA DE LA SUPERFICIE DE LA SECCIN SEPARADA DEL CILINDRO X2 +Z2 =A2 PO
R ds
F (k; ) = 0
p , con k jo entre cero y uno, es la integral elptica
1 k2 sen2 (s)
incompleta del primer tipo.
Vemos la necesidad de invertir la integral F (k; ) para encontrar la ecuacin de
movimiento del pndulo.
La funcin F (k; ) tiene como inversa la ecuacin elptica de Jacobi denotada
por sn(k; u), la cual estudiaremos con detalle ms adelante.
Por ahora nos basta saber que esta funcin satisface:
u = F (k; ) $ sn(k; u) = sen( )
Por tanto en el caso del pndulo
pg
sen( ) = sn(k; L (t + 14 T (a)))
1
pg
k sen( 2 ) = sn(k; L (t + 14 T (a)))
As, la ecuacin del movimiento del pndulo queda expresada como
pg
(t) = 2arcsen k sn k; L (t + 14 T (a))
Grca de 2arcsen[ 13 sn( 13 ; u)]
3.2. Encontrar el rea de la supercie de la sec-

cin separada del cilindro x2 +z2 =a2 por el
cilindro x2 +y2 =b2 , donde 0 < b < a y
z 0
p
Sea D = f(x; y)jx2 + y 2 b2 ; z 0g y f (x; y) = a2 x2
@f x @f
Ya que = p
a2 x2
y =0 el rea de la supercie deseada esta dada
@x @y
por:
2 p 3
ZZ q Zb bZ
2 x2
x2 6 p a
7
A 1+ a2 x2 dxdy = 4 a2 x2
dy 5 dx =
p
D b b2 x2
2 p 3
Zb bZ
2 x2
Zb p
Zb p
p a
6 7 2 2
p b x dx
1 (x=b)2
A= a2 x2
4 dy 5 dx = 2a a2 x2
= 2a p dx
1 (x=a)2
p
b b2 x2 b b
Sea s = x=b, entonces
Z1 r Z1 r
1 s2 1 s2
A = 2ab 2 2 ds = 4ab 2 2 ds
1 ( ab ) s 1 ( ab )s
1 0
Haciendo el cambio de variable sen( ) = s obtenemos

Z=2 r Z=2
1 sen2 ( ) cos( )2
A = 4ab b 2
cos( )d = 4ab q d =
1 ( a ) sen ( )
2 b 2
1 (a ) sen2 ( )
0 0
Z=2
1 sen2 ( )
= 4ab q
2
d
( ab )
1 sen2 ( )
0
b
p
Sean k = a y = 1 k 2 sen2 ( ) , entonces
2 1 k2 sen2 ( ) 1 2 2
1
= 1
= = k sen ( )
1
Por lo tanto k2 ( )= sen2 ( ): Sustituyendo en la integral
Z=2 Z=2 1
( )
A = 4ab p 21 2 d + 4ab p k2 d =
1 k sen ( ) 1 k2 sen2 ( )
0 0
Z=2 Z=2
p 1 4ab 1
= 4ab d + k2 ( )d
1 k2 sen2 ( )
0 0
3.3. ONDAS VIAJERAS PARA LA ECUACIN DE KORTEWEG - DE VRIES21
Z=2 Z=2
p
= 4ab p 21 2 d + 4ab
k2 ( 1 k 2 sen2 ( ) p 1
)d
1 k sen ( ) 1 k2 sen2 ( )
0 0
Z=2 Z=2
1
p
= 4ab 1 k2
p 21 2 d + 4ab
k2 1 k 2 sen2 ( )d
1 k sen ( )
0 0
Este tipo de integrales se les denomina integrales elpticas del tercer tipo, por
ser una combinacin de las de primer y segundo tipos.
3.3. Ondas viajeras para la ecuacin de Korteweg

- de Vries
La ecuacin de movimiento para la supercie de una onda solitaria en agua poca
profuda esta dada por
ut + uxxx + 6uux = 0 (6)
y es llamada la Ecuacin de Korteweg-de Vries ya que Korteweg y de Vries la
dedujeron (Ver Apndice A o [Fl]).
Buscamos soluciones de la forma
u(x; t) = U (x ct)
con la condicin U (n) ( 1) = 0 para n = 0; 1; 2

Sean = x ct y 0 = dd , entonces la ecuacin a resolver es
cU 0 + U 000 + 6U U 0 = 0 (7)
Integrando (7)con respecto a obtenemos
cU + U 00 + 3U 2 = 0 (8)
Que es un sistema conservativo.ya que
dE
dt =0
1 02 c 2
E(t) = 2 U (t) + U 3 (t) 2 U (t)
Por lo tanto
E(t) = E(0)
Por lo que las curvas integrales de

U =v
v = cU 3U 2
cumplen que
1 2 c 2
2v + U3 2U = E(0)
o equivalentemente
r
p c 2
v= 2 U U 3 + E(0) (9)
2
que estan denidas para
c 2
U3 2U E(0)
Por lo tanto la grca del potencial '(U ) = U 3 2c U 2 determina la estructura

de las curvas integrales como se muestra en la siguiente gura
P(U) v
0.04 0.4
0.2
0.02
0
0 -0.2 0 0.2 0.4
-0.2 0 0.2 0.4 0.6 U
U
-0.2
-0.02
-0.4
c 2
p pc
'(U ) = U 3 2U
v= 2 2U2 U 3 + E(0)
Queremos encontrar soluciones acotadas de (7) con c > 0. En esa direccin

integremos dos veces (7) de 0 a para obtener
1 02 c 2
2U + U3 2U = AU + B ,con: A; B 2 R
Sean U1 < U2 < U3 races del polinomio AU + B U 3 + 2c U 2 , entonces
p p x
dU
d = 2 (U U1 )(U U2 )(U U3 )
Por lo tanto el periodo de oscilacin esta dado por dos veces T
R3
U
T = p1 p du
2 (U U1 )(U U2 )(U U3 )
U2
Adems, si U (0) = U3 obtenemos

3.3. ONDAS VIAJERAS PARA LA ECUACIN DE KORTEWEG - DE VRIES23
RU
= p1 p ds
2 (s U1 )(s U2 )(s U3 )
U3
R3
U
= p1 p du
para U2 U U3
2 (s U1 )(s U2 )( s+U3 )
U
Sean
s = U3 + (U2 U3 )sen2 ( )
ds = 2(U2 U3 )sen( ) cos( )d
h i
U2 U3
s U1 = U3 U1 + (U2 U3 )sen2 ( ) = (U3 U1 ) 1 + 2
U3 U1 sen ( )
= (U3 U1 ) 1 k 2 sen2 ( )
s U2 = (U3 U2 ) 1 sen2 ( ) = (U3 U2 ) cos2 ( )
s U3 = (U2 U3 ) sen2 ( )
q
U U3
(U ) = arcsen U 2 U3
Entonces
R0
= p2 p p U2 U3 d
2 U 3 U1 1 k2 sen2 ( )(U3 U2 )
(U )
p (U
R )
2 p d
= p
U3 U1 1 k2 sen2 ( )
0
Por lo cual
q
U3 U2
U ( ) = U2 + (U3 U2 )cn2 2 t; k
Recordando que = x ct
En el periodo vuelven a aparecer las integrales elpticas y para encontrar U (x
ct) nos volvemos a encontrar con el problema de inversin.
Parte II
Funciones Elpticas
25
Captulo 4
Mapeos del Semiplano

Superior H +
Ejemplos de mapeos de H + en
p
1) El Primer Cuadrante: f (z) = z
3
La eleccin del argumento 2 2; 2 permite calcular la imagen del
eje real.
2) Una franja = fz 2 C j A < Re(z) < A y Im(z) > 0g
Figura 8
Supongamos que f (R) = la frontera orientada de la franja (como se

muestra en la gura 8)
27
28 CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H +
Sea (x) = x si x 2 R y (x) = f ( (x)) = f (x)

Queremos que la tangente a la imagen dada por (x) = f 0 (x) cambie de
direccin en 90 al cruzar x = 1; 1
0
p p
Una 2 1 para x 2 R, por lo tanto f (z) = z 2 1
p es f (z) = x
psolucin
= z 1 z + 1 para todo z 2 H + . Tomando cortes rama como se
muestra en la siguiente gura
ya que nos interesa la imagen del eje real y el semiplano superior.

Zz
p
Entonces f (z) = s2 1ds es un buen candidato.
0
Examinemos algunas propiedades de esta funcin:
(i) f (0) = 0
(ii) Si 1<s<1
s = 1 + (1 s)ei = 1 + (1 + s)ei0 :
Por lo tanto
p p p p
s2 1 = 1 sei =2
s + 1ei0 = i 1 s2 :
Entonces
Im(f (fx + i y j x 2 [0; 1] , y = 0g) =

= x + i y j x = 0 , y 2 0; 4
Im(f (fx + i y j x 2 [ 1; 0] , y = 0g) =

= x+i y jy 2 4;0 , x = 0
Si s > 1 entonces s = 1 + (s 1)ei0 = 1 + (1 + s)ei0 : Por lo tanto

Zx
p
f (x) = f (1) + s2 1ds = 4i + r(x)
0
r(x) > 0 ; r(x) ! 1
x!1
29
. Por lo tanto f (R) queda con orientacin negativa y f (H + )

es una franja horizontal.
Para corregir la orientacin de f (R) necesitamos
Zz
f (z) = p ds rotada 90 ,
s2 1
0
es decir, considerar
Zz Zz Zz
G(z) = i p ds = ds
p = p ds
s2 1 e i =2 s2 1 1 s2
0 0 0
La imgen de H + bajo esta funcin es
fw 2 C j 2 < Re(w) < 2 Im(w) > 0g:
Por lo tanto basta ajustar el ancho de la banda para tener

la funcin deseada
Zz
2A p ds :
f (z) = 1 s2
0
3) Un rectngulo
Siguiendo la idea del ejemplo anterior.
Candidato :
Zz
ds
f (z) = p p
s2 1 s2 a2
con a > 1:
0
Los puntos de ramicacin son a; 1; 1; a y la eleccin de las ramas del

argumento es:
2 < j < 32:
Entonces para z 2 R , z 1
Z1 Zz Zz
ds ds ds
f (z) = p
s2
p
1 s2 a2
+ p
s2
p
1 s2 a2
= f (1) + p p
s2 1 s2 a2
0 0 0
1
Sea k = a < 1, entonces
Z1 Z1
ds 1 ds
p
f (1) = p
1 s2
p
a2 s2
= a
p s 2
=
1 s2 21 (a )
0 0
Z1
ds
= k p
1 s2
p
1 2 k 2 s2
= k F (k; =2 + 2n ) := K(k)
0
As
Zz Zz
ds ds
f (z) = K(k) + p
s2
p
1 s2 a2
= K(k) + p p
s2 1 s2 a2
1 1
Observemos que f(z) tiene puntos de ramicacin en a; 1; 1 y a: Entonces
z = 1 + ri ei 1
, r1 = j1 sj
= 1 + r2 ei 2
, r2 = j1 + sj
i
= a + r3 e 3
, r3 = ja sj
= a + r4 ei 4
, r4 = ja + sj 2 < j < 2
Analicemos la imagen del semiplano superior H + bajo f (z) :
1) Determinar la imagen de [0; a]
a) f (0) = 0 ; f (1) = K(k)
b) Sea x 2 (0; 1); entonces

1 p 1 p 1
p p
s2 1 s2 a2
= 1 s2 a2 s2
e i ; por lo tanto
Zx Zx
ds ds
f (x) = p p
s2 1 s2 a2
= p p
1 s2 a2 s2
<0
0 0
) f ([0; 1]) = [0; K(k)]
c) Sea x 2 (1; a), entonces

1 p 1 p 1
p p
s2 1 s2 a2
= s2 1 a2 s2
( i) ;
Por lo tanto,
Zx Zx
ds ds
f (x) = f (1) i p
s2
p
1 a2 s2
= K(k) i p p
s2 1 a2 s2
1 1
31
En particular
Za Za
ds dx
f (a) = p
s2
p
1 s2 a2
= f (1) i p p
x2 1 a2 x2
=
0 1
Za 1=k
Z
dx dx
= K(k) i p p
x2 1 a2 x2
= K(k) i k p p
x2 1 1 k2 x2
1 1
1=k
Z
dx
Sea K 0 (k) = k p p
x2 1 1 k2 x2
, entonces
1
f (a) = K(k) i K 0 (k)
Podemos conlcuir
f ([1; a]) = fz = x + iy j x = K(k) , y 2 (0; K 0 (k))g

f ([0; 1]) = [0; K(k)]
Anlogamente
f ([ 1; 0]) = [K(k); 0]
f ([ a; 1]) = f(x; y) j x = K(k); y 2 ( K 0 (k); 0)g
2) Determinar la imagen bajo f de [a; 1]
Sea x > a y a < s < x , entonces

Zx Zx
ds ds
f (x) = f (a) + p p
s2 1 s2 a2
= K(k) i K 0 (k) + p p
s2 1 s2 a2
a a
Zx
ds
Notemos que p p
s2 1 s2 a2
>0
a
Para determinar f (1) necesitamos calcular
Z1
dx
I := p p
x2 1 x2 a2
a
Haciendo el cambio de variable t = a=x
Z0 Z0
p dx
p 1 dt
I= = a
q
t2
p =
(a=t)2 1 (a=t)2 a2 1 1 t2
a2
1 1
Z1
dt p
I=k p
1 k2 t2 1 t2
= K(k)
0
Por lo tanto
Zx
ds
l m f (x) = l m f (a) + p p
s2 1 s2 a2
=
x!1 x!1
a
Zx
0 ds
= lm K(k) iK (k) + p p
s2 1 s2 a2
=
x!1
a
= K(k) iK 0 (k) + i K 0 (k) = iK 0 (k)

f ([a; 1]) = fz = x + iy p x 2 ( K(k); 0) ; y = i K 0 (k)g
Analogamente
f ([ 1; a]) = fz = x + iy p x 2 (0; K(k)) ; y = i K 0 (k)g
Ahora sabemos que la imgen del eje Real es la frontera del rectngulo con
vrtices en
K(k); K(k) iK 0 (k); K(k) iK 0 (k); K(k).
Denotaremos a dicho rectngulo como D:

Ms aun, f (z) es analtica y conforme en H + ya que
0 1
f (z) = p p
z 2 1 z 2 a2
6= 0 en H +
De hecho f es 1 1 en H + y suprayectiva en D :
Armacin f (H + ) = D y para cada w 2 int (D) existe un nico z 2 H + tal
que f (z) = w:
Demostracin Sea wo 2 Interior de D: Sea
N (wo ) = N umero de soluciones de f (z) = wo con z 2 H +

33
Sea una curva simple cerrada en H + tal que f (z) 6= wo para todo z 2 ,
entonces
R f 0 (z)
N (wo ) = 21 i f (z) wo dz = Nmero de soluciones de f (z) =
= wo encerradas por
Tomamos R > a
R ( ) = R ei , 2 [0; ]
R := [ R; R] + R ( )
1
RR f 0 (x) 1
R f 0 (z)
N R
(wo ) = 2 i f (x) w dx + 2 i f (z) w dz
R R
Observemos que
0 1 1
f (Rei ) = p p =O R2 y jdzj = R
R 2 ei 2 1 R 2 ei 2 a2
1
Para estimar f (z) w en R , demostraremos que
lm f (z) = iK 0 (k)
z! 1 , z2H +
Tomemos z = Rei 0
2 R y sea 1 = t z con t 2 [0; 1] :
Entonces
R0 iRei
f (z) = f (R) + p p ds = f (R) + O( R1 )
0 R 2 ei 2 1 R 2 ei 2 a2
Por lo tanto
lm f (z) = l m f (R) = iK 0 (k):

z! 1 , z2H + R! 1
As 9 Ro > 0 tal que

1
jf (z) + iK 0 (k)j < 2 jwo + iK 0 (k)j para jzj Ro
como se muestra en la siguiente gura
Entonces no hay soluciones de f (z) = wo con jzj Ro pues
1
jf (z) wo j jwo + iK 0 (k)j jf (z) + iK 0 (k)j 2 jwo + iK 0 (k)j
Se sigue que para R Ro :
R f 0 (z) R
f (z) wo dz R2 = !
R R!1 0
R
NR (wo ) toma valores en los naturales y tiene lmite cuando R ! 1

Por lo tanto 9 R1 tal que N R
(wo ) = N R1
(wo ) 8 R R1 y adems
1
R
1
f 0 (x)
N R
(w) = 2 i f (x) w dx para R R1
1
Observemos que R := f ( R) es una curva simple orientada positivamente

como se muestra
y si R es tal que wo queda en la regin encerrada por R se tiene que

1
R dv
2 i v wo = 1
R
35
entonces
1
R dv 1
R f (z)
1= 2 i v wo = 2 i f (z) w dz = NR (w);
R R
es decir
N (w) = 1 8 w 2 Interior de D
Por lo tanto :
f es 1 1 y f (H + ) = D
f tiene una inversa que denotaremos por sn(z; k) la funcin
"sinus amplitudinus"de Jacobi:
La funcin sn(z : k) es analtica en D: Ahora extenderemos por simetra sta

funcin a todo el plano.
Captulo 5
Sinus Amplitudinus
Sean
D :=
+
= Reexin de con respecto al eje real,
1 = Reexin de con respecto a la recta Re(z) = K(k)
+
2 = Reexin de con respecto a la recta Re(z) = K(k)
+
Por reexin de Schwarz extendemos sn(z; k) por simetra a , es decir,. para
z2 +
sn(z; k) := sn(z; k)
+
Asi, sn(z; k) es analtica en [ y
+
sn( ; k) = H :
El siguiente paso es extender sn(z; k) a 1 , reejando con respecto a Re(z) =

K(k)
Si z 2 1 , su simtrico respecto a esta recta es z = 2K(k) z, por lo cual
sn(z; k) = sn(z ; k) = sn(2K(k) z; k)
Es por sto que despus de la reexin, con respecto a Re(z) = 3K(k), (donde
z = 6K(k) z) para z 2 3
37
38 CAPTULO 5. SINUS AMPLITUDINUS
sn(z; k) = sn(6K(k) z; k) = sn(2K(k) (6K(k) z); k) = sn(z 4K(k); k):
+
Por lo tanto sn(z; k) es analtica en := [ [ 1 [ 2 y
sn( 1 ; k) = H ; sn( 2 ; k) = H +:
Es decir sn(z; k) cumple:
(i) Esta denida y es analtica en el rectngulo con vrtices en K(k)+iK 0 (k);

3K(k) + iK 0 (k); K(k) iK 0 (k) y 3K(k) iK 0 (k):
(ii) sn( iK 0 (k); k) = 1 = sn(2K(k) iK 0 (k); k)
(iii) sn(z; k) = sn(z + 4K(k); k) , sn(z; k) = sn(z + 2iK 0 (k); k) 8 z 2 C:

Es decir, tiene dos periodos independientes y por lo tanto no se puede
expresar en terminos de funciones elementales.
Continuando la extensin por simetra, se obtiene una funcin meromorfa en el

plano que es doblemente peridica con periodos 4K(k) y 2iK 0 (k):
Podemos pensar a sn(z; k) como una funcin del toro T 2 = C = (4K(k)Z +
2iK 0 (k)Z) en la esfera S 2 :
Sea el rectngulo con vrtices en K(k)+i2K 0 (k); 3K(k)+i2K 0 (k); K(k)

y 3K(k):
= parametrizacion positiva de @
1 = 1 (x) =x con x 2 [ K(k); 3K(k)]

2 = 2 (x) = 3K(k) + ixK 0 (k) con x 2 [0; 2]
3 = 3 (x) = (1 x)3K(k) xK(k) + i2K 0 (k) con x 2 [0; 1]
0
4 = 4 (x) = K(k) + (1 x)(i2K (k)) con x 2 [0; 1]
As = 1 [ 2 [ 3 [ 4 y
5.1. CUL ES EL ORDEN DE LOS POLOS DE SN(Z;K)? 39
R 3K(k)
R
sn(z; k)dz = sn(x; k)dx
1 K(k)
R 3K(k)
R R
sn(z; k)dz = sn(x + i2K 0 (k); k)dz = sn(z; k)dz
3 K(k) 1
Analogamente
R R
sn(z; k)dz = sn(z; k)dz
2 4
Por lo tanto
Z X4 Z
sn(z; k)dz = sn(z; k)dz = 0 (10)
j=1
j
Por otra parte

Z
1
sn(z; k)dz = Res [sn(z; k); z = iK 0 (k)]+Res [sn(z; k); z = 2K(k) + iK 0 (k)]
2 i
(11)
De (10) y (11) concluimos
Res [sn(z; k); z = iK 0 (k)] = Res [sn(z; k); z = 2K(k) + iK 0 (k)]
Es decir, la suma de los residuos en un dominio fundamental es CERO.(resultado

cierto para cualquier funcin doblemente peridica)
Observacin Dado w 2 C la ecuacin sn(z; k) = w con w 2 tiene dos
soluciones
Demostracin Se tienen las soluciones por construccin
5.1. Cul es el orden de los polos de sn(z;k)?

Recordemos que
1
R (sn(z;k))0
I := 2 i sn(z;k) w dz =
= N umero de ceros de (sn(z; k) w) encerrados por N umero de

polos de (sn(z; k) w) encerrados por :
Ceros y polos contados con multiplicidades. Escogiendo w de tal manera que no
existan soluciones de sn(z; k) = w en : Entonces
I=2 N umero de polos de sn(z; k) encerrados por

Por otra parte
I=0
ya que el integrando es elptico y la derivada hereda la periodicidad con lo

mismos periodos de sn(z; k) : 4K(k) y 2iK 0 (k)
Por lo tanto
2 = N umero de polos de sn(z; k) encerrados por
Como sabemos existen 2 polos entonces stos son simples.

Regresando al problema original:
Existe una transformacin conforme y 1-1 de H + en un rectngulo
con vrtices 0; a; ib y a + ib (a; b > 0) ?
Hemos resuleto el problema para un rectngulo con vrtices en
K(k); K(k) iK 0 (k); K(k) iK 0 (k); K(k)
mediante la funcin
Zz
ds
f (z; k) = p p
s2 1 s2 a2
:
0
Una solucin al problema que nos estamos planteando sera encontrar ko tal que
2K(ko ) = a y K(ko ) = b:
En esa direccin analicemos propiedades de la funcin K(k) :
1
1) K(k) es una funcin creciente de k (con k 2 (0; 1)) ya que p
1 x2
p
1 k2 x2
lo es.
2) K((0; 1)) = (0; 1)

R1 dx
l m K(k) = l m k l m p
1 x2
p
1 k2 x2
=0 2 =0
k!0+ k!0+ k!0+ 0
R1 dx
l m K(k) = l m k l m p
1 x2
p
1 k2 x2
=1 1=1
k!1 k!1 k!1 0
y como K(k) es creciente 1) entonces K((0; 1)) = (0; 1) :
De 1) y 2) podemos concluir que 2K(k) = a tiene una nica solucin ko en

(0; 1): Pero para ko ja K(ko ) = b slo tiene solucin para un valor de b!!!
Por otra parte, queremos que
K(k) a
2K (k) = b
o equivalentemente
5.1. CUL ES EL ORDEN DE LOS POLOS DE SN(Z;K)? 41
R1 dx
p p
K(k) 0 1 x2 1 k2 x2 a
K (k) = 1=k
R
= 2b .
p dx
p
1 x2 1 1 k2 x2
K(k)
Analicemos la monotona de las integrales para demostrar que K (k) es una
funcin creciente de k con imgen (0; 1).
R1 dx
i) Por 1) p
1 x2
p
1 k2 x2
es creciente.
0
1=k
R dx
ii) E(k) := p p
x2 1 1 k2 x2
es decreciente. Demostraremos esto comparando
1
1
esta integral con k K(k)
1 k2 xdx
Sea y = p
1 k2 x2
! dy = (1 k2 x2 )3=2
: Por lo tanto
p 1 p 1
R1 R k2
1
ky dy
R k2
1
K(k) = k p dx
p =k yp p =k p pdy :
1 x2 1 k2 x2 1 (1 k2 )y 2 ky 2 y 2 1 y2 1 1 (1 k2 )y 2
0 1 1
p 1
R k2
1 p
1
k K(k) = p pdy = E( 1 k2 )
1 y2 1 1 (1 k2 )y 2
Por lo tanto E(k) es una funcin decreciente en k ya que:

1
R1 dx
p
k K(k) =
p
2
p
2
1 x 1 k x 2
y 1 k 2 son funciones creciente y decreciente
0
respectivamente en k 2 (0; 1).
K(k)
Concluimos de i) y ii) que K (k) es una funcin creciente en k: Ms aun,
K(k)
Armacin H ((0; 1)) = (0; 1) con H(k) = K (k)
Demostracin Por una parte
R1 dx
R1
l m+ p p = lm p qdx
k!0 0 1 x2 1 k2 x2 k!1 0 1 x2 1
2
( k1 ) x2
por convergencia monotona se tiene
Z1 Z1
dx dx
lm p q = p = (12)
k!1 1 2 1 x2 2
0 1 x2 1 k x2 0
Por otra parte,

1=k
R R
1 q
dx p dy
p 1 k2 x2
p
x2
p
1 1 k2 x2
= con y = x2 1
1 0 y 2 +1 y 2 +k2
1
Sea w = y+1 entonces
R
1
dy
R1 dw
p p = p q
2
con k 2 (1; 1)
0 y 2 +1 y 2 +k2 0 w2 +(1 w)2 ( k1 ) w2 +(1 w)2
Pero
p q1 p 1 1
2
w2 +(1 w)2 (1 w) (1 w)2
w2 +(1 w)2 ( k1 ) w2 +(1 w)2
R1 1
(1 w)2
!1
0
entonces, por convergencia monotona se tiene que

Z1
dw
lm p q =1 (13)
k!1 1 2 2 2
0 w2 + (1 w)2 k w + (1 w)
Concluimos de (12) y (13) que

R1
p qdx
2
0 1 x2 1 ( k1 ) x2 =2
l m+ H(k) = l m = =0 (14)
k!0 k!1 1=k
R 1
dw
q
p 2
0 w2 +(1 w)2 ( k1 ) w2 +(1 w)2
Anlogamente
1
l m H(k) = 1 =1 (15)
k!1 =2
K(k)
Es decir, la imgen de K (k) es el intervalo (0; 1) para k 2 (0; 1).
K(ko ) a
Por lo tanto existe ko 2 (0; 1) tal que K (ko ) = 2b :
b
Sea = K (ko ) y h(z) = z: Entonces
a
v(z) := h(sn(z; ko )) + 2 + ib
manda al semiplano superior en el rectangulo con vrtices en 0; a; ib; a + ib:
5.2. Cmo ajustar K(k) y K(k) para tener co-

mo dominio un cuadrado, es decir, tal que
K(k)=2K(k)?
Con el mtodo de la seccin anterior, basta tomar a = b. Ahora veremos otra
construccin.
Rz
Sea F (z) = pspdss2 1 ; los cortes rama como antes
0
Determinemos la imgen del eje real bajo F
5.2. CMO AJUSTAR K(K) Y K(K) PARA TENER COMO DOMINIO UN CUADRADO, ES DECIR, TAL QUE K
) Sea z = x 2 (0; 1) , entonces

p p
s 1 = 1 sei =2
p p
s+1= s+1
Rx
F (x) = i pspds1 s2
0
R1
F (1) = i pspds1 s2
iA
0
) Para x > 1 ; 1 < s < x tenemos

Rx
F (x) = iA+ p pds 2
s 1 s
1
R
1
F (1) = iA+ p pds 2 i A+B
s 1 s
1
1 1
Sea t = x ! dt = x2 dx entonces
R
1 R1
B= p pds 2 = p pdt =A
s 1 s t 1 t2
1 0
Procedemos como en caso anterior y concluimos:
a) F (H + ) = Cuadrado con vertices en 0; A; A iA y iA
b) F tiene periodos 2A y 2iA:
c) F tiene una inversa denida en ese cuadrado. La extendemos por simetra

y obtenemos una funcin meromorfa con
) periodos 2A , i2A
) polos en A(1 + i) y en general, en
1 1
A iA + n2A + im2A = 2(n 2 )A + 2i(m 2 )A
d) Sea = cuadrado con vertices 0; 2A; i2A; 2A + i2A. La inversa de F

(llammosla P ) toma cada valor en el plano 2 veces por lo tanto A + iA
es un polo doble con residuo cero.
Por lo tanto esta funcin es diferente de la que se obtiene con la integral elptica
de grado cuatro.
Traslademos el cuadrado al cuadrado con vrtices en , ; ; (como se mues-
tra en la siguiente gura).
Sabemos que P (0) = 0, P 0 (0) = F 01(0) = 0: Por lo tanto el cero es doble. As

tenemos P y P 0 tienen los mismos periodos y los mismos polos.
5.3. Funciones meromorfas con polos y ceros dobles.

5.3.1. Qu se puede decir de una funcin meromorfa g(z)
con polo doble en A + iA y cero doble en cero?
2
z
La funcin ro (z) = (z (A+iA)) 2 cumple con las condiciones de cero y polo de
multiplicidad 2.
Si g es funcin racional g(z) = p(z)
q(z) (p; q) = 1 y tiene los mismos ceros y polos
que ro (z): Entonces
p(z) = Az 2 y q(z) = B(z A iA)2
Por lo tanto, todas las funciones racionales que satisfacen la condicin de ceros
y polos son de la forma
Az 2 A
B(z A iA)2 = B ro (z)
5.3.2. Qu otras funciones meromorfas m(z) tienen un

cero doble en 0 y un polo doble en A + iA?
Anlisis Local
Tomemos m(z) meromorfa con cero doble en cero y polo doble en A + iA:
Entonces existen 1 (z) analtica en una vecindad del cero que cumple 1 (0) 6= 0
tal que
m(z) = z 2 1 (z)
y 2 (z) analtica en una jz (A + iA)j < que cumple 2 (A + iA) 6= 0 tal que
5.3. FUNCIONES MEROMORFAS CON POLOS Y CEROS DOBLES. 45
2 (z)
m(z) = (z (A+iA))2
Anlisis Global
T (z) = rm(z)
o (z)
es meromorfa con singularidades en 0 y A + iA . La singularidad
en cero es removible ya que
2
1 (z)
T (z) = z z12(z) = (z (A+iA)) 2 es analtica en z = 0
(z (A+iA))2
Por lo tanto T (z) es entera y distinta de cero en todo el plano complejo. Entonces
m(z) = ro (z)H(z)
con H(z) entera y distinta de cero en todo C:
5.3.3. Cuntas funciones elpticas con periodos 2A y 2iA

tienen un cero doble en 0 y un polo doble en A + iA?
Vimos en 5.2 que la funcin P (z) cumple estas condiciones
Si h(z) es una funcin elptica con cero doble en 0, polo doble en A + iA y
periodos 2A y 2iA distinta de P (z) se tiene:
P (z)
h(z) es entera y elptica, por lo tanto acotada en y as Ph(z)
(z)
= c 2 C: Es
decir
P (z) = c h(z)
Captulo 6
Funcin P de Weierstrass
Cmo construir una funcin meromorfa con polos en Z + iZ ?

Candidato:
1 X 1 1
P(z) := + (16)
z2 [z (n + im)]2 [n + im]2
(n;m)2Z f0g Z f0g
Convergencia:
Para z jo se tiene
1 1 z 2 +2z(n+im)
[z (n+im)]2 [n+im]2 = [z (n+im)]2 [n+im]2
p
Si n2 + m2 2 jzj
2 p 2 1
p 2
jz (n + im)j n2 + m2 jzj 2 n2 + m2 = 14 (n2 + m2 )
Por lo tanto
jzj2 4jzj2
jz (n+im)2 jjn+imj2 (n2 +m2 )2
y como
P 1
P
1
1
P
1
1
P
1
1
[n2 +m2 ]2 = m4 n 2 2
c m3
n;m2N m=1 n=1 [1+( m ) ] m=1
p P 1
si n2 + m2 > 2 jzj, entonces [n2 +m2 ]3=2
converge. Adems,
n;m2N
2jzjjn+imj 8jzj 8jzj

jz (n+im)2 jjn+imj2
p
(n2 +m2 ) n2 +m2
= (n2 +m2 )3=2
47
48 CAPTULO 6. FUNCIN P DE WEIERSTRASS
Se sigue que la serie converge uniforme y absolutamente en subconjuntos com-

pactos de C (Z + iZ):
As nuestro candidato es una funcin meromorfa con polos dobles en Z + iZ.
A P(z) le llamamos la funcin P de Weierstrass.
Qu relacin hay entre la funcin P de Weierstrass y P (z) la inversa
Rz
de pspds1 s2 ?
0
6.1. Ecuacin Diferencial para P (z)

Rz PR(z)
Sea F (z) = p pds 2 entonces z = F (P (z)) = p pds 2 , por lo cual
s 1 s s 1 s
0 0
P 0 (z)
1= p p
P (z) 1 P (z)2
2
(P 0 (z)) P (z)
= P (z)2 1 (17)
2 2
Tenemos que, para t real; P (t) es una solucin real y peridica del sistema con-
servativo
:: 3 2
x 2x +x=0
(Ecuacin similar a las ondas viajeras para KdV)

Es decir, este sistema mecnico tiene soluciones peridicas dadas por
P (t); t 2 R
6.2. Ecuacin Diferencial para P

La funcin
2
P 2
P 0 (z) = Z3 + [z (n+im)]3
(n;m)2Z f0gxZ f0g
es elptica con polos en n + im 2 Z + iZ y periodos i y 1:

Sean
P 1 1
S1 (z) = [z (n+im)]2 [n+im]2
(n;m)2Z f0gxZ f0g
P 1
S2 (z) = [z (n+im)]3
(n;m)2Z f0gxZ f0g
Entonces
P 0 (z) = Z 32 2S2 (z)
6.2. ECUACIN DIFERENCIAL PARA P 49
1
P(z) = + S1 (z)
z2
2
0 2 4
P (z) = z6 + z83 S2 (z) + 4 (S2 (z))
2 3
P(z)3 = z16 + z34 S1 (z) + z32 (S1 (z)) + (S1 (z))
P 0 (z)2 4P(z)3 = 4S2 (z)2 + z83 S2 (z) 12
z 4 S1 (z)
12
z 2 S1 (z)
2
4S1 (z)3
Por otra parte
0 00 2 000 3
S1 (z) = S1 (0) + S1 (0) z + S1 (0) z2! + S1 (0) z3! +
S1 (0) = 0
0 P 1
S1 (0) = 2! (n+im)3 =0
(n;m)2Z f0gxZ f0g
00 P 1
S1 (0) = 3! (n+im)4
(n;m)2Z f0gxZ f0g
000 P 1
S1 (0) = 4! (n+im)5 =0
(n;m)2Z f0gxZ f0g
(2j+1)
Observamos que S1 (0) = 0
Ms aun
(j) P 1
P 1
S1 (0) = (n+im)j = (n im)j =
(n;m)2Z f0gxZ f0g (n;m)2Z f0gxZ f0g
P 1
= (n+im)j
(n;m)2Z f0gxZ f0g
Concluimos as
(j)
S1 (0) 2 R 8j 2 N [ f0g
S1 (z) = S1 (z)
1 1 1
P(z) = z2 + S1 (z) = z2 + S1 (z) = z2
+ S1 (z) = P(z)
Analogamente
S2 (0) = 0 P
0
1
S2 (0) = 3 (n+im)4
(n;m)2Z f0gxZ f0g
00
S2 (0) = 0
(2l)
S2 (0) = 0 8l 2 N
As mismo:
(l)
S2 (0) 2 R 8l 2 N [ f0g
S2 (z) = S2 (z)
P 0 (z) = P 0 (z)
50 CAPTULO 6. FUNCIN P DE WEIERSTRASS
1
Por lo tanto la parte singular de P 0 (z)2 4P(z)3 en z = 0 es de orden z2 y es:
!
1
P 1
g2 z2 con g2 = 60 (n+im)4
(n;m)2Z f0gxZ f0g
Entonces
g2
P 0 (z)2 4P(z)3 = z2 + h(z)
con h(z) analtica en z = 0
P 0 (z)2 4P(z)3 + g2 P(z) = h1 (z)
con h1 analtica en z = 0
Pero P 0 (z)2 4P(z)3 +g2 P(z) es elptica, por lo tanto constante. Dicha constante
es
P 1
g3 = 140 (n+im)6
(n;m)2Z f0gxZ f0g
Es decir
P 0 (z)2 4P(z)3 + g2 P(z) = g3 :
Por lo tanto
2 3
(P 0 (z)) = 4 (P(z)) g2 P(z) g3 = 4 (P e1 ) (P e2 ) (P e3 ) (18)
Esta funcin tambin da soluciones peridicas de un sistema conservativo similar

al de las ondas viajeras para KdV
De (17) y (18) demostraremos que
P (z) = cPA (z + (A + iA)) (19)

1
P 1 1
con PA (z) = Z2 + [z (2nA+i2Am)]2 [2An+i2Am]2 :
(n;m)2Z f0gxZ f0g
Esta relacin saldra de la funcin T HET A principalmente.

Captulo 7
Funcin Theta
7.1. Ecuacin de Calor

Para resolver la ecuacin en derivadas parciales
ut = uxx en [0; ]
con condiciones de frontera peridicas
u(0; t) = u( ; t) , u(x; o) = f (x)
Se construye la solucin fundamental, que corresponde a
u(x; 0) = o (x) , o es la delta de Dirac en x = 0
Para
P
1
u(x; 0) = f (x) = fn ei2nx
n= 1
la solucin queda de la siguiente forma:

P
1
u(x; t) = cn (t) ei2nx
n= 1
cn (t) = 4n2 cn (t)

4n2 t
cn (t) = fn e
cn (0) = fn
como en nuestro caso f = 0 tenemos que fn = 1
Entonces la solucin fundamental es
P
1
4n2 t
e ei2nx
n= 1
51
52 CAPTULO 7. FUNCIN THETA
que converge 8 t > 0 y x 2 R (z 2 C)

Por este tipo de expresiones aparece la funcin T HET A:
Para cada 2 H + se cumple ei 1 y por lo tanto 9t 2 R tal que
ei =e 4t
Consideremos la serie
P
1 2
ein einz con z 2 C y Im ( ) > 0 .
n= 1
A esta serie la llamaremos la funcin T HET A

P
1 2
(z p q) = qn ei2nz ; q = ei
n= 1
La serie converge absoluta y uniformemente para z 2 K con K C compacto

pues
Im( )
jqj = e <1
Por lo tanto (z p q) es entera.

Por otra parte
(z + p q) = (z p q) 8z2C
entonces no tiene un segundo periodo independiente, ya que de tenerlo, por ser

entera sera constante.
Aun as podemos econtrar relaciones interesantes entre (z + p q) y (z p q),
veamos
P
1 2 P
1 2
(z + p q) = q n ei2n(z+ ) = q n ei2n ei2nz =
n= 1 n= 1
P
1 2 P
1 2
= qn +2n
ei2nz = q 1
e i2z
q (n+1) ei(n+1)2z =
n= 1 n= 1
1 i2z
=q e (z p q)
A se le llama un cuasiperiodo y decimos que (z p q) es cuasi-doblemente
peridica con factor de periodicidad o multiplicador: q 1 e i2z :
Denimos
P
1 2 P
1 2
4 (z p q) = ( 1)n q n ei2nz = 1 + 2 ( 1)n q n cos(2nz) funcin
n= 1 n=1
par de z
P
1 2 P
1 2
3 (z p q) = 4 z+ 2 pq = q n ei2nz = 1 + 2 qn cos(2nz)
n= 1 n=1
7.2. PROPIEDADES DE LAS FUNCIONES T HET A 53
1 (z p q) = iei(z+ 4 )
4 z+ 4 pq =
P
1 2
= iei(z+ 4 )
( 1)n q n ein ei2nz =
n= 1
P
1 2
= iei(z+ 4 )
( 1)n q n +n
ein ei2nz =
n= 1
P
1 2
= i ( 1)n q (n+1=2) ei(2n+1)z =
n= 1
P
1 2
= i q 1=4 eiz + 2 ( 1)n q (n+1=2) sen((2n + 1)z)
n=0
P
1 2
2 (z p q) = 1 z+ 2 pq =2 q (n+1=2) sen((2n + 1)z)
n=0
Las funciones 1; 2; 3 y 4 son enteras para cada 2 H+

Cada j es funcin peridica de z con periodo , es decir
j (z + p q) = j (z p q)
1 i2z
4 tiene cuasiperiodo y factor de periodicidad q e , que heredan
1; 2 y 3:
P
1 2
4 (z + p q) = ( 1)n q n ei2nz ei2n =
n= 1
1
P
1 2
=q ( 1)n q (n+1) ei2nz =
n= 1
1 i2z
P
1 2
= q e ( 1)n+1 q (n+1) ei2(n+1)z =
n= 1
1 i2z
= q e 4 (z p q) :
Observacin Si j (zo ; q) = 0 entonces j (zo +k ; q) = 0 8k 2 Z
Demostracin Inmediata del comentario anterior.
7.2. Propiedades de las funciones T HET A

Sea Q el paralelogramo con vrtices en a; a + ; a + y a + + , de
tal forma que 4 (z; q) 6= 0 para z 2 @Q.
Cuntos ceros tiene 4 en Q?
Por el principio del argumento tenemos que el nmero de ceros buscados esta
dado por
1
R 0
j (z;q)
2 i j (z;q)
dz
@Q
Una parametrizacin de @Q esta dada por:

f igura2
1 (t) =a+t
2 (t) =a+ +t
1
3 (t) = 1 (t) +
1
4 (t) = 2 (t)
Entonces
R 0
4 (z;q)
R 0
4 (z+ ;q)
4 (z;q)
dz = 4 (z+ ;q) dz
3 1
Por otra parte derivando

0 d 1 i2z 0 1 i2z
4 (z + p q) = dz 4 (z + p q) = q e 4 (z p q)+2iq e 4 (z p q)
Por lo tanto
0 1 i2z 0 1 i2z
4 (z+ pq) q e 4 (zpq) 2iq e 4 (zpq)
4 (z+ pq) = q 1 e i2z
4 (zpq)
+ q 1 e i2z
4 (zpq)
Regresando a la integral anterior obtenemos

R 0
4 (z;q)
R 0
4 (z;q)
R R 0
4 (z;q)
4 (z;q)
dz = 4 (z;q)
dz + 2i dz = 4 (z;q)
dz + 2i
3 1 1 1
y por periodicidad tenemos que

R 0
4 (z;q)
4 (z;q)
dz = 0
2+ 4
Por lo tanto
" #
1
R 0
4 (z;q) 1
R 0
4 (z;q)
R 0
4 (z;q)
R 0
4 (z;q)
2 i 4 (z;q)
dz = 2 i 4 (z;q)
dz + 4 (z;q)
dz + 4 (z;q)
dz = 1:
@Q 1 2+ 4 3
7.2. PROPIEDADES DE LAS FUNCIONES T HET A 55
Es decir, 4 (z) tiene exactamente un cero en Q y dicho cero, que denotaremos

por zo ,es simple porque la integral lo cuenta con multiplicidad (El anlisis es
anlogo para 1 ; 2 ; 3 se deja como ejercicio para el lector.).
Recordemos que si f es una funcin elptica con periodos 2w1 ; 2w2 ; Q un
paralelogramo fundamental con vrtices en a; a + 2w1 ; a + 2w2 y a + 2w1 + 2w2
con a tal que f no contenga ceros ni polos en @Q entonces
R f 0 (z)
f (z) dz = 0:
@Q
Otra manifestacin de que las funciones j no son doblemente peridicas.

(Por periodicidad y por principio del argumento el nmero de ceros de f en Q
es igual al nmero de polos de f en Q)
Captulo 8
Hacia el problema de
inversin
Dados dos periodos independientes Existe una funcin elptica con

esos periodo, polos y ceros especicados?
En general no siempre podremos construir funciones elpticas con condiciones
arbitrarias. sto es debido al siguiente resultado.
Teorema 8.0 Si f es una funcin analtica con periodos 2w1 , 2w2 y Q es un
paralelogramo fundamental en los que a1 ; :::; an y b1 ; :::; bn son los ceros y polos
entonces
P
n P
n
aj bj = k 2w1 + l 2w2 con k; l 2 Z .
j=1 j=1
n
Demostracin Sea f una funcin meromorfa con ceros en faj gj=1 y polos en
n
fbj gj=1 posiblemente repetidos (dependiendo de multiplicidad) en una regin
Q. Entonces, por la frmula integral de Cauchy
R f 0 (z) P
n P
n
z f (z) dz = ai bi
@Q i=1 i=1
R 0
Si f es elptica de periodos 2w1 y 2w2 Cunto vale z ff (z)
(z)
dz?
@Q
Sean 1; 2; 3 y 4 como en f igura2:
R f 0 (z) R f 0 (z+2w2 ) R f 0 (z) R f 0 (z)

z f (z) dz = (z + 2w2 ) f (z+2w2 ) dz = z f (z) dz 2w2 f (z) dz
3 1 1 1
Sea 1 (t) = f( 1 (t)), entonces 1 es una curva cerrada, por lo cual

R 0 R
z ff (z)
(z)
dz = dw
w = 2 i
1 1
57
58 CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN
Analogamente para 2 y 4 :Por lo tanto " #

P
n Pn R 0
f (z) R f 0 (z) R f 0 (z)
ai bi = 21 i z f (z) dz = 1
2 i 2w2 f (z) dz 2w1 f (z) dz =
i=1 i=1 @Q 1 2
= 2w2 k + 2w1 l
8.1. Funciones Elpticas de Grado 1

Denicin.Una funcin elptica que tiene un cero simple y un polo simple en
Q (paralelogramo fundamental) se dice que tiene grado 1.
Problema Dados a1 , b1 en Q. Podemos construir una funcin elptica con
periodos y , cero simple en a1 , polo simple en b1 ?
Candidato:
4 (z a1 +zo ;q)
'(z) = 4 (z b1 +zo ;q)
Para que este candidato sea el bueno tiene que ser una funcin peridica de
periodo : Calculemos.
1 i2(z a1 +zo )
q e 4 (z a1 +zo pq) i2(b1 a1 )
'(z + )= q 1 e i2(z b1 +zo ) =e '(z)
4 (z b1 +zo pq)
Por lo tanto ' es elptica si y slo si b1 a1 = m para algn entero m .

Entonces
4 (z a1 +zo ;q)
'(z) = 4 (z a1 m +zo ;q) = 1:
As, '(z) es trivial. Si f es elptica de grado 1, entonces 9 un nico b1 polo

simple de f . Por lo tanto
R1 P
1
n
f (z) = z b1 + an (z bn )
n=0
y por periodicidad se tiene
1
R 1
R
R1 = 2 i f (z)dz = 2 i f (z)dz = 0
@Q
Entonces b1 es singularidad removible !!! Por lo tanto f es analtica y por tanto

constante.
As se tiene el siguiente resultado
Teorema 8.1 Las nicas funciones elpticas de grado 1 son las funciones con-
stantes.
8.2. FUNCIONES ELPTICAS DE GRADO 2 59
8.2. Funciones Elpticas de Grado 2

Ahora buscamos funciones elpticas con ceros en a1 , a2 y polos en b1 , b2 en Q
(paralelogramo fundamental determinado por los periodos).
Candidato a funcin elptica con periodos y :
4 (z a1 +zo ;q) 4 (z a2 +zo ;q)
(z) = 4 (z b1 +zo ;q) 4 (z b2 +zo ;q)
Procedemos como en el caso de las de grado 1 y concluimos que (z) cumple la

condicin de los periodos si y slo si
b1 + b 2 (a1 + a2 ) = m y b 1 + b2 (a1 + a2 ) = l
para m; l 2 Z .
Por lo tanto es elptica con periodos y pero estn condicionados los
ceros y polos, as que no siempre va a ser la que buscamos.
Dados periodos 2w1 , 2w2 y a1 ,a2 ,b1 ,b2 2 Q tales que
w1
a1 + a2 (b1 + b2 ) = k 2w1 + l 2w2 y w2 2 H+
podemos construir una funcin elptica con periodos 2w1 , 2w2 ceros en a1 ; a2 ;
polos en b1 ; b2 : A saber la funcin
z a1 z a2
4 ( 2w +zo ;q) 4 ( 2w +zo ;q)
M (z) = 1
z b1
1
z b2
4 ( 2w +zo ;q) 4 ( 2w +zo ;q)
1 1
w1
Para la periodicidad en 2w2 tomemos = w2 y ajustemos.
Ejemplo: La funcin sinus amplitudinus de Jacobi es una funcin elptica de

grado 2.
Sea Q el rectngulo con vrtices en
1
2 K(k) i 12 K 0 (k); 1 3 0 7
2 K(k) + i 2 K (k); 2 K(k) i 21 K 0 (k); 72 K(k) i 32 K 0 (k).
Entonces
a1 = 0 , a2 = 2K(k) , b1 = i K 0 (k) , b2 = 2K(k) + iK 0 (k):
Por lo tanto
b 1 + b2 (a1 + a2 ) = 2K(k) + 2iK 0 (k) 2K(k) = 2iK 0 (k) =
=0 +1 i 2 K 0 (k):
Como queremos 2 H + tomamos = i 2 K 0 (k): Entonces
b 1 + b2 (a1 + a2 ) = m +l
con m = 0 y l = 1:
Por otra parta, la funcin
z z
2K(k)
4 ( 4K(k) +zo ;q) 4( 4K(k)
+zo ;q)
(z) = z iK 0 (k) z (2K(k)+iK 0 (k))
4 ( 4K(k)
+zo ;q) 4( 4K(k)
+zo ;q)
tiene ceros simples en 0 y 2K(k) ; polos simples en i K 0 (k) y 2K(k) + iK 0 (k)

y periodos 4K(k) e i2K 0 (k).
(z)
Tomando = i 2 K 0 (k) se tiene que sn(z;k) es elptica y entera, por lo tanto
constante. As,
z z 2K(k)
4 ( 4K(k) +zo ;q) 4( 4K(k)
+zo ;q)
sn(z; k) = p z iK 0 (k) z (2K(k)+iK 0 (k)) para algn p 2 C:
4 ( 4K(k) +zo ;q) 4( 4K(k)
+zo ;q)
De este ejemplo vemos que podemos escribir la funcin sn(z; k) en trminos de

la funcin T HET A
8.3. Funcin P de Weierstrass

En el ejemplo anterior escribimos la funcin sn(z; k) en trminos de la funcin
T HET A Veamos si podemos escribir a la funcin P de Weierstrass en trminos
de la funcin T HET A:
La funcin P de Weierstrass dada por
P
P(z) = z12 + 1
[z (n+im)]2
1
[n+im]2
(n;m)2Z f0g Z f0g
es meromorfa con polos dobles en Z + iZ, elptica con periodos i , 1 y solucin

de la ecuacin diferencial
2 3
[P 0 (z)] = 4 [P(z)] g2 P(z) g3
P 1
g2 = 60 (n+im)4
(n;m)2Z f0g Z f0g
P 1
g3 = 140 (n+im)6
(n;m)2Z f0g Z f0g
Consideremos el cuadrado Q con vrtices en: 12 + 2i , 12 + 2i , 21 2i y 12 2i :

Si no hay ceros en @Q entonces P(z) = 0 tiene dos soluciones en el interior de
Q:
Observaciones
(I) P(z) es una funcin par y P 0 (z) es una funcin impar

g2 g3
(II) Sean e1 , e2 y e3 races del polinomio w3 4 w 4 ,entonces
P( 21 ) = e1 , P( 2i ) = e2 , P( 12 + 2i ) = e3 :
(III) g3 = 0
8.3. FUNCIN P DE WEIERSTRASS 61
Demostracin.
(I) Claro
(II) Si zj 2 C es tal que P(zj ) = ej entonces por (17), P 0 (zj ) = 0

De (I) P 0 ( 21 ) = P 0( 1
2) = P 0( 1
2 + 1) = P 0 ( 21 ) , entonces
P 0 ( 12 ) = 0
Anlogamente
P 0 ( 2i ) = 0 = P 0 ( 12 + 2i )
1 i 1 i
Combinando este ltimo resultado con (17) tenemos que para c 2 2; 2; 2 + 2
3 g2 g3
[P(c)] 4 P(c) 4 =0
Es decir,
g2 g3
P(c) es raz del polinomio w3 4 w 4
Por denicin de e1 , e2 y e3 se tiene el resultado.
(III) De (II)
g2 g3
w3 4 w 4 = (w P( 12 ))(w P( 2i ))(w P( 12 + 2i )).
Igualando coecientes se tienen las siguientes relaciones
a) P( 12 ) + P( 2i ) + P( 12 + 2i ) = 0
g2
b) P( 21 )P( 2i ) + P( 12 )P( 12 + 2i ) + P( 2i )P( 12 + 2i ) = 4
c) P( 12 )P( 2i )P( 12 + 2i ) = g3
Desarrollando a) obtenemos
0 = P( 21 ) + P( 2i ) + P( 12 + 2i )
" #
P 1 1
= 4+ [(n 1 )+im)]2 [n+im]2 +
2
(n;m)2Z f0gxZ f0g
" #
P 1 1
+ 4 [(m 1 2 [m in]2 + P( 12 + 2i )
2 ) in]
(n;m)2Z f0gxZ f0g
Por lo tanto
P( 12 + 2i ) = 0
Sustituyendo en c) obtenemos
g3 = 0
Tomemos como cuadrado fundamental Q el cuadrado con vrtices en:

3
4 + i 34 ; 1
4 + i 43 ; 1
4
i
4 ; 3
4
i
4
en donde 0 y 12 + 2i forman un conjunto irreducible de ceros y polos, ambos

dobles.
Por lo cual, tomando = i
2
4 ( (z [ 12 + 2i ])+zo )
P(z) = 4 ( z+zo )
, 2C
Ya vimos que podemos expresar las funcines elpticas de Jacobi en trminos

de la funcin T HET A: Tambin la funcin P de Weierstrass.
Podremos expresar las funciones elpticas en trminos de la funcin
P de Weierstrass?
Sea f una funcin elptica de grado 2 que cumple las siguentes condiciones:
a) Periodos 1 e i
b) Ceros a1 y a2
c) Polos en b1 y b2 ambos distintos de cero
d) f es par.
e) a1 + a2 y b1 + b2 no son periodos
Entonces f 0 es impar, por lo cual
f 0 ( 21 ) = f 0 ( 2i ) = f 0 ( 12 + 2i ) = 0:
Los ceros a1 y a2 son distintos ya que si fueran el mismo sera un cero de f 0 :Ms
aun
1 i 1 i
fa1 ; a2 g \ 2; 2; 2 + 2 =
Por lo tanto f 0 (ai ) 6= 0 para i 2 f1; 2g. Entonces
[P(z) P(a1 )] y [P(z) P(a2 )]
tienen cero simple en z = a1 y z = a2 respectivamente.

Analogamente se tiene que
1 i 1 i
fb1 ; b2 g \ 2; 2; 2 + 2 =
ya que si fuera distinto del vaco subira el grado de la funcin. Entonces
[P(z) P(b1 )] y [P(z) P(b2 )]

8.3. FUNCIN P DE WEIERSTRASS 63
tienen cero simple en z = b1 y z = b2 respectivamente.

Por lo tanto
[P(z) P(a1 )] [P(z) P(a2 )]

f (z) = ; 2C (20)
[P(z) P(b1 )] [P(z) P(b2 )]
En el caso general, se considera

1 1 f (z) f ( z) 0
f (z) = 2 [f (z) + f ( z)] + 2 P 0 (z) P (z):
Por lo tanto las funciones P(z) y P 0 (z) son base para el espacio de f unciones
el{pticas con periodos 1 e i:
sto se generaliza a periodos 2w1 y 2w2 , de la serie (2) que dene a la funcin
P cambiando z (n + im) por z (n2w1 + m2w2 ). Ver [WW]
Apndice A
Korteweg-de Vries
El descubrimiento de las ondas solitarias en aguas poco profundas lo hizo el

ingeniero ingls Scott Russell, en el Canal de Edinburgo a Glasgow en el ao de
1834. Sus observaciones las report a la British Association for the Advancement
of Science en 1844. A la estructura bien denida y localizada, objeto de ese
reporte, la bautiz como "la gran onda de traslacin". A continuacin citamos
un prrafo.
"Observaba el movimiento de un bote jalado por dos caballos en una parte
angosta del Canal, cuando el bote se detuvo sbitamente, no as la masa de
agua que se haba puesto en movimiento. sta se acumul alrededor de la proa
del bote y se movi hacia adelante con la forma de una larga elevacin solitaria.
La segu a caballo. La elevacin de agua, que era de unos 10 metros de largo y 50
centmetros de alto, continu su curso por el canal, aparentemente sin cambio
de forma o disminucin en su velocidad, que era de unos 15 kilmetros por hora.
Su altura disminuy despus de tres kilmetros."
Russel realiz experimentos en su laboratorio, generando ondas solitarias al
dejar caer un objeto pesado en un extremo de un estanque angosto.
Dedujo empricamente que el volumen de agua en la onda es igual al volumen
desplazado y que la velocidad de la onda solitaria es: c2 = g(h + a), g es la acel-
eracin debida a la gravedad, a es la amplitud de la onda y h es la profundidad
en reposo.
Para fundamentar estos resultados, Boussinesq (1871) y Rayleigh (1876) su-
pusieron que la longitud de la onda es mucho mayor que la profundidad. A
partir de las ecuaciones de movimiento para un uido no viscoso e incompre-
sible, dedujeron la frmula de Russell para la velocidad. Tambin encontraron
que el perl de la supercie del agua es:
1
(x; t) = a sec h2 [b(x ct)] , con b 2 = 3a 4h2 (h + a), en el caso ha 1:
La contribucin de Korteweg y de Vries en 1895 fue la deduccin de la ecuacin
de movimiento para la supercie.
A continuacin presentamos una deduccin de la ecuacin de Korteweg y de
Vries a partir de las ecuaciones de Euler para un uido incompresible, en el caso
h 1:
65
66 APNDICE A. KORTEWEG-DE VRIES
Consideremos un elemento de volumen V encerrado por S @V:

(x1 ; x2 ; x3 ) y t denotan la posicin y el tiempo. ! u ; y p denotan la velocidad,
densidad y presin del uido, respectivamente.
!
n es la normal unitaria a S:
La masa de uido contenida en V al tiempo t es:
ZZZ
m(t) = ( ; t)d
Como la regin V no cambia en el tiempo, la tasa de cambio de la masa con

respecto al tiempo es
ZZZ
dm @
dt = @t d
La ley de conservacin de masa garantiza que el cambio en la masa se debe

nicamente al ujo neto de masa a travs de la frontera, es decir,
ZZ
dm
dt = (!u;!n )d
S
Del Teorema de la divergencia se sigue que

@
@t + div( !
u)=0
en la regin ocupada por el uido, ya que su integral sobre cualquier parte de

esa regin es cero.
De manera anloga se obtiene la ecuacin de balance para el momento lineal. La
densidad de momento en la i esima direccin es ui : El cambio en el momento
viene de tres factores: el ujo neto de momento a travs de la frontera, las
ferzas superciales y las fuerzas volumtricas. En nuestro caso, stas ltimas son
debido a la gravedad y actan en la direccin vertical. La ecuacin de balance
de momento es:
ZZZ ZZ ZZ ZZZ
@( ui )
d = u (!u ; !
n )d + pn d + Fi d
@t i i
S S
Procediendo como antes obtenemos las ecuaciones

@( ui )
@t + div( ui !
u)+ @p
@xi Fi = 0
En el caso del agua la densidad es constante, por lo cual la ecuacin de conser-

vacin de masa es
div(!
u)=0
Las ecuaciones de conservacin de momento son

67
@ ui P
3
@(ui uj ) 1 @p
@t + @xj = @xi + Fi
j=1
para i = 1; 2; 3: O en forma vectorial

@! !
u
@t + (!
u r) !
u = 1
rp gk
Tomando rotacional en la ecuacin de momento obtenemos para ! w =r ! u una

ecuacin diferencial parcial lineal de primer orden que garantiza que !
w ( ; t) 0
para t > 0 si esta condicin se cumple para t = 0. En este caso hay un potencial
de velocidades de tal forma que ! u = r . La ecuacin de conservacin de
masa es ahora la ecuacin de Laplace para el potencial de velocidades: 4 = 0.
2
@u @
Usando que uj @xji = 12 u @x
@
i @xj , obtenemos la ecuacin de Bernoulli
@ @ 1 2
@xi @t + 2 jr j + 1 p + gx3 = 0
Como podemos absorber cualquier funcin de t en el potencial, se sigue que

@ 1 2 1
@t + 2 jr j + (p po ) + gx3 = 0
Esta ecuacin determina a la presin una vez que conocemos el potencial de

velocidades. Para determinar el potencial necesitamos condiciones de frontera.
En la supercie del fondo se debe tener que la componente normal de la velocidad
@
sea cero, es decir @x3
= (x1 ; x2 ; 0; t) = 0 para (x1 ; x2 ) en la regin que forma la
base del volumen ocupado por el uido y para todo t > 0.
En la supercie libre tenemos dos condiciones acopladas: la velocidad normal
de la supercie debe coincidir con la velocidad normal del uido y la presin en
el agua debe coincidir con la presin en el aire.
La supercie libre es de la forma (t) = f : f ( ; t) = 0g :
Si (t + 4t) se ha separado de (t) una distancia 4s en o en la direccin
normal, es decir, f ( o ; t) = 0 y f ( o + 4s! n ; t + 4t) = 0, entonces
f( o + 4s!
n ; t + 4t) f( o; t + 4t)+ f ( o; t + 4t) f( o ; t) =0
Usando el Teorema del Valor Medio, dividiendo por 4t y tomando el lmite

cuando esta cantidad tiende a 0 obtenemos
ds 1 @f
dt = jrf j @t
Por otra parte, la componente normal de la velocidad es

!
u !
n = 1
jrf j r rf
Por lo tanto, r rf = @f @t :
Supondremos que no hay rompimiento de olas y por lo tanto la supercie libre
es la grca de una funcin de x1 ; x2 y t, es decir
f ( ; t) = x3 (x1 ; x2 ; t) h
Usando la identidad del prrafo anterior encontramos la ecuacin para la super-

cie del agua:
@ @ @ @ @ @
@t + @x1 @x1 + @x2 @x2 = @x3
Ahora usamos que los cambios en la presin del aire son pequeos para tomar
p = po en la supercie x3 = h + (x1 ; x2 ; t), lo cual da
@ 1 2
@t + 2 jr j + g = 0
La regin ocupada por el uido es f(x1 ; x2 ; x3 ) p 0 x3 h + (x1 ; x2 ; t)g y

el problema completo es
(A )
i) 4 = 0 en 0 < x3 < h + (x1 ; x2 ; t)

@
ii) @x3 (x1 ; x2 ; 0; t) =0 para todo t 0
@ 1 2
iii) @t + 2 jr j + g = 0 en x3 = h + (x1 ; x2 ; t)
@ @ @ @ @ @
iv) @t + @x1 @x1 + @x2 @x2 = @x3 en x3 = h + (x1 ; x2 ; t)
con y como incgnitas. En particular, la forma que adopta la supercie del

agua se debe obtener como parte de la solucin por lo cual (A ) es un problema
de frontera libre.
Supondremos que el estanque o canal es angosto y largo para ignorar la depen-
dencia en x2 y considerar x1 2 [0; 1). Finalmente, usamos las variables x; z en
lugar de x1 ,x3 :
Usando las longitudes caractersticas: a, l y h que son la amplitud, longitud
de onda y la profundidad en reposo, denimos variables adimensionales
x z t
x = l , z = h , = a , t = , =
p
con = plgh , = a l hg
La supercie libre es z = 1 + con = ha
Quitando asteriscos a las nuevas variables, (A ) se convierte en
(A )
(i) zz = 0 en 0 < z < 1 + (x; t) , x > 0
(ii) z (x; 0; t) =0 para t 0

2 2 2
(iii) + t + 2 x + z = 0 en z = 1 + (x; t)
2
(iv) z = ( t + x x) en z = 1 + (x; t)
69
donde = hl . Nos interesa el rgimen de poca profundidad (h << 1), amplitud

pequea (a << 1), onda larga (l >> 1), as que << 1, << 1. Tomamos
2
= O( ), reescalamos ypusamos una coordenada espacial
p
que se mueve con
3=2
velocidad 1, es decir, = (x t), = t, = para obtener
(A)
i) zz + = 0 en 0 < z < 1 + ( ; )
ii) z( ; 0; ) = 0 para 0
1 2 2
iii) + + + 2 z + = 0 en z = 1 + ( ; )
iv) z = ( + z + ) en z = 1 + ( ; )
Suponemos expansiones de la forma

2
( ; z; ) = o ( ; z; ) + 1( ; z; ) + O( )
2
( ; ) = o( ; ) + 1 ( ; ) + O( )
0
A orden obtenemos
@2 o
@z 2 = 0 en 0 < z < 1 + ( ; )
@ 1
@z ( ; 0; ) = 0
por lo cual o( ; z; ) no depende de z, es decir o = o( ; ). Adems,

@
o( ; )= en z = 1
o
@
Por lo tanto
@
o( ; )= ( ; )
o
@
1
A orden tenemos
@2 1 @2
@z 2 + @ =0
o
2
@ 1
@z ( ; 0; )=0
por lo cual
z2 @ 2
( ; z; ) = 2 @ 2
o
( ; ) + c( ; )z + b( ; )
Usando la condicin de frontera en z = 0 obtenemos

z2 @ 2
1( ; z; ) = 1( ; ) ( ; )
o
2 @ 2
De la primera condicin de frontera en z = 1 obtenemos

2
@ 1 1 @3 o @ o 1 @ o
1 + 3 + + =0 (1)
@ 2 @ @ 2 @
y de la segunda se obtiene una relacin de consistencia.

2
A orden obtenemos
@2 2 @2
@z 2 + @ =0
1
2
@ 2
@z ( ; 0; )=0
Esto implica que

z2 @ 2 z4 @ 4
2( ; z; ) = 2( ; ) ( ; )+
1 o
2 @ 2 24 @ 4
n o
@ @ @ @ @
Pero := @ j ; @ j ; @zj ; @ j ; @ j tienen segundas derivadas continuas por lo
que toda f 2 tiene la siguiente expansin:
@f 2
f( ; 1 + ; ) = f ( ; 1; ) + @z ( ; 1; ) + O( )
Por lo tanto
@ 2 @2 2 @2 1 1 @4 o @2 o @ 1 @ o @ o @ o
+ o = 2 + 4 2 o = + + (2)
@z @z 2 @ 6 @ @ @ @ @ @
@
Integramos (9) con respecto a , usando (8) y o = @
o
para obtener
2 2
1 @ 1 @3 @ @ 1 @
2 @
o
+ 6 @ 3
o
@
1
= 1 + @
0
+ 2 @
o
as que
2 2
@ @ @ 1 @3 1 @3 @ 1 @
1 @
1
= @
o
+ @
0
6 @ 3
o
= 2 @ 3
o
@
0
2 @
o
Es decir,
2
1 @3
2 @@ o + 3 @ 3
o
+ 3
2
@
@
o
=0
Derivando con respecto a obtenemos la ecuacin

3
@ 1@ 3 @
@
o
+ 6 @ 3
o
+ 2 o @
o
=0
3
Reescalando las variables = 6t, x = , u = 2 o, obtenemos la ecuacin de
Korteweg y de Vries
ut + uxxx + 6uux = 0 (3)
.
Bibliografa
[AB] Gert Almkvist, Bruce Berndt.Gauss, Landen, Ramanujan, the Arithmetic-

Geometric Mean, Ellipses, , and the Ladies Diary.American Mathematical
Monthly 1988. No.August-September. Pp585-608.
[Ca] Max Caspar. Kepler. Dover Publications, 1993.
[Co] John B. Conway. Functions of One Complex Variable. Springer-Verlag,Graduate
Texts in Mathematics, 1978.
[CJ] Richard Courant, Fritz John. Introduction to Calculus and Analysis, Vol-
ume 1.Springer, 1998.
[Fl] Gilberto Flores.Ondas viajeras en modelos fsicos y biolgicos. XVI Escuela
Venezolana de Matemticas. 2003.
[K] Morris Klein. Calculus: An Intuitive and Physical Approach.Dover Publica-
tions, 1998.
[WW] E.T. Whittaker, G.N. Watson. A Course of Modern Analysis. Cambridge
Mathematical Library, 1996.
71

Integrales y Funciones Elipticas

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Integrales y Funciones Elipticas

Загружено:

Авторское право:

Доступные форматы

Notas de Integrales y Funciones

Erika Fernndez Gmora

2. Mtodos numricos para aproximar integrales elpticas 9

3. Integrales elpticas en problemas de la Mecnica, la Geometra

5.3.2. Qu otras funciones meromorfas m(z) tienen un cero

8. Hacia el problema de inversin 57

Las integrales y funciones elpticas aparecen de manera natural cuando se

El origen del trmino se debe a que hacen su aparicin en el contexto de calcular

L(sen(x); 0; 2 ) es una integral del segundo tipo con k = p12

El problema de describir el movimiento de los planetas se remonta a los Griegos

(i) Cul es la posicin a un tiempo t 0? Es decir, Podremos parametrizar

1a Los cuerpos celestes se mueven en trayectorias elpticas sobre un plano y

3a El cuadrado del periodo de revolucin de cualquier planeta es proporcional

con G una constante y r la distancia entre las dos partculas.

En nuestro caso, la aceleracin actua en la misma direccin del vector Marte-Sol

Por lo que la aceleracin es una funcin del Radio R. Ya que

Pero la gravitacin actua radialmente por lo cual la aceleracin no es una funcin

de esta ltima ecuacin encontramos que

R(t)2 (t) = c ; para alguna c 2 R (2)

Ya se ve complicada la ecuacion de y recordemos que para nuestro problema

Para nes prcticos, supongamos que el movimiento es uniforme, es decir (t) =

Mtodos numricos para

2.1. Aproximacin de la longitud de la grca

Usando series de Taylor obtenemos:

s(s 1) 2 s(s 1)(s 2):::(s n+2) n 1

s(s 1)(s 2):::(s n+1)(1+ )s n

Esta serie converge absolutamente si jxj 1: Por lo tanto x = k 2 sen2 ( )

2.2. Aproximacin de la longitud de la grca

una particin de [0; 2 ] y

Una cota para el error utilizando este mtodo es :

k 2 sen2 (x) + k 2 sen4 (x) cos2 (x) k2 1 + k2

En el caso de la longitud de la grca del sen(x) en el intervalo [0; =2] teniamos

128n2 0;24223653656484231 n12

Trapezoide Expansin de Taylor

2.3. Promedios aritmtico-geomtricos.

b < b1 < b2 < b3 < ::::::: < a3 < a2 < a1 < a

Demostracin Ver [AB]

Haciendo uso del Teorema 2 obtenemos

Una buena apriximacin depL(a; b) debida a Ekwall y Sipos es:

1. Consideremos la elipse con ecuacin paramtrica (t) = (2 cos(t); sen(t))

Usando el resultado anterior aproximemos su permetro.

Numericamente nos damos cuenta de la rapidez con la que converge la serie.

2. Calcular la longitud de la grca del sen(x) en el intervalo [0; 2 ]:

k L(sen(x); 0; 2 ) L(sen(x); 0; =2)

3.1. Oscilaciones de un pndulo sin friccin

x(t) = L (cos( (t)); sen( (t)))

El primer trmino representa la componente normal de la aceleracin, el segundo

Este es un sistema conservativo, lo cual es consecuencia de que no estamos

Observando que es peridica de periodo 2 la podemos gracar en un cilindro

Tomando (0) = a y (0) = b y sustituyendo en (4) obtenemos

utilizando la identidad trigonomtrica cos(x) = 1 2sen2 ( x2 )

Supongamos b = 0 y hagamos el cambio de variable

sen( =2) = sen (a=2) sen( )

Sea k 2 = sen2 (a=2), entonces

donde max es el ngulo mximo de apertura del pndulo.

Pero lo que nos interesa es determinar la ecuacin de movimiento del pndulo.

u = F (k; ) $ sn(k; u) = sen( )

Por tanto en el caso del pndulo

As, la ecuacin del movimiento del pndulo queda expresada como

Grca de 2arcsen[ 13 sn( 13 ; u)]

3.2. Encontrar el rea de la supercie de la sec-

Haciendo el cambio de variable sen( ) = s obtenemos

3.3. Ondas viajeras para la ecuacin de Korteweg

con la condicin U (n) ( 1) = 0 para n = 0; 1; 2