{"entities":{"Q2590618":{"pageid":2601361,"ns":120,"title":"Item:Q2590618","lastrevid":44419938,"modified":"2025-11-22T19:42:55Z","type":"item","id":"Q2590618","labels":{"en":{"language":"en","value":"Sur un probl\u00e8me de Waring g\u00e9n\u00e9ralis\u00e9. I, II, III."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2510072"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590618$41A88B8D-6F57-4E8F-B47A-ADD84CDAC0DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dcd96847343cdae05d13491f15e5d69cf72934e","datavalue":{"value":{"text":"Sur un probl\u00e8me de Waring g\u00e9n\u00e9ralis\u00e9. I, II, III.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2590618$E7067639-8E87-4DD8-B86D-0A9059C56F4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9823002d738b91fd4bdc015b721b659879ea6d2","datavalue":{"value":"65.0150.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590618$0B620FE2-2EC0-4537-BE82-DB7AD32AA6C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc51c4b5886a9be7feb9abb1a5044be696c2f55a","datavalue":{"value":{"entity-type":"item","numeric-id":559334,"id":"Q559334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590618$490A0480-0903-48E7-AF02-F394A83FAF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f24bfff01c30ef226b43c9ba08ac9de32eaebc62","datavalue":{"value":{"entity-type":"item","numeric-id":1149477,"id":"Q1149477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590618$07A7FD91-6CAE-404E-9E50-C5CD3E44C2C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"765c89dd0d5f700881ed8e06991d69ac07bbaf6c","datavalue":{"value":{"entity-type":"item","numeric-id":561164,"id":"Q561164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590618$6682B521-27B3-4988-AF9C-DBA90353C736","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2590618$69FA0EAF-E1B2-4E79-9E3B-0AB06775A04E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff5ef1a95b15a51d1ed7c031c33a6db64252f62c","datavalue":{"value":"\\textbf{I.} Es seien \\(f_\\nu(x)\\) (\\(\\nu=1,\\dots,n\\)) Polynome mit ganzen Koeffizienten und den wahren Graden \\(k_\\nu\\geqq 2\\). Die \\(b_{\\mu\\nu}\\) (\\(\\mu=1,\\dots,m\\); \\(\\nu=1,\\dots,n\\)) seien ganze Zahlen. In dieser Arbeit wird dann die folgende Frage aufgeworfen: Das Gleichungssystem  \\[  \\sum_{\\nu=1}^n b_{\\mu\\nu}v_\\nu=t_\\mu\\qquad (\\mu=1,\\dots,m)  \\]  sei in ganzen \\(v_\\nu\\) l\u00f6sbar; f\u00fcr jede Primzahl \\(p\\) und jedes ganze \\(\\beta>0\\) sei ferner das System der Kongruenzen  \\[  \\sum_{\\nu=1}^n b_{\\mu\\nu} f_\\nu(y_\\nu)\\equiv t_\\mu\\pmod{p^\\beta}\\qquad (\\mu=1,\\dots,m)  \\]  in ganzen \\(y_\\nu\\) l\u00f6sbar. Ist dann auch das Gleichungssystem  \\[  \\sum_{\\nu=1}^n b_{\\mu\\nu}f_\\nu(y_\\nu)=t_\\mu\\qquad (\\mu=1,\\dots,m)\\tag{1}  \\]  in nat\u00fcrlichen Zahlen \\(y_\\nu\\) l\u00f6sbar? Gezeigt wird, da\u00df (1) in diesem Falle sogar unendlich viele derartige L\u00f6sungen hat, wofern die Matrix \\((b_{\\mu\\nu})\\) den Rang \\(m\\) hat und \u00fcberdies f\u00fcr die \\(f_\\nu\\) und \\(b_{\\mu\\nu}\\) die folgenden Bedingungen (2) und (3) erf\u00fcllt sind: Zu jedem \\(\\varepsilon>0\\) gibt es ein \\(C_1\\) bzw. \\(C_2\\) so, da\u00df, wenn \\(l<n\\) eine nat\u00fcrliche Zahl und \\(X>2\\) ist, f\u00fcr die L\u00f6sungszahl \\(N\\) bzw. \\(N^*\\) des Gleichungssystems  \\[  \\sum_{\\lambda=1}^l b_{\\mu\\lambda}(f_\\lambda(y_\\lambda)-f_\\lambda(z_\\lambda))=0 \\qquad (\\mu=1,\\dots,m)  \\]  bzw.  \\[  \\sum_{\\lambda=l+1}^{n-1} b_{\\mu\\lambda}(f_\\lambda(y_\\lambda)-f_\\lambda(z_\\lambda))=0 \\qquad(\\mu=1,\\dots,m)  \\]  in nat\u00fcrlichen Zahlen \\(y_\\lambda\\), \\(z_\\lambda\\) unter den Nebenbedingungen  \\[  \\left|f_\\lambda(y_\\lambda)\\right|\\leqq X,\\;\\left|f_\\lambda(z_\\lambda)\\right|\\leqq X  \\]  die Absch\u00e4tzung  \\[  N\\leqq C_1X^{2\\left(\\frac1{k_1}+\\cdots+\\frac1{k_l}\\right)-m+\\varepsilon}\\tag{2}  \\]  bzw.  \\[  N^*\\leqq C_2X^{2\\left(\\frac1{k_{l+1}}+\\cdots+\\frac1{k_{n-1}}\\right)-m+\\varepsilon}\\tag{3}  \\]  gilt. F\u00fcr (2) wird \u00fcberdies eine hinreichende Bedingung angegeben. Zu jedem als Grad mindestens eines \\(f_\\lambda\\) (\\(\\lambda=1,\\dots,l\\)) vorkommenden \\(k\\) gibt es n\u00e4mlich eine nat\u00fcrliche Zahl \\(s(k)\\) so, da\u00df f\u00fcr die \\(f_\\lambda\\) vom genauen Grade \\(k\\) das Gleichungssystem  \\[  \\sum_{\\sigma=1}^{s(k)}(f_\\lambda(y_\\sigma)-f_\\lambda(z_\\sigma))=0,  \\]  wenn \\(X>2\\) und \\(\\varepsilon>0\\) ist, h\u00f6chstens \\(C_3X^{\\frac2ks(k)-1+\\varepsilon}\\) L\u00f6sungen in nat\u00fcrlichen Zahlen \\(y_\\sigma\\), \\(z_\\sigma\\) mit  \\[  |f_\\lambda(y_\\sigma)|\\leqq X,\\;|f_\\lambda(z_\\sigma)|\\leqq X  \\]  gestattet, wo \\(C_3\\) nur von \\(\\varepsilon\\), nicht von \\(X\\) abh\u00e4ngt. Die durch den Index \\(\\lambda\\) gekennzeichneten Spalten der Matrix \\((b_{\\mu\\lambda})\\) (\\(\\lambda=1,\\dots,l\\)) seien ferner in eine oder mehrere Gruppen so eingeteilt, da\u00df jede Teilmatrix den Rang \\(m\\) hat und den f\u00fcr eine und dieselbe Gruppe verwendeten \\(\\lambda\\) durchweg Polynome \\(f_\\lambda\\) von gleichem Grade entsprechen; allgemein habe dieser Grad f\u00fcr genau \\(\\psi(k)\\) Gruppen den Wert \\(k\\). Nat\u00fcrlich ist weder \\(s(k)\\) noch \\(\\psi(k)\\) durch \\(k\\) eindeutig bestimmt; die hinreichende Bedingung f\u00fcr (2) besteht darin, da\u00df bei passender zul\u00e4ssiger Wahl dieser Funktionen von \\(k\\)  \\[  \\sum\\frac{\\psi(k)}{s(k)}\\geqq 1  \\]  wird, wenn man nur \u00fcber die verschiedenen unter den Graden \\(k\\) der \\(f_\\lambda\\) (\\(\\lambda=1,\\dots,l\\)) summiert.  \\textbf{II.} Hier wird zun\u00e4chst die Formel (2) bewiesen. Unter Benutzung einer Arbeit von \\textit{van der Corput} (Acta arith., Warszawa 3 (1939), 180-234; F.~d.~M. 65, 154) wird dann gezeigt, da\u00df aus (2) und der analogen Formel (3) die L\u00f6sbarkeit des diophantischen Gleichungssystems (1) in nat\u00fcrlichen Zahlen \\(y_1,\\dots,y_n\\) folgt, wofern u.~a. der nachstehende Hilfssatz bewiesen ist: Es sei \\(c\\) so gew\u00e4hlt, da\u00df f\u00fcr jedes reelle \\(x\\geqq c\\) jedes \\(f_\\nu'(x)\\) von 0 verschieden ausf\u00e4llt. \\(\\varLambda(t_1,\\dots,t_m)\\) bedeute in Abh\u00e4ngigkeit von der ganzen Zahl \\(X>2\\) die \u00fcber alle Systeme reeller Zahlen \\(\\eta_\\nu\\geqq c\\) (\\(\\nu=1,\\dots,n\\)) mit ganzen \\(v_\\nu=f_\\nu (\\eta_\\nu)\\), \\(|v_\\nu|\\leqq X\\) und  \\[  \\sum_{\\nu=1}^n b_{\\mu\\nu}v_\\nu=t_\\nu\\qquad (\\mu=1,\\dots,m)  \\]  erstreckte Summe \\(\\sum\\dfrac1{|f_1'(\\eta_1)\\cdots f_n'(\\eta_n)|}\\). Dann gibt es zu jedem \\(\\varepsilon>0\\) ein \\(C\\) mit  \\[  \\varLambda(t_1,\\dots,t_m)>CX^{\\frac1{k_1}+\\cdots+\\frac1{k_n}-m-\\varepsilon}.  \\]   \\textbf{III.} Das in I und II behandelte Problem wird dahin verallgemeinert, da\u00df an die L\u00f6sung des Gleichungssystems  \\[  t_\\mu=\\sum_{\\nu=1}^n b_{\\mu\\nu}f_\\nu(y_\\nu)\\qquad (\\mu=1,\\dots,m)  \\]  au\u00dfer den Nebenbedingungen \\(|f_\\nu(y_\\nu)|\\leqq X\\) noch f\u00fcr gewisse \\(\\nu\\) die Nebenbedingungen  \\[  y_\\nu\\equiv a_\\nu\\pmod{A_\\nu}  \\]  gestellt werden, wo \\(a_\\nu\\) zu \\(A_\\nu\\) teilerfremd gegeben ist, und da\u00df ferner die \\(y_\\nu\\) f\u00fcr diese n\u00e4mlichen ausgew\u00e4hlten \\(\\nu\\) durchweg Primzahlen sein sollen. Nimmt man zu den fr\u00fcheren Voraussetzungen noch gewisse weitere \u00fcber die Matrizen \\((b_{\\mu\\nu})\\) und \\((b_{\\mu\\nu}f_\\nu)\\) hinzu, so \u00fcbertragen sich auf diesen Fall die fr\u00fcheren Ergebnisse.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2590618$19D629AA-8272-47D0-84F2-44149647AD22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd8f509324ab304307444cc8641297a1c02cf755","datavalue":{"value":"2510072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2590618$98983CA5-3EE2-4409-8973-ADA94B6C9931","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2590618$C2A3E428-5CD3-434D-B7DB-8933E1FF76AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2590618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2590618"}}}}}