Hypercomplex analysis

Last updated

In mathematics, hypercomplex analysis is the extension of complex analysis to the hypercomplex numbers. The first instance is functions of a quaternion variable, where the argument is a quaternion (in this case, the sub-field of hypercomplex analysis is called quaternionic analysis). A second instance involves functions of a motor variable where arguments are split-complex numbers.

Contents

In mathematical physics, there are hypercomplex systems called Clifford algebras. The study of functions with arguments from a Clifford algebra is called Clifford analysis.

A matrix may be considered a hypercomplex number. For example, the study of functions of 2×2 real matrices shows that the topology of the space of hypercomplex numbers determines the function theory. Functions such as square root of a matrix, matrix exponential, and logarithm of a matrix are basic examples of hypercomplex analysis. [1] The function theory of diagonalizable matrices is particularly transparent since they have eigendecompositions. [2] Suppose where the Ei are projections. Then for any polynomial ,

The modern terminology for a "system of hypercomplex numbers" is an algebra over the real numbers, and the algebras used in applications are often Banach algebras since Cauchy sequences can be taken to be convergent. Then the function theory is enriched by sequences and series. In this context the extension of holomorphic functions of a complex variable is developed as the holomorphic functional calculus. Hypercomplex analysis on Banach algebras is called functional analysis.

See also

Related Research Articles

In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra over the real or complex numbers that at the same time is also a Banach space, that is, a normed space that is complete in the metric induced by the norm. The norm is required to satisfy

<span class="mw-page-title-main">Complex analysis</span> Branch of mathematics studying functions of a complex variable

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, applied mathematics; as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.

<span class="mw-page-title-main">Complex number</span> Number with a real and an imaginary part

In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted i, called the imaginary unit and satisfying the equation ; every complex number can be expressed in the form , where a and b are real numbers. Because no real number satisfies the above equation, i was called an imaginary number by René Descartes. For the complex number , a is called the real part, and b is called the imaginary part. The set of complex numbers is denoted by either of the symbols or C. Despite the historical nomenclature "imaginary", complex numbers are regarded in the mathematical sciences as just as "real" as the real numbers and are fundamental in many aspects of the scientific description of the natural world.

<span class="mw-page-title-main">Linear algebra</span> Branch of mathematics

Linear algebra is the branch of mathematics concerning linear equations such as:

In mathematics, the octonions are a normed division algebra over the real numbers, a kind of hypercomplex number system. The octonions are usually represented by the capital letter O, using boldface O or blackboard bold . Octonions have eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension. They are noncommutative and nonassociative, but satisfy a weaker form of associativity; namely, they are alternative. They are also power associative.

In mathematics, hypercomplex number is a traditional term for an element of a finite-dimensional unital algebra over the field of real numbers. The study of hypercomplex numbers in the late 19th century forms the basis of modern group representation theory.

<span class="mw-page-title-main">Quaternion</span> Noncommutative extension of the real numbers

In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quaternion as the quotient of two directed lines in a three-dimensional space, or, equivalently, as the quotient of two vectors. Multiplication of quaternions is noncommutative.

In mathematics, particularly linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized. This is extremely useful because computations involving a diagonalizable matrix can often be reduced to much simpler computations involving the corresponding diagonal matrix. The concept of diagonalization is relatively straightforward for operators on finite-dimensional vector spaces but requires some modification for operators on infinite-dimensional spaces. In general, the spectral theorem identifies a class of linear operators that can be modeled by multiplication operators, which are as simple as one can hope to find. In more abstract language, the spectral theorem is a statement about commutative C*-algebras. See also spectral theory for a historical perspective.

<span class="mw-page-title-main">Jordan normal form</span> Form of a matrix indicating its eigenvalues and their algebraic multiplicities

In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF), is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to some basis. Such a matrix has each non-zero off-diagonal entry equal to 1, immediately above the main diagonal, and with identical diagonal entries to the left and below them.

In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators or closed operators, and consideration may be given to nonlinear operators. The study, which depends heavily on the topology of function spaces, is a branch of functional analysis.

In linear algebra, an eigenvector or characteristic vector of a linear transformation is a nonzero vector that changes at most by a constant factor when that linear transformation is applied to it. The corresponding eigenvalue, often represented by , is the multiplying factor.

In mathematics, a logarithm of a matrix is another matrix such that the matrix exponential of the latter matrix equals the original matrix. It is thus a generalization of the scalar logarithm and in some sense an inverse function of the matrix exponential. Not all matrices have a logarithm and those matrices that do have a logarithm may have more than one logarithm. The study of logarithms of matrices leads to Lie theory since when a matrix has a logarithm then it is in an element of a Lie group and the logarithm is the corresponding element of the vector space of the Lie algebra.

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 , and the product of two bicomplex numbers as

<span class="mw-page-title-main">Matrix (mathematics)</span> Array of numbers

In mathematics, a matrix is a rectangular array or table of numbers, symbols, or expressions, arranged in rows and columns, which is used to represent a mathematical object or a property of such an object.

Clifford analysis, using Clifford algebras named after William Kingdon Clifford, is the study of Dirac operators, and Dirac type operators in analysis and geometry, together with their applications. Examples of Dirac type operators include, but are not limited to, the Hodge–Dirac operator, on a Riemannian manifold, the Dirac operator in euclidean space and its inverse on and their conformal equivalents on the sphere, the Laplacian in euclidean n-space and the Atiyah–Singer–Dirac operator on a spin manifold, Rarita–Schwinger/Stein–Weiss type operators, conformal Laplacians, spinorial Laplacians and Dirac operators on SpinC manifolds, systems of Dirac operators, the Paneitz operator, Dirac operators on hyperbolic space, the hyperbolic Laplacian and Weinstein equations.

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

In mathematics, Jordan operator algebras are real or complex Jordan algebras with the compatible structure of a Banach space. When the coefficients are real numbers, the algebras are called Jordan Banach algebras. The theory has been extensively developed only for the subclass of JB algebras. The axioms for these algebras were devised by Alfsen, Schultz & Størmer (1978). Those that can be realised concretely as subalgebras of self-adjoint operators on a real or complex Hilbert space with the operator Jordan product and the operator norm are called JC algebras. The axioms for complex Jordan operator algebras, first suggested by Irving Kaplansky in 1976, require an involution and are called JB* algebras or Jordan C* algebras. By analogy with the abstract characterisation of von Neumann algebras as C* algebras for which the underlying Banach space is the dual of another, there is a corresponding definition of JBW algebras. Those that can be realised using ultraweakly closed Jordan algebras of self-adjoint operators with the operator Jordan product are called JW algebras. The JBW algebras with trivial center, so-called JBW factors, are classified in terms of von Neumann factors: apart from the exceptional 27 dimensional Albert algebra and the spin factors, all other JBW factors are isomorphic either to the self-adjoint part of a von Neumann factor or to its fixed point algebra under a period two *-anti-automorphism. Jordan operator algebras have been applied in quantum mechanics and in complex geometry, where Koecher's description of bounded symmetric domains using Jordan algebras has been extended to infinite dimensions.

In differential geometry, a quaternionic manifold is a quaternionic analog of a complex manifold. The definition is more complicated and technical than the one for complex manifolds due in part to the noncommutativity of the quaternions and in part to the lack of a suitable calculus of holomorphic functions for quaternions. The most succinct definition uses the language of G-structures on a manifold. Specifically, a quaternionic n-manifold can be defined as a smooth manifold of real dimension 4n equipped with a torsion-free -structure. More naïve, but straightforward, definitions lead to a dearth of examples, and exclude spaces like quaternionic projective space which should clearly be considered as quaternionic manifolds.

Irene Maria Sabadini is an Italian mathematician specializing in complex analysis, hypercomplex analysis and the analysis of superoscillations. She is a professor of mathematics at the Polytechnic University of Milan.

References

  1. Felix Gantmacher (1959) The Theory of Matrices, two volumes, translator: Kurt Hirsch, Chelsea Publishing, chapter 5: functions of matrices, chapter 8: roots and logarithms of matrices
  2. Shaw, Ronald (1982) Linear Algebra and Group Representations, v. 1, § 2.3, Diagonalizable linear operators, pages 78–81, Academic Press ISBN   0-12-639201-3.

Sources