Hilbert-Schmidt theorem

Hilbert-Schmidt theorem

In mathematical analysis, the Hilbert-Schmidt theorem, also known as the eigenfunction expansion theorem, is a fundamental result concerning compact, self-adjoint operators on Hilbert spaces. In the theory of partial differential equations, it is very useful in solving elliptic boundary value problems.

tatement of the theorem

Let ("H", ⟨ , ⟩) be a real or complex Hilbert space and let "A" : "H" → "H" be a bounded, compact, self-adjoint operator. Then there is a sequence of non-zero real eigenvalues "λ""i", "i" = 1, ..., "N", with "N" equal to the rank of "A", such that |"λ""i"| is monotonically non-increasing and, if "N" = +∞,

:lim_{i o + infty} lambda_{i} = 0.

Furthermore, if each eigenvalue of "A" is repeated in the sequence according to its multiplicity, then there exists an orthonormal set "φ""i", "i" = 1, ..., "N", of corresponding eigenfunctions, i.e.

:A varphi_{i} = lambda_{i} varphi_{i} mbox{ for } i = 1, dots, N.

Moreover, the functions "φ""i" form an orthonormal basis for the range of "A" and "A" can be written as

:A u = sum_{i = 1}^{N} lambda_{i} langle varphi_{i}, u angle varphi_{i} mbox{ for all } u in H.

References

* cite book
author = Renardy, Michael and Rogers, Robert C.
title = An introduction to partial differential equations
series = Texts in Applied Mathematics 13
edition = Second edition
publisher = Springer-Verlag
location = New York
year = 2004
pages = 356
id = ISBN 0-387-00444-0 (Theorem 8.94)


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Hilbert-Schmidt — In mathematics, Hilbert Schmidt may refer to* a Hilbert Schmidt operator; ** a Hilbert Schmidt integral operator; * the Hilbert Schmidt theorem …   Wikipedia

  • Hilbert's Theorem 90 — In number theory, Hilbert s Theorem 90 (or Satz 90) refers to an important result on cyclic extensions of number fields (or to one of its generalizations) that leads to Kummer theory. In its most basic form, it tells us that if L / K is a cyclic… …   Wikipedia

  • Hilbert–Schmidt operator — In mathematics, a Hilbert–Schmidt operator is a bounded operator A on a Hilbert space H with finite Hilbert–Schmidt norm, meaning that there exists an orthonormal basis {e i : i in I} of H with the property:sum {iin I} |Ae i|^2 < infty. If this… …   Wikipedia

  • Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… …   Wikipedia

  • Analytic Fredholm theorem — In mathematics, the analytic Fredholm theorem is a result concerning the existence of bounded inverses for a family of bounded linear operators on a Hilbert space. It is the basis of two classical and important theorems, the Fredholm alternative… …   Wikipedia

  • David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born …   Wikipedia

  • Schmidt decomposition — In linear algebra, the Schmidt decomposition refers to a particular way of expressing a vector in the tensor product of two inner product spaces. It has applications in quantum information theory and plasticity. Theorem Let H 1 and H 2 be Hilbert …   Wikipedia

  • Commutation theorem — In mathematics, a commutation theorem explicitly identifies the commutant of a specific von Neumann algebra acting on a Hilbert space in the presence of a trace. The first such result was proved by F.J. Murray and John von Neumann in the 1930s… …   Wikipedia

  • Sazonov's theorem — In mathematics, Sazonov s theorem is a theorem in functional analysis. It states that a bounded linear operator between two Hilbert spaces is gamma; radonifying if it is Hilbert Schmidt. The result is also important in the study of stochastic… …   Wikipedia

  • Compact operator on Hilbert space — In functional analysis, compact operators on Hilbert spaces are a direct extension of matrices: in the Hilbert spaces, they are precisely the closure of finite rank operators in the uniform operator topology. As such, results from matrix theory… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”