# Motor variable

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Motor_variable
> Markdown URL: https://mediated.wiki/source/Motor_variable.md
> Source: https://en.wikipedia.org/wiki/Motor_variable
> Source revision: 1299860905
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

Mathematical functions of split-complex numbers

In [mathematics](/source/Mathematics), a **function of a motor variable** is a [function](/source/Function_(mathematics)) with arguments and values in the [split-complex number](/source/Split-complex_number) plane, much as functions of a [complex variable](/source/Complex_variable) involve ordinary [complex numbers](/source/Complex_number). [William Kingdon Clifford](/source/William_Kingdon_Clifford) coined the term **motor** for a kinematic operator in his "Preliminary Sketch of Biquaternions" (1873). He used split-complex numbers for scalars in his [split-biquaternions](/source/Split-biquaternion). *Motor variable* is used here in place of *split-complex variable* for euphony and tradition.

For example,

- f ( z ) = u ( z ) + j v ( z ) , z = x + j y , x , y ∈ R , j 2 = + 1 , u ( z ) , v ( z ) ∈ R . {\displaystyle f(z)=u(z)+j\ v(z),\ z=x+jy,\ x,y\in R,\quad j^{2}=+1,\quad u(z),v(z)\in R.}

Functions of a motor variable provide a context to extend [real analysis](/source/Real_analysis) and provide compact representation of mappings of the plane. However, the theory falls well short of [function theory on the ordinary complex plane](/source/Complex_analysis). Nevertheless, some of the aspects of conventional complex analysis have an interpretation given with motor variables, and more generally in [hypercomplex analysis](/source/Hypercomplex_analysis).

## Elementary functions

Let **D** = { z = x + j y : x , y ∈ R } {\displaystyle \{z=x+jy:x,y\in R\}} , the split-complex plane. The following exemplar functions *f* have domain and range in **D**:

The action of a [hyperbolic versor](/source/Versor#Hyperbolic_versor) u = exp ⁡ ( a j ) = cosh ⁡ a + j sinh ⁡ a {\displaystyle u=\exp(aj)=\cosh a+j\sinh a} is combined with [translation](/source/Translation_(geometry)) to produce the [affine transformation](/source/Affine_transformation)

- f ( z ) = u z + c {\displaystyle f(z)=uz+c\ } . When *c* = 0, the function is equivalent to a [squeeze mapping](/source/Squeeze_mapping).

The squaring function has no analogy in ordinary complex arithmetic. Let

- f ( z ) = z 2 {\displaystyle f(z)=z^{2}\ } and note that f ( − 1 ) = f ( j ) = f ( − j ) = 1. {\displaystyle f(-1)=f(j)=f(-j)=1.\ }

The result is that the four quadrants are mapped into one, the [identity component](/source/Identity_component):

- U 1 = { z ∈ D :∣ y ∣< x } {\displaystyle U_{1}=\{z\in D:\mid y\mid <x\}} , and there are four square roots for elements of this component but no square roots for elements of the other three components.

Note that z z ∗ = 1 {\displaystyle zz^{*}=1\ } forms the [unit hyperbola](/source/Unit_hyperbola) x 2 − y 2 = 1 {\displaystyle x^{2}-y^{2}=1} . Thus, the [reciprocation](/source/Multiplicative_inverse)

- f ( z ) = 1 / z = z ∗ / ∣ z ∣ 2 where ∣ z ∣ 2 = z z ∗ {\displaystyle f(z)=1/z=z^{*}/\mid z\mid ^{2}{\text{where}}\mid z\mid ^{2}=zz^{*}}

involves the hyperbola as curve of reference as opposed to the circle in C.

## Linear fractional transformations

Using the concept of a [projective line over a ring](/source/Projective_line_over_a_ring), the projective line P(**D**) is formed. The construction uses [homogeneous coordinates](/source/Homogeneous_coordinates) with split-complex number components. The projective line P(**D**) is transformed by [linear fractional transformations](/source/Linear_fractional_transformation):

- [ z : 1 ] ( a c b d ) = [ a z + b : c z + d ] , {\displaystyle [z:1]{\begin{pmatrix}a&c\\b&d\end{pmatrix}}=[az+b:cz+d],} sometimes written

- f ( z ) = a z + b c z + d , {\displaystyle f(z)={\frac {az+b}{cz+d}},} provided *cz* + *d* is a unit in **D**.

Elementary linear fractional transformations include

- [hyperbolic rotations](/source/Hyperbolic_rotation) ( u 0 0 1 ) , {\displaystyle {\begin{pmatrix}u&0\\0&1\end{pmatrix}},}

- translations ( 1 0 t 1 ) , {\displaystyle {\begin{pmatrix}1&0\\t&1\end{pmatrix}},} and

- the inversion ( 0 1 1 0 ) . {\displaystyle {\begin{pmatrix}0&1\\1&0\end{pmatrix}}.}

Each of these has an inverse, and compositions fill out a group of linear fractional transformations. The motor variable is characterized by [hyperbolic angle](/source/Hyperbolic_angle) in its polar coordinates, and this angle is preserved by motor variable linear fractional transformations just as circular angle is preserved by the Möbius transformations of the ordinary complex plane. Transformations preserving angles are called **conformal**, so linear fractional transformations are [conformal maps](/source/Conformal_map).

Transformations bounding regions can be compared: For example, on the ordinary complex plane, the [Cayley transform](/source/Cayley_transform#Complex_homography) carries the upper half-plane to the [unit disk](/source/Unit_disk), thus bounding it. A mapping of the identity component U1 of **D** into a [rectangle](/source/Rectangle) provides a comparable bounding action:

- f ( z ) = 1 z + 1 / 2 , f : U 1 → T {\displaystyle f(z)={\frac {1}{z+1/2}},\quad f:U_{1}\to T}

where *T* = {*z* = *x* + j*y* : |*y*| < *x* < 1 or |*y*| < 2 – *x* when 1 ≤ *x* <2}.

To realize the linear fractional transformations as [bijections](/source/Bijection) on the projective line a [compactification](#Compactification) of **D** is used. See the section given below.

## Exp, log, and square root

The [exponential function](/source/Exponential_function) carries the whole plane *D* into *U*1:

- e x = ∑ n = 0 ∞ x n n ! = ∑ n = 0 ∞ x 2 n ( 2 n ) ! + ∑ n = 0 ∞ x 2 n + 1 ( 2 n + 1 ) ! = cosh ⁡ x + sinh ⁡ x {\displaystyle e^{x}=\sum _{n=0}^{\infty }{x^{n} \over n!}=\sum _{n=0}^{\infty }{\frac {x^{2n}}{(2n)!}}+\sum _{n=0}^{\infty }{\frac {x^{2n+1}}{(2n+1)!}}=\cosh x+\sinh x} .

Thus when *x* = *b*j, then ex is a hyperbolic versor. For the general motor variable *z* = *a* + *b*j, one has

- e z = e a ( cosh ⁡ b + j sinh ⁡ b ) {\displaystyle e^{z}=e^{a}(\cosh b+j\ \sinh b)\ } .

In the theory of functions of a motor variable special attention should be called to the square root and logarithm functions. In particular, the plane of split-complex numbers consists of four [connected components](/source/Connected_component_(topology)) { U 1 , − U 1 , j U 1 , − j U 1 } , {\displaystyle \{U_{1},-U_{1},jU_{1},-jU_{1}\},} and the set of singular points that have no inverse: the diagonals *z* = *x* ± *x* j, *x* ∈ **R**. The [identity component](/source/Identity_component), namely {*z* : *x* > |*y*| } = U1, is the [range](/source/Range_of_a_function) of the squaring function and the exponential. Thus it is the [domain](/source/Domain_(function)) of the square root and logarithm functions. The other three quadrants do not belong in the domain because square root and logarithm are defined as [one-to-one](/source/One_to_one_correspondence) inverses of the squaring function and the exponential function.

Graphic description of the logarithm of **D** is given by Motter & Rosa in their article "Hyperbolic Calculus" (1998).[1]

## D-holomorphic functions

The [Cauchy–Riemann equations](/source/Cauchy%E2%80%93Riemann_equations) that characterize [holomorphic functions](/source/Holomorphic_function) on a [domain](/source/Domain_(mathematical_analysis)) in the [complex plane](/source/Complex_plane) have an analogue for functions of a motor variable. An approach to D-holomorphic functions using a [Wirtinger derivative](/source/Wirtinger_derivative) was given by Motter & Rossa:[1]

The function *f* = *u* + j *v* is called **D-holomorphic** when

- 0 = ( ∂ ∂ x − j ∂ ∂ y ) ( u + j v ) = u x − j 2 v y + j ( v x − u y ) . {\displaystyle 0\ =\ \left({\partial \over \partial x}-j{\partial \over \partial y}\right)(u+jv)=\ u_{x}-j^{2}v_{y}+j(v_{x}-u_{y}).}

By considering real and imaginary components, a D-holomorphic function satisfies

- u x = v y , v x = u y . {\displaystyle u_{x}=v_{y},\quad v_{x}=u_{y}.}

These equations were published[2] in 1893 by [Georg Scheffers](/source/Georg_Scheffers), so they have been called **Scheffers' conditions**.[3]

The comparable approach in [harmonic function](/source/Harmonic_function) theory can be viewed in a text by Peter Duren.[4] It is apparent that the components *u* and *v* of a D-holomorphic function *f* satisfy the [wave equation](/source/Wave_equation), associated with [D'Alembert](/source/D'Alembert), whereas components of C-holomorphic functions satisfy [Laplace's equation](/source/Laplace's_equation).

## La Plata lessons

At the [National University of La Plata](/source/National_University_of_La_Plata) in 1935, J.C. Vignaux, an expert in convergence of [infinite series](/source/Infinite_series), contributed four articles on the motor variable to the university's annual periodical.[5] He is the sole author of the introductory one, and consulted with his department head A. Durañona y Vedia on the others. In "Sobre las series de numeros complejos hiperbolicos" he says (p. 123):

- This system of hyperbolic complex numbers [motor variables] is the [direct sum of two fields](/source/Direct_sum_of_modules#Direct_sum_of_algebras) isomorphic to the field of real numbers; this property permits explication of the theory of series and of functions of the hyperbolic complex variable through the use of properties of the field of real numbers.

He then proceeds, for example, to generalize theorems due to Cauchy, Abel, Mertens, and Hardy to the domain of the motor variable.

In the primary article, cited below, he considers D-holomorphic functions, and the satisfaction of d’Alembert's equation by their components. He calls a rectangle with sides parallel to the diagonals *y* = *x* and *y* = − *x*, an *isotropic rectangle* since its sides are on [isotropic lines](/source/Isotropic_line). He concludes his abstract with these words:

- Isotropic rectangles play a fundamental role in this theory since they form the domains of existence for holomorphic functions, domains of convergence of [power series](/source/Power_series), and domains of convergence of functional series.

Vignaux completed his series with a six-page note on the approximation of D-holomorphic functions in a unit isotropic rectangle by [Bernstein polynomials](/source/Bernstein_polynomials). While there are some typographical errors as well as a couple of technical stumbles in this series, Vignaux succeeded in laying out the main lines of the theory that lies between real and ordinary complex analysis. The text is especially impressive as an instructive document for students and teachers due to its exemplary development from elements. Furthermore, the entire excursion is rooted in "its relation to [Émile Borel](/source/%C3%89mile_Borel)’s geometry" so as to underwrite its motivation.

## Bireal variable

In 1892 [Corrado Segre](/source/Corrado_Segre) recalled the [tessarine](/source/Tessarine) algebra as *bicomplex numbers*.[6] Naturally the subalgebra of real tessarines arose and came to be called the **bireal numbers**.

In 1946 U. Bencivenga published an essay[7] on the [dual numbers](/source/Dual_number) and the split-complex numbers where he used the term bireal number. He also described some of the function theory of the bireal variable. The essay was studied at [University of British Columbia](/source/University_of_British_Columbia) in 1949 when Geoffrey Fox wrote his master's thesis "Elementary function theory of a hypercomplex variable and the theory of conformal mapping in the hyperbolic plane". On page 46 Fox reports "Bencivenga has shown that a function of a bireal variable maps the hyperbolic plane into itself in such a manner that, at those points for which the derivative of a function exists and does not vanish, [hyperbolic angles](/source/Hyperbolic_angle) are preserved in the mapping".

G. Fox proceeds to provide the [polar decomposition](/source/Polar_decomposition#Alternative_planar_decompositions) of a bireal variable and discusses [hyperbolic orthogonality](/source/Hyperbolic_orthogonality). Starting from a different definition he proves on page 57

- Theorem 3.42 : Two vectors are mutually orthogonal [if and only if](/source/If_and_only_if) their unit vectors are mutually reflections of one another in one or another of the diagonal lines through 0.

Fox focuses on ["bilinear transformations"](#Linear_fractional_transformations) w = α z + β γ z + δ {\displaystyle w={\frac {\alpha z+\beta }{\gamma z+\delta }}} , where α , β , γ , δ {\displaystyle \alpha ,\beta ,\gamma ,\delta } are bireal constants. To cope with singularity he augments the plane with a single point at infinity (page 73).

Among his novel contributions to function theory is the concept of an *interlocked system*. Fox shows that for a bireal *k* satisfying

- (*a* − *b*)2 < |*k*| < (*a* + *b*)2

the hyperbolas

- |*z*| = *a*2 and |*z* − k| = b2

do not intersect (form an interlocked system). He then shows that this property is preserved by bilinear transformations of a bireal variable.

## Compactification

The [multiplicative inverse](/source/Multiplicative_inverse) function is so important that extreme measures are taken to include it in the mappings of [differential geometry](/source/Differential_geometry). For instance, the [complex plane](/source/Complex_plane) is rolled up to the [Riemann sphere](/source/Riemann_sphere) for ordinary complex arithmetic. For split-complex arithmetic a [hyperboloid](/source/Hyperboloid) is used instead of a sphere: H = { ( x , y , z ) : z 2 + x 2 − y 2 = 1 } . {\displaystyle H=\{(x,y,z):z^{2}+x^{2}-y^{2}=1\}.} As with the Riemann sphere, the method is [stereographic projection](/source/Stereographic_projection) from *P* = (0, 0, 1) through *t* = (*x*, *y*, 0) to the hyperboloid. The line *L* = *Pt* is parametrized by *s* in L = { ( s x , s y , 1 − s ) : s ∈ R } {\displaystyle L=\{(sx,sy,1-s):s\in R\}} so that it passes *P* when *s* is zero and *t* when *s* is one.

From *H* ∩ *L* it follows that

- ( 1 − s ) 2 + ( s x ) 2 − ( s y ) 2 = 1 , so that s = 2 1 + x 2 − y 2 . {\displaystyle (1-s)^{2}+(sx)^{2}-(sy)^{2}=1,{\text{ so that}}\quad s={\frac {2}{1+x^{2}-y^{2}}}.}

If *t* is on the [null cone](/source/Null_cone), then *s* = 2 and (2*x*, ±2*x*, – 1) is on *H*, the opposite points (2*x*, ±2*x*, 1) make up the **light cone at infinity** that is the image of the null cone under inversion.

Note that for *t* with y 2 > 1 + x 2 , {\displaystyle y^{2}>1+x^{2},} *s* is negative. The implication is that the back-ray through *P* to *t* provides the point on *H*. These points *t* are above and below the hyperbola conjugate to the unit hyperbola.

The compactification must be completed in P3**R** with [homogeneous coordinates](/source/Homogeneous_coordinates) (*w, x, y, z*) where *w* = 1 specifies the [affine space](/source/Affine_space) (*x, y, z*) used so far. Hyperboloid *H* is absorbed into the projective conic { ( w , x , y , z ) ∈ P 3 R : z 2 + x 2 = y 2 + w 2 } , {\displaystyle \{(w,x,y,z)\in P^{3}R:z^{2}+x^{2}=y^{2}+w^{2}\},} which is a [compact space](/source/Compact_space).

[Walter Benz](/source/Walter_Benz) performed the compactification by using a mapping due to Hans Beck. [Isaak Yaglom](/source/Isaak_Yaglom) illustrated a two-step compactification as above, but with the split-complex plane tangent to the hyperboloid.[8] In 2015 Emanuello & Nolder performed the compactification by first embedding the motor plane into a [torus](/source/Torus), and then making it projective by identifying [antipodal points](/source/Antipodal_points).[9]

## References

1. ^ [***a***](#cite_ref-M&R_1-0) [***b***](#cite_ref-M&R_1-1) A.E. Motter & M.A.F. Rosa (1998) "Hyperbolic Calculus", [Advances in Applied Clifford Algebras](/source/Advances_in_Applied_Clifford_Algebras) 8(1):109–28

1. **[^](#cite_ref-2)** [Georg Scheffers](/source/Georg_Scheffers) (1893) "Verallgemeinerung der Grundlagen der gewohnlichen komplexen Funktionen", *Sitzungsberichte Sachs. Ges. Wiss, Math-phys Klasse* Bd 45 S. 828-42

1. **[^](#cite_ref-3)** [Isaak Yaglom](/source/Isaak_Yaglom) (1988) *Felix Klein & Sophus Lie, The Evolution of the Idea of Symmetry in the Nineteenth Century*, [Birkhäuser Verlag](/source/Birkh%C3%A4user_Verlag), p. 203

1. **[^](#cite_ref-4)** [Peter Duren](/source/Peter_Duren) (2004) *Harmonic Mappings in the Plane*, pp. 3,4, [Cambridge University Press](/source/Cambridge_University_Press)

1. **[^](#cite_ref-5)** Vignaux, J.C. & A. Durañona y Vedia (1935) "Sobre la teoría de las funciones de una variable compleja hiperbólica", *Contribución al Estudio de las Ciencias Físicas y Matemáticas*, pp. 139–184, [Universidad Nacional de La Plata](/source/Universidad_Nacional_de_La_Plata), República Argentina

1. **[^](#cite_ref-6)** G. Baley Price (1991) *An introduction to multicomplex spaces and functions*, [Marcel Dekker](/source/Marcel_Dekker) [ISBN](/source/ISBN_(identifier)) [0-8247-8345-X](https://en.wikipedia.org/wiki/Special:BookSources/0-8247-8345-X)

1. **[^](#cite_ref-7)** Bencivenga, U. (1946) "Sulla Rappresentazione Geometrica Della Algebre Doppie Dotate Di Modulo", *Atti. Accad. Sci. Napoli* Ser(3) v.2 No 7

1. **[^](#cite_ref-8)** [Yaglom, Isaak M.](/source/Isaak_Yaglom) (1979). [*A simple non-Euclidean geometry and its physical basis : an elementary account of Galilean geometry and the Galilean principle of relativity*](https://archive.org/details/simplenoneuclide0000iagl). Abe Shenitzer (translator). New York: Springer-Verlag. [ISBN](/source/ISBN_(identifier)) [0-387-90332-1](https://en.wikipedia.org/wiki/Special:BookSources/0-387-90332-1).

1. **[^](#cite_ref-9)** John A. Emanuello & Craig A. Nolder (2015) "Projective compactification of R1,1 and its Möbius Geometry", *Complex Analysis and Operator Theory* 9(2): 329–54

- Francesco Catoni, Dino Boccaletti, & Roberto Cannata (2008) *Mathematics of Minkowski Space-Time*, [Birkhäuser Verlag](/source/Birkh%C3%A4user_Verlag), Basel. Chapter 7: Functions of a hyperbolic variable.

- Shahram Dehdasht + seven others (2021) "Conformal Hyperbolic Optics", *Physical Review Research* 3,033281 [doi](/source/Doi_(identifier)):[10.1103/PhysRevResearch.3.033281](https://doi.org/10.1103%2FPhysRevResearch.3.033281)

---
Adapted from the Wikipedia article [Motor variable](https://en.wikipedia.org/wiki/Motor_variable) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Motor_variable?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.