Académique Documents
Professionnel Documents
Culture Documents
Introducción
La integración por cuadraturas de ecuaciones diferenciales es un problema
clásico que, habiendo sido tratado por grandes matemáticos como J. Liouville
(1809-1882) o S. Lie (1842-1899), aún continúa vigente. Frente a una ecuación
diferencial, desearı́amos expresar sus soluciones mediante una fórmula cerrada;
por ejemplo, a la ecuación,
dx
= f (t)x,
dt
le corresponde la fórmula de las soluciones,
R
f (t)dt
x = λe , λ ∈ C.
queremos saber si podemos expresar las raı́ces αi mediante una fórmula cerrada
que incluye los coefientes ai , operaciones aritméticas y la extracción de radicales.
Galois respondió a esta pregunta de un modo indirecto. A cada ecuación le
corresponde el grupo de permutaciones entre las raı́ces αi que conserva todas las
relaciones de dependencia algebraica entre ellas. Bajo ciertas hipótesis, el grupo
G de la ecuación, es el grupo de automorfismos del cuerpo Q(αi ) que dejan fijo
Q.
1 Colaborador externo U.B.
A cada subgrupo normal H C G le corresponde un subcuerpo K G de Q(αi ).
El grupo de automorfismos de K G que dejan fijo Q es G/H.
Cuando G es un grupo cı́clico de orden n, √
entonces la extensión se obtiene
mediante la adjunción de un radical K = Q( n a). Tras estas observaciones se
llega naturalmente al resultado fundamental.
Teorema (Galois). Una ecuación es resoluble por radicales si y solo si su
grupo G es resoluble.
A cada cadena de resolución:
H1 C . . . C Hs = G
Q ,→ K1 ,→ . . . ,→ Ks = Q(αi )
Teorı́a de Picard-Vessiot
Análogamente a la teorı́a de Galois para ecuaciones algebraicas, existe una
teorı́a para sistemas de ecuaciones diferenciales lineales, creada por E. Picard y
E. Vessiot a finales del siglo XIX. A modo de ejemplo, supongamos que y1 , y2
es un sistema fundamental de soluciones de la ecuación diferencial
d2 y d
= ry, r ∈ K, K cuerpo diferencial con derivación .
dt2 dt
Sea K̃ = Khy1 , y2 i, el menor cuerpo diferencial que contiene a K y a {y1 , y2 }.
Entonces el grupo de automorfismos diferenciales de K̂ que dejan invariantes
los elementos de K, se denomina grupo de Galois de la ecuación diferencial. En
general, el grupo de Galois de un sistema de ecuaciones diferenciales lineales
con coeficientes en K, es un grupo algebraico de matrices con coeficientes en el
cuerpo de constantes de K.
Análogamente a las extensiones por radicales de la teorı́a de Galois clásica,
se tienen las extensiones Liouvillianas, las cuales se construyen sucesivamen-
te agregando una solución algebraica, una integral, o bien una exponencial de
integral. Es decir, si θ es una solución de la ecuación, entonces
θ R algebraica.
K̂i+1 = Ki (θ), θ = R a, a ∈ K.
θ = e a , a ∈ K.