Abstract:Given a strongly local Dirichlet space and $\lambda\geq 0$, we introduce a new notion of $\lambda$--subharmonicity for $L^1_\loc$--functions, which we call \emph{local $\lambda$--shift defectivity}, and which turns out to be equivalent to distributional $\lambda$--subharmonicity in the Riemannian case. We study the regularity of these functions on a new class of strongly local Dirichlet, so called locally smoothing spaces, which includes Riemannian manifolds (without any curvature assumptions), finite dimensional RCD spaces, Carnot groups, and Sierpinski gaskets. As a byproduct of this regularity theory, we obtain in this general framework a proof of a conjecture by Braverman, Milatovic, Shubin on the positivity of distributional $L^q$-solutions of $\Delta f\leq f$ for complete Riemannian manifolds.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the positive - preserving property of functions on manifolds, especially the proof of the Braverman, Milatovic, Shubin (BMS) conjecture. Specifically, the BMS conjecture proposes that if a complete Riemannian manifold \(X\) satisfies certain conditions, then for all \(q\in(1,\infty)\), \(X\) should be \(L^q\)-positive - preserving. That is, for any \(f\in L^q(X)\), if \(\Delta f\leq f\) holds in the sense of distributions, then \(f\) is non - negative.
To understand this problem more deeply, we need to know some background knowledge:
1. **Positive - preserving property**:
- Given \(q\in[1,\infty]\), a connected Riemannian manifold \(X\) is called \(L^q\)-positive - preserving if for every \(f\in L^q(X)\), the following implication holds:
\[
\Delta f\leq f\quad\text{(in the sense of distributions)}\implies f\text{ non - negative}
\]
- Here \(\Delta=\sum_{i,j}g^{ij}\partial_i\partial_j\) is the negative - definite Laplace - Beltrami operator.
2. **BMS conjecture**:
- The BMS conjecture states that if \(X\) is a complete Riemannian manifold, then \(X\) is \(L^2\)-positive - preserving.
- More broadly, one can ask whether completeness implies that for all \(q\in(1,\infty)\), \(X\) is \(L^q\)-positive - preserving.
3. **Technical difficulties**:
- The main technical difficulty in proving this conjecture lies in the regularity of the function \(f\). If \(f\in W^{1,2}_{\text{loc}}(X)\), then one can verify by integration by parts once that the inequality \(\Delta f\leq f\) is equivalent to:
\[
\int_X(\nabla f,\nabla\varphi)+\int_X f\varphi\geq0\quad\forall0\leq\varphi\in W^{1,2}_c(X)
\]
- If \(f\in W^{1,2}_0(X)\), then one can use cut - off functions to further simplify the proof.
4. **New concepts and methods**:
- The paper introduces the concept of local \(\lambda\)-shift defectivity, which is a new definition applicable to local strong Dirichlet spaces.
- By studying the regularity of these functions on local smoothing spaces, the author is able to prove the BMS conjecture in a more general framework.
5. **Main results**:
- The author proves that on irreducible and intrinsically complete local smoothing spaces, the \(L^q\)-positive - preserving property holds.
- The proof combines the \(L^q\)-Liouville property and the main regularity results, without relying on Laplacian cut - off functions.
Through these new concepts and techniques, the paper successfully solves the BMS conjecture and extends the research scope of the positive - preserving property.