Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Integrales y Funciones Elipticas PDF
Integrales y Funciones Elipticas PDF
Elpticas
Septiembre 2005
ii
ndice general
Introduccin V
I Integrales Elpticas 1
1. Leyes de Kepler 5
II Funciones Elpticas 25
4. Mapeos del Semiplano Superior H + 27
5. Sinus Amplitudinus 37
5.1. Cul es el orden de los polos de sn(z;k)? . . . . . . . . . . . . . 39
5.2. Cmo ajustar K(k) y K(k) para tener como dominio un cuadra-
do, es decir, tal que K(k)=2K(k)? . . . . . . . . . . . . . . . . . 42
5.3. Funciones meromorfas con polos y ceros dobles. . . . . . . . . . . 44
5.3.1. Qu se puede decir de una funcin meromorfa g(z) con
polo doble en A + iA y cero doble en cero? . . . . . . . . 44
iii
iv NDICE GENERAL
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
A. Korteweg-de Vries 65
Bibliografa 71
Introduccin
v
vi INTRODUCCIN
Parte I
Integrales Elpticas
1
3
b2 a2 a2
tomando k 2 = b2 =1 b2 ,
que es la excentricidad de la elipse.
Z 2
p
A las integrales de este tipo, es decir a las de la forma 1 k 2 sen2 ( )d
0
con 0 < k < 1 las llamaremos integrales elpticas completas del segundo tipo.
Este tipo de integrales tambien las encontramos al calcular la longitud de la
grca de la funcin sen(x) en el intervalo 0; 2 :
Z Z
2 p 2 p
L(sen(x); 0; 2 ) = 1 + cos2 (x)dx = 1 + (1 sen2 (x))dx
Z 0
Z 2r
0
2 p p 2
= 2 sen2 (x)dx = 2 1 p1 sen2 (x)dx
2
0 0
Leyes de Kepler
la posicin del cuerpo como una funcin del tiempo P (t) = (x(t); y(t))?
(ii) Podemos conocer la distancia recorrida por Marte del tiempo t0 = 0 al
tiempo t?
Depus de estudiar los datos observacionales recavados por Brahe, Kepler for-
mul sus Tres Leyes del Movimiento Planetario:
5
6 CAPTULO 1. LEYES DE KEPLER
A las integrales que aparecen en este contexto las llamamos integrales incom-
pletas del segundo tipo.
Pero aun no sabemos cmo es (t). Lo que s sabemos por la tercera ley de
Kepler es que el movimiento no es uniforme as que (t) no es constante.
Utilicemos la Mecnica Newtoniana para encontrar (t):
La ley de Gravitacin nos dice que cualesquiera dos particulas con masa M y
m respectivamente se atraen mediante la siguiente relacin
F = G MRm
2
2
GM
R(t) R(t) (t) = (1)
R(t)2
1 d
a( ) = R(t) R2 (t) (t) =0
dt
Nos gustaria tener una ecuacin diferencial que solo involucre a R o a : Para
esto, utlicemos la relacin
h
R= 1+e cos( )
donde
e = eccentricidad de la elipse def inida por la trayectoria de M arte
h = e (la distancia del Sol a la directriz de la elipse def inida por la
trayectoria de M arte)
sustituyendo en (2) obtenemos
2
k c
(t) = c = ( )2 (1 + e cos( ))2 (3)
1 + e cos( ) h
d
(1+e cos( ))2 = ( hc )2 dt
Z
ds
) (1+e cos(s))2 = t ( hc )2
0
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
Si k = p1 , entonces
2
Z
p 2 p
I= 2 1 k 2 sen2 (t)dt. Sea f (x) = (1 + x)s .
0
9
10CAPTULO 2. MTODOS NUMRICOS PARA APROXIMAR INTEGRALES ELPTICAS
n+1
Y
( 1)n (1+ )s n
Rn = n! 2n (2i 3) k 2n sen2n
i=2
n+1
Y n+1
Y
1 1 1 1
jRn j n! 2n (2i 3) k 2n = n! 2n (2i 3) k 2n
i=2 i=2
Entonces
Z 2
p
1 k 2 sen2 (t)dt 4n [yo + 2y1 + 2y2 + ::: + 2yj + ::: + 2yn 1 + yn ]
0
Pero
k2 ( cos2 (x)+sen2 (x)+k2 sen4 (x))
jf 00 (x)j = (1+k2 sen2 (x))3=2
k 2 sen2 (x) + k 2 sen4 (x) cos2 (x)
por lo tanto
k2 [1+k2 ] 3
E 96n2
2.3. PROMEDIOS ARITMTICO-GEOMTRICOS. 11
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.
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
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 rela-
cionadas. R
Teorema 1 Sea jxj < 1 y K(x) = 02 p ds 2 2
, entonces
1 x sen (s)
M (1 + x) = 2K(x)
2.4. EJEMPLOS
k =5 L(2; 1) 9;6884482125373
k =9 L(2; 1) 9;6884482205474
k = 15 L(2; 1) 9;6884482205474
k = 50 L(2; 1) 9;6884482205474
k = 100 L(2; 1) 9;6884482205474
Z 2 p
L(sen(x); 0; 2 ) = 4 1 + cos2 (x)dx
Z 02
p
=4 cos2 (x) + sen2 (x) + cos2 (x)dx
0
Z 2 p
=4 sen2 (x) + 2 cos2 (x)dx
0
Z q
2 p
=4 sen2 (x) + ( 2)2 cos2 (x)dx
0 p
notamos que este problema es anlogo al ejemplo 1 tomando a = 1 y b = 2
Por lo tanto podemos aproximar esta integral utilizando el mtodo de Gauss-
Landen p
L(sen(x); 0; 2 ) = L(1; 2)
" k
#
p p 2 P
1 p 2k 2 Y
1
p 2
= (1+ 2) 1 + 14 2+1
+ ( 41 )k 1p2+12 1
k! (2i 3)2
k=2 i=1
14CAPTULO 2. MTODOS NUMRICOS PARA APROXIMAR INTEGRALES ELPTICAS
Integrales elpticas en
problemas de la Mecnica,
la Geometra y la Dinamica
de Fluidos.
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
y la aceleracin es:
2
x(t) = L (t) ( sen( (t)); cos( (t))) + L (t)(cos( (t)); sen( (t)))
g
+ L sen( (t)) = 0
Rt
0
(s) (s) + (s) Lg sen( (s))ds = 0
2 2
(t) g (0) g
2 L cos( (t)) 2 + L cos( (0)) = 0
2 2
(t) g (0) g
cos( (t)) = cos( (0)) =: E (4)
2 L 2 L
En el plano fase de y , las curvas integrales del sistema son las grcas de
p p g
= 2 E+ L cos( (t))
Observe que para cada E, la curva integral correspondiente est denida para
valores de con la propiedad que Lg cos( (t)) E. En la siguiente gura se
muestra una grca del plano fase ; .
3.1. OSCILACIONES DE UN PNDULO SIN FRICCIN 17
q
1 Lq d
= 2 g L 2
sen2 ( =2)+ 4g b +sen2 (a=2)
18CAPTULO 3. INTEGRALES ELPTICAS EN PROBLEMAS DE LA MECNICA, LA GEOMETR
d = 2 p sen(a=2) cos( )d
:
21 sen (a=2)sen2 ( )
Por lo tanto
q 2p
sen(a=2) cos( )d
1 L sen2 (a=2)sen2 ( )
dt = 2 g
p 1
=
sen2 (a=2)sen2 ( =2)+sen2 (a=2)
q p
L sen(a=2) 1 sen2 ( )d
dt = g
p p
sen2 (a=2)(1 sen2 ( =2)) 1 sen2 (a=2)sen2 ( )
q
L p d
= g 1 sen2 (a=2)sen2 ( )
q R
t + 14 T (a) = L
g 0
p ds
1 k2 sen2 (s)
pg
L (t + 14 T (a)) = F (k; )
3.2. ENCONTRAR EL REA DE LA SUPERFICIE DE LA SECCIN SEPARADA DEL CILINDRO X2 +Z2 =A2 PO
R ds
F (k; ) = 0
p , con k jo entre cero y uno, es la integral elptica
1 k2 sen2 (s)
incompleta del primer tipo.
Vemos la necesidad de invertir la integral F (k; ) para encontrar la ecuacin de
movimiento del pndulo.
La funcin F (k; ) tiene como inversa la ecuacin elptica de Jacobi denotada
por sn(k; u), la cual estudiaremos con detalle ms adelante.
Por ahora nos basta saber que esta funcin satisface:
pg
sen( ) = sn(k; L (t + 14 T (a)))
1
pg
k sen( 2 ) = sn(k; L (t + 14 T (a)))
pg
(t) = 2arcsen k sn k; L (t + 14 T (a))
@f x @f
Ya que = p
a2 x2
y =0 el rea de la supercie deseada esta dada
@x @y
por:
2 p 3
ZZ q Zb bZ
2 x2
x2 6 p a
7
A 1+ a2 x2 dxdy = 4 a2 x2
dy 5 dx =
p
D b b2 x2
2 p 3
Zb bZ
2 x2
Zb p
Zb p
p a
6 7 2 2
p b x dx
1 (x=b)2
A= a2 x2
4 dy 5 dx = 2a a2 x2
= 2a p dx
1 (x=a)2
p
b b2 x2 b b
Sea s = x=b, entonces
Z1 r Z1 r
1 s2 1 s2
A = 2ab 2 2 ds = 4ab 2 2 ds
1 ( ab ) s 1 ( ab )s
1 0
Z=2 Z=2
p
= 4ab p 21 2 d + 4ab
k2 ( 1 k 2 sen2 ( ) p 1
)d
1 k sen ( ) 1 k2 sen2 ( )
0 0
Z=2 Z=2
1
p
= 4ab 1 k2
p 21 2 d + 4ab
k2 1 k 2 sen2 ( )d
1 k sen ( )
0 0
Este tipo de integrales se les denomina integrales elpticas del tercer tipo, por
ser una combinacin de las de primer y segundo tipos.
u(x; t) = U (x ct)
cU 0 + U 000 + 6U U 0 = 0 (7)
cU + U 00 + 3U 2 = 0 (8)
dE
dt =0
1 02 c 2
E(t) = 2 U (t) + U 3 (t) 2 U (t)
Por lo tanto
E(t) = E(0)
22CAPTULO 3. INTEGRALES ELPTICAS EN PROBLEMAS DE LA MECNICA, LA GEOMETR
o equivalentemente
r
p c 2
v= 2 U U 3 + E(0) (9)
2
que estan denidas para
c 2
U3 2U E(0)
P(U) v
0.04 0.4
0.2
0.02
0
0 -0.2 0 0.2 0.4
-0.2 0 0.2 0.4 0.6 U
U
-0.2
-0.02
-0.4
c 2
p pc
'(U ) = U 3 2U
v= 2 2U2 U 3 + E(0)
p p x
dU
d = 2 (U U1 )(U U2 )(U U3 )
R3
U
T = p1 p du
2 (U U1 )(U U2 )(U U3 )
U2
RU
= p1 p ds
2 (s U1 )(s U2 )(s U3 )
U3
R3
U
= p1 p du
para U2 U U3
2 (s U1 )(s U2 )( s+U3 )
U
Sean
s = U3 + (U2 U3 )sen2 ( )
ds = 2(U2 U3 )sen( ) cos( )d
h i
U2 U3
s U1 = U3 U1 + (U2 U3 )sen2 ( ) = (U3 U1 ) 1 + 2
U3 U1 sen ( )
= (U3 U1 ) 1 k 2 sen2 ( )
s U2 = (U3 U2 ) 1 sen2 ( ) = (U3 U2 ) cos2 ( )
s U3 = (U2 U3 ) sen2 ( )
q
U U3
(U ) = arcsen U 2 U3
Entonces
R0
= p2 p p U2 U3 d
2 U 3 U1 1 k2 sen2 ( )(U3 U2 )
(U )
p (U
R )
2 p d
= p
U3 U1 1 k2 sen2 ( )
0
Por lo cual
q
U3 U2
U ( ) = U2 + (U3 U2 )cn2 2 t; k
Recordando que = x ct
En el periodo vuelven a aparecer las integrales elpticas y para encontrar U (x
ct) nos volvemos a encontrar con el problema de inversin.
24CAPTULO 3. INTEGRALES ELPTICAS EN PROBLEMAS DE LA MECNICA, LA GEOMETR
Parte II
Funciones Elpticas
25
Captulo 4
Ejemplos de mapeos de H + en
p
1) El Primer Cuadrante: f (z) = z
3
La eleccin del argumento 2 2; 2 permite calcular la imagen del
eje real.
Figura 8
27
28 CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H +
(ii) Si 1<s<1
s = 1 + (1 s)ei = 1 + (1 + s)ei0 :
Por lo tanto
p p p p
s2 1 = 1 sei =2
s + 1ei0 = i 1 s2 :
Entonces
es decir, considerar
Zz Zz Zz
G(z) = i p ds = ds
p = p ds
s2 1 e i =2 s2 1 1 s2
0 0 0
3) Un rectngulo
Siguiendo la idea del ejemplo anterior.
Candidato :
Zz
ds
f (z) = p p
s2 1 s2 a2
con a > 1:
0
Entonces para z 2 R , z 1
Z1 Zz Zz
ds ds ds
f (z) = p
s2
p
1 s2 a2
+ p
s2
p
1 s2 a2
= f (1) + p p
s2 1 s2 a2
0 0 0
1
Sea k = a < 1, entonces
30 CAPTULO 4. MAPEOS DEL SEMIPLANO SUPERIOR H +
Z1 Z1
ds 1 ds
p
f (1) = p
1 s2
p
a2 s2
= a
p s 2
=
1 s2 21 (a )
0 0
Z1
ds
= k p
1 s2
p
1 2 k 2 s2
= k F (k; =2 + 2n ) := K(k)
0
As
Zz Zz
ds ds
f (z) = K(k) + p
s2
p
1 s2 a2
= K(k) + p p
s2 1 s2 a2
1 1
z = 1 + ri ei 1
, r1 = j1 sj
= 1 + r2 ei 2
, r2 = j1 + sj
i
= a + r3 e 3
, r3 = ja sj
= a + r4 ei 4
, r4 = ja + sj 2 < j < 2
Por lo tanto,
Zx Zx
ds ds
f (x) = f (1) i p
s2
p
1 a2 s2
= K(k) i p p
s2 1 a2 s2
1 1
31
En particular
Za Za
ds dx
f (a) = p
s2
p
1 s2 a2
= f (1) i p p
x2 1 a2 x2
=
0 1
Za 1=k
Z
dx dx
= K(k) i p p
x2 1 a2 x2
= K(k) i k p p
x2 1 1 k2 x2
1 1
1=k
Z
dx
Sea K 0 (k) = k p p
x2 1 1 k2 x2
, entonces
1
Podemos conlcuir
Anlogamente
f ([ 1; 0]) = [K(k); 0]
f ([ a; 1]) = f(x; y) j x = K(k); y 2 ( K 0 (k); 0)g
Z1
dt p
I=k p
1 k2 t2 1 t2
= K(k)
0
Por lo tanto
Zx
ds
l m f (x) = l m f (a) + p p
s2 1 s2 a2
=
x!1 x!1
a
Zx
0 ds
= lm K(k) iK (k) + p p
s2 1 s2 a2
=
x!1
a
Ahora sabemos que la imgen del eje Real es la frontera del rectngulo con
vrtices en
De hecho f es 1 1 en H + y suprayectiva en D :
Armacin f (H + ) = D y para cada w 2 int (D) existe un nico z 2 H + tal
que f (z) = w:
Demostracin Sea wo 2 Interior de D: Sea
Sea una curva simple cerrada en H + tal que f (z) 6= wo para todo z 2 ,
entonces
R f 0 (z)
N (wo ) = 21 i f (z) wo dz = Nmero de soluciones de f (z) =
= wo encerradas por
Tomamos R > a
R ( ) = R ei , 2 [0; ]
R := [ R; R] + R ( )
1
RR f 0 (x) 1
R f 0 (z)
N R
(wo ) = 2 i f (x) w dx + 2 i f (z) w dz
R R
Observemos que
0 1 1
f (Rei ) = p p =O R2 y jdzj = R
R 2 ei 2 1 R 2 ei 2 a2
1
Para estimar f (z) w en R , demostraremos que
lm f (z) = iK 0 (k)
z! 1 , z2H +
Tomemos z = Rei 0
2 R y sea 1 = t z con t 2 [0; 1] :
Entonces
R0 iRei
f (z) = f (R) + p p ds = f (R) + O( R1 )
0 R 2 ei 2 1 R 2 ei 2 a2
Por lo tanto
1
jf (z) wo j jwo + iK 0 (k)j jf (z) + iK 0 (k)j 2 jwo + iK 0 (k)j
R f 0 (z) R
f (z) wo dz R2 = !
R R!1 0
R
1
R
1
f 0 (x)
N R
(w) = 2 i f (x) w dx para R R1
1
entonces
1
R dv 1
R f (z)
1= 2 i v wo = 2 i f (z) w dz = NR (w);
R R
es decir
N (w) = 1 8 w 2 Interior de D
Por lo tanto :
f es 1 1 y f (H + ) = D
f tiene una inversa que denotaremos por sn(z; k) la funcin
"sinus amplitudinus"de Jacobi:
Sinus Amplitudinus
Sean
D :=
+
= Reexin de con respecto al eje real,
1 = Reexin de con respecto a la recta Re(z) = K(k)
+
2 = Reexin de con respecto a la recta Re(z) = K(k)
+
Por reexin de Schwarz extendemos sn(z; k) por simetra a , es decir,. para
z2 +
sn(z; k) := sn(z; k)
+
Asi, sn(z; k) es analtica en [ y
+
sn( ; k) = H :
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
+
Por lo tanto sn(z; k) es analtica en := [ [ 1 [ 2 y
sn( 1 ; k) = H ; sn( 2 ; k) = H +:
R 3K(k)
R
sn(z; k)dz = sn(x; k)dx
1 K(k)
R 3K(k)
R R
sn(z; k)dz = sn(x + i2K 0 (k); k)dz = sn(z; k)dz
3 K(k) 1
Analogamente
R R
sn(z; k)dz = sn(z; k)dz
2 4
Por lo tanto
Z X4 Z
sn(z; k)dz = sn(z; k)dz = 0 (10)
j=1
j
1
R (sn(z;k))0
I := 2 i sn(z;k) w dz =
I=0
mediante la funcin
Zz
ds
f (z; k) = p p
s2 1 s2 a2
:
0
Una solucin al problema que nos estamos planteando sera encontrar ko tal que
2K(ko ) = a y K(ko ) = b:
En esa direccin analicemos propiedades de la funcin K(k) :
1
1) K(k) es una funcin creciente de k (con k 2 (0; 1)) ya que p
1 x2
p
1 k2 x2
lo es.
o equivalentemente
5.1. CUL ES EL ORDEN DE LOS POLOS DE SN(Z;K)? 41
R1 dx
p p
K(k) 0 1 x2 1 k2 x2 a
K (k) = 1=k
R
= 2b .
p dx
p
1 x2 1 1 k2 x2
K(k)
Analicemos la monotona de las integrales para demostrar que K (k) es una
funcin creciente de k con imgen (0; 1).
R1 dx
i) Por 1) p
1 x2
p
1 k2 x2
es creciente.
0
1=k
R dx
ii) E(k) := p p
x2 1 1 k2 x2
es decreciente. Demostraremos esto comparando
1
1
esta integral con k K(k)
1 k2 xdx
Sea y = p
1 k2 x2
! dy = (1 k2 x2 )3=2
: Por lo tanto
p 1 p 1
R1 R k2
1
ky dy
R k2
1
K(k) = k p dx
p =k yp p =k p pdy :
1 x2 1 k2 x2 1 (1 k2 )y 2 ky 2 y 2 1 y2 1 1 (1 k2 )y 2
0 1 1
p 1
R k2
1 p
1
k K(k) = p pdy = E( 1 k2 )
1 y2 1 1 (1 k2 )y 2
R1 dx
R1
l m+ p p = lm p qdx
k!0 0 1 x2 1 k2 x2 k!1 0 1 x2 1
2
( k1 ) x2
Z1 Z1
dx dx
lm p q = p = (12)
k!1 1 2 1 x2 2
0 1 x2 1 k x2 0
1
Sea w = y+1 entonces
R
1
dy
R1 dw
p p = p q
2
con k 2 (1; 1)
0 y 2 +1 y 2 +k2 0 w2 +(1 w)2 ( k1 ) w2 +(1 w)2
Pero
p q1 p 1 1
2
w2 +(1 w)2 (1 w) (1 w)2
w2 +(1 w)2 ( k1 ) w2 +(1 w)2
R1 1
(1 w)2
!1
0
Anlogamente
1
l m H(k) = 1 =1 (15)
k!1 =2
K(k)
Es decir, la imgen de K (k) es el intervalo (0; 1) para k 2 (0; 1).
K(ko ) a
Por lo tanto existe ko 2 (0; 1) tal que K (ko ) = 2b :
b
Sea = K (ko ) y h(z) = z: Entonces
a
v(z) := h(sn(z; ko )) + 2 + ib
R1
F (1) = i pspds1 s2
iA
0
R
1
F (1) = iA+ p pds 2 i A+B
s 1 s
1
1 1
Sea t = x ! dt = x2 dx entonces
R
1 R1
B= p pds 2 = p pdt =A
s 1 s t 1 t2
1 0
) periodos 2A , i2A
1 1
A iA + n2A + im2A = 2(n 2 )A + 2i(m 2 )A
Por lo tanto esta funcin es diferente de la que se obtiene con la integral elptica
de grado cuatro.
Traslademos el cuadrado al cuadrado con vrtices en , ; ; (como se mues-
tra en la siguiente gura).
44 CAPTULO 5. SINUS AMPLITUDINUS
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
Por lo tanto, todas las funciones racionales que satisfacen la condicin de ceros
y polos son de la forma
Az 2 A
B(z A iA)2 = B ro (z)
m(z) = z 2 1 (z)
y 2 (z) analtica en una jz (A + iA)j < que cumple 2 (A + iA) 6= 0 tal que
5.3. FUNCIONES MEROMORFAS CON POLOS Y CEROS DOBLES. 45
2 (z)
m(z) = (z (A+iA))2
Anlisis Global
T (z) = rm(z)
o (z)
es meromorfa con singularidades en 0 y A + iA . La singularidad
en cero es removible ya que
2
1 (z)
T (z) = z z12(z) = (z (A+iA)) 2 es analtica en z = 0
(z (A+iA))2
Por lo tanto T (z) es entera y distinta de cero en todo el plano complejo. Entonces
m(z) = ro (z)H(z)
P (z) = c h(z)
46 CAPTULO 5. SINUS AMPLITUDINUS
Captulo 6
Funcin P de Weierstrass
1 X 1 1
P(z) := + (16)
z2 [z (n + im)]2 [n + im]2
(n;m)2Z f0g Z f0g
Convergencia:
Para z jo se tiene
1 1 z 2 +2z(n+im)
[z (n+im)]2 [n+im]2 = [z (n+im)]2 [n+im]2
p
Si n2 + m2 2 jzj
2 p 2 1
p 2
jz (n + im)j n2 + m2 jzj 2 n2 + m2 = 14 (n2 + m2 )
Por lo tanto
jzj2 4jzj2
jz (n+im)2 jjn+imj2 (n2 +m2 )2
y como
P 1
P
1
1
P
1
1
P
1
1
[n2 +m2 ]2 = m4 n 2 2
c m3
n;m2N m=1 n=1 [1+( m ) ] m=1
p P 1
si n2 + m2 > 2 jzj, entonces [n2 +m2 ]3=2
converge. Adems,
n;m2N
47
48 CAPTULO 6. FUNCIN P DE WEIERSTRASS
P 0 (z)
1= p p
P (z) 1 P (z)2
2
(P 0 (z)) P (z)
= P (z)2 1 (17)
2 2
Tenemos que, para t real; P (t) es una solucin real y peridica del sistema con-
servativo
:: 3 2
x 2x +x=0
P (t); t 2 R
P 1
S2 (z) = [z (n+im)]3
(n;m)2Z f0gxZ f0g
Entonces
P 0 (z) = Z 32 2S2 (z)
6.2. ECUACIN DIFERENCIAL PARA P 49
1
P(z) = + S1 (z)
z2
2
0 2 4
P (z) = z6 + z83 S2 (z) + 4 (S2 (z))
2 3
P(z)3 = z16 + z34 S1 (z) + z32 (S1 (z)) + (S1 (z))
P 0 (z)2 4P(z)3 = 4S2 (z)2 + z83 S2 (z) 12
z 4 S1 (z)
12
z 2 S1 (z)
2
4S1 (z)3
Por otra parte
0 00 2 000 3
S1 (z) = S1 (0) + S1 (0) z + S1 (0) z2! + S1 (0) z3! +
S1 (0) = 0
0 P 1
S1 (0) = 2! (n+im)3 =0
(n;m)2Z f0gxZ f0g
00 P 1
S1 (0) = 3! (n+im)4
(n;m)2Z f0gxZ f0g
000 P 1
S1 (0) = 4! (n+im)5 =0
(n;m)2Z f0gxZ f0g
(2j+1)
Observamos que S1 (0) = 0
Ms aun
(j) P 1
P 1
S1 (0) = (n+im)j = (n im)j =
(n;m)2Z f0gxZ f0g (n;m)2Z f0gxZ f0g
P 1
= (n+im)j
(n;m)2Z f0gxZ f0g
Concluimos as
(j)
S1 (0) 2 R 8j 2 N [ f0g
S1 (z) = S1 (z)
1 1 1
P(z) = z2 + S1 (z) = z2 + S1 (z) = z2
+ S1 (z) = P(z)
Analogamente
S2 (0) = 0 P
0
1
S2 (0) = 3 (n+im)4
(n;m)2Z f0gxZ f0g
00
S2 (0) = 0
(2l)
S2 (0) = 0 8l 2 N
As mismo:
(l)
S2 (0) 2 R 8l 2 N [ f0g
S2 (z) = S2 (z)
P 0 (z) = P 0 (z)
50 CAPTULO 6. FUNCIN P DE WEIERSTRASS
1
Por lo tanto la parte singular de P 0 (z)2 4P(z)3 en z = 0 es de orden z2 y es:
!
1
P 1
g2 z2 con g2 = 60 (n+im)4
(n;m)2Z f0gxZ f0g
Entonces
g2
P 0 (z)2 4P(z)3 = z2 + h(z)
con 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
Por lo tanto
2 3
(P 0 (z)) = 4 (P(z)) g2 P(z) g3 = 4 (P e1 ) (P e2 ) (P e3 ) (18)
Funcin Theta
ut = uxx en [0; ]
Para
P
1
u(x; 0) = f (x) = fn ei2nx
n= 1
51
52 CAPTULO 7. FUNCIN THETA
ei =e 4t
Consideremos la serie
P
1 2
ein einz con z 2 C y Im ( ) > 0 .
n= 1
(z + p q) = (z p q) 8z2C
P
1 2 P
1 2
= qn +2n
ei2nz = q 1
e i2z
q (n+1) ei(n+1)2z =
n= 1 n= 1
1 i2z
=q e (z p q)
A se le llama un cuasiperiodo y decimos que (z p q) es cuasi-doblemente
peridica con factor de periodicidad o multiplicador: q 1 e i2z :
Denimos
P
1 2 P
1 2
4 (z p q) = ( 1)n q n ei2nz = 1 + 2 ( 1)n q n cos(2nz) funcin
n= 1 n=1
par de z
P
1 2 P
1 2
3 (z p q) = 4 z+ 2 pq = q n ei2nz = 1 + 2 qn cos(2nz)
n= 1 n=1
7.2. PROPIEDADES DE LAS FUNCIONES T HET A 53
1 (z p q) = iei(z+ 4 )
4 z+ 4 pq =
P
1 2
= iei(z+ 4 )
( 1)n q n ein ei2nz =
n= 1
P
1 2
= iei(z+ 4 )
( 1)n q n +n
ein ei2nz =
n= 1
P
1 2
= i ( 1)n q (n+1=2) ei(2n+1)z =
n= 1
P
1 2
= i q 1=4 eiz + 2 ( 1)n q (n+1=2) sen((2n + 1)z)
n=0
P
1 2
2 (z p q) = 1 z+ 2 pq =2 q (n+1=2) sen((2n + 1)z)
n=0
j (z + p q) = j (z p q)
1 i2z
4 tiene cuasiperiodo y factor de periodicidad q e , que heredan
1; 2 y 3:
P
1 2
4 (z + p q) = ( 1)n q n ei2nz ei2n =
n= 1
1
P
1 2
=q ( 1)n q (n+1) ei2nz =
n= 1
1 i2z
P
1 2
= q e ( 1)n+1 q (n+1) ei2(n+1)z =
n= 1
1 i2z
= q e 4 (z p q) :
Observacin Si j (zo ; q) = 0 entonces j (zo +k ; q) = 0 8k 2 Z
Demostracin Inmediata del comentario anterior.
1
R 0
j (z;q)
2 i j (z;q)
dz
@Q
f igura2
1 (t) =a+t
2 (t) =a+ +t
1
3 (t) = 1 (t) +
1
4 (t) = 2 (t)
Entonces
R 0
4 (z;q)
R 0
4 (z+ ;q)
4 (z;q)
dz = 4 (z+ ;q) dz
3 1
Por lo tanto
0 1 i2z 0 1 i2z
4 (z+ pq) q e 4 (zpq) 2iq e 4 (zpq)
4 (z+ pq) = q 1 e i2z
4 (zpq)
+ q 1 e i2z
4 (zpq)
Por lo tanto
" #
1
R 0
4 (z;q) 1
R 0
4 (z;q)
R 0
4 (z;q)
R 0
4 (z;q)
2 i 4 (z;q)
dz = 2 i 4 (z;q)
dz + 4 (z;q)
dz + 4 (z;q)
dz = 1:
@Q 1 2+ 4 3
7.2. PROPIEDADES DE LAS FUNCIONES T HET A 55
Hacia el problema de
inversin
P
n P
n
aj bj = k 2w1 + l 2w2 con k; l 2 Z .
j=1 j=1
n
Demostracin Sea f una funcin meromorfa con ceros en faj gj=1 y polos en
n
fbj gj=1 posiblemente repetidos (dependiendo de multiplicidad) en una regin
Q. Entonces, por la frmula integral de Cauchy
R f 0 (z) P
n P
n
z f (z) dz = ai bi
@Q i=1 i=1
R 0
Si f es elptica de periodos 2w1 y 2w2 Cunto vale z ff (z)
(z)
dz?
@Q
Sean 1; 2; 3 y 4 como en f igura2:
57
58 CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN
= 2w2 k + 2w1 l
4 (z a1 +zo ;q)
'(z) = 4 (z b1 +zo ;q)
Para que este candidato sea el bueno tiene que ser una funcin peridica de
periodo : Calculemos.
1 i2(z a1 +zo )
q e 4 (z a1 +zo pq) i2(b1 a1 )
'(z + )= q 1 e i2(z b1 +zo ) =e '(z)
4 (z b1 +zo pq)
4 (z a1 +zo ;q)
'(z) = 4 (z a1 m +zo ;q) = 1:
R1 P
1
n
f (z) = z b1 + an (z bn )
n=0
1
R 1
R
R1 = 2 i f (z)dz = 2 i f (z)dz = 0
@Q
Teorema 8.1 Las nicas funciones elpticas de grado 1 son las funciones con-
stantes.
8.2. FUNCIONES ELPTICAS DE GRADO 2 59
b1 + b 2 (a1 + a2 ) = m y b 1 + b2 (a1 + a2 ) = l
para m; l 2 Z .
Por lo tanto es elptica con periodos y pero estn condicionados los
ceros y polos, as que no siempre va a ser la que buscamos.
Dados periodos 2w1 , 2w2 y a1 ,a2 ,b1 ,b2 2 Q tales que
w1
a1 + a2 (b1 + b2 ) = k 2w1 + l 2w2 y w2 2 H+
podemos construir una funcin elptica con periodos 2w1 , 2w2 ceros en a1 ; a2 ;
polos en b1 ; b2 : A saber la funcin
z a1 z a2
4 ( 2w +zo ;q) 4 ( 2w +zo ;q)
M (z) = 1
z b1
1
z b2
4 ( 2w +zo ;q) 4 ( 2w +zo ;q)
1 1
w1
Para la periodicidad en 2w2 tomemos = w2 y ajustemos.
Entonces
a1 = 0 , a2 = 2K(k) , b1 = i K 0 (k) , b2 = 2K(k) + iK 0 (k):
Por lo tanto
b 1 + b2 (a1 + a2 ) = 2K(k) + 2iK 0 (k) 2K(k) = 2iK 0 (k) =
=0 +1 i 2 K 0 (k):
b 1 + b2 (a1 + a2 ) = m +l
con m = 0 y l = 1:
Por otra parta, la funcin
60 CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN
z z
2K(k)
4 ( 4K(k) +zo ;q) 4( 4K(k)
+zo ;q)
(z) = z iK 0 (k) z (2K(k)+iK 0 (k))
4 ( 4K(k)
+zo ;q) 4( 4K(k)
+zo ;q)
2 3
[P 0 (z)] = 4 [P(z)] g2 P(z) g3
P 1
g2 = 60 (n+im)4
(n;m)2Z f0g Z f0g
P 1
g3 = 140 (n+im)6
(n;m)2Z f0g Z f0g
Demostracin.
(I) Claro
P 0 ( 12 ) = 0
Anlogamente
P 0 ( 2i ) = 0 = P 0 ( 12 + 2i )
1 i 1 i
Combinando este ltimo resultado con (17) tenemos que para c 2 2; 2; 2 + 2
3 g2 g3
[P(c)] 4 P(c) 4 =0
Es decir,
g2 g3
P(c) es raz del polinomio w3 4 w 4
(III) De (II)
g2 g3
w3 4 w 4 = (w P( 12 ))(w P( 2i ))(w P( 12 + 2i )).
a) P( 12 ) + P( 2i ) + P( 12 + 2i ) = 0
g2
b) P( 21 )P( 2i ) + P( 12 )P( 12 + 2i ) + P( 2i )P( 12 + 2i ) = 4
c) P( 12 )P( 2i )P( 12 + 2i ) = g3
Desarrollando a) obtenemos
0 = P( 21 ) + P( 2i ) + P( 12 + 2i )
" #
P 1 1
= 4+ [(n 1 )+im)]2 [n+im]2 +
2
(n;m)2Z f0gxZ f0g
" #
P 1 1
+ 4 [(m 1 2 [m in]2 + P( 12 + 2i )
2 ) in]
(n;m)2Z f0gxZ f0g
Por lo tanto
P( 12 + 2i ) = 0
Sustituyendo en c) obtenemos
g3 = 0
62 CAPTULO 8. HACIA EL PROBLEMA DE INVERSIN
2
4 ( (z [ 12 + 2i ])+zo )
P(z) = 4 ( z+zo )
, 2C
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
f 0 ( 21 ) = f 0 ( 2i ) = f 0 ( 12 + 2i ) = 0:
Los ceros a1 y a2 son distintos ya que si fueran el mismo sera un cero de f 0 :Ms
aun
1 i 1 i
fa1 ; a2 g \ 2; 2; 2 + 2 =
Por lo tanto 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
65
66 APNDICE A. KORTEWEG-DE VRIES
div(!
u)=0
@ ui P
3
@(ui uj ) 1 @p
@t + @xj = @xi + Fi
j=1
@ @ 1 2
@xi @t + 2 jr j + 1 p + gx3 = 0
f( o + 4s!
n ; t + 4t) f( o; t + 4t)+ f ( o; t + 4t) f( o ; t) =0
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) h
Ahora usamos que los cambios en la presin del aire son pequeos para tomar
p = po en la supercie x3 = h + (x1 ; x2 ; t), lo cual da
@ 1 2
@t + 2 jr j + g = 0
2
(iv) z = ( t + x x) en z = 1 + (x; t)
69
i) zz + = 0 en 0 < z < 1 + ( ; )
ii) z( ; 0; ) = 0 para 0
1 2 2
iii) + + + 2 z + = 0 en z = 1 + ( ; )
iv) z = ( + z + ) en z = 1 + ( ; )
Por lo tanto
@
o( ; )= ( ; )
o
@
1
A orden tenemos
@2 1 @2
@z 2 + @ =0
o
2
@ 1
@z ( ; 0; )=0
por lo cual
z2 @ 2
( ; z; ) = 2 @ 2
o
( ; ) + c( ; )z + b( ; )
n o
@ @ @ @ @
Pero := @ j ; @ j ; @zj ; @ j ; @ j tienen segundas derivadas continuas por lo
que toda f 2 tiene la siguiente expansin:
@f 2
f( ; 1 + ; ) = f ( ; 1; ) + @z ( ; 1; ) + O( )
Por lo tanto
@ 2 @2 2 @2 1 1 @4 o @2 o @ 1 @ o @ o @ o
+ o = 2 + 4 2 o = + + (2)
@z @z 2 @ 6 @ @ @ @ @ @
@
Integramos (9) con respecto a , usando (8) y o = @
o
para obtener
2 2
1 @ 1 @3 @ @ 1 @
2 @
o
+ 6 @ 3
o
@
1
= 1 + @
0
+ 2 @
o
as que
2 2
@ @ @ 1 @3 1 @3 @ 1 @
1 @
1
= @
o
+ @
0
6 @ 3
o
= 2 @ 3
o
@
0
2 @
o
Es decir,
2
1 @3
2 @@ o + 3 @ 3
o
+ 3
2
@
@
o
=0
.
Bibliografa
71