Abstract:We characterize weakly harmonic maps with respect to non-local Dirichlet forms by Markov processes and martingales. In particular, we can obtain discontinuous martingales on Riemannian manifolds from the image of symmetric stable processes under fractional harmonic maps in a weak sense. Based on this characterization, we also consider the continuity of weakly harmonic maps along the paths of Markov processes and describe the condition for the continuity of harmonic maps by quadratic variations of martingales in some situations containing cases of energy minimizing maps.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the probabilistic characterization of weakly harmonic maps under non - local Dirichlet forms. Specifically, the author attempts to characterize these weakly harmonic maps through Markov processes and martingale theory. The main contributions of the paper are as follows:
1. **Extension of existing results**: The author extends the probabilistic characterization of weakly harmonic maps under strong - local Dirichlet forms in existing literature to more general non - local Dirichlet forms. This extension enables the study of more types of harmonic maps, especially fractional - order harmonic maps.
2. **Introduction of discontinuous martingales**: On Riemannian manifolds, the author introduces discontinuous martingales through the images of symmetric stable processes under fractional - order harmonic maps. This provides a new method for studying fractional - order harmonic maps.
3. **Continuity on paths**: The author considers the continuity of weakly harmonic maps along the paths of Markov processes and describes the conditions for the continuity of harmonic maps in certain cases (including the case of energy - minimizing maps). These conditions are described through the quadratic variation of martingales.
4. **Study of singular points**: Based on the above probabilistic characterization, the author also explores the problem of singular points of weakly harmonic maps. In particular, in the weak sense, the problem of singular points of harmonic maps, including fractional - order harmonic maps. The author studies these singular points through the properties of martingales, especially the continuity problem of these singular points at time zero.
### Main Conclusions
- **Theorem 1.1**: Let \(M\) be a compact Riemannian sub - manifold in \(\mathbb{R}^d\). Suppose a Borel - measurable map \(u: E\rightarrow M\) belongs to \(F_{\text{loc}}(M)\) and is quasi - continuous on \(D\). Then \(u\) is weakly harmonic on \(D\) if and only if \(u\) is quasi - harmonic on \(D\).
- **Construction of discontinuous martingales**: By substituting \(\alpha\)-symmetric stable processes into maps satisfying the fractional Laplace equation, discontinuous martingales on sub - manifolds can be obtained. This provides new tools for studying fractional - order harmonic maps.
- **Continuity of singular points**: The continuity of harmonic maps along the paths of Markov processes can be described through the quadratic variation of martingales. This provides a new perspective for studying the singular points of harmonic maps.
### Mathematical Formulas
- **Definition of weakly harmonic maps**:
\[
\sum_{i = 1}^d E(u_i,\psi_i)=0,\quad\forall\psi\in C_D(u^*TM)
\]
where \(C_D(u^*TM)=\{\psi\in C_D(\mathbb{R}^d)\mid\psi(z)\in T_{u(z)}M,\text{ a.e. }z\in D\}\).
- **Quadratic variation of martingales**:
\[
\langle M\rangle_t=\lim_{\|\Pi\|\to0}\sum_{i = 1}^n(M_{t_i}-M_{t_{i - 1}})^2
\]
where \(\Pi=\{0 = t_0<t_1<\cdots<t_n=t\}\) is a partition of the interval \([0,t]\).
- **Decomposition of discontinuous martingales**:
\[
M_t = M_t^c+M_t^j+M_t^k
\]
where \(M_t^c\) is the continuous martingale part, \(M_t^j\) is the pure discontinuous martingale part, and \(M_t^k\) is the killing part.
### Conclusion
Through these studies, the author not only extends the existing theory but also provides a series of new tools and methods for studying weakly harmonic maps under non - local Dirichlet forms. These results are of great significance for understanding the properties of harmonic maps and their applications in geometry and probability theory.