Bicomplex number

In abstract algebra, a bicomplex number is a pair (w, z) of complex numbers constructed by the Cayley–Dickson process that defines the bicomplex conjugate $(w,z)^{*}=(w,-z)$ , and the product of two bicomplex numbers as

(u,v)(w,z)=(uw-vz,uz+vw).

Then the bicomplex norm is given by

(w,z)^{*}(w,z)=(w,-z)(w,z)=(w^{2}+z^{2},0),

a quadratic form in the first component.

The bicomplex numbers form a commutative algebra over C of dimension two that is isomorphic to the direct sum of algebras C ⊕ C.

The product of two bicomplex numbers yields a quadratic form value that is the product of the individual quadratic forms of the numbers: a verification of this property of the quadratic form of a product refers to the Brahmagupta–Fibonacci identity. This property of the quadratic form of a bicomplex number indicates that these numbers form a composition algebra. In fact, bicomplex numbers arise at the binarion level of the Cayley–Dickson construction based on $\mathbb {C}$ with norm z².

The general bicomplex number can be represented by the matrix ${\begin{pmatrix}w&iz\\iz&w\end{pmatrix}}$ , which has determinant $w^{2}+z^{2}$ . Thus, the composing property of the quadratic form concurs with the composing property of the determinant.

Bicomplex numbers feature two distinct imaginary units. Multiplication being associative and commutative, the product of these imaginary units must have positive one for its square. Such an element as this product has been called a hyperbolic unit.^[1]

As a real algebra

Tessarine multiplication
×	1	i	j	k
1	1	i	j	k
i	i	−1	k	−j
j	j	k	-1	-i
k	k	−j	-i	1

Bicomplex numbers form an algebra over C of dimension two, and since C is of dimension two over R, the bicomplex numbers are an algebra over R of dimension four. In fact the real algebra is older than the complex one; it was labelled tessarines in 1848 while the complex algebra was not introduced until 1892.

A basis for the tessarine 4-algebra over R specifies z = 1 and z = −i, giving the matrices $k={\begin{pmatrix}0&i\\i&0\end{pmatrix}},\quad \ j={\begin{pmatrix}0&1\\1&0\end{pmatrix}}$ , which multiply according to the table given. When the identity matrix is identified with 1, then a tessarine t = w + z j .

History

The subject of multiple imaginary units was examined in the 1840s. In a long series "On quaternions, or on a new system of imaginaries in algebra" beginning in 1844 in Philosophical Magazine, William Rowan Hamilton communicated a system multiplying according to the quaternion group. In 1848 Thomas Kirkman reported on his correspondence with Arthur Cayley regarding equations on the units determining a system of hypercomplex numbers.^[2]

Tessarines

In 1848 James Cockle introduced the tessarines in a series of articles in Philosophical Magazine.^[3]

A tessarine is a hypercomplex number of the form

t=w+xi+yj+zk,\quad w,x,y,z\in \mathbb {R}

where $ij=ji=k,\quad i^{2}=-1,\quad j^{2}=+1.$ Cockle used tessarines to isolate the hyperbolic cosine series and the hyperbolic sine series in the exponential series. He also showed how zero divisors arise in tessarines, inspiring him to use the term "impossibles". The tessarines are now best known for their subalgebra of real tessarines $t=w+yj\$ , also called split-complex numbers, which express the parametrization of the unit hyperbola.

Bicomplex numbers

In an 1892 Mathematische Annalen paper, Corrado Segre introduced bicomplex numbers,^[4] which form an algebra isomorphic to the tessarines.^[5]

Segre read W. R. Hamilton's Lectures on Quaternions (1853) and the works of W. K. Clifford. Segre used some of Hamilton's notation to develop his system of bicomplex numbers: Let h and i be elements that square to −1 and that commute. Then, presuming associativity of multiplication, the product hi must square to +1. The algebra constructed on the basis { 1, h, i, hi } is then the same as James Cockle's tessarines, represented using a different basis. Segre noted that elements

g=(1-hi)/2,\quad g'=(1+hi)/2

are idempotents.

When bicomplex numbers are expressed in terms of the basis { 1, h, i, −hi }, their equivalence with tessarines is apparent, particularly if the vectors in this basis are reordered as { 1, i, −hi, h }. Looking at the linear representation of these isomorphic algebras shows agreement in the fourth dimension when the negative sign is used; consider the sample product given above under linear representation.

Bibinarions

The modern theory of composition algebras positions the algebra as a binarion construction based on another binarion construction, hence the bibinarions.^[6] The unarion level in the Cayley-Dickson process must be a field, and starting with the real field, the usual complex numbers arises as division binarions, another field. Thus the process can begin again to form bibinarions. Kevin McCrimmon noted the simplification of nomenclature provided by the term binarion in his text A Taste of Jordan Algebras (2004).

Polynomial roots

Write ²C = C ⊕ C and represent elements of it by ordered pairs (u,v) of complex numbers. Since the algebra of tessarines T is isomorphic to ²C, the rings of polynomials T[X] and ²C[X] are also isomorphic, however polynomials in the latter algebra split:

\sum _{k=1}^{n}(a_{k},b_{k})(u,v)^{k}\quad =\quad \left({\sum _{k=1}^{n}a_{i}u^{k}},\quad \sum _{k=1}^{n}b_{k}v^{k}\right).

In consequence, when a polynomial equation $f(u,v)=(0,0)$ in this algebra is set, it reduces to two polynomial equations on C. If the degree is n, then there are n roots for each equation: $u_{1},u_{2},\dots ,u_{n},\ v_{1},v_{2},\dots ,v_{n}.$ Any ordered pair $(u_{i},v_{j})\!$ from this set of roots will satisfy the original equation in ²C[X], so it has n² roots.^[7]

Due to the isomorphism with T[X], there is a correspondence of polynomials and a correspondence of their roots. Hence the tessarine polynomials of degree n also have n² roots, counting multiplicity of roots.

Applications

Bicomplex number appears as the center of CAPS (complexified algebra of physical space), which is Clifford algebra $Cl(3,\mathbb {C} )$ .^[8] Since the linear space of CAPS can be viewed as the four dimensional space span { $1,e_{1},e_{2},e_{3}$ } over { $1,i,k,j$ }.

Tessarines have been applied in digital signal processing.^[9]^[10]^[11]

Bicomplex numbers are employed in fluid mechanics. The use of bicomplex algebra reconciles two distinct applications of complex numbers: the representation of two-dimensional potential flows in the complex plane and the complex exponential function.^[12]

References

^ M.E. Luna-Elizarrarás, M. Shapiro, D.C. Struppa (2013) Bicomplex Holomorphic Functions: the algebra, geometry and analysis of bicomplex numbers, page 6, Birkhauser ISBN 978-3-319-24868-4
^ Thomas Kirkman (1848) "On Pluquaternions and Homoid Products of n Squares", London and Edinburgh Philosophical Magazine 1848, p 447 Google books link
^
James Cockle in London-Dublin-Edinburgh Philosophical Magazine, series 3
- 1848 On Certain Functions Resembling Quaternions and on a New Imaginary in Algebra, 33:435–9.
- 1849 On a New Imaginary in Algebra 34:37–47.
- 1849 On the Symbols of Algebra and on the Theory of Tessarines 34:406–10.
- 1850 On the True Amplitude of a Tessarine 36:290-2.
- 1850 On Impossible Equations, on Impossible Quantities and on Tessarines 37:281–3.
Links from Biodiversity Heritage Library.
^ Segre, Corrado (1892), "Le rappresentazioni reali delle forme complesse e gli enti iperalgebrici" [The real representation of complex elements and hyperalgebraic entities], Mathematische Annalen, 40 (3): 413–467, doi:10.1007/bf01443559, S2CID 121807474, archived from the original on 2013-09-12, retrieved 2013-09-12 (see especially pages 455–67)
^ Abstract Algebra/Polynomial Rings at Wikibooks
^ Associative Composition Algebra/Bibinarions at Wikibooks
^ Poodiack, Robert D. & Kevin J. LeClair (2009) "Fundamental theorems of algebra for the perplexes", The College Mathematics Journal 40(5):322–35.
^ Baylis, W.E.; Kiselica, J.D. (2012). The Complex Algebra of Physical Space: A Framework for Relativity. Adv. Appl. Clifford Algebras. Vol. 22. SpringerLink. pp. 537–561.
^ Pei, Soo-Chang; Chang, Ja-Han; Ding, Jian-Jiun (21 June 2004). "Commutative reduced biquaternions and their Fourier transform for signal and image processing" (PDF). IEEE Transactions on Signal Processing. 52 (7). IEEE: 2012–2031. doi:10.1109/TSP.2004.828901. ISSN 1941-0476. S2CID 13907861.
^ Alfsmann, Daniel (4–8 September 2006). On families of 2^N dimensional hypercomplex algebras suitable for digital signal processing (PDF). 14th European Signal Processing Conference, Florence, Italy: EURASIP. Archived from the original (PDF) on 16 July 2011. Retrieved 18 February 2010.{{cite conference}}: CS1 maint: location (link)
^ Alfsmann, Daniel; Göckler, Heinz G. (2007). On Hyperbolic Complex LTI Digital Systems (PDF). EURASIP.
^ Kleine, Vitor G.; Hanifi, Ardeshir; Henningson, Dan S. (2022). "Stability of two-dimensional potential flows using bicomplex numbers". Proc. R. Soc. A. 478 (20220165). arXiv:2203.05857. Bibcode:2022RSPSA.47820165K. doi:10.1098/rspa.2022.0165. PMC 9185835. PMID 35702595.