,

~ SOClfDlID tMTf/v\MICII PfRUIINII

Aplicación de los
Grupos de Lie para
Resolver Ecuaciones
Diferenciales
ROSENDO OCHOA

~~o t
Coloquio, 8 - 12_de Julio del 2002
Rosendo Ochoa

COPYRIGHT © por Rosendo Ochoa

Aplicación de los grupos de Lie para resolver

ecuaciones diferenciales
Agradecimientos R. Ochoa Jimenez

La Sociedad Matemática Peruana (SMP) expresa su más sincero Resumen

agradecimiento y estima personal al Profesor Rosendo Ochoa de la Universidad
Nacional de Ingeniería por haber preparado la presente monografía la cual ha
El siguiente trabajo tiene por finalidad presentar el tra-
servido como texto base para el minicurso "Aplicación de los Grupos de Lie
para Resolver Ecuaciones Diferenciales", que se dictó en el marco del bajo que hizo S. Lie mostrando que los métodos conoci-
XX Coloquio de la SMP, en homenaje al destacado matemático peruano dos para resolver ecuaciones diferenciales son solamente
José Tola Pasque!. casos particulares de un proceso general de integración,
basado en la invariación de ecuaciones diferenciales con
Asimismo, agradecemos a todas las instituciones que hicieron posible la respecto a un grupo de transformación. Tales grupos
realización del mencionado evento. son conocidos actualmente como grupos de Lie, que tuvo
una gran influencia en diferentes campos de las ciencias
fisico-rnatemáticas.
Sociedad Matemática Peruana.
Conceptos fundamentales
Presidente: Dr. Wilfredo Sosa Grupos de Líe
Vicepresidente: Dr. Christian Valqui
Secretario General: Dr. Roger Metzger Para poder entender que es un grupo de Lie es necesario empezar a
Tesorero General: Dr. Renato Benazic definir que es grupo. Se va a decir que grupo es un conjunto G en
Secretario de Organización: Mg. Juan Montealegre donde esta definida una operación binaria entre sus elementos que en
Secretario de Asun tos adelante vamos a llamarlo operación de grupo, tal que el producto de
Culturales y Científicos: Dr. Edgar Vera
Secretario de Publicaciones: Dr. Agripino García dos elementos del conjunto e
es también un elemento del conjunto
e, ademas debe cumplirse las siguientes propiedades
1. La propiedad asociativa: g¡ (g2 g3) = (g¡ g2) g3,

Dirección: Jr. Ancash 536

para todo gl, g2, g3 E e
Casa de las Trece Monedas 2. Existe un elemento unidad e E e, tal que: e g =ge= g.
Lima l-Perú
E-mail: smp@uni.edu.pe 3. Para cualquier g E e existe su inversa que se denota como
g-I E e, tal que: g g-I = g-I g = e.

ISBN: 9972-9289-8-5
HECHO EL DEPOSITO LEGAL: 1501212002-3025
 2
3

Sobre la naturaleza de los elementos del conjunto G y de la op-

que (1). Eligiendo un parámetro adecuado, esta propiedad de grupo
eración de grupo no existe ninguna restricción mas. Es por eso que
puede ser escrito en la siguiente forma:
un conjunto G junto con su operación de grupo que cumple con las
propiedades antes mencionadas se les conoce mas como grupo ab- x = ¡p(x, ti, b) = ¡p(x, y, a + b), (3)
stracto. Y = 1jJ(x, ti, b) = 1jJ(x, y, a + b).
Por ejemplo, el conjunto de los números enteros Z, definimos como
operación de grupo a la adición. La propiedad asociativa se cumple De (2) Y (3) se ve que la transformación inversa de (1) se obtiene
automaticamente. El cero es el elemento unidad y la inversa de x E Z cambiando el signo del parámetro del grupo:
es -x.
Un grupo de Lie es un grupo abstracto que a su vez tienen una x = ¡p(x, ti, -a), y = 1jJ(x, ti, -a) (4)
extructuta geométrica. Eso se debe a que los grupos de Lie son var-
Cada valor del parámetro a va a definir una transformación deter-
iedades. Las variedades son espacios que globalmente no se parecen
minada. Denotemos por T¿ la transformación (1) del punto (x, y) al
al espacio euclidiano, pero localmente se ven como un espacio eu-
punto (x, Y), por 1 la transformación identidad, por Ta-l la inversa de
clidiano. La superficie de una esfera es una variedad. Localmente
Ta, y por Ti T¿ la composición de dos transformaciones, y juntamos
la superficie de la esfera se parece a un plano, es decir al espacio
estas propiedades en la siguiente definición:
euclidiano de dos dimensiones.
Definición 1. El conjunto G de todas las transformaciones 'T¿ se
Por lo tanto los grupos de Lie son una combinación de dos concep-
llama grupo uniparamétrico si:
tos matemáticos diferentes. Sobre todos los puntos de una variedad
que forma un grupo de Lie esta definido una operación de grupo. Tal
1) To = 1E G
que con dos puntos podemos siempre obtener un tercero. Ademas
para cada punto tenemos su inversa [2J. 2) nTa = Ta+b E G
3) Ta -1 = Ta-¡ E G
Grupo de transformaciones
Desarrollando las funciones ¡p, 1jJ en la serie de Taylor por el
Analicemos una transformación con inversa en un plano, tal que del parámetro a en el entorno a = O obtenemos una transformación
punto (x, y) obtenemos el punto (x, ti): infinitesimal de la transformación (1 ). Teniendo en cuenta (2 ) la
transformación tiene la forma:
x = ¡p(x, y, a), ti = 1jJ(x,y,a) (1)

que depende de un parámetro real a que cumple con las condiciones:

x ~ x + ~(x,y)a, ti ~ y + r¡(x, y)a, (5)

donde:
¡p(a = O) = O, 1jJ(a = O) = o. (2)
C( ) = B¡p(x, y, a) B1jJ(x, y, a)
Vamos a decir que la transformación (1), forma un grupouni- ~ x,y , r¡( x, y ) = (6)
Ba [a=O Ba [a=O
paramétrico G (que depende de un parámetro), si dos transforma-
ciones sucesivas son equivalente a una tercera de la misma forma Por ejemplo para el grupo de rotación:

._--_._-
J
4 5

su generador tiene la forma

i: = x cos a + y sen a, y = y cos a - x sen a,
2 8 8
X=x -+xy-. (10)
la transformación infinitesimal correspondiente tiene la forma: 8x 8y

x ~ x +ya, y ~ y - xa. El sistema de ecuaciones de Lie es

El vector (~,r¡) con las componentes (6) forma el vector tangente dep _ 2
da - ep ,
en el punto (x, y) a la curva descrita por la transformación de los
puntos (x, y), por eso se llama campo vectorial tangente del grupo (11)
d1jJ
G. da = ep1jJ.
Un grupo uniparamétrico se puede rehacer si se conoce su trans-
formación infinitesimal con ayuda del siguiente sistema de ecuaciones De la primera ecuación de (11) obtenemos
con condiciones iniciales: 1
ep= ---
dep el - a'
da = ~(ep, 1jJ), ep(a = O) = x,
(7) colocando este último resultado en la segunda ecuación de (11)
d1jJ
-d = r¡(ep, 1jJ), 1jJ(a = O) = y,
a .
que es conocido como el sistema de ecuaciones de Lie. El campo
vectorial tangente se escribe en forma de un operador diferencial de Las constantes se calculan con ayuda de las condiciones iniciales
primer orden 1
(8) el = x,

que se comporta como un escalar cuando se realiza un cambio de Obteniendo de esta manera la transformación inicial (9)
variables (a diferencia del vector (~, r¡)). S. Lie llamó al operador (8) x
símbolo de una transformación infinitesimal (5), que actualmente es ep(x, y, a) =, 1jJ(x, y, a) = y .
1- ax 1- ax
conocido como operador infinitesimal de grupo ( o mas corto oper-
ador de grupo) o también generador de grupo. Definición 2. La función F(x, y) se llama invariante del grupo
Por ejemplo, para la transformación de transformación (1) si para cada punto (x, y) la función F es con-
stante a lo largo de la trayectoria, que se describe con los puntos
x
x----
- 1-ax'
transformados (x, y):
(9)
- y F(x, y) = F(x, y).
y= ,
1- ax
 6 7

Teorema 1. La función F(x, y) es invariante si y solo si, cuando si y solo si, cuando
cumple con la siguiente ecuación en derivadas parciales
XFk¡M=O, k=l, ... ,s. (17)
8F 8F
XF=~(x'Y)8x +r¡(x,y)8y =0. (12) Este teorema es cómodo para buscar grupos que son admitidos por
el sistema dado de ecuaciones (14). Cuando se conocen las funciones
La conjugada de la ecuación (12) es la ecuación diferencial ordi-
H(x) de la ecuación (17) se encuentran las coordenadas ~i(X) del
naria
dx dy operador (16) y después resolviendo las ecuaciones de Lie
(13)
~(x, y) - r¡(x, y)' Xi .
De la ecuación (13) obtenemos una primera integral I(x, y) = C. da = e(x), xi(a = O) = Xi, i = 1, ... ,n
La función I(x, y) es una función invariante. Cualquier otra invari-
ante es entonces función de I(x, y). Los conceptos expuestos se puede se encuentra la transformación (15) del grupo admitido. Si por el
generalizar para el caso multidimensional. Cuando se analiza un contrario el grupo e es conocido y se necesita hallar el sistema de
grupo de transformación no sobre el plano sino en un espacio de n- ecuaciones que lo admita, entonces es mas cómodo utilizar el sigu-
dimensional de puntos x = (xl, x2, .•. , z"}. Analicemos el sistema de iente teorema sobre la representación de las ecuaciones invariantes
ecuaciones con ayuda de invariantes.
FI(X) = 0, ... , F(xs) = 0, s < ° (14) Teorema 3. Sea el sistema de ecuaciones (14) que admite al gTUpO
e, tal que su operador infinitesimal no es igual a cero en la superficie
Vamos a suponer que el rango de la matriz ]vI, determinado por las ecuaciones (14). Entonces este sistema de
,,8Fk una manera equivalente se puede volver a escribir tal que la parte
8xt ll izquierda de las ecuaciones, sean invariantes del grupo e. Es decir
es igual a s en todos los puntos x que cumple con el sistema (14). El en la forma
sistema de ecuaciones describe una superficie A1 de (n - s) dimen-
.<h(l¡(x), ... ,In-l(x)) =0, k=l, ... :s, (18)
siones.
Definición 3. Se dice que sistema de ecuaciones (14) es invariante donde l¡(x), ... ,In-l(x) - son bases invariantes del grupo G (con-
al grupo G de transformaciones ( o admite al grupo G) junto de todas las invariantes funcionalmente independientes). Las
ecuaciones (14) y (18) son equivalentes en el sentido que ellos deter-
Xi = fi(X, a), i = 1, ... , n, (15)
minan una misma superficie M. Por ejemplo, la paraboloide elíptica
si cada punto x de la superficie A1 se traslada a lo largo de lo esta se puede dar en dos formas
superficie es decir de x E M se cumple que X E M.
Teorema 2. El sistema de ecuaciones (14) es invariante con re-
specto al grupo G de transformaciones (15) con el operador infinites-
imal El grupo de estiramiento no homogéneos
. 8
X = ~t(x)-8 t., ~i(X) = 8¡i(x, a) , (16)
i = ze2a
x 8a la=O ,

!.
f ..
 8 9

traslada un punto del paraboloide a lo largo de esta superficie. Y por la ecuación (20) se resuelva fácilmente obteniendo el cambio t = In x,
consiguiente cada una de las ecuaciones que determina la paraboloide u = y / x2, que nos lleva de un grupo de estiramiento a un grupo de
es invariante. Pero como es fácil de comprobar la función F no es traslación:
una invariante y al mismo tiempo <I> es invariante.
)
- fj y
Cuando se integran las ecuaciones diferenc.ialesordinarias podemos ) 1= ln f = lnx + a = t + a, u-----u
- x2 - x2 - .
utilizar la siguiente teorema sobre la: semejanza de todos los grupos
uniparamétricos. Prolongación del grupo y del operador infinitesimal.
Teorema 4. Cualquier grupo uniparamétrico G de transforma-
ciones (1) con el cambio de variable conveniente Escribamos como se van a transformar las derivadas y', y" cuando
sobre x, y se realiza las transformaciones (1). Va hacer mas cómodo
t = t(x, y), u = u(x, y) para esto y utilizar el símbolo de la diferencial completa

se puede obtener el grupo de traslación o

D=!'l+Y!'l+Y
,o "o~+ ...
ox uy uy'
1= t + a, u = u
La transformación de las derivadas se da por las formulas
con el operador
o _,_ fj D'l/; 'l/;x+ y' 'l/;y_ P( ')
ot. y =-:::=-D = ,= x,y,y,a, (21)
X = x <P <Px+ Y <Py
Las variables t, u se llaman las variables canónicas.
_11 _ y' DP Px+ y' Py + y" Py'
Demostración. Bajo los cambios de variables el operador m- y - - =- = (22)
finitesimal (8) se transforma segun la formula
- x D<p <Px+ y'<py
Si empezamos del grupo G de transformaciones (1) Y después de
X -+ X(t)~ + X(u)~ [}u (19) incluir la formula (21) obtenemos la prolongación del grupo G que
[}t vamos a denotar como pr »c que actúa en el espacio de tres di-
Por eso las variables canónicas se encuentran de las ecuaciones mensiones (x, y, y'). y si aumentamos mas la formula (22) obten-
emos el grupo prolongado dos veces pr(2)G que actua en el espacio
X(t) = 1, X(u) = O (20) ) (x,y,y,y '") .
Colocando en las formulas (21), (22) la transformación infinites-
Por ejemplo, el grupo de estiramiento J imal (5) y despreciando sumandos de orden O(a2), obtenemos la
transformación infinitesimal de las derivadas

con el operador
[} [}
y' = ~': :Z(7! ~ (y' + aD(r¡))(1 - aD(~)) ~
X =x-+2y- + (D(r¡) + a(l,
ox ay ~ y' - y' D(~))a = y'
 , ,

10 11

_" y" + aD((¡) " admite al grupo C, si esta escuación en el espacio de cuatro dimen-
y = 1 + aD(f.) ~ (y + aD((¡))(l - aD(f.)) ~ siones (x, y, y', y") es invariante en el sentido de la definición 3 con
~ y" + (D((¡) - y"D(f.))a = y" + a(2,
respecto al grupo prolongado dos veces pr(2)C.
La definición 4 se puede generalizar para ecuaciones diferenciales
Por consiguiente los operadores infinitesimales de los grupos pro- de orden superior.
·longados pr(I)C y pr(2)C son correspondientemente iguales a Ejemplo. Sea G - el grupo de la transformación de Galileo

pr
(¡) a
X=f.-+1]-+(¡-,
a a
(¡=D(1])-y'D(f.), (23) x =x + ay, y = y,
ax ay ay'
con el operador infinitesimal
pr(2)X = pr(I)X + (2a~'" (2 = D((¡) - y"D(f.). (24) a
x = y ax
Ellos se llaman la primera y la segunda prolongación del operador
Invariante de este grupo es la función u = y. La primera y segunda
infinitesimal (8). Para las nuevas coordenadas tenemos las formulas
prolongación del operador X fácilmente se hallan por las formulas
(25) (23) y (24) son iguales

pr(I)X = y_
a + y,2_,a
(2 = D((¡) - y" D(f.) = ax ay'
= 1]xx + (2r¡xy - f.xx)y' + (r¡yy - 2f.xy)y'2-
pr (2)X = y- a + y '2 - a + -3y , y " -. a
- f.yyy,3 + (r¡y - 2f.x - 3y'f.y)y" .. (26) ax ay' ay"
Resolviendo el sistema
Ecuaciones diferenciales, que admiten grupo. dx dy' dy"
Sea e un grupo de transformaciones y pr(I)C pr(2)C - su primera y Y yt2 - 3y'y"

segunda prolongación. obtenemos las invariantes diferenciales de primer orden y segundo

..Definición 4. Se dice que una ecuación diferencial ordinaria de orden: ~
primer orden y y"
v=--x w=-
F(x, y, y') = O (27) y" y,3·
Segun el teorema 3 las ecuaciones invariantes para los grupos pro-
admite al grupo C, si la ecuación (27) (que se le considera como
longados pr(I)C y pr(2)C pueden ser escritos en la forma v = F(u) y
una ecuación de una superficie bidimensional en el espacio de tres
w = F(u, v). Obteniendo así ecuaciones diferenciales de tal man-
dimensiones (x, y, y')) es invariante con respecto al grupo prolongado
pr(I)e en el sentido de la definición 3. era que su forma son las mas generales que admiten al grupo de
De la misma manera la ecuación diferencial ordinaria de segundo transformación de Galileo.
orden
F(x,y,y',y") =O (28)
y'
x
y
+ F(y)'
y" = y ,3F ( y,- 1 - -
y'
x)
y
.

t----·
 j
12
l
l3

En casos mas complicados el calculo de las diferenciales invariantes que se puede llevar a un grupo de translación después del cambio de
de segundo orden es mas cómodo llevarlo de acuerdo con el siguiente variable
teorema. t=ln, u=xy. (31)
Teorema 5. Sea conocido la invariante u(x, y) para el grupo G
Colocando (31) en (29) obtenemos la ecuación
y la invariante diferencial de primer orden v(x, y, y'). Entnces la
derivada du 2
dV vx +'Y vy + Y vy' 11
Dv --+u -u-2=0
w - -- - ------~----~ dt '
- du - Ux + y' "v Du
que es fácil de resolver y da la solución
representa una invariante diferencial de segundo orden. Si se sigue
diferenciando podemos obtener invariantes diferenciales de ordenes In u + 1u - 2 = 3t + C.
superiores.
Regresando a las variables antiguas, obtenemos la solución de la
Integración y reducción de orden con ayuda de grupos ecuación (29)
uniparamétricos. 2x3+C
y= (32)
x(x3 - C)·
Vamos a suponer que conocemos un operador admitido, es decir el
Otro método de integración de ecuaciones de primer orden es de
operador infinitesimal del grupo uniparamétrico admitido de una
encontrar el factor integrante con ayuda del operador infinitesimal
ecuación diferencial ordinaria de primer orden. Entonces utilizando
del grupo admitido. Sea la siguiente ecuación de primer orden
el teorema 4, y teniendo en cuenta la propiedad de la invariabilidad
de la ecuación con respecto a un grupo, que no depende a la elección Q(x, y)dx + P(x, y)dy = O, (33)
de las variables, entonces después del cambio de variables podemos
llevar al grupo admitido conocido a un grupo de translación yobten- para la cual es conocido el operador (8). Entonces la función
emos una ecuación que no depende de una de las variables y por ello
1
la nueva ecuación es integrable en cuadraturas. (34)
Por ejemplo, sea la ecuación de Riccati
f-L = f,Q + r¡P
es el factor integrante para la ecuación (33). Utilicemos este método
, 2 2
y+y =-- (29) para la ecuación (29), que en la forma diferencial se ve de la siguiente
x2
manera
que permite el grupo de estiramiento
dy + (y2 - :2) dx =O (35)

Colocando en la formula (34) las coordenadas f, = x, r¡ = -y del

con el operador operador (30) obtenemos el factor integrante
x a
= x-- -y--
a 1 x
(30)
ax ay' f-L=
xy2-y-2/x
=
x2y2-xy-2
.
 14 15

Multiplicando por este factor a la ecuación (35) obtenemos la solu- dependiente y se basa en los teoremas 3 y 5. De acuerdo con el
ción de acuación (29) en la forma primero de estos teoremas cualquier ecuación de segundo orden, que
admite al grupo e, puede ser escrito por medio de integrales diferen-
3xy - 2 ciales (de orden cero, primero y segundo) u, v, wde este grupo. De
x--=c
xy -1 ' acuerdo con el teorema 5 la invariante diferencial de segundo orden
se puede escoger de la forma w = dv / du y la ecuación de segundo
que es equivalente a la solución (32).
orden escribirlo de la manera
En el caso de ecuaciones de segundo orden el conocimiento del
dv
grupo admitido, permite reducir el orden de la ecuación. Para ello --= F(u,v). (38)
du
analizamos dos métodos simples. El primer método así como en el
Con esto podemos reducir el orden si encontramos la integral
caso de ecuaciones de primer orden consiste en realizar un cambio
de variables tal que el grupo admitido sea llevado a un grupo de <I>(u,v, C) =O (39)
traslación. Desarrollemos esto en un ejemplo. Sea la ecuación
que es una ecuación de primer orden (38), entonces la cuación inicial
de segundo orden puede ser llevado a cuadraturas. Ya que colocan-
y" + J(x)y = O (36)
do en (39) las expresiones conocidas u(x, y) y v(x, y, y') llegamos a
que por la homogemidad con respecto a y, admite el grupo de esti- una ecuación diferencial de primer orden que admite el grupo te- e
ramiento por y con el operador niendo en cuenta la invariabilidad de u, v y por eso es integrable en
cuadrat uras.
a Reduzcamos con el segundo método el orden de la ecuación (36).
x = us:
uy
(37)
Escribiendo la primera prolongación del operador (37)
. a a
De (37) obtenemos que el cambio de variables u = x, t = In y nos pr(l)X = y- + y'-,
lleva al grupo de traslación, después de la cual la ecuación (36) toma ay ay'
la forma Obtenemos las invariantes u = x, v = y' /y. Por el teorema 5
u" - u' + J(u)u'3 = O, encontramos la invariante diferencial de segundo orden
dv y" y,2 y" 2
La ecuación obtenida no contiene a la variable independiente, por -=---=--v
du Y y2 Y ,
eso su orden se reduce colocando u' = p( u), y el problema se trans-
de donde
forma en la integración de la ecuación de Riccati y" dv 2
-=-+v
dp 2
Y du
du + J(u)p - 1 = O. Después de colocar esta expresión en (36) obtenemos una ecuación
de primer orden (38) en la forma de la siguiente ecuación de Riccati:
El siguiente método representa una formulación invariante de los
métodos conocidos de reducción de orden de ecuaciones que no con- dv + v2 + J (u) =O
du
tienen explí citamente a la variable independiente o a la variable
 ¡
¡
16 i 17
I
I

I
Ecuación determinadora. AIgebra de Lie. aquíf = eY - ~y', Y la ecuación determinadora (42) tiene la forma
Sea dado una ecuación de segundo orden (28). De acuerdo con la
I + (2r¡xy + (r¡yy -
definición 4 y el teorema 2 el criterio para la invariabilidad tiene la
I r¡xx - f.xx)y' 2~xy)y'2 _ y'3~yy+

forma de la ecuación (17) escrito para el operador prolongado dos I + v» - 2~x - 3y'f.y) (eY - ~yl) -
veces X: i
- .!:.(r¡x+ (r¡y - f.x)y'- y'2~y) - f.~ - r¡eY = O.
2
pr()XF= (a~-+r¡-+(1-+(2-
ax
a
. ay
a
ay'
a ) F=O
ay" '
(40) Ii x x
La parte izquierda de esta ecuación es un polinomio de tercer grado
donde (1 y (2 se calculan por las formulas (25) y (26). La ecuación
I
I con respecto a la variable y'. Por eso la ecuación determinadora se
(40) se llama ecuación determinadora del grupo, admitido por la divide en cuatro ecuaciones, que se obtienen igualando a cero los
ecuación diferencial ordinaria (28). En adelante vamos a analizar la coeficiente de y' bajo sus diferentes grados:
ecuación diferencial (28) en la forma canónica
(y')3 : ~yy = O, (44)
y" = f(x, y, y'). (41)
(Y ')?-: "lvv - 3f.xy + -f.y
2 = 0, (45)
X
En este caso la ecuación determinadora (40) después de colocar
los valores de las formulas (25) y (26) sobre la parte derecha de la
ecuación (41) toma la forma:
y' : 27Jxy - f.xx + (¿) x - 3~yeY = 0, (46)

7Jxx + (2r¡xy - ~xx)y' + (r¡yy - 2~Xy)y'2 - y,3f.yy+ ( y ')0 .. r¡xx + -1r¡x + (r¡y - 2f.x - r¡) e-O.
y _
(47)
x
+ (7Jy- 2f.x - 3y'f.y)f - (r¡x + (7Jy- ~x)y' - y'2f.y)fyl - f.fx - r¡fy = o. De las ecuaciones (44) Y (45) integrando por y obtenemos
(42)
f. = p(x)y + a(x), r¡ = (pl - ~) y2 +2 (al - ;.) + q(x)y + b(x).
Aquí, f(x, y, y') es una función conocida y las coordenadas ~,r¡ del
operador (8) son funciones desconocidas de x, y. Ya que en la parte Colocamos estas expresiones para f., r¡ en las ecuaciones (46) Y (47).
izquierda de (42) entra aparte de x, y, también y', que se le considera Al principio observamos que f. y r¡ dependen de y polinomialmente,
una variable independiente, entonces la ecuación determinadora se va y en la parte izquierda de las ecuaciones (46), (47) entra eY por
a dividir en algunas ecuaciones independientes obteniendo un sistema consiguiente debe cumplirse la condición
sobredeterminado de ecuaciones diferenciales paraF, r¡. Resolviendo
este sistema, hallamos todos los operadores, que son admitidos por f.y = 0, r¡y - 2f.x - r¡ = o.
la ecuación diferencial (41).
La primera de ellas da p = 0, es decir la igualdad f. = a(x), que
Ejemplo. Hallemos los operadores admitidos por la ecuación de teniéndolo en cuenta, la segunda condición se escribe de la forma
segundo orden
Y
" + -y
1 1 - e y. = O, ( 2 (al - ;.) + q) y - (2 (al - ;.) + q) + 2a' + b = O.
(43)
x

,
 ,

18 19

De aquí Como se puede ver de (42) la ecuación determinadora representa

una ecuación lineal en derivadas parciales con respecto a las funciones
(2 (a' - ~) + q) = O, ~,T] y a las dos variables x, y. Por eso el conjunto de todas sus
soluciones forman un espacio vectorial como se vio en el ejemplo.
2a' + b = O.
Aparte de esta propiedad se tiene una propiedad que caracteriza a las
De esta manera ecuaciones determinadoras. Resulta que el espacio vectorial formado
por las soluciones pertenece a un tipo especial de espacio vectorial
~ = a(x), T] = -2a'(x). conocido como álgebra de Lie. Determinemos el conmutador [Xl, X21
de cualquier par de operadores del tipo
Colocando estas expresiones en (46). obtenemos una ecuación de
segundo orden a a X
6-a + 172-a
Xl = 65')
uX
+ in 5'),
uy
2 =
ax ay

de donde a = Cl x In x + C2X, y la ecuación (47) se vuelve en una por la formula

identidad. Al final obtuvimos una solución general de las ecuaciones (49)
determinadoras (44)-( 47)en la forma Obteniendo así otro operador de la forma (8), como se ve de la
igualdad
~= Clx lnx + C2x,
T] = -2(CI(1 + lnx) + C2),
con coeficientes constantes Cl, C2. Teniendo en cuenta la linealidad
de las ecuaciones determinadoras, la solución general se representa en que se deduce fácilmente de (49) y que podemos tomarlo como defini-
la forma de una combinación lineal de dos soluciones independientes ción de conmutador. De la definición el conmutador observamos que
cumple con las siguientes propiedades
6 = xlnx, T]l = -2(1 + lnx),
l. [X, CIXl + C2X2] = cdX, Xl] + C2[X, X2],
6 = x, T]2 = -2.
2. [Xl,X2] = -[X2,Xi], (51)
Esto significa que la ecuación (43), admite dos operadores lineal- 3. [Xl, [X2,X31 + [X2, [X3,X1l + [X3, [X1,X21 = o.
mente independientes
Definición 5. Se va a llamar álgebra de Lie al espacio vectorial
a a L, en donde esta definida la operación (49), que cumple con las
xlnx -2(1+1nx)a
a ax a y (48) condiciones (51). La dimensión del álgebra de Lie se entiende como
x--2- la dimensión del espacio vectorial L.
ax ay
Sea L; - una álgebra de Lie de dimensión r. Fijamos las bases
y que el conjunto de todos los operadores admitidos forman un es- Xl, ..., X; del espacio vectorial L; Y analizamos los conmutadores
pacio vectorial bidimensional con las bases (48).

i
r--·
 ..~

20

[XI" Xv] de todos los pares posibles de los operadores bases. Ya que
cualquier operador X de L; se desarrolla por las bases

r
X = ¿el' XI" el' = const. (52)
IL=l

Sabiendo todos los [XI" Xv] podemos encontrar el conmutador de

de cualquier operador de Lr, utilizando la propiedad de la bilineali-
dad. Por consiguiente, un espacio vectorial L; forma un álgebra de
Lie si y solo si, cuando los conmutadores de los operadores bases
pertenecen a Lr, es. decir

[XI" Xv] = ¿e;~X)., (53)

).=1

donde e~v - números reales que se llaman constantes estructurales.

Bibliografía
1. S. Lie. Vorlesungen über Differentialgeichungen mit bekan-
nten infinitesimalen Transformationen. Leipzig, B.G. Teubner,
1891.
2. P. J. Olver. Appications of Lie Groups to Differential Equa-
tions. Springer-Velag, New Yor, 1986.
3. N. Ibragimov. Ensayo del Análisis de grupo. Matemática,
Cibernética. Znanie, Moscú, 1991.

r
I