- Research Article
- Open access
- Published:
Hermitean Cauchy Integral Decomposition of Continuous Functions on Hypersurfaces
Boundary Value Problems volume 2008, Article number: 425256 (2008)
Abstract
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.
1. Introduction
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 [14], 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 [11]), 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, [15].
The present decomposition problem is discussed using the matrix Cauchy integral of
(see also [16]) 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.
2. Preliminaries
Let be an orthonormal basis of the Euclidean space
, and consider the complex Clifford algebra
constructed over
. The noncommutative (also called geometric) multiplication in
is governed by the rules
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ1_HTML.gif)
The Clifford algebra thus is generated additively by elements of the form
, where
is such that
, and so the dimension of
is
. For
, one puts
, the identity element. Any Clifford number
may thus be written as
and its Hermitean conjugate
is defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ2_HTML.gif)
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
.
Euclidean space is embedded in the Clifford algebra
by identifying
with the real Clifford vector
given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ3_HTML.gif)
The square of is scalar-valued and equals the norm squared up to a minus sign:
. The Fischer dual of the vector
is the vector-valued first-order differential operator
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ4_HTML.gif)
called Dirac operator; it is precisely this Dirac operator which underlies the notion of monogenicity of a function, the higher dimensional counterpart of holomorphy in the complex plane. The functions under consideration are defined on an open subset of
and take values in the Clifford algebra
. They are of the form
, where the functions
are complex-valued. Whenever a property such as continuity, differentiability, and so forth is ascribed to
, it is meant that all the components
possess the cited property. Such function
, assumed to be differentiable in
, is called left monogenic or right monogenic in
if and only if
, or
respectively. Functions which are both left and right monogenic are called two-sided monogenic. As the Dirac operator factorizes the Laplacian
, monogenicity can be regarded as a refinement of harmonicity. Within the even part of the Clifford algebra, one can realize the spin group, given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ5_HTML.gif)
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 [1]) 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.
The real Clifford vector is now denoted as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ6_HTML.gif)
and the Dirac operator as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ7_HTML.gif)
while we will also consider their so-called "twisted" counterparts, obtained through the action of , that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ8_HTML.gif)
As was the case with , a notion of monogenicity may be associated in a natural way to
as well. Note that the vectors
and
anticommute, as do the Dirac operators
and
, while it also holds that
and
. The projections of the vector variable
and the Dirac operator
on the spaces
then give rise to the Hermitean Clifford variables
and
, given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ9_HTML.gif)
and (up to a factor) to the Hermitean Dirac operators and
given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ10_HTML.gif)
(see [9, 10]). Observe for further use that the Hermitean vector variables and Dirac operators are isotropic, that is, and
, whence the Laplacian allows for the decomposition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ11_HTML.gif)
while also
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ12_HTML.gif)
These objects lie at the core of the Hermitean function theory by means of the following definition (see, e.g., [9, 10]).
Definition 2.1.
A continuously differentiable function in
with values in
is called left Hermitean monogenic (or left h-monogenic for short) in
, if and only if it satisfies in
the system
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ13_HTML.gif)
or, equivalently, the system
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ14_HTML.gif)
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.
The main point of difference between the Hermitean framework and the Euclidean one, is the underlying group invariance of the considered Dirac operators. To this end, we consider the group , given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ15_HTML.gif)
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.
3. A Pair of Cauchy Integrals and Hilbert Transforms in the Euclidean Setting
From now on, we denote by a Jordan domain in
, and we put
and
, where both open sets are assumed to be connected. Furthermore, we assume the boundary
of
to be a
-dimensional compact topological and oriented hypersurface, which moreover is Ahlfors-David regular (see [17]). The latter means that there exists a constant
such that for all
and all
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ16_HTML.gif)
where denotes the
-dimensional Hausdorff measure and
denotes, as usual, the closed ball with radius
and centred at the point
.
Now take a function , that is,
is
-Hölder continuous on
, with
. We may then consider the Cauchy integrals
and
in
, defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ17_HTML.gif)
as well as their respective singular versions and
in
, also called Hilbert transforms, defined by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ18_HTML.gif)
The so-called Cauchy kernels and
in the above definitions are derived from the fundamental solutions of the Dirac operators
and
, and are, respectively, given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ19_HTML.gif)
where denotes the surface area of the unit sphere
in
. Furthermore,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ20_HTML.gif)
stands for the unit normal vector on at the point
(as introduced by Federer, see [18]) and
is its twisted counterpart. Note that
(resp.,
) is left monogenic in
with regards to the Dirac operator
(resp.,
) and that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ21_HTML.gif)
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
;
(ii) and
are involutions on
, that is,
and
for all
;
-
(iii)
the following Plemelj-Sokhotzki formulae hold for any function
in
(with
):
(3.7)
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.
From the above properties, it is clear that the singular Cauchy integral gives rise to two important operators, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ23_HTML.gif)
which are mutually complementary projection operators on the same space: , and
. The same holds for
, where we introduce
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ24_HTML.gif)
4. The Hermitean Cauchy Integral: A Matrix Approach
Starting from the pair of fundamental solutions of the Euclidean Dirac operators
and
, we now construct the distributions
and
. Explicitly they are given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ25_HTML.gif)
with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ26_HTML.gif)
Note that and
are not the fundamental solutions to the respective Hermitean Dirac operators
and
, but surprisingly, introducing the particular circulant
matrices
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ27_HTML.gif)
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.
Definition 4.1.
Let be continuously differentiable functions defined in
and taking values in
, and consider the matrix function
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ28_HTML.gif)
Then is called left (resp., right)
-monogenic in
if and only if it satisfies in
the system
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ29_HTML.gif)
Here denotes the matrix with zero entries.
Explicitly, the system for left -monogenicity reads
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ30_HTML.gif)
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
.
Defining the matrix Laplacian by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ31_HTML.gif)
we may call the matrix function harmonic in the domain
if and only if it satisfies the equation
. It is a simple, yet remarkable, fact that the Dirac matrix
still in some sense "factorizes the Laplacian" (as does the Cauchy-Riemann operator in the complex plane) since
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ32_HTML.gif)
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.
From now on the notations and
are reserved for Clifford vectors associated to points in
. Their Hermitean counterparts are denoted by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ33_HTML.gif)
while the Hermitean vector pair still corresponds, as before, to the orthogonal pair
.
Given functions , we then introduce the vector space
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ34_HTML.gif)
and we define, for , its Hermitean matrix Cauchy integral
to be
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ35_HTML.gif)
which is -monogenic in
, that is,
in
. Here we have introduced the additional circulant matrix
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ36_HTML.gif)
containing (up to a factor) the Hermitean projections and
of the outward unit normal vector
at the point
, given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ37_HTML.gif)
and the matrix Hausdorff measure
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ38_HTML.gif)
A direct calculation reveals that the Hermitean Cauchy integral can be expressed in terms of the Euclidean Cauchy integrals and
as follows:
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ39_HTML.gif)
In particular, for the special case of the matrix function (i.e.,
and
) this is reduced to
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ40_HTML.gif)
Remark 4.2.
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.
We aim at establishing a generalization of the Plemelj-Sokhotzki formulae to the case of -monogenic matrix functions. To that end, and at the same time inspired by the structure of the above expressions (4.15)-(4.16), let us introduce the singular matrix Cauchy integral
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ41_HTML.gif)
its action on the matrix functions and
being given by matrix multiplication, followed by an operator action on the level of the entries, that is,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ42_HTML.gif)
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.
Theorem 4.3.
Let , then the continuous boundary values of its Hermitean Cauchy integral
exist and are given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ43_HTML.gif)
Moreover, some properly adapted analogues of the basic properties of and
, mentioned in the previous section, hold for the matrix operator
.
Theorem 4.4.
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.
Similarly we put
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ44_HTML.gif)
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.
Theorem 4.5.
The operators and
are mutually complementary projection operators on the same space, that is,
and
.
This theorem entails the direct decomposition
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ45_HTML.gif)
so that each function admits a unique decomposition into components belonging to
and
, respectively. In what follows, we will use the notations
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ46_HTML.gif)
when dealing with left -monogenic functions. Likewise, in the case of right
-monogenicity, we will use
and
.
5. The Jump Problem for
-Monogenic Functions
In this section, we will study the so-called jump (or decomposition) problem for left -monogenic functions, that is, we will investigate under which conditions a given matrix function
can be decomposed as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ47_HTML.gif)
where the components are extendable to left (resp., right)
-monogenic functions in
, vanishing at infinity. First, it should be noted that if this jump problem has a solution, then it is necessarily unique. This assertion can easily be proved using the Painlevé and Liouville theorems in the Clifford analysis setting, see [1, 15]. Next, under the condition that
, Theorem 4.3 ensures the solvability of the jump problem (5.1) for left
-monogenic functions, its unique solution is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ48_HTML.gif)
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 [24]. 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.
Theorem 5.1.
Let and consider the corresponding matrix function
. Then the jump problem (5.1) is solvable in terms of h-monogenic functions if and only if
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ49_HTML.gif)
Proof.
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
.
Theorem 5.2.
Let .
-
(i)
In order for
to be the boundary value of a matrix function
which is
-monogenic in
, it is necessary and sufficient that
(5.4)
that is, there exists a matrix function such that
.
-
(ii)
In order for
to be the boundary value of a matrix function
which is
-monogenic in
and vanishes at infinity, it is necessary and sufficient that
(5.5)
that is, there exists a matrix function such that
.
Proof.
First, let be the boundary value of an
-monogenic function
in
. Then, as was already shown in [14],
is nothing but the Cauchy integral of
, namely,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ52_HTML.gif)
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).
Remark 5.3.
Condition (5.4) can be rewritten as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ53_HTML.gif)
and condition (5.5) as
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ54_HTML.gif)
Remark 5.4.
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 [24]. 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.
Dirichlet Problem
Given (
), find a function
such that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ55_HTML.gif)
From Theorem 5.2, we immediately see that a solution to this Dirichlet problem will not always exist, as not all functions are extendable to an -monogenic function in
. Indeed, to this end, they need to satisfy condition (5.4) or equivalently, condition (5.7). If this is fulfilled, the solution of the Dirichlet problem will be given, up to a multiplicative constant, by the Cauchy integral of
, namely,
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ56_HTML.gif)
6. A Conservation Law for Two-Sided
-Monogenic Functions
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 [25] for two-sided monogenicity.
Theorem 6.1.
Let , such that
in
. Then the following statements are equivalent:
(i) is two-sided
-monogenic in
;
(ii).
Proof.
Suppose that, next to its already assumed left -monogenicity,
also is right
-monogenic in
. Then it holds that
, whence
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ57_HTML.gif)
Conversely, suppose that . From the assumed left
-monogenicity of
, we have that
and that for
the boundary value taken from the inside, denoted by
, is given by
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ58_HTML.gif)
In view of the assumption made, we thus have
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ59_HTML.gif)
Now put . Then
is right
-monogenic in
and belongs to
, with
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ60_HTML.gif)
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.
Theorem 6.2.
Let be a continuous matrix function with trace
. Then
is two-sided
-monogenic in
if and only if it is harmonic in
and
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ61_HTML.gif)
Proof.
Suppose that is two-sided
-monogenic in
. By Cauchy's integral formula (see [14]), we have that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ62_HTML.gif)
The Plemelj-Sokhotzki formulae (see Theorem 4.3) then imply that
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ63_HTML.gif)
Consequently, for all
. Conversely, assume that
is harmonic in
and
. Let us define the matrix functions
![](http://media.springernature.com/full/springer-static/image/art%3A10.1155%2F2008%2F425256/MediaObjects/13661_2008_Article_804_Equ64_HTML.gif)
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
.
7. Main Theorem
Theorem 7.1.
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
.
Proof.
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.
References
Brackx F, Delanghe R, Sommen F: Clifford Analysis, Research Notes in Mathematics. Volume 76. Pitman, Boston, Mass, USA; 1982:x+308.
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.
Gürlebeck K, Sprößig W: Quaternionic and Clifford Calculus for Physicists and Engineers. John Wiley & Sons, Chichester, UK; 1998.
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.
Ryan J: Complexified Clifford analysis. Complex Variables: Theory & Application 1982,1(1):119-149.
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.
Sabadini I, Sommen F: Hermitian Clifford analysis and resolutions. Mathematical Methods in the Applied Sciences 2002,25(16–18):1395-1413.
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.
Brackx F, De Schepper H, Sommen F: The Hermitian Clifford analysis toolbox. accepted for Advances in Applied Clifford Algebras
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-5
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/17476930701466614
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, Japan
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.824
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. submitted
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-4
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.043
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.
Federer H: Geometric Measure Theory, Die Grundlehren der Mathematischen Wissenschaften, Band 153. Springer, New York, NY, USA; 1969:xiv+676.
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-7
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.594
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-0
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.040
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.
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.
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.
Acknowledgments
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.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Blaya, R., Reyes, J., Brackx, F. et al. Hermitean Cauchy Integral Decomposition of Continuous Functions on Hypersurfaces. Bound Value Probl 2008, 425256 (2008). https://doi.org/10.1155/2008/425256
Received:
Accepted:
Published:
DOI: https://doi.org/10.1155/2008/425256