{"entities":{"Q5916822":{"pageid":8033595,"ns":120,"title":"Item:Q5916822","lastrevid":39376474,"modified":"2024-12-28T05:30:58Z","type":"item","id":"Q5916822","labels":{"en":{"language":"en","value":"An integral inequality."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2564037"}},"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":"Q5916822$9F73EEE4-5B46-4613-97E9-4F8871B7B62D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f12b12c0465d24b28abc886f3362643654d924b2","datavalue":{"value":{"text":"An integral inequality.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5916822$EEC6A34F-C63D-4D14-AA07-04E5B7F44FB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ada05d7380b52e6208406ef755a1a490c25ddb1","datavalue":{"value":"56.0434.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916822$D3098EF9-5A5C-4E41-8E47-8980983597F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0e8e2f16e5044e38a454384839ea1083db5e26c0","datavalue":{"value":{"entity-type":"item","numeric-id":559407,"id":"Q559407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916822$54024505-930C-42FB-A326-F00E04D69661","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa7b89c2fb45b2a4b2542838fa1207277c05a6db","datavalue":{"value":{"time":"+1930-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":"Q5916822$E6295ED2-B315-440C-AFA1-6412AED121FE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"66bfa70f575865870847605e1c6ac3947ea846d3","datavalue":{"value":"Es handelt sich in diesen beiden Noten um den Beweis des folgenden Satzes (*): Es seien \\(m\\) und \\(n\\) Konstanten mit \\(n > m > 1\\), und es sei \\(f(x)\\) f\u00fcr \\(0\\leqq x < \\infty\\) eine reelle, eindeutige, nicht negative Funktion, f\u00fcr die das \\textit{Lebesgue}sche Integral  \\[  J = \\int\\limits_0^{\\infty} f^m dx \\tag{1}  \\]  existiert. Dann existiert auch das Integral  \\[  y=\\int\\limits_0^x f dx \\tag{2}  \\]  f\u00fcr jedes \\(x\\), und es gilt  \\[  I=\\int\\limits_0^{\\infty}\\frac{y^n}{x^{n-r}}dx\\leqq k\\left(\\int\\limits_0^{\\infty}f^mdx\\right)^{\\frac nm} = kJ^{\\frac nm}, \\tag{3}  \\]  wobei  \\[  r=\\frac nm-1,\\quad k=\\frac1{n-r-1}\\left\\{ \\frac{r\\varGamma\\left(\\dfrac nr\\right)} {\\varGamma\\left(\\dfrac1r\\right)\\varGamma\\left(\\dfrac{n-1}r\\right)} \\right\\}^r  \\]  ist. In (3) gilt das Gleichheitszeichen dann und nur dann, wenn \\(f\\) die Form \\(\\dfrac{\\alpha}{(\\beta x^r+1)^{\\frac{r+1}r}}\\) hat oder von einer solchen Funktion nur auf einer Menge von \\(x\\)-Werten vom Ma\u00dfe Null abweicht.  Der Beweis dieses Satzes f\u00fchrt auf die L\u00f6sung eines irregul\u00e4ren Variationsproblems. Die Konstante \\(k\\) ist n\u00e4mlich das Maximum des Integrals \\(I\\) f\u00fcr alle Funktionen \\(y(x)\\) mit geeigneten Stetigkeitseigenschaften, welche den Bedingungen  \\[  J=\\int\\limits_0^{\\infty} y^{\\prime m}dx=1,\\quad y(0)=0  \\]  gen\u00fcgen.  \\textit{Hardy} und \\textit{Littlewood} gehen f\u00fcr den Beweis des Satzes (*) von der folgenden bekannten Ungleichung (\\textit{Hardy}, 1920; F. d. M. 47, 207 (JFM 47.0207.*); siehe auch \\textit{Iyengar}, 1930; F. d. M. \\(56_{\\text{I}}\\), 203-204) aus: Aus  \\[  k>1,\\quad f(x)\\geqq 0,\\quad F(x)=\\int\\limits_0^x f(t)dt  \\]  folgt  \\[  \\int\\frac{F^k}{x^k}dx\\leqq\\left(\\frac{k}{k-1}\\right)^k\\int f^kdx, \\tag{4}  \\]  wobei die Konstante \\(\\left(\\dfrac k{k-1}\\right)^k\\) die bestm\u00f6gliche ist und in (4) das Zeichen = dann und nur dann steht, wenn \\(f(x)\\) fast \u00fcberall gleich Null ist. \\textit{Hardy} und \\textit{Littlewood} deuten f\u00fcr (*) einen Beweis mit Hilfsmitteln der Variationsrechnung an, den sie aber nicht vollst\u00e4ndig durchgef\u00fchrt haben. Sie haben dann die Aufgabe dem Verf. der zweiten Note, \\textit{G. A. Bliss}, vorgelegt; denn ``we found our knowledge of the calculus of variations inadequate''.  \\textit{Bliss} gibt einen Beweis zun\u00e4chst f\u00fcr stetige Funktionen \\(f(x)\\) und zeigt dann, da\u00df er sich auf alle me\u00dfbaren Funktionen \\(f(x)\\) \u00fcbertragen l\u00e4\u00dft, f\u00fcr die das Integral (1) existiert. Der Beweis ist so dargestellt, da\u00df er auch ohne Kenntnisse aus der Variationsrechnung verst\u00e4ndlich ist; am Schlu\u00df seiner Note gibt \\textit{Bliss} einen \u00dcberblick \u00fcber diejenigen S\u00e4tze aus der Variationsrechnung, die zu dem Beweise gef\u00fchrt haben.  Als Folgerung aus dem Satze (*) geben \\textit{Hardy} und \\textit{Littlewood} in ihrer Note eine weitere Integralungleichung an. (IV 2, 3 C.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5916822$73CB07FC-774A-40D8-8075-5DE8AC5B1AF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53b3c406a7f12d5be1832b845e1bb5cfd9aa2c36","datavalue":{"value":"2564037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916822$989FB466-003B-4A41-93E5-E245D08154FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb5f24df5f75a63bfe9e2fe56377eb885b7de94","datavalue":{"value":{"entity-type":"item","numeric-id":1565540,"id":"Q1565540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5916822$71037E1F-355C-4E6D-B8E2-48F5498E313E","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":"Q5916822$36C5356F-1D31-4A57-AF0A-565C1BD425CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6dee367949412e763abad6731ab5b870e1843fe","datavalue":{"value":"https://doi.org/10.1112/jlms/s1-5.1.40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5916822$0878A83B-A4CE-4A76-8BA3-8A1547E15509","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16f8158c99cd0a93992397e1bbe7ca9ddb966dfb","datavalue":{"value":"W4242607713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916822$8B3FCCDD-8AF4-4501-9DDE-FFDE749C8BDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"647871004656915c4d6c20c84b1b4da2d17063ce","datavalue":{"value":"10.1112/JLMS/S1-5.1.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5916822$5F06529D-710C-48E3-9E3B-FBFF34F53BB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5916822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5916822"}}}}}