Quaternionic analysis

Last updated

In mathematics, quaternionic analysis is the study of functions with quaternions as the domain and/or range. Such functions can be called functions of a quaternion variable just as functions of a real variable or a complex variable are called.

Contents

As with complex and real analysis, it is possible to study the concepts of analyticity, holomorphy, harmonicity and conformality in the context of quaternions. Unlike the complex numbers and like the reals, the four notions do not coincide.

Properties

The projections of a quaternion onto its scalar part or onto its vector part, as well as the modulus and versor functions, are examples that are basic to understanding quaternion structure.

An important example of a function of a quaternion variable is

which rotates the vector part of q by twice the angle represented by u.

The quaternion multiplicative inverse is another fundamental function, but as with other number systems, and related problems are generally excluded due to the nature of dividing by zero.

Affine transformations of quaternions have the form

Linear fractional transformations of quaternions can be represented by elements of the matrix ring operating on the projective line over . For instance, the mappings where and are fixed versors serve to produce the motions of elliptic space.

Quaternion variable theory differs in some respects from complex variable theory. For example: The complex conjugate mapping of the complex plane is a central tool but requires the introduction of a non-arithmetic, non-analytic operation. Indeed, conjugation changes the orientation of plane figures, something that arithmetic functions do not change.

In contrast to the complex conjugate, the quaternion conjugation can be expressed arithmetically, as

This equation can be proven, starting with the basis {1, i, j, k}:

.

Consequently, since is linear,

The success of complex analysis in providing a rich family of holomorphic functions for scientific work has engaged some workers in efforts to extend the planar theory, based on complex numbers, to a 4-space study with functions of a quaternion variable. [1] These efforts were summarized in Deavours (1973). [lower-alpha 1]

Though appears as a union of complex planes, the following proposition shows that extending complex functions requires special care:

Let be a function of a complex variable, . Suppose also that is an even function of and that is an odd function of . Then is an extension of to a quaternion variable where and . Then, let represent the conjugate of , so that . The extension to will be complete when it is shown that . Indeed, by hypothesis

one obtains

Homographies

In the following, colons and square brackets are used to denote homogeneous vectors.

The rotation about axis r is a classical application of quaternions to space mapping. [2] In terms of a homography, the rotation is expressed

where is a versor. If p * = p, then the translation is expressed by

Rotation and translation xr along the axis of rotation is given by

Such a mapping is called a screw displacement. In classical kinematics, Chasles' theorem states that any rigid body motion can be displayed as a screw displacement. Just as the representation of a Euclidean plane isometry as a rotation is a matter of complex number arithmetic, so Chasles' theorem, and the screw axis required, is a matter of quaternion arithmetic with homographies: Let s be a right versor, or square root of minus one, perpendicular to r, with t = rs.

Consider the axis passing through s and parallel to r. Rotation about it is expressed [3] by the homography composition

where

Now in the (s,t)-plane the parameter θ traces out a circle in the half-plane

Any p in this half-plane lies on a ray from the origin through the circle and can be written

Then up = az, with as the homography expressing conjugation of a rotation by a translation p.

The derivative for quaternions

Since the time of Hamilton, it has been realized that requiring the independence of the derivative from the path that a differential follows toward zero is too restrictive: it excludes even from differentiation. Therefore, a direction-dependent derivative is necessary for functions of a quaternion variable. [4] [5] Considering the increment of polynomial function of quaternionic argument shows that the increment is a linear map of increment of the argument. [ dubious discuss ] From this, a definition can be made:

A continuous map is called differentiable on the set , if, at every point , the increment of the map can be represented as

where

is linear map of quaternion algebra and is a continuous map such that

The linear map is called the derivative of the map .

On the quaternions, the derivative may be expressed as

Therefore, the differential of the map may be expressed as follows with brackets on either side.

The number of terms in the sum will depend on the function f. The expressions are called components of derivative.

The derivative of a quaternionic function holds the following equalities

For the function f(x) = axb, the derivative is

and so the components are:

Similarly, for the function f(x) = x2, the derivative is

and the components are:

Finally, for the function f(x) = x−1, the derivative is

and the components are:

See also

Notes

  1. Deavours (1973) recalls a 1935 issue of Commentarii Mathematici Helvetici where an alternative theory of "regular functions" was initiated by Fueter (1936) through the idea of Morera's theorem: quaternion function is "left regular at " when the integral of vanishes over any sufficiently small hypersurface containing . Then the analogue of Liouville's theorem holds: The only regular quaternion function with bounded norm in is a constant. One approach to construct regular functions is to use power series with real coefficients. Deavours also gives analogues for the Poisson integral, the Cauchy integral formula, and the presentation of Maxwell’s equations of electromagnetism with quaternion functions.

Citations

  1. ( Fueter 1936 )
  2. ( Cayley 1848 , especially page 198)
  3. ( Hamilton 1853 , §287 pp. 273,4)
  4. ( Hamilton 1866 , Chapter II, On differentials and developments of functions of quaternions, pp. 391–495)
  5. ( Laisant 1881 , Chapitre 5: Différentiation des Quaternions, pp. 104–117)

Related Research Articles

In calculus, the chain rule is a formula that expresses the derivative of the composition of two differentiable functions f and g in terms of the derivatives of f and g. More precisely, if is the function such that for every x, then the chain rule is, in Lagrange's notation, or, equivalently,

<span class="mw-page-title-main">3-sphere</span> Mathematical object

In mathematics, a 3-sphere, glome or hypersphere is a higher-dimensional analogue of a sphere. In 4-dimensional Euclidean space, it is the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimensions is an ordinary sphere, the boundary of a ball in four dimensions is a 3-sphere. Topologically, a 3-sphere is an example of a 3-manifold, and it is also an n-sphere.

In mathematics, de Moivre's formula states that for any real number x and integer n it is the case that where i is the imaginary unit. The formula is named after Abraham de Moivre, although he never stated it in his works. The expression cos x + i sin x is sometimes abbreviated to cis x.

In mathematics, a unit vector in a normed vector space is a vector of length 1. A unit vector is often denoted by a lowercase letter with a circumflex, or "hat", as in .

In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space under the operation of composition.

<span class="mw-page-title-main">Special unitary group</span> Group of unitary matrices with determinant of 1

In mathematics, the special unitary group of degree n, denoted SU(n), is the Lie group of n × n unitary matrices with determinant 1.

In mathematics, the Laplace operator or Laplacian is a differential operator given by the divergence of the gradient of a scalar function on Euclidean space. It is usually denoted by the symbols , (where is the nabla operator), or . In a Cartesian coordinate system, the Laplacian is given by the sum of second partial derivatives of the function with respect to each independent variable. In other coordinate systems, such as cylindrical and spherical coordinates, the Laplacian also has a useful form. Informally, the Laplacian Δf (p) of a function f at a point p measures by how much the average value of f over small spheres or balls centered at p deviates from f (p).

Unit quaternions, known as versors, provide a convenient mathematical notation for representing spatial orientations and rotations of elements in three dimensional space. Specifically, they encode information about an axis-angle rotation about an arbitrary axis. Rotation and orientation quaternions have applications in computer graphics, computer vision, robotics, navigation, molecular dynamics, flight dynamics, orbital mechanics of satellites, and crystallographic texture analysis.

In mathematical analysis, Hölder's inequality, named after Otto Hölder, is a fundamental inequality between integrals and an indispensable tool for the study of Lp spaces.

<span class="mw-page-title-main">Spherical harmonics</span> Special mathematical functions defined on the surface of a sphere

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields. The table of spherical harmonics contains a list of common spherical harmonics.

In mathematics, a Gaussian function, often simply referred to as a Gaussian, is a function of the base form and with parametric extension for arbitrary real constants a, b and non-zero c. It is named after the mathematician Carl Friedrich Gauss. The graph of a Gaussian is a characteristic symmetric "bell curve" shape. The parameter a is the height of the curve's peak, b is the position of the center of the peak, and c controls the width of the "bell".

<span class="mw-page-title-main">Bloch sphere</span> Geometrical representation of the pure state space of a two-level quantum mechanical system

In quantum mechanics and computing, the Bloch sphere is a geometrical representation of the pure state space of a two-level quantum mechanical system (qubit), named after the physicist Felix Bloch.

In mathematics, the Cayley transform, named after Arthur Cayley, is any of a cluster of related things. As originally described by Cayley (1846), the Cayley transform is a mapping between skew-symmetric matrices and special orthogonal matrices. The transform is a homography used in real analysis, complex analysis, and quaternionic analysis. In the theory of Hilbert spaces, the Cayley transform is a mapping between linear operators.

In mathematics, a change of variables is a basic technique used to simplify problems in which the original variables are replaced with functions of other variables. The intent is that when expressed in new variables, the problem may become simpler, or equivalent to a better understood problem.

In mathematics, the group of rotations about a fixed point in four-dimensional Euclidean space is denoted SO(4). The name comes from the fact that it is the special orthogonal group of order 4.

In mathematics, a local system on a topological space X is a tool from algebraic topology which interpolates between cohomology with coefficients in a fixed abelian group A, and general sheaf cohomology in which coefficients vary from point to point. Local coefficient systems were introduced by Norman Steenrod in 1943.

<span class="mw-page-title-main">Vector notation</span> Use of coordinates for representing vectors

In mathematics and physics, vector notation is a commonly used notation for representing vectors, which may be Euclidean vectors, or more generally, members of a vector space.

In mathematics, Maass forms or Maass wave forms are studied in the theory of automorphic forms. Maass forms are complex-valued smooth functions of the upper half plane, which transform in a similar way under the operation of a discrete subgroup of as modular forms. They are eigenforms of the hyperbolic Laplace operator defined on and satisfy certain growth conditions at the cusps of a fundamental domain of . In contrast to modular forms, Maass forms need not be holomorphic. They were studied first by Hans Maass in 1949.

In representation theory of mathematics, the Waldspurger formula relates the special values of two L-functions of two related admissible irreducible representations. Let k be the base field, f be an automorphic form over k, π be the representation associated via the Jacquet–Langlands correspondence with f. Goro Shimura (1976) proved this formula, when and f is a cusp form; Günter Harder made the same discovery at the same time in an unpublished paper. Marie-France Vignéras (1980) proved this formula, when and f is a newform. Jean-Loup Waldspurger, for whom the formula is named, reproved and generalized the result of Vignéras in 1985 via a totally different method which was widely used thereafter by mathematicians to prove similar formulas.

In mathematics, calculus on Euclidean space is a generalization of calculus of functions in one or several variables to calculus of functions on Euclidean space as well as a finite-dimensional real vector space. This calculus is also known as advanced calculus, especially in the United States. It is similar to multivariable calculus but is somewhat more sophisticated in that it uses linear algebra more extensively and covers some concepts from differential geometry such as differential forms and Stokes' formula in terms of differential forms. This extensive use of linear algebra also allows a natural generalization of multivariable calculus to calculus on Banach spaces or topological vector spaces.

References