Ver el código de «Problema de Waring»

El '''problema de Waring''' es un famoso problema de [[teoría de números]]. Fue propuesto por [[Edward Waring]] en 1779 en su obra ''Meditationes Algebraicae''. Waring enunció, sin demostrar, que todo [[número natural]] puede expresarse como suma de no más de [[teorema de los cuatro cuadrados|cuatro cuadrados]] o 9 cubos o 18 cuartas potencias...; en general, de ''s'' potencias ''k''-ésimas positivas. La conjetura fue demostrada por primera vez en 1909 por [[David Hilbert]] conociéndose actualmente como el '''teorema de Hilbert-Waring'''.<ref>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)</ref> 

El problema de Waring tiene su propia clasificación en matemáticas, "El problema de Waring y variantes."

== 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 [[Claude Gaspard Bachet de Méziriac|Bachet]] del libro Aritmética de [[Diofanto]] en 1621; [[Pierre de Fermat|Fermat]] obtuvo una prueba, pero no la publicó<ref>{{cita libro | apellidos= Dickson | nombre= Leonard Eugene | enlaceautor= Leonard Eugene Dickson | título= History of the Theory of Numbers, Volume II: Diophantine Analysis | editorial= [[Carnegie Institution of Washington|Carnegie Institute of Washington]] | fecha= 1920 | capítulo= Chapter VIII}}</ref>

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

''g''(3) = 9 fue establecido de 1909 a 1912 por [[Arthur Wieferich|Wieferich]]<ref>{{enlace roto|1={{cita publicación | apellido= Wieferich | nombre= Arthur | enlaceautor= Arthur Wieferich | título= Beweis des Satzes, daß sich eine jede ganze Zahl als Summe von höchstens neun positiven Kuben darstellen läßt | revista= Mathematische Annalen | volumen= 66 | páginas= 95–101 | fecha= 1909 | url= http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?did=D38240 | doi= 10.1007/BF01450913 }} |2=http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?did=D38240 |bot=InternetArchiveBot }}</ref> y A. J. Kempner,<ref>{{enlace roto|1={{cita publicación | apellido= Kempner | nombre= Aubrey | título= Bemerkungen zum Waringschen Problem | revista= Mathematische Annalen | volumen= 72 | páginas= 387–399 | fecha= 1912 | url= http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?did=D28751 | doi= 10.1007/BF01456723 }} |2=http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?did=D28751 |bot=InternetArchiveBot }}</ref> ''g''(4) = 19 en 1986 por R. Balasubramanian, F. Dress, y J.-M. Deshouillers,<ref>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</ref><ref>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</ref> ''g''(5) = 37 en 1964 por [[Chen Jingrun]], y ''g''(6) = 73 en 1940 por [[Subbayya Sivasankaranarayana Pillai|Pillai]].<ref>Pillai, S. S. ''On Waring's problem g(6)=73'', Proc. Indian Acad. Sci. '''12A''', pp. 30-40</ref>

[[Euler]] conjeturó que, con [''x''] y {''x''} denotando la parte entera y la [[parte fraccionaria]] de ''x'' respectivamente, g (k)=2<sup>''k''</sup>+[(3/2)<sup>''k''</sup>]-2.<ref>[http://mathworld.wolfram.com/EulersConjecture.html Euler's Conjecture - from Wolfram MathWorld<!-- Bot generated title -->]</ref> Después el trabajo de [[Leonard Eugene Dickson|Dickson]], Pillai, Rubugunday y [[Ivan M. Niven|Niven]]<ref>{{cita publicación|autor= Niven, Ivan M.|enlaceautor= Ivan M. Niven|título= An unsolved case of the Waring problem|revista= [[American Journal of Mathematics]]|volumen= 66|páginas= 137–143|año= 1944|url = http://links.jstor.org/sici?sici=0002-9327%28194401%2966%3A1%3C137%3AAUCOTW%3E2.0.CO%3B2-Q|número= 1|doi = 10.2307/2371901}}</ref> expandieron esta idea, y ahora, con un poco de ambigüedad, todos los valores de ''g'' son conocidos:

:g (k)=2<sup>''k''</sup>+[(3/2)<sup>''k''</sup>]-2 &nbsp; si &nbsp; 2<sup>''k''</sup>{(3/2)<sup>''k''</sup>}+[(3/2)<sup>''k''</sup>]≤ 2<sup>''k''</sup>

:g (k)=2<sup>''k''</sup>+[(3/2)<sup>''k''</sup>]+[(4/3)<sup>''k''</sup>]-2 &nbsp; si &nbsp; 2<sup>''k''</sup>{(3/2)<sup>''k''</sup>}+[(3/2)<sup>''k''</sup>]>2<sup>''k''</sup> &nbsp; y &nbsp; [(4/3)<sup>''k''</sup>][(3/2)<sup>''k''</sup>]+[(4/3)<sup>''k''</sup>]+[(3/2)<sup>''k''</sup>]=2<sup>''k''</sup>

:g (k)=2<sup>''k''</sup>+[(3/2)<sup>''k''</sup>]+[(4/3)<sup>''k''</sup>]-3 &nbsp; si &nbsp; 2<sup>''k''</sup>{(3/2)<sup>''k''</sup>}+[(3/2)<sup>''k''</sup>]>2<sup>''k''</sup> &nbsp; y &nbsp; [(4/3)<sup>''k''</sup>][(3/2)<sup>''k''</sup>]+[(4/3)<sup>''k''</sup>]+[(3/2)<sup>''k''</sup>]>2<sup>''k''</sup>.

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

Se ha conjeturado que 2<sup>''k''</sup>{(3/2)<sup>''k''</sup>}+[(3/2)<sup>''k''</sup>]>2<sup>''k''</sup>, el cual se ha mostrado para algunos valores finitos de ''k'' por [[Kurt Mahler|Mahler]],<ref>Mahler, K. ''On the fractional parts of the powers of a rational number II'', 1957, Mathematika, '''4''', pages 122-124</ref> de hecho nunca ocurre. Si la conjetura es cierta, este intuye que &nbsp; g (k)=2<sup>''k''</sup>+[(3/2)<sup>''k''</sup>]-2 &nbsp; 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 (número)|1]], [[4 (número)|4]], [[9 (número)|9]], [[19 (número)|19]], [[37 (número)|37]], [[Anexo:Números|73, 143, 279, 548, 1.079, 2.132, 4.223, 8.384, 16.673, 33.203, 66.190, 132.055]] ... son listados en [[OEIS|Sloane]] {{OEIS|A002804}}.

== El número ''G''(''k'') ==
Del trabajo de [[G. H. Hardy|Hardy]] y [[John Edensor Littlewood|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'' ''k''<sup>esimas</sup> potencias de enteros positivos. Es fácil mirar que ''G''(2)≥ 4 dado que todo entero congruente a 7 módulo 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. [[Harold Davenport|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 término 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:
:2<sup>''r''+2</sup> si k=2<sup>''r''</sup> con ''r'' ≥ 2, o ''k''=3·2<sup>''r''</sup>;
:p<sup>''r''+1</sup> si ''p'' es un primo más grande que 2 y ''k''=''p''<sup>''r''</sup>(p-1);
:(p<sup>''r''+1</sup>-1)/2 si ''p'' es un primo más grande que 2 ''k''=p<sup>''r''</sup>(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...):

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

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{{e|9}} 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,<ref name="x7373170279850">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</ref> 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<ref name="sixteen-biquadrates">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</ref> que cualquier número entre 13793 y 10<sup>245</sup> requiere al menos 16, y Kawada, Wooley y Deshouillers en 1939 extendieron el resultado al mostrar que cualquier número superior a 10<sup>220</sup> no requiere más de 16). 16 potencias de cuatro son siempre necesitadas para escribir un número de la forma 31·16<sup>n</sup>.

617.597.724 es el último número menor que 1.3{{e|9}} el cual requiere 10 potencias de cuatro, y 51.033.617 el último número menor que 1.3{{e|9}} el cual requiere 11.

Mejorando este resultado [[Hardy-Littlewood]], [[Ivan Matveevich Vinogradov|I. M. Vinogradov]] mostraron que
:<math>G(k)\le k(3\log k +11).</math>
[[Trevor Wooley|T. D. Wooley]] estableció el comportamiento asintótico por abajo, en notación O-Grandre,
:<math>G(k)\le k\log k+k\log\log k+O(k).</math> (Véase<ref name=Vaughan>''The Hardy-Littlewood method'', R. C. Vaughan, 2nd ed., Cambridge Tracts in Mathematics, CUP, 1997</ref> para la prueba.)

== Textos ==
* W. J. Ellison: ''Waring's problem''. [[American Mathematical Monthly]], volume 78 (1971), pp. 10-36. Survey, contiene la fórmula 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 ==
{{listaref|2}}

== Referencias ==
*{{cita libro|apellidos=Gardner|nombre=Martin|enlaceautor=Martin Gardner|título=Rosquillas anudadas|capítulo=Los problemas de Waring|año=2008|editorial=RBA|otros=Traducción: Luis Bou García}}
*Yu. V. Linnik, "An elementary solution of the problem of Waring by Schnirelman's method". ''Mat. Sb., N. Ser.'' '''12''' (54), 225–230 (1943)

== Enlaces externos ==
{{wikisource|de:David Hilbert Gesammelte Abhandlungen Erster Band – Zahlentheorie/Kapitel 11|Beweis für die Darstellbarkeit der ganzen Zahlen durch eine feste Anzahl n-ter Potenzen (Waringsches Problem)}}
*{{MathWorld|WaringsProblem|Waring's Problem}}

{{Control de autoridades}}
[[Categoría:Teoría aditiva de números]]
[[Categoría:Problemas sin resolver en teoría de números]]