{"entities":{"Q2598902":{"pageid":2609645,"ns":120,"title":"Item:Q2598902","lastrevid":44444163,"modified":"2025-11-22T23:33:30Z","type":"item","id":"Q2598902","labels":{"en":{"language":"en","value":"Notes on inequalities: II: On a class of integral inequalities. III: Inequalities involving the geometric mean of a non-negative function."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2518098"}},"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":"Q2598902$9CC2E604-A1EE-45EC-8FA6-86454B8EC9F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20d8e314e0f48fdd9731e27557f7073e83e6c8ab","datavalue":{"value":{"text":"Notes on inequalities: II: On a class of integral inequalities. III: Inequalities involving the geometric mean of a non-negative function.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2598902$5C5573FC-65C3-4A56-B207-CF9110DCC88F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a26c843d709415e9d79b43b48cf444700a63e0d","datavalue":{"value":"64.1021.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598902$94070ED8-9FD5-42E7-A009-B90030AE3D3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb1acedbc66db67813833b794e205558bb63022","datavalue":{"value":{"entity-type":"item","numeric-id":1565718,"id":"Q1565718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598902$F13B3D40-2A51-4475-9096-BC3090ED9DE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a6903551564e0f3a14ef595826ea478e17130e4c","datavalue":{"value":{"entity-type":"item","numeric-id":2579687,"id":"Q2579687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2598902$D335D3DD-2D6A-4FAE-A994-87181738BCC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f858b81427e0400eb7de4859b32f6d4c81a704f4","datavalue":{"value":{"time":"+1938-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":"Q2598902$203D2C9F-8EB1-4AA2-87AD-03A510DA5F3A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac8539a7a87188e3644769bf978c5d7da51c3b09","datavalue":{"value":"(\\textbf{I} vgl. S. 1003.)  \\textbf{II.} Verf. beweist die Ungleichung  \\[  -(k-1) \\int\\limits_0^1 \\frac{\\varphi'{}^{k-2}(x) \\varphi''(x)}{\\varphi^{k-1}(x)}y^k(x)\\,dx \\leqq \\int\\limits_0^1 y'{}^k(x)\\,dx; \\tag{1}  \\]  hier ist \\(k\\) reell \\(> 1\\), \\(y(0)= 0\\), \\(y' \\not\\equiv 0\\) und \\(y'\\geqq 0\\) falls \\(k \\neq 2q\\) (\\(q\\) eine ganze Zahl \\(\\geqq 1\\)), \\(\\varphi(0) = 0\\), \\(\\varphi'(1)=0\\), \\(\\varphi'' \\not\\equiv 0\\), \\(\\varphi'' \\leqq 0\\), \\((\\varphi^{1+\\varepsilon})'\\in L^k(0,1)\\), d. h. \\(\\int\\limits_0^1 (\\varphi^{1+\\varepsilon})'{}^k\\,dx < \\infty\\) mit beliebig kleinem \\(\\varepsilon > 0\\). Das Gleichheitszeichen gilt dann und nur dann, wenn \\(y= C\\varphi(x)\\) (\\(C \\geqq 0\\) falls \\(k \\neq 2q\\)) und \\(\\varphi' \\in L^k(0,1)\\) ist.  Ferner gilt die Ungleichung, die aus (1) hervorgeht, wenn man in den Integralen die obere Grenze 1 durch oo ersetzt, wobei \\(y\\) den gleichen Bedingungen wie vorher, aber in \\((0, \\infty)\\), gen\u00fcgt und \\(\\varphi(0) = 0\\), \\(\\varphi'' \\not\\equiv 0\\), \\(\\varphi''\\leqq 0\\), \\((\\varphi^{1+\\varepsilon})' \\in L^k(0,\\xi)\\), \\((\\varphi^{1-\\varepsilon} \\in L^k(\\xi,\\infty)\\) mit einem gewissen \\(0 < \\xi < \\infty\\) und beliebig kleinem \\(\\varepsilon > 0\\).  Schlie\u00dflich gilt (1) auch dann, wenn \\(k=2q\\) eine gerade Zahl, \\(y(0)=0\\), \\(y(1) = 0\\), \\(y' \\not\\equiv 0\\), \\(\\varphi(0) = 0\\), \\(\\varphi(1) =0\\), \\(\\varphi''\\not\\equiv 0\\), \\(\\varphi'' \\leqq 0\\), \\((\\varphi^{1+\\varepsilon})' \\in L^{2q}(0,1)\\) mit beliebig kleinem \\(\\varepsilon> 0\\) ist.  \\textbf{III.} Als das gewogene geometrische Mittel der nichtnegativen Funktion \\(f(x)\\) wird die Funktion  \\[  G\\{f(x);p\\} = \\exp\\left\\{\\frac 1{p(x)} \\int\\limits_0^x p'(t)\\log f(t)\\,dt\\right\\}  \\]  definiert, wo \\(p'(x) \\geqq 0\\) (\\(x> 0\\)), \\(p(x)=\\int\\limits_0^x p'(t)\\,dt> 0\\) f\u00fcr \\(x>0\\), \\(p''(x)\\) existiert und summierbar ist. Sei ferner \\(p(x) \\to \\infty\\) f\u00fcr \\(x \\to \\infty\\), \\(p(x)\\log p'(x) \\to 0\\) f\u00fcr \\(x \\to 0\\) und \\(g(x)\\geqq 0\\), \\(g'(x)\\) summierbar, \\(p(x)\\log g(x) \\to 0\\) f\u00fcr \\(x \\to 0\\). Dann gilt  \\[  \\int\\limits_0^\\infty g(x)G\\{f(x);p\\}\\,dx < \\int\\limits_0^\\infty g(x) \\exp\\left\\{1-\\frac{p(x)p''(x)}{p'{}^2(x)}+\\frac{p(x)g'(x)}{p'( x)g(x)}\\right\\}f(x)\\,dx. \\tag{2}  \\]  Die Ungleichung ist exakt. F\u00fcr \\(p(x)=x\\), \\(g(x) = 1\\) geht (2) in eine von \\textit{K. Knopp} (J. London math. Soc. 3 (1928), 205-212; F. d. M. 54, 225 (JFM 54.0225.*)) angegebene Ungleichung \u00fcber. F\u00fcr \\(g(x)=1\\) hat man das Integralanalogon einer von \\textit{J. G. van der Corput} (Proc. Akad. Wet. Amsterdam 39 (1936), 906-911; JFM 62.0203.*) verallgemeinerten Ungleichung von Carleman.  Ist \\(g(x)\\geqq 0\\), \\(g'(x)\\) summierbar und \\(x \\log g(x)\\to 0\\) f\u00fcr \\(x \\to 0\\), ferner \\(\\psi(x) > 0\\), \\(\\psi'(x)\\leqq 0\\), \\(\\psi''\\) summierbar, \\(x\\log(- \\psi'(x)) \\to 0\\) f\u00fcr \\(x \\to 0\\), \\(\\int\\limits_0^\\infty \\psi(x)\\,dx < \\infty\\), so gilt  \\[  \\int\\limits_0^\\infty g(x)G\\{f(x);x\\}\\,dx \\leqq \\int\\limits_0^\\infty F(x)f(x)\\,dx,  \\]  wo  \\[  F(x)= -\\frac{g(x)}x\\frac {\\psi(x)}{\\psi'(x)} \\exp \\left\\{-1 - \\frac{x\\psi''(x)}{\\psi'(x)} + \\frac{xg'(x)}{g(x)}\\right\\}  \\]  ist. Das Gleichheitszeichen gilt f\u00fcr \\(f(x)=C\\dfrac{\\psi(x)}{F(x)}\\) (\\(C >0\\)).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2598902$ECCE6336-A00C-4B93-81E5-326B6A34BCEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cb4974762d3d139bf9c4b72cbd1fd79346a3537","datavalue":{"value":"2518098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2598902$93F57C97-AC2F-41DA-AB25-B98DB01BA1BA","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":"Q2598902$062593FC-0896-487C-8246-875B91DFE6A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2598902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2598902"}}}}}