Sobre las ecuaciones diferenciales lineales de

segundo orden y el algoritmo de Kovacic

Primitivo Bel
en Acosta Hum
anez*
Universidad Sergio Arboleda

Resumen
En este artculo se pretende mostrar en forma sencilla la aplicaci
on del Algoritmo de
Kovacic en la resoluci
on de las ecuaciones diferenciales lineales de segundo orden. Tales
ecuaciones est
an ligadas a los subgrupos algebraicos de SL(2, C) y se reducen en una
ecuaci
on de Ricatti. Dedico este artculo a mis dos grandes maestros: Jairo A. Charris
(Q.E.P.D) y Jes
us H. Perez.
Palabras Clave: Grupos Algebraicos, Soluciones Liouvillianas, Teora de Galois Diferencial, Teora de Picard - Vessiot.

Introducci
on
Cualquier estudiante de un curso de c
alculo de ecuaciones diferenciales ordinarias quiere una
f
ormula para resolverlas en forma cerrada. Esta situaci
on es parecida al caso de las ecuaciones polin
omicas, es decir, se busca una soluci
on en terminos de radicales. Por supuesto,
esto se tiene si y s
olo si el grupo de Galois es soluble. Esta u
ltima afirmaci
on indica que existe una serie subnormal cuyos grupos cocientes son abelianos en el grupo de automorfismos
definidos sobre la extensi
on que dejan invariantes los elementos del cuerpo.
El an
alogo a esta situaci
on se mantiene para ecuaciones diferenciales lineales, es decir, existe
un grupo de Galois asociado con tal ecuaci
on y el grupo es soluble si y solo si la ecuaci
on
diferencial lineal es soluble por cuadraturas, tiene forma cerrada o soluciones Liouvillianas.
En este artculo divulgativo, fuertemente influenciado por [7], se describe el algoritmo de
Kovacic, el cual permite determinar cuando el grupo de Galois es soluble. Una aproximaci
on
de este algoritmo exista desde el siglo XIX, desafortunadamente la teora de Galois Diferencial no se haba desarrollado a tal punto de completar el algoritmo. Jerald Kovacic logra
este resultado, el cual publica en [6]. Nociones b
asicas sobre la teora de Galois Diferencial,
*

Profesor catedr
atico, escuela de matem
aticas. primitivo.acosta@usa.edu.co

Primitivo Belen Acosta Hum

anez
as como tambien las demostraciones omitidas en este artculo, se encuentran en [4], [5],
[9], [10] y [11]. Una versi
on computacional (en MAPLE) del algoritmo fue desarrollada por
Manuel Bronstein en el grupo CAFE del INRIA (Francia) y puede utilizarse libremente en la
direcci
on http://www-sop.inria.fr/cafe/Manuel.Bronstein/cathode/kovacic demo.html. Esta versi
on permite resolver ecuaciones diferenciales lineales de tercer orden con coeficientes
en Q(x).
El autor agradece al profesor Juan Jose Morales Ruiz por su orientaci
on y motivaci
on para
lograr el entendimiento de este algoritmo.

1.

Soluciones Liouvillianas

Considerese el cuerpo C(x) de funciones racionales en una variable compleja x. Este es

d
un cuerpo diferencial con derivaci
on 0 = dx
. Sea una soluci
on de la ecuaci
on diferencial
00
0
z + az + bz = 0, a, b C(x), en alguna extensi
on diferencial de C(x).
La soluci
on de la ecuaci
on diferencial lineal anterior puede involucrar exponenciales, integrales indefinidas y raices de polinomios. Las funciones trigonometricas pueden ser escritas
en terminos de exponenciales.
Definici
on 1.1. Sea una soluci
on de la ecuaci
on diferencial z 00 +az 0 +bz = 0, a, b C(x).Se
dice que:
1. es algebraica sobre C(x) si satisface una ecuaci
on polin
omica con coeficientes en C(x),
es decir, es una funci
on algebraica de una variable (raz).
R
2. es una primitiva sobre C(x) si 0 C(x), es decir, = f para alg
un f C(x)
(integral).
R
0
3. es una exponencial sobre C(x) si C(x), es decir, = e f para alg
un f C(x)
(exponencial de una integral).
Definici
on 1.2. Una soluci
on de una ecuaci
on diferencial lineal se denomina Liouvilliana,
o soluble por cuadraturas o que tiene soluci
on en forma cerrada, si existe una cadena de
cuerpos diferenciales C(x) = K0 K1 ... Km = K, con K y tal que para cada
i = 1, 2, ..., m, Ki = Ki1 (i ), donde i es algebraica, primitiva o exponencial sobre Ki1 .
Tales soluciones Liouvillianas son construidas usando funciones algebraicas, integrales y
exponenciales. De esta forma se pueden obtener soluciones como logaritmos y funciones
trigonometricas, pero no soluciones en terminos de funciones de Bessel. El termino Liouvilliano es un poco m
as generoso que el de funciones elementales (algebraicas, logaritmos
y exponenciales solamente), debido a que permite la integraci
on indefinida arbitraria, es
decir, se puede dejar la integral en forma implcita.
El siguiente teorema permite eliminar el coeficiente de z (n1) en una ecuaci
on diferencial
lineal de orden n.
210

Sobre las Ecuaciones Diferenciales Lineales de Segundo Orden y el Algoritmo de Kovacic

Proposici
on 1.3. La ecuaci
on diferencial z (n) + an1 z (n1) + ... + a1z 0 + a0 z = 0, ai C(x),
(n)
se puede transformar enRy +bn2 y (n2) +...+b1 y 0 +b0 y = 0, bi C(x), mediante el cambio
1
z = yf , donde f = e n p , p = an1 .
Demostraci
on. Usando la f
ormula de Abel w0 + pw = 0, w = Cf n , CR C, se tiene que
1
ncf n1 f 0 + pCf n = 0, ahora, al dividir por w se sigue que f = e n p , donde p = an1 .
Finalmente, un sencillo argumento inductivo ver que al reemplazar por yf en la ecuaci
on
diferencial inicial, el coeficiente de z (n1) se anula.
Proposici
on 1.4. Si z 00 + az 0 + bz = 0, a, b C(x) tiene una soluci
on Liouvilliana, entonces
toda soluci
on es Liouvilliana.
1

Demostraci
on. Por el teorema anterior, al hacer la sustituci
on z = e 2 a y se observa
00
0
f
acilmente que la ecuaci
on diferencial z +az +bz = 0 se transforma en la ecuaci
on diferencial
1 2
1 0
00
y = ry, donde r = 4 a + 2 a b. De esta forma se observa que y es Liouvilliana si y solo
si z lo es.
Ejercicio 1.5. Probar en detalle que la ecuaci
on diferencial z 000 + az 00 + bz 0 + cz = R0 se
1
000
transforma en la ecuaci
on diferencial y = ry 0 + sy, mediante el cambio z = e 3 ay.
Adem
as, encuentre explcitamente r y s.
Proposici
on 1.6. La ecuaci
on diferencial z 00 + az 0 + bz = 0 se transforma en la ecuaci
on
1 2
1 0
0
2
de Ricatti v = r v , donde r = 4 a + 2 a b.
Demostraci
on. Por el teorema anterior, y 00 = ry. Ahora, al hacer la sustituci
on v =
tiene el resultado deseado.

y0
y

se

De ahora en adelante, a lo largo de este artculo se utilizar

a la ecuaci
on diferencial lin00
00
eal reducida (EDLR) y = ry en lugar de la ecuaci
on diferencial z + az 0 + bz = 0. Se
considerar
a que r
/ C, para evitar trivialidad.

2.

Teora de Picard - Vessiot

La Teora de Picard - Vessiot es la teora de Galois en el contexto de las ecuaciones diferenciales lineales. Sup
ongase que y1 , y2 es un sistema fundamental de soluciones de la EDLR.
Esto significa que y1 , y2 son linealmente independientes sobre C y toda soluci
on es una combinaci
on lineal de y1 y y2 . Sea K = C(x)hy1, y2 i, el menor cuerpo diferencial que contiene a
C(x) y a {y1 , y2}.
Definici
on 2.1. El grupo de todos los automorfismos diferenciales de K en K que dejan
fijos (o invariantes) los elementos de C(x) se denomina el Grupo de Galois de K sobre C(x)
y es denotado por Gal(KC(x)).
211

Primitivo Belen Acosta Hum

anez
Si Gal(KC(x)), entonces y1 y y2 son tambien soluciones, o lo que es igual,es otro

a b
sistema fundamental de soluciones de la EDLR. Por tal raz
on, existe una matriz A =
c d
enGL(2,
no 2 2, tal que
 C),
 grupo
 lineal
 de matrices cuadradas no singulares de tama
y1
y1
y1

=
=A
. Esto define una funci
on inyectiva
y2
y2
y2
: Gal(KC(x)) GL(2, C) que solo depende de la escogencia de y1 , y2.
Se dice que G es un grupo algebraico si los elementos que lo conforman son races de
polinomios. Un ejemplo claro de un grupo algebraico es GL(2, C).
Uno de los resultados fundamentales de la Teora de Picard - Vessiot es el siguiente teorema:
Teorema 2.2. La imagen de Gal(KC(x)) en GL(2, C), (Gal(KC(x))), es un grupo
algebraico.
Demostraci
on. Ver [4] o [5].
Teorema 2.3. Para la EDLR, (Gal(KC(x))) SL(2, C). Es decir, la imagen de
Gal(KC(x)) est
a en SL(2, C).


y1 y2 
=
Demostraci
on. Sean y1 , y2 un sistema fundamental de soluciones de la EDLR, W =  0
y1 y20 
0
0
W = W , pero W =
y1 y2
 y1 y2 es una constante, es decir, W C, de esta forma


a b
a b
a b




 c d W = W , lo cual indica que  c d = 1 y por lo tanto c d SL(2, C).
Nota 2.4. Se puede observar f
acilmente que si y1 , y2 es un sistema fundamental de solu(n+1)
(n+1)
ciones de la EDLR, entonces W (n) = y1 y2
y1
y2 .
Se enuncia ahora el Teorema de Lie - Kolchin. Es de notar que un grupo algebraico G tiene
un u
nico subgrupo conexo G0, el cual contiene la identidad y es un subgrupo normal de G
de ndice finito. Esto indica que G0 , componente identidad de G, es el subgrupo algebraico
m
as peque
no de G que contiene la identidad.
Teorema 2.5. (Lie - Kolchin). Las siguientes afirmaciones son equivalentes:
1. Toda soluci
on de la EDLR es Liouvilliana
0
2. G es soluble
3. G0 
es triangularizable,
es decir, existe una base en C2 tal que

c d
G0 =
: c, d C, c 6= 0 .
0 c1
Demostraci
on. Ver [5].
212

Sobre las Ecuaciones Diferenciales Lineales de Segundo Orden y el Algoritmo de Kovacic

3.

Subgrupos Algebraicos de SL(2, C) y semi-invariantes

Definici
on 3.1. Sea y1 , y2 un sistema fundamental de soluciones de la EDLR en K. Un
polinomio homogeneo f en y1 , y2, el cual llamaremos forma, es invariante si para todo
Gal(KC(x)), f = f . En este caso, f C(x). Ahora, f es semi-invariante si para
0
todo Gal(KC(x)), f = cf , c C.Se observa que si = ff , a
un C(x).
Se dice que un grupo G es conjugado a un grupo G0 si existe un grupo J tal que GJ = JG0 .
En este caso, G y G0 tienen la misma estructura algebraica.
Los siguiente teoremas muestran la relaci
on entre los cuatro casos en subgrupos algebraicos,
los cuatro casos de semi-invariantes y los cuatro casos en el Algoritmo de Kovacic, estableciendose una correspondencia biunvoca entre estos.
Teorema 3.2. Sea G un subgrupo algebraico de SL(2, C). Entonces exclusivamente uno
de los siguientes cuatro casos puede ocurrir:
1. G es triangularizable.
2. G es conjugado a un subgrupo de



c 0
0 c1

 


0
c
: c C, c 6= 0
: c C, c 6= 0
c1 0

y el caso 1 no se da.
3. G es finito y los casos 1 y 2 no se dan.
4. G = SL(2, C).
Demostraci
on. Ver [5].
Teorema 3.3. De acuerdo al teorema anterior, salvo conjugaci
on, hay tres grupos en el
caso 3:
!
ki
e 3
0
1. El grupo tetraedro. Este grupo de orden 24 est
a generado por
ki
0
e 3


 ki
 1 1
y 13 2e 3 1
, k = 0, 1, ..., 5.
2 1
!
ki
e 4
0
2. El grupo octaedro. Este grupo de orden 48 est
a generado por
ki
0
e 4


 ki
 1 1
ki
y 12 e 4 e 2 + 1
, k = 0, 1, ..., 5.
1 1
! 

ki
e 5

0
3. El grupo icosaedro. Este grupo de orden 120 est
a generado por
y
,
ki

0
e 5
 3ki
 3ki


2ki
ki
2ki
ki
donde = 15 e 5 e 5 + 4e 5 2 y = 15 e 5 + 3e 5 2e 5 + 1 , k = 0, 1, ..., 5.
Demostraci
on. Ver [5].
213

Primitivo Belen Acosta Hum

anez
Teorema 3.4. Sea y1 , y2 un sistema fundamental de soluciones de la EDLR relativo a
cada uno de los grupos del Teorema 13. Entonces, para todo Gal(KC(x)), uno de los
siguientes casos se tienen:
1. y1 = cy1, c C. Es decir, y1 es un semi-invariante.
2. y1 = cy1 y y2 = c1y2 , o y1 = cy2 y y2 = c1 y1 . Adem
as, y1 y2 es un semi-invariante
2
y (y1 y2 ) es un invariante.

3

2
3. El grupo tetraedro: y14 + 8y1y23 es un invariante. El grupo octaedro: y15y2 y1 y25 es
un invariante. El grupo icosaedro: y111y2 11y16y26 y1 y211 es un invariante.
4. No hay semi-invariantes no triviales.
Demostraci
es 
decir,
 on. 1. Por el Teorema13, G es triangularizable,
  
 
c d
y1
c d
y1
G=
:
c,
d

C,
c
=
6
0
,
as

que

=
, es decir, y1 = cy1,
0 c1
0 c1
y2
0
por lo tanto y1 es un invariante.



c 0
2. Por el Teorema 13, G es conjugado a un subgrupo de
: c C, c 6= 0
0 c1


 
 


 
0
c
c 0
y1
y
y1
=
, o tambien 1 =
: c C, c 6= 0 , as que
c1 0
0 c1
y2
y2
y2

 
0
c
y1
, de lo cual se concluye que y1 = cy1 y y2 = c1 y2 , o y1 = cy2 y
c1 0
y2
y2 = c1 y1 , por lo tanto y1 y2 es un semi-invariante y (y1 y2 )2 es un invariante. Los casos
3 y 4 se consideran de la misma forma.
El algoritmo de Kovacic se basa en los invariantes y semi-invariantes del teorema anterior.
0
En el caso 1, se observa que y1 es un semi-invariante mientras que = yy es un invariante,
es decir, C(x), este cambio es cl
asico para transformar la EDLR en una ecuaci
on de
Riccatti. Por tanto, este caso requiere de la b
usqueda de funciones racionales que sean
soluciones de la Ecuaci
on de Riccatti. Para lograr esto u
ltimo se usan las series de Laurent

(fracciones parciales) teniendo en cuenta que 0 = r 2 = ( r ) ( r + ) .

4.

Algoritmo de Kovacic

De acuerdo a los teoremas anteriores, existen cuatro casos para el algoritmo de Kovacic.
Los tres primeros casos determinan la solubilidad en terminos Liouvillianos de la EDLR,
mientras que en el cuarto caso el algoritmo no funciona, lo cual indica que el grupo de
Galois de la EDLR es exactamente SL(2, C) y por tanto la EDLR no tiene soluciones
Liouvillianas. Si el algoritmo de Kovacic cae en cualquiera de los tres primeros casos, no
necesariamente proporciona las dos soluciones de la EDLR, es posible que solo de una
soluci
on, la cual
on, y2 , puede ser encontrada
R llamaremos y1 . Obviamente la segunda soluci
como y2 = y1 dx
.
y2
1

214

Sobre las Ecuaciones Diferenciales Lineales de Segundo Orden y el Algoritmo de Kovacic

La idea del algoritmo es ver que la EDLR caiga en el caso 1, si no es as, se busca que caiga
en el caso 2, si tampoco es as, se busca que caiga en el caso 3. Si definitivamente la EDLR
no cae en los casos 1 , 2 o 3, entonces obligatoriamente cae en el caso 4.
Por el orden de r en infinito, (r ) , se entender
a el orden de infinito como un cero de r.
s
Esto indica que si r = t , s, t C[x], entonces (r) = grad(t) grad(s). Se denotar
a por
0 al conjunto finito de polos de r, 0 = {c C : t(c) = 0}, de tal forma que = 0 {}.
Se denotar
a por (rc ) el orden del polo c 0 . Para aplicar el caso 1 del algoritmo se
requiere que todo polo de r (en caso de existir) sea de orden par o de orden 1, mientras
que obligatoriamente (r ) {2n : n Z } {n
R 2 : n Z}, si en este caso existe una
soluci
on para la EDLR, esta es de la forma y = P e , donde P y se construyen con los
pasos del algoritmo. Para aplicar el caso 2, se requiere que exista al menos un polo c 0
tal que (rc ) {2n + 1 : n Z+ } {2}. Para aplicar el caso 3, es necesario que para todo
polo c 0 , (rc ) {1, 2} , y (r ) {n 2, n Z}. Si alR aplicar el caso 2 o el caso 3
existe una soluci
on para la EDLR, esta es de la forma y = e , donde se construye con
los pasos del algoritmo. El caso 4 se da cuando no se dan los casos 1, 2 o 3, indicando que
la EDLR no tiene soluciones Liouvillianas. Se puede afirmar que al escoger aleatoriamente
una EDLR, la probabilidad de que esta sea soluble por cuadraturas es muy peque
na. Los
pocos casos en donde se dan este tipo de soluciones, se obtienen mediante el Algoritmo de
Kovacic.
Si una EDLR no tiene polos, entonces el u
nico caso en que podra estar es el caso 1,
dependiendo s
olo de (r ). Ahora bien, si (r ) es impar, inmediatamente se puede afirmar
que la EDLR no es soluble por cuadraturas.

4.1.

Caso 1

Este caso, como ya se mencion

o, corresponde a la solubilidad por cuadraturas de la ecuaci
on

de Riccatti. Por tal raz

on, la serie de Laurent de r en cada polo c, [ r]c , y en el infinito,

[ r] , forman parte esencial en el desarrollo del algoritmo para este caso y son funciones
racionales. Para hacer m
as divulgativo este artculo se utilizar
an fracciones parciales y
cuadrados de polinomios en lugar de Series de Laurent, aunque en esencia es lo mismo.

Adicionalmente se definen +
on presentada. Ahora,
c , c , , C, de acuerdo a la situaci
si p , entonces (p) {+, }.
4.1.1.

Paso 1

Buscar para cada polo c 0 y para la situaci

on correspondiente a cada una de las que
siguen:

(c1) Si (rc ) = 1, entonces [ r]c = 0 y

c = 1.

(c2) Si (rc ) = 2, r = + b(x c)2 + , entonces [ r]c = 0 y

c =

1 1+4b
.
2

215

Primitivo Belen Acosta Hum

anez
(c3) Si (rc ) = 2v 4, r = (a (x c)v + ... + d (x c)2
)2 + b(x c)(v+1) + , entonces

1
b
[ r]c = a (x c)v + ... + d (x c)2 y
c = 2 a + v .

(1 ) Si (r ) > 2, entonces [ r] = 0, +
= 0 y = 1

1 1+4b
(2 ) Si (r ) = 2, r = + b(x)2 + , entonces [ r] = 0 y
.
=
2
2
v
v1
(3 ) Si (r ) = 2v
0, r = (ax + ... + d) +b(x) + , entonces [ r] = axv +...+d


1
b
y
= 2 a v .
4.1.2.

Paso 2
(

Encontrar D =

d Z+ : d =

()

(c)
c , ( (p))p

. Si D = , entonces el caso

c0

1 del Algoritmo de Kovacic no se tiene y debe pasarse inmediatamente al caso 2. Ahora,

si #D
> 0, entonces para cadad D se construye C(x) tal que = () [ r] +
X

(c)
(c) [ r]c + c (x c)1 .
c0

4.1.3.

Paso 3

Buscar un polinomio m
onico P de grado d, para cada d D, tal que P 00 + 2P 0 + M P = 0,
M = ( 0 + 2 r). Si P no existe, entonces el caso 1 del Algoritmo de Kovacic no se tiene
y debe intentarse inmediatamente
el caso 2. Ahora, si P existe, entonces una soluci
on de la
R
EDLR est
a dada por y = P e , donde se construye en el paso 2 mediante d D.

4.2.

Caso 2

Tal como se mencion

o anteriormente, al descartar el caso 1, debe buscarse que r tenga al
menos un polo de orden 2 o de orden impar mayor que 1.
4.2.1.

Paso 1

Buscar Ec 6= y E 6= . Para cada c 0 se define Ec Z como sigue:

(c1) Si (rc ) = 1, entonces Ec = {4}


(c2) Si (rc ) = 2, r = + b(x c)2 + , entonces Ec = 2 + k 1 + 4b : k = 0, 2 .
(c3) Si (rc ) = v > 2, entonces Ec = {v}
Para se define E Z como sigue:
(1 ) Si (r ) > 2, entonces E = {0, 2, 4}


(2 ) Si (r ) = 2, r = + b(x)2 + , entonces E = 2 + k 1 + 4b : k = 0, 2 .
(3 ) Si (r ) = v < 2, entonces E = {v}
216

Sobre las Ecuaciones Diferenciales Lineales de Segundo Orden y el Algoritmo de Kovacic

4.2.2.

Paso 2
(

d Z+ : d =

Encontrar D =

1
2

ec

, ep Ep, p . Si D = , entonces el

c0

caso 2 del Algoritmo de Kovacic no se tiene y debe pasarse inmediatamente al caso

X3. Ahora,
ec
si #D > 0, entonces para cada d D se construye una funci
on racional = 12
xc .
c0

4.2.3.

Paso 3

Buscar un polinomio m
onico P de grado d, para cada d D, tal
que P 000 + 3P 00 + M P 0 +
N P = 0, M = (30 + 32 4r), N = 00 + 30 + 3 4r 2r0 . Si P no existe, entonces
el caso 2 del Algoritmo de Kovacic no se tiene y debe intentarse inmediatamente el caso

3.
P0
1 0
1 2
2
Ahora, si P existe, se establece = + P y se busca tal
que ++ 2 + 2 r = 0,
R
entonces una soluci
on de la EDLR est
a dada por y = e , donde es soluci
on del polinomio
anterior.

4.3.

Caso 3

Tal como se mencion

o anteriormente, al descartar el caso 2, debe buscarse que todo polo
de r tenga a lo mas orden 2 y el orden de r en debe ser al menos 2.
4.3.1.

Paso 1

Buscar Ec 6= y E 6= . Para cada c 0 se define Ec Z como sigue:

(c1) Si (rc ) = 1, entonces Ec = {12}


(c2) Si (rc ) = 2, r = +b(xc)2+ , entonces Ec = 6 + k 1 + 4b : k = 0, 1, 2, 3, 4, 5, 6 .
Para se define E Z como sigue:


() Si (r ) = v 2, r = +b(x)2+ , entonces E = 6 + k 1 + 4b : k = 0, 1, 2, 3, 4, 5, 6 .
4.3.2.

Paso 2
(

Encontrar D =

d Z+ : d =

1
2

ec

, ep Ep, p . Si D = , entonces el

c0

caso 3 del Algoritmo de Kovacic no se tiene y debe pasarse inmediatamente al caso

X4. Ahora,
ec
si #D > 0, entonces para cada d D se construye una funci
on racional =
xc y un
polinomio S =

c0

(x c).

c0

217

Primitivo Belen Acosta Hum

anez
4.3.3.

Paso 3

Buscar un polinomio m
onico P de grado d, para cada d D, tal que sus coeficientes esten
determinados por el sistema de ecuaciones
P1 = 0, P12 = P y Pi1 = SPi0 + ((12 i) S 0 S) Pi (12 i) (i + 1) S 2rPi+1 ,
donde i {0, 1, ..., 12}. Si P no existe, entonces el caso 3 del Algoritmo de Kovacic no
se tiene y debe intentarse inmediatamente el caso 4. Ahora, si P existe, se busca tal que
12
X
R
SiP
i

=
0,
entonces
una
soluci
o
n
de
la
EDLR
est
a
dada
por
y
=
e
, donde es
(12i)!
i=0

soluci
on del polinomio anterior.

4.4.

Caso 4

Si no se obtienen soluciones Liouvillianas por cualquiera de los casos anteriores, entonces el

Algoritmo de Kovacic no puede determinar las soluciones de la EDLR. Es decir, el grupo
de Galois de la EDLR es exactamente SL(2, C).

4.5.

Ejemplos de aplicaci
on del Algoritmo de Kovacic

A continuaci
on se enuncian ecuaciones diferenciales lineales homogeneas de segundo orden
con coeficientes en C(x).
Ejemplo 4.1. Considere la EDLR y 00 = ry, donde r = x3 6x21+11x6 . Soluci
on. s = 1,
s
1
1
1
3
2
t = x 6x + 11x 6, r = t = 2(x1) x2 + 2(x3) , = {1, 2, 3, }, (r1 ) = (r2) =
(r3) = 1, (r ) = deg t deg s = 3. Claramente esta EDLR cae en (c1, 1) del caso

1, as que [ r]c = 0 y
que
c = 1, c = 1, 2, 3, [ r] = 0, = 0 y = 1, de aqu
d {2, 3} y por tanto D = , as que la EDLR no es soluble por cuadraturas. En
general, si una EDLR cae en (c1, 1) del caso 1, entonces D = y por lo tanto no es
soluble por cuadraturas.
6

+7x 20x+4
Ejemplo 4.2. Considere la EDLR y 00 = ry, donde r = 4x 8x +12x +4x
. Solu4x4
ci
on. s = 4x6 8x5 + 12x4 + 4x3 + 7x2 20x + 4, t = 4x4, por lo tanto se tiene que
r = st = x2 2x + 3 + x1 + 74 x2 5x3 + x4 , = {0, }, (r0) = 4 = 2v, v = 2 y
(r ) = deg t deg s = 2 = 2v, v = 1. Es claro que esta EDLR cae dentro del caso

1, (c3, 3), por (c3) se tiene que a = 1, b = 5, v = 2 y esto implica que [ r]0 = x2 y

1
3
7

luego +
0 = 2 (5 + 2),
0 = 2 y 0 = 2 , y por (3 ) se tiene que a = 1, b = 2, v = 1 y es
1
1
3

to implica que [ r] = x1, y = 2 (2 1), luego +

= 2 y = 2 . Por el paso 2 se
tiene que D = {0, 2}. Para d = 0 se tiene que = x+1 23 x1 +x2 , 0 = 1+ 32 x2 2x3
2
y 2 = x2 2x + 4 5x1 + 17
3x3 + x4 , por tanto M = 0 + 2 r =
4x
4x2 6x1 . Ahora, el u
nico candidato a polinomio m
onico de grado cero es P = 1, as que

218

Sobre las Ecuaciones Diferenciales Lineales de Segundo Orden y el Algoritmo de Kovacic

P 00 + 2P 0 + M P = 0 indicara que M = 0, luego d = 0 se descarta para encontrar una
soluci
on de la EDLR. Para d = 2 se tiene que = x1 32 x1 +x2 , 0 = 1+ 32 x2 2x3 y
2 = x2 2x2+5x1 + 14 x2 3x3 +x4 , por tanto M = 0 + 2 r = 4x1 4. Ahora, el
polinomio m
onico de grado dos es de la forma P = x2 + bx + c, as que P 0 = 2x, P 00 = 2, por
00
lo tanto P + 2P 0 + M P = 0 indica que 2bx + (2b 4c 4) + (4 3b + 4c)x1 + 2bx2 = 0,
2
de esta forma, b = 0 y c =
on de
 1, luego
 P = x 1 y por lo tanto una soluci
R

la EDLR es y1 = P e = x 2 x 2 e
 x2
 1
R
3
1 R

y2 = y1 y12 = x 2 x 2 e 2 xx
1

x2
2

xx1

. La segunda soluci
on de la EDLR es

dx

3
x2x 4 +x3 ex2 2x2x1

Ejemplo 4.3. Considere la Ecuaci

on de Riccatti v 0 = x v 2. Soluci
on. Claramente esta
ecuaci
on se transforma en la Ecuaci
on de Airy y 00 = xy. Como la EDLR no tiene polos
entonces uncamente debe caer en el caso 1, pero (r ) = 1 y por lo tanto se descarta el
hecho de caer en este caso y de aqu se concluye que las ecuaciones v 0 = x v 2 y y 00 = xy no
son integrables (en el sentido Liouvilliano). En general, y 00 = k2 xy, k C no es integrable.
Ejemplo 4.4. Considere la EDLR y 00 = ry, donde r = Ax2 + Bx + C y A, B, C C.
Soluci
on. Claramente
(r
v = 1, por lo tanto esta EDLR cae en (3),

 ) = 2 = 2v,

2
2
B
1
b

as que r = (ax + d) + b , donde a = A, d = 2

, b = C B
4A . Ahora, = 2 a 1
A

y [ r] =
ax+d. Se observa que d = +

o
que 0 #D 1, luego d D si y s
olo
(
) , as

b
b
si a
o a es un impar positivo. Por tanto, si d = +

Z
,
entonces

=
[
r]
=
ax
+
d.
+

1 b
00
0
Sea P un polinomio m
onico de grado 2 a 1 , si P satisface P + 2P + M P = 0, donde
M = 0 + 2 r = a, entonces una soluci
on de la EDLR es y = P e
forma se puede suponer para d =

Z
.
+

ax2
2

+dx

. De la misma

Ejemplo 4.5. Considere la ecuaci

on diferencial z 00 x z 0 + z = 0. Claramente esta ecuaci
on
2

x
1
se transforma en la EDLR y 00 = ry, donde r = 4
2 2 1 y aplicando el ejemplo anterior
se observa que la EDLR es soluble por cuadraturas si Z y una soluci
on est
a dada por
x2

y = P e 4 .
Ejercicio 4.6. Considere la EDLR y 00 = ry, donde r = A2n x2n +A2n1 x2n1 +...+A1x+A0,
A2n 6= 0 y Ak C, k = 0, 1, ..., 2n. Determine las condiciones para que la EDLR sea
integrable.
Se deja al lector el ejercicio de aplicar el algoritmo de Kovacic a las ecuaciones diferenciales
lineales de segundo orden que se estudian en un curso de c
alculo de ecuaciones diferenciales
ordinarias. Entre estas ecuaciones se encuentran las lineales con coeficientes constantes,
las de Cauchy - Euler, la de Chebyshev, Bessel, entre otras. Se espera que este peque
no
artculo sirva de base para replantear los cursos de ecuaciones diferenciales en las diferentes
instituciones universitarias del pas.
219

Primitivo Belen Acosta Hum

anez

Bibliografa
[1] P.B. Acosta, J.H. Perez, Una Introducci
on a la Teora de Galois Diferencial, Boletn
de Matem
aticas, Universidad Nacional (2004).
[2] A. Campos, Iniciaci
on al An
alisis de las Ecuaciones Diferenciales Mediante Grupos de
Lie, Universidad Nacional (1995).
[3] J. Gray, Linear Differential Equations and Group Theory, Birkh
auser, Boston, MA,
(2000).
[4] I. Kaplansky, An Introduction to Differential Algebra, Hermann (1957).
[5] E. Kolchin, Differential Algebra and Algebraic Groups, Academic Press (1973).
[6] J. Kovacic, An Algorithm for Solving Second Order Linear Homogeneous Differential
Equations, J. Symbolic Computation, 2, (1986), 3-43.
[7] J. Kovacic, An Algorithm for Solving Second Order Linear Homogeneous Differential
Equations, Prolifics Inc, (2001).
[8] M. Kuga, Galois dream: Group theory and differential equations, Birkh
auser, Boston,
MA (1993).
[9] A. Magid Lectures on Differential Galois Theory, University Lecture Series, vol. 7,
American Mathematical Society, (1994).
[10] J.J. Morales-Ruiz, Differential Galois Theory and Non-Integrability of Hamiltonian
Systems, Birkh
auser, Basel (1999).
[11] M. Van der Put, M. Singer, Galois Theory in Linear Differential Equations, Springer
Verlag, New York, (2003).

220