Quaternionic analysis

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 functions of a complex variable are called.

As with complex and real analysis, it is possible to study the concepts of analyticity, holomorphy, harmonicity and conformality in the context of quaternions. It is known that for the complex numbers, these four notions coincide; however, for the quaternions, and also the real numbers, not all of the notions are the same.

Discussion

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

f_{1}(q)=uqu^{-1}

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

The quaternion multiplicative inverse $f_{2}(q)=q^{-1}$ is another fundamental function, but it raises difficult questions such as “What should $f_{2}(0)$ be?” and “What $q$ solves the equation $f_{2}(q)=0$ ?”

Affine transformations of quaternions have the form

f_{3}(q)=a\,q+b,\quad a,b,q\in \mathbb {H} \,.

Linear fractional transformations of quaternions can be represented by elements of the matrix ring $M_{2}(\mathbb {H} )$ operating on the projective line over $\mathbb {H}$ . For instance, the mappings $q\mapsto uqv,$ where $u$ and $v$ 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:

Proposition: The function $f_{4}(q)=-{\tfrac {1}{2}}(q+iqi+jqj+kqk)$ is equivalent to quaternion conjugation.

Proof: For the basis elements we have

f_{4}(1)=-{\tfrac {1}{2}}(1-1-1-1)=1,\quad f_{4}(i)=-{\tfrac {1}{2}}(i-i+i+i)=-i,\quad f_{4}(j)=-j,\quad f_{4}(k)=-k

Consequently, since $f_{4}$ is linear,

f_{4}(q)\ =f_{4}(w+xi+yj+zk)\ =wf_{4}(1)+xf_{4}(i)+yf_{4}(j)+zf_{4}(k)\ =w-xi-yj-zk\ =q^{*}.

An immediate corollary of which is that the quaternion conjugate is analytic everywhere in $\mathbb {H} \,.$ Compare this to the seemingly identical complex conjugate, $(x+i\,y)^{*}=x-i\,y$ , for $\,\,x,y\in \mathbb {R} ,\,\,i^{2}=-1$ , which is not analytic in $\mathbb {C}$ .

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 1973 by C.A. Deavours.^[2]^{[lower-alpha 1]}

Though $\mathbb {H}$ appears as a union of complex planes, the following proposition shows that extending complex functions requires special care:

Proposition: Let $f_{5}(z)=u(x,y)+iv(x,y)$ be a function of a complex variable, $z=x+iy$ . Suppose also that $u$ is an even function of $y$ and that $v$ is an odd function of $y$ . Then $f_{5}(q)=u(x,y)+r\,v(x,y)$ is an extension of $f_{5}$ to a quaternion variable $q=x+y\,r$ where $r^{2}=-1$ and $r\in \mathbb {H}$ .

Proof: Let $r^{*}$ represent the conjugate of $r$ , so that $q=x-y\,r^{*}$ . The extension to $\mathbb {H}$ will be complete when it is shown that $f_{5}(q)=f_{5}(x-y\,r^{*})$ . Indeed, by hypothesis

u(x,y)=u(x,-y),\quad v(x,y)=-v(x,-y)\quad

so that one obtains

f_{5}(x-yr^{*})=u(x,-y)+r^{*}v(x,-y)=u(x,y)+r\ v(x,y)=f_{5}(q).

Homographies

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

U(q,1){\begin{pmatrix}u&0\\0&u\end{pmatrix}}=U(qu,u)\thicksim U(u^{-1}qu,1),

where $u=\exp(\theta r)=\cos \theta +r\sin \theta$ is a versor. If p * = −p, then the translation $q\mapsto q+p$ is expressed by

U(q,1){\begin{pmatrix}1&0\\p&1\end{pmatrix}}=U(q+p,1).

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

U(q,1){\begin{pmatrix}u&0\\uxr&u\end{pmatrix}}=U(qu+uxr,u)\thicksim U(u^{-1}qu+xr,1).

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. Rotation about the axis parallel to r and passing through s is expressed^[4] by the homography composition

{\begin{pmatrix}1&0\\-s&1\end{pmatrix}}{\begin{pmatrix}u&0\\0&u\end{pmatrix}}{\begin{pmatrix}1&0\\s&1\end{pmatrix}}={\begin{pmatrix}u&0\\z&u\end{pmatrix}},

where $z=us-su=\sin \theta (rs-sr)=2t\sin \theta .$ Now in the (s,t)-plane the parameter θ traces out a circle

u^{-1}z=u^{-1}(2t\sin \theta )=2\sin \theta (t\cos \theta -s\sin \theta ).

in the half-plane $\lbrace wt+xs:x>0\rbrace .$ Any p in this half-plane lies on a ray from the origin through the circle

\lbrace u^{-1}z:0<\theta <\pi \rbrace

and can be written

p=au^{-1}z,\ \ a>0.

Then up = az, with

{\begin{pmatrix}u&0\\az&u\end{pmatrix}}

as the homography expressing conjugation of a rotation by a translation p.

The Gâteaux 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 $f(q)=q^{2}$ from differentiability. Therefore a direction-dependent derivative is necessary for functions of a quaternion variable.^[5]^[6]

The Gâteaux derivative of a quaternionic function f(x) is given by

\partial f(x)(h)=\lim _{t\to 0\in R}(t^{-1}(f(x+th)-f(x)))

where h is a quaternion indicating the direction in which the derivative is to be taken. On the quaternions, the Gateaux derivative will always be linear in h, so it may be expressed as

\partial f(x)(h)=\sum _{s}{\frac {{}_{(s)0}\partial f(x)}{\partial x}}h{\frac {{}_{(s)1}\partial f(x)}{\partial x}}.

The number of terms in the sum will depend on the function f. The expressions

{\frac {{}_{(s)p}\partial f(x)}{\partial x}},\ p=0,1

are called components of the Gateaux derivative.

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

\partial f(x)(h)=ahb

and so the components are:

${\frac {{}_{(1)0}\partial axb}{\partial x}}=a$	${\frac {{}_{(1)1}\partial axb}{\partial x}}=b$

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

\partial f(x)(h)=xh+hx

and the components are:

${\frac {{}_{(1)0}\partial x^{2}}{\partial x}}=x$	${\frac {{}_{(1)1}\partial x^{2}}{\partial x}}=1$
${\frac {{}_{(2)0}\partial x^{2}}{\partial x}}=1$	${\frac {{}_{(2)1}\partial x^{2}}{\partial x}}=x$

Finally, for the function f(x) = x⁻¹, the derivative is

\partial f(x)(h)=-x^{-1}hx^{-1}

and the components are:

${\frac {{}_{(1)0}\partial x^{-1}}{\partial x}}=-x^{-1}$	${\frac {{}_{(1)1}\partial x^{-1}}{\partial x}}=x^{-1}$

References

1 2 Rudolf Fueter (1936) "Über die analytische Darstellung der regulären Funktionen einer Quaternionenvariablen" (in German), Commentarii Mathematici Helvetici 8: 371–378
1 2 C.A. Deavours (1973) "The Quaternion Calculus", American Mathematical Monthly 80:995–1008.
↑ Arthur Cayley (1848) "On the application of quaternions to the theory of rotation", London and Edinburgh Philosophical Magazine, especially page 198, Google books link Archived June 17, 2014, at the Wayback Machine.
↑ Hamilton 1853 §287 pages 273,4
↑ W.R. Hamilton (1899) Elements of Quaternions v. I, edited by Charles Jasper Joly, "On differentials and developments of functions of quaternions", pages 430–64
↑ Charles-Ange Laisant (1881) Introduction a la Méthode des Quaternions, Chapitre 5: Différentiation des Quaternions, pp 104–17, link from Google Books

Vladimir Arnold (1995) "The geometry of spherical curves and the algebra of quaternions", translated by Ian R. Porteous, Russian Mathematical Surveys 50:1–68.
Graziano Gentili, Catarina Stoppato & D.C. Struppa (2013) Regular Functions of a Quaternionic Variable, Birkhäuser, ISBN 978-3-642-33870-0.
P.G. Gormley (1947) "Stereographic projection and the linear fractional group of transformations of quaternions", Proceedings of the Royal Irish Academy, Section A 51: 67–85.
K. Gürlebeck & W. Sprössig (1990) Quaternionic analysis and elliptic boundary value problems, Birkhäuser ISBN 978-3-7643-2382-0.
W. R. Hamilton (1853) Lectures on Quaternions, Royal Irish Academy, weblink from Cornell University Historical Math Monographs.
Charles Jasper Joly (1903) Quaternions and Projective Geometry, Philosophical Transactions of the Royal Society of London 201:223–327.
R. Michael Porter (1998) Möbius invariant quaternion geometry, Conformal Geometry and Dynamics 2:89–196.
A. Sudbery (1979) "Quaternionic Analysis", Mathematical Proceedings of the Cambridge Philosophical Society 85:199–225.
Patrick du Val (1964) Homographies, quaternions and rotations, Oxford Mathematical Monographs, Clarendon Press, Oxford, MR 0169108 .

Notes

↑ Devours recalls^[2] a 1935 issue of Commentarii Mathematici Helvetici where an alternative theory of “regular functions” was initiated by R. Fueter^[1] through the idea of Morera's theorem: quaternion function $F$ is “left regular at $q$ ” when the integral of $F$ vanishes over any sufficiently small hypersurface containing $q$ . Then the analogue of Liouville's theorem holds: The only regular quaternion function with bounded norm in ${\mathbb {E}}^{4}$ 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.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.