Inequalities for Lᵖ-Norms that Sharpen the Triangle Inequality and Complement Hanner's Inequality

Abstract

In 2006 Carbery raised a question about an improvement on the naïve norm inequality ∥f+g∥^p_p ≤ 2^(p−1)(∥f∥^p_p+∥g∥^p_p) for two functions f and g in Lᵖ of any measure space. When f=g this is an equality, but when the supports of f and g are disjoint the factor 2^(p−1) is not needed. Carbery's question concerns a proposed interpolation between the two situations for p > 2 with the interpolation parameter measuring the overlap being ∥fg∥_(p/2). Carbery proved that his proposed inequality holds in a special case. Here, we prove the inequality for all functions and, in fact, we prove an inequality of this type that is stronger than the one Carbery proposed. Moreover, our stronger inequalities are valid for all real p ≠ 0.

Files

Additional details