Denote by the algebra of of all polynomials in the variable and with coefficients in . A linear operator is said to be algebraic if there exists a non-zero such that (cf. [a2]). Note that I. Kaplansky in [a1] considered rings with a polynomial identity (cf. also PI-algebra).
An algebraic operator is said be of order if for a such that the degree of is and for any polynomial of degree less than . If this is the case, then is also said to be the characteristic polynomial of and its roots are called the characteristic roots of . Here and in the sequel it is assumed that the polynomial is normalized or monic, i.e. the coefficient at the highest power is equal to . Algebraic operators with characteristic polynomial () are said to be involutions of order . Their characteristic (single) roots are th roots of unity. Involutions of order are also briefly called involutions.
An operator is algebraic of order if and only if
In order to give another characterization of algebraic operators, more useful in applications, write for any -times differentiable function in an interval containing different points ,
Then, by the Hermite interpolation formula with multiple knots, one obtains a partition of unity:
This representation is unique, provided that and are fixed. If are single knots (i.e. ), then the Hermite formula yields the Lagrange interpolation formula and
Let . Then the following conditions are equivalent (cf. [a4]):
i) is an algebraic operator with characteristic polynomial
of order ;
ii) the operators () are disjoint projectors giving a partition of unity:
(where by is denotes the identity operator in ) and such that
If the roots are single, then iii) can be formulated as follows:
iv) the space X is the direct sum of eigenspaces of the operator corresponding to the eigenvalues : , where
An immediate consequence of these conditions is the classical Cayley–Hamilton theorem: If , then every operator is algebraic and its characteristic polynomial is a divisor of the polynomial
(where to each operator there corresponds a unique square matrix denoted by the same letter ). In that case the characteristic polynomial is said to be minimal.
If is algebraic, then
for every and (cf. Locally algebraic operator).
In the same manner one can define algebraic elements in an algebra. In that case, the elements are idempotents giving a partition of unity. If is a two-sided ideal in an algebra and the coset corresponding to an element is an algebraic element in the quotient algebra (cf. also Rings and algebras), then is said to be an almost algebraic element. By definition, if is the characteristic polynomial of , then .
In appropriate spaces, several integral transforms are algebraic; for instance, the Hilbert transform, the Fourier transform, and the Cauchy singular integral on a closed curve (cf. also Cauchy integral). The cotangent Hilbert transform is an almost algebraic operator. The usual translation by is an algebraic operator in the spaces of periodic, exponential-periodic and polynomial-exponential-periodic functions (i.e. linear combinations of products of polynomial, periodic and exponential functions, respectively), provided that the period of the functions under consideration is commensurable with . The so-called Carleman shift of the argument of a function is also an algebraic operator (cf. [a5], [a7]).
Properties of algebraic and almost algebraic operators and elements are very useful in solving several problems involving these operators, in particular those involving the operators listed above, and in several kinds of integral and ordinary and partial differential equations with transformed argument. A particular advantage is that the equivalence of the conditions i)–ii) permits one to reduce a problem under consideration to a problem without any transformation of argument and, eventually, to determine solutions in closed form (cf. [a5], [a6], [a7]).
Other generalizations (for instance, operators satisfying a polynomial identity with non-scalar coefficients) and their applications are examined in [a3].
|[a1]||I. Kaplansky, "Rings with a polynomial identity" Bull. Amer. Math. Soc. , 54 (1948) pp. 575–580|
|[a2]||I. Kaplansky, "Infinite Abelian groups" , Univ. Michigan Press (1954)|
|[a3]||Nguyen Van Mau, "Generalized algebraic elements and linear singular integral equations with transformed argument" , Warsaw Univ. Techn. (1989)|
|[a4]||D. Przeworska-Rolewicz, "Équations avec opérations algébriques" Studia Math. , 22 (1963) pp. 337–367|
|[a5]||D. Przeworska-Rolewicz, "Equations with transformed argument. An algebraic approach" , PWN&Elsevier (1973)|
|[a6]||D. Przeworska-Rolewicz, "Algebraic analysis" , PWN&Reidel (1988)|
|[a7]||D. Przeworska–Rolewicz, "Logarithms and antilogarithms: An algebraic analysis approach" , Kluwer Acad. Publ. (1998) (Appendix by Z. Binderman)|
Algebraic operator. Danuta Przeworska-Rolewicz (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Algebraic_operator&oldid=19155