Memorias de la XVII Semana Regional de Nivel Superior

Investigaci
on y Docencia en Matem aticas.
Departamento de Matem aticas, Universidad de Sonora, M
exico,
Mosaicos Matem aticos, No. 20, Agosto, 2007, pp. 8391.

DE ECUACIONES DIFERENCIALES EN EL PLANO

SOLUCION
COMPLEJO

Rodrigo Gonz alez Gonz alez

Departamento de Matematicas, Universidad de Sonora
e-mail: rgonzlz@gauss.mat.uson.mx

Resumen
El objetivo del presente trabajo es bosquejar algunas ideas fundamentales y describir las pro-
piedades m as importantes asociadas con las soluciones de ecuaciones diferenciales ordinarias
en el plano complejo, as como relacionar algunos conceptos que surgen frecuentemente en la
aplicaci
on de las matem aticas en problemas fsicos, con el fin de atraer la atenci
on de los
estudiantes de licenciatura haca una de las m as maravillosas y privilegiadas ramas de las
matem aticas, la Teora de Funciones de Variable Compleja.

1 Introducci
on
En este trabajo se analiza la existencia y naturaleza de las soluciones de un tipo especial
de ecuaciones diferenciales ordinarias definidas en el plano complejo. Esto es, el objeto de
estudio es una ecuacion diferencial no lineal de n-esimo orden definida sobre un dominio del
plano complejo, descrita por la expresion

dn w dn1 w
 
dw
= F z; w, , , n1 , (1)
dz n dz dz
con F una funcion localmente analtica de todos sus argumentos. Esto es, F posiblemente
un dominio D.
posee singularidades aisladas o puntos de ramificacion en alg
Un sistema de ecuaciones diferenciales de primer orden en el plano complejo es de la
forma
dwj
= fj (z; w1 , , wn ) , j = 1, , n (2)
dz
donde de nuevo fj es una funcion locamente analtica de cada uno de sus argumentos.
Al igual que en el caso real, la ecuacion (1) es equivalente a un sistema de primer orden,
dj w 1
el cual se obtiene mediante el procedimiento recursivo: wj+1 = , j = 1, , (n 1) y
dz j
n n1
 
d w1 dw1 d w1
n
= F z; w1 , , , , con w1 w.
dz dz dz n1
Una pregunta natural que surge inmediatamente es acerca de si existe solucion analtica
para este tipo de ecuaciones, dados valores iniciales acotados, y si esta es u nica. En el caso
de la ecuacion (2), por ejemplo, las condiciones iniciales en z = z0 estan dadas por

wj (z0 ) = wj0 < , j = 1, , n. (3)

La respuesta a esta pregunta fundamental es afirmativa, la cual se establece inicialmente
de forma local en el siguiente resultado, debido a Augustin Louis Cauchy (1789-1857).

83
Teorema 1.1. (Cauchy) : El sistema (2) con valores iniciales (3) y con fj (z; w1 , , wn )
una funcion analtica de cada uno de sus argumentos en un dominio D que contiene a z = z0
tiene una unica solucion analtica en una vecindad de z0 .

Dem. La demostracion de este resultado se basa en un metodo que utiliza acotadores

maximizantes, llamados tambien mayorantes de Cauchy, para la representacion en serie
de la solucion. Esto es, se trata de determinar una serie convergente que domine a la
representacion verdadera de la solucion. La idea basica se adquiere a partir del problema
simple de Cauchy de la ecuacion escalar no lineal de primer orden

dw
= f (z, w), w(0) = 0. (4)
dz
El problema para otros valores iniciales w(z0 ) = w0 se reduce a este caso trasladando las
variables. La funcion f (z, w) se supone que es analtica y acotada cuando z y w estan dentro
de los crculos |z| a y |w| b, con |f | M para a, b y M constantes predeterminadas.
La expansion en serie de la solucion del problema (4) se puede determinar tomando derivadas
sucesivas. Esto es,

 2
d2 w f f dw d3 w 2f 2 f dw 2 f dw f d2 w
= + , = + 2 + + ,
dz 2 z w dz dz 3 z 2 zw dz w2 dz w dz 2
   
dw
lo cual permite calcular con la relacion = f (0, 0) como punto de partida
dz 0
   2  2  3  3
dw dw z dw z
w= z+ 2
+ + (5)
dz 0 dz 0 2! dz 3 0 3!
La tecnica es considerar una ecuacion de comparacion con la misma condicion inicial

dW
= F (z, W ), W (0) = 0 (6)
dz
en la cual cada termino de la representacion en serie de F (z, W ) domina al termino respectivo
de la serie correspondiente a f (z, w),
X
 j+k 
X
j k 1 f
f (z, w) = Cjk z w , Cjk = . (7)
j=0 k=0
j!k! z j wk 0
X
X
En z = a y w = b la funcion f es acotada, |f (z, w)| |Cjk |aj bk = M . Como cada
j=0 k=0
termino de esta serie es acotado por M , entonces |Cjk | M aj bk . As, una expansion
dominante para f puede ser de la forma
X
X M j k
F (z, W ) = j bk
z W . (8)
j=0 k=0
a

84
Claramente la solucion expandida para W (z) (ecuacion (5), con w reemplazada por W )
domina a la expansion para w. Ahora, es facil mostrar que la ecuacion (6) para W (z) tiene
una solucion en una vecindad de z = 0. Sumando la serie (8) da como resultado

M
F (z, W ) =   ,
z  W
1 1
a b
la cual al sustituirla en la ecuacion (6) implica
 
W dW M
1 = z,
b dz 1
a
de donde por integracion directa se obtiene
 1/2
2aM  z
W (z) = b b 1 + log 1 . (9)
b a
En la expresion (9) se toma el valor positivo para la raz y el valor principal para la funcion
logaritmo para que W (0) = 0. La serie para W (z) converge absolutamente para |z|
< R,
i.e., hasta alcanzar la singularidad mas cercana: z = R, ya que R = a 1 eb/2aM < a
(esto es, donde []1/2 = 0). Por lo tanto, por comparacion la solucion w(z) para la ecuacion (4)
debe de existir para |z| < R. Ademas, como se esta trabajando exclusivamente sobre la clase
de funciones analticas, cualquier representacion en serie obtenida de esta forma es u nica,
ya que la serie de Taylor representa de forma u nica a una funcion analtica. Este metodo
se puede extender sin mayor complicacion al sistema de ecuaciones (2). Sin perdida de
generalidad, tomando valores iniciales wj = 0 para j = 1, , n en z = 0 y funciones
analticas dentro de |z| a, |wj | b, se puede tomar |fj | M en este dominio, y entonces
para las funciones dominantes se tiene que

dW1 dW2 dWn M

= = = =     , (10)
dz dz dz z  W1 Wn
1 1 1
a b b
donde Wj (0) = 0 para j = 1, , n.
dWj dWj+1
Resolviendo = , con Wj (0) = Wj+1 (0) = 0 para j = 1, , n 1, implica que
dz dz
W1 = W2 = = Wn = W , lo cual reduce a la ecuacion (10) en

dW M
=  n ,
dz z  W
1 1 (11)
a b
W (0) = 0,
cuya solucion es de la forma

85
   1
(n + 1)aM  z  n+1
W =bb 1+ log 1 , (12)
b a
con un radio de convergencia dado por |z| < R, donde

R = a 1 eb/(n+1)aM .


(13)

Por lo tanto, la serie solucion del sistema (2), con wj (0) = 0, converge absoluta y uniforme-
mente dentro del crculo de radio R.

As, el Teorema 1 establece el hecho que para fi (z; w1 , , wn ), en la ecuacion (2),
analtica de todos sus argumentos, existe una solucion analtica en una vecindad (a un por
muy peque na que pudiera ser) para el problema de valor inicial en z = z0 . Afortunadamente
es posible dar una continuacion analtica hasta encontrar una nueva singularidad, lo cual es
posible en base al principio de continuacion, establecido por el siguiente resultado.

Teorema 1.2. (Principio de Continuaci on) : La funcion obtenida por continuacion anal-
tica de la solucion del sistema (2), a lo largo de cualquier trayectoria en el plano complejo,
es una solucion de la continuacion analtica de las ecuaciones diferenciales que conforman
al sistema.

Dem. Como gj (z) = wj0 fj (z; w1 , , wn ), j = 1, . . . , n, es cero dentro del dominio donde se
ha establecido la existencia de la solucion, entonces cualquier continuacion analtica de gj (z)
necesariamente tiene que ser cero. Dado que la solucion wj (z) satisface gj (z) = 0 dentro del
dominio de existencia y dado que las operaciones en gj (z) mantienen la analiticidad, entonces
extendiendo analticamente wj (z) proporciona la extension analtica de gj (z), la cual es
identicamente a cero.

Ahora, la pregunta inmediata es sobre donde y como se localiza la nueva singularidad
y de que tipo puede ser. La posibilidad es que se puede tener una singularidad fija o una
singularidad movil. Una singularidad fija es la que se determina por las singularidades
dw w
explcitas de las funciones fj (z; ). Por ejemplo, = 2 tiene un punto singular fijo (PSF)
dz z
en el origen. La solucion refleja este hecho: w = Ae1/z tiene una singularidad esencial
en z = 0. Por otro lado, un punto singular movil (PSM) depende de la condicion inicial
dw 1
impuesta. Por ejemplo, la ecuacion = w2 no tiene PSFs, pero la solucion w = ,

dz
z z
con z arbitrario tiene un polo simple movil, ya que z depende de la condicion inicial. Para
el caso, w(z = 0) = w0 , z = 1/w0 . Dependiendo de la ecuacion considerada, es posible
tener diferentes tipos de singularidades moviles. Por ejemplo, para cada p > 2, la ecuacion
dw
= wp , cuya solucion es w = [(p 1)(z z)]1/(1p) , tiene un punto de ramificacion movil
dz
en z = z .

86
2 Ecuaciones Lineales
El caso lineal general tiene la estructura siguiente

dw
= A(z)w, w(z0 ) = w0 , (14)
dz
donde w es un vector columna n 1 y A(z) es una matriz n n.
El problema escalar lineal homogeneo

dn w dn1 w dn2 w
= p 1 (z) + p 2 (z) + + pn (z)w (15)
dz n dz n1 dz n2
es un caso particular de la ecuacion (14), con

0 1 0 0 0

0 0 1 0 0

A(z) =
.. .. .. .. ..
(16)
. .
. . .

0 0 0 0 1
pn (z) pn1 (z) pn2 (z) p2 (z) p1 (z)

y
dw1 dwn1
w1 w, w2 = , , wn = . (17)
dz dz
Un resultado importante para el caso lineal se establece en el siguiente teorema.

Teorema 2.1. Si A(z) es analtica en un dominio simplemente conexo D, entonces el prob-

nica solucion analtica en D.
lema de valor inicial (14) tiene una u

X
Dem. La demostracion es directa observando que al buscar la serie solucion w(z) = ck z k
k=0
alrededor de una singularidad, digamos z = 0, es posible determinar explcitamente los
coeficientes ck y mostrar que la serie converge hasta la singularidad mas cercana de A(z).

Una consecuencia de este teorema es que la ecuacion lineal general (14) tiene unicamente
puntos singulares fijos, determinados por las singularidades de la matriz de coeficientes A(z).
Por ejemplo, la ecuacion escalar de primer orden

dw
= p(z)w, w0 (z0 ) = w0 (18)
dz
tiene la solucion explcita Rz
p()d
w(z) = w0 e z0
, (19)
la cual es analtica si p(z) es analtica.

87
 Una clase especial de ecuaciones lineales que surge frecuentemente en la aplicacion con-
siste de aquellas ecuaciones que poseen puntos singulares regulares: la ecuacion (14) tiene un
punto singular regular en z D si la matriz A(z) tiene un polo simple en z = z . Esto es,

X
A(z) = Ak (z z )k1 , (20)
k=0

donde A0 es una matriz no nula. Equivalentemente, la ecuacion escalar (15) tiene un punto
singular regular en z = z si pk (z) tiene un polo de orden k en ese punto. En otro caso,
el punto se dice ser singular irregular. Utilizando las relaciones Qj (z) = (z z )j pj (z),
las cuales son analticas en z = z para j = 1, , n, la ecuacion (15) se puede reescribir en
la forma
n n nj
nd w X nj d w
(z z ) n
+ Qj (z)(z z ) nj
= 0. (21)
dz j=1
dz
Frobenius muestra que la solucion contiene puntos de ramificacon en z = z . En efecto,
X

expandiendo Qj (z) alrededor de z , Qj (z) = cjk (z z ), se tiene que la solucion de la
k=0
ecuacion (21) tiene la forma

X
w(z) = ak (z z )k+r , (22)
k=0

donde r satisface la ecuacion indicial

n1
X
r(r 1)(r 2) (r n + 1) + cj0 r(r 1)(r 2) (r n + j + 1) + cn0 = 0. (23)
j=1

Si las races de (23) no son m ultiples o difieren entre si por un entero, entonces se tienen n
soluciones (22) linealmente independientes. De otra forma, la solucion se complementa con
terminos apropiados que contienen potencias de log(z z ). Si Qj (z) cj0 , j = 1, , n,
entonces (23) lleva a races asociadas con soluciones de la Ecuacion de Euler. El caso estandar
de este ultimo tipo de ecuaciones es la ecuacion de segundo orden. Por ejemplo, algunas
ecuaciones de segundo orden bien conocidas que contienen puntos singulares regulares son
d2 w dw
z2 2
+z + (z 2 p2 )w = 0 (Ecuacion de Bessel),
dz dz
d2 w dw
(1 z 2 ) 2 2z + p(p + 1)w = 0 (Ecuacion de Legendre),
dz dz
d2 w dw
z(1 z) 2 + [c (a + b + 1)z] abw = 0 (Ecuacion Hipergeometrica),
dz dz

con a, b, c, p constantes.

88
3 Ecuaciones del Tipo Painlev
e
Un tipo especial de ecuaciones diferenciales no lineales, que se caracterizan por poseer la
propiedad de que sus u nicas singularidades moviles son polos, son las Ecuaciones de Tipo
Painleve. Esta propiedad particular (originalmente impuesta por Emile Picard) permite
linealizacion o solucion exacta de la ecuacion. Matematicamente hablando estas ecuaciones
son de las mas simples posibles, ya que las soluciones ademas de sus singularidades fijas,
las cuales se conocen a priori, u nicamente tienen polos. Este tipo de ecuaciones surgen
frecuentemente en problemas fsicos en diferentes contextos, como por ejemplo dinamica de
fluidos, mecanica cuantica, relatividad, entre otros.
El caso mas simple ocurre por supuesto para las ecuaciones de primer orden, las cuales
se pueden expresar como
dw p(z, w)
= f (z, w) = , (24)
dz q(z, w)

con p y q polinomios en w y coeficientes localmente analticos de z. La u

nica ecuacion de
primer orden del tipo Painleve es la Ecuacion de Riccati,

dw
= A0 (z) + A1 (z)w + A2 (z)w2 , (25)
dz
!
d
dz
la cual puede ser linealizada por la sustitucion w(z) = (z) con (z) = 1/A2 (z) y

(z) satisfaciendo la ecuacion lineal

d2 d
2
= [A1 (z) + A02 (z)/A2 (z)] A0 (z)A2 (z). (26)
dz dz

La propiedad basica de Painleve la comparten todas las ecuaciones diferenciales ordinarias

lineales, pero es muy rara en las ecuaciones no lineales. En los u
ltimos anos del Siglo XIX, un
Picard y B. Gambier, centraron su atencion
tro de matematicos Franceses, Paul Painleve, E.
en la clasificacion de la estructura de las singularidades de las ecuaciones diferenciales de
segundo orden, con coeficientes polinomiales. Esto es, ecuaciones de la forma

d2 w
 
dw
= R z; w, , (27)
dz 2 dz

con R una funcion racional en w y dw/dz, cuyos coeficientes son funciones localmente
analticas en z. Como un logro sobresaliente, Painleve y colegas encontraron que, salvo
la necesidad de ciertas transformaciones, tales ecuaciones pueden ponerse en una de las
cincuenta formas canonicas posibles que existen: a) ecuaciones lineales, b) ecuaciones de
Riccati, c) ecuaciones que contienen funciones elpticas (tambien llamadas doble periodicas)
y d) las seis nuevas ecuaciones de Painleve. La ecuacion mas general de las seis,

89
 2
d2 w
   
1 1 1 1 dw 1 1 1 dw
2
= + + + + +
dz 2 w w1 wz dz z z1 wz dz
  (28)
w(w 1)(w 2) z (z 1) z(z 1)
+ + 2 + + ,
z 2 (z 1)2 w (w 1)2 (w 1)2

con , , y constantes, la cual en principio contiene a las otras cinco, fue olvidada en los
escritos de Painleve, pero fue redescubierta en 1905 por Richard Fuchs, quien realizo la mayor
parte del trabajo para determinar su solucion. Las soluciones de las seis nuevas ecuaciones
diferenciales no lineales de Painleve, las cuales generalmente no estan dadas en terminos
de funciones elementales, son tradicionalmente conocidas como Trascendentes de Painleve o
Painleve I-VI. Para resolver estos tipos de ecuaciones se requiere utilizar de entrada uno de
los pilares mas importantes del Analisis Complejo, la Teora de Transformacion Conforme
(en especial transformaciones sobre triangulos circulares) y despues metodos mas sofisti-
cados utilizados para resolver problemas de Riemann-Hilbert que transforman los problemas
originales en Ecuaciones Integrales Lineales.

Las soluciones de 11 de las 44 ecuaciones del Tipo-P restantes pueden expresarse en

terminos de las soluciones de las seis ecuaciones trascendentes de Painleve, mientras que
las otras 33 son solubles en terminos de soluciones de ecuaciones diferenciales lineales de
segundo y tercer orden o en terminos de funciones elpticas. Muchas de las soluciones de las
ecuaciones de Painleve son de naturaleza meromorfa en el plano complejo. Las ecuaciones
de tercer orden pueden ser a
un mas exoticas y su clasificacion es un problema abierto (simi-
larmente para ordenes mas grandes), sus soluciones son formadas por funciones automorfas1 .

Respecto a la aplicacion de este tipo de ecuaciones es importante mencionar, solo por dar
un ejemplo, que la Teora de Ondas en Medios No Lineales y la Teora Analtica de Ecuaciones
Diferenciales se desarrollaron simultaneamente de forma considerable bajo influencia mutua,
en funcion de la necesidad fsica. De hecho, las ecuaciones del Tipo-P tienen una amplia
aplicacion en el campo de las Ecuaciones Diferenciales Parciales que gobiernan problemas

no lineales de Hidrodinamica, Fsica de Plasmas, Optica No Lineal, Fsica del Estado Solido,
Relatividad, entre otros. Ejemplos especficos de EDPs relacionadas con las Ecuaciones
de Painleve son la Ecuacion de Burger, la Ecuacion KdV (original, modificada, cilndrica,
de orden grande, etc.), la Ecuacion de Sine-Gordon, . . . y muy particularmente, la Ecuaci on
2 2 2 2 2
de Helmholtz + k = 0, con = /x + /y y k(z) una funcion localmente
analtica, definida sobre geometras especficas, el cual es un tema de investigacion del autor.

Conclusi
on:
1 az + b
Las funciones automorfas tienen la propiedad que s((z)) = s(z), donde (z) = , ad bc = 1.
cz + dz
Es decir, son una generalizaci
on de las funciones periodicas (el ejemplo mas simple son las funciones elpticas).

90
 i) La Propiedad de Painleve sustenta la Propiedad de Integrabilidad que poseen muchos
problemas no lineales correspondientes a determinados fenomenos fsicos.
ii) Las soluciones de las Ecuaciones Tipo Painleve las Trascendentes de Painleve parecen
tener en la Fsica Teorica No Lineal el mismo papel que tienen las funciones especiales
clasicas en la teora lineal respectiva.
iii) El estudio de las Ecuaciones de Painleve ayuda a relajar un poco el dilema de la
interdisciplinariedad: los matematicos necesitan involucrarse mas en problemas fsicos
complejos, mientras que los fsicos deben de estar conscientes de la importancia de la
maquinaria matematica de alto nivel necesaria para su solucion.

Bibliografa:
[1] Ablowitz M.J., Fokas A.S.: (2006). Complex Variables. Introduction and Applications,
Cambridge University Press.

[2] Ahlfors L.V.: (1979). Complex Analysis, Mc.Graw-Hill Book Co.

[3] Gromak V.I., Laine I., Shimona S.: (2002). Painleve Differential Equations in the
Complex Plane, Walter de Gruyter Publications.

[4] Hille E.: (1976). Ordinary Differential Equations in the Complex Plane,
Dover Publications, Inc.

[5] Ince E.L.: (1956). Ordinary Differential Equations, Dover Publications, Inc.

91