.
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 and the Hilbert–Schmidt theorem. The result is named after the Swedish mathematician Erik Ivar Fredholm.
Statement of the theorem
Let G ⊆ C be a domain (an open and connected set). Let (H, 〈 , 〉) be a real or complex Hilbert space and let Lin(H) denote the space of bounded linear operators from H into itself; let I denote the identity operator. Let B : G → Lin(H) be a mapping such that
B is analytic on G in the sense that that the limit
\( \lim_{\lambda \to \lambda_{0}} \frac{B(\lambda) - B(\lambda_{0})}{\lambda - \lambda_{0}} \)
exists for all λ0 ∈ G; and
the operator B(λ) is a compact operator for each λ ∈ G.
Then either
- (I − B(λ))−1 does not exist for any λ ∈ G; or
- (I − B(λ))−1 exists for every λ ∈ G \ S, where S is a discrete subset of G (i.e., S has no limit points in G). In this case, the function taking λ to (I − B(λ))−1 is analytic on G \ S and, if λ ∈ S, then the equation
\( B(\lambda) \psi = \psi \)
has a finite-dimensional family of solutions.
References
Renardy, Michael; Rogers, Robert C. (2004). An introduction to partial differential equations. Texts in Applied Mathematics 13 (Second edition ed.). New York: Springer-Verlag. p. 356. ISBN 0-387-00444-0. (Theorem 7.92)
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
