Skip to content

Advertisement

Boundary Value Problems

Boundary Value Problems Cover Image
Research
Open Access

The mixed boundary value problem for the inhomogeneous Cimmino system

Boundary Value Problems20152015:13

https://doi.org/10.1186/s13661-014-0273-5

©  Wang et al.; licensee Springer 2015

Received: 3 September 2014

Accepted: 22 December 2014

Published: 30 January 2015

Abstract

In this article, we first propose a kind of mixed boundary value problem for the inhomogeneous Cimmino system, which consists of first order linear partial differential equations in \(\mathbb{R}^{4}\). Then, by using the one-to-one correspondence between the theory of quaternion valued hyperholomorphic functions and that of Cimmino system’s solutions, we transform the problem as stated above into a problem related to the ψ-hyperholomorphic functions in quaternionic analysis. Moreover, we show the boundedness, Hölder continuity, and generalized derivatives of a kind of singular integral operator \({}^{\psi } T_{\mathbb{C}^{2}}[g]\) related to ψ-hyperholomorphic functions in quaternionic analysis. Lastly, the solution of the mixed boundary value problem for the inhomogeneous Cimmino system is explicitly described.

Keywords

Cimmino systemquaternionic analysis ψ-hyperholomorphic functionsCimmino singular integral operatormixed boundary value problem

1 Introduction

The skew field of quaternions ℍ gives an example of a noncommutative Clifford algebra with minimal dimension. It serves as a very convenient model of general Clifford constructions. Today, quaternionic analysis is regarded as a broadly accepted branch of classical analysis offering a successful generalization of complex analysis. It studies functions defined on domains in \(\mathbb{R}^{3}\) or \(\mathbb{R}^{4}\) with values in the skew field of real quaternions ℍ. This theory is centered around the concept of ψ-hyperholomorphic functions related to a so-called structural set ψ of \(\mathbb{H}^{3}\) or \(\mathbb{H}^{4}\), respectively.

Quaternionic analysis initiated new solution methods for boundary value problems in several research areas of mathematical physics, in particular in planar fluids, quantum field theory, electromagnetic wave equations etc. Many scholars and experts have studied some boundary and initial value problems in higher dimensions by using them, such as Gürlebeck, Sprössig, Adler, Alesker, Yang, and so on [1–5].

The Cimmino system (1.1) offers a natural and elegant generalization to the four-dimensional case of that of Cauchy-Riemann. Cimmino, Dragomir and Lanconelli have done a lot of research on it [6, 7]. Recently, Abreu Blaya et al. [8] studied the Dirichlet boundary value problem for the inhomogeneous Cimmino system (1.2). We have
$$ \left \{ \begin{array}{l} \frac{\partial f_{0}}{\partial x_{0}}-\frac{\partial f_{1}}{\partial x_{1}}+\frac{\partial f_{2}}{\partial x_{2}}-\frac{\partial f_{3}}{\partial x_{3}}=0, \\ \frac{\partial f_{0}}{\partial x_{1}}+\frac{\partial f_{1}}{\partial x_{0}}-\frac{\partial f_{2}}{\partial x_{3}}-\frac{\partial f_{3}}{\partial x_{2}}=0, \\ \frac{\partial f_{0}}{\partial x_{2}}-\frac{\partial f_{1}}{\partial x_{3}}-\frac{\partial f_{2}}{\partial x_{0}}+\frac{\partial f_{3}}{\partial x_{1}}=0, \\ \frac{\partial f_{0}}{\partial x_{3}}+\frac{\partial f_{1}}{\partial x_{2}}+\frac{\partial f_{2}}{\partial x_{1}}+\frac{\partial f_{3}}{\partial x_{0}}=0, \end{array} \right . $$
(1.1)
where \(f_{m}\) (\(m=0,1,2,3\)) are continuously differentiable ℝ-valued functions in \(\Omega\subset\mathbb{R}^{4}\). The corresponding inhomogeneous Cimmino system is as follows:
$$ \left \{ \begin{array}{l} \frac{\partial f_{0}}{\partial x_{0}}-\frac{\partial f_{1}}{\partial x_{1}}+\frac{\partial f_{2}}{\partial x_{2}}-\frac{\partial f_{3}}{\partial x_{3}}=g_{0}, \\ \frac{\partial f_{0}}{\partial x_{1}}+\frac{\partial f_{1}}{\partial x_{0}}-\frac{\partial f_{2}}{\partial x_{3}}-\frac{\partial f_{3}}{\partial x_{2}}=g_{1}, \\ \frac{\partial f_{0}}{\partial x_{2}}-\frac{\partial f_{1}}{\partial x_{3}}-\frac{\partial f_{2}}{\partial x_{0}}+\frac{\partial f_{3}}{\partial x_{1}}=g_{2}, \\ \frac{\partial f_{0}}{\partial x_{3}}+\frac{\partial f_{1}}{\partial x_{2}}+\frac{\partial f_{2}}{\partial x_{1}}+\frac{\partial f_{3}}{\partial x_{0}}=g_{3}, \end{array} \right . $$
(1.2)
where \(f_{m}\) are as stated above, \(g_{m}\in L_{p}(\Omega, \mathbb {R})\) (\(m=0,1,2,3\)).

In this article, we will study a kind of mixed boundary value problem for the inhomogeneous Cimmino system (1.2) by using the quaternionic analysis approach. This article is organized as follows. In Section 2, we recall some basic knowledge of quaternionic analysis. In Section 3, we construct a singular integral operator and study some of its properties. In Section 4, we first propose a kind of mixed boundary value problem for the inhomogeneous Cimmino system (1.2); then we obtain an integral representation of the solution of the mixed boundary value problem by using the one-to-one correspondence between the theory of quaternion valued hyperholomorphic functions and that of a Cimmino system’s solutions.

2 Preliminaries

Quaternionic analysis studies functions defined on \(\mathbb{R}^{4}\) with their values in quaternion algebra space ℍ, which is a four-dimensional vector space with basis e, i, j, k. The basis element e is a unit element, henceforth we shall abbreviate e to 1. Also, i, j, k satisfy the following multiplication rule:
$$i^{2}=j^{2}=k^{2}=-1,\qquad ij=-ji=k,\qquad jk=-kj=i,\qquad ki=-ik=j. $$
An arbitrary element of the quaternion algebra space ℍ can be written as \(x=x_{0}+ix_{1}+jx_{2}+kx_{3}\), \(x_{m}\in\mathbb{R}\) (\(m=0,1,2,3\)), and \(\bar {x}=x_{0}-ix_{1}-jx_{2}-kx_{3}\). The norm for an element \(x\in\mathbb{H}\) is taken to be \(|x|=\sqrt{x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}}\) and satisfies \(|\bar{x}|=|x|\), \(|x+y|\leq{|x|+|y|}\), \(|xy|=|x||y|\). Obviously, \(\overline{xy}=\bar{y}\bar{x}\) and \(x\bar{x}=\bar{x}x=|x|^{2}\). In addition, suppose the imaginary unit of ℂ is identified with the basis element i in quaternion algebra space ℍ, then for arbitrary \(z\in\mathbb{C}\), we have \(z=x_{0}+ix_{1}\) and its complex conjugate \(\bar{z}=x_{0}-ix_{1}\). In this way it is easily seen that \(zj=j\bar{z}\).

By means of the mapping \(x_{0}+ix_{1}+jx_{2}+kx_{3}\rightarrow (x_{0}+ix_{1})+(x_{2}+ix_{3})j\) (\(\rightarrow(x_{0},x_{1},x_{2},x_{3})\)), one can see ℍ as \(\mathbb{C}^{2}\) (or \(\mathbb{R}^{4}\)). From now on, an arbitrary element \(\xi\in\mathbb{H}\) can be written as \(\xi =z_{1}+z_{2}j\), \(z_{1},z_{2}\in\mathbb{C}\). From the multiplication rule as stated above, for arbitrary \(\xi=z_{1}+z_{2}j\), \(\eta=\varsigma _{1}+\varsigma_{2}j\in\mathbb{H}\), \(z_{1},z_{2},\varsigma_{1},\varsigma _{2}\in\mathbb{C}\). We have \(\xi\eta=(z_{1}\varsigma_{1}-z_{2}\bar{\varsigma} _{2})+(z_{1}\varsigma_{2}+z_{2}\bar{\varsigma}_{1})j\), \(\bar{\xi }=\overline{z_{1}+z_{2}j}=\bar{z}_{1}+\overline{z_{2}j}=\bar {z}_{1}-z_{2}j\), and \(\xi\bar{\xi}=\bar{\xi}\xi =|z_{1}|^{2}+|z_{2}|^{2}=|\xi|^{2}\).

Let \(\Omega\subset\mathbb{R}^{4}\) be a nonempty open bounded connected set and the boundary \(\Gamma=\partial{\Omega}\) be a differentiable, oriented, and compact Liapunov surface. The functions f which are defined in Ω with values in ℍ can be expressed as \(f(x)=f_{0}+f_{1}i+f_{2}j+f_{3}k\), where \(f_{m}\) (\(m=0,1,2,3\)) are continuously differentiable ℝ-valued functions in \(\Omega \subset\mathbb{R}^{4}\). On \(C^{(1)}(\Omega,\mathbb{H})\), we define the differential operators ψ D and \({}^{\bar{\psi}} D\) as follows:
$${}^{\psi} D=2 \biggl(\frac{\partial}{\partial\bar{z}_{1}}-j\frac{\partial }{\partial\bar{z}_{2}} \biggr),\qquad {}^{\bar{\psi}} D=2 \biggl(\frac{\partial}{\partial z_{1}}+j\frac{\partial }{\partial\bar{z}_{2}} \biggr), $$
where
$$\begin{aligned}& \frac{\partial}{\partial\bar{z}_{1}}=\frac{1}{2} \biggl(\frac{\partial }{\partial x_{0}}+i\frac{\partial}{\partial x_{1}} \biggr),\qquad \frac{\partial}{\partial\bar{z}_{2}}=\frac{1}{2} \biggl(\frac{\partial }{\partial x_{2}}+i \frac{\partial}{\partial x_{3}} \biggr), \\& \frac{\partial}{\partial z_{1}}=\frac{1}{2} \biggl(\frac{\partial }{\partial x_{0}}-i\frac{\partial}{\partial x_{1}} \biggr),\qquad \frac{\partial}{\partial z_{2}}=\frac{1}{2} \biggl(\frac{\partial }{\partial x_{2}}-i \frac{\partial}{\partial x_{3}} \biggr). \end{aligned}$$
Obviously, the differential operators ψ D and \({}^{\bar{\psi}} D\) can be written as
$$ {}^{\psi} D=\frac{\partial}{\partial x_{0}}+i\frac{\partial}{\partial x_{1}}-j\frac{\partial}{\partial x_{2}}+k \frac{\partial}{\partial x_{3}}, \qquad {}^{\bar{\psi}} D=\frac{\partial}{\partial x_{0}}-i\frac{\partial }{\partial x_{1}}+j\frac{\partial}{\partial x_{2}}-k \frac{\partial }{\partial x_{3}}, $$
which are associated to the structural set \(\psi=\{1,i,-j,k\}\) and \(\bar {\psi}=\{1,-i,j,-k\}\), respectively.
Let \(\Delta_{\mathbb{R}^{4}}=\sum_{m=0}^{3}\partial_{x_{m}}^{2}\), then the following equalities hold on \(C^{(2)}(\Omega,\mathbb{H})\):
$${}^{\psi} D{}^{\bar{\psi}} D={{}^{\bar{\psi}} D} {{}^{\psi} D}= \Delta_{\mathbb {R}^{4}}\cong\Delta_{\mathbb{C}^{2}}\cong\Delta_{\mathbb{H}}. $$

Taking into account that the multiplication in ℍ is noncommutative, the functions f are called left ψ-hyperholomorphic in Ω if \({}^{\psi} D[f](\xi)=0\) (\(\xi\in\Omega\)). The functions g are called right ψ-hyperholomorphic in Ω if \([g]{{}^{\psi} D}(\xi )=0\) (\(\xi\in\Omega\)).

Denote by \(\Theta_{4}\) the fundamental solution of the Laplace operator
$$\Theta_{4}(\xi)=-\frac{1}{4\pi^{2}}\frac{1}{|\xi|^{2}}, $$
and by \(\mathcal{K}_{\psi}\) the fundamental solution of the operator ψ D:
$$\mathcal{K}_{\psi}(\xi)={{}^{\bar{\psi}} D[\Theta_{4}]}=[ \Theta_{4}]{}^{\bar {\psi}} D=\frac{1}{2\pi^{2}}\frac{\xi_{\bar{\psi}}}{|\xi|^{4}} = \frac{1}{2\pi^{2}}\frac{\bar{z}_{1}+\bar {z}_{2}j}{(|z_{1}|^{2}+|z_{2}|^{2})^{2}}. $$
Then the corresponding Cauchy type integral operator is
$${}^{\psi} K_{\Gamma}[f](\xi)=\int_{\Gamma} \mathcal{K}_{\psi}(\eta-\xi )n_{\psi}(\eta)f(\eta)\, d \Gamma_{\eta}=\int_{\Gamma}\mathcal{K}_{\psi }(\eta- \xi)\, d\sigma_{\eta}f(\eta), $$
and the Teodorescu type integral operator is
$${}^{\psi} T_{\Omega}[f](\xi)=-\int_{\Omega} \mathcal{K}_{\psi}(\eta-\xi )f(\eta)\, d\Omega_{\eta}. $$

In this article, \(g(x)\in L_{p}(\mathbb{C}^{2},\mathbb{H})\) means that \(g(x)\in L_{p}(E,\mathbb{H})\), \(g_{\sigma}(x)=|x|^{-\sigma}g(\frac{\bar {x}}{|x|^{2}})\in L_{p}(E,\mathbb{H})\), in which \(E=\{\xi||\xi|\leq1\} \), σ is a real number, \(\| g\|_{L_{p}}=\|g\|_{L_{p}(E)}+\| g_{\sigma}\|_{L_{p}(E)}\), \(p\geq1\). The following fundamental statements are widely known to hold and can be found in [1, 9, 10], respectively.

Definition 2.1

Suppose that the functions f, g, φ are defined in Ω with values in ℍ and \(f,g\in L_{1}(\Omega,\mathbb {H})\). If for arbitrary \(\varphi\in C_{0}^{\infty}(\Omega,\mathbb{H})\), f, g satisfy
$$\int_{\Omega}[\varphi]{{}^{\psi} D(\xi)}g(\xi)\, d \Omega_{\xi}+\int_{\Omega }\varphi(\xi)f(\xi)\, d \Omega_{\xi}=0, $$
then f is called a generalized derivative of the function g, denoted by \(f={{}^{\psi} D[g]}\).

Lemma 2.1

([9])

If \(\sigma_{1},\sigma_{2}>0\), \(0\leq\gamma\leq1\), then we have
$$\bigl\vert \sigma_{1}^{\gamma}-\sigma_{2}^{\gamma} \bigr\vert \leq|\sigma_{1}-\sigma _{2}|^{\gamma}. $$

Lemma 2.2

(Integral form of the quaternionic Stokes formula [1])

Let \(\Omega,\Gamma=\partial\Omega\) be as stated above and \(f, g\in C^{(1)}(\Omega,\mathbb{H})\), then
$$\int_{\Gamma}g(\xi)n_{\psi}(\xi)f(\xi)\, d \Gamma_{\xi}=\int_{\Omega }\bigl([g]{{}^{\psi} D}( \xi)\cdot f(\xi)+g(\xi)\cdot{{}^{\psi} D[f](\xi)}\bigr)\, d\Omega _{\xi}. $$

Lemma 2.3

(Borel-Pompeiu quaternionic formula [1])

Let \(\Omega ,\Gamma=\partial\Omega\) be as stated above and \(f\in C^{(1)}(\Omega ,\mathbb{H})\), then for arbitrary \(\xi\in\Omega\), we have
$$\int_{\Gamma}\mathcal{K}_{\psi}(\eta-\xi)\, d \sigma_{\eta}f(\eta)-\int_{\Omega}\mathcal{K}_{\psi}( \eta-\xi){{}^{\psi} D[f]}(\eta)\, d_{\Omega_{\eta }}=f(\xi) $$
and
$$\int_{\Gamma}f(\eta)\, d\sigma_{\eta} \mathcal{K}_{\psi}(\eta-\xi)-\int_{\Omega}[f]{{}^{\psi} D}( \eta)\mathcal{K}_{\psi}(\eta-\xi)\, d_{\Omega_{\eta }}=f(\xi). $$

Lemma 2.4

(Hadamard lemma [10])

Suppose Ω be as stated above. If \(\alpha'\), \(\beta'\) satisfy \(0<\alpha', \beta'<4\), \(\alpha'+\beta '>4\), then for all \(x_{1},x_{2}\in\mathbb{R}^{4}\) and \(x_{1}\neq x_{2}\), we have
$$\int_{\Omega}|t-x_{1}|^{-\alpha'}|t-x_{2}|^{-\beta'} \, dt\leq M_{0}\bigl(\alpha ',\beta' \bigr)|x_{1}-x_{2}|^{4-\alpha'-\beta'}. $$

3 Some useful properties of the Cimmino singular integral operator

By means of the idea as stated above, we suppose
$$\begin{aligned}& \xi=z_{1}+z_{2}j\in\mathbb{H},\quad z_{1}=x_{0}+ix_{1},z_{2}=x_{2}+ix_{3} \in\mathbb{C}, \\& \eta=\varsigma_{1}+\varsigma_{2}j\in\mathbb{H}, \quad \varsigma _{1}=y_{0}+iy_{1},\varsigma_{2}=y_{2}+iy_{3} \in\mathbb{C}, \\& f(\xi)=f(z_{1},z_{2})=u_{1}(z_{1},z_{2})+u_{2}(z_{1},z_{2})j, \quad u_{1}=f_{0}+if_{1},u_{2}=f_{2}+if_{3} \in\mathbb{C}, \\& g(\xi)=g(z_{1},z_{2})=v_{1}(z_{1},z_{2})+v_{2}(z_{1},z_{2})j, \quad v_{1}=g_{0}+ig_{1},v_{2}=g_{2}+ig_{3} \in\mathbb{C}. \end{aligned}$$
Then system (1.1) can be written as
$$ \mbox{(1.1)}\quad \Longleftrightarrow\quad \left \{ \begin{array}{l} \partial_{\bar{z}_{1}}u_{1}+\partial_{z_{2}}\bar{u}_{2}=0, \\ \partial_{\bar{z}_{2}}u_{1}-\partial_{z_{1}}\bar{u}_{2}=0 \end{array} \right .\quad \Longleftrightarrow\quad {{}^{\psi} D[f]}=0. $$
(3.1)
Moreover, if the pair \((u_{1},u_{2})\) of continuously differentiable (up to the second order) complex-valued functions give a solution of system (1.1) then
$$\Delta_{\mathbb{R}^{4}}u_{1} \cong\Delta_{\mathbb{C}^{2}}u_{1}=4 \bigl(\partial_{z_{1}\bar {z}_{1}}^{2}+\partial_{z_{2}\bar{z}_{2}}^{2} \bigr)u_{1}=0. $$
A similar observation is valid for \(\bar{u}_{2}\), so \(u_{1}\), \(\bar {u}_{2}\) are complex-valued harmonic functions, i.e. the set of solutions of system (1.1) contains all holomorphic functions of two complex variables.
Similarly, system (1.2) can be written as
$$ \mbox{(1.2)}\quad \Longleftrightarrow\quad \left \{ \begin{array}{l} 2\partial_{\bar{z}_{1}}u_{1}+2\partial_{z_{2}}\bar{u}_{2}=v_{1}, \\ 2\partial_{\bar{z}_{2}}u_{1}-2\partial_{z_{1}}\bar{u}_{2}=v_{2} \end{array} \right .\quad \Longleftrightarrow\quad {{}^{\psi} D[f]=g}. $$
(3.2)
The generalized Teodorescu type integral operator \({}^{\psi} T_{\mathbb {C}^{2}}[g]\) can be written as
$$\begin{aligned} {}^{\psi} T_{\mathbb{C}^{2}}[g](z_{1},z_{2}) =&{}^{\psi} T_{\mathbb {C}^{2}}[g]( \xi) \\ =& {-\int_{\mathbb{C}^{2}}\mathcal{K}_{\psi}(\eta-\xi)g(\eta )\, d_{{\mathbb{C}^{2}}_{\eta}}} \\ =& {\frac{1}{2\pi^{2}}\int_{\mathbb{C}^{2}}\frac{(\bar{z}_{1}-\bar {\varsigma}_{1})+(\bar{z}_{2}-\bar{\varsigma}_{2})j}{ (|z_{1}-\varsigma_{1}|^{2}+|z_{2}-\varsigma_{2}|^{2})^{2}}g( \varsigma _{1},\varsigma_{2})\, d_{{\mathbb{C}^{2}}_{\varsigma_{1},\varsigma_{2}}}} \\ =&{}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g](z_{1},z_{2})+{{}^{\psi} T_{\mathbb {C}^{2}}^{(2)}}[g](z_{1},z_{2})j, \end{aligned}$$
where the Cimmino singular integral operators \({}^{\psi} T_{\mathbb {C}^{2}}^{(1)}[g]\), \({{}^{\psi} T_{\mathbb{C}^{2}}^{(2)}[g]}\) are as follows:
$$\begin{aligned}& {}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g](z_{1},z_{2}) = {\frac{1}{2\pi ^{2}}\int_{\mathbb{C}^{2}}\frac{(\bar{z}_{1}-\bar{\varsigma}_{1})}{ (|z_{1}-\varsigma_{1}|^{2}+|z_{2}-\varsigma_{2}|^{2})^{2}}g(\varsigma _{1},\varsigma_{2})\, d_{{\mathbb{C}^{2}}_{\varsigma_{1},\varsigma _{2}}}}, \\& {}^{\psi} T_{\mathbb{C}^{2}}^{(2)}[g](z_{1},z_{2}) = {\frac{1}{2\pi ^{2}}\int_{\mathbb{C}^{2}}\frac{(\bar{z}_{2}-\bar{\varsigma}_{2})}{ (|z_{1}-\varsigma_{1}|^{2}+|z_{2}-\varsigma_{2}|^{2})^{2}}g(\varsigma _{1},\varsigma_{2})\, d_{{\mathbb{C}^{2}}_{\varsigma_{1},\varsigma_{2}}}}. \end{aligned}$$

Theorem 3.1

Let E be as stated above. If \(g\in L_{p}(\mathbb {C}^{2},\mathbb{H})\), \(4< p<+\infty\), then we have
  1. (1)

    \(|{}^{\psi} T_{\mathbb{C}^{2}}[g](\xi)|\leq M_{1}(p)\|g\|_{L_{p}}\), \(\xi \in\mathbb{C}^{2}\cong\mathbb{R}^{4}\),

     
  2. (2)

    \({}^{\psi} T_{\mathbb{C}^{2}}[g]\in C_{\beta}(\mathbb{C}^{2},\mathbb {H})\cong C_{\beta}(\mathbb{R}^{4},\mathbb{H})\) (\(0<\beta=1-4/p<1\)),

     
  3. (3)

    \({}^{\psi} D({}^{\psi} T_{\mathbb{C}^{2}}[g])(\xi)=g(\xi)\), \(\xi\in\mathbb {C}^{2}\cong\mathbb{R}^{4}\).

     

Proof

(1) First, we have
$$\begin{aligned} \bigl\vert {}^{\psi} T_{\mathbb{C}^{2}}[g](\xi)\bigr\vert \leq& { \frac{1}{2\pi^{2}}\biggl\vert \int_{E}\frac{(\bar{z}_{1}-\bar{\varsigma}_{1})+(\bar{z}_{2}-\bar{\varsigma}_{2})j}{ (|z_{1}-\varsigma_{1}|^{2}+|z_{2}-\varsigma_{2}|^{2})^{2}}g( \eta )\, dE_{\eta}\biggr\vert } \\ &{}+ {\frac{1}{2\pi^{2}}\biggl\vert \int_{\mathbb{C}^{2}-E} \frac{(\bar {z}_{1}-\bar{\varsigma}_{1})+(\bar{z}_{2}-\bar{\varsigma}_{2})j}{ (|z_{1}-\varsigma_{1}|^{2}+|z_{2}-\varsigma_{2}|^{2})^{2}}g(\eta )\, d_{{(\mathbb{C}^{2}-E)}_{\eta}}\biggr\vert } \\ =&O_{1}+O_{2}. \end{aligned}$$
By the Hölder inequality, we have
$$\begin{aligned} O_{1} =& {\frac{1}{2\pi^{2}}\biggl\vert \int_{E} \frac{(\bar{z}_{1}-\bar {\varsigma}_{1})+(\bar{z}_{2}-\bar{\varsigma}_{2})j}{ (|z_{1}-\varsigma_{1}|^{2}+|z_{2}-\varsigma_{2}|^{2})^{2}}g(\eta )\, dE_{\eta}\biggr\vert } \\ \leq& {\frac{1}{2\pi^{2}}\int_{E}\frac{|z_{1}-\varsigma _{1}|+|z_{2}-\varsigma_{2}|}{|\xi-\eta|^{4}}\bigl\vert g(\eta)\bigr\vert \, dE_{\eta}} \\ \leq& {\frac{1}{\pi^{2}}\int_{E}\frac{1}{|\xi-\eta|^{3}}\bigl\vert g(\eta )\bigr\vert \, dE_{\eta}}\leq{\frac{1}{\pi^{2}}\|g \|_{L_{p}} \biggl(\int_{E}\frac {1}{|\xi-\eta|^{3q}}\, dE_{\eta}\biggr)^{\frac{1}{q}}}, \end{aligned}$$
where \(1/p+1/q=1\).
When \(\xi\in\bar{E}\), because of \(4< p<+\infty\), \(1/p+1/q=1\), we have \(1< q<4/3\). Thus \(\int_{E}\frac{1}{|\xi-\eta|^{3q}}\, dE_{\eta}\) is bounded. Hence we have
$${ \biggl(\int_{E}\frac{1}{|\xi-\eta|^{3q}}\, dE_{\eta}\biggr)^{\frac {1}{q}}\leq J_{1}}. $$
When \(\xi\in\mathbb{C}^{2}-\bar{E}\), by Lemma 2.1 and the generalized spherical coordinate, we have
$$ { \biggl(\int_{E}\frac{1}{|\xi-\eta|^{3q}}\, dE_{\eta}\biggr)^{\frac {1}{q}}}\leq{J_{2} \biggl(\int_{d_{0}}^{d_{0}+2} \rho^{3-3q}\, d\rho \biggr)^{\frac{1}{q}}}\leq J_{3}, $$
where \(\rho=|\xi-\eta|\), \(d_{0}=d(\xi, \bar{E})\).
Therefore, for \(\forall\xi\in\mathbb{C}^{2}\cong\mathbb{R}^{4}\), we can obtain
$$O_{1}\leq M'_{1}(p)\|g\|_{L_{p}},\quad \xi\in\mathbb{C}^{2}\cong\mathbb{R}^{4}, $$
where \(M'_{1}(p)=\max\{J_{1}/\pi^{2},J_{3}/\pi^{2}\}\).
For \(\eta\in\mathbb{C}^{2}-E\), we suppose that \(\eta=\frac{\bar {\eta}'}{|\eta'|^{2}}\), then we have \(|\eta'|\leq1\). Thus by \(g\in L_{p}(\mathbb{C}^{2},\mathbb{H})\), similar to the proof as stated above, we have
$$O_{2}\leq M''_{1}(p)\|g \|_{L_{p}}. $$
Therefore, we obtain
$$\bigl\vert {}^{\psi} T_{\mathbb{C}^{2}}[g](\xi)\bigr\vert \leq M_{1}(p)\|g\|_{L_{p}},\quad \xi\in \mathbb{C}^{2} \cong\mathbb{R}^{4}, $$
where \(M_{1}(p)=M'_{1}(p)+M''_{1}(p)\).
(2) For arbitrary \(\xi',\xi''\in\mathbb{C}^{2}\cong\mathbb{R}^{4}\), \(\xi '\neq\xi''\), we have
$$\begin{aligned}& \bigl\vert {}^{\psi} T_{\mathbb{C}^{2}}[g]\bigl(\xi'\bigr)- {{}^{\psi} T_{\mathbb {C}^{2}}}[g]\bigl(\xi''\bigr) \bigr\vert \\& \quad = {\frac{1}{2\pi^{2}}\biggl\vert \int_{\mathbb{C}^{2}} \biggl[ \frac{(\bar {z}_{1}'-\bar{\varsigma}_{1})+(\bar{z}_{2}'-\bar{\varsigma}_{2})j}{|\xi '-\eta|^{4}} -\frac{(\bar{z}_{1}''-\bar{\varsigma}_{1})+(\bar{z}_{2}''-\bar{\varsigma }_{2})j}{|\xi''-\eta|^{4}} \biggr]g(\eta)\, d_{{\mathbb{C}^{2}}_{\eta}} \biggr\vert } \\& \quad \leq {\frac{1}{2\pi^{2}}\biggl\vert \int_{E} \biggl[\frac{(\bar{z}_{1}'-\bar {\varsigma}_{1})+(\bar{z}_{2}'-\bar{\varsigma}_{2})j}{|\xi'-\eta|^{4}} -\frac{(\bar{z}_{1}''-\bar{\varsigma}_{1})+(\bar{z}_{2}''-\bar{\varsigma }_{2})j}{|\xi''-\eta|^{4}} \biggr]g(\eta)\, dE_{\eta}\biggr\vert } \\& \qquad {}+ {\frac{1}{2\pi^{2}}\biggl\vert \int_{\mathbb{C}^{2}-E} \biggl[\frac{(\bar {z}_{1}'-\bar{\varsigma}_{1})+(\bar{z}_{2}'-\bar{\varsigma}_{2})j}{|\xi '-\eta|^{4}} -\frac{(\bar{z}_{1}''-\bar{\varsigma}_{1})+(\bar{z}_{2}''-\bar{\varsigma }_{2})j}{|\xi''-\eta|^{4}} \biggr]g(\eta)\, d_{{(\mathbb{C}^{2}-E)}_{\eta}} \biggr\vert } \\& \quad = O_{3}+O_{4} \end{aligned}$$
and
$$\begin{aligned} O_{3} \leq& {\frac{1}{2\pi^{2}}\biggl\vert \int _{E} \biggl[\frac{(\bar {z}_{1}'-\bar{\varsigma}_{1})}{|\xi'-\eta|^{4}}-\frac{(\bar {z}_{1}''-\bar{\varsigma}_{1})}{|\xi''-\eta|^{4}} \biggr]g( \eta)\, dE_{\eta}\biggr\vert } \\ &{} + {\frac{1}{2\pi^{2}}\biggl\vert \int_{E} \biggl[ \frac{(\bar{z}_{2}'-\bar {\varsigma}_{2})j}{|\xi'-\eta|^{4}}-\frac{(\bar{z}_{2}''-\bar{\varsigma }_{2})j}{|\xi''-\eta|^{4}} \biggr]g(\eta)\, dE_{\eta}\biggr\vert } \\ =&\bigl\vert {}^{\psi} T_{E}^{(1)}[g] \bigl(z_{1}',z_{2}' \bigr)-{{}^{\psi } T_{E}^{(1)}}[g]\bigl(z_{1}'',z_{2}'' \bigr)\bigr\vert +\bigl\vert {}^{\psi } T_{E}^{(2)}[g] \bigl(z_{1}',z_{2}' \bigr)-{{}^{\psi } T_{E}^{(2)}}[g]\bigl(z_{1}'',z_{2}'' \bigr)\bigr\vert \\ =&I_{1}+I_{2}. \end{aligned}$$
(3.3)
Since
$$\begin{aligned}& {\biggl\vert \frac{\bar{z}_{1}'-\bar{\varsigma}_{1}}{|\xi'-\eta|^{4}}-\frac {\bar{z}_{1}''-\bar{\varsigma}_{1}}{|\xi''-\eta|^{4}}\biggr\vert } \\& \quad = \biggl\vert \frac{(\bar{z}_{1}'-\bar{\varsigma}_{1})|\xi''-\eta |^{2}(|z_{1}''-\varsigma_{1}|^{2}+|z_{2}''-\varsigma_{2}|^{2})}{|\xi '-\eta|^{4}|\xi''-\eta|^{4}} \\& \qquad {} - \frac{(|z_{1}'-\varsigma_{1}|^{2}+|z_{2}'-\varsigma _{2}|^{2})|\xi'-\eta|^{2}(\bar{z}_{1}''-\bar{\varsigma}_{1})}{|\xi'-\eta |^{4}|\xi''-\eta|^{4}}\biggr\vert \\& \quad \leq {\frac{\vert (\bar{z}_{1}'-\bar{\varsigma}_{1})|\xi''-\eta |^{2}|z_{1}''-\varsigma_{1}|^{2}-|z_{1}'-\varsigma_{1}|^{2}|\xi'-\eta |^{2}(\bar{z}_{1}''-\bar{\varsigma}_{1})\vert }{|\xi'-\eta|^{4}|\xi ''-\eta|^{4}}} \\& \qquad {}+ {\frac{\vert (\bar{z}_{1}'-\bar{\varsigma}_{1})|\xi''-\eta |^{2}|z_{2}''-\varsigma_{2}|^{2}-|z_{2}'-\varsigma_{2}|^{2}|\xi'-\eta |^{2}(\bar{z}_{1}''-\bar{\varsigma}_{1})\vert }{|\xi'-\eta|^{4}|\xi ''-\eta|^{4}}} \\& \quad = \mathcal{K}_{1}\bigl(\xi',\xi'', \eta\bigr)+\mathcal{K}_{2}\bigl(\xi',\xi'', \eta\bigr). \end{aligned}$$
(3.4)
Thus
$$ I_{1}\leq{\frac{1}{2\pi^{2}}\int_{E} \mathcal{K}_{1}\bigl(\xi',\xi'', \eta \bigr)\bigl\vert g(\eta)\bigr\vert \, dE_{\eta}}+ { \frac{1}{2\pi^{2}}\int_{E}\mathcal{K}_{2}\bigl( \xi',\xi '',\eta\bigr)\bigl\vert g(\eta) \bigr\vert \, dE_{\eta}}=I_{1_{1}}+I_{1_{2}}. $$
(3.5)
Again, because of
$$\begin{aligned}& \mathcal{K}_{1}\bigl(\xi', \xi'',\eta\bigr) \\& \quad = {\frac{\vert (\bar{z}_{1}'-\bar{\varsigma}_{1})|\xi''-\eta |^{2}|z_{1}''-\varsigma_{1}|^{2}-|z_{1}'-\varsigma_{1}|^{2}|\xi'-\eta |^{2}(\bar{z}_{1}''-\bar{\varsigma}_{1})\vert }{|\xi'-\eta|^{4}|\xi ''-\eta|^{4}}} \\& \quad = {\frac{\vert (\bar{z}_{1}'-\bar{\varsigma}_{1})|\xi''-\eta |^{2}(z_{1}''-\varsigma_{1})(\bar{z}_{1}''-\bar{\varsigma}_{1}) -(\bar{z}_{1}'-\bar{\varsigma}_{1})(z_{1}'-\varsigma_{1})|\xi'-\eta |^{2}(\bar{z}_{1}''-\bar{\varsigma}_{1})\vert }{|\xi'-\eta|^{4}|\xi ''-\eta|^{4}}} \\& \quad = {\frac{|\bar{z}_{1}'-\bar{\varsigma}_{1}|\vert |\xi''-\eta |^{2}(z_{1}''-\varsigma_{1}) -(z_{1}'-\varsigma_{1})|\xi'-\eta|^{2}\vert |\bar{z}_{1}''-\bar {\varsigma}_{1}|}{|\xi'-\eta|^{4}|\xi''-\eta|^{4}}} \\& \quad \leq {\frac{|\bar{z}_{1}'-\bar{\varsigma}_{1}| [|\xi''-\eta |^{2}|z_{1}''-z_{1}'| +\vert |\xi''-\eta|^{2}-|\xi'-\eta|^{2}\vert |z_{1}'-\varsigma _{1}| ]|\bar{z}_{1}''-\bar{\varsigma}_{1}|}{|\xi'-\eta|^{4}|\xi ''-\eta|^{4}}} \\& \quad \leq {\frac{|\bar{z}_{1}'-\bar{\varsigma}_{1}| [|\xi''-\eta |^{2}|z_{1}''-z_{1}'| +|\xi''-\xi'| (|\xi''-\eta|+|\xi'-\eta| )|z_{1}'-\varsigma _{1}| ]|\bar{z}_{1}''-\bar{\varsigma}_{1}|}{|\xi'-\eta|^{4}|\xi ''-\eta|^{4}}} \\& \quad \leq {\frac{|\xi'-\eta| [|\xi''-\eta|^{2}|\xi''-\xi'| +|\xi''-\xi'| (|\xi''-\eta|+|\xi'-\eta| )|\xi'-\eta| ]|\xi ''-\eta|}{|\xi'-\eta|^{4}|\xi''-\eta|^{4}}} \\& \quad = {\bigl\vert \xi'-\xi''\bigr\vert \sum_{l=1}^{3}\frac{1}{|\xi'-\eta|^{4-l}|\xi''-\eta |^{l}}}. \end{aligned}$$
(3.6)
Thus by (3.5), (3.6), and the Hölder inequality, we have
$$\begin{aligned} \begin{aligned}[b] I_{1_{1}}&\leq {\frac{1}{2\pi^{2}}\int _{E}\sum_{l=1}^{3} \frac{1}{|\xi '-\eta|^{4-l}|\xi''-\eta|^{l}}\bigl\vert g(\eta)\bigr\vert \, dE_{\eta}\bigl\vert \xi'-\xi''\bigr\vert } \\ &\leq {\frac{1}{2\pi^{2}}\|g\|_{L_{p}}\bigl\vert \xi'- \xi''\bigr\vert \sum_{l=1}^{3} \biggl(\int_{E}\frac{1}{|\xi'-\eta|^{(4-l)q}|\xi''-\eta|^{lq}}\, dE_{\eta}\biggr)^{\frac{1}{q}}} \\ &= {\frac{1}{2\pi^{2}}\|g\|_{L_{p}}\bigl\vert \xi'- \xi''\bigr\vert \sum_{l=1}^{3} \bigl(I_{1_{1}}^{(l)}\bigr)^{\frac{1}{q}}}. \end{aligned} \end{aligned}$$
(3.7)
Suppose \(\alpha_{l}=(4-l)q\), \(\beta_{l}=lq\) (\(l=1,2,3\)). By \(1< q<4/3\), we know
$$0<\alpha_{l},\beta_{l}<4, \qquad \alpha_{l}+ \beta_{l}=4q>4. $$
Thus, by Lemma 2.4, for \(l=1,2,3\), we have
$$\begin{aligned} I_{1_{1}}^{(l)} =& {\int_{E} \frac{1}{|\xi'-\eta|^{(4-l)q}|\xi''-\eta |^{lq}}\, dE_{\eta}} \\ \leq& M_{0}(\alpha_{l},\beta_{l})\bigl\vert \xi'-\xi''\bigr\vert ^{4-\alpha_{l}-\beta _{l}} \\ =&M_{0}(\alpha_{l},\beta_{l})\bigl\vert \xi'-\xi''\bigr\vert ^{4-4q}. \end{aligned}$$
(3.8)
Thus, by inequalities (3.7) and (3.8), we obtain
$$\begin{aligned} I_{1_{1}} \leq& {\frac{1}{2\pi^{2}}\|g\|_{L_{p}} \bigl\vert \xi'-\xi''\bigr\vert \sum _{l=1}^{3}\bigl(M_{0}( \alpha_{l},\beta_{l})\bigl\vert \xi'- \xi''\bigr\vert ^{4-4q}\bigr)^{\frac {1}{q}}} \\ \leq&J_{4} {\|g\|_{L_{p}}\bigl\vert \xi'- \xi''\bigr\vert ^{\beta}}, \end{aligned}$$
(3.9)
where \(0<\beta=1+(4-4q)/q=1-4/p<1\).

Next, we discuss \(I_{1_{2}}\).

For arbitrary \(\xi',\xi''\in\mathbb{C}^{2}\cong\mathbb{R}^{4}\), \(\xi'\neq \xi''\), we suppose \(|\xi'-\xi''|=\delta\) and construct a sphere \(B(\xi ',3\delta)\) with the center at \(\xi'\) and radius 3δ. Next we discuss \(I_{1_{2}}\) in two cases.

(i) If \(B(\xi',3\delta)\cap\bar{E}\neq\emptyset\), then we may suppose \(B(\xi',3\delta)\cap\bar{E}=\Omega_{1}\), \(\bar{E}-\Omega_{1}=\Omega_{2}\). Thus we have
$$\begin{aligned} I_{1_{2}} =& {\frac{1}{2\pi^{2}}\int_{E} \mathcal{K}_{2}\bigl(\xi',\xi'', \eta \bigr)\bigl\vert g(\eta)\bigr\vert \, dE_{\eta}} \\ =& {\frac{1}{2\pi^{2}}\int_{\Omega_{1}}\mathcal{K}_{2} \bigl(\xi',\xi'',\eta \bigr)\bigl\vert g( \eta)\bigr\vert \, d{\Omega_{1}}_{\eta}} \\ &+ {\frac{1}{2\pi^{2}}\int_{\Omega_{2}}\mathcal{K}_{2} \bigl(\xi',\xi'',\eta \bigr)\bigl\vert g( \eta)\bigr\vert \, d{\Omega_{2}}_{\eta}} \\ =&I_{1_{2}}^{(1)}+I_{1_{2}}^{(2)}. \end{aligned}$$
(3.10)
Again, by inequality (3.4), the Hölder inequality, and the use of a local generalized spherical coordinate, we have
$$\begin{aligned} I_{1_{2}}^{(1)} \leq& {\frac{1}{2\pi^{2}}\int _{\Omega_{1}}\frac{|\bar {z}_{1}'-\bar{\varsigma}_{1}||\xi''-\eta|^{2}|z_{2}''-\varsigma _{2}|^{2}}{|\xi'-\eta|^{4}|\xi''-\eta|^{4}}\bigl\vert g(\eta)\bigr\vert \, d{ \Omega_{1}}_{\eta }} \\ &{}+ {\frac{1}{2\pi^{2}}\int_{\Omega_{1}}\frac{|z_{2}'-\varsigma _{2}|^{2}|\xi'-\eta|^{2}|\bar{z}_{1}''-\bar{\varsigma}_{1}|}{|\xi'-\eta |^{4}|\xi''-\eta|^{4}}\bigl\vert g(\eta)\bigr\vert \, d{\Omega_{1}}_{\eta}} \\ \leq& {\frac{1}{2\pi^{2}}\int_{\Omega_{1}}\frac{1}{|\xi'-\eta |^{3}}\bigl\vert g(\eta)\bigr\vert \, d{\Omega_{1}}_{\eta}}+ { \frac{1}{2\pi^{2}}\int_{\Omega _{1}}\frac{1}{|\xi''-\eta|^{3}}\bigl\vert g( \eta)\bigr\vert \, d{\Omega_{1}}_{\eta}} \\ \leq&J_{5}\|g\|_{L_{p}} { \biggl[ \biggl(\int _{\Omega_{1}}\frac{1}{|\xi '-\eta|^{3q}}\, d{\Omega_{1}}_{\eta} \biggr)^{\frac{1}{q}}+ \biggl(\int_{\Omega_{1}}\frac{1}{|\xi''-\eta|^{3q}}\, d{\Omega_{1}}_{\eta} \biggr)^{\frac{1}{q}} \biggr]} \\ \leq&J_{6}\|g\|_{L_{p}} { \biggl[ \biggl(\int _{0}^{3\delta}\frac{1}{\rho ^{3q-3}}\, d\rho \biggr)^{\frac{1}{q}}+ \biggl(\int_{0}^{4\delta} \frac{1}{\rho ^{3q-3}}\, d\rho \biggr)^{\frac{1}{q}} \biggr]} \\ \leq&J_{7}\|g\|_{L_{p}}\delta^{\frac{4-3q}{q}}=J_{7} \|g\|_{L_{p}}\bigl\vert \xi '-\xi'' \bigr\vert ^{1-\frac{4}{p}} \\ =&J_{7}\|g\|_{L_{p}}\bigl\vert \xi'- \xi''\bigr\vert ^{\beta}. \end{aligned}$$
(3.11)
In addition,
$$\begin{aligned}& \mathcal{K}_{2}\bigl(\xi',\xi'', \eta\bigr) \\& \quad = {\frac{\vert (\bar{z}_{1}'-\bar{\varsigma}_{1})|\xi''-\eta |^{2}|z_{2}''-\varsigma_{2}|^{2}-|z_{2}'-\varsigma_{2}|^{2}|\xi'-\eta |^{2}(\bar{z}_{1}''-\bar{\varsigma}_{1})\vert }{|\xi'-\eta|^{4}|\xi ''-\eta|^{4}}} \\& \quad = {\frac{\vert (\bar{z}_{1}''-\bar{\varsigma}_{1}+\bar{z}_{1}'-\bar {z}_{1}'')|\xi''-\eta|^{2}|z_{2}''-\varsigma_{2}|^{2}-|z_{2}'-\varsigma _{2}|^{2}|\xi'-\eta|^{2}(\bar{z}_{1}''-\bar{\varsigma}_{1})\vert }{|\xi '-\eta|^{4}|\xi''-\eta|^{4}}} \\& \quad = \biggl\vert \frac{(\bar{z}_{1}''-\bar{\varsigma}_{1})|\xi''-\eta |^{2}|z_{2}''-\varsigma_{2}|^{2}+(\bar{z}_{1}'-\bar{z}_{1}'')|\xi''-\eta |^{2}|z_{2}''-\varsigma_{2}|^{2}}{|\xi'-\eta|^{4}|\xi''-\eta|^{4}} \\& \qquad {} - \frac{(\bar{z}_{1}''-\bar{\varsigma}_{1})|z_{2}'-\varsigma _{2}|^{2}|\xi'-\eta|^{2}}{|\xi'-\eta|^{4}|\xi''-\eta|^{4}}\biggr\vert \\& \quad \leq {\frac{|z_{1}''-\varsigma_{1}|\vert |\xi''-\eta |^{2}|z_{2}''-\varsigma_{2}|^{2}-|z_{2}'-\varsigma_{2}|^{2}|\xi'-\eta |^{2}\vert }{|\xi'-\eta|^{4}|\xi''-\eta|^{4}}} \\& \qquad {} + {\frac{|z_{1}'-z_{1}''||\xi''-\eta|^{2}|z_{2}''-\varsigma _{2}|^{2}}{|\xi'-\eta|^{4}|\xi''-\eta|^{4}}}. \end{aligned}$$
Again, because of
$$\begin{aligned}& \bigl\vert \bigl\vert \xi''-\eta\bigr\vert ^{2}\bigl\vert z_{2}''- \varsigma_{2}\bigr\vert ^{2}-\bigl\vert z_{2}'-\varsigma _{2}\bigr\vert ^{2} \bigl\vert \xi'-\eta\bigr\vert ^{2}\bigr\vert \\& \quad = \bigl\vert \bigl\vert \xi''-\eta\bigr\vert ^{2}\bigl\vert z_{2}''- \varsigma_{2}\bigr\vert ^{2}-\bigl\vert \xi''-\eta \bigr\vert ^{2}\bigl\vert z_{2}'-\varsigma_{2}\bigr\vert ^{2} \\& \qquad {}+\bigl\vert \xi''-\eta\bigr\vert ^{2}\bigl\vert z_{2}'-\varsigma_{2} \bigr\vert ^{2}-\bigl\vert z_{2}'-\varsigma _{2}\bigr\vert ^{2}\bigl\vert \xi'-\eta\bigr\vert ^{2}\bigr\vert \\& \quad \leq \bigl\vert \xi''-\eta\bigr\vert ^{2}\bigl\vert \bigl\vert z_{2}''- \varsigma _{2}\bigr\vert ^{2}-\bigl\vert z_{2}'-\varsigma_{2}\bigr\vert ^{2} \bigr\vert +\bigl\vert z_{2}'-\varsigma _{2} \bigr\vert ^{2}\bigl\vert \bigl\vert \xi''- \eta\bigr\vert ^{2}-\bigl\vert \xi'-\eta\bigr\vert ^{2}\bigr\vert \\& \quad \leq \bigl\vert \xi''-\eta\bigr\vert ^{2}\bigl\vert z_{2}''-z_{2}' \bigr\vert \bigl(\bigl\vert z_{2}''- \varsigma _{2}\bigr\vert +\bigl\vert z_{2}'- \varsigma_{2}\bigr\vert \bigr) +\bigl\vert z_{2}'-\varsigma_{2} \bigr\vert ^{2}\bigl\vert \xi''- \xi'\bigr\vert \bigl(\bigl\vert \xi''- \eta\bigr\vert +\bigl\vert \xi'-\eta \bigr\vert \bigr) \\& \quad \leq {\bigl\vert \xi''-\xi'\bigr\vert \sum_{m=0}^{3}\bigl\vert \xi''-\eta\bigr\vert ^{3-m}\bigl\vert \xi'-\eta\bigr\vert ^{m}}. \end{aligned}$$
Thus, we have
$$\begin{aligned}& \mathcal{K}_{2}\bigl(\xi', \xi'',\eta\bigr) \\& \quad \leq {\frac{|\xi''-\eta||\xi''-\xi'|\sum_{m=0}^{3}|\xi''-\eta |^{3-m}|\xi'-\eta|^{m}+|\xi'-\xi''||\xi''-\eta|^{2}|\xi''-\eta |^{2}}{|\xi'-\eta|^{4}|\xi''-\eta|^{4}}} \\& \quad = {\bigl\vert \xi'-\xi''\bigr\vert \Biggl(\frac{2}{|\xi'-\eta|^{4}}+\sum_{l=1}^{3} \frac {1}{|\xi'-\eta|^{4-l}|\xi''-\eta|^{l}} \Biggr)}. \end{aligned}$$
(3.12)
So by (3.10) and (3.12), we obtain
$$\begin{aligned} I_{1_{2}}^{(2)} =& {\frac{1}{2\pi^{2}}\int _{\Omega_{2}}\mathcal {K}_{2}\bigl(\xi', \xi'',\eta\bigr)\bigl\vert g(\eta)\bigr\vert \, d{ \Omega_{2}}_{\eta}} \\ \leq& {\bigl\vert \xi'-\xi''\bigr\vert \frac{1}{\pi^{2}}\int_{\Omega_{2}}\frac{|g(\eta )|}{|\xi'-\eta|^{4}}\, d{ \Omega_{2}}_{\eta}} \\ &{}+ {\bigl\vert \xi'-\xi''\bigr\vert \frac{1}{2\pi^{2}}\int_{\Omega_{2}}\sum _{l=1}^{3}\frac {\vert g(\eta)\vert }{|\xi'-\eta|^{4-l}|\xi''-\eta|^{l}}\, d{\Omega_{2}}_{\eta}} \\ =&{I_{1_{2}}^{(2)}}'+{I_{1_{2}}^{(2)}}''. \end{aligned}$$
(3.13)
First, similar to the method estimating \(I_{1_{1}}\), we have
$$ {I_{1_{2}}^{(2)}}''\leq J_{8}\|g\|_{L_{p}}\bigl\vert \xi'- \xi''\bigr\vert ^{\beta}. $$
(3.14)
Second, when \(\eta\in\Omega_{2}\), \(|\xi'-\eta|>3\delta\), \(|\xi''-\eta |>2\delta\). Thus we have
$$ \begin{aligned} &2\delta\leq\bigl\vert \xi'-\eta\bigr\vert -\bigl\vert \xi'-\xi''\bigr\vert \leq\bigl\vert \xi''-\eta\bigr\vert \leq \bigl\vert \xi'-\xi''\bigr\vert +\bigl\vert \xi '-\eta\bigr\vert =\delta+\bigl\vert \xi'-\eta\bigr\vert , \\ &\delta\leq\bigl\vert \xi''-\eta\bigr\vert -\bigl\vert \xi''-\xi'\bigr\vert \leq\bigl\vert \xi'-\eta\bigr\vert \leq\bigl\vert \xi'- \xi''\bigr\vert +\bigl\vert \xi ''- \eta\bigr\vert =\delta+\bigl\vert \xi''-\eta\bigr\vert . \end{aligned} $$
(3.15)
So we know
$$ \frac{1}{2}\leq\frac{|\xi'-\eta|}{|\xi''-\eta|}\leq\frac{3}{2}. $$
(3.16)
Thus, by (3.16), the Hölder inequality, and Lemma 2.4, we can obtain
$$\begin{aligned} {I_{1_{2}}^{(2)}}' =& {\bigl\vert \xi'-\xi''\bigr\vert \frac{1}{\pi^{2}} \int_{\Omega_{2}}\frac{\vert g(\eta)\vert }{|\xi '-\eta|^{4}}\, d{\Omega_{2}}_{\eta}} \\ \leq& {\bigl\vert \xi'-\xi''\bigr\vert \frac{1}{\pi^{2}}\int_{\Omega_{2}}\frac{2|g(\eta )|}{|\xi'-\eta|^{3}|\xi''-\eta|}\, d{ \Omega_{2}}_{\eta}} \\ \leq& {J_{9}\|g\|_{L_{p}}\bigl\vert \xi'- \xi''\bigr\vert ^{1-\frac{4}{p}}} \\ =& {J_{9}\|g\|_{L_{p}}\bigl\vert \xi'- \xi''\bigr\vert ^{\beta}}. \end{aligned}$$
(3.17)
So, by (3.13), (3.14), and (3.17), we have
$$ I_{1_{2}}^{(2)}\leq J_{10}\|g\|_{L_{p}}\bigl\vert \xi'-\xi''\bigr\vert ^{\beta}. $$
(3.18)
Therefore, by (3.10), (3.11), and (3.18), we can obtain
$$ I_{1_{2}}\leq J_{11}\|g\|_{L_{p}}\bigl\vert \xi'-\xi''\bigr\vert ^{\beta}. $$
(3.19)
(ii) If \(B(\xi',3\delta)\cap\bar{E}=\emptyset\), then for arbitrary \(\eta\in E\), we have \(|\xi'-\eta|>3\delta\), \(|\xi''-\eta|>2\delta\). Thus similar to the method estimating \(I_{1_{2}}^{(2)}\), we have
$$ I_{1_{2}}\leq J_{12}\|g\|_{L_{p}}\bigl\vert \xi'-\xi''\bigr\vert ^{\beta}. $$
(3.20)
So, by (3.19) and (3.20), we have
$$ I_{1_{2}}\leq J_{13}\|g\|_{L_{p}}\bigl\vert \xi'-\xi''\bigr\vert ^{\beta}, \quad \xi',\xi''\in \mathbb{R}^{4} \cong\mathbb{C}^{2}, $$
(3.21)
where \(J_{13}=\max\{J_{11},J_{12}\}\).
Thus, to sum up, by (3.5), (3.9), and (3.21), we obtain
$$ I_{1}\leq J_{14}\|g\|_{L_{p}}\bigl\vert \xi'-\xi''\bigr\vert ^{\beta}, \quad \xi',\xi''\in\mathbb {R}^{4}\cong\mathbb{C}^{2}. $$
(3.22)
Similarly, we have
$$ I_{2}\leq J_{15}\|g\|_{L_{p}}\bigl\vert \xi'-\xi''\bigr\vert ^{\beta}, \quad \xi',\xi''\in\mathbb {R}^{4}\cong\mathbb{C}^{2}. $$
(3.23)
So, by (3.3), (3.22), and (3.23), we obtain
$$ O_{3}\leq M'_{2}(p)\|g\|_{L_{p}}\bigl\vert \xi'-\xi''\bigr\vert ^{\beta},\quad \xi',\xi''\in \mathbb{R}^{4}\cong\mathbb{C}^{2}, $$
(3.24)
where \(M'_{2}(p)=J_{14}+J_{15}\).
For \(\eta\in\mathbb{C}^{2}-E\), we suppose that \(\eta=\frac{\bar {\eta}'}{|\eta'|^{2}}\), then we have \(|\eta'|\leq1\). Thus by \(g\in L_{p}(\mathbb{C}^{2},\mathbb{H})\), similar to the proof as stated above, we have
$$O_{4}\leq M''_{2}(p)\|g \|_{L_{p}}\bigl\vert \xi'-\xi'' \bigr\vert ^{\beta},\quad \xi',\xi'' \in \mathbb{R}^{4}\cong\mathbb{C}^{2}. $$
Therefore, for arbitrary \(\xi',\xi''\in\mathbb{C}^{2}\cong\mathbb {R}^{4}\), \(\xi'\neq\xi''\), we obtain
$$\bigl\vert {}^{\psi} T_{\mathbb{C}^{2}}[g]\bigl(\xi'\bigr)- {{}^{\psi} T_{\mathbb{C}^{2}}}[g]\bigl(\xi ''\bigr) \bigr\vert \leq M_{2}(p)\|g\|_{L_{p}}\bigl\vert \xi'-\xi''\bigr\vert ^{\beta}, \quad \xi',\xi''\in \mathbb{R}^{4} \cong\mathbb{C}^{2}, $$
where \(M_{2}(p)=M'_{2}(p)+M''_{2}(p)\), i.e. \({}^{\psi} T_{\mathbb {C}^{2}}[g]\in C_{\beta}(\mathbb{C}^{2},\mathbb{H})\cong C_{\beta }(\mathbb{R}^{4},\mathbb{H})\) (\(0<\beta<1\)).
(3) For arbitrary \(\varphi\in C_{0}^{\infty}(\mathbb{C}^{2},\mathbb {H})\), there exists a bounded closed set \(Q\subset\mathbb{C}^{2}\), such that \(\overline{\operatorname{supp}\varphi}\subset\subset Q\). Thus, by \(T_{\mathbb {C}^{2}}[g](\infty)=0\), Definition 2.1, Lemma 2.3, and the Fubini theorem, we have
$$\begin{aligned}& {\int_{\mathbb{C}^{2}}[\varphi]{{}^{\psi} D}(\xi){{}^{\psi} T_{\mathbb {C}^{2}}[g]}( \xi)\, d_{{\mathbb{C}^{2}}_{\xi}}} \\& \quad = {\lim_{d\rightarrow\infty}\int_{Q}[ \varphi]{{}^{\psi} D}(\xi){{}^{\psi } T_{\mathbb{C}^{2}}[g]}(\xi)\, dQ_{\xi}} \\& \quad = - {\lim_{d\rightarrow\infty}\int_{Q}[ \varphi]{{}^{\psi} D}(\xi)\int_{\mathbb{C}^{2}}\mathcal{K}_{\psi}( \eta-\xi)g(\eta)\, d_{{\mathbb {C}^{2}}_{\eta}}\, dQ_{\xi}} \\& \quad = {\lim_{d\rightarrow\infty}\int_{\mathbb{C}^{2}}\int _{Q}[\varphi ]{{}^{\psi} D}(\xi)\mathcal{K}_{\psi}( \xi-\eta)\, dQ_{\xi}g(\eta)\, d_{{\mathbb {C}^{2}}_{\eta}}} \\& \quad = {\lim_{d\rightarrow\infty}\int_{\mathbb{C}^{2}} \biggl[\int _{\partial Q}\varphi(\xi)\, d\sigma_{\xi} \mathcal{K}_{\psi}(\xi-\eta)-\varphi(\eta ) \biggr]g(\eta)\, d_{{\mathbb{C}^{2}}_{\eta}}} \\& \quad = - {\int_{\mathbb{C}^{2}}\varphi(\eta)g(\eta)\, d_{{\mathbb{C}^{2}}_{\eta}}} =- {\int_{\mathbb{C}^{2}}\varphi(\xi)g(\xi)\, d_{{\mathbb{C}^{2}}_{\xi}}}, \end{aligned}$$
where \(d=\sup_{\xi',\xi''\in Q}|\xi'-\xi''|\). Hence, in the sense of generalized derivatives, we have \({}^{\psi} D({}^{\psi} T_{\mathbb {C}^{2}}[g])(\xi)=g(\xi)\). □

Remark 3.1

By the process of proof in Theorem 3.1, it is easy to show that \({}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g], {}^{\psi} T_{\mathbb {C}^{2}}^{(2)}[g]\in C_{\beta}(\mathbb{C}^{2},\mathbb{C})\cong C_{\beta }(\mathbb{R}^{4},\mathbb{C})\) (\(0<\beta<1\)).

4 Integral representation of solution of the mixed boundary value problem for the inhomogeneous Cimmino system

In this section, let \(E=E_{1}\times E_{2}\) be a bounded domain, \(\partial E_{m}\) (\(m=1,2\)) be simply closed curves in the \(z_{m}\)-plane, and \(\partial E_{m}\in C_{\mu}^{(1)}\), \(0<\mu<1\). Without loss of generality, we may consider \(\partial E_{m}=\{z_{m}||z_{m}|=1\}\) and \(E_{m}=\{z_{m}||z_{m}|<1\}\) (\(m=1,2\)). Denote by \(E_{m}^{+}\), \(E_{m}^{-}\) the inner domain and outer domain of \(\partial E_{m}\), respectively, and \(E^{++}=E_{1}^{+}\times E_{2}^{+}\), \(E^{+-}=E_{1}^{+}\times E_{2}^{-}\), \(E^{-+}= E_{1}^{-}\times E_{2}^{+}\), \(E^{--}=E_{1}^{-}\times E_{2}^{-}\), \(\Gamma=\partial E_{1}\times \partial E_{2}\).

Problem P

The mixed boundary value problem for the inhomogeneous Cimmino system (1.2) is to find a function \(f(z_{1},z_{2})=u_{1}(z_{1},z_{2})+u_{2}(z_{1},z_{2})j\) satisfying the Cimmino system (1.2) and the following boundary condition:
$$\begin{aligned}& u_{1}^{++}(t_{1},t_{2})=G_{1}(t_{1},t_{2})u_{1}^{+-}(t_{1},t_{2})+G_{2}(t_{1},t_{2})u_{1}^{-+}(t_{1},t_{2}) \\& \hphantom{u_{1}^{++}(t_{1},t_{2})=} {} +G_{3}(t_{1},t_{2})u_{1}^{--}(t_{1},t_{2})+H(t_{1},t_{2}), \quad t=(t_{1},t_{2})\in\Gamma, \end{aligned}$$
(4.1)
$$\begin{aligned}& u_{2}(t_{1},t_{2}) =h(t_{1},t_{2}), \quad t=(t_{1},t_{2})\in\partial E, \end{aligned}$$
(4.2)
where \(u_{1}=f_{0}+if_{1}\), \(u_{2}=f_{2}+if_{3}\), \(z_{1}=x_{0}+ix_{1}\), \(z_{2}=x_{2}+ix_{3}\). \(G_{1}(z_{1},z_{2})\), \(G_{2}(z_{1},z_{2})\), \(G_{3}(z_{1},z_{2})\) are analytic in \(E^{+-}\), \(E^{-+}\), \(E^{--}\) and are continuous in \(\bar {E}^{+-}\), \(\bar{E}^{-+}\), \(\bar{E}^{--}\), respectively, which have no zero. We have \(G_{m}(t_{1},t_{2})\) (\(m=1,2,3\)), \(H(t_{1},t_{2})\in C_{\alpha}(\Gamma,\mathbb{C})\), \(h(t_{1},t_{2})\in C_{\alpha}(\partial E,\mathbb{C})\) (\(0<\alpha<1\)).

Lemma 4.1

If \(\Psi\in C^{(2)}(E,\mathbb{H})\), \(h\in C_{\alpha}(\partial E,\mathbb {C})\) (\(0<\alpha<1\)), \(g\in L_{p}(\mathbb{C}^{2},\mathbb{H})\) (\(4< p<+\infty\)), then the equation \({}^{\psi} D[\Psi]=0\) with the boundary condition \(\bar {w}_{2}|_{\partial E}=\bar{h}(t_{1},t_{2})-\overline{{{}^{\psi} T_{\mathbb {C}^{2}}^{(2)}[g]}}(t_{1},t_{2})\) has the solution \(\Psi =w_{1}+w_{2}j=w_{1}+j\bar{w}_{2}\) and
$$\begin{aligned}& \bar{w}_{2}(\xi)= {\int_{\partial E}\bigl[\bar{h}(t)- \overline{{{}^{\psi } T_{\mathbb{C}^{2}}^{(2)}[g]}}(t)\bigr] \frac{\partial}{\partial\nu}G(\xi ,t)\, d\partial E_{t}}, \\& w_{1}(\xi)=\Phi(\xi)+w_{0}(\xi) \end{aligned}$$
or
$$\begin{aligned}& \bar{w}_{2}(z_{1},z_{2})= {\int _{\partial E}\bigl[\bar{h}(t_{1},t_{2}) - \overline{{{}^{\psi} T_{\mathbb{C}^{2}}^{(2)}[g]}}(t_{1},t_{2}) \bigr]\frac {\partial}{\partial\nu}G(z_{1},z_{2},t_{1},t_{2}) \, d\partial E_{t_{1},t_{2}}}, \\& w_{1}(z_{1},z_{2})=\Phi(z_{1},z_{2})+w_{0}(z_{1},z_{2}), \end{aligned}$$
where ν is the unit outward normal on ∂E, \(G(\xi,\eta)\) is the Green’s function in \(E=E_{1}\times E_{2}\), \(\Phi(z_{1},z_{2})\) is an arbitrary analytic function in \(E=E_{1}\times E_{2}\), and
$$\begin{aligned}& {}^{\psi} T_{\mathbb{C}^{2}}^{(2)}[g](t_{1},t_{2})= {\frac{1}{2\pi^{2}}\int_{\mathbb{C}^{2}}\frac{(\bar{t}_{2}-\bar{\varsigma}_{2})}{ (|t_{1}-\varsigma_{1}|^{2}+|t_{2}-\varsigma_{2}|^{2})^{2}}g(\varsigma _{1},\varsigma_{2})\, d_{\mathbb{C}^{2}_{\varsigma_{1},\varsigma_{2}}}}, \\& w_{0}(z_{1},z_{2})=\widetilde{T}_{E_{1}}[- \partial_{z_{2}}\bar {w}_{2}]+\widetilde{T}_{E_{2}}[ \Phi_{0}], \\& \widetilde{T}_{E_{1}}[-\partial_{z_{2}}\bar{w}_{2}]= {- \frac{1}{\pi}\int_{E_{1}}\frac{-\partial_{z_{2}} \bar{w}_{2}(\varsigma_{1},z_{2})}{\varsigma_{1}-z_{1}}\, dE_{1\varsigma _{1}}}, \\& \widetilde{T}_{E_{2}}[\Phi_{0}]= {-\frac{1}{\pi}\int _{E_{2}}\frac{\Phi _{0}(z_{1},\varsigma_{2})}{\varsigma_{2}-z_{2}}\, dE_{2\varsigma_{2}}}, \\& \Phi_{0}(z_{1},z_{2})= {\frac{1}{2\pi i}\int _{\partial E_{1}}\frac {\partial_{z_{1}}\bar{w}_{2}(\varsigma_{1},z_{2})}{\varsigma _{1}-z_{1}}\, d{\partial E_{1} \varsigma_{1}}}. \end{aligned}$$

Proof

From Remark 3.1, we know \({}^{\psi} T_{\mathbb {C}^{2}}^{(2)}[g]\in C_{\beta}(\mathbb{C}^{2},\mathbb{C})\cong C_{\beta }(\mathbb{R}^{4},\mathbb{C})\) (\(0<\beta<1\)). Thus by [9], we have \(\bar{h}-\overline{{{}^{\psi} T_{\mathbb {C}^{2}}^{(2)}[g]}}\in C_{\mu}(\partial E,\mathbb{C})\) (\(0<\mu=\min\{\alpha ,\beta\}<1\)). So we may construct
$$\bar{w}_{2}(\xi)= {\int_{\partial E}\bigl[\bar{h}(t)- \overline{{{}^{\psi } T_{\mathbb{C}^{2}}^{(2)}[g]}}(t)\bigr] \frac{\partial}{\partial\nu}G(\xi ,t)\, d\partial E_{t}}, $$
where ν is the unit outward normal on ∂E, \(G(\xi,\eta)\) is the Green’s function in \(E=E_{1}\times E_{2}\), and
$${}^{\psi} T_{\mathbb{C}^{2}}^{(2)}[g](t_{1},t_{2})= {\frac{1}{2\pi^{2}}\int_{\mathbb{C}^{2}}\frac{(\bar{t}_{2}-\bar{\varsigma}_{2})}{ (|t_{1}-\varsigma_{1}|^{2}+|t_{2}-\varsigma_{2}|^{2})^{2}}g(\varsigma _{1},\varsigma_{2})\, d_{\mathbb{C}^{2}_{\varsigma_{1},\varsigma_{2}}}}. $$
Then \(\bar{w}_{2}(\xi)\) is a complex-value harmonic function in E, i.e. \(\Delta_{\mathbb{C}^{2}}\bar{w}_{2}=4(\partial_{z_{1}\bar {z}_{1}}^{2}+\partial_{z_{2}\bar{z}_{2}}^{2})\bar{w}_{2}=0\). Hence
$$ \partial_{\bar{z}_{1}}(\partial_{z_{1}}\bar{w}_{2})=- \partial_{\bar {z}_{2}}(\partial_{z_{2}}\bar{w}_{2}). $$
(4.3)
Again, by (3.1), we have
$$ {{}^{\psi} D[\Psi]}=0\quad \Longleftrightarrow\quad \left \{ \begin{array}{l} \partial_{\bar{z}_{1}}w_{1}+\partial_{z_{2}}\bar{w}_{2}=0, \\ \partial_{\bar{z}_{2}}w_{1}-\partial_{z_{1}}\bar{w}_{2}=0 \end{array} \right .\quad \Longleftrightarrow\quad \left \{ \begin{array}{l} \partial_{\bar{z}_{1}}w_{1}=-\partial_{z_{2}}\bar{w}_{2}, \\ \partial_{\bar{z}_{2}}w_{1}=\partial_{z_{1}}\bar{w}_{2}. \end{array} \right . $$
(4.4)
By (4.3), we know \(-\partial_{z_{2}}\bar{w}_{2}\), \(\partial_{z_{1}}\bar {w}_{2}\) satisfy the compatibility condition
$$\partial_{\bar{z}_{2}}(-\partial_{z_{2}}\bar{w}_{2})= \partial_{\bar {z}_{1}}(\partial_{z_{1}}\bar{w}_{2}). $$
Thus by Theorem 7.2.1 of Chapter 7 in [11], the general solution \(w_{1}(z_{1},z_{2})\) of system (4.4) possesses the form
$$w_{1}(z_{1},z_{2})=\Phi(z_{1},z_{2})+w_{0}(z_{1},z_{2}), $$
where \(\Phi(z_{1},z_{2})\) is an arbitrary analytic function in \(E=E_{1}\times E_{2}\) and
$$\begin{aligned}& w_{0}(z_{1},z_{2})=\widetilde{T}_{E_{1}}[- \partial_{z_{2}}\bar {w}_{2}]+\widetilde{T}_{E_{2}}[ \Phi_{0}], \\& \widetilde{T}_{E_{1}}[-\partial_{z_{2}}\bar{w}_{2}]= {- \frac{1}{\pi}\int_{E_{1}}\frac{-\partial_{z_{2}} \bar{w}_{2}(\varsigma_{1},z_{2})}{\varsigma_{1}-z_{1}}\, dE_{1\varsigma _{1}}}, \\& \widetilde{T}_{E_{2}}[\Phi_{0}]= {-\frac{1}{\pi}\int _{E_{2}}\frac{\Phi _{0}(z_{1},\varsigma_{2})}{\varsigma_{2}-z_{2}}\, dE_{2\varsigma_{2}}}, \\& \Phi_{0}(z_{1},z_{2})= {\frac{1}{2\pi i}\int _{\partial E_{1}}\frac {\partial_{z_{1}}\bar{w}_{2}(\varsigma_{1},z_{2})}{\varsigma _{1}-z_{1}}\, d{\partial E_{1} \varsigma_{1}}}. \end{aligned}$$
 □

Lemma 4.2

Let \(G_{m}\) (\(m=1,2,3\)), H, \(w_{0}\), E etc. be as stated above. Find a sectionally analytic function \(\Phi(z_{1},z_{2})\) in \(E^{++}\), \(E^{+-}\), \(E^{-+}\), \(E^{--}\), such that \(\Phi(z_{1},z_{2})\) is continuous in \(E^{++}\), \(E^{+-}\), \(E^{-+}\), \(E^{--}\) and satisfies the boundary condition
$$\begin{aligned} \begin{aligned}[b] \Phi^{++}(t_{1},t_{2})={}&G_{1}(t_{1},t_{2}) \Phi ^{+-}(t_{1},t_{2})+G_{2}(t_{1},t_{2}) \Phi^{-+}(t_{1},t_{2}) \\ &{}+G_{3}(t_{1},t_{2})\Phi ^{--}(t_{1},t_{2})+(G_{1}+G_{2}+G_{3}-1) \bigl(w_{0}(t_{1},t_{2}) \\ &{}+{{}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g]}(t_{1},t_{2}) \bigr)+H(t_{1},t_{2}),\quad t=(t_{1},t_{2}) \in\Gamma, \end{aligned} \end{aligned}$$
(4.5)
where
$${}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g](t_{1},t_{2})= {\frac{1}{2\pi^{2}}\int_{\mathbb{C}^{2}}\frac{(\bar{t}_{1}-\bar{\varsigma}_{1})}{ (|t_{1}-\varsigma_{1}|^{2}+|t_{2}-\varsigma_{2}|^{2})^{2}}g(\varsigma _{1},\varsigma_{2})\, d_{\mathbb{C}^{2}_{\varsigma_{1},\varsigma_{2}}}}. $$
Then the solution has the form
$$ \Phi(z_{1},z_{2})= \left \{ \begin{array}{l@{\quad}l} F(z_{1},z_{2}), & z=(z_{1},z_{2})\in E^{++}, \\ F(z_{1},z_{2})/G_{1}(z_{1},z_{2}), & z=(z_{1},z_{2})\in E^{+-}, \\ F(z_{1},z_{2})/G_{2}(z_{1},z_{2}), & z=(z_{1},z_{2})\in E^{-+}, \\ -F(z_{1},z_{2})/G_{3}(z_{1},z_{2}), & z=(z_{1},z_{2})\in E^{--}, \end{array} \right . $$
(4.6)
where
$$F(z_{1},z_{2})=\frac{1}{(2\pi i)^{2}}\int_{\partial E_{1}\times\partial E_{2}} \frac{\widetilde{H}(\varsigma_{1},\varsigma_{2})}{(\varsigma _{1}-z_{1})(\varsigma_{2}-z_{2})}\, d\partial E_{1\varsigma_{1}}\, d\partial E_{2\varsigma_{2}}, $$
and \(\widetilde{H}=(G_{1}+G_{2}+G_{3}-1)(w_{0}+{{}^{\psi} T_{\mathbb {C}^{2}}^{(1)}[g]})+H\).

Proof

From Remark 3.1, we know \({}^{\psi} T_{\mathbb {C}^{2}}^{(1)}[g]\in C_{\beta}(\mathbb{C}^{2},\mathbb{C})\cong C_{\beta }(\mathbb{R}^{4},\mathbb{C})\) (\(0<\beta<1\)). Thus by [9], we have \(\widetilde{H}=(G_{1}+G_{2}+G_{3}-1)(w_{0}+{{}^{\psi } T_{\mathbb{C}^{2}}^{(1)}[g]})+H\in C_{\mu}(\Gamma,\mathbb{C})\) (\(0<\mu =\min\{\alpha,\beta\}<1\)). Hence by Theorem 7.1.2 of Chapter 7 in [11], it is not difficult to verify this lemma. □

Theorem 4.1

Let E, ∂E etc. be as stated above. If \(g\in L_{p}(\mathbb{C}^{2},\mathbb{H})\) (\(4< p<+\infty\)), then the solution of Problem P can be expressed as
$$f(\xi)=\Psi(\xi)+{{}^{\psi} T_{\mathbb{C}^{2}}[g]}(\xi), $$
where \({}^{\psi} D[\Psi]=0\) and
$$\begin{aligned}& \left \{ \begin{array}{l} \Psi(\xi)=w_{1}(\xi)+w_{2}(\xi)j=w_{1}(\xi)+j\bar{w}_{2}(\xi), \\ w_{1}(\xi)=\Phi(\xi)+w_{0}(\xi), \\ \bar{w}_{2}(\xi)= {\int_{\partial E}[\bar{h}(t)-\overline{{{}^{\psi } T_{\mathbb{C}^{2}}^{(2)}[g]}}(t)]\frac{\partial}{\partial\nu}G(\xi ,t)\, d\partial E_{t}}, \end{array} \right . \\& {}^{\psi} T_{\mathbb{C}^{2}}[g](\xi)={}^{\psi} T_{\mathbb {C}^{2}}[g](z_{1},z_{2}) = {\frac{1}{2\pi^{2}}\int_{\mathbb{C}^{2}} \frac{(\bar{z}_{1}-\bar {\varsigma}_{1})+(\bar{z}_{2}-\bar{\varsigma}_{2})j}{ (|z_{1}-\varsigma_{1}|^{2}+|z_{2}-\varsigma_{2}|^{2})^{2}}g(\varsigma _{1},\varsigma_{2})\, d_{\mathbb{C}^{2}_{\varsigma_{1},\varsigma_{2}}}} \\& \hphantom{{}^{\psi} T_{\mathbb{C}^{2}}[g](\xi)}={{}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g]}(z_{1},z_{2})+{{}^{\psi} T_{\mathbb {C}^{2}}^{(2)}[g]}(z_{1},z_{2})j, \end{aligned}$$
herein \(w_{0}\), \({{}^{\psi} T_{\mathbb{C}^{2}}^{(2)}[g]}\) are as stated in Lemma  4.1, Φ, \({{}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g]}\) are as stated in Lemma  4.2.

Proof

By Theorem 3.1, we know \({}^{\psi} D[{{}^{\psi} T_{\mathbb {C}^{2}}[g]}](\xi)=g(\xi)\), thus \({}^{\psi} D[\Psi(\xi)+{{}^{\psi} T_{\mathbb {C}^{2}}[g]}(\xi)]=g(\xi)\). Hence, by (3.2), we know the general solution of system (1.2) has the form
$$ f(\xi)=\Psi(\xi)+{{}^{\psi} T_{\mathbb{C}^{2}}[g]}(\xi), $$
(4.7)
where \({}^{\psi} D[\Psi]=0\), \(\xi=z_{1}+z_{2}j\), \(f(\xi )=f(z_{1},z_{2})=u_{1}(z_{1},z_{2})+u_{2}(z_{1},z_{2})j=u_{1}(z_{1},z_{2})+j\bar {u}_{2}(z_{1},z_{2})\), \(\Psi(\xi)=\Psi (z_{1},z_{2})=w_{1}(z_{1},z_{2})+w_{2}(z_{1},z_{2})j=w_{1}(z_{1},z_{2})+j\bar {w}_{2}(z_{1},z_{2})\), and
$$\begin{aligned} \begin{aligned} {}^{\psi} T_{\mathbb{C}^{2}}[g](\xi)&={}^{\psi} T_{\mathbb {C}^{2}}[g](z_{1},z_{2}) = {\frac{1}{2\pi^{2}}\int_{\mathbb{C}^{2}}\frac{(\bar{z}_{1}-\bar {\varsigma}_{1})+(\bar{z}_{2}-\bar{\varsigma}_{2})j}{ (|z_{1}-\varsigma_{1}|^{2}+|z_{2}-\varsigma_{2}|^{2})^{2}}g( \varsigma _{1},\varsigma_{2})\, d_{\mathbb{C}^{2}_{\varsigma_{1},\varsigma_{2}}}} \\ &={{}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g]}(z_{1},z_{2})+{{}^{\psi} T_{\mathbb {C}^{2}}^{(2)}[g]}(z_{1},z_{2})j ={{}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g]}(z_{1},z_{2})+j \overline{{{}^{\psi } T_{\mathbb{C}^{2}}^{(2)}[g]}}(z_{1},z_{2}). \end{aligned} \end{aligned}$$
Thus
$$\bar{u}_{2}(z_{1},z_{2})=\bar{w}_{2}(z_{1},z_{2})+ \overline{{{}^{\psi } T_{\mathbb{C}^{2}}^{(2)}[g]}}(z_{1},z_{2}). $$
So the boundary condition (4.2) in Problem P can be written as
$$ \bar{w}_{2}=\bar{h}(t_{1},t_{2})- \overline{{{}^{\psi} T_{\mathbb {C}^{2}}^{(2)}[g]}}(t_{1},t_{2}), \quad t=(t_{1},t_{2})\in\partial E. $$
(4.8)
Therefore, by Lemma 4.1, the solution to the equation \({}^{\psi} D[\Psi ]=0\) with boundary condition (4.8) can be expressed as
$$\Psi(\xi)=w_{1}(\xi)+w_{2}(\xi)j=w_{1}(\xi)+j \bar{w}_{2}(\xi), $$
where \(w_{1}\), \(\bar{w}_{2}\) are as stated in Lemma 4.1. Again, by (4.7), we have
$$u_{1}(z_{1},z_{2})=w_{1}(z_{1},z_{2})+{{}^{\psi} T_{\mathbb {C}^{2}}^{(1)}[g]}(z_{1},z_{2}). $$
From Lemma 4.1, we have
$$w_{1}(z_{1},z_{2})=\Phi(z_{1},z_{2})+w_{0}(z_{1},z_{2}), $$
where \(\Phi(z_{1},z_{2})\) is an arbitrary analytic function in \(E=E_{1}\times E_{2}\), \(w_{0}\) is as stated in Lemma 4.1. In addition, by Chapter 7 in [11], we know \(w_{0}\in C_{\alpha}(\mathbb {C}^{2},\mathbb{C})\) (\(0<\alpha<1\)), by Remark 3.1, we know \({{}^{\psi } T_{\mathbb{C}^{2}}^{(1)}[g]}\in C_{\beta}(\mathbb{C}^{2},\mathbb {C})\) (\(0<\beta<1\)). So the boundary condition (4.1) in Problem P can be written as
$$\begin{aligned} \Phi^{++}(t_{1},t_{2}) =&G_{1}(t_{1},t_{2}) \Phi ^{+-}(t_{1},t_{2})+G_{2}(t_{1},t_{2}) \Phi^{-+}(t_{1},t_{2}) \\ &{}+G_{3}(t_{1},t_{2})\Phi ^{--}(t_{1},t_{2})+(G_{1}+G_{2}+G_{3}-1) \bigl(w_{0}(t_{1},t_{2}) \\ &{}+{{}^{\psi} T_{\mathbb{C}^{2}}^{(1)}[g]}(t_{1},t_{2}) \bigr)+H(t_{1},t_{2}),\quad t=(t_{1},t_{2}) \in\Gamma. \end{aligned}$$
Therefore, by Lemma 4.2, we know \(\Phi(z_{1},z_{2})\) can be expressed as (4.6) in Lemma 4.2. In conclusion, we complete the proof. □

Declarations

Acknowledgements

This work was supported by the National Science Foundation of China (No. 11401162, No. 11171349, No. 11301136), the Natural Science Foundation of Hebei Province (No. A2015205012, No. A2014205069, No. A2014208158) and Hebei Normal University Dr. Fund (No. L2015B03, No. L2015B04).

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

(1)
College of Mathematics and Information Science, Hebei Normal University, Shijiazhuang, P.R. China
(2)
School of Information, Renmin University of China, Beijing, P.R. China

References

  1. Gürlebeck, K, Sprössig, W: Quaternionic and Clifford Calculus for Physicists and Engineers. Wiley, New York (1997) MATHGoogle Scholar
  2. Adler, SL: Quaternionic quantum field theory. Commun. Math. Phys. 104, 611-656 (1986) View ArticleMATHGoogle Scholar
  3. Sprössig, W: Quaternionic operator methods in fluid dynamics. Adv. Appl. Clifford Algebras 18, 963-978 (2008) View ArticleMATHGoogle Scholar
  4. Alesker, S: Quaternionic Monge-Ampère equations. J. Geom. Anal. 13, 205-238 (2003) View ArticleMathSciNetGoogle Scholar
  5. Yang, PW, Li, D: \(H_{\lambda}\)-Regular vector functions and their boundary value problems. Bound. Value Probl. 2012, 75 (2012) View ArticleGoogle Scholar
  6. Cimmino, G: Su alcuni sistemi lineari omogenei di equazioni alle derivate parziali del primo ordine. Rend. Semin. Mat. Univ. Padova 12, 89-113 (1941) MathSciNetGoogle Scholar
  7. Dragomir, S, Lanconelli, E: On first order linear PDE systems all of whose solutions are harmonic functions. Tsukuba J. Math. 30, 149-170 (2006) MATHMathSciNetGoogle Scholar
  8. 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) View ArticleMathSciNetGoogle Scholar
  9. Iftimie, V: Functions hypercomplexes. Bull. Math. Soc. Sci. Math. Roum. 57, 279-332 (1965) MathSciNetGoogle Scholar
  10. Gilbert, RP, Buchanan, JL: First Order Elliptic Systems: A Function Theoretic Approach. Academic Press, New York (1983) MATHGoogle Scholar
  11. Wen, GC: Recent Progress in Theory and Applications of Modern Complex Analysis. Science Press, Beijing (2010) MATHGoogle Scholar

Copyright

© Wang et al.; licensee Springer 2015

Advertisement