The functional analysis is the branch of mathematics that deals with the study of infinite-dimensional topological vector spaces involved and illustrations on such. Here analysis , topology and algebra are linked. The aim of these investigations is to find abstract statements that can be applied to various concrete problems. Functional analysis is the suitable framework for the mathematical formulation of quantum mechanics and for the investigation of partial differential equations .
The terms are of central importance
- Functional for mapping vectors (e.g. functions ) to scalar sizes and
- Operator for mapping vectors to vectors. The concept of the operator is actually much more general. However, it makes sense to look at them in algebraically and topologically structured spaces, such as B. topological, metric or standardized vector spaces of all kinds.
Examples of functional are the terms sequence limit value , norm , definite integral or distribution , examples of operators are differentiation , indefinite integral , quantum mechanical observable or shift operators for sequences.
Basic concepts of analysis such as continuity , derivatives , etc. are extended in functional analysis to functionals and operators. At the same time, the results of linear algebra (for example the spectral theorem ) are expanded to include topologically linear spaces (for example Hilbert spaces ), which is associated with very significant results.
The historical roots of functional analysis lie in the study of the Fourier transformation and similar transformations and the investigation of differential and integral equations . The word component “functional” goes back to the calculus of variations . Stefan Banach , Frigyes Riesz and Maurice René Fréchet are considered the founders of modern functional analysis .
Topological vector spaces
Functional analysis is based on vector spaces over real or complex numbers. The basic concept here is the topological vector space, which is characterized by the fact that the vector space links are continuous; locally convex topological vector spaces and Fréchet spaces are also examined more specifically . Important statements are the Hahn-Banach theorem , the Baire theorem and the Banach-Steinhaus theorem . In particular in the solution theory of partial differential equations , these play an important role, moreover in the Fredholm theory .
Standardized spaces, Banach spaces
The most important special case of locally convex topological vector spaces are normalized vector spaces . If these are also complete , then they are called Banach spaces . Hilbert spaces are considered even more specifically , in which the norm is generated by a scalar product . These spaces are fundamental to the mathematical formulation of quantum mechanics . An important subject of investigation are continuous linear operators on Banach or Hilbert spaces.
Hilbert spaces can be fully classified: for every thickness of an orthonormal basis there is exactly one Hilbert space for a body (except for isomorphism ) . Since finite-dimensional Hilbert spaces are covered by linear algebra and every morphism between Hilbert spaces can be decomposed into morphisms of Hilbert spaces with a countable orthonormal basis, one considers mainly Hilbert spaces with a countable orthonormal basis and their morphisms in functional analysis. These are isomorphic to the sequence space of all sequences with the property that the sum of the squares of all sequence members is finite.
Banach spaces, on the other hand, are much more complex. For example, there is no general definition of a basis that can be used in practice, so bases of the type described under basis (vector space) (also called Hamel basis ) cannot be given constructively in the infinite-dimensional case and are always uncountable (see Baire's theorem ). Generalizations of the Hilbert space orthonormal bases lead to the concept of the shudder base , but not every Banach space has one.
When studying standardized spaces, it is important to examine the dual space . The dual space consists of all continuous linear functions from the normalized space into its scalar body , i.e. into the real or complex numbers. The bidual , i.e. the dual space of the dual space, does not have to be isomorphic to the original space, but there is always a natural monomorphism of a space in its bidual. If this special monomorphism is also surjective , then one speaks of a reflexive Banach space .
Operators, Banach algebras
While the Banach spaces or Hilbert spaces represent generalizations of the finite-dimensional vector spaces of linear algebra, the continuous, linear operators between them generalize the matrices of linear algebra. The diagonalization of matrices, which a matrix tries to represent as a direct sum of stretchings of so-called eigenvectors , expands to the spectral theorem for self-adjoint or normal operators on Hilbert spaces, which leads to the mathematical formulation of quantum mechanics . The eigenvectors form the quantum mechanical states, the operators the quantum mechanical observables .
As products of operators are operators again, we obtain algebras of operators with the operator norm are Banach spaces, allowing for two operators and the multiplicative triangle inequality holds. This leads to the concept of Banach algebra , the most accessible representatives of which are the C * algebras and Von Neumann algebras .
For the investigation of locally compact groups one uses the Banach space of the functions integrable with respect to the hair measure , which becomes a Banach algebra with the convolution as multiplication. This justifies the harmonic analysis as a functional analytical approach to the theory of locally compact groups; The Fourier transformation results from this point of view as a special case of the Gelfand transformation examined in the Banach algebra theory .
Partial differential equations
Functional analysis offers a suitable framework for the solution theory of partial differential equations. Such equations often have the form where the function sought and the right hand side are functions in a domain and is a differential expression. In addition, there are so-called boundary conditions that prescribe the behavior of the function sought on the boundary of . An example of such a differential expression is the Laplace operator ; other important examples result from the wave equation or the heat conduction equation .
The differential expression is now viewed as an operator between spaces of differentiable functions, in the example of the Laplace operator, for example, as an operator between the space of twice continuously differentiable functions and the space of continuous functions . Such spaces of function spaces that can be differentiated in the classical sense turn out to be unsuitable for an exhaustive solution theory. By moving to a more general concept of differentiability ( weak derivative , distribution theory ), one can view the differential expression as an operator between Hilbert spaces, so-called Sobolew spaces , which consist of suitable L 2 functions. In this context, in important cases, satisfactory theorems about the existence and uniqueness of solutions can be proven. For this purpose, questions such as the dependence on the right side , as well as questions about the regularity, i.e. smoothness properties of the solution depending on the smoothness properties of the right side , are investigated using functional analytical methods. This can be further generalized to more general room classes, such as rooms of distributions. If the right-hand side is the same as the delta distribution and a solution has been found for this case, a so-called fundamental solution, in some cases solutions for any right-hand side can be constructed using convolution .
In practice, numerical methods are used to approximate solutions of such differential equations, such as the finite element method , especially when no solution can be given in closed form. Functional analytical methods also play an essential role in the construction of such approximations and the determination of the approximation quality .
- Hans Wilhelm Alt : Linear functional analysis: an application-oriented introduction . 5th edition. Springer-Verlag, 2006, ISBN 3-540-34186-2 , doi: 10.1007 / 3-540-34187-0 .
- Haïm Brézis : Analysis fonctionnelle: théorie et applications . In: Mathématiques appliquées pour la maîtrise . Dunod, 2005, ISBN 2-10-049336-1
- Nelson Dunford , Jacob T. Schwartz, et al. a .: Linear Operators, General Theory, and other 3 volumes, includes visualization charts . In: Pure and applied mathematics; 7 . Wiley-Interscience, 1988, ISBN 0-470-22605-6
- Harro Heuser : Functional Analysis: Theory and Application . 3. Edition. Teubner-Verlag, 1992, ISBN 3-519-22206-X
- Friedrich Hirzebruch , Winfried Scharlau : Introduction to Functional Analysis , BI, Mannheim 1971, ISBN 978-3-411-00296-2 , online in the Hirzebruch Collection .
- Vivien Hutson, John S. Pym, Michael J. Cloud: Applications of Functional Analysis and Operator Theory . 2nd edition. Elsevier Science, 2005, ISBN 0-444-51790-1
- Leonid P. Lebedev, Iosif I. Vorovič: Functional Analysis in Mechanics . Springer-Verlag, 2003, ISBN 0-387-95519-4
- R. Meise, D. Vogt: Introduction to Functional Analysis , Vieweg, 1992 ISBN 3-528-07262-8 , doi: 10.1007 / 978-3-322-80310-8
- Martin Schechter : Principles of Functional Analysis . 2nd edition. Academic Press, 2001, ISBN 0-8218-2895-9
- Sergei Lwowitsch Sobolew : Some applications of functional analysis in mathematical physics , Providence (RI) , American Mathematical Soc., 1991, ISBN 0-8218-4549-7
- Dirk Werner : Functional Analysis . 7th edition. Springer , 2011, ISBN 978-3-642-21016-7 , doi : 10.1007 / 978-3-642-21017-4 .
- Kôsaku Yosida : Functional Analysis . 6th edition. Springer-Verlag, 1980, ISBN 3-540-10210-8
The books Alt (2006) and Heuser (1992) offer an introduction and a first overview of “classical” sentences of functional analysis. In doing so, physical applications are repeatedly discussed as a common thread. Heuser has exercises for each chapter, most of which are outlined in the appendix. The last chapter “A look at the emerging analysis” describes the most important steps in the historical development towards today's functional analysis.