Calculus of Variations and Geometric Measure Theory

E. Davoli - G. Di Fratta - R. Giorgio - A. Pinamonti

Necessary and Sufficient Conditions for the Mazya--Shaposhnikova Formula in (Fractional) Sobolev Spaces

created by pinamonti on 26 Sep 2025
modified by difratta on 30 Sep 2025

[BibTeX]

Preprint

Inserted: 26 sep 2025
Last Updated: 30 sep 2025

Year: 2025

ArXiv: 2509.23226 PDF

Abstract:

We investigate the asymptotic behavior, as $\varepsilon \rightarrow 0$, of nonlocal functionals \[ \mathcal{F}_{\varepsilon} (u) = \iint_{\mathbb{R}^N \times \mathbb{R}^N} \rho_{\varepsilon} (y - x) \,
u (x) - u (y)
^p \hspace{0.17em} \mathrm{d} x \, \mathrm{d} y, \quad u \in L^p (\mathbb{R}^N ), \quad 1 \leqslant p < \infty, \] associated with a general family of non-negative measurable kernels $\{ \rho_{\varepsilon} \}_{\varepsilon > 0}$. Our primary aim is to single out the weakest moment-type assumptions on the family of kernels $\{ \rho_{\varepsilon} \}_{\varepsilon > 0}$ that are necessary and sufficient for the pointwise convergence \[ \underset{\varepsilon \rightarrow 0}{\lim } \mathcal{F}_{\varepsilon} (u) = 2 \
u\
^p_{L^p} \] to hold for every $u$ in a prescribed subspace of $L^p (\mathbb{R}^N)$. In the canonical smooth regime of compactly supported functions ($u \in C_c^{\infty} \left( \mathbb{R}^N \right)$), we show that convergence occurs when two optimal conditions are satisfied: (i) a mass escape condition, and (ii) a short-range attenuation effect, expressed by the vanishing as $\varepsilon \to 0$ of the kernels $p$-moments in any fixed neighborhood of the origin. This general framework recovers the classical Maz’ya–Shaposhnikova theorem for fractional-type kernels and extends the convergence result to a much broader class of interaction profiles, which may be non-symmetric and non-homogeneous. Furthermore, using a density argument that preserves the moment assumptions, we prove that the same necessary and sufficient conditions remain valid in the integer-order Sobolev setting ($u \in W^{1, p} (\mathbb{R}^N)$). Finally, by adapting the method to fractional Sobolev spaces $W^{s, p} (\mathbb{R}^N)$ with $s \in (0, 1)$, we recover the Maz’ya–Shaposhnikova formula and extend it under analogous abstract conditions on the family of kernels $\{ \rho_{\varepsilon} \}_{\varepsilon > 0}$.


Download: