Welcome to Wasin So's Quaternionic Page
The discovery of quaternion
![](_themes/tabs/tabbul1.gif) | Hamilton (1843) discovered quaternions after trying to extend complex numbers
to higher dimension for 10 years
|
The development of quaternionic polynomial
![](_themes/tabs/tabbul1.gif) | Hamilton (18??) proved that if the coefficients mutually commute then
the standard polynomial equation
has at most n distinct solutions (also commute with coefficients)
![](_themes/tabs/tabbul1.gif) | Niven (1941) proved that a monic standard polynomial always has a root.
![](_themes/tabs/tabbul1.gif) | Brand (1942) proved De Moivre's formula and used it to find nth roots of
a quaternion.
![](_themes/tabs/tabbul1.gif) | Eilenberg and Niven (1944) proved that a generalized polynomial
with unique highest degree term always has a root.
![](_themes/tabs/tabbul1.gif) | Kuiper and Scheelbeek (1959) gave another proof of Hamilton's result on
existence of root when coefficients commute
![](_themes/tabs/tabbul1.gif) | Gordon and Motzkin (1965) proved that a monic standard polynomial
of degree n greater than or equal to 1 has either infinite or at most
n distinct roots.
![](_themes/tabs/tabbul1.gif) | Beck (1979) gave another proof of Gordon and Motzkin's result on number of
roots of a monic standard polynomial
![](_themes/tabs/tabbul1.gif) | Bray and Whaples (1983) gave another proof of Gordon and Motzkin's result
on number of roots of a monic standard polynomial
![](_themes/tabs/tabbul1.gif) | Zhang and Mu (1994) obtained some roots of a standard quadratic
polynomial by solving a real linear system.
![](_themes/tabs/tabbul1.gif) | Heidrich and Jank (1996) showed indirectly that quadratic equation has one,
two or infinite solutions.
![](_themes/tabs/tabbul1.gif) | Porter (1997) solved linear polynomial explicitly.
He also derived formula for finding second solution of a quadratic
equation provided one solution is known.
![](_themes/tabs/tabbul1.gif) | Cho (1998) re-proved De Moivre's formula for finding nth roots of
a quaternion.
![](_themes/tabs/tabbul1.gif) | Huang and So (2002) derived explicit formulas for the roots of
a standard quadratic polynomial.
![](_themes/tabs/tabbul1.gif) | Au-Yeung (2000) derived alternative explicit formulas for the roots of
a standard quadratic polynomial.
| | | | | | | | | | | | | |
The development of quaternionic eigenvalue
![](_themes/tabs/tabbul1.gif) | Lee (1949) doubted the existence of left eigenvalue in general
![](_themes/tabs/tabbul1.gif) | Cohen (1977) raised the question whether left eigenvalue always exists
![](_themes/tabs/tabbul1.gif) | Wood (1985) proved the existence of left eigenvalue by a topological argument,
and reduced finding left eigenvalues of a 2-by-2 matrix to
solving a quadtratic quaternionic polynomial
![](_themes/tabs/tabbul1.gif) | So (1995) reduced finding left eigenvalues of a 3-by-3 matrix to
solving a cubic quaternionic polynomial
![](_themes/tabs/tabbul1.gif) | Huang and So (2001) provided an algebraic method of finding all left eigenvalues
of a 2-by-2 matrix by solving a quadtratic quaternionic polynomial explicitly
| | | | |
The development of quaternionic numerical range
![](_themes/tabs/tabbul1.gif) | Kippenhahn (1951) initiated the study of quaternionic numerical
range. BUT he WRONGLY concluded that quaternionic numerical range is
convex.
![](_themes/tabs/tabbul1.gif) | Taussky (1954) proved some basic properties of quaternionic
numerical range. In particular, all right eigenvalues are contained in
the numerical ranges.
![](_themes/tabs/tabbul1.gif) | Jamison (1972) observed that quaternionic numerical range is not
convex in general. He also showed that quaternionic numerical range is
convex for Hermitian matrix.
![](_themes/tabs/tabbul1.gif) | Au-Yeung (1984) found an implicit characterization of matrices with
convex numerical range. When specializing to normal matrices, he obtained
a necessary and sufficient condition in terms of eigenvalues.
![](_themes/tabs/tabbul1.gif) | So, Thompson and Zhang (1994) proved that the intersection of quaternionic
numerical range with the upper half complex plane is always convex for
normal matrix.
![](_themes/tabs/tabbul1.gif) | Au-Yeung (1995) gave another proof for the fact that
the intersection of quaternionic
numerical range with the upper half complex plane is always convex for
normal matrix.
![](_themes/tabs/tabbul1.gif) | So and Thompson (1996) proved that the intersection of quaternionic
numerical range with the upper half complex plane is always convex for
any matrix.
![](_themes/tabs/tabbul1.gif) | So (1998) found an explicit characterization of matrices with
convex quaternionic numerical range.
| | | | | | | |
![](_themes/tabs/tabrule.gif)
Last modified January 23, 2001
|