More Like this

1. Asymptotic behavior of BV functions and sets of finite perimeter in metric measure spaces

   https://doi.org/10.1090/tran/8495  

   Eriksson-Bique, Sylvester; Gill, James T.; Lahti, Panu; Shanmugalingam, Nageswari (November 2021, Transactions of the American Mathematical Society)

   null (Ed.)

   In this paper, we study the asymptotic behavior of BV functions in complete metric measure spaces equipped with a doubling measure supporting a 1-Poincare inequality. We show that at almost every point x outside the Cantor and jump parts of a BV function, the asymptotic limit of the function is a Lipschitz continuous function of least gradient on a tangent space to the metric space based at x. We also show that, at co-dimension 1 Hausdorff measure almost every measure-theoretic boundary point of a set E of finite perimeter, there is an asymptotic limit set (E)∞ corresponding to the asymptotic expansion of E and that every such asymptotic limit (E)∞ is a quasiminimal set of finite perimeter. We also show that the perimeter measure of (E)∞ is Ahlfors co-dimension 1 regular. 

   more » « less
2. Boundary regularity and stability for spaces with Ricci bounded below

   https://doi.org/10.1007/s00222-021-01092-8  

   Bruè, Elia; Naber, Aaron; Semola, Daniele (May 2022, Inventiones mathematicae)

   Abstract This paper studies the structure and stability of boundaries in noncollapsed $${{\,\mathrm{RCD}\,}}(K,N)$$ RCD ( K , N ) spaces, that is, metric-measure spaces $$(X,{\mathsf {d}},{\mathscr {H}}^N)$$ ( X , d , H N ) with Ricci curvature bounded below. Our main structural result is that the boundary $$\partial X$$ ∂ X is homeomorphic to a manifold away from a set of codimension 2, and is $$N-1$$ N - 1 rectifiable. Along the way, we show effective measure bounds on the boundary and its tubular neighborhoods. These results are new even for Gromov–Hausdorff limits $$(M_i^N,{\mathsf {d}}_{g_i},p_i) \rightarrow (X,{\mathsf {d}},p)$$ ( M i N , d g i , p i ) → ( X , d , p ) of smooth manifolds with boundary, and require new techniques beyond those needed to prove the analogous statements for the regular set, in particular when it comes to the manifold structure of the boundary $$\partial X$$ ∂ X . The key local result is an $$\varepsilon $$ ε -regularity theorem, which tells us that if a ball $$B_{2}(p)\subset X$$ B 2 ( p ) ⊂ X is sufficiently close to a half space $$B_{2}(0)\subset {\mathbb {R}}^N_+$$ B 2 ( 0 ) ⊂ R + N in the Gromov–Hausdorff sense, then $$B_1(p)$$ B 1 ( p ) is biHölder to an open set of $${\mathbb {R}}^N_+$$ R + N . In particular, $$\partial X$$ ∂ X is itself homeomorphic to $$B_1(0^{N-1})$$ B 1 ( 0 N - 1 ) near $$B_1(p)$$ B 1 ( p ) . Further, the boundary $$\partial X$$ ∂ X is $$N-1$$ N - 1 rectifiable and the boundary measure "Equation missing" is Ahlfors regular on $$B_1(p)$$ B 1 ( p ) with volume close to the Euclidean volume. Our second collection of results involve the stability of the boundary with respect to noncollapsed mGH convergence $$X_i\rightarrow X$$ X i → X . Specifically, we show a boundary volume convergence which tells us that the $$N-1$$ N - 1 Hausdorff measures on the boundaries converge "Equation missing" to the limit Hausdorff measure on $$\partial X$$ ∂ X . We will see that a consequence of this is that if the $$X_i$$ X i are boundary free then so is X . 

   more » « less
3. On Carrasco Piaggio's theorem characterizing quasisymmetric maps from compact doubling spaces to Ahlfors regular spaces

   Shanmugalingam, Nageswari (January 2023, Potentials and Partial Differential Equations - The Legacy of David R. Adams (series: Advances in Analysis and Geometry ))

   Xiao, Jie; Lenhart, Suzanne (Ed.)

   In this note we deconstruct and explore the components of a theorem of Carrasco Piaggio, which relates Ahlfors regular conformal gauge of a compact doubling metric space to weights on Gromov-hyperbolic fillings of the metric space. We consider a construction of hyperbolic filling that is simpler than the one considered by Carrasco Piaggio, and we determine the effect of each of the four properties postulated by Carrasco Piaggio on the induced metric on the compact metric space. 

   more » « less
4. Potential theory and quasisymmetric maps between compact Ahlfors regular metric measure spaces via Besov functions: preliminary

   Lehrback, Juha; Shanmugalingam, Nageswari (May 2024, Pute and Applied Functional Analysis)

   We study Besov capacities in a compact Ahlfors regular metric measure space by means of hyperbolic fillings of the space.This approach is applicable even if the space does not support any Poincar´e inequalities. As an application of the Besov capacity estimates we show that if a homeomorphism between two Ahlfors regular metric mea- sure spaces preserves, under some additional assumptions, certain Besov classes, then the homeomorphism is necessarily a quasisymmetric map. 

   more » « less
5. Hausdorff Dimension of Caloric Measure

   https://doi.org/10.1353/ajm.2025.a954648  

   Badger, Matthew; Genschaw, Alyssa (April 2025, American Journal of Mathematics)

   abstract: We examine caloric measures $$\omega$$ on general domains in $$\RR^{n+1}=\RR^n\times\RR$$ (space $$\times$$ time) from the perspective of geometric measure theory. On one hand, we give a direct proof of a consequence of a theorem of Taylor and Watson (1985) that the lower parabolic Hausdorff dimension of $$\omega$$ is at least $$n$$ and $$\omega\ll\Haus^n$$. On the other hand, we prove that the upper parabolic Hausdorff dimension of $$\omega$$ is at most $$n+2-\beta_n$$, where $$\beta_n>0$$ depends only on $$n$$. Analogous bounds for harmonic measures were first shown by Nevanlinna (1934) and Bourgain (1987). Heuristically, we show that the \emph{density} of obstacles in a cube needed to make it unlikely that a Brownian motion started outside of the cube exits a domain near the center of the cube must be chosen according to the ambient dimension. In the course of the proof, we give a caloric measure analogue of Bourgain's alternative: for any constants $$0<\epsilon\ll_n \delta<1/2$ and closed set $$E\subset\RR^{n+1}$$, either (i) $$E\cap Q$$ has relatively large caloric measure in $$Q\setminus E$$ for every pole in $$F$$ or (ii) $$E\cap Q_*$$ has relatively small $$\rho$$-dimensional parabolic Hausdorff content for every $$n<\rho\leq n+2$$, where $$Q$$ is a cube, $$F$$ is a subcube of $$Q$$ aligned at the center of the top time-face, and $$Q_*$$ is a subcube of $$Q$$ that is close to, but separated backwards-in-time from $$F$$: \begin{gather*} Q=(-1/2,1/2)^n\times (-1,0),\quad F=[-1/2+\delta,1/2-\delta]^n\times[-\epsilon^2,0),\\[2pt] \text{and }Q_*=[-1/2+\delta,1/2-\delta]^n\times[-3\epsilon^2,-2\epsilon^2]. \end{gather*} Further, we supply a version of the strong Markov property for caloric measures. 

   more » « less