A characterization of a nonlinear integral triangle inequality

TL;DR

This paper characterizes functions that satisfy a nonlinear integral triangle inequality and its reverse in Banach spaces, extending classical inequalities to a broader class of functions and including discrete cases.

Contribution

It provides a complete characterization of functions satisfying a nonlinear integral triangle inequality and its reverse in Banach spaces, including discrete versions.

Findings

Characterization of functions satisfying the inequality for all p>0

Extension to the reverse inequality case

Solution of the discrete counterpart

Abstract

Let $(E,\|.\|)$ be a Banach space and let $(\Omega,\mu)$ be a Lebesgue measure space. We characterize, for all $p>0$, measurable functions $u:\Omega\rightarrow \mathbb{R}$ for which \begin{equation*} \left\| \int_{\Omega} f\,d\mu \right\|^{p}\,\leq\,\int_{\Omega} u \| f \|^{p}\,d\mu.\tag{I} \end{equation*} We characterize $u$ for the reverse of (I) as well. The discrete counterpart of this problem is also solved.