Namespaces
Variants
Actions

Clifford analysis

From Encyclopedia of Mathematics
Jump to: navigation, search


Clifford analysis studies functions with values in a Clifford algebra, and, as such, is a direct generalization to higher dimensions of the classical theory of functions of one complex variable (cf. Functions of a complex variable, theory of). It has its roots in quaternionic analysis, which was developed from the 1920s onwards as an, albeit modest, counterpart of the theory of two complex variables. The latter was to evolve into the vast and rich theory of several complex variables. The former gained renewed interest in the 1950s and led to hypercomplex function theory (cf. also Hypercomplex functions), renamed Clifford analysis in the 1980s, when it grew into an autonomous discipline.

Clifford algebra, also called geometric algebra, was introduced in 1878 by the English mathematician and philosopher W.K. Clifford, generalizing W.R. Hamilton's quaternions (cf. also Quaternion).

If $ \mathbf R ^ {p,q } $ is a real $ n $- dimensional ( $ n = p + q $) quadratic space with non-degenerate bilinear form $ B $ of signature $ ( p,q ) $, then, roughly speaking, the Clifford algebra $ \mathbf R _ {p,q } $ over $ \mathbf R ^ {p,q } $ is the real, associative and non-commutative algebra with identity $ e _ {0} $, containing $ \mathbf R $ and $ \mathbf R ^ {p,q } $ as subspaces, and with a multiplication governed by the rule

$$ xy + yx = 2B ( x,y ) . $$

If $ ( e _ {1} \dots e _ {n} ) $ is an orthonormal basis of $ \mathbf R ^ {p,q } $, i.e.,

$$ e _ {i} e _ {j} + e _ {j} e _ {i} = 0, \quad i \neq j, $$

$$ e _ {i} ^ {2} = 1, \quad i = 1 \dots p, $$

$$ e _ {j} ^ {2} = - 1, \quad j = p + 1 \dots n, $$

then for vectors

$$ x = \sum _ {k = 1 } ^ { n } x _ {k} e _ {k} , \quad y = \sum _ {k = 1 } ^ { n } y _ {k} e _ {k} $$

in $ \mathbf R ^ {p,q } $, their (geometric) product splits into a scalar and a so-called bivector part:

$$ xy = x \cdot y + x \wedge y, $$

where

$$ x \cdot y = \sum _ {i = 1 } ^ { p } x _ {i} y _ {i} - \sum _ {j = p + 1 } ^ { n } x _ {j} y _ {j} $$

and

$$ x \wedge y = 2 \sum _ {i < j } x _ {i} y _ {j} e _ {i} e _ {j} . $$

Introducing conjugation as the anti-involution with $ {\overline{e}\; } _ {k} = - e _ {k} $, the squared length of a vector can be factorized as

$$ x ^ {2} = \sum _ {i = 1 } ^ { p } x _ {i} ^ {2} - \sum _ {j = p + 1 } ^ { n } x _ {j} ^ {2} = x {\overline{x}\; } . $$

This factorization implies the linearization of some fundamental partial differential operators of mathematical physics, such as the Laplace operator and the d'Alembert operator, and turns out to be crucial to Clifford analysis.

A general reference for Clifford algebra is [a4].

In the so-called Euclidean case, when $ p = 0 $ and $ q = n $, two fundamental differential operators are introduced: the Euclidean Dirac operator

$$ D = \sum _ {i = 1 } ^ { n } e _ {i} \partial _ {x _ {i} } $$

and the Euclidean Cauchy–Riemann operator

$$ {\mathcal D} = e _ {0} \partial _ {x _ {0} } + D, $$

the latter being a generalization of the classical Cauchy–Riemann operator which is obtained for $ n = 2 $, identifying $ e _ {1} $ with the imaginary unit (cf. also Cauchy-Riemann equations). These operators linearize the Laplace operator in the sense that $ D ^ {2} = - \Delta _ {n} $ and $ {\mathcal D} {\overline {\mathcal D} \; } = \Delta _ {n + 1 } $.

Clifford analysis essentially deals with the study of null solutions of the operators $ D $ and $ {\mathcal D} $, both cases showing many similarities, at least formally, as shown in [a2].

A function $ f $, continuously differentiable in an open domain $ \Omega $ of $ \mathbf R ^ {n} $ and taking values in $ \mathbf R _ {0,n } $, is said to be monogenic in $ \Omega $ if $ Df = 0 $ in $ \Omega $.

Monogenicity thus leads to an overdetermined first-order system, generalizing the Cauchy–Riemann system. In particular, if $ f $ is $ \mathbf R ^ {0,n } $- valued, the so-called Riesz system is obtained.

If $ N ( x ) $ is a fundamental solution of the Laplace operator $ \Delta _ {n} $, then $ D N ( x ) = E ( x ) $ is an $ \mathbf R ^ {0,n } $- valued fundamental solution of $ D $.

The power of classical function theory of one complex variable is based on the Cauchy integral formula (cf. Cauchy integral theorem) and the Weierstrass convergence theorem (cf. Weierstrass theorem) on the one hand, and on Riemann's concept of conformal mapping on the other; they constitute the nuclei of the so-called analytic and geometric function theories, respectively.

In their turn, the basic analytic properties of monogenic functions are based upon the Cauchy formula,

$$ \int\limits _ {\partial M } {E ( y - x ) } {d \sigma _ {y} f ( y ) } = f ( x ) , \quad x \in { \mathop{\rm int} } M, $$

where $ f $ is monogenic in $ \Omega $, $ M $ is a compact $ n $- dimensional manifold with boundary in $ \Omega $, and $ d \sigma $ is the vector-valued $ ( n - 1 ) $- dimensional surface element given by

$$ d \sigma = \sum _ {i = 1 } ^ { n } ( - i ) ^ {i} e _ {i} d {\widehat{x} } _ {i} , $$

$$ d {\widehat{x} } _ {i} = dx _ {1} \wedge \dots \wedge [ dx _ {i} ] \wedge \dots \wedge dx _ {n} . $$

References for function-theoretic results in Clifford analysis are [a1] and [a2].

Among others, the Cauchy operator associated with the Dirac operator $ D $, as defined by the left-hand side of Cauchy's formula, is used in studying boundary value problems in domains of $ \mathbf R ^ {n} $.

The Cauchy operator associated with the Cauchy–Riemann operator $ {\mathcal D} $, when applied to functions in $ L _ {p} ( \Sigma ) $( $ 1 < p < + \infty $), gives rise to the Cauchy transforms $ {\mathcal C} _ \Sigma ^ \pm $ and the singular Cauchy transform $ {\mathcal C} _ \Sigma $ on the Lipschitz surface $ \Sigma \subset \mathbf R ^ {n + 1 } $, i.e. on a surface of the form

$$ \Sigma = \left \{ {g ( x ) e _ {0} + x \in \mathbf R ^ {n + 1 } } : {x \in \mathbf R ^ {n} } \right \} , $$

where $ g : {\mathbf R ^ {n} } \rightarrow \mathbf R $ is a Lipschitz function, possibly satisfying additional technical conditions (cf. also Lipschitz condition). It turns out that the scalar part of $ {\mathcal C} _ \Sigma $ is the classical singular double-layer potential operator on $ \Sigma $. As, moreover, the projection operators $ { {( { \mathop{\rm id} } \pm {\mathcal C} _ \Sigma ) } / 2 } $ determine the Hardy spaces $ H _ {p} ^ \pm ( \Sigma ) $ and the Hardy decomposition of $ L _ {p} ( \Sigma ) $, the singular Cauchy transform $ {\mathcal C} _ \Sigma $ may be viewed as a generalization of the classical Hilbert transform on the real line. These results reveal the potentials of Clifford analysis for dealing with problems of harmonic analysis in Euclidean space.

References for this area are [a3] and [a5].

Regarding the geometric viewpoint in Clifford analysis, Möbius transforms in $ \mathbf R ^ {p,q } $ can be completely characterized by specific $ ( 2 \times 2 ) $- matrices over the Clifford group, the so-called Vahlen matrices. By means of this characterization, transforms of metrics and operators may be calculated. The introduction of Vahlen matrices has even inspired the recent development of Clifford analysis on hyperbolic spaces.

A reference for this area is [a4].

References

[a1] F. Brackx, R. Delanghe, F. Sommen, "Clifford analysis" , Pitman (1982) MR0697564 Zbl 0529.30001
[a2] R. Delanghe, F. Sommen, V. Souček, "Clifford algebra and spinor valued functions: a function theory for the Dirac operator" , Kluwer Acad. Publ. (1992) Zbl 0747.53001
[a3] J. Gilbert, M. Murray, "Clifford algebras and Dirac operators in harmonic analysis" , Cambridge Univ. Press (1991) MR1130821 Zbl 0733.43001
[a4] I.R. Porteous, "Clifford algebras and the classical groups" , Cambridge Univ. Press (1995) MR1369094 Zbl 0855.15019
[a5] "Clifford algebras in analysis and related topics" J. Ryan (ed.) , CRC (1996) MR1383097 Zbl 0856.30035 Zbl 0835.00014
How to Cite This Entry:
Clifford analysis. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Clifford_analysis&oldid=46358
This article was adapted from an original article by F. Brackx (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article