arXiv Science⌕ Search

arXiv · 2610.38420

Logarithmic fractional Hardy inequalities

Abstract

We establish sharp fractional Hardy inequalities in the critical regimes $sp=d$ and $sp=1$, with explicit logarithmic weight functions. In the whole-space setting, for $p>d\ge 1$, $sp=d$, we prove that \begin{equation*} \int_{\mathbb R^d} \int_{\mathbb R^d} \frac{|u(x)-u(y)|^p}{|x-y|^{2d}}\,dx\,dy \geq \left(\frac{p-1}{p}\right)^p \int_{B_R}|u(x)|^p W_{p,d,R}(x)\,dx, \end{equation*} for $u\in C_c(B_R)$, where $W_{p,d,R}$ is a logarithmic-type weight and the constant is sharp. We also show that the corresponding inequality with the simpler weight $|x|^{-d}(\log(R/|x|))^{-p}$ cannot hold with any positive constant. Furthermore, we derive two-sided estimates and asymptotic formulae for $W_{p,d,R}$, including its limiting connection with the classical Hardy inequality. In the half-space $\mathbb{R}^{d}_{+}$, we establish an analogous sharp fractional Hardy inequality in the critical case $sp=1$, with an explicit logarithmic weight depending on the distance to the boundary. We also investigate the asymptotic behaviour of this weight, obtaining estimates that describe its behaviour near the boundary. These results elucidate the role of logarithmic weights in critical fractional Hardy inequalities in both whole-space and half-space settings.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michał Kijaczko, Vivek Sahu. 2026-10-28. Logarithmic fractional Hardy inequalities. https://arxiv.org/abs/2610.38420

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

KEEP EXPLORING

Related papers

Convergence of iterated restricted mean values to harmonic functions

Let $Ω\subset\mathbb{R}^n$ be a bounded domain and let $δ$ be a continuous positive function on $Ω$ with $B(x,δ(x))\subseteqΩ$ for every $x\inΩ$. Let $σ(f)(x)$ denote the average of $f$ over the ball $B(x,δ(x))$. Restricted mean value theorems give conditions under which a fixed point of $σ$ must be harmonic. We study the dynamical counterpart of this question: the behavior of the iterates $σ^k(f)$. We show that for \emph{every} bounded domain and every bounded measurable $f$ that is continuous at the points of $\partialΩ$, the iterates $σ^k(f)$ converge locally uniformly in $Ω$ to the Perron--Wiener--Brelot solution of the Dirichlet problem with boundary values $f|_{\partialΩ}$, and that the convergence is uniform on $\overlineΩ$ for all continuous $f$ if and only if $Ω$ is regular for the Dirichlet problem. This contains and extends earlier results for $C^{2,α}$ domains with $C^{2,α}$ data and for strictly convex domains with continuous data. We also give explicit rates of convergence: an algebraic rate $O(1/k)$ on domains with a uniform exterior ball condition and a geometric rate on convex domains, when $δ$ is comparable to the distance to the boundary.

math.AP↗

On the regularity of entropy solutions to stochastic degenerate parabolic equations

We study the regularity of entropy solutions for quasilinear parabolic equations with anisotropic degeneracy and stochastic forcing. Building on previous works, we establish space-time regularity under a non-degeneracy condition that does not require an assumption on the derivative of the symbol of the corresponding kinetic equation, a restriction imposed in earlier studies. This allows us to obtain regularity results for certain equations not accounted for by prior theory, albeit with reduced regularity exponents. Our approach uses a kinetic formulation with two transport equations, one of second order and one of first order, leveraging a form of "parabolic regularity" inherent in these equations that was not utilized in previous studies.

math.AP↗

Exponential Decays of Steklov Eigenfunctions for the Magnetic Laplacian

Consider the Dirichlet-to-Neumann map $Λ_β$ associated with the Schrödinger operator $(D+β\A)^2$ with a magnetic potential in a bounded Lipschitz domain $Ω$, where $β>1$ is the field strength parameter. Assume that the magnetic field $\B=\nabla \times \A$ is of finite type. We show that if $β>β_0$, the ground state for $Λ_β$ decays exponentially away from a neighborhood of the subset of $\partialΩ$, on which $\B$ vanishes to the maximal order.

math.AP↗