Clifford analysis explained

Clifford analysis, using Clifford algebras named after William Kingdon Clifford, is the study of Dirac operators, and Dirac type operators in analysis and geometry, together with their applications. Examples of Dirac type operators include, but are not limited to, the Hodge–Dirac operator,

on a Riemannian manifold, the Dirac operator in euclidean space and its inverse on and their conformal equivalents on the sphere, the Laplacian in euclidean n-space and the Atiyah–Singer–Dirac operator on a spin manifold, Rarita–Schwinger/Stein–Weiss type operators, conformal Laplacians, spinorial Laplacians and Dirac operators on Spin^C manifolds, systems of Dirac operators, the Paneitz operator, Dirac operators on hyperbolic space, the hyperbolic Laplacian and Weinstein equations.

Euclidean space

In Euclidean space the Dirac operator has the form

where e₁, ..., e_n is an orthonormal basis for Rⁿ, and Rⁿ is considered to be embedded in a complex Clifford algebra, Cl_n(C) so that .

This gives

where Δ_n is the Laplacian in n-euclidean space.

The fundamental solution to the euclidean Dirac operator is

where ω_n is the surface area of the unit sphere Sⁿ⁻¹.

Note that

where is the fundamental solution to Laplace's equation for . in the complex plane. Indeed, many basic properties of one variable complex analysis follow through for many first order Dirac type operators. In euclidean space this includes a Cauchy Theorem, a Cauchy integral formula, Morera's theorem, Taylor series, Laurent series and Liouville Theorem. In this case the Cauchy kernel is G(x−y). The proof of the Cauchy integral formula is the same as in one complex variable and makes use of the fact that each non-zero vector x in euclidean space has a multiplicative inverse in the Clifford algebra, namely Up to a sign this inverse is the Kelvin inverse of x. Solutions to the euclidean Dirac equation Df = 0 are called (left) monogenic functions. Monogenic functions are special cases of harmonic spinors on a spin manifold.

In 3 and 4 dimensions Clifford analysis is sometimes referred to as quaternionic analysis. When, the Dirac operator is sometimes referred to as the Cauchy–Riemann–Fueter operator. Further some aspects of Clifford analysis are referred to as hypercomplex analysis.

Clifford analysis has analogues of Cauchy transforms, Bergman kernels, Szegő kernels, Plemelj operators, Hardy spaces, a Kerzman–Stein formula and a Π, or Beurling–Ahlfors, transform. These have all found applications in solving boundary value problems, including moving boundary value problems, singular integrals and classic harmonic analysis. In particular Clifford analysis has been used to solve, in certain Sobolev spaces, the full water wave problem in 3D. This method works in all dimensions greater than 2.

Much of Clifford analysis works if we replace the complex Clifford algebra by a real Clifford algebra, Cl_n. This is not the case though when we need to deal with the interaction between the Dirac operator and the Fourier transform.

The Fourier transform

When we consider upper half space R^n,+ with boundary Rⁿ⁻¹, the span of e₁, ..., e_n−1, under the Fourier transform the symbol of the Dirac operator

is iζ where

In this setting the Plemelj formulas are

and the symbols for these operators are, up to a sign,

These are projection operators, otherwise known as mutually annihilating idempotents, on the space of Cl_n(C) valued square integrable functions on Rⁿ⁻¹.

Note that

where R_j is the j-th Riesz potential,

As the symbol of

is

it is easily determined from the Clifford multiplication that

is a natural generalization to euclidean space of the Hilbert transform.

Suppose U′ is a domain in Rⁿ⁻¹ and g(x) is a Cl_n(C) valued real analytic function. Then g has a Cauchy–Kovalevskaia extension to the Dirac equation on some neighborhood of U′ in Rⁿ. The extension is explicitly given by

When this extension is applied to the variable x in

we get that

is the restriction to Rⁿ⁻¹ of E₊ + E₋ where E₊ is a monogenic function in upper half space and E₋ is a monogenic function in lower half space.

There is also a Paley–Wiener theorem in n-Euclidean space arising in Clifford analysis.

Conformal structure

Many Dirac type operators have a covariance under conformal change in metric. This is true for the Dirac operator in euclidean space, and the Dirac operator on the sphere under Möbius transformations. Consequently, this holds true for Dirac operators on conformally flat manifolds and conformal manifolds which are simultaneously spin manifolds.

Cayley transform (stereographic projection)

The Cayley transform or stereographic projection from Rⁿ to the unit sphere Sⁿ transforms the euclidean Dirac operator to a spherical Dirac operator D_S. Explicitly

where Γ_n is the spherical Beltrami–Dirac operator

and x in Sⁿ.

The Cayley transform over n-space is

Its inverse is

For a function f(x) defined on a domain U in n-euclidean space and a solution to the Dirac equation, then

is annihilated by D_S, on C(U) where

Further

the conformal Laplacian or Yamabe operator on Sⁿ. Explicitly

where

is the Laplace–Beltrami operator on Sⁿ. The operator is, via the Cayley transform, conformally equivalent to the euclidean Laplacian. Also

is the Paneitz operator,

on the n-sphere. Via the Cayley transform this operator is conformally equivalent to the bi-Laplacian,

. These are all examples of operators of Dirac type.

Möbius transform

A Möbius transform over n-euclidean space can be expressed as

where a, b, c and d ∈ Cl_n and satisfy certain constraints. The associated matrix is called an Ahlfors–Vahlen matrix. If and Df(y) = 0 then is a solution to the Dirac equation where } and ~ is a basic antiautomorphism acting on the Clifford algebra. The operators D^k, or Δ_n^k/2 when k is even, exhibit similar covariances under Möbius transform including the Cayley transform.

When ax+b and cx+d are non-zero they are both members of the Clifford group.

As

then we have a choice in sign in defining J(M, x). This means that for a conformally flat manifold M we need a spin structure on M in order to define a spinor bundle on whose sections we can allow a Dirac operator to act. Explicit simple examples include the n-cylinder, the Hopf manifold obtained from n-euclidean space minus the origin, and generalizations of k-handled toruses obtained from upper half space by factoring it out by actions of generalized modular groups acting on upper half space totally discontinuously. A Dirac operator can be introduced in these contexts. These Dirac operators are special examples of Atiyah–Singer–Dirac operators.

Atiyah–Singer–Dirac operator

Given a spin manifold M with a spinor bundle S and a smooth section s(x) in S then, in terms of a local orthonormal basis e₁(x), ..., e_n(x) of the tangent bundle of M, the Atiyah–Singer–Dirac operator acting on s is defined to be

where is the spin connection, the lifting to S of the Levi-Civita connection on M. When M is n-euclidean space we return to the euclidean Dirac operator. where τ is the scalar curvature on the manifold, and Γ^∗ is the adjoint of Γ. The operator D² is known as the spinorial Laplacian.

If M is compact and and somewhere then there are no non-trivial harmonic spinors on the manifold. This is Lichnerowicz' theorem. It is readily seen that Lichnerowicz' theorem is a generalization of Liouville's theorem from one variable complex analysis. This allows us to note that over the space of smooth spinor sections the operator D is invertible such a manifold.

In the cases where the Atiyah–Singer–Dirac operator is invertible on the space of smooth spinor sections with compact support one may introduce

where δ_y is the Dirac delta function evaluated at y. This gives rise to a Cauchy kernel, which is the fundamental solution to this Dirac operator. From this one may obtain a Cauchy integral formula for harmonic spinors. With this kernel much of what is described in the first section of this entry carries through for invertible Atiyah–Singer–Dirac operators.

Using Stokes' theorem, or otherwise, one can further determine that under a conformal change of metric the Dirac operators associated to each metric are proportional to each other, and consequently so are their inverses, if they exist.

All of this provides potential links to Atiyah–Singer index theory and other aspects of geometric analysis involving Dirac type operators.

Hyperbolic Dirac type operators

In Clifford analysis one also considers differential operators on upper half space, the disc, or hyperbola with respect to the hyperbolic, or Poincaré metric.

For upper half space one splits the Clifford algebra, Cl_n into Cl_n−1 + Cl_n−1e_n. So for a in Cl_n one may express a as b + ce_n with a, b in Cl_n−1. One then has projection operators P and Q defined as follows P(a) = b and Q(a) = c. The Hodge–Dirac operator acting on a function f with respect to the hyperbolic metric in upper half space is now defined to be

. In this case . The operator is the Laplacian with respect to the Poincaré metric while the other operator is an example of a Weinstein operator.

The hyperbolic Laplacian is invariant under actions of the conformal group, while the hyperbolic Dirac operator is covariant under such actions.

Rarita–Schwinger/Stein–Weiss operators

where p_k and p_k−1 are respectively k and k−1 monogenic polynomials. Let P be the projection of h_k to p_k then the Rarita–Schwinger operator is defined to be PD_k, and it is denoted by R_k. Using Euler's Lemma one may determine that So

Conferences and Journals

There is a vibrant and interdisciplinary community around Clifford and Geometric Algebras with a wide range of applications. The main conferences in this subject include the International Conference on Clifford Algebras and their Applications in Mathematical Physics (ICCA) and Applications of Geometric Algebra in Computer Science and Engineering (AGACSE) series. A main publication outlet is the Springer journal Advances in Applied Clifford Algebras.

See also

• Clifford algebra
• Complex spin structure
• Conformal manifold
• Conformally flat manifold
• Dirac operator
• Poincaré metric
• Spin group
• Spin structure
• Spinor bundle

References

• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .
• .

External links

• Lecture notes on Dirac operators in analysis and geometry