Pith. sign in

Self-improvement of fractional Hardy inequalities in metric measure spaces via hyperbolic fillings

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

In this paper, we prove a self-improvement result for $(\theta,p)$-fractional Hardy inequalities, in both the exponent $1<p<\infty$ and the regularity parameter $0<\theta<1$, for bounded domains in doubling metric measure spaces. The key conceptual tool is a Caffarelli-Silvestre-type argument, which relates fractional Sobolev spaces on $Z$ to Newton-Sobolev spaces in the hyperbolic filling $\overline{X}_{\varepsilon}$ of $Z$ via trace results. Using this insight, it is shown that a fractional Hardy inequality in an open subset of $Z$ is equivalent to a classical Hardy inequality in the filling $\overline{X}_{\varepsilon}$. The main result is then obtained by applying a new weighted self-improvement result for $p$-Hardy inequalities. The exponent $p$ can be self-improved by a classical Koskela-Zhong argument, but a new theory of regularizable weights is developed to obtain the self-improvement in the regularity parameter $\theta$. This generalizes a result of Lehrb\"ack and Koskela on self-improvement of $d_\Omega^\beta$-weighted $p$-Hardy inequalities by allowing a much broader class of weights. Using the equivalence of fractional Hardy inequalities with Hardy inequalities in the fillings, we also give new examples of domains satisfying fractional Hardy inequalities.

fields

math.CA 1

years

2025 1

verdicts

CONDITIONAL 1

representative citing papers

Medians, Oscillations, and Distance Functions

math.CA · 2025-07-28 · conditional · novelty 8.0

A set E is median porous exactly when some power of dist(·,E) lies in A_∞, giving the exact α-range for A_p membership and the first Hardy-Sobolev inequalities beyond porous sets.

citing papers explorer

Showing 1 of 1 citing paper.

  • Medians, Oscillations, and Distance Functions math.CA · 2025-07-28 · conditional · none · ref 7 · internal anchor

    A set E is median porous exactly when some power of dist(·,E) lies in A_∞, giving the exact α-range for A_p membership and the first Hardy-Sobolev inequalities beyond porous sets.