Slice Hyperholomorphic Functions

• Slice hyperholomorphic functions are quaternionic functions defined on axially symmetric domains that satisfy Cauchy–Riemann equations on every complex slice.
• They generalize classical holomorphic functions to higher-dimensional non-commutative settings, underpinning quaternionic function theory and operator calculus.
• Key applications include solving non-commutative differential equations and advancing research in quantum mechanics, PDEs, and Clifford analysis.

A slice hyperholomorphic function is a quaternionic (or more generally, Clifford algebra–valued) function defined on an axially symmetric domain whose restriction to every complex slice parametrized by an imaginary unit satisfies the Cauchy–Riemann equations. These functions generalize holomorphic functions of one complex variable to higher-dimensional, non-commutative settings, providing the underpinning for quaternionic function theory, operator theory, and extensions to Clifford analysis. The structure, extension properties, Cauchy theory, and associated operator calculus for slice hyperholomorphic functions constitute a rich area of current research (Colombo et al., 2018).

1. Fundamental Definitions and Structure

Let $H$ be the real algebra of quaternions with the standard basis $\{1,e_1,e_2,e_3\}$. The unit sphere of imaginary units is

$$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$

Any nonreal $q \in H$ can be written in the form $q = u + jv$ for $u,v \in \mathbb{R}$ and $j \in S$. The associated 2-sphere is $[q]=\{u + I v:I\in S\}$. An open set $U \subset H$ is axially symmetric if with $q \in U$, the entire $\{1,e_1,e_2,e_3\}$0.

Fixing a two-sided quaternionic Banach space $\{1,e_1,e_2,e_3\}$1, a function $\{1,e_1,e_2,e_3\}$2 is called a left slice function if

$\{1,e_1,e_2,e_3\}$3

with $\{1,e_1,e_2,e_3\}$4, $\{1,e_1,e_2,e_3\}$5 real-differentiable, $\{1,e_1,e_2,e_3\}$6-valued, and $\{1,e_1,e_2,e_3\}$7, $\{1,e_1,e_2,e_3\}$8. The function is slice hyperholomorphic (or slice regular) if, in addition, $\{1,e_1,e_2,e_3\}$9, $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$0 satisfy the Cauchy–Riemann equations: $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$1 The space of such functions is denoted $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$2; right slice hyperholomorphic functions are analogously defined by $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$3.

A core structural fact is the representation formula: $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$4 for any $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$5 and $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$6. Thus, knowledge of $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$7 on one slice determines $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$8 everywhere in $$S = \{q = e_1 x_1 + e_2 x_2 + e_3 x_3 : x_1^2 + x_2^2 + x_3^2 = 1\}.$$9.

2. The Quaternionic Cauchy Theory and Cauchy Transform

Given an axially symmetric set $q \in H$0 bounded by a piecewise-$q \in H$1 axially symmetric hypersurface, the slice versions of the Cauchy kernel are given by

$q \in H$2

which is right slice hyperholomorphic in $q \in H$3 and left slice hyperholomorphic in $q \in H$4. The central Cauchy formula is: $q \in H$5 for $q \in H$6 and $q \in H$7, independent of $q \in H$8 and of homologous deformations of $q \in H$9.

Given $q = u + jv$0 continuous and left-slice, the left Cauchy transform is

$q = u + jv$1

for $q = u + jv$2, and is left slice hyperholomorphic in $q = u + jv$3 on both $q = u + jv$4 and $q = u + jv$5. The additive splitting theorem asserts that for $q = u + jv$6 on $q = u + jv$7 and $q = u + jv$8,

$q = u + jv$9

define two slice-hyperholomorphic functions continuous up to the boundary, with $u,v \in \mathbb{R}$0 for $u,v \in \mathbb{R}$1, and this splitting is unique among functions vanishing at infinity.

If $u,v \in \mathbb{R}$2 is Hölder continuous on $u,v \in \mathbb{R}$3, each $u,v \in \mathbb{R}$4 extends with precise boundary behavior: $u,v \in \mathbb{R}$5 for $u,v \in \mathbb{R}$6 at distance $u,v \in \mathbb{R}$7 from $u,v \in \mathbb{R}$8, and both $u,v \in \mathbb{R}$9 are Hölder continuous up to their respective boundaries.

3. Fundamental Solution of the Global Slice Operator

A fundamental operator in quaternionic analysis, biologically tied to slice regularity, is

$j \in S$0

which, in real coordinates $j \in S$1 and $j \in S$2 the basis, reads

$j \in S$3

with $j \in S$4.

Slice-hyperholomorphic functions lie in the kernel of $j \in S$5. The fundamental solution is given by $j \in S$6, with

$j \in S$7

in the sense of distributions (for any $j \in S$8), identifying $j \in S$9 as the fundamental solution (modulo scalar factors) of $[q]=\{u + I v:I\in S\}$0 in the variable $[q]=\{u + I v:I\in S\}$1.

A consequence is an explicit solution method for inhomogeneous equations: $[q]=\{u + I v:I\in S\}$2 yields $[q]=\{u + I v:I\in S\}$3 almost everywhere; for continuous $[q]=\{u + I v:I\in S\}$4 and a slice domain $[q]=\{u + I v:I\in S\}$5, slice-continuous global solutions to $[q]=\{u + I v:I\in S\}$6 exist via a sheaf-theoretic argument.

4. Spherical Laurent Expansions and Mittag-Leffler Theorem

The natural “monomials” for expansions around $[q]=\{u + I v:I\in S\}$7 are polynomials in the