Generalized displacement operators
generalized shift operators, hypergroup
A concept arising from the axiomatization of certain properties of displacement operators on spaces of functions on a group. Such important mathematical concepts as the convolution of functions, a group algebra, a positive-definite function, an almost-periodic function, etc., can be formulated in terms of group-displacement operators. In the framework of the theory of generalized displacement operators far-reaching generalizations can be obtained of the fundamental principles and results concerning the concepts listed above. In particular, the theory of generalized displacement operators has substantial applications in abstract harmonic analysis (cf. Harmonic analysis, abstract).
The terms "generalized displacement operator" and "hypergroup" are due to J. Delsarte (see –). Important ideas and a number of original results in this field are also due to him. The systematic construction of the theory of generalized displacement operators was mainly given in the work of B.M. Levitan (see, for example, –).
- 1 Basic concepts.
- 2 Examples of generalized displacement operators related to groups.
- 3 Generators and Lie's theorems for generalized displacement operators.
- 4 Representations of generalized displacement operators and hypergroup algebras.
- 5 Harmonic analysis.
Let be an arbitrary set and let be some vector space of complex-valued functions defined on . Suppose that to each element there corresponds a linear operator on such that for any fixed the function is in for all . The linear operator on is denoted by (that is, ). The linear operators are called generalized displacement operators if the following conditions (axioms) are satisfied: 1) for any (associativity axiom); and 2) there exists a neutral element in such that , where is the identity operator. In this case the set is called a hypergroup, so that the concepts of "a set of generalized displacement operators" and a "hypergroup" are equivalent. The operators are often called right displacement operators, while the are called left displacement operators.
Generalized displacement operators arise in an obvious way on any vector space of functions on an arbitrary semi-group with an identity that is invariant with respect to displacements, and in particular on a group. Let , where is the product of and in the semi-group, and let ; then the associativity axiom reduces to the associativity of multiplication in the semi-group, and the neutral element is the identity in the semi-group, so that the operators form a family of generalized displacement operators. Non-trivial examples are given below.
In the general case, the do not form generalized displacement operators, since the operator need not be the identity. However, is a projector, and its range is called the fundamental subspace in . The operators form a family of generalized displacement operators in , and the symmetry between left and right displacement operators is restored. The second of the axioms for generalized displacement operators is often strengthened by requiring that , that is . Conditions 1) and 2) are the most general axioms for generalized displacement operators. More restricted classes of generalized displacement operators can be selected by imposing additional conditions. If for all , then the are called commutative, in this case the hypergroup is also called commutative. If further assumptions are made about , then new conditions arise in a natural way for the generalized displacement operators. For example, if is a locally compact space with a measure , then it is usually required that the operators and act compatibly on the space of continuous functions on , and on the spaces , , so that additional conditions of continuity type are imposed on and ; if is a smooth manifold, then conditions of differentiability type are imposed, etc. Different versions of the axioms are given in , –, , –.
Delsarte generalized displacement operators. Let be a topological group, let be a compact group of automorphisms of , and let be the Haar measure on with . In the space of continuous functions on , the generalized displacement operators are defined by the equation
where , is the image of under the automorphism , and is the product of the elements and in . The identity element of the group is the neutral element. Both axioms for generalized displacement operators are satisfied; if is commutative, then Delsarte generalized displacement operators are also commutative. The fundamental subspace consists of all functions constant on the orbits relative to the action of , and the operators and coincide on if and lie in the same orbit. Hence the orbit space can also be given the structure of a hypergroup, by identifying with the space of continuous functions on and putting , where is any element in the orbit . If is , and the group of automorphisms consists of two elements (reflection in the origin and the identity mapping), then . In this case the fundamental subspace consists of the even functions, and the orbit space is identified with the semi-axis . Another special case of Delsarte generalized displacement operators is obtained when and ; here the fundamental subspace consists of the central functions on , and the hypergroup generated by the orbits, that is, by the conjugacy classes, is commutative.
Double cosets with respect to a compact subgroup.
Let be a locally compact group, let be a compact subgroup, and let be the space of double cosets of (with , such a coset contains all elements of the form , where ). If is a normal subgroup of , then coincides with the quotient group . Let be the space of all continuous functions on for which for any , . A generalized displacement operator is defined by the formula
The space can be identified with the space of continuous functions on , and, as for Delsarte generalized displacement operators, can be given the structure of a hypergroup. If is a linear semi-simple Lie group and is its maximal compact subgroup, then the hypergroup is commutative and is closely connected with the spherical functions on (in particular, all spherical functions lie in ).
Let be a finite hypercomplex system, that is, a finite-dimensional associative algebra with a fixed basis . The algebra is identified with the space of functions on the finite set , by associating the function to the element . Let
where is the product of and in the algebra . The operators form a family of generalized displacement operators if and only if one of the elements of the basis is a right identity in . In this way a correspondence is established between arbitrary generalized displacement operators in the space of functions on a finite set and finite hypercomplex systems. Thus, the concept of a generalized displacement operator can be regarded as a far-reaching generalization of the classical concept of a hypercomplex system. Important examples of generalized displacement operators that can naturally be treated as hypercomplex systems with a countable basis or with a basis with the power of the continuum are considered in, for example, ,  and .
Generators and Lie's theorems for generalized displacement operators.
Let the hypergroup be a differentiable (or complex-analytic) manifold and let be a differentiable (respectively, holomorphic) function on for all . Let be the local coordinates of , where the coordinate system is chosen so that the neutral element has coordinates . The generators (infinitesimal operators) of the right displacement of order for are the linear operators of the form
where , . The generators of the left displacement are defined similarly by the equation
From the associativity axiom it can be deduced that any left displacement generator commutes with all right displacement generators (as well as with the operators ). Differentiation of the associativity condition with respect to an appropriate number of times and putting gives the system of equations
where . This system should be regarded as the generalization of Lie's first direct theorem to the case of generalized displacement operators (see  for Delsarte generalized displacement operators and  for the general case). Not all the equations (*) need necessarily be involved in determining . For example, for displacements on a Lie group, the generators of the first order already uniquely determine the function (that is, the group multiplication). In the general case certain generators of lower orders may degenerate, for example, into multiplication by a constant, so that the corresponding equations in (*) contain no useful information. This gives rise to the following problem: Select a minimal number of equations from (*) that uniquely determine the generalized displacement operators. Here, degenerate generators increase the number of initial conditions. If a finite system of the form (*) under certain initial conditions, including the condition , uniquely determines the solution , and if the operators on the left-hand side of the system commute with all the operators on the right-hand side, then the operators are generalized displacement operators. This assertion is the analogue of Lie's first converse theorem . Analogues of Lie's second and third (direct and converse) theorems have been proved for a certain class of generalized displacement operators (see ). In particular, generalized displacement operators have been constructed on the space of infinitely-differentiable functions in variables, for which the right (left) displacement generators generate any given -dimensional Lie algebra. An explicit description of these generators has been obtained in the form of integro-differential operators of the second order . By means of similar techniques one has constructed generators of any order  acting on the space of entire analytic functions (in variables) and generating any -dimensional real Lie algebra; the generalized displacement operators can be re-established in terms of these generators. Generalized displacement operators can be constructed not only starting from Lie algebras, but also from commutation relations of a more general kind (see , ). Thus, generalized displacement operators on the line were already constructed in , starting from an explicitly-given second-order operator by means of a series, analogous to Taylor series, which gives an expansion of the ordinary displacement in powers of the differentiation operator. Commutative generalized displacement operators on the line with a second-order generator of Sturm–Liouville type have been described in detail (see  and ) and applications have been indicated to Sturm–Liouville operators and equations. A complete classification has been given  of generalized displacement operators with a generator of Sturm–Liouville type (including non-commutative ones) on the space of differentiable functions on the line.
Representations of generalized displacement operators and hypergroup algebras.
Representation theory is not so well developed for generalized displacement operators as it is for groups, but it is constructed in a similar way. This analogy extends quite far; for example, with the aid of the concept of a generator, representations of generalized displacement operators can be studied by an infinitesimal method, just as this is done for Lie groups (see , , ). It is convenient to treat representations of generalized displacement operators as representations of associative hypergroup algebras, analogous to group algebras (see Infinite-dimensional representation). If the hypergroup is locally compact, then the space of complex Radon measures on with compact support acquires the structure of a hypergroup algebra with respect to the generalized convolution of elements , defined by the equation
where is an arbitrary continuous function on . The structure of a hypergroup can be defined similarly on the space of generalized functions of compact support on (or on the space of analytic functionals on ), if the hypergroup is a differentiable (complex-analytic) manifold. In the natural topologies, , and are topological algebras, and the -function concentrated at the neutral element is the right identity in each of these algebras. The converse is also valid: If in the space (respectively, , ), endowed with the natural topology, the structure of a topological associative algebra with a right identity that is a -function has been given, then there exists a (unique) hypergroup structure on such that the generalized convolution is the same as multiplication in (respectively, in or ). Continuous representations of the algebra (, ) can be interpreted as continuous (infinitely-differentiable, holomorphic) representations of the corresponding generalized displacement operators .
The theory of symmetric representations of Banach hypergroup algebras with an involution is an analogue of the theory of unitary representations of groups. The most complete results (see –) have been obtained for representations of commutative and compact generalized displacement operators. Under certain conditions the space of functions on that are summable with respect to a positive measure can be endowed with the structure of a Banach hypergroup algebra with an involution. One of these conditions is that the measure be invariant under generalized displacements (for different versions of the precise definitions see –, –). Under natural assumptions, the uniqueness (up to a scalar multiple) has been proved of a measure that is invariant under right or left generalized displacements; there are also sufficient conditions for the existence of such a measure (conditions like compactness, commutativity or discreteness of the hypergroup, see , –). However, the problem of the existence of an invariant measure for generalized displacement operators of general form remains open (1982). Along with , an important role is played by a Banach hypergroup algebra of measures of bounded variation and a hypergroup -algebra.
Banach hypergroup algebras and their symmetric representations have been studied in ,
, –. Algebras of analytic functionals related to certain generalized displacement operators on the line were studied in . For generalized displacement operators of general type, topological hypergroup algebras and their representations were considered in , where problems of spectral analysis and synthesis were treated as problems in the study of ideals of hypergroup algebras. The technique of hypergroup algebras was applied in  to solve problems in mathematical physics in the framework of the operator methods of V.P. Maslov.
The following model reveals the structure of commutative generalized displacement operators (see , ). Let two positive measures and be given on spaces and , respectively, and, with the aid of a function defined on , let a generalized Fourier transformation
be given, which defines an isomorphism of the Hilbert spaces and . Assume that the inversion formula
is valid. If the measure is discrete, then this formula gives an expansion of in a generalized Fourier series. It turns out that has the structure of a hypergroup if for some and all one has . In this case generalized displacement operators are defined by the formula
Hence, generalized displacement operators arise naturally in problems concerned with expansion in orthogonal systems of functions, in the spectral theory of operators, etc., which ensure a wide range of applications of the theory of generalized displacement operators (see, for example, , , , –). In the case of commutative generalized displacement operators, Bochner's theorem on representations of positive-definite functions and the law of Pontryagin duality have been generalized, a generalized Fourier transformation has been defined, and an analogue of the Plancherel theorem has been proved
(for various versions of these results see –). With the aid of representation theory, harmonic analysis may also be constructed for non-commutative generalized displacement operators. E.g., non-commutative analogues of the Plancherel theorem and the inversion formula have been obtained for generalized displacement operators, which include as a special case the corresponding results for locally compact groups; an analogue of the Peter–Weyl theorem is valid for compact generalized displacement operators. Versions of harmonic analysis in the spirit of the theory of almost-periodic and mean-periodic functions have been considered for generalized displacement operators (see , , , , , , ). An analogue of Wiener's Tauberian theorem has been obtained for commutative generalized displacement operators (cf. Wiener Tauberian theorem), and questions of spectral synthesis have been considered (see , ). For applications of generalized displacement operators to harmonic analysis on groups see , , , .
|||J. Delsarte, "Sur une extension de la formule de Taylor" J. Math. Pures Appl. , 17 (1938) pp. 213–231|
|||J. Delsarte, "Une extension nouvelle de la théorie des fonctions presque-périodiques de Bohr" Acta Math. , 69 (1938) pp. 259–317|
|||J. Delsarte, , Colloque Internat. CNRS : 71 (1956) pp. 29–45|
|||B.M. Levitan, "The application of generalized displacement operators to linear differential equations of the second order" Transl. Amer. Math. Soc. Ser. 1 , 10 (1962) pp. 408–541 Uspekhi Mat. Nauk , 4 : 1 (1949) pp. 3–112|
|||B.M. Levitan, "The theory of generalized displacement operators" , Moscow (1973) (In Russian)|
|[6a]||B.M. Levitan, "Normed rings generated by the generalized shift operator" Dokl. Akad. Nauk SSSR , 47 (1945) pp. 3–6 (In Russian)|
|[6b]||B.M. Levitan, "A theorem on the representation of positive-definite functions for the generalized shift operator" Dokl. Akad. Nauk SSSR , 47 (1945) pp. 163–165 (In Russian)|
|[6c]||B.M. Levitan, "Plancherel's theorem for the generalized shift operator" Dokl. Akad. Nauk SSSR , 47 (1945) pp. 323–326 (In Russian)|
|[6d]||B.M. Levitan, "A duality law for the generalized shift operator" Dokl. Akad. Nauk SSSR , 47 (1945) pp. 401–403 (In Russian)|
|||B.M. Levitan, "Converse Lie theorems for general generalized shift operators" Dokl. Akad. Nauk SSSR , 123 (1958) pp. 243–245 (In Russian)|
|||Yu.M. Berezanskii, S.G. Krein, "Hypercomplex systems with continuous basis" Transl. Amer. Math. Soc. Ser. 1 , 16 (1960) pp. 358–364 Uspekhi Mat. Nauk , 12 : 1 (1957) pp. 147–152|
|[9a]||I.F. Krasichkov, "Closed ideals in locally convex algebras of entire functions" Math. USSR-Izv. , 1 : 1 (1967) pp. 35–56 Izv. Akad. Nauk SSSR Ser. Mat. , 31 : 1 (1967) pp. 37–60|
|[9b]||I.F. Krasichkov, "Closed ideals in locally convex algebras of entire functions II" Math. USSR-Izv. , 2 : 5 (1968) pp. 979–986 Izv. Akad. Nauk SSSR Ser. Mat. , 32 : 5 (1968) pp. 1024–1032|
|||R.Ya. Grabovskaya, S.G. Krein, "Second order differential equations with operators generating a Lie algebra representation" Math. Nachr. , 75 (1976) pp. 9–29|
|||R.Ya. Grabovskaya, V.I. Kononenko, V.B. Osipov, "On a family of generalized shift operators" Math. USSR-Izv. , 11 : 4 (1977) pp. 865–888 Izv. Akad. Nauk SSSR Ser. Mat. , 41 : 4 (1977) pp. 912–936|
|||V.P. Maslov, Teoret. Mat. Fiz. , 33 (1977) pp. 185–209|
|||P.K. Rashevskii, "Description of the closed invariant subspaces of certain function spaces" Proc. Moscow Math. Soc. , 38 : 2 (1980) pp. 137–182 Trudy Moskov. Mat. Obshch. , 38 (1979) pp. 139–185|
|||D.I. Gurevich, "Generalized displacement operators with a right infinitesimal Sturm–Liouville operator" Math. Notes , 25 : 3 pp. 208–215 Mat. Zametki , 25 : 3 (1979) pp. 393–408|
|||C.F. Dunkl, "The measure algebra of a locally compact hypergroup" Trans. Amer. Math. Soc. , 179 (1973) pp. 331–348|
|||R.I. Jewett, "Spaces with an abstract convolution of measures" Adv. in Math. , 18 : 1 (1975) pp. 1–101|
|||R. Spector, "Aperçu de la théorie des hypergroups" , Anal. Harmonique des Groupes de Lie (Sem. Nancy-Strasbourg) , Lect. notes in math. , 497 , Springer (1975) pp. 643–673|
|||R. Spector, "Mesures invariantes sur les hypergroupes" Trans. Amer. Math. Soc. , 239 (1978) pp. 147–165|
|||K.A. Ross, "Hypergroups and centers of measure algebras" , Symp. Math. , 22 , Acad. Press (1977) pp. 189–203|
|||G.L. Litvinov, "Generalized shift operators and their representations" Trudy Sem. Vektor. Tenzor. Anal. : 18 (1978) pp. 345–371 (In Russian)|
|||A.K. Chilana, K.A. Ross, "Spectral synthesis in hypergroups" Pacific J. Math. , 76 (1978) pp. 313–328|
|||A.K. Chilana, A. Kumar, "Spectral synthesis in Segal algebras on hypergroups" Pacific J. Math. , 80 : 1 (1979) pp. 59–76|
|||T. Koornwinder, "The addition formula for Jacobi polynomials and spherical harmonics. Lie algebras: applications and computational methods" Siam. J. Appl. Math. , 25 : 2 (1973) pp. 236–236|
See also [a2]. If the pair of a locally compact group and a compact subgroup forms a Gel'fand pair, then the generalized displacement operators associated with it commute. With expansions and dual expansions in Jacobi polynomials a commutative hypergroup structure can be associated. See [a1] for a class of Sturm–Liouville operators yielding generalized displacement operators.
|[a1]||H. Chébli, "Opérateurs de translation généralisée et semi-groupes de convolution" J. Faraut (ed.) , Théorie du potentiel et analyse harmonique , Lect. notes in math. , 404 , Springer (1974) pp. 36–59|
|[a2]||L.I. Vainerman, "Duality of algebras with an involution and generalized shift operators" J. Soviet Math. , 42 (1988) pp. 2113–2138 Itogi Nauk. i Tekhn. Mat. Anal. , 24 (1986) pp. 165–206|
Generalized displacement operators. B.M. LevitanG.L. Litvinov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Generalized_displacement_operators&oldid=17255