{"entities":{"Q1746596":{"pageid":1757338,"ns":120,"title":"Item:Q1746596","lastrevid":69117339,"modified":"2026-04-13T04:53:07Z","type":"item","id":"Q1746596","labels":{"en":{"language":"en","value":"On a geometric inequality related to fractional integration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6864548"}},"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":"Q1746596$59EC4274-DBC8-4964-8F17-45C3E9EEF713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a2e5a0b608213a22292bdaf7bbbf032424e8c5a","datavalue":{"value":{"text":"On a geometric inequality related to fractional integration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1746596$010DC3AD-578A-44B3-ADCC-202F62DF11B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fce62f0db5ff3a9f6e1fbefce0cbda4146b0f23c","datavalue":{"value":"1396.26030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1746596$27E66688-1754-42E6-93ED-BEB5DB2422BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a3a16cb5026b4bbc2b6241e890e8862dc83df7","datavalue":{"value":{"entity-type":"item","numeric-id":242885,"id":"Q242885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1746596$0B1BA9C1-08ED-4382-8D4A-EB80B69503BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f641d71910538d27feacd2f5e551abb068288fd3","datavalue":{"value":{"entity-type":"item","numeric-id":170527,"id":"Q170527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1746596$F5D273BB-25BE-4002-BB0D-8B4E38BD3CDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c88888d4c8b884868b6c5323b4729f3c04ab0a31","datavalue":{"value":{"time":"+2018-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1746596$942166A5-5A30-40E9-9BEF-2D46D7A68C88","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd42a1596222c43a40ed3d86a75d1d12d54bbb8f","datavalue":{"value":"https://arxiv.org/abs/1606.05206","type":"string"},"datatype":"url"},"type":"statement","id":"Q1746596$08328388-CF3F-4135-934C-190C810DB82E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1a71022a78418b0ee0a894df3644fad27fd2bd6","datavalue":{"value":"The following inverse Hardy-Littlewood-Sobolev inequality is known: For \\(0 0\\), one has \\[ \\mu(B(x,r))\\leq C_{\\alpha}r^{\\alpha} \\] with a finite constant \\(C_{\\alpha}\\), \\(\\alpha > 0\\). And for \\(f\\), \\(g\\) nonnegative measurable functions on~\\(M\\), consider the condition \\[ \\text{(ii)}\\qquad\\qquad \\|f\\|_{L^{p}(d\\mu)}\\cdot \\|g\\|_{L^{q}(d\\mu)}\\leq C_{p,q,\\gamma}\\sup_{s,t}f(s)g(t)\\,d(s,t)^{\\gamma}, \\] with a finite constant~\\(C_{p,q,\\gamma}\\) independent of the functions~\\(f\\), \\(g\\). Then, the first main result is as follows \\(\\bullet\\) Let \\((M,d)\\) be a metric space and \\(\\mu\\) a \\(\\sigma\\)-finite, nonnegative Borel measure on~\\(M\\). \\text{(a)} If condition (i) holds, then (ii) holds for all nonnegative functions \\(f\\in L^{p} (d\\mu)\\), \\(g\\in L^{q}(d\\mu)\\) for all \\(0 0\\), \\(\\gamma > 0\\), then condition (i) holds for all \\(\\alpha\\) such that \\(\\alpha = \\gamma \\left(\\frac{1}{p}+\\frac{1}{q}\\right)\\). For the special case of Euclidean space, the author obtaines \\(\\bullet\\) Let \\(f\\), \\(g\\) be measurable functions defined on~\\(\\mathbb{R}^{n}\\) with Lebesgue measure, then for all \\(0< p,q <\\infty\\), \\(\\gamma >0\\) such that \\( \\gamma =n\\left(\\frac{1}{p}+\\frac{1}{q}\\right)\\), \\[ \\|f\\|_{L^{p}(\\mathbb{R}^{n}} \\|g\\|_{L^{q}(\\mathbb{R}^{n}}\\leq C_{p,q,n }\\sup_{s,t} f(s)g(t) |s-t|^{\\gamma}. \\] On the other hand, it is not true that \\[ \\|f\\|_{L^{p}(\\mathbb{R}^{n})}\\|g\\|_{L^{\\infty}(\\mathbb{R}^{n})}\\lesssim \\sup_{s,t}f(s)g(t)|s-t|^{\\frac{n}{p}} \\] holds for all \\(f\\in L^{p}(\\mathbb{R}^{n})\\), \\(g\\in L^{\\infty}(\\mathbb{R}^{n})\\). As it concerns the multilinear analogues of the previous results although they are true in the context of a real finite-dimensional Hilbert space we quote the determinant multilinear inequality in Euclidean spaces. \\(\\bullet\\) Let \\(f_{j}\\in L^{p_{j}} (\\mathbb{R}^{n})\\) with Lebesgue measure, then \\[ \\prod^{n+1}_{j=1}\\|f_{j}\\|_{p_{j}} \\leq C_{n,p_{j}}\\sup_{y_{j}}\\prod^{n+1}_{j=1}f_{j} (y_{j})\\det (y_{1},\\dotsc,y_{n+1})^{\\gamma} \\] holds, if and only if \\(p_{j}\\) satisfy \\[ \\frac{1}{p_{j}}< \\frac{\\gamma}{n}\\text{ for all }1\\leq j\\leq n+1\\text{ and }\\gamma=\\sum^{n+1}_{j=1}\\frac{1}{p_{j}}. \\] The author also considers a second class of multilinear inequalities where a product appears instead of a determinant. Furthermore, the following result is proved \\(\\bullet\\) Let \\(r_{ij}>0\\) and \\(r_{ij} = r_{ji}\\). Let \\(f_{j}\\) be nonnegative measurable functions defined on \\(\\mathbb{R}^{n}\\), \\(1 \\leq j \\leq N\\). Then \\[ \\prod^{N}_{j=1}\\|f_{j}\\|_{p_{j}} \\leq C_{p_{j},r_{ij},n,N}\\sup_{y_{j}}\\prod^{N}_{j=1}f_{j}(y_{j})\\prod_{1\\leq i