Notas de Integrales y Funciones

Elpticas
Erika Fernndez Gmora
Septiembre 2005

ii

ndice general
Introduccin

Integrales Elpticas

1. Leyes de Kepler

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 Expansin de Taylor . . . . . . . . . . . . . . . . .
2.2. Aproximacin de la longitud de la grca del sen(x) en el intervalo
[0,2 ] usando el Mtodo del Trapezoide . . . . . . . . . . . . . .
2.3. Promedios aritmtico-geomtricos. . . . . . . . . . . . . . . . . .
2.4. EJEMPLOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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

y la Dinamica de Fluidos.
3.1. Oscilaciones de un pndulo sin friccin . . . . . . . . . . . . . . .
3.2. Encontrar el rea de la supercie de la seccin separada del cilindro x2 +z2 =a2 por el cilindro x2 +y2 =b2 , donde 0 < b < a y
z 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3. Ondas viajeras para la ecuacin de Korteweg - de Vries . . . . .

II

Funciones Elpticas

9
10
11
12

15
15

19
21

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 cuadrado, 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? . . . . . . . . . . .
5.3.3. Cuntas funciones elpticas con periodos 2A y 2iA
tienen un cero doble en 0 y un polo doble en A + iA? . .

44
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.

vi

INTRODUCCIN

Parte I

Integrales Elpticas

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
2
2
2
2
a sen (t) + b cos (t)dt = 4
a2 sen2 (t) + b2 (1 sen2 (t))dt
L(a; b) = 4
0
0
Z 2
Z 2
p
p
=4
b2 + a2 sen2 (t) b2 sen2 (t)dt = 4
b2 + (a2 b2 )sen2 (t)dt
0
0
Z 2
Z 2q
p
2
2
1 k 2 sen2 (t)dt
= 4b
1 ( b b2a )sen2 (t)dt = 4b
0

tomando k 2 =

b2 a2
b2

a2
b2 ,

=1

que es la excentricidad de la elipse.

Z 2
p
1 k 2 sen2 ( )d
A las integrales de este tipo, es decir a las de la forma
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 :
L(sen(x); 0; 2 ) =
=

0
2

1 + cos2 (x)dx =

sen2 (x)dx =

p
1 + (1
0
Z r
2

sen2 (x))dx
p1
2

sen2 (x)dx

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.

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 respecto 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 observacionales 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 formul 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

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
2
q
b2 a2
sen2 (s) (s)ds
=b
1
b2
to

=b

b2 a2
b2

sen2 (s) (s)ds

(0)

A las integrales que aparecen en este contexto las llamamos integrales incompletas 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

R(t)

R(t) (t) =

GM
R(t)2

(1)

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

del ngulo . Es decir
a( ) =

1
R(t)

d
dt

R2 (t) (t)

=0

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
R=

h
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

(t) = c

k
1 + e cos( )

d
(1+e cos( ))2

c
= ( )2 (1 + e cos( ))2
h

(3)

= ( hc )2 dt

ds
(1+e cos(s))2

= t ( hc )2

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).

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
Z
4
L(a; b) = b m

2
b2

a2
b2

sen2 (s)ds5

=bm

k 2 sen2 (s)ds

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 Expansin de Taylor

La longitud de la grca del sen(x) en el intervalo [0; 2 ] esta dada por:

I=
=
Si k =

p1 ,
2

Z
p

p
1 + cos2 (t)dt =

p
1 + (1

sen2 (t))dt =

( p12 )2 sen2 (t))dt

entonces

I=

k 2 sen2 (t)dt. Sea f (x) = (1 + x)s .

Usando series de Taylor obtenemos:

f (x) = 1 + sx +
Rn =

s(s 1) 2
2! x

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

x
(n 1)!

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

n!

xn ;

2 (0; x)

+ Rn

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
1 1 1
1 1 1 3
2
2
2
2
p1 I =
1 ( 12 ) k 2 sen2 ( ) + 2!
2 2 k sen ( )
3! 2 2 2 k sen ( ) +
2
0

1 1
+::::: + ( 1)n n!
2

Rn =

1
3 2n
2 ::: 2

( 1)n (1+ )s
n!
2n

k 2 sen2 ( )
n+1
Y

dx + Rn

3) k 2n sen2n

(2i

i=2

jRn j

2.2.

1 1
n! 2n

n+1
Y

3) k 2n =

(2i

1 1
n! 2n

i=2

n+1
Y

(2i

3) k 2n

i=2

Aproximacin de la longitud de la grca

del sen(x) en el intervalo [0,2 ] usando el
Mtodo del Trapezoide

Sean
fxo = 0; x1 =

2n ; x2

n ; x3

3
2n ; :::; xi

i
2n ; :::; xn

2g

una particin de [0; 2 ] y

yi = f (xi ) =
Entonces
Z 2
p

k 2 sen2 (t)dt

4n

k 2 sen2 (xi )

; 8i = 0; 1; 2; :::; n

[yo + 2y1 + 2y2 + ::: + 2yj + ::: + 2yn

+ yn ]

Una cota para el error utilizando este mtodo es :

error

M ( =2)3
12n2 ,

M = maxfjf 00 (x)j ; 0

2g

Pero
jf 00 (x)j =

k2 (

cos2 (x)+sen2 (x)+k2 sen4 (x))

(1+k2 sen2 (x))3=2

k 2 sen2 (x) + k 2 sen4 (x)

k 2 sen2 (x) + k 2 sen4 (x)

cos2 (x)

por lo tanto
E

k2 [1+k2 ]
96n2

k2 1 + k2

cos2 (x)

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
3

128n2

0;24223653656484231 n12

Comparacin de la aproximacin de

do del trapezoide y expansin de Taylor.

n
1
2
3
5
9
15
50

Trapezoide
Estimacin
1.8961188979370398
1.9099718215899177
1.9100969337379137
1.9100988937464334
1.9100988945138557
1.9100988945138557
1.9100988945138553

Error
0.242237
0.0605591
0.0269152
0.00968946
0.00299057
0.00107661
0.0000968946

p
1

k 2 sen2 (t)dt utilizando mto-

Expansin de Taylor
Estimacin
1.9437612854442854
1.9177287682285138
1.9123053271418946
1.9103552187355535
1.9101049729345663
1.9100989330881069
1.9100988945138562

Error
0.25
0.09375
0.0390625
0.00769043
0.000362247
.0000440870
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 matemticos 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
8n > 1gi2N y la siguiente sucecin
2 y an =
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

17

12CAPTULO 2. MTODOS NUMRICOS PARA APROXIMAR INTEGRALES ELPTICAS

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 relacionadas.
R
, entonces
Teorema 1 Sea jxj < 1 y K(x) = 02 p ds
2
2
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:
1
P
(a)k (b)k k
Teorema 2 Sea F (a; b; c; x) =
, jxj < 1 ,
(c)k k! x
k=0

(m)k = m(m + 1)(m + 2)

(m + k

1) , entonces

L(a; b) = (a + b) F (

1
2;

1
2 ; 1;

a b
a+b

Haciendo uso del Teorema 2 obtenemos

L(a; b) = (a + b)
= (a + b)
= (a + b)

1
P

1
2 )k (

k=0
1
P

k=0
1
P

( 12 )2 (

= (a + b) 1 +

a b
a+b

2
1
2 +1) (

2k

2
1
2 +2)
(k!)2

1 2 1 2 3 2 5 2
2) (2) (2) (2)
(k!)2

k=0

"

1
2 )k

(1)k k!

1
4

a b
a+b

1
P

k=2

( 2k2

( 14 )k

1)2

1
2 +k

3 2

a b
a+b

a b
a+b

2k

a b
a+b

2k

2k

1
k!

k
Y

(2i

i=1

3)2

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

p
2(a+b)2 ( a
b)4
p
p
p p
4
( a+ b)2 +2 2 a+b ab

L(a; b)

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.

"
1
2
2k
P
2 1
1
L(2; 1) = (2 + 1) 1 + 14
+
( 14 )k 22+11
2+1
k!
L(2; 1) = 3

k
k
k
k
k

"

k=2

1+

=5
L(2; 1)
=9
L(2; 1)
= 15
L(2; 1)
= 50
L(2; 1)
= 100 L(2; 1)

1 2
3

1
4

1
P

k=2

( 14 )k

1 2k
3

1 2
k!

k
Y

(2i

(2i

i=1

3)

i=1

k
Y

3)2

9;6884482125373
9;6884482205474
9;6884482205474
9;6884482205474
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 ]:

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

=4
=4
=4

Z 02
Z
Z

0
2

p
1 + cos2 (x)dx

p
cos2 (x) + sen2 (x) + cos2 (x)dx
p
sen2 (x) + 2 cos2 (x)dx
q
p
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 GaussLanden
p
L(sen(x); 0; 2 ) = L(1; 2)
#
"
k
p
p
Y
1
2k
2
p
P
2
1
1
p 2
(2i 3)2
+
( 14 )k 1p2+12
= (1+ 2) 1 + 14
k!
2+1
k=2

i=1

14CAPTULO 2. MTODOS NUMRICOS PARA APROXIMAR INTEGRALES ELPTICAS

k
5
6
7
9
15
500
2,000
1,000,000

L(sen(x); 0; 2 )
7;640395578053309
7;640395578055384
7;640395578055423
7;640395578055423
7;640395578055423
7;640395578055423
7;640395578055423
7;640395578055423

L(sen(x); 0; =2)
1;9100988945133273
1;910098894513846
1;9100988945138557
1;9100988945138557
1;9100988945138557
1;9100988945138557
1;9100988945138557
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
integramos entre 0 y t
Rt
0

(t)
2

g
L

(s) (s) + (s) Lg sen( (s))ds = 0

2

cos( (t))

(0)
2

En el plano fase de

g
L

(t)
2

cos( (0)) = 0

g
(0)
cos( (t)) =
L
2

g
cos( (0)) =: E
L

(4)

y , las curvas integrales del sistema son las grcas de

p p
2 E+

g
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
d
dt

Por lo tanto
dt = p

g
2L

= 2 Lg cos( ) + b2
p
= 2 Lg cos( ) + b2

d
g
cos( )+b2 2 L
cos(a)

2 Lg cos(a)
2 Lg cos(a)
L q
d
2g
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
L 2
2
2
2sen ( =2)+ 2g b +2sen (a=2)

1
2

Lq
d
g
L 2
sen2 ( =2)+ 4g
b +sen2 (a=2)

18CAPTULO 3. INTEGRALES ELPTICAS EN PROBLEMAS DE LA MECNICA, LA GEOMETR

Supongamos b = 0 y hagamos el cambio de variable
sen( =2) = sen (a=2) sen( )
cos(
d = 2 p sen(a=2)
2

)d

1 sen (a=2)sen2 ( )

Por lo tanto
q

dt =

1
2

dt =

L
g

L
g

L
g

2p

sen(a=2) cos( )d
sen2 (a=2)sen2 ( )

sen2 (a=2)sen2 ( =2)+sen2 (a=2)

sen(a=2)

1 sen2 ( )d

sen2 (a=2)(1 sen2 ( =2))

1 sen2 (a=2)sen2 ( )

d
1 sen2 (a=2)sen2 ( )

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

dt =

L
p
g 1

(5)

k 2 sen2 ( )

Integrando (5) respecto a t, podemos calcular el periodo del pndulo que denotaremos por T (a):
T (a) = 4

q R
L
g

max

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 aproximacin de T (a) por medio de la serie:
i
q h
1 2
13 2
L
2
4
sen
(a=2)
+
::::::
1
+
sen
(a=2)
+
T (a) = 2
2g
2
24

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
p ds
p d2 2 + Lg 0 p d2 2
d = Lg
= Lg
2
2
max

1 k sen (s)

1 k sen ( )

max

t=

q R
L
g

max

d
1 k2 sen2 ( )

t + 41 T (a) =
pg

L (t

q R
L
g

q R
L

d
1 k2 sen2 ( )

ds
1 k2 sen2 (s)

+ 14 T (a)) = F (k; )

1 k sen ( )

3.2. ENCONTRAR EL REA DE LA SUPERFICIE DE LA SECCIN SEPARADA DEL CILINDRO X2 +Z2 =A2 PO
F (k; ) =

ds
,
1 k2 sen2 (s)

con k jo entre cero y uno, es la integral elptica

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
sen( ) = sn(k;
1
k

pg

sen( 2 ) = sn(k;

L (t

+ 14 T (a)))

pg

L (t

+ 14 T (a)))

As, la ecuacin del movimiento del pndulo queda expresada como

(t) = 2arcsen k sn k;

pg

L (t

+ 14 T (a))

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

3.2.

Encontrar el rea de la supercie de la seccin separada del cilindro x2 +z2 =a2 por el
cilindro x2 +y2 =b2 , donde 0 < b < a
y
z 0

Sea D = f(x; y)jx2 + y 2

b2 ; z

0g y f (x; y) =

a2

x2

20CAPTULO 3. INTEGRALES ELPTICAS EN PROBLEMAS DE LA MECNICA, LA GEOMETR

@f
Ya que
=
@x
por:

x
a2 x2

ZZ q
1+

A=

Zb

x2
a2 x2 dxdy

6
4

p a
a2 x2

@f
=0
@y

2 x2
bZ

b2 x2

Sea s = x=b, entonces

A = 2ab

Zb

el rea de la supercie deseada esta dada

2

6
4

1 s2
1

2 2
s

( ab )

7
p a
dy 5 dx
a2 x2

b2 x2

7
dy 5 dx = 2a

Z1 r

2 x2
bZ

Zb

p
2
2
p b x dx
a2 x2

Zb p
1
= 2a p

(x=b)2

1 (x=a)2

ds = 4ab

Z1 r

1 s2
1

2 2
s

( ab )

ds

Haciendo el cambio de variable sen( ) = s obtenemos

Z=2
Z=2 r
1 sen2 ( )
cos( )2
q
A = 4ab
cos( )d = 4ab
d =
b 2
2
b 2
1 ( a ) sen ( )
1 (a
) sen2 ( )
0
Z=2

= 4ab

Sean k =

b
a

y
2

=
Por lo tanto
A = 4ab

= 4ab

( ab )
p
= 1
1

k2 (

Z=2

1 sen2 ( )

sen2 ( )

k 2 sen2 ( ) , entonces

1 k2 sen2 ( ) 1
1

)=

+ 4ab

Z=2

Z=2

4ab
k2

Z=2

p 21 2 d
1 k sen ( )

= k sen ( )
sen2 ( ): Sustituyendo en la integral
p k2

1
d
1 k2 sen2 ( )

1 k2 sen2 ( )

)d

d =

dx

3.3. ONDAS VIAJERAS PARA LA ECUACIN DE KORTEWEG - DE VRIES21

= 4ab

Z=2

p 21 2 d
1 k sen ( )

= 4ab 1

4ab
k2

Z=2
0

1
k2

Z=2

p 21 2 d
1 k sen ( )

p
( 1

4ab
k2

k 2 sen2 ( )
Z=2
0

1
)d
1 k2 sen2 ( )

k 2 sen2 ( )d

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
Integrando (7)con respecto a

obtenemos

cU + U 00 + 3U 2 = 0
Que es un sistema conservativo.ya que
dE
dt

E(t) =

(7)

1 02
2 U (t)

=0

+ U 3 (t)

Por lo tanto
E(t) = E(0)

c 2
2 U (t)

(8)

22CAPTULO 3. INTEGRALES ELPTICAS EN PROBLEMAS DE LA MECNICA, LA GEOMETR

Por lo que las curvas integrales de
U =v
v = cU 3U 2
cumplen que
1 2
2v

+ U3

c 2
2U

= E(0)

o equivalentemente
p

v=

r
c 2
2
U
2

U 3 + E(0)

(9)

que estan denidas para

c 2
2U

U3

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
v

P(U)

0.4

0.04

0.2
0.02

0
0
-0.2

-0.2
0

0.2

0.4

0.2

0.4

0.6

U
-0.2
-0.02

-0.4

'(U ) = U 3

c 2
2U

p pc
2 2U2

v=

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
2U

c 2
2U

+ U3

= AU + B

,con: A; B 2 R

Sean U1 < U2 < U3 races del polinomio AU + B

dU
d

x
U1 )(U

p p
2 (U

U 3 + 2c U 2 , entonces

U2 )(U

U3 )

Por lo tanto el periodo de oscilacin esta dado por dos veces T

T =

p1
2

U
R3
U2

Adems, si U (0) = U3 obtenemos

(U

du
U1 )(U U2 )(U

U3 )

3.3. ONDAS VIAJERAS PARA LA ECUACIN DE KORTEWEG - DE VRIES23

p1
2

=
p1
2

=
Sean
s = U3 + (U2
ds = 2(U2
s

U
R3
U

RU

U3

ds
(s U1 )(s U2 )(s U3 )

du
(s U1 )(s U2 )( s+U3 )

U3 )sen2 ( ) = (U3

U1 + (U2

= (U3

U1 ) 1

k 2 sen2 ( )

U2 = (U3

U2 ) 1

sen2 ( ) = (U3

U3 = (U2

U3 ) sen2 ( )
q

(U ) = arcsen

U3

h
U1 ) 1 +

U2 U3
2
U3 U1 sen (

i
)

U2 ) cos2 ( )

U U3
U2 U3

=
=
Por lo cual

U3 )sen2 ( )

U3 )sen( ) cos( )d

U1 = U3

Entonces

para U2

p2
2

R0

(U )
p

U3 U1

U 3 U1
(U
R )
0

U ( ) = U2 + (U3

p U2

U3 d
1 k2 sen2 ( )(U3 U2 )

d
1 k2 sen2 ( )

U2 )cn2

U3 U2
t; k
2

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.

24CAPTULO 3. INTEGRALES ELPTICAS EN PROBLEMAS DE LA MECNICA, LA GEOMETR

Parte II

Funciones Elpticas

25

Captulo 4

Mapeos del Semiplano

Superior H +
Ejemplos de mapeos de H + en
1) El Primer Cuadrante: f (z) =
La eleccin del argumento
eje real.

2) Una franja

= fz 2 C j

z
3
2; 2

A < Re(z) < A

permite calcular la imagen del

Im(z) > 0g

Figura 8
Supongamos que f (R) = la frontera orientada de la franja
muestra en la gura 8)
27

(como se

CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H +

28

Sea (x) = x si x 2 R

(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
p
p
0
2
1 para x 2 R, por lo tanto f (z) = z 2 1
Una
psolucin
p es f (z) = x
= 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

Por lo tanto
p
p
s2 1 = 1

s)ei =

sei

=2

1 + (1 + s)ei0 :
p
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;

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
f (x) = f (1) +

Zx

s2

1)ei0 =
1ds =

4i

r(x) > 0 ; r(x) ! 1

x!1

1 + (1 + s)ei0 : Por lo tanto

+ r(x)

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
s2 1

rotada 90 ,

es decir, considerar
Zz
G(z) = i

p ds
s2 1

Zz

ds
p

i =2

s2 1

Zz

p ds
1 s2

La imgen de H + bajo esta funcin es

fw 2 C j

< Re(w) <

Im(w) > 0g:

Por lo tanto basta ajustar el ancho de la banda para tener

la funcin deseada
f (z) =

2A

Zz

p ds :
1 s2

3) Un rectngulo
Siguiendo la idea del ejemplo anterior.
Candidato :
f (z) =

Zz

ds
p
s2 1 s2 a2

con

a > 1:

Los puntos de ramicacin son

argumento es:
2

Entonces para z 2 R , z
f (z) =

Z1

s2

ds
p
1 s2 a2

Sea k =

1
a

< 32:

1
Zz

< 1, entonces

<

a; 1; 1; a y la eleccin de las ramas del

s2

ds
p
1 s2 a2

= f (1) +

Zz

ds
p
s2 1 s2 a2

CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H +

30

f (1) =

Z1

ds
p

1 s2

a2 s2

Z1

1
a

1 s2

ds
p
2
1

s 2
)
(a

Z1

1 s2

ds
p
1 2 k 2 s2

k F (k; =2 + 2n ) :=

K(k)

As
f (z) =

K(k) +

Zz

ds
p
1 s2 a2

s2

K(k) +

Zz

Observemos que f(z) tiene puntos de ramicacin en

1 + r2 ei

= a + r3 e

a + r4 ei

, r1 = j1

a; 1; 1 y a: Entonces

sj

, r2 = j1 + sj

, r3 = ja
4

ds
p
s2 1 s2 a2

z = 1 + ri ei

sj

, r4 = ja + sj

<

<

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

p

1
p
s2 1 s2 a2

f (x) =

Zx

p 1
p 1
e i
1 s2 a2 s2

ds
p
s2 1 s2 a2

Zx

; por lo tanto

ds
p
1 s2 a2 s2

<0

) f ([0; 1]) = [0; K(k)]

c) Sea x 2 (1; a), entonces
p

1
p
s2 1 s2 a2

p 1
p 1
s2 1 a2 s2

( i) ;

Por lo tanto,
f (x) = f (1)

Zx
1

s2

ds
p
1 a2 s2

K(k)

Zx
1

ds
p
s2 1 a2 s2

31
En particular
Za
p
f (a) =
s2

ds
p
1 s2 a2

= f (1)

Za

dx
p
x2 1 a2 x2

K(k)

Za

1=k
Z

dx
p
x2 1 a2 x2

K(k)

i k

Sea K 0 (k) = k

1=k
Z

dx
p
x2 1 1 k2 x2

dx
p
x2 1 1 k2 x2

, entonces

f (a) =

K(k)

i K 0 (k)

Podemos conlcuir
K(k) , y 2 (0; K 0 (k))g

f ([1; a]) = fz = x + iy j x =

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
ds
p
p
f (x) = f (a) +
= K(k)
s2 1 s2 a2

i K 0 (k) +

Notemos que

Zx

ds
p
s2 1 s2 a2

>0

Para determinar f (1) necesitamos calcular

Z1
dx
p
p
I :=
x2 1 x2 a2
a

Haciendo el cambio de variable t = a=x

I=

Z0
1

(a=t)2

dx
p
1 (a=t)2 a2

1
a

Z0
1

Zx

dt
p

t2
a2

1 t2

ds
p
s2 1 s2 a2

CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H +

32

I=k

Z1

dt p
1 k2 t2 1 t2

= K(k)

Por lo tanto
l m f (x) = l m f (a) +

x!1

x!1

Zx

ds
p
s2 1 s2 a2

Zx

= lm

K(k)

x!1

iK (k) +

ds
p
s2 1 s2 a2

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
f
De hecho f es 1

(z) =

1
p
z 2 1 z 2 a2

6= 0 en H +

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

:= [ R; R] +

(wo ) =
R

1
2 i

Observemos que
f

Para estimar

RR

2 [0; ]
( )

f 0 (x)
f (x) w dx

en

R 2 ei

1
p

R 2 ei

lm

y sea

a2

=O

1
R2

y jdzj = R

, demostraremos que

z! 1 , z2H +

Tomemos z = Rei

f 0 (z)
f (z) w dz

(Rei ) = p
1
f (z) w

1
2 i

f (z) =

iK 0 (k)

= t z con t 2 [0; 1] :

Entonces
f (z) = f (R) +

R0
0

R 2 ei

i
iRe
p
1 R 2 ei

a2

ds = f (R) + O( R1 )

Por lo tanto
lm

z! 1 , z2H +

f (z) = l m f (R) =
R! 1

iK 0 (k):

As 9 Ro > 0 tal que

jf (z) + iK 0 (k)j <

1
2

jwo + iK 0 (k)j para jzj

Ro

CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H +

34

como se muestra en la siguiente gura

Entonces no hay soluciones de f (z) = wo con jzj

jf (z)

jwo + iK 0 (k)j

wo j

Se sigue que para R

Ro pues
1
2

jf (z) + iK 0 (k)j

jwo + iK 0 (k)j

Ro :
R

f 0 (z)
f (z) wo dz

R
R2

!
R R!1

NR (wo ) toma valores en los naturales y tiene lmite cuando R ! 1

Por lo tanto 9 R1 tal que N
N
Observemos que
como se muestra

(w) =

:= f (

(wo ) = N

1
2 i

R)

1
R

R1

(wo ) 8 R

f 0 (x)
f (x) w dx

para R

R1 y adems
R1

es una curva simple orientada positivamente

y si R es tal que wo queda en la regin encerrada por

R dv
1
2 i
v wo = 1
R

se tiene que

35
entonces
1=

1
2 i

dv
v wo

1
2 i

f (z)
f (z) w dz

= NR (w);

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.

36

CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H +

Captulo 5

Sinus Amplitudinus
Sean
D :=
+
= Reexin de
=
Reexin de
1
=
Re
exin de
2

con respecto al eje real,

con respecto a la recta Re(z) = K(k)
con respecto a la recta Re(z) = K(k)

Por reexin de Schwarz extendemos sn(z; k) por simetra a

z2 +

, es decir,. para

sn(z; k) := sn(z; k)
Asi, sn(z; k) es analtica en

sn(

y
; 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)

Por lo tanto sn(z; k) es analtica en

sn(

1 ; k)

(6K(k)

:=

= H ; sn(

2 ; k)

z); k) = sn(z
[

4K(k); k):

= H +:

Es decir sn(z; k) cumple:

(i) Esta denida y es analtica en el rectngulo con vrtices en
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)

K(k)+iK 0 (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

y 3K(k):

K(k)+i2K 0 (k); 3K(k)+i2K 0 (k);

= parametrizacion positiva de @
1
2
3
4

As

=
=
=
=
=

1 (x)

=x
con x 2 [ K(k); 3K(k)]
(x)
=
3K(k)
+ ixK 0 (k)
con x 2 [0; 2]
2
(x)
=
(1
x)3K(k)
xK(k)
+ i2K 0 (k)
con
x 2 [0; 1]
3
0
K(k) + (1 x)(i2K (k)) con x 2 [0; 1]
4 (x) =
1

K(k)

5.1. CUL ES EL ORDEN DE LOS POLOS DE SN(Z;K)?

R

sn(z; k)dz =

sn(z; k)dz =

3K(k)
R

39

sn(x; k)dx

K(k)

3K(k)
R

sn(x + i2K 0 (k); k)dz =

sn(z; k)dz

K(k)

Analogamente
R

sn(z; k)dz =

Por lo tanto
Z

sn(z; k)dz =

sn(z; k)dz

4 Z
X
j=1

sn(z; k)dz = 0

(10)

Por otra parte

1
2 i

sn(z; k)dz = Res [sn(z; k); z = iK 0 (k)]+Res [sn(z; k); z = 2K(k) + iK 0 (k)]
(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
soluciones
Demostracin Se tienen las soluciones por construccin

5.1.

tiene dos

Cul es el orden de los polos de sn(z;k)?

Recordemos que
I :=

1
2 i

(sn(z;k))0
sn(z;k) w dz

= N umero de ceros de (sn(z; k) w) encerrados por

polos de (sn(z; k) w) encerrados por :

N umero de

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

40

CAPTULO 5. SINUS AMPLITUDINUS

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
iK 0 (k); K(k)

K(k); K(k)

iK 0 (k); K(k)

mediante la funcin
f (z; k) =

Zz

ds
p
:
s2 1 s2 a2

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) K(k) es una funcin creciente de k (con k 2 (0; 1)) ya que
lo es.
2) K((0; 1)) = (0; 1)
l m K(k) = l m k l m

k!0+

k!0+

k!0+

l m K(k) = l m k l m

k!1

k!1

k!1

R1
0

R1
0

1 x2

dx
p
1 k2 x2

=0

dx
p
1 k2 x2

=1 1=1

1 x2

1 x2

1
p

1 k2 x2

=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)
2K
(k) =

o equivalentemente

a
b

5.1. CUL ES EL ORDEN DE LOS POLOS DE SN(Z;K)?

K(k)
K (k)

R1

0
1=k
R

x2

dx
p

k2 x2

dx
p

x2

a
2b

41

k2 x2

Analicemos la monotona de las integrales para demostrar que

funcin creciente de k con imgen (0; 1).
R1

i) Por 1)

ii) E(k) :=

1 x2

1=k
R

dx
p
1 k2 x2

K(k) = k

k2 xdx
:
(1 k2 x2 )3=2

! dy =

p
p

1
k K(k)

es decreciente. Demostraremos esto comparando

1
k K(k)

1
1 k2 x2

R1

1 x2

dx
p
1 k2 x2

=k

y2 1

pdy

Por lo tanto

R k2

R k2

es una

es creciente.

dx
p
x2 1 1 k2 x2

esta integral con

Sea y =

K(k)
K (k)

1 (1 k2 )y 2

yp

ky
dy
p
1 (1 k2 )y 2 ky 2 y 2 1

p
= E( 1

=k

R k2

y2 1

k2 )

Por lo tanto E(k) es una funcin decreciente en k ya que:

p
R1
1
dx
p
p
y
1 k 2 son funciones creciente y decreciente
2
2
2
k K(k) =
1 x 1 k x
0

respectivamente en k 2 (0; 1).

Concluimos de i) y ii) que

K(k)
K (k)

es una funcin creciente en k: Ms aun,

Armacin H ((0; 1)) = (0; 1) con H(k) =

Demostracin Por una parte

l m+

R1

k!0 0

x2

dx
p
1 k2 x2

= lm

R1

k!1 0

K(k)
K (k)

1 x2

qdx
1

Z1

dx
=
2
1 x2

( k1 )

x2

por convergencia monotona se tiene

lm

Z1

k!1

Por otra parte,

1=k
R
1

x2

dx
p
1 1 k2 x2

dx
q
x2 1

1
R
0

1 2
k

=
x2

dy
p
y 2 +1 y 2 +k2

con y =

1 k2 x2
x2 1

(12)

pdy

1 (1 k2 )y 2

42

CAPTULO 5. SINUS AMPLITUDINUS

1
y+1

Sea w =

1
R
0

entonces
dy
p

y 2 +1

y 2 +k2

R1

w2 +(1 w)2

dw
q

( k1 )

w2 +(1 w)2

con k 2 (1; 1)

Pero
p

w2 +(1 w)2

q1

( k1 )

w2 +(1 w)2

R1
0

1
(1 w)2

1
w2 +(1 w)2 (1 w)

!1

entonces, por convergencia

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

l m+ H(k) = l m

k!1 1=k
R

k!0

Anlogamente

R1

1 x2

qdx
1

w2 +(1 w)2

k!1
K(k)
K (k)

b
K (ko )

y h(z) =

( k1 )

w)

x2

=1

=2
=0
1

(13)

(14)

w2 +(1 w)2

1
=1
=2

(15)

es el intervalo (0; 1) para k 2 (0; 1).

Por lo tanto existe ko 2 (0; 1) tal que

Sea

( k1 )

dw
q

l m H(k) = 1

Es decir, la imgen de

1
(1 w)2

K(ko )
K (ko )

a
2b :

z: Entonces

v(z) := h(sn(z; ko )) +

a
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 como 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
i pspds1

F (x) =

s2

R1
i pspds1

F (1) =

) Para x > 1

1 < s < x tenemos

Rx

F (x) =

iA+

F (1) =

p pds 2
s 1 s

1
R

iA+

Sea t =
B=

1
R
1

1
x

iA

s2

p pds 2
s 1 s
1
x2 dx

! dt =

p pds 2
s 1 s

R1
0

i A+B
entonces

p pdt
t 1 t2

=A

Procedemos como en caso anterior y concluimos:

a) F (H + ) = Cuadrado con vertices en 0; 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

A(1 + i) y en general, en
iA + n2A + im2A = 2(n

1
2 )A

+ 2i(m

1
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 muestra en la siguiente gura).

44

CAPTULO 5. SINUS AMPLITUDINUS

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.
5.3.1.

Funciones meromorfas con polos y ceros dobles.

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

q(z) = B(z

iA)2

Por lo tanto, todas las funciones racionales que satisfacen la condicin de ceros
y polos son de la forma
Az 2
B(z A iA)2

5.3.2.

A
B

ro (z)

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
y

2 (z)

analtica en una jz

(A + iA)j <

1 (z)

que cumple

2 (A + iA)

6= 0 tal que

5.3. FUNCIONES MEROMORFAS CON POLOS Y CEROS DOBLES.

m(z) =

45

2 (z)
(z (A+iA))2

Anlisis Global
T (z) = rm(z)
es meromorfa con singularidades en 0 y A + iA . La singularidad
o (z)
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)
(z)
y as Ph(z)
= c 2 C: Es
h(z) es entera y elptica, por lo tanto acotada en
decir
P (z) = c h(z)

46

CAPTULO 5. SINUS AMPLITUDINUS

Captulo 6

Funcin P de Weierstrass
Cmo construir una funcin meromorfa con polos en Z + iZ ?
Candidato:

P(z) :=

1
+
z2

(n;m)2Z f0g Z f0g

[z

1
(n + im)]2

1
[n + im]2

Convergencia:
Para z jo se tiene
1
[n+im]2

1
[z (n+im)]2

Si

n2 + m2
jz

z 2 +2z(n+im)
[z (n+im)]2 [n+im]2

2 jzj
2

(n + im)j

n2 + m2

jzj

1
2

n2 + m2

= 14 (n2 + m2 )

Por lo tanto
jzj2
jz (n+im)2 jjn+imj2

4jzj2
(n2 +m2 )2

y como
P

n;m2N

si

1
[n2 +m2 ]2

n2 + m2 > 2 jzj, entonces

1
P

m=1

1
m4

n;m2N

2jzjjn+imj
jz (n+im)2 jjn+imj2

1
P

1
n 2 2
n=1 [1+( m ) ]

1
[n2 +m2 ]3=2

1
P

m=1

1
m3

converge. Adems,

8jzj
p
(n2 +m2 ) n2 +m2

47

8jzj
(n2 +m2 )3=2

(16)

48

CAPTULO 6. FUNCIN P DE WEIERSTRASS

Se sigue que la serie converge uniforme y absolutamente en subconjuntos compactos 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)

Sea F (z) =

Rz

p pds 2
s 1 s

entonces z = F (P (z)) =

PR(z)
0

1= p

P 0 (z)
P (z)

1 P (z)2

p pds 2
s 1 s

, por lo cual

(P 0 (z))
P (z)
=
P (z)2
2
2

(17)

Tenemos que, para t real; P (t) es una solucin real y peridica del sistema conservativo
::

3 2
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
P 0 (z) =

2
Z3

(n;m)2Z f0gxZ f0g

2
[z (n+im)]3

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

S2 (z) =

(n;m)2Z f0gxZ f0g

Entonces
P 0 (z) = Z 32

2S2 (z)

1
[z (n+im)]3

6.2. ECUACIN DIFERENCIAL PARA P

1
z2

P(z) =

+ S1 (z)
2
4
P (z) = z6 + z83 S2 (z) + 4 (S2 (z))
2
P(z)3 = z16 + z34 S1 (z) + z32 (S1 (z)) +
P 0 (z)2 4P(z)3 = 4S2 (z)2 + z83 S2 (z)
0

49

(S1 (z))
12
z 4 S1 (z)

12
2
z 2 S1 (z)

4S1 (z)3

Por otra parte

0

000

00

S1 (z) = S1 (0) + S1 (0) z + S1 (0) z2! + S1 (0) z3! +

S1 (0) = 0

S1 (0) = 2!

(n;m)2Z f0gxZ f0g

00

S1 (0) = 3!

1
(n+im)3

(n;m)2Z f0gxZ f0g

000

S1 (0) =

1
(n+im)4

4!

(n;m)2Z f0gxZ f0g

(2j+1)

Observamos que S1

=0

1
(n+im)5

=0

(0) = 0

Ms aun
P

(j)

S1 (0) =

(n;m)2Z f0gxZ f0g

(n;m)2Z f0gxZ f0g

1
(n+im)j

1
(n+im)j

(n;m)2Z f0gxZ f0g

Concluimos as
(j)

S1 (0) 2 R 8j 2 N [ f0g
S1 (z) = S1 (z)
P(z) =

1
z2

+ S1 (z) =

Analogamente
S2 (0) = 0
0
S2 (0) = 3
00

S2 (0) = 0

1
z2

+ S1 (z) =

(n;m)2Z f0gxZ f0g

(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)

1
(n+im)4

1
z2

+ S1 (z) = P(z)

1
(n im)j

50

CAPTULO 6. FUNCIN P DE WEIERSTRASS

Por lo tanto la parte singular de P 0 (z)2

g2

1
z2

con

g2 =

4P(z)3 en z = 0 es de orden
!
P
1
60
(n+im)4

1
z2

y es:

(n;m)2Z f0gxZ f0g

Entonces
P 0 (z)2

4P(z)3 =

g2
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

(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

con PA (z) =

1
Z2

P (z) = cPA (z + (A + iA))

P
1

(n;m)2Z f0gxZ f0g

[z (2nA+i2Am)]2

(19)
1
[2An+i2Am]2 :

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)

es la delta de Dirac en x = 0

Para
1
P

u(x; 0) = f (x) =

fn ei2nx

n= 1

la solucin queda de la siguiente forma:

1
P

u(x; t) =

cn (t) ei2nx

n= 1

cn (t) =

4n2 cn (t)

cn (t) = fn e
cn (0) = fn

4n2 t

como en nuestro caso f = 0 tenemos que fn = 1

Entonces la solucin fundamental es
1
P

4n2 t

n= 1

51

ei2nx

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

con

z 2 C y Im ( ) > 0 .

Consideremos la serie
1
P

ein

einz

n= 1

A esta serie la llamaremos la funcin T HET A

(z p q) =

1
P

qn

ei2nz

q = ei

n= 1

La serie converge absoluta y uniformemente para z 2 K con K

pues
Im( )

jqj = e

C compacto

<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
1
1
P
P
2
2
(z +
p q) =
q n ei2n(z+ ) =
q n ei2n
ei2nz =
n= 1

1
P

n= 1

qn

+2n

ei2nz = q

i2z

n= 1

=q

1
P

q (n+1)

ei(n+1)2z =

n= 1

i2z

(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
4

(z p q) =

par de z
3

(z p q) =

1
P

( 1)n q n

ei2nz = 1 + 2

n= 1

z+

1
P

( 1)n q n

cos(2nz) funcin

n=1

pq =

1
P

q n ei2nz = 1 + 2

n= 1

1
P

n=1

qn

cos(2nz)

7.2. PROPIEDADES DE LAS FUNCIONES T HET A

1

(z p q) =
=

iei(z+
iei(z+

z+

1
P

53

pq =

( 1)n q n

ein

ei2nz =

n= 1

=
=

iei(z+

( 1)n q (n+1=2)

n= 1

( 1)n q n

+n

ein

ei2nz =

n= 1

1
P

1
P

i q 1=4 eiz + 2

1
P

ei(2n+1)z =

( 1)n q (n+1=2)

sen((2n + 1)z)

n=0

(z p q) =

Las funciones
Cada

z+

1; 2; 3

pq =2

1;

sen((2n + 1)z)
2 H+

es funcin peridica de z con periodo , es decir

tiene cuasiperiodo
2 y
3:
4

q (n+1=2)

n=0

son enteras para cada

j
4

1
P

(z +

p q) =

(z +

p q) =

(z p q)

y factor de periodicidad
1
P

( 1)n q n

ei2nz ei2n

ei2(n+1)z =

i2z

, que heredan

n= 1

=q

1
P

( 1)n q (n+1)

ei2nz =

n= 1

i2z

1
P

( 1)n+1 q (n+1)

n= 1

=
Observacin Si

j (zo ; q)

i2z

(z p 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
2 i

@Q

0
j (z;q)
j (z;q)

Una parametrizacin de @Q esta dada por:

dz

54

CAPTULO 7. FUNCIN THETA

f igura2

1 (t)

=a+t

2 (t)
1
3
1
4

=a+

+t

(t) =

1 (t)

(t) =

2 (t)

Entonces
R

0
4 (z;q)
4 (z;q)

dz =

0
4 (z+

;q)
;q) dz

4 (z+

Por otra parte derivando

0
4

(z +

p q) =

d
dz 4

(z +

p q) =

0
4

i2z

(z p q)+2iq

i2z

(z p q)

Por lo tanto
0
4 (z+
4 (z+

pq)
pq)

q
q

1
1

i2z

e
e

i2z

0
4 (zpq)
4 (zpq)

2iq
q

e
e

i2z

4 (zpq)

i2z

4 (zpq)

Regresando a la integral anterior obtenemos

R

0
4 (z;q)

dz
4 (z;q)

0
4 (z;q)

dz
4 (z;q)

R
+ 2i dz =
1

0
4 (z;q)
4 (z;q)

dz + 2i

y por periodicidad tenemos que

R

0
4 (z;q)

2+ 4

4 (z;q)

dz = 0

Por lo tanto
1
2 i

@Q

0
4 (z;q)
4 (z;q)

dz =

1
2 i

"

0
4 (z;q)
4 (z;q)

dz +

2+ 4

0
4 (z;q)
4 (z;q)

dz +

0
4 (z;q)
4 (z;q)

dz = 1:

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

@Q

f 0 (z)
f (z) dz

= 0:

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)

56

CAPTULO 7. FUNCIN THETA

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
n
P

n
P

aj

j=1

j=1

bj = k 2w1 + l 2w2 con k; l 2 Z .

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

@Q

f 0 (z)
f (z) dz

n
P

ai

i=1

n
P

bi

i=1

Si f es elptica de periodos 2w1 y 2w2 Cunto vale

(z)
dz?
z ff (z)

@Q

Sean
R

1;

2;

f 0 (z)
f (z) dz

Sea

como en f igura2:

(z + 2w2 )

f 0 (z+2w2 )
f (z+2w2 ) dz

1 (t)

= f(

1 (t)),

f 0 (z)
f (z) dz

2w2

entonces 1 es una curva cerrada, por lo cual

R
R
0
(z)
z ff (z)
dz = dw
w = 2 i
1

57

f 0 (z)
f (z) dz

58

CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN

Analogamente para 2 y
n
n
R
P
P
ai
bi = 21 i z
i=1

i=1

4 :Por
0

lo tanto "

f (z)
f (z) dz

@Q

1
2 i

2w2
1

f 0 (z)
f (z) dz

2w1

f 0 (z)
f (z) dz

= 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:
'(z) =

4 (z

a1 +zo ;q)
b1 +zo ;q)

4 (z

Para que este candidato sea el bueno tiene que ser una funcin peridica de
periodo : Calculemos.
'(z +

)=

q
q

1
1

e
e

i2(z

a1 +zo )

4 (z

i2(z

b1 +zo )

4 (z

Por lo tanto ' es elptica si y slo si b1

Entonces
'(z) =

a1 +zo pq)
b1 +zo pq)

a1 = m

4 (z
4 (z

=e

a1 +zo ;q)
a1 m +zo ;q)

i2(b1 a1 )

'(z)

para algn entero m .

= 1:

As, '(z) es trivial. Si f es elptica de grado 1, entonces 9 un nico b1 polo

simple de f . Por lo tanto
f (z) =

R1
z b1

1
P

an (z

bn )

n=0

y por periodicidad se tiene

R1 =

1
2 i

f (z)dz =

1
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 constantes.

8.2. FUNCIONES ELPTICAS DE GRADO 2

8.2.

59

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 :
(z) =

4 (z
4 (z

a1 +zo ;q)
b1 +zo ;q)

4 (z
4 (z

a2 +zo ;q)
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
a1 + a2

(b1 + b2 ) = k 2w1 + l 2w2 y

w1
w2

2 H+

podemos construir una funcin elptica con periodos 2w1 , 2w2 ceros en a1 ; a2 ;
polos en b1 ; b2 : A saber la funcin
M (z) =

z a1
4 ( 2w
1
z b1
4 ( 2w
1

+zo ;q)
+zo ;q)

Para la periodicidad en 2w2 tomemos

z a2
4 ( 2w
1
z b2
4 ( 2w
1

w1
w2

+zo ;q)
+zo ;q)

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 12 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
Como queremos

(a1 + a2 ) = 2K(k) + 2iK 0 (k) 2K(k) = 2iK 0 (k) =

=0
+1
i 2 K 0 (k):
2 H + tomamos
b 1 + b2

con m = 0 y l = 1:
Por otra parta, la funcin

= i 2 K 0 (k): Entonces

(a1 + a2 ) = m

+l

60

CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN

(z) =

z
4 ( 4K(k) +zo ;q)
z iK 0 (k)
+zo ;q)
(
4
4K(k)

2K(k)
+zo ;q)
4K(k)
(2K(k)+iK 0 (k))
+zo ;q)
4K(k)

4(
4(

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).
Tomando = i 2 K 0 (k) se tiene que
constante. As,
sn(z; k) = p

z
4 ( 4K(k) +zo ;q)
z iK 0 (k)
+zo ;q)
4 ( 4K(k)

(z)
sn(z;k) es

elptica y entera, por lo tanto

z 2K(k)
+zo ;q)
4K(k)
(2K(k)+iK 0 (k))
+zo ;q)
4K(k)

4(
4(

para algn p 2 C:

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
1
1
P(z) = z12 +
[z (n+im)]2
[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

[P 0 (z)] = 4 [P(z)]
g2 =

60

g2 P(z)

(n;m)2Z f0g Z f0g

g3 = 140

g3

1
(n+im)4

(n;m)2Z f0g Z f0g

1
(n+im)6

Consideremos el cuadrado Q con vrtices en: 12 + 2i , 12 + 2i , 12 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
(II) Sean e1 , e2 y e3 races del polinomio w3
P( 21 ) = e1 , P( 2i ) = e2 , P( 12 + 2i ) = e3 :
(III) g3 = 0

g2
4 w

g3
4 ,entonces

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 ( 12 ) , entonces

P 0 ( 12 ) = 0
Anlogamente
P 0 ( 2i ) = 0 = P 0 ( 12 + 2i )
Combinando este ltimo resultado con (17) tenemos que para c 2
3

g2
4

[P(c)]

g3
4

P(c)

=0

Es decir,
P(c) es raz del polinomio w3

g2
4 w

g3
4

Por denicin de e1 , e2 y e3 se tiene el resultado.

(III) De (II)
g2
4 w

w3

g3
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
b) P( 21 )P( 2i ) + P( 12 )P( 12 + 2i ) + P( 2i )P( 12 + 2i ) =

g2
4

c) P( 12 )P( 2i )P( 12 + 2i ) = g3

Desarrollando a) obtenemos
0 = P( 12 ) + P( 2i ) + P( 12 + 2i )
"
P
1
= 4+
[(n 1 )+im)]2
+

"

(n;m)2Z f0gxZ f0g

(n;m)2Z f0gxZ f0g

Por lo tanto
P( 12 + 2i ) = 0

Sustituyendo en c) obtenemos
g3 = 0

[(m

1
[n+im]2

1
1
2
2 ) in]

1
[m in]2

+ P( 12 + 2i )

1 i 1
2; 2; 2

i
2

62

CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN

Tomemos como cuadrado fundamental Q el cuadrado con vrtices en:

3
4

+ i 34 ;

1
4

+ i 34 ;

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
4

P(z) =

( (z [ 12 + 2i ])+zo )

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
fa1 ; a2 g \

1 i 1
2; 2; 2

i
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
fb1 ; b2 g \

1 i 1
2; 2; 2

i
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

f (z) =

[P(z)
[P(z)

P(a1 )] [P(z)
P(b1 )] [P(z)

P(a2 )]
;
P(b2 )]

2C

(20)

En el caso general, se considera

f (z) =

1
2

[f (z) + f ( z)] +

1 f (z) f ( z) 0
P (z):
2
P 0 (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]

64

CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN

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 aceleracin 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) supusieron 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 incompresible, dedujeron la frmula de Russell para la velocidad. Tambin encontraron
que el perl de la supercie del agua es:
1
4h2 (h + a), en el caso ha
1:
(x; t) = a sec h2 [b(x ct)] , con b 2 = 3a
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
(!
u;!
n )d
dt =
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
i
i
@t
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 conservacin de masa es
div(!
u)=0
Las ecuaciones de conservacin de momento son

67
@ ui
@t

3
P
@(ui uj )
@xj

j=1

1 @p
@xi

+ Fi

para i = 1; 2; 3: O en forma vectorial

@!
u
@t

+ (!
u r) !
u =

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.
@u

@
@xi

@
@xj

@
Usando que uj @xji = 12 u @x
i
@
@t

, obtenemos la ecuacin de Bernoulli

1
2

jr j + 1 p + gx3 = 0

Como podemos absorber cualquier funcin de t en el potencial, se sigue que

@
@t

1
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 @x
= (x1 ; x2 ; 0; t) = 0 para (x1 ; x2 ) en la regin que forma la
3
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(

+ 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
dt

1 @f
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

68

APNDICE A. KORTEWEG-DE VRIES

f ( ; t) = x3

(x1 ; x2 ; t)

Usando la identidad del prrafo anterior encontramos la ecuacin para la supercie 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
@
@t

1
2

jr j + g = 0

La regin ocupada por el uido es f(x1 ; x2 ; x3 ) p 0

el problema completo es
(A )

x3

h + (x1 ; x2 ; t)g y

i) 4 = 0 en 0 < x3 < h + (x1 ; x2 ; t)

ii)

@
@x3 (x1 ; x2 ; 0; t)

=0

para todo t

iii)

@
@t

1
2

iv)

@
@t

@
@
@x1 @x1

jr j + g = 0 en x3 = h + (x1 ; x2 ; t)
+

@
@
@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 dependencia 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 =

x
l

, z =

z
h

, 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)
(ii)

zz

= 0 en 0 < z < 1 +

z (x; 0; t)

(iii)

(iv)

+
2

=0
2
x

2
t

para t
+

2 2
z

x x)

(x; t) , x > 0
0
= 0 en z = 1 +

en z = 1 +

(x; t)

(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
que se mueve con
p
3=2
(x t), =
t, =
para obtener
velocidad 1, es decir, =
(A)
i)

zz

ii)

z(

iii)

iv)

= 0 en 0 < z < 1 +

; 0; ) = 0
+

= (

para
+

1
2

2
z

( ; )

= 0 en z = 1 +

) en z = 1 +

( ; )

( ; )

Suponemos expansiones de la forma

( ; z; ) = o ( ; z; ) +
( ; ) = o( ; ) +
A orden

1(

; z; ) + O(
2
)
1 ( ; ) + O(

obtenemos
@2 o
@z 2

= 0 en 0 < z < 1 +
@ 1
@z (

por lo cual

o(

; 0; ) = 0

; z; ) no depende de z, es decir
o(

( ; )

@
@

; )=

o(

; ). Adems,

en z = 1

Por lo tanto
o(

A orden

; )=

@
@

( ; )

tenemos
@2 1
@2
@z 2 + @
@ 1
@z ( ; 0;

o
2

=0

)=0

por lo cual
( ; z; ) =

z2 @ 2
2 @

o
2

( ; ) + c( ; )z + b( ; )

Usando la condicin de frontera en z = 0 obtenemos

1(

; z; ) =

1(

; )

z2 @ 2
2 @

o
2

( ; )

De la primera condicin de frontera en z = 1 obtenemos

1

@
@

1 @3
2 @

o
3

@
@

1
2

@
@

2
o

=0

(1)

70

APNDICE A. KORTEWEG-DE VRIES

y de la segunda se obtiene una relacin de consistencia.

A orden

obtenemos
@2 2
@2
@z 2 + @
@ 2
@z ( ; 0;

1
2

=0

)=0

Esto implica que

2(

; z; ) =

2(

z2 @ 2
2 @

; )

1
2

z4 @ 4
24 @

( ; )+

o
4

n
o
@
@
@
@
@
Pero := @ j ; @ j ; @zj ; @ j ; @ j tienen segundas derivadas continuas por lo
que toda f 2 tiene la siguiente expansin:
f( ; 1 +

@f
@z (

; ) = f ( ; 1; ) +

; 1; ) + O(

Por lo tanto
@ 2
@2 2
+
@z
@z 2

@2
@

1
2

1 @4
6 @

@2
@

o
4

o
2

Integramos (9) con respecto a , usando (8) y

@
@

1
2

1 @3
6 @

o
3

@
@

@
@

1 @3
6 @

@
@

@
@

@
@
0

@
@

@
@

@
@

(2)

para obtener
@
@

1
2

2
o

as que
1

@
@

@
@

1 @3
2 @

o
3

@
@

o
3

1
2

@
@

2
o

Es decir,
2 @@ o +
Derivando con respecto a

o
3

3
2

@
@

=0

obtenemos la ecuacin
@
@

Reescalando las variables

Korteweg y de Vries

1 @3
3 @

3
1@
6 @

o
3

@
3
2 o @

= 6t, x = , u =

=0

3
2 o,

ut + uxxx + 6uux = 0
.

obtenemos la ecuacin de

(3)

Bibliografa
[AB] Gert Almkvist, Bruce Berndt.Gauss, Landen, Ramanujan, the ArithmeticGeometric 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, Volume 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 Publications, 1998.
[WW] E.T. Whittaker, G.N. Watson. A Course of Modern Analysis. Cambridge
Mathematical Library, 1996.

71