Gagliardo-Nirenberg Inequality for rearrangement-invariant Banach function spaces

The classical Gagliardo-Nirenberg interpolation inequality is a well-known estimate which gives, in particular, an estimate for the Lebesgue norm of intermediate derivatives of functions in Sobolev spaces. We present an extension of this estimate into the scale of the general rearrangement-invariant Banach function spaces with the proof based on the Maz'ya's pointwise estimates. As corollaries, we present the Gagliardo--Nirenberg inequality for intermediate derivatives in the case of triples of Orlicz spaces and triples of Lorentz spaces. Finally, we promote the scaling argument to validate the optimality of the Gagliardo-Nirenberg inequality and show that the presented estimate in Orlicz scale is optimal.