Hölder regularity of harmonic functions on metric measure spaces

Jin Gao,Meng Yang
2024-08-18
Abstract:We introduce the Hölder regularity condition for harmonic functions on metric measure spaces and prove that under mild volume regular condition and upper heat kernel estimate, the Hölder regularity condition, the weak Bakry-Émery non-negative curvature condition, the heat kernel Hölder continuity with or without exponential terms and the heat kernel near-diagonal lower bound are equivalent. As applications, firstly, we prove the validity of the so-called generalized reverse Hölder inequality on the Sierpiński carpet cable system, which was left open by Devyver, Russ, Yang (Int. Math. Res. Not. IMRN (2023), no. 18, 15537-15583). Secondly, we prove that two-sided heat kernel estimates alone imply gradient estimate for the heat kernel on strongly recurrent fractal-like cable systems, which improves the main results of the aforementioned paper. Thirdly, we obtain Hölder (Lipschitz) estimate for heat kernel on general metric measure spaces, which extends the classical Li-Yau gradient estimate for heat kernel on Riemannian manifolds.
Analysis of PDEs,Functional Analysis,Metric Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the Hölder regularity of harmonic functions on metric measure spaces. Specifically, the author introduced the Hölder regularity conditions of harmonic functions on metric measure spaces and proved that under mild volume - regularity conditions and upper - bound estimates of the heat kernel, the Hölder regularity condition, the weak Bakry - Émery non - negative curvature condition, the Hölder continuity of the heat kernel with or without exponential terms, and the near - diagonal lower - bound of the heat kernel are equivalent. The following are the main contributions and goals of the paper: 1. **Introducing new Hölder regularity conditions**: The author introduced the Hölder regularity conditions of harmonic functions on metric measure spaces and proved that under certain conditions, these conditions are equivalent to other important properties (such as the weak Bakry - Émery non - negative curvature condition, the Hölder continuity of the heat kernel, etc.). 2. **Verifying the generalized reverse Hölder inequality**: As one of the applications, the author proved the validity of the generalized reverse Hölder inequality on the Sierpiński carpet cable system, which was an unsolved problem in previous research. 3. **Improving the heat kernel gradient estimate**: The author also proved that the heat kernel gradient estimate can be obtained only through bilateral heat kernel estimates, without assuming any gradient - type conditions, such as the generalized reverse Hölder inequality. This result improves previous work. 4. **Generalizing the Li - Yau gradient estimate**: The author obtained the Hölder (Lipschitz) estimate of the heat kernel on metric measure spaces, which generalizes the classical Li - Yau gradient estimate on Riemann manifolds. ### Representation of formulas in Markdown format Some important formulas involved in the paper are as follows: - **Bilateral sub - Gaussian estimate of the heat kernel**: \[ C_1\frac{1}{V(x, t^{1/\beta})}\exp\left(-C_2\left(\frac{d(x, y)}{t^{1/\beta}}\right)^{\frac{\beta}{\beta - 1}}\right)\leq p_t(x, y)\leq C_3\frac{1}{V(x, t^{1/\beta})}\exp\left(-C_4\left(\frac{d(x, y)}{t^{1/\beta}}\right)^{\frac{\beta}{\beta - 1}}\right) \] - **Hölder regularity condition**: \[ \frac{\Phi(d(x, y))}{\Psi(d(x, y))}|u(x) - u(y)|\leq C_H\frac{\Phi(r)}{\Psi(r)}\int_{2B}|u|\,dm \] - **Hölder estimate of the heat kernel**: \[ |p_t(x_1, y_1) - p_t(x_2, y_2)|\leq C_{HHK}\left(\frac{\Psi(d(x_1, x_2))}{\Phi(d(x_1, x_2))}+\frac{\Psi(d(y_1, y_2))}{\Phi(d(y_1, y_2))}\right)\frac{1}{t} \] These formulas show the key mathematical tools and conclusions used by the author in dealing with the Hölder regularity of harmonic functions and heat kernel estimates on metric measure spaces.