Sharpening the triangle inequality: envelopes between L^2 and L^p spaces

DOI10.2140/APDE.2020.13.1591zbMATH Open1451.42022arXiv1902.02329OpenAlexW2913754414MaRDI QIDQ2210883FDOQ2210883

Authors: Paata Ivanisvili, Connor Mooney 

Publication date: 9 November 2020

Published in: Analysis \& PDE (Search for Journal in Brave)

Abstract: Motivated by the inequality $|f+g{|}_2^{2}leq|f{|}_2^2+2|fg{|}_1+|g{|}_2^2$, Carbery (2006) raised the question what is the "right" analogue of this estimate in $L^p$ for $peq2$. Carlen, Frank, Ivanisvili and Lieb (2018) recently obtained an $L^p$ version of this inequality by providing upper bounds for $|f+g{|}_p^p$ in terms of the quantities $|f{|}_p^p,|g{|}_p^p$ and $|fg{|}_{p/2}^{p/2}$ when $pin(0,1]cup[2,infty)$, and lower bounds when $pin(-infty,0)cup(1,2)$, thereby proving (and improving) the suggested possible inequalities of Carbery. We continue investigation in this direction by refining the estimates of Carlen, Frank, Ivanisvili and Lieb. We obtain upper bounds for $|f+g{|}_p^p$ also when $pin(-infty,0)cup(1,2)$ and lower bounds when $pin(0,1]cup[2,infty)$. For $pin[1,2]$ we extend our upper bounds to any finite number of functions. In addition, we show that all our upper and lower bounds of $|f+g{|}_p^p$ for $pinmathbbR$, $peq0$, are the best possible in terms of the quantities $|f{|}_p^p,|g{|}_p^p$ and $|fg{|}_{p/2}^{p/2}$, and we characterize the equality cases.

Full work available at URL: https://arxiv.org/abs/1902.02329

Recommendations

• Inequalities for \(L^p\)-norms that sharpen the triangle inequality and complement Hanner's inequality
• scientific article; zbMATH DE number 622091
• scientific article; zbMATH DE number 4040571
• scientific article; zbMATH DE number 849027
• Refinements of generalized triangle inequalities

zbMATH Keywords

triangle inequality\(L^p\) spacesBellman functionconcave envelopes

Mathematics Subject Classification ID

Singular and oscillatory integrals (Calderón-Zygmund, etc.) (42B20) Norms (inequalities, more than one norm, etc.) of linear operators (47A30) Maximal functions, Littlewood-Paley theory (42B25) Function spaces arising in harmonic analysis (42B35) Linear operators belonging to operator ideals (nuclear, (p)-summing, in the Schatten-von Neumann classes, etc.) (47B10)

Cites Work

• Étude des coefficients de Fourier des fonctions de \(L^ p(G)\)
• Bellman function approach to the sharp constants in uniform convexity
• Inequality for Burkholder's martingale transform
• Almost-orthogonality in the Schatten-von Neumann classes
• Inequalities for \(L^p\)-norms that sharpen the triangle inequality and complement Hanner's inequality

Cited In (2)

• Inequalities for \(L^p\)-norms that sharpen the triangle inequality and complement Hanner's inequality
• Complex Hanner's inequality for many functions

This page was built for publication: Sharpening the triangle inequality: envelopes between \(L^2\) and \(L^p\) spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2210883)