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 x
2
+z
2
=a
2
por el cilindro x
2
+y
2
=b
2
, 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 q(.) con
polo doble en i y cero doble en ccro? . . . . . . . . 44
iii
iv NDICE GENERAL
5.3.2. Qu otras funciones meromorfas :(.) tienen un cero
doble en 0 y un polo doble en i? . . . . . . . . . . . 44
5.3.3. Cuntas funciones elpticas con periodos 2 y 2i
tienen un cero doble en 0 y un polo doble en i? . . 45
6. Funcin T de Weierstrass 47
6.1. Ecuacin Diferencial para 1(.) . . . . . . . . . . . . . . . . . . . 48
6.2. Ecuacin Diferencial para T . . . . . . . . . . . . . . . . . . . . . 48
7. Funcin Theta 51
7.1. Ecuacin de Calor . . . . . . . . . . . . . . . . . . . . . . . . . . 51
7.2. Propiedades de las funciones T HcT / . . . . . . . . . . . . . . . 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 T 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 o(t) = (a cos(t), /
:c:(t)) con / a 0
t [0, 2[, la longitud queda dada por:
1(a, /) = 4
_
2
0
_
a
2
:c:
2
(t) /
2
cos
2
(t)dt = 4
_
2
0
_
a
2
:c:
2
(t) /
2
(1 :c:
2
(t))dt
= 4
_
2
0
_
/
2
a
2
:c:
2
(t) /
2
:c:
2
(t)dt = 4
_
2
0
_
/
2
(a
2
/
2
):c:
2
(t)dt
= 4/
_
2
0
_
1 (
b
2
o
2
b
2
):c:
2
(t)dt = 4/
_
2
0
_
1 /
2
:c:
2
(t)dt
tomando /
2
=
b
2
o
2
b
2
= 1
o
2
b
2
, que es la excentricidad de la elipse.
A las integrales de este tipo, es decir a las de la forma
_
2
0
_
1 /
2
:c:
2
(0)d0
con 0 < / < 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 :c:(r) en el intervalo
_
0,
t
2

.
1(:c:(r); 0,
t
2
) =
_
2
0
_
1 cos
2
(r)dr =
_
2
0
_
1 (1 :c:
2
(r))dr
=
_
2
0
_
2 :c:
2
(r)dr =
_
2
_
2
0
_
1
_
l
_
2
_
2
:c:
2
(r)dr
1(:c:(r); 0,
t
2
) es una integral del segundo tipo con / =
l
_
2
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 1(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 1(t) = (r(t), j(t))?
(ii) Podemos conocer la distancia recorrida por Marte del tiempo t
0
= 0 al
tiempo t
Depus de estudiar los datos observacionales recavados por Brahe, Kepler for-
mul sus Tres Leyes del Movimiento Planetario:
1
o
Los cuerpos celestes se mueven en trayectorias elpticas sobre un plano y
el Sol es un foco de dicha rbita.
2
o
A tiempos iguales se barren reas iguales
5
6 CAPTULO 1. LEYES DE KEPLER
8
o
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 1(t) = (a co:(0(t)), / :c:(0(t)) ) y la distancia
recorrida por Marte durante el tiempo t t
o
esta dada por:
1(a, /) =
_
|
|c
_
a
2
:c:
2
(:) /
2
cos
2
(:)

0(:)d: =
= /
_
|
|c
_
1
_
_
b
2
o
2
b
2
_
2
:c:
2
(:)

0(:)d:
= /
_
|
0
_
1
_
_
b
2
o
2
b
2
_
2
:c:
2
(:)

0(:)d: (0)
A las integrales que aparecen en este contexto las llamamos integrales incom-
pletas del segundo tipo.
Pero aun no sabemos cmo es 0(t). Lo que s sabemos por la tercera ley de
Kepler es que el movimiento no es uniforme as que

0(t) no es constante.
Utilicemos la Mecnica Newtoniana para encontrar 0(t).
La ley de Gravitacin nos dice que cualesquiera dos particulas con masa ' y
: respectivamente se atraen mediante la siguiente relacin
1 = G
1n
1
2
con G una constante y r la distancia entre las dos partculas.
Mientras que la segunda ley de Newton: Una Fuerza 1 actuando en una masa
: le da a la masa una aceleracin a y se tiene
1 = :a
Sea ' = :a:a dc| oo|, : = :a:a dc 'artc, 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 1 como la )ncr.a qraitacio:a| tenemos:
G
1
1
2
= a
En nuestro caso, la aceleracin actua en la misma direccin del vector Marte-Sol
y en direccin de decrecimiento de 1(t).
7
Por lo que la aceleracin es una funcin del Radio 1. Ya que
a(1) =

1(t) 1(t)

0(t)
2

1(t) 1(t)

0(t)
2
=
G'
1(t)
2
(1)
Pero la gravitacin actua radialmente por lo cual la aceleracin no es una funcin
del ngulo 0. Es decir
a(0) =
l
1(|)
d
dt
_
1
2
(t)

0(t)
_
= 0
de esta ltima ecuacin encontramos que
1(t)
2

0(t) = c , jara a|qn:a c R (2)
Nos gustaria tener una ecuacin diferencial que solo involucre a 1 o a 0. Para
esto, utlicemos la relacin
1 =
|
ltcos(0)
donde
c = cccc:tricidad dc |a c|ij:c dc)i:ida jor |a trajcctoria dc 'artc
/ = c (|a di:ta:cia dc| oo| a |a dircctri. dc |a c|ij:c dc)i:ida jor |a
trajcctoria dc 'artc)
sustituyendo en (2) obtenemos

0(t) = c
_
/
1 c co:(0)
_
2
= (
c
/
)
2
(1 c co:(0))
2
(3)
J0
(ltcos(0))
2
= (
c
|
)
2
dt
=
0
_
0
Js
(ltcos(s))
2
= t (
c
|
)
2
Ya se ve complicada la ecuacion de 0 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

0(t).
8 CAPTULO 1. LEYES DE KEPLER
Para nes prcticos, supongamos que el movimiento es uniforme, es decir

0(t) =
:, j.a : R

,para obtener:
1(a, /) = /:
_
_
_
|
0
_
1
_
_
b
2
o
2
b
2
_
2
:c:
2
(:)d:
_
_
= /:
__
|
0
_
1 /
2
:c:
2
(:)d:
_
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 / pequeo usando expansin de Taylor
y el segundo sera para / [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 :c:(r) en el intervalo [0, 2[ esta dada por:
1 =
_
2
0
_
1 cos
2
(t)dt =
_
2
0
_
1 (1 :c:
2
(t))dt =
=
_
2
_
2
0
_
1 (
l
_
2
)
2
:c:
2
(t))dt
Si / =
l
_
2
, entonces
1 =
_
2
_
2
0
_
1 /
2
:c:
2
(t)dt. Sea )(r) = (1 r)
s
.
Usando series de Taylor obtenemos:
)(r) = 1 :r
s(sl)
2!
r
2

s(sl)(s2)...(sn2)
(nl)!
r
nl
1
n
1
n
=
s(sl)(s2)...(snl)(lo)
sr
n!
r
n
, c (0, r)
9
10CAPTULO2. MTODOS NUMRICOS PARAAPROXIMAR INTEGRALES ELPTICAS
Esta serie converge absolutamente si [r[ _ 1. Por lo tanto r = /
2
:c:
2
(c)
cumple la condicin para tener convergencia absoluta de la serie.
Sea : = 1,2
l
_
2
1 =
_
2
0
1(
l
2
)
_
/
2
:c:
2
(c)

l
2!
l
2
l
2
_
/
2
:c:
2
(c)

l
3!
l
2
l
2
3
2
_
/
2
:c:
2
(c)

..... (1)
n l
n!
l
2
l
2
...
32n
2
_
/
2
:c:
2
(c)

n
dr 1
n
1
n
=
(l)
r
n!
(lo)
sr
2
r
nl

I=2
(2i 8) /
2n
:c:
2n
c
[1
n
[ _
l
n!
l
2
r
nl

I=2
(2i 8) /
2n
=
l
n!
l
2
r
nl

I=2
(2i 8) /
2n
2.2. Aproximacin de la longitud de la grca
del sen(x) en el intervalo [0,2] usando el
Mtodo del Trapezoide
Sean
r
o
= 0, r
l
=
t
2n
, r
2
=
t
n
, r
3
=
3t
2n
, ..., r
I
=
It
2n
, ..., r
n
=
t
2

una particin de [0,

t
2
[ y
j
I
= )(r
I
) =
_
1 /
2
:c:
2
(r
I
) , \i = 0, 1, 2, ..., :
Entonces
_
2
0
_
1 /
2
:c:
2
(t)dt -
t
dn
[j
o
2j
l
2j
2
... 2j

... 2j
nl
j
n
[
Una cota para el error utilizando este mtodo es :
crror = 1 _
1(t/2)
3
l2n
2
, ' = max[)
tt
(r)[ ; 0 _ r _
t
2

Pero
[)
tt
(r)[ =

|
2
(cos
2
(r)stn
2
(r)|
2
stn
4
(r))
(l|
2
stn
2
(r))
32

_ /
2

:c:
2
(r) /
2
:c:
d
(r) cos
2
(r)

/
2

:c:
2
(r) /
2
:c:
d
(r) cos
2
(r)

_ /
2
_
1 /
2

por lo tanto
1 _
|
2
[l|
2
[
96n
2

3
2.3. PROMEDIOS ARITMTICO-GEOMTRICOS. 11
En el caso de la longitud de la grca del :c:(r) en el intervalo [0, ,2[ teniamos
que / =
l
_
2
por lo tanto el error esta acotado por
t
3
l2Sn
2
- 0,242286866484281
l
n
2
Comparacin de la aproximacin de
_
2
_
2
0
_
1 /
2
:c:
2
(t)dt utilizando mto-
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
8 1.9100969337379137 0.0269152 1.9123053271418946 0.0390625
1.9100988937464334 0.00968946 1.9103552187355535 0.00769043
0 1.9100988945138557 0.00299057 1.9101049729345663 0.000362247
1 1.9100988945138557 0.00107661 1.9100989330881069 .0000440870
0 1.9100988945138553 0.0000968946 1.9100988945138562 7.06894 x 10
l7
Observamos que para : pequea el mtodo del Trapezoide nos da una mejor
estimacin del error que por Expansin de Taylor pero conforme : 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 1(a, /)) 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, / R , a / 0. Consideremos la siguiente sucesin de promedios
aritmticos a
I
[a
l
=
ob
2
j a
n
=
or1br1
2
\: 1
IN
y la siguiente sucecin
de promedios geomtricos /
I
[/
l
=
_
a/ j /
n
=
_
a
nl
/
nl
\: 1
IN
.Es un
ejercicio probar que la sucesin a
I
es decreciente y acotada inferiormente por
/ mientras que la sucesin /
I
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:
/ < /
l
< /
2
< /
3
< ....... < a
3
< a
2
< a
l
< a
y que las suceciones convergen al mismo lmite. Este lmite, que denotaremos
por '(a, /), es el promedio aritmtico-geomtrico.(
1
).
1
American Mathematical Monthly 1988. No.August-September. Pp585-608
12CAPTULO2. MTODOS NUMRICOS PARAAPROXIMAR 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 rela-
cionadas.
Teorema 1 Sea [r[ < 1 y 1(r) =
_
2
0
Js
_
lr
2
stn
2
(s)
, entonces
'(1 r) =
t
21(r)
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:
Teorema 2 Sea 1(a, /; c; r) =
o

|=0
(o)
!
(b)|
(c)
!
|!
r
|
, [r[ < 1 ,
(:)
|
= :(: 1)(: 2) (:/ 1) , entonces
1(a, /) = (a /) 1(
l
2
,
l
2
; 1;
_
ob
ob
_
2
)
Haciendo uso del Teorema 2 obtenemos
1(a, /) = (a /)
o

|=0
(
1
2
)
!
(
1
2
)
!
(l)
!
|!
_
ob
ob
_
2|
= (a /)
_
o

|=0
(
1
2
)
2
(
1
2
l)
2
(
1
2
2)
2
(
1
2
|l)
2
(|!)
2
_
ob
ob
_
2|
_
= (a /)
_
o

|=0
(
1
2
)
2
(
1
2
)
2
(
3
2
)
2
(
5
2
)
2
(
2!3
2
)
2
(|!)
2
_
ob
ob
_
2|
_
= (a /)
_
1
l
d

_
ob
ob
_
2

|=2
(
l
d
)
|
_
ob
ob
_
2| _
l
|!
_
2
|

I=l
(2i 8)
2
_
Una buena apriximacin de 1(a, /) debida a Ekwall y Sipos es:
1(a, /) - 2
2(ob)
2
(
_
o
_
b)
4
(
_
o
_
b)
2
2
_
2
_
ob
4
_
ob
2.4. EJEMPLOS
1. Consideremos la elipse con ecuacin paramtrica o(t) = (2 cos(t), :c:(t))
2.4. EJEMPLOS 13
Usando el resultado anterior aproximemos su permetro.
1(2, 1) = (2 1)
_
1
l
d

_
2l
2l
_
2

|=2
(
l
d
)
|
_
2l
2l
_
2| _
l
|!
_
2
|

I=l
(2i 8)
2
_
1(2, 1) = 8
_
1
l
d

_
l
3
_
2

|=2
(
l
d
)
|
_
l
3
_
2|
_
l
|!
_
2
|

I=l
(2i 8)
2
_
/ = 1(2, 1) ~ 0,688448212878
/ = 0 1(2, 1) ~ 0,688448220474
/ = 1 1(2, 1) ~ 0,688448220474
/ = 0 1(2, 1) ~ 0,688448220474
/ = 100 1(2, 1) ~ 0,688448220474
Numericamente nos damos cuenta de la rapidez con la que converge la serie.
Utilizando la aproximacin de Ekwall obtenemos: 1(2, 1) ~ 0,688440826082
2. Calcular la longitud de la grca del :c:(r) en el intervalo [0,
t
2
[.
1(:c:(r); 0, 2) = 4
_
2
0
_
1 cos
2
(r)dr
= 4
_
2
0
_
cos
2
(r) :c:
2
(r) cos
2
(r)dr
= 4
_
2
0
_
:c:
2
(r) 2 cos
2
(r)dr
= 4
_
2
0
_
:c:
2
(r) (
_
2)
2
cos
2
(r)dr
notamos que este problema es anlogo al c,c:j|o 1 tomando a = 1 y / =
_
2
Por lo tanto podemos aproximar esta integral utilizando el mtodo de Gauss-
Landen
1(:c:(r); 0, 2) = 1(1,
_
2)
= (1
_
2)
_
1
l
d

_
l
_
2
_
2l
_
2

|=2
(
l
d
)
|
_
l
_
2
_
2l
_
2| _
l
|!
_
2
|

I=l
(2i 8)
2
_
14CAPTULO2. MTODOS NUMRICOS PARAAPROXIMAR INTEGRALES ELPTICAS
/ 1(:c:(r); 0, 2) ~ 1(:c:(r); 0, ,2) ~
5 7,640807808800 1,010008804188278
6 7,64080780884 1,01000880418846
7 7,64080780428 1,0100088041887
9 7,64080780428 1,0100088041887
15 7,64080780428 1,0100088041887
500 7,64080780428 1,0100088041887
2,000 7,64080780428 1,0100088041887
1,000,000 7,64080780428 1,0100088041887
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 :, sujeta en un
extremo de una barra rgida e inextensible de longitud 1. 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 0(t) el ngulo que forma la barra con la direccin vertical al
tiempo t, la posicin de la masa al tiempo t es r(t) = 1(:c:(0(t)), cos(0(t)))
15
16CAPTULO3. INTEGRALES ELPTICAS ENPROBLEMAS DE LAMECNICA, LAGEOMETRAYLADINAMICADE FLUIDOS.
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

r(t) = 1

0(cos(0(t)), :c:(0(t)))
y la aceleracin es:

r(t) = 1

0(t)
2
(:c:(0(t)), cos(0(t))) 1

0(t)(cos(0(t)), :c:(0(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

0

J
:c:(0(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

0 e
integramos entre 0 y t
_
|
0

0(:)

0(:)

0(:)

J
:c:(0(:))d: = 0

0(|)
2
2


J
cos(0(t))

0(0)
2
2


J
cos(0(0)) = 0

0(t)
2
2

q
1
cos(0(t)) =

0(0)
2
2

q
1
cos(0(0)) =: 1 (4)
En el plano fase de 0 y

0, las curvas integrales del sistema son las grcas de

0 =
_
2
_
1

J
cos(0(t))
Observe que para cada 1, la curva integral correspondiente est denida para
valores de 0 con la propiedad que

J
cos(0(t)) _ 1. En la siguiente gura se
muestra una grca del plano fase 0,

0.
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(0) = a y

0(0) = / y sustituyendo en (4) obtenemos
_
J0
J|
_
2
= 2

J
cos(0) /
2
2

J
cos(a)
J0
J|
=
_
2

J
cos(0) /
2
2

J
cos(a)
Por lo tanto
dt =
J0
_
2

1
cos(0)b
2
2

1
cos(o)
=
_
J
2
J0
q
cos(0)
1
2
b
2
cos(o)
utilizando la identidad trigonomtrica cos(r) = 1 2:c:
2
(
r
2
)
dt =
_
J
2
J0
q
l2stn
2
(0/2)
1
2
b
2
l2stn
2
(o/2)
=
_
J
2
J0
q
2stn
2
(0/2)
1
2
b
2
2stn
2
(o/2)
=
l
2
_
J

J0
q
stn
2
(0/2)
1
4
b
2
stn
2
(o/2)
18CAPTULO3. INTEGRALES ELPTICAS ENPROBLEMAS DE LAMECNICA, LAGEOMETRAYLADINAMICADE FLUIDOS.
Supongamos / = 0 y hagamos el cambio de variable
:c:(0,2) = :c:(a,2) :c:(c)
d0 = 2
stn(o/2) cos()J
_
lstn
2
(o/2)stn
2
()
.
Por lo tanto
dt =
l
2
_
J

2
scr(o2) cos()d
_
1scr
2
(o2)scr
2
()
_
stn
2
(o/2)stn
2
(0/2)stn
2
(o/2)
=
dt =
_
J

stn(o/2)
_
lstn
2
()J
_
stn
2
(o/2)(lstn
2
(0/2))
_
lstn
2
(o/2)stn
2
()
=
_
J

J
_
lstn
2
(o/2)stn
2
()
Sea /
2
= :c:
2
(a,2), entonces
dt =
_
1
q
dc
_
1 /
2
:c:
2
(c)
(5)
Integrando () respecto a t, podemos calcular el periodo del pndulo que deno-
taremos por T(a).
T(a) = 4
_
J

roo
0
Js
_
l|
2
stn
2
(s)
donde c
nor
es el ngulo mximo de apertura del pndulo.
Si /
2
es pequeo (e.d si /
2
= :c:
2
(a,2) < 1,2), obtenemos una buena aproxi-
macin de T(a) por medio de la serie:
T(a) = 2
_
J
2
_
1
_
l
2
_
2
:c:
2
(a,2)
_
l3
2d
_
2
:c:
d
(a,2) ......
_
Pero lo que nos interesa es determinar la ecuacin de movimiento del pndulo.
Observemos que cuando t vara entre 0 y t, 0 vara entre a y 0(t) y c vara
de c
nor
a c(t) . Integrando () obtenemos:
|
_
0
dt =
_
J

roo
Js
_
l|
2
stn
2
(s)
=
_
J

_
0

roo
J
_
l|
2
stn
2
()

_
J

0
J
_
l|
2
stn
2
()
t =
_
J

roo
0
J
_
l|
2
stn
2
()

_
J

0
J
_
l|
2
stn
2
()
t
l
d
T(a) =
_
J

0
Js
_
l|
2
stn
2
(s)
_

J
(t
l
d
T(a)) = 1(/, c)
3.2. ENCONTRAR EL READE LASUPERFICIE DE LASECCINSEPARADADEL CILINDROX
2
+Z
2
=A
2
POR EL CILINDROX
2
+Y
2
=B
2
, DONDE 0 <B <A Y Z_019
1(/, c) =
_

0
Js
_
l|
2
stn
2
(s)
, con / jo entre cero y uno, es la integral elptica
incompleta del primer tipo.
Vemos la necesidad de invertir la integral 1(/, c) para encontrar la ecuacin de
movimiento del pndulo.
La funcin 1(/, c) tiene como inversa la ecuacin elptica de Jacobi denotada
por ::(/, n), la cual estudiaremos con detalle ms adelante.
Por ahora nos basta saber que esta funcin satisface:
n = 1(/, c) ::(/, n) = :c:(c)
Por tanto en el caso del pndulo
:c:(c) = ::(/,
_

J
(t
l
d
T(a)))
l
|
:c:(
0
2
) = ::(/,
_

J
(t
l
d
T(a)))
As, la ecuacin del movimiento del pndulo queda expresada como
0(t) = 2arc:c:
_
/ ::
_
/,
_

J
(t
l
d
T(a))
__
Grca de 2arc:c:[
l
3
::(
l
3
, n)[
3.2. Encontrar el rea de la supercie de la sec-
cin separada del cilindro x
2
+z
2
=a
2
por el
cilindro x
2
+y
2
=b
2
, donde 0 < b < a y
z_0
Sea 1 = (r, j)[r
2
j
2
_ /
2
, . _ 0 y )(r, j) =
_
a
2
r
2
20CAPTULO3. INTEGRALES ELPTICAS ENPROBLEMAS DE LAMECNICA, LAGEOMETRAYLADINAMICADE FLUIDOS.
Ya que
0)
0r
=
r
_
o
2
r
2
y
0)
0j
= 0 el rea de la supercie deseada esta dada
por:
=
__
1
_
1
r
2
o
2
r
2
drdj =
b
_
b
_

_
_
b
2
r
2
_

_
b
2
r
2
o
_
o
2
r
2
dj
_

_dr =
=
b
_
b
o
_
o
2
r
2
_

_
_
b
2
r
2
_

_
b
2
r
2
dj
_

_dr = 2a
b
_
b
_
b
2
r
2
_
o
2
r
2
dr = 2a
b
_
b
_
l(r/b)
2
_
l(r/o)
2
dr
Sea : = r,/, entonces
= 2a/
l
_
l
_
ls
2
l(
|
o
)
2
s
2
d: = 4a/
l
_
0
_
ls
2
l(
|
o
)
2
s
2
d:
Haciendo el cambio de variable :c:(0) = : obtenemos
= 4a/
t/2
_
0
_
lstn
2
(0)
l(
|
o
)
2
stn
2
(0)
co:(0)d0 = 4a/
t/2
_
0
cos(0)
2
q
l(
|
o
)
2
stn
2
(0)
d0 =
= 4a/
t/2
_
0
lstn
2
(0)
q
l(
|
o
)
2
stn
2
(0)
d0
Sean / =
b
o
y ^ =
_
1 /
2
:c:
2
(0) , entonces
^
l
.
=
.
2
l
.
=
l|
2
stn
2
(0)l
.
=
|
2
stn
2
(0)
.
Por lo tanto
.
|
2
(^
l
.
) = :c:
2
(0). Sustituyendo en la integral
= 4a/
t/2
_
0
l
_
l|
2
stn
2
(0)
d0 4a/
t/2
_
0

!
2
(.
1

)
_
l|
2
stn
2
(0)
d0 =
= 4a/
t/2
_
0
l
_
l|
2
stn
2
(0)
d0
dob
|
2
t/2
_
0
(^
l
.
)d0
3.3. ONDAS VIAJERAS PARALAECUACINDE KORTEWEG- DE VRIES21
= 4a/
t/2
_
0
l
_
l|
2
stn
2
(0)
d0
dob
|
2
t/2
_
0
(
_
1 /
2
:c:
2
(0)
l
_
l|
2
stn
2
(0)
)d0
= 4a/
_
1
l
|
2
_
t/2
_
0
l
_
l|
2
stn
2
(0)
d0
dob
|
2
t/2
_
0
_
1 /
2
:c:
2
(0)d0
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
n
|
n
rrr
6nn
r
= 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
n(r, t) = l(r ct)
con la condicin l
(n)
() = 0 para : = 0, 1, 2
Sean = r ct y
t
=
J
J
, entonces la ecuacin a resolver es
cl
t
l
ttt
6ll
t
= 0 (7)
Integrando (7)con respecto a obtenemos
cl l
tt
8l
2
= 0 (8)
Que es un sistema conservativo.ya que
JJ
J|
= 0
1(t) =
l
2
l
t2
(t) l
3
(t)
c
2
l
2
(t)
Por lo tanto
1(t) = 1(0)
22CAPTULO3. INTEGRALES ELPTICAS ENPROBLEMAS DE LAMECNICA, LAGEOMETRAYLADINAMICADE FLUIDOS.
Por lo que las curvas integrales de

l =

= cl 8l
2
cumplen que
l
2

2
l
3

c
2
l
2
= 1(0)
o equivalentemente
=
_
2
_
c
2
l
2
l
3
1(0) (9)
que estan denidas para
l
3

c
2
l
2
_ 1(0)
Por lo tanto la grca del potencial ,(l) = l
3

c
2
l
2
determina la estructura
de las curvas integrales como se muestra en la siguiente gura
0.6 0.4 0.2 0 -0.2
0.04
0.02
0
-0.02
U
P(U)
U
P(U)
,(l) = l
3

c
2
l
2
0.4 0.2 0 -0.2
0.4
0.2
0
-0.2
-0.4
U
v
U
v
=
_
2
_
c
2
l
2
l
3
1(0)
Queremos encontrar soluciones acotadas de (7) con c 0. En esa direccin
integremos dos veces (7) de 0 a para obtener
l
2
l
t2
l
3

c
2
l
2
= l 1 ,con. , 1 R
Sean l
l
< l
2
< l
3
races del polinomio l 1 l
3

c
2
l
2
, entonces
r
JI
J
=
_
2
_
(l l
l
)(l l
2
)(l l
3
)
Por lo tanto el periodo de oscilacin esta dado por dos veces T
T =
l
_
2
I3
_
I2
Ju
_
(II1)(II2)(II3)
Adems, si l(0) = l
3
obtenemos
3.3. ONDAS VIAJERAS PARALAECUACINDE KORTEWEG- DE VRIES23
=
l
_
2
I
_
I3
Js
_
(sI1)(sI2)(sI3)
=
l
_
2
I3
_
I
Ju
_
(sI1)(sI2)(sI3)
para l
2
_ l _ l
3
Sean
: = l
3
(l
2
l
3
):c:
2
(0)
d: = 2(l
2
l
3
):c:(0) cos(0)d0
: l
l
= l
3
l
l
(l
2
l
3
):c:
2
(0) = (l
3
l
l
)
_
1
I2I3
I3I1
:c:
2
(0)
_
= (l
3
l
l
)
_
1 /
2
:c:
2
(0)

: l
2
= (l
3
l
2
)
_
1 :c:
2
(0)

= (l
3
l
2
) cos
2
(0)
: l
3
= (l
2
l
3
) :c:
2
(0)
c(l) = arc:c:
__
II3
I2I3
_
Entonces
=
2
_
2
0
_
r(I)
I2I3J0
_
I3I1
_
l|
2
stn
2
(0)(I3I2)
=
_
2
_
I3I1
r(I)
_
0
J0
_
l|
2
stn
2
(0)
Por lo cual
l() = l
2
(l
3
l
2
)c:
2
_
_
I3I2
2
t; /
_
Recordando que = r ct
En el periodo vuelven a aparecer las integrales elpticas y para encontrar l(r
ct) nos volvemos a encontrar con el problema de inversin.
24CAPTULO3. INTEGRALES ELPTICAS ENPROBLEMAS DE LAMECNICA, LAGEOMETRAYLADINAMICADE FLUIDOS.
Parte II
Funciones Elpticas
25
Captulo 4
Mapeos del Semiplano
Superior H
+
Ejemplos de mapeos de H

en
1) El Primer Cuadrante: )(.) =
_
.
La eleccin del argumento 0
_

t
2
,
3t
2
_
permite calcular la imagen del
eje real.
2) Una franja 1 = . C [ < Io(.) < j Im(.) 0
Figura 8
Supongamos que )(R) = la frontera orientada de la franja 1 (como se
muestra en la gura 8)
27
28 CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H

Sea (r) = r :i r R j o(r) = )((r)) = )(r)

Queremos que la tangente a la imagen dada por o(r) = )
t
(r) cambie de
direccin en 00

al cruzar r = 1, 1
Una solucin es )
t
(.) =
_
r
2
1 para r R, por lo tanto )(.) =
_
.
2
1
=
_
. 1
_
. 1 para todo . H

. Tomando cortes rama como se

muestra en la siguiente gura
ya que nos interesa la imagen del eje real y el semiplano superior.
Entonces )(.) =
:
_
0
_
:
2
1d: es un buen candidato.
Examinemos algunas propiedades de esta funcin:
(i) )(0) = 0
(ii) Si 1 < : < 1
: = 1 (1 :)c
It
= 1 (1 :)c
I0
.
Por lo tanto
_
:
2
1 =
_
1 :c
It/2
_
: 1c
I0
= i
_
1 :
2
.
Entonces
Im()(r i j [ r [0, 1[ , j = 0) =
=
_
r i j [ r = 0 , j
_
0,
t
d
_
Im()(r i j [ r [1, 0[ , j = 0) =
=
_
r i j [ j
_

t
d
, 0

, r = 0
_
Si : 1 entonces : = 1 (: 1)c
I0
= 1 (1 :)c
I0
. Por lo tanto
)(r) = )(1)
r
_
0
_
:
2
1d: =
t
d
i r(r)
r(r) 0 , r(r)
ro

29
. Por lo tanto )(R) queda con orientacin negativa y )(H

)
es una franja horizontal.
Para corregir la orientacin de )(R) necesitamos
)(.) =
:
_
0
Js
_
s
2
l
rotada 00

,
es decir, considerar
G(.) = i
:
_
0
Js
_
s
2
l
=
:
_
0
Js
t
12
_
s
2
l
=
:
_
0
Js
_
ls
2
La imgen de H

bajo esta funcin es

n C [
t
2
< Io(n) <
t
2
Im(n) 0.
Por lo tanto basta ajustar el ancho de la banda para tener
la funcin deseada
)(.) =
2.
t
:
_
0
Js
_
ls
2
.
3) Un rectngulo
Siguiendo la idea del ejemplo anterior.
Ca:didato :
)(.) =
:
_
0
Js
_
s
2
l
_
s
2
o
2
con a 1.
Los puntos de ramicacin son a, 1, 1, a y la eleccin de las ramas del
argumento es:

t
2
< 0

< 8
t
2
.
Entonces para . R , . ~ 1
)(.) =
l
_
0
Js
_
s
2
l
_
s
2
o
2

:
_
0
Js
_
s
2
l
_
s
2
o
2
= )(1)
:
_
0
Js
_
s
2
l
_
s
2
o
2
Sea / =
l
o
< 1, entonces
30 CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H

)(1) =
l
_
0
Js
_
ls
2
_
o
2
s
2
=
l
o
l
_
0
Js
_
ls
2
_
l
2
(
s
o
)
2
=
= /
l
_
0
Js
_
ls
2
_
l
2
|
2
s
2
= / 1(/, ,2 2:) := 1(/)
As
)(.) = 1(/)
:
_
l
Js
_
s
2
l
_
s
2
o
2
= 1(/)
:
_
l
Js
_
s
2
l
_
s
2
o
2
Observemos que f(z) tiene puntos de ramicacin en a, 1, 1 y a. Entonces
. = 1 r
I
c
I01
, r
l
= [1 :[
= 1 r
2
c
I02
, r
2
= [1 :[
= a r
3
c
I03
, r
3
= [a :[
= a r
d
c
I04
, r
d
= [a :[
t
2
< 0

<
t
2
Analicemos la imagen del semiplano superior H

bajo )(.) :
1) Determinar la imagen de [0, a[
a) )(0) = 0 , )(1) = 1(/)
b) oca r (0, 1), entonces
l
_
s
2
l
_
s
2
o
2
=
l
_
ls
2
l
_
o
2
s
2
c
It
, por lo tanto
)(r) =
r
_
0
Js
_
s
2
l
_
s
2
o
2
=
r
_
0
Js
_
ls
2
_
o
2
s
2
< 0
=f ([0, 1[) = [0, K(k)[
c) Sea r (1, a), entonces
l
_
s
2
l
_
s
2
o
2
=
l
_
s
2
l
l
_
o
2
s
2
(i) ,
Por lo tanto,
)(r) = )(1) i
r
_
l
Js
_
s
2
l
_
o
2
s
2
= 1(/) i
r
_
l
Js
_
s
2
l
_
o
2
s
2
31
En particular
)(a) =
o
_
0
Js
_
s
2
l
_
s
2
o
2
= )(1) i
o
_
l
Jr
_
r
2
l
_
o
2
r
2
=
= 1(/) i
o
_
l
Jr
_
r
2
l
_
o
2
r
2
= 1(/) i /
l/|
_
l
Jr
_
r
2
l
_
l|
2
r
2
Sea 1
t
(/) = /
l/|
_
l
Jr
_
r
2
l
_
l|
2
r
2
, entonces
)(a) = 1(/) i 1
t
(/)
Podemos conlcuir
)([1, a[) = . = r ij [ r = 1(/) , j (0, 1
t
(/))
)([0, 1[) = [0, 1(/)[
Anlogamente
)([1, 0[) = [1(/), 0[
)([a, 1[) = (r, j) [ r = 1(/), j (1
t
(/), 0)
2) Determinar la imagen bajo ) de [a, [
oca r a y a < : < r , entonces
)(r) = )(a)
r
_
o
Js
_
s
2
l
_
s
2
o
2
= 1(/) i 1
t
(/)
r
_
o
Js
_
s
2
l
_
s
2
o
2
Notemos que
r
_
o
Js
_
s
2
l
_
s
2
o
2
0
Para determinar )() necesitamos calcular
1 :=
o
_
o
Jr
_
r
2
l
_
r
2
o
2
Haciendo el cambio de variable t = a,r
1 =
0
_
l
Jr
_
(o/|)
2
l
_
(o/|)
2
o
2
=
l
o
0
_
l
J|
q
l
t
2
o
2
_
l|
2
=
32 CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H

1 = /
l
_
0
J|
_
l|
2
|
2
_
l|
2
= 1(/)
Por lo tanto
lim
ro
)(r) = lim
ro
)(a)
r
_
o
Js
_
s
2
l
_
s
2
o
2
=
= lim
ro
1(/) i1
t
(/)
r
_
o
Js
_
s
2
l
_
s
2
o
2
=
= 1(/) i1
t
(/) i 1
t
(/) = i1
t
(/)
)([a, [) = . = r ij p r (1(/), 0) , j = i 1
t
(/)
Analogamente
)([, a[) = . = r ij p r (0, 1(/)) , j = i 1
t
(/)
Ahora sabemos que la imgen del eje Real es la frontera del rectngulo con
vrtices en
1(/), 1(/) i1
t
(/), 1(/) i1
t
(/), 1(/).
Denotaremos a dicho rectngulo como 1.
Ms aun, )(.) es analtica y conforme en H

ya que
)
t
(.) =
l
_
:
2
l
_
:
2
o
2
,= 0 c: H

De hecho ) es 1 1 en H

y suprayectiva en 1 :
Armacin )(H

) = 1 y para cada n i:t (1) existe un nico . H

tal
que )(.) = n.
Demostracin Sea n
o
1:tcrior dc 1. Sea
(n
o
) = n:cro dc :o|ncio:c: dc )(.) = n
o
co: . H

33
Sea una curva simple cerrada en H

tal que )(.) ,= n

o
para todo . ,
entonces

~
(n
o
) =
l
2tI
_
~
}
0
(:)
}(:)uc
d. = Nmero de soluciones de )(.) =
= n
o
encerradas por
Tomamos 1 a

1
(0) = 1 c
I0
, 0 [0, [
I
1
:= [1, 1[
1
(0)

I
T
(n
o
) =
l
2tI
1
_
1
}
0
(r)
}(r)u
dr
l
2tI
_
~
T
}
0
(:)
}(:)u
d.
Observemos que

)
t
(1c
I0
)

l
_
1
2
t
102
l
_
1
2
t
102
o
2

= O
_
l
1
2
_
y [d.[ = 1
Para estimar

l
}(:)u

en
1
, demostraremos que
lim
:o , :1
+
)(.) = i1
t
(/)
Tomemos . = 1c
I00

1
y sea
l
= t . con t [0, 1[ .
Entonces
)(.) = )(1)
00
_
0
I1t
10
_
1
2
t
102
l
_
1
2
t
102
o
2
d: = )(1) O(
l
1
)
Por lo tanto
lim
:o , :1
+
)(.) = lim
1o
)(1) = i1
t
(/).
As 1
o
0 tal que
[)(.) i1
t
(/)[ <
l
2
[n
o
i1
t
(/)[ para [.[ _ 1
o
34 CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H

como se muestra en la siguiente gura

Entonces no hay soluciones de )(.) = n
o
con [.[ _ 1
o
pues
[)(.) n
o
[ _ [n
o
i1
t
(/)[ [)(.) i1
t
(/)[ _
l
2
[n
o
i1
t
(/)[
Se sigue que para 1 _ 1
o
:

_
~
T
}
0
(:)
}(:)uc
d.

_
t1
1
2
=
t
1

1o
0

1
(n
o
) toma valores en los naturales y tiene lmite cuando 1
Por lo tanto 1
l
tal que
~
T
(n
o
) =
~
T
1
(n
o
) \ 1 _ 1
l
y adems

~
T
(n) =
l
2tI
o
_
o
}
0
(r)
}(r)u
dr para 1 _ 1
l
Observemos que o
1
:= )(I
1
) es una curva simple orientada positivamente
como se muestra
y si 1 es tal que n
o
queda en la regin encerrada por o
1
se tiene que
l
2tI
_
c
T
Ju
uuc
= 1
35
entonces
1 =
l
2tI
_
c
T
Ju
uuc
=
l
2tI
_
I
T
} (:)
}(:)u
d. =
1
(n),
es decir
(n) = 1 \ n 1:tcrior dc 1
Por lo tanto :
) es 1 1 y )(H

) = 1
) tiene una inversa que denotaremos por ::(.; /) la funcin
"sinus amplitudinus"de Jaco/i.
La funcin ::(. : /) es analtica en 1. Ahora extenderemos por simetra sta
funcin a todo el plano.
36 CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H

Captulo 5
Sinus Amplitudinus
Sean
1 := \

= Reexin de \

con respecto al eje real,

\
l
= Reexin de \

con respecto a la recta Io(.) = 1(/)

\
2
= Reexin de \

con respecto a la recta Io(.) = 1(/)

Por reexin de Schwarz extendemos ::(.; /) por simetra a \

, es decir,. para
. \

::(.; /) := ::(.; /)
Asi, ::(.; /) es analtica en \

' \

y
::(\

; /) = H

.
El siguiente paso es extender ::(.; /) a \
l
, reejando con respecto a Io(.) =
1(/)
Si . \
l
, su simtrico respecto a esta recta es .
+
= 21(/) ., por lo cual
::(.; /) = ::(.
+
; /) = ::(21(/) .; /)
Es por sto que despus de la reexin, con respecto a Io(.) = 81(/), (donde
.
+
= 61(/) .) para . \
3
37
38 CAPTULO 5. SINUS AMPLITUDINUS
::(.; /) = ::(61(/) .; /) = ::(21(/) (61(/) .); /) = ::(. 41(/); /).
Por lo tanto ::(.; /) es analtica en \ := \

' \

' \
l
' \
2
y
::(\
l
; /) = H

, ::(\
2
; /) = H

.
Es decir ::(.; /) cumple:
(i) Esta denida y es analtica en el rectngulo con vrtices en 1(/)i1
t
(/),
81(/) i1
t
(/), 1(/) i1
t
(/) y 81(/) i1
t
(/).
(ii) ::(i1
t
(/); /) = = ::(21(/) i1
t
(/); /)
(iii) ::(.; /) = ::(. 41(/); /) , ::(.; /) = ::(. 2i1
t
(/); /) \ . 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 41(/) y 2i1
t
(/).
Podemos pensar a ::(.; /) como una funcin del toro T
2
= C , (41(/)Z
2i1
t
(/)Z) en la esfera o
2
.
Sea el rectngulo con vrtices en 1(/)i21
t
(/), 81(/)i21
t
(/), 1(/)
j 81(/).
I = jara:ctri.aci o: jo:itia dc 0
I
l
=
l
(r) = r con r [1(/), 81(/)[
I
2
=
2
(r) = 81(/) ir1
t
(/) con r [0, 2[
I
3
=
3
(r) = (1 r)81(/) r1(/) i21
t
(/) con r [0, 1[
I
d
=
d
(r) = 1(/) (1 r)(i21
t
(/)) con r [0, 1[
As I = I
l
' I
2
' I
3
' I
d
y
5.1. CUL ES EL ORDEN DE LOS POLOS DE SN(Z;K)? 39
_
Il
::(.; /)d. =
31(|)
_
1(|)
::(r; /)dr
_
I3
::(.; /)d. =
31(|)

_
1(|)
::(r i21
t
(/); /)d. =
_
Il
::(.; /)d.
Analogamente
_
I2
::(.; /)d. =
_
Id
::(.; /)d.
Por lo tanto
_
I
::(.; /)d. =
d

=l
_
I
::(.; /)d. = 0 (10)
Por otra parte
1
2i
_
I
::(.; /)d. = 1c: [::(.; /); . = i1
t
(/)[1c: [::(.; /); . = 21(/) i1
t
(/)[
(11)
De (10) y (11) concluimos
1c: [::(.; /); . = i1
t
(/)[ = 1c: [::(.; /); . = 21(/) i1
t
(/)[
Es decir, la suma de los residuos en un dominio fundamental es CERO.(resultado
cierto para cualquier funcin doblemente peridica)
Observacin Dado n C la ecuacin ::(.; /) = n co: n \ 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 :=
l
2tI
_
I
(sn(:,|))
0
sn(:,|)u
d. =
= n:cro dc ccro: dc (::(.; /) n) c:ccrrado: jor I n:cro dc
jo|o: dc (::(.; /) n) c:ccrrado: jor I.
Ceros y polos contados con multiplicidades. Escogiendo n de tal manera que no
existan soluciones de ::(.; /) = n en I. Entonces
1 = 2 n:cro dc jo|o: dc ::(.; /) c:ccrrado: jor I
40 CAPTULO 5. SINUS AMPLITUDINUS
Por otra parte
1 = 0
ya que el integrando es elptico y la derivada hereda la periodicidad con lo
mismos periodos de ::(.; /) : 41(/) y 2i1
t
(/)
Por lo tanto
2 = n:cro dc jo|o: dc ::(.; /) c:ccrrado: jor I
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, i/ y a i/ (a, / 0) ?
Hemos resuleto el problema para un rectngulo con vrtices en
1(/), 1(/) i1
t
(/), 1(/) i1
t
(/), 1(/)
mediante la funcin
)(., /) =
:
_
0
Js
_
s
2
l
_
s
2
o
2
.
Una solucin al problema que nos estamos planteando sera encontrar /
o
tal que
21(/
o
) = a y 1(/
o
) = /.
En esa direccin analicemos propiedades de la funcin 1(/) :
1) 1(/) es una funcin creciente de / (con / (0, 1)) ya que
l
_
lr
2
_
l|
2
r
2
lo es.
2) 1((0, 1)) = (0, )
lim
|0
+
1(/) = lim
|0
+
/ lim
|0
+
l
_
0
Jr
_
lr
2
_
l|
2
r
2
= 0
t
2
= 0
lim
|l

1(/) = lim
|l

/ lim
|l

l
_
0
Jr
_
lr
2
_
l|
2
r
2
= 1 =
y como 1(/) es creciente 1) entonces 1((0, 1)) = (0, ) .
De 1) y 2) podemos concluir que 21(/) = a tiene una nica solucin /
o
en
(0, 1). Pero para /
o
ja 1(/
o
) = / slo tiene solucin para un valor de /!!!
Por otra parte, queremos que
2
1(|)
1(|)
=
o
b
o equivalentemente
5.1. CUL ES EL ORDEN DE LOS POLOS DE SN(Z;K)? 41
1(|)
1(|)
=
1
R
0
do
_
1o
2
_
1!
2
o
2
1!
R
1
do
_
o
2
1
_
1!
2
o
2
=
o
2b
.
Analicemos la monotona de las integrales para demostrar que
1(|)
1(|)
es una
funcin creciente de / con imgen (0, ).
i) Por 1)
l
_
0
Jr
_
lr
2
_
l|
2
r
2
es creciente.
ii) 1(/) :=
l/|
_
l
Jr
_
r
2
l
_
l|
2
r
2
es decreciente. Demostraremos esto comparando
esta integral con
l
|
1(/)
Sea j =
l
_
l|
2
r
2
dj =
|
2
rJr
(l|
2
r
2
)
32
. Por lo tanto
1(/) = /
l
_
0
Jr
_
lr
2
_
l|
2
r
2
= /
1
_
1!
2
_
l
j
|
_
l(l|
2
)
2
J
|
2
_

2
l
= /
1
_
1!
2
_
l
J
_

2
l
_
l(l|
2
)
2
.
l
|
1(/) =
1
_
1!
2
_
l
J
_

2
l
_
l(l|
2
)
2
= 1(
_
1 /
2
)
Por lo tanto 1(/) es una funcin decreciente en / ya que:
l
|
1(/) =
l
_
0
Jr
_
lr
2
_
l|
2
r
2
y
_
1 /
2
son funciones creciente y decreciente
respectivamente en / (0, 1).
Concluimos de i) y ii) que
1(|)
1(|)
es una funcin creciente en /. Ms aun,
Armacin H ((0, 1)) = (0, ) con H(/) =
1(|)
1(|)
Demostracin Por una parte
lim
|0
+
l
_
0
Jr
_
lr
2
_
l|
2
r
2
= lim
|o
l
_
0
Jr
_
lr
2
q
l(
1
!
)
2
r
2
por convergencia monotona se tiene
lim
|o
l
_
0
dr
_
1 r
2
_
1
_
l
|
_
2
r
2
=
l
_
0
dr
_
1 r
2
=

2
(12)
Por otra parte,
l/|
_
l
Jr
_
r
2
l
_
l|
2
r
2
=
o
_
0
J
_

2
l
_

2
|
2
con j =
_
l|
2
r
2
r
2
l
42 CAPTULO 5. SINUS AMPLITUDINUS
Sea n =
l
l
entonces
o
_
0
J
_

2
l
_

2
|
2
=
l
_
0
Ju
_
u
2
(lu)
2
q
(
1
!
)
2
u
2
(lu)
2
con / (1, )
Pero
l
_
u
2
(lu)
2
q
(
1
!
)
2
u
2
(lu)
2
_
l
_
u
2
(lu)
2
(lu)
_
l
(lu)
2
l
_
0
l
(lu)
2

entonces, por convergencia monotona se tiene que
lim
|o
l
_
0
dn
_
n
2
(1 n)
2
_
_
l
|
_
2
n
2
(1 n)
2
= (13)
Concluimos de (12) y (18) que
lim
|0
+
H(/) = lim
|o
l
_
0
Jr
_
lr
2
q
l(
1
!
)
2
r
2
l/|
_
0
Ju
_
u
2
(lu)
2
q
(
1
!
)
2
u
2
(lu)
2
=
,2

= 0 (14)
Anlogamente
lim
|l

H(/) =
1
,2
= (15)
Es decir, la imgen de
1(|)
1(|)
es el intervalo (0, ) para / (0, 1).
Por lo tanto existe /
o
(0, 1) tal que
1(|c)
1(|c)
=
o
2b
.
Sea ` =
b
1(|c)
y /(.) = ` .. Entonces
(.) := /(::(., /
o
))
o
2
i/
manda al semiplano superior en el rectangulo con vrtices en 0, a, i/, a i/.
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 = /. Ahora veremos otra
construccin.
Sea 1(.) =
:
_
0
Js
_
s
_
s
2
l
, los cortes rama como antes
Determinemos la imgen del eje real bajo 1
5.2. CMOAJUSTAR K(K) YK(K) PARATENER COMODOMINIOUNCUADRADO, ES DECIR, TAL QUE K(K)=2K(K)?43
) Sea . = r (0, 1) , entonces
_
: 1 =
_
1 :c
It/2
_
: 1 =
_
: 1
1(r) = i
r
_
0
Js
_
s
_
ls
2
1(1) = i
l
_
0
Js
_
s
_
ls
2
= i
) Para r 1 , 1 < : < r tenemos
1(r) = i
r
_
l
Js
_
s
_
ls
2
1() = i
o
_
l
Js
_
s
_
ls
2
= i 1
Sea t =
l
r
dt =
l
r
2
dr entonces
1 =
o
_
l
Js
_
s
_
ls
2
=
l
_
0
J|
_
|
_
l|
2
=
Procedemos como en caso anterior y concluimos:
a) 1(H

) = Cnadrado co: crticc: c: 0, , i j i

/) 1 tiene periodos 2 j 2i.
c) 1 tiene una inversa denida en ese cuadrado. La extendemos por simetra
y obtenemos una funcin meromorfa con
) periodos 2 , i2
) polos en (1 i) y en general, en
i:2i:2 = 2(:
l
2
) 2i(:
l
2
)
d) Sea \ = cnadrado co: crticc: 0, 2, i2, 2 i2. La inversa de 1
(llammosla 1) toma cada valor en el plano 2 veces por lo tanto i
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 c,,, , c (como se mues-
tra en la siguiente gura).
44 CAPTULO 5. SINUS AMPLITUDINUS
Sabemos que 1(0) = 0, 1
t
(0) =
l
J
0
(0)
= 0. Por lo tanto el cero es doble. As
tenemos 1 y 1
t
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?
La funcin r
o
(.) =
:
2
(:(.I.))
2
cumple con las condiciones de cero y polo de
multiplicidad 2.
Si q es funcin racional q(.) =
(:)
j(:)
(j, ) = 1 y tiene los mismos ceros y polos
que r
o
(.). Entonces
j(.) = .
2
y (.) = 1(. i)
2
Por lo tanto, todas las funciones racionales que satisfacen la condicin de ceros
y polos son de la forma
.:
2
1(:.I.)
2
=
.
1
r
o
(.)
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 :(.) meromorfa con cero doble en cero y polo doble en i.
Entonces existen c
l
(.) analtica en una vecindad del cero que cumple c
l
(0) ,= 0
tal que
:(.) = .
2
c
l
(.)
y c
2
(.) analtica en una [. (i)[ < c que cumple c
2
(i) ,= 0 tal que
5.3. FUNCIONES MEROMORFAS CON POLOS Y CEROS DOBLES. 45
:(.) =

2
(:)
(:(.I.))
2
Anlisis Global
T(.) =
n(:)
:c(:)
es meromorfa con singularidades en 0 y i . La singularidad
en cero es removible ya que
T(.) =
:
2

1
(:)
z
2
(z(.+1.))
2
=

1
(:)
(:(.I.))
2
es analtica en . = 0
Por lo tanto T(.) es entera y distinta de cero en todo el plano complejo. Entonces
:(.) = r
o
(.)H(.)
con H(.) 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 1(.) cumple estas condiciones
Si /(.) es una funcin elptica con cero doble en 0, polo doble en i y
periodos 2 y 2i distinta de 1(.) se tiene:
1(:)
|(:)
es entera y elptica, por lo tanto acotada en \ y as
1(:)
|(:)
= c C. Es
decir
1(.) = c /(.)
46 CAPTULO 5. SINUS AMPLITUDINUS
Captulo 6
Funcin T de Weierstrass
Cmo construir una funcin meromorfa con polos en Z iZ ?
Candidato:
T(.) :=
1
.
2


(n,n)Z]0]Z]0]
1
[. (: i:)[
2

1
[: i:[
2
(16)
Convergencia:
Para . jo se tiene
l
|:(nIn)|
2

l
|nIn|
2
=
:
2
2:(nIn)
|:(nIn)|
2
|nIn|
2
Si
_
:
2
:
2
_ 2 [.[
[. (: i:)[
2
_
__
:
2
:
2
[.[
_
2
_
_
l
2
_
:
2
:
2
_
2
=
l
d
(:
2
:
2
)
Por lo tanto
]:]
2
]:(nIn)
2
]]nIn]
2
_
d]:]
2
(n
2
n
2
)
2
y como

n,nN
l
|n
2
n
2
|
2
=
o

n=l
l
n
4
o

n=l
l
|l(
r
r
)
2
|
2
_ c
o

n=l
l
n
3
si
_
:
2
:
2
2 [.[, entonces

n,nN
l
|n
2
n
2
|
32
converge. Adems,
2]:]]nIn]
]:(nIn)
2
]]nIn]
2
_
S]:]
(n
2
n
2
)
_
n
2
n
2
=
S]:]
(n
2
n
2
)
32
47
48 CAPTULO 6. FUNCIN T 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 T(.) le llamamos la funcin T de Weierstrass.
Qu relacin hay entre la funcin 1 de Weierstrass y 1(.) la inversa
de
:
_
0
Js
_
s
_
ls
2
?
6.1. Ecuacin Diferencial para P(z)
Sea 1(.) =
:
_
0
Js
_
s
_
ls
2
entonces . = 1(1(.)) =
1(:)
_
0
Js
_
s
_
ls
2
, por lo cual
1 =
1
0
(:)
_
1(:)
_
l1(:)
2

(1
t
(.))
2
2
=
1(.)
2
_
1(.)
2
1
_
(17)
Tenemos que, para t ioal, 1(t) es una solucin real y peridica del sistema con-
servativo
..
r
3
2
r
2
r = 0
(Ecuacin similar a las ondas viajeras para KdV)
Es decir, este sistema mecnico tiene soluciones peridicas dadas por
1(t), t R
6.2. Ecuacin Diferencial para T
La funcin
T
t
(.) =
2
2
3


(n,n)Z]0]rZ]0]
2
|:(nIn)|
3
es elptica con polos en : i: Z iZ y periodos i y 1.
Sean
o
l
(.) =

(n,n)Z]0]rZ]0]
l
|:(nIn)|
2

l
|nIn|
2
o
2
(.) =

(n,n)Z]0]rZ]0]
l
|:(nIn)|
3
Entonces
T
t
(.) =
2
2
3
2o
2
(.)
6.2. ECUACIN DIFERENCIAL PARA T 49
T(.) =
l
:
2
o
l
(.)
T
t
(.)
2
=
d
:
6

S
:
3
o
2
(.) 4 (o
2
(.))
2
T(.)
3
=
l
:
6

3
:
4
o
l
(.)
3
:
2
(o
l
(.))
2
(o
l
(.))
3
T
t
(.)
2
4T(.)
3
= 4o
2
(.)
2

S
:
3
o
2
(.)
l2
:
4
o
l
(.)
l2
:
2
o
l
(.)
2
4o
l
(.)
3
Por otra parte
o
l
(.) = o
l
(0) o
0
l
(0) . o
00
l
(0)
:
2
2!
o
000
l
(0)
:
3
3!

o
l
(0) = 0
o
0
l
(0) = 2!

(n,n)Z]0]rZ]0]
l
(nIn)
3
= 0
o
00
l
(0) = 8!

(n,n)Z]0]rZ]0]
l
(nIn)d
o
000
l
(0) = 4!

(n,n)Z]0]rZ]0]
l
(nIn)5
= 0
Observamos que o
(2l)
l
(0) = 0
Ms aun
o
()
l
(0) =

(n,n)Z]0]rZ]0]
l
(nIn)

=

(n,n)Z]0]rZ]0]
l
(nIn)

=
=

(n,n)Z]0]rZ]0]
l
(nIn)

Concluimos as
o
()
l
(0) R \, N ' 0
o
l
(.) = o
l
(.)
T(.) =
l
:
2
o
l
(.) =
l
:
2
o
l
(.) =
l
:
2
o
l
(.) = T(.)
Analogamente
o
2
(0) = 0
o
0
2
(0) = 8

(n,n)Z]0]rZ]0]
l
(nIn)
4
o
00
2
(0) = 0
o
(2)
2
(0) = 0 \| N
As mismo:
o
(l)
2
(0) R \| N ' 0
o
2
(.) = o
2
(.)
T
t
(.) = T
t
(.)
50 CAPTULO 6. FUNCIN T DE WEIERSTRASS
Por lo tanto la parte singular de T
t
(.)
2
4T(.)
3
en . = 0 es de orden
l
:
2
y es:
q
2

l
:
2
co: q
2
=
_
60

(n,n)Z]0]rZ]0]
l
(nIn)
4
_
Entonces
T
t
(.)
2
4T(.)
3
=
2
:
2
/(.)
con /(.) analtica en . = 0
T
t
(.)
2
4T(.)
3
q
2
T(.) = /
l
(.)
con /
l
analtica en . = 0
Pero T
t
(.)
2
4T(.)
3
q
2
T(.) es elptica, por lo tanto constante. Dicha constante
es
q
3
= 140

(n,n)Z]0]rZ]0]
l
(nIn)
6
Es decir
T
t
(.)
2
4T(.)
3
q
2
T(.) = q
3
.
Por lo tanto
(T
t
(.))
2
= 4 (T(.))
3
q
2
T(.) q
3
= 4 (T c
l
) (T c
2
) (T c
3
) (18)
Esta funcin tambin da soluciones peridicas de un sistema conservativo similar
al de las ondas viajeras para 1d\
De (17) y (18) demostraremos que
1(.) = cT
.
(. (i)) (19)
con T
.
(.) =
l
2
2


(n,n)Z]0]rZ]0]
l
|:(2n.I2.n)|
2

l
|2.nI2.n|
2
.
Esta relacin saldra de la funcin T HcT / principalmente.
Captulo 7
Funcin Theta
7.1. Ecuacin de Calor
Para resolver la ecuacin en derivadas parciales
n
|
= n
rr
c: [0, [
con condiciones de frontera peridicas
n(0, t) = n(, t) , n(r, o) = )(r)
Se construye la solucin fundamental, que corresponde a
n(r, 0) = c
o
(r) , c
o
es la dc|ta dc 1irac en r = 0
Para
n(r, 0) = )(r) =
o

n=o
)
n
c
I2nr
la solucin queda de la siguiente forma:
n(r, t) =
o

n=o
c
n
(t) c
I2nr

c
n
(t) = 4:
2
c
n
(t)
c
n
(t) = )
n
c
dn
2
|
c
n
(0) = )
n
como en nuestro caso ) = c
0
tenemos que )
n
= 1
Entonces la solucin fundamental es
o

n=o
c
dn
2
|
c
I2nr
51
52 CAPTULO 7. FUNCIN THETA
que converge \ t 0 y r R (. C)
Por este tipo de expresiones aparece la funcin T HcT /.
Para cada t H

se cumple

c
Itr

- 1 y por lo tanto t R tal que

c
Itr

= c
d|
Consideremos la serie
o

n=o
c
In
2
tr
c
In:
con . C y Im(t) 0 .
A esta serie la llamaremos la funcin T HcT /
0 (. p ) =
o

n=o

n
2
c
I2n:
, = c
Itr
La serie converge absoluta y uniformemente para . / con / C compacto
pues
[[ = c
t1n(r)
< 1
Por lo tanto 0 (. p ) es entera.
Por otra parte
0 (. p ) = 0 (. p ) \ . C
entonces no tiene un segundo periodo independiente, ya que de tenerlo, por ser
entera sera constante.
Aun as podemos econtrar relaciones interesantes entre 0 (. t p ) y 0 (. p ),
veamos
0 (. t p ) =
o

n=o

n
2
c
I2n(:tr)
=
o

n=o

n
2
c
I2ntr
c
I2n:
=
=
o

n=o

n
2
2n
c
I2n:
=
l
c
I2:
o

n=o

(nl)
2
c
I(nl)2:
=
=
l
c
I2:
0 (. p )
A t se le llama un cuasiperiodo y decimos que 0 (. p ) es cuasi-doblemente
peridica con factor de periodicidad o multiplicador:
l
c
I2:
.
Denimos
0
d
(. p ) =
o

n=o
(1)
n

n
2
c
I2n:
= 1 2
o

n=l
(1)
n

n
2
co:(2:.) funcin
par de .
0
3
(. p ) = 0
d
_
.
t
2
p
_
=
o

n=o

n
2
c
I2n:
= 1 2
o

n=l

n
2
co:(2:.)
7.2. PROPIEDADES DE LAS FUNCIONES T HcT / 53
0
l
(. p ) = ic
I(:
:
4
)
0
d
_
.
tr
d
p
_
=
= ic
I(:
:
4
)

n=o
(1)
n

n
2
c
Intr
c
I2n:
=
= ic
I(:
:
4
)

n=o
(1)
n

n
2
n
c
Intr
c
I2n:
=
= i
o

n=o
(1)
n

(nl/2)
2
c
I(2nl):
=
= i
l/d
c
I:
2
o

n=0
(1)
n

(nl/2)
2
:c:((2: 1).)
0
2
(. p ) = 0
l
_
.
t
2
p
_
= 2
o

n=0

(nl/2)
2
:c:((2: 1).)
Las funciones 0
l
, 0
2
, 0
3
y 0
d
son enteras para cada t H

Cada 0

es funcin peridica de z con periodo , es decir

0

(. p ) = 0

(. p )
0
d
tiene cuasiperiodo t y factor de periodicidad
l
c
I2:
, que heredan
0
l
, 0
2
y 0
3
.
0
d
(. t p ) =
o

n=o
(1)
n

n
2
c
I2n:
c
I2ntr
=
=
l
o

n=o
(1)
n

(nl)
2
c
I2n:
=
=
l
c
I2:
o

n=o
(1)
nl

(nl)
2
c
I2(nl):
=
=
l
c
I2:
0
d
(. p ) .
Observacin Si 0

(.
o
; ) = 0 entonces 0

(.
o
/t; ) = 0 \/ Z
Demostracin Inmediata del comentario anterior.
7.2. Propiedades de las funciones T HcT /
Sea Q el paralelogramo con vrtices en a, a , a t y a t, de
tal forma que 0
d
(.; ) ,= 0 para . 0Q.
Cuntos ceros tiene 0
d
en Q?
Por el principio del argumento tenemos que el nmero de ceros buscados esta
dado por
l
2tI
_
JQ
0
0

(:,j)
0(:,j)
d.
Una parametrizacin de 0Q esta dada por:
54 CAPTULO 7. FUNCIN THETA
)iqnra2

l
(t) = a t

2
(t) = a t t

l
3
(t) =
l
(t) t

l
d
(t) =
2
(t)
Entonces
_
~
3
0
0
4
(:,j)
04(:,j)
d. =
_
~
1
0
0
4
(:tr,j)
04(:tr,j)
d.
Por otra parte derivando
0
t
d
(. t p ) =
J
J:
0
d
(. t p ) =
l
c
I2:
0
t
d
(. p )2i
l
c
I2:
0
d
(. p )
Por lo tanto
0
0
4
(:trpj)
04(:trpj)
=
j
1
t
12z
0
0
4
(:pj)
j
1
t
12z
04(:pj)

2Ij
1
t
12z
04(:pj)
j
1
t
12z
04(:pj)
Regresando a la integral anterior obtenemos
_
~
3
0
0
4
(:,j)
04(:,j)
d. =
_
~
1
0
0
4
(:,j)
04(:,j)
d. 2i
_
~
1
d. =
_
~
1
0
0
4
(:,j)
04(:,j)
d. 2i
y por periodicidad tenemos que
_
~
2
~
4
0
0
4
(:,j)
04(:,j)
d. = 0
Por lo tanto
l
2tI
_
JQ
0
0
4
(:,j)
04(:,j)
d. =
l
2tI
_
_
~
1
0
0
4
(:,j)
04(:,j)
d.
_
~
2
~
4
0
0
4
(:,j)
04(:,j)
d.
_
~
3
0
0
4
(:,j)
04(:,j)
d.
_
= 1.
7.2. PROPIEDADES DE LAS FUNCIONES T HcT / 55
Es decir, 0
d
(.) tiene exactamente un cero en Q y dicho cero, que denotaremos
por .
o
,es simple porque la integral lo cuenta con multiplicidad (El anlisis es
anlogo para 0
l
, 0
2
, 0
3
se deja como ejercicio para el lector.).
Recordemos que si ) es una funcin elptica con periodos 2n
l
, 2n
2
; Q un
paralelogramo fundamental con vrtices en a, a2n
l
, a2n
2
y a2n
l
2n
2
con a tal que ) no contenga ceros ni polos en 0Q entonces
_
JQ
}
0
(:)
}(:)
d. = 0.
Otra manifestacin de que las funciones 0

no son doblemente peridicas.

(Por periodicidad y por principio del argumento el nmero de ceros de ) en Q
es igual al nmero de polos de ) 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 ) es una funcin analtica con periodos 2n
l
, 2n
2
y Q es un
paralelogramo fundamental en los que a
l
, ..., a
n
y /
l
, ..., /
n
son los ceros y polos
entonces
n

=l
a

=l
/

= / 2n
l
| 2n
2
con /, | Z .
Demostracin Sea ) una funcin meromorfa con ceros en a

n
=l
y polos en
/

n
=l
posiblemente repetidos (dependiendo de multiplicidad) en una regin
Q. Entonces, por la frmula integral de Cauchy
_
JQ
.
}
0
(:)
}(:)
d. =
n

I=l
a
I

I=l
/
I
Si ) es elptica de periodos 2n
l
y 2n
2
Cunto vale
_
JQ
.
}
0
(:)
}(:)
d.?
Sean
l
,
2
,
3
j
d
como en )iqnra2.
_
~
3
.
}
0
(:)
}(:)
d. =
_
~
1
(. 2n
2
)
}
0
(:2u2)
}(:2u2)
d. =
_
~
1
.
}
0
(:)
}(:)
d. 2n
2
_
~
1
}
0
(:)
}(:)
d.
Sea o
l
(t) = )(
l
(t)), entonces o
l
es una curva cerrada, por lo cual
_
~
1
.
}
0
(:)
}(:)
d. =
_
c1
Ju
u
= i2i
57
58 CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN
Analogamente para
2
j
d
.Por lo tanto
n

I=l
a
I

I=l
/
I
=
l
2tI
_
JQ
.
}
0
(:)
}(:)
d. =
l
2tI
_
2n
2
_
~
1
}
0
(:)
}(:)
d. 2n
l
_
~
2
}
0
(:)
}(:)
d.
_
=
= 2n
2
/ 2n
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 a
l
, /
l
en Q. Podemos construir una funcin elptica con
periodos y t , cero simple en a
l
, polo simple en /
l
?
Candidato:
,(.) =
04(:o1:c,j)
04(:b1:c,j)
Para que este candidato sea el bueno tiene que ser una funcin peridica de
periodo t. Calculemos.
,(. t) =
j
1
t
12(zo
1
+zc)
04(:o1:cpj)
j
1
t
12(z|
1
+zc)
04(:b1:cpj)
= c
I2(b1o1)
,(.)
Por lo tanto , es elptica si y slo si /
l
a
l
= : para algn entero : .
Entonces
,(.) =
04(:o1:c,j)
04(:o1nt:c,j)
= 1.
As, ,(.) es trivial. Si ) es elptica de grado 1, entonces un nico /
l
polo
simple de ) . Por lo tanto
)(.) =
11
:b1

o

n=0
a
n
(. /
n
)
n
y por periodicidad se tiene
1
l
=
l
2tI
_
~
)(.)d. =
l
2tI
_
JQ
)(.)d. = 0
Entonces /
l
es singularidad removible !!! Por lo tanto ) 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 a
l
, a
2
y polos en /
l
, /
2
en Q
(paralelogramo fundamental determinado por los periodos).
Candidato a funcin elptica con periodos t y :
c(.) =
04(:o1:c,j)04(:o2:c,j)
04(:b1:c,j)04(:b2:c,j)
Procedemos como en el caso de las de grado 1 y concluimos que c(.) cumple la
condicin de los periodos si y slo si
/
l
/
2
(a
l
a
2
) = : y /
l
/
2
(a
l
a
2
) = | t
para :, | Z .
Por lo tanto c es elptica con periodos y t pero estn condicionados los
ceros y polos, as que no siempre va a ser la que buscamos.
Dados periodos 2n
l
, 2n
2
y a
l
,a
2
,/
l
,/
2
Q tales que
a
l
a
2
(/
l
/
2
) = / 2n
l
| 2n
2
y
u1
u2
H

podemos construir una funcin elptica con periodos 2n

l
, 2n
2
ceros en a
l
, a
2
;
polos en /
l
, /
2
. A saber la funcin
'(.) =
04(
zo
1
2r
1
t:c,j)
04(
z|
1
2r
1
t:c,j)
04(
zo
2
2r
1
t:c,j)
04(
z|
2
2r
1
t:c,j)
Para la periodicidad en 2n
2
tomemos t =
u1
u2
y ajustemos.
Ejemplo: La funcin sinus amplitudinus de Jacobi es una funcin elptica de
grado 2.
Sea Q el rectngulo con vrtices en

l
2
1(/) i
l
2
1
t
(/),
l
2
1(/) i
3
2
1
t
(/),
7
2
1(/) i
l
2
1
t
(/),
7
2
1(/) i
3
2
1
t
(/).
Entonces
a
l
= 0 , a
2
= 21(/) , /
l
= i 1
t
(/) , /
2
= 21(/) i1
t
(/).
Por lo tanto
/
l
/
2
(a
l
a
2
) = 21(/) 2i1
t
(/) 21(/) = 2i1
t
(/) =
= 0 1 i
2
t
1
t
(/).
Como queremos t H

tomamos t = i
2
t
1
t
(/). Entonces
/
l
/
2
(a
l
a
2
) = : | t
con : = 0 y | = 1.
Por otra parta, la funcin
60 CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN
w(.) =
04(
z
41(!)
t:c,j)
04(
z11
0
(!)
41(!)
t:c,j)
04(
z21(!)
41(!)
t:c,j)
04(
z(21(!)+11
0
(!))
41(!)
t:c,j)
tiene ceros simples en 0 y 21(/) , polos simples en i 1
t
(/) y 21(/) i1
t
(/)
y periodos 41(/) e i21
t
(/).
Tomando t = i
2
t
1
t
(/) se tiene que
+(:)
sn(:,|)
es elptica y entera, por lo tanto
constante. As,
::(.; /) = j
04(
z
41(!)
t:c,j)
04(
z11
0
(!)
41(!)
t:c,j)
04(
z21(!)
41(!)
t:c,j)
04(
z(21(!)+11
0
(!))
41(!)
t:c,j)
para algn j C.
De este ejemplo vemos que podemos escribir la funcin ::(.; /) en trminos de
la funcin T HcT /
8.3. Funcin T de Weierstrass
En el ejemplo anterior escribimos la funcin ::(.; /) en trminos de la funcin
T HcT / Veamos si podemos escribir a la funcin T de Weierstrass en trminos
de la funcin T HcT /.
La funcin T de Weierstrass dada por
T(.) =
l
:
2


(n,n)Z]0]Z]0]
l
|:(nIn)|
2

l
|nIn|
2
es meromorfa con polos dobles en ZiZ, elptica con periodos i , 1 y solucin
de la ecuacin diferencial
[T
t
(.)[
2
= 4 [T(.)[
3
q
2
T(.) q
3
q
2
= 60

(n,n)Z]0]Z]0]
l
(nIn)
4
q
3
= 140

(n,n)Z]0]Z]0]
l
(nIn)
6
Consideremos el cuadrado Q con vrtices en:
l
2

I
2
,
l
2

I
2
,
l
2

I
2
y
l
2

I
2
.
Si no hay ceros en 0Q entonces T(.) = 0 tiene dos soluciones en el interior de
Q.
Observaciones
(1) T(.) es una funcin par y T
t
(.) es una funcin impar
(11) Sean c
l
, c
2
y c
3
races del polinomio n
3

2
d
n
3
d
,entonces
T(
l
2
) = c
l
, T(
I
2
) = c
2
, T(
l
2

I
2
) = c
3
.
(111) q
3
= 0
8.3. FUNCIN T DE WEIERSTRASS 61
Demostracin.
(1) Claro
(11) Si .

C es tal que T(.

) = c

entonces por (17), T

t
(.

) = 0
De (1) T
t
(
l
2
) = T
t
(
l
2
) = T
t
(
l
2
1) = T
t
(
l
2
) , entonces
T
t
(
l
2
) = 0
Anlogamente
T
t
(
I
2
) = 0 = T
t
(
l
2

I
2
)
Combinando este ltimo resultado con (17) tenemos que para c
_
l
2
,
I
2
,
l
2

I
2
_
[T(c)[
3

2
d
T(c)
3
d
= 0
Es decir,
T(c) es raz del polinomio n
3

2
d
n
3
d
Por denicin de c
l
, c
2
y c
3
se tiene el resultado.
(111) De (11)
n
3

2
d
n
3
d
= (n T(
l
2
))(n T(
I
2
))(n T(
l
2

I
2
)).
Igualando coecientes se tienen las siguientes relaciones
a) T(
l
2
) T(
I
2
) T(
l
2

I
2
) = 0
/) T(
l
2
)T(
I
2
) T(
l
2
)T(
l
2

I
2
) T(
I
2
)T(
l
2

I
2
) =
2
d
c) T(
l
2
)T(
I
2
)T(
l
2

I
2
) = q
3
Desarrollando a) obtenemos
0 = T(
l
2
) T(
I
2
) T(
l
2

I
2
)
=
_
4

(n,n)Z]0]rZ]0]
l
|(n
1
2
)In)|
2

l
|nIn|
2
_

_
4

(n,n)Z]0]rZ]0]
l
|(n
1
2
)In|
2

l
|nIn|
2
_
T(
l
2

I
2
)
Por lo tanto
T(
l
2

I
2
) = 0
Sustituyendo en c) obtenemos
g
3
= 0
62 CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN
Tomemos como cuadrado fundamental Q el cuadrado con vrtices en:
3
d
i
3
d
,
l
d
i
3
d
,
l
d

I
d
,
3
d

I
d
en donde 0 y
l
2

I
2
forman un conjunto irreducible de ceros y polos, ambos
dobles.
Por lo cual, tomando t =
I
t
T(.) = c
_
04(t(:[
1
2

1
2
[):c)
04(t::c)
_
2
, c C
Ya vimos que podemos expresar las funcines elpticas de Jaco/i en trminos
de la funcin TH1T. Tambin la funcin T de Weierstrass.
Podremos expresar las funciones elpticas en trminos de la funcin
T de Weierstrass?
Sea ) una funcin elptica de grado 2 que cumple las siguentes condiciones:
a) Periodos 1 e i
/) Ceros a
l
y a
2
c) Polos en /
l
y /
2
ambos distintos de cero
d) ) es par.
c) a
l
a
2
y /
l
/
2
no son periodos
Entonces )
t
es impar, por lo cual
)
t
(
l
2
) = )
t
(
I
2
) = )
t
(
l
2

I
2
) = 0.
Los ceros a
l
y a
2
son distintos ya que si fueran el mismo sera un cero de )
t
.Ms
aun
a
l
, a
2

_
l
2
,
I
2
,
l
2

I
2
_
= c
Por lo tanto )
t
(a
I
) ,= 0 para i 1, 2. Entonces
[T(.) T(a
l
)[ y [T(.) T(a
2
)[
tienen cero simple en . = a
l
y . = a
2
respectivamente.
Analogamente se tiene que
/
l
, /
2

_
l
2
,
I
2
,
l
2

I
2
_
= c
ya que si fuera distinto del vaco subira el grado de la funcin. Entonces
[T(.) T(/
l
)[ y [T(.) T(/
2
)[
8.3. FUNCIN T DE WEIERSTRASS 63
tienen cero simple en . = /
l
y . = /
2
respectivamente.
Por lo tanto
)(.) = ,
[T(.) T(a
l
)[ [T(.) T(a
2
)[
[T(.) T(/
l
)[ [T(.) T(/
2
)[
, , C (20)
En el caso general, se considera
)(.) =
l
2
[)(.) ) (.)[
l
2
}(:)}(:)
1
0
(:)
T
t
(.).
Por lo tanto las funciones T(.) y T
t
(.) son base para el espacio de )n:cio:c:
c|ijtica: con periodos 1 e i.
sto se generaliza a periodos 2n
l
y 2n
2
, de la serie (2) que dene a la funcin
T cambiando . (: i:) por . (:2n
l
:2n
2
). 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: c
2
= q(/a), q es la acel-
eracin debida a la gravedad, a es la amplitud de la onda y / 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:
(r, t) = a soc /
2
[/(r ct)[ , con /
2
=
l
3o
4/
2
(/ a), en el caso
o
|
-- 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
/ -- 1.
65
66 APNDICE A. KORTEWEG-DE VRIES
Consideremos un elemento de volumen \ encerrado por o = 0\.
(r
l
, r
2
, r
3
) y t denotan la posicin y el tiempo.

n , j y j denotan la velocidad,
densidad y presin del uido, respectivamente.

: es la normal unitaria a o.
La masa de uido contenida en \ al tiempo t es:
:(t) =
___
:
j(, t)d
Como la regin \ no cambia en el tiempo, la tasa de cambio de la masa con
respecto al tiempo es
Jn
J|
=
___
:
J
J|
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,
Jn
J|
=
__
S
j(

n ,

: )do
Del Teorema de la divergencia se sigue que
J
J|
di(j

n ) = 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 c:i:a direccin es jn
I
. 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:
___
:
J(u1)
J|
d =
__
S
jn
I
(

n ,

: )do
__
S
j:
I
do
___
:
j1
I
d
Procediendo como antes obtenemos las ecuaciones
J(u1)
J|
di(jn
I

n )
J
Jr1
j1
I
= 0
En el caso del agua la densidad es constante, por lo cual la ecuacin de conser-
vacin de masa es
di(

n ) = 0
Las ecuaciones de conservacin de momento son
67
Ju1
J|

3

=l
J(u1u)
Jr
=
l

J
Jr1
1
I
para i = 1, 2, 8. O en forma vectorial
J

u
J|
(

n \)

n =
l

\j q

/
Tomando rotacional en la ecuacin de momento obtenemos para

n = \

n una
ecuacin diferencial parcial lineal de primer orden que garantiza que

n(, t) = 0
para t 0 si esta condicin se cumple para t = 0. En este caso hay un potencial
de velocidades c de tal forma que

n = \c. La ecuacin de conservacin de
masa es ahora la ecuacin de Laplace para el potencial de velocidades: c = 0.
Usando que n

Ju
Jr1
=
l
2
n
J
Jr1
_
J
Jr
_
2
, obtenemos la ecuacin de Bernoulli
J
Jr1
_
J
J|

l
2
[\c[
2

j qr
3
_
= 0
Como podemos absorber cualquier funcin de t en el potencial, se sigue que
J
J|

l
2
[\c[
2

(j j
o
) qr
3
= 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
J
Jr3
= (r
l
, r
2
, 0, t) = 0 para (r
l
, r
2
) 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 I(t) = : )(, t) = 0 .
Si I(t t) se ha separado de I(t) una distancia : en
o
en la direccin
normal, es decir, )(
o
, t) = 0 y )(
o
:

: , t t) = 0, entonces
)(
o
:

: , t t) )(
o
, t t) )(
o
, t t) )(
o
, t) = 0
Usando el Teorema del Valor Medio, dividiendo por t y tomando el lmite
cuando esta cantidad tiende a 0 obtenemos
Js
J|
=
l
]\}]
J}
J|
Por otra parte, la componente normal de la velocidad es

: =
l
]\}]
\c\)
Por lo tanto, \c\) =
J}
J|
.
Supondremos que no hay rompimiento de olas y por lo tanto la supercie libre
es la grca de una funcin de r
l
, r
2
y t, es decir
68 APNDICE A. KORTEWEG-DE VRIES
)(, t) = r
3
j (r
l
, r
2
, t) /
Usando la identidad del prrafo anterior encontramos la ecuacin para la super-
cie del agua:
Jq
J|

J
Jr1
Jq
Jr1

J
Jr2
Jq
Jr2
=
J
Jr3
Ahora usamos que los cambios en la presin del aire son pequeos para tomar
j = j
o
en la supercie r
3
= / j (r
l
, r
2
, t), lo cual da
J
J|

l
2
[\c[
2
qj = 0
La regin ocupada por el uido es (r
l
, r
2
, r
3
) p 0 _ r
3
_ / j (r
l
, r
2
, t) y
el problema completo es
(
++
)
i) c = 0 en 0 < r
3
< / j (r
l
, r
2
, t)
ii)
J
Jr3
(r
l
, r
2
, 0, t) = 0 para todo t _ 0
iii)
J
J|

l
2
[\c[
2
qj = 0 en r
3
= / j (r
l
, r
2
, t)
i)
Jq
J|

J
Jr1
Jq
Jr1

J
Jr2
Jq
Jr2
=
J
Jr3
en r
3
= / j (r
l
, r
2
, t)
con c y j como incgnitas. En particular, la forma que adopta la supercie del
agua se debe obtener como parte de la solucin por lo cual (
++
) es un problema
de frontera libre.
Supondremos que el estanque o canal es angosto y largo para ignorar la depen-
dencia en r
2
y considerar r
l
[0, ). Finalmente, usamos las variables r, . en
lugar de r
l
,r
3
.
Usando las longitudes caractersticas: a, | y / que son la amplitud, longitud
de onda y la profundidad en reposo, denimos variables adimensionales
r
+
=
r
l
, .
+
=
:
|
, j
+
=
q
o
, t
+
=
|
~
, c
+
=

o
con =
l
_
|
, , = a |
_

|
La supercie libre es .
+
= 1 cj
+
con c =
o
|
Quitando asteriscos a las nuevas variables, (
++
) se convierte en
(
+
)
(i) c
::
= 0 en 0 < . < 1 cj (r, t) , r 0
(ii) c
:
(r, 0, t) = 0 para t _ 0
(iii) j c
|

o
2
_
c
2
r
c
2
c
2
:
_
= 0 en . = 1 cj (r, t)
(i) c
:
= c
2
(j
|
cc
r
j
r
) en . = 1 cj (r, t)
69
donde c =
|
l
. Nos interesa el rgimen de poca profundidad (/ << 1), amplitud
pequea (a << 1), onda larga (| 1), as que c << 1, c << 1. Tomamos
c
2
= O(c), reescalamos y usamos una coordenada espacial que se mueve con
velocidad 1, es decir, =
_
o
o
(r t), t =
o
32
o
t , 1 =
_
o
o
c para obtener
()
i) 1
::
c1

= 0 en 0 < . < 1 cj(, t)

ii) 1
:
(, 0, t) = 0 para t _ 0
iii) j 1

c1
r

l
2
_
1
2
:
cc
2

_
= 0 en . = 1 cj (, t)
i) 1
:
= c(j

cj
:
c1

) en . = 1 cj (, t)
Suponemos expansiones de la forma
1(, ., t) = 1
o
(, ., t) c1
l
(, ., t) O(c
2
)
j(, t) = j
o
(, t) cj
l
(, t) O(c
2
)
A orden c
0
obtenemos
J
2
+c
J:
2
= 0 en 0 < . < 1 cj(, t)
J+1
J:
(, 0, t) = 0
por lo cual 1
o
(, ., t) no depende de ., es decir 1
o
= 0
o
(, t). Adems,
j
o
(, t) =
J+c
J
en . = 1
Por lo tanto
j
o
(, t) =
J0c
J
(, t)
A orden c
l
tenemos
J
2
+1
J:
2

J
2
+c
J
2
= 0
J+1
J:
(, 0, t) = 0
por lo cual
1(, ., t) =
:
2
2
J
2
0c
J
2
(, t) c(, t). /(, t)
Usando la condicin de frontera en . = 0 obtenemos
1
l
(, ., t) = 0
l
(, t)
:
2
2
J
2
0c
J
2
(, t)
De la primera condicin de frontera en . = 1 obtenemos
j
l

00
l
0

1
2
0
3
0
o
0
3

00
o
0t

1
2
_
00
o
0
_
2
= 0 (1)
70 APNDICE A. KORTEWEG-DE VRIES
y de la segunda se obtiene una relacin de consistencia.
A orden c
2
obtenemos
J
2
+2
J:
2

J
2
+1
J
2
= 0
J+2
J:
(, 0, t) = 0
Esto implica que
1
2
(, ., t) = 0
2
(, t)
:
2
2
J
2
01
J
2
(, t)
:
4
2d
J
4
0c
J
4
Pero :=
_
J+
J
,
J+
Jr
,
J+
J:
,
Jq

J
,
Jq

Jr
_
tienen segundas derivadas continuas por lo
que toda ) tiene la siguiente expansin:
)(, 1 cj, t) = )(, 1, t) cj
J}
J:
(, 1, t) O(c
2
)
Por lo tanto
01
2
0.

0
2
1
2
0.
2
j
o
=
0
2
0
l
0
2

1
6
0
d
0
o
0
d

0
2
0
o
0
2
j
o
=
0j
l
0

0j
o
0t

00
o
0
0j
o
0
(2)
Integramos (0) con respecto a , usando (8) y j
o
=
J0c
J
para obtener

l
2
_
J0c
J
_
2

l
6
J
3
0c
J
3

J01
J
= j
l

J00
Jr

l
2
_
J0c
J
_
2
as que
j
l

J01
J
=
_
J0c
J
_
2

J00
Jr

l
6
J
3
0c
J
3
=
l
2
J
3
0c
J
3

J00
Jr

l
2
_
J0c
J
_
2
Es decir,
2
J0c
Jr

l
3
J
3
0c
J
3

3
2
_
J0c
J
_
2
= 0
Derivando con respecto a obtenemos la ecuacin
Jq
c
Jr

l
6
J
3
q
c
J
3

3
2
j
o
Jq
c
J
= 0
Reescalando las variables t = 6t, r = , n =
3
2
j
o
, obtenemos la ecuacin de
Korteweg y de Vries
n
|
n
rrr
6nn
r
= 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