Capacitary domination and Fefferman--Phong inequalities for measure potentials on $2$-PI spaces
Year: 2026
Type: preprint
Abstract: Let $(X,d,ω)$ be an unbounded complete doubling metric measure space supporting a weak $(1,2)$-Poincaré inequality, and let $π$ be a positive Radon measure. For a ball $B=B(x,R)$, suppose that for some $δ>0$ and $C_{\mathrm{gr}}>0$, \[ π(B(y,r))\le C_{\mathrm{gr}} \left(\frac rR\right)^δ\frac{ω(B(y,r))}{r^2}, \qquad y\in B,\quad 02$, there is a constant $C>0$ such that \[ π(K)\le C\operatorname{cap}_{2,ω}(K;Λ_0B), \qquad K\subset B\ \text{compact}, \] with the same outer ball for all compact $K$. No doubling or lower-Ahlfors regularity is imposed on $π$. This fixed-domain capacitary domination yields representative-independent $L^2(dπ)$ traces and, under a lower normalization $π(B)\ge c_0ω(B)/R^2$ with $c_0>0$, the mixed $dω\,dπ$ Poincaré estimate. Summation over bounded-overlap normalized covers gives two-sided global Fefferman--Phong inequalities and identifies the corresponding homogeneous energy spaces. In $\mathbb R^d$ with a Muckenhoupt $A_2$ weight $w$, scale decay and controlled enlargement of $π$ generate the required critical-radius cover for every sufficiently large fixed threshold $A$; no additional lower reverse-doubling hypothesis on $w$ is needed. The resulting energy comparison gives equality of the measure-potential and critical-multiplier form domains, a smooth form core, a nonnegative self-adjoint realization, resolvent estimates, and local critical-multiplier bounds. The framework also covers reverse-Hölder function potentials, Carnot groups, and lower-dimensional singular measures, and provides a representative-aware capacity derivation of an earlier generalized Schrödinger energy estimate.
Source: arXiv (Cornell University)
Author: Do, Tan Duc
Language: English
Subfield: Applied Mathematics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7169826011