New inequalities related to sums of $L^p$ functions in connection with Carbery's problems

TL;DR

This paper advances the understanding of inequalities involving sums of nonnegative measurable functions in $L^p$ spaces, providing new bounds and conditions for the range $p o \infty$, building on prior foundational work.

Contribution

It establishes new upper and lower bounds for $L^p$ sums and extends conditions for $p o \infty$, complementing previous results for $p o 2$.

Findings

New bounds for $L^p$ sums of nonnegative functions.

Extended conditions for $p o \infty$ case.

Refined inequalities connecting sum norms and individual functions.

Abstract

Carbery (2006) proposed novel estimates for the $L^p$ norm of a sum of two nonnegative measurable functions. Subsequently, Carlen, Frank, Ivanisvili and Lieb (2018) provided stronger bounds, which Ivanisvili and Mooney (2020) further refined to achieve estimates that are, in a certain sense, optimal. Continuing this line of research, the present work establishes new upper and lower bounds for the range \(p\in(1,\infty)\). Carbery also asked under what conditions on a sequence \((f_j)\) of nonnegative measurable functions the inequality \(\sum \|f_j\|_p^p < \infty\) implies that \(\sum f_j \in L^p\). Ivanisvili and Mooney (2020) resolved this question for \(p\in[1,2]\), and the present work proposes an answer for \(p\in[2,\infty)\).