On the Nazarov--Shcheglova Conjecture for Sharp Sobolev Inequalities: The Case (n,p)=(3,2)
Abstract
For integers n>k≥0 and 1≤ p,q≤∞, let λ3(n,k,p,q) denote the optimal constant in the one-dimensional Sobolev inequality |u(k)|Lq(0,1) ≤ λ3(n,k,p,q) |u(n)|Lp(0,1), u∈mathring Wpn(0,1). Nazarov and Shcheglova \cite{NazarovShcheglova} conjectured that λ3(n,1,p,1) = 2λ3(n,0,p,∞), n≥2, 1≤ p≤∞, and that the corresponding extremal functions coincide and are symmetric about the midpoint of the interval. We prove this conjecture for (n,p)=(3,2) and, in particular, obtain λ3(3,1,2,1) = 1/32√5. The proof is based on a reduction to an operator norm problem with an additional moment constraint. After rescaling to (−1,1), this constraint leads to orthogonality with respect to quadratic polynomials. We extend the inverse of the second derivative through the corresponding orthogonal projection and analyze the adjoint operator by an odd--even decomposition. The odd component is controlled by a positive Gram kernel, while the even component is treated by a weak-L2 estimate. The equality cases yield the characterization of all extremal functions.
Related
- Sharp Sobolev inequalities on minimal immersions via optimal transport
- Sharp logarithmic Sobolev inequalities on free groups by variational comparison
- Sharp improved Sobolev inequalities on 𝕊n
- Sharp Logarithmic Sobolev Inequalities for q-Araki-Woods Ornstein-Uhlenbeck Semigroups
- Sharp Weighted Sobolev Trace Inequalities on Convex Cones and Rigidity of Extremals
BibTeX
@misc{jleli2026nazarovshcheglova,
title = {{On the Nazarov--Shcheglova Conjecture for Sharp Sobolev Inequalities: The Case (n,p)=(3,2)}},
author = {Mohamed Jleli and Bessem Samet},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.34516},
eprint = {2609.34516},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.34516},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - On the Nazarov--Shcheglova Conjecture for Sharp Sobolev Inequalities: The Case (n,p)=(3,2)
AU - Mohamed Jleli
AU - Bessem Samet
PY - 2026
DA - 2026/09/28
PB - arXiv
DO - 10.48550/arxiv.2609.34516
UR - https://arxiv.org/abs/2609.34516
AB - For integers n>k≥0 and 1≤ p,q≤∞, let λ_3(n,k,p,q) denote the optimal constant in the one-dimensional Sobolev inequality |u^(k)|_L^q(0,1) ≤ λ_3(n,k,p,q) |u^(n)|_L^p(0,1), u∈mathring W_p^n(0,1). Nazarov and Shcheglova \cite{NazarovShcheglova} conjectured that λ_3(n,1,p,1) = 2λ_3(n,0,p,∞), n≥2, 1≤ p≤∞, and that the corresponding extremal functions coincide and are symmetric about the midpoint of the interval. We prove this conjecture for (n,p)=(3,2) and, in particular, obtain λ_3(3,1,2,1) = 1/32√5. The proof is based on a reduction to an operator norm problem with an additional moment constraint. After rescaling to (−1,1), this constraint leads to orthogonality with respect to quadratic polynomials. We extend the inverse of the second derivative through the corresponding orthogonal projection and analyze the adjoint operator by an odd--even decomposition. The odd component is controlled by a positive Gram kernel, while the even component is treated by a weak-L^2 estimate. The equality cases yield the characterization of all extremal functions.
ER -