SpringerOpen Newsletter

Receive periodic news and updates relating to SpringerOpen.

Open Access Research Article

Hermitean Téodorescu Transform Decomposition of Continuous Matrix Functions on Fractal Hypersurfaces

Ricardo Abreu-Blaya1, Juan Bory-Reyes2, Fred Brackx3 and Hennie De Schepper3*

Author Affiliations

1 Facultad de Informática y Matemática, Universidad de Holguín, Holguín 80100, Cuba

2 Departamento de Matemática, Universidad de Oriente, Santiago de Cuba 90500, Cuba

3 Clifford Research Group, Department of Mathematical Analysis, Faculty of Engineering, Ghent University, Galglaan 2, 9000 Gent, Belgium

For all author emails, please log on.

Boundary Value Problems 2010, 2010:791358  doi:10.1155/2010/791358

The electronic version of this article is the complete one and can be found online at: http://www.boundaryvalueproblems.com/content/2010/1/791358


Received:18 December 2009
Accepted:12 April 2010
Published:20 May 2010

© 2010 The Author(s)

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.

We consider Hölder continuous circulant () matrix functions defined on the fractal 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 -monogenic functions in the interior and the exterior of , respectively. -monogenicity are 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 matrix functions play an important role in the function theoretic development of Hermitean Clifford analysis. In the present paper a matricial Hermitean Téodorescu transform is the key to solve the problem under consideration. The obtained results are then shown to include the ones where domains with an Ahlfors-David regular boundary were considered.

1. Introduction

Clifford analysis is a higher-dimensional function theory offering a generalization of the theory of holomorphic functions in the complex plane and, at the same time, a refinement of classical harmonic analysis. The standard case, also referred to as Euclidean Clifford analysis, focuses on the null solutions, called monogenic functions, of the vector-valued Dirac operator , which factorizes the -dimensional Laplacian: . Here is an orthonormal basis for the quadratic space underlying the construction of the real Clifford algebra , where the considered functions take their values. Since the Dirac operator is invariant with respect to the action of the orthogonal group , doubly covered by the Pin() group of the Clifford algebra , the resulting function theory is said to be rotation invariant. Standard references for Euclidean Clifford analysis are [15].

More recently, 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 , equipped with a complex structure, that is, an element for which . In fact, it is precisely in order to ensure that such a complex structure exists that the dimension of the underlying vector space is taken 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 . Since the system indeed constitutes a refinement of the original Euclidean Dirac equation, the fundamental group invariance of this system breaks down to a smaller group; it was shown in [6] that it concerns the unitary group . The study of complex Dirac operators was initiated in [710]; a systematic development of the associated function theory still is in full progress; see, for example, [6, 1115].

In [16] a Cauchy integral formula for Hermitean monogenic functions was established, obviously an essential result in the development of the function theory. However, as in some very particular cases Hermitean monogenicity is equivalent with (anti)holomorphy in complex variables (see [12]), such a representation formula could not take the traditional form as in the complex plane or in Euclidean Clifford analysis. The matrix approach needed to obtain the desired result leads 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 was meanwhile also further studied itself; see also [15, 17, 18].

In the present paper, we consider Hölder continuous circulant matrix functions defined on the fractal boundary of a domain in , and we investigate under which conditions such a function can be decomposed as , where the components are extendable to -monogenic functions in the interior and the exterior of , respectively. This type of decomposition (or "jump") problem has already been considered in Euclidean Clifford analysis in, for example, [1922] for domains with boundaries showing minimal smoothness, including some results for fractal boundaries as well. In [23] a similar decomposition problem for domains with fractal boundaries was considered in the Hermitean Clifford context, the approach, however, not being suited for a treatment of the circulant matrix situation. It turns out that the introduction of a matricial Hermitean Téodorescu transform is crucial to solve this problem.

2. Preliminaries

2.1. Some Elements of Hermitean Clifford Analysis

Let be an orthonormal basis of Euclidean space and consider the complex Clifford algebra constructed over . The noncommutative or geometric multiplication in is governed by the following rules:

(21)

The Clifford algebra thus is generated additively by elements of the form , where is such that , while for , one puts , the identity element. The dimension of thus is . Any Clifford number may thus be written as , , and its Hermitean conjugate is defined by

(22)

where the bar denotes the real Clifford algebra conjugation, that is, the main anti-involution for which , and stands for the complex conjugate of the complex number .

Euclidean space is embedded in the Clifford algebra by identifying with the real Clifford vector given by , for which . The Fischer dual of the vector is the vector-valued first-order Dirac operator , factorizing the Laplacian: ; 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 (open subsets 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 and differentiability is ascribed to , it is meant that all the components possess the cited property. A Clifford algebra-valued function , defined and differentiable in an open region of , is then called (left) monogenic in if and only if in .

The transition from Euclidean Clifford analysis as described above to the Hermitean Clifford setting is essentially based on the introduction of a complex structure . This is a particular element, satisfying . Since such an element cannot exist when the dimension of the vector space is odd, we will put from now on. In terms of the chosen orthonormal basis, a particular realization of the complex structure may be and , . Two projection operators associated to this complex structure then produce the main objects of Hermitean Clifford analysis by acting upon the corresponding objects in the Euclidean setting; see [11, 12]. First of all, the vector space thus decomposes as into two isotropic subspaces. The real Clifford vector is now denoted by

(23)

and its corresponding Dirac operator by

(24)

while we will also consider their so-called "twisted" counterparts, obtained through the action of , that is,

(25)

As was the case with , a notion of monogenicity may be associated in a natural way to as well. The projections of the vector variable and the Dirac operator on the spaces then give rise to the Hermitean Clifford variables and , given by

(26)

and (up to a factor) to the Hermitean Dirac operators and given by

(27)

(see [6, 11]). Observe for further use that the Hermitean vector variables and Dirac operators are isotropic, that is, and , whence the Laplacian allows for the decomposition , while also . These objects lie at the core of the Hermitean function theory by means of the following definition (see, e.g., [6, 11]).

Definition 2.1.

A continuously differentiable function in with values in is called left Hermitean monogenic (or left -monogenic) in , if and only if it satisfies in the system

(28)

or, equivalently, the system

(29)

In a similar way right -monogenicity is defined. Functions which are both left and right -monogenic are called two-sided -monogenic. This definition inspires the statement that -monogenicity constitutes a refinement of monogenicity, since-monogenic functions (either left or right) are monogenic w.r.t. both Dirac operators and .

In what follows, we will systematically take to be a so-called Jordan domain, that is, a bounded oriented connected open subset of , the boundary of which is a compact topological surface. Note that, in the case , this notion coincides with the usual one of a Jordan domain in the complex plane. For further use, we also introduce the notation , and .

2.2. Some Elements of the Matricial Hermitean Clifford Setting

The fundamental solutions of the Dirac operators and are, respectively, given by

(210)

where denotes the surface area of the unit sphere in . Introducing the functions and , explicitly given by

(211)

it is directly seen that and are not the fundamental solutions to the respective Hermitean Dirac operators and . Surprisingly, however, introducing the particular circulant matrices

(212)

where is the Dirac delta distribution, one obtains that , so that may be considered as a fundamental solution of in a matricial context, see, for example, [8, 16, 18]. Moreover, the Dirac matrix in some sense factorizes the Laplacian, since

(213)

where is the usual Laplace operator in . It was exactly this simple observation which leads to the idea of following a matrix approach in order to establish integral representation formulae in the Hermitean setting; see [15, 16]. Moreover, it inspired the following definition.

Definition 2.2.

Let be continuously differentiable functions defined in and taking values in , and consider the matrix function:

(214)

Then is called left (resp., right) -monogenic in if and only if it satisfies in the system

(215)

Here denotes the matrix with zero entries.

Explicitly, the system for left -monogenicity reads:

(216)

Again, a notion of two-sided -monogenicity may be defined similarly. However, unless mentioned explicitly, we will only work with left -monogenic matrix functions. This matrix approach has also been successfully applied in [17, 24] for the construction of a boundary values theory of -monogenic functions.

Observe however that the -monogenicity of the matrix function does not imply the -monogenicity of its entry functions and . Nevertheless, choosing in particular and , the -monogenicity of the corresponding diagonal matrix, denoted by , is seen to be equivalent to the -monogenicity of the function . Moreover, considering the matricial Laplacian introduced in (2.13), one may call a matrix function harmonic if and only if it satisfies the equation . Each -monogenic matrix function then is harmonic, ensuring that its entries are harmonic functions in the usual sense.

In general, notions of continuity, differentiability, and integrability of are introduced by means of the corresponding notions for its entries. In what follows, we will in particular use the notations , , and for the class of Hölder continuous and -integrable circulant matrix functions, respectively.

2.3. Some Elements of Fractal Geometry

Let be an arbitrary subset of . Then for any its Hausdorff measure may be defined by

(217)

where the infimum is taken over all countable -coverings of with open or closed balls. Note that, for , the Hausdorff measure coincides, up to a positive multiplicative constant, with the Lebesgue measure in .

Now, let be a compact subset of . The Hausdorff dimension of , denoted by , is then defined as the infimum of all such that . For more details concerning the Hausdorff measure and dimension we refer the reader to [25, 26].

Frequently, however, see, for example, [27], the so-called box dimension is more appropriated than the Hausdorff dimension to measure the roughness of a given set . By definition, the box dimension of a compact set is equal to

(218)

where stands for the minimal number of -balls needed to cover . Note that the limit in (2.18) remains unchanged if is replaced by the number of -cubes, with , intersecting . For completeness we recall that a cube is called a -cube if it is of the form

(219)

where and are integers. The box dimension and the Hausdorff dimension of a given compact set can be equal, which is, for instance, the case for the so-called -rectifiable sets (see [28]), but this is not the case in general, where we have that .

In what follows we will assume the boundary of our Jordan domain to have Hausdorff dimension . This includes the case when is fractal in the sense of Mandelbrot, that is, when .

3. A Pair of Euclidean Téodorescu Transforms

From now on we reserve the notations and for Clifford vectors associated to points in . We may then consider the Euclidean Téodorescu transforms and of a function , assumed to be integrable in , given by

(31)

where and are oriented volume elements on , for which it is easily checked that . For the sake of completeness, we recall some basic properties of and , which are generalizations to the case of Clifford analysis of the well-known properties established in the complex plane.

To this end, let be a -valued function defined on , which satisfies a Hölder condition of order , that is, , where , and denote by the so-called Whitney extension of from to the whole of (see [29]). We recall that the Whitney extension of is a compactly supported function for which it holds that and

(32)

We then first formulate an auxiliary result.

Lemma 3.1.

and are -integrable in for any .

Proof.

We only give the main lines of the proof; for details we refer the reader to [22, Lemma ]. In the notation of [30], let be the Whitney partition of by means of -cubes. We then have

(33)

On the other hand, (3.2) implies that for

(34)

since . Now, invoking the fact that the number of -cubes appearing in is less than , while by definition of ,

(35)

for any , we arrive at

(36)

the last series being convergent for . In view of the arbitrary choice of , this concludes the proof.

Now, take such that

(37)

and then it holds that ; whence, on account of the previous lemma, there exist exponents such that and are -integrable in . From this observation it then follows that, for , with as in (3.7), both and belong to , for any satisfying

(38)

due to the fact that the Téodorescu transform maps the space of -integrable functions with compact support to if (see, e.g., [5]). The following result then holds.

Proposition 3.2.

For , with as in (3.7), consider

(39)

With denoting the characteristic function of the set . Then and are monogenic in and in , with respect to and , respectively. They are continuous in the corresponding closed domains, vanish at infinity, and show jump over the boundary .

Proof.

For simplicity we restrict ourselves to , the proof for running along similar lines. The continuity of on the closed domains follows from the fact that for any satisfying (3.8). On the other hand, a direct calculation shows that and that

(310)

where

(311)

Finally, the monogenicity of is a direct consequence of the well-known fact that the Téodorescu transform constitutes a right inverse of the Dirac operator.

Summarizing, any function , with as in (3.7), can be decomposed as

(312)

where the components are extendable to monogenic functions in the interior and the exterior of the domain , with respect to and , respectively. Note that a decomposition of type (3.12) is said to be of class if . The remaining question is whether the decomposition (3.12) is unique. In order to investigate this, we will need the following version of the Dolzhenko theorem, as proved in [22].

Theorem 3.3.

Let the compact set be such that . Then, a function which is monogenic in is monogenic in the whole of .

We then arrive at the following result.

Theorem 3.4.

Suppose that

(313)

Then, for any in , , there exists a unique decomposition (3.12) of class .

Proof.

The existence being shown above, it remains to prove the uniqueness. To this end, assume that admits two decompositions of class , denoted by and , respectively. Then

(314)

implying that

(315)

Consequently, the function is monogenic in and belongs to , whence it is monogenic in on account of Theorem 3.3, while it also vanishes at . By Liouville's Theorem we conclude that .

4. A Matricial Hermitean Téodorescu Transform

A first step in the solution of the Hermitean matrix decomposition problem is the introduction of the matricial Hermitean Téodorescu transform:

(41)

where is the associated volume element given by

(42)

and denote the Hermitean counterparts of , that is,

(43)

It clearly holds that .

A direct calculation reveals that the Hermitean Téodorescu transform can be expresed in terms of the Euclidean Téodorescu transforms and as follows (see [15]):

(44)

In particular, for the special case of the matrix function (i.e., and ) this expression reduces to

(45)

In what follows we will denote by the Whitney extension of , that is,

(46)

The following theorem then contains some of its basic properties of the matricial Hermitean Téodorescu transform. They can be proven using standard techniques applied to the present matrix context.

Theorem 4.1.

If , with , then .

If , then

(47)

If with as in (3.7), then

(48)

for any satisfying (3.8).

5. The H-Monogenic Decomposition Problem

We are now in the possibility to treat the H-monogenic decomposition problem; it means to study under which conditions a given matrix function can be decomposed as

(51)

where the components , are Hölder continuous matrix functions on , which are Hermitean monogenically extendable to respectively, and moreover . The following theorem provides an answer to that question.

Theorem 5.1.

Let , with as in (3.7). Then admits the Hermitean monogenic decomposition (5.1), where the components are explicitly given by

(52)

Proof.

On account of the assumption on , it follows that belongs to , for and , simultaneously. Then, the Hölder continuity of directly follows from Theorem 4.1, (i) and (iii). Next, the matrix inversion formula (ii) in Theorem 4.1 yields

(53)

showing the -monogenicity of in , respectively.

In order to rephrase Theorem 5.1 in the -monogenic setting, as studied in [23], we only need to ensure that

(54)

or, equivalently, that

(55)

which, by means of some direct calculations, can be rewritten as

(56)

This is precisely the condition under which a function has been found to admit an -monogenic decomposition (3.12); see [23, Theorem ]. This result may be reformulated into the present setting as follows.

Theorem 5.2.

Let , with as in (3.7), and consider the corresponding matrix function . Then admits the decomposition (5.1) in terms of -monogenic functions if and only if (5.4) holds.

Remark 5.3.

Even though the decomposition (5.1) is not unique in general, it will be so in the corresponding class:

(57)

for ; see Theorem 3.4.

Remark 5.4.

When is sufficiently regular, for example, Ahlfors-David regular, the expressions (5.2) reduce to the ones obtained in [17] in terms of the matricial Hermitean Cauchy integral, the latter being easily obtained using the Hermitean Borel-Pompeiu formula, as proved in [16]. Indeed, applying this Borel-Pompeiu formula to , we obtain

(58)

where is the Hermitean Cauchy integral given by

(59)

Here, the additional circulant matrix

(510)

contains (up to a factor) the Hermitean projections and of the outward unit normal vector at the point , while the matrix Hausdorff measure is given by

(511)

Since , we have

(512)

or, using the notations of (5.2),

(513)

which coincides with [17, equation ()].

Acknowledgments

This paper was written during a scientific stay of the first author at the Clifford Research Group of the Department of Mathematical Analysis of Ghent University, supported by a "Visiting Postdoctoral Fellowship" of the Flemish Research Foundation. He wishes to thank the members of the Clifford Research Group for their kind hospitality during this stay.

References

  1. Brackx, F, Delanghe, R, Sommen, F: Clifford Analysis, Research Notes in Mathematics,p. x+308. Pitman, Boston, Mass, USA (1982)

  2. Delanghe, R, Sommen, F, Souček, V: Clifford Algebra and Spinor-Valued Functions,p. 485. Kluwer Academic Publishers, Dordrecht, The Netherlands (1992)

  3. Gürlebeck, K, Sprössig, W: Quaternionic and Clifford Calculus for Physicists and Engineers, John Wiley & Sons, Chichester, UK (1998)

  4. Gilbert, J, Murray, M: Clifford Algebras and Dirac Operators in Harmonic Analysis,p. viii+334. Cambridge University Press, Cambridge, UK (1991)

  5. Gürlebeck, K, Habetha, K, Sprössig, W: Holomorphic Functions in the Plane and n-Dimensional Space,p. xiv+394. Birkhäuser, Basel, Switzerland (2008)

  6. Brackx, F, De Schepper, H, Sommen, F: The Hermitean Clifford analysis toolbox. Advances in Applied Clifford Algebras. 18(3–4), 451–487 (2008)

  7. Ryan, J: Complexified Clifford analysis. Complex Variables. Theory and Application. 1(1), 119–149 (1982-1983)

  8. Rocha-Chávez, R, Shapiro, M, Sommen, F: Integral Theorems for Functions and Differential Forms in ℂm, Research Notes in Mathematics, Chapman & Hall/CRC, Boca Raton, Fla, USA (2002)

  9. Sabadini, I, Sommen, F: Hermitian Clifford analysis and resolutions. Mathematical Methods in the Applied Sciences. 25(16–18), 1395–1413 (2002)

  10. Colombo, F, Sabadini, I, Sommen, F, Struppa, DC: Analysis of Dirac Systems and Computational Algebra,p. 332. Birkhäuser, Boston, Mass, USA (2004)

  11. Brackx, F, Bureš, J, De Schepper, H, Eelbode, D, Sommen, F, Souček, V: Fundaments of Hermitean Clifford analysis—part I: complex structure. Complex Analysis and Operator Theory. 1(3), 341–365 (2007). Publisher Full Text OpenURL

  12. Brackx, F, Bureš, J, De Schepper, H, Eelbode, D, Sommen, F, Souček, V: Fundaments of Hermitean Clifford analysis—partII: splitting of -monogenic equations. Complex Variables and Elliptic Equations. 52(10-11), 1063–1079 (2007). Publisher Full Text OpenURL

  13. Brackx, F, De Schepper, H, Sommen, F: A theoretical framework for wavelet analysis in a Hermitean Clifford setting. Communications on Pure and Applied Analysis. 6(3), 549–567 (2007)

  14. Eelbode, D: Stirling numbers and spin-Euler polynomials. Experimental Mathematics. 16(1), 55–66 (2007). Publisher Full Text OpenURL

  15. Brackx, F, De Schepper, H, Luna Elizarrars, ME, Shapiro, M: Integral representation formulae in Hermitean Clifford analysis. Proceedings of the 18th International Conference on the Application of Computer Science and Mathematics in Architecture and Civil Engineering, July 2009, Weimar, Germany

  16. Brackx, F, De Knock, B, De Schepper, H, Sommen, F: On Cauchy and Martinelli-Bochner integral formulae in Hermitean Clifford analysis. Bulletin of the Brazilian Mathematical Society. 40(3), 395–416 (2009). Publisher Full Text OpenURL

  17. Abreu-Blaya, R, Bory-Reyes, J, Brackx, F: Hermitean Cauchy integral decomposition of continuous functions on hypersurfaces. Boundary Value Problems. 2008, (2008)

  18. Brackx, F, De Knock, B, De Schepper, H: A matrix Hilbert transform in Hermitean Clifford analysis. Journal of Mathematical Analysis and Applications. 344(2), 1068–1078 (2008). Publisher Full Text OpenURL

  19. Abreu-Blaya, R, Bory-Reyes, J: A Martinelli-Bochner formula on fractal domains. Archiv der Mathematik. 92(4), 335–343 (2009). Publisher Full Text OpenURL

  20. Abreu-Blaya, R, Bory-Reyes, J, Moreno García, T: Minkowski dimension and Cauchy transform in Clifford analysis. Complex Analysis and Operator Theory. 1(3), 301–315 (2007). Publisher Full Text OpenURL

  21. Abreu-Blaya, R, Bory-Reyes, J, Moreno-García, T: Cauchy transform on nonrectifiable surfaces in Clifford analysis. Journal of Mathematical Analysis and Applications. 339(1), 31–44 (2008). Publisher Full Text OpenURL

  22. Abreu-Blaya, R, Bory-Reyes, J, Peña-Peña, D: Jump problem and removable singularities for monogenic functions. The Journal of Geometric Analysis. 17(1), 1–13 (2007). Publisher Full Text OpenURL

  23. Abreu-Blaya, R, Bory-Reyes, J, Moreno García, T: Hermitian decomposition of continuous functions on a fractal surface. Bulletin of the Brazilian Mathematical Society. 40(1), 107–115 (2009). Publisher Full Text OpenURL

  24. 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)

  25. Falconer, KJ: The Geometry of Fractal Sets, Cambridge Tracts in Mathematics, Cambridge University Press, Cambridge, UK (1986)

  26. Feder, J: Fractals, Physics of Solids and Liquids,p. 283. Plenum Press, New York, NY, USA (1988)

  27. Lapidus, ML, Maier, H: Hypothèse de Riemann, cordes fractales vibrantes et conjecture de Weyl-Berry modifiée. Comptes Rendus de l'Académie des Sciences. Série I. Mathématique. 313(1), 19–24 (1991)

  28. Federer, H: Geometric Measure Theory, Die Grundlehren der mathematischen Wissenschaften 153, Springer, New York, NY, USA (1969)

  29. Stein, EliasM: Singular Integrals and Differentiability Properties of Functions, Princeton Mathematical Series, no. 30, Princeton University Press, Princeton, NJ, USA (1970)

  30. Harrison, J, Norton, A: The Gauss-Green theorem for fractal boundaries. Duke Mathematical Journal. 67(3), 575–588 (1992). Publisher Full Text OpenURL