Abstract
Let \({\mathcal {H}}\) be an oriented three-dimensional manifold and \({\mathbb {H}}_+={\mathbb {R}}_+\oplus {\mathcal {H}}\). The author introduces non-abelian vector valued Fourier transforms on \({\mathcal {H}}\) and Poisson integrals on \({\mathbb {H}}_+\). Through the boundary behaviour of Poisson integral, the author obtains the characterization of conjugate harmonic functions of Fueter type via Riesz transforms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The quaternion algebra is a four dimensional associative algebra over \({\mathbb {R}}\) with generators \(1,\,e_1,\,e_2,\,e_3\) satisfying \(e_1^2=e_2^2=e_3^2=-1\), \(e_1e_2=-e_2e_1=e_3\), \(e_2e_3=-e_3e_2=e_1\) and \(e_3e_1=-e_1e_3=e_2\) (see [1, 2, 4, 6, 10, 27] and the references given there). In what follows, we always denote the quaternion algebra by \({\mathbb {H}}\). For any \(q\in {\mathbb {H}}\), it can be written as these linear combinations of \(1,\,e_1,\,e_2\) and \(e_3\), namely, \(q =x_0+x_1e_1+x_2e_2+x_3e_3\), where \(x_0,\,x_1,\,x_2,\,x_3\in {\mathbb {R}}\).
Our purpose is to deal with the following respects:
1.1 Quaternion Upper Half Planes
(1.1.a) Suppose the involution of \({\mathbb {H}}\) is
The quaternion upper half plane is given by
The group of linear fractional transformations on \(\widetilde{{\mathbb {H}}}_+\) is given by
The upper half plane \(\widetilde{{\mathbb {H}}}_+\) as in (1.1) has been studied since 1980’s, revealing connections with geometric, the theory of numbers, harmonic analysis and PDE. The geometric properties of \(\widetilde{{\mathbb {H}}}_+\) were studied by Kähler [15]. Gritsenko [12, 13] made a detailed investigation about the theory of numbers in \(\widetilde{{\mathbb {H}}}_+\), and in a more general context in [17]. For a deeper discussion of harmonic analysis and PDE on \(\widetilde{{\mathbb {H}}}_+\) is due to Lax and Phillips [18,19,20,21].
(1.1.b) In [27, p. 201], Sudbery introduced the vector space \({\mathbb {R}}\oplus {\mathcal {H}}\), where \({\mathcal {H}}\) denotes an oriented three-dimensional manifold. Suppose the involution of \({\mathbb {H}}\) is
Narita [23, p. 641] considered the following form upper half plane
The group of linear fractional transformations on \({\mathbb {H}}_+\) is defined by
Comparing (1.1.a) with (1.1.b), we find that there’s a big difference between the Lie groups S and Q. Notice that \({\mathcal {H}}\) is the boundary of \({\mathbb {H}}_+\), where \({\mathbb {H}}_+\) is as in (1.2). Because \({\mathcal {H}}\) has a simple structure, thus it is easy to establish some analysis theories. The choice of \({\mathbb {H}}_+\) seems to be the best adapted to our theory. In this paper, we are trying to follow the classical harmonic analysis of Stein and Weiss [26] into the oriented three-dimensional manifold \({\mathcal {H}}\).
1.2 Fourier Transforms
We shall consider the Fourier transforms on \({\mathcal {H}}\). Let N be the nilpotent subgroup of Q as in (1.1.b). Since \(N\simeq {\mathcal {H}}\), the definitions of left and right Fourier transforms are unambiguous. The Fourier transforms are described by Kirillov’s orbit method [16] and Vergne’s polarizing subalgebra [28]. Motivated by [25], we also obtain the Plancherel theorem adapted to these Fourier transforms. The Plancherel theorem will turn to be important for Riesz transform.
1.3 Fueter Conjugates Harmonic Functions and Cimmino Systems
The investigation was mainly aimed at constructing Fueter conjugates harmonic functions. This construction was motivated by [24]. In order to obtain these functions, we recall the notions of two systems as follows:
(1.3.a) A \({\mathbb {R}}\)-differentiable function \(F=F_0+e_1F_1+e_2F_2+e_3F_3\) is Fueter left regular at the neighborhood U of \(q\in {\mathbb {H}}\) if and only if \(F_j\) for \(j=0,\,1,\,2,\,3\) are differentiable functions and
This is so-called Cauchy–Riemann–Fueter equations (see [9] or [27, Proposition 3]).
(1.3.b) For \(x=(x_1,\,x_2,\,x_3)\in {\mathbb {R}}^3\) and \(\nu (x)\in {\mathcal {H}}\), we consider the function F as in (1.3)
Function F is a left Fueter conjugate harmonic function, if \((F_0,\,F_1,\,F_2,\,F_3)\) satisfy the first order linear partial differential equations:
This is so-called left Cilmmino systems (see, for example, [3, 5, 8]).
By (1.3.a) and (1.3.b), we introduce Poisson integral (see Sect. 3). Through the boundary behaviour of Poisson integral (see Proposition 3.10 below), we obtain the characterization of Fueter conjugates harmonic functions via Riesz transforms (see Theorem 3.11 below). Then Riesz transform provides a necessary and sufficient condition for Fueter conjugate harmonic functions, where these functions satisfy left (and right, resp.) Cimmino systems.
Main results and structure of this paper The paper starts with Sect. 2, which contains the needed preliminaries. In particular, for a nilpotent Lie group N, we introduce left and right Fourier transforms. Section 3 contains a detailed study of set of characterization of the Poisson integral. Then the Fueter conjugate harmonic systems of functions are obtained via Riesz transforms. We can now formulate our main results. For any \(x_0>0\) and any \(\nu (x)\in {\mathcal {H}}\), let \(x_0+\nu (x)\in {\mathbb {H}}_+\), left and right Fueter conjugate harmonic functions \(F_L(x_0+\nu (x))\) and \(F_R(x_0+\nu (x))\), respectively, are given by, for any \(f\in L^2({\mathbb {R}}^3)\),
and
where
2 Harmonic Analysis on \({\mathcal {H}}\)
Let \(q =x_0+x_1e_1+x_2e_2+x_3e_3\in {\mathbb {H}}\), where \(x_0,\,x_1,\,x_2\) and \(x_3\in {\mathbb {R}}\). The involution of q is defined by \(q^\star :=x_0-x_1e_1-x_2e_2-x_3e_3.\) The Euclidean norm on \({\mathbb {H}}\) can be expressed in terms of this involution by \(|q|^2=q q^\star =x_0^2+x_1^2+x_2^2+x_3^2.\) As usual, for \(q=x_0+x_1e_1+x_2e_2+x_3e_3\) and \(p=y_0+y_1e_1+y_2e_2+y_3e_3\), we denote the product of two elements of \({\mathbb {H}}\) by
where
and
Define a Lie algebra \({\mathfrak {g}}\) by
where \(M_2({\mathbb {H}})\) is a quaternion \(2\times 2\)-matrix and \(\mathbf {0}\) denotes a zero \(2\times 2\)-matrix. Let \(\tau \) be the Cantan involution of \({\mathfrak {g}}\) defined by \(\tau (X)=-^{t}X^\star \in {\mathfrak {g}}\), where \(X\in {\mathfrak {g}}\). Then the Cartan decomposition is given by \({\mathfrak {g}}={\mathfrak {k}}\oplus {\mathfrak {p}}\), where \({\mathfrak {k}}=\{X\in {\mathfrak {g}}:\ \tau (X)=X\}\) and \({\mathfrak {p}}=\{X\in {\mathfrak {g}}:\ \tau (X)=-X\}\). Let \(\exp ({\mathfrak {g}})=Sp(1,\,1)\) and \(Sp^*(1)=\{p\in {\mathbb {H}}:p p^\star =1\}\). From [23, p. 641], it follows that the symmetric space \(Sp(1,\,1)/Sp^*(1)\times Sp^*(1)\) can be realized as the quaternion upper half plane:
The group \(Sp(1,\,1)\) acts transitively on \({\mathbb {H}}_+\) by \(g\cdot p=\frac{a_1p+b_1}{a_2p+b_2}\), where \(g=\left( \begin{array}{cc} a_1 &{} b_1 \\ a_2 &{} b_2 \\ \end{array} \right) \in Sp(1,\,1) \); see, for example, [12, 13]. In order to describe the Iwasawa decomposition of \({\mathfrak {g}}\), we need the restricted root of \({\mathfrak {g}}\), which is of \(C_1\)-type. Let \(H:=\mathrm {diag}(1,\,-1)\). Then \({\mathfrak {a}}:={\mathbb {R}}H\) forms a maximal abelian subalgebra of \({\mathfrak {p}}\). Let \(\alpha \) be the element in \({\mathfrak {a}}^*\) such that \(\alpha (H)=1\). The root system \(\Delta ({\mathfrak {a}},\,{\mathfrak {g}})\) of \(({\mathfrak {g}},\,{\mathfrak {a}})\) is then given as \(\{\pm 2\alpha \}\) and the positive root spaces are
Write \({\mathfrak {n}}={\mathfrak {g}}_{2\alpha }\). We see at once that
By this, we obtain the Iwasawa decomposition \({\mathfrak {g}}={\mathfrak {n}}\oplus {\mathfrak {a}}\oplus {\mathfrak {k}}\). Let
The subgroup N can be realized as:
Suppose \(\{e_1{,}\,e_2{,}\,e_3\}\) now is an orientation of \({\mathcal {H}}\), that is, \({\mathcal {H}}{:=}({\mathcal {H}}{,}\,\{e_1{,}\,e_2{,}\,e_3\})\) is an oriented vector space. Motivated by [11, p. 9], a normal oriented map \(\nu \) from \({\mathbb {R}}^3\) to \({\mathcal {H}}\) can be defined as
The following definition implies that the between vector spaces \({\mathcal {H}}\) and \({\mathbb {R}}^3\) are isomorphism (see [14] for more details).
Definition 2.1
The pair \(({\mathcal {H}},\, |\nu (\cdot )|)\) is said to be an oriented 3-dimensional manifold for \(({\mathbb {R}}^3,\, |\cdot |)\), where \(|\cdot |\) denotes the usual Euclidean norm in \({\mathbb {R}}^3\), when
-
(i)
\({\mathcal {H}}\) is generated as a vector space by \(\{\nu (x):\ x\in {\mathbb {R}}^3\}\);
-
(ii)
\(|\nu (x)|^2=|x|^2\) for any \(x\in {\mathbb {R}}^3\).
Definition 2.2
Let \(({\mathcal {H}},\,|\nu (\cdot )|)\) be as in Definition 2.1. Then, for any \(\nu (x)\in {\mathcal {H}}\), the volume element on \({\mathcal {H}}\) (the invariant measure of N) is defined by \(d\nu (x)=dx_1\wedge dx_2\wedge dx_3.\)
Remark 2.3
For the general case, we define the oriented map \(\nu \) from \({\mathbb {R}}^3\) to \({\mathcal {H}}\) by
Define a positive chart of \(({\mathcal {H}},\,|\nu (\cdot )|)\) by \((\phi ,\,U)\), where U is an open subset of \({\mathcal {H}}\) and \(\phi \) is \(C^\infty \) diffeomorphism maps from U to \(\phi (U)\subset {\mathbb {R}}^3\). Let \((\phi ,\,U)\) be a positive chart with \(\phi =(x^1,\,x^2,\,x^3)\). Then, for any \(p=\sum _{j=1}^3x^je_j\in {\mathcal {H}}\), the volume element on \({\mathcal {H}}\) is defined by \(dp\big |_U=\sqrt{M}\,dx^1\wedge dx^2\wedge dx^3,\) where \(M:=\det [m_{st}]_{1\le s,\,t\le 3}\in C^\infty (U)\) denotes the Gram determinant and \(m_{st}\) is an Euclidean inner product given by \(m_{st}(p):=\mathrm {tr}(\partial _s\big |_p,\,\partial _t\big |_p), \) for \(1\le s,\,t\le 3\) and \(p\in U\). We only restrict our the discussion
In this case, we have \(M=1\) and dp is as in Definition 2.2.
Definition 2.4
Mapping \(f:\ {\mathcal {H}}\rightarrow {\mathbb {H}}\) is a quaternion-valued function of the form, for any \(x\in {\mathbb {R}}^3\),
where \(\nu (x)\in {\mathcal {H}}\) is as in (2.3), and the component functions \(f_0,\,f_j\) are real-valued functions.
Together with Definition 2.2 and (2.4), we introduce the Lebesgue spaces \(L^2({\mathcal {H}},\,{\mathbb {H}})\). For a similar definition we refer the reader to [22, p. 174]. A quaternionic valued function f belongs to \(L^2({\mathcal {H}},\,{\mathbb {H}})\) if
where \(f_j\in L^3({\mathbb {R}}^3)\) for each \(j\in \{0,\,1,\,2,\,3\}\). The space \(L^2({\mathcal {H}},\,{\mathbb {H}})\) is a Hilbert space with inner product
Moveover, for any \(\nu (\xi )\in {\mathcal {H}}\) and any f in \(L^2({\mathcal {H}},\,{\mathbb {H}})\), we define the left and right Fourier transforms by
and
For that same definitions will be applied by the left and right inverse Fourier transforms, the details being omitted.
Remark 2.5
-
(i)
Because of the non-commutativity of quaternions, the left Fourier transform is unequal to right Fourier transform as in (2.5) and (2.6), namely,
$$\begin{aligned} e^{-i\nu (\xi )\nu (x)^\star }f(\nu (x))\ne f(\nu (x))e^{-i\nu (\xi )\nu (x)^\star }. \end{aligned}$$ -
(ii)
Moveover, these Fourier transforms (2.5) and (2.6) are described by Kirillov’s orbit method (see [7, 16] for more details). For the sake of argument, that it is necessary to have the details. Let \({\mathfrak {n}}\) be as in (2.1). We note that \([X,\,X]=0\) for any \(X\in {\mathfrak {n}}\), then \({\mathfrak {n}}\) is abelian. Denote the dual of \({\mathfrak {n}}\) by \({\mathfrak {n}}^*\). It is easy to see that \({\mathfrak {n}}^*={\mathfrak {n}}\). Let N be as in (2.2). The product of elements of N are given by \(n(x)n(y)=n(x+y)\), where \(n(x),\,n(y)\in N\). Then N also is abelian. N acts on \({\mathfrak {n}}^*\) the coadjoint map \(\mathrm {Ad}^*\), namely, for any \(X\in {\mathfrak {n}}\), \(\ell \in {\mathfrak {n}}^*\) and \(n(x)\in N\), \(((\mathrm {Ad}^*n(x))\ell )(X)=\ell ((\mathrm {Ad}n(x)^{-1})X)\). Similar to the construction of [28], we also have the Vergne polarizing subalgebra by \({\mathfrak {n}}\). In fact, for any \(n(x)\in N\) and \(X\in {\mathfrak {n}}\), we obtain
$$\begin{aligned} \left( \mathrm {Ad}(n(x))^{-1}\right) X=\left( \begin{array}{cc} 1 &{} -n(x) \\ 0 &{}\ 1 \\ \end{array} \right) X\left( \begin{array}{cc} 1 &{}\ n(x) \\ 0 &{}\ 1 \\ \end{array} \right) =X. \end{aligned}$$One see that \(R_\ell =\{n(x)\in N:\ (\mathrm {Ad}^*(n(x)))\ell =\ell \}\) is a stabilizer of N associated with \(\ell \in {\mathfrak {n}}^*\). For any \(\ell \in {\mathfrak {n}}^*\), by using [7, Lemma 1.3.1], we have \(N=R_\ell \), which implies that the Vergne polarizing subalgebra must be \({\mathfrak {n}}\). For some \(\xi \in {\mathfrak {n}}^*\) and any \(X\in {\mathfrak {n}}\), we let \(\ell _\xi \in {\mathfrak {n}}^*\) satisfy \(\ell _\xi (X)=\xi X^\star .\) Then we have a one-dimensional representation \(N\rightarrow {\mathbb {S}}^1\) (since \(\ell [{\mathfrak {n}},\,{\mathfrak {n}}]=0\)) defined as \(e^{i\ell _\xi (x)}\in \{z\in {\mathbb {C}}:z\cdot {\bar{z}}=1\}.\) Notice that \(\mathrm {Ad}^*\) is the identity map for all \(n(x)\in N\), \({\mathfrak {n}}^*/\mathrm {Ad}^*(N)={\mathcal {H}}\). Furthermore, let \({\widehat{N}}\) be the dual of N. From [16, Theorems 5.1 and 5.2], it follows that there is a bijection such that \({\widehat{N}}\simeq \{\ell _\xi :\ \xi \in {\mathcal {H}}\}.\) Hence, for any \(\eta _\xi \in {\widehat{N}}\), we get the characters \(e^{i\ell _\xi (\cdot )}\). By using Remark 2.5(i), we obtain Fourier transforms of the classical function f as in (2.5) and (2.6), respectively.
The following Plancherel theorem is just [25], which is a slight modification.
Theorem 2.6
For any \(f\in L^2({\mathcal {H}},\,{\mathbb {H}})\), we have
The same is true of right Fourier transform.
3 Main Results
First, we recall the concepts of \({\mathbb {R}}\)-linear, \({\mathbb {R}}\)-differentiable and Fueter regular function.
Definition 3.1
A function \(\ell :\ {\mathbb {H}}\rightarrow {\mathbb {H}}\) is said to be \({\mathbb {R}}\)-linear if:
-
(i)
\(\ell (q+p)=\ell (q)+\ell (p)\) for all \(q,\,p\in {\mathbb {H}}\);
-
(ii)
\(\ell (\lambda q)=\lambda \ell (q)\) for all \(q\in {\mathbb {H}}\) and all \(\lambda \in {\mathbb {R}}\).
Any \({\mathbb {R}}\)-linear function in \({\mathbb {H}}\) has the form
Definition 3.2
A function \(F:\ U\rightarrow {\mathbb {H}}\), where U is a neighborhood of \(q\in {\mathbb {H}}\), is said to be \({\mathbb {R}}\)-differentiable at q if
where \(\ell \) is as in Definition 3.1 and \(o(h)/|h|\rightarrow 0\) as \(h\rightarrow 0\).
The following Cauchy–Riemann–Fueter condition is just [27, Proposition 3].
Definition 3.3
Let \(q=x_0+x_1e_1+x_2e_2+x_3e_3\in {\mathbb {H}}\), where \(x_0,\,x_1,\,x_2,\,x_3\in {\mathbb {R}}\). A \({\mathbb {R}}\)-differentiable function \(F=F_0+e_1F_1+e_2F_2+e_3F_3\) is Fueter left or right regular at the neighborhood U of q if and only if \(F_j\) for \(j=0,\,1,\,2,\,3\) are differentiable functions and
Definition 3.4
A Hilbert space \(H^2({\mathbb {H}}_+,\,{\mathbb {H}})\) is said to be Hardy space if it is the set of all Fueter left (or right) regular functions F satisfying
Another approach aries from the observation that a function, for \(x\in {\mathbb {R}}^3\) and \(\nu (x)\in {\mathcal {H}}\),
and
are Fueter type left and right conjugate harmonic functions, respectively, if F satisfies left and right Cilmmino systems (see [3] for more details). The left and right Cilmmino systems, respectively, are given by
Moveover, we also assume that there exists a positive constant C such that
Thus, an equivalent formulation of the spaces \(H^2({\mathbb {H}}_+,\,{\mathbb {H}})\) as in Definition 3.4 is obtained.
Definition 3.5
Let \(f\in L^2({\mathcal {H}},\,{\mathbb {H}})\). For any \(x_0>0\), \(x\in {\mathbb {R}}^3\) and \(\nu (x)\in {\mathcal {H}}\), the Poisson integral of f is defined by,
Remark 3.6
-
(i)
By Definition 2.1(ii), for any \(x_0>0\), \(x\in {\mathbb {R}}^3\) and \(\nu (x)\in {\mathcal {H}}\), we have
$$\begin{aligned} P_{x_0}\left( \nu (x)\right) =\frac{2^{3/2}}{\sqrt{\pi }}\frac{x_0}{(x_0^2+|\nu (x)|^2)^2}=\frac{2^{3/2}}{\sqrt{\pi }} \frac{x_0}{(x_0^2+|x|^2)^2}=P_{x_0}\left( x\right) . \end{aligned}$$Moveover, it is easy to check that
$$\begin{aligned} \widehat{e^{-x_0|\cdot |}}(x)=\frac{2^{3/2}}{\sqrt{\pi }}\frac{x_0}{(x_0^2+|x|^2)^2}=P_{x_0}(x), \end{aligned}$$where \({\widehat{\cdot }}\) is the classical Fourier transform. Then
$$\begin{aligned} \widehat{e^{-x_0|\cdot |}}(x)={\mathscr {F}}_L(e^{-x_0|\nu (\cdot )|})(\nu (x)) ={\mathscr {F}}_R(e^{-x_0|\nu (\cdot )|})(\nu (x)), \end{aligned}$$where \({\mathscr {F}}_L\) and \({\mathscr {F}}_R\) denote as in (2.5) and (2.6), respectively.
-
(ii)
The study of Cauchy–Fueter formulae was initiated by the celebrated paper of Fueter in 1934 (see [9] or [27] for the definition of Cauchy–Fueter formulae), which is a generalization of the classical Cauchy formula for holomorphic functions. Because of the non-commutativity of quaternions, the Cauchy–Fueter formulae comes in two versions, one for each analogue of the complex holomorphic functions. For any \(q\in {\mathbb {H}}\), the Cauchy–Fueter kernel is given by
$$\begin{aligned} K(q)=\frac{1}{2{\pi }^2}\frac{q^\star }{|q|^4}. \end{aligned}$$(3.3)The Cauchy–Fueter integral on \({\mathbb {H}}_+\) is defined by, for any \(q\in {\mathbb {H}}_+\), F is Fueter left or right regular function on \({\mathbb {H}}_+\) and f is a quaternion-valued function square integral function on \({\mathcal {H}}\),
$$\begin{aligned} \qquad F_L(q)=\int _{{\mathcal {H}}}K(q-p)f(p)dp\quad \mathrm {and}\quad F_R(q)=\int _{{\mathcal {H}}}f(p)K(q-p)dp, \end{aligned}$$(3.4)where \(K(\cdot )\) is as in (3.3). Here we remark that it may be found other weaker boundary condition than \(L^2({\mathcal {H}},\,{\mathbb {H}})\). In this paper, we only consider the boundary condition as in (3.4) for function \(f\in L^2({\mathcal {H}},\,{\mathbb {H}})\). Let \(x_0>0\), \(\nu (x)\in {\mathcal {H}}\) and \(q=x_0+\nu (x)\in {\mathbb {H}}_+\). Then, by (3.3), we obtain
$$\begin{aligned} K(q)=\frac{1}{2{\pi }^2} \frac{x_0}{|q|^4}-\frac{1}{2{\pi }^2} \frac{ \nu (x)}{|q|^4}, \end{aligned}$$which, together with (3.4) and the left convolution
$$\begin{aligned} f*_{L} g(p)=\int _{{\mathcal {H}}}f(p-p')g(p')\,dp'\ \ \mathrm {for\ all}\ p\in {\mathcal {H}}, \end{aligned}$$implies that
$$\begin{aligned} F_L(q)=\frac{1}{2{\pi }^2}\int _{{\mathcal {H}}}\frac{q^\star -p^\star }{|q-p|^4}f(p)dp =cP_{x_0}*_L f\left( \nu (x)\right) +cQ_{x_0}*_L f\left( \nu (x)\right) , \end{aligned}$$where \(c\equiv \frac{1}{2(2\pi )^{3/2}}\),
$$\begin{aligned} P_{x_0}\left( \nu (x)\right) =\frac{2^{3/2}}{\sqrt{\pi }}\frac{x_0}{(x_0^2+|\nu (x)|^2)^2}\ \ \mathrm {and}\ \ Q_{x_0}\left( \nu (x)\right) =\frac{2^{3/2}}{\sqrt{\pi }}\frac{\nu (x)}{(x_0^2+|\nu (x)|^2)^2}. \end{aligned}$$Similarly, we also consider the right situation as in (3.4), the details being omitted.
Proposition 3.7
Let F be as in (3.2). Then, for any \(f\in L^2({\mathcal {H}},\,{\mathbb {H}})\),
Proof
We only need to show that
By using (2.4), we have \(f(\nu (x))=f_0(x)+\sum _{j=1}^3f_j(x)e_j\) and
which, together with \(f_j\in L^2({\mathbb {R}}^3)\) and
implies that (3.5) holds. Moveover, we note that (3.6) holds in the sense of \(L^2\)-Lebesgue points, and hence (3.5) also holds almost everywhere on \({\mathcal {H}}\). \(\square \)
Let \(Q_{x_0}(\nu (x))\) be as in Remark 3.6(ii). Then, as \(x_0\rightarrow 0_+\), we have the following definition:
Definition 3.8
For any \(x=(x_1,\,x_2,\,x_3)\in {\mathbb {R}}^3\), let
where, for \(j\in \{1,\,2,\,3\}\),
Then the Riesz transform \({\mathscr {R}}(g)\) is defined by, for the real-valued function \(g\in L^2({\mathbb {R}}^3)\),
This integral exists in the sense of Cauchy principal value.
Lemma 3.9
Let K be as in (3.7). Then, for \(\nu (\xi )\in {\mathcal {H}}\),
and
hold in the sense of the distribution of principal value.
Proof
For \(j\in \{1,\,2,\,3\}\), we let \(K_j\) be as in (3.8). Similar to the proof of [26, Theorem 2.6, Chapter VI], we have
where \({\widehat{\cdot }}\) denotes the classical Fourier transform in the sense of the distribution of principal value. From this and (3.7), it follows that
where \({\mathscr {F}}_L\) is as in (2.5). And hence (3.10) holds. Similarly, we see that (3.11) holds. \(\square \)
Proposition 3.10
Let \({\mathscr {R}}\) be as in (3.9). Then, for any \(g\in L^2({\mathbb {R}}^3)\),
Proof
For any \(g\in L^2({\mathbb {R}}^3)\), by using (3.9), (3.10) and (3.11), we obtain
From this and Theorem 2.6, it follows that \(\Vert {\mathscr {R}}(g)\Vert _{L^2({\mathbb {R}}^3)}=\Vert g\Vert _{L^2({\mathbb {R}}^3)}.\)\(\square \)
Theorem 3.11
Let \(f=f_0+\sum _{j=1}^3 f_je_j\), where \(f_0,\,f_1,\,f_2\) and \(f_3\in L^2({\mathbb {R}}^3)\). Suppose F is the Poisson integral of f as in (3.2). Then F is a Fueter conjugate harmonic function in \({\mathbb {H}}_+\) if and only if, for any \(x\in {\mathbb {R}}^3\),
where \({\mathscr {R}}\) is as in (3.9).
Proof Let \(f_0\in L^2({\mathbb {R}}^3)\). Then, by using Remark 3.6(i), for any \(x_0>0\), we have
For \(j\in \{1,\,2,\,3\}\), by (3.7), (3.8), (3.9) and (3.12), we see that
where \(c=\frac{(2\pi )^{3/2}}{\pi ^2}\). From this, (3.13) and \(e_j^2=-1\), it follows that,
which, together with (3.1), implies that \((F_0,\,F_1,\,F_2,\,F_3)\) satisfies the first equation of Cilmmino systems as in (3.1). We also discuss similarly to the second equation of Climmino systems as in (3.1), the details being ommited. Thus \(F=F_0+\sum _{j=1}^3F_j\) is a Fueter conjugate harmonic function.
Conversely, we let \((F_0,\,F_1,\,F_2,\,F_3)\) satisfy the first equation of Cilmmino systems (3.1) and (3.14). By this, (3.1) and the uniqueness of the classical Fourier transform, we obtain (3.12). This finishes the proof of Theorem 3.11.
References
Abreu Blaya, R., Bory Reyes, J., Guzmán Adán, A., Schneider, B.: Boundary value problems for the Cimmino system via quaternionic analysis. Appl. Math. Comput. 219, 3872–3881 (2012)
Abreu-Blaya, R., Bory-Reyes, J., Brackx, F., De Schepper, H., Sommen, F.: Matrix Cauchy and Hilbert transforms in Hermitian quaternionic Clifford analysis. Complex Var. Elliptic Equ. 58, 1057–1069 (2013)
Avetisyan, K.: Subharmonicity and a version of Riesz theorem on harmonic conjugates. Adv. Appl. Clifford Algebras 24, 909–919 (2014)
Bock, S.: A generalized monogenic exponential function in ${\mathbb{H}}$. Complex Var. Elliptic Equ. 64, 1881–1897 (2019)
Cimmino, G.: Su alcuni sistemi lineari omogenei di equazioni alle derivate parziali del primo ordine (Italian). Rend. Sem. Mat. Univ. Padova 12, 89–113 (1941)
Colombo, F., Gentili, G., Sabadini, I., Irene, S.: Extension results for slice regular functions of a quaternionic variable. Adv. Math. 222, 1793–1808 (2009)
Corwin, L., Greenleaf, F.: Representations of Nilpotent Lie Groups and Their Applications. Part I. Basic Theory and Examples. Cambridge Studies in Advanced Mathematics, vol. 18. Cambridge University Press, Cambridge (1990)
Dragomir, S., Lanconelli, E.: On first order linear PDE systems all of whose solutions are harmonic functions. Tsukuba J. Math. 30, 149–170 (2006)
Fueter, R.: Die Funktionentheorie der Differentialgleichungen $\triangle u=0$ und $\triangle \triangle u=0$ mit vier reellen Variablen. Comment. Math. Helv. 7, 307–330 (1934)
Gentili, G., Struppa, D.C.: A new approach to Cullen-regular functions of a quaternionic variable. C. R. Acad. Sci. Paris Ser. I(342), 741–744 (2006)
Gilbert, J., Murray, M.: Clifford Algebras and Dirac Operators in Harmonic Analysis. Cambridge Studies in Advanced Mathematics, vol. 26. Cambridge University Press, Cambridge (1991)
Gritsenko, V.A.: The zeta function of degree six for Hermitian modular forms of genus $2$. J. Soviet Math. 43, 2540–2553 (1988)
Gritsenko, V.A.: Arithmetic of quaternions and Eisenstein series. J. Soviet Math. 52, 3056–3063 (1990)
Hempel J.: 3-Manifolds. Ann. of Math. Studies, vol. 86. Princeton University Press, Princeton; University of Tokyo Press, Tokyo (1976)
Kähler, E.: Die Poincaré-Gruppe. Rend. Sem. Mat. Fis. Milano. 53, 359–390 (1983)
Kirillov, A.A.: Unitary representations of nilpotent Lie groups (Russian). Uspehi Mat. Nauk. 17, 57–110 (1962)
Krieg, A.: Eisenstein-series on the four-dimensional hyperbolic space. J. Number Theory 30, 177–197 (1988)
Lax, P., Phillips, R.: Translation representations for the solution of the non-Euclidean wave equation. Commun. Pure Appl. Math. 32, 617–667 (1979)
Lax, P., Phillips, R.: Translation representation for automorphic solutions of the wave equation in non-Euclidean spaces. I. Commun. Pure Appl. Math. 37, 303–328 (1984)
Lax, P., Phillips, R.: Translation representations for automorphic solutions of the wave equation in non-Euclidean spaces. II. Commun. Pure Appl. Math. 37, 779–813 (1984)
Lax, P., Phillips, R.: Translation representations for automorphic solutions of the wave equation in non-Euclidean spaces. III. Commun. Pure Appl. Math. 38, 179–207 (1985)
Morais, J.: Computational aspects of the continuum quaternionic wave functions for hydrogen. Ann. Phys. 349, 171–188 (2014)
Narita, H.: Fourier–Jacobi expansion of automorphic forms on $Sp(1,\, q)$ generating quaternionic discrete series. J. Funct. Anal. 239, 638–682 (2006)
Nolder, C.: Conjugate harmonic functions and Clifford algebras. J. Math. Anal. Appl. 302, 137–142 (2005)
Scarfiello, R.: Sur le changement de variables dans les distributions et leurs transformées de Fourier (French). Nuovo Cimento 12(9), 471–482 (1954)
Stein, E. M., Weiss, G.: Introduction to Fourier Analysis on Euclidean Spaces. Princeton Mathematical Series, vol. 32. Princeton University Press, Princeton (1971)
Sudbery, A.: Quaternionic analysis. Math. Proc. Camb. Philos. Soc. 85, 199–224 (1979)
Vergne, M.: Construction de sous-algèbres subordonnées à un élément du dual d’une algèbre de Lie résoluble (French). C. R. Acad. Sci. Paris Sér. A–B 270, A173–A175 (1970)
Acknowledgements
The author would like to express his deep thanks to the referees for their very careful reading and useful comments which do improve the presentation of this article. This work was partially supported by the Natural Science Foundation of Xinjiang Urgur Autonomous Region (Grants Nos. 2019D01C049, 62008031 and 042312023).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Wolfgang Sprössig
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by the Natural Science Foundation of Xinjiang Urgur Autonomous Region (Grants Nos. 2019D01C049, 62008031 and 042312023).
Rights and permissions
About this article
Cite this article
Fan, X. Conjugate Harmonic Functions of Fueter Type. Adv. Appl. Clifford Algebras 30, 32 (2020). https://doi.org/10.1007/s00006-020-01057-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00006-020-01057-9