Abstract:In this paper, we establish Liouville type results for semilinear subelliptic systems associated with the sub-Laplacian on the Heisenberg group $\mathbb{H}^{n}$ involving two different kinds of general nonlinearities. The main technique of the proof is the method of moving planes combined with some integral inequalities replacing the role of maximum principles. As a special case, we obtain the Liouville theorem for the Lane-Emden system on the Heisenberg group $\mathbb{H}^{n}$, which also appears to be a new result in the literature.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the Liouville - type theorems for semilinear subelliptic systems on the Heisenberg group. Specifically, the authors studied semilinear subelliptic systems on the Heisenberg group \( \mathbb{H}^n \) involving two different types of nonlinear functions:
\[
\begin{cases}
-\Delta_{\mathbb{H}^n} u(\xi) = f(v(\xi)), & \xi \in \mathbb{H}^n, \\
-\Delta_{\mathbb{H}^n} v(\xi) = g(u(\xi)), & \xi \in \mathbb{H}^n,
\end{cases}
\]
and
\[
\begin{cases}
-\Delta_{\mathbb{H}^n} u(\xi) = f(u(\xi), v(\xi)), & \xi \in \mathbb{H}^n, \\
-\Delta_{\mathbb{H}^n} v(\xi) = g(u(\xi), v(\xi)), & \xi \in \mathbb{H}^n,
\end{cases}
\]
where \( \Delta_{\mathbb{H}^n} \) is the sub - Laplacian operator on the Heisenberg group, and \( f \) and \( g \) are two continuous functions. The main objective is to prove that these systems do not have positive cylindrical weak solutions, that is, solutions that satisfy the following conditions:
1. \( u \) and \( v \) are continuous and locally square - integrable on \( \mathbb{H}^n \).
2. \( u \) and \( v \) are cylindrically symmetric, that is, for any \( (x, y, t) \in \mathbb{H}^n \), we have \( u(x, y, t)=u(r, t) \) and \( v(x, y, t)=v(r, t) \), where \( r = \sqrt{|x|^2+|y|^2} \).
The authors used the moving - plane method and some integral inequalities to replace the maximum principle, thereby proving the Liouville - type theorems for these systems. In particular, they proved that under certain conditions, these systems do not have positive cylindrical weak solutions, which provides a new tool and method for studying subelliptic equations on the Heisenberg group.