On monogenic functions and the Dirac complex of two vector variables

Yun Shi,Wei Wang,Qingyan Wu
2024-04-04
Abstract:A monogenic function of two vector variables is a function annihilated by the operator consisting of two Dirac operators, which are associated to two variables, respectively. We give the explicit form of differential operators in the Dirac complex resolving this operator and prove its ellipticity directly. This open the door to apply the method of several complex variables to investigate this kind of monogenic functions. We prove the Poincaré lemma for this complex, i.e. the non-homogeneous equations are solvable under the compatibility condition by solving the associated Hodge Laplacian equations of fourth order. As corollaries, we establish the Bochner--Martinelli integral representation formula for this differential operator and the Hartogs' extension phenomenon for monogenic functions. We also apply abstract duality theorem to the Dirac complex to obtain the generalization of Malgrange's vanishing theorem and establish the Hartogs--Bochner extension phenomenon for monogenic functions under the moment condition.
Complex Variables
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the research on the single - generating function of binary vector variables and its related Dirac complex. Specifically, the authors focus on functions annihilated by operators composed of two Dirac operators, which are respectively related to two variables. They give the explicit form of the differential operator in this Dirac complex and directly prove its ellipticity. This research opens the door to the application of methods in several complex variables to study this type of single - generating function. The main contributions of the paper include: 1. **Poincaré Lemma**: For inhomogeneous equations, the solvability of these equations is proved by solving the fourth - order Hodge Laplacian equation under compatibility conditions. 2. **Bochner–Martinelli Integral Representation Formula**: The Bochner–Martinelli integral representation formula for this differential operator is established. 3. **Hartogs Extension Phenomenon**: The Hartogs extension phenomenon of single - generating functions is proved. 4. **Application of Abstract Duality Theorem**: The Dirac complex is studied by using the abstract duality theorem, a generalization of the Malgrange vanishing theorem is obtained, and the Hartogs - Bochner extension phenomenon under moment conditions is established. Through these results, the authors not only deepen the understanding of single - generating functions, but also provide important tools and methods for future research.