Construction of a Dirichlet form on Metric Measure Spaces of Controlled Geometry

Almaz Butaev,Liangbing Luo,Nageswari Shanmugalingam
DOI: https://doi.org/10.1007/s11118-024-10144-6
2024-06-02
Potential Analysis
Abstract:Given a compact doubling metric measure space X that supports a 2-Poincaré inequality, we construct a Dirichlet form on that is comparable to the upper gradient energy form on . Our approach is based on the approximation of X by a family of graphs that is doubling and supports a 2-Poincaré inequality (see [20]). We construct a bilinear form on using the Dirichlet form on the graph. We show that the -limit of this family of bilinear forms (by taking a subsequence) exists and that is a Dirichlet form on X . Properties of are established. Moreover, we prove that has the property of matching boundary values on a domain . This construction makes it possible to approximate harmonic functions (with respect to the Dirichlet form ) on a domain in X with a prescribed Lipschitz boundary data via a numerical scheme dictated by the approximating Dirichlet forms, which are discrete objects.
mathematics
What problem does this paper attempt to address?