Complex Anal. Oper. Theory (2013) 7:673–693 DOI 10.1007/s11785-012-0277-z
Complex Analysis and Operator Theory
Riemann Boundary Value Problems for Iterated Dirac Operator on the Ball in Clifford Analysis Min Ku · Yingxiong Fu · Kähler Uwe · Cerejeiras Paula
Received: 26 July 2012 / Accepted: 9 November 2012 / Published online: 28 November 2012 © Springer Basel 2012
Abstract In this paper we consider the Riemann boundary value problem for null solutions to the iterated Dirac operator over the ball in Clifford analysis with boundary data given in L p (1 < p < +∞)-space. We will use two different ways to derive its solution, one which is based on the Almansi-type decomposition theorem for null solutions to the iterated Dirac operator and a second one based on the poly-Cauchy type integral operator.
Communicated by Irene Sabadini. This work was supported by FEDER funds through COMPETE–Operational Programme Factors of Competitiveness (“Programa Operacional Factores de Competitividade”), by Portuguese founds through the Center for Research and Development in Mathematics and Applications (University of Aveiro) and the Portuguese Foundation for Science and Technology (“FCT–Fundação para a Ciência e a Tecnologia”), within project PEst-C/MAT/UI4106/2011 with COMPETE number FCOMP-01-0124-FEDER-022690 and by NNSF of China under Grant No.61170032. The first author is the recipient of Postdoctoral Foundation from FCT (Portugal) under Grant No.SFRH/BPD/74581/2010 and from China under Grant No. 201003111. M. Ku (B) · Y. Fu · K. Uwe · C. Paula Department of Mathematics, Center for Research and Development in Mathematics and Applications, University of Aveiro, 3810-193 Aveiro, Portugal e-mail:
[email protected];
[email protected] K. Uwe e-mail:
[email protected] C. Paula e-mail:
[email protected] Y. Fu Faculty of Mathematics and Computer Science, Hubei University, Hubei, China e-mail:
[email protected]
674
M. Ku et al.
Keywords Clifford analysis · Riemann boundary value problem · Iterated Dirac operator Mathematics Subject Classification (2000)
30D10 · 30G35 · 32A25 · 58A10
1 Introduction Riemann boundary value problems (RBVP) for polyanalytic functions of one complex variable are of particular interest in solving concrete problems in mathematical physics and engineering. Its higher dimensional equivalent, based on the Dirac equation instead of the complex Cauchy–Riemann equations plays also very important role in pure mathematics and mathematical physics. Its underlying function theory, so-called Clifford analysis, focuses on the study of null solutions to Dirac operator or generalized Cauchy–Riemann operator, i.e., the so-called monogenic functions (see e.g. [1–3]), which are an elegant generalization of analytic functions from the complex plane to higher dimensions and which refines classic harmonic analysis due to the first-order differential operator factorizing the Laplacian. Making full use of Clifford analysis, a large number of partial differential equations and their related boundary value problems over the various subdomains of Rn and Rn+1 were investigated, e.g. in [4–27]. The corresponding solutions were explicitly given in terms of integral representation formulae in [4–18]. In [19–27] a kind of Riemann–Hilbert boundary value problem for monogenic functions over subdomains of Rn and Rn+1 was studied. More related results can be found in [28,29]. However, the RBVP for null solutions to iterated Dirac operator on bounded subdomains of Rn is still not considered. In this context, based on ideas contained in [27,30,31], we use two different ways to give the solution to RBVP for null solutions to the iterated Dirac operator on the ball, which generalizes the Riemann boundary value problem for polyanalytic functions of one complex variable(see [30–33] or elsewhere) to the higher-dimensional case. Applying the Almansi decomposition theorem for iterated Dirac operator in Clifford analysis, we first get the solution of RBVP for null solutions to the iterated Dirac operator on the ball. Then by using the poly-Cauchy type integral operator, we obtain another representation for the solution of these RBVP. As a special case we derive solutions to RBVPs for polyanalytic functions on the unit circle in the complex plane (e.g. see Refs. [30–33]). Principally, the first approach is similar to the method used in [24] but with a major difference. In [24] the authors base their method on showing the commutativity between the trace operator and the shifted Euler operator/inverse of the shifted Euler operator. This only works for boundaries which are themselves star-like domains, i.e., the half space. Here we show it in a more direct way which lifts this restriction. The paper is organized as follows. In Sect. 2 we recall some basic facts about Clifford analysis which will be required in the sequel. In Sect. 3 we provide some technical lemmas which will be needed later. In the last section, we obtain the solution to RBVP for null solutions to iterated Dirac operator on the ball by the proposed methods. First, we give the solution by means of the Almansi-type decomposition theorem for null solutions to iterated Dirac operator in Clifford analysis. Then we
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
675
construct the solution to RBVP for null solutions to iterated Dirac operator on the ball by means of the poly-Cauchy type integral operator. As a special case solutions to RBVPs for polyanalytic functions on the unit circle of the complex plane (e.g. see Refs. [30–33]) are obtained.
2 Preliminaries and Notations In this section we recall some basic facts about Clifford analysis which will be needed in the sequel. For more details we refer to Refs. [1–5]. Let {e1 , e2 , . . . , en } be an orthogonal basis of the Euclidean space Rn . Furthermore, let Rn be endowed with a non-degenerate quadratic form of signature (0, n) and let R0,n be the 2n -dimensional real Clifford algebra constructed over Rn with basis {eA : A = {h 1 , . . . , h r } ∈ PN , 1 ≤ h 1 < h r ≤ n}, where N stands for the set {1, 2, . . . , n} and PN denotes the family of all orderpreserving subsets of N . We denote by e∅ the identity element 1 and eA represents eh 1 ...hr where A = {h 1 , . . . , h r } ∈ PN . The product in R0,n is defined by
eA eB = (−1) N (A∩B) (−1) P(A,B) eAB , if A, B∈ PN , λμ = A,B∈PN λA μB eA eB , if λ = A∈PN λA eA , μ = B∈PN μB eB ,
where N (A) denotes the cardinal number of the set A and P (A, B) = j∈B P(A, j), P (A, j) = N (Z) and Z = {i : i ∈ A, i > j}. In particular, we have ei2 = −1 if i = 1, 2, . . . , n and ei e j + e j ei = 0 if 1 ≤ i < j ≤ n. Thus the real Clifford algebra algebra. R0,n is a real linear, associative, but non-commutative we have a = a e For arbitrary a ∈ R 0,n A A = N ( A )=k N (A)=k [a]k , aA ∈ R, where [a]k = N (A)=k eA [a]A is the so-called k-vector part of a (k = 1, 2, . . . , n). The Euclidean space Rn is embedded in R0,n by identifying (x1 , x2 , . . . , xn ) with the Clifford vector x given by x = nj=1 e j x j . The conjugation in R0,n is defined by k(k+1) a¯ = A aA e¯A , e¯A = (−1) 2 eA , N (A) = k, aA ∈ R, and hence ab = b¯ a¯ for arbitrary a, b ∈ R0,n . Note that x 2 = − x, x = −|x|2 . The complex Clifford algebra Cn = R0,n ⊗ C can be understood as Cn = R0,n ⊕ iR0,n . Arbitrary λ ∈ Cn may be written as λ = a + ib, a, b ∈ R0,n , leading to the ¯ where the bar denotes the usual Clifford conjugation in R0,n . conjugation λ¯ = a¯ − i b, This leads to the inner product and its associated norm in Cn given by (λ, μ) = λ¯ μ 0 1 2 2 ¯ and |λ| = = . λλ A |λA | 0 The vector-valued first-order differential operator D = nj=1 e j ∂x j is called the Dirac operator and it factorizes the Laplacian D2 = −, where is the Laplace operator in the Euclidean space Rn . Let be a bounded subdomain of Rn . In what follows, we denote the interior of by + , the exterior of by − and its smooth boundary by ∂. L p (1 < p < +∞)integrability, continuity, continuous differentiability and so on, are defined for a Cn -
676
M. Ku et al.
valued function φ = A φA eA : → Cn where φA : → C, by being ascribed to each component φA . The corresponding spaces are denoted, respectively, by L p (, Cn ) (1 < p < +∞) , C (, Cn ) , C 1 (, Cn ) and so on. Null solutions to the Dirac operator D, that is, Dφ = 0, are called (left-) monogenic functions, respectively, right-monogenic functions depending whether the Dirac operator acts from the left or right. The set of left-monogenic functions in forms a right-module, denoted by M(r ) (, Cn ). 3 Several Lemmas In this section we provide several lemmas with respect to the shifted Euler operator and Almansi-type decomposition which will be needed later. Definition 3.1 Let be a star-like subdomain of Rn with center a ∈ Rn . The shifted Euler operator defined on the space C 1 (, Cn ) is given by Es = s I +
n
x j − a j ∂x j (s > 0),
j=1
n where a = j=1 e j a j and I denotes the identity operator defined on the space C 1 (, Cn ). The operator Is : C (, Cn ) → C (, Cn ) is defined by
1 Is φ =
φ (a + t (x − a)) t s−1 dt (s > 0). 0
Particularly, when is the unit ball centred at the origin of Rn , we have
1 Is φ =
φ (t x) t s−1 dt (s > 0) , x ∈ . 0
Lemma 3.1 Suppose is a star-like subdomain of Rn with center a ∈ Rn , and operators D, E s and Is are given as above. Then on the space C 1 (, Cn ) we have (i) (ii)
E s Is = Is E s = I, DE s φ = E s+1 Dφ and E s (x − a) φ = x E s+1 φ.
where I denotes the identity operator on the space C 1 (, Cn ). Moreover, if φ ∈ C k (, Cn ) , k ∈ N, is a solution to Dk φ = 0, then E s φ and Is φ are both solutions to Dk φ = 0, where Dk φ Dk−1 (Dφ). In this context, to avoid a discussion of the well-known case, we always assume that k ∈ N, k ≥ 2 in the following.
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
677
Lemma 3.2 [8] Let be a star-like subdomain of Rn with center a ∈ Rn . If φ ∈ C k (, Cn ) is a solution to Dk φ = 0, then there exist uniquely defined functions φ j such that φ=
k−1
(x − a) j φ j , x ∈ ,
j=1
where each φ j is monogenic in ( j = 0, 1, 2, . . . , k − 1) and given by ⎧ 2 2 . . . I − x k−1 Q φ1 = (I − xQ Dk−1 φ, ⎪ 1 D) I − x Q2 D k−1 ⎪ ⎪ 2 2 k−1 k−1 φ, ⎪ ⎪ ⎨ φ2 = Q1 D I − x Q2 D . . . I − x Qk−1 D .. .. . . ⎪ ⎪ k−2 I − x k−1 Q k−1 φ, ⎪ ⎪ = Q D φ k−1 k−2 k−1 D ⎪ ⎩ φk = Qk−1 Dk−1 φ, with Q j =
1 aj
I n2 I n2 +1 . . . I n +[ j−1 ] , a j = (−2)k [ 2j ]!, for j = 1, 2, . . . , k − 1 and 2
[s] =
2
q, q + 1,
if q ∈ N, if s = q + t, q ∈ N, 0 < t < 1.
Lemma 3.3 Suppose that is a subdomain of Rn and j ∈ N is arbitrary. If φ ∈ C 1 (, Cn ) is monogenic, then D(x j φ)
=
−2mx 2m−1 φ, −2x 2(m−1) E n+1 +[ j ]−1 φ, 2
2
if j = 2m, if j = 2m − 1,
where x ∈ and m, p ∈ N. Moreover, for l ∈ N and 2 ≤ l ≤ j, we get Dl x j φ = Cl, j x j−l E n+1 +[ j−l ] . . . E n+1 +[ j ]−1 φ, 2
2
2
(1)
2
with
Cl, j
⎧ l 2 m (m − 1) . . . (m − p + 1), ⎪ ⎪ ⎨ l −2 m (m − 1) . . . (m − p), = l (m − 1) . . . (m − p), 2 ⎪ ⎪ ⎩ l −2 (m − 1) . . . (m − p + 1),
if if if if
j j j j
= 2m, l = 2 p, = 2m, l = 2 p + 1, = 2m − 1, l = 2 p, = 2m − 1, l = 2 p − 1.
Especially, for l = j, we obtain D j x j φ = C j, j E n+1 . . . E n+1 +m−1 φ with C j, j = 2
2
2 j m!, if j = 2m, −2 j (m − 1)!, if j = 2m − 1.
Proof By using Lemma 3.1 the results can be obtained by direct calculation.
678
M. Ku et al.
Lemma 3.4 If φ ∈ C k (Rn , Cn ) is a solution to Dk φ = 0, satisfying the condi= L < +∞, r ≥ k − 1, r ∈ N, where M (R, φ) = tion lim inf R→+∞ M(R,φ) Rr max|x|=R |φ(x)|, then φ(x) =
k−1 r
( j)
j=0 m= j (l1 ,...,lm )
( j)
( j)
x j Vl1 ,...,lm (x)Al1 ,...,lm , Al1 ,...,lm ∈ Cn , x ∈ Rn ,
i.e., φ is a polynomial function Pr (x) of total degree no greater than r on the variable ( j) x ∈ Rn . Hereby, Vl1 ,...,lm denotes the inner spherical monogenic functions of degree m. Moreover, we obtain φ(x) =
k−1
x j φ j (x), x ∈ Rn ,
j=0
where for j = 0, 1, 2, . . . , k − 1, φ j (x) = ( j)
r m= j
(l1 ,...,lm )
( j)
( j)
Vl1 ,...,lm (x)Al1 ,...,lm ,
Al1 ,...,lm ∈ Cn is a polynomial of total degree r − j on the variable x ∈ Rn . Proof Since φ ∈ C k (Rn , Cn ) is a solution to Dk φ = 0, by applying Lemma 3.2, there exist unique monogenic functions φ j ( j = 0, 1, 2 . . . , k − 1) in Rn which satisfy j φ(x) = k−1 j=0 x φ j (x). As each φ j ( j = 0, 1, 2 . . . , k − 1) is monogenic in Rn , by Theorem 11.3.4 in Ref. [1], we have φ(x) =
k−1
xj
j=0
=
+∞
m=0 (l1 ,...,lm )
k−1 +∞
m=0 j=0 (l1 ,...,lm )
( j)
( j)
( j)
( j)
Vl1 ,...,lm (x)Al1 ,...,lm
x j Vl1 ,...,lm (x)Al1 ,...,lm , x ∈ Rn ,
( j)
where Vl1 ,...,lm (x) is a left inner spherical monogenic polynomial of total degree m on ( j)
the variable x ∈ Rn and Al1 ,...,lm ∈ Cn ( j = 0, 1, 2 . . . , k − 1). Therefore, by changing to spherical coordinates x = Rω ∈ Rn , R > 0, ω ∈ S n ⊂ n R , we obtain φ(x) =
+∞ k−1 m=0 j=0 (l1 ,...,lm )
( j)
( j)
R j+m ω j Vl1 ,...,lm (ω)Al1 ,...,lm ,
( j)
Al1 ,...,lm ∈ Cn .
Now, using the condition lim inf R→+∞ M(R,φ) = L < +∞, r ≥ k − 1, where Rr M (R, φ) = max |φ(x)| and noticing that the set |x|=R
( j)
( j)
x j Vl1 ,...,lm (x)Al1 ,...,lm : j = 0, 1, 2, . . . , k − 1, (l1 , . . . , lm ) ∈ {1, 2, . . . , n}m
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
679
is right Cn -free, then for m, j ∈ N ∪ {0}, we get φ(x) =
k−1 r
( j)
j=0 m= j (l1 ,...,lm )
( j)
x j Vl1 ,...,lm (x)Al1 ,...,lm
k−1
x jφj,
( j)
Al1 ,...,lm ∈ Cn ,
j=0
r ( j) ( j) where each φ j (x) = m= j (l1 ,...,lm ) Vl1 ,...,lm (x)Al1 ,...,lm is a polynomial of total degree r − j for j = 0, 1, 2, . . . , k − 1 on the variable x ∈ Rn . From here it follows the result.
Remark 1 Similar results about the growth conditions at infinity for null solutions to iterated Dirac operator can also be found in Refs. [18,22]. We would like to point out that Lemma 3.4 presents a much simpler growth condition than the one in [18,22], and refines the corresponding results in [18,22]. 4 Riemann Boundary Value Problems In this section, we will consider the RBVP for null solutions to iterated Dirac operator on the ball centered at the origin with boundary values given by Clifford algebra valued L p (1 < p < +∞)-integrable functions. We are going to obtain its unique solution in two different ways. As a special case, we also get the solution to RBVP for polyanalytic functions on the unit circle in the complex plane. In all what follows we denote the open unit ball centered at the origin by B(1) or for short B+ whose closure is B(1), its boundary given by S n−1 , and B− = Rn \B(1) will denote the exterior. We remark that ω ∈ S n−1 is the outward pointing unit normal vector of S n−1 . Functions taking values in Cn defined on B(1) and S n−1 will be considered, respectively. Furthermore, without loss of generality, we will only consider the Riemann boundary value problem on the unit ball centered at the origin. For arbitrary f ∈ L p S n−1 , Cn (1 < p < +∞), we define the Cauchy type integral operator via
φ(x) =
E (ω − x) dσω f (ω) C f (x), x ∈ / S n−1
(2)
S n−1 ω−x n where E (ω − x) = w1n |ω−x| n and wn is the area of the unit sphere of R . The following properties in the sense of nontangential limit are well-known:
1 Dφ(x) = 0, φ (t) lim φ(x) = ± f (t) + n−1 2 x→t∈S ±
E (ω − t) dσω f (ω) S n−1
1 ± f (t) + H f (t), 2 where x ∈ B± and the singular integral exits in the sense of the Cauchy principle value. Next we introduce the integral operators
680
M. Ku et al.
1 (x) = 2 (x) =
S n−1 E (ω − x) dσω f (ω) C f (x), x ∈ B+ , 1 1 n−1 2 f (x) + S n−1 E (ω − x) dσω f (ω) 2 f (x) + H f (x), x ∈ S . S n−1 E (ω − x) dσω f (ω) C f (x), x ∈ B− , − 21 f (x) + S n−1 E (ω − x) dσω f (ω) − 21 f (x) + H f (x), x ∈ S n−1 .
For these operators we have 1 ∈ L p B+ ∪ S n−1 , Cn and 2 ∈ L p B− ∪ S n−1 , Cn with 1 < p < +∞. We also need some technical lemmas for the operator Is and shifted Euler operator E s , respectively, which can be obtained by direct application of Lemma 3.2. / S n−1 is wellLemma 4.1 If f ∈ L p S n−1 , Cn and φ as above, then (Is φ) (x), x ∈ ± ± n−1 defined and its n−1 boundary values (Is φ) (t), t ∈ S , exist and it holds (Is φ) ∈ L p S , Cn with 1 < p < +∞. / S n−1 is well-defined. Lemma 4.2 (i) If φ ∈ C 1 (B± , Cn ), then (E s φ) (x), x ∈ k k l (ii) If φ ∈ C (B± , Cn ) is a solution to D φ = 0 and D φ (l = 0, 1, . . . , k − 1) can be continuously extended to the boundary S n−1 from B± , respectively, then for ± 1 ≤ l ≤ j ≤ k − 1, the boundary values E n+1 +[ j−l ] . . . E n+1 +[ j ]−1 φ j of 2
2
2
2
E n+1 +[ j−l ] . . . E n+1 +[ j ]−1 φ j exist on the boundary S n−1 from B± , respectively, 2 2 2 2 j where φ j is given by the decomposition φ = k−1 j=0 x φ j . Let us now state the Riemann boundary value problem we will be considering in the sequel. RBVP Given the boundary data f j ∈ L p S n−1 , Cn (1 < p < +∞, j = 0, 1, 2, . . . , k − 1), find a function φ ∈ C k (B± , Cn ) such that Dl φ (l = 1, 2, . . . , k − 1) and φ are continuously extendable to S n−1 from B± , respectively, and it satisfies ⎧ Dk φ(x) = 0, x ∈ B± , ⎪ ⎪ ⎪ + ⎪ φ (t) = φ − (t)G + f 0 (t), t ∈ S n−1 , ⎪ ⎪ ⎪ ⎪ ⎪ (Dφ)+ (t) = (Dφ)− (t)G + f 1 (t), t ∈ S n−1 , ⎪ ⎪ ⎪ .. .. ⎪ ⎪ ⎨ . . l φ + (t) = Dl φ − (t)G + f (t), t ∈ S n−1 , ( ) D l ⎪ ⎪ ⎪ .. .. ⎪ ⎪ ⎪ . . ⎪ k−1 − k−1 + ⎪ ⎪ ⎪ φ (t) = D φ (t)G + f k−1 (t), t ∈ S n−1 , D ⎪ ⎪ ⎪ M(R,φ) ⎪ ⎩ lim inf Rr = L < +∞, R→+∞
where r ≥ k − 1, r ∈ N, M (R, φ) = max|x|=R |φ(x)| and G ∈ Cn is an invertible constant. A first statement about the solution of this problem is given in the next theorem. Theorem 4.1 Problem ( ) is solvable and its unique solution is given by k−1 φ(x) =
j j=0 x φ j (x), x ∈ B+ , k−1 j j=0 (x − a) ψ j (x), x
∈ B− ,
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
681
where a ∈ B− . For j = 0, 1, 2, . . . , k − 1 the functions φ j and ψ j are given via the function
φ j (x), x ∈ B+ with ψ j (x), x ∈ B− ⎧ C f 0 (x) + gl0 (x), x ∈ B+ , ⎪ ⎪ if j = 0, ⎪ ⎪ C f 0 (x)G −1 + gl0 (x), x ∈ B− , ⎪ ⎪ ⎪ ⎪ C −1 I n+1 C f 1 (x) + gl1 , x ∈ B+ , ⎨ 1,1 2 if j = 1, j (x) = −1 φ C f 1 (x)G −1 + gl1 , x ∈ B− , ⎪ C1,1 I n+1 ⎪ 2 ⎪ −1 ⎪ ⎪ Cl,l I n+1 +[ l ]−1 . . . I n+1 C fl (x) + gll , x ∈ B+ , ⎪ ⎪ 2 2 2 ⎪ ⎩ C −1 I n+1 l −1 + g , x ∈ B , if 2 ≤ l ≤ k − 1. ll − l,l +[ ]−1 . . . I n+1 C fl (x)G
j (x) = φ
2
2
2
Hereby, C f j (x) ( j = 0, 1, 2, . . . , k − 1) is the Cauchy-type integral of
f j (t) =
⎧ j −1 j f 0 (t) − k−1 · · · I n+1 f j (t) j ⎪ j=1 t C j, j t I n+1 ⎪ 2 2 +[ 2 ]−1 ⎪ ⎪ k−1 −1 j j ⎪ ⎪ + j=1 Ck−1, j C j, j (t − a) − t I n+1 +[ j−l ] . . . I n+1 C f j (t) ⎪ ⎪ 2 2 2 k−1 ⎪ ⎪ −1 j j ⎪ + j=1 Ck−1, j C j, j (t −a) −t gl j (t)G, if j = 0, ⎪ ⎪ ⎪ ⎪ ⎪ f 1 (t)−C1,2 C−1 f 2 (t) ⎪ 2,2 t I n+1 ⎪ 2 ⎪ ⎪ −1 ⎪ f k−1 (t) ⎪ − · · ·−C1,k−1 Ck−1,k−1 t k−2 I n+1+[ k−1 ]−1 · · · I n+1 ⎪ ⎪ 2 2 2 ⎪ −1 ⎪ + k−1 C j−1 j−1 ⎪ I n+1 +[ j−l ] . . . I n+1 C −t f j (t) k−1, j C j, j (t − a) ⎪ ⎪ 2 2 2 ⎪ j=2 ⎪ − ⎪ k−1 −1 j−1 ⎪ ⎪+ j=2 Ck−1, j C j, j (t −a) − t j−1 E n+1 gl j (t)G, if j = 1 and k odd, ⎪ 2 ⎪ ⎪ ⎨ f (t)−C C−1 t I n+1 t k−2 I n+1 k−1 f 2 (t) − · · ·−C1,k−1 C−1 1 1,2 2,2
2
k−1,k−1
2
+[
2
]
⎪ . . . I n+1 f k−1 (t) ⎪ ⎪ 2 ⎪ k−1 ⎪ ⎪ + j=2 Ck−1, j C −1 (t − a) j−1 − t j−1 I n+1 j−l . . . I n+1 C f j (t) ⎪ j, j ⎪ 2 2 +[ ⎪ − 2 ] ⎪ k−1 ⎪ −1 j−1 j−1 ⎪ ⎪ E n+1 gl j (t)G, if j = 1 and k even, ⎪+ j=2 Ck−1, j C j, j (t −a) − t ⎪ 2 ⎪ ⎪ k−1 −1 j ⎪ fl (t) − j=l+1 Ck−1, j C j, j t I n+1 j−l . . . I n+1 f j (t) ⎪ +[ ] ⎪ 2 2 2 ⎪ k−1 ⎪ −1 j−l j−l ⎪ + j=l+1 Ck−1, j C j, j (t − a) I n+1 +[ j−l ] . . . I n+1 C −t f j (t) ⎪ ⎪ ⎪ 2 2 2 ⎪ − ⎪ ⎪ −1 j−l ⎪ + k−1 − t j−l E n+1 . . . E n+1+[ l ]−1 gl j (t)G, ⎪ j=l+1 C k−1, j C j, j (t −a) ⎪ 2 2 2 ⎪ ⎪ ⎪ if 2 ≤ j ≤ k −2, ⎪ ⎪ ⎩ f j (t), if j = k − 1,
r − j and, for j = 0, 1, 2, . . . , k − 1, gl j = l j =0 Pl j where Pl j denotes a left inner spherical monogenic polynomial of order l j in the variable x. Proof Since Dk φ = 0, x ∈ B± , by applying Lemma 3.2 we know that there exist unique functions φ j , defined in B+ , and ψ j , defined in B− , satisfying Dφ j = 0, Dψ j = 0 ( j = 0, 1, 2, . . . , k − 1), such that for a ∈ B− we have
682
M. Ku et al.
k−1 φ(x) =
j j=0 x φ j (x), x ∈ B+ , k−1 j j=0 (x − a) ψ j (x), x
∈ B− .
Using Lemma 3.3, for l ∈ N and l ≤ j we obtain k−1
Dl φ
=
j=0 D k−1 l j=0 D
l
j−l E x j φ j = k−1 φ j , x ∈ B+ , j−l . . . E n+1 j n+1 j=l Cl, j x 2 +[ 2 ] 2 +[ 2 ]−1 k−1 j j−l (x −a) ψ j = j=l Cl, j (x −a) E n+1+[ j−l ] . . . E n+1+[ j ]−1 ψ j , x ∈ B−. 2
2
2
2
Now, applying Lemma 4.2 we get that Problem ( ) is equivalent to the problem ⎧ Dφ j (x) = 0 ( j = 0, 1, 2, . . . , k − 1) , x ∈ B± , ⎪ ⎪ k−1 ⎪ k−1 j + j − ⎪ ⎪ t ∈ S n−1 , ⎪ j=0 t φ j (t) = j=0 (t − a) ψ j (t)G + f 0 (t), ⎪ ⎪ + ⎪ k−1 ⎪ ⎪ ⎪ C1, j t j−1 E n+1 +[ j−1 ] . . . E n+1 +[ j ]−1 φ j (t) ⎪ j=1 ⎪ ⎪ 2 2 2 ⎪ 2 − ⎪ ⎪ k−1 ⎪ j−1 E ⎪ ψ j (t)G + f 1 (t), t ∈ S n−1 , ⎪ j−1 . . . E n+1 j n+1 ⎪ = j=1 C1, j (t −a) ⎪ 2 +[ 2 ] 2 +[ 2 ]−1 ⎪ ⎪ ⎪ .. .. ⎪ ⎪ ⎪ . . ⎨ + () k−1 j−l ⎪ E C t . . . E φ (t) j−l j n+1 n+1 j ⎪ j=l l, j ⎪ 2 +[ 2 ] 2 +[ 2 ]−1 ⎪ ⎪ − ⎪ ⎪ ⎪ k−1 j−l E ⎪ C . . . E ψ (t)G + fl (t), t ∈ S n−1 , = − a) (t ⎪ j−l j n+1 n+1 l, j j ⎪ j=l ⎪ 2 +[ 2 ] 2 +[ 2 ]−1 ⎪ ⎪ ⎪ .. .. ⎪ ⎪ ⎪ . . ⎪ ⎪ + ⎪ ⎪ ⎪ ⎪ Ck−1,k−1 E n+1 . . . E n+1 +[ k−1 ]−1 φk−1 (t) ⎪ ⎪ 2 2 ⎪ 2 − ⎪ ⎪ ⎩ = Ck−1,k−1 E n+1 . . . E n+1 +[ k−1 ]−1 ψk−1 (t)G + f k−1 (t), t ∈ S n−1 , 2
2
2
Next, applying Lemma 3.4, we consider the above problem in the case k − 1: ⎧ Dφk−1 (x) = 0, x ∈ B± , ⎪ ⎪ + ⎪ ⎪ ⎪ φ E C . . . E (t) n+1 n+1 k−1 ⎪ k−1 ⎪ 2 +[ 2 ]−1 ⎨ k−1,k−1 2 − k−1 (t)G + f k−1 (t), t ∈ S n−1 , (∗) = Ck−1,k−1 E n+1 . . . E n+1 +[ k−1 ]−1 φ ⎪ 2 2 2 ⎪ ⎪ ⎪ k−1 ⎪ M R,E n+1 ...E n+1 +[ k−1 ]−1 φ ⎪ ⎪ 2 2 2 ⎩ lim inf = L k−1 < +∞, R r −k+1 R→+∞
where k−1 (x) = φ
φk−1 (x), x ∈ B+ , ψk−1 (x), x ∈ B− .
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
683
Here, by applying Lemma 3.1 and the same argument as in Lemma 4.1 in Ref. [25] we get that Problem (∗) has the unique solution k−1 (x) = φ
⎧ ⎨ C−1
. . . I n+1 S n−1 E (ω−x) dσω k−1 k−1,k−1 I n+1 2 2 +[ 2 ]−1 −1 ⎩ Ck−1,k−1 I n+1 k−1 . . . I n+1 S n−1 E (ω−x) dσω +[ ]−1 2 2 2
f k−1 (ω)+gk−1 (x), x ∈ B+, f k−1 (ω)G−1 +gk−1 (x), x ∈ B−,
−k+1 where f k−1 (ω) = f k−1 (ω), ω ∈ S n−1 , gk−1 (x) = lrk−1 =0 Plk−1 (x), and Plk−1 is a left inner spherical monogenic polynomial of order lk−1 on the variable x. By using Lemma 4.1 for arbitrary x ∈ B± we get I n+1 +[ k−1 ]−1 . . . I n+1 C f k−1 (t) 2
2
2
E (ω − x) dσω f k−1 (ω) ∈ L p S n−1 , Cn .
lim I n+1 +[ k−1 ]−1 . . . I n+1 x→t
2
2
2
S n−1
± ± , E n+1 . . . E n+1 k−1 gk−1 That is, we have φ ∈ L p S n−1 , Cn with 1 < k−1 +[ ]−1 2 2 2 p < +∞. Now we can proceed in an inductive way. Applying Lemmas 3.1, 3.4, 4.1, 4.2, we continue by considering the next boundary value problem (for case k − 2). ⎧ k−2 (x) = 0, x ∈ B± , Dφ ⎪ ⎪ + ⎪ ⎪ ⎪ k−2 (t) Ck−2,k−2 E n+1 . . . E n+1 +[ k−2 ]−1 φ ⎪ ⎪ 2 2 ⎨ 2 − k−2 (t)G + (∗∗) = Ck−2,k−2 E n+1 . . . E n+1 +[ k−2 ]−1 φ f k−2 (t), t ∈ S n−1 , ⎪ 2 2 2 ⎪ ⎪ ⎪ k−2 ⎪ M R,E n+1 ...E n+1 +[ k−2 ]−1 φ ⎪ ⎪ 2 2 2 ⎩ lim inf = L k−2 < +∞, R r −k+2 R→+∞
where k−2 (x) = φ
φk−2 (x), x ∈ B+ , ψk−2 (x), x ∈ B− ,
and f k−1 (t)−aCk−1,k−2 C−1 C f k−1 (t) f k−2 (t) = f k−2 (t)−Ck−1,k−2 C−1 k−1,k−1 t I n+1 k−1,k−1 I n+1 2 2 − −a E n+1 . . . E n+1 +[ k−1 ]−1 gk−1 (t)G. 2
2
2
In a similar way as above we prove that Problem (∗∗) has the solution ⎧ ⎨ C−1
. . . I n+1 S n−1 E (ω−x) dσω k−2 k−2,k−2 I n+1 2 2 +[ 2 ]−1 k−2 (x) = φ −1 ⎩ Ck−2,k−2 I n+1 k−2 . . . I n+1 S n−1 E (ω−x) dσω +[ ]−1 2 2 2
f k−2 (ω)+gk−2 (x), x ∈ B+, f k−2 (ω)G−1 +gk−2 (x), x ∈ B−,
684
M. Ku et al.
−k+2 where gk−2 (x) = lrk−2 =0 Plk−2 (x), Plk−2 is a left inner spherical monogenic polynomial of order lk−2 on the variable x. By induction for 2 ≤ l ≤ k − 1, the boundary value problem ⎧ l (x) = 0, x ∈ B± , Dφ ⎪ ⎪ + − ⎪ ⎪ ⎨ Cl,l E n+1 . . . E n+1 l φ l (t) = Cl,l E n+1 . . . E n+1 l φ l (t)G + fl (t), t ∈ S n−1 , +[ ]−1 +[ ]−1 2 2 2 2 2 2 ⎪ l M R,E n+1 ...E n+1 +[ l ]−1 φ ⎪ ⎪ ⎪ 2 2 2 ⎩ lim inf = L l < +∞, r−l R R→+∞
where l (x) = φ
φl (x), x ∈ B+ , ψl (x), x ∈ B− ,
and k−1
fl (t) = fl (t) −
j−l Ck−1, j C −1 I n+1 +[ j−l ] . . . I n+1 f j (t) j, j t 2
j=l+1
+
2
2
j−l Ck−1, j C −1 − t j−l I n+1 +[ j−l ] . . . I n+1 C f j (t) j, j (t − a)
k−1
2
j=l+1
+
k−1
2
2
− j−l j−l E Ck−1, j C−1 −t . . . E g (t)G, −a) (t n+1 l n+1 l j j, j +[ ]−1 2
j= l+1
2
2
± with E n+1 . . . E n+1 +[ l ]−1 gl j ∈ L p S n−1 , Cn for arbitrary j = l + 1, . . . , k − 1, 2 2 2 has the unique solution l (x) = φ
−1 I n+1 +[ l ]−1 . . . I n+1 S n−1 E (ω − x) dσω Cl,l fl (ω) + gll (x), x ∈ B+ , 2 2 2 −1 Cl,l I n+1+[ l ]−1 . . . I n+1 S n−1 E (ω−x) dσω fl (ω)G−1 +gll (x), x ∈ B−, 2
2
2
where gll (x) = lrl−l =0 Pll (x) with Pll being a left inner spherical monogenic polynomial of order ll on the variable x. For l = 1, again applying Lemmas 3.1, 3.4, 4.1, 4.2, the following boundary value problem ⎧ = 0, x ∈ B± , ⎪ ⎪ Dφ1 (x) + − ⎪ ⎪ ⎨ C1,1 E n+1 φ 1 (t) = C1,1 E n+1 φ 1 (t) + f 1 (t), t ∈ S n−1 , 2 2 ⎪ 1 M R,E n+1 φ ⎪ ⎪ ⎪ 2 ⎩ lim inf = L 1 < +∞, r −1 R R→+∞
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
685
where 1 (x) = φ
φ1 (x), x ∈ B+ , ψ1 (x), x ∈ B− ,
and ⎧ k−2 I ⎪ f 1 (t)−C1,2 C−1 . . . I n+1 f 2 (t)−· · ·−C1,k−1 C−1 f k−1 (t) n+1 k−1 ⎪ 2,2 t I n+1 k−1,k−1 t ⎪ 2 2 2 +[ 2 ]−1 ⎪ ⎪ k−1 ⎪ −1 j−1 j−1 ⎪ I n+1 +[ j−l ] . . . I n+1 C −t f j (t) + j=2 Ck−1, j C j, j (t − a) ⎪ ⎪ ⎪ 2 2 2 ⎪ − ⎪ ⎪+ k−1 C −1 j−1 − t j−1 ⎨ E n+1 gl j (t)G, if k odd, j=2 k−1, j C j, j (t −a) 2 f 1 (t) = −1 ⎪ t k−2 I n+1+[ k−1 ] . . . I n+1 f 1 (t)−C1,2 C2,2 t I n+1 f 2 (t)−· · ·−C1,k−1 C−1 f k−1 (t) ⎪ k−1,k−1 ⎪ 2 2 2 2 ⎪ ⎪ ⎪ k−1 −1 j−1 j−1 ⎪ I n+1 +[ j−l ] . . . I n+1 C f j (t) −t + j=2 Ck−1, j C j, j (t − a) ⎪ ⎪ 2 ⎪ 2 2 ⎪ − ⎪ ⎪ ⎩ + k−1 Ck−1, j C −1 (t − a) j−1 − t j−1 E n+1 gl j (t)G, if k even, j=2 j, j 2
− with E n+1 gl j ∈ L p S n−1 , Cn ( j = 2, 3, . . . , k − 1), has the unique solution 2
1 (x) = φ
−1 C1,1 I n+1 2
−1 I n+1 C1,1 2
S
n−1
S n−1
E (ω − x) dσω f 1 (ω) + gl1 (x), x ∈ B+ , E (ω − x) dσω f 1 (ω) + gl1 (x), x ∈ B− ,
where gl1 (x) = rl1−1 =0 Pl1 (x), Pl1 being a left inner spherical monogenic polynomial of order l1 on the variable x. Finally, for l = 0, in the same way we can show that the boundary value problem ⎧ Dφ (x) = 0, x ∈ B± , ⎪ ⎨ +0 (t) = φ − (t) + φ f 0 (t), t ∈ S n−1 , 0 0 ⎪ ⎩ lim inf M ( R,φ0 ) = L < +∞, R→+∞
0
Rr
where 0 (x) = φ
φ0 (x), x ∈ B+ , ψ0 (x), x ∈ B− ,
and f 0 (t) = f 0 (t) −
k−1 j=1
+
k−1 j=1
+
k−1 j=1
j t j C −1 j, j t I n+1 +[ j ]−1 . . . I n+1 f j (t) 2
2
2
j j I n+1 +[ j−l ] . . . I n+1 C Ck−1, j C −1 f j (t) j, j (t − a) − t 2
2
j j gl−j (t)G, Ck−1, j C −1 − t − a) (t j, j
2
686
M. Ku et al.
− (t) ∈ L p S n−1 , Cn ( j = 1, 2, . . . , k − 1), has the unique solution with t j φ j 0 (x) = φ
gl0 (x), x ∈ B+ , S n−1 E (ω − x) dσω f 0 (ω) +−1 E − x) dσ (ω)G + gl0 (x), x ∈ B− , f (ω ω 0 S n−1
where gl0 (x) = rl0 =0 Pl0 (x), Pl0 being a left inner spherical monogenic polynomial of order l0 on the variable x. Combining the above terms, Problem () has the unique solution k−1 φ(x) =
j j=0 x φ j (x), x ∈ B+ , k−1 j j=0 (x − a) ψ j (x), x
∈ B− ,
where φ j and ψ j ( j = 0, 1, 2, . . . , k − 1) are given explicitly as above. The proof of the result is completed.
Remark 2 In the proof of Theorem 4.1, Problem ( ) is solved by means of the Almansitype decomposition theorem and the inverse operators of the shifted Euler operators. This way can be also applied to solve the Dirchlet problem for null solutions to the iterated Dirac operator. A similar argument is used to discuss the Riemann–Hilbert boundary value problem on half space with boundary data in a Hölder space in [24], but this is only adapted to the case of half space. However, the method we used here can be applied to any arbitrary bounded star-like domain with Lyapunov boundary, which is different from the mentioned method in Ref. [24] due to Lemmas 4.1, 4.2. In the above considerations the Almansi decomposition plays a key point. Next we will show that one can also use an integral representation in terms of the poly-Cauchy integral operator. To this end we will establish the corresponding integral kernels. For arbitrary x ∈ Rn , by Lemma 3.3, we get Dx j =
−2mx 2m−1 , if j = 2m, m ∈ N, − (n + 2m) x 2m , if j = 2m + 1, m ∈ N.
Hence, for arbitrary x ∈ Rn \{0}, we have xj D |x| n
=
(2m − n) x 2m 2m |x| n,
x 2m−1 |x|n ,
if j = 2m, m ∈ N,
if j = 2m + 1, m ∈ N.
Next, for arbitrary j ∈ N, x ∈ Rn \{0}, we introduce the function ⎧ cj ⎪ ⎪ ⎨ ωn
xj |x|n , cn−1
if n odd or j < n, n even, H j (x) = (−1) n2 ωn ln |x|, if j = n, n even, ⎪ ⎪ ⎩ cn−1nbl x l ln |x| + l−1 bi+1 , if j > n, l = j − n, n even, i=0 bi (−1) 2 ωn
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
687
where ωn denotes the area of the unit sphere in Rn . The coefficients are given by
cj =
⎧ ⎪ ⎨ 1, j = 1 ⎪ ⎩
1 , j = 2m, m = 1, 2, 3, . . . , m 2m−1 (m−1)! l=1 (2l−n) 1 , j = 2m + 1, m = 1, 2, 3, . . . , m 2m m! l=1 (2l−n)
and for l = j − n with j > n,
bj =
⎧ 1, j = 0 ⎪ ⎨ 1
m−1
, l = 2m, m = 1, 2, 3, . . . ,
(2s+n) m1 , m 2 m! s=1 (2s+n)
m
2 m! ⎪ ⎩−
s=0
j = 2m + 1, m = 1, 2, 3, . . .
It is easy to check that
D H1 (x) = H1 (x)D = 0, x ∈ Rn \{0}, D H j+1 (x) = H j+1 (x)D = H j (x), x ∈ Rn \{0}, j ≥ 2, j ∈ N.
Now, we will give another way to solve Riemann boundary value problem ( ). For arbitrary k ≥ 2, k ∈ N, we first introduce the poly-Cauchy type integral
(x) =
k−1
H j+1 (y − x) dσ y f j (y), x ∈ / S n−1 ,
(3)
j=0 n−1 S
with f j ∈ L p S n−1 , Cn (1 < p < +∞) ( j = 0, 1, 2, . . . , k − 1). Theorem 4.2 If f j ∈ L p S n−1 , Cn (1 < p < +∞, j = 0, 1, 2, . . . , k − 1), then for arbitrary x ∈ Rn \S n−1 , the above given function (see (3)) is well defined, and we have
k−l−1
Dl (x) = j=0
H j+1 (y − x) dσ y f j+l (y), l = 0, 1, 2, . . . , k − 1.
(4)
S n−1
In particular, we have Dk (x) = 0, i.e., is a solution to Dk φ = 0. Proof Applying the properties of the function H j ( j = 0, 1, 2, . . . , k − 1), the result is immediate.
688
M. Ku et al.
Theorem 4.3 If f j ∈ L p S n−1 , Cn (1 < p < +∞, j = 0, 1, 2, . . . , k − 1, ), then for arbitrary x ∈ Rn \S n−1 ,
Dl
±
(t)
lim
x→t∈S n−1
Dl (x)
k−l−1
1 = ± fl (t) + 2 j=0
H j+1 (y − t) dσ y f j+l (y),
(5)
S n−1
for l = 0, 1, 2, . . . , k − 1. ± Moreover, Dl ∈ L p S n−1 , Cn (1 < p < +∞) for l = 0, 1, 2, . . . , k − 1. Proof When l = 0, it is necessary to prove that for arbitrary x ∈ Rn \S n−1 , we obtain ± (t) =
1 (x) = ± f 0 (t) + 2 x→t∈S n−1 k−1
H j+1 (y − t) dσ y f j (y).
lim
j=0 n−1 S
For arbitrary x ∈ / S n−1 we have
(x) =
S n−1
H1 (y − x) dσ y f 0 (y) +
k−1
H j+1 (y − x) dσ y f j (y)
j=1 n−1 S
(x). = 0 (x) + On the one hand, for f 0 ∈ L p S n−1 , Cn (1 < p < +∞), we have ± 0 (t)
1 = lim 0 (x) = ± f 0 (t) + n−1 2 x→t∈S
H1 (y − t) dσ y f 0 (y). S n−1
On the other hand, for f j ∈ L p S n−1 , Cn (1 < p < +∞), we remark that for k < n, k−1
n−1 j=1 S
H j+1 (y − t) dσ y f j (y) has a weak singularity.
By the Lebesgue dominated convergence theorem, noticing that ln |x| has also only a weak singularity for k ≥ n, we get
lim
x→t∈S n−1
(x) =
k−1
j=1 n−1 S
H j+1 (y − t) dσ y f j (y).
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
689
Hence, we obtain 1 (t) = ± f 0 (t) + 2 k−1
±
H j+1 (y − t) dσ y f j (y).
j=0 n−1 S
Similarly, for l = 1, 2, . . . , k − 1, by using Theorem 4.2, we get ± Dl (t) =
lim
x→t∈S n−1
Dl (x)
k−l−1
1 = ± fl (t) + 2 j=0
H j+1 (y − t) dσ y f j+l (y).
S n−1
From this our result follows. Now let us consider the following Riemann boundary value problem: ⎧ + φ (t) − φ + (t) = f 0 (t), ⎪ ⎪ ⎪ ⎪ (Dφ)+ (t) − (Dφ)− (t) = f 1 (t), ⎪ ⎪ ⎪ .. .. ⎪ ⎨ . . l − (
) l + D φ (t) − D φ (t) = fl (t), ⎪ ⎪ ⎪ ⎪ .. .. ⎪ ⎪ ⎪ . . ⎪ k−1 − ⎩ k−1 + D φ (t) − D φ (t) = f k−1 (t).
Especially, when f j (t) ≡ 0, t ∈ S n−1 ( j = 0, 1, 2, . . . , k − 1), it further reduces to the case ⎧ + φ (t) = φ + (t), ⎪ ⎪ ⎪ ⎪ (Dφ)+ (t) = (Dφ)− (t), ⎪ ⎪ ⎪ .. .. ⎪ ⎨ . . l − l + φ (t) = D φ (t), D ⎪ ⎪ ⎪ ⎪ . . ⎪ .. .. ⎪ ⎪ ⎪ − ⎩ k−1 + D φ (t) = Dk−1 φ (t). Theorem 4.4 Problem (
) is solvable and its unique solution is expressed by φ(x) =
k−1
j=0 n−1 S
H j+1 (y − x) dσ y f j (y) +
+∞
Pl (x), x ∈ B± ,
l=0
where Pl is again a left inner spherical monogenic polynomial of order l on the variable x.
690
M. Ku et al.
Proof Let ψ = φ − where is defined as the term (3). Applying Theorems 4.2,4.3, and the same argument as in Lemma 4.1[25], it follows the result.
By using Theorem 4.4 and Lemma 3.4, we get Corollary 4.1 Consider boundary value problem (
). If lim inf
R→+∞
M (R, φ) = L < +∞, r ≥ k − 1, r ∈ N, Rr
where M (R, φ) = max |φ(x)|, then the solution to Problem (
) is given by |x|=R
φ(x) =
k−1
H j+1 (y − x) dσ y f j (y) + Pr (x), x ∈ B± ,
j=0 n−1 S
where Pr (x) is a polynomial function of total degree no greater than r on the variable x ∈ Rn . Moreover, when r = 0, the solution to boundary value problem (
) is simply given by
φ(x) =
k−1
H j+1 (y − x) dσ y f j (y) + d, x ∈ B± ,
j=0 n−1 S
where d ∈ Cn is a constant. Now, we are at the point to study the general case of Problem ( ). Theorem 4.5 Problem ( ) is solvable and its unique solution is given by k−1 φ(x) =
j=0 S n−1 k−1 j=0 S n−1
H j+1 (y − x) dσ y f j (y) +
+∞
Pl (x), x ∈ B+ , +∞ H j+1 (y − x) dσ y f j (y)G −1 + l=0 Pl (x), x ∈ B− , l=0
where for arbitrary l ∈ N, Pl is a left inner spherical monogenic polynomial of order l on the variable x. Proof Let (x) = ψ
φ(x) − (x), x ∈ B+ , φ(x) − (x)G −1 , x ∈ B− ,
where is given by (3). By applying Theorem 4.4 we obtain the desired result. Using Theorem 4.5 and Lemma 3.4, we obtain the following corollary.
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
691
Corollary 4.2 Consider boundary value problem ( ). If lim inf
R→+∞
M (R, φ) = L < +∞, r ≥ k − 1, r ∈ N, Rr
where M (R, φ) = max |φ(x)|, then the solution to Problem ( ) is given by |x|=R
k−1 φ(x) =
j=0 S n−1
H j+1 (y − x) dσ y f j (y) + Pr (x), x ∈ B+ ,
j=0 S n−1
H j+1 (y − x) dσ y f j (y)G −1 + Pr (x), x ∈ B− ,
k−1
where Pr (x) is a polynomial function of total degree no greater than r on the variable x ∈ Rn . Moreover, when r = 0, the solution to boundary value problem ( ) is simply given by k−1 φ(x) =
j=0 S n−1
H j+1 (y − x) dσ y f j (y) + d, x ∈ B+ ,
j=0 S n−1
H j+1 (y − x) dσ y f j (y)G −1 + d, x ∈ B− ,
k−1
where d ∈ Cn is a constant. Remark 3 By Theorem 4.5, Problem ( ) is solved using the poly-Cauchy type integral operator. In [22] the analogous higher-order Cauchy type integral operator is used to solve the Riemann boundary value problem with boundary data in a Hölder space for bi-harmonic functions. Here, we construct the poly-Cauchy type integral operator to solve the corresponding Riemann boundary value problem for null solutions to iterated Dirac operator Dk with boundary data given in L p (1 < p < +∞)-space for arbitrary k ≥ 2 (k ∈ N). Remark 4 When k = 2m, m ∈ N, Problem ( ) is equivalent to the case ⎧ m φ(x) = 0, x ∈ B± , ⎪ ⎪ ⎪ ⎪ ⎪ φ + (t) = φ − (t)G + f 0 (t), t ∈ S n−1 , ⎪ ⎪ ⎪ ⎪ (Dφ)+ (t) = (Dφ)− (t)G + f 1 (t), t ∈ S n−1 , ⎪ ⎪ ⎨ .. .. . ( ) . ⎪ l φ + (t) = Dl φ − (t)G + f (t), t ∈ S n−1 , ⎪ D ⎪ l ⎪ ⎪ ⎪ . . ⎪ .. .. ⎪ ⎪ ⎪ ⎪ − ⎩ 2m−1 + φ (t) = D2m−1 φ (t)G + f 2m−1 (t), t ∈ S n−1 , D where G ∈ Cn is a constant with an inverse denoted by G −1 . This means that the solution to RBVP for poly-harmonic functions can be given by means of Clifford analysis.
692
M. Ku et al.
When n = 2, Problem ( ) reduces to the complex case ⎧ ∂ k φ(x) = 0, x ∈ B± , ⎪ ⎪ ⎪ z¯+ ⎪ ⎪ φ (t) = φ − (t)G + f 0 (t), t ∈ S n−1 , ⎪ ⎪ ⎪ ⎪ (∂z¯ φ)+ (t) = (∂z¯ φ)− (t)G + f 1 (t), t ∈ S n−1 , ⎪ ⎪ ⎪ .. .. ⎨ . ( ) . + ⎪ ∂ l φ (t) = ∂ l φ − (t)G + fl (t), t ∈ S n−1 , ⎪ ⎪ z¯ z¯ ⎪ ⎪ .. .. ⎪ ⎪ ⎪ . . ⎪ ⎪ + − ⎪ ⎪ k−1 ⎩ ∂ φ (t) = ∂ k−1 φ (t)G + f k−1 (t), t ∈ S n−1 , z¯ z¯ where ∂z¯ = e1 ∂x1 + e2 ∂x2 , z = e1 x1 + e2 x2 ∈ R2 (∼ = C), G is a constant with an inverse denoted by G −1 . This implies the RBVP for poly-analytic functions in the complex plane is a special case of our problem in Clifford analysis.
References 1. Brackx, F., Delanghe, R., Sommen, F.: Clifford Analysis. In: Research Notes Mathematics, vol. 76, Pitman, London (1982) 2. Delanghe, R., Sommen, F., Soucek, V.: Clifford Algebra and Spinor-Valued Functions. In: Mathematics and its Applications, vol. 53, Kluwer Academic, Dordrecht (1992) 3. Gürlebeck, K., Sprößig, W.: Quaternionic and Clifford Calculus for Physicists and Engineers. Wiley, Chichester (1997) 4. Delanghe, R., Brackx, F.: Hypercomplex function theory and Hilbert modules with reproducing kernel. Proc. London Math. Soc. 37(3), 545–576 (1978) 5. Ryan, J.: Cauchy-Green type formula in Clifford analysis. Trans. Amer. Math. Soc. 347, 1331–1341 (1995) 6. Zhenyuan, X.: A function theory for the operator D − λ. Complex Var. 16, 27–42 (1991) 7. Sprößig, W.: On generalized Vekua type problems. Adv. Appl. Clifford Alg. 11S(1), 77–92 (2001) 8. Malonek, H.R., Guangbin, R.: Almansi-type theorems in Clifford analysis. Math. Meth. Appl. Sci. 25, 1541–1552 (2002) 9. Constales, D., Kraußhar, R.S.: Hilbert spaces of solutions to polynomial Dirac equations, Fourier transforms and reproducing kernel functions for cylindrical domains. Zeitschrift für Analysis und iher Anwendungen 24(3), 611–636 (2005) 10. Min, K., Jinyuan, D.: On integral representation of spherical k-regular functions in Clifford analysis. Adv. Appl. Clifford Alg. 19(1), 83–100 (2009) 11. Min, K., Jinyuan, D., Daoshun, W.: Some properties of holomorphic Cliffordian functions in complex Clifford analysis. Acta Math. Sci. Ser. B Engl. Ed. 30(3), 747–768 (2010) 12. Min, K., Jinyuan, D.: On generalization of Martinelli-Bochner integral formula using Clifford analysis. Adv. Appl. Clifford Alg. 20(2), 351–366 (2010) 13. Gürlebeck, K., Kähler, U., Ryan, J., Sprössig, W.: Clifford analysis over unbounded domains. Adv. Appl. Math. 19(2), 216–239 (1997) 14. Cerejeiras, P., Kähler, U.: Elliptic boundary value problems of fluid dynamics over unbounded domains. Math. Meth. Appl. Sci. 23, 81–101 (2000) 15. Min, K.: Integral formula of isotonic functions over unbounded domain in Clifford analysis. Adv. Appl. Clifford Alg. 20(1), 57–70 (2010) 16. Min, K., Daoshun, W.: Solutions to polynomial Dirac equations on unbounded domains in Clifford analysis. Math. Meth. Appl. Sci. 34, 418–427 (2011) 17. Min, K., Daoshun, W., Lin, D.: Solutions to polynomial generalized Bers-Vekua equations in Clifford analysis. Complex Anal. Oper. Theory 6(2), 407–424 (2012)
RBVP for Iterated Dirac Operator on the Ball in Clifford Analysis
693
18. Constales, D., Almeida, R.D., Kraußhar, R.S.: On Cauchy estimates and growth orders of entire solutions of iterated Dirac and generalized Cauchy-Riemann equations. Math. Meth. Appl. Sci. 29, 1663– 1686 (2006) 19. Blaya, Abreu, Bory, R., Reyes, J.: On the Riemann Hilbert type problems in Clifford analysis. Adv. Appl. Clifford Alg. 11(1), 15–26 (2001) 20. Blaya, Abreu, Bory, R., Reyes, J., Peña-Peña, D.: Jump problem and removable singularities for monogenic functions. J. Geom. Anal. 17(1), 1–13 (2007) 21. Bernstein, S.: On the left linear Riemann problem in Clifford analysis. Bull. Belg. Math. Soc. Simon Stevin 3, 557–576 (1996) 22. Gürlebeck, K., Zhongxiang, Z.: Some Riemann boundary value problems in Clifford analysis. Math. Meth. Appl. Sci. 33, 287–302 (2010) 23. Yafang, G., Jinyuan, D.: A kind of Riemann and Hilbert boundary value problem for left monogenic functions in Rm (m ≥ 2). Complex Var. 49(5), 303–318 (2004) 24. Yude, B., Jinyuan, D.: The RH boundary value problem for the k-monogenic functions. J. Math. Anal. Appl. 347, 633–644 (2008) 25. Min, K., Kähler, U., Daoshun, W.: Riemann boundary value problems on the sphere in Clifford analysis. Adv. Appl. Clifford Alg. 22(2), 365–390 (2012) 26. Min, K., Kähler, U.: Riemann boundary value problems on half space in Clifford analysis. Math. Meth. Appl. Sci. (2012). doi:10.1002/mma.2557 27. Cerejeiras, P., Kähler, U., Min, K.: On the Riemann boundary value problem for null solutions to iterated generalized Cauchy-Riemann operator in Clifford analysis. Results. Math. (2012). doi:10. 1007/s00025-012-0274-6 28. Min, K., Daoshun, W.: Half Dirichlet problem for matrix functions on the unit ball in Hermitian Clifford. J. Math. Anal. Appl. 374, 442–457 (2011) 29. Min, K., Kähler, U., Daoshun, W.: Half Dirichlet problem for the Hölder continuous matrix functions in Hermitian Clifford analysis. Complex Var. Elliptic Equ. (2012). doi:10.1080/17476933.2011.649738 30. Balk, M.B.: On polyanalytic functions. Akademie Verlag, Berlin (1991) 31. Jinyuan, D., Yufeng, W.: On Riemann boundary value problems of polyanalytic functions and metaanalytic functions on the closed curves. Complex Var. 50(7–11), 521–533 (2005) 32. Begehr, H., Chaudharyb, A., Kumarb, A.: Boundary value problems for bi-polyanalytic functions. Complex Var. Elliptic Equ. 55(1–3), 305–316 (2010) 33. Ying, W., Jinyuan, D.: On Haseman boundary value problem for a class of metaanalytic functions with different factors on the unit circumference. Math. Methods Appl. Sci. 33(5), 576–584 (2010)