 Research
 Open access
 Published:
RiemannHilbert problems for monogenic functions in axially symmetric domains
Boundary Value Problems volume 2016, Article number: 22 (2016)
Abstract
We consider RiemannHilbert boundary value problems (for short RHBVPs) with variable coefficients for axially symmetric monogenic functions defined in axial symmetric domains. This is done by constructing a method to reduce the RHBVPs for axially symmetric monogenic functions defined in fourdimensional axial symmetric domains into the RHBVPs for analytic functions defined over the complex plane. Then we derive solutions to the corresponding Schwarz problem. Finally, we generalize the results obtained to nullsolutions of \((\mathcal{D}\alpha)\phi=0\), \(\alpha\in\mathbb{R}\), where \(\mathbb{R}\) denotes the field of real numbers.
1 Introduction
The classic theory of RiemannHilbert boundary value problems (for short RHBVPs) for analytic functions is closely connected with the theory of singular integral equations and has a wide range of applications in other fields, such as the theory of elasticity, quantum mechanics, statistical physics, the theory of orthogonal polynomials, and asymptotic analysis (cf. [1–7]). Over the years this type of boundary value problems has been systematically investigated by many authors, e.g., [1–4, 8–10]. Therefore, it is natural to attempt to generalize this type of boundary value problem to higher dimensions. This will be not only a purely theoretical question, since such problems are closely linked to the physical applications like transport problems or problems in hydrodynamic mechanics.
To our knowledge, there are two principal ways to generalize complex analysis to higher dimensions, the theory of several complex variables and Clifford analysis. The latter, in particular quaternionic analysis, is the theory of socalled monogenic functions and a refinement of real harmonic analysis in the sense that the principal operator in Clifford analysis, the Dirac or generalized CauchyRiemann operator, factorizes the higher Laplace operator. As principal references for this theory we mention [11–14]. Furthermore, in the context of Clifford analysis RHBVPs, particularly Riemann boundary value problems, with constant coefficients were widely discussed; see, e.g., [15–22]. Here, a direct application of the properties of the Cauchy integral operator and existing power series expansions allows one to represent the solution in terms of integral operators and Taylor series expansions. This kind of Riemann boundary value problems is also closely connected with other types of boundary value problems for different partial differential equations in higher dimensions; see, e.g., [23–26]. However, there are almost no results with respect to RHBVPs with variable coefficients even after more than 30 years of research in this direction. The obstacles lie in the following facts: while monogenic functions retain many of the properties of analytic function, there are two drawbacks. First, the product of monogenic functions is in general not monogenic and second the composition of monogenic is in general not monogenic. While the latter property is not so important for our problem at hand the former is a major problem. Moreover, even in the simplest case of quaternionic analysis, we have several major problems, such as the lack of a function which has the same properties as the logarithmic function of one complex variable. These make it very difficult to solve RHBVPs with variable coefficients for monogenic functions in higher dimensions by directly employing classic methods from complex analysis. But, as a particular interesting case, it was first introduced by Fueter in the case of quaternionic analysis in [11] that the product of monogenic functions of axial type is still a monogenic function of axial type, and later on this class was studied in detail by Sommen et al. (cf. [27, 28]). This makes this class more similar to the classic case of analytic functions in the plane and, therefore, if one wants to generalize any property or fact from complex analysis to quaternionic or Clifford analysis, the standard approach is to see if it can be done for axially monogenic functions. So, instead of trying to solve this problem directly, we are going to show that RHBVPs with variable coefficients for monogenic functions with axial symmetry can be solved in the context of quaternionic analysis. This represents an initial and very crucial step to solve RHBVPs for monogenic functions in the future.
Our idea is to transform a RHBVP with variable coefficients for monogenic functions with axial symmetry in \(\mathbb{R}^{4}\) into a RHBVP for analytic functions over the complex plane, use the classic results from complex analysis, and transfer it back. In this way we can obtain the solution in an explicit form. As a special case we present the solution to the Schwarz problem for monogenic functions with axial symmetry. Furthermore, we adapt the approach above and generalize to the case of nullsolutions to \((\mathcal{D}\alpha)\phi=0\), \(\alpha \in\mathbb{R}\), where \(\mathbb{R}\) denotes the field of real numbers (see Section 3.3). Here, the main contribution that we emphasize lies in constructing a way to solve a RHBVP with variable coefficients in fourdimensional spaces. Moreover, by using the possibility to decompose a monogenic functions into a sum of monogenic functions with axial symmetry, we plan to extend this idea to the case of RHBVPs with variable coefficients for monogenic functions.
The paper is organized as follows. In Section 2, we will recall the necessary facts about quaternion analysis. In Section 3, we will focus on RHBVPs with variable coefficients for monogenic functions with axial symmetry. We will derive the solution to the RHBVP with boundary data belonging to a Hölder space in terms of an integral representation. Moreover, we give the solutions to the Schwarz problem for monogenic functions and nullsolutions to \((\mathcal {D}\alpha)\phi=0\), \(\alpha\in\mathbb{R}\) with axial symmetry, where \(\mathbb{R}\) denotes the field of real numbers.
2 Preliminaries
Good introductions to Clifford algebras, Quaternions, and Clifford analysis can be found in [12–14, 26, 27].
Let \(\{e_{0}, e_{1},e_{2},e_{3}\}\) be the standard basis of \(\mathbb{H}\). These basic vectors satisfy
where δ denotes the Kronecker delta, and \(e_{0}=1\) denotes the identity element of the algebra of quaternions \(\mathbb{H}\). Thus \(\mathbb{H}\) is a real linear, associative, but noncommutative algebra.
An arbitrary \(x\in\mathbb{H}\) can be written as \(x=x_{0}+x_{1}e_{1}+x_{2}e_{2}+x_{3}e_{3} \triangleq x_{0}+\underline{x}\), where \(\operatorname{Sc}(x)\triangleq x_{0}\) and \(\operatorname{Vec}(x)\triangleq \underline{x}\) are the scalar and vector part of \(x\in\mathbb{H}\), respectively. Elements \(x\in\mathbb{R}^{4}\) can be identified with quaternions \(x\in\mathbb{H}\). The conjugation is defined by \(\bar{x}=\sum^{3}_{j=0}x_{j}\bar{e}_{j}\) with \(\bar{e}_{0}=e_{0}\) and \(\bar{e}_{j}=e_{j}\), \(j=1,2,3\), and hence, \(\overline{x y}=\bar{y}\bar{x}\). The algebra of quaternions possesses an inner product \((y,x)= \operatorname{Sc}(y\bar{x}) =(y\bar{x})_{0}\) for all \(x,y\in\mathbb{H}\).
The corresponding norm is \(x= (\sum^{3}_{j=0}x_{j}^{2})^{\frac{1}{2}} =\sqrt{(x,x)}\). Any element \(x\in\mathbb{H}\backslash\{0\}\) is invertible with inverse element \(x^{1}\triangleq\bar{x}x^{2}\), i.e., \(xx^{1}=x^{1}x=1\). Furthermore, we can introduce the set
where \(S^{2}=\{\underline{x}\subset\mathbb{R}^{3}:\underline {x}=1\}\).
In this paper we will consider the generalized CauchyRiemann operator \(\mathcal{D}=\sum^{3}_{j=0}e_{j}\partial_{x_{j}}\) in \(\mathbb{R}^{4}\). The generalized CauchyRiemann operator factorizes the Laplacian in the following sense: \(\overline{\mathcal{D}}\mathcal{D}=\sum^{3}_{j=0}\partial^{2}_{x_{j}} =\Delta\), where Δ denotes the Laplacian in \(\mathbb{R}^{4}\).
We also need to define axially symmetric open sets.
Definition 2.1
(Axially symmetric open set)
Let Ω be a nonempty open subset of \(\mathbb {R}^{4}\). We say that Ω is axially symmetric if for any \(x\in \Omega\), the subset \([x]\) is contained in \(\Omega\subset\mathbb{R}^{4}\).
Remark 1
The unit ball of \(\mathbb{R}^{4}\) and the upper half space \(\mathbb{R}^{4}_{+}=\{x\in\mathbb{R}^{4}x_{0}>0\}\) are examples of axially symmetric domains.
Let Ω be an axially symmetric domain of \(\mathbb{R}^{4}\) with smooth boundary ∂Ω. An \(\mathbb{H}\)valued function \(\phi= \sum_{j=0}^{3} \phi _{j}e_{j} \) is continuous, Hölder continuous, pintegrable, continuously differentiable and so on if all components \(\phi_{j}\) have that property. The corresponding function spaces, considered as either rightBanach or rightHilbert modules, are denoted by \(C(\Omega,\mathbb{H})\), \(H^{\mu}(\Omega,\mathbb{H})\) (\(0<\mu\leqslant 1\)), \(L_{p}(\Omega,\mathbb{H})\) (\(1< p<+\infty\)), \(C^{1}(\Omega,\mathbb{H})\), respectively.
Applying Fueter’s theorem (see [14, 16]) a function of axial type is given by
where \(x=x_{0}+\underline{x}=x_{0}+r \underline{\omega} \in\mathbb {R}^{4}\), \(r=\underline{x}\), \(\underline{\omega} \in \{\underline {x}=\sum^{3}_{j=1}x_{j}e_{j}:\underline{x}=1,x_{j}\in \mathbb{R}\ (j=1,2,3) \}\), \(A(x_{0},r )\), and \(B(x_{0},r)\) are scalarvalued functions. It should be mentioned that in [14] a function of axial type is also called a function with axial symmetry.
Throughout this paper any functions defined on \(\Omega\cup \partial\Omega\subset\mathbb{R}^{4}\) with values in \(\mathbb{H}\) are supposed to be of axial type unless otherwise stated.
Definition 2.2
A function \(\phi\in C^{1} (\Omega,\mathbb{H})\) is called (left) monogenic if and only if \(\mathcal{D}\phi=0\). A monogenic function of axial type is called axially monogenic. The set of all axially monogenic functions defined in Ω forms a rightmodule, denoted by \(M(\Omega ,\mathbb{H})\).
Definition 2.3
For a function of axial type \(\phi:\Omega\rightarrow\mathbb{H}\), we define the real part as \(\operatorname{Re} \phi=A\).
Remark 2
In [27, 28] it is shown that the equation \(\mathcal{D}\phi=0\) for functions of axial type is equivalent to a special kind of Vekua system [13].
In dimension two, i.e., the case of \(\mathbb{R}_{0,1}= \{x=x_{0}+x_{1}e_{1}: e^{2}_{1}=1,x_{j}\in\mathbb{R} \ (j=0,1)\}\cong\mathbb{C}\), the field of complex numbers, we have \(\operatorname{Re} {\phi}=\operatorname{Sc}(\phi)\), which exactly corresponds to the usual understanding in complex analysis. In the following \(D\subset\mathbb{C}_{+}\) is the projection of the axially symmetric subdomain \(\Omega\subset\mathbb{R}^{4}\) into the \((x_{0},r)\)plane, where \(\mathbb{C}_{+}\) is the upper half of the \((x_{0},r)\)plane.
3 RiemannHilbert boundary value problems
In this section we discuss RHBVPs with variable coefficients for monogenic functions. In this case we will restrict ourselves to functions which have axial symmetry and are defined over axial domains of \(\mathbb{R}^{4}\). We first solve the RHBVP in \(\mathbb{R}^{4}\) by transforming it into a RHBVP for complex analytic functions. In the case of boundary values belonging to a Hölder space we represent its solution in terms of an explicit integral representation formula. As a corollary we obtain the solution to the corresponding Schwarz problem in quaternion analysis.
3.1 A lemma
Let us start with the following lemma.
Lemma 3.1
Let \(A(D,\mathbb{C})\) denote the set of analytic functions defined in \(D\subset\mathbb {C_{+}}\). Then there exists an injective mapping ψ between \(A (D, \mathbb{C})/\operatorname{ker} \varphi\) and \(M (\Omega,\mathbb{H})\), where φ is a surjective mapping from \(A(D,\mathbb{C})\) onto \(M(\Omega ,\mathbb{H})\) given by
where
\(x=x_{0}+r\underline{\omega} \in\mathbb{R}^{4}\), and D is the projection of Ω onto the \((x_{0},r )\)plane.
In fact the surjective map φ is coming from Fueter’s theorem [14, 27, 28].
Proof
Let the map ψ be given by
where \(\operatorname{ker} \varphi=\{f:\varphi(f)=0,f\in A (D,\mathbb{C})\}\), \(f=u(x_{0},r)+iv (x_{0},r)\), \(\phi=A(x_{0},r)+\underline{\omega} B (x_{0},r)\), \(\hat{g}=u_{1}(x_{0},r)+iv_{1} (x_{0},r)\), and \(\hat{g}\in\operatorname{ker} \varphi\). Then the map ψ is an injective mapping between \(A (D,\mathbb{C})/\operatorname{ker} \varphi\) and \(M (\Omega,\mathbb{H})\), where \(u_{1}\), \(v_{1}\) are defined similarly to u, v, respectively, and \(M(\Omega,\mathbb{H} )\) is the same as that in Section 2. The result follows. □
3.2 RHBVPs for monogenic functions
The idea behind this lemma allows us to link RHBVPs for axially monogenic functions with RHBVPs for analytic functions over the complex plane. Let us start the discussion with the following problem.
Problem I
Find a function \(\phi\in C^{1}(\Omega,\mathbb{H})\) of axial type which satisfies the condition
where \(g:\partial\Omega\rightarrow\mathbb{R}\) and λ is a \(\mathbb{R}\)valued function defined on ∂Ω.
Let us first transform the above problem to a RHBVP for analytic functions. The result is given in the following theorem.
Theorem 3.1
The RiemannHilbert boundary value problem (⋆) is equivalent to the following problem: Find a complexvalued analytic function h, such that
where \(z=x_{0}+ir\), \(\partial_{\bar{z}}=\frac{1}{2}(\partial _{x_{0}}+i\partial_{r})\), \(h=\partial_{r}f\), f, and r given as in Lemma 3.1, D is a domain of \(\mathbb{C}_{+}\) with boundary ∂D given as the projection of \(\Omega\subset\mathbb{R}^{4}\) into the complex plane, and \(\lambda, g:\partial D\rightarrow\mathbb {R}\) are both scalarvalued functions.
Proof
From Lemma 3.1 we have complexvalued functions \(f=u+iv\in A(D,\mathbb{C})\) and \(\hat {g}=u_{1}+iv_{1}\in A(D,\mathbb{C})\) with \(\hat {g}\in\operatorname{ker} \varphi\), such that \(\psi(f+\hat {g})=\phi\). Hence, \(\varphi\circ\psi^{1}(\phi)=f\), where \(\psi^{1}\) is the inverse of ψ on its range and \(\varphi\circ \psi^{1}\) denotes the composition of φ and \(\psi^{1}\). Adapting the boundary condition we see that the RiemannHilbert boundary value problem (⋆) is equivalent to the case
Using the Laplacian operator \(\Delta=\partial ^{2}_{x^{2}_{0}}+\partial^{2}_{r^{2}}+\frac{2}{r}\partial_{r}+\frac {1}{r^{2}}\partial_{\omega}\frac{1}{r^{2}}\partial^{2}_{\omega ^{2}}\), we have \(\Delta u=\frac{2}{r}\partial_{r}u\).
Now, let \(h=\partial_{r}f\) then we have \(\partial_{\bar {z}}h(z)=0\), \(z\in D\) since f is analytic in D.
Hence, our boundary value problem (⋇) reduces to the case
□
The above theorem allows us to study the solvability of our original RHBVP by studying the equivalent RHBVP over the complex plane.
Theorem 3.2
Suppose \(g\in H^{\mu}(\partial \Omega,\mathbb{R})\), and \(D=\{z:za<1\}\subset \mathbb{C}_{+}\) with \(z=x_{0}+ir\), \(a=a_{0}+ia_{1}\in\mathbb{C}_{+}\) being the corresponding domain of \(\mathbb{C}_{+}\) with boundary ∂D.

(i)
If \(\lambda\in H^{\mu}(\partial\Omega,\mathbb{R})\), and \(\lambda\neq0\) for arbitrary \(z\in\partial D\) then the RiemannHilbert boundary value problem (⋆) is solvable and its solution is given by
$$ \phi(x)=\Delta\bigl(\operatorname{Re}(f) \bigl(x_{0},\vert \underline{x}\vert \bigr)+\underline{\omega}\operatorname{Im}(f) \bigl(x_{0},\vert \underline{x}\vert \bigr)\bigr),\quad x\in\Omega, $$where \(\operatorname{Re}(f)\) and \(\operatorname{Im}(f)\) denote the real and imaginary part of the complexvalued function f, respectively. f itself is given by
$$ f(z)=\frac{1}{2\pi} \int^{z}_{a} \int_{\partial D}\frac{\tilde {g}(\zeta)}{\zeta\xi}\, d\zeta\, d\xi+\sum ^{+\infty }_{n=0}t_{n}(za)^{n},\quad z\in D, $$with \(\tilde{g}=\lambda^{1}\frac{r}{2}g\), \(t_{n}\in\mathbb{C}\).

(ii)
Suppose \(\lambda=\Pi\hat{\lambda}\) with \(\Pi(x)=\Pi ^{m}_{i=1}(x\hat{\alpha}_{i})^{\nu_{i}}\), \(\hat{\alpha}_{i}\in\partial\Omega\) and \(\nu_{i}\in\mathbb {N}\). Furthermore, if \(\hat{\lambda}\in H^{\mu}(\partial \Omega,\mathbb{R})\) and \(\hat{\lambda}\neq0\) for arbitrary \(x\in\partial\Omega\) then the RiemannHilbert boundary value problem (⋆) is solvable, and its solution is given again by
$$ \phi(x)=\Delta\bigl(\operatorname{Re}(f) \bigl(x_{0},\vert \underline{x}\vert \bigr)+\underline{\omega}\operatorname{Im}(f) \bigl(x_{0},\vert \underline{x}\vert \bigr)\bigr),\quad x\in\Omega, $$where f is given by
$$ f(z)=\frac{1}{2\pi} \int^{z}_{a} \int_{\partial D}\frac{1}{\Pi(\xi )}\frac{\hat{g}(\zeta)}{\zeta\xi}\, d\zeta\, d\xi+ \sum^{+\infty}_{n=0} \int^{z}_{a}\frac{l_{n}(\xia)^{n}}{\Pi(\xi)}\, d\xi, \quad z\in D, $$with \(\hat{g}=\hat{\lambda}^{1}\frac{r}{2}g\), \(l_{n}\in \mathbb{C}\).
Proof
Since \(D=\{z:za<1\}\subset\mathbb {C}_{+}\) is the projection of Ω into \((x_{0},r)\)plane from Theorem 3.1 we see that the problem (⋆) is equivalent to the problem
Consider now the function
and let us study each case separately.
For the case (i) we can proceed in the following way. Since \(\lambda,g\in H^{\mu}(\partial\Omega,\mathbb{R})\) with \(\lambda\neq0\) for arbitrary \(x\in\partial\Omega\) we can recast our problem as the following Riemann boundary value problem:
where \(H^{\pm}\) are the boundary values of H on ∂D from D and \(\mathbb{C}_{+}\backslash(D\cup\partial D)\), respectively.
Because of \(\lambda,g\in H^{\mu}(\partial D,\mathbb {R})\) we have \(\tilde{g}\triangleq\lambda^{1}\frac {r}{2}g=\frac{1}{4i}\lambda^{1}(z\bar{z})g\in H^{\mu }(\partial D,\mathbb{R})\). Therefore, the solution to the boundary value problem (ℵ) is given by
where \(l_{n}\in\mathbb{C}\).
Hence, the unique solution to the boundary value problem (⋇⋇) is expressed by
where \(t_{n}\in\mathbb{C}\).
We end up with the solution to the RiemannHilbert boundary value problem (⋆) in the form
In the second case (ii) we map again Ω to D and \(\lambda= \Pi\hat{\lambda}\) with \(\Pi(x)=\Pi^{m}_{i=1}(x\hat{\alpha}_{i})^{\nu_{i}}\) where \(\hat{\alpha}_{i}\in\partial\Omega\) becomes \(\lambda (z)=\Pi(z)\hat{\lambda}(z)\), \(z\in\partial D\), where \(\Pi(z)=\Pi^{m}_{i=1}(z\alpha_{i})^{\nu_{i}}\), \(\alpha _{i}\in\partial D\) and \(\hat{\lambda}\neq0\), \(z\in\partial D\). By transforming the boundary value problem in the same way as in the first case we arrive at the problem
where \(\widetilde{H}=\Pi H\), \(z\in\mathbb{C}_{+}\backslash\partial D\), and \(\widetilde{H}^{\pm}\), \(z\in\partial D\) are the boundary values of H̃ on ∂D from D and \(\mathbb {C}_{+}\backslash( D\cup\partial D)\), respectively.
Since \(\hat{\lambda}\in H^{\mu}(\partial D,\mathbb {R})\), we have \(\hat{g}\triangleq\hat{\lambda }^{1}\frac{r}{2}g=\frac{1}{4i}\hat{\lambda}^{1}(z\bar {z})g \in H^{\mu}(\partial D,\mathbb{R})\). This allows us to write the solution to the boundary value problem (⋇⋇) in the form
where \(l_{n}\in\mathbb{C}\).
Therefore, the solution to the RiemannHilbert boundary value problem (⋆) is given by
This finishes the proof. □
As a special case of Problem I, we can consider the following Schwarz problem.
Schwarz problem
Find a function \(\phi\in C^{1}(\Omega,\mathbb{H})\), which satisfies the system
where \(g:\partial\Omega\rightarrow\mathbb{R}\) is a \(\mathbb {R}\)valued function defined on ∂Ω.
From Theorem 3.2 we can deduce the following theorem.
Theorem 3.3
If \(g\in H^{\mu}(\partial \Omega,\mathbb{R})\) then the Schwarz problem (♯) is solvable, and its solution is given by
where f is given by
with \(\tilde{g}_{1}=\frac{r}{2}g\), \(t_{n}\in\mathbb{C}\).
Remark 3
Theorem 3.2 actually gives us a method to solve the RHBVPs with variable coefficients for axially monogenic functions in \(\mathbb{R}^{4}\) by transferring it to the study of the corresponding RHBVP for analytic functions over the complex plane.
When the space dimension is 2, then trivially RHBVP (⋆) reduces to the RHBVP for analytic functions on the complex plane [1, 3, 5]. Moreover, when the coefficient λ is a constant equal to 1 for all \(x\in\partial\Omega\) our RHBVP (♯) is just the Schwarz problem for analytic functions over the complex plane [1, 2, 8].
Remark 4
In fact, Theorem 3.3 gives us explicit solutions to the Schwarz problem for a special type of Vekua system defined over the complex plane [13, 14]. As far as we know, in general it is not easy to get explicit but nonformal analytic solutions of this system.
3.3 RHBVPs for nullsolutions to \((\mathcal {D}\alpha)\phi=0\), \(\alpha\in\mathbb{R}\)
The above approach can be adapted and generalized to other cases. In the following we will discuss RHBVPs with variable coefficients for functions of axial type defined over an axial domain of \(\mathbb {R}^{4}\) which are nullsolutions to the equation \((\mathcal {D}\alpha)\phi=0\), \(\alpha\in\mathbb{R}\). We begin with the following extension of Problem I.
Problem II
Find a function \(\phi\in\mathcal {C}^{1}(\Omega,\mathbb{H})\) of axial type which satisfies the condition
where α is understood as αI, with I being the identity operator, \(g:\partial\Omega\rightarrow\mathbb{R}\), and λ is a \(\mathbb{R}\)valued function defined on ∂Ω.
Theorem 3.4
Suppose \(g\in H^{\mu}(\partial \Omega,\mathbb{R})\), and \(D=\{z:za<1\}\subset \mathbb{C}_{+}\) with \(z=x_{0}+ir\), \(a=a_{0}+ia_{1}\in\mathbb{C}_{+}\) being the corresponding domain of \(\mathbb{C}_{+}\) with boundary ∂D.

(i)
If \(\lambda\in H^{\mu}(\partial\Omega,\mathbb{R})\), and \(\lambda\neq0\) for arbitrary \(z\in\partial D\) then the RiemannHilbert boundary value problem (⋆) is solvable and its solution is given by
$$ \phi(x)= e^{\alpha x_{0}}\Delta\bigl(\operatorname{Re}(f) \bigl(x_{0}, \vert \underline{x}\vert \bigr)+\underline{\omega}\operatorname{Im}(f) \bigl(x_{0},\vert \underline{x}\vert \bigr)\bigr),\quad x\in\Omega, $$where \(\operatorname{Re}(f)\) and \(\operatorname{Im}(f)\) denote the real and imaginary part of the complexvalued function f, respectively. f itself is given by
$$ f(z)=\frac{1}{2\pi} \int^{z}_{a} \int_{\partial D}\frac{\widetilde {e^{\alpha x_{0}}g}(\zeta)}{\zeta\xi}\,d\zeta \,d\xi+\sum ^{+\infty}_{n=0}t_{n}(za)^{n},\quad z\in D, $$with \(\tilde{g} =\lambda^{1}\frac{r}{2}g\), \(t_{n}\in\mathbb {C}\).

(ii)
Suppose \(\lambda=\Pi\hat{\lambda}\) with \(\Pi(x)=\Pi ^{m}_{i=1}(x\hat{\alpha}_{i})^{\nu_{i}}\), \(\hat{\alpha}_{i}\in\partial\Omega\), and \(\nu_{i}\in\mathbb {N}\). Furthermore, if \(\hat{\lambda}\in H^{\mu}(\partial \Omega,\mathbb{R})\) and \(\hat{\lambda}\neq0\) for arbitrary \(x\in\partial\Omega\) then the RiemannHilbert boundary value problem (⋆) is solvable, and its solution is given again by
$$ \phi(x) = e^{\alpha x_{0}}\Delta\bigl(\operatorname{Re}(f) \bigl(x_{0}, \vert \underline{x}\vert \bigr)+\underline{\omega}\operatorname{Im}(f) \bigl(x_{0},\vert \underline{x}\vert \bigr)\bigr), \quad x\in \Omega, $$where f is given by
$$ f(z)=\frac{1}{2\pi} \int^{z}_{a} \int_{\partial D}\frac{1}{\Pi(\xi )}\frac{\widehat{e^{\alpha x_{0}} g}(\zeta)}{\zeta\xi}\,d\zeta \,d\xi + \sum^{+\infty}_{n=0} \int^{z}_{a}\frac{l_{n}(\xi a)^{n}}{\Pi(\xi)}\,d\xi, \quad z\in D, $$with \(\hat{g}=\hat{\lambda}^{1}\frac{r}{2}g\), \(l_{n}\in \mathbb{C}\).
Proof
Since \((\mathcal{D}\alpha)\phi= \mathcal{D}(e^{\alpha x_{0}}\phi)\), \(\alpha\in\mathbb {R}\), then
Therefore, problem (⋆⋆) is equivalent to the case
where \(g:\partial\Omega\rightarrow\mathbb{R}\) and λ is a \(\mathbb{R}\)valued function defined on ∂Ω.
Noting that \(D=\{z:za<1\}\subset\mathbb{C}_{+}\) with \(z=x_{0}+ir\), \(a=a_{0}+ia_{1}\in\mathbb{C}_{+}\) is the projection of Ω onto the \((x_{0},r)\)plane, associating with \(g\in H^{\mu}(\partial\Omega,\mathbb{R})\), we have \(e^{\alpha x_{0}}g\in H^{\mu}(\partial\Omega,\mathbb{R})\).
We apply Theorem 3.2.
(i) If \(\lambda\in H^{\mu}(\partial\Omega,\mathbb{R})\), and \(\lambda\neq0\) for arbitrary \(z\in\partial D\) then the RiemannHilbert boundary value problem (⋆) is solvable and its solution is given by
where \(\operatorname{Re}(f)\) and \(\operatorname{Im}(f)\) denote the real and imaginary part of the complexvalued function f, respectively. f itself is given by
with \(\tilde{g} =\lambda^{1}\frac{r}{2}g\), \(t_{n}\in\mathbb {C}\).
(ii) Suppose \(\lambda=\Pi\hat{\lambda}\) with \(\Pi(x)=\Pi ^{m}_{i=1}(x\hat{\alpha}_{i})^{\nu_{i}}\), \(\hat{\alpha}_{i}\in\partial\Omega\), and \(\nu_{i}\in\mathbb {N}\). Furthermore, if \(\hat{\lambda}\in H^{\mu}(\partial \Omega,\mathbb{R})\) and \(\hat{\lambda}\neq0\) for arbitrary \(x\in\partial\Omega\) then the RiemannHilbert boundary value problem (⋆) is solvable, and its solution is given again by
where f is given by
with \(\hat{g}=\hat{\lambda}^{1}\frac{r}{2}g\), \(l_{n}\in \mathbb{C}\). The result follows. □
Remark 5
When the space dimension is 2, Problem II reduces to the RiemannHilbert boundary value problem for metaanalytic functions defined over the complex plane [9, 10].
Similar to the Schwarz problem in the previous subsection, let \(\lambda=1\) in Problem II, we can take it in account in the following problem.
Problem III
Find a function \(\phi\in C^{1}(\Omega,\mathbb{H})\) which satisfies the system
where α is understood as αI, with I being the identity operator, and \(g:\partial\Omega\rightarrow\mathbb{R}\) is a \(\mathbb{R}\)valued function defined on ∂Ω.
Thanks to Theorem 3.4 we can derive the following theorem.
Theorem 3.5
If \(g\in H^{\mu}(\partial \Omega,\mathbb{R})\) then Problem III is solvable, and its solution is given by
where f is given by
with \(\tilde{g}_{1}=\frac{r}{2}g\), \(t_{n}\in\mathbb{C}\).
Remark 6
If the boundary data are of Hölder class, we consider the RiemannHilbert boundary value problems I, II, III with variable coefficients for monogenic functions of axial type in \(\mathbb{R}^{4}\) and nullsolutions to \((\mathcal{D}\alpha )\phi=0\), \(\alpha\in\mathbb{R}\). Note that Problem II reduces to Problem I when α equals 0 while Problem III reduces to Problem II when λ equals 1. Following the same argument, all results can be extended to the RiemannHilbert boundary value problems of monogenic functions of axial type in \(\mathbb{R}^{4}\), with boundary data belonging to \(L_{p}\) (\(1< p<+\infty\)).
References
Muskhelishvili, NI: Singular Integral Equations. Noordhoff, Leyden (1977)
Lu, JK: Boundary Value Problems for Analytic Functions. World Scientific, Singapore (1993)
Fokas, AS: A Unified Approach to Boundary Value Problems. SIAM, Philadelphia (2008)
Balk, MB: On PolyAnalytic Functions. Akademie Verlag, Berlin (1991)
Deift, P: Orthogonal Polynomials and Random Matrices: A RiemannHilbert Approach. Am. Math. Soc., Providence (2000)
Chelkak, D, Smirnov, S: Universality in the 2D Ising model and conformal invariance of fermionic observables. Invent. Math. 189(3), 515580 (2012)
Abreu, LD, Feichtinger, HG: Function spaces of polyanalytic functions. In: Harmonic and Complex Analysis and Its Applications. Trends in Mathematics, pp. 138 (2014)
Begehr, H, Schmersau, D: The Schwarz problem for polyanalytic functions. Z. Anal. Anwend. 24(2), 341351 (2005)
Wang, Y, Du, J: Mixed boundary value problems with a shift for a pair of metaanalytic and analytic functions. J. Math. Anal. Appl. 369(2), 510524 (2010)
Wang, Y: On Hilberttype boundaryvalue problem of polyHardy class on the unit disc. Complex Var. Elliptic Equ. 58(4), 497509 (2013)
Fueter, R: Die Funktionentheorie der Differentialgleichungen \(\Delta u=0\) und \(\Delta\Delta u=0\) mit vier reellen Variablen. Comment. Math. Helv. 7, 307330 (1934)
Brackx, F, Delanghe, R, Sommen, F: Clifford Analysis. Res. Notes Math., vol. 76. Pitman, London (1982)
Gürlebeck, K, Sprössig, W: Quaternionic Analysis and Elliptic Boundary Value Problems. Birkhäuser, Basel (1990)
Delanghe, R, Sommen, F, Souček, V: Clifford Algebra and SpinorValued Functions. Kluwer Academic, Dordrecht (1992)
Gong, Y, Du, J: A kind of Riemann and Hilbert boundary value problem for left monogenic functions in \(\mathbb{R}^{m}\) (\(m\geqslant 2\)). Complex Var. Theory Appl. 49(5), 303318 (2004)
AbreuBlaya, R, BoryReyes, J, PeñaPeña, D: Jump problem and removable singularities for monogenic functions. J. Geom. Anal. 17(1), 113 (2007)
Bu, Y, Du, J: The RH boundary value problem for the kmonogenic functions. J. Math. Anal. Appl. 347, 633644 (2008)
Gürlebeck, K, Zhongxiang, Z: Some Riemann boundary value problems in Clifford analysis. Math. Methods Appl. Sci. 33, 287302 (2010)
Ku, M, Kähler, U, Wang, D: Riemann boundary value problems on the sphere in Clifford analysis. Adv. Appl. Clifford Algebras 22(2), 365390 (2012)
Ku, M, Kähler, U: Riemann boundary value problems on half space in Clifford analysis. Math. Methods Appl. Sci. 35(18), 21412156 (2012)
Cerejeiras, P, Kähler, U, Ku, M: On the Riemann boundary value problem for null solutions to iterated generalized CauchyRiemann operator in Clifford analysis. Results Math. 63(34), 13751394 (2013)
Ku, M, Fu, Y, Kähler, U, Cerejeiras, P: Riemann boundary value problems for iterated Dirac operator on the ball in Clifford analysis. Complex Anal. Oper. Theory 7(3), 673693 (2013)
Ku, M, Wang, D: Half Dirichlet problem for matrix functions on the unit ball in Hermitian Clifford analysis. J. Math. Anal. Appl. 374(2), 442457 (2011)
Ku, M, Wang, D: Solutions to polynomial Dirac equations on unbounded domains in Clifford analysis. Math. Methods Appl. Sci. 34, 418427 (2011)
Ku, M, Wang, D, Dong, L: Solutions to polynomial generalized BersVekua equations in Clifford analysis. Complex Anal. Oper. Theory 6, 407424 (2012)
Ku, M, Du, J: On the integral representation of spherical kregular functions in Clifford analysis. Adv. Appl. Clifford Algebras 19(1), 83100 (2009)
Sommen, F: On a generalization of Fueter’s theorem. Z. Anal. Anwend. 19, 899902 (2000)
Colombo, F, Sabadini, I, Sommen, F: The Fueter mapping theorem in integral form and the \(\mathcal {F}\)functional calculus. Math. Methods Appl. Sci. 33, 20502066 (2010)
Acknowledgements
This work was supported in part by the Portuguese Foundation for Science and Technology (‘FCTFundação para a Ciência e a Tecnologia’) through the CIDMA  Center for Research and Development in Mathematics and Applications, within project UID/MAT/04106/2013, and by the Postdoctoral Foundation from FCT (Portugal) under Grant No. SFRH/BPD/74581/2010. The authors cordially thank two anonymous referees for their valuable comments, which lead to the improvement of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
He, F., Ku, M., Kähler, U. et al. RiemannHilbert problems for monogenic functions in axially symmetric domains. Bound Value Probl 2016, 22 (2016). https://doi.org/10.1186/s136610160530x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136610160530x