{"entities":{"Q5924389":{"pageid":8058258,"ns":120,"title":"Item:Q5924389","lastrevid":33049543,"modified":"2024-03-20T01:41:40Z","type":"item","id":"Q5924389","labels":{"en":{"language":"en","value":"The inversion of the Laplace integral and the related moment problem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2538002"}},"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":"Q5924389$AAD6D664-EED3-4C7E-99D4-6D9481EFC504","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a2cc9d5187b5470c4f5d41c30207e29c0ba756b","datavalue":{"value":{"text":"The inversion of the Laplace integral and the related moment problem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5924389$F754D3A8-FC6E-41D5-B78C-8FE09C2AB3E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2a8751f275af976f3ca98a04d72be47220a9eb3","datavalue":{"value":"60.0341.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924389$FBFA18DF-D86E-413E-8955-D774E938BFB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6269c60cc2e681d6c73ae330cc4ee3763aa2a98d","datavalue":{"value":"10.2307/1989710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924389$96DB6FA4-4049-48EF-9352-AFC12E6C168F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beb8bd4693735fc806c1e876af54df4701f9b327","datavalue":{"value":{"entity-type":"item","numeric-id":566139,"id":"Q566139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924389$4A1B2F25-0DBE-463A-A446-4FC0F40208C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5924389$E6043035-6ADF-436A-BBC4-9D6B0EF196A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-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":"Q5924389$7686D54C-F129-47F9-A048-3ABD788451BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"813fc96e699c028ed4983d24baa756816d8064a1","datavalue":{"value":"\\[ \\text{I. Umkehrungsformeln} \\]    Es gibt zwei M\u00f6glichkeiten, die Koeffizienten einer Potenzreihe \\(\\sum \\limits _0^\\infty a_nz^n\\) aus der dargestellt Funktion \\(F(z)\\) zu gewinnen: \\[ a_n=\\frac 1{2\\pi i}\\oint \\frac {F(z)}{z^{\\eta +1}} dz \\] und \\[ a_n=\\frac {F^{(n)}(0)}{n!}. \\] Bei dem \\textit{Laplace}-Integral \\(f(x)=\\int \\limits _0^\\infty e^{-xt}\\varphi (t)\\) entspricht der ersten M\u00f6glichkeit die altbekannte Umkehrungsformel \\[ \\varphi (t)=\\frac 1{2\\pi i}\\int \\limits _{c-i\\infty }^{c+i\\infty }f(x)e^{xt}dx, \\]  der zweiten aber eine erst 1930 von \\textit{E. L. Post} (F. d. M. \\(56_{\\text I}\\), 349) f\u00fcr den Fall eines stetigen \\(\\varphi \\) bewiesene Formel. An diese kn\u00fcpft Verf. an und erweitert sie auf den Fall, da\u00df\\ \\(f(x)\\) durch ein \\textit{Laplace-Stieltjes}-Integral  \\[ f(x)=\\int \\limits _0^\\infty e^{-xt}d\\alpha (t) \\] bzw. durch ein \\textit{Laplace-Lebesgue}-Integral  \\[ f(x)=\\int \\limits _0^\\infty e^{-xt}\\varphi (t)dt \\] dargestellt ist.   Definition: Ein Operator \\(S_t[f(x)]\\) wird folgenderma\u00dfen definiert: \\[ S_{k,t}[f(x)]=f(\\infty )+(-1)^{k+1}\\int \\limits _{\\frac kt}^\\infty \\frac {u_k}{k!}f^{(k+1)}(u)du\\quad (k=0,1,\\dots ), \\]   \\[ S_t[f(x)]=\\underset {k\\rightarrow \\infty } \\lim S_{k,t}[f(x)]. \\]    Satz 2. Wenn \\[ f(x)=\\int \\limits _0^\\infty e^{-xt}d\\alpha (t) \\quad (\\alpha (0)=0) \\] f\u00fcr \\(x>c\\) konvergiert, dann ist der Operator \\(S_t\\) auf \\(f\\) anwendbar und liefert \\(\\alpha (t)\\):  \\[ S_t[f(x)]=\\frac {\\alpha (t+0)+\\alpha (t-0)}2. \\]    Definition: Ein Operator \\(L_t[f(x)]\\) wird folgenderma\u00dfen definiert:  \\[ L_{k,t}[f(x)]=\\frac {(-1)^k}{k!}f^{(k)}\\left (\\frac kt\\right )\\left (\\frac kt\\right )^{k+1}, \\]   \\[ L_t[f(x)]=\\underset {k\\rightarrow \\infty } \\lim L_{k,t}[f(x)]. \\]    Satz 4. Ist \\(\\varphi (t)\\) in \\((0,R)\\) f\u00fcr jedes \\(R>0\\) im \\textit{Lebesgue}schen Sinne integrabel und konvergiert \\[ f(x)=\\int \\limits _0^\\infty e^{-xt}\\varphi (t)dt \\] f\u00fcr \\(x>c\\), so ist der Operator \\(L_t\\) auf \\(f\\) anwendbar und liefert \\(\\varphi (t)\\): \\[ L_t[f(x)]=\\varphi (t) \\] f\u00fcr fast alle \\(t\\).  Satz 5. Ist \\(\\varphi (t)\\) in \\((0,R)\\) f\u00fcr jedes \\(R\\) von beschr\u00e4nkter Variation und konvergiert  \\[ F(x)=\\int \\limits _0^\\infty e^{-xt}\\varphi (t)dt \\] f\u00fcr \\(x>c\\), so ist \\[ L_t[F(x)]=\\frac {\\varphi (t+0)+\\varphi (t-0)}2. \\]   Satz 13. \\(\\alpha (t)\\) sei in \\((0,R)\\) f\u00fcr jedes \\(R>0\\) von beschr\u00e4nkter Variation und besitze in \\(t_0>0\\) eine rechts- und linksseitige Derivierte. Konvergiert \\[ f(x)=\\int \\limits _0^\\infty e^{-xt}d\\alpha (t)dt \\] f\u00fcr gewisse \\(x\\), so ist  \\[ L_{t_0}[f(x)]=\\frac {\\alpha ^\\prime +(t_0)+\\alpha _-^\\prime (t_0)}2. \\]    Beziechung zwischen den Operatoren S und L:  Ist \\[ f(x)=\\int \\limits _0^\\infty e^{-xt}\\varphi (t)dt, \\] so ist \\[ S_t[f(x)]=\\int \\limits _0^t\\varphi (u)du,\\quad L_t[f(x)]=\\varphi (t). \\]  Die iterierten Integrale von \\(S_{k,t}\\) streben f\u00fcr \\(k\\rightarrow \\infty \\) gegen die entsprechenden Integrale von \\(\\varphi \\) und die Ableitungen von \\(L_{k,t}[f(x)]\\) gegen die entsprechende Ableitungen von \\(\\varphi \\). \\[ \\text{II. Darstellung von Funktionon als \\textit{Laplace}-Integrale}. \\]    W\u00e4hrend Teil I von Funktionen handelte, deren Darstellbarkeit durch ein \\textit{Laplace}-Integral bekannt war, werden jetzt Funktionen betrachtet, f\u00fcr die die Operatoren \\(L\\) und \\(S\\) Sinn haben, und dadurch notwendige und hinreichende Bedingungen f\u00fcr die Darstellbarkeit einer Funktion als \\textit{Laplace}-Integral abgeleitet.  Satz 15. Besitz \\(F(x)\\) s\u00e4mtliche Ableitungen in \\(0<x<\\infty \\),und ist  \\[ \\left |F^{(k)}(x)\\right |<\\frac {Mk!}{x^{k+1}}\\quad (x>0;k=0,1,\\dots ), \\] so gilt:  \\[ \\underset {k\\rightarrow \\infty } \\lim \\int \\limits _0^\\infty e^{-xt}L_{k,t}[F(x)]dt=F(x). \\]    Satz 16. Besitzt \\(f(x)\\) s\u00e4mtliche Ableitungen in \\(0<x<\\infty \\), und ist \\[ \\left |\\int \\limits _x^\\infty \\frac {u^k}{k!}f^{(k+1)}(u)du\\right |<M\\quad (x>0;k=0,1,\\dots ), \\] so gilt:  \\[ \\underset {k\\rightarrow \\infty } \\lim \\int \\limits _0^\\infty e^{-xt}dS_{k,t}[f(x)]=f(x)-f(\\infty ), \\] wo \\(S_{k,0}[f(x)]\\) durch \\(f(\\infty )\\) zu definieren ist.   Verf\u00fcgt man \u00fcber Voraussetzungen, die in den S\u00e4tzen 15 und 16 die Vertauschung des Integrals mit dem Grenz\u00fcbergang \\(k\\rightarrow \\infty \\) gestatten, so besitzt man einen Darstellungssatz. So ergibt sich auf durchsichtige Weise ein von \\textit{S. Bernstein} (1929; F. d. M. \\(55_{\\text I}\\), 142) bewiesener Satz:  Satz 18. Notwendig und hinreichend daf\u00fcr, da\u00df\\ \\(f(x)\\) f\u00fcr \\(x>c\\) vollmonoton ist, d. h. Ableitungen aller Ordnungen besitzt, die den Ungleichungen \\[ (-1)^kf^{(k)}(x)\\geqq 0 \\] gen\u00fcgen, ist, da\u00df\\ \\(f(x)\\) die Gestalt  \\[ f(x)=\\int \\limits _0^\\infty e^{-xt}d\\alpha (t) \\] hat, wo \\(\\alpha (t)\\) nicht abnehmend ist und das Integral f\u00fcr \\(x>c\\) konvergiert.  \\[ \\text{III. Anwendungen.} \\]    In Verallgemeinerung von Ergebnissen von \\textit{Laguerre} (\u0152urves T. I, 1898 (F. d. M. 29, 9 (JFM 29.0009.*)), p. 29) werden S\u00e4tze von folgendem Typus bewiesen:   Satz 22. Wenn \\(\\alpha (t)\\) in jedem Intervall \\((0,R)\\) von beschr\u00e4nkter Variation ist und \\(n\\) Richtungswechsel im Intervall \\((0,\\infty )\\) hat, d. h. (abgesehen von gewissen Pr\u00e4zisierungen) wenn \\((0,\\infty )\\) in \\(n+1\\) Teilintervalle zerf\u00e4llt, wo \\(\\alpha (t)\\) abwechselnd zunehmend und abnehmend ist, so besitzt die Funktion \\[ f(x)=\\int \\limits _0^\\infty e^{-xt}d\\alpha (t) \\] h\u00f6chstens \\(n\\) Nullstellen im Konvergenzintervall des Integrals.  Ferner werden die Umkehrungsformeln aus Teil I auf die speziellen F\u00e4lle angewendet, da\u00df\\ \\(f(x)\\) eine \\textit{Dirichlet}sche oder Potenz- oder Fakult\u00e4tenreihe ist. F\u00fcr die \\textit{Stieltjes}-Transformation  \\[ f(x)=\\int \\limits _0^\\infty \\frac {d\\alpha (t)}{x+t}, \\] die ja in gewissen F\u00e4llen durch Hintereinanderschalten zweier \\textit{Laplace}-Transformationen entsteht, wird gezeigt, da\u00df\\ sie sich durch Hintereinanderschalten der Operatoren \\(L\\) und \\(S\\) umkehren l\u00e4\u00dft: \\[ S_t\\left [L_y[f(x)]\\right ]=\\frac {\\alpha (t+0)+\\alpha (t-0)}2. \\]   \\[ \\text{IV. Komplexe Variable} \\]    Bisher waren die Variablen \\(t\\) und \\(x\\) in \\(\\varphi \\) und \\(f\\) reell. Nun werden sie als komplex angesehen (und durch \\(z=x+iy\\) und \\(s=\\sigma +i\\tau \\) ersetzt) und die Funktionen als regul\u00e4r in Halbebenen vorausgesetzt. Es zeigt sich, da\u00df\\ manche Ergebnisse aus Teil I und III auf diese Erweiterung \u00fcbertragbar sind.   Satz 31. Ist \\(f(s)\\) im Unendlichen regul\u00e4r und \\(f(\\infty )=0\\), dann existiert \\(L_z[f(s)]\\) f\u00fcr alle komplexen \\(z\\) und definiert eine ganze Funktion \\(\\varphi (x)\\). Ferner ist in einer gewissen Halbebene \\[ f(s)=\\int \\limits _0^\\infty e^{-sz}\\varphi (z)dz. \\]    Satz 32. Ist \\(\\varphi (x)\\) regul\u00e4r in der Halbebene \\(x>0\\) und  \\[ f(s)=\\int \\limits _0^\\infty e^{-sz}\\varphi (z)dz \\] f\u00fcr ein \\(s\\) konvergent, so gilt \\[ \\underset {k\\rightarrow \\infty } \\lim L_{k,s}[f(s)]=\\varphi (z) \\] gleichm\u00e4\u00dfig in jedem abgeschlossenen Bereich in der Halbebene \\(x>0\\).   Satz 33. \\(f(s)\\) sei im Unendlichen regul\u00e4r und \\[ f(s)=\\int \\limits _0^\\infty e^{-sz}\\varphi (z)dz. \\] Hat \\(\\varphi (z)\\) in \\(0<|z|<l\\) \\(n\\) Nullstellen, so gibt es eine ganze Zahl \\(k_1\\), so da\u00df\\ \\(f^{(k)}(s)\\) \\(n\\) Nullstellen in \\(\\frac {k_1}l< |s|<\\infty \\) f\u00fcr \\(k\\geqq k_1\\) besitzt. \\[ \\text{V. Das Momentenproblem.} \\]    Das zur Aufgabe der Umkehrung der \\textit{Laplace}-Transformation analoge Momentenproblem, aus den \\(\\mu _n\\) die verm\u00f6ge \\[ \\mu _n=\\int \\limits _0^1t^nd\\alpha (t) \\]  zueorgnete Funktion \\(\\alpha (t)\\) zu bestimmen, l\u00e4\u00dft sich vermittels gewisser Operatoren l\u00f6sen, die aus den in Teil I benutzen dadurch entstehen, da\u00df\\ man die Ableitungen durch Differenzen und die Integrale durch Summen ersetzt.  Definition der Operatoren:  \\[ S_{k,t}\\{\\mu _n\\}=-\\mu _\\infty -\\sum \\limits _{i=n+1}^\\infty \\frac {(i+k)!}{i!k!}(-1)^{k+1} \\varDelta ^{k+1}\\mu _i\\quad \\left (n=\\left [\\frac {kt}{1-t}\\right ]\\right ), \\]   \\[ S_t\\{\\mu _n\\}=\\underset {k\\rightarrow \\infty } \\lim S_{k,t}\\{\\mu _n\\}; \\]   \\[ L_{k,t}\\{\\mu _n\\}=\\frac {(n+k+1)!}{n!k!}(-1)^k\\varDelta ^k\\mu _n\\quad \\left (n=\\left [\\frac {kt}{1-t}\\right ]\\right \\}, \\]   \\[ L_t\\{\\mu _n\\}=\\underset {k\\rightarrow \\infty } \\lim L_{k,t}\\{\\mu _n\\}. \\]    Satz 37. Ist \\(\\alpha (t)\\) von beschr\u00e4nkter Variation in \\((0,1)\\) und \\(\\alpha (1)=0\\), ist ferner \\[ \\mu _n=\\int \\limits _0^1t^nd\\alpha (t)dt\\quad (n=0,1,\\dots ), \\] so gilt fast \u00fcberall in \\((0,1)\\)  \\[ L_t\\{\\mu _n\\}=\\varphi (t). \\]    Satz 40 (Eindeutigkeitssatz). Gen\u00fcgt die Folge \\(\\{\\mu _n\\}\\) den Ungleichungen  \\[ |\\varDelta ^k\\mu _n|<\\frac {Mn!k!}{(n+k+1)!}\\quad (n,k=0,1,\\dots ), \\] so ist \\[ \\mu _m=\\underset {k\\rightarrow \\infty } \\lim \\int \\limits _0^1t^mL_{k,t}\\{\\mu _n\\}dt\\quad (m=0,1,\\dots ). \\] Ein analoger Satz gilt f\u00fcr \\(S_t\\) und \\textit{Stieltjes}-Integrale.   So wie in Teil II der \\textit{S. Bernstein}sche Satz, ergibt sich jezt hier ein Satz von \\textit{Hausdorff} (1932; F. d. M. 49, 193 (JFM 49.0193.*)).  Satz 42. Eine notwendige und hinreichende Bedingung daf\u00fcr, da\u00df\\ die Gleichungen \\[ \\mu _n=\\int \\limits _0^1t^nd\\alpha (t) \\quad (n=0,1,\\dots ) \\] eine beschr\u00e4nkte, nicht abnehmende L\u00f6sung \\(\\alpha (t)\\) besitzen, besteht darin, da\u00df\\ die Folge \\(\\{\\mu _n\\}\\) vollmonoton ist: \\[ (-1)^k\\varDelta ^k\\mu _n\\geqq 0\\quad (k,n=0,1,\\dots ). \\]    Au\u00dferdem werden noch einige S\u00e4tze bewiesen, die denen von Teil III und IV analog sind.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5924389$8C1D6AEF-4F1D-4485-9D78-9F14EA148195","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb25d8ef88b75108cbe322ad4152e7f3c0f760a9","datavalue":{"value":"2538002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924389$770EF8BA-EA62-47A4-9CAE-731D802C43A9","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":"Q5924389$0D06DE6A-A8BF-4F4E-BF9D-26586872C4F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5862eeee566fc7807f73d55937a588bd68350813","datavalue":{"value":"https://doi.org/10.2307/1989710","type":"string"},"datatype":"url"},"type":"statement","id":"Q5924389$C5385BFF-1D48-43FF-B87A-77A151E195C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b97c91383f7644f57210f8985c7918dd1776a7e8","datavalue":{"value":"W4232121282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5924389$CA9CA7EE-84E1-42EC-87AA-6F123EAF4C28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5924389","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5924389"}}}}}