Abstract:Let $(X,d,\mu)$ be a metric measure space satisfying a doubling property with the upper/lower dimension $Q\ge n>1$, and admitting an $L^2$-Poincaré inequality. In this article, we establish the Hölder continuity and a Liouville-type theorem for the (elliptic-type) Schrödinger equation $$\mathbb L u(x,t)=-\partial^2_{t}u(x,t)+\mathcal L u(x,t)+V(x)u(x,t)=0,\quad x\in X,\, t\in\mathbb R, $$ where $\mathcal L$ is a non-negative operator generated by a Dirichlet form on $X$, and the non-negative potential $V$ is a Muckenhoupt weight belonging to the reverse Hölder class ${RH}_q(X)$ for some $q>\max\{Q/2,1\}$. Note that $Q/2$ is critical for the regularity theory of $-\Delta+V$ on $\mathbb{R}^Q$ ($Q\ge3$) by Shen's work in 1995, which hints the critical index of $V$ for the regularity results above on $X\times \mathbb R$ may be $(Q+1)/2$. Our results show that this critical index is in fact $\max\{Q/2,1\}$. Our approach primarily relies on the controllable growth of $V$ and the elliptic theory for the operator $\mathbb L$/$-\partial^2_{t}+\mathcal{L}$ on $X\times \mathbb R$, rather than the analogs for $\mathcal L+V$/$\mathcal{L}$ on $X$, under the critical index setting. As applications, we further obtain some characterizations for solutions to the Schrödinger equation $-\partial^2_{t}u+\mathcal L u+Vu=0$ in $X\times \mathbb R_+$ with boundary values in BMO/CMO/Morrey spaces related to $V$, improving previous results to the critical index $q>\max\{Q/2,1\}$.

Interior regularity for two-dimensional stationary $Q$-valued maps

Two-dimensional Monge–Ampère Equations under Incomplete Hölder Assumptions

Dimension of the singular set for $2$-valued stationary Lipschitz graphs

Regularity and Compactness of Stationary Map-Varifold Pairs

On the Regularity for Stationary Harmonic Maps

Non-persistence of strongly isolated singularities, and geometric applications

On Stable Quasi-Harmonic Maps and Liouville Type Theorems

On partially segregated harmonic maps: optimal regularity and structure of the free boundary

Quasiconformal mappings and Hölder continuity

On uniformly quasiconformal Anosov diffeomorphisms with two dimensional distributions

Absolute continuity of stationary measures

Quasiconformal Mappings and a Bernstein Type Theorem over Exterior Domains in $\Mathbb{r}^2$

Global regularity of integral 2-varifolds with square integrable mean curvature

On regularity of $\overline\partial$-solutions on $a_q$ domains with $C^2$ boundary in complex manifolds

Regularity for Dirac-harmonic maps into certain pseudo-Riemannian manifolds

Hölder regularity and Liouville Theorem for the Schrödinger equation with certain critical potentials, and applications to Dirichlet problems

Hölder continuity of invariant density and entropy for piecewise expanding maps

Regularity for quasilinear equations on degenerate singular sets

Local strict singular characteristics II: existence for stationary equation on $\mathbb{R}^2$

Two-scale density of almost smooth functions in sphere-valued Sobolev spaces: A high-contrast extension of the Bethuel-Zheng theory

Partial Regularity of Harmonic Maps from a Riemannian Manifold into a Lorentzian Manifold