Optimal Gagliardo-Nirenberg interpolation inequality for rearrangement invariant spaces

Abstract

We prove the optimality of the Gagliardo-Nirenberg inequality: parallel to del u parallel to X less than or similar to parallel to del(2)u parallel to(1\2)(Y)parallel to u parallel to(1\2)(Z), where Y and Z are rearrangement invariant Banach function spaces, and X = Y(1/2)Z(1/2) is the Calderon-Lozanovskii space. By optimality, we mean that for a certain pair of spaces on the right-hand side, it is not possible to reduce the space on the left-hand side while remaining in the class of rearrangement invariant spaces. Our result establishes the optimality for Lorentz and Orlicz spaces, surpassing previous findings. Additionally, we discuss the significance of pointwise inequalities and present a counterexample that prohibits further improvements.