# A kind of boundary value problem for inhomogeneous partial differential system

## Abstract

In this article, we first define a kind of generalized singular integral operator and discuss its properties. Then we propose a kind of boundary value problem for an inhomogeneous partial differential system in $$R^{4}$$. Finally, the integral representation of the solution to a boundary value problem for the inhomogeneous partial differential system is obtained using the above singular integral operator.

## 1 Introduction

Partial differential equations are encountered in many problems of physics, mechanics, mathematical finance, mathematical biology, and other branches of mathematics [1, 2]. It has been a popular topic since the 1960s. So boundary value problems for partial differential system have always been an important and meaningful topics. There are many scholars who studied on it, such as Keldysh [3], Wen [4, 5], ÄŒaniÄ‡ and Kim [6], Taira [7], and so on. In addition, singular integral operators are the core components of solutions of the boundary value problems for a partial differential system and a degenerate partial differential system. So, for many years, many scholars and experts have studied some properties of all kinds of singular integral operators, and they obtained the integral representations of solutions of some partial differential equations. For example, Vekua [8] first discussed in detail some properties of the Teodorescu operator, and Hile [9] studied some properties of the Teodorescu operator in $$R^{n}$$. Then Gilbert et al. [10] and Meng [11] studied its many properties in high dimensional complex space. GÃ¼rlebeck and SprÃ¶ssig [12], and Yang [13] discussed its properties and corresponding boundary value problems in the real quaternion analysis.

In this article, we will study the Riemann boundary value problem for a kind of inhomogeneous partial differential system of first order equations in $$R^{4}$$ using the Clifford analysis approach. In SectionÂ 2, we recall some basic knowledge of Clifford analysis. In SectionÂ 3, we construct a singular integral operator and study some of its properties. In SectionÂ 4, we first propose the Riemann boundary value problem for a kind of inhomogeneous partial differential system, then we obtain an integral representation of the solution to the Riemann boundary value problem using the relation between the theory of Clifford-valued generalized holomorphic functions and that of the inhomogeneous partial differential systemâ€™s solutions.

## 2 Preliminaries

Let $${\{e_{0},e_{1},e_{2},e_{3}\}}$$ be an orthogonal basis of the Euclidean space $$R^{4}$$ and $${\mathit{Cl}}_{0,3}$$ be the Clifford algebra with basis

$$\{e_{0}, e_{1}, e_{2}, e_{3}, e_{1}e_{2}, e_{1}e_{3}, e_{2}e_{3}, e_{1}e_{2}e_{3} \},$$

where $$e_{0}$$ is the real scalar identity element, $$e_{1}$$, $$e_{2}$$, $$e_{3}$$ satisfy the following multiplication rule:

$$e_{i}^{2}=-e_{0}, \qquad e_{i}e_{j}=-e_{j}e_{i}, \quad i,j=1,2,3,i\neq j.$$

If we denote $$e_{1}e_{2}=e_{4}$$, $$e_{1}e_{3}=e_{5}$$, $$e_{2}e_{3}=e_{6}$$, $$e_{1}e_{2}e_{3}=e_{7}$$, then an arbitrary element of the Clifford algebra space $${\mathit{Cl}}_{0,3}$$ can be written as $$a=\sum_{j=0}^{7}a_{j}e_{j}$$, $$a_{j}\in R$$. The Clifford conjugation is defined by $$\bar{a}=a_{0}-\sum_{j=1}^{6}a_{j}e_{j}+a_{7}e_{7}$$. The norm for an element $$a\in{\mathit{Cl}}_{0,3}$$ is taken to be $$|a|=\sqrt{\sum_{j=0}^{7}|a_{j}|^{2}}$$. Moreover, if $$a\bar {a}=\bar{a}a=|a|^{2}$$ and $$|a|\neq0$$, then we have

$$a\cdot\frac{\bar{a}}{|a|^{2}}=\frac{\bar{a}}{|a|^{2}}\cdot a=1.$$

Thus, we say that a is reversible if $$a\bar{a}=\bar{a}a=|a|^{2}$$ and $$|a|\neq0$$. Obviously, its inverse element can be written as $${a^{-1}=\frac{\bar{a}}{|a|^{2}}}$$.

Suppose $$\Omega\subset R^{4}$$ is a bounded connected domain and the boundary âˆ‚Î© is a differentiable, oriented, and compact Liapunov surface. An arbitrary element $$x\in\Omega$$ is denoted by $$x=x_{0}e_{0}+x_{1}e_{1}+x_{2}e_{2}+x_{3}e_{3}$$. The function w which is defined in Î© with values in the Clifford algebra space $${\mathit{Cl}}_{0,3}$$ can be expressed as $$w=\sum_{j=0}^{7}w_{j}(x)e_{j}$$, herein $$w_{j}(x)$$ ($$j=0,\ldots,7$$) are real-functions defined on Î©.

Let $$C^{(m)}(\Omega,{\mathit{Cl}}_{0,3})=\{w|w:\Omega\rightarrow {\mathit{Cl}}_{0,3}, w(x)=\sum_{j=0}^{7}w_{j}(x)e_{j},w_{j}(x)\in C^{(m)}(\Omega,R)\}$$. We introduce the generalized Cauchy-Riemann operator on $$C^{(1)}(\Omega,{\mathit{Cl}}_{0,3})$$ as follows:

\begin{aligned}& \partial_{x}w={\sum_{i=0}^{3}} {e_{i}\frac{\partial w}{\partial x_{i}}}=\sum_{i=0}^{3}{ \sum_{j=0}^{7}} {e_{i}e_{j} \frac {\partial w_{j}}{\partial x_{i}}}, \\& w\partial_{x}={\sum _{i=0}^{3}} {\frac{\partial w}{\partial x_{i}}e_{i}}={\sum _{i=0}^{3}} {\sum _{j=0}^{7}} {e_{j}e_{i} \frac{\partial w_{j}}{\partial x_{i}}}. \end{aligned}

w is called a left (right) Clifford holomorphic function, if $$\partial _{x}w(x)=0$$ ($$w(x)\partial_{x}=0$$) inÂ Î©. wÂ is called a left (right) generalized Clifford holomorphic function, if $$\partial _{x}w(x)=c(x)$$ ($$w(x)\partial_{x}=c(x)$$) in Î©, herein $$c(x)=\sum_{j=0}^{7}c_{j}(x)e_{j}$$. Usually a left Clifford holomorphic function and a left generalized Clifford holomorphic function are called a Clifford holomorphic function and a generalized Clifford holomorphic function for short, respectively. And $$w(x)\in L^{p,\sigma}(R^{4},{\mathit{Cl}}_{0,3})$$ means that $$w(x)\in L^{p}(B,{\mathit{Cl}}_{0,3})$$, $$w^{(\sigma)}(x)=|x|^{-\sigma}w(\frac{\bar {x}}{|x|^{2}})\in L^{p}(B,{\mathit{Cl}}_{0,3})$$, in which $$B=\{x||x|< 1\}$$, Ïƒ is a real number, $$\| w\|_{p,\sigma}=\|w\|_{L^{p}(B)}+\| w^{(\sigma)}\|_{L^{p}(B)}$$, $$p\geq1$$.

### Definition 2.1

Suppose that the functions u, v, Ï† are defined in Î© with values in $${\mathit{Cl}}_{0,3}$$, and $$u,v\in L^{1}(\Omega ,{\mathit{Cl}}_{0,3})$$. If for arbitrary $$\varphi\in C_{0}^{\infty}(\Omega ,{\mathit{Cl}}_{0,3})$$, u, v satisfy

$$\int_{\Omega}(\varphi\partial_{x})v(x) \,dx+ \int_{\Omega}\varphi(x) u(x) \,dx=0,$$

then u is called a generalized derivative of the function v, where we denote $$u=\partial_{x}v$$.

### Lemma 2.1

([14])

Let Î©, âˆ‚Î© be as stated above. If $$f\in C^{(m)}(\overline{\Omega},{\mathit{Cl}}_{0,3})$$, then for each $$x\in \Omega$$, we have

$${\frac{1}{2\pi^{2}} \int_{\partial\Omega}f(y)\,d\sigma _{y}E(x,y)-\frac{1}{2\pi^{2}} \int_{\Omega}(f\partial_{y})E(x,y)\,dy} =f(x),$$

where $${E(x,y)=\frac{\bar{y}-\bar{x}}{|y-x|^{4}}}$$.

### Lemma 2.2

([15])

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.3

([16])

Suppose Î© is a bounded domain in $$R^{4}$$, and let $$\alpha'$$, $$\beta'$$ satisfy $$0<\alpha', \beta'<4$$, $$\alpha'+\beta'>4$$. Then for all $$x_{1},x_{2}\in 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 properties of the singular integral operator

In this section, we will discuss some properties of the singular integral operator as follows:

\begin{aligned} \bigl(T[g]\bigr) (x) =& -\frac{1}{2\pi^{2}} \int_{B}\frac{(\bar{y}-\bar {x})g(y)}{|y-x|^{4}}\,dy-\frac{1}{2\pi^{2}} \int_{B}\frac{\frac{\bar {y}}{|y|^{2}}-\bar{x}}{{\vert \frac{\bar{y}}{|y|^{2}}-x \vert ^{4}}}g \biggl(\frac{\bar{y}}{|y|^{2}} \biggr) \frac{1}{|y|^{8}}\,dy \\ =&\bigl(T_{1}[g]\bigr) (x)+\bigl(T_{2}[g]\bigr) (x), \end{aligned}
(3.1)

where $$B=\{x||x|< 1\}$$.

### Theorem 3.1

Assume B to be as stated above. If $$g\in L^{p}(B,{\mathit{Cl}}_{0,3})$$, $$4< p<+\infty$$, then

1. (1)

$$|(T_{1}[g])(x)|\leq M_{1}(p)\|g\|_{L^{p}(B)}$$,

2. (2)

$$|(T_{1}[g])(x^{(1)})-(T_{1}[g])(x^{(2)})| \leq M_{2}(p)\|g\|_{L^{p}(B)}|x^{(1)}-x^{(2)}|^{\beta}$$, $$x^{(1)},x^{(2)}\in R^{4}$$,

3. (3)

$${\partial_{x}(T_{1}[g])(x)=g(x)}$$, $$x\in B$$, $$\partial_{x}(T_{1}[g])(x)=0$$, $$x\in R^{4}\backslash\overline{B}$$,

where $${0<\beta=\frac{p-4}{p}<1}$$.

### Proof

(1) By the HÃ¶lder inequality, we have

$$\bigl\vert \bigl(T_{1}[g]\bigr) (x)\bigr\vert \leq {J_{1}\|g\|_{L^{p}(B)} \biggl[ \int _{B}\frac{1}{|y-x|^{3q}}|dy| \biggr]^{\frac{1}{q}}}.$$

When $$x\in\overline{B}$$, because of $$p>4$$, $${\frac {1}{p}+\frac{1}{q}}=1$$, then $${1< q<\frac{4}{3}}$$. Thus $$\int_{B}\frac{1}{|y-x|^{3q}}|dy|$$ is bounded. Hence we suppose

$$\int_{B}\frac{1}{|y-x|^{3q}}|dy|\leq J_{2}.$$

When $$x\in R^{4}-\overline{B}$$, by LemmaÂ 2.2 and the generalized spherical coordinate, we have

$${ \biggl[ \int_{B}\frac{1}{|y-x|^{3q}}|dy| \biggr]^{\frac {1}{q}}}\leq {J_{3} \biggl[ \int_{d_{0}}^{d_{0}+2}\rho ^{3-3q}\,d\rho \biggr]^{\frac{1}{q}}}\leq J_{4},$$

where $$\rho=|y-x|$$, $$d_{0}=d(x, B)$$.

Therefore, for arbitrary $$x\in R^{4}$$, we can obtain

$$\bigl\vert \bigl(T_{1}[g]\bigr) (x)\bigr\vert \leq M_{1}(p)\|g\|_{L^{p}(B)}, \quad x\in R^{4},$$

where $${M_{1}(p)=\max\{J_{1}J_{2}, J_{1}J_{4}\}}$$.

(2) For arbitrary $$x^{(1)}, x^{(2)}\in R^{4}$$, $$x^{(1)}\neq x^{(2)}$$, by the Hile lemma [9] and the HÃ¶lder inequality, we can obtain

\begin{aligned}& \bigl\vert \bigl(T_{1}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{1}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert \\ & \quad \leq J_{5} { \int_{B}\bigl\vert g(y)\bigr\vert \biggl\vert \frac{\bar {y}-\bar{x}^{(1)}}{|y-x^{(1)}|^{4}}-\frac{\bar{y}-\bar {x}^{(2)}}{|y-x^{(2)}|^{4}}\biggr\vert |dy|} \\ & \quad \leq J_{5} { \int_{B}\bigl\vert g(y)\bigr\vert \frac{\sum_{k=1}^{3}|y-x^{(1)}|^{3-k}|y-x^{(2)}|^{k-1}}{|y-x^{(1)}|^{3}|y-x^{(2)}|^{3}}|dy| \bigl\vert x^{(1)}-x^{(2)}\bigr\vert } \\ & \quad \leq J_{6}\|g\|_{L^{p}(B)} {\sum _{k=1}^{3} \biggl[ \int _{B}\frac{1}{|y-x^{(1)}|^{kq}|y-x^{(2)}|^{(4-k)q}}|dy| \biggr]^{\frac {1}{q}}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert } \\ & \quad =J_{6}\|g\|_{L^{p}(B)}\bigl\vert x^{(1)}-x^{(2)} \bigr\vert {\sum_{k=1}^{3}I_{k}^{\frac{1}{q}}}. \end{aligned}

We suppose $$\alpha'=kq$$, $$\beta'=(4-k)q$$ ($$k=1,2,3$$). From $${1\leq q<\frac{4}{3}}$$, we have

\begin{aligned}& \alpha'=kq\leq3q< 4, \qquad \beta'=(4-k)q\leq3q< 4, \\& \alpha'+\beta'=4q>4 \quad (k=1,2,3). \end{aligned}

Hence, by LemmaÂ 2.3, we have

\begin{aligned} I_{k}&= { \int_{B}\frac {1}{|y-x^{(1)}|^{kq}|y-x^{(2)}|^{(4-k)q}}|dy|} \\ &\leq M_{0}\bigl(\alpha',\beta'\bigr)\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{4-4q}\quad (k=1,2,3). \end{aligned}

So we have

$$\bigl\vert \bigl(T_{1}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{1}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert \leq J_{7}\|g\| _{L^{p}(B)}\bigl\vert x^{(1)}-x^{(2)} \bigr\vert ^{1+\frac{4-4q}{q}} =M_{2}(p)\|g\|_{L^{p}(B)}|x_{1}-x_{2}|^{\beta},$$

where $$M_{2}(p)=J_{7}$$, $${0<\beta=\frac{p-4}{p}<1}$$.

(3) For arbitrary $$\varphi\in C_{0}^{\infty}(B,{\mathit{Cl}}_{0,3})$$, by DefinitionÂ 2.1, LemmaÂ 2.1, and the Fubini theorem, we have

\begin{aligned}& \int_{B}(\varphi\partial_{x}) \bigl(T_{1}[g] \bigr) (x) \,dx \\& \quad = \int_{B}(\varphi\partial_{x}) \biggl[- \frac{1}{2\pi ^{2}} \int_{B}\frac{\bar{y}-\bar{x}}{|y-x|^{4}}g(y)\,dy \biggr]\,dx \\& \quad = \int_{B} \biggl[\frac{1}{2\pi^{2}} \int_{B}(\varphi\partial _{x})\frac{\bar{x}-\bar{y}}{|x-y|^{4}} \,dx \biggr]g(y)\,dy \\& \quad = \int_{B} \biggl[\frac{1}{2\pi^{2}} \int_{\partial B}\varphi (x)\,d\sigma_{x}\frac{\bar{x}-\bar{y}}{|x-y|^{4}}- \varphi(y) \biggr]g(y)\,dy \\& \quad = - \int_{B}\varphi(y)g(y)\,dy= - \int _{B}\varphi(x)g(x)\,dx. \end{aligned}

Hence, in the sense of generalized derivatives, $$\partial _{x}(T_{1}[g])(x)=g(x)$$, $$x\in B$$. It is easy to see $$\partial _{x}(T_{1}[g])(x)=0$$, $$x\in R^{4}\backslash B$$.â€ƒâ–¡

### Theorem 3.2

Let B be as stated above. If $$g\in L^{p,4}(R^{4},{\mathit{Cl}}_{0,3})$$, $$4< p<+\infty$$, then we have the following results:

1. (1)

$$|(T_{2}[g])(x)|\leq M_{3}(p)\|g^{(4)}\| _{L^{p}(B)}$$, $$x\in R^{4}$$,

2. (2)

$$|(T_{2}[g])(x^{(1)})-(T_{2}[g])(x^{(2)})| \leq M_{4}(p)\|g^{(4)}\|_{L^{p}(B)}|x^{(1)}-x^{(2)}|^{\beta}$$, $$x^{(1)},x^{(2)}\in R^{4}$$,

3. (3)

$${\partial_{x}(T_{2}[g])(x)=0}$$, $$x\in B$$, $${\partial_{x}(T_{2}[g])(x)=g(x)}$$, $$x\in R^{4}\backslash\overline{B}$$,

where $${0<\beta=\frac{p-4}{p}<1}$$.

### Proof

(1) By the HÃ¶lder inequality, we have

\begin{aligned} \bigl\vert \bigl(T_{2}[g]\bigr) (x)\bigr\vert &= {\biggl\vert - \frac{1}{2\pi^{2}} \int_{B}\frac {\frac{\bar{y}}{|y|^{2}}-\bar{x}}{{\vert \frac{\bar {y}}{|y|^{2}}-x\vert ^{4}}}g \biggl(\frac{\bar{y}}{|y|^{2}} \biggr) \frac{1}{|y|^{8}}\,dy\biggr\vert } \\ &\leq {J_{8} \int_{B}\frac{1}{\vert \frac{\bar {y}}{|y|^{2}}-x\vert ^{3}}\biggl\vert g \biggl( \frac{\bar {y}}{|y|^{2}} \biggr)\biggr\vert \frac{1}{|y|^{8}}|dy|} \\ &= {J_{8} \int_{B}\frac{1}{\vert \frac{\bar {y}}{|y|^{2}}-x\vert ^{3}|y|^{4}}|y|^{-4}\biggl\vert g \biggl(\frac{\bar {y}}{|y|^{2}} \biggr)\biggr\vert |dy|} \\ &\leq {J_{8} \biggl[ \int_{B} \biggl(|y|^{-4}\biggl\vert g \biggl( \frac{\bar{y}}{|y|^{2}} \biggr)\biggr\vert \biggr)^{p}|dy| \biggr]^{\frac{1}{p}} \biggl[ \int_{B}\frac{1}{\vert \frac{\bar {y}}{|y|^{2}}-x\vert ^{3q}|y|^{4q}}|dy| \biggr]^{\frac{1}{q}}} \\ &= {J_{8}\bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)} \bigl(O(x)\bigr)^{\frac{1}{q}}}, \end{aligned}
(3.2)

where $${\frac{1}{p}+\frac{1}{q}=1}$$.

Next we will discuss $$O(x)$$ in two cases.

(i) When $${|x|\geq\frac{1}{2}}$$, since

\begin{aligned}& {|y|^{-4q}\biggl\vert \frac{\bar{y}}{|y|^{2}}-x \biggr\vert ^{-3q}} \\& \quad = {|y|^{-4q}|y|^{3q}|y|^{-3q}\biggl\vert \frac{\bar {y}}{|y|^{2}}-x\biggr\vert ^{-3q}|x|^{3q}|x|^{-3q}} \\& \quad = {|y|^{-q} \biggl[|y|^{-3q}\biggl\vert \frac{\bar {y}}{|y|^{2}}-x\biggr\vert ^{-3q}\biggl\vert \frac{\bar{x}}{{|x|^{2}}} \biggr\vert ^{-3q} \biggr]|x|^{-3q}} \\& \quad \leq {J_{9}|y|^{-q}\biggl\vert y \biggl( \frac{\bar {y}}{|y|^{2}}-x \biggr)\frac{\bar{x}}{{|x|^{2}}} \biggr\vert ^{-3q}|x|^{-3q}} \\& \quad = {J_{9}|y|^{-q}\biggl\vert \frac{\bar {x}}{{|x|^{2}}}-y \biggr\vert ^{-3q}|x|^{-3q}}, \end{aligned}

we have

\begin{aligned} O(x)&\leq { \int_{B}J_{9}|y|^{-q}\biggl\vert \frac{\bar {x}}{|x|^{2}}-y\biggr\vert ^{-3q}|x|^{-3q}|dy|} \\ &= {J_{9}|x|^{-3q} \int_{B}|y|^{-q}\biggl\vert \frac{\bar {x}}{|x|^{2}}-y \biggr\vert ^{-3q}|dy|}. \end{aligned}

Let $$\alpha'=q$$, $$\beta'=3q$$, by $${1< q<\frac{4}{3}}$$. we have

$$0< \alpha'< 4, \qquad 0< \beta'< 4, \qquad \alpha'+\beta'=4q>4.$$

Thus, by LemmaÂ 2.3, we have

$$O(x)\leq J_{9}M_{0}\bigl(\alpha', \beta'\bigr)|x|^{-3q}\biggl\vert \frac{\bar {x}}{{|x|^{2}}}\biggr\vert ^{4-4q}\leq J_{9}M_{0}\bigl( \alpha',\beta '\bigr)2^{4-q}=J_{10}.$$
(3.3)

(ii) When $${|x|<\frac{1}{2}}$$, by $$|y|\leq1$$, we have $${|1-yx|\geq\frac{1}{2}}$$. Thus

\begin{aligned} O(x)&= { \int_{B}\biggl\vert \frac{\bar{y}}{|y|^{2}}-x \biggr\vert ^{-3q}|y|^{-4q}|dy|} \\ &= { \int_{B}|y|^{3q}|y|^{-3q}\biggl\vert \frac{\bar {y}}{|y|^{2}}-x\biggr\vert ^{-3q}|y|^{-4q}|dy|} \\ &\leq {J_{11} \int_{B}|y|^{-q}\biggl\vert y \biggl( \frac{\bar {y}}{|y|^{2}}-x \biggr)\biggr\vert ^{-3q}|dy|} \\ &= {J_{11} \int_{B}|y|^{-q}|1-yx|^{-3q}|dy|} \\ &\leq J_{11} \int_{B}|y|^{-q}2^{3q}|dy|\leq J_{12} \int _{B}|y|^{-q}|dy|\leq J_{13}. \end{aligned}
(3.4)

Therefore, by (3.2)-(3.4), we have

$$\bigl\vert \bigl(T_{2}[g]\bigr) (x)\bigr\vert \leq M_{3}(p)\bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)},$$

where $$M_{3}(p)=\max\{J_{8}J_{10}^{\frac{1}{q}},J_{8}J_{13}^{\frac {1}{q}}\}$$.

(2) By the Hile lemma [9], we have

\begin{aligned}& \bigl\vert \bigl(T_{2}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{2}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert \\& \quad \leq J_{14} { \int_{B}\biggl\vert \frac{{\frac {{y}}{|y|^{2}}}-\bar{x}^{(1)}}{\vert \frac{{\bar {y}}}{|y|^{2}}-x^{(1)}\vert ^{4}}-\frac{{\frac{{y}}{|y|^{2}}}-\bar {x}^{(2)}}{\vert \frac{\bar{y}}{|y|^{2}}-x^{(2)}\vert ^{4}} \biggr\vert \biggl\vert g \biggl(\frac{\bar{y}}{|y|^{2}} \biggr)\biggr\vert \frac {1}{|y|^{8}}|dy|} \\& \quad \leq {J_{14} \int_{B}\sum_{k=1}^{3} \frac {|x^{(1)}-x^{(2)}|}{\vert \frac{{\bar{y}}}{|y|^{2}}-x^{(1)} \vert ^{k}\vert \frac{\bar{y}}{|y|^{2}}-x^{(2)}\vert ^{4-k}} \biggl\vert g \biggl(\frac{\bar{y}}{|y|^{2}} \biggr)\biggr\vert \frac{1}{|y|^{8}}|dy|}. \end{aligned}

Again, because of

\begin{aligned}& \biggl\vert \frac{\bar{y}}{|y|^{2}}-x^{(1)} \biggr\vert ^{-k}=|y|^{k}|y|^{-k}\biggl\vert \frac{\bar{y}}{|y|^{2}}-x^{(1)} \biggr\vert ^{-k}=|y|^{k} \bigl\vert 1-yx^{(1)}\bigr\vert ^{-k}, \\& \biggl\vert \frac{\bar {y}}{|y|^{2}}-x^{(2)}\biggr\vert ^{-(4-k)}=|y|^{4-k}\bigl\vert 1-yx^{(2)} \bigr\vert ^{-(4-k)}, \end{aligned}

by the HÃ¶lder inequality, we have

\begin{aligned}& \bigl\vert \bigl(T_{2}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{2}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert \\& \quad \leq {J_{14}\sum_{k=1}^{3} \int_{B}\bigl\vert 1- yx^{(1)}\bigr\vert ^{-k}\bigl\vert 1-yx^{(2)}\bigr\vert ^{-(4-k)}|y|^{-4} \biggl\vert g \biggl(\frac {\bar{y}}{|y|^{2}} \biggr)\biggr\vert |dy|\bigl\vert x^{(1)}-x^{(2)}\bigr\vert } \\& \quad \leq {J_{14}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert \bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)}\sum _{k=1}^{3} \biggl[ \int_{B}\bigl\vert 1- yx^{(1)}\bigr\vert ^{-kq}\bigl\vert 1-yx^{(2)}\bigr\vert ^{-(4-k)q}|dy| \biggr]^{\frac{1}{q}}} \\& \quad = {J_{14}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert \bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)}\sum _{k=1}^{3}\bigl[\widetilde{O}_{k} \bigl(x^{(1)},x^{(2)}\bigr)\bigr]^{\frac{1}{q}}}, \end{aligned}
(3.5)

where

$$\widetilde{O}_{k}\bigl(x^{(1)},x^{(2)}\bigr)= \int _{B}\bigl\vert 1-yx^{(1)}\bigr\vert ^{-kq}\bigl\vert 1-yx^{(2)}\bigr\vert ^{-(4-k)q}|dy|.$$

In the following, we discuss $$\widetilde{O}_{k}(x^{(1)},x^{(2)})$$ in four cases.

(i) When $$|x^{(1)}|\leq\frac{1}{2}$$, $$|x^{(2)}|\leq\frac {1}{2}$$, we have $$|1-yx^{(1)}|\geq\frac {1}{2}$$, $$|1-yx^{(2)}|\geq\frac{1}{2}$$ and $$|x^{(1)}-x^{(2)}|\leq1$$. Hence

$${\widetilde{O}_{k}\bigl(x^{(1)},x^{(2)}\bigr)\leq \int _{B}2^{kq}2^{(4-k)q}|dy|=2^{4q} \int_{B}|dy|=J_{15}}.$$

From $$|x^{(1)}|-|x^{(2)}|\leq1$$, $$0\leq\beta=1-\frac {4}{p}<1$$, we have $$|x^{(1)}-x^{(2)}|\leq|x^{(1)}-x^{(2)}|^{\beta}$$. Therefore, by (3.5), we have

\begin{aligned}& \bigl\vert \bigl(T_{2}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{2}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert \\& \quad \leq {J_{14}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta}\bigl\Vert g^{(4)}\bigr\Vert _{L^{(p)}(B)} \sum_{k=1}^{3}J_{15}^{\frac{1}{q}}} \\& \quad = J_{16}\bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta}. \end{aligned}
(3.6)

(ii) When $$|x^{(1)}|\geq\frac{1}{2}$$, $$|x^{(2)}|\leq\frac {1}{2}$$, we have $$|1-yx^{(2)}|\geq\frac{1}{2}$$, $$\frac {1}{|x^{(1)}|}\leq2$$, $$\frac{|x^{(2)}|}{|x^{(1)}|}\leq1$$. Thus

\begin{aligned} \widetilde{O}_{k}\bigl(x^{(1)},x^{(2)}\bigr)&\leq {2^{(4-k)q} \int _{B}\bigl\vert 1-yx^{(1)}\bigr\vert ^{-kq}|dy|} \\ &= {2^{(4-k)q} \int _{B}\bigl\vert 1-yx^{(1)}\bigr\vert ^{-kq}\bigl\vert x^{(1)}\bigr\vert ^{-kq}\bigl\vert x^{(1)}\bigr\vert ^{kq}|dy|} \\ &\leq {J_{17}2^{(4-k)q}\bigl\vert x^{(1)}\bigr\vert ^{-kq} \int_{B} \biggl\vert \bigl(1-yx^{(1)}\bigr) \frac{\bar{x}^{(1)}}{|x^{(1)}|^{2}} \biggr\vert ^{-kq}|dy|} \\ &= {J_{17}2^{(4-k)q}\bigl\vert x^{(1)}\bigr\vert ^{-kq} \int_{B}\biggl\vert \frac {\bar{x}^{(1)}}{|x^{(1)}|^{2}}-y\biggr\vert ^{-kq}|dy|}, \end{aligned}

where

$${ \biggl(\frac{1}{|x^{(1)}|} \biggr)^{kq}=2^{kq} \biggl( \frac {1}{2|x^{(1)}|} \biggr)^{kq} \leq2^{kq} \biggl( \frac{1}{2|x^{(1)}|} \biggr)^{q} =2^{(k-1)q} \biggl( \frac{1}{|x^{(1)}|} \biggr)^{q}}.$$

Again, since

\begin{aligned} \frac{1}{|x^{(1)}|}&= \biggl(\frac {1}{|x^{(1)}|} \biggr)^{\beta} \biggl( \frac{1}{|x^{(1)}|} \biggr)^{1-\beta }=\frac{1}{|x^{(1)}|^{\beta}} \biggl( \frac{\bar {x}^{(1)}}{|x^{(1)}|^{2}} \biggr)^{1-\beta} \\ &= \frac{1}{|x^{(1)}|^{\beta}}\biggl\vert \frac{\bar {x}^{(1)}(x^{(1)}-x^{(2)})(\bar{x}^{(1)}-\bar {x}^{(2)})}{|x^{(1)}|^{2}|x^{(1)}-x^{(2)}|^{2}}\biggr\vert ^{1-\beta} \\ &\leq J_{18}\frac{1}{|x^{(1)}|^{\beta}}\biggl\vert \frac {\bar{x}^{(1)}(x^{(1)}-x^{(2)})}{|x^{(1)}|^{2}}\biggr\vert ^{1-\beta }\frac{1}{|x^{(1)}-x^{(2)}|^{1-\beta}} \\ &= J_{18}\bigl\vert x^{(1)}\bigr\vert ^{-\beta} \biggl\vert 1-\frac{\bar {x}^{(1)}x^{(2)}}{|x^{(1)}|^{2}}\biggr\vert ^{1-\beta }\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta-1} \\ &\leq J_{19}\bigl\vert x^{(1)}\bigr\vert ^{-\beta} \biggl(1+\frac {|x^{(2)}|}{|x^{(1)}|} \biggr)^{1-\beta}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta-1} \\ &\leq J_{20}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta-1}, \end{aligned}

we have

$$\biggl(\frac{1}{|x^{(1)}|} \biggr)^{kq}\leq2^{(k-1)q} \bigl(J_{20}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta-1} \bigr)^{q}\leq J_{21}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{(\beta-1)q}.$$

Again from $${1< q<\frac{4}{3}}$$, we have $${kq<4}$$ ($$k=1,2,3$$). Thus $$\int_{B}\vert \frac{\bar {x}^{(1)}}{|x^{(1)}|^{2}}-y\vert ^{-kq}|dy|$$ is bounded. Hence, we obtain

$$\widetilde{O}_{k}\bigl(x^{(1)},x^{(2)}\bigr)\leq J_{22}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{(\beta-1)q}.$$

Therefore, by (3.5), we have

\begin{aligned}& \bigl\vert \bigl(T_{2}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{2}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert \\& \quad \leq {J_{14}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert \bigl\Vert g^{(4)}\bigr\Vert _{L^{(p)}(B)}\sum _{k=1}^{3}\bigl(J_{22}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{(\beta-1)q} \bigr)^{\frac{1}{q}}} \\& \quad = J_{23}\bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta}. \end{aligned}
(3.7)

(iii) When $$|x^{(1)}|\leq\frac{1}{2}$$, $$|x^{(2)}|\geq \frac{1}{2}$$, we have $$|1-yx^{(1)}|\geq\frac {1}{2}$$, $$\frac{1}{|x^{(2)}|}\leq2$$, $$\frac{|x^{(1)}|}{|x^{(2)}|}\leq 1$$. Similar to (ii), we have

$$\bigl\vert \bigl(T_{2}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{2}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert =J_{24}\bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta}.$$
(3.8)

(V) When $$|x^{(1)}|\geq\frac{1}{2}$$, $$|x^{(2)}|\geq\frac {1}{2}$$, we have $$\frac{1}{|x^{(1)}|}\leq2$$, $$\frac {1}{|x^{(2)}|}\leq2$$.

Since

\begin{aligned} \begin{aligned} \bigl\vert 1-yx^{(1)}\bigr\vert ^{-kq}&=\bigl\vert 1-yx^{(1)}\bigr\vert ^{-kq}\bigl\vert x^{(1)}\bigr\vert ^{kq}\bigl\vert x^{(1)}\bigr\vert ^{-kq} \\ &= \bigl\vert 1-yx^{(1)}\bigr\vert ^{-kq} \biggl( \frac{\bar {x}^{(1)}}{|x^{(1)}|^{2}} \biggr)^{-kq}\bigl\vert x^{(1)}\bigr\vert ^{-kq} \\ &\leq J_{25} \biggl\vert y-\frac{\bar {x}^{(1)}}{|x^{(1)}|^{2}}\biggr\vert ^{-kq}\bigl\vert x^{(1)}\bigr\vert ^{-kq} \end{aligned} \end{aligned}

and

\begin{aligned} \bigl\vert 1-yx^{(2)}\bigr\vert ^{-(4-k)q}&= \bigl\vert 1-yx^{(2)}\bigr\vert ^{-(4-k)q}\bigl\vert x^{(2)}\bigr\vert ^{(4-k)q}\bigl\vert x^{(2)}\bigr\vert ^{-(4-k)q} \\ &\leq J_{26}\biggl\vert y-\frac{\bar {x}^{(2)}}{|x^{(2)}|^{2}}\biggr\vert ^{-(4-k)q}\bigl\vert x^{(2)}\bigr\vert ^{-(4-k)q}, \end{aligned}

we have

$$\widetilde{O}_{k}\bigl(x^{(1)},x^{(2)}\bigr)\leq J_{27} \int_{B}\biggl\vert y-\frac {\bar{x}^{(1)}}{|x^{(1)}|^{2}}\biggr\vert ^{-kq}\biggl\vert y-\frac{\bar {x}^{(2)}}{|x^{(2)}|^{2}}\biggr\vert ^{-(4-k)q}|dy|.$$

Suppose $$\alpha'=kq$$, $$\beta'=(4-k)q$$, then $$0<\alpha'<3q<4$$, $$0<\beta '<3q<4$$, $$\alpha'+\beta'=4q\geq4$$. Thus, by LemmaÂ 2.3, we have

\begin{aligned} \widetilde{O}_{k}\bigl(x^{(1)},x^{(2)}\bigr)&\leq {J_{27}\biggl\vert \frac {\bar{x}^{(1)}}{|x^{(1)}|^{2}}-\frac{\bar {x}^{(2)}}{|x^{(2)}|^{2}}\biggr\vert ^{4-4q}} \\ &=J_{28} { \biggl(\frac{|\bar {x}^{(1)}|x^{(2)}|^{2}-\bar {x}^{(2)}|x^{(1)}|^{2}|}{|x^{(1)}|^{2}|x^{(2)}|^{2}} \biggr)^{4-4q}} \\ &=J_{28} { \biggl(\frac{\bar {x}^{(1)}|x^{(2)}|^{2}-\bar{x}^{(2)}|x^{(2)}|^{2}+\bar {x}^{(2)}|x^{(2)}|^{2}-\bar {x}^{(2)}|x^{(1)}|^{2}}{|x^{(1)}|^{2}|x^{(2)}|^{2}} \biggr)^{4-4q}} \\ &\leq J_{28} { \biggl(\frac{1}{|x^{(1)}|^{2}}+\frac {|x^{(2)}|+|x^{(1)}|}{|x^{(1)}|^{2}|x^{(2)}|} \biggr)^{4-4q}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{4-4q}} \\ &=J_{28} { \biggl(\frac{1}{|x^{(1)}|^{2}}+\frac {1}{|x^{(1)}|^{2}}+ \frac{1}{|x^{(1)}||x^{(2)}|} \biggr)^{4-4q}\bigl\vert x^{(1)}-x^{(2)} \bigr\vert ^{4-4q}} \\ &\leq J_{29}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{4-4q}. \end{aligned}

Therefore, by (3.5), we have

\begin{aligned}& \bigl\vert \bigl(T_{2}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{2}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert \\& \quad \leq {J_{14}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert \bigl\Vert g^{(4)}\bigr\Vert _{L^{(p)}(B)}\sum _{k=1}^{3}\bigl(J_{29}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{4-4q} \bigr)^{\frac{1}{q}}} \\& \quad = {J_{30}\bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{1+\frac {4(1-q)}{q}}} \\& \quad =J_{30}\bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta}, \end{aligned}
(3.9)

where $${0<\beta=1+\frac{4(1-q)}{q}=\frac{p-4}{p}<1}$$.

Therefore, by (3.6)-(3.9), we obtain

$$\bigl\vert \bigl(T_{2}[g]\bigr) \bigl(x^{(1)}\bigr)- \bigl(T_{2}[g]\bigr) \bigl(x^{(2)}\bigr)\bigr\vert \leq M_{4}(p)\bigl\Vert g^{(4)}\bigr\Vert _{L^{p}(B)}\bigl\vert x^{(1)}-x^{(2)}\bigr\vert ^{\beta},$$

where $$M_{4}(p)=\max\{J_{16},J_{23},J_{24},J_{30}\}$$.

(3) This case is similar to TheoremÂ 3.1, and it is easy to prove.â€ƒâ–¡

### Remark 3.1

Let B be as stated above. If $$g\in L^{p,4}(R^{4},{\mathit{Cl}}_{0,3})$$, $$4< p<+\infty$$, then we have the following results:

1. (1)

$$|(T[g])(x)|\leq M_{5}(p)\|g\|_{p,4}$$, $$x\in R^{4}$$,

2. (2)

$$|(T[g])(x^{(1)})-(T[g])(x^{(2)})|\leq M_{6}(p)\|g\| _{p,4}|x^{(1)}-x^{(2)}|^{\beta}$$, $$x^{(1)},x^{(2)}\in R^{4}$$,

3. (3)

$${\partial_{x}(T[g])(x)=g(x)}$$, $$x\in R^{4}\backslash \partial B$$,

where $$0<\beta<1$$.

## 4 Integral representation of solution to inhomogeneous partial differential system

In this section, we will discuss the inhomogeneous partial differential system of first order equations as follows:

$$\left \{ \textstyle\begin{array}{l} {w_{0_{x_{0}}}-w_{1_{x_{1}}}-w_{2_{x_{2}}}-w_{3_{x_{3}}}=c_{0}(x)}, \\ w_{1_{x_{0}}}+w_{0_{x_{1}}}+w_{4_{x_{2}}}+w_{5_{x_{3}}}=c_{1}(x), \\ w_{2_{x_{0}}}-w_{4_{x_{1}}}+w_{0_{x_{2}}}+w_{6_{x_{3}}}=c_{2}(x), \\ w_{3_{x_{0}}}-w_{5_{x_{1}}}-w_{6_{x_{2}}}+w_{0_{x_{3}}}=c_{3}(x), \\ w_{4_{x_{0}}}+w_{2_{x_{1}}}-w_{1_{x_{2}}}-w_{7_{x_{3}}}=c_{4}(x), \\ w_{5_{x_{0}}}+w_{3_{x_{1}}}+w_{7_{x_{2}}}-w_{1_{x_{3}}}=c_{5}(x), \\ w_{6_{x_{0}}}-w_{7_{x_{1}}}+w_{3_{x_{2}}}-w_{2_{x_{3}}}=c_{6}(x), \\ w_{7_{x_{0}}}+w_{6_{x_{1}}}-w_{5_{x_{2}}}+w_{4_{x_{3}}}=c_{7}(x), \end{array}\displaystyle \right .$$
(4.1)

where $$w_{j}(x)$$, $$c_{j}(x)$$ ($$j=0,1,2,\ldots,7$$) are real-value functions.

### Problem P

Let $$B\subset R^{4}$$ be as stated above. The Riemann boundary value problem for system (4.1) is to find a solution $$w(x)$$ of (4.1) that satisfies the boundary condition

$$w^{+}(\tau)=w^{-}(\tau)G+f(\tau), \quad \tau\in\partial B,$$
(4.2)

where $$w^{\pm}(\tau)=\lim_{x\in B^{\pm}, x\rightarrow\tau}w(x)$$, $$B^{+}=B$$, $$B^{-}=R^{4}\backslash\overline{B}$$, G is a Clifford constant, $$G^{-}$$ exists, and $$f\in H_{\partial B}^{\nu}$$ ($$0<\nu<1$$).

In fact,

\begin{aligned} \partial_{x}w =& {\sum_{i=0}^{3}e_{i} \sum_{j=0}^{7}e_{j} \frac{\partial w_{j}}{\partial x_{i}}=\sum_{j=0}^{7} \biggl(e_{0}e_{j}\frac{\partial w_{j}}{\partial x_{0}}+e_{1}e_{j} \frac{\partial w_{j}}{\partial x_{1}}+e_{2}e_{j}\frac{\partial w_{j}}{\partial x_{2}}+e_{3}e_{j} \frac{\partial w_{j}}{\partial x_{3}}\biggr)} \\ =&(w_{0x_{0}}e_{0}+w_{0x_{1}}e_{1}+w_{0x_{2}}e_{2}+w_{0x_{3}}e_{3}) +(w_{1x_{0}}e_{1}-w_{1x_{1}}e_{0}-w_{1x_{2}}e_{4}- w_{1x_{3}}e_{5}) \\ &{} +(w_{2x_{0}}e_{2}+w_{2x_{1}}e_{4}-w_{2x_{2}}e_{0}- w_{2x_{3}}e_{6}) +(w_{3x_{0}}e_{3}+w_{3x_{1}}e_{5}+w_{3x_{2}}e_{6}- w_{3x_{3}}e_{0}) \\ &{} +(w_{4x_{0}}e_{4}-w_{4x_{1}}e_{2}+w_{4x_{2}}e_{1}+ w_{4x_{3}}e_{7}) +(w_{5x_{0}}e_{5}-w_{5x_{1}}e_{3}-w_{5x_{2}}e_{7}+ w_{5x_{3}}e_{1}) \\ &{} +(w_{6x_{0}}e_{6}+w_{6x_{1}}e_{7}-w_{6x_{2}}e_{3}+ w_{6x_{3}}e_{2}) +(w_{7x_{0}}e_{7}-w_{7x_{1}}e_{6}+w_{7x_{2}}e_{5}- w_{7x_{3}}e_{4}) \\ =&(w_{0x_{0}}-w_{1x_{1}}- w_{2x_{2}}-w_{3x_{3}})e_{0}+(w_{1x_{0}}+w_{0x_{1}}+w_{4x_{2}}+w_{5x_{3}})e_{1} \\ &{} +(w_{2x_{0}}-w_{4x_{1}}+w_{0x_{2}}+w_{6x_{3}})e_{2}+(w_{3x_{0}}-w_{5x_{1}}-w_{6x_{2}}+w_{0x_{3}})e_{3} \\ &{} +(w_{4x_{0}}+w_{2x_{1}}-w_{1x_{2}}-w_{7x_{3}})e_{4}+(w_{5x_{0}}+w_{3x_{1}}+w_{7x_{2}}-w_{1x_{3}})e_{5} \\ &{} +(w_{6x_{0}}-w_{7x_{1}}+w_{3x_{2}}-w_{2x_{3}})e_{6}+(w_{7x_{0}}+w_{6x_{1}}-w_{5x_{2}}+w_{4x _{3}})e_{7}. \end{aligned}
(4.3)

Let

\begin{aligned} g(x) =&c_{0}(x)e_{0}+c_{1}(x)e_{1}+c_{2}(x)e_{2}+c_{3}(x)e_{3} \\ &{}+c_{4}(x)e_{4}+c_{5}(x)e_{5}+c_{6}(x)e_{6}+c_{7}(x)e_{7} \\ =&\sum_{j=0}^{7}c_{i}(x)e_{i}. \end{aligned}
(4.4)

By (4.3) and (4.4), the inhomogeneous partial differential system (4.1) can be transformed to the following equation:

$$\partial_{x}w=\sum_{i=0}^{7}c_{i}(x)e_{i}=g(x).$$
(4.5)

Therefore Problem P as stated above can be transformed to Problem Q.

### Problem Q

Let $$B\subset R^{4}$$ be as stated above. The Riemann boundary value problem for system (4.1) is to find a solution $$w(x)$$ of (4.5) that satisfies the boundary condition

$$w^{+}(\tau)=w^{-}(\tau)G+f(\tau), \quad \tau\in\partial B,$$

where $$w^{\pm}(\tau)=\lim_{x\in B^{\pm}, x\rightarrow\tau}w(x)$$, $$B^{+}=B$$, $$B^{-}=R^{4}\backslash\overline{B}$$, G is a Clifford constant, $$G^{-}$$ exists, and $$f\in H_{\partial B}^{\nu}$$ ($$0<\nu<1$$).

### Theorem 4.1

Let B be as stated above. Find a Clifford-valued function $$u(x)$$ satisfying the system $$\partial_{x}u=0$$ ($$x\in R^{4}\backslash\partial B$$) and vanishing at infinity with the boundary condition

$$u^{+}(\tau)=u^{-}(\tau)G+f(\tau),\quad \tau\in\partial B,$$
(4.6)

where $$u^{\pm}(\tau)=\lim_{x\in B^{\pm}, x\rightarrow\tau}u(x)$$, G is a Clifford constant, $$G^{-}$$ exists, and $$f\in H_{\partial B}^{\lambda }$$ ($$0<\lambda<1$$). Then the solution can be expressed as

$$u(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} {\frac{1}{2\pi^{2}}\int_{\partial B}\frac{\bar {y}-\bar{x}}{|y-x|^{4}}\,d\sigma_{y}f(y)}, & x\in B^{+}, \\ {\frac{1}{2\pi^{2}}\int_{\partial B}\frac{\bar{y}-\bar {x}}{|y-x|^{4}}\,d\sigma_{y}f(y)G^{-1}}, & x\in B^{-}. \end{array}\displaystyle \right .$$

### Proof

Define

$$\varphi(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} u(x), & x\in B^{+}, \\ u(x)G, & x\in B^{-}. \end{array}\displaystyle \right .$$

Then it is obvious $$\partial_{x}\varphi(x)=0$$, and the Riemann boundary condition (4.6) is equivalent to

$$\varphi^{+}(\tau)=\varphi^{-}(\tau)+f(\tau), \quad \tau\in \partial B.$$

Suppose $$\psi(x)=\frac{1}{2\pi^{2}}\int_{\partial\Omega_{x}}\frac{\bar{y} -\bar{x}}{|y-x|^{4}}\,d\sigma_{y}f(y)$$, then $$\partial_{x}\psi(x)=0$$. And by the Plemelj formula [14], we have

$$\psi^{+}(\tau)-\psi^{-}(\tau)=f(\tau), \quad \tau\in \partial B.$$

Hence $$\varphi^{+}(\tau)-\psi^{+}(\tau)=\varphi^{-}(\tau)-\psi^{-}(\tau)$$ ($$\tau \in\partial B$$). Thus by the Liouville theorem and the extension theorem [17], we obtain $$\varphi(x)=\psi(x)$$. So, the solution can be expressed as

$$u(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} {\frac{1}{2\pi^{2}}\int_{\partial B}\frac{\bar {y}-\bar{x}}{|y-x|^{4}}\,d\sigma_{y}f(y)}, & x\in B^{+}, \\ {\frac{1}{2\pi^{2}}\int_{\partial B}\frac{\bar{y}-\bar {x}}{|y-x|^{4}}\,d\sigma_{y}f(y)G^{-1}}, & x\in B^{-}. \end{array}\displaystyle \right .$$

â€ƒâ–¡

### Theorem 4.2

Let B be as stated above, $$g\in L^{p,4}(R^{4},{\mathit{Cl}}_{0,3})$$, $$4< p<+\infty$$. Find a Clifford-valued function $$w(x)$$ satisfying the system $$\partial _{x}w=g(x)$$ ($$x\in R^{4}\backslash\partial B$$) and vanishing at infinity with the boundary condition

$$w^{+}(\tau)=w^{-}(\tau)G+f(\tau), \quad \tau\in\partial B,$$
(4.7)

where $$w^{\pm}(\tau)=\lim_{x\in B^{\pm}, x\rightarrow\tau}w(x)$$, G is a Clifford constant, $$G^{-}$$ exists, and $$f\in H_{\partial B}^{\lambda }$$ ($$0<\lambda<1$$). Then the solution has the form

$$w(x)=\Psi(x)+\bigl(T[g]\bigr) (x),$$

in which $$\partial_{x}\Psi(x)=0$$ and

$$\Psi(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} {\frac{1}{2\pi^{2}}\int_{\partial B} \frac{\bar{y}-\bar{x}}{|y-x|^{4}}\,d\sigma_{y}\tilde{f}(y)},& x\in B^{+}, \\ {\frac{1}{2\pi^{2}}\int_{\partial B}\frac{\bar {y}-\bar{x}}{|y-x|^{4}}\,d\sigma_{y}\tilde{f}(y)G^{-1}}, & x\in B^{-}, \end{array}\displaystyle \right .$$

where $$\tilde{f}=f+(T[g])(G-1)$$, $$(T[g])(x)$$ is the same as (3.1).

### Proof

By RemarkÂ 3.1, we know

$$\partial_{x}w=\partial\bigl[\Psi(x)+\bigl(T[g]\bigr) (x)\bigr]=g(x).$$

The boundary condition (4.7) is equivalent to

$$\bigl(\Psi+T[g]\bigr)^{+}(\tau)=\bigl(\Psi+T[g]\bigr)^{-}( \tau)G+f(\tau),\quad \tau\in \partial B.$$
(4.8)

Again from RemarkÂ 3.1, we know that $$(T[g])(x)$$ has HÃ¶lder continuity in $$R^{4}$$. Thus $$(T[g])^{+}=(T[g])^{-}=T[g]$$. So (4.8) is equivalent to

$$\Psi^{+}(\tau)=\Psi^{-}(\tau)G+\bigl(T[g]\bigr) (\tau) (G-1)+f(\tau).$$
(4.9)

Suppose $$\tilde{f}=f+T[g](G-1)$$, then (4.9) has the following form:

$$\Psi^{+}(\tau)=\Psi^{-}(\tau)G+\tilde{f}(\tau), \quad \tau \in\partial B.$$
(4.10)

Again from TheoremÂ 4.1, the solutions which satisfy the system $$\partial_{x}\Psi(x)=0$$ and boundary condition (4.10) can be represented in the form

$$\Psi(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} {\frac{1}{2\pi^{2}}\int_{\partial B}\frac {\bar{y}-\bar{x}}{|y-x|^{4}}\,d\sigma_{y}\tilde{f}(y)},& x\in B^{+}, \\ {\frac{1}{2\pi^{2}}\int_{\partial B}\frac{\bar {y}-\bar{x}}{|y-x|^{4}}\,d\sigma_{y}\tilde{f}(y)G^{-1}}, & x\in B^{-}. \end{array}\displaystyle \right .$$

### Remark 4.1

From TheoremÂ 4.2, the solution of Problem P can be expressed as

$$w(x)=\Psi(x)+\bigl(T[g]\bigr) (x),$$

in which $$\partial_{x}\Psi(x)=0$$ and

$$\Psi(x)=\left \{ \textstyle\begin{array}{l@{\quad}l} {\frac{1}{2\pi^{2}}\int_{\partial\Omega_{x}}\frac {\bar{y}-\bar{x}}{|y-x|^{4}}\,d\sigma_{y}\tilde{f}(y)},& x\in B^{+}, \\ {\frac{1}{2\pi^{2}}\int_{\partial B}\frac{\bar {y}-\bar{x}}{|y-x|^{4}}\,d\sigma_{y}\tilde{f}(y)G^{-1}}, & x\in B^{-}, \end{array}\displaystyle \right .$$

where $$\tilde{f}=f+T[g](G-1)$$.â€ƒâ–¡

## References

1. Athreya, SE, Barlow, MT, Bass, RF, Perkins, EA: Degenerate stochastic differential equations and super-Markov chains. Probab. Theory Relat. Fields 123, 484-520 (2002)

2. Epstein, CL, Mazzeo, R: Analysis of degenerate diffusion operators arising in population biology. In: From Fourier Analysis and Number Theory to Radon Transforms and Geometry, pp.Â 203-216. Springer, New York (2013)

3. Keldysh, MV: On some cases of degenerate elliptic equations on the boundary of a domain. Dokl. Akad. Nauk SSSR 77, 181-183 (1951)

4. Wen, GC: Linear and Nonlinear Elliptic Complex Equations. Shanghai Scientific and Technical Publishers, Shanghai (1986) (in Chinese)

5. Wen, GC: Recent Progress in Theory and Applications of Modern Complex Analysis. Science Press, Beijing (2010)

6. ÄŒaniÄ‡, S, Kim, EH: A class of quasilinear degenerate elliptic problems. J. Differ. Equ. 189, 71-98 (2003)

7. Taira, K: Degenerate elliptic boundary value problems with asymptotically linear nonlinearity. Rend. Circ. Mat. Palermo 60, 283-308 (2011)

8. Vekua, N: Generalized Analytic Functions. Pergamon, Oxford (1962)

9. Hile, GN: Elliptic systems in the plane with first order terms and constant coefficients. Commun. Partial Differ. Equ. 3, 949-977 (1978)

10. Gilbert, RP, Hou, ZY, Meng, XW: Vekua theory in higher dimensional complex space: the Î -operator in $$C^{n}$$. Complex Var. Theory Appl. 21, 99-105 (1993)

11. Meng, XW: T-Operator in $$C^{n}$$ and its applications. In: Conference on Integral Equations and Boundary Value Problems. World Scientific, Singapore (1991)

12. GÃ¼rlebeck, K, SprÃ¶ssig, W: Quaternionic Analysis and Elliptic Boundary Value Problems. BirkhÃ¤user, Basel (1990)

13. Yang, PW: HÃ¶lder continuity of $$T_{G}$$ and Riemann-Hilbert boundary value problem in quaternionic analysis. Acta Math. Sin. 46, 993-998 (2003)

14. Huang, S, Qiao, YY, Wen, GC: Real and Complex Clifford Analysis. Springer, New York (2005)

15. Zhao, Z: Singular Integral Equation. Beijing Normal University Press, Beijing (1984) (in Chinese)

16. Gilbert, RP, Buchanan, LJ: First Order Elliptic Systems: A Function Theoretic Approach. Academic Press, New York (1983)

17. Obolashvili, E: Partial Differential Equations in Clifford Analysis. CRC Press, Boca Raton (1999)

## Acknowledgements

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

## Author information

Authors

### Corresponding author

Correspondence to Liping Wang.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

LW has presented the main purpose of the article. All authors read and approved the final manuscript.

## Rights and permissions

Reprints and permissions

Qiao, Y., Wang, L. & Yang, G. A kind of boundary value problem for inhomogeneous partial differential system. J Inequal Appl 2016, 180 (2016). https://doi.org/10.1186/s13660-016-1121-1