Beruflich Dokumente
Kultur Dokumente
lecciones populares ~
: de matemticas :
~
CURVAS ~
~MARAVILLOSAS ~
!------
! HUMEROS COMPL.EJOS
~
YREPRESENTACIONES
~
CONFORMES
! - - - - - -
~ FUNCIONES
~ M.ARAVILLOSAS
------
~ A. l. Markushvich
- - - - - -
A. W. MAPKYllIEBl1"4
3AME4ATEJibHhIE KPHBblE
KOMflJIEKCHhlE YHCJIA
VI KOH(f)OPMHbIE OTOI>PA)f(EHHJI
3AME4ATEJlbHhlf: CHHYChl
A. l. MARKUSHEVICH
CURVAS MARAVILLOSAS
NUMEROS COMPLEJOS
Y REPRESENTACIONES CONFORMES
FUNCIONES MARAVILLOSAS
Segunda edicin
EDITOR IA L M IR
MOSCU
Primera edicin 1977
IMPRESO EN LA lJRSS.
INDICE
Curvas maravillosas 7
Funciones maravillosas 95
Prefacio 96
El uuror.
1. Las palabi:as curva>> o curvo se emplean a veces como
adjetivos para describir lo que se aparta de la direccin recta.
Los matemticos suelen emplear la palabra curva en calidad
de substantivo como un sinnimo de lnea curva. Qu es una
linea curva'.? Cmo abarcar en una definicin las curvas que se
trazan con lpiz o pluma en el papel o con tiza en la pizarra
y las curvas que describen una estrella ugaz o un cohete en
cielo nocturno?
Aceptaremos la definicin siguiente: la q" (o sea, Ja lnea
curva) es la traza de un punto mvil. En nuestros ejemplos, este
punto es la punta del lpiz, el extremo de la tiza, un meteoro
candente que atraviesa las capas superiores de Ja atmsl!ra o un
cohete. Desde este punto de vista, ta recta es un caso ,.iarticular
de la curva. Efectivamente, acaso no puede ser rectilne la traza
de un punto mvil?
2. Un punto mvil efectivamente describe una recta si pasa
de una p0sicin a cualquier otra por el camino ms corto. Para
lrazar la recta se utiliza la regla; si deslizamos un lpiz sobre
su borde, la punta del lpiz dejar en el papel una traza
rectil nca.
Si el punto se desplaza sobre un plano de forma que permanece
constante su distancia a un punto fijo del mismo plano, describir
la circunferencia; basndose en esta propiedad de Ja circunferencia,
se emplea para trazarla el ~omps.
La recta y la circunferencia son las curvas ms sencillas y,
a la vez, son las dos curvas ms notables en cuanto a sus
propiedades. La recta y la circunferencia son las curvas ms
familiares al lector. Pero que no piense que conoce a fondo todas
las propiedades principales de las rectas y circunferenci~s. Sabe.
por ejemplo, que si los vrtices de dos tringulos ABC y A'B'C'
se hallan sobre tres rectas q ue se cortan en un punto S (ig. 1),
10
M'
1
I
\
'\
I
I M \.
I 1
I / \ \
I / \ \
/ I \ \
I / \ \
111 '\\.
F,
nG.1 FIC. l
I
/
/
--..-----
I
/
' I
()"'=-::: - - - - - -:_ -,,,_ - --o- - - - .. -
r, F2 O
FIC, :J
ne.
FIG. !
/
/ ' '
/ "
s,
FfG. 6
N'
A,
FIG. 7
Pero
A 1F 1 = A 2 F 2
debido a la simetra de la elipse; por eso, podemos tomar A 2 F2
en lugar de A 1 F 1 y as encontramos que
AiF2 + A 1 F 2 =l.
del eje mayor. Por eso, dados los vrtices de la elipse, es fciJ
encontrar sus focos: hay que determinar los puntos de interseccin
del eje mayor y dl arco de la circunferencia cuyo centro es el
punto 8 2 y cuyo radio es igual a la milad de A1 A2
FIC. 1 FIG. t
Cono
flG. 10
A, - - -0-----
FI
<>- - - - - - -r ---
2
A2
F'IC . 11
D,
ne. 12 l'JG. 13
l'IG. 14 FIG. 15
o
FIG. \6
2
20
FIC. 17 FlG. 11
FIC. 19
/
'' /
''' /
,/A,
/
/
/
/ ''
/
/ ''
/ '
f1C. 20
x=0K ey=KA 2 ;
los segmentos OK y KA 2 constituyen catetos del tringulo rectngulo
issceles cuya hipotenusa es
m
OA 2 = -
2.
por eso,
X =y
ml
y X2 + yl =(~
m2
r m2
s s
a) b)
FIG. 21
PIC. l2
"....
--- _.... - ,,,'
---------
a) b) e)
FIG.13
(~ + ~)(~ - ~)= ~ - ~ .
M
"~ FIG. 24
c1
Pero, segn la hiptesis, este producto debe ser igual a 4 ,
x2 c2 c2
o sea, -
4
- -
4
= -4 , de donde x1 = 2c2 y x =J/2 e~ 1,414c.
Existe una relacin curiosa entre esta lemniscata y Ja hiprbola
equiltera. Tracemos por el punto O diferentes rayos rectilneos
(fig. 25) y consideremos los puntos en los que stas se cortan con
la lemniscata. Resulta que mientras el ngulo enfre el rayo y OF2
(u OF 1) es menor de 45, existir otro punto de interseccin,
adems de O en que el rayo corta la lemniscata; en cambio, si
este ngulo es de 45 o mayor, no existir el segundo punto
de interseccin. Tomemos un rayo cualquiera del primer grupo
y supongamos que corta la lemniscata en el punto M (distinto
de O); a partir del punto O construyamos en dicho rayo el segmento
1
ON = --. Si realizamos esta construccin para todos los rayos
OM
del primer grupo, los puntos N, correspondientes a los puntos M
de la lemniscata, quedarn sobre la hiprbola equiltera cuyos
28
\ \ I I
\ \ I I /
\
r I I
\ I /
I I
1
"'
FIC. 25
c2
menor de - 4. la lemniscata consta de dos valos, uno de los
cuales contiene el punto F 1 y el otro. el punto F2 (fig. 26). En el
c2
caso en el que el producto p es mayor que - , pero menor que
4
c2
- . la lemniscata tiene la forma de un bizcocho (fig. 27). Si p
2
c2
difiere poco de - , la cintura K 1K 2 del bizcocho ser muy
4
29
FIC. ~
FJC. rJ
FIC. 28
11JC.l9
M N
FIG. JO
_-....__
)
/
2 J 4 s
FIG. JI
FlC. 32
FlG. 33
PREFACIO
El auwr
1. Para la representac1on geomtrica de los nmeros reales
se emplea el eje numrico, es decir, la recta en la cual se han
prefijado el punto A, el origen de coordenadas que representa
A 8
~~~-c-~~~-<'--------0-----
e
0 1 JI.
DIB. 1
C C2
'"-...!-v-J J --..--
Cz~
e,
DIB. 1
ltJO
f A
b
0 18. 3
>F
A~
/
'""'----o
_ _A 8
C G
- ;.
DIB, 4
'1 e
1
018. ~
018. 1
O'
ora. e
l>IB. 10
018. II
/~rgr
om. n
re
I~
180" 1
l X
~{
C'
DIJ. 13
E'
A, l
1 ~I
Lt b
D'
52
'1 b
1
019. 16
:}E,(1 i)
: 1
1
E (-1) A '
~.o-~~~-+-~~~-+-~~----x
~ -
l E.J(-i) h E5 (1 - 1)
l>IB. H
y y
z l' z ... 1
OIB. 11 1>1'8,
E,
A Argz
OlB. 10
z por e = !2 -
2
i i/22 es igua\ al giro .del vector AE (que
representa z) en torno al punto A en ngulo de 45, en direccin
negativa.
56
DIB. 21
DIB. 22
OIB. 13
OIB. 24
= Vz, z' = a%, z' = sen z, etc. Sin embargo, en este libro slo
trataremos de las funciones racionales ms sencillas.
DIB. U
21, Hemos visto que a las funci ones z' = z +a o z" = cz les
c.orrespond.en las transformaciones geomtricas determinadas de las
ijguras en el plano. Precisando, .si la variable z toca todos los
puntos de la figura P, la funcin ~' = z + a tocar los puntos
de la figura P' que se obtendr de P mediante el desplazamiento
en el vector a, mientras que la funcin z" == cz pasa por los pu ntos
de 'la figura P" que se obtiene de P mectiante la transformacin
de la homotecia con coeficiente .1e1 y el giro alrededor del punto
A el ngulo Arg c. Por consiguiente, puede decirse que la misma
funcin z' = z + a efecta el desplazamiento, la funcin. z' = cz
efecta la transformacin de homotecia y el giro (si c. c;s un nmero
real positivo, esto sol9 se reduce a una .homotecia y si 1e 1= 1,
pero e :F l, slo a .un giro). Surge Ja pregunta: ,qu es posible
decir sobre las transformaciones efectuadas por otras funciones
de variable compleja y, en particular, por las funciones racionales?
De esta cuestin nos ocuparemos en las pginas que siguen. Pero,
para que el lector comprenda que esta tarea no sera un juego,
61
Sin duda, los ngulos entre )os lados que eran rectos lo segu1ran
siendo, es decir, no varan. Examinemos, no obstante, el ngulo
BAC entre el lado AB y la diagonal AC de nuestro cuadrado
(dib. 26) ; este ngulo es igual a 45. Como resultado de la
y y
[
9
l.
A B X
A 8 X
DIB. 26 01a. rr
p/
/
/
T,
p
R
Q
OlB. 28 0111. 29
DIB.30
DIB. 31
O) o)
DIB. JZ
\
\
P'
I
180
~
L' R' P' x'
DIB. 34
P'
OIB. 35
z-a
Tomando z como incgnita, resolvamos la ecuacin z' = - -
, z- b
respecto a z; hallamos que zz' - z' b ::::: z - a, de donde z =
z'b - a
= - - - As. para cada punto z' perteneciente al rayo P'L'
z' - 1
z-a
existe un valor y slo uno de z tal que z' = - -, es decir, tal
z -b
que z' sea la representacin de z. Pero dnde est situ~do este
punto z? Puede ser que no se encuentre en PLQ? Cerciormonos
de que esto es imposible. Antes que nada, el punto z no puede
estar situado en la recta que es la prolongacin del segmento PQ
(fuera de este segmento). En caso contrario los argumentos de
z-a
los nmeros z - a y z - b hubieran sido iguales y z' = - -
z-b
hubiera sido un nmero positivo. Pero si z no est situado en
la rC(:ta indicada fuera del segmento PQ, entonces P y Q pueden
unirse mediante un arco de circunferencia de modo tal que este
arco pase por z (si suponemos que el punto z est situado en el
73
Q) b)
DIB.J
DIB. 37
z' z"
Hemos hallado que - -- = - y, a continuacin, que
z' - e' b"
77
z''
de donde se deduce que Arg- = 90 (dib. 37) y
~ z' z"
P'R'E' = Arg - - == Arg- = 90.
z' - e' b"
z -a
As, el segmento P' E' se ve desde cada punto z' = - -, bajo un
z- b
ngulo recto. Esto significa que el punto z' est situado en la
circunferencia P'L'M ', cuyo dimetro es el segmento P'E' *'
An es necesario demostrar que Ja tangente a esta circnferenc1a
en el punto P' forma con la direccin positiva del eje real un
ngulo c:p. Para esto es suficiente demostrar que el ngulo entre
el dimetro P' E' y esa direccin del eje es igual a q> + 90.
e - Cl
Este ltimo ngulo coincide con A,rg e'= Arg - - . Pero el
c- b
punto e est situado en el arco de circunferencia P F.Q que une
"los puntos a y b. Como la tangente' a este arco en el punto a
forma con Ja direccin baN el ngulo 90 + c:p, el punto e' =
= -e-a
- debe situarse en el rayo que tambin forma con la
c-b
direccin positiva del eje real el angulo 90~ + <>, es decir,
Arg e' = 90 + q, que es lo q~e h.a sido necesario demostrar.
30. En calidad de ejemplo hay que examinar en qu se trans-
forma la figura sombreada en el dib. 38, izquierda, al representarla
mediante la funcin z' = z - 1 . Esta funcin tiene la forma
z+1
z-a
- - , siendo a = 1 y b = - 1. Como el arco PLQ pasa por los
z-b
puntos 1 y -1 y en el punto a= 1 forma con la direccin QPN
el ngulo q>, segn el punto 28 se transforma en el rayo P'L' que
DlB.31
X x'
p ' '\.
R'
OID.39
6- 10
82
y AR, inclinados respecto de Ax bajo los ngulos <p 1 y <> 2 (q> 2 > q> 1),
ellos forman entre s el nguJo <X= q> 2 - q>1 . Como resultado
de la transformacin z' = z1 estos rayos se convierten en A'Q'
y A' R' inclinados bajo los ngulos 2<> 1 y 2<> 2 respecto de A'x'.
Es evidente que el ngulo Q'A'R' es igual a 2cp 2 - 2<p 1 ~
= 2 (q>2 - <p,) = 2<X.
De ese modo, los nguJos con vrtice en A se doblan con la
transformacin z' = z2 , en otras palabras, en el punto A se
transgrede la conformidad de la representacin.
32. Mostremos que los ngulos con vrtice en cualquier punto
z0 #O no varan con la transformacin z' = z 2 De aqu se inferir
que el origen de coordenadas es el nico punto en el que se altera
la confocmidad al efectuar esta transformacin.
Sea L una curva cualquiera que parte del punto z 0 Si tomamos
en L un punto z 1, diferente de z 0 , la direccin de la secante que
une z0 y z 1 coincidir con la direccin del vector Q0 Q 1 que
representa la diferencia z 1 - z0 (dib. 40, izquierda). Mediante la
funcin z' = z 2 la curva l se transforma en cierta curva L' y los
puntos z0 y z 1 en nuevos puntos, z 0 = z~ y z = zi, situados
en la curva L'. Es evidente que la direccin de la secante que une
z0 y z; coincide con la direccin del vector Q0R'., que representa
la diferencia z'1 - z0 (dib. 40, derecha). Comparemos entre s las
direcciones de las dos secantes ; para esto es suficiente comparar
entre s las direcciones de los vectores z'1 - z'0 y z 1 - z 0 Ya que
el ngulo entre ellos, medido desde el veclor z1 - z'O hacia el
. z'1 - z'o
vector z'1 - z(, coincide con el argumento del cociente
Z1 - Zo
Z - z'o
toda la comparacin se reduce al clculo del Arg El
Z1 - Zo
Z' - Zo
cociente puede transformarse, sustituyendo zj y z por
Z - Zo
sus expresiones z'1 = zi y z0 = z5. Obtenemos:
z~ - z~ z'1 - Zo
Z + Zo y Arg = Arg (z 1 + z0 ).
Zt - Zo Z - Zo Z - Zo
L'
DLS. 40
011 . ...
u
luego AB6 = AB 2 = D sen 45 , AB~ :;;: AB 3 = D sen 67 21 , AB4 = D.
u
1o 1 - cos 45 2 - 12
Queda por sealar que sen 2 22 -
2 2 4
2 - 1,4142... 1o
= 4 == 0 ,1464..., sen 2 45 = 0,5000... , sen 2 67 -
2
1o 1o
=cos 2 22
2 =1 - sen 2 22
2 = 0,8535... Por consiguiente, A'B? =
86
z' =+(z + +)
y apliqumosla a la transformacin de la figura limitada por dos
circunferencias : una que pasa por los puntos - 1 y + 1 y otra
que es tangente interior a la primera en el punto l; en el. dib. 42
esta figura ha sido sombreada.
87
OIB. <ll
hallaremos que:
z2 + 1 - 2
= z2 + l + 2z =(:::y.
As, debido a que
88
se deduce que
~::=(::~Y
Tambin es vlido el contrario : del segundo se deduce el primero.
Realmente, del segundo obtenemos :
z' -
z- 1
l=z' ( - -
)2 + (-z -- )1, 1
z+ l z+l
de donde
y a continuacin
1+(-z
1
-1 ) 2
z+
z'=-- -- - -
(z + 1)2 + (z - 1)2
=
2z2 +2
1-(-z-1)2
z+I
(z + 1)2 - (z - 1) 2
4z
+
z'= (z + ~) y :, : : = (::: J
son equivalentes (una se deduce de la otra).
Por eso, la transformacin de Zhukovski
:, : 11 = (:: ~y.
El resultado obtenido debe ser el mismo. Pero ahora est claro
que el paso de z a z' puede efectuarse en tres etapas. Al princip io,
89
.....
.......
-1 1
DIB. ..
-1
DIB. 45
a)
v
( -2-
v )lOO ;
+ i -2- b)
(y/33 ~)21 7,
2
12 Vi
Indica cin. - - + i - - = cos 45 + i sen 45 ;
i/3 + -i =
-
2 2 2 2
= cos 30" + i sen 30.
Respuestas: a) - 1; b) - - +
V3 -.
i
2 2
7. Partiendo de la frmula de Moivre (vase el problema 5),
deducir las frmulas para el cos mi y sen 11cx para /1 = 2. 3 y 4.
l ndicadn. En la frmula de Moivre (cosa + i sen a)" = cos nix +
+ i sen 11ix, hay que devar cos :x + i sen a a la nsi ma potencia
mediante multiplicacin directa (por ejemplo, (cos ex + sen a) 2 =
= cos 2 <X + 2i .sen IX cosa - sen2 :x) y luego e n Ja frmula de Moivre
escribir que las partes reales e imaginaras del primer y segundo
miembros d e la igualdad son iguales entre si.
Respuestus: cos 2cx = cos 2 IX - sen 2 :x; se o 2ix = 2 sen IX cos -:x;
cos 31X = cos~ IX - 3 cos ex sin 2 :x: sen 3ix = 3 sen :x cos 2 IX - sen 3 a;
cos 4<X = cos a - 6 cos a sen IX+ sen 4 (.(; sen 4:x = 4 sen a cos 3 a -
4 2 2
PREFACIO
x I
o
dz
= /1 + mz2 + nz4 .
El autor.
CAPITULO 1
DEFINICIN GEOMTRICA
DE LAS FUNCIONES CIRCULARES.
HIPERBLICAS Y LEMNISCTICAS
,.
100
e "
FI G. 1
.. 3rc
s a""' -1, una soluc1on t = - .
2
Es evidente que en cada uno de los casos ex = 1 o oc= - 1
se puede hablar de dos soluciones que se confunden en un punto.
Si r 1 '# t 2 , los valores correspondientes del coseno son opuestos:
cos t1 = -cos li-
la solucin de la ecuacin (6) se reduce geomtricamente a la
determinacin de los puntos de la circunferencia (1) que tienen
Ja ordenada dada y = a y al clculo de la longitud de los arcos
que terminan en los puntos determinados (fig. 2).
102
y
K
o 81 C X " X COJ f
flG. 1 ne. J
Entre las ecuaciones (1) y, (8) existe una s~mejanza mucho mayor
que entre las curvas que les corresponden (fig. 1 y fig. 4). Quiz
sea poco decir esto: las ecuaciones (1) y (8) difieren slo en el
signo de y2 , mientras que Jas curvas de las figuras 1 y 4 no se
parecen en nada. Sin embargo, ms vale dar crdito a las
ecuaciones que a su:> ojos. La semejanza entre ecuaciones trae
consigo una semejanza muy profunda entre las curvas lo que se
observa claramente a l comparar las func iones circulares e hper
blicas.
103
,,,
,,
y
,,
''' '
' '
'' ' ' ' K
',
\
\
', ,,o' ' -,:
I " ' ',,
I "
I //
/ / ''
/
/ /
/
''
/// ''
//
// ''
/
FIG. 4 ' nG. 5
tiene una rai7,, y slo una. para cualquier valor real de oc;
la ecuacin
ch t =(X (13)
no tiene ninguna raz, si a < 1; tiene una raz r = O, si ll = l; tiene
dos races t 1 y t 1 ;= -ti. si a> 1.
Geomtricamente, la solucin de las ecuaciones (12). y (13) se
puede reducir a la determinacin de los puntos de la rama de la
derecha de la hip.rbola (10) que tienen la ordenada y y la abscisa
x ~ l dadas y al clculo de las reas de los sectores correspon
dientes a los puntos determinados (fig. 6).
3. Observemos, antes de definir las funciones lemniscticas, que
existe una interpretacin geomtrica de las funciones circulares
distinta de la expuesta en el punto 1. Consideremos la circunferencia
de dimetro 1 tangente al eje Ox en el punto O: x 2 + y 2 - y == O
(fig. 7). Es evidente que la cuerda OA, correspondiente al arco
y
y
FIC. 6 flG. 1
r:
-
homnimo de longitud t, es igual a sen Por eso, podramos
edificar la teora de las funciones circulares, poniendo, por definicin
sen t = OA y t =longitud OA. (14)
De esta definicin se deduce que sen t aumenta de O a 1, cuando t
1t
aumenta desde O hasta
2; si t contina aumentando, e.l seno
F'IG . 1
A(t)
/(
'
'' '
A"(w+t) '
FIG. '
el t = si[~ - t J. (22)
(J)
si o < o:< ' dos soluciones 11 y t 2 , siendo O< t 1 < -
2
w
y - < f2 =w - ta < (J);
2
si a= O. <los soluciones 1 1 =O y c2 =ro:
109
3ro
si - 1 < a < O. dos soluciones t 1 y r 2 , siendo w <. t 1 <-
2
3w
Y-:< t2 = 3w - 11 < 20>;
.. 3w
si a =- 1, una soluc1on t = -
2
Es evidente que en cada de los casos a= 1 o a= - 1 se puede
hablar de dos soluciones que se confunden en un punto.
FIG. 10
SENO GENERALIZADO
Jv1-~d~=v1-,.,+ Jv~~:. =
o o
de donde
f il -
V 1 - 1')2 dri
1
=-
2
.V~-
1 - y1 y + -
2
1 f
, '
dl)
V1 - ri2
.
o o
111
Por consiguiente,
(26)
1t 1t
Si y aumenta de - 1 a 1, entonces e aumenta de - l a
2 ; para
1'C
calcular "2 obtenemos la frmula:
l
f Vi - "1 dTJ 1t
--~ 1,5708. (27)
2
o
7t 1t
Recprocamente, si e aumenta de -
2 a
2, entonces y = sen t
aumenta de - 1 a 1. De esta forma. Ja funcin y = sen e pucd_c
cos t = sen ( ~ - t)
7. Consideremos ahora el seno hiperblico sh 1; al definirlo
geomt ricamente (punto 2), la variable t 'ha sido interpretada como
el rea duplicada del sector OCA (fig. 4). Tenemos
S = rea OCA = rea OCAK - rea OAK.
o o
f
y y
de donde
1
--- y
J
f
l - -2 1
rea OC A K = V 1 + 11 2 dri = -V
2
1+ y y +-
2
dT)
/1+112
.
o o
o
y
l = 2S = fVl d: T] 2 .
(28)
fV f~ =
, 1
Vl dri+ . -
,=
f o
T)2
= ln(y +Vi+ y 2). (30)
1 - 10
114
e'+e-'
y puesto que > O y ch t es tambin positivo (recordemos
2
que x = ch 1 es la abscisa del punto de la rama de la derecha
de la hiprbola (fig. 4)). resulta
e'+ e-'
cht = -- - (32)
2
Esta frmula define el coseno hiperblico como la semisuma de
las unciones exponenciales e' y e-. En el captulo 5 veremos que
las funciones circulares tambin se expresan a travs de las funciones
exponenciales pero con exponentes imaginarios.
9. Pasemos al seno lemnisctico sl l donde la variable t se
considera como la longitud del arco de la lemniscata. Para expresar
t. ..en fo rma de una integral emplearemos las coordenadas polares.
La diferencial de la longitud de arco en las coordenadas polares
tiene la forma . siguiente (fig. 11):
por consiguiente,
de V 1-r
4
= -r -4 + 1 dr = dr
Vt-r4
,
de donde
dr
t -
- f V1 _,4. (33)
o
(J) )
Si r aumenta de - 1 a + l, la integral (33) crece de
2 2'
TIG. JI
~=
2
Ii/t -
l
dr
r4
~ 1,3111. (34)
o
(1) )
Recprocamente, si t aumenta de - - a - entonces r crece
2 2'
de - 1 a l. De esta forma, la funcin y = sl t se puede definir
inversa de J' / d~
1 - r2
y definida en el intervalo (- ~2 .!:).donde
2
o
f
1
~ = V dt)
2
o
l - ,,2 : y = sh t (el seno hiperblico) es la funcin inversa
de fVi+
1
dT]
T)l
y definida en todo el eje numrico; y = si t (el seno
o 1
" t1
Jemnrsc "co} es (
a "1unc1on
. . .mversa df
e d1l e rm"d a en e1
y dfi
o
V' -TJ4
l
2
("
miz --)2 = mgl(cos 0 -
-- di
cos 90 ),
de donde
l(T d0
dr = - V2i. Vcos e - cos
(aqu se ha tomado el signo menos porque el ngulo e primero
decrece cuando t aumenta) o, integrando,
i (T I
r = - V v
- f
20
~
d0
cos e - cos 0 0
de
= V28- Vcose - cos
9
=-
l V'g.J V d0
e 0
e sen 2 - - scn 2 -
' 2 2
118
0 00
sen -2 = sen - 2 n
'l t
Designando la constante
VH Vo -
Y
d~
r2) ( t - sen2 ; r2)
de donde
119
y, por consiguiente,
d11
f V1 + mr2 + m14
o
por A. Para n =O esta integral diverge y A = oo; para n '#O,
converge y A es un nmero positivo finito. Si y aumenta continua-
mente de - oo a + oo, la integral (35) crece continuamente desde
-A hasta +A; por eso, la funcin inversa y = s (t} queda definida
en este caso en el intervalo ( -A, +A) y crece continuamente
en l de - oo a + oo. El ejemplo mas sencillo de este caso es el
seno hiperblico (para l A = oo ).
120
11. Entre los ceros de P (r) hay reales (dos o cuatro). Esto
significa que .m 2 - 4n > O y bien n <O, bien n > O y m < O. Sea et
el cero positivo menor. Entonces - a es el cero negativo de valor
absoluto menor y, por consiguiente, el polinomio P (11) no tiene
ceros en el intervalo ( - a, a). Por eso, P ('1) no cambia de signo
en dicho intervalo, o sea, permanece positivo ya que P (0) = l > O
(observemos que P (ri) se hace negativo cuando l1 pasa, al crecer,
por el valor a). La integral (35) es
una funcin definida
y estricta mente creciente en el intervalo ( - a, a). Designemos
..
dri
IV +
o
1 mri
2
+ nri'
et. = 1 y
w
2 =o
1
f f
vt-7 = ri V
tlT) 1
1
2(
dn
1- 112) .
o (1 -11) 1 - --
2
121
(!)
l =
f 1
JI Vi
1
dy
2 ( 1 z) = JI
1
K
( l )
/ .
(! - }' ) 1 - -
O
2 .V
As pues, si definimos las funciones sen 1, sh t, si t y sn (r, k)
como funciones inversas de integrales, slo sh t quedar definido
en todo el eje numrico. En cuanto a sen 1, si 1 y sn (r, k} quedarn
definidas tan slo en los siguientes intervalos finitos:
lt 7t (),) ()
--~ri:;; - ; - -2 ~
..... r "'2'
~ - - K s:.~ r s:.~ K.
2 2
En el captulo siguiente mostraremos cmo. sin abandonar
la concepcin aceptada de basur la expusidn en lct i11ve1sin
de integrales, se puede extender estas definiciones no slo para
valores reales cualesquiera sino incluso para valore.~ imaginarios
de r. Es verdad que en este camino no descubriremos inmediata
mente las frmulas de reduccin ni Ja periodicidad de sen t y de
si 1 de las que se trat en el primer capitulo. Pero el teorema
de adici n, que ser obtenido en et cuarto captulo, permi1ir
establecer fcilmente estos y muchos otros resullados que rebasan
ampliamente los mrgenes de todo cuanto se puede descubrir
limitndose a las definiciones geomtrcas de los senos.
CAPITULO 111
INTEGRACION
EN EL PLANO COMPLEJO
y
y
o
JI
flG. t3 FIC."
a la funcin
/l + mz2 + nz4
~
fV1
dz
(40)
+ mz2 + nz4 .
L
f~ V +
o
1
dx
mx 2 + nx4 .
Por analoga, tambin en el caso general se
,,,,.,,,, --.. . . . . . . . .
I / '\
\
1 ""'
,,. .... w \\
1 / 1
82 1 / 1
\
ne. u ne. 16
- of ---;:===d=z===-
V1 + m:z: + nz = F(w).
t - (42)
1 4
126
/{
FIG. 11
correspondiente
(46')
dz
f v' 1 + mz 2
+ nz4 '
L'
entonces
- w
dz =- r'
.of V1 + mz 2
4- nz4
129
Esto significa que la funcin s (t) inversa tle la integral (42) e.~
impar.
15. En el punto a nterior se han comparado tos valores de la
integral a lo largo de dos curvas L y L', donde L ' se obtena
de L por erecto de un giro de ngulo n alrededor del origen
de coordenadas. Ahora compararemos los valores de las integrales
a lo largo de las curvas L y L", donde L" se obtene de L por
y
"'
iw 1Zn-t
fil(;. 18
es :
Vi+ mz 2 + nz4
. 1
,======- (Zk - zk _i).
V 1 + mz: + nz:
(48)
~=-1
(49)
Por otra parte, este mismo lmite debe ser igua1 a la integral
dz
L.
f i/t + mz2 + nz 4 '
o sea, a uno de los valores de
ifw dz
o
i/t + mz 2
+ nz4
(porque la suma integral (49) se ha formado precisamente para
la curva L" y para la funcin V l ) De lo dicho se
1 + mz 2 + nz4
deduce que a todo valor
iw
dz
f i/t + mz 2
+ nz4
o
le corresponde un valor igual
"' dz
i fV
o
l - mz1 + nz4 '
y viceversa.
En otras palabras, si
iw
"'
dz
f vi - mzdz = t,
f Vt + mz 2 + nz4
= t Y
2
+ nz4
o o
9
132
"'
t -
f
- o Vt=7'
dz
.
f Vl
w
+
dz
mz 2 + nz'
s (rJ f Vl - d~
w
mz 2 + nz 4
s (t)
o o
f Vi -
w
dz
z2
sen e f /1
w
dz
+ z1
sh t
o o
f VI
"'
dz
+ rJ
sh 1 f /1
w
dz
-z2
sen 1
o o
f
w
dz
VI - z
sl 1 f Vi -
w
clz
z'
si t
o o
f.. dz
V(I - z2)(1 - k1z2)
sn (1, k) f Vo
"'
dz
+ z2)( 1 + kl z2)
sn (1 , k)
o o
sucesivamente, deducimos:
sen (-t) =sen [ (it)] = i sh (it) = i i sen t = -sen t.
17. Los resultados de los puntos 14 y 15 se pueden obtener
muy fcilmente si se da por demostrado que tambin es aplicable
a integrales de funciones de variable compleja la conocida regla
de sustitucin de la variable bajo el signo de la integral. En los
cursos de la teoria de funciones de variable compleja se demuestra
que esta regla efectivamente se puede aplicar en condiciones
bastante amplias que se cumplen para Jos ejemplos considerados
ms abajo.
...
Realicemos primero en Ja integral
fV1
o
--;:== d=z===- la sust-
+ mz 2 + nz4
lucin : z = - ~. Obtenemos
...
d:;:
1-
f
- o V1 + mz 2
+ nz4
.. dz ifM ;t1r,
( = Jv1+ mz 2 + nz 4 =- \!1 - mr, 2 + 11(,4
O V
f v(I
o
dz
+ z2)(1 + kZzZ)
(O<k<I)
;
variable: z =
v -~2. Despus de simplifi car, obtenemos
"' dz
t =
f v(I
o
- - - - - -- - - ,
+ z2.) ( 1 + k2z2)
de donde
o
sn 2 (l , k ')
w = sn* (t. k) = --- - _ .
VJ-=- ~n 2
(t, k ')
METODO DE EULER
OE DEMOSTRACIN DEL TEOREMA
DE ADICION
V ~ = cos~= /2
I - sen 2
4 4
Cada una de las frmulas (56) expresa algebraicamente el valor
-
2 '
etc.
fVl
dy
y= + my2 + ny4.
o
Si ex y j3 varan de modo que su suma y permanece constante:
a. + j3 = y = const, (58)
entonces
<i(a. + Pl =o.
o sea,
o
d Q ,/y
f /t + my' + J- + f
o
dy
/1 + my' + ny
)
=O,
du dv
---:-::==== + =O. (59)
il 1 + mu + 1111
2 4
V1 + mv 2
+ 11v4
Esta es una ecuacin diferencial que vincula los valores u = s (oc)
y t'= s (~) dada la condicin (58). Demostraremos ms abajo que
139
perfecto, encontramos:
[(A v2 + l)u + Bv) 2 - ((C 2 - v2 )(Av2 + 1) + B2 v2 ) =O.
de donde
u + Bv + Auv2 = {C2 + (8 2 + AC2 - l) 112 - Av4 (6l')
+ i/ c 2 + (82 + AC 2 - 1)u
2
- Au4 dv =O
o
du
Vc--======================
+ (82 + AC
2
l)u2 - Au
2
-
4 +
dv
+ . =o. (59')
VC 2
+ (8 + AC 2 -
2
1) 114 - Av4
Puesto que la ecuacin diferencial (59') se satisface para todos los
valores u y v vinculados por la relacin algebraica (61), resulta
que (61) es una integral algebraica de (59').
Escojamos ahora A, B y C de modo que (59') sea idntica
a la ecuacin (59) del punto anterior.
Para ello bastar poner
B2 +AC2 -l=mC2 y A:::: -nC2 .
Expresemos A y B a travs de m, n t C; entonces la ecuacin
(59') tomar (despus de multiplicar todos sus trminos por C)
la forma:
du dv
---;;===== + =o . (59)
V1 + mu 2 + nu Vl + mv 2
+ nv4
141
y su integra l (611
u2 + v2 - nC 2 u1 v2 + 2V1 + mc2 + nC4 uv - c 2 =o, (63)
donde C es una constante arbitraria.
Deseando representar (63) en la forma (60) (F (u, v) = C), resol-
vamos la ecuacin (63) respecto a C. Obtenemos sucesivamente
[u2 + u2 - (nu 2 u2 + 1) C 1] 2
= 4 (l + mC2 + nc4) u 2 v2 ,
(J - llu2v2)2 C4 - 2 [(! + nu2v2)(u2 + v2 ) +
+ 2mu 2 v 2 ] C
2
+ (u2 - v2 ) 2 =
de donde, finalmente,
u V1 + m v
- - -- - - - - "
2
+ nv4 + v V1 + mu 2 + nu4
------ = c. (64)
1 - nu 2 v 2
La funcin
) _ uVt + mu
F (u, v -
2
+ nv4 + v Vt + mu 2
+ nu 4
2 2
1- tlU V
dF(u, v) = <l>(u, v)
(V ~
1 + mu 2 + nu 4
+
V1 + mv
~
1
+ nv4
) ,
142
donde <I> (u, 11) es una funci n algebraica ~ O; por eso, la ecuacin
d iferencial (59) tra e tras de si, como corolario,
dF(u, v) = O o F(u, vJ:=const.
De modo que hemos demostrado la existencia de una integral
algebraica de la ecuacin (59) que cumple las propiedades indicadas
en el punto 19. De aqu, como se ha explicado ya en el punto 19,
se desprende el teorema algebraico de. adicin para s (t) en Ja forma:
s (:x + 13) = F [s (ex), s (13)),
o sea,
s(ex+ J3) +
V
s (et) / 1 + ms2 (13) + ns" (J3) + s (p) 1 + ms 2 (a)+ ns4 (a.)
=
1 - ns 2 ( tt) s 2 (J3)
s2 (:x) - sl (J3)
(65)
(651V)
Para abreviar, escribimos sn (11 + P) en vez de sn (a + p, k), sn ot
en lugar de sn (a, k), etc.
Es importante sealar que a y f3 son aqu nmeros complejos
cualesquiera (es verdad que en las frmulas (65'") y (6srv) hay que
imponer a ot y p condiciones que excluyan la anulacin de los
denominadores de las fracciones).
CAPITULO V
ESTUDIO ULTERIOR
DE LOS VALORES COMPLEJOS
1t
En efecto, poniendo o:= - y 13 = -1 en (67), obtenemos
2
1t
Sustituyendo aqu t por - - t, encontraremos:
2
De modo que las frmulas (5) del punto 1 son vlidas (y. adems,
para cuatesquiera valores de t, tanto reales como imaginarios)
si se define sen t como funcin inversa de la integral r =
...
= f-Vi -dz
z2
y cos t como V1 - sen 2 t (con la condicin de que
o
cos O= 1). Puesto que dada esta definici n, sen t es una funcin
impar (frmulas (5 J)) y cos r es una funcin par (frmtilas (72)),
tambin continan siendo vlidas las f rmulas (4) del punto l.
Pero de las frmulas (4) y (5), segn se ha sealado en el punto 1,
se deducen todas las frmulas de reduccin del punto I y, en
particular: la periodicidad de las funciones circulares. Por eso,
en Jo sucesivo se podrn emplear las frmulas del punto 1 pa.ra
10- 10
146
fR
y
cost = - - - y
2
sen t = --2-i- (80)
De aqu i ~--cl2 1
(83')
.si t -- + c1i(
Ob~ervemos que cambiando t por 1'1. obtenemos de (83) mediante (54):
1 - sl 2 (ir) l + sl 2 r
el (ir) = = -- (85)
1 + sl 2 (ir) l - sl 2 r el t
Adems, la sustitucin de t (complejo arbitrario) en (83) por
- t da mediante (51):
1 - sl 2 (-1) l ..:.. sl 2 t
cl(-r)= - - - =cit. (86)
1 +sl 2 (-t) 1 + s12 t
De modo que el t es una funcin par. Mediante (83) las expresiones
(65"') toman la forma:
si (XCI j3(1 + sl2 f3) +si 13 el <X (l + sl 2 ex)
si(~ + 13) = =
1 + sl 2 cx sl 2 P
sl 2 a -sl 2 P
- slcxdf3(1 +sl 2 j3)-slPcla(I +sl 2 o:)' (S?)
149
c1(;-t)=slt. (82')
el o: d P(1 + si 2 p) - si et si p (1 + el 2 et)
el (<X + ~) = .=
l + cl 2 a sl 2 p
c1i 13 - s12 o:
(88)
- el cr. el 13 (1 + sli :'.l) + si o: si p (1 + cl 2 p)
el ( : + t) = -si t, si ( : + t) = el t;
el (w - t) = -el t , si (ro - r) =si t;
el (w + 1) = -el c. + t} = - sir:
si ((J)
el (2c.o + t) = el t, si (2w + t) =si t.
De aqll se deduce, en pa rticular, que las funciones lemnisctcas
son peridicas de perodo 2ro. Ahora se puede afirmar que para
los valores reales de t las funciones lemniscticas, definidas mediante
1
. . . de l a .integra1 t =
la 1nvers1on f dri , co1. nc1"d en en to d o e1
111 - l14
V
o
eje numenco con las funciones lemniscticas definidas de forma
geomtrica en el punto 5.
La relacin (84) muestra que para t real los valores de las
funciones lemniscticas
x=clt e y=slt
se pueden considerar como coordenadas del punto A que se encuentra
en la siguiente curva de cuarto grado (vase la fig. 19):
(84')
FIG. 19
)' f~ l - 11 2
rea OCAK =
f
o
x dy = /
o
i 1 - r"
dr,
y Ir
rea OCA'K =
f l;dri = v +l
1
r Z
- r 4 t111.
o o
de donde
1
= 2 [rea OCAK +rea OCA'K).
152
obtenemos
. si cr ( 1 - sl 2 t) + i si t el cr ( 1 + s1 2 o)
sl (cr + rt) = -------------.. 2 2
-...-...... .
1 - si cr sl t
,= I
"'
o
dz
se convierte en
w
1 = f.v,d~ z2 ;
o
por eso, la funcin .i.nversa 11 = sn (t , k) se transforma en w =sen t .
.La~ frmulas (91) dan:
cn (t, O).= cos t y dn (t , 0) = l.
Empleando (91), la frmula (55') se puede representar as:
sn (r. k')
sn (it, k) = i , (93)
en (1, k')
V
donde k' = l - k 2 es el mdulo complementario (respecto a k).
Las frmulas (91) permiten ahora expresar en (ir, k) y dn (ir, k}
a travs de las f~ncions correspondientes de mdulo complemen-
tario:
------ ...... sn 2 (t k') J
cn(ir.k)=i/l-sn2 (i1,k) = 1+ ' = ; (94)
: en 2 (t , k') en (r, k')
154
sn:: (1 k')
dn(it, k)=Vl - k 2 sn 2 (ir. k}=
2
Jll--='Sn (t. k') + (l
V 1 +k2-2- ' - =
en (r. k')
- k' 2 ) sn 2 (1 , k') dn (1. k')
= -= (95)
en (t. k') en (1. k')
Cambiando en las frmula s (93). (94) y (95) r por ir (y, en
consecuencia, ir por -1), obtenemos :
. sn (ir. k')
sn(f. kl = - i .
en (ir. /.;')
1 dn(ir. k ')
cn(I, k) = y dn(t, k) = .
en (it. /.:') en (ir, k')
Observando que para k = 1 el mdulo complementario k' se
convierte en cero, obtenemos mediante las frmulas (52) y (71):
. sn (it , O) . sen (it) sh 1
sn (1 , l) = -1 = -1 - -- = - -;
en (it, O) cos (ir) ch r
1 1 1
cn (t, l) = = - - - = --;
cn(ir, 0) cos(it) chr
dn (ir, 0) l l
dn(r, 1) = . = - - = - -.
en (ir, O) cos (it) ch t
Por consiguiente, para k = 1 las funciones de Jacobi se trans-
forman en cocientes de funciones hiperblicas. Las grficas corres-
pondientes (para valores reales de r) aparecen en Ja ig. 20.
De esta forma, cuando el mdulo k varia continuamente desde O
hasta 1, las funci ones de Jacobi so (1, k), en (t, k) y dn (1, k) forman
como un pue'nte entre las funciones circulares sen t y cos t (a las
que se agrega tambin Ja constante idntica 1) y las funcio nes
sh 1 1 1
hiperblicas - -, - - y - -.
ch t ch r ch 1
27. Empleando las funciones en (e, k) y dn (r, k), el teorema de
adicin (651V) para sn (1, k) toma Ja forma :
so (o: + ~. k) =
sn (ex, k) en (p, k) dn (13, k) + sn (p, k) en (et, k) dn (a, k)
2 2
1 - k sn (o:, k) sn (J3, k) 2 =
sn 2 (ex, k) - sn 2 (13, k)
(96)
sn ('.X. k) en (13. k) dn (f3, k) - sn (13. k) en (a, k) dn (a, k)
155
y
----------- -~ - ---------
sh t
sn ( l, 1)-Ci\"f
o
flG. 10
Obtenemos :
en (e:t + !}, k) = V1 - sn 2 ( + 13. k) =
i/(1 - k 2
sn 1 tt sn 2 (3) 2 - (sn ex en p dn p + sn p en cx dn cx)2
= l - k 2 sn 1 a sn 2 p
en a en p - sn ex sn P dn ex dn 13
(97)
1 - k 2 sn 1 a sn 2 13
dn (a + P. k),.. V- -- - - --
1 - k sn (ex + p, k) =
2 2
donde k' =V 1 -
k 1 . La segunda de las expresio nes (96) permite
representar este mismo resultado en otra forma :
:.n (cr + it, k) =
sn 2 (cr, k) cn 2 (t, k') + sn 2 (t, k')
= --- - -- - - - - - - - - - - - - - - (99')
sn (cr. k) dn (t, k') - sn(t, k')cn(t, k')cn(cr, k)dn(cr. k)
Del mismo modo exactamente encontramos, empleando Ja
frmula (97), que
cn (cr + ir.. k) =
cn l~. k)cn(t, k')- isn(cr. k')sn(t, k')dn(cr. k) dn (t. k')
= (100)
cn 2 (t, k') + k 1 sn 2 (o, k) sn 2 (r, k')
28. Pongamos
(102)
sn (K(k), k] = ! ; ( 103)
por eso.
en [K (k), k] = v'l=Sn 2 [K(k),kj =O
y
dn [K (k), k] = /1 - k 2 ~;;i- [K (k), k] =VI - k = k'. 2
(104}
sn K en r dn t - sn ten K dn K
sn(K-t)= =
l - k 2 sn 2 K sn 2 t
en t dn r en r
=1- 2
k sn t
= - -;
2
dn r
(105)
en K en t + sn K sn t dn K dn t
en(K - r) = =
l - k2 sn2 K sn2 t
k' sn t dn t sn r
= 1- 2
k sn 2
1
= k' - ;
dn t
(106)
dn K do r + k2 sn K sn t en K en e
dn(K-t ) = =
1 - k2 sn 2 K sn 2 t
k' dn t k'
=--~-=--
2 2
( 107)
! - k sn e dnt
158
=
1
fVo - n2H1 - ~
k2ri2>
.
lcomprese con el punto 11 ). La primera
o
159
o)
y
b)
y
dn(f.t)
e)
f1C. l t
caso considerado
1 1
s {t)=-:-sen(AI) o s(t)=-:-sh(AI). (111)
t = -
1
A.
f /
~ ...
d~
(1 _ ~2) (l _ k 1~2)
, donde. O < k = -
A.
< 1.
o
donde
O<k = . < l.
~l
Poniendo
o
t/( I - ~2)(1 - k2~2)
1 cn 2 ( J.. 2 + 2 t. k) /( sn nh..2 + 2 t, k)
w = .~(1) = -A
1 - dn2 <VA. 2 + 2-;:;} =T dn <VA..2 + 2 r, k)
163
k' = Vl=k2 = ). .
ih.2+2
podemos escribir el ltimo resultado en la forma:
1 sn(VA. 2 + 2 t, k)
w=s(l)= (113)
VJ..2 + 2 dn<Vt..l + 2 t, k)
Para A. = = 1 la integral
coincide con
"'
fVi -z.
dz
o
por eso, -~ (r) =si e y obtenemos:
si = _ l_ sn
1
lf
(Vir,
dn(Vt,
*)0) (113')
Para el r encontramos:
1 - st 2 r
el t =
1 + sl 2 t
A.z
la sustitucin de variable ~ = (comprese con los
/ l + 1'.2z2
clculos del punto 17, donde A. = J y = k)~ obtendremos:
ne aqu
A.w
----;:===- = sn (A.t, k)
/ t
2 2
+ A. w
o
l sn (A.t, k) 1 sn (A.t, k)
w = s (e) =- --::=====- = --A. -
A. / l - sn (A.r, k)
--
en (Al, k)
2
( 114)
~
4
+ m~ 2 + 11 = ! ~ - s1 )(C, - s2HC, - C,3l <~ - (,4)
obtendremos la siguiente descomposicin en fact ores:
1 + nrz 2 + nz4 =
= [l +(a + ij3)zJ(I + (a - i~}z)(l - (:x + ij3)z)[I - (a - i~)z] =
= (1 + 2az + (a + J3 ) z ) [ l - 2:x: + (a + J3 ) z2];
2 2 2 2 2
e am probemos . 1 . ..
l r, - 1
med iante a sust1tuc1on : =
7.- - - - que se -;i:
Vn ~+I
reduce a uno de los casos considerados anteriormente. En efecto,
realizando la sustitucin, obtendremos
,l."'
. ...w
v~
t=
f
), = V ~~ + a
4 ----
V11 - ~
> :::::
V- V;~
4 ~
--
a
J/n+:x
> o.
166
Pongamos
entonces
.!'
f .\' tr
y de aqu finalmente
l snlllt +A , k)- :>..cn(J}I + A, k)
w = s(t) = <rr .
V11 sn (131 +A, k) +A. en (pr + A, k)
CEROS Y POLOS.
.
PERlODlCIDAD SIMPLE
. Y DOBLE.
.
NOCION DE FUNClON ELIPTTCA
el r ==si ( ; - 1)
De ella se deduce que el t tiende a co si t tiende hacia un punto
a cuando, y slo cuando, si ( ~- t) tiende hacia co si -
(1)
2
- t
)
tiende hacia - - a. De aqu, segn Jo expuesto anteriormente.
2
fil w ro
2- - a= (2p - 1)2' - (2q - 1) -
es decir,
w W
a = 2(-p + 1) - + (2( -q + 1) - 1] - .
2 2
Cambiando aqu - p + 1 por p' y - q + 1 por q', obtenemos
q ue todos los p olos de el t se representan en Ja forma
CJli
t = p'w + (2q' - 1) . (119)
2
donde p' y q' son nmeros enteros cualesquiera.
32. Oc un modo anlogo se determinan los polos de las
funciones de Jacobi. Comencemos por sn (t, k) (O < k < 1). El
denominador de la frmula (99) tiene la forma
cn 2 (r, k') + k2 sn 2 (cr, k) sn 2 ("r, k'). ( 120)
Puesto que para a y t reales tambien son reales los valores
de las funci o nes de Jacobi, la condcin de anulacin de esta suma
equivale a dos condiciones:
'
en (t. k') =O y sn (o, k) sn (t, k') = O.
170
Pero si cn(r, J.:')= O. cmonces sn(t, k') = J (vease (91}). Por e8o,
obtenemos qut: ( 120) se anula cuando, y slo cuando, simultnea-
mente
c..:n (t. l<'J =O y sn (<T. k) = O. ( 121)
Segn el punto 29, de aqu se deduce que
a = 2mK (k) y t = (2n - 1) K (k'),
es decir,
t = 2mK (k) + .i (2n - 1) K (k').
sen cr ch T = O, } {124)
sh t cos o = O.
= -e' +
i-e-), deducimos que sen cr =O. Luego, cr = mn, donde
m =O, 1, 2, ... , y por consiguiente, coso= (- I)"' .,,::O.
La segunda de las ecuaciones (124) da : sh t =O, de donde t =O
{recordemos la representacin geomtrica de sh (punto 2); al
mismo rcsuhado conduce la frmula (31 )). De este modo
r = cr + iT = mn, m = O. L 2, . .. (125)
F-~ta expresin rnmprende todos los cero~ de seor. Va1r'Js que
entre ellos no hay puntos imaginarios : al extender la definicin
del seno circu lar al plano complejo no aparecen i::eros nu<"vos.
Pro ponemos al lector, a ttulo de ejercicio, comprobar m1:diantc
la segunda de las frmulas (75) que todos los ceros de cos t quedan
comprendidos en l<t expresin :
1C
t = cr+it=(2m - l )-, 111 = 0. 1. 2, ... (126)
2
Desde luego. por esta misma va se pueden hallar los ceros de las
funciones hipc:rblicas. Pero es ms sencillo partir de las relaciones :
sen (it) = i sh t y cos (il) =ch t.
De la primera se deduce que la ecuacin sh 1 = O equivale a la
ecuacin sen (i1} =O. Por eso. it = nm, de donde
1 = (-m)rci = mri.
donde 11 es de nuevo un nmero emcro cualquiera. Del mismo
modo exactamente obtenemos que todos los ceros de ch t estn
comprendidos en la frmula :
'!fi
1=(211-l)--.
2
donde 11 es un numero entero cualquiern .
172
el t = si (~ - e).
De ella se deduce que la ecuacin el 1 = O equivale a la ecuacin
donde m' y n' son nmeros enteros cualesq uiera. La fr mula (129)
comprende lodos los ceros de el t .
35. Para hallar los ceros de sn (t , k) es cmoda la frmula (99').
De ella se ded uce que para Ja anulaci!l de sn (a + it. k) es
necesaria la condicin: sn 2 (o. k) cn 2 (C1, k') + sn 2 (t , k') =O, o sea,
dos ecuaciones :
sn (o, k en (t, k' )) =O.
sn {t. k') = O.
Pero de la lt ima c1.uacin. por medio de (91 J. se deduce que
=
en 't, k ') 1 #:O: po r eso. las condicio nes necesari<1s de an ulacin
173
o
sh 1 = - i sen (i1) y ch 1 == cos (it).
tambin es un periodo de si 1.
Demostremos ahora que todo periodo A de la funcin si 1
se puede representar en Ja forma ( 138) para determinados valores
enteros de m y 11. Por supuesto, esto es evidente para los periodos
que hemos encontrado anteriormente :
2ro= 2 1 ur+ O-( (w + CJJi), lm=l,n=O} ;
2wl = 2 - l c1> + 2 (w + rni). (m =- 1, 11 = 2):
11) + wi == 2 O <l + 1 (l + >i), (m == O. 11 = 1}.
Pero nuestra propos1c1on tiene un carcter general : de ella se
deducir que si t no tiene ms periodos que los comprendido::.
en la frmula (138).
Supongamos, pues. que tenemos la identidad
si (1 + A) = si 1. (139)
12-10
178
clt=sl(~ -r}
el lector deducir cilmente de lo demostrado que el t es tambin
una funcin doblemente peridica con los mismos perodos
primitivos.
39. Un anlisis anlogo se puede realizar para las funciones
de Jacobi. Consideremos, por ejemplo, sn (e, k). En el punto 28
qued demostrado que
sn(t+2K)= -snr.
de donde se deduce que
so (e+ 4K) = sn t,
o sea, que 4K es un perodo (real} de s o t. Mostremos que sn t
tiene tambin periodos imaginarios. De la frmula (1J1) que
determina lodos los ceros de sn(!, k), vemos que t = 2iK' tambin
es un cero, o sea,
Sil (2iK'. k) =O. ( 140)
1 do (2K'. k')
cn(2iK' k)
'
= -en (2K
-- ', -k'I'. . dn(2iK'. k) = - ....- - .
en (2K ', J.:')
(141)
179
= I ~ I' ~
K
Jo v'o _ ,2)(1 - kic2)
por K' =
o
v'o - t2)(1 - k'212).
12
l80
periodo. encontraremos:
sn (1 + 2rK) =so t.
Esta relaci n no puede cumpl irse idnticamente si r"" 1 ya que
sn (r + 2K) = - sn l; por eso. r = O, de do nde
A .= 4pK + 2niK'
que es Jo que se queria demostrar.
T 1
r
1
1 1
1 1
1
I 1 11t4 11 1
+---r--:
1 1 1
211. o ,2~
411.
1
1
16 11'
1
Jo
t'S
1 1 1
1 1 1
1 1 1
1 1 1
..IC. 22
los puntos r y t + 2prt, todos los valores que loma el seno circular
en una de las franjas se repiten en otra cualquiera. Por eso, digamos,
para hallar las races de la ecuacin
sen t =A, (146}
donde A es un nmero complejo fijo: A =<X + if3 (:x y ~ son
nmeros reales), hasta hallar todas sus races pertenecientes a una
de las franjas. Las dems races se obtendrn de las encontradas
mediante desplazamientos: t' = t + 2pn (p es un entero); ocupan
en cada una de las franjas la misma posicin que tienen las races
encontradas en Ja franja inicial.
Mostremos que cualquiera que sea A = o:+ i~ la ecuacin (146}
tiene en cada franja de periodos dos races, y slo dos (que pueden
confundirse en un punto, caso de raiz mltiple). Es necesario,
entonces, convenir en asignar Ja recta, comn a dos franjas
vecinas, a una de estas franjas. A saber, asignaremos toda recta
de este tipo a la franja que se encuentra a su derecha de modo
que los puntos de la franja correspondiente sern caracterizados
por las desigualdades:
21tp ~ O' < 21t (p + 1) ( - 00 < t < + ('f.)).
Por ejemplo, los puntos t = O y t = i pertenecen a la franja
O ~ o < 2n, mientras que los puntos 2rt y 2n + i, a la franja
siguiente a la derecha 2n ~ cr < 4rt. Representando sen t de acuerdo
con la primera de las frmulas (75), escribiremos la ecuacin (146)
en la forma:
sen cr ch t + i cos e; sh t = a. + i~t (146')
Queremos demostrar que existen slo dos races t = cr + i"?: que
satisfacen la condicin O~ cr < 2n. Es obvio que la ecuacin (146')
equivale al siguiente sistema:
sen o . ch t' = a, cos ('f sh t = ~ (146")
Pongamos sen cr = x y sh t =y; entonces estas ecuaciones tomarn
la forma: x /1 + y 2 = a. y ~y = f3
x2 + x2y2 = cx2 e y2 - x2y2 = 132. (147)
Buscamos races reales de (146"); por eso, O~ x2 ~ l y O~ y2.
Estas condiciones se satisfacen slo para los valores siguientes :
y2 =
2 + 132 -2 i + 0\
y x2 =
r:/ + ~2 + i
2
- 0i ' (148)
182
donde
t.= (o: 2 + p2 - 1) 2 + 413 2 = (cr 2 + 1}2 + 1)2 - 4a 2 (149)
y yA significa el valor aritmtico de la raz cuadrada.
De (J49) se ve inmediatamente que los valores encontrados no
son negativos. Para comprobar que x 2 ~ 1, consideremos la
diferencia 1 - x 2 :
/i1 - (cx2 +13-1 )
J- X
1
= 2
.
De ( 149) se deduce que tampoco es negativa. La ecuacin
Cl'.2 + pz _ l + {L\
y2 = sh2 t = - -- -----
2
donde el signo de sen cr1 coincide con el signo de ex, O~ e>; < 2n:,
j = 1, 2, mientras que t se determina de la condicin
cx2 + p2 - 1 + ~
sh t =
V 2
No daremos las frmulas explicitas para cr y t aunque no es
.
difcil hacerlo.
Observemos que para a > O los puntos t 1 y t 2 sern simtricos
respecto a
JI: o . . ' .
y para a< . seran s1metncos respecto a
31t
.
2 2
Un anlisis semejante podra realizarse tambin para el coseno
circular (10 ms sencillo es valerse de que cos t = sen (; - t)}
Sealemos brevemente cmo cambiarn los resultados si en
iugar del seno circular se considera el seno hiperblico. Aqu
todos los periodos, a excepcin del cero, son imaginarios puros:
O, 2ni, 4ni. . ..
Por eso, apareceran como franjas de perodos las franjas paralelas
al eje real (fig. 23). De la relacin
sen (it) = i sh t
se deduce que la ecuacin
sh t = A. t = cr + it, O< t ~ 2Jt,
equivale a la ecuacin
sen (it) =sen ( - t + icr) = sen [(21t - t) + icr] = i A,
donde O ~ cr' = 2n - t < 2n, que hemos estudiado ms arriba.
Empleando el resultado encontrado para sen e, obtendremos que
la ecuacin sh t = A cualquiera que sea el complejo A tiene dos
races, y slo doi;, en cada una de las franjas de perodos del seno
184
t l+4 1f1
--------- -----,.---- -
4Jt l 1
)
1
- - - - - - - - 2!'- ----L-----
1
,_,
o
-------- -----------
- 2it i
J'JC. 23
,/
--+---+- _____ __ ,..... ____ __ 1' t /# ,' /1
--11-----+--- *4 -----
/---+----1'--
I I 1 I I I
/ / I / / /
I I I /
1
/ / ,,. !.<-4ui +(w+1w) 1 / ,
I / 11 I / I I
--;"- --- -1'---7;4- - --,11--- - ; -- - -~ ----jlr-
/
1
/
/ r---
,
-/'~---4 //
/1 / /
I
I
/
, o ,
I
--- ----------
/
/4w
,.
,
/
1 '-2w
,
/
/
/
I
/
/ 2w
/ D
IV
E /C
11111
111 1
O /f
--+ - ---JI-- -- -- -- -- ~ ---- 11 ---
I
1
/
I
1
1
IA I
" ,1 /
A 8 D E
wi 1---~-,,-
...1 ; ,. ._ ______ 1
,.....~~-- -+- ~-;7
~
2 / ~
/ ,/
,' e ,/
o 2w
FIG. 2S
:~ ~ ~2:: = ~. } ( 152')
.r /1- x4
-;====P.
/1 - x2y2
Buscamos exclusivamente soluciones reales de este sistema que
cumplen las condiciones 1x1 ~ 1, O~ y< l (ya que si -r ;:?!: O para
o~ t < (t)).
Elevando al cuadrado miembro por miembro cada una de las
ecuaciones (152') y sumndolas primero y dividindolas despus.
obtendremos el siguiente sistema:
x2 + Y2 =(~2 + ~2)(! - x 2y2),
{Xzy2 (1 - x4} - pz x2 (1 - y)= O. (153)
Observemos que se t ransforma en s mismo si a la vez cambiamos
de lugares x e y y a y p. Eliminando x 2 de ( 153), encontraremos
pi y _ ((a2 + 132)2 _ 1] y6 _ 2 (2a2 + pz) Y4 +
+ [(al+ p2)2 _ l] yz + ~i = o. (154)
187
(159)
2
/v 2 + 4- v
O~x = ~ l. ( 160)
2
188
",. ~ v ~ V 4- " ,
dt
fVi -
y
o~ t1 = r4
()
si cr 1
, yvr> +4-v
= si cr 1 =
2
,
2
cr 1 ~O, cr ~O, cr 1 + cr'1 = w, hay que escoger slo uno; sea ste
el valor cr 1 que satisface la condicin: los signos de el cr 1 y de 13
son iguales. De un modo anlogo escogemos uno de los dos
valores <:r 2 y cr'.i tales que
si cr 2 =si cr 2 . vv'r+4-
=-
2
,
FlC. 26
sht = e'---e)
- .
2
Estos resultados se pueden considerar como una confirmacin del
teorema d e Wcierstrass.
:
Obras de nuestro sello editorial
A.N . Kostovski
. :
:
: Construcciones geomtricas mediante un comps :
A.O. Guelfond
Resolucin de ecuaciones en nmeros enteros
A.S. Smogorzhevski
Acerca de la geometra de Lobachevski
G .E. Shlov
. .
: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~-:
: Edltarlal MIR Mosc :
..
~~~~~~~~~~~~~~~~~~~~~~~~~~~~-