- Research Article
- Open Access
Hermitean Cauchy Integral Decomposition of Continuous Functions on Hypersurfaces
© Ricardo Abreu Blaya et al. 2008
- Received: 12 August 2008
- Accepted: 23 October 2008
- Published: 16 November 2008
We consider Hölder continuous circulant matrix functions defined on the Ahlfors-David regular boundary of a domain in . The main goal is to study under which conditions such a function can be decomposed as , where the components are extendable to two-sided -monogenic functions in the interior and the exterior of , respectively. -monogenicity is a concept from the framework of Hermitean Clifford analysis, a higher dimensional function theory centered around the simultaneous null solutions of two first-order vector-valued differential operators, called Hermitean Dirac operators. -monogenic functions then are the null solutions of a matrix Dirac operator, having these Hermitean Dirac operators as its entries; such functions have been crucial for the development of function theoretic results in the Hermitean Clifford context.
- Dirac Operator
- Matrix Function
- Clifford Algebra
- Monogenic Function
- Clifford Analysis
Clifford analysis essentially is a higher dimensional function theory offering both a generalization of the theory of holomorphic functions in the complex plane and a refinement of classical multidimensional harmonic analysis. The standard case, nowadays also called Euclidean Clifford analysis, focuses on monogenic functions, that is, the null solutions of the vector-valued Dirac operator , factorizing the -dimensional Laplacian: . Here is an orthonormal basis for the quadratic space underlying the construction of the real Clifford algebra . The fundamental group leaving the Dirac operator invariant is the special orthogonal group , doubly covered by the spin( ) group of the Clifford algebra . For this reason, the Dirac operator is called a rotation invariant operator. Standard references for Euclidean Clifford analysis are [1–4].
In a series of recent papers, the so-called Hermitean Clifford analysis has emerged as yet a refinement of the Euclidean case. One of the ways for introducing it is by considering the complex Clifford algebra and a so-called complex structure on it, that is, an -element for which . It is precisely the requirement that such a complex structure exists, which forces the dimension of the underlying vector space to be even: . The resulting function theory focuses on the simultaneous null solutions of two complex Hermitean Dirac operators and which no longer factorize, but still decompose the Laplace operator in the sense that . The fundamental group symmetry of this system breaks down to the action of the special unitary group. The study of complex Dirac operators was initiated in [5–8]; a systematic development of the associated function theory, including the invariance properties with respect to the underlying Lie groups and Lie algebras, is still in full progress (see, e.g., [9–13]).
In the paper , a Cauchy integral formula for Hermitean monogenic functions was established, obviously an essential result in the function theory. However, as in some very particular cases Hermitean monogenicity turns out to be equivalent with anti-holomorphy in complex variables (see ), it was predictable that such a representation formula could not, in the present setting, take the traditional form as in the complex plane or in Euclidean Clifford analysis. Indeed, a matrix approach had to be followed in order to obtain the desired result, leading to the concept of (left or right) -monogenic functions, introduced as circulant matrix functions, which are (left or right) null solutions of a circulant matrix Dirac operator, having the Hermitean Dirac operators and as its entries.
Although the -monogenic system thus arose as an auxiliary concept in Hermitean Clifford analysis, it deserves to be further studied for its own intrinsic value. In this paper, we consider Hölder continuous circulant matrix functions defined on the Ahlfors-David regular boundary of a domain in , and we investigate under which conditions such a function can be decomposed as , where the components are extendable to two-sided -monogenic functions in the interior and the exterior of , respectively. Such type of decomposition (or "jump") problem was considered already in Euclidean Clifford analysis in, for example, .
The present decomposition problem is discussed using the matrix Cauchy integral of (see also ) and its singular version , called the Hilbert transform; they are shown to be related to each other by Plemelj-Sokhotzki type formulae for the continuous boundary values of . Moreover, a result is obtained connecting the two-sided -monogenicity of a function in to a conservation law for the Hilbert transforms and of its trace on the boundary.
where the bar denotes the usual real Clifford algebra conjugation, that is, the main anti-involution for which , and denotes the standard complex conjugation. Note that, as any complex Clifford number may also be written as , , the Hermitean conjugation also takes the form .
where denotes the unit sphere containing vectors for which . The group yields a double cover for the orthogonal group , defined by the map , with . For a -valued function , the induced action of a spin element is given by ; it is well known (see ) that the Dirac operator commutes with this action, whence we call it rotation invariant.
The transition from the Euclidean Clifford setting described above to Hermitean Clifford analysis now is essentially based on the introduction of a complex structure . This is a particular element of , satisfying . Note that such an element cannot exist when the dimension of the underlying vector space is odd, whence from now on, we will put . In terms of our basis, a particular realization of the complex structure is given by and . The two projection operators associated to this complex structure then produce the main objects in the Hermitean Clifford setting by acting upon the corresponding objects in the Euclidean one. First of all, the vector space thus decomposes as into two isotropic subspaces.
In a similar way, right h-monogenicity is defined. Functions which are both left and right h-monogenic are called two-sided h-monogenic.
This definition inspires the statement that h-monogenicity constitutes a refinement of monogenicity.
its definition involving the spin element corresponding to the complex structure: . It has been proved that this group constitutes a realization in the Clifford algebra of the unitary group , and moreover, that the Hermitean Dirac operators commute with its associated action. Less precisely, one thus says that these operators are invariant under the action of the unitary group, and so is the notion of h-monogenicity.
where denotes the -dimensional Hausdorff measure and denotes, as usual, the closed ball with radius and centred at the point .
For the sake of completeness, we recall some basic properties of the singular Cauchy integrals and , which are generalizations to the case of Clifford analysis of the properties established in the complex plane as follows:
(i) and are bounded linear operators on ;
Formulae (3.7) express the boundary values of the Cauchy integrals in terms of their singular versions. The study of this boundary behaviour, in the Euclidean Clifford analysis context, has been the subject of intensive research in the last years, see for example [19–23]. We must remark that these formulae also hold for a wider class of rectifiable surfaces, containing as proper subclasses for instance differentiable, chord-arc, piecewise smooth, Liapunov, and Lipschitz surfaces as well as simple Lipschitz graphs.
where is the Dirac delta distribution, one obtains that , so that may be considered as a fundamental solution of the operator in a matricial context. It was exactly this simple observation which has lead to the idea of following a matrix approach in order to establish a Cauchy integral formula and the related function theoretic results in the Hermitean Clifford setting, see [14, 16]. Moreover, it inspired the following definition.
Here denotes the matrix with zero entries.
Note that we have found above that is left (and in fact also right) -monogenic in .
In general, the -monogenicity of the matrix function does not imply the h-monogenicity of its entry functions and . However, choosing in particular and , the -monogenicity of the corresponding diagonal matrix is seen to be equivalent to the h-monogenicity of the function .
This property guarantees that any -monogenic matrix function also is harmonic in , and moreover, its entries are harmonic in the classical sense.
The above matrix approach will form the key towards the construction of a boundary value theory of h-monogenic functions. In what follows, we will restrict to left monogenicity, unless explicitly stated.
while the Hermitean vector pair still corresponds, as before, to the orthogonal pair .
It is clear that, in general, will not turn out to be a diagonal matrix, whence its entries will not be h-monogenic functions. The particular situation where , giving rise to an interpretation in terms of h-monogenicity, is explicitly treated below.
Invoking the expressions (4.15)-(4.16) for in terms of and , and taking into account the Plemelj-Sokhotzki formulae (3.7), the following result is then readily obtained.
Let , then the continuous boundary values of its Hermitean Cauchy integral exist and are given by
Moreover, some properly adapted analogues of the basic properties of and , mentioned in the previous section, hold for the matrix operator .
The singular Hermitean Cauchy integral satisfies the following properties:
(i) is a bounded linear operator on ;
(ii) is an involution on , that is, , where is the identity matrix operator.
where the operators and were introduced in (3.8) and the operators and in (3.9). It is directly seen that , with and . The following result is then obtained.
The operators and are mutually complementary projection operators on the same space, that is, and .
when dealing with left -monogenic functions. Likewise, in the case of right -monogenicity, we will use and .
The solvability for right -monogenic functions can be formulated similarly.
Now consider the special case of the matrix function , or equivalently, of a single nonzero entry . The above decomposition problem (5.1) then obviously is strongly connected to the analogous problem for h-monogenic functions, as studied in . In order to be able to rephrase the obtained result (5.2) in the h-monogenic setting, we only need to ensure that is interpretable as an h-monogenic function. In view of this observation and of [24, Remark 1, Theorem 2.2] may be reformulated into the present setting as follows.
Clearly (5.3) is equivalent to the requirement that , and thus . The remaining entry of then automatically is an h-monogenic function in .
The next result deals with a necessary and sufficient condition for the extendability of a given matrix function on the hypersurface to an -monogenic function in or in , vanishing at infinity. It is clear that the answer will have to involve the projection operators and .
that is, there exists a matrix function such that .
Now let and let . Then , while, according to Theorem 4.3, . Thus, , yielding (5.4). Conversely, assume that (5.4) holds and consider given by (5.2), for . Then is an -monogenic function in and again by Theorem 4.3, we have that , which proves (i). Similar considerations apply to (ii).
For the special case of the matrix function , condition (5.7) can be rephrased in terms of the entry function as , which exactly is the criterion for the existence of an -monogenic extension of to , obtained in . Similarly, in , (5.8) yields .
As an application of Theorem 5.2, we consider the Dirichlet boundary value problem for the operator , which is stated as follows.
This section is devoted to the proof of a remarkable result, establishing a connection between two-sided -monogenicity of a function in a domain and the singular Cauchy integrals and of its trace on the boundary of . We still mention that, in the context of Euclidean Clifford analysis, a similar "conservation law" was obtained in  for two-sided monogenicity.
Let , such that in . Then the following statements are equivalent:
(i) is two-sided -monogenic in ;
Next, put . Then is harmonic in and it belongs to with on . The Dirichlet problem for harmonic matrix functions then implies that in or in . Consequently, is also right -monogenic in .
In the next theorem, we will show how the requirement in the formulation of Theorem 6.1 can be avoided.
They are left and right -monogenic, respectively, and hence both are harmonic in . Combining Theorems 4.3 and 4.4, we can assert that and are also continuous on . As is harmonic in and , it follows that for . The proof is completed by showing that in .
Let . Then the following statements are equivalent:
(i) can be decomposed as in (5.1), the components being extendable to two-sided -monogenic functions in , vanishing at infinity;
(ii) is a two-sided -monogenic in .
Assuming (i) to hold, we may directly check, invoking Theorem 5.2, that . We thus get that , which yields (ii) in view of Theorem 6.1. This completes the proof since the inverse implication is trivial.
This paper was written while R. Abreu Blaya and J. Bory Reyes were visiting the Department of Mathematical Analysis of Ghent University. They were supported by the Special Research Fund no. 01T00807, obtained for the collaboration between the Clifford Research Group Ghent and the Cuban Research Group in Clifford analysis, on a project entitled Boundary Values Theory in Clifford Analysis. The authors wish to thank all members of this Department for their kind hospitality.
- Brackx F, Delanghe R, Sommen F: Clifford Analysis, Research Notes in Mathematics. Volume 76. Pitman, Boston, Mass, USA; 1982:x+308.Google Scholar
- Delanghe R, Sommen F, Soucek V: Clifford Algebra and Spinor-Valued Functions, Mathematics and Its Applications. Volume 53. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1992:xviii+485.View ArticleMATHGoogle Scholar
- Gürlebeck K, Sprößig W: Quaternionic and Clifford Calculus for Physicists and Engineers. John Wiley & Sons, Chichester, UK; 1998.MATHGoogle Scholar
- Gilbert JE, Murray MAM: Clifford Algebras and Dirac Operators in Harmonic Analysis, Cambridge Studies in Advanced Mathematics. Volume 26. Cambridge University Press, Cambridge, UK; 1991:viii+334.View ArticleGoogle Scholar
- Ryan J: Complexified Clifford analysis. Complex Variables: Theory & Application 1982,1(1):119-149.View ArticleMathSciNetMATHGoogle Scholar
- Rocha-Chávez R, Shapiro M, Sommen F: Integral Theorems for Functions and Differential Forms in Cm, Chapman & Hall/CRC Research Notes in Mathematics. Volume 428. Chapman & Hall/CRC, Boca Raton, Fla, USA; 2002:x+204.MATHGoogle Scholar
- Sabadini I, Sommen F: Hermitian Clifford analysis and resolutions. Mathematical Methods in the Applied Sciences 2002,25(16–18):1395-1413.MathSciNetView ArticleMATHGoogle Scholar
- Colombo F, Sabadini I, Sommen F, Struppa DC: Analysis of Dirac Systems and Computational Algebra, Progress in Mathematical Physics. Volume 39. Birkhäuser, Boston, Mass, USA; 2004:xiv+332.View ArticleMATHGoogle Scholar
- Brackx F, De Schepper H, Sommen F: The Hermitian Clifford analysis toolbox. accepted for Advances in Applied Clifford AlgebrasGoogle Scholar
- Brackx F, Bureš J, De Schepper H, Eelbode D, Sommen F, Soucek V: Fundaments of Hermitean Clifford analysis. I. Complex structure. Complex Analysis and Operator Theory 2007,1(3):341-365. 10.1007/s11785-007-0010-5MathSciNetView ArticleMATHGoogle Scholar
- Brackx F, Bureš J, De Schepper H, Eelbode D, Sommen F, Soucek V:Fundaments of Hermitean Clifford analysis. II. Splitting of -monogenic equations. Complex Variables and Elliptic Equations 2007,52(10-11):1063-1079. 10.1080/17476930701466614MathSciNetView ArticleMATHGoogle Scholar
- Eelbode D: Zonal Hermitean monogenic functions. Proceedings of the 15th International Conference on Finite or Infinite Dimensional Complex Analysis and Applications (ICFIDCAA '07), July-August 2007, Osaka, JapanGoogle Scholar
- Sommen F, Peña-Peña D: A Martinelli-Bochner formula for the Hermitian Dirac equation. Mathematical Methods in the Applied Sciences 2007,30(9):1049-1055. 10.1002/mma.824MathSciNetView ArticleMATHGoogle Scholar
- Brackx F, De Knock B, De Schepper H, Peña-Peña D, Sommen F: On Cauchy and Martinelli-Bochner integral formulae in Hermitean Clifford analysis. submittedGoogle Scholar
- Abreu-Blaya R, Bory-Reyes J, Peña-Peña D: Jump problem and removable singularities for monogenic functions. The Journal of Geometric Analysis 2007,17(1):1-13. 10.1007/s00039-006-0585-4MathSciNetView ArticleMATHGoogle Scholar
- Brackx F, De Knock B, De Schepper H: A matrix Hilbert transform in Hermitean Clifford analysis. Journal of Mathematical Analysis and Applications 2008,344(2):1068-1078. 10.1016/j.jmaa.2008.03.043MathSciNetView ArticleMATHGoogle Scholar
- David G, Semmes S: Analysis of and on Uniformly Rectifiable Sets, Mathematical Surveys and Monographs. Volume 38. American Mathematical Society, Providence, RI, USA; 1993:xii+356.View ArticleMATHGoogle Scholar
- Federer H: Geometric Measure Theory, Die Grundlehren der Mathematischen Wissenschaften, Band 153. Springer, New York, NY, USA; 1969:xiv+676.Google Scholar
- Abreu Blaya R, Peña-Peña D, Bory Reyes J:Clifford Cauchy type integrals on Ahlfors-David regular surfaces in . Advances in Applied Clifford Algebras 2003,13(2):133-156. 10.1007/s00006-003-0008-7MathSciNetView ArticleMATHGoogle Scholar
- Abreu-Blaya R, Bory-Reyes J, Gerus OF, Shapiro M: The Clifford-Cauchy transform with a continuous density: N. Davydov's theorem. Mathematical Methods in the Applied Sciences 2005,28(7):811-825. 10.1002/mma.594MathSciNetView ArticleMATHGoogle Scholar
- Abreu Blaya R, Bory Reyes J, Moreno García T: Minkowski dimension and Cauchy transform in Clifford analysis. Complex Analysis and Operator Theory 2007,1(3):301-315. 10.1007/s11785-007-0015-0MathSciNetView ArticleMATHGoogle Scholar
- Abreu-Blaya R, Bory-Reyes J, Moreno García T: Cauchy transform on nonrectifiable surfaces in Clifford analysis. Journal of Mathematical Analysis and Applications 2008,339(1):31-44. 10.1016/j.jmaa.2007.06.040MathSciNetView ArticleMATHGoogle Scholar
- Bory Reyes J, Abreu Blaya R: Cauchy transform and rectifiability in Clifford analysis. Zeitschrift für Analysis und ihre Anwendungen 2005,24(1):167-178.MathSciNetView ArticleMATHGoogle Scholar
- Abreu Blaya R, Bory Reyes J, Peña-Peña D, Sommen F: A boundary value problem for Hermitian monogenic functions. Boundary Value Problems 2008, 2008:-7.Google Scholar
- Abreu Blaya R, Bory Reyes J, Delanghe R, Sommen F: Cauchy integral decomposition of multi-vector valued functions on hypersurfaces. Computational Methods and Function Theory 2005,5(1):111-134.MathSciNetView ArticleMATHGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.