Funciones sin primitiva elemental

Carlos Ivorra
(http://www.uv.es/ivorra)

Introduccin o

La funcin de densidad de la distribucin normal (con media 0 y desviacin t o o o pica 1) viene dada por la funcin o 1 2 f (t) = et /2 , 2 la celebrrima campana de Gauss. Esto signica que la probabilidad de que una variable e aleatoria con dicha distribucin tome su valor en un intervalo [a, b] viene dada por la o integral b 1 2 et /2 dt. 2 a En la prctica, estas integrales se calculan con la ayuda de tablas (o, ms modernaa a mente, de ordenadores), porque, como todos los libros de estad stica indican, la funcin o t2 /2 no se puede integrar, obviamente, no en el sentido de que no exista la integral e (todas las funciones continuas tienen integral), sino en el sentido de que no existe ninguna frmula elemental, es decir, en trminos de polinomios, ra o e ces, senos, cosenos, exponenciales, logaritmos, etc., que determine una funcin F (t) tal que F = f . o Lo que no hacen los libros de estad stica (ni prcticamente ningn libro) es explicar a u por qu esto es as A lo sumo, remiten a un trabajo esotrico de Liouville al respecto. El e . e 2 objeto de este art culo es demostrar precisamente que la funcin et /2 , al igual que otras o muchas funciones sencillas, no tiene primitiva elemental. Para ello, el primer paso obligado es dar una denicin rigurosa de funcin elemental, o o y queremos hacerlo de tal forma que sea lo sucientemente simple como para que podamos operar con ella en teor y, a la vez, lo sucientemente amplia como para que recoja a a cualquier funcin del estilo de o x5 sen4 ( 3 x9 + 7 + ln x) f (x) = , ex4 3x + tan x es decir, a cualquier funcin que pueda admitirse como solucin expl o o cita de una integral dada. En realidad, la denicin que daremos ser especialmente generosa, en el sentido o a de que admitiremos como funciones elementales a algunas funciones para las que ser a 1

cuestionable si merecen ser consideradas como tales, pero esto no debe importarnos, ya que nuestra denicin est orientada a probar un resultado negativo: cuanto ms amplia o a a sea nuestra denicin de funcin elemental, ms potente ser la armacin de que una o o a a o funcin dada no admite una primitiva elemental. o Por razones tcnicas tendremos que trabajar con funciones de variable compleja, as e que dedicaremos la seccin 2 a introducir el concepto de funcin elemental compleja (y, o o ms en general, una denicin algebraica abstracta de funcin elemental) para, postea o o riormente, denir en la seccin 3 el concepto de funcin elemental real, que ser, segn o o a u veremos, todo lo amplio que cabr exigir (e incluso ms). a a Para seguir la prueba, el lector deber estar familiarizado con las funciones meromorfas a y con la teor bsica de extensiones de cuerpos. a a

Funciones elementales

Si D C es un dominio, (un abierto conexo), llamaremos M(D) al conjunto de todas las funciones meromorfas f : D C , es decir, funciones denidas en D, que toman el valor a lo sumo en un conjunto discreto de puntos (llamados polos de la funcin), sin o puntos de acumulacin en D, fuera del cual son derivables, y de modo que son continuas o en los polos (lo que quiere decir que f (z) tiende a cuando la z tiende a un polo). Es conocido que M(D) es un cuerpo, es decir, que al sumar, restar, multiplicar y dividir funciones meromorfas, obtenemos de nuevo una funcin meromorfa. o Esto debe ser bien entendido: si f , g M(D), la unin de los conjuntos de polos de o f y g es un cerrado discreto en D (en particular no es todo D), luego su complementario es un abierto D0 D no vac Las restricciones f |D0 y g|D0 son funciones holomorfas en o. D0 , es decir funciones meromorfas sin polos, por lo que podemos denir puntualmente las funciones f |D0 + g|D0 y f |D0 g|D0 . La clave es que puede probarse que estas funciones se extienden de forma unica a funciones meromorfas en D, que son las funciones a las que llamamos f + g y f g respectivamente. As pues, debemos tener presente que las igualdades (f + g)(z) = f (z) + g(z), (f g)(z) = f (z)g(z)

son vlidas en todos los puntos z D donde ambas funciones toman valores nitos, a mientras que en los puntos z0 D que son polos de alguna de las funciones, puede ocurrir que la suma y el producto tengan tambin polos o no. Ello depender de si los l e a mites
zz0

l (f (z) + g(z)), m

zz0

l (f (z)g(z)), m

sean nitos o innitos. Por ejemplo, las funciones 1 f (z) = , z 2 g(z) = z z1

son meromorfas en C, la primera con un polo en 0 y la segunda con un polo en 1. Al operarlas obtenemos (f + g)(z) = z2 + z 1 , z(z 1) (f g)(z) = 1 , z1

de modo que la suma tiene polos en 0 y en 1, mientras que el producto slo tiene un polo o en 1, ya que (f g)(0) = 1. Como hemos dicho, las funciones de M(D), con estas operaciones, forman un cuerpo. El hecho de que toda funcin no nula tenga inversa se debe a que, del mismo modo que los o polos de una funcin meromorfa f forman, por denicin, un conjunto cerrado y discreto o o en su dominio, lo mismo le sucede al conjunto de ceros (salvo que f sea idnticamente e 1 nula), y as salvo en este caso, f resulta ser una funcin meromorfa que tiene polos , o donde f tiene ceros y viceversa. El hecho fundamental para tratar con funciones meromorfas desde un punto de vista algebraico es que si D1 D2 son dominios complejos, la restriccin M(D2 ) M(D1 ) es o inyectiva y, ms concretamente, es un monomorsmo de cuerpos, de modo que podemos a considerar a M(D2 ) como subcuerpo de M(D1 ). As en particular, para operar con , funciones meromorfas podemos restringirnos a cualquier abierto sucientemente pequeo n como para excluir los polos de todas las funciones involucradas. Lo mismo sucede con la derivacin: si f es una funcin meromorfa en D, en los puntos o o donde es nita, tenemos denida tambin su derivada f , la cual se extiende de forma e unica a una funcin meromorfa en D (aunque en este caso puede probarse que f siempre o tiene polos donde f los tiene). Sucede que todas las cuestiones tcnicas sobre derivabilidad, dominios de denicin, e o etc. a que dan lugar las funciones meromorfas son irrelevantes para los resultados que queremos probar, y por ello nos ser muy cmodo desembarazarnos de ellas considerando a o un marco de trabajo abstracto puramente algebraico, en el contexto de cuerpos arbitrarios. En realidad vamos a restringirnos a trabajar con cuerpos con una propiedad adicional que no supone ninguna restriccin para nuestros nes: Recordemos que un cuerpo K tiene o caracterstica cero si el homomorsmo natural Z K dado por n n 1 es inyectivo, es decir, si n 1 = 0 siempre que n = 0, lo cual se traduce, ms en general, en que n = 0 a para todo n Z y todo K no nulos. Observemos que la caracter stica 0 depende unicamente de lo que sucede al sumar 1 consigo mismo muchas veces, por lo que si un cuerpo tiene caracter stica 0 lo mismo le sucede a todos sus subcuerpos y a todas sus extensiones. En particular, C y todos los cuerpos M(D) tienen caracter stica 0. Denicin 2.1 Una derivacin en un cuerpo K es una aplicacin K K, que reo o o presentaremos por f f , tal que, para todo f , g K, cumple las dos propiedades siguientes: (f + g) = f + g , (f g) = f g + f g . 3

Un cuerpo diferencial es un cuerpo en el que tenemos denida una derivacin. En lo o sucesivo supondremos tcitamente que todos los cuerpos diferenciales que consideramos a son de caracterstica 0. Por abuso de lenguaje, llamaremos funciones a los elementos de un cuerpo diferencial arbitrario, aunque en principio no decimos nada sobre la naturaleza conjuntista de sus elementos. En estos trminos podemos decir que, si D C es un dominio, entonces M(D) es un e cuerpo diferencial con la derivacin usual de funciones meromorfas. o Observemos ahora que las propiedades bsicas de la derivacin usual de funciones son a o vlidas en este contexto general. Por ejemplo, en todo cuerpo diferencial se cumple la a regla de derivacin del cociente: o f g pues f = g y basta despejar (f /g) . Tambin es fcil demostrar inductivamente que (f n ) = nf n1 f , para todo f K y e a todo entero n (con f = 0 si n < 0). A partir de aqu una simple induccin sobre m demuestra la identidad siguiente, que , o enunciamos como teorema para referencias posteriores: Teorema 2.2 Si K es un cuerpo diferencial, a1 , . . . , am K son funciones no nulas y n1 , . . . , nm Z, entonces a a (an1 anm ) 1 m = n1 1 + + nm m . n1 nm a1 a m a1 am Es conocido que una funcin meromorfa sobre un dominio (que es conexo, por deo nicin) tiene derivada nula si y slo si es constante. Por ello, en un cuerpo diferencial o o cualquiera K, denimos el subcuerpo de las constantes como el conjunto C = { K | = 0}. Es fcil probar que, ciertamente, C es un subcuerpo de K. Notemos que la prueba a requiere comprobar que 0 y 1 son constantes. En el caso del 1 esto se debe a que 1 = (1 1) = 1 1 + 1 1 = 1 + 1 , u a luego 1 = 0. Para el caso del 0 la prueba es an ms simple. Ahora es inmediato que la suma, el producto, el opuesto y el inverso de constantes es constante. 4 f g =g f f +g g g , = f g fg , g2

Cuando uno de los factores es constante, la regla del producto se reduce a (f ) = f . En otras palabras, la derivacin es una aplicacin C-lineal de K en K. o o Segn hemos indicado, en el caso de M(D), el cuerpo de las constantes est formado u a por las funciones constantes en el sentido usual, que podemos identicar con el cuerpo C de los nmeros complejos. u Recordemos que se dice que un cuerpo K es una extensin de otro cuerpo k (o que o k K es una extensin de cuerpos, si k es un subcuerpo de K. Diremos que k K es o una extensin de cuerpos diferenciales, o que k es un subcuerpo diferencial de K, si K es o un cuerpo diferencial y k es un subcuerpo tal que la derivada de toda funcin de k est o a tambin en k, de modo que k se convierte en un cuerpo diferencial con la restriccin de e o la derivacin de K. o Por ejemplo, ya hemos observado que si D1 D2 son dominios complejos, la restriccin o induce un monomorsmo de cuerpos M(D2 ) M(D1 ). Si f M(D2 ) y z D1 es un punto donde f es nita, la derivada f (z) est denida localmente, lo que se traduce en a que f (z) = (f |D1 ) (z) y, en denitiva, tenemos que f |D1 = (f |D1 ) . Esto signica que, al considerar a M(D2 ) como subcuerpo de M(D1 ), de hecho se trata de un subcuerpo diferencial. Recordemos tambin que si k K es una extensin de cuerpos y S K, se llama e o adjuncin de S a k al cuerpo k(S) formado por los elementos de K de la forma o p(s1 , . . . , sn ) , q(s1 , . . . , sn ) donde n N, p, q k[X1 , . . . , Xn ], s1 , . . . , sn S y q(s1 , . . . , sn ) = 0. Equivalentemente, k(S) es el menor subcuerpo de K que contiene a k y a S. Cuando el conjunto S = {s1 , . . . , sn } es nito escribimos tambin k(s1 , . . . , sn ) en e lugar de k(S). Cuando K = k(S) se dice que S es un sistema generador de K sobre k. Cuando K = k(s) se dice que la extensin es simple y que s es un elemento primitivo de o la extensin. o Por ejemplo, si en M(C) llamamos z a la funcin identidad (es decir, f (z) = z), o el subcuerpo C(z) est formado por las funciones que se expresan como cocientes de a polinomios en z (con coecientes en C). Son las llamadas funciones racionales. Es claro que la derivada de una funcin racional es de nuevo una funcin racional, por lo que C(z) o o es un subcuerpo diferencial de M(C). En realidad, esto es un caso particular del teorema siguiente: Teorema 2.3 Sea k K una extensin de cuerpos diferenciales y S K. El cuerpo o k(S) es un subcuerpo diferencial de K si y slo si para todo s S se cumple que s k(S). o Demostracion: Una implicacin se sigue inmediatamente de la denicin de subo o cuerpo diferencial. Supongamos ahora que las derivadas de elementos de S permanecen en k(S) y consideremos un monomio M = sn1 snm , 1 m 5

donde k y si S. Una simple induccin sobre n = n1 + + nm demuestra que o M k(S). Esto implica a su vez que la derivada de todo polinomio p(s1 , . . . , sn ) con coecientes en k est en k(S), y esto implica a su vez que lo mismo es vlido para todo a a cociente de polinomios, es decir, para todo elemento de k(S). A continuacin damos la denicin abstracta de funcin elemental que seguidamente o o o particularizaremos al caso de los cuerpos de funciones meromorfas. Denicin 2.4 Si k K es una extensin de cuerpos diferenciales, diremos que una o o funcin1 f K es elemental sobre k si existe una cadena de subcuerpos o k = K0 K1 Kn K ndice i, se cumple que Ki = Ki1 (ti ), y ti se encuentra de modo que f Kn y, para cada en uno de los tres casos siguientes: 1. ti es algebraico sobre Ki1 , es decir, existe un polinomio p(X) Ki1 [X] no nulo tal que p(ti ) = 0. 2. ti es no nulo y existe una funcin f Ki1 tal que f = ti /ti , en cuyo caso diremos o que ti es una exponencial de f . 3. Existe una funcin f Ki1 no nula tal que ti = f /f , en cuyo caso diremos que ti o es un logaritmo de f . Si D C es un dominio, podemos considerar a C(z) M(C) M(D) como subcuerpo diferencial de M(D). Llamaremos funciones elementales en D a las funciones de M(D) que son elementales sobre C(z) en el sentido de la denicin anterior. o A continuacin demostraremos algunas propiedades bsicas de las funciones elemeno a tales. En la seccin siguiente mostraremos ejemplos concretos. Empezamos con un par o de precisiones sobre la denicin de funcin elemental: o o Teorema 2.5 Todos los cuerpos Ki que aparecen en la denicin anterior son subcuerpos o diferenciales de K. En particular, si f K es elemental, f tambin lo es. e Demostracion: Razonamos por induccin sobe i. Obviamente, K0 = k es un o subcuerpo diferencial de K. Si esto es cierto para Ki1 , tenemos que Ki = Ki1 (ti ), luego basta probar que ti Ki . Esto es trivial si ti es una exponencial o un logaritmo de una funcin f Ki1 , pues en el primer caso ti /ti = f Ki1 , con lo que ti = ti f Ki , o y en el segundo ti = f /f Ki1 Ki . Nos falta considerar el caso en que la funcin ti es algebraica sobre Ki1 . Esto signica o que
n

cj tj = 0, i

j=0

Recordemos que llamamos funciones a los elementos arbitrarios de un cuerpo diferencial, aunque no sean necesariamente funciones en el sentido conjuntista.

para ciertos cj Ki1 no todos nulos. Podemos suponer que n es el m nimo natural tal que existe un polinomio no nulo de grado n con coecientes en Ki1 que se anula en ti . Derivando obtenemos que
n

c0 +
j=1

(cj tj + jcj tj1 ti ) = 0, i i

luego ti =

n j=0 n j=1

cj tj i Ki ,

jcj tj1 i

donde observamos que el denominador es no nulo porque se trata de un polinomio en ti con coecientes en Ki1 de grado2 n 1, luego no puede anularse sobre ti por la minimalidad de n. Teorema 2.6 Si k K es una extensin de cuerpos diferenciales y f1 , . . . , fm K son o funciones elementales sobre k, entonces existe una cadena de cuerpos k = K0 K1 Kn K en las condiciones de la denicin 2.4 tal que f1 , . . . , fm Kn . o Demostracion Razonamos por induccin sobre m. Para m = 1 se trata de la propia o denicin de funcin elemental. Supongamos el teorema cierto para m 1 y sea o o k = K0 K1 Kn K una cadena de subcuerpos tal que f1 , . . . , fm1 Kn . Como fm es elemental, existe otra cadena k = L 0 L1 Lr K en las condiciones de 2.4 tal que fm Lr . Pongamos que Li = Li1 (ui ) y denamos recurrentemente Kn+i = Kn+i1 (ui ). As tenemos una cadena de subcuerpos k = K0 Kn Kn+1 Kn+r K que cumple la denicin 2.4, pues inductivamente se prueba que Li1 Kn+i1 y, si la o funcin ui es algebraica sobre Li1 , o es una exponencial o un logaritmo de un elemento o de Li1 , a fortiori cumple lo mismo con Kn+i1 . Adems, f1 , . . . , fm Kn+r . a De aqu deducimos varias propiedades: Teorema 2.7 Si k K es una extensin de cuerpos diferenciales, entonces el conjunto o Ke de las funciones f K elementales sobre k es un subcuerpo diferencial de K.
2

Aqu usamos por primera vez nuestra hiptesis de que los cuerpos diferenciales son de caracter o stica 0.

 Demostracion: Si f , g K son elementales sobre k, por el teorema anterior existe una cadena de subcuerpos k = K0 Kn K, segn la denicin 2.4 tal que f , g Kn y, como ste es un subcuerpo, tambin contiene u o e e a f + g, f g, f y 1/f (si f = 0). Esto prueba que Ke es un subcuerpo de K y el teorema 2.5 prueba que, de hecho, se trata de un subcuerpo diferencial. Teorema 2.8 Sea k K una extensin de cuerpos elementales y sea Ke el subcuerpo o diferencial de las funciones f K elementales sobre k. Entonces: 1. Toda funcin f K algebraica sobre Ke est en Ke . o a 2. Toda exponencial y todo logaritmo de una funcin g Ke est en Ke . o a Demostracion: Si f K es algebraica sobre Ke , esto signica que existe un polinomio no nulo P (X) con coecientes en Ke tal que P (f ) = 0. Por el teorema 2.6, existe una cadena de subcuerpos k = K0 K1 Kn K que cumpla la denicin 2.4 de modo que todos los coecientes de P (X) estn en Kn . Proo e longando la cadena con Kn+1 = Kn (f ) tenemos una nueva cadena que sigue cumpliendo la denicin 2.4 (porque f es algebraica sobre Kn ) y ahora f Kn+1 , luego f Ke . o Si f es una exponencial o un logaritmo de una funcin g Ke , entonces tomamos una o cadena segn la denicin 2.4 tal que g Kn y la prolongamos con Kn+1 = Kn (f ), y u o nuevamente concluimos que f Ke . Ejercicio Probar que si k K es una extensin de cuerpos diferenciales, el cuerpo Ke o de las funciones f K elementales sobre k es el menor subcuerpo diferencial de K que contiene a k y que es cerrado para elementos algebraicos, exponenciales y logaritmos (es decir, el menor subcuerpo que contiene a k y cumple el teorema anterior). Teorema 2.9 Si D1 D2 son dominios en C, entonces la restriccin a D1 de una o funcin elemental sobre D2 es elemental sobre D1 . o Demostracion: Basta tener presente que la restriccin M(D2 ) M(D1 ) es un o monomorsmo de cuerpos que nos permite identicar a M(D2 ) con un subcuerpo diferencial de M(D1 ). Por ello, si f M(D2 ) cumple la denicin 2.4 con una cadena de o cuerpos C(z) = K0 K1 Kn M(D2 ), al aplicar la restriccin obtenemos una cadena idntica o e C(z) = K0 K1 Kn M(D2 ) M(D1 ) 8

que prueba que f , vista como elemento de M(D1 ), es decir, identicada con f |D1 , es tambin elemental. e En general, la composicin de funciones elementales no es elemental, porque no es o cierto que la composicin de funciones meromorfas sea una funcin meromorfa. Por o o z ejemplo, las funciones 1/z y e son meromorfas en C, pero su composicin e1/z tiene una o singularidad esencial en 0, luego no es meromorfa en C. No obstante, s que es cierto que la composicin de una funcin holomorfa con una funcin meromorfa es meromorfa,3 y a o o o continuacin probamos que si ambas son elementales, la composicin tambin lo es: o o e Teorema 2.10 Sean D1 y D2 dominios complejos, sean f M(D1 ), g M(D2 ) funciones elementales y supongamos que D1 f 1 [D2 ] y que f no tiene polos en D1 . Entonces f g es elemental en D1 . Demostracion: Consideremos una cadena de cuerpos C(z) = K0 K1 Kn M(D2 ) u o o o tal que g Kn , segn la denicin de funcin elemental. Vamos a probar, por induccin sobre i, que, para todo h Ki , se cumple que f h es elemental sobre D1 . En particular, esto implica que lo es f g. Para i = 0 es trivial pues, si h C(z), entonces f h es un cociente de polinomios evaluados en f , y es elemental porque las funciones elementales sobre D1 forman un cuerpo. Supongamos que es cierto para i 1 y sea Ki = Ki1 (ti ). Basta probar que f ti es elemental sobre D1 , ya que todas las dems funciones de Ki son cocientes de polinomios a evaluados en ti , luego las composiciones correspondientes son cocientes de polinomios evaluados en f ti , que sern elementales de nuevo porque las funciones elementales sobre a D1 forman un cuerpo. Ante todo, segn hemos indicado antes del teorema, como f es holomorfa y ti es u meromorfa, sabemos que f ti M(D1 ). Supongamos en primer lugar que ti es algebraica sobre Ki1 , es decir, que existen cj Ki1 tales que
n j=0

cj tj = 0. i

Ms concretamente, esto signica que a

n j=0

cj (z)ti (z)j = 0

para todo z D2 donde sean nitas tanto ti como las cj (que es todo D2 salvo un conjunto discreto de puntos). Entonces
n j=0
3

cj (f (z))ti (f (z))j = 0

Toda funcin meromorfa es un cociente de dos funciones holomorfas, luego la composicin de una o o funcin holomorfa con una meromorfa es tambin cociente de dos funciones holomorfas, con lo que es o e meromorfa.

para todo z D1 donde sean nitas las composiciones f cj y f ti . Esto es equivalente a que n (f cj )(f ti )j = 0.
j=0

Por hiptesis de induccin, las funciones f cj pertenecen al cuerpo M(D1 )e de las o o funciones elementales sobre D1 , y la igualdad anterior muestra que f ti es algebraico sobre este cuerpo, luego, por el teorema 2.8, tambin f ti es elemental. e o Similarmente, si ti es una exponencial de una funcin g Ki1 , esto signica que ti (z) = g (z) ti (z) para todo z D2 donde todas las funciones involucradas sean nitas, luego ti (f (z)) = g (f (z)) ti (f (z)) o o para todo z D1 donde todas las funciones sean nitas. Por hiptesis de induccin tenemos que f g es elemental sobre D1 y t (f (z))f (z) ti (f (z)) = i = g (f (z))f (z), ti (f (z)) ti (f (z)) es decir, (f ti ) = (f g) , f ti luego f ti es una exponencial de f g, luego es elemental sobre D1 por el teorema 2.8. Igualmente se razona que si ti es un logaritmo de una funcin g Ki1 , entonces f ti o es un logaritmo de f g, sta es elemental sobre D1 por hiptesis de induccin y f ti lo e o o es entonces de nuevo por 2.8.

Funciones elementales reales

Finalmente estamos en condiciones de denir la nocin de funcin elemental (de vao o riable real) que estbamos persiguiendo: a Denicin 3.1 Diremos que una funcin continua f : [a, b] R es elemental si existe o o un dominio [a, b] D C tal que f se extiende a una funcin (meromorfa) elemental o sobre D. De la denicin se sigue que toda funcin elemental es innitamente derivable en un o o intervalo abierto que contiene a [a, b]. Las propiedades que hemos probado en la seccin anterior sobre funciones elementales o complejas nos dan fcilmente propiedades anlogas para las funciones elementales reales. a a Empecemos con un hecho tcnico: e 10

Teorema 3.2 Si f1 , . . . , fn : [a, b] R son funciones elementales, existe un dominio [a, b] D C tal que todas las funciones dadas se extienden a funciones holomorfas elementales sobre D. Demostracion: En principio, segn la denicin, cada fi se extiende a una funcin u o o meromorfa elemental sobre un dominio complejo Di . Como fi es continua en [a, b], la extensin no puede tener polos sobre [a, b]. Como el conjunto de polos no puede tener o puntos de acumulacin en Di , para cada x [a, b] existe un disco Dx , centrado en x y o contenido en todos los dominios Di , que no contiene ningn polo de ningn fi . La unin u u o D de los Dx es claramente un dominio (conexo) contenido en todos los Di y que contiene a [a, b]. Cada fi se restringe a una funcin holomorfa elemental en D (teorema 2.9) que, o obviamente, sigue extendiendo a la funcin correspondiente sobre [a, b]. o De aqu se siguen varias consecuencias bsicas: a Teorema 3.3 La suma y el producto de funciones elementales sobre un intervalo [a, b] es elemental, as como el cociente si el denominador no se anula en ningn punto de [a, b]. u Demostracion: Si f y g son elementales en [a, b], por el teorema anterior se extienden a funciones elementales sobre un mismo dominio complejo D, luego f + g, f g y f /g son tambin elementales en D, luego tambin lo son en [a, b], salvo en el caso del cociente, en e e el que hemos de exigir adems que g no se anule en ningn punto para que el cociente sea a u continuo en [a, b]. Teorema 3.4 La composicin de funciones elementales es elemental. o Demostracion: Supongamos que f : [a, b] [c, d] y g : [c, d] R son elementales. Entonces f se extiende a una funcin holomorfa en un dominio complejo D1 y g se o extiende igualmente a un dominio complejo D2 . Mediante el mismo argumento empleado en la prueba del teorema 3.2 podemos suponer que D1 f 1 [D2 ], y as podemos aplicar el teorema 2.10 para concluir que f g es elemental en D1 , luego tambin en [a, b]. e Hasta aqu no hemos dado ningn ejemplo concreto de funcin elemental. No obstante, u o hay un ejemplo obvio: Teorema 3.5 Los polinomios (con coecientes reales) son funciones elementales sobre cualquier intervalo [a, b]. Lo mismo sucede con los cocientes de polinomios cuyo denominador no se anula en [a, b]. Demostracion: Todo polinomio se extiende a una funcin de C(z) M(C), y toda o funcin de C(z) es trivialmente elemental sobre C(z). El caso del cociente se sigue del o teorema 3.3. Veamos ahora los ejemplos que se siguen inmediatamente de la denicin abstracta de o funcin elemental: o 11

Teorema 3.6 La funcin exponencial ex es elemental en todo intervalo [a, b]. o Demostracion: La exponencial real ex se extiende a la funcin exponencial compleja o z e M(C). Basta probar que sta es elemental en el sentido complejo. Ahora bien, ez e es una exponencial de z en el sentido abstracto de la seccin anterior, pues o z =1= (ez ) . ez

La funcin z es elemental y toda exponencial de una funcin elemental es elemental. o o

Teorema 3.7 Si 0 < a < b, la funcin log x es elemental en [a, b]. o Demostracion: La funcin log x se extiende a una funcin holomorfa log z denida o o sobre todo el abierto H = C \ ], 0[. Basta probar que este logaritmo complejo es elemental. Para ello basta observar que log z es un logaritmo de z, pues (log z) = z 1 = . z z

Como la funcin z es elemental, la funcin log z tambin lo es. o o e Ahora es inmediato que la funcin o ax = ex log a , para a > 0, es elemental en cualquier intervalo (porque es composicin del polinomio o x x log a con la funcin elemental e ), al igual que las funciones o loga x = log x , log a x = e log x , n x = x1/n ,

para a > 0, R, n 2, en cualquier intervalo [u, v] con 0 < u < v. Si n es un nmero natural impar, la funcin n x tambin elemental en cualquier u o e es intervalo [u, v] con u < v < 0, pues la podemos denir como n x = n x, pero no es elemental en intervalos que contengan al cero porque no es derivable en 0. El teorema siguiente muestra la importancia de admitir funciones de variable compleja para conseguir una denicin sencilla de funcin elemental: o o Teorema 3.8 Las funciones sen x, cos x son elementales en cualquier intervalo cerrado. Demostracion: Las funciones seno y coseno se extienden a funciones holomorfas sen z y cos z denidas sobre todo el plano complejo. Basta probar que son elementales en el sentido complejo. Nos basamos en las relaciones eiz eiz sen z = , 2i 12 eiz + eiz cos z = . 2

Hemos de probar que estas funciones son elementales en el sentido complejo. Para ello observamos que eiz es una exponencial de la funcin iz, pues o (eiz ) = i = (iz) . eiz Como iz es elemental, concluimos que eiz tambin lo es, al igual que su inversa, eiz , e lo que a su vez implica que tambin son elementales las funciones sen z y cos z. e Por consiguiente, la funcin tan x tambin es elemental en cualquier intervalo en el o e que est denida. e Teorema 3.9 La funcin arctan x es elemental en cualquier intervalo. o Demostracion: Observemos que, dado un x R existen innitos nmeros reales w u tales que x = tan w, y dos cualesquiera de ellos se diferencian en un mltiplo entero de . u La funcin arctan x es, por denicin, la que toma valores en ]/2, /2[. o o Por otra parte, consideremos nuevamente el dominio H = C \ ], 0] y la rama uniforme holomorfa del logaritmo log : H C. En realidad hay tambin innitos e logaritmos holomorfos denidos sobre H, y dos cualesquiera se diferencian en un mltiplo u entero de 2i. Concretamente, tomamos como log la funcin dada por o log z = log |z| + i arg z, donde arg z es el argumento de z en ], [. Se trata del logaritmo que extiende al logaritmo real usual. Observemos ahora que si w es un nmero complejo y z = tan w, entonces u z= de donde, despejando, e2iw = sen w eiw eiw , = i iw cos w e + eiw iz 1 |z|2 + 2iRe z = . i+z 1 + |z|2 + 2 Im z

La fraccin slo toma valores en ], 0] cuando su parte imaginaria es nula, es decir, o o Re z = 0, y la parte real es negativa, es decir, |z| > 1. As pues, la funcin o arctan z = 1 iz log 2i i+z

est denida excepto en dichos puntos, en particular sobre el dominio a D = {z C | |Im z| < 1}, y es una extensin holomorfa de la funcin arco tangente real. En efecto, si z es real, la o o funcin arctan z ha de ser uno de los arcos cuya tangente es z, pero todos ellos son reales, o 13

luego es un nmero real y, como, por denicin, la parte imaginaria del logaritmo est en u o a ], [, resulta que arctan z ]/2, /2[, luego se trata del arco tangente usual. Hemos de probar que este arco tangente holomorfo es elemental. A su vez, basta probar que lo es la funcin o iz log , i+z y esto se debe a que es obviamente un logaritmo de la funcin elemental (i z)/(i + z). o Ahora es inmediato que las funciones arcsen x = arctan x , 1 x2 arccos x = arcsen x 2

son elementales en cualquier intervalo [u, v] con 1 < u < v < 1, y de aqu se sigue ya sin dicultad el carcter elemental de cualquier funcin trigonomtrica. a o e Ejercicio Probar que las funciones hiperblicas (senh, cosh, tanh, etc.) y sus inversas o son elementales. Con esto hemos probado que todas las funciones usuales son elementales. Notemos que no hemos usado en ningn momento que las funciones algebraicas sobre funciones u elementales (complejas) son elementales. Con este hecho puede probarse la existencia de muchas otras funciones elementales, pero no vamos a entrar en ello, porque nos llevar a a entrar en la teor de funciones algebraicas complejas. a

Primitivas elementales

En esta seccin daremos una condicin necesaria y suciente para que una funcin o o o tenga una primitiva elemental. Vamos a necesitar algunos resultados adicionales de la teor de extensiones de cuerpos. a Consideremos una extensin simple K = k(u). Podemos denir un homomorsmo o natural de anillos : k[X] K dado por p(X) p(u). Si u es trascendente sobre k, es decir, si no es algebraico, si no es ra de ningn polinomio no nulo de k[X], estamos diciendo que es inyectivo, y podemos z u extenderlo a un isomorsmo k(X) K, donde k(X) es el cuerpo de cocientes del anillo de polinomios k[X], dado por p(X) p(u) . q(X) q(u) Observemos que es suprayectivo por denicin de k(u). o 14

Por el contrario, si u es algebraico sobre k, esto signica que el ncleo de es un ideal u no nulo de k[X], y es conocido que todos los ideales de k[X] son principales, es decir, que estn generados por un unico elemento, un polinomio p(X), en este caso, que resulta a ser unico si exigimos que sea mnico (es decir, tenga coeciente director igual a 1). Esto o quiere decir que los polinomios q(X) que cumplen q(u) = 0 (los elementos del ncleo de u ) son exactamente los mltiplos de p(X). Este polinomio se llama polinomio mnimo de u u sobre k. Ahora induce un monomorsmo k[X]/(p(x)) K, y tambin es conocido que resulta ser igualmente un isomorsmo, lo cual no es trivial,4 e sino que nos permite concluir que los elementos de K, que en principio son cocientes de polinomios de k[X] evaluados en u, se pueden expresar de hecho como polinomios de k[X] evaluados en u. A partir de aqu vamos a suponer que k es un cuerpo diferencial y vamos a denir derivaciones en el cuerpo k(X). Para ello observamos primero que si una aplicacin o d : k[X] k[X] cumple sobre K[X] las dos propiedades que denen a las derivaciones (que tienen sentido aunque k[X] no sea un cuerpo), entonces la regla del cociente r(X) d s(X) = d(r(X))s(X) r(X)d(s(X)) s(X)2

extiende d a una derivacin d en el cuerpo k(X). En efecto, si r/s = f /g, entonces o rg = sf , luego (dr)g + r(dg) = (ds)f + s(df ), luego, multiplicando por sg: (dr)sg 2 (ds)sf g = s2 g(df ) rgs(dg), y, usando la relacin rg = sf , o (dr)sg 2 (ds)rg 2 = s2 g(df ) s2 f (dg), con lo que (dr)s s(dr) (df )g f (dg) = . 2 s g2 Esto prueba que la denicin de d no depende de la representacin como fraccin de o o o un elemento de k(X). Necesariamente, d ha de cumplir d1 = 0, por lo que dr = d(r/1) = dr, luego d extiende a d. Ahora es una simple rutina comprobar que d cumple las dos pro es la unica derivacin en k(X) piedades de la denicin de derivacin. Observemos que d o o o que extiende a d, puesto que toda derivacin en k(X) ha de cumplir la regla del cociente. o
Vase el teorema 8.6 de mi libro de lgebra. En general, el cap e a tulo VIII contiene toda la teor de a extensiones de cuerpos que necesitamos aqu (y bastante ms). a
4

15

Dicho de otro modo: para denir una derivacin en k(X) basta denirla en k[X]. o As pues, denimos dos derivaciones D0 y D1 en k(X) mediante las deniciones si guientes en k[X]: D0
n i=0

ai X i =

n i=0

ai X i ,

D1

n i=0

ai X i =

n i=0

iai X i1 .

Una comprobacin rutinaria muestra que, en efecto, D0 y D1 son derivaciones (sobre o k[X] y, por lo tanto, sobre k(X)). Adems vemos que D0 () = , para todo k, y a D0 (X) = 0, mientras que D1 () = 0, para todo k, y D1 (X) = 1. Ahora bien, si q k(X) es un elemento arbitrario, es fcil ver que la aplicacin a o D() = D0 () + qD1 () es tambin una derivacin en k(X) que extiende a la derivacin de k y adems cumple e o o a D(X) = q. Con esto tenemos casi probado el teorema siguiente: Teorema 4.1 Si k es un cuerpo diferencial y K = k(u) es una extensin simple con u o trascendente sobre k, para cada q K existe una unica derivacin en K que extiende a o la de k y que cumple u = q. Demostracion: En efecto, si u es trascendente sobre k, sabemos que k(u) es isomorfo a k(X) (y el isomorsmo hace corresponder X con u), por lo que no perdemos generalidad si suponemos que K = k(X). Ya hemos probado la existencia de la extensin que cumple o X = q, y es unica porque las reglas de derivacin implican inmediatamente que, para o todo polinomio q(X) k[X], q(X) = (D0 q)(X) + (D1 q)(X) q, a por lo que toda derivacin en k(X) que cumpla X = q est completamente determinada o sobre k[X], y por la regla del cociente est completamente determinada sobre k(X). a Ahora vamos a estudiar el caso en el que u es algebraico sobre k. Sea p(X) el polinomio m nimo de u. Fijemos un polinomio q(X) k[X] y consideremos la derivacin D asociada o a q. Vamos a ver que podemos elegir q para que se cumpla (Dp)(u) = (D0 p)(u) + q(u)(D1 p)(u) = 0. En efecto, observamos que D1 p es un polinomio (no nulo) de grado una unidad menos que p (aqu usamos que los cuerpos tienen caracter stica 0), luego (D1 p)(u) = 0 (porque, para anularse en u, el polinomio D1 p deber ser mltiplo de p, y esto es imposible), luego a u podemos despejar (D0 p)(u) q(u) = , (D1 p)(u) y sta es la condicin para que se cumpla la ecuacin. Como todo elemento de k(u) (en e o o particular el miembro derecho de la igualdad anterior) es de la forma q(u), para cierto 16

q(X) k[X], podemos elegir q(X) para que se cumpla esto, y as hemos encontrado una , derivacin D en k(X) que extiende a la de k y que adems cumple (Dp)(u) = 0. o a Esto nos permite denir una derivacin en K mediante o f (u) = (Df )(u). La denicin es correcta, pues si f (u) = g(u), entonces (f g)(u) = 0, luego (f g) = o ph, para cierto h k[X], luego (Df )(u) (Dg)(u) = D(f g)(u) = D(ph)(u) = (Dp)(u)h(u) + p(u)(Dh)(u) = 0, luego (Df )(u) = (Dg)(u). El hecho de que D sea una derivacin en k(X) que extiende a la de k implica inmeo diatamente que la derivacin que acabamos de denir en K cumple lo mismo. Con esto o tenemos probada la mitad del teorema siguiente: Teorema 4.2 Si k es un cuerpo diferencial y K = k(u) es una extensin simple con u o algebraico sobre k, entonces existe una unica derivacin en K que extiende a la de k. o Demostracion: Acabamos de probar la existencia de la extensin, y la unicidad se o debe a que todo elemento de K es de la forma q(u), para cierto q k[X], y q(u) = (D0 q)(u) + (D1 q)(u) u . Si particularizamos esta igualdad al polinomio m nimo de u obtenemos 0 = (D0 p)(u) + (D1 p)(u) u , y ya hemos razonado que (D1 p)(u) = 0, luego necesariamente u = (D0 p)(u) , (D1 p)(u)

con lo que la ecuacin (para q arbitrario) prueba que la derivacin est un o o a vocamente determinada. Vamos a necesitar el hecho de que todo cociente de polinomios puede descomponerse en suma de fracciones simples (lo que se usa para calcular primitivas de funciones racionales): Teorema 4.3 Si K es un cuerpo, todo z K(X) se descompone de forma unica como z=f+ fij j i=1 j=1 pi
n ri

donde f, fij , pi K[X], los polinomios pi son mnicos, irreducibles, distintos dos a dos, o y fij es nulo o tiene grado menor que pi (pero firi = 0). 17

 Demostracion: Sea z = u/v, con u, v K[X]. Podemos suponer que u y v son primos entre s y que v es mnico. Si v = 1 tenemos la descomposicin con f = u. En o o caso contrario consideremos un factor primo p1 de v, de modo que v = pr1 v y p no divide 1 a v . Podemos suponer que tanto p como v son mnicos. Vamos a probar que o
r1 u f1j u , = + v v j=1 pj

donde u y v son primos entre s y los polinomios f1j tienen grado menor que el grado de p1 . Si obtenemos esta descomposicin, podemos aplicar el mismo resultado a u/ y as o v sucesivamente hasta que el denominador acabe siendo 1 (lo cual ocurrir necesariamente a tras un nmero nito de pasos, porque a cada paso le quitamos un factor primo). Con u esto habremos llegado a una descomposicin de z como la que aparece en el enunciado. o Como p1 y v son primos entre s por la relacin de Bezout existen polinomios c, d tales , o que c + dp1 = 1. Esta igualdad implica en particular que p1 no divide a c, y tampoco v divide a u porque u y v son primos entre s Por lo tanto, en la divisin uc = gp1 + f1,r1 , . o el resto f1,r1 no puede ser nulo, y tiene grado menor que el de p1 . As pues, u du g + du v u1 = uc + p1 = p1 + f1,r1 = p1 + f1,r1 , v v v v donde u1 y v son primos entre s Aplicamos el mismo razonamiento a u1 / para obtener . v la descomposicin o u2 u2 2 u = p1 + f1,r1 1 p1 + f1,r1 = p + f1,r1 1 p1 + f1,r1 , v v v donde u2 y v son primos entre s (aunque ahora f1,r1 1 s puede ser 0, lo que suceder si a p1 divide a u1 ). Repetimos el proceso hasta obtener:
r1 u u r1 f1j pr1 j , = p1 + 1 v v j=1

donde cada f1j es nulo o tiene grado menor que el de p1 y u = ur es primo con v . Dividiendo entre pr1 obtenemos 1 z=
r1 u f1j u = + , v v j=1 pj 1

que es la descomposicin que buscbamos. o a Ahora vamos a probar la unicidad. Supongamos que una misma fraccin z K(X) o admite dos descomposiciones en factores simples. Pongamos que una de las descomposiciones tiene m fracciones (sin contar el polinomio inicial) y la otra n, con m n. Razonamos por induccin sobre n. Si n = 0 tenemos simplemente dos polinomios, que o trivialmente han de ser el mismo, pues ambos han de coincidir con z. 18

Consideremos una descomposicin cualquiera: o z=f+ fij j i=1 j=1 pi

n ri

Al sumar todas las fracciones correspondientes a pi , el denominador comn es pri , y el u i numerador es una suma en la que todos los sumandos son mltiplos de pi menos uno u (fi,ri = 0), luego tenemos que n hi z=f+ ri , i=1 pi u donde pi no divide a hi . Al efectuar la suma (incluyendo a f ), con denominador comn r1 rn p1 pn , el numerador es una suma de n + 1 trminos, todos los cuales son mltiplos e u u de pi menos uno, a saber, pr1 hi prn , luego el numerador no es mltiplo de pi . As 1 n pues, concluimos que, si z = u/v con u y v primos entre s y v mnico, necesariamente o v = pr1 prn y que u no es divisible entre ninguno de los pi . 1 n Con esto hemos probado que, en cualquier descomposicin de z en fracciones simo ples, los polinomios pi son necesariamente los factores irreducibles de v, y los ri son los exponentes con que aparecen en v. Consideremos de nuevo las dos descomposiciones que estamos suponiendo que tiene z. Pongamos que una contiene el sumando f1r1 /pr1 y la otra g1r1 /pr1 . Segn hemos visto, u 1 1 u u u = f1,r1 pr2 prn + mltiplos de p1 = g1,r1 pr2 prn + mltiplos de p1 , 2 n 2 n o luego p1 divide a f1,r1 g1,r1 , lo cual slo es posible si f1,r1 = g1,r1 , ya que ambos tienen grado menor que p1 . Esto signica que podemos cancelar el sumando f1,r1 /pr1 de ambas descomposiciones, 1 y as llegamos a otra fraccin que admite dos descomposiciones en factores simples de o longitudes m 1 y n 1. Por hiptesis de induccin, ambas tienen que ser iguales, luego o o las dos descomposiciones de partida tambin coinciden. e Teorema 4.4 Sea F L una extensin de cuerpos diferenciales, donde L = F (t) con t o trascendente sobre F , y supongamos que, para cada p(t) F [t], tambin p(t) F [t], y que e si p(t) es mnico e irreducible, el grado de p(t) es menor que el de p(t). Entonces, para o cada v L, la descomposicin en fracciones simples de v tiene como denominadores los o mismos polinomios irreducibles que aparecen en la descomposicin de v, pero el exponente o mximo con que cada uno de ellos aparece en v es una unidad ms que el que tiene en v. a a (En particular, este exponente mximo es siempre 2.) a Demostracion: Sea v=f+ fij j i=1 j=1 pi fij pj i 19 jfij pi . pj+1 i
n ri

la descomposicin de v en fracciones simples. Al derivar obtenemos o

n ri

v =f +
i=1 j=1

Ahora observamos que pi no divide ni a fij ni a pi , porque ambos polinomios tienen grado menor que el de pi . Por lo tanto, en la divisin eucl o dea jfij pi = gij pi + hij , el resto hij es no nulo, y tenemos
n ri

v =f +
i=1 j=1 n

fij + gij pj i

hij pj+1 i

ri fij + gij + hi,j1 f + gi1 hi,ri i1 =f + + + ri +1 . j pi pi pi i=1 j=2

En suma, hemos llegado a una expresin de la forma o v =f+

n ri +1 i=1 j=1

fij , pj i

donde fi,ri +1 = hi,ri es un polinomio no nulo de grado menor que pi . Los otros polinomios no tienen por qu tener grado menor que pi , lo cual nos obliga a dividirlos entre pi y fij e pasar el cociente al sumando anterior. As llegamos a la descomposicin de v en fracciones o simples, pero este proceso no aade nuevos polinomios irreducibles pi ni elimina ninguno, n ya que el sumando de mayor grado sigue siendo hi,r1 /pri +1 . i El teorema siguiente contiene algunos hechos tcnicos elementales que vamos a necee sitar en la prueba del resultado principal de esta seccin. Observemos que el apartado o 1. implica que las hiptesis del teorema anterior se satisfacen cuando t F . Por ejemo plo, esto sucede si L = C(z), F = C y consideramos a L como cuerpo diferencial con la derivada usual, con la que z = 1 F . Teorema 4.5 Sea F L una extensin de cuerpos diferenciales, donde L = F (t) para o un cierto t L trascendente sobre F . Supongamos adems que F y L tienen el mismo a cuerpo de constantes. 1. Si t F , para cada polinomio f (t) F [t] de grado positivo, la derivada f (t) es un polinomio en F [t] del mismo grado que f (t) si el coeciente director de f (t) no es constante, y de un grado menos si es constante. 2. Si t /t F , entonces, para todo a F no nulo y todo entero no nulo n, se cumple que (atn ) = htn , para cierto h F no nulo y, para cada polinomio f (t) F [t] de grado positivo, la derivada f (t) es un polinomio en F [t] del mismo grado, y es un mltiplo de f (t) si y slo si f (t) es un monomio. u o , Demostracion: Supongamos que t = b F y sea n > 0 el grado de f (t). As f (t) = an tn + an1 tn1 + + a0 , con ai F , an = 0. La derivada es f (t) = an tn + (nan b + an1 )tn1 + 20

Claramente, es un polinomio en t de grado n si an = 0. Si an es constante, hemos de ver que nan b + an1 = 0. En caso contrario tendr amos que (nan t + an1 ) = nan b + an1 = 0, a a luego aan t + an1 ser constante y, como F y L tienen las mismas constantes, ser aan t + an1 F , de donde t F , lo cual es imposible, porque t es trascendente sobre F . Supongamos ahora que t /t = b F . Entonces (atn ) = a tn + natn1 t = (a + nab)tn . Hemos de probar que a + nab = 0. En caso contrario, (atn ) = 0, luego atn F (por ser constante) y, como a = 0, esto implica que t es algebraico sobre F , contradiccin. o La parte ya probada, aplicada a cada monomio de f (t), implica que f (t) es un polinomio del mismo grado que f (t). Si f (t) = atn es un monomio, ya hemos visto que f (t) = (h/a)atn es mltiplo de f (t). Rec u procamente, si f (t) es un mltiplo de f (t), u el cociente ha de tener grado 0, luego ha de ser un elemento c F . Si f (t) no es un monomio, tendr al menos dos monomios no nulos f (t) = an tn + am tm + y entonces, a segn hemos visto, u f (t) = (an + nan b)tn + (am + mam b)tm + , con lo que, igualando coecientes en la relacin f (t) = cf (t) obtenemos que o an + nan b a + nam b = m , an am luego t t a an +n = m +m , an t am t luego, por el teorema 2.2: an tn am tm = (an a1 tn tm ) = (an a1 tn tm ) m m a n am t t +n m an am t t = 0.

Esto implica que an tn /am tm F , en contra nuevamente de la trascendencia de t. El teorema siguiente es una generalizacin debida a Ostrowski en 1946 de un teorema o de Liouville de 1835. Teorema 4.6 Sea F un cuerpo diferencial y F . Si la ecuacin y = tiene solucin o o elemental en una extensin diferencial de F con el mismo cuerpo de constantes, entonces o existen constantes c1 , . . . , cm F y elementos u1 , . . . , un , v F tales que
m

=
i=1

ci

ui +v. ui

21

 Demostracion: Por hiptesis tenemos una cadena de cuerpos diferenciales o F F (t1 ) F (t1 , . . . , tn ), todos con el mismo cuerpo de constantes, que cumplen la denicin 2.4 y de modo que o existe un y F (t1 , . . . , tn ) que cumple y = . Vamos a probar el teorema por induccin o sobre n. Si n = 0 entonces tiene la forma indicada con v = y, m = 0. Supongamos que el teorema es cierto para n 1. Entonces, aplicando el teorema con F (t1 ) en lugar de F , tenemos que
m

=
i=1

ci

ui +v, ui

o para ciertas constantes ci y ciertos ui , v F (t) (donde, por simplicar la notacin, llamamos t = t1 ). Vamos a distinguir tres casos, segn que t sea algebraico sobre F , la u exponencial de un elemento de F o el logaritmo de un elemento de F . Consideramos en primer lugar el caso en que t es algebraico sobre F . Sabemos que entonces todo elemento de F (t) es un polinomio de F [X] evaluado en t. Sean, pues, Ui , V F [X] tales que ui = Ui (t), v = V (t). Por otra parte, consideremos el polinomio m nimo p(X) F [X] de t sobre F . La teor de extensiones de cuerpos nos asegura que F tiene una clausura algebraica, en la a cual p(X) factoriza en la forma p(X) = (X t1 ) (X ts ), donde t1 = t. En lugar de trabajar en la clausura algebraica de F , podemos restringirnos al subcuerpo L = F (t1 , . . . , ts ). El teorema del elemento primitivo nos da que L = F (u), para un cierto u L, que es algebraico sobre F . Ms an,5 para cada a u ndice j, existe un automorsmo j : L L que deja invariantes a los elementos de F y cumple j (t1 ) = tj . Observemos que el hecho de que L = F (u) implica tambin que L = F (t)(u), y e u tambin es algebraico sobre F (t). As el teorema 4.2 nos asegura que existe una e , unica derivacin en L que extiende a la de F (t). Dicha derivacin extiende tambin a la o o e derivacin de F y, por el mismo teorema, es la unica que lo hace. En denitiva, tenemos o una cadena de extensiones de cuerpos diferenciales F F (t) L. La aplicacin en L dada por = j () es claramente una derivacin en L que o o extiende a la derivacin de F , luego ha de ser j () = para todo o ndice j y todo L. Sabemos que la igualdad
m

=
i=1
5

ci

Ui (tj ) + V (tj ) Ui (tj )

El cuerpo L es el cuerpo de escisin sobre F del polinomio p, por lo que la extensin L/F es nita o o normal, y es separable porque los cuerpos tienen caracter stica 0. Vase el teorema 8.28 de mi libro de e a lgebra.

22

se cumple en L para j = 1, porque se cumple en F (t) L. El hecho de que los automorsmos j conserven las sumas, los productos y las derivadas, y que dejen invariantes a los elementos de F (juntamente con el hecho de que los polinomios Ui , V tienen sus coecientes en F ), implica que la igualdad es cierta para todo j. Sumando en j y aplicando el teorema 2.2 obtenemos: = (V (t1 ) + + V (ts )) ci (Ui (t1 ) Ui (ts )) + . s i=1 s Ui (t1 ) Ui (ts )
m

Ahora observamos que ui = Ui (t1 ) Ui (ts ) y v = V (t1 ) + + V (ts ) permanecen invariantes por los automorsmos de L que jan a F (porque stos permutan las ra e ces 6 de p(X)), luego la teor de Galois nos asegura que ui , v F , luego llegamos a que a tiene la forma indicada en el enunciado del teorema. En los dos casos que nos falta considerar, es decir, que t sea una exponencial o un logaritmo de una funcin de F , podemos suponer adems que t es trascendente sobre F , o a pues el caso algebraico lo hemos resuelto ya. Ahora ya no podemos armar que ui y vi sean polinomios de F [X] evaluados en t, sino cocientes de polinomios. Concretamente, si ui = F (t) , G(t)

descomponiendo F y G en factores irreducibles podemos expresar ui = F1 (t)n1 Fm (t)nm , donde los exponentes son enteros no nulos y los polinomios Fi (t) son mnicos, irreducibles, o distintos dos a dos salvo quiz uno de ellos, que puede ser un elemento de F (con lo que a es una unidad de F [X] y, por denicin, no es irreducible). o El teorema 2.2 nos permite sustituir el sumando ci ui /ui en la descomposicin que o tenemos de por m sumandos anlogos correspondientes a los polinomios Fi , de modo a que podemos suponer que cada ui = Ui (t) es un polinomio mnico irreducible, o bien o ui F . Adems podemos suponer que todos los ui son distintos dos a dos, ya que si a hubiera dos sumandos iguales podr amos agruparlos en uno sumando los correspondientes coecientes ci . Obviamente, podemos suponer adems que ci = 0 para todo i. a A partir de aqu vamos a distinguir los dos casos que nos quedan. Supongamos en primer lugar que t es un logaritmo de un elemento de F , es decir, que t = a /a, para cierto a F . En particular, t F , luego el teorema anterior nos da que las derivadas de los polinomios tienen el mismo grado si el coeciente director no es constante y una unidad menos si lo es. Tenemos que v =
6

ci
i=1

ui . ui

Vase el teorema 8.36 de mi libro de lgebra. e a

23

El miembro derecho es (esencialmente) la descomposicin de v en fracciones simples. o En efecto, tenemos que , junto con los sumandos correspondientes a elementos ui F , pueden verse como un polinomio de F [t] de grado 0 (el polinomio inicial de la descomposicin). Si, por el contrario, ui F [t] es irreducible, como su coeciente director es 1 o (constante) tenemos que ci ui tiene grado menor que ui , luego es, en efecto, una fraccin o simple, y tenemos que ndices distintos corresponden a polinomios irreducibles distintos. En denitiva, hemos probado que la descomposicin de v en fracciones simples tiene o todos los denominadores irreducibles. Ahora bien, el teorema 4.4 nos asegura que, en los denominadores de la descomposicin o de v en fracciones simples, cada polinomio irreducible debe aparecer con exponente al menos 2. Esto es una contradiccin salvo que la descomposicin en fracciones simples no o o contenga fracciones simples, es decir, que se reduzca a un polinomio en F [t]. Ms concretamente, esto se traduce en que ui F para todo i, as como que v F [t]. a Ahora bien, la igualdad nos da entonces que v F (es un polinomio de grado 0) y, como el grado de v slo puede ser una unidad menos que el grado de v, ha de ser v(t) = ct + d, o para ciertos c, d F . Si c = 0, tenemos que la derivacin reduce el grado y, segn o u el teorema anterior, esto slo puede ser si c es constante (luego c es una constante en o cualquier caso). En denitiva, la igualdad se reduce ahora a
m

=
i=1

ci

ui + ct + d , ui

donde ahora ui , d F y c es constante. Si sustituimos t = a /a, llegamos a una expresin o como la que exige el enunciado. Por ultimo, consideramos el caso en que t es una exponencial de un elemento de F , es decir, que t /t = b , con b F . Si p(t) F [t] es un polinomio mnico irreducible, entonces o el teorema anterior nos da que p(t) es un polinomio del mismo grado, y ser mltiplo de a u p(t) si y slo si ste un monomio, lo cual, siendo mnico e irreducible, slo puede ser si o e o o p(t) = t. As pues, si ui F y ui = t, tenemos que ui no es mltiplo de ui , luego al dividir / u ui = gi ui + ri , se cumple que ri = 0, y tenemos ci ui r = ci gi + ci i . ui ui

Con estas descomposiciones llegamos a la descomposicin de v en fracciones simples. o (Si un ui = t entonces ui /ui = b no contribuye a la descomposicin en fracciones simples, o sino que este trmino se agrupa con el polinomio inicial.) Concluimos que, en la descome posicin de v en fracciones simples, los denominadores son los ui que no estn en F y o a que son distintos de t, y todos ellos aparecen con exponente mximo 1. a Notemos que ahora no se cumplen las hiptesis del teorema 4.4, puesto que ahora las o derivadas de los polinomios no tienen grado menor, sino igual. No obstante, si observamos la prueba de 4.4, vemos que el unico punto en el que hemos usado que el grado es menor es para asegurar que si pi es uno de los polinomios irreducibles que aparecen en 24

la descomposicin en fracciones simples, entonces pi no divide a pi , y esto sigue siendo o cierto en nuestro contexto salvo si pi = t. Como el argumento de 4.4 trata por separado a cada pi , podemos concluir de todos modos que todos los polinomios distintos de t que aparezcan en la descomposicin de v o en fracciones simples han de aparecer con exponente 2. Por lo tanto, podemos armar que ui K salvo quiz para un a ndice, para el que puede suceder ui = t. Por otra parte, v F , luego v tiene tambin grado 0, es decir, v F . e Si todos los ui estn en F , entonces ya tenemos la expresin buscada; si un ui = t, a o digamos, u1 = t, entonces = c1 es la expresin buscada. o Ejercicio Demostrar el rec proco del teorema anterior, es decir, que si tiene la forma indicada, entonces existe una extensin diferencial de F en la cual tiene una primitiva o elemental. (Ayuda: Usar el teorema 4.1 para probar que existe una extensin diferencial de F en la o
que cada ui tiene un logaritmo, y usar dichos logaritmos para denir la primitiva de .)
m t u ci i + v = + t i=2 ui m

ci
i=2

ui + (c1 b + v) ui

Ejemplos de funciones sin primitiva elemental

Vamos a aplicar el teorema 4.6 para encontrar ejemplos expl citos de funciones sin primitiva elemental. El teorema siguiente conecta el problema con las funciones de variable compleja: Teorema 5.1 Sea f : [a, b] R una funcin elemental y sea F : D C una o extensin de f a una funcin meromorfa elemental sobre un dominio complejo D. Si o o F no admite una primitiva elemental en ningn dominio D1 D, entonces la integral u f (x) dx no es elemental. Demostracion: Supongamos que existe una funcin elemental g : [a, b] R tal o o o que g (x) = f (x) para todo x [a, b]. Por denicin de funcin elemental (real), tenemos que g se extiende a una funcin meromorfa elemental en un dominio complejo que contiene o a [a, b]. El teorema 3.2 nos da un dominio complejo D1 D, que contiene a [a, b], donde estn denidas y son holomorfas tanto F como G. Como G (z) = F (z) para todo z [a, b], a el principio de prolongacin anal o tica implica que esto es cierto para todo z D1 , luego F admite una primitiva elemental en D1 , en contra de lo supuesto. Vamos a necesitar a menudo este hecho elemental: Teorema 5.2 Sea D C un dominio y sea g C(z) una funcin no constante que no o tenga polos en D. Entonces, la funcin t = eg(z) M(D) es trascendente sobre C(z). o 25

 Demostracion:7 Supongamos que t es algebraica sobre C(z) y sea p(X) = X n + a1 X n1 + + an el polinomio m nimo de t sobre C(z), donde a1 , . . . , an C(z), de modo que eng + a1 e(n1)g + + an = 0. Derivando obtenemos ng eng + (a1 + (n 1)a1 g )e(n1)g + + an = 0. As pues, t es tambin ra del polinomio e z q(X) = ng X n + (a1 + (n 1)a1 g )X (n1) + + an , que tiene grado n, porque g = 0. Como q(X) tiene tambin sus coecientes en C(z) y e p(X) es el polinomio m nimo de t, concluimos que p(X) ha de dividir a q(X). Comparando los coecientes directores, ha de ser q(X) = ng p(X), luego, en particular, an = ng an . Ahora bien, esta igualdad es imposible, pues, descomponiendo an = 0 (z 1 )n1 (z r )nr , con i C distintos dos a dos y ni Z no nulos, y aplicando el teorema 2.2, vemos que la descomposicin de an /an en fracciones simples consta unicamente de sumandos de la forma o ni /(z i ), es decir, que todos los factores primos z i aparecen con exponente 1 (y no hay polinomio inicial). Sin embargo, el teorema 4.4 nos asegura que en los denominadores de la descomposicin en fracciones irreducibles de (ng) todos los polinomios irreducibles o han de aparecer con exponente 2. Tenemos as una contradiccin. o Veamos un primer criterio prctico para reconocer el carcter no elemental de una a a funcin: o Teorema 5.3 Sea D C un dominio, sean f , g C(z) y supongamos que g no es constante y no tiene polos en D. Existe una funcin elemental y M(D) tal que y = f eg o si y slo si existe a C(z) tal que f = a + ag . o Demostracion: Una implicacin es inmediata: si se cumple esta condicin, basta o o g proco aplicamos el teorema 4.6 al cuerpo C(z, t), donde tomar y = ae . Para probar el rec t = eg . Ciertamente, = f eg C(z, t) y, si existe una funcin elemental y M(D) tal o
7 Hay una prueba muy breve de este hecho: sea E el conjunto (nito y no vac de los polos de g o) sobre la esfera de Riemann C . Entonces t es holomorfa en C \ E y tiene singularidades esenciales en los puntos de E. Si t cumpliera una ecuacin polinmica en D, ser una (rama uniforme de una) funcin o o a o algebraica en C , pero las funciones algebraicas no tienen singularidades esenciales. (Vase el cap e tulo XIV de mi libro de funciones de variable compleja.)

26

que y = , puesto que el cuerpo de constantes de M(D) es C, el mismo que el de C(z, t), el teorema nos asegura que m u ft = ci i + v , i=1 ui para ciertas constantes ci C, y ciertas funciones ui , v C(z, t). Llamemos F = C(z). El teorema anterior prueba que t es trascendente sobre F . Esto nos permite expresar cada ui F (t) en la forma ui = apr1 prn , donde ri Z, a F y 1 n los pi son polinomios mnicos irreducibles distintos dos a dos. El teorema 2.2 nos permite o descomponer cada sumando ui /ui de modo que podemos exigir que cada ui sea, o bien una funcin de F , o bien un polinomio mnico irreducible en F [t]. Adems, podemos o o a suponer que los ui son distintos dos a dos. Nos encontramos exactamente en la misma situacin del ultimo caso del teorema 4.6: o tenemos que t /t = g , luego t es una exponencial de g F ; podemos aplicar el teorema 4.5, segn el cual si p(t) es un polinomio mnico irreducible, su derivada p(t) es un polinomio u o del mismo grado, pero no ser divisible entre p(t) salvo si p(t) = t. Esto hace que el a miembro derecho de m u v = ft ci i i=1 ui sea casi la descomposicin de v en fracciones simples: si ui F [t] es irreducible y distinto o de t, dividimos ui = gi ui + ri y el resto resulta ser no nulo, con lo que obtenemos la descomposicin o u r ci i = ci gi + ci i . ui ui El ultimo sumando es una fraccin simple y el primero forma parte del polinomio inicial o de la descomposicin. Si ui = t, el sumando correspondiente es ci ui /ui = ci g F , y o tambin pertenecen a F los sumandos correspondientes a cada ui F . e En resumen, concluimos que los denominadores de las fracciones simples de v son todos irreducibles. Por otra parte, el teorema 4.4 nos permite concluir (gracias a las mismas observaciones hechas en la prueba de 4.6) que todos polinomios irreducibles que aparezcan en la descomposicin han de aparecer con exponente 2 salvo quiz t. o a La conclusin es que ui F para todo i salvo si ui = t, as como que los denomio nadores de las fracciones simples de v son todos potencias de t. Por consiguiente, dicha descomposicin se reduce a o n v= bj tj ,
j=r

donde bj F y r 0 es el exponente de t en la descomposicin. Aunque existiera un o ui = t, se cumple que m u ci i F, ui i=1 citamente: es decir, que v f t F . Expl v ft =
n j=r

(bj + jg bj )tj f t, 27

luego todos los sumandos son nulos salvo quiz el correspondiente a j = 0. En particular, a para j = 1 tenemos que b1 + g b1 f = 0, luego basta tomar a = b1 para tener la relacin o que buscbamos. a Ejemplo Si g(x) es un polinomio de grado 2, la integral eg(x) dx no es elemental. En efecto, por 5.1, basta probar que la funcin holomorfa eg(z) no admite una primitiva o elemental en ningn dominio complejo. Si la tuviera, por el teorema anterior existir una u a funcin a C(z) tal que a + ag = 1. Vamos a ver que esto es imposible. Expresemos la o ecuacin en la forma o a 1 = g a a y descompongamos en factores a = 0 (z 1 )r1 (z n )rn , con i C y ri Z. El teorema 2.2 nos da que n a ri , = a i=1 z i y sta es, pues, la descomposicin en fracciones simples de a /a. Vemos que en ella e o aparecen todos los polinomios z i con exponente 1. Lo mismo tiene que valer, pues, para 1/a, pero los unicos polinomios que pueden aparecer como denominadores en su desarrollo en fracciones simples son los divisores del denominador de su expresin como o cociente de polinomios primos entre s y stos son los que en la factorizacin de a aparecen , e o con exponente positivo. Concluimos que todos los factores de la descomposicin de a aparecen con exponente o positivo (de hecho, igual a 1), con lo que a es un polinomio, pero entonces la igualdad a + ag = 1 se vuelve claramente imposible, pues el grado de g es 1 y el de a es menor que el de a. En particular hemos probado que la integral ex
2 /2

dx,

que dene la distribucin normal, no tiene primitiva elemental. o Ejemplo El teorema de los nmeros primos arma que la funcin (x) denida como el u o nmero de nmeros primos menores o iguales que x es asintticamente igual a la integral u u o logartmica: x dt . (x) Il(x) = 2 log t

28

Vamos a probar que esta funcin tampoco es elemental. En primer lugar observamos o que el cambio de variables x = log t la transforma en ex dx, x por lo que basta ver que esta integral no es elemental. Segn el teorema 5.1, basta ver u que la funcin meromorfa ez /z no admite primitiva elemental, y por 5.3 basta probar que o la ecuacin o 1 =a+a z no tiene solucin a C(z). Razonando como en el ejemplo anterior, la expresamos en la o forma a 1 = 1 a za Nuevamente, en el desarrollo en fracciones simples del miembro izquierdo aparecen todos los polinomios z i con exponente 1, luego, en la factorizacin de a, todos los o polinomios z i han de aparecer con exponente positivo salvo quiz uno (necesariamente a igual a z, si es que aparece) que puede aparecer con exponente 1. Concluimos que a = P (z)/z, con P (z) C[z]. La ecuacin original es, por lo tanto, o P (z) P (z)z P (z) 1 = + , z z z2 o tambin e z = (z 1)P (z) + P (z)z. Comparando los grados, P (z) tiene que ser constante, pero entonces la ecuacin se o reduce a z = (z 1), y esto es imposible. Si analizamos la prueba del teorema 5.3, nos daremos cuenta de que el hecho de que la funcin considerada fuera precisamente = f t y no otra funcin cualquiera de F (t), o o slo se usa en dos ocasiones: o La primera es al justicar que los denominadores de las fracciones simples del miembro derecho de m u v = ci i ui i=1 son todos irreducibles. Pero aqu lo unico que importa es que F [t], por lo que no aporta fracciones simples al miembro derecho. Por consiguiente, este paso es vlido si a es cualquier polinomio de F [t]. Ms an, si es de la forma a u =
n j=k

aj tj ,

a a con aj F , las unicas fracciones simples que aportar al miembro derecho tendrn denominador potencia de t, luego seguir siendo cierto que todos los denominadores de las a fracciones simples que no sean potencias de t son irreducibles y, al compararlos con la 29

descomposicin de v calculada a partir de la de v, concluimos igualmente que ui F o para todo i salvo quiz en un caso, que podr ser ui = t. Por otra parte, v sigue siendo a a necesariamente de la forma n v= bj tj ,
j=r

y se ha de cumplir que v F . En este punto es donde, por segunda y ultima vez, se usa la expresin concreta de . En el caso general obtenemos la condicin o o
n j=r

(bj + jg bj aj )tj F,

lo que se traduce en que, para todo j = 0, han de existir funciones bj F tales que aj = bj + jg bj . Obviamente, estas condiciones son triviales si aj = 0, pues basta tomar bj = 0. Con esto hemos probado la siguiente generalizacin del teorema 5.3: o Teorema 5.4 Sea D C un dominio, sea g C(z) y supongamos que g no es constante y no tiene polos en D. Sea t = eg M(D), sea C(z)(t) una funcin de la forma o =
n j=k

aj tj ,

donde aj C(z). Si existe una funcin elemental y M(D) tal que y = , entonces, o para cada j = 0, existe una funcin bj C(z) tal que o aj = bj + jg bj . Ejemplo La integral no es elemental. Basta probar que la funcin meromorfa (sen z)/z no tiene primitiva elemental en o ningn dominio complejo. En primer lugar realizamos un cambio de variable: si exisu tiera una funcin elemental G(z) tal que G (z) = (sen z)/z (en un dominio complejo o cualquiera), entonces la funcin F (z) = 2iG(iz) tambin ser elemental en dicho domio e a nio, y su derivada ser a F (z) = 2G (iz) = 2 sen iz ez ez = . iz z sen x dx x

Basta probar, pues, que esta ultima funcin no admite una primitiva elemental. o Vamos a aplicar el teorema 5.4. Si llamamos t = ez , vemos que 1 1 t t1 = t1 + t. = z z z 30

Por consiguiente, si tiene una primitiva elemental, existen funciones b1 , b1 C(z) tales que 1 1 b 1 + b1 = , b1 b1 = . z z Basta probar que la primera ecuacin es imposible, pero eso ya lo hemos visto en el o ejemplo anterior (donde la incgnita se llamaba a). o Ejemplo Si f (x) es un polinomio de grado 2, las integrales sen f (x) dx, no son elementales. En efecto, basta probar que las funciones holomorfas sen f (z) = eif (z) eif (z) 2i y cos f (z) = eif (z) + eif (z) 2 y cos f (x) dx

no tienen primitiva elemental en ningn dominio complejo. Si la tuvieran, multiplicando u la primitiva por 2i o por 2, respectivamente, obtendr amos una primitiva elemental de las funciones = eg(z) eg(z) , donde llamamos g(z) = if (z). Basta probar, pues, que estas funciones no tienen primitiva elemental. Para aplicar el teorema 5.4 llamamos t = eg(z) y observamos que = t t1 tiene la forma adecuada. La condicin necesaria para j = 1 es que exista b1 C(z) tal que o b1 + g b1 = 1, pero ya hemos demostrado que esta ecuacin no tiene solucin al estudiar la integrabilidad o o g(z) de e . Ejercicio Probar que la integral
variable t = ex .)

ee dx no es elemental (Ayuda: Considerar el cambio de log log x dx no es elemental. (Ayuda: Integrar por ex log x dx no es elemental.

Ejercicio Probar que la integral

partes.)

Ejercicio Probar que la integral

Referencias

Rosenlicht, M. Integration in Finite Terms, Amer. Math. Monthly, Vol. 79, No 9, (1972) pp. 963972.

31