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 the limit limλ->λ0B(λ)−B(λ0)λ−λ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(λ)ψ=ψ 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 ed.). New York: Springer-Verlag. p. 266. ISBN 0-387-00444-0. (Theorem 8.92)

* v
* t
* e

Functional analysis (topics)

Topological vector spaces|

* Asplund
* Banach (list)
* Banach lattice
* Barrelled
* Bornological
* Brauner
* F-space
* Fréchet (tame)
* Hilbert (Inner product space
* Polarization identity)
* LF-space
* Locally convex (Seminorms/Minkowski functionals)
* Mackey
* Montel
* Nuclear
* Normed (norm)
* Quasinormed
* Reflexive
* Riesz
* Smith
* Stereotype
* Strictly convex
* Webbed
* Topological tensor product (of Hilbert spaces)

Topologies of function spaces|

* Dual
* Dual space (Dual norm)
* Operator
* Ultraweak
* Weak (polar
* operator)
* Mackey
* Strong (polar
* operator)
* Ultrastrong
* Uniform convergence

Linear operators|

* Adjoint
* Bilinear (form
* operator
* sesquilinear)
* (Un)Bounded
* Closed
* Compact (on Hilbert spaces)
* (Dis)Continuous
* Densely defined
* Fredholm
* Hilbert–Schmidt
* Functionals (positive)
* Normal
* Nuclear
* Self-adjoint
* Strictly singular
* Trace class
* Transpose
* Unitary

Operator theory|

* Banach algebras
* C*-algebras
* Spectrum (C*-algebra
* radius)
* Spectral theory (of ODEs
* Spectral theorem)
* Polar decomposition
* Singular value decomposition

Theorems|

* Banach–Alaoglu
* Banach–Mazur
* Banach–Saks
* Banach–Schauder (open mapping)
* Banach–Steinhaus (Uniform boundedness)
* Bessel's inequality
* Cauchy–Schwarz inequality
* Closed graph
* Closed range
* Eberlein–Šmulian
* Freudenthal spectral
* Gelfand–Mazur
* Gelfand–Naimark
* Goldstine
* Hahn–Banach (hyperplane separation)
* Kakutani fixed-point
* Krein–Milman
* Lomonosov's invariant subspace
* Mackey–Arens
* Mazur's lemma
* M. Riesz extension
* Riesz representation
* Parseval's identity
* Schauder fixed-point

Analysis|

* Abstract Wiener space
* Bochner space
* Differentiation in Fréchet spaces
* Derivatives (Fréchet
* Gateaux
* functional
* holomorphic)
* Integrals (Bochner
* Dunford
* Gelfand–Pettis
* regulated
* Paley–Wiener
* weak)
* Functional calculus (Borel
* continuous
* holomorphic)
* Inverse function theorem (Nash–Moser theorem)
* Measures (Lebesgue
* Projection-valued
* Vector)
* Weakly measurable function

Types of sets|

* Absolutely convex
* Absorbing
* Balanced
* Bounded
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Radial
* Star-shaped
* Symmetric
* Zonotope

Subsets / set operations|

* Algebraic interior (core)
* Bounding points
* Convex hull
* Extreme point
* Interior
* Minkowski addition
* Polar

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Analytic Fredholm theorem. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Analytic_Fredholm_theorem&oldid=200329"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template