Problema de Waring

Problema de Waring

Problema de Waring

En teoría de números el Problema de Waring, propuesto en 1770 por Edward Waring, hablaba acerca de que para cualquier número natural k existe un entero positivo asociado s tal que todo número natural es la suma de al menos s kesima potencias de números naturales (por ejemplo, todo número es la suma de al menos cuatro cuadrados, o 9 cubos, o 19 números de potencia 4, etc.). La respuesta a esta pregunta es que es verdad, conocido como el Teorema de Hilbert-Waring, fue probado por Hilbert en 1909.[1] El problema de Waring tiene su propia clasificación en matemáticas, "El problema de Waring y variantes."

Contenido

El número g(k)

Para todo k, denotamos g(k) el mínimo número s de k potencias necesitadas para representar todos los enteros. Note que tenemos que g(1) = 1. Por medio de algunos cálculos vemos que 7 requiere 4 cuadrados, 23 requiere 9 cubos, y 79 requiere 19 potencias de a cuatro; estos ejemplos muestran que g(2) ≥ 4, g(3) ≥ 9, y g(4) ≥ 19. La conjetura de Waring dicen que estos valores son los mejores posibles.

El teorema de los cuatro cuadrados de Lagrange, dado en 1770, establece que todo número natural es la suma de al menos 4 cuadrados; dados que tres no son suficientes, este teorema establece que g(2) = 4. El teorema de los cuatro cuadrados de Lagrange fue conjeturado en la edición de Bachet del libro Aritmética de Diofanto en 1621; Fermat obtuvo una prueba, pero no la publicó[2]

Con los años se obtuvieron varios comportamientos asintóticos, usando sofisticadas técnicas de incremento y técnicas complejas de prueba. Por ejemplo, Liouville mostró que g(4) es al menos 53. Hardy y Littlewood mostraron que números suficientemente grandes son al suma de al menos 19 potencias de a cuatro.

g(3) = 9 fue establecido de 1909 a 1912 por Wieferich[3] y A. J. Kempner,[4] g(4) = 19 en 1986 por R. Balasubramanian, F. Dress, y J.-M. Deshouillers,[5] [6] g(5) = 37 en 1964 por Chen Jingrun, y g(6) = 73 en 1940 por Pillai.[7]

Euler conjeturó que, con [x] y {x} denotando la parte entera y la parte fraccionaria de x respectivamente, g (k)=2k+[(3/2)k]-2.[8] Después el trabajo de Dickson, Pillai, Rubugunday y Niven[9] expandieron esta idea, y ahora, con un poco de ambigüedad, todos los valores de g son conocidos:

g (k)=2k+[(3/2)k]-2   si   2k{(3/2)k}+[(3/2)k]≤ 2k
g (k)=2k+[(3/2)k]+[(4/3)k]-2   si   2k{(3/2)k}+[(3/2)k]>2k   y   [(4/3)k][(3/2)k]+[(4/3)k]+[(3/2)k]=2k
g (k)=2k+[(3/2)k]+[(4/3)k]-3   si   2k{(3/2)k}+[(3/2)k]>2k   y   [(4/3)k][(3/2)k]+[(4/3)k]+[(3/2)k]>2k.

(Este [(3/2)k] es la forma corta y usual de escribir "la parte entera de (3/2)k", y {(3/2)k} = (3/2)k - [(3/2)k].)

Se ha conjeturado que 2k{(3/2)k}+[(3/2)k]>2k, el cual se ha mostrado para algunos valores finitos de k por Mahler,[10] de hecho nunca ocurre. Si la conjetura en cierta, este intuye que   g (k)=2k+[(3/2)k]-2   para cada entero positivo k. la conjetura se ha verificado para valores pequeños de k. Los primeros valores de la conjetura para los cuales se ha probado son 1, 4, 9, 19, 37, 73, 143, 279, 548, 1.079, 2.132, 4.223, 8.384, 16.673, 33.203, 66.190, 132.055 ... son listados en Sloane A002804.

El número G(k)

De el trabajo de Hardy y Littlewood, g(k) es convertido en G(k), el cual es definido como el menor entero s tal que para todo entero suficientemente grande (todo entero más grande que una constantes) puede ser representado como las suma de al menos s kesimas potencias de enteros positivos. Es fácil mirar que G(2)≥ 4 dado que todo entero congruente a 7 modulo 8 no puede ser representado como suma de tres cuadrados. Dado que G(k) ≤ g(k) para todo k, esto muestra que G(2) = 4. Davenport mostró que G(4) = 16 en 1939, demostrando que cualquier número grande congruente a 1 o 14 mod 16 puede ser escrito como suma de 14 potencias de a cuatro (Vaughan en 1985 redujo el termino de 14 a 13). El valor exacto de G(k) es desconocido para cualquier k, pero para estas existen comportamientos asintóticos.

Comportamientos asintóticos por abajo de G(k)

El número G(k) es más grande o igual a:

2r+2 si k=2r con r ≥ 2, o k=3·2r;
pr+1 si p es un primo más grande que 2 y k=pr(p-1);
(pr+1-1)/2 si p es un primo más grande que 2 k=pr(p-1)/2;
k + 1 para todos los enteros k más grande que 1.

En la ausencia de restricciones de la congruencia, el argumento de densidad de G (k) puede ser igual a k+1.

Comportamientos asintóticos por arriba de G(k)

Los siguientes comportamientos por arriba son conocidos (G(k) es menor que...):

k          3   5   6   7   8   9  10  11  12  13  14   15   16   17   18   19   20
G(k) ≤     7  17  21  33  42  50  59  67  76  84  92  100  109  117  125  134  142

G(3) es al menos 4 (dado que los cubos son congruentes a 0, 1 o -1 mod 9); 1.290.740 es el último número menor que 1.3&veces;109 y requiere seis cubos, y el número entre N y 2N requiere 5 cubos el cual decrece a medida que aumenta N hace creer que G(3)=4; el número más grande conocido como la suma de cuatro cubos es 7.373.170.279.850,[11] y el autor da argumentos razonables por el cual puede ser el más grande posible.

13.792 es el número más grande que requiere 17 potencias de a cuatro (Deshouillers, Hennecart y Landreau mostraron en 2000[12] que cualquier número entre 13793 y 10245 requiere al menos 16, y Kawada, Wooley y Deshouillers en 1939 extendieron el resultado al mostrar que cualquier número superior a 10220 no requiere más de 16). 16 potencias de cuatro son siempre necesitadas para escribir un número de la forma 31·16n.

617.597.724 es el último número menor que 1.3&veces;109 el cual requiere 10 potencias de cuatro, y 51.033.617 el último número menor que 1.3&veces;109 el cual requiere 11.

Mejorando este resultado Hardy-Littlewood, I. M. Vinogradov mostraron que

G(k)\le k(3\log k +11).

T. D. Wooley estableció el comportamiento asintótico por abajo, en notación O-Grandre,

G(k)\le k\log k+k\log\log k+O(k). (Véase[13] para la prueba.)

Textos

  • W. J. Ellison: Waring's problem. American Mathematical Monthly, volume 78 (1971), pp. 10-36. Survey, contiene la formula precisa para g(k), una versión simplificada de la prueba de Hilbert.
  • Hans Rademacher y Otto Toeplitz, The Enjoyment of Mathematics (1933) (ISBN 0-691-02351-4). Contiene la prueba del teorema de Lagrange, asequible a estudiantes universitarios.

Notas

  1. D. Hilbert, Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl n-ter Potenzen (Waringsches Problem), Mathematische Annalen, 67, pages 281-300 (1909)
  2. Dickson, Leonard Eugene (1920). «Chapter VIII», History of the Theory of Numbers, Volume II: Diophantine Analysis. Carnegie Institute of Washington.
  3. Wieferich, Arthur (1909). «Beweis des Satzes, daß sich eine jede ganze Zahl als Summe von höchstens neun positiven Kuben darstellen läßt» Mathematische Annalen. Vol. 66. pp. 95–101. DOI 10.1007/BF01450913.
  4. Kempner, Aubrey (1912). «Bemerkungen zum Waringschen Problem» Mathematische Annalen. Vol. 72. pp. 387–399. DOI 10.1007/BF01456723.
  5. Balasubramanian, Ramachandran; Deshouillers, Jean-Marc; Dress, François, Problème de Waring pour les bicarrés. I. Schéma de la solution. (French. English summary) [Waring's problem for biquadrates. I. Sketch of the solution] C. R. Acad. Sci. Paris Sér. I Math. 303 (1986), no. 4, pp. 85-88
  6. Balasubramanian, Ramachandran; Deshouillers, Jean-Marc; Dress, François, Problème de Waring pour les bicarrés. II. Résultats auxiliaires pour le théorème asymptotique. (French. English summary) [Waring's problem for biquadrates. II. Auxiliary results for the asymptotic theorem] C. R. Acad. Sci. Paris Sér. I Math. 303 (1986), no. 5, pp. 161-163
  7. Pillai, S. S. On Waring's problem g(6)=73, Proc. Indian Acad. Sci. 12A, pp. 30-40
  8. Euler's Conjecture - from Wolfram MathWorld
  9. Niven, Ivan M. (1944). «An unsolved case of the Waring problem» American Journal of Mathematics. Vol. 66. n.º 1. pp. 137–143. DOI 10.2307/2371901.
  10. Mahler, K. On the fractional parts of the powers of a rational number II, 1957, Mathematika, 4, pages 122-124
  11. Jean-Marc Deshouillers, François Hennecart, Bernard Landreau, 7.373.170.279.850, Mathematics of Computation 69 (2000) 421--439, available at http://www.ams.org/mcom/2000-69-229/S0025-5718-99-01116-3/S0025-5718-99-01116-3.pdf
  12. Deshouillers, Hennecart, Landreau, Waring's Problem for sixteen biquadrates - numerical results, Journal de Théorie des Nombers de Bordeaux 12 (2000), 411-422; http://www.math.ethz.ch/EMIS/journals/JTNB/2000-2/Dhl.ps
  13. The Hardy-Littlewood method, R. C. Vaughan, 2nd ed., Cambridge Tracts in Mathematics, CUP, 1997

Referencias

  • Yu. V. Linnik, "An elementary solution of the problem of Waring by Schnirelman's method". Mat. Sb., N. Ser. 12 (54), 225–230 (1943)
Obtenido de "Problema de Waring"

Wikimedia foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Mira otros diccionarios:

  • Edward Waring — Saltar a navegación, búsqueda Edward Waring Nacimiento 1734 Old Heath, Shropshire, Inglaterra …   Wikipedia Español

  • Teoría analítica de números — En el ámbito de las matemáticas, la teoría analítica de números es una rama de la teoría de números que utiliza métodos del análisis matemático para resolver problemas sobre los números enteros.[1] A menudo se dice que comenzó con la introducción …   Wikipedia Español

  • Teoría de números — Nuestra teoría de números se deriva de la antigua aritmética griega de Diofanto.[1] Portada de la aritmética de Diofanto traducida al latín por Bachet de Méziriac, edición con comentarios de Pierre de Fermat publicada en 1670 …   Wikipedia Español

  • Anexo:Matemáticos importantes — En esta lista de matemáticos importantes se presenta una selección de matemáticos desde la antigüedad hasta el presente. La selección se orienta por los aportes científicos, utilizando como criterio para definir el grado de notoriedad la atención …   Wikipedia Español

  • David Hilbert — Nacimiento 23 de enero de 1862 Königsberg, Prusia Oriental Fallecimiento 14 de febrero de …   Wikipedia Español

  • Chidambaran Padmanabhan Ramanuyam — No se lo debe confundir con el matemático indio Srinivasa Ramanuyán (1887 1920). Chidambaram Padmanabhan Ramanujam[1] (Madrás, 9 de enero de 1938 − Bangalore, 27 de octubre de 1974)[2] fue un matemático indio que trabajó en los campos de la… …   Wikipedia Español

  • Cuadrado perfecto — Un número cuadrado perfecto en matemáticas, o un número cuadrado, es un número entero que es el cuadrado de algún otro; dicho de otro modo, un número cuya raíz cuadrada es un número entero. Por ejemplo, 9 es un número cuadrado perfecto ya que… …   Wikipedia Español

  • Cubo (aritmética) — Saltar a navegación, búsqueda y=x³, para valores enteros que satisfacen 1≤x≤25. En aritmética y álgebra, el cubo de un número n es la tercera potencia el resultado de multiplicar por sí mismo dos veces …   Wikipedia Español

  • Godfrey Harold Hardy — G.H. Hardy Godfrey Harold Hardy Nacimiento 7 de febrero de 1877 Cranleigh, Surrey, Inglaterra …   Wikipedia Español

  • Ivan Morton Niven — Ivan Morton Niven. Ivan Morton Niven (25 de octubre de 1915 – 9 de mayo del 1999) fue un matemático estadounidense y canadiense. Se graduó en la universidad británica Columbia y cursó el doctorado en la universidad de Chicago. Fue miembro de la… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”