En matemáticas , las funciones auxiliares son una construcción importante en la teoría de números trascendentales . Son funciones que aparecen en la mayoría de las demostraciones en esta área de las matemáticas y que tienen propiedades específicas y deseables, como tomar el valor cero para muchos argumentos o tener un cero de orden alto en algún punto. [1]
Las funciones auxiliares no son un tipo de función definido rigurosamente, sino que son funciones que se construyen explícitamente o al menos se demuestra que existen y que contradicen alguna hipótesis asumida o prueban de otro modo el resultado en cuestión. Crear una función durante el curso de una prueba para probar el resultado no es una técnica exclusiva de la teoría de la trascendencia, pero el término "función auxiliar" suele referirse a las funciones creadas en esta área.
Debido a la convención de nomenclatura mencionada anteriormente, las funciones auxiliares pueden remontarse a su origen simplemente observando los primeros resultados en la teoría de la trascendencia. Uno de estos primeros resultados fue la prueba de Liouville de que existen los números trascendentales cuando demostró que los llamados números de Liouville eran trascendentales. [2] Lo hizo descubriendo un criterio de trascendencia que estos números satisfacían. Para derivar este criterio, comenzó con un número algebraico general α y encontró alguna propiedad que este número necesariamente satisfaría. La función auxiliar que utilizó en el curso de la demostración de este criterio fue simplemente el polinomio mínimo de α, que es el polinomio irreducible f con coeficientes enteros tales que f (α) = 0. Esta función puede usarse para estimar qué tan bien se puede estimar el número algebraico α mediante números racionales p / q . Específicamente, si α tiene grado d al menos dos, entonces demostró que
y también, utilizando el teorema del valor medio , que existe alguna constante que depende de α, digamos c (α), tal que
Combinando estos resultados se obtiene una propiedad que el número algebraico debe satisfacer; por lo tanto, cualquier número que no satisfaga este criterio debe ser trascendental.
La función auxiliar en la obra de Liouville es muy simple, simplemente un polinomio que se anula en un número algebraico dado. Este tipo de propiedad es la que suelen satisfacer las funciones auxiliares: se anulan o se vuelven muy pequeñas en puntos determinados, lo que suele combinarse con el supuesto de que no se anulan o no pueden ser demasiado pequeñas para derivar un resultado.
Otro caso simple y temprano se da en la prueba de Fourier de la irracionalidad de e , [3] aunque la notación utilizada generalmente disfraza este hecho. La prueba de Fourier utilizó la serie de potencias de la función exponencial :
Al truncar esta serie de potencias después de, digamos, N + 1 términos, obtenemos un polinomio con coeficientes racionales de grado N que, en cierto sentido, está "cerca" de la función e x . En concreto, si observamos la función auxiliar definida por el resto:
Entonces, esta función (un polinomio exponencial ) debería tomar valores pequeños para x cercanos a cero. Si e es un número racional, entonces, al hacer que x = 1 en la fórmula anterior, vemos que R (1) también es un número racional. Sin embargo, Fourier demostró que R (1) no podía ser racional eliminando todos los denominadores posibles. Por lo tanto, e no puede ser racional.
Hermite amplió el trabajo de Fourier aproximando la función e x no con un polinomio sino con una función racional , es decir, un cociente de dos polinomios. En particular, eligió los polinomios A ( x ) y B ( x ) tales que la función auxiliar R definida por
podría hacerse tan pequeño como quisiera alrededor de x = 0. Pero si e r fuera racional, entonces R ( r ) tendría que ser racional con un denominador particular, pero Hermite podría hacer que R ( r ) fuera demasiado pequeño para tener tal denominador, de ahí una contradicción.
Para demostrar que e era de hecho trascendental, Hermite llevó su trabajo un paso más allá al aproximar no sólo la función e x , sino también las funciones e kx para números enteros k = 1,..., m , donde supuso que e era algebraica con grado m . Al aproximar e kx mediante funciones racionales con coeficientes enteros y con el mismo denominador, digamos A k ( x ) / B ( x ), pudo definir funciones auxiliares R k ( x ) mediante
Para su contradicción, Hermite supuso que e satisfacía la ecuación polinómica con coeficientes enteros a 0 + a 1 e + ... + a m e m = 0. Al multiplicar esta expresión por B (1), notó que implicaba
El lado derecho es un número entero y, por lo tanto, al estimar las funciones auxiliares y demostrar que 0 < | R | < 1, derivó la contradicción necesaria.
Las funciones auxiliares esbozadas anteriormente pueden calcularse y trabajarse con ellas explícitamente. Un gran avance de Axel Thue y Carl Ludwig Siegel en el siglo XX fue la comprensión de que estas funciones no necesariamente necesitan ser conocidas explícitamente: puede ser suficiente saber que existen y tienen ciertas propiedades. Utilizando el principio del palomar, Thue, y más tarde Siegel, lograron demostrar la existencia de funciones auxiliares que, por ejemplo, tomaban el valor cero en muchos puntos diferentes, o tomaban ceros de orden superior en un conjunto más pequeño de puntos. Además, demostraron que era posible construir tales funciones sin hacerlas demasiado grandes. [4] Sus funciones auxiliares no eran funciones explícitas, por lo tanto, pero al saber que existía una determinada función con ciertas propiedades, utilizaron sus propiedades para simplificar las pruebas de trascendencia del siglo XIX y proporcionar varios resultados nuevos. [5]
Este método fue retomado y utilizado por varios otros matemáticos, incluidos Alexander Gelfond y Theodor Schneider, quienes lo usaron independientemente para demostrar el teorema de Gelfond-Schneider . [6] Alan Baker también utilizó el método en la década de 1960 para su trabajo sobre formas lineales en logaritmos y, en última instancia, el teorema de Baker . [7] A continuación se describe otro ejemplo del uso de este método en la década de 1960.
Sea β igual a la raíz cúbica de b/a en la ecuación ax 3 + bx 3 = c y supongamos que m es un entero que satisface m + 1 > 2 n /3 ≥ m ≥ 3 donde n es un entero positivo.
Entonces existe
de tal manera que
El teorema del polinomio auxiliar establece
En la década de 1960, Serge Lang demostró un resultado utilizando esta forma no explícita de funciones auxiliares. El teorema implica tanto el teorema de Hermite-Lindemann como el de Gelfond-Schneider . [8] El teorema trata de un cuerpo de números K y funciones meromórficas f 1 ,..., f N de orden como máximo ρ , al menos dos de las cuales son algebraicamente independientes, y tales que si derivamos cualquiera de estas funciones, el resultado es un polinomio en todas las funciones. Bajo estas hipótesis, el teorema establece que si hay m números complejos distintos ω 1 ,...,ω m tales que f i (ω j ) está en K para todas las combinaciones de i y j , entonces m está acotado por
Para demostrar el resultado, Lang tomó dos funciones algebraicamente independientes de f 1 ,..., f N , digamos f y g , y luego creó una función auxiliar que era simplemente un polinomio F en f y g . Esta función auxiliar no podía enunciarse explícitamente ya que f y g no se conocen explícitamente. Pero usando el lema de Siegel, Lang mostró cómo hacer F de tal manera que se anulara a un orden alto en los m números complejos ω 1 ,...,ω m . Debido a esta anulación de orden alto, se puede demostrar que una derivada de orden alto de F toma un valor de tamaño pequeño uno de los ω i s, "tamaño" aquí se refiere a una propiedad algebraica de un número. Usando el principio del módulo máximo, Lang también encontró una manera separada de estimar los valores absolutos de las derivadas de F , y usando resultados estándar que comparan el tamaño de un número y su valor absoluto, mostró que estas estimaciones se contradecían a menos que se mantuviera el límite reclamado en m .
Después de los innumerables éxitos obtenidos con el uso de funciones auxiliares existentes pero no explícitas, en la década de 1990 Michel Laurent introdujo la idea de los determinantes de interpolación. [9] Estos son alternantes: determinantes de matrices de la forma
donde φ i son un conjunto de funciones interpoladas en un conjunto de puntos ζ j . Dado que un determinante es simplemente un polinomio en las entradas de una matriz, estas funciones auxiliares sucumben al estudio por medios analíticos. Un problema con el método era la necesidad de elegir una base antes de poder trabajar con la matriz. Un desarrollo de Jean-Benoît Bost eliminó este problema con el uso de la teoría de Arakelov [10] y la investigación en esta área está en curso. El ejemplo a continuación da una idea del sabor de este enfoque.
Una de las aplicaciones más simples de este método es una demostración de la versión real del teorema de Hermite-Lindemann . Es decir, si α es un número algebraico real distinto de cero, entonces e α es trascendental. Primero, supongamos que k es un número natural y n un múltiplo grande de k . El determinante de interpolación considerado es el determinante Δ de la matriz n 4 × n 4
Las filas de esta matriz están indexadas por 1 ≤ i 1 ≤ n 4 / k y 1 ≤ i 2 ≤ k , mientras que las columnas están indexadas por 1 ≤ j 1 ≤ n 3 y 1 ≤ j 2 ≤ n . Por lo tanto, las funciones en nuestra matriz son monomios en x y e x y sus derivadas, y estamos interpolando en los puntos k 0,α,2α,...,( k − 1)α. Suponiendo que e α es algebraico, podemos formar el cuerpo numérico Q (α, e α ) de grado m sobre Q , y luego multiplicar Δ por un denominador adecuado , así como todas sus imágenes bajo las incrustaciones del cuerpo Q (α, e α ) en C . Por razones algebraicas, este producto es necesariamente un entero, y utilizando argumentos relacionados con los wronskianos se puede demostrar que no es cero, por lo que su valor absoluto es un entero Ω ≥ 1.
Usando una versión del teorema del valor medio para matrices es posible obtener también un límite analítico en Ω, y de hecho, usando la notación O grande tenemos
El número m está fijado por el grado del campo Q (α, e α ), pero k es el número de puntos en los que estamos interpolando, por lo que podemos aumentarlo a voluntad. Y una vez que k > 2( m + 1)/3 tendremos Ω → 0, contradiciendo eventualmente la condición establecida Ω ≥ 1. Por lo tanto, e α no puede ser algebraico después de todo. [11]