Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.34516

On the Nazarov--Shcheglova Conjecture for Sharp Sobolev Inequalities: The Case (n,p)=(3,2)

Mohamed Jleli·Bessem Samet
View original source ↗Read source document ↗Export metadata ↓

Abstract

For integers $n>k\geq0$ and $1\leq p,q\leq\infty$, let $λ_3(n,k,p,q)$ denote the optimal constant in the one-dimensional Sobolev inequality \[ \|u^{(k)}\|_{L^q(0,1)} \leq λ_3(n,k,p,q) \|u^{(n)}\|_{L^p(0,1)}, \qquad u\in\mathring W_p^n(0,1). \] Nazarov and Shcheglova \cite{NazarovShcheglova} conjectured that \[ λ_3(n,1,p,1) = 2λ_3(n,0,p,\infty), \qquad n\geq2,\quad 1\leq p\leq\infty, \] 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) = \frac{1}{32\sqrt5}. \] 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.

Explore related subjects

math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mohamed Jleli, Bessem Samet. 2026-09-28. On the Nazarov--Shcheglova Conjecture for Sharp Sobolev Inequalities: The Case (n,p)=(3,2). https://arxiv.org/abs/2609.34516

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Some one-dimensional elliptic problems with constraints

Given $m \in \mathbb{N} \setminus \{0\}$ and $ρ> 0$, we find solutions $(λ,u)$ to the problem \begin{equation*} \begin{cases} \bigl(-\frac{\mathrm{d}^2}{\mathrm{d} x^2}\bigr)^m u + λG'(u) = F'(u)\\ \int_{\mathbb{R}} K(u) \, \mathrm{d}x = ρ\end{cases} \end{equation*} in the following cases: $m=1$ or $2G(s) = K(s) = s^2$. In the former, we follow a bifurcation argument; in the latter, we use variational methods.

math.CA↗
arXiv2026

Besicovitch-Federer projection theorem for measures

In this paper we prove a Besicovitch-Federer type projection theorem for general finite Borel measures in $\mathbb{R}^n$. Assuming only that the conditional measures along typical affine $(n-m)$-planes are purely atomic, we characterize concentration on a purely $m$-unrectifiable set in terms of the singularity of the projected measure and the $μ$-almost everywhere injectivity of typical orthogonal projections. No regularity or absolute-continuity assumption on the projected measures is imposed, and the result is new even for measure of the form $μ=\mathcal H^m\llcorner E$. In this extended version, we further develop applications of the projection theorem to currents. First, we obtain a rectifiability criterion for Radon measures in terms of atomic disintegrations. We then use this criterion to prove that a finite-mass classical Federer-Fleming current satisfying the intrinsic integer-valued push-forward condition is rectifiable, and hence a real flat chain, without assuming any a priori flat-chain or metric-current structure. We also show that a Euclidean metric current is rectifiable whenever its slices are atomic along a set of projections of positive Grassmannian measure, with no assumption on the mass of its boundary. Finally, the projection theorem extends to separable locally compact metric spaces.

math.CA↗