Abstract
The spectral theory on the S-spectrum was introduced to give an appropriate mathematical setting to quaternionic quantum mechanics, but it was soon realized that there were different applications of this theory, for example, to fractional heat diffusion and to the spectral theory for the Dirac operator on manifolds. In this seminal paper we introduce the harmonic functional calculus based on the S-spectrum and on an integral representation of axially harmonic functions. This calculus can be seen as a bridge between harmonic analysis and the spectral theory. The resolvent operator of the harmonic functional calculus is the commutative version of the pseudo S-resolvent operator. This new calculus also appears, in a natural way, in the product rule for the F-functional calculus.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The notion of S-spectrum and of S-resolvent operators for quaternionic linear operators and for linear Clifford operators have been identified only in 2006 using methods in hypercomplex analysis. The original motivation for the investigation of a new notion of spectrum was the paper [8] of Birkhoff and von Neumann, where the authors showed that quantum mechanics can also be formulated using quaternions, but they did not specify what notion of spectrum one should use for quaternionic linear operators. The appropriate notion is that of S-spectrum, which has also been used for the spectral theorem for quaternionic linear operators, see [2], and for Clifford algebra linear operators, see [14].
The quaternionic spectral theory on the S-spectrum is systematically organised in the books [13, 20] while for the Clifford setting see [19]. In particular, the history of the discovery of the S-spectrum and the formulation of the S-functional calculus are explained in the introduction of the book [20] with a complete list of references.
Nowadays there are several research directions in the area of the spectral theory on the S-spectrum, and without claiming completeness we mention: the characteristic operator function, see [5], slice hyperholomorphic Schur analysis, see [4], and several applications to fractional powers of vector operators that describe fractional Fourier’s laws for nonhomogeneous materials, see for example [6, 21, 23]. These results on the fractional powers are based on the \(H^\infty \)-functional calculus (see the seminal papers [3, 12]).
The main purpose of this paper is to show that using the Fueter mapping theorem and the spectral theory on the S -spectrum we can define a functional calculus for harmonic functions in four variables. This new calculus can be seen as the harmonic version of the Riesz-Dunford functional calculus.
Before to explain our results we need some further explanations of the setting in which we will work.
1.1 The Fueter–Sce–Qian Extension Theorem and Spectral Theories
The Fueter–Sce–Qian mapping theorem is a crucial result that constructs hyperholomorphic (in a suitable sense) quaternionic or Clifford algebra valued functions starting from holomorphic functions of one complex variable and it consists of a two steps procedure: the first step gives slice hyperholomorphic functions and the second one gives the Fueter regular functions in the case of the quaternions, or monogenic functions in the Clifford algebra setting. Prior to the introduction of slice hyperholomorphic functions, the first step was simply seen as an intermediate step in the construction. We point out that the Fueter–Sce–Qian mapping theorem has deep consequences in the spectral theories, in fact it determines their structures in the hypercomplex setting, as we shall see in the sequel.
To further clarify the two steps procedure we summarize the construction in the quaternionic case (which was originally introduced by Fueter, see [28]). Denoting by \({\mathcal {O}}(D)\) the set of holomorphic functions on \(D\subseteq {\mathbb {C}}^+\), by \({SH(\Omega _D)}\) the set of induced functions on \(\Omega _D\) (which turn out to be the set of slice hyperholomorphic functions) and by \(AM(\Omega _D)\) the set of axially monogenic functions on \(\Omega _D\), the Fueter construction can be visualized as:
where \(T_{F1}\) denotes the first linear operator of the Fueter construction and \(T_{F2}=\Delta \) is the Laplace operator in four dimensions. The Fueter mapping theorem induces two spectral theories: in the first step we have the spectral theory on the S-spectrum associated with the Cauchy formula of slice hyperholomorphic functions; in the second step we obtain the spectral theory on the monogenic spectrum associated with the Cauchy formula of monogenic functions.
We also note that the Fueter mapping theorem allows to use slice hyperholomorphic functions to obtain the so-called F-functional calculus, see [11, 15, 16, 18], which is a monogenic functional calculus on the S-spectrum. It is based on the idea of applying the operator \(T_{F2}\) to the slice hyperholomorphic Cauchy kernel, as illustrated by the diagram:
where \(\Delta \) is the Laplace operator in four dimensions.
Remark 1.1
Observe that in the above diagram the arrow from the space of axially monogenic functions \(AM(\Omega _D)\) is missing because the F-functional calculus is deduced from the slice hyperholomorphic Cauchy formula. Moreover, we use the set of slice hyperholomorphic functions \(SH(\Omega _D)\), that contains the set of intrinsic functions.
To proceed further we fix the notation for the quaternions, that are defined as follows:
where the imaginary units satisfy the relations
Given \(q\in {\mathbb {H}}\) we call \( \mathrm {Re}(q):=q_0\) the real part of q and \( {\underline{q}}\,=q_1e_1+q_2e_2+q_3e_3\) the imaginary part. The modulus of \(q\in {\mathbb {H}}\) is given by \(|q|=\sqrt{q_0^2+q_1^2+q_2^2+q_3^2},\) the conjugate of q is defined by \({\overline{q}}=q_0- {\underline{q}}\) and we have \(|q|=\sqrt{q{\overline{q}}}\). The symbol \( {\mathbb {S}}\) denotes the unit sphere of purely imaginary quaternions
Notice that if \(J \in {\mathbb {S}}\), then \(J^2=-1\). Therefore, J is an imaginary unit, and we denote by
an isomorphic copy of the complex numbers. Given a non-real quaternion \(q= q_0+ {\underline{q}}= q_0+J_q | {\underline{q}}|\), we set \(J_q= {\underline{q}}/ | {\underline{q}}| \in {\mathbb {S}}\) and we associate to q the 2-sphere defined by
We recall that the Fueter operator \({\mathcal {D}}\) and its conjugate \(\overline{{\mathcal {D}}}\) are defined as follows
The operators \({\mathcal {D}}\) and \(\overline{{\mathcal {D}}}\) factorize the Laplace operator \({\mathcal {D}}\overline{{\mathcal {D}}}=\overline{{\mathcal {D}}} {\mathcal {D}}=\Delta \).
1.2 The Fine Structure of Hyperholomorphic Spectral Theory and Related Problems
In this paper we further refine the above diagram, observing that, in the case of the quaternions, the map \(T_{F2}\) can be factorized as \(T_{F2}=\Delta =\overline{{\mathcal {D}}}{\mathcal {D}}\), so there is an intermediate step between slice hyperholomorphic functions and Fueter regular functions, and the intermediate class of functions that appears is the one of axially harmonic \(AH(\Omega _D)\) functions, see Definition 3.3. Thus the diagram becomes as follows:
It is important to define precisely what we mean by intermediate functional calculus between the S-functional calculus and the F-functional calculus, both from the points of view of the function theory and of the operator theory. The notions of fine structures of the spectral theory on the S-spectrum arise naturally from the Fueter extension theorem.
Definition 1.2
(Fine structure of the spectral theory on the S-spectrum) We will call fine structure of the spectral theory on the S-spectrum the set of functions spaces and the associated functional calculi induced by a factorization of the operator \(T_{F2}\), in the Fueter extension theorem.
Remark 1.3
In the Clifford algebra setting the map \(T_{F2}\) becomes the Fueter–Sce operator given by \(T_{FS2}= \Delta _{n+1}^{\frac{n-1}{2}}\) and its splitting is more involved. We are investigating it in general, when n is odd, and in the case \(n=5\) we have a complete description of all the possible fine structures, see [24]. When n is even the Laplace operator has a fractional power and so one has to work in the space of distributions using the Fourier multipliers, see [33].
The fine structure of the quaternionic spectral theory on the S-spectrum is illustrated in the following diagram
where the description of the central part of the diagram, i.e., the fine structure, is the main topic of this paper.
Remark 1.4
As for the space of axially monogenic functions, the arrow from the space of axially harmonic functions is missing. In fact, like the F-functional calculus, also the harmonic functional calculus is deduced from the slice hyperholomorphic Cauchy formula.
To sum up, the main problems addressed in this paper are:
Problem 1.5
In the Fueter extension theorem consider the factorization
and give an integral representation of the functions in the space \(X(\Omega _D):={\mathcal {D}}(SH(\Omega _D))\) and, using this integral transform, define its functional calculus.
Problem 1.6
Determine a product rule formula for the F- functional calculus.
As we will see in the sequel the above problems are related. In fact, the product rule of the F-functional calculus is based on the functional calculus in Problem 1.5.
1.3 Structure of the Paper and Main Results
The paper consists of 9 sections, the first one being this introduction. In Sects. 2 and 3 we give the preliminary material on spectral theories in the hyperholomorphic setting and the underlying function theories. In Sects. 3 and 4 we consider axially harmonic functions, see Definition 3.3. Using the Cauchy formulas of left (resp. right) slice hyperholomorphic functions we write an integral representation for axially harmonic functions, see Theorem 4.16. More precisely, let \(W \subset {\mathbb {H}}\) be an open set and let U be a slice Cauchy domain such that \({\overline{U}} \subset W\). Then, for \(J \in {\mathbb {S}}\) and \(ds_J=ds(-J)\) we have that if f is left slice hyperholomorphic on W, then the function \( {\tilde{f}}(q)={\mathcal {D}} f(q)\) is harmonic and it admits the following integral representation
where
We note that the presence of \(- \frac{1}{\pi }\) in front of (1.1) is justified by the computations performed in (4.5). A similar representation is obtained also for right slice hyperholomorphic functions. The integral depends neither on U nor on the imaginary unit \(J \in {\mathbb {S}}\).
The integral representation (1.1) is the crucial point to define the harmonic functional calculus, also called Q-functional calculus because its resolvent operator is the commutative pseudo S-resolvent operator \({\mathcal {Q}}_{c,s}(T)^{-1}\).
Let \(T=T_0+T_1e_1+T_2e_2+T_3e_3\) be a quaternionic bounded linear operator with commuting components \(T_\ell \), \(\ell =0,...,3\). We define the S-spectrum of T as
where \({\overline{T}}=T_0-T_1e_1-T_2e_2-T_3e_3\). The commutative pseudo S-resolvent operator \({\mathcal {Q}}_{c,s}(T)^{-1}\) is defined as:
for \(s\not \in \sigma _S(T)\). The harmonic functional calculus is defined in Definition 5.7, but roughly speaking for every function \({\tilde{f}}={\mathcal {D}} f\), with f left slice hyperholomorphic, we define the harmonic functional calculus as
where U is an arbitrary bounded slice Cauchy domain with \(\sigma _{S}(T) \subset U\), \( {\overline{U}} \subset dom(f)\), \(ds_J=ds(-J)\) and \(J \in {\mathbb {S}}\) is an arbitrary imaginary unit. A similar definition holds for \({\tilde{f}}= f{\mathcal {D}}\) with f right slice hyperholomorphic.
In Sect. 6 we introduce possible resolvent equations for the harmonic functional calculus and in Sects. 7 and 8 we study some of its properties. In particular, we have the Riesz projectors, see Theorem 7.2. Specifically, let \(T=T_1e_1+T_2e_2+T_3e_3\) and assume that the operators \(T_\ell \), \(\ell =1,\, 2,\, 3\), have real spectrum. Let \(\sigma _S(T)=\sigma _1\cup \sigma _2\) with \({\text {dist}}(\sigma _1,\sigma _2)>0\) and assume that \(G_1,\, G_2\subset {\mathbb {H}}\) are two bounded slice Cauchy domains such that \(\sigma _1\subset G_1\), \({{\overline{G}}}_1\subset G_2\) and \({\text {dist}}(G_2,\sigma _2)>0\). Then the operator
is a projection, i.e., \( {{\tilde{P}}}^2={{\tilde{P}}}. \) Moreover, the operator \({\tilde{P}}\) commutes with T.
Section 9 concludes the paper and contains some properties of the F-functional calculus, such as the product rule, that can be proved using the Q-functional calculus.
2 Preliminary Results on Functions and Operators
We recall some basic results and notations that we will need in the following.
2.1 Hyperholomorphic Functions and the Fueter Mapping Theorem
Definition 2.1
Let \(U \subseteq {\mathbb {H}}\).
-
We say that U is axially symmetric if, for every \(u+Iv \in U\), all the elements \(u+Jv\) for \(J \in {\mathbb {S}}\) are contained in U.
-
We say that U is a slice domain if \(U \cap {\mathbb {R}} \ne \emptyset \) and if \(U \cap {\mathbb {C}}_J\) is a domain in \({\mathbb {C}}_J\) for every \(J \in {\mathbb {S}}\).
Definition 2.2
An axially symmetric open set \(U \subset {\mathbb {H}}\) is called slice Cauchy domain if \(U \cap {\mathbb {C}}_J\) is a Cauchy domain in \( {\mathbb {C}}_J\) for every \(J \in {\mathbb {S}}\). More precisely, U is a slice Cauchy domain if, for every \(J \in {\mathbb {S}}\), the boundary of \( U \cap {\mathbb {C}}_J\) is the union of a finite number of nonintersecting piecewise continuously differentiable Jordan curves in \( {\mathbb {C}}_J\).
On axially symmetric open sets we define the class of slice hyperholomorphic functions.
Definition 2.3
(Slice hyperholomorphic functions) Let \(U \subseteq {\mathbb {H}}\) be an axially symmetric open set and let
We say that a function \(f: U \rightarrow {\mathbb {H}}\) of the form
is left slice hyperholomorphic if \(\alpha \) and \(\beta \) are \( {\mathbb {H}}\)-valued differentiable functions such that
and if \(\alpha \) and \(\beta \) satisfy the Cauchy–Riemann system
Right slice hyperholomorphic functions are of the form
where \(\alpha \), \(\beta \) satisfy the above conditions.
Notation The set of left (resp. right) slice hyperholomorphic functions on U is denoted by the symbol \(SH_{L}(U)\) (resp. \(SH_{R}(U)\)). The subset of intrinsic slice hyperholomorphic functions consists of those slice hyperholomorphic functions such that \(\alpha \), \(\beta \) are real-valued function and is denoted by N(U).
Remark 2.4
If the axially symmetric set U does not intersect the real line then we can set
and
The function f is left slice hyperholomorphic if \(\alpha \) and \(\beta \) satisfy the Cauchy–Riemann system. Similarly, under the same conditions on \(\alpha \) and \(\beta \), \( f(q)= \alpha (u,v)+\beta (u,v)J\) is said right slice hyperholomorphic.
Functions in the kernel of the Fueter operator are called Fueter regular functions and are defined as follows.
Definition 2.5
(Fueter regular functions) Let \(U\subset {\mathbb {H}}\) be an open set. A real differentiable function \( f: U \rightarrow {\mathbb {H}}\) is called left Fueter regular if
It is called right Fueter regular if
There are several possible definitions of slice hyperholomorphicity, that are not fully equivalent, but Definition 2.3 of slice hyperholomorphic functions is the most appropriate one for the operator theory and it comes from the Fueter mapping theorem which, inspired by [28], can be stated as follows:
Theorem 2.6
(Fueter mapping theorem) Let \(f_{0}(z)= \alpha (u,v)+i \beta (u,v)\) be a holomorphic function defined in a domain (open and connected) D in the upper-half complex plane and let
be the open set induced by D in \({\mathbb {H}}\). Then the operator \(T_{F1}\) defined by
maps the set of holomorphic functions in the set of intrinsic slice hyperholomorphic functions. Moreover, the function
where \(T_{F2}= \Delta \) and \(\Delta \) is the Laplacian in four real variables \(q_{\ell }\), \( \ell =0,1,2,3\), is in the kernel of the Fueter operator i.e.
Remark 2.7
In the late of 1950s, Sce extended the Fueter mapping theorem to the Clifford setting in the case of odd dimensions, see [35]. In this case, the operator \(T_{FS2}\) becomes \(T_{FS2}:= \Delta _{n+1}^{\frac{n-1}{2}}\), where \( \Delta _{n+1}\) is the Laplacian in \(n+1\) dimensions, so in this case we are dealing with a differential operator. For a translation of Sce works in hypercomplex analysis with commentaries see [22]; this includes also the version of the Fueter mapping theorem for octonions. In 1997, Qian proved that the Fueter–Sce theorem holds also in the case of even dimensions. In this case the operator \(\Delta _{n+1}^{\frac{n-1}{2}}\) is a fractional operator, see [33, 34].
Using the theory of monogenic function McIntosh and his collaborators introduced the spectral theory on the monogenic spectrum to define functions of noncommuting operators on Banach spaces. They developed the monogenic functional calculus and several of its applications, see the books [29] and the papers [30, 31].
We now recall the slice hyperholomorphic Cauchy formulas that are the starting point to construct the hyperholomorphic spectral theories on the S-spectrum. We will be in need the following result [20, Thm. 2.1.22], [20, Prop. 2.1.24].
Theorem 2.8
Let s, \(q\in {\mathbb {H}}\) with \(|q|<|s|\), then
and
Moreover, for any \(s,\, q\in {\mathbb {H}}\) with \(q\notin [s]\), we have
and
In view of Theorem 2.8 there are two possible representations of the Cauchy kernels for both the left and the right slice hyperholomorphic functions.
Definition 2.9
Let \(s,\, q\in {\mathbb {H}}\) with \(q\notin [s]\) then we define
that are called pseudo Cauchy kernel and commutative pseudo Cauchy kernel, respectively.
Definition 2.10
Let \(s,\, q\in {\mathbb {H}}\) with \(q\notin [s]\) then
-
We say that the left slice hyperholomorphic Cauchy kernel \(S^{-1}_L(s,q)\) is written in the form I if
$$\begin{aligned} S^{-1}_L(s,q):={\mathcal {Q}}_{s}(q)^{-1}({{\overline{s}}}-q). \end{aligned}$$ -
We say that the right slice hyperholomorphic Cauchy kernel \(S^{-1}_R(s,q)\) is written in the form I if
$$\begin{aligned} S^{-1}_R(s,q):= ({{\overline{s}}}-q){\mathcal {Q}}_{s}(q)^{-1}. \end{aligned}$$ -
We say that the left slice hyperholomorphic Cauchy kernel \(S^{-1}_L(s,q)\) is written in the form II if
$$\begin{aligned} S^{-1}_L(s,q):=(s-{{\overline{q}}}) {\mathcal {Q}}_{c,s}(q)^{-1}. \end{aligned}$$ -
We say that the right slice hyperholomorphic Cauchy kernel \(S^{-1}_R(s,q)\) is written in the form II if
$$\begin{aligned} S^{-1}_R(s,q):= {\mathcal {Q}}_{c,s}(q)^{-1}(s- {{\overline{q}}}). \end{aligned}$$
In this article, unless otherwise specified, we refer to \(S^{-1}_L(s,q)\) and \(S^{-1}_R(s,q)\) written in the form II.
The following results will be very important in the sequel.
Lemma 2.11
Let \(s\notin [q]\). The left slice hyperholomorphic Cauchy kernel \(S_L^{-1}(s,q)\) is left slice hyperholomorphic in q and right slice hyperholomorphic in s. The right slice hyperholomorphic Cauchy kernel \(S_R^{-1}(s,q)\) is left slice hyperholomorphic in s and right slice hyperholomorphic in q.
Theorem 2.12
(The Cauchy formulas for slice hyperholomorphic functions) Let \(U\subset {\mathbb {H}}\) be a bounded slice Cauchy domain, let \(J\in {\mathbb {S}}\) and set \(ds_J=ds (-J)\). If f is a left slice hyperholomorphic function on a set that contains \({\overline{U}}\) then
If f is a right slice hyperholomorphic function on a set that contains \({\overline{U}}\), then
These integrals depend neither on U nor on the imaginary unit \(J\in {\mathbb {S}}\).
Moreover, for slice hyperholomorphic functions hold a version of the Cauchy integral theorem holds.
Theorem 2.13
(Cauchy integral Theorem) Let \(U\subset {\mathbb {H}}\) be open, let \(J\in {\mathbb {S}}\), and let \(f\in SH_L(U)\) and \(g\in SH_R(U)\). Moreover, let \(D_J\subset U\cap {\mathbb {C}}_J\) be an open and bounded subset of the complex plane \({\mathbb {C}}_J\) with \({{\overline{D}}}_J\subset U\cap {\mathbb {C}}_J\) such that \(\partial D_J\) is a finite union of piecewise continuously differentiable Jordan curves. Then
where \(ds_J=ds(-J)\).
Now, we recall what happens when we apply the second Fueter operator \(T_{F2}:= \Delta \), where \( \Delta = \sum _{i=0}^3 \partial _{q_i}^2\), to the slice hyperholomorphic Cauchy kernel.
Proposition 2.14
Let q, \(s \in {\mathbb {H}}\) and \(q \not \in [s]\). Then:
-
The function \(\Delta S_L^{-1}(s,q)\) is a left Fueter regular function in the variable q and right slice hyperholomorphic in s.
-
The function \(\Delta S_R^{-1}(s,q)\) is a right Fueter regular function in the variable q and left slice hyperholomorphic in s.
In [20, Thm. 2.2.2] there are the explicit computations of the functions
Theorem 2.15
Let \(q,s\in {\mathbb {H}}\) with \(q\notin [s]\). Then we have
and
We recall the definition of the F-kernels.
Definition 2.16
Let q, \(s \in {\mathbb {H}}\). We define for \( s \notin [q]\), the left F-kernel as
and the right F-kernel as
We recall the following relation between the F-kernel and the commutative pseudo Cauchy kernel \({\mathcal {Q}}_{c,s}(q)^{-1}\).
Theorem 2.17
Let \(s,\, q\in {\mathbb {H}}\) be such that \(q\notin [s]\), then
and
The following result plays a key role, see [20, Thm. 2.2.6].
Theorem 2.18
(The Fueter mapping theorem in integral form) Let \(U\subset {\mathbb {H}}\) be a slice Cauchy domain, let \(J\in {\mathbb {S}}\) and set \(ds_J=ds (-J)\).
-
If f is a left slice hyperholomorphic function on a set W, such that \({\overline{U}} \subset W\), then the left Fueter regular function \(\breve{f}(q)=\Delta f(q)\) admits the integral representation
$$\begin{aligned} \breve{f}(q)=\frac{1}{2 \pi }\int _{\partial (U\cap {\mathbb {C}}_J)} F_L(s,q)ds_J f(s). \end{aligned}$$(2.4) -
If f is a right slice hyperholomorphic function on a set W, such that \({\overline{U}} \subset W\), then the right Fueter regular function \(\breve{f}(q)=\Delta f(q)\) admits the integral representation
$$\begin{aligned} \breve{f}(q)=\frac{1}{2 \pi }\int _{\partial (U\cap {\mathbb {C}}_J)} f(s)ds_J F_R(s,q). \end{aligned}$$(2.5)
The integrals depend neither on U and nor on the imaginary unit \(J\in {\mathbb {S}}\).
2.2 The S-functional Calculus
We now recall some basic facts of the S-function calculus, see [19, 20] for more details. Let X be a two sided quaternionic Banach module of the form \(X= X_{{\mathbb {R}}} \otimes {\mathbb {H}}\), where \(X_{{\mathbb {R}}}\) is a real Banach space. In this paper we consider \({\mathcal {B}}(X)\) the Banach space of all bounded right linear operators acting on X.
In the sequel we will consider bounded operators of the form \(T=T_0+T_1e_1+T_2e_2+T_3e_3\), with commuting components \(T_{i}\) acting on the real vector space \(X_{{\mathbb {R}}}\), i.e., \(T_i \in {\mathcal {B}}(X_{{\mathbb {R}}})\) for \(i=0,1,2,3\). The subset of \( {\mathcal {B}}(X)\) given by the operators T with commuting components \(T_i\) will be denoted by \( {{\mathcal {B}}}{{\mathcal {C}}}(X)\).
Now let \(T:X \rightarrow X\) be a right (or left) linear operator. We give the following.
Definition 2.19
Let \(T\in {\mathcal {B}}(X)\). For \(s\in {\mathbb {H}}\) we set
We define the S-resolvent set \(\rho _S(T)\) of T as
and we define the S-spectrum \(\sigma _S(T)\) of T as
For \(s\in \rho _S(T)\), the operator \({\mathcal {Q}}_s(T)^{-1}\) is called the pseudo S-resolvent operator of T at s.
Theorem 2.20
Let \(T\in {\mathcal {B}}(X)\) and \(s\in {\mathbb {H}}\) with \(\Vert T\Vert < |s|\). Then we have
and
According to the left or right slice hyperholomorphicity, there exist two different resolvent operators.
Definition 2.21
(S-resolvent operators) Let \(T \in {\mathcal {B}}(X)\) and \(s\in \rho _S(T)\). Then the left S-resolvent operator is defined as
and the right S-resolvent operator is defined as
The so-called S-resolvent equation, see [1, Thm. 3.8], involves both S-resolvent operators and the Cauchy kernel of slice hyperholomorphic functions and is recalled in the next result:
Theorem 2.22
(S-resolvent equation) Let \(T \in {\mathcal {B}}(X)\) then for s, \(p \in \rho _S(T)\), with \(q \not \in [s]\), we have
where \({\mathcal {Q}}_{s}(p)=p^2-2\mathrm {Re}(s)p+|s|^2\).
To give the definition of the S-functional calculus we need the following classes of functions.
Notation Let \(T \in {\mathcal {B}}(X)\). We denote by \(SH_L(\sigma _S(T))\), \(SH_R(\sigma _S(T))\) and \(N(\sigma _S(T))\) the sets of all left, right and intrinsic slice hyperholomorphic functions f, respectively, with \( \sigma _S(T) \subset dom(f)\).
Definition 2.23
(S-functional calculus) Let \(T \in {\mathcal {B}}(X)\). Let U be a slice Cauchy domain that contains \(\sigma _S(T)\) and \({\overline{U}}\) is contained in the domain of f. Set \(ds_J=-dsJ\) for \(J\in {\mathbb {S}}\) so we define
and
The definition of S-functional calculus is well posed since the integrals in (2.7) and (2.8) depend neither on U and nor on the imaginary unit \(J\in {\mathbb {S}}\), see [17, 20, Thm. 3.2.6].
2.3 The F-functional Calculus
Let us consider \(T=T_{0}+ T_1e_1+T_2e_2+T_3e_3\) such that \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\).
Definition 2.24
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\). For \(s \in {\mathbb {H}}\) we set
where \( {\overline{T}}=T_{0}- T_1e_1-T_2e_2-T_3e_3\). We define the F-resolvent set as
Moreover, we define the F-spectrum of T as
By [18, Prop. 4.14] we have that the F-spectrum is the commutative version of the S-spectrum, i.e., we have
and consequently \(\rho _F(T)=\rho _S(T)\).
For \(s \in \rho _{S}(T)\) the operator \( {\mathcal {Q}}_{c,s}(T)^{-1}\) is called the commutative pseudo S-resolvent operator of T.
It is possible to define a commutative version of the S-functional calculus.
Theorem 2.25
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and \(s \in {\mathbb {H}}\) be such that \(\Vert T\Vert < s\). Then,
and
Definition 2.26
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and \(s \in \rho _{S}(T)\). We define the left commutative S-resolvent operator as
and the right commutative S-resolvent operator as
For the sake of simplicity we denote the commutative version of the S-resolvent operators with the same symbols used for the noncommutative ones. It is possible to define an S-functional calculus as done in Definition 2.23. Below, when dealing with the S-resolvent operators, we intend their commutative version.
We conclude with the definition of the F-functional calculus.
Definition 2.27
(F-resolvent operators) Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\). We define the left F-resolvent operator as
and the right F-resolvent operator as
With the above definitions and Theorem 2.18 at hand, we can recall the F-functional calculus was first introduced in [18] and then investigated in [11, 15, 16].
Definition 2.28
(The F-functional calculus for bounded operators) Let U be a slice Cauchy domain that contains \(\sigma _S(T)\) and \({\overline{U}}\) is contained in the domain of f. Let \(T= T_1e_1+T_2e_2+T_3e_3 \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\), assume that the operators \(T_{\ell }\), \(\ell =1,2,3\) have real spectrum and set \(ds_J=ds/J\), where \(J\in {\mathbb {S}}\). For any function \(f\in SH_L(\sigma _S(T))\), we define
For any \(f\in SH_R(\sigma _S(T))\), we define
The definition of the F-functional calculus is well posed since the integrals in (2.9) and (2.10) depend neither on U and nor on the imaginary unit \(J\in {\mathbb {S}}\).
The left and right F-resolvent operators satisfy the equalities in the next result [20, Thm. 7.3.1]:
Theorem 2.29
(Left and right F-resolvent equations) Let \(T\in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and let \(s\in \rho _S(T)\). The F-resolvent operators satisfy the equations
and
3 Axially Harmonic Functions
In this section, we solve the first part of Problem 1.5. We begin by rewriting the Fueter mapping theorem (see Theorem 2.6) in a more refined way, considering the factorization of the Laplace operator \(\Delta \) in terms of the Fueter operator \({\mathcal {D}}\) and its conjugate \(\overline{{\mathcal {D}}}\).
Theorem 3.1
(Fueter mapping theorem (refined)) Let \(f_{0}(z)= \alpha (u,v)+i \beta (u,v)\) be a holomorphic function defined in a domain (open and connected) D in the upper-half complex plane and let
be the open set induced by D in \({\mathbb {H}}\). The operator \(T_{F1}\) defined by
maps the set of holomorphic functions in the set of intrinsic slice hyperholomorphic functions. Then, the function
where \(T'_{F2}:= {\mathcal {D}}\) is the Fueter operator, is in the kernel of the Laplace operator, i.e.,
Moreover,
where \(T''_{F2}= \overline{{\mathcal {D}}}\) and \(\overline{{\mathcal {D}}}=\partial _{q_0}-\sum _{i=1}^3e_i \partial _{q_i}\), is in the kernel of the Fueter operator, i.e.,
Remark 3.2
The consideration in Remark 2.4 holds obviously also in the case of Theorem 3.1.
In Theorem 3.1 we have applied to the slice hyperholomorphic function f firstly the Fueter operator and then the operator \(\overline{{\mathcal {D}}}\), while in Theorem 2.6 we apply directly the Laplacian. Therefore, there is a class of functions that lies between the class of slice hyperholomorphic functions and the class of axially monogenic functions: it is the so-called class of axially harmonic functions that we introduce below.
Definition 3.3
(Axially harmonic function) Let \(U \subseteq {\mathbb {H}}\) be an axially symmetric open set not intersecting the real line, and let
Let \(f: U \rightarrow {\mathbb {H}}\) be a function, of class \({\mathcal {C}}^3\), of the form
where \(\alpha \) and \(\beta \) are \( {\mathbb {H}}\)-valued functions. More in general let f be as above and let \(U \subseteq {\mathbb {H}}\) be an axially symmetric open set and consider
and assume that
Let us set
If
we say that \({\tilde{f}}\) is axially harmonic on U.
The axially monogenic functions satisfy a system of differential equations called Vekua system, see [25, 36, 37]. In the case of axially harmonic functions, the functions \(A(q_0,r)\) and \(B(q_0,r)\) satisfy a second order system of differential equations.
Theorem 3.4
Let U be an axially symmetric open set in \( {\mathbb {H}}\), not intersecting the real line, and let \( {\tilde{f}}(q)= A(q_0,r)+ {\underline{\omega }}B(q_0,r)\) be an axially harmonic function on U, \(r>0\) and \( {\underline{\omega }} \in {\mathbb {S}}\). Then the functions \(A=A(q_0,r)\) and \(B=B(q_0,r)\) satisfy the following system
Proof
An axially harmonic function is written as
and it is in the kernel of the operator \( \Delta ={\mathcal {D}}\overline{{\mathcal {D}}}\). We denote the Fueter operator as \({\mathcal {D}}= \partial _{q_0}+ \partial _{{\underline{q}}}\) and \(\overline{{\mathcal {D}}}= \partial _{q_0}- \partial _{{\underline{q}}}\), where \( \partial _{{\underline{q}}}= e_1 \partial _{q_1}+e_2 \partial _{q_2}+e_3 \partial _{q_3}\). We know that (see [32])
This implies that
By setting
we get
Now, by applying another time formula (3.3) we obtain
Therefore, we have
Since the function f is axially harmonic we have \(\Delta f(q)=0\), thus we get
Now, we write the system (3.4) in terms of A and B by substituting \(A'\) and \(B'\)
By putting (3.5) and (3.6) in (3.4) we get the statement. \(\square \)
Remark 3.5
If we suppose that a function f is harmonic over the ball \(B_r(p)\) of radius r and center p, and continuous in the closure of the ball we can write
where \(|\partial B_r(p) |\) is the measure of the sphere and dy is the surface element.
4 Integral Representation Axially Harmonic Functions
In this section we show how to write an axially harmonic function in integral form. The main advantage of this approach is that it is enough to compute an integral of slice hyperholomorphic functions in order to get an axially harmonic function. The crucial point to get the integral representation is to apply the Fueter operator \( {\mathcal {D}}\) to the slice hyperholomorphic Cauchy kernels written in second form, see Definition 2.10.
Theorem 4.1
Let \(s,\, q\in {\mathbb {H}}\) be such that \(q\notin [s]\) then
and
Proof
We prove only the first equality since the second one follows with similar computations. First, we apply \(\partial _{q_0}\) and \(\partial _{q_i}\) for \(i=1,\,2,\,3\) to the left slice hyperholomorphic Cauchy kernel
Thus, we have
where \(F_L(s,q)\) is the left F-kernel, see Definition 2.16. Then, for \(i=1,\,2,\,3\) we get
Thus, by Theorem 2.17, we obtain
\(\square \)
Remark 4.2
Although the slice hyperholomorphic Cauchy kernel written in form I is more suitable in various cases, like for the definition of S-functional calculus, it does not allow easy computations of \({\mathcal {D}}S^{-1}_L(s,q)\).
We observe that when we apply the Laplace operator to a monomial \(q^n\) we get a polynomial in terms of q and \( {\bar{q}}\), see [28, page 316 formula (12)], [27, Thm. 3.2]. The same feature happens when the Fueter operator is applied to the monomial \(q^n\), see [7, Lemma 1].
Lemma 4.3
For all \(n\ge 1\) we have
Remark 4.4
Since
we deduce that \({\mathcal {D}}q^n\) is real.
Definition 4.5
Let \(s,q\in {\mathbb {H}}\), we define the commutative Q-series as
Remark 4.6
The two series in Definition 4.5 coincide, where they converge, since \(\sum _{k=1}^m q^{m-k}{{\overline{q}}}^{k-1}\) is real.
Proposition 4.7
For \(s,\, q\in {\mathbb {H}}\) with \(|q|< |s|\), the commutative Q-series converges.
Proof
To prove the convergence, it is sufficient to prove the convergence of the modulus of the series, i.e., we consider
The last series converges by the ratio test. Indeed, since \(|q|< |s|\), we have
\(\square \)
Lemma 4.8
For \(q,\, s\in {\mathbb {H}}\) such that \(|q|<|s|\), we have
Proof
We prove the first equality since the second one can be proved in a similar way. By Theorem 2.8, we can expand the left Cauchy kernel as
By Theorem 4.1 and Proposition 4.7, which allows to exchange the series with the Fueter operator, we have
We get the statement by applying Lemma 4.3. \(\square \)
Remark 4.9
Using the well-known equality
for \(a=q\) and \(b={{\overline{q}}}\), and by Lemma 4.3 we have
With this result, we can prove Theorem 4.1 by using the series expansion of the kernel in the following way: if \(|q|< |s|\) and \({\underline{q}}\ne 0\) then
if \(|q|< |s|\) and \({\underline{q}}=0\), we have
Now, we study the regularity of the function \({\mathcal {D}}S^{-1}_L(s,q)\) in both variables.
Proposition 4.10
Let s, \(q \in {\mathbb {H}}\) be such that \( q \notin [s]\). The function \({\mathcal {D}}S^{-1}_L(s,q)\) is an intrinsic slice hyperholomorphic function in s.
Proof
This follows by Theorem 4.1 and the shape of the commutative pseudo Cauchy kernel. \(\square \)
Remark 4.11
The function \({\mathcal {D}}(S^{-1}_L(s,q))\) is not left slice hyperholomorphic in the variable q. Indeed, let \(q=u+Iv\) for an arbitrary \(I\in {\mathbb {S}}\) then \({\mathcal {Q}}_{c,s}(q)^{-1}=(s^2-2us+u^2+v^2)^{-1}\) and we have the following two relations
and
which yield
The function \({\mathcal {D}}S^{-1}_L(s,q)\) turns out to be harmonic in q, as proved in the following result.
Proposition 4.12
Let s, \(q \in {\mathbb {H}}\) be such that \( q \notin [s]\). Then the function \({\mathcal {D}}S^{-1}_L(s,q)\) is harmonic in the real components of q.
Proof
Since the left slice hyperholomorphic Cauchy kernel is a \(C^\infty \) function for any \(q \notin [s]\), we can apply to it a differential operator of any order. Then the result follows by the facts that the Laplacian is a real operator, thus it commutes with \({\mathcal {D}}\), and by Proposition 2.14. Indeed
\(\square \)
Finally as a consequence of the definition of the F-kernel we have:
Lemma 4.13
Let s, \(q \in {\mathbb {H}}\) be such that \(q \notin [s]\), then
Proof
By Theorem 4.1 we have
Firstly, we apply the derivatives with respect to \(q_0\) and \(q_i\), with \(i=1,2,3\) to the commutative pseudo Cauchy kernel
and for \(i=1,2,3\) we get
Thus we obtain
Therefore by (4.1) we get
\(\square \)
Remark 4.14
By Proposition 2.14 it is clear that the function \(F_L(s, {\bar{q}})\) is axially anti-monogenic. This observation together with Lemma 4.13 imply the construction of the following diagram
where \(\Omega _D\) is defined as in (3.1) and \(\overline{AM(\Omega _D)}\) is the set of axially anti-monogenic functions. In order to avoid this set of functions in the constructions like the one in (4.2) we impose that the composition of the operators appearing in (4.2) must be the Fueter map (in the case of this paper \( \Delta \)). This is very important when we increase the dimension of the algebra, see [24].
We observe that if we set \(q=u+Iv\) and we apply the 2-dimensional Laplacian
to the commutative pseudo Cauchy kernel we get its square:
Lemma 4.15
Let s, \(q=u+Iv \in {\mathbb {H}}\) be such that \(q \notin [s]\), then
Proof
We set \(q=u+Iv\), \(I \in {\mathbb {S}}\). By Remark 4.11 we know that
Now, we have
and
By definition of the 2-dimensional laplacian and since the variable s commute with \({\mathcal {Q}}_{c,s}(u+Iv)\), we get
\(\square \)
We conclude this section with an integral representation of axially harmonic functions that will allow us to define the harmonic functional calculus based on the S-spectrum.
Theorem 4.16
(Integral representation of axially harmonic functions) Let \(W \subset {\mathbb {H}}\) be an open set. Let U be a slice Cauchy domain such that \({\overline{U}} \subset W\). Then for \(J \in {\mathbb {S}}\) and \(ds_J=ds(-J)\) we have:
-
(1)
If \(f \in SH_L(W)\), then the function \( {\tilde{f}}(q)={\mathcal {D}} f(q)\) is harmonic and it admits the following integral representation
$$\begin{aligned} {\tilde{f}}(q)=- \frac{1}{\pi } \int _{\partial (U \cap {\mathbb {C}}_J)} {\mathcal {Q}}_{c,s}(q)^{-1}ds_J f(s),\ \ \ \ q\in U. \end{aligned}$$(4.3) -
(2)
If \(f \in SH_R(W)\), then the function \( {\tilde{f}}(q)= f(q){\mathcal {D}}\) is harmonic and it admits the following integral representation
$$\begin{aligned} {\tilde{f}}(q)=- \frac{1}{\pi } \int _{\partial (U \cap {\mathbb {C}}_J)} f(s) ds_J {\mathcal {Q}}_{c,s}(q)^{-1},\ \ \ \ q\in U. \end{aligned}$$(4.4)
The integrals depend neither on U nor on the imaginary unit \(J \in {\mathbb {S}}\).
Proof
We prove only the first statement because the other proof is similar. We can write the function f by using the Cauchy formula for slice hyperholomorphic functions, see Theorem 2.12. Now, by applying the left Fueter operator to f(q) and by Theorem 4.1 we get
Since \({\tilde{f}}(q)={\mathcal {D}} f(q)\) and by Proposition 4.12, it is immediately verified that \( {\tilde{f}}(q)\) is a harmonic function. The independence of integral in (4.3) from the set U and the imaginary unit \(J \in {\mathbb {S}}\) follows by the Cauchy formula. \(\square \)
In this section we have described the central part of the following diagram
where \(\Omega _D\) is defined as in (3.1).
Remark 4.17
In the quaternionic setting it is possible to obtain another diagram besides the one in (4.6). This comes from the factorization \( \Delta ={\mathcal {D}} \overline{{\mathcal {D}}}\) and is called second fine structure in the quaternionic setting, see Definition 1.2. The set of functions that lies between the set of slice hyperholomorphic functions and the set of axially monogenic functions is the set of axially polyanalytic functions of order 2, for more details see [26].
5 The Harmonic Functional Calculus on the S-spectrum
In this section we introduce the harmonic functional calculus on the S-spectrum, which is based on the integral representation of axially harmonic functions. Recall that X denotes a two-sided quaternionic Banach space.
We give meaning to the substitution of the variable q with the operator T in the power series introduced in Definition 4.5.
Definition 5.1
Let \(T=T_0+\sum _{i=1}^3e_i T_i\in {\mathcal {B}}{\mathcal {C}}(X)\), \(s\in {\mathbb {H}}\), we formally define the commutative pseudo S-resolvent series as
Remark 5.2
The two series in Definition 5.1 coincide, where they converge.
Proposition 5.3
Let \(T=T_0+\sum _{i=1}^3 e_iT_i\in {\mathcal {B}}\mathcal C(X)\), \(s\in {\mathbb {H}}\) and \(\Vert T\Vert <|s|\), the series in the Definition 5.1 converges. Moreover, we have
Proof
For the convergence of the series it is sufficient to prove the convergence of the series of the operator norm:
Since
by the ratio test the series (5.2) is convergent. To prove the equality (5.1), we show that
The first equality in (5.3) is a consequence of the following facts: for any positive integer m the operator \(\sum _{k=1}^m T^{m-k}{{\overline{T}}}^{k-1}\) does not contain any imaginary units, so it is real and then it commutes with any power of s. Secondly, the components of T are commuting among them and the operator \({\mathcal {Q}}_{c,s}(T)\), see Definition 2.24, can be written as: \(s^2{\mathcal {I}}-2s T_0+\sum _{i=0}^3 T_i^2\).
Now we prove the second equality in (5.3). First we observe that
Making the change of index \(m'=1+m\) in the second and fourth series, we have
Simplifying the opposite terms in the first and second series and in the third and fourth series, we finally get
\(\square \)
Lemma 5.4
Let \(T \in {\mathcal {B}}{\mathcal {C}}(X)\). The commutative pseudo S-resolvent operator \( {\mathcal {Q}}_{c,s}(T)^{-1}\) is a \( {\mathcal {B}}(X)\)-valued right and left slice hyperholomorphic function of the variable s in \(\rho _S(T)\).
Proof
It follows by Proposition 4.10. \(\square \)
Remark 5.5
We point out an important difference between the commutative and the noncommutative pseudo S-resolvent operator. For \(T\in {\mathcal {B}}(X)\) with noncommuting components the operator \({\mathcal {Q}}_{c,s}(T)\) is not well defined because \(T{\overline{T}}\not ={\overline{T}}T\). But in the case \(T\in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) then it turns out to be well defined and the inverse is \( {\mathcal {B}}(X)\)-valued slice hyperholomorphic function for \(s\in \rho _S(T)\).
The noncommutative pseudo S-resolvent operator \({\mathcal {Q}}_{s}(T)^{-1}\) turns out to be well defined for operators \(T\in {\mathcal {B}}(X)\) with noncommuting components, but it is not a \( {\mathcal {B}}(X)\)-valued slice hyperholomorphic function.
Remark 5.6
The functional calculus based on axially harmonic functions in integral form will be called harmonic functional calculus (on the S-spectrum) or, since it is based on the commutative pseudo S-resolvent operator \({\mathcal {Q}}_{c,s}(T)^{-1}\), Q-functional calculus.
Definition 5.7
(Harmonic functional calculus on the S-spectrum) Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and set \(ds_J=ds(-J)\) for \(J \in {\mathbb {S}}\). For every function \({\tilde{f}}={\mathcal {D}} f\) with \(f \in SH_{L}(\sigma _S(T))\), we set
where U is an arbitrary bounded slice Cauchy domain with \(\sigma _{S}(T) \subset U\) and \( {\overline{U}} \subset dom(f)\) and \(J \in {\mathbb {S}}\) is an arbitrary imaginary unit.
For every function \({\tilde{f}}= f{\mathcal {D}}\) with \(f \in SH_{R}(\sigma _S(T))\), we set
where U and J are as above.
Theorem 5.8
The harmonic functional calculus on the S-spectrum is well-defined, i.e., the integrals in (5.4) and (5.5) depend neither on the imaginary unit \(J \in {\mathbb {S}}\) nor on the slice Cauchy domain U.
Proof
Here we show only the case \( {\tilde{f}}={\mathcal {D}}f\) with \(f \in SH_L(\sigma _S(T))\), since the other one follows by analogous arguments.
Since \( {\mathcal {Q}}_{c,s}(T)^{-1}\) is a right slice hyperholomorphic function in s and f is left slice hyperholomorphic, the independence from the set U follows by the Cauchy integral formula, see Theorems 2.12 and 2.13.
Now, we want to show the independence from the imaginary unit. Let us consider two imaginary units J, \(I \in {\mathbb {S}}\) with \(J \ne I\) and two bounded slice Cauchy domains \(U_q\), \(U_s\) with \( \sigma _{s}(T) \subset U_q\), \({\overline{U}}_q \subset U_s\) and \({\overline{U}}_s \subset dom(f)\). Then every \(s \in \partial (U_s \cap {\mathbb {C}}_J)\) belongs to the unbounded slice Cauchy domain \({\mathbb {H}}\setminus U_q \). Recall that \({\mathcal {Q}}_{c,q}(T)^{-1}\) is right slice hyperholomorphic on \(\rho _S(T)\), also at infinity, since \( \lim _{q \rightarrow + \infty } {\mathcal {Q}}_{c,q}(T)^{-1}=0\). Thus, the Cauchy formula implies
The last equality is due to the fact that \( \partial \left( ({\mathbb {H}} \setminus U_q) \cap {\mathbb {C}}_I \right) =-\partial (U_q \cap {\mathbb {C}}_I)\) and \(S^{-1}_R(q,s)=-S^{-1}_L(s,q).\) Combining (5.4) and (5.6) we get
Due to Fubini’s theorem we can exchange the order of integration and by the Cauchy formula we obtain
This proves the statement. \(\square \)
Problem 5.9
Let U be a slice Cauchy domain. It might happen that \(f,g\in SH_L(U)\) (resp. \(f,g\in SH_R(U)\)) and \({\mathcal {D}}f={\mathcal {D}}g\) (resp. \(f{\mathcal {D}}=g{\mathcal {D}}\)). Is it possible to show that for any \(T\in {{\mathcal {B}}}{{\mathcal {C}}}(X)\), with \(\sigma _S(T)\subset U\), we have \({{\tilde{f}}}(T)={{\tilde{g}}}(T)\)?
We start to address this problem by observing that \({\mathcal {D}}(f-g)=0\) (resp. \((f-g){\mathcal {D}}=0\)). Therefore it is necessary to study the set
Theorem 5.10
Let U be a connected slice Cauchy domain of \({\mathbb {H}}\), then
Proof
We prove the result in the case \(f\in SH_L(U)\) since the case \(f\in SH_R(U)\) follows with similar arguments. We proceed by double inclusion. The fact that
is obvious. The other inclusion can be proved observing that if \(f\in (\ker {{\mathcal {D}}})_{SH_L(U)}\), after a change of variable if needed, there exists \(r>0\) such that the function f can be expanded in a convergent series at the origin
where \(B_r(0)\) is the ball centered at 0 and of radius r. By Lemma 4.3, we have
If we restrict the previous series in a neighborhood \(\Omega \) of 0 of the real line we get
and this implies
which yields \(f(q)\equiv \alpha _0\) in \(\Omega \) and since U is connected \(f(q)\equiv \alpha _0\) for any \(q\in U\). \(\square \)
We solve the problem 5.9 in the case in which U is connected.
Proposition 5.11
Let \(T\in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and let U be a connected slice Cauchy domain with \(\sigma _S(T)\subset U\). If \(f,g\in SH_L(U)\) (resp. \(f,g\in SH_R(U)\)) satisfy the property \({\mathcal {D}}f={\mathcal {D}}g\) (resp. \(f{\mathcal {D}}=g{\mathcal {D}}\)) then \({{\tilde{f}}}(T)={{\tilde{g}}}(T)\).
Proof
We prove the theorem in the case \(f,g\in SH_L(U)\) since the case \(f,g\in SH_R(U)\) follows by similar arguments. By definition of the harmonic functional calculus on the S-spectrum, see Definition 5.7, we have
Since \({\mathcal {Q}}_{c,s}(T)^{-1}\) is slice hyperholomorphic in the variable s by Theorem 2.12, we can change the domain of integration to \(B_r(0)\cap {\mathbb {C}}_J\) for some \(r>0\) with \( \Vert T \Vert <r\). Moreover, by hypothesis we have that \(f(s)-g(s) \in (\ker {D})_{SH_L(U)}\), thus by Theorem 5.10 and Proposition 5.3 we get
\(\square \)
In order to solve Problem 5.9, in the case U is not connected, we need the following lemma, which is based on the monogenic functional calculus developed by McIntosh and collaborators, see [29,30,31].
Lemma 5.12
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) be such that \(T= T_1e_1+T_2 e_2+T_3 e_3\), and assume that the operators \(T_{\ell }\), \(\ell =1,2,3\), have real spectrum. Let G be a bounded slice Cauchy domain such that \((\partial G) \cap \sigma _{S}(T)= \emptyset \). For every \(J \in {\mathbb {S}}\) we have
Proof
Since \(\Delta (1)=0\) and \(\Delta (q)=0\), by Theorem 2.18 we also have
and
for all \(q \notin \partial G\) and \(J \in {\mathbb {S}}\). By the monogenic functional calculus [29,30,31] we have
where \({\mathbf {D}}\omega \) is a suitable differential form, the open set \( \Omega \) contains the left spectrum of T and \(G(\omega ,T)\) is the Fueter resolvent operator. By Theorem 2.29 we can write
thus we have
where the second equality is a consequence of the Fubini’s Theorem and the last equality is a consequence of formulas (5.8) and (5.9). \(\square \)
Finally in the following result we give an answer to Problem 5.9.
Proposition 5.13
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) be such that \(T= T_1e_1+T_2 e_2+T_3 e_3\), and assume that the operators \(T_{\ell }\), \(\ell =1,2,3\), have real spectrum. Let U be a slice Cauchy domain with \(\sigma _S(T)\subset U\). If \(f,g\in SH_L(U)\) (resp. \(f,g\in SH_R(U)\)) satisfy the property \({\mathcal {D}}f={\mathcal {D}}g\) (resp \(f{\mathcal {D}}=g{\mathcal {D}}\)) then \({{\tilde{f}}}(T)={{\tilde{g}}}(T)\).
Proof
If U is connected we can use Proposition 5.11. If U is not connected then \(U=\cup _{l=1}^n U_l\) where the \(U_l\) are the connected components of U. Hence, we have \(f(s)-g(s)=\sum _{l=1}^n\chi _{U_l}(s)\alpha _l\) and we can write
The last summation is zero by Lemma 5.12. \(\square \)
We conclude this section with some algebraic properties of the harmonic functional calculus.
Proposition 5.14
Let \(T\in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) be such that \(T=T_1e_1+T_2e_2+T_3e_3\), and assume that the operators \(T_\ell \), \(\ell =1,\,2,\,3\), have real spectrum.
-
If \({{\tilde{f}}}={\mathcal {D}}f\) and \({{\tilde{g}}}={\mathcal {D}}g\) with \(f,g\in SH_L(\sigma _S(T))\) and \(a\in {\mathbb {H}}\), then
$$\begin{aligned} ({{\tilde{f}}}a+{{\tilde{g}}})(T)={{\tilde{f}}} (T)a+{{\tilde{g}}}(T). \end{aligned}$$ -
If \({{\tilde{f}}}=f{\mathcal {D}}\) and \({{\tilde{g}}}=g{\mathcal {D}}\) with \(f,g\in SH_R(\sigma _S(T))\) and \(a\in {\mathbb {H}}\), then
$$\begin{aligned} (a{{\tilde{f}}}+{{\tilde{g}}})(T)=a{{\tilde{f}}} (T)+{{\tilde{g}}}(T). \end{aligned}$$
Proof
The above identities follow immediately from the linearity of the integrals in (5.4), resp. (5.5). \(\square \)
Proposition 5.15
Let \(T\in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) be such that \(T=T_1e_1+T_2e_2+T_3e_3\), and assume that the operators \(T_\ell \), \(\ell =1,\,2,\,3\), have real spectrum.
-
If \({{\tilde{f}}}={\mathcal {D}}f\) with \(f\in SH_L(\sigma _S(T))\) and assume that \(f(q)=\sum _{m=0}^{\infty } q^ma_m\) with \(a_m\in {\mathbb {H}}\), where this series converges on a ball \(B_r(0)\) with \(\sigma _S(T)\subset B_r(0)\). Then
$$\begin{aligned} {{\tilde{f}}}(T)=-2\sum _{m=1}^\infty \sum _{k=1}^m T^{m-k} {{\overline{T}}}^{k-1} a_m. \end{aligned}$$ -
If \({{\tilde{f}}}=f{\mathcal {D}}\) with \(f\in SH_R(\sigma _S(T))\) and assume that \(f(q)=\sum _{m=0}^{\infty } a_mq^m\) with \(a_m\in {\mathbb {H}}\), where this series converges on a ball \(B_r(0)\) with \(\sigma _S(T)\subset B_r(0)\). Then
$$\begin{aligned} {{\tilde{f}}}(T)=-2\sum _{m=1}^\infty \sum _{k=1}^m a_m T^{m-k} {{\overline{T}}}^{k-1}. \end{aligned}$$
Proof
We prove the first assertion since the second one can be proven similarly. We choose an imaginary unit \(J\in {\mathbb {S}}\) and a radius \(0<R<r\) such that \(\sigma _S(T)\subset B_R(0)\). Then the series expansion of f converges uniformly on \(\partial (B_R(0)\cap {\mathbb {C}}_J)\), and so
By replacing \({\mathcal {Q}}_{c,s}(T)^{-1}\) with its series expansion, see Proposition 5.3, we further obtain
The last equality is due to the fact that \(\int _{\partial (B_R(0)\cap {\mathbb {C}}_J)}s^{-1-m}\, ds_J\, s^l\) is equal to \(2\pi \) if \(l=m\), and 0 otherwise. \(\square \)
6 The Resolvent Equations for Harmonic Functional Calculus
In this section we prove various resolvent equations for the pseudo S-resolvent operator \({\mathcal {Q}}_{c, s}(T)^{-1}\). The first version of this equation is written in terms of \({\mathcal {Q}}_{c, s}(T)^{-1}\) and of the S-resolvent operators.
Theorem 6.1
(The Q-resolvent equation with S-resolvent operators) Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\). Then, for p, \(s \in \rho _{S}(T)\) with \(s\not \in [p]\), the following equalities hold
and
Proof
By the definition of left S-resolvent operator we have
By iterating (6.3) we get
Now, by the definition of the right S-resolvent operator we have
This equality implies
Now, since \(s^2-2s_0s+|s|^2=0\) we get
Finally, using another time formula (6.3) and the fact that \(2s_0-s= {\bar{s}}\) we obtain
It is possible to obtain formula (6.2) with similar computations. \(\square \)
Remark 6.2
We can rewrite the equations obtained in Theorem 6.1 by using the left or right \(*\)-products, see [19, Chap. 4], in the variables \(s,p\in \rho _S(T)\) with \(s\not \in [p]\),
or
Theorem 6.3
(Left and right generalized Q-resolvent equations) Let \(T\in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) with \(s\in \rho _S(T)\) and set
and
Then for \(m\ge 1\) and \(s\in \rho _S(T)\), the following equations hold
and
Proof
We prove the result by induction on m. We will prove only (6.6) since the other equality is proven with similar techniques. The case \(m=1\) is trivial because
We assume that the equation holds for \(m-1\) and we will prove it for m. By inductive hypothesis, we have
Since
and
we have
\(\square \)
Now, we prove the Q-resolvent equation just in terms of the commutative pseudo S-resolvent operator.
Theorem 6.4
(The Q-resolvent equation) Let \(T\in {{\mathcal {B}}}{{\mathcal {C}}}(X)\). Then for \(s,\, p\in \rho _S(T)\) with \(s\not \in [p]\), we have the following equation
Proof
Starting from the S-resolvent equation (see formula (2.6))
and using the definitions of the S-resolvent operators
and
we obtain that the left hand side of the S-resolvent equation can be rewritten as
The right hand side can be rewritten in the following way
By equating (6.8) and (6.8), we obtain the assertion. \(\square \)
Remark 6.5
It is possible to rewrite (6.7) as
Remark 6.6
Formula (6.7) or, equivalently, (6.8) can be considered the most appropriate Q-resolvent equation because
-
(I)
it preserves the left slice hyperholomorphicity in s and the right slice hyperholomorphicity in p;
-
(II)
the product \({\mathcal {Q}}_{c,s}(T)^{-1}{\mathcal {Q}}_{c,p}(T)^{-1}\) (multiplied by monomials or bounded operators) is written in terms of the difference \({\mathcal {Q}}_{c,s}(T)^{-1}-{\mathcal {Q}}_{c,p}(T)^{-1}\) entangled with the left slice hyperholomorphic Cauchy kernel.
For more information of the properties of the resolvent equations in hyperholomorphic spectral theories see the paper [16].
7 The Riesz Projectors for Harmonic Functional Calculus
We now take advantage of the Q-resolvent equation in Theorem 6.4 to study the Riesz projectors for the harmonic functional calculus. In the sequel we need the crucial result originally proved in [1, Lemma 3.23].
Lemma 7.1
(See [20]) Let \(B \in {\mathcal {B}}(X)\). Let G be an axially symmetric domain and assume \(f \in N(G)\). Then for \(p \in G\), we have
Theorem 7.2
(The Riesz projectors) Let \(T=T_1e_1+T_2e_2+T_3e_3\) and assume that the operators \(T_l\), \(l=1,\, 2,\, 3\), have real spectrum. Let \(\sigma _S(T)=\sigma _1\cup \sigma _2\) with \({\text {dist}}(\sigma _1,\sigma _2)>0\).
Let \(G_1,\, G_2\subset {\mathbb {H}}\) be two bounded slice Cauchy domains such that \(\sigma _1\subset G_1\), \({{\overline{G}}}_1\subset G_2\) and \({\text {dist}}(G_2,\sigma _2)>0\). Then the operator
is a projection, i.e.,
Moreover, the operator \({\tilde{P}}\) commutes with T, i.e. we have
Proof
First, we multiply equation (6.7) by \(ds_J\) on the left and we integrate it on \(\partial (G_2\cap {\mathbb {C}}_J)\) with respect to \(ds_J\), and then we multiply it by \(dp_J\) on the right and we integrate it on \(\partial (G_1\cap {\mathbb {C}}_J)\) with respect to \(dp_J\). We obtain
where we set \({\mathcal {Q}}_s(p)=p^2-2s_0p+|s|^2\). By Lemma 5.12 the expression on the left-hand side of (7.2) simplifies to
Now, we focus on the right hand-side of (7.2). We start by rewriting it as
Now, since \({{\overline{G}}}_1\subset G_2\), for any \(s\in \partial (G_2\cap {\mathbb {C}}_J)\) the functions
and
are intrinsic slice hyperholomorphic on \({{\overline{G}}}_1\). By the Cauchy integral formula we have
Therefore
and
Thus the right hand side in (7.3) is just
We can further simplify the previous expression by applying Lemma 7.1 twice: in the first integral for
and in the second integral for
Thus we obtain
In the last equation we have used Lemma 5.12. In conclusion Eq. (7.2) reduces to
and, by the definition of the operator \({{\tilde{P}}}\) given in the statement, the previous equality means
Now, we prove (7.1). Since \(T_0=0\) and
we get
Thus we get
On the other side, since
we get
From the fact that \(p \chi _{G_1}(p)\) is intrinsic slice hyperholomorphic in \(G_1\), it follows by [20, Thm. 3.2.11] that
Since (7.4) and (7.5) are equal we get the statement. \(\square \)
Remark 7.3
The Q-resolvent equation stated in Theorem 6.1 preserves the slice hyperholomorphicity, however it is not useful to prove Theorem 7.2.
Remark 7.4
Theorem 7.2 can be proved using directly the F-functional calculus. Indeed, in the same hypothesis of the theorem, it is proved in [20, Thm. 7.4.2] that
for
Now, using Theorem 2.29 and [20, Lemma 7.4.1], we have
8 Further Properties of the Harmonic Functional Calculus
In this section we prove other important properties of the harmonic functional calculus.
Theorem 8.1
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\). Let \(m \in {\mathbb {N}}_0\), and let \(U \subset {\mathbb {H}}\) be a bounded slice Cauchy domain with \(\sigma _{S}(T) \subset U\). For every \(J \in {\mathbb {S}}\) we have
where
Proof
We start by considering U to be the ball \(B_r(0)\) with \(\Vert T \Vert <r\). We know that
for every \(s \in \partial B_r(0)\). By Proposition 5.3 we know that the series converges on \( \partial B_{r}(0)\). Thus we have
since
This proves the result for the case \(U=B_r(0)\). Now we get the result for an arbitrary bounded Cauchy domain U that contains \(\sigma _S(T)\). Then there exists a radius r such that \( {\overline{U}} \subset B_{r}(0)\). The operator \( {\mathcal {Q}}_{c,s}(T)^{-1}\) is right slice hyperholomorphic and the monomial \(s^{m+1}\) is left slice hyperholomorphic on the bounded slice Cauchy domain \(B_r(0) \setminus U\). By the Cauchy’s integral formula we get
Finally we have
and this concludes the proof. \(\square \)
Remark 8.2
Unlike what happens in the S-functional calculus (see [20, Thm. 3.2.2]) we do not have a left slice hyperholomorphic polynomial on the left hand side of equality (8.1), but we have harmonic polynomials. Another difference with respect to [20, Thm. 3.2.2] is that in Theorem 8.1 we do not have a difference between right and left part, because by Proposition 5.3
For the intrinsic functions we have the following result, see [20, Theorem 3.2.11].
Lemma 8.3
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\). If \( f \in N(\sigma _S(T))\) and U is a bounded slice Cauchy domain such that \( \sigma _S(T) \subset U\) and \( {\overline{U}} \subset dom(f)\), then we have
Proof
It follows by the definitions of intrinsic functions, of the Q-functional calculus and Runge’s theorem (see [20, Theorem 2.1.37]). \(\square \)
For the \({\mathcal {Q}}\)- functional calculus it is possible to prove a generalized product rule.
Theorem 8.4
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and assume \(f \in N(\sigma _{S}(T))\) and \(g \in SH_L(\sigma _{S}(T))\) then
Proof
Let \(G_1\) and \(G_2\) be two bounded slice Cauchy domains such that contain \(\sigma _{S}(T)\) and \( {\overline{G}}_1 \subset G_2\) and \({\overline{G}}_2 \subset dom(f) \cap dom(g)\). We choose \(p \in \partial (G_1 \cap {\mathbb {C}}_J)\) and \(s \in \partial (G_2 \cap {\mathbb {C}}_J)\). By Definitions 2.23 and 5.7 for \(J \in {\mathbb {S}}\) we have
Since the function f is intrinsic by Lemma 8.3 we get
By the S-resolvent equation (see (2.6)) and by setting \({\mathcal {Q}}_{s}(p):= p^2-2s_0p+|s|^2\), we get
From the Cauchy formula we obtain
Therefore
Using Lemma 7.1 with \(B:= S^{-1}_L(p,T)\) we get
Finally by definition of the S-resolvent operator we obtain
\(\square \)
9 The Q-functional Calculus and New Properties of the F-functional Calculus
The introduction of the Q-functional calculus is essential to prove a product formula for the F-functional calculus. Before to go through this, we prove the following property of the F-functional calculus.
Theorem 9.1
Let us consider \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and \(m \in {\mathbb {N}}_0\). Let \(U \subset {\mathbb {H}}\) be a bounded slice Cauchy domain with \( \sigma _{S}(T)\subset U\). For every \(J \in {\mathbb {S}}\), we have
and
where
Proof
We start by considering the set U as the ball \(B_r(0)\) with \(|| T|| <r\). Then, by [16, Thm. 3.9] we know that \(F_L(s,T)= \sum _{n=2}^\infty \mathcal -2(n-1)n {\mathcal {Q}}_{n-2}(T, {\overline{T}}) s^{-1-n}\) for every \(s \in \partial B_{r}(0)\). This series converges uniformly on \(\partial B_{r}(0)\). Thus we have
Due to the fact that
we obtain
Now, we consider U an arbitrary bounded slice Cauchy domain that contains \( \sigma _{S}(T)\). We suppose that there exists a radius r such that \( {\overline{U}} \subset B_{r}(0)\). The left F-resolvent operator \(F_{L}(s,T)\) is right slice hyperholomorphic in the variable s and the monomial \(s^{m+2}\) is left slice hyperholomorphic on the bounded slice Cauchy domain \(B_{r}(0) \setminus U\). By the Cauchy’s integral theorem (see Theorem 2.13) we get
This implies that
\(\square \)
Remark 9.2
Theorem 9.1 is consistent with respect to the definition of the F-functional calculus. Indeed, the results of the integrals (9.1) and (9.2) are Fueter regular polynomials in T. That kind of polynomials were introduced in [9, 10].
Now, we prove a product rule for the F-function calculus.
Theorem 9.3
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and assume \(f \in N(\sigma _S(T))\) and \(g \in SH_L(\sigma _S(T))\) then we have
where \({\mathcal {D}}\) is the Fueter operator.
Proof
Let \(G_1\) and \(G_2\) be two bounded slice Cauchy domains such that contain \(\sigma _{S}(T)\) and \( {\overline{G}}_1 \subset G_2\), with \({\overline{G}}_2 \subset dom(f) \cap dom(g)\). We choose \(p \in \partial (G_1 \cap {\mathbb {C}}_J)\) and \(s \in \partial (G_2 \cap {\mathbb {C}}_J)\). For every \(J \in {\mathbb {S}}\), from the definitions of F-functional calculus, S-functional calculus and Q- functional calculus, we get
Since the function f is intrinsic by Lemma 8.3 we have
Hence, we have
By the following equation (see [20, Lemma 7.3.2])
where \({\mathcal {Q}}_s(p)=p^2-2s_0p+|s|^2\), we obtain
By the linearity of the integrals follows that
Since the functions \(p \mapsto p {\mathcal {Q}}_s(p)^{-1}\), \(p \mapsto {\mathcal {Q}}_s(p)^{-1}\) are intrinsic slice hyperholomorphic on \({\bar{G}}_1\), by the Cauchy integral formula, see Theorem 2.13 we have
Thus, we get
By applying Lemma 7.1 with \(B:= F_L(p,T)\) and by the definition of the F-functional calculus we obtain
\(\square \)
Corollary 9.4
Let \(T \in {{\mathcal {B}}}{{\mathcal {C}}}(X)\) and assume \(g \in N(\sigma _S(T))\) and \(f\in SH_R(\sigma _S(T))\) then we have
Remark 9.5
The classical formula
is true for any \(C^2\) quaternionic valued functions and it inspires formula (9.3). However, formula (9.3) is true only for slice hyperholomorphic functions. Indeed its proof relies heavily on the slice hyperholomorphic Cauchy integral representation formula. Thus (9.3) is not applicable in the case when f and g are real valued functions and, in this sense, it is not a generalization of the formula (9.5).
Remark 9.6
The product fg in Theorem 9.3 and Corollary 9.4 is respectively slice hyperholomorphic left or right slice hyperholomorphic.
Remark 9.7
Formula (9.3) is a general case of the well-known formula \(\Delta (qg(q))=q \Delta (g(q))+2 {\mathcal {D}}(g(q))\). Indeed, it is enough to replace the operator T by q and to take \(f(q):=q\) in formula (9.3).
References
Alpay, D., Colombo, F., Gantner, J., Sabadini, I.: A new resolvent equation for the S-functional calculus. J. Geom. Anal. 25, 1939–1968 (2015)
Alpay, D., Colombo, F., Kimsey, D.P.: The spectral theorem for quaternionic unbounded normal operators based on the \(S\)-spectrum. J. Math. Phys. 57, 023503 (2016)
Alpay, D., Colombo, F., Gantner, J., Sabadini, I.: The \(H^\infty \)functional calculus based on the S-spectrum for quaternionic operators and for n-tuples of noncommuting operators. J. Funct. Anal. 271, 1544–1584 (2016)
Alpay, D., Colombo, F., Sabadini, I.: Slice Hyperholomorphic Schur Analysis, Theory: Advances and Applications, vol. 256. Birkhäuser, Basel (2017)
Alpay, D., Colombo, F., Sabadini, I.: Quaternionic de Branges Spaces and Characteristic Operator Function. Briefs in Mathematics. Springer, Cham (2020)
Baracco, L., Colombo, F., Peloso, M.M., Pinton, S.: Fractional powers of higher order vector operators on bounded and unbounded domains. arXiv:2112.05380 (to appear in Proc. Edinburgh Math. Soc)
Begeher, H.: Iterated integral operators in Clifford analysis. J. Anal. Appl. 18, 361–377 (1999)
Birkhoff, G., Von Neumann, J.: The logic of quantum mechanics. Ann. Math. 37, 823–843 (1936)
Cação, I., Falcão, M.I., Malonek, H.: Laguerre derivative and monogenic Laguerre polynomials: an operational approach. Math. Comput. Model. 53, 1084–1094 (2011)
Cação, I., Falcão, M.I., Malonek, H.: Hypercomplex polynomials, Vietoris’ rational numbers and a related integer numbers sequence. Complex Anal. Oper. Theory 11, 1059–1076 (2017)
Colombo, F., Gantner, J.: Formulations of the \( {\cal{F}}\)- functional calculus and some consequences. Proc. R. Soc. Edinb. 146, 509–545 (2016)
Colombo, F., Gantner, J.: An application of the \(S\)-functional calculus to fractional diffusion processes. Milan J. Math. 86, 225–303 (2018)
Colombo, F., Gantner, J.: Quaternionic Closed Operators, Fractional Powers and Fractional Diffusion Processes, Operator Theory: Advances and Applications, vol. 274. Birkhäuser/Springer, Cham (2019)
Colombo, F., Kimsey, D.P.: The spectral theorem for normal operators on a Clifford module. Anal. Math. Phys. 12, Paper No. 25 (2022)
Colombo, F., Sabadini, I.: The F-functional calculus for unbounded operators. J. Geom. Phys. 86, 392–407 (2014)
Colombo, F., De Martino, A., Sabadini, I.: Towards a general \(\cal{F} \)-resolvent equation and Riesz projectors. J. Math. Anal. Appl. 517(2), 126652 (2023)
Colombo, F., Sabadini, I., Struppa, D.C.: A new functional calculus for non commuting operators. J. Funct. Anal. 254, 2255–2274 (2008)
Colombo, F., Sabadini, I., Sommen, F.: The Fueter mapping theorem in integral form and the F-functional calculus. Math. Methods Appl. Sci. 33, 2050–2066 (2010)
Colombo, F., Sabadini, I., Struppa, D.C.: Noncommutative Functional Calculus. Theory and Applications of Slice Hyperholomorphic Functions, Progress in Mathematics, vol. 289. Birkhäuser/Springer, Basel (2011)
Colombo, F., Gantner, J., Kimsey, D.P.: Spectral Theory on the \(S\)-spectrum for Quaternionic Operators, Operator Theory: Advances and Applications, vol. 274. Birkhäuser/Springer, Cham (2018)
Colombo, F., Deniz-Gonzales, D., Pinton, S.: Fractional powers of vector operators with first order boundary conditions. J. Geom. Phys. 151, 103618 (2020)
Colombo, F., Sabadini, I., Struppa, D.C.: Michele Sce’s Works in Hypercomplex Analysis. A Translation with Commentaries. Birkhäuser/Springer, Basel (2020)
Colombo, F., Deniz-Gonzales, D., Pinton, S.: Non commutative fractional Fourier law in bounded and unbounded domains. Complex Anal. Oper. Theory 15, Paper No. 114 (2021)
Colombo, F., De Martino, A., Pinton, S., Sabadini, I.: The fine structure of the spectral theory on the \(S\)-spectrum in dimension five (2022)
Common, A.K., Sommen, F.: Axial monogenic functions from holomorphic functions. J. Math. Anal. Appl. 179, 610–629 (1993)
De Martino, A., Pinton, S.: A polynalytic functional calculus of order 2 on the \(S\)-spectrum (to appear in Proc. Amer. Math. Soc.) arXiv:2207.09125
Diki, K., Krausshar, R.S., Sabadini, I.: On the Bargmann–Fock–Fueter and Bergman–Fueter integral transforms. J. Math. Phys. 60, 083506 (2019)
Fueter, R.: Die Funktionentheorie der Differentialgleichungen \(\Delta u = 0\) und \(\Delta \Delta u = 0\) mit vier reellen Variablen. Commun. Math. Helv. 7, 307–330 (1934)
Jefferies, B.: Spectral Properties of Noncommuting Operators. Lecture Notes in Mathematics, vol. 1843. Springer, Berlin (2004)
Jefferies, B., McIntosh, A., Picton-Warlow, J.: The monogenic functional calculus. Studia Math. 136, 99–119 (1999)
McIntosh, A., Pryde, A.: A functional calculus for several commuting operators. Indiana Univ. Math. J. 36, 421–439 (1987)
Pena-Pena, D.: Cauchy Kowalevski extensions, Fueter’s theorems and boundary values of special systems in Clifford analysis, PhD Dissertation, Gent (2008)
Qian, T.: Generalization of Fueters result to \({\mathbb{R} }^{n+1}\). Rend. Mat. Acc. Lincei 9, 111–117 (1997)
Qian, T., Li, P.: Singular Integrals and Fourier Theory on Lipschitz Boundaries. Science Press, Beijing (2019)
Sce, M.: Osservazioni sulle serie di potenze nei moduli quadratici, Atti Accad. Naz. Lincei. Rend. CI. Sci. Fis. Mat. Nat. 23, 220–225 (1957)
Sommen, F.: Plane elliptic systems and monogenic functions in symmetric domains. Rend. Circ. Mat. Palermo 6, 259–269 (1984)
Sommen, F.: Special functions in Clifford analysis and axial symmetry. J. Math. Anal. Appl. 130(1), 110–133 (1988)
Acknowledgements
The authors are grateful to the anonymous referees for their useful comments on the paper.
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Colombo, F., De Martino, A., Pinton, S. et al. Axially Harmonic Functions and the Harmonic Functional Calculus on the S-spectrum. J Geom Anal 33, 2 (2023). https://doi.org/10.1007/s12220-022-01062-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-022-01062-3
Keywords
- Harmonic analysis
- S-spectrum
- Integral representation of axially harmonic functions
- Harmonic functional calculus
- Resolvent equation
- Riesz projectors
- F-functional calculus