{"entities":{"Q1460301":{"pageid":1471041,"ns":120,"title":"Item:Q1460301","lastrevid":70295247,"modified":"2026-04-13T13:48:46Z","type":"item","id":"Q1460301","labels":{"en":{"language":"en","value":"Sur le probl\u00e8me des moments. III."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2598200"}},"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":"Q1460301$FAD1829C-D612-4AD0-9C26-5B96CA8723C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9f8df18a3851a4a2cdf3b3ee72f421426071df6","datavalue":{"value":{"text":"Sur le probl\u00e8me des moments. III.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1460301$E846C35E-86E9-4D10-A8DC-1CE9587F73AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ef7f7f4e75023efe074ed41221c5b4243557757","datavalue":{"value":"49.0195.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1460301$9FBB76B5-2D25-473D-B4AC-6A63C6FE2AB7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b759376ffc98932cb106f310e39419465e229361","datavalue":{"value":{"entity-type":"item","numeric-id":560188,"id":"Q560188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1460301$DD219EA5-27E5-4006-BD2C-91079AB9A9B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29f5b93ec8a510d7156ef7b86b53efcf0b19b0fb","datavalue":{"value":{"time":"+1923-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":"Q1460301$3E487354-39C1-4BEC-9B2A-13865AE11344","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a691ac739509d9899054f49129ad62c04e0237f8","datavalue":{"value":"W\u00e4hrend f\u00fcr die beiden ersten Noten des Verf. zum gleichen Thema (Ark. 16, Nr. 12 u. 19) die volle Beweisf\u00fchrung noch aussteht und auch deren Besprechung daher einem weiteren Zeitpunkte vorbehalten bleiben soll, werden hier abschlie\u00dfende Resultate gegeben und begr\u00fcndet, die sich \u00fcbrigens zum Teil mit den fast gleichzeitigen, auf ganz anderem Wege abgeleiteten von R. Nevanlinna decken (Ann. Ac. Scient. Fenn. 18, Nr. 5; 1922).  Mit Stridsberg wird in bekannter Weise jedem Polynom  \\[  f(t) = x_0 + x_1t + \\cdots + x_n t^n  \\]  sein symbolisch bezeichnetes Moment  \\[  f(c) = x_0c_0 + x_1 c_1 + \\cdots + x_n c_n  \\]  zugeordnet. Man erh\u00e4lt so eine distributive Funktionaloperation, die als positiv bezeichnet wird, wenn aus \\(f(t) \\geqq 0\\) f\u00fcr \\(-\\infty < t< \\infty\\) auch \\(f(c) \\geqq 0\\) folgt; diese Bedingung ist bekanntlich notwendig und hinreichend daf\u00fcr, da\u00df das Momentenproblem  \\[  \\int_{-\\infty}^\\infty t^n \\, d\\varphi(t) = c_n; \\quad n = 0, 1, 2, \\dots \\tag{1}  \\]  eine nichtfallende L\u00f6sung \\(\\varphi(t)\\) zul\u00e4\u00dft; auch die Folge der \\(c_n\\) hei\u00dfe dann positiv. Hier werden nun erg\u00e4nzende Kriterien f\u00fcr die Ein- bzw. Vieldeutigkeit der L\u00f6sung aufgestellt. Die Methode l\u00e4\u00dft sich auf den Fall von Momenten in bezug auf beliebige linear unabh\u00e4ngige Grundfunktionen \\(\\lambda_0(t), \\dots, \\lambda_n(t), \\dots\\) statt der Potenzen \\(1, \\dots, t^n, \\dots\\) ausdehnen.  Zum Grundsystem \\(1, \\dots, t^n, \\dots\\) werde eine weitere, nicht polynomische Funktion \\(F(t)\\) adjungiert; es sei \\(F_*(t)\\) ein beliebiges ``unteres'' Polynom zu \\(F(t)\\) mit \\(F_*(t) \\leqq F(t)\\) f\u00fcr beliebige reelle \\(t\\), \\(F^*(t)\\) ein ``oberes'' solches Polynom mit \\(F^*(t) \\geqq F(t)\\), \\(\\underline F(c)\\) und \\(\\bar F(c)\\) seien die obere bzw. untere Grenze der zugeh\u00f6rigen Momente \\(F_*(c)\\) bzw. \\(F^*(c)\\). Existiert kein \\(F_*(t)\\) bzw. \\(F^*(t)\\), so setze man \\(\\underline F(c) = -\\infty\\) bzw. \\(\\bar F(c) = +\\infty\\); i. a. wird dann \\(-\\infty \\leqq \\underline F(c) \\leqq \\bar F(c) \\leqq +\\infty\\). Es gilt der folgende Hauptsatz:  Sei \\(F(t)\\) f\u00fcr \\(-\\infty < t < \\infty\\) eine beliebige nicht polynomische stetige Funktion, deren absoluter Betrag f\u00fcr hohe \\(|t|\\) langsamer wachst als eine endliche Potenz von \\(|t|\\). Damit das Momentenproblem (1) mit \\(d\\varphi(t) \\geqq 0\\) eindeutig l\u00f6sbar sei, ist notwendig und hinreichend, da\u00df man stets habe:  \\[  \\underline F(c) = \\bar F(c).  \\]  Im allgemeinsten Falle einer positiven Folge \\(c_n\\) kann man zum Grundsystem \\(1, \\dots, t^n, \\dots\\) ein weiteres \\(F_1(t), \\dots, F_m(t), \\dots\\) schrittweise adjungieren, wobei man jeweilig, wie oben, die untere und obere Grenze in bezug auf die fr\u00fcheren Funktionen bestimme; im Falle der Verschiedenheit dieser Grenzen w\u00e4hle man f\u00fcr das zugeordnete Moment \\(F_m(c)\\) irgend einen Wert zwischen jenen beiden. Nunmehr sei \\(\\xi_1, \\dots, \\xi_m, \\dots\\) eine abz\u00e4hlbare Menge von reellen Werten, die zwischen \\(-\\infty\\) und \\(+\\infty\\) \u00fcberall dicht liegen, und man w\u00e4hle jetzt:  \\[  \\begin{aligned} F_m(t) & = \\begin{cases} 1 & \\text{ f\u00fcr } t \\leqq \\xi_m,\\\\ 0 & \\text{ f\u00fcr } t > \\xi_m; \\end{cases} \\\\ \\varphi(\\xi_m) & = F_m(c). \\end{aligned}  \\]  \\(\\varphi(\\xi_m)\\) ist eine nirgends fallende Funktion, deren entsprechende Erg\u00e4nzung f\u00fcr alle reellen \\(t\\) ohne weiteres m\u00f6glich ist; dieses \\(\\varphi(\\xi_m)\\) stellt tats\u00e4chlich eine L\u00f6sung des Momentenproblems (1) dar.  Diese sehr allgemeine L\u00f6sung verlangt den im oben festgesetzten Sinne positiven Charakter der Folge \\(c_0, \\dots, c_n, \\dots\\), wof\u00fcr nun neue Kriterien gegeben werden. Unter allen Polynomen mit \\(h(\\alpha) = 1\\) bei gegebenem, beliebig komplexem \\(\\alpha\\), sei dasjenige gesucht, f\u00fcr das \\(|h(c)| =\\) Min. ausf\u00e4llt; m. a. W. soll  \\[  \\sum_{i, k = 0}^n c_{i+k} x_i \\bar{\\varkappa}_k = \\text{ Min } = \\varrho_n(\\alpha) \\text{ f\u00fcr } x_0 + x_1\\alpha + \\cdots + x_n\\alpha^n = 1 \\tag{2}  \\]  erreicht werden. Man findet:  \\[  \\begin{aligned} h(t) & = \\begin{vmatrix} 0 & t^k \\\\ \\bar \\alpha^i & c_{i+k} \\end{vmatrix}_0^n : \\begin{vmatrix} 0 & \\alpha^k \\\\ \\bar \\alpha^i & c_{i+k} \\end{vmatrix}_0^n; \\\\ \\varrho_n(\\alpha) & = -| c_{i+k}|_0^n : \\begin{vmatrix} 0 & \\alpha^k \\\\ \\bar \\alpha^i & c_{i+k} \\end{vmatrix}_0^n; \\end{aligned} \\tag{3}  \\]  \\(\\varrho_n(\\alpha)\\) f\u00e4llt mit absolut wachsendem Imagin\u00e4rteil \\(|y|\\) von \\(\\alpha = x + iy\\); dagegen kann \\(\\varrho_n (\\alpha) > 0\\) nat\u00fcrlich mit \\(n\\) nicht wachsen, so da\u00df  \\[  \\varrho(\\alpha) = \\lim_{n\\to\\infty} \\varrho_n(\\alpha) \\tag{4}  \\]  sicher existiert; das Momentenproblem (1) ist [mit \\(d\\varphi(t) \\geqq 0\\)] eindeutig l\u00f6sbar, falls f\u00fcr alle komplexen \\(\\alpha\\) \\,\\, \\(\\varrho(\\alpha) = 0\\) ausf\u00e4llt; hierf\u00fcr gen\u00fcgt, da\u00df \\(\\varrho(\\alpha)\\) wenigstens in einem einzigen Punkte verschwinde.  Die erhaltenen Resultate beleuchten und erg\u00e4nzen in vieler Hinsicht manches fr\u00fcher Gewonnene, insbesondere die Stieltjes-Hamburgersche Kettenbruchtheorie des Problems. Das beste direkte Kriterium der Arbeit f\u00fcr die Bestimmtheit der L\u00f6sung ist die Beschr\u00e4nktheit von \\(\\varliminf \\dfrac{\\root\\uproot 3{2n}\\of{c_{2n}}}{n}\\), was mehr besagt als die fr\u00fcheren Resultate der Literatur, mit Ausnahme des Carlemanschen Kriteriums:  \\[  \\sum \\frac{1}{\\root\\uproot 3{2n}\\of{c_{2n}}} \\to \\infty.  \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1460301$590AB07D-10E5-4CEF-81D6-529D64CE390B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba94dccd39c6ffbc36ba7ae60cff5fed1f42eaf4","datavalue":{"value":"2598200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1460301$0D50E4E4-C60A-4F5A-B098-A1960D5512BA","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":"Q1460301$68843055-2CAE-4959-9082-D1B9D5310534","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c0929a50f6b9722ea255de60d003998e7c46e5","datavalue":{"value":{"entity-type":"item","numeric-id":6481427,"id":"Q6481427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1460301$76DDB1DA-69AF-4ADD-936A-4B1C5313BB72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sur le probl\u00e8me des moments. III.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sur_le_probl%C3%A8me_des_moments._III."}}}}}