Abstract:In this paper, we introduce finite energy classes of quaternionic $m$-plurisubharmonic functions of Cegrell type and define the quaternionic $m$-Hessian operator on some Cegrell's classes. We use the variational approach to solve the quaternionic $m$-Hessian equation when the right-hand side is a positive Radon measure.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the solution of the quaternionic m - Hessian equation. Specifically, when the right - hand side of the equation is a positive Radon measure, how to use the variational method to solve the quaternionic m - Hessian equation. That is:
\[
(\Delta \phi)^m \wedge \beta^{n - m}=\mu, \quad 1 \leq m \leq n
\]
where $\mu$ is a positive Radon measure, and $\beta=\frac{1}{8}\Delta(\|q\|^2)$ is the standard Kähler form.
### Main Objectives of the Paper
The main objective of the paper is to use the quaternionic m - subharmonic functions in the energy - finite classes introduced by Cegrell and extend the domain of the quaternionic m - Hessian operator to these Cegrell classes to solve the above - mentioned equation. The specific steps include:
1. **Introducing Energy - Finite Classes**: Define the energy - finite classes of quaternionic m - subharmonic functions (such as $E^p_m(\Omega)$) and study the properties of these classes.
2. **Variational Method**: Through the variational method, find a suitable functional so that its Hessian equation becomes the Euler - Lagrange equation and minimize this functional on an appropriate compact set.
3. **Proving Main Results**: Prove that the found minimum point is the required solution and give the specific existence and uniqueness conditions of the solution.
### Main Conclusions
The main conclusions of the paper can be summarized as the following theorem:
\[
\text{Theorem 0.1. Let } \mu \text{ be a positive Radon measure in } \Omega, p \geq 1. \text{ Then, we have } (\Delta \phi)^m \wedge \beta^{n - m}=\mu \text{ with } \phi \in E^p_m(\Omega) \text{ if and only if } E^p_m(\Omega) \subset L^p(\Omega, \mu).
\]
This means that if the solution of the quaternionic m - Hessian equation belongs to a certain energy - finite class, then the existence of this solution is related to the $L^p$ - integrability of the measure $\mu$.
### Research Background and Motivation
The research background of the paper is based on the Monge - Ampère equation in complex geometry and the theory of several complex variables, and generalizes it to the m - Hessian equation on quaternionic manifolds. Inspired by the work of Alesker et al., the authors further develop the quaternionic version of the pluripotential theory of several complex variables and use the variational method to solve the related equations.