Sharp constant in Riemannian L^p-Gagliardo-Nirenberg inequalities

TL;DR

This paper extends the understanding of optimal Gagliardo-Nirenberg inequalities on compact Riemannian manifolds by covering new parameter ranges and proving the existence of extremal functions.

Contribution

It generalizes previous results to include cases where p ≥ r and introduces a new parameter τ, also establishing the existence of extremal functions.

Findings

Extended validity of inequalities to p ≥ r cases.

Proved existence of extremal functions for the inequalities.

Generalized the parameter τ range to [1, min{p,2}].

Abstract

Let (M,g) be a smooth compact Riemannian manifold of dimension n \geq 2, 1 < p < n and 1 \leq q < r < p^\ast = \frac{np}{n-p} be real parameters. This paper concerns to the validity of the optimal Gagliardo-Nirenberg inequality (\int_M |u|^r\; dv_g)^{\frac{\tau}{r \theta}} \leq (A_{opt} (\int_M |\nabla_g u|^p\; dv_g)^{\frac{\tau}{p}} + B_{opt} (\int_M |u|^p\; dv_g)^{\frac{\tau}{p}}) (int_M |u|^q\; dv_g)^{\frac{\tau(1 - \theta)}{\theta q}} \; . This kind of inequality is studied in Chen and Sun (Nonlinear Analysis 72 (2010), pp. 3159-3172) where the authors established its validity when 2 < p < r < p^\ast and (implicitly) \tau = 2. Here we solve the case p \geq r and introduce one more parameter 1 \leq \tau \leq \min\{p,2\}. Moreover, we prove the existence of extremal function for the optimal inequality above.