Bolet de Matemticas n a Nueva Serie, Volumen XI No. 2 (2004), pp.

138149

UNA INTRODUCCION A LA TEOR DE GALOIS IA DIFERENCIAL

PRIMITIVO BELEN ACOSTA H. Y JESUS HERNANDO PEREZ A. (*)

A nuestro maestro y amigo Jairo Charris Castaeda n In Memoriam

Resumen. En este art culo se muestra un bosquejo de la Teor de Galois a Diferencial tambin conocida como la Teor de Galois de las Ecuaciones e a Diferenciales. Se presenta una minibiograf de algunos de los matemtia a cos implicados en el desarrollo inicial de esta teor y se hacen comentarios a sobre el actual crecimiento de la misma, mostrando algunos resultados de gran importancia. Abstract.In this paper is shown an outline of the Dierential Galois Theory, also known as Galois theory of dierential equations. A short biography of some mathematicians involved in the initial development of this theory is presented, also we make some comments concerning the present grow of the theory and we show some important results. Palabras claves: Grupos de Galois, cuerpos diferenciales, ecuaciones diferenciales lineales, Extensin de Picard - Vessiot, Wronskiano. o Key words and phrases. Galois groups, dierential elds, linear dierential equations, Picard - Vessiot extensions, Wronskian. 2000 Mathematics Subject Classication. 34M15.

1.

Introduccin o

1.1. Historia. Para iniciar esta historia podemos recordar que Karl Friedrich Gauss (1777 - 1855) demostr en 1829 que toda ecuacin polinmica o o o irreducible de grado n con coecientes racionales tiene n raices. Evariste Galois (1811 - 1832) demostr que estas ra pueden calcularse a partir de los coeo ces cientes de la ecuacin polinmica y a partir de nmeros racionales, utilizando o o u las cuatro operaciones con stos y las ra e ces de cualquier ndice a condicin o
(*) Primitivo Beln Acosta H. y Jes s Hernando Prez A. Escuela de Matemticas, Unie u e a versidad Sergio Arboleda, Bogot, Colombia. a E-mail: acosta@usa.edu.co jhpalcazar@multiphone.net.co .
138

 UNA INTRODUCCION A LA TEOR DE GALOIS DIFERENCIAL IA

139

de que la ecuacin polinmica admita un grupo llamado grupo soluble. Cuano o do Galois discut sobre las ra a ces de una ecuacin, l estaba pensando en los o e nmeros complejos. Ms tarde algunos algebristas consideraron a C como camu a po y por ende estudiaron subcampos de C. Naturalmente se vieron conducidos a considerar a C como cuerpo algebricamente cerrado. a Mientras el matemtico noruego Sophus Lie (1842 - 1899) y el matemtico a a alemn Felix Klein (1849 - 1925) se hallaban en Par el matemtico francs a s, a e Camille Jordan (1838 - 1922) acababa de publicar Trait des Substitutions et des e Equations Algbriques (Tratado de Sustituciones y de Ecuaciones Algebraicas), e libro profundo en el que alcanzaba perfeccin matemtica la teor iniciada o a a por Galois cuarenta aos atrs. Lie, inspirado en la Teor de Galois - Jordan, n a a se propuso desarrollar para las ecuaciones diferenciales una teor algebraica a alcanzando resultados bastante exitosos; la forma actual de esta teor es la a llamada Teor de Grupos de Lie. a Lie desarroll la teor para las ecuaciones diferenciales ordinarias de orden o a n. Igualmente estudi a fondo las ecuaciones diferenciales parciales de primer o orden y cre, para tal caso, la teor de las transformaciones de contacto. Para o a ecuaciones diferenciales parciales de orden superior dej planteadas perspeco tivas que han sido conrmadas por investigaciones posteriores. Lie ten que a transponer la teor de grupos algebricos de Jordan a grupos de funciones a a para los que hab que establecer condiciones de diferenciabilidad que hac a an ms compleja la indagacin; Jordan hab usado ya las transformaciones ina o a nitamente pequeas. n Bsicamente, la Teor de Galois Diferencial es la Teor de Galois para a a a las ecuaciones diferenciales. Esta teor tuvo su origen en los trabajos de los a matemticos franceses Charles Emile Picard (1856 - 1941) y Ernest Vessiot a (1865 - 1952). Las contribuciones bsicas de Picard a esta teor fueron: a a * Sur les Groupes de Transformation des Equations Direntielles e Linaires (Sobre los Grupos de Transformaciones de las Ecuaciones e Diferenciales Lineales), publicado en 1883 por la Academia de ciencias de Par s. * Sur Equations Direntielles et les Groupes Algbriques des Transfore e mations (Sobre las Ecuaciones Diferenciales Lineales y los Grupos Algebraicos de Transformaciones), publicado en 1887 por la Universidad de Toulouse. * Trait dAnalyse, Tome III (Tratado de Anlisis, Tomo III), publicado e a por Gauthiers - Villars en 1928. Vessiot, por su parte, public muchos art o culos, pero su ms grande contria bucin fue su tesis doctoral titulada Sur lIntgration des Equations Direno e e tielles Linaires (Sobre la Integracin de las Ecuaciones Diferenciales Lineales), e o publicada en 1892 por parte de la Escuela Normal Superior de Par s.

140

PRIMITIVO BELEN ACOSTA H. Y JESUS HERNANDO PEREZ A.

Picard y Vessiot se propusieron crear, para las ecuaciones diferenciales, una teor como la de Galois y Jordan para las ecuaciones polinmicas; hay quiea o nes creen que comparado con el de Lie, el logro de Picard y Vessiot es ms a certero. Es posible pensar que la de teor Picard - Vessiot, nombrada as por a la inuencia de estos matemticos, es la ms apropiada teor de Galois para a a a las ecuaciones diferenciales. Esta ultima armacin no indica que el trabajo o de Picard - Vessiot fuera ms inuyente que el de Lie. Vessiot junto con el a matemtico francs Arthur Tresse fueron enviados a Leipzig por la Escuela a e Normal Superior de Par para escuchar a Lie. Tresse aplic el mtodo de Lie s o e al estudio de las ecuaciones diferenciales ordinarias de segundo orden, siendo este trabajo premiado por parte de la Academia Jablonovski. Vessiot tambin continu su teor con la colaboracin de Jules Drach, e o a o formndose as la teor de Drach - Vessiot que consiste en la teor de Galois a a a para ecuaciones diferenciales parciales. En esta teor se utilizan los pseudoa grupos de transformaciones. En n, se puede hablar y hacer tratados extensos sobre el estudio de mtodos e algebraicos para analizar ecuaciones diferenciales; donde las teor de Lie, as Picard - Vessiot y Drach - Vessiot son por el momento las ramas de ese rbol. a En adelante, hablaremos de la teor de Picard - Vessiot. a En 1932, Joseph Fels Ritt (1893 - 1951) public el libro Dierential Equao tions from the Algebraic Standpoint (Ecuaciones Diferenciales desde el Punto de Vista Algebraico), libro que le da especial tratamiento a los polinomios diferenciales y a las variedades algebraicas diferenciales. En 1950 publica el clsico a Dierential Algebra (Algebra Diferencial), t tulo que segn l fue sugerido por u e Ellis Kolchin, quien fuera uno de sus asociados en la Universidad de Columbia en New York. Kolchin publica varios art culos alrededor de este tema, uno de tales lo escribi con Ritt, pero su obra cumbre fue el libro Dierential Algebra o and Algebraic Groups (Algebra Diferencial y Grupos Algebraicos), publicado en 1973. Kolchin traslada a la teor de Picard - Vessiot el lenguaje moderno de a las extensiones de campos diferenciales, demostrando el teorema de existencia y unicidad de las extensiones de Picard - Vessiot. Kolchin tambin extendi la Teor de Galois Diferencial a algunas ecuacioe o a nes diferenciales no lineales, especiales en un cierto sentido, en donde las extensiones son denominadas fuertemente normales. Entre 1940 y 1970, la Teor a de Galois Diferencial fue estudiada solamente por la escuela de Kolchin, quien tuvo entre sus alumnos destacados a Phyllis Cassidy y Jerald Kovacic. En 1976, tres aos despus que Kolchin publicara su libro, Irwing Kaplansky publica An n e Introduction to Dierential Algebra (Una introduccin al Algebra Diferencial), o una pequea monograf que es considerada muy buena por parte de los enn a tendidos en la materia y que contribuy en una forma esencial al desarrollo de o este campo.

 UNA INTRODUCCION A LA TEOR DE GALOIS DIFERENCIAL IA

141

En un sentido homenaje por la muerte de Kolchin en el otoo de 1991, n Andy Magid, quien se desempe como Instructor J.F Ritt en la Universidad no de Columbia, publica en 1994 su obra Lectures on Dierential Galois Theory (Lecciones en Teor de Galois Diferencial). El libro de Magid es citado en cuala quier libro reciente sobre este tema y es el libro que hemos tomado como guia principal en la elaboracin de este art o culo. Magid se desempea actualmente n como docente investigador en la Universidad de Oklahoma. En la actualidad hay investigadores destacados trabajando en Teor de Gaa lois Diferencial, incluyendo algunos lgicos que fueron inuenciados por los trao bajos de Bruno Poizat, Anand Pillay y David Marker, quienes han contribuido al desarrollo de esta rea. Los profesores Juan Jos Morales Ruiz (Universidad a e Politcnica de Catalua) y Jean Pierre Ramis (Universidad de Tolouse), mune n dialmente conocidos por el teorema de Morales-Ramis, son los gestores de la aplicacin de la teor de Galois diferencial al campo de los sistemas dinmio a a cos, haciendo importantes aportes en la mecnica celeste a travs de sistemas a e Hamiltonianos. Kovacic, exalumno de Kolchin y profesor visitante de CUNY (City University of New York) es famoso por el algoritmo que lleva su nombre. El gran algebrista B.H Matzat y su colaboradora Julia Hartman (ambos de la Universidad de Heidelberg, Alemania), han contribuido con la versin del o problema inverso de Galois a la teor diferencial. En la Universidad de Gronina gen, Marius Van der Put, quien en asocio con Michael Singer de la Universidad de Carolina del Norte, han trabajado en la Teor de Galois de ecuaciones a en diferencias publicaron en el ao 2003 Galois Theory in Linear Dierential n Equations (Teor de Galois en Ecuaciones Diferenciales Lineales). Van der Put a es especialista en Grupos nitos, en este tema tambin ha trabajado con Felix e Ulmer de la Universidad de Rennes. No podemos dejar de mencionar los aportes de B. Malgrange sobre la teor de Galois Diferencial no lineal, y los de a Katz y Deligne en las categor tannakianas. as 1.2. Peque as biograf de Picard y Vessiot [10]. n as

1.2.1. Charles Emile Picard. Naci el 24 de julio de 1856 en Par Francia o s, y muri el 11 de diciembre de 1941 en esta misma ciudad. o El padre de Emile Picard era el gerente de una fbrica de seda, quien mua ri durante el sitio de Par en 1870. El sitio era una consecuencia de la Guerra o s Franco-alemana que empez el 19 de julio de 1870 . Fue malo para Francia y o el 19 de septiembre de 1870 los alemanes empezaron a sitiar a Par Este era s. un tiempo desesperado para los habitantes de la ciudad, especialmente los ms a pobres, quienes por hambre mataron a sus caballos, gatos y perros. Fue durante este sitio que muri el padre de Emile. Par se rindi el 28 de enero de 1871 o s o y El Tratado de Frankfurt rmado el 10 de mayo de 1871, era una humillacin o para Francia.

142

PRIMITIVO BELEN ACOSTA H. Y JESUS HERNANDO PEREZ A.

La madre de Picard,hija de un mdico, qued en una posicin sumamente e o o dif cuando su marido muri; ten un segundo hijo joven, y para apoyarles la cil o a educacin ella ten que encontrar empleo. Slo su determinacin para darles o a o o una salida buena a sus hijos, a pesar de la tragedia, le permiti a Emile recibir o la educacin que le dio la oportunidad para lograr un puesto internacional o muy alto en la matemtica. La educacin secundaria de Picard se inici en el a o o Liceo Napolon, despus en el Liceo Henri IV. Extraamente l era un alumno e e n e inteligente en casi todos los temas, particularmente en traduccin griega y en o poes latina, pero detest la matemtica. Escribi que odiaba la geometr a o a o a pero la aprendi de memoria para evitar ser castigado. o Fue slo durante unas vacaciones despus de completar sus estudios secuno e darios que Picard ley un libro de lgebra y de repente qued fascinado por la o a o matemtica. Present los exmenes para entrar a la Ecole Polytechnique y a a o a la Ecole Normale Suprieure; qued segundo y primero respectivamente en los e o dos exmenes. Rerindose a Picard, Hadamard escribi: a e o Como cualquier francs joven de nuestro tiempo que estaba dotado en la e ciencia, l fue obligado a escoger entre el Ecole Polytechnique, el cual en prine cipio lo preparaba a uno para ser ingeniero, y la Ecole Normale, con su pura orientacin cient o ca. El escogi el ultimo. Se dice que l tom esta decisin o e o o despus de una visita excitante a Pasteur durante la cual el padre de la bacterioe log habl sobre la pura ciencia, de tal forma que el joven qued completamente a o o persuadido. Picard recibi su t o tulo en 1877, siendo el mejor estudiante. Permaneci en o la Ecole Normale Suprieure durante un ao mientras era empleado como un e n ayudante. Se posicion como profesor en la Universidad de Par en 1878 y o s luego profesor en Toulouse en 1879, ao en el que tambin demostr que una n e o funcin entera no constante toma cada valor un nmero innito de veces, con o u una posible excepcin. Picard us la teor de las funciones modulares de Hero o a mite en la prueba de este importante resultado. En 1881 regres a Par para o s dar una conferencia en mecnica y astronom en la Ecole Normale. Por esta a a poca, Picard fue nominado para ser miembro de nmero de la seccin de mae u o temticas de la Academia de Ciencias. Era increible la habilidad extraordinaria a que estaba mostrando a tal edad que aun siendo tan joven fue nominado. Ya hab demostrado dos teoremas importantes que son los dos conocidos bajo a el nombre de Teoremas de Picard, todav era un poco pronto para ganar la a admisin a la prestigiosa academia y tendr que esperar unos aos ms. En o a n a este ao de su primera nominacin se cas con la hija de Charles Hermite. n o o Picard y su esposa tuvieron tres nios, una hija y dos hijos asesinados en la n Primera Guerra Mundial. Sus nietos, tambin, fueron heridos y capturados en e la Segunda Guerra Mundial. En 1885 Picard se posesion de la ctedra de clculo diferencial en la Unio a a versidad de la Sorbonna en Par cuando la ctedra qued libre debido a la s a o

 UNA INTRODUCCION A LA TEOR DE GALOIS DIFERENCIAL IA

143

muerte de Claude Bouquet. Sin embargo una regulacin universitaria prohib o a esta vinculacin a cualquiera cuya edad estuviera por debajo de treinta. Las o regulaciones se reinterpretaron haciendo que Picard fuera su propio ayudante hasta que alcanzara la edad de treinta el ao siguiente. En 1897 pidi intern o cambiar su ctedra por la de anlisis y lgebra para que pudiera entrenar a los a a a estudiantes investigadores. Picard hizo sus contribuciones ms importantes en los campos del anlisis, a a teor de funciones, ecuaciones diferenciales y geometr anal a a tica. Us mtodos o e de aproximacin sucesiva para mostrar la existencia de soluciones de ecuaciones o diferenciales ordinarias que resuelven el problema de Cauchy. Empezando en 1890, extendi propiedades de la ecuacin de Laplace a las ecuaciones el o o pticas ms generales. La solucin de Picard se represent en la forma de una serie a o o convergente. Picard se bas en los trabajos de Abel y Riemann para relacionar el estudio o de las integrales con las supercies algebraicas y para dar respuestas a preguntas relacionadas con sus propiedades topolgicas que permitieron el desarrollo de o una parte importante de la geometr algebraica. a La obra maestra de Picard es el Trait dAnalyse, publicado entre 1891 y e 1896. Es un hecho notable que entre 1894 y 1937 entren aproximadamente a 10000 o ingenieros que estaban estudiando en la Centrale des Arts et Manufactures. 1.2.2. Ernest Vessiot. Naci el 8 de marzo de 1865 en Marsella, Francia y o muri el 17 de Octubre de 1952 en La Bauche, Savoie, Francia. o El padre de Ernest Vessiot era un maestro de escuela, que despus se cone virti en el inspector general designado de escuelas primarias. Vessiot vivi por o o consiguiente en un ambiente acadmico. El asisti al liceo en Marsella, despus e o e present el examen para entrar a la Ecole Normale Suprieure en Par o e s. En el examen de admisin Vessiot ocup el segundo puesto, siendo el primer o o puesto obtenido por Jacques Salomon Hadamard (1865 - 1963) y despus de e esto l estudi en la misma clase con Hadamard. Al terminar sus estudios en e o la Ecole Normale Suprieure, Vessiot acept ser instructor en Lyon en 1887. e o En 1892 present su tesis doctoral Sur lIntegration des Equations Direno e tieles Linaires (Sobre la Integracin de las Ecuaciones Diferenciales Lineales), e o trabajo que trata sobre los grupos de transformaciones lineales, en particular, del estudio de la accin de estos grupos sobre las soluciones independientes de o una ecuacin diferencial. o Despus de recibir su doctorado, Vessiot ense en varios lugares, Lille, e no Toulouse, Lyon y nalmente Par en 1910. Obtuvo el prestigioso lugar de s Director del Ecole Normale Suprieure en Par y continu sosteniendo este e s o puesto hasta retirarse en 1935. En su papel de director dirigi la construccin o o de nuevos laboratorios de f sica en la Ecole Normale Suprieure. e

144

PRIMITIVO BELEN ACOSTA H. Y JESUS HERNANDO PEREZ A.

Vessiot aplic los grupos continuos al estudio de ecuaciones diferenciales. o Extendi resultados de Jules Joseph Drach (1871 - 1941) y Elie Joseph Cartan o (1869 - 1951) y tambin aplic las integrales de Fredholm a las ecuaciones e o diferencial parciales. Vessiot fue asignado a bal stica durante la Primera Guerra Mundial e hizo descubrimientos importantes en este rea. Fue honrado por la Academia de a Ciencias en 1943. 2. Anillos y Cuerpos Diferenciales

2.1. Deniciones y ejemplos. Al nal del siglo antepasado (XIX), cuando se constru una teor anloga a la de Galois, pero para ecuaciones diferenciaa a a les, se trabaj en el siguiente problema: En qu dominio se pueden formular, o e de manera natural, y obtener soluciones a las ecuaciones diferenciales?. Esta fue una contribucin importante a la matemtica, conocida como Cuerpos difereno a cialmente cerrados, los cuales son a las ecuaciones diferenciales como la nocin o de algebricamente cerrado es a las ecuaciones algebricas, teor iniciada por a a a Ritt. Dado R un anillo conmutativo, una derivacin en R es una funcin d : R R o o tal que: x, y R, d (x + y) = dx + dy, d (xy) = ydx + xdy (1)

Un anillo diferencial es un anillo dotado con una derivacin, si este anillo o es un cuerpo se denomina cuerpo diferencial. Los elementos de R con derivada cero son llamados elementos constantes; ellos forman un subanillo de R, el cual es un cuerpo si R es un cuerpo. Si R es un dominio de integridad, entonces toda derivacin sobre R se extiende un o vocamente al cuerpo de fracciones por medio de la regla de la derivada del cociente: ydx xdy x = (2) y y2 El lenguaje de primer orden para los cuerpos diferenciales es el mismo lenguaje de los anillos, con un s mbolo de funcin unaria extra que denota la o derivacin: o d L = (0, 1, , d, +, )) Normalmente escribiremos x = dx, x = d(dx), ..., x(n) = d(d...(dx)...) n veces (4) (3)

esta ultima es la nsima derivada de x. e Veamos algunos ejemplos de cuerpos diferenciales:

 UNA INTRODUCCION A LA TEOR DE GALOIS DIFERENCIAL IA

145

(i) Si F es un cuerpo, F es un cuerpo diferencial en el cual todos los elementos son constantes. (ii) Si F es un cuerpo, podemos ver que F (X), el cuerpo de fracciones con coecientes en F en la indeterminada X con la derivacin formal dR(X) o dX para fracciones, es un cuerpo diferencial. (iii) El cuerpo de las fracciones de las series formales de potencias, F ((X)), con la derivacin usual. o (iv) El cuerpo de las funciones meromorfas sobre un subconjunto abierto y conexo del plano complejo, o ms generalmente, sobre una supercie a de Riemann. De ahora en adelante consideraremos solamente los cuerpos diferenciales de caracter stica cero. (v) Dado un cuerpo diferencial F denimos el anillo diferencial F [X]d de polinomios diferenciales en una variable X con coecientes en el cuerpo F , de la siguiente manera: F [X]d = F [X, X , X , ..., X (n) , ... ] (5)

es el anillo de polinomios con coecientes en F en innitas variables enumerables, para las cuales valen las relaciones: X = X (0) , X = X (1) , X = X (2) , ..., X (n) , ... En general, si P (X) F [X]d , entonces P , (7) X (n) donde P denota el polinomio obtenido por derivacin de los coecieno tes de P (no hay que olvidar que los coecientes de P , elementos de F , P no necesariamente son constantes) y donde X (n) denota la derivada parcial en el sentido usual de P con respecto a la variable X (n) . Como F [X]d es un dominio de integridad, existe el cuerpo diferencial de fracciones, el cual se denota F (X)d Una primera cuestin importante es la siguiente: Existe, para los cuerpos o diferenciales, el concepto anlogo al de cuerpo algebricamente cerrado?, y si la a a respuesta es armativa, existe la clausura diferencial de un cuerpo diferencial?. Las dos preguntas tienen respuesta armativa. P (X) = P (X) + X (n+1) 3. Ecuaciones diferenciales lineales en una indeterminada (6)

3.1. Deniciones y ejemplos. Un operador diferencial lineal homogneo e sobre el cuerpo diferencial F es un operador L de la forma: L = Y (l) + al1 Y (l1) + ... + a0 Y (0) , donde ai F . (8)

146

PRIMITIVO BELEN ACOSTA H. Y JESUS HERNANDO PEREZ A.

Una extensin del cuerpo diferencial F es un cuerpo diferencial E que cono tiene a F y tal que DE (la derivacin sobre E) restringida a F es DF , la o derivacin sobre F . o Para y E y L(y) = Dl y + al1 Dl1 y + ... + a0 y un operador lineal homogneo sobre F , se tiene que las soluciones de L = 0 en E estn dadas por e a {y E|L(y) = 0}. La primera proposicin nos muestra que para una ecuacin lineal diferencial o o L, existe E, una extensin propia de F generada por las soluciones de L = 0. o Proposicin 3.1. Dados F cuerpo diferencial y L operador diferencial exiso te E F una extensin diferencial del cuerpo F en el cual L = 0 tiene l o soluciones algebraicamente independientes sobre F . Demostracin. Sea R = F [y1,0 , ..., yl.l1 ], un anillo polinomial sobre F en l2 o indeterminadas. Denimos una derivacin sobre R por o DR (yij ) = yi.j+1 para j < l 1 y
l1

(9)

DR (yi.l1 ) =
k=0

ak yi.k

(10)

R es un dominio de integridad diferencial, extensin de F y yi,0 , con 1 o i l, son soluciones algebraicamente independientes de L = 0 en R. Se dene E = QR , donde QR es el cuerpo de las fracciones de R. Este E es el cuerpo solicitado. Ejemplo 3.2. Sea C el cuerpo de los nmeros complejos; sea F = C(ex ), u d o o D = dx y L = y y. Entonces la proposicin conduce a E extensin diferencial de C(ex ) que contiene una nueva solucin de y y = 0. y es otra solucin o o x x independiente y si z = ey , D(z) = 0, lo cual implica que ey es una constante nueva. Note que el conjunto de constantes de un cuerpo diferencial es a su vez un subcuerpo y que el conjunto de soluciones en la extensin E de L = 0 es o un espacio vectorial sobre el cuerpo de constantes y al tener nuevas constantes, cambia la estructura. Consideraremos ahora las extensiones apropiadas en la Teor de Galois Diferencial, las llamadas extensiones de Picard-Vessiot, donde a este fenmeno no ocurre. o Denicin 3.3. Una extensin Diferencial E F es una extensin de Picardo o o Vessiot de F para L si 1. E es generado sobre F como un cuerpo diferencial por las soluciones de L = 0 en E. 2. Las constantes de E son las constantes de F . 3. L = 0 tiene l soluciones en E, las cuales son linealmente independientes sobre las constantes.

 UNA INTRODUCCION A LA TEOR DE GALOIS DIFERENCIAL IA

147

La denicin anterior es el anlogo al concepto de cuerpo de ruptura para o a un polinomio, en la clsica Teor de Galois. a a Nota 3.4. Si E F es una extensin de Picard-Vessiot de F para L y si o E K F , es decir, K es un cuerpo diferencial intermedio. Entonces se sigue que tambin E es una extensin de Picard - Vessiot de K para L. De e o ahora en adelante se utilizarn las siguientes convenciones: a C es el cuerpo de las constantes de F . F es de caracter stica cero. C es algebraicamente cerrado. El siguiente resultado nos da una condicin para no admitir nuevas constano tes. Teorema 3.5. Suponga que R es un dominio de integridad diferencial, R F . Si Q(R), el cuerpo de las fracciones de R, tiene una nueva constante, entonces R contiene un ideal diferencial primo no nulo. Demostracin. Ver la referencia [7]. o Corolario 3.6. Sea P F [yi.j ]= R, P un ideal diferencial primo maximal, donde R es como en la Proposicin 3.1. Entonces E = Q(R/P ) F , donde o E, el cuerpo de fracciones de R/P , satisface (1) y (2) de la denicin de una o extensin de Picard-Vessiot. o Demostracin. Como R es un anillo noetheriano, puesto que es una anillo o de polinomios, existen ideales diferenciales primos maximales. Si P es uno de ellos, entonces R/P no tiene ideales diferenciales primos no nulos, luego por el Teorema 3.5; Q(R/P ) no tiene nuevas constantes. Tambin se tiene que F es e diferencialmente generado sobre F por las soluciones de L = 0, de la misma forma para R/P y E. Para garantizar la tercera condicin de la denicin de una extensin de o o o Picard-Vessiot, usaremos el Wronskiano. Denicin 3.7. Sean y1 , ..., ys elementos de un cuerpo diferencial E. Entonces o y1 . . .
(0)

ys

(0)

W = W (y1 , ..., ys ) =

.
(s1) ys

(11)

(s1) y1

Tal como el wronskiano clsico usado en anlisis, el Wronskiano determina a a la independencia lineal entre las soluciones. Proposicin 3.8. Los elementos y1 , ..., ys de un cuerpo diferencial E son lineo almente independientes sobre las constantes de E si y slo si W (y1 , ..., ys ) = 0. o Corolario 3.9. L = 0 tiene a lo sumo l soluciones en E linealmente independientes sobre las constantes.

148

PRIMITIVO BELEN ACOSTA H. Y JESUS HERNANDO PEREZ A.

Demostracin. Supongamos que existen s = l + 1 elementos yi , 1 i s, o tales que L(yi ) = 0, entonces la ultima la del Wronskiano es una combinacin o lineal de las las precedentes, de esta forma el Wronskiano es cero, y as los , elementos yi son linealmente dependientes sobre las constantes. Teorema 3.10. Sea P F yi.j W (y1,0 , ..., yl,0 )1 = R W 1 = S, P un ideal diferencial primo maximal. Entonces E = Q(S/P ) F (E es el cuerpo de las fracciones de S/P ) es una extensin de Picard-Vessiot de F para L. o Demostracin. Por el Teorema 3.5, E no tiene nuevas constantes. Sea yi la o imagen de yi,0 en E, entonces W (y1 , ..., yl ) = 0, puesto que es la imagen de W la cual es una unidad en S y por tanto en S/P . Esto signica que los elementos yi son linealmente independientes sobre C. Tambin, E es generado sobre F e como un cuerpo diferencial por la construccin hecha. o Presentamos ahora la propiedad de normalidad para una extensin de Picardo Vessiot. Normalidad. Supongamos que Ei F , i = 1, 2, son extensiones de PicardVessiot de F para L, y que E F es una extensin sin nuevas constantes. o Supongamos adems que i : Ei E son inclusiones diferenciales tales que a i /F es la identidad de F para cada i. Sea Vi el espacio de las soluciones de L = 0 en Ei y V el espacio de las soluciones en E. Entonces V i (Vi ), ahora, teniendo en cuenta las dimensiones sobre la condicin (3) para extensiones de o Picard-Vessiot y por el Corolario 3.9, se tiene que V = i (Vi ). Se sigue entonces de la condicin (1) para extensiones de Picard-Vessiot que 1 (E1 ) = 2 (E2 ). o Usando la propiedad de normalidad de las extensiones de Picard-Vessiot, podemos probar su unicidad. Teorema 3.11. Cualquier par de extensiones de Picard-Vessiot de F para L son isomorfas sobre F . Demostracin. Consideremos E1 , E2 extensiones de Picard - Vessiot. El o anillo diferencial T = E1 F E2 es una F lgebra nitamente generada, es a decir, un anillo noetheriano. Sea M un ideal diferencial primo maximal en T . Entonces el cuerpo diferencial E = Q(T /M ) no tiene nuevas constantes,y dadas las inyecciones diferenciales i : Ei E tales que 1 (s) = s 1 y 2 (e) = 1 e, 1 por la propiedad de normalidad se tiene que = 2 1 es un isomorsmo de E1 a E2 . El siguiente teorema muestra una propiedad bsica de los grupos de Galois a diferenciales: Teorema 3.12. Si E es una extensin de Picard-Vessiot de F para L entonces o G(E/F ) es un grupo lineal algebraico sobre C. El resultado anlogo al teorema clsico de la Teor de Galois es el siguiente: a a a

 UNA INTRODUCCION A LA TEOR DE GALOIS DIFERENCIAL IA

149

Teorema 3.13. Teorema Fundamental de la Teor de Galois Diferena cial. Sea E una extensin de Picard-Vessiot de F por L, entonces existe una o correspondencia biyectiva, invirtiendo ret culos, entre {E K F | K es un subcuerpo diferencial (con la misma derivacin)} o y {G G(E/F ) | G es un subgrupo cerrado de Zariski} dado por K (G/K) y G E G . Las extensiones de cuerpos intermedios de Picard-Vessiot corresponden a subgrupos normales.

Bibliograf a
[1] A. Campos, Iniciacin al anlisis de las ecuaciones diferenciales mediante grupos de o a Lie. Universidad Nacional de Colombia, Bogot 1995. a [2] P. Deligne, Categories tannakiennesA, Prog. Math., vol. 87, Birkhuser, Boston, MA, a 1990. [3] J. Gray, Linear dierential equations and group theory, Birkhuser, Boston, MA, 2000. a [4] I. Kaplansky, An introduction to dierential algebra, Hermann, 1957. [5] E. Kolchin, Dierential algebra and algebraic groups, Academic Press, 1973. [6] M. Kuga, Galois dream: Group theory and dierential equations, Birkhuser, Boston, a MA, 1993. [7] A. Magid, Lectures on Dierential Galois Theory, University Lecture Series, vol. 7, American Mathematical Society, 1994. [8] J.F. Ritt, Dierential algebra, AMS. 1950. [9] M. Van der Put, M. Singer, Galois theory in linear dierential equations, Springer Verlag, New York, 2003. [10] http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians.