Hybrid number

From HandWiki

A hybrid number is a generalization of complex numbers (a+𝐢b,𝐢2=1), split-complex numbers (or "hyperbolic number") (a+𝐡b,𝐡2=1) and dual numbers (a+εb,ε2=0). Hybrid numbers form a noncommutative ring. Complex, hyperbolic and dual numbers are well known two-dimensional number systems. It is well known that, the set of complex numbers, hyperbolic numbers and dual numbers are

={𝐳=x+𝐢y:𝐢2=1,x,y},
={𝐳=x+𝐡y:𝐡2=1,x,y},
𝔻={𝐳=x+εy:ε2=0,x,y},

respectively. The algebra of hybrid numbers is a noncommutative algebra which unifies all three number systems calls them hybrid numbers.[1], [2], [3].

A hybrid number

a+𝐢b+cε+d𝐡

is a number created with any combination of the complex, hyperbolic and dual numbers satisfying the relation

𝐢𝐡=𝐡𝐢=𝐢+ε.

Because these numbers are a composition of dual, complex and hyperbolic numbers, Ozdemir calls them hybrid numbers [1]. A commutative two-dimensional unital algebra generated by a 2 by 2 matrix is isomorphic to either complex, dual or hyperbolic numbers [4]. Due to the set of hybrid numbers is a two-dimensional commutative algebra spanned by 1 and 𝐢b+cε+d𝐡, it is isomorphic to one of the complex, dual or hyperbolic numbers.

Planar rotations with complex, hyperbolic, and dual numbers

Especially in the last century, a lot of researchers deal with the geometric and physical applications of these numbers. Just as the geometry of the Euclidean plane can be described with complex numbers, the geometry of the Minkowski plane and Galilean plane can be described with hyperbolic numbers. The group of Euclidean rotations SO(2) is isomorphic to the group U(1) of unit complex numbers. The geometrical meaning of multiplying by e𝐢θ=cosθ+𝐢sinθ means a rotation of the plane. [5], [6].

The group of Lorentzian rotations SO(1,1) is isomorphic to the group of unit spacelike hyperbolic numbers. This rotation can be viewed as hyperbolic rotation. Thus, multiplying by e𝐡θ=coshθ+𝐡sinhθ means a map of hyperbolic numbers into itself which preserves the Lorentzian metric. [7], [8], [9], [10] The Galilean rotations can be interpreted with dual numbers. The concept of a rotation in the dual number plane is equivalent to a vertical shear mapping since (1+xε)(1+yε)=1+(x+y)ε. The Euler formula for dual numbers is eεθ=1+εθ. Multiplying by eεθ is a map of dual numbers into itself which preserves the Galilean metric. This rotation can be named as parabolic rotation [11], [12][13][14], [15], [16], [17], [18]. File:Planar rotations.tif In abstract algebra, the complex, the hyperbolic and the dual numbers can be described as the quotient of the polynomial ring [x] by the ideal generated by the polynomials x2+1,, x21 and x2 respectively. That is,

=[x]/x2+1, 
=[x]/x21, 
𝔻=[x]/x2. 

Matrix represantations of the units 𝐢, ε, 𝐡 are

𝐢[0110], ε[1111], 𝐡[0110],

respectively.

Comparing complex, hyperbolic and dual numbers
Properties Complex numbers Hyperbolic numbers Dual numbers
Algebraic structure Field Commutative ring Commutative ring
Property 𝐳=a+𝐢b,𝐢2=1 𝐳=a+𝐡b,𝐡2=1 𝐳=a+εb,ε2=0
Conjugate 𝐳=a𝐢b 𝐳=a𝐡b 𝐳=aεb
Norm |𝐳|=a2+b2 |𝐳|=a2b2 |𝐳|=|a|
Geometry Euclidean geometry Lorentzian geometry Galilean geometry
Circle x2+y2=r2 x2y2=±r2 |x|=r
Rotation type Elliptic rotation Hyperbolic rotation Parabolic rotation
Euler's Formula e𝐢θ=cosθ+isinθ e𝐡θ=coshθ+𝐡sinhθ eεθ=1+εθ
Argument arg𝐳=arctanba arg𝐳=ln|a+b||a2b2| arg𝐳=ba

Definition

The set of hybrid numbers 𝕂, defined as

𝕂={a+𝐢b+cε+d𝐡:a,b,c,d, 𝐢2=1,ε2=0,𝐡2=1,𝐢𝐡=𝐡𝐢=ε+𝐢}.

For the hybrid number 𝐙=a+b𝐢+cε+d𝐡, the number a is called the scalar part and is denoted by S(𝐙); b𝐢+cε+d𝐡 is called the vector part and is denoted by V(𝐙) [1]

The conjugate of a hybrid number 𝐙=a+b𝐢+cε+d𝐡, denoted by 𝐙, is defined as 𝐙=S(𝐙)V(𝐙)=ab𝐢cεd𝐡 as in quaternions. Multiplication operation in the hybrid numbers is associative and not commutative.

Hybrid Multiplication
Γ— 𝟏 𝐢 ε 𝐡
𝟏 𝟏 𝐢 ε 𝐡
𝐢 𝐢 𝟏 𝟏𝐡 ε+i
ε ε 𝟏+𝐡 𝟎 ε
𝐡 𝐡 εi ε 𝟏


File:Hybrid number.tif

Character and type of a hybrid number

Let 𝐙=a+b𝐢+cε+d𝐡 be a hybrid number. The real number

𝒞(𝐙)=𝐙𝐙=𝐙𝐙=a2+(bc)2c2d2

is called the characteristic number of $\mathbf{Z.}</math> We say that a hybrid number;

{𝐙 is spacelike if 𝒞(𝐙)<0;𝐙 is timelikeif 𝒞(𝐙)>0;𝐙 is lightlikeif 𝒞(𝐙)=0.

These are called ""'the characters of the hybrid numbers"'".

Let 𝐙=a+b𝐢+cε+d𝐡 be a hybrid number. The real number

(𝐙)=(bc)2+c2+d2

is called the type number of 𝐙. We say that a hybrid number;

{𝐙 is elliptic if (𝐙)<0;𝐙 is hyperbolicif (𝐙)>0;𝐙 is parabolicif (𝐙)=0.

These are called the \textbf{types of the hybrid numbers}. The vector 𝐙=(bc,c,d) is called hybridian vector of 𝐙.

Norms of hybrid numbers

Let 𝐙=a+b𝐢+cε+d𝐡 be a hybrid number. The real number

𝐙=|𝒞(𝐙)|=|a2+(bc)2c2d2|

is called the norm of 𝐙. Besides, the real number

𝒩(𝐙)=||=|(bc)2+c2+d2|

will be called the norm of the hybrid vector of 𝐙. This norm definition is a generalized norm definition that overlaps with the definitions of norms in complex, hyperbolic and dual numbers.

  • If 𝐙 is a complex number (c=d=0), then 𝐙=|𝐙𝐙|=a2+b2
  • If 𝐙 is a hyperbolic number (b=c=0), then 𝐙=|𝐙𝐙|=|a2d2|,
  • If 𝐙 is a dual number (b=d=0), then 𝐙=a2=|a|.

Inverse of a hybrid number

Using the hybridian product of hybrid numbers, one can show that the equality 𝒞(𝐙1𝐙2)=𝒞(𝐙1)𝒞(𝐙2) holds So, timelike hybrid numbers form a group according to the multiplication operation. The inverse of a hybrid number 𝐙=a+b𝐢+cε+d𝐡,𝐙0 is defined as

𝐙1=𝐙𝒞(𝐙).

Accordingly, lightlike hybrid numbers have no inverse.

Argument of a hybrid number

Let 𝐙=a+b𝐢+cε+d𝐡 be a hybrid number. The argument arg𝐙=θ of 𝐙 is defined as follows with respect to its type.

{πarctan𝒩(𝐙)aif 𝐙 is elliptic and a<0;arctan𝒩(𝐙)aif 𝐙 is elliptic and a>0, ln|a+𝒩(𝐙)ρ|if 𝐙 is nonlightlike hyperbolic;c𝐙if 𝐙 is parabolic.

Polar form of a hybrid number

Let 𝐙=a+b𝐢+cε+d𝐡 be a hybrid number, and θ=arg𝐙.

i. If 𝐙 is elliptic, then 𝐙=ρ(cosθ+𝐔sinθ) such that 𝐔2=1;

ii. If 𝐙 a lightlike hyperbolic, then 𝐙=a(1+𝐔) such that 𝐔2=1;

iii. If 𝐙 is spacelike or timelike hyperbolic, then, 𝐙=kρ(coshθ+𝐔sinhθ) such that 𝐔2=1, where ρ=𝐙, 𝐔=b𝐢+cε+d𝐡𝒩(𝐙) and

k={1𝐙 is timelike and a>0,1𝐙 is timelike and a<0,𝐔𝐙 is spacelike and a>0,𝐔𝐙 is spacelike and a<0,

for k{1,1,𝐔,𝐔}

iv. If 𝐙 is a parabolic hybrid number, then 𝐙=𝐙(ε+𝐔) where 𝐔=V(𝐙)ρ, 𝐔2=0, ε=sgn(S(𝐙)).

De Moivre's formulas for hybrid numbers

De Moivre's formula for hybrid numbers as follows..[1]. Let 𝐙=a+𝐔b, 𝐔2{±1,0} be a spacelike or timelike hybrid number. If θ=arg𝐙 and ρ=𝐙.

i. If 𝐙 is elliptic, then 𝐙n=ρn(cosnθ+𝐔sinnθ), 𝐔2=1;

ii. If 𝐙 is hyperbolic, then 𝐙n=knρn(coshnθ+𝐔sinhnθ), 𝐔2=1;

iii. If 𝐙 is parabolic, then 𝐙n=ρn(εn+nεn1𝐔), 𝐔2=0.

If 𝐙=a(1+𝐔) is a lightlike hybrid number, then 𝐙n=an2n1(1+𝐔) where 𝐔=V(𝐙)𝒩(𝐙) and 𝐔2=1.

Roots of a hybrid number

Let 𝐖 be a hybrid number and n+. The hybrid numbers 𝐙 satisfying the equation 𝐙n=𝐖 can be found as follows [1], [3]

i. If 𝐖=ρ(cosθ+𝐔sinθ) is an elliptic hybrid number, then the roots of 𝐖 are in the form

𝐙m=ρn(cosθ+2mπn+𝐔sinθ+2mπn)

for m=0,1,2,,n1;

ii. If 𝐖=ρk(coshθ+𝐔sinhθ) is a spacelike or timelike hyperbolic hybrid number, then the roots of 𝐖 are in the form

{ρn(coshθn+𝐔sinhθn)if n is odd,kρn(coshθn+𝐔sinhθn)if n is even, 𝐖 is timelike and a>0,no rootsother cases

where k{1,1,𝐔,𝐔};

iii. If 𝐖=ρ(ε+𝐔), ε=sgn(S(𝐙)) is a parabolic hybrid number, the only root is

𝐙=ρ(1+𝐔n)

where ρ=𝐙.

If 𝐖=a(1+𝐔) is a lightlike hybrid number, then

𝐙={±2an2(1+𝐔)if n is even2an2(1+𝐔)if n is odd

for n+ where 𝐔=V(𝐙)𝒩(𝐙) and 𝐔2=1.

The matrix representation of hybrid numbers

Just as complex numbers and quaternions can be represented as matrices, so can hybrid numbers. There are at least two ways of representing hybrid numbers as real matrices in such a way that hybrid addition and multiplication correspond to matrix addition and matrix multiplication. The hybrid number ring 𝕂 is isomorphic to 2×2 matrix rings 𝕄2×2. So, each hybrid number can be represented by a 2 by 2 real matrix. Thus, it can be done operations and calculations in the hybrid numbers using the corresponding matrices.[1][3][2] The map φ:𝕂𝕄2×2 is a ring isomorphism where

φ(a+b𝐢+cε+d𝐡)=[a+cbc+dcb+dac]

for 𝐙=a+b𝐢+cε+d𝐡𝕂. Also, the real matrix

A=[abcd],

corresponds to the hybrid number

𝐙=(a+d2)+(a+bcd2)𝐢+(ad2)ε+(b+c2)𝐡

According to this ring isomorphism, matrix represantations of the units 1, 𝐢, ε, 𝐡 are as follows :
𝟏[1001], 𝐢[0110], ε[1111], 𝐡[0110]

Let A be a 2 by 2 real matrix corresponding to the hybrid number 𝐙, then there are the following equalities.

  • 𝐙=|detA|,
  • (𝐙)=(trA2)2detA,
  • A=(trA)24detA=4(𝐙) is discriminant of the characteristic polynomial of A
  • 𝐙1 exists if and only if det(A)0.
Classification of matrices
A detA>0 detA=0 detA<0
(trA)2<4detA Timelike elliptic
(trA)2=4detA Timelike parabolic Lightlike parabolic
(trA)2>4detA Timelike hyperbolic Lightlike hyperbolic Spacelike hyperbolic

The logarithm of a hybrid number

Logarithm function for elliptic and hyperbolic hybrid numbers can be defined as

ln𝐙=ln|𝐙|+𝐕θ.

And, the logarithm of parabolic hybrid numbers is not defined. The identity log(𝐙1𝐙2)=log𝐙1+log𝐙2 which is well known for the real numbers, is not correct for the hybrid numbers, since 𝐙1𝐙2𝐙2𝐙1.

Euler's formulas for the hybrid numbers

Using the serial expansions of exponential, hyperbolic and trigonometric functions, we can express the Euler formulas of unit hybrid numbers as follows.

Type of hybrid number Euler formula
𝐙 is timelike hyperbolic 𝐙=e𝐕θ=cosθ+𝐕sinθ
𝐙 is spacelike hyperbolic 𝐙=𝐕e𝐕θ=sinhθ+𝐕coshθ
𝐙 is parabolic 𝐙=e𝐕θ=ε+𝐕θ, ε=sgn(S(𝐙))

See also

References

  1. ↑ 1.0 1.1 1.2 1.3 1.4 1.5 Ozdemir, M. (2018). "Introduction to Hybrid Numbers". Applied Clifford Algebras 28:11, 2018.. doi:10.1007/s00006-018-0833-3. 
  2. ↑ 2.0 2.1 G. Dattoli, S. Licciardi, R. M. Pidatella, E. Sabia, Hybrid Complex Numbers: The Matrix Version, Adv. in Applied Clifford Algebras, 28:58, (2018)
  3. ↑ 3.0 3.1 3.2 Γ–zdemir M., Finding n-th Roots of a 2Γ—2 Real Matrix Using De Moivre's Formula, Adv. in Applied Clifford Algebras, 29:2, (2019)
  4. ↑ Lavrentiev M.A., Shabat B.V., Problems of hydrodynamics and their mathematical models. Moscow, Nauka, 416 p., (Russian) (1973).
  5. ↑ Yaglom I.M., Complex Numbers in Geometry, Academic Press, (1968).
  6. ↑ Yaglom I.M., A simple non-Euclidean geometry and its physical basis. Heidelberg Science Library. Springer-Verlag, New York, (1979).
  7. ↑ Catoni F., Cannata R., Catoni V., Zampetti P., Two-dimensional Hypercomplex number and related trigonometries, Advances in Applied Clifford Algebras, Vol.14, Issue 1, 47–68, (2004).
  8. ↑ Catoni F., Boccaletti D.,Cannata R., Catoni V., Nichelatti E., and Zampetti P., The Mathematics of Minkowski Space-Time: With an Introduction to Commutative Hypercomplex Numbers, BirkhΓ€user, Basel, (2008).
  9. ↑ Catoni F., Cannata R., Catoni V., Zampetti P.: Hyperbolic trigonometry in two-dimensional space-time geometry. Nuovo Cimento B, 118(5), 475 (2003).
  10. ↑ Rooney J., On the three types of complex number and planar transformations, Environment and Planning B, Volume 5, pages 89–99, (1978).
  11. ↑ Kisil Vladimir V., Induced Representations and Hypercomplex Numbers, Advances in Applied Clifford Algebras, Vol.23, Issue 2, pp 417–440, (2013)
  12. ↑ Kisil Vladimir V., Erlangen program at large-2: Inventing a wheel. The parabolic one. Trans. Inst. Math. of the NAS of Ukraine, pages 89–98, (2010).
  13. ↑ Kisil Vladimir V., Erlangen program at large-1: Geometry of invariants. SIGMA, Symmetry Integrability Geom. Methods Appl. 6 (076):45, (2010).
  14. ↑ Rooney J., Generalised Complex Numbers in Mechanics, Advances on Theory and Practice of Robots and Manipulators, 55–62, (2014).
  15. ↑ Harkin A. A., Harkin J. B., Geometry of Generalized Complex Numbers, Mathematics Magazine 77(2):118–29 (2004)
  16. ↑ Fischer I., Dual-Number Methods in Kinematics, Statics and Dynamics. CRC Press, (1999).
  17. ↑ Borota N. A., Flores E., and Osler T.J., Spacetime numbers the easy way, Mathematics and Computer Education 34: 159–168 (2000).
  18. ↑ Veldkamp G.R., On the use of dual numbers, vectors and matrices in instantaneous, spatial kinematics, Mechanism and Machine Theory, Volume 11, Issue 2, pages 141–156, (1976)