Stability Refinements of the Triangle Inequality in $L^p$ Spaces
Let $(X,\mu)$ be a measure space and let $1< p< \infty$. We study quantitative stability refinements of Minkowski's inequality \[ \| f + g\|_{p}\leq \| f\|_{p} + \| g\|_{p} \] for real-valued functions in \(L^p(X,\mu)\). We first establish a stability estimate for arbitrary real-valued functions and show that its constant is sharp. We then prove that, for nonnegative functions, the constant can be improved when \(p\geq 2\), again to its optimal value. More precisely, if \(f,g\geq 0\) and \(f,g\neq 0\), then \[ \| f + g\|_{p}\leq \| f\|_{p} + \| g\|_{p} - c_{p}\min \{\| f\|_{p},\| g\|_{p}\} \left\| \frac{f}{\| f\|_{p}} -\frac{g}{\| g\|_{p}}\right\|_{p}^{\alpha_{p}}, \] where \[ c_p = \begin{cases} \dfrac{p-1}{4}, & 1<p\leq 2,\\[6pt] \dfrac{1-2^{1-p}}{p}, & 2\leq p<\infty, \end{cases} \qquad \alpha_p = \begin{cases} 2, & 1<p\leq 2,\\ p, & 2\leq p<\infty. \end{cases} \] Both constants are best possible.