Abstract:We establish the comparison principle, existence and regularity of viscosity solutions to the following problem concerning the mixed operator:
\begin{align}
\begin{cases}
\alpha\mathcal{M}^+_{\lambda,\Lambda}\big(D^2_{\mathbbm{H}^N,S}u\big)-\beta\big(-\Delta_{\mathbbm{H}^N}\big)^su=f &\text{in } \,{\Omega},
u=g &\text{in } \,\mathbbm{H}^N\setminus\Omega,
\end{cases}
\end{align}
where $\mathcal{M}_{\lambda,\Lambda}^+$ is the extremal Pucci's operator and $(-\Delta_{\mathbbm{H}^N})^s$ denotes the fractional sub-Laplacian on Heisenberg group. Here $\alpha\geq 0$ and $\beta>0$ are constants.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the existence, uniqueness and regularity of solutions of mixed local and non - local sub - elliptic operators in the Heisenberg group. Specifically, the author studies a class of mixed operators composed of the superposition of the Pucci maximal operator and the fractional Laplacian operator:
\[
\begin{cases}
\alpha M^+_{\lambda,\Lambda}\left(D^2_{\mathbb{H}^N,S} u\right)-\beta(-\Delta_{\mathbb{H}^N})^s u = f & \text{in }\Omega,\\
u = g & \text{in }\mathbb{H}^N\setminus\Omega,
\end{cases}
\]
where:
- \(M^+_{\lambda,\Lambda}\) is the Pucci maximal operator, which is a fully nonlinear operator;
- \((-\Delta_{\mathbb{H}^N})^s\) is the fractional sub - Laplacian operator on the Heisenberg group;
- \(\Omega\) is a bounded domain in the Heisenberg group \(\mathbb{H}^N\);
- \(f\in C(\Omega)\), \(g\in C(\mathbb{H}^N\setminus\Omega)\) are bounded.
### Main problems
1. **Comparison principle**: Establish the comparison principle for the viscosity solutions of the above problems.
2. **Existence**: Prove the existence of the viscosity solutions of the above problems.
3. **Regularity**: Study the interior Holder regularity of the solutions.
### Research background and motivation
In recent years, mixed operators (i.e., operators that contain both local and non - local terms simultaneously) have been widely studied in Euclidean spaces, for example, they appear in fields such as plasma physics and population dynamics. However, in non - Euclidean spaces (such as the Heisenberg group), the research on such mixed operators is relatively scarce. The main contribution of this paper is to systematically study the properties of such mixed operators on the Heisenberg group for the first time.
### Key results
- **Stability theorem**: By means of the Gamma - convergence method, the stability of the sequence of solutions is proved.
- **Comparison principle**: Using the existing lemmas, the comparison principle for the viscosity solutions is directly proved.
- **Existence theorem**: Based on the comparison principle and the Perron method, the existence of solutions is proved.
- **Interior regularity**: For solutions satisfying certain conditions, the interior Holder regularity estimates are established.
### Application background
Such equations have important applications in non - Euclidean geometry, for example, they naturally appear in problems such as magnetic trajectories, quantum mechanics, and non - Markovian Brownian motion coupling. Therefore, studying the properties of the solutions of these equations is of great significance for understanding related physical phenomena.
In summary, this paper aims to fill the gap in the research on mixed local and non - local sub - elliptic operators on the Heisenberg group and provides a theoretical basis for future research in related fields.