--- title: Weak Doubling Property in Analysis url: https://www.emergentmind.com/topics/weak-doubling-property type: topic --- # Weak Doubling Property in Analysis Searching arXiv for recent and foundational papers on weak doubling property and related notions. arxiv.search({"query":"all:\"weak doubling property\" OR all:\"weak metric doubling measure\" OR id:1701.06345 OR id:2005.01700 OR id:2101.04841 OR id:1312.0277 OR id:2511.12942","max_results":10,"sort_by":"submittedDate","sort_order":"descending"}) Searching arXiv by paper IDs and topic keywords. {"query":"1701.06345 2005.01700 2101.04841 1312.0277 2511.12942 weak metric doubling weak doubling property","max_results":10,"sort_by":"relevance"} The weak doubling property refers, in the literature considered here, to several related but non-equivalent relaxations of standard doubling. In its classical measure-theoretic form, doubling means \[ \mu\!\bigl(B(y,2R)\bigr)\le C_D\,\mu\!\bigl(B(y,R)\bigr) \] for all centers \(y\) and radii \(R>0\). By contrast, the weak variants that appear in geometric analysis and elliptic PDE are one-sided or partial analogues: in metric geometry they are formulated through lower bounds for chain-length functionals associated with a doubling measure; in periodic elliptic homogenization they take the form of scale-uniform \(L^2\) doubling inequalities for weak solutions; and in elliptic measure they may require \(\omega(2\Delta)\le C\,\omega(\Delta)\) only for most surface balls, or up to a set of small measure [1701.06345], [2101.04841], [2511.12942], [1312.0277]. ## 1. Standard doubling and weak variants A basic reference point is the usual doubling condition for a measure \(\mu\): \[ \forall\,y\in X,\;\forall\,R>0:\qquad \mu\!\bigl(B(y,2R)\bigr)\;\le\;C_D\,\mu\!\bigl(B(y,R)\bigr). \tag{D} \] Korobenko–Maldonado–Rios show that, in Euclidean, metric, Dirichlet-form, and subelliptic settings, a weak \((p\sigma,p)\)-Sobolev inequality implies exactly this standard doubling condition, with \(C_D\) depending only on \(p,\sigma\), and the Sobolev constant \(C_S\) [1312.0277]. Their account explicitly states that no genuinely weaker or “quasi-doubling” variants appear there. In the metric-doubling framework of David–Semmes, a doubling Borel measure \(\mu\) is metric-doubling of dimension \(s\) if there exists another metric \(q\) on \(X\) and a constant \(C\ge1\) such that \[ C^{-1}\,\mu\bigl(B(x,d(x,y))\bigr)^{1/s} \;\le\; q(x,y) \;\le\; C\,\mu\bigl(B(x,d(x,y))\bigr)^{1/s}. \tag{SD} \] This is a two-sided deformation estimate: the measure deforms the original metric without too much shrinking or too much stretching [1701.06345]. The weak metric-doubling condition removes the a priori upper bound. Lohvansuu–Rajala–Rasimus define a weak metric-doubling measure of dimension \(s\) by requiring only the lower control \[ \frac1{C_W}\,\mu\bigl(B_{xy}\bigr)^{1/s} \;\le\;q_{\mu,s}(x,y), \tag{WD} \] where \(q_{\mu,s}\) is built from \(\delta\)-chains and \(\mu\)-weighted chain lengths. In this formulation, “weak” means that the lower bound survives in the \(\delta\to0\) limit, but no upper bound is assumed in advance [1701.06345]. This suggests that, across the cited literature, “weak doubling” is best understood as a family of relaxations of doubling, rather than a single canonical definition. ## 2. Weak metric-doubling measures on metric spaces Let \((X,d)\) be a metric space, \(\mu\) a doubling Radon or Borel measure, and \(s>0\). For \(x,y\in X\) and \(\delta>0\), set \[ B_{xy}=B\bigl(x,d(x,y)\bigr)\cup B\bigl(y,d(x,y)\bigr). \] A finite sequence \((x_0,x_1,\dots,x_m)\) is a \(\delta\)-chain from \(x\) to \(y\) if \[ x_0=x,\quad x_m=y,\quad d(x_j,x_{j-1})\le\delta\quad (j=1,\dots,m). \] Its \(\mu\)-length is \[ \sum_{j=1}^m \mu\bigl(B_{x_jx_{j-1}}\bigr)^{1/s}. \] One then defines \[ q_{\mu,s}^\delta(x,y) =\inf\Bigl\{\sum_{j=1}^m\mu(B_{x_jx_{j-1}})^{1/s}:(x_j)\text{ is a }\delta\text{-chain}\Bigr\}, \] and \[ q_{\mu,s}(x,y)=\limsup_{\delta\to0}q_{\mu,s}^\delta(x,y)\in[0,\infty]. \] A doubling measure \(\mu\) is a weak metric-doubling measure of dimension \(s\) if there exists \(C_W>1\) such that \[ \frac1{C_W}\,\mu\bigl(B_{xy}\bigr)^{1/s}\le q_{\mu,s}(x,y) \] for all \(x,y\in X\) [1701.06345], [2005.01700]. The central distinction from strong metric doubling is that only the lower bound is postulated. To recover a genuine metric-doubling structure, one must prove a posteriori that \(q_{\mu,s}\) also satisfies an upper control \[ q_{\mu,s}(x,y)\lesssim\mu(B_{xy})^{1/s}, \] and that \(q_{\mu,s}\) is in fact a metric [1701.06345]. Rajala–Rasimus use the same construction in the finitely connected planar setting. In their notation, for \(s=2\) one writes \(q(x,y)=q_{\mu,2}(x,y)\), and a \(C_W\)-WMDM is defined by \[ \frac1{C_W}\,\mu\bigl(B_{xy}\bigr)^{1/2}\le q(x,y). \tag{2.1} \] They also prove a reverse local bound: for each \(x\in X\) there is \(r_x>0\) such that \[ q(x,y)\le C_S\,\mu\bigl(B_{xy}\bigr)^{1/2} \quad\text{whenever }d(x,y)0\), any two points in \(B(x,r)\) can be joined by a continuum in \(B(x,\lambda r)\), and any two points in \(X\setminus B(x,r)\) can be joined by a continuum in \(X\setminus B(x,r/\lambda)\). The proof of the nontrivial implication starts from \[ q(x,y)=q_{\mu,2}(x,y), \] which automatically satisfies the lower bound \[ q(x,y)\ge \frac1{C_W}\,\mu(B_{xy})^{1/2}. \] Proposition 3.1 then shows that \(q\) is actually a metric and that there exists \(C_S>1\) such that \[ q(x,y)\le C_S\,\mu\bigl(B_{xy}\bigr)^{1/2}. \] Lemma 3.2 and Proposition 3.1 imply that the identity map \[ \mathrm{id}\colon (X,d)\to (X,q) \] is quasisymmetric and that \((X,q)\) is Ahlfors \(2\)-regular. Bonk–Kleiner’s theorem then yields a quasisymmetric parametrization of \((X,q)\) by the round sphere, and composition gives the desired parametrization of \((X,d)\) [1701.06345]. The key technical step is the missing upper bound. According to the proof outline, it is established by constructing short \(\delta\)-chains in annuli and patching them across a cover of \(X\). The ingredients singled out in the paper are Lemma 4.3 on short chains in annuli, Proposition 5.2 on patching continua, and Lemma 5.3 giving the upper bound for \(q\) [1701.06345]. In the finitely connected planar setting, Rajala–Rasimus generalize the uniformization of Ahlfors \(2\)-regular spaces. If \((X,d)\) is homeomorphic to a finitely connected planar domain, linearly locally connected with constant \(\lambda\), carries a \(C_W\)-WMDM \(\mu\) with doubling constant \(C_D\), and \(\overline X\) is compact with \(M\) boundary components separated by ratio \(C_X\), then there is an \(\eta\)-quasisymmetric homeomorphism \[ f\colon (X,d)\longrightarrow \Omega\subset \mathbb S^2 \] onto a circle domain, where \(\eta\) depends only on \(\lambda\), \(C_X\), \(C_D\), \(C_W\), and \(M\) [2005.01700]. Their Section 3 also contains growth estimates for the deformed metric \(q\): \[ \mu\bigl(B_q(x,s)\bigr)\le C_W^2\,s^2, \tag{3.1} \] and, provided \(B_q(x,s)\subset B_d(x,r_x)\), \[ \frac{s^2}{2\,C_S^2\,C_D}\le \mu\bigl(B_q(x,s)\bigr). \tag{3.2} \] From these inequalities they deduce that \(\mu\) is comparable to the two-dimensional Hausdorff measure \(H_q^2\) of \((X,q)\), so \((X,q)\) becomes Ahlfors \(2\)-regular [2005.01700]. ## 4. Dimension sharpness, examples, and failure of strong doubling The geometric theory is dimension-sensitive. Lohvansuu–Rajala–Rasimus record that if \(s<2\), then no linearly locally connected two-sphere can carry a weak metric-doubling measure of that smaller dimension. If \(s>2\), there are linearly locally connected spheres with weak metric-doubling measures of dimension \(s\) that admit no quasisymmetric parametrization; Rickman rugs on \(\mathbb R^2\) are given as an example [1701.06345]. The same source emphasizes that weak and strong metric doubling are genuinely different. In fractal constructions such as Rickman rugs and certain warped products, the lower bound \[ q_{\mu,s}(x,y)\gtrsim\mu(B_{xy})^{1/s} \] holds by construction, but the corresponding upper bound fails unless an additional regularity hypothesis is imposed [1701.06345]. Rajala–Rasimus likewise point to examples showing that the weak condition is strictly broader than the classical two-sided theory. They refer to earlier work for constructions of fractal surfaces whose natural Hausdorff measure fails strong metric-doubling but still satisfies the one-sided condition \[ \frac1{C_W}\,\mu\bigl(B_{xy}\bigr)^{1/s}\le q_{\mu,s}(x,y). \] They also note that in the classical Ahlfors-regular setting the surface measure is not only WMDM but in fact two-sided metric doubling, so the weak theory properly generalizes earlier quasisymmetric uniformization results [2005.01700]. A common misconception is that the adjective “weak” merely reflects a technical reformulation of standard doubling. In these examples it does not: the one-sided condition can persist in settings where strong metric-doubling fails. ## 5. Weak doubling in periodic elliptic homogenization In periodic elliptic homogenization, the weak doubling property has a different meaning. Consider \[ L_\varepsilon u = -\nabla\!\cdot\!\bigl(A(x/\varepsilon)\nabla u\bigr), \] where \(A(y)\) is \(\mathbb Z^d\)-periodic, symmetric, uniformly elliptic, and Lipschitz. If \(u_\varepsilon\in H^1(B_1)\) solves \(L_\varepsilon u_\varepsilon=0\) in \(B_1\), the doubling index of a ball \(B\Subset B_1\) is \[ N(u_\varepsilon,B)=\log_2\!\left(\frac{\int_{2B}|u_\varepsilon|^2}{\int_B|u_\varepsilon|^2}\right). \] The paper defines a doubling inequality, or weak doubling property, by the estimate \[ \int_{B_{2r}(x_0)}|u_\varepsilon|^2\,dx \le C(N)\int_{B_r(x_0)}|u_\varepsilon|^2\,dx, \] where \(C(N)\) is independent of \(\varepsilon\) and \(N\) is an a priori bound on the global doubling index [2101.04841]. Under the normalized doubling condition \[ \int_{B_1}|u_\varepsilon|^2 \le N \cdot \int_{B_\theta}|u_\varepsilon|^2 \] for some fixed \(\theta\in(0,\tfrac12)\), the main theorem gives explicit all-scale bounds. For \(d\ge3\), for any \(\tau>0\) there exists \(C=C(d,\Lambda,\gamma,\tau)\) such that for every \(r\in(0,1)\), \[ \int_{B_r}|u_\varepsilon|^2 \le \exp\!\bigl(\exp(CN^\tau)\bigr)\int_{B_{\theta r}}|u_\varepsilon|^2. \] For \(d=2\), there is \(C=C(\Lambda,\gamma)\) such that \[ \int_{B_r}|u_\varepsilon|^2 \le \exp\!\bigl(C(\ln N)^2\bigr)\int_{B_{r/2}}|u_\varepsilon|^2. \] Thus the constant is \(\varepsilon\)-independent and grows as a double-exponential in \(N^\tau\) for \(d\ge3\), or sub-exponential in \(N\) for \(d=2\) [2101.04841]. The proof splits into three regimes. At small scale, \(r/\varepsilon\lesssim N^{-5}\), one approximates \(u_\varepsilon\) by its homogenized harmonic limit and obtains \[ \int_{B_r}|u_\varepsilon|^2 \le 2N\int_{B_{r/2}}|u_\varepsilon|^2. \] At intermediate scale, \(N^{-5}\lesssim r/\varepsilon\lesssim N^{-\tau/2}\), one uses the Armstrong–Kuusi–Smart three-ball inequality with exponential tail and iteration to reach \[ \int_{B_r}|u_\varepsilon|^2 \le C\,\exp(N^{\tau/2})\int_{B_{\theta r}}|u_\varepsilon|^2. \] At large scale, \(r/\varepsilon\gtrsim N^{-\tau/2}\), one rescales to a problem with Lipschitz constant \(O(N^{\tau/2})\), applies Almgren-type frequency monotonicity, and concludes \[ \int_{B_r}|u_\varepsilon|^2 \le \exp\!\bigl(\exp(CN^\tau)\bigr)\int_{B_{\theta r}}|u_\varepsilon|^2. \] The stated ingredients are convergence rates in homogenization, a three-ball inequality from large-scale analyticity, and a refined Almgren frequency argument [2101.04841]. ## 6. Elliptic measure, Carleson drifts, and the boundary of the concept For elliptic measure, the cited 2025 work studies \[ L\,u := -\operatorname{div}(A(X)\nabla u) + b(X)\cdot\nabla u \] on a \(1\)-sided chord-arc domain \(\Omega\subset\mathbb R^n\), \(n\ge3\), with Ahlfors–David regular boundary, corkscrew condition, Harnack chain condition, bounded uniformly elliptic principal part, and drift satisfying both \(|b(X)|\le M/\delta(X)\) and the Carleson-measure smallness condition \[ \|b\|_C := \sup_{x\in\partial\Omega,\; r>0}\, \frac{1}{r^{n-1}}\int_{B(x,r)\cap\Omega}|b(Y)|\,\delta(Y)\,dY \le \varepsilon. \] If \(\varepsilon\le\varepsilon_0\), then for every surface ball \(\Delta(x,r)=B(x,r)\cap\partial\Omega\) and every \(p\in\Omega\setminus B(x,2r)\), \[ \omega_L^p(2\Delta)\le C\,\omega_L^p(\Delta), \] with \(C\) depending only on the structural parameters. Equivalently, \[ c^{-1}\,r^{n-2}\,G_L(p,A_\Delta)\le \omega_L^p(\Delta)\le c\,r^{n-2}\,G_L(p,A_\Delta), \] and doubling follows by replacing \(r\mapsto2r\) [2511.12942]. The argument proceeds through three stages: a local Hardy inequality and Carleson-box Caccioppoli estimate; boundary Hölder regularity and a Bourgain estimate; and two-sided pointwise Green-function bounds. The paper states that one also obtains a weak-doubling property, which only demands \(\omega(2\Delta)\le C\,\omega(\Delta)\) for most surface balls, or up to a set of small measure, under a slightly looser Carleson condition on \(b\) [2511.12942]. Placed beside the Sobolev-to-doubling theorem of Korobenko–Maldonado–Rios, this yields a useful distinction. In the Sobolev paper, “weak” modifies the Sobolev hypothesis, while the conclusion is exact standard doubling: \[ \mu\!\bigl(B(y,2R)\bigr)\le C_D\,\mu\!\bigl(B(y,R)\bigr) \] for all balls [1312.0277]. In the geometric and elliptic-measure papers, by contrast, “weak doubling” refers to a genuinely relaxed doubling notion. A plausible implication is that the term acquires its precise meaning only after the ambient structure—metric chains, solution norms, or boundary measure—has been fixed. Source: https://www.emergentmind.com/topics/weak-doubling-property