---
title: Weighted Hardy Inequality
url: https://www.emergentmind.com/topics/weighted-hardy-inequality
type: topic
---

# Weighted Hardy Inequality

A weighted Hardy inequality is a coercive estimate in which a singular or degenerate weight modifies either the energy term, the potential term, or both. In its most familiar forms, it compares a weighted gradient norm, a weighted difference quotient, or a weighted averaging operator against a weighted \(L^p\)-quantity involving distance to a point, the boundary, or a lower-dimensional singular set. The subject includes local and nonlocal inequalities, continuous and discrete operators, and variational problems in which the optimal Hardy constant governs coercivity, spectral thresholds, and existence of extremals [2012.12860] [1202.0033] [2210.06760].

## 1. Classical prototypes and general weighted formulations

The classical Euclidean Hardy inequality in \(\mathbb{R}^N\) has the form
\[
\int_{\mathbb{R}^N} |\nabla u|^2\,dx
\ge
\left(\frac{N-2}{2}\right)^2
\int_{\mathbb{R}^N} \frac{|u|^2}{|x|^2}\,dx,
\qquad
u\in C_c^\infty(\mathbb{R}^N),
\]
with best constant \(\bigl(\frac{N-2}{2}\bigr)^2\) and non-attainment in \(H^1\) [1202.0033]. A boundary-distance analogue replaces \(|x|\) by \(d_\Omega(x)=\operatorname{dist}(x,\partial\Omega)\). For arbitrary domains \(\Omega\subsetneqq\mathbb{R}^n\), \(1<p<\infty\), and \(\alpha+p>n\), one has
\[
\int_{\Omega} d_\Omega(x)^{\alpha}\,|\nabla \varphi(x)|^p\,dx
\ge
\left(\frac{\alpha + p - n}{p}\right)^p
\int_{\Omega} d_\Omega(x)^{\alpha-p}|\varphi(x)|^p\,dx,
\qquad
\varphi\in C_c^\infty(\Omega),
\]
and the constant \(\left(\frac{\alpha+p-n}{p}\right)^p\) is sharp [2012.12860].

In the \(L^1\) boundary-distance setting, the distance function again supplies the weight, but the structure is first-order rather than quadratic. For open \(\Omega\subset\mathbb{R}^n\), \(d(x)=\operatorname{dist}(x,\partial\Omega)\), and \(s\ge 1\),
\[
\int_{\Omega} |\nabla u|\,d^{\,s-1}\,dx
\ge
(s-1)\int_{\Omega} |u|\,d^{\,s-2}\,dx
+
\int_{\Omega} |u|\,d^{\,s-1}(-\Delta d)\,dx,
\]
for all \(u\in C_c^\infty(\Omega)\); under \(-\Delta d\ge 0\), this simplifies to
\[
\int_{\Omega} |\nabla u|\,d^{\,s-1}\,dx
\ge
(s-1)\int_{\Omega} |u|\,d^{\,s-2}\,dx,
\]
with sharp constant \(s-1\) [1302.4431].

A parallel operator-theoretic formulation is built from Hardy averaging operators. On \((0,\infty)\),
\[
Pf(t)=\frac{1}{t}\int_0^t f(x)\,dx,
\qquad
Qf(t)=\int_t^\infty \frac{f(x)}{x}\,dx.
\]
Weighted Hardy inequalities then appear as boundedness statements such as \(\|Pf\|_{L^p(v)}\le C\|f\|_{L^p(v)}\) or \(\|Qf\|_{L^p(v)}\le C\|f\|_{L^p(v)}\), characterized by Muckenhoupt-type conditions \(M_p\) and \(M_p^*\) on the weight \(v\) [1707.07039]. In this operator language, weighted Cesàro and Copson spaces encode Hardy inequalities as norm equivalences rather than only one-sided estimates.

## 2. Domain geometry and boundary-distance inequalities

A central theme is that boundary regularity can often be weakened to quantitative thickness. For \(\Omega\subset\mathbb{R}^n\), the weighted \((p,\beta)\)-Hardy inequality
\[
\int_{\Omega} |u(x)|^p\, d_{\Omega}(x)^{\beta - p}\, dx
\le C \int_{\Omega} |\nabla u(x)|^p\, d_{\Omega}(x)^{\beta}\, dx,
\qquad
u\in C_0^\infty(\Omega),
\]
holds on bounded Lipschitz domains for all \(\beta<p-1\). More generally, if the boundary satisfies the uniform density condition
\[
\mathcal{H}^{\lambda}_\infty(\partial \Omega \cap B(x,2d_\Omega(x)))
\ge C_0\, d_\Omega(x)^{\lambda}
\]
for some \(0<\lambda<n-1\) and all \(x\in\Omega\), then \(\Omega\) admits the \((p,\beta)\)-Hardy inequality for all
\[
\beta < p - n + \lambda.
\]
This range is stated to be optimal in the sense described in the source, and the theory extends to metric spaces with doubling measure and a Poincaré inequality [1209.0588].

For weighted \(L^2\) boundary inequalities, the paper on the weighted Hardy constant studies
\[
\|d_\Gamma^{\delta/2-1}\varphi\|_2
\leq
a_\delta\,\|d_\Gamma^{\delta/2}\,\nabla\varphi\|_2,
\qquad
\varphi\in C_c^1(\Gamma_r),
\]
where \(d_\Gamma(x)=\operatorname{dist}(x,\Gamma)\), \(\Gamma=\partial\Omega\), and \(\Gamma_r=\{x\in\Omega:d_\Gamma(x)<r\}\) [2103.07848]. For \(\delta\in[0,2)\), this inequality is equivalent to a weighted version of Davies’ weak Hardy inequality, with equality of optimal constants:
\[
a_\delta(\Gamma)=b_\delta(\Gamma)=b_\delta(\Omega).
\]
If \(\Omega\) is a uniform domain with Ahlfors regular boundary of Hausdorff dimension \(d_H\), then the inequality holds for all \(\delta\ge0\), except possibly at
\[
\delta=2-(d-d_H),
\]
and the optimal constant satisfies
\[
a_\delta(\Gamma)\ge \frac{2}{|(d-d_H)+\delta-2|}.
\]
If \(\Omega\) is \(C^{1,1}\) or convex, then
\[
a_\delta(\Gamma)=\frac{2}{|\delta-1|}
\qquad
(\delta\ge0,\ \delta\neq1),
\]
while for complements of convex domains the same conclusion holds for \(\delta>1\), but for \(\delta\in[0,1)\) the constant can be strictly larger than \(2/|\delta-1|\) [2103.07848].

The \(L^1\) theory shows that mean curvature and reach enter through \(-\Delta d\). For \(C^2\) domains with uniform interior sphere condition, \(-\Delta d\) is a signed Radon measure whose absolutely continuous part is bounded below by \((n-1)H\), where \(H\) is the infimum of the mean curvature on \(\partial\Omega\). Mean convexity is equivalent to \(-\Delta d\ge0\) in distributions, and for strictly mean convex bounded domains one obtains a sharp homogeneous remainder term
\[
\int_{\Omega} |\nabla u|\,d^{\,s-1}\,dx
\ge
(s-1)\int_{\Omega} |u|\,d^{\,s-2}\,dx
+
B_1\int_{\Omega} |u|\,d^{\,s-1}\,dx,
\]
with
\[
(n-1)H\le B_1\le (n-1)\frac{1}{|\partial\Omega|}\int_{\partial\Omega} H(y)\,dS_y
\]
[1302.4431].

## 3. Higher-dimensional singularities and variational Hardy constants

Weighted Hardy inequalities also arise when the singular set is a submanifold rather than a point. In a smooth bounded domain \(\Omega\subset\mathbb{R}^N\), \(N\ge3\), with a closed smooth submanifold \(\Sigma_k\subset\partial\Omega\) of dimension \(1\le k\le N-2\), the principal weight is
\[
\rho(x)^{-2}=\operatorname{dist}(x,\Sigma_k)^{-2}.
\]
For
\[
\mu_\lambda(\Omega,\Sigma_k)
:=
\inf_{u\in H^1_0(\Omega)\setminus\{0\}}
\frac{
\int_\Omega p(x)|\nabla u|^2\,dx
-\lambda\int_\Omega \rho^{-2}\eta(x)u^2\,dx
}{
\int_\Omega \rho^{-2}q(x)u^2\,dx
},
\]
with \(p,q\in C^2(\overline\Omega)\), \(p,q>0\), \(\eta\in\mathrm{Lip}(\overline\Omega)\), \(\eta\ge0\), \(\eta=0\) on \(\Sigma_k\), and \(\max_{\Sigma_k} q/p=1\), the critical Hardy constant is
\[
\frac{(N-k)^2}{4}.
\]
There exists \(\lambda^*\in\mathbb{R}\) such that
\[
\mu_\lambda(\Omega,\Sigma_k)=\frac{(N-k)^2}{4}
\quad\text{for }\lambda<\lambda^*,
\qquad
\mu_\lambda(\Omega,\Sigma_k)<\frac{(N-k)^2}{4}
\quad\text{for }\lambda>\lambda^*.
\]
Moreover, the infimum is attained for \(\lambda>\lambda^*\), not attained for \(\lambda<\lambda^*\), and at \(\lambda=\lambda^*\) it is attained if and only if
\[
\int_{\Sigma_k}\frac{1}{1-q(\sigma)/p(\sigma)}\,d\sigma < \infty.
\]
This gives a full existence/nonexistence criterion for minimizers in terms of a boundary integral over the singular manifold [1202.0033].

The same variational pattern appears on compact Riemannian manifolds. If \((M,g)\) is a smooth compact manifold of dimension \(N\ge3\) and \(\Sigma\subset M\) is a closed submanifold of dimension \(1\le k\le N-2\), with \(\rho(p)=\mathrm{dist}_g(p,\Sigma)\), the weighted Hardy quotient
\[
\mu_\lambda(M,\Sigma)
=
\inf_{u\in H^1(M)\setminus\{0\}}
\frac{
\int_M b\,|\nabla u|^2\,dV_g
-
\lambda\int_M \rho^{-2}\eta\,u^2\,dV_g
}{
\int_M \rho^{-2} q\,u^2\,dV_g
}
\]
has critical value
\[
\left(\frac{N-k-2}{2}\right)^2.
\]
There exists \(\lambda^*\) such that \(\mu_\lambda(M,\Sigma)\) equals this critical value for \(\lambda\le\lambda^*\), drops below it for \(\lambda>\lambda^*\), is attained for \(\lambda>\lambda^*\), and is not attained for \(\lambda<\lambda^*\). At \(\lambda=\lambda^*\), attainment holds if and only if
\[
\int_\Sigma \frac{d\sigma}{1-q(\sigma)/b(\sigma)} < \infty.
\]
The analysis uses Fermi coordinates, logarithmically corrected virtual ground states, and local Hardy inequalities with remainder terms of the form \(\rho^{-2}(\log\rho)^{-2}\) [1504.00972].

These variational problems show that weighted Hardy inequalities are not only norm inequalities. They also define sharp thresholds for singular Schrödinger-type operators, with minimizers appearing or disappearing according to geometric codimension, lower-order perturbations, and the behavior of the coefficient ratio \(q/p\) or \(q/b\) on the singular set [1202.0033] [1504.00972].

## 4. Nonlocal, nonlinear, and variable-exponent extensions

In the fractional setting, the gradient energy is replaced by a weighted Gagliardo seminorm. For \(0<s<1\), \(p\ge1\), and suitable \(\alpha,\beta\), the weighted fractional Hardy inequality takes the form
\[
\int_{\Omega}\int_{\Omega}
\frac{|u(x)-u(y)|^{p}}
{|x-y|^{d+sp}\,\mathrm{dist}(x,\partial\Omega)^{-\alpha}\,\mathrm{dist}(y,\partial\Omega)^{-\beta}}
\,dy\,dx
\ge
C
\int_{\Omega}
|u(x)|^{p}\,\mathrm{dist}(x,\partial\Omega)^{-sp-\alpha-\beta}\,dx.
\]
Sharp constants are identified for the half-space \(\mathbb{R}^d_+\), convex domains, and \(\mathbb{R}^d\setminus\{0\}\) [2210.06760]. For the half-space, the sharp constant is \(D(d,s,p,\alpha,\beta)\); for the punctured space, it is \(C(d,s,p,\alpha,\beta)\). In convex domains, the same half-space constant remains sharp. The paper also derives weighted fractional Hardy–Sobolev–Maz’ya inequalities and remainder estimates for \(p\ge2\) based on the non-linear ground state representation of Frank and Seiringer [2210.06760].

For the weighted \(p\)-Laplacian with Robin boundary conditions, a general abstract inequality is obtained from a positive supersolution \(u\) satisfying
\[
-\operatorname{div}\big(a(x)|\nabla u|^{p-2}\nabla u\big)\ge b(x)u^{p-1}
\quad\text{in }\Omega,
\qquad
a(x)|\nabla u|^{p-2}\partial_\nu u = B(x)u^{p-1}
\quad\text{on }\partial\Omega.
\]
Then, for \(\varphi\in C_0^\infty(\Omega)\),
\[
\int_{\Omega} a(x)|\nabla\varphi|^p\,dx
\ge
\int_{\Omega} b(x)|\varphi|^p\,dx
+
\int_{\partial\Omega} B(x)|\varphi|^p\,d\sigma
\]
plus a nonnegative remainder term involving \(\nabla(\varphi/u)\), with different forms for \(p\ge2\) and \(1<p<2\) [2106.03200]. This framework produces power, logarithmic, exponential, non-radial, Maz’ya-type, and Heisenberg–Pauli–Weyl-type inequalities with explicit interior and boundary weights.

A different extension concerns variable exponent spaces \(L_{p(x),\omega}\) with \(0<p(x)<1\). These spaces are quasi-Banach and not locally convex, yet two-weight Hardy-type inequalities can still be proved for monotone functions. With
\[
Hf(x)=\frac{1}{x}\int_0^x f(t)\,dt,
\qquad
H^*f(x)=\int_x^\infty \frac{f(t)}{t}\,dt,
\]
and exponents \(0<p\le p(x)\le q(x)\le q<1\), the paper proves estimates of the form
\[
\|Hf\|_{L_{q(x),w_2}(0,\infty)}
\le
p^2 C_{p,q} d_p\, \|f\|_{L_{p(x),w_1}(0,\infty)}
\]
for nonnegative decreasing or increasing \(f\), under the embedding condition
\[
\left\|\frac{w_1}{w_2}\right\|_{L_{r(\cdot)}(0,\infty)}<\infty,
\qquad
r(x)=\frac{p(x)q(x)}{q(x)-p(x)}.
\]
An analogous estimate holds for \(H^*\) [1212.1695]. This places Hardy inequalities inside a non-locally convex variable-exponent regime where duality-based methods are unavailable.

## 5. Discrete, mean, and factorization formulations

The discrete weighted Hardy inequality is classical in the form
\[
\sum_{n=1}^\infty
\left(
\frac{1}{n}\sum_{k=1}^n a_k
\right)^p
\le
\left(\frac{p}{p-1}\right)^p
\sum_{n=1}^\infty a_n^p,
\qquad
a_n\ge0,\ p>1.
\]
A weighted discrete version,
\[
\sum_{n=1}^\infty
\left(U_n\sum_{k=1}^n a_k\right)^p
\le
C^p\sum_{n=1}^\infty V_n a_n^p,
\]
is characterized by the Andersen–Heinig condition
\[
A=\sup_{k\ge1}
\left(\sum_{i=k}^\infty U_i\right)^{1/p}
\left(\sum_{i=1}^k V_i^{1-q}\right)^{1/q}
<\infty,
\qquad
A\le C_H\le 4A,
\]
with \(q=p/(p-1)\) [2002.07939]. In the cited application, this criterion is used to solve \(\operatorname{div}\mathbf{u}=f\) in weighted Sobolev spaces on a planar cusp domain, yielding estimates relevant for Stokes and Korn theory [2002.07939].

A recent abstraction replaces prefix sums by nested averages over measurable partitions of a measure space. For
\[
T_n f
=
\frac{1}{M_n}\int_{X^{(n)}} m(x)f(x)\,d\mu(x),
\qquad
X^{(n)}=X_1\cup\cdots\cup X_n,
\]
the inequality
\[
\left(\sum_{n=1}^{\infty} b_n |T_n f|^q\right)^{1/q}
\le
\rho
\left(\sum_{n=1}^{\infty} b_n \int_{X_n}|f(x)|^p\,d\mu(x)\right)^{1/p}
\]
holds if and only if the testing quantity
\[
\beta
=
\sup_{N\ge1}
\left(\sum_{n=N}^{\infty} \frac{b_n}{M_n^q}\right)^{1/q}
\left(\sum_{k=1}^N \frac{w_k^{p'}}{b_k^{p'/p}}\right)^{1/p'}
\]
is finite, and then
\[
\beta \le C_{\mathrm{opt}} \le p^{1/q}(p')^{1/p'}\beta \le 2\beta.
\]
This recovers the classical discrete Hardy inequality when \(X=\mathbb{N}\), \(X_n=\{n\}\), \(m\equiv1\), \(b_n\equiv1\), and \(M_n=n\) [2606.24044].

In the continuous one-weight setting, factorization theory refines Hardy inequalities by decomposing function spaces. If \(P\) and \(Q\) are the Hardy and dual Hardy operators, then weighted Cesàro and Copson norms are
\[
\|f\|_{Ces_p(v)}=\|P(|f|)\|_{L^p(v)},
\qquad
\|f\|_{Cop_p(v)}=\|Q(|f|)\|_{L^p(v)}.
\]
Under \(v\in M_p\cap m_p\),
\[
[v]_{m_p}\,|h|_{p,v}
\le
\|h\|_{Ces_p(v)}
\le
p^{1/p}(p')^{1/p'}[v]_{M_p}\,|h|_{p,v},
\]
where \(|h|_{p,v}\) is the infimum of \(\|f\|_{L^p(v)}\|g\|_{G_{p'}(v^{1-p'})}\) over factorizations \(h=fg\). An analogous statement holds for \(Cop_p(v)\) with \(G_{p'}^*(v^{1-p'})\) and \(M_p^*,m_p^*\) [1707.07039]. These factorizations recover the best forms of the weighted Hardy inequalities for \(P\) and \(Q\).

A distinct mean-theoretic generalization replaces arithmetic means by an abstract weighted mean \(\mathscr{M}\). Given a weight sequence \(\lambda=(\lambda_n)\) and \(\Lambda_n=\lambda_1+\cdots+\lambda_n\), the \(\lambda\)-weighted Hardy constant \(H_\lambda(\mathscr{M})\) is the smallest \(C\) such that
\[
\sum_{n=1}^{\infty}
\lambda_n\,
\mathscr{M}\big((x_1,\dots,x_n),(\lambda_1,\dots,\lambda_n)\big)
\le
C\sum_{n=1}^{\infty}\lambda_n x_n.
\]
For symmetric, monotone, Jensen-concave weighted means satisfying the weighted Kedlaya inequality and \(\lambda\in V(R)\), this constant is
\[
H_\lambda(\mathscr{M})
=
\sup_{y>0}\liminf_{n\to\infty}
\frac{1}{y}\,
\mathscr{M}\Big(\frac{y\lambda_k}{\Lambda_k},\lambda_k\Big)_{k=1}^n,
\]
provided \(\sum\lambda_n=+\infty\). Moreover, for symmetric monotone means, the largest possible weighted Hardy constant over all admissible weight sequences is achieved for the constant sequence \(\lambda_n\equiv1\) [1711.09019].

For non-increasing sequences, still another discrete theory studies
\[
\sum_{n=1}^\infty b_n
\left(
\sum_{k=1}^n \frac{A_k x_k}{\Lambda_n}
\right)^p
\le
U_p\sum_{n=1}^\infty x_n^p,
\qquad
\Lambda_n=\sum_{k=1}^n A_k,
\]
with \(A_k\) non-increasing. This holds if and only if
\[
\sum_{k=n}^\infty \frac{b_k}{\Lambda_k^p}
\le
U_p'\,\frac{1}{\Lambda_n^p}\sum_{k=1}^n b_k,
\]
and the best constants satisfy
\[
U_p'\le U_p\le (pU_p'+1)^p
\quad\text{for }1\le p\le2,
\]
improving an earlier bound in that range [1401.7156].

## 6. Techniques, sharp constants, and applications

Several proof architectures recur across the literature. One is the ground-state or supersolution method: identify a positive comparison function \(u\), compute the action of the relevant operator on \(u\), and derive the Hardy inequality from positivity. This method underlies the weighted \(p\)-Laplacian with Robin boundary conditions [2106.03200], the criticality-theoretic proof of the boundary-distance inequality with sharp constant \(\left(\frac{\alpha+p-n}{p}\right)^p\) [2012.12860], and the fractional weighted inequalities via the non-linear ground state representation [2210.06760].

A second framework is localization near the singular geometry. Fermi coordinates and expansions of the metric or Laplacian are used near boundary submanifolds and manifold singular sets, leading to model solutions such as
\[
d(x)\,\tilde\delta(x)^{(k-N)/2}
\quad\text{or}\quad
(-\log \rho)^a \rho^\alpha,
\]
local improved Hardy inequalities with logarithmic remainders, and barrier constructions that distinguish existence from concentration at the singular set [1202.0033] [1504.00972].

A third route is direct one-dimensional integration by parts. In the elementary approach to weighted Hardy-type inequalities, one differentiates a composite quantity involving the weight and the Hardy transform, then applies Hölder’s inequality to get explicit constants. This yields the optimal constant
\[
\left(\frac{|\alpha-p+1|}{p}\right)^p
\]
in the power-weight case and, by iteration, an infinite sequence of Birman–Hardy–Rellich-type inequalities; operator-valued versions follow by trace or positive-operator arguments [1904.09502].

The applications are correspondingly broad. Weighted Hardy inequalities give lower bounds for singular Schrödinger and \(p\)-Laplacian forms, determine spectral thresholds and critical couplings, and govern the existence of minimizers or ground states [1202.0033] [2106.03200]. In the Kolmogorov setting with invariant measure, the critical weighted Hardy inequality yields the existence/nonexistence threshold for positive exponentially bounded solutions of a parabolic problem with potential
\[
V(x)=\frac{c}{|x|^2(\log(aR/|x|))^2}
\]
in dimension two, with critical coefficient \(c=4\) [1803.02971]. For degenerate elliptic diffusion operators with coefficients \(C(x)\sim c(x)d_\Gamma(x)^\delta I\), the boundary Hardy constant controls essential self-adjointness, with threshold \(\delta>3/2\) in the \(C^{1,1}\), convex, and exterior-convex geometries covered by the theory [2103.07848]. In weighted Sobolev analysis on cuspidal domains, discrete Hardy inequalities provide the gluing mechanism in local-to-global constructions for \(\operatorname{div}u=f\), and the same machinery is linked in the cited work to Korn inequalities and the Stokes equations [2002.07939].

Weighted Hardy inequalities therefore form a unified family of sharp coercive estimates whose geometry is encoded by distance functions, codimension, curvature, Hausdorff dimension, or nested averaging structure. Their constants are often optimal, their failure is frequently tied to critical thresholds, and their modern formulations connect PDE, spectral theory, metric geometry, and discrete analysis in a common variational language.

Source: https://www.emergentmind.com/topics/weighted-hardy-inequality