Abstract:Recently, we introduced domains of slice regularity in the space $\mathbb{H}$ of quaternions and also proved that domains of slice regularity satisfy a symmetry with respect to paths, called $2$-path-symmetry. In this paper, we give a full characterization by showing that all $2$-path-symmetric slice-open sets are domains of slice regularity. In fact, we will prove a counterpart of the Cartan-Thullen theorem for slice regular functions, namely that a slice-open set is a domain of existence for some slice regular function if and only if it is a domain of slice regularity, if and only if it is slice-regularly convex, if and only if it is $2$-path-symmetric. As a tool, we also prove an interpolation theorem of independent interest.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to define the domains of existence of slice regular functions in the quaternion space. Specifically, the authors aim to prove a result similar to the Cartan - Thullen theorem in complex analysis, that is, in the quaternion space, a slice - open set is the domain of existence of some slice regular functions if and only if it is a domain of slice regularity, if and only if it is slice - regularly convex, if and only if it is 2 - path - symmetric.
To achieve this goal, the paper introduces some new concepts and techniques, such as 2 - path - symmetric Riemann domain, path - representation formula, etc., and proves an interpolation theorem. These tools are crucial for proving the main results.
The main contribution of the paper lies in providing a new method to study slice regular functions on non - axially symmetric slice - open sets, which not only enriches the theory of quaternion analysis but also provides a new perspective for further research on the theory of functions of several complex variables.