Simple proofs of a Gagliardo--Nirenberg inequality and their extensions
Abstract
We revisit the one-dimensional Gagliardo-Nirenberg interpolation inequality |u'|Lp(ℝ)≤ C|u|Lq(ℝ)1−a|u''|Lr(ℝ)a, u∈ C∞c(ℝ), 1/2≤ a≤ 1, and recall how its general form follows from the case a=1/2 by interpolation with an endpoint estimate. For a=1/2 and p=q=r, we give four alternative proofs, based on integration by parts (two proofs), on an ODE, and on the Lp theory of singular integrals. The two proofs by integration by parts also cover most of the other admissible exponents. In ℝN, the integration by parts arguments give the inequality with explicit constants and, for p≤ 2, with the Laplacian in place of the Hessian and a constant independent of the dimension. For weighted measures w(x) dx, a pointwise version of the ODE argument gives the pointwise inequality |∇ u|2≤ CN Mu M(Δu), where M is the Hardy-Littlewood maximal function, and hence the inequality for Muckenhoupt weights, with the Laplacian and an explicit constant. The integration by parts arguments give it for homogeneous weights of large degree and for superharmonic weights. These results apply, in particular, to power weights and to monomial weights.
Related
- Normalised Hamiltonian Elliptic Systems: a Gagliardo-Nirenberg inequality for bilinear mass
- Radial and nonradial solutions for nonlinear scalar field equations and a new proof for certain Gagliardo-Nirenberg type inequality on the plane
- Extremals for Sharp Trace Gagliardo--Nirenberg--Sobolev Inequalities on Convex Cones
- Fractional and anisotropic Gagliardo--Nirenberg inequalities with applications
- Sharp homogeneous Gagliardo--Nirenberg inequalities and normalized solutions for generalized stationary MMT equations
BibTeX
@misc{castro2026simple,
title = {{Simple proofs of a Gagliardo--Nirenberg inequality and their extensions}},
author = {Hernan Castro},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.40849},
eprint = {2610.40849},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.40849},
}
RIS
TY - UNPB
TI - Simple proofs of a Gagliardo--Nirenberg inequality and their extensions
AU - Hernan Castro
PY - 2026
DA - 2026/10/29
PB - arXiv
DO - 10.48550/arxiv.2610.40849
UR - https://arxiv.org/abs/2610.40849
AB - We revisit the one-dimensional Gagliardo-Nirenberg interpolation inequality |u'|_L^p(ℝ)≤ C|u|_L^q(ℝ)^1−a|u''|_L^r(ℝ)^a, u∈ C^∞_c(ℝ), 1/2≤ a≤ 1, and recall how its general form follows from the case a=1/2 by interpolation with an endpoint estimate. For a=1/2 and p=q=r, we give four alternative proofs, based on integration by parts (two proofs), on an ODE, and on the L^p theory of singular integrals. The two proofs by integration by parts also cover most of the other admissible exponents. In ℝ^N, the integration by parts arguments give the inequality with explicit constants and, for p≤ 2, with the Laplacian in place of the Hessian and a constant independent of the dimension. For weighted measures w(x) dx, a pointwise version of the ODE argument gives the pointwise inequality |∇ u|^2≤ C_N Mu M(Δu), where M is the Hardy-Littlewood maximal function, and hence the inequality for Muckenhoupt weights, with the Laplacian and an explicit constant. The integration by parts arguments give it for homogeneous weights of large degree and for superharmonic weights. These results apply, in particular, to power weights and to monomial weights.
ER -