Aproximación diofántica

En teoría de números, las aproximaciones diofánticas (llamadas así en honor al matemático griego Diofanto) tratan de las aproximaciones de números reales por medio de números racionales.

El valor absoluto de la diferencia entre el real a aproximar y el racional que se aproxima, es una medida cruda, no dice nada acerca de «la calidad» de la aproximación, ya que es posible encontrar racionales arbitrariamente cerca (el conjunto de los números racionales es denso en el conjunto de los números reales).

Una medición más sutil de la calidad de la aproximación, es comparar la distancia entre los denominadores de dos números racionales que se aproximan a un número real.

Aproximación a números algebraicos

La teoría de las fracciones continuas aplicada a la raíz cuadrada y a otros números irracionales, fue estudiada por Fermat y Euler, entre otros. En 1840, Joseph Liouville obtiene un importante resultado relacionado con los números algebraicos (véase número de Liouville), lo que le permitió construir las primeras demostraciones de ejemplos de números trascendentales.

Si x es un número irracional algebraico de grado n sobre los números racionales, entonces existe una constante c(x) > 0 tal que

${\frac {c(x)}{q^{n}}}<\left|x-{\frac {p}{q}}\right|$

para cualesquiera enteros p y q con q > 0.

El resultado de Liouville (mejorado, entre otros por Axel Thue) se expresa actualmente como el teorema de Roth: el exponente en el teorema original pasó de ser n ─el grado del número algebraico─ a todo número mayor a 2 (i.e. 2 + ε). Subsecuentemente, Wolfgang M. Schmidt generalizó este resultado al caso de las aproximaciones simultáneas. Las pruebas son difíciles y no efectivas, esto significa que los resultados o sus demostraciones no se pueden usar para acotar el tamaño de las soluciones a las ecuaciones diofánticas asociadas; sin embargo, en algunos casos sí pueden utilizarse para limitar el número de soluciones de dichas ecuaciones.

Aleksandr Khinchin demostró que si

$\phi :\mathbb {N} \rightarrow \mathbb {R} ^{>0}$

es una función no creciente y$\sum _{q}\phi (q)<\infty$, entonces para casi todos los números reales x (no necesariamente algebraicos), hay a lo sumo una cantidad finita de racionales p/q con q no nulo y

$\left|x-{\frac {p}{q}}\right|<{\frac {\phi (q)}{|q|}}.$

Análogamente, si la suma diverge, entonces para casi todos los números reales hay una cantidad infinita de tales números racionales p/q.

En 1941, R.J. Duffin y A.C. Schaeffer​ probaron un teorema más general (conjetura Duffin–Schaeffer) que implica el resultado de Khinchine. En 2006, V. Beresnevich y S. Velani probaron una medida de Hausdorff análoga a la conjetura, publicado en los Annals of Mathematics.​

Hay muchas técnicas y resultados disponibles; el más general es el de los límites inferiores para formas lineales en logaritmos, desarrollado por Alan Baker. Un refinamiento del teorema de Baker por Fel'dman implica que si x es un número algebraico de grado n sobre los números racionales, entonces existen efectivamente constantes computables c(x) > 0 y 0 < d(x) < n tales que

${\frac {c(x)}{|q|^{d(x)}}}<\left|x-{\frac {p}{q}}\right|$

es cierto para todo entero racional con q distinto de cero.

Distribución uniforme

Dentro de este ámbito, se desarrolla la teoría de la distribución uniforme mod 1. Sea la sucesión a₁, a₂,... de números reales y considérese sus partes fraccionarias; esto es, de manera más abstracta: sea la sucesión de R/Z, que es un círculo. Para todo intervalo I del círculo, la proporción de los elementos de la sucesión que está contenida en ella, a menos de un entero N, y compárese con la proporción de la circunferencia que ocupa I. Distribución uniforme significa que en el límite, a medida que N crece, la proporción que ocupa en el intervalo tiende al valor 'esperado'. Hermann Weyl provee una resultado básico que muestra la equivalencia con cotas para sumas exponenciales formadas por la sucesión. Esto muestra que la aproximación diofántica está muy relacionada con el problema general de cancelación en sumas exponenciales, la cual ocurre a lo largo de la teoría analítica de números en la cota de términos de error.

Relacionado con la distribución uniforme, es el concepto de distribución de irregularidades, de naturaleza combinatoria.

Problemas inconclusos

Todavía hay problemas de simple formulación, dentro de las aproximaciones diofánticas, como por ejemplo la conjetura de Littlewood.​

Resultados recientes

En su ponencia plenaria en el Congreso Internacional de Matemáticos en Kyoto (1990), Grigory Margulis señaló un vasto programa basado en la teoría ergódica que permite demostrar resultados de la teoría de números utilizando las propiedades dinámicas y ergódicas de las acciones de subgrupos de grupos de Lie semisimples. El trabajo de D. Kleinbock, G. Margulis, y sus colaboradores, demostró el poder de este nuevo enfoque a los problemas clásicos de las aproximaciones diofánticas. Entre estos notables éxitos, están las demostraciones de la conocida conjetura de Oppenheim por Margulis, con posteriores extensiones de Dani y Margulis y Eskin–Margulis–Mozes, y la prueba de las conjeturas de Bakerand y Sprindzhuk en las aproximaciones diofánticas de variedades por Kleinbock y Margulis. Varias generalizaciones de los resultados precedentes por Aleksandr Khinchin en aproximaciones diofánticas métricas han sido obtenidas también dentro de este marco.

Véase también

• Lema de Siegel
• Teorema de Hurwitz (teoría de números)

Referencias

• J.W.S. Cassels (1957). An introduction to Diophantine approximation. Cambridge Tracts in Mathematics and Mathematical Physics 45. Cambridge University Press. 
• Kleinbock, D; Margulis, G (1998). «Flows on homogeneous spaces and Diophantine approximation on manifolds». Ann. Math. 148 (1): 339-360. JSTOR 120997. doi:10.2307/120997. MR 1652916. 

• Lang, S (1995). Introduction to Diophantine Approximations (New Expanded edición). Springer-Verlag. ISBN 0-387-94456-7. 
• Grigory Margulis, Diophantine approximation, lattices and flows on homogeneous spaces. A panorama of number theory or the view from Baker's garden (Zürich, 1999), 280–310, Cambridge Univ. Press, Cambridge, 2002 MR 1975458 ISBN 0-521-80799-9.
• Wolfgang M. Schmidt. Diophantine approximation. Lecture Notes in Mathematics 785. Springer. (1980 [1996 with minor corrections])
• Wolfgang M. Schmidt.Diophantine approximations and Diophantine equations, Lecture Notes in Mathematics, Springer Verlag 2000
• Sprindzhuk, V (1979). Metric theory of Diophantine approximations. John Wiley & Sons, New York. ISBN 0-470-26706-2. MR 0548467. 

Enlaces externos

• Diophantine Approximation: historical survey. From Introduction to Diophantine methods course by Michel Waldschmidt.
• Secuencia de baja discrepancia en: Low-discrepancy sequence (en inglés)
• Teorema de Davenport–Schmidt en: Davenport–Schmidt theorem (en inglés)