---
title: Capacitary Muckenhoupt Weights
url: https://www.emergentmind.com/topics/capacitary-muckenhoupt-weights
type: topic
---

# Capacitary Muckenhoupt Weights

Searching arXiv for recent papers on capacitary Muckenhoupt weights, Hausdorff content/capacities, and related extrapolation/BMO results.
Capacitary Muckenhoupt weights are weighted classes defined relative to non-additive capacities—most prominently Hausdorff content—and Choquet integration, designed to play the role that classical \(A_p\) weights play in Lebesgue measure theory. In the recent Hausdorff-content framework, the classes \(A_{p,\beta}\) and \(\mathcal A_{p,\delta}\) characterize weighted strong and weak type inequalities for capacitary Hardy–Littlewood maximal operators, support reverse Hölder and factorization phenomena, and furnish the weight-theoretic infrastructure for extrapolation theorems and BMO/BLO characterizations in non-linear capacitary function spaces [2509.23839] [2510.04105] [2511.01161].

## 1. Capacitary setting and Choquet integration

The ambient framework replaces a measure by a capacity \(C\), that is, a monotone set function \(C:\mathcal P(\mathbb R^n)\to[0,\infty]\) satisfying countable subadditivity. For a non-negative function \(f\), the Choquet integral with respect to \(C\) is
\[
\int_{\mathbb R^n} f\,dC:=\int_0^\infty C(\{x:f(x)>t\})\,dt.
\]
For Hausdorff content, if \(0<\beta\le n\),
\[
H_\infty^\beta(E):=\inf\left\{\sum_j \omega_\beta r_j^\beta:E\subseteq \bigcup_j B_j\right\},
\]
with an equivalent formulation using cubes. In the parallel notation used elsewhere, for \(\delta\in(0,n]\),
\[
\mathcal H_\infty^\delta(E)=\inf\left\{\sum_i [l(Q_i)]^\delta:E\subset\bigcup_i Q_i\right\}.
\]
These are the basic capacities underlying the recent theory [2510.04105] [2511.01161].

The associated capacitary Lebesgue spaces are defined by
\[
L^p(\mathbb R^n,C)=\left\{f:\int_{\mathbb R^n}|f|^p\,dC<\infty,\ f\ \text{quasi-continuous}\right\},
\qquad
\|f\|_{L^p(\mathbb R^n,C)}=\left(\int_{\mathbb R^n}|f|^p\,dC\right)^{1/p}.
\]
Weights enter through the weighted Hausdorff capacity
\[
w_{H_\infty^\beta}(E):=\int_E w(x)\,dH_\infty^\beta(x),
\]
and analogously for \(\mathcal H_\infty^\delta\). The persistent technical features of the theory are quasi-continuity, quasi-everywhere statements, and the non-linearity of the Choquet integral [2510.04105].

## 2. Definitions and principal characterizations

The capacitary Hardy–Littlewood maximal operator attached to Hausdorff content is defined by
\[
M_\beta f(x)=\sup_{x\in Q}\frac{1}{H_\infty^\beta(Q)}\int_Q |f|\,dH_\infty^\beta,
\]
or, in the \(\delta\)-notation,
\[
\mathcal M_{\mathcal H_\infty^\delta}f(x):=\sup_{Q\ni x}\frac{1}{\mathcal H_\infty^\delta(Q)}\int_Q |f|\,d\mathcal H_\infty^\delta.
\]
For \(1<p<\infty\), the capacitary Muckenhoupt condition is
\[
\left(\frac{1}{H_\infty^\beta(Q)}\int_Q w\,dH_\infty^\beta\right)
\left(\frac{1}{H_\infty^\beta(Q)}\int_Q w^{-1/(p-1)}\,dH_\infty^\beta\right)^{p-1}\le A
\]
for every cube \(Q\subset\mathbb R^n\). This defines the class \(A_{p,\beta}\). The endpoint class \(A_{1,\beta}\) is given by
\[
M_\beta w(x)\le K\,w(x)
\quad\text{for quasi-every }x.
\]
In the \(\mathcal A_{p,\delta}\) notation, the definition is formally identical with \(H_\infty^\beta\) replaced by \(\mathcal H_\infty^\delta\), and \(\mathcal A_{1,\delta}\) is characterized by the maximal inequality \(M^\delta w(x)\lesssim w(x)\) [2510.04105] [2511.01161].

The defining significance of these classes is their maximal-operator characterization. For \(1<p<\infty\), the weighted inequality
\[
\int_{\mathbb R^n}|M_\beta f(x)|^p w(x)\,dH_\infty^\beta(x)
\le K\int_{\mathbb R^n}|f(x)|^p w(x)\,dH_\infty^\beta(x)
\]
holds if and only if \(w\in A_{p,\beta}\). In the \(\mathcal A_{p,\delta}\) formulation, for any \(p\in(1,\infty)\) and \(\delta\in(0,n]\), strong-type boundedness on \(L^p_w(\mathbb R^n,\mathcal H_\infty^\delta)\), weak-type boundedness from \(L^p_w\) to \(L^{p,\infty}_w\), and membership in \(\mathcal A_{p,\delta}\) are equivalent; the weak \((1,1)\) inequality holds if and only if \(w\in\mathcal A_{1,\delta}\) [2509.23839].

When \(\delta=n\), Hausdorff content is equivalent to Lebesgue measure, so \(\mathcal A_{p,n}=A_p\) and the capacitary classes recover the classical Muckenhoupt scale [2509.23839].

## 3. Structural properties and internal calculus

A central feature of capacitary Muckenhoupt classes is that they reproduce much of the internal algebra of the classical theory. For \(A_{p,\beta}\), the reverse-exponent symmetry
\[
w\in A_{p,\beta}\iff w^{1-p'}\in A_{p',\beta}
\]
holds. Under the additional assumption that \(w\) is quasi-continuous, the classes are self-improving in two distinct senses: if \(w\in A_{p,\beta}\), then \(w^{1+\gamma}\in A_{p,\beta}\) for some \(\gamma>0\); and if \(w\in A_{p,\beta}\), then \(w\in A_{q,\beta}\) for some \(q<p\). The capacitary Jones factorization theorem states that
\[
w\in A_{p,\beta}\iff w=w_0\,w_1^{1-p}
\quad\text{for some }w_0,w_1\in A_{1,\beta}.
\]
These statements are explicitly described as analogues of reverse Hölder, openness, and factorization phenomena in the classical \(A_p\) theory [2510.04105].

A technically important construction is the generation of \(A_{1,\beta}\) weights from the maximal operator. If \(f\in L^1_{\mathrm{loc}}(H_\infty^\beta)\) and \(M_\beta f(x)<\infty\) quasi-everywhere, then for \(0\le \delta<1\),
\[
(M_\beta f)^\delta\in A_{1,\beta}.
\]
The proof uses decomposition of \(f\), sublinearity, weak-type estimates, and covering arguments adapted to the non-additive Choquet integral and the strong subadditivity of dyadic Hausdorff content [2510.04105].

In the \(\mathcal A_{p,\delta}\) notation, the theory also exhibits monotonicity in \(p\) and strict monotonicity in the Hausdorff-content dimension:
\[
\mathcal A_{p,\delta_1}\subsetneq \mathcal A_{p,\delta_2}
\qquad\text{for }0<\delta_1<\delta_2\le n.
\]
Reverse Hölder and self-improving properties, as well as Jones factorization, are established there by methods adapted to sparse coverings, packing conditions, and substitutes for linearity and Fubini [2509.23839].

## 4. Model families and geometric criteria

The capacitary classes admit explicit model weights. A basic example is the radial power weight
\[
w(x)=|x|^\alpha,
\]
which belongs to \(\mathcal A_{p,\delta}\) if and only if
\[
\alpha\in(-\delta,\delta(p-1)).
\]
This is the direct Hausdorff-content analogue of the classical Euclidean power-weight range [2509.23839].

Related work on classical Muckenhoupt distance weights supplies a geometric taxonomy of singular behavior near lower-dimensional sets. On an \(\alpha\)-Ahlfors metric measure space \((X,d,\mu)\), if \(F\subset X\) is closed and \((F,d)\) is \(s\)-Ahlfors with \(0\le s<\alpha\), then
\[
d(x,F)^\beta\in A_p(X,d,\mu)
\quad\text{for}\quad
-(\alpha-s)<\beta<(\alpha-s)(p-1),
\]
and these weights are actually \(A_1\) when \(0\le \beta/(\alpha-s)<1\). The dependence on the codimension \(\alpha-s\) is explicit, and the paper gives fractal illustrations such as the Sierpiński gasket [1306.0893].

In \(Q\)-regular or doubling metric settings, the sharp criterion can be expressed through Assouad codimension. For a closed set \(E\subset X\) and
\[
w(x)=\operatorname{dist}(x,E)^{-\alpha},
\]
one has
\[
w\in A_p
\iff
(1-p)\operatorname{codim}_A(E)<\alpha<\operatorname{codim}_A(E),
\]
and
\[
w\in A_1
\iff
0\le \alpha<\operatorname{codim}_A(E).
\]
These bounds are stated as sharp, with consequences for Hardy–Sobolev and fractional Hardy–Sobolev inequalities [1705.01360].

For the endpoint \(A_1\) regime in spaces of homogeneous type, there is a complete geometric characterization: \(d(\cdot,E)^{-\alpha}\in A_1\) for some \(\alpha>0\) if and only if \(E\) is weakly porous and the maximal \(E\)-free hole function \(P_{d,E}\) is doubling [2406.14369]. For \(A_p\) with \(p>1\), the admissible sets are strictly more general: existence of a nontrivial distance weight \(\operatorname{dist}(x,E)^\theta\in A_p\) is equivalent to a multiscale distribution condition controlling the ratio between the largest and smallest pores that account for a fixed proportion of the complement inside every cube. The paper states that this condition is more general than weak porosity and allows a balance of small-scale and large-scale pores rather than a rigid large-pore condition [2507.18805].

## 5. Maximal inequalities, extrapolation, and oscillation spaces

The primary analytical role of capacitary Muckenhoupt weights is the exact control of weighted norm inequalities for maximal operators. In the Hausdorff-content setting, for \(p\in(1,\infty)\), boundedness of the capacitary Hardy–Littlewood maximal operator on \(L^p_w(\mathbb R^n,\mathcal H_\infty^\delta)\), boundedness on the weak weighted Choquet-Lebesgue space \(L^{p,\infty}_w(\mathbb R^n,\mathcal H_\infty^\delta)\), and membership in \(\mathcal A_{p,\delta}\) are equivalent; the weighted weak \(L^1\) inequality is equivalent to \(w\in\mathcal A_{1,\delta}\) [2509.23839].

A major recent application is extrapolation. If \(1<p_0<\infty\) and an operator \(T\) is bounded on
\[
L^{p_0}(\mathbb R^n,w\,dH_\infty^\beta)
\]
for all \(w\in A_{p_0,\beta}\), with norm depending only on the \(A_{p_0,\beta}\)-constant, then two conclusions follow. First, for all \(1<p<p_0\) and \(w\in A_{1,\beta}\), the operator \(T\) is bounded on \(L^p(\mathbb R^n,w\,dH_\infty^\beta)\). Second, for all \(1<p<\infty\) and all quasi-continuous \(w\in A_{p,\beta}\), the operator \(T\) is bounded on the same weighted capacitary \(L^p\) space. The proof is described as relying on Jones factorization, self-improvement, duality, and the new \(A_{1,\beta}\)-construction from maximal functions [2510.04105].

Capacitary Muckenhoupt weights also control oscillation spaces defined with Hausdorff content. For every \(p\in(1,\infty)\),
\[
f\in \mathrm{BMO}(\mathbb R^n,\mathcal H_\infty^\delta)
\iff
e^{\alpha f}\in \mathcal A_{p,\delta}
\quad\text{for some }\alpha>0,
\]
and
\[
f\in \mathrm{BLO}(\mathbb R^n,\mathcal H_\infty^\delta)
\iff
e^{\beta f}\in \mathcal A_{1,\delta}
\quad\text{for some }\beta>0.
\]
The same work proves a John–Nirenberg inequality for BLO, a capacitary weighted John–Nirenberg inequality, the coincidence of weighted and unweighted BMO spaces for \(w\in\mathcal A_{p,\delta}\), and factorization theorems of BMO/BLO via Hardy–Littlewood maximal operators [2511.01161].

A common misconception is that these results are formal transcriptions of the classical measure-theoretic theory. The recent extrapolation work explicitly states that the theorem is not merely a translation from the classical case: quasi-continuity, quasi-everywhere formulations, Choquet integration, and recent structural results on capacitary weights are essential to the argument [2510.04105].

## 6. Adjacent weighted-capacity frameworks and conceptual distinctions

Capacitary Muckenhoupt weights sit inside a broader ecosystem of weighted potential theory, but they are not identical to every weight framework attached to capacities. One related theory concerns local Muckenhoupt weights \(A_p^{\mathrm{loc}}\), defined by restricting the \(A_p\) supremum to cubes of bounded sidelength. In that setting, one obtains weighted Bessel and local Riesz capacities, local Muckenhoupt–Wheeden inequalities, capacitary strong type inequalities for nonlinear potentials, boundedness of the local maximal function on Choquet-Lorentz spaces, and a Kellogg property stating that the thin points of a Borel set form a set of weighted capacity zero [2404.06810].

Another adjacent framework uses \(p\)-admissible weights, meaning weights \(w\) for which \(d\mu=w\,dx\) is doubling and satisfies a \(p\)-Poincaré inequality. Every classical \(A_p\) weight is \(p\)-admissible, but in dimensions \(n\ge2\) the class of \(p\)-admissible weights is strictly larger than \(A_p\). For such weights, removable-set results are proved via geometric porosity and cube coverings rather than via a new capacitary Muckenhoupt criterion; for \(w\in A_p\), the classical equivalence between removability and capacity remains available because \(H^{1,p}=W^{1,p}\) in that case [2505.20555].

These distinctions are substantive. Capacitary Muckenhoupt weights in the Hausdorff-content sense are the precise scale governing weighted maximal inequalities, extrapolation, and BMO/BLO theory for Choquet-integral spaces. Local Muckenhoupt weights and \(p\)-admissible weights govern related but different capacity problems, with different localization, geometry, and functional-analytic consequences.

Source: https://www.emergentmind.com/topics/capacitary-muckenhoupt-weights