Composition operator
In mathematics, the composition operator Cϕ{displaystyle C_{phi }} with symbol ϕ{displaystyle phi } is a linear operator defined by the rule
- Cϕ(f)=f∘ϕ{displaystyle C_{phi }(f)=fcirc phi }
where f∘ϕ{displaystyle fcirc phi } denotes function composition.
The study of composition operators is covered by AMS category 47B33.
Contents
1 In physics
2 In Borel functional calculus
3 In holomorphic functional calculus
4 Applications
5 See also
6 References
In physics
In physics, and especially the area of dynamical systems, the composition operator is usually referred to as the Koopman operator[1][2] (and its wild surge in popularity is sometimes jokingly called "Koopmania"[3]), named after Bernard Koopman. It is the left-adjoint of the transfer operator of Frobenius–Perron.
In Borel functional calculus
Using the language of category theory, the composition operator is a pull-back on the space of measurable functions; it is adjoint to the transfer operator in the same way that the pull-back is adjoint to the push-forward; the composition operator is the inverse image functor.
Since the domain considered here is that of Borel functions, the above describes the Koopman operator as it appears in Borel functional calculus.
In holomorphic functional calculus
The domain of a composition operator can be taken more narrowly, as some Banach space, often consisting of holomorphic functions: for example, some Hardy space or Bergman space. In this case, the composition operator lies in the realm of some functional calculus, such as the holomorphic functional calculus.
Interesting questions posed in the study of composition operators often relate to how the spectral properties of the operator depend on the function space. Other questions include whether Cϕ{displaystyle C_{phi }} is compact or trace-class; answers typically depend on how the function φ behaves on the boundary of some domain.
When the transfer operator is a left-shift operator, the Koopman operator, as its adjoint, can be taken to be the right-shift operator. An appropriate basis, explicitly manifesting the shift, can often be found in the orthogonal polynomials. When these are orthogonal on the real number line, the shift is given by the Jacobi operator.[4] When the polynomials are orthogonal on some region of the complex plane (viz, in Bergman space), the Jacobi operator is replaced by a Hessenberg operator[5]
Applications
In mathematics, composition operators commonly occur in the study of shift operators, for example, in the Beurling–Lax theorem and the Wold decomposition. Shift operators can be studied as one-dimensional spin lattices. Composition operators appear in the theory of Aleksandrov–Clark measures.
The eigenvalue equation of the composition operator is Schröder's equation, and the principal eigenfunction f(x) is often called Schröder's function or Koenigs function.
See also
- Multiplication operator
- Composition ring
- Carleman matrix
References
^ Koopman, B. O. (1931). "Hamiltonian Systems and Transformation in Hilbert Space". Proceedings of the National Academy of Sciences. 17 (5): 315–318. Bibcode:1931PNAS...17..315K. doi:10.1073/pnas.17.5.315. PMC 1076052..mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
^ Gaspard, Pierre (1998). Chaos, scattering and statistical mechanics. Cambridge University Press. doi:10.1017/CBO9780511628856. ISBN 978-0-511-62885-6.
^ Shervin Predrag Cvitanović, Roberto Artuso, Ronnie Mainieri, Gregor Tanner, Gábor Vattay, Niall Whelan and Andreas Wirzba , Chaos: Classical and Quantum Appendix H version 15.9, (2017), http://chaosbook.org/version15/chapters/appendMeasure.pdf
^ Gerald Teschl, "Jacobi Operators and Completely Integrable Nonlinear Lattices" (2000) American Mathematical Society. https://www.mat.univie.ac.at/~gerald/ftp/book-jac/jacop.pdf
ISBN 978-0-8218-1940-1
^ Tomeo, V.; Torrano, E. (2011). "Two applications of the subnormality of the Hessenberg matrix related to general orthogonal polynomials". Linear Algebra and its Applications. 435 (9): 2314–2320. doi:10.1016/j.laa.2011.04.027.
- C. C. Cowen and B. D. MacCluer, Composition operators on spaces of analytic functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, Florida, 1995. xii+388 pp.
ISBN 0-8493-8492-3.
J. H. Shapiro, Composition operators and classical function theory. Universitext: Tracts in Mathematics. Springer-Verlag, New York, 1993. xvi+223 pp.
ISBN 0-387-94067-7.