In

^{−1}, is defined by:
:$T\; T^\; =\; T^\; T\; =\; I.$
If the inverse exists, ''T'' is called ''regular''. If it does not exist, ''T'' is called ''singular''.
With these definitions, the ''resolvent set'' of ''T'' is the set of all complex numbers ζ such that ''R_{ζ}'' exists and is Bounded operator, bounded. This set often is denoted as ''ρ(T)''. The ''spectrum'' of ''T'' is the set of all complex numbers ζ such that ''R_{ζ}'' __fails__ to exist or is unbounded. Often the spectrum of ''T'' is denoted by ''σ(T)''. The function ''R_{ζ}'' for all ζ in ''ρ(T)'' (that is, wherever ''R_{ζ}'' exists as a bounded operator) is called the Resolvent formalism, resolvent of ''T''. The ''spectrum'' of ''T'' is therefore the complement of the ''resolvent set'' of ''T'' in the complex plane.
Every Hilbert space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

s, and it is these spaces that find the greatest application and the richest theoretical results. With suitable restrictions, much can be said about the structure of the Hilbert space#Spectral theory, spectra of transformations in a Hilbert space. In particular, for self-adjoint operators, the spectrum lies on the

_{1}, and the "ket" , _{1}⟩. A function is described by a ''ket'' as , ⟩. The function defined on the coordinates $(x\_1,\; x\_2,\; x\_3,\; \backslash dots)$ is denoted as
:$f(x)=\backslash langle\; x,\; f\backslash rangle$
and the magnitude of ''f'' by
:$\backslash ,\; f\; \backslash ,\; ^2\; =\; \backslash langle\; f,\; f\backslash rangle\; =\backslash int\; \backslash langle\; f,\; x\backslash rangle\; \backslash langle\; x,\; f\; \backslash rangle\; \backslash ,\; dx\; =\; \backslash int\; f^*(x)\; f(x)\; \backslash ,\; dx$
where the notation '*' denotes a complex conjugate. This inner product choice defines a very specific inner product space, restricting the generality of the arguments that follow.
The effect of ''L'' upon a function ''f'' is then described as:
:$L\; ,\; f\backslash rangle\; =\; ,\; k\_1\; \backslash rangle\; \backslash langle\; b\_1\; ,\; f\; \backslash rangle$
expressing the result that the effect of ''L'' on ''f'' is to produce a new function $,\; k\_1\; \backslash rangle$ multiplied by the inner product represented by $\backslash langle\; b\_1\; ,\; f\; \backslash rangle$.
A more general linear operator ''L'' might be expressed as:
:$L\; =\; \backslash lambda\_1\; ,\; e\_1\backslash rangle\backslash langle\; f\_1,\; +\; \backslash lambda\_2\; ,\; e\_2\backslash rangle\; \backslash langle\; f\_2,\; +\; \backslash lambda\_3\; ,\; e\_3\backslash rangle\backslash langle\; f\_3,\; +\; \backslash dots\; ,$
where the $\backslash $ are scalars and the $\backslash $ are a Basis (linear algebra), basis and the $\backslash $ a Dual basis, reciprocal basis for the space. The relation between the basis and the reciprocal basis is described, in part, by:
:$\backslash langle\; f\_i\; ,\; e\_j\; \backslash rangle\; =\; \backslash delta\_$
If such a formalism applies, the $\backslash $ are eigenvalues of ''L'' and the functions $\backslash $ are eigenfunctions of ''L''. The eigenvalues are in the ''spectrum'' of ''L''.
Some natural questions are: under what circumstances does this formalism work, and for what operators ''L'' are expansions in series of other operators like this possible? Can any function ''f'' be expressed in terms of the eigenfunctions (are they a Schauder basis) and under what circumstances does a point spectrum or a continuous spectrum arise? How do the formalisms for infinite-dimensional spaces and finite-dimensional spaces differ, or do they differ? Can these ideas be extended to a broader class of spaces? Answering such questions is the realm of spectral theory and requires considerable background in functional analysis and Matrix (mathematics), matrix algebra.

_{j}'' in terms of the generalized Fourier coefficients $\backslash langle\; f\_j\; ,\; h\; \backslash rangle$ of ''h'' and the matrix elements $O\_=\; \backslash langle\; f\_j,\; O\; ,\; e\_i\; \backslash rangle$ of the operator ''O''.
The role of spectral theory arises in establishing the nature and existence of the basis and the reciprocal basis. In particular, the basis might consist of the eigenfunctions of some linear operator ''L'':
:$L\; ,\; e\_i\; \backslash rangle\; =\; \backslash lambda\_i\; ,\; e\_i\; \backslash rangle\; \backslash ,\; ;$
with the the eigenvalues of ''L'' from the spectrum of ''L''. Then the resolution of the identity above provides the dyad expansion of ''L'':
:$LI\; =\; L\; =\; \backslash sum\_^\; L\; ,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i,\; =\; \backslash sum\_^\; \backslash lambda\; \_i\; ,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i\; ,\; .$

_{1} − y_{1}, x_{2} − y_{2}, x_{3} − y_{3}, ...)'' is the Dirac delta function,
we can write
:$\backslash langle\; x,\; \backslash varphi\; \backslash rangle\; =\; \backslash int\; \backslash langle\; x\; ,\; y\; \backslash rangle\; \backslash langle\; y,\; \backslash varphi\; \backslash rangle\; dy.$
Then:
:$\backslash begin\; \backslash left\backslash langle\; x,\; \backslash frac\; \backslash oint\_C\; \backslash frac\; d\; \backslash lambda\backslash right\backslash rangle\; \&=\; \backslash frac\backslash oint\_C\; d\; \backslash lambda\; \backslash left\; \backslash langle\; x,\; \backslash frac\; \backslash right\; \backslash rangle\backslash \backslash \; \&=\; \backslash frac\; \backslash oint\_C\; d\; \backslash lambda\; \backslash int\; dy\; \backslash left\; \backslash langle\; x,\; \backslash frac\; \backslash right\; \backslash rangle\; \backslash langle\; y,\; \backslash varphi\; \backslash rangle\; \backslash end$
The function ''G(x, y; λ)'' defined by:
:$\backslash begin\; G(x,\; y;\; \backslash lambda)\; \&=\; \backslash left\; \backslash langle\; x,\; \backslash frac\; \backslash right\; \backslash rangle\; \backslash \backslash \; \&=\; \backslash sum\_^n\; \backslash sum\_^n\; \backslash langle\; x,\; e\_i\; \backslash rangle\; \backslash left\; \backslash langle\; f\_i,\; \backslash frac\; \backslash right\; \backslash rangle\; \backslash langle\; f\_j\; ,\; y\backslash rangle\; \backslash \backslash \; \&=\; \backslash sum\_^n\; \backslash frac\; \backslash \backslash \; \&=\; \backslash sum\_^n\; \backslash frac,\; \backslash end$
is called the ''Green's function'' for operator ''L'', and satisfies:
:$\backslash frac\backslash oint\_C\; G(x,y;\backslash lambda)\; \backslash ,\; d\; \backslash lambda\; =\; -\backslash sum\_^n\; \backslash langle\; x,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i\; ,\; y\backslash rangle\; =\; -\backslash langle\; x,\; y\backslash rangle\; =\; -\backslash delta\; (x-y).$

Evans M. Harrell II

A Short History of Operator Theory * * {{DEFAULTSORT:Spectral Theory Spectral theory, Linear algebra de:Spektrum (Operatortheorie)

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

, spectral theory is an inclusive term for theories extending the eigenvector
In linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces an ...

and eigenvalue
In linear algebra, an eigenvector () or characteristic vector of a Linear map, linear transformation is a nonzero Vector space, vector that changes at most by a Scalar (mathematics), scalar factor when that linear transformation is applied to i ...

theory of a single square matrix
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

to a much broader theory of the structure of operators in a variety of mathematical space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

s. It is a result of studies of linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mat ...

and the solutions of systems of linear equations
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gen ...

and their generalizations. The theory is connected to that of analytic functions
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). I ...

because the spectral properties of an operator are related to analytic functions of the spectral parameter.
Mathematical background

The name ''spectral theory'' was introduced byDavid Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician
This is a List of German mathematician
A mathematician is someone who uses an extensive knowledge of mathematics
Mathematics (from Ancient Greek, G ...

in his original formulation of Hilbert space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

theory, which was cast in terms of quadratic form
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and quantities and their changes ( and ). There is no gene ...

s in infinitely many variables. The original spectral theorem was therefore conceived as a version of the theorem on principal axesPrincipal axis may refer to:
* One of the two principal axes of a Hyperbola#Nomenclature and features, hyperbola
* Principal axis (mechanics)
* Aircraft principal axes
* Principal axis theorem
* Principal axis (crystallography)
* Optical axis
* The ...

of an ellipsoid
An ellipsoid is a surface that may be obtained from a sphere by deforming it by means of directional Scaling (geometry), scalings, or more generally, of an affine transformation.
An ellipsoid is a quadric surface; that is, a Surface (mathemat ...

, in an infinite-dimensional setting. The later discovery in quantum mechanics
Quantum mechanics is a fundamental theory
A theory is a reason, rational type of abstraction, abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with ...

that spectral theory could explain features of atomic spectra
Spectroscopy is the study of the interaction
Interaction is a kind of action that occurs as two or more objects have an effect upon one another. The idea of a two-way effect is essential in the concept of interaction, as opposed to a one-way ...

was therefore fortuitous. Hilbert himself was surprised by the unexpected application of this theory, noting that "I developed my theory of infinitely many variables from purely mathematical interests, and even called it 'spectral analysis' without any presentiment that it would later find application to the actual spectrum of physics."
There have been three main ways to formulate spectral theory, each of which find use in different domains. After Hilbert's initial formulation, the later development of abstract Hilbert space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

s and the spectral theory of single normal operator
In mathematics
Mathematics (from Ancient Greek, Greek: ) includes the study of such topics as quantity (number theory), mathematical structure, structure (algebra), space (geometry), and calculus, change (mathematical analysis, analysis). It h ...

s on them were well suited to the requirements of physics
Physics is the natural science that studies matter, its Elementary particle, fundamental constituents, its Motion (physics), motion and behavior through Spacetime, space and time, and the related entities of energy and force. "Physical scie ...

, exemplified by the work of von Neumann Von Neumann may refer to:
* John von Neumann (1903–1957), a Hungarian American mathematician
* Von Neumann family
* Von Neumann (surname), a German surname
* Von Neumann (crater), a lunar impact crater
See also
* Von Neumann algebra
* Von Ne ...

.
The further theory built on this to address Banach algebra
Banach is a Polish-language surname of several possible origins."Banach"

at genezanazwisk.pl (the webpage cites the sources)

s in general. This development leads to the at genezanazwisk.pl (the webpage cites the sources)

Gelfand representationIn mathematics, the Gelfand representation in functional analysis (named after I. M. Gelfand) has two related meanings:
* a way of representing commutative Banach algebras as algebras of continuous functions;
* the fact that for commutative C*-algeb ...

, which covers the commutative case, and further into non-commutative harmonic analysis
In mathematics, noncommutative harmonic analysis is the field in which results from Fourier analysis are extended to topological groups that are not commutative. Since locally compact abelian groups have a well-understood theory, Pontryagin duality, ...

.
The difference can be seen in making the connection with Fourier analysis
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities ...

. The Fourier transform#REDIRECT Fourier transform
In mathematics, a Fourier transform (FT) is a Integral transform, mathematical transform that decomposes function (mathematics), functions depending on space or time into functions depending on spatial or temporal frequenc ...

on the real line
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

is in one sense the spectral theory of differentiation
Differentiation may refer to:
Business
* Differentiation (economics), the process of making a product different from other similar products
* Product differentiation, in marketing
* Differentiated service, a service that varies with the identity o ...

''qua'' differential operator
300px, A harmonic function defined on an annulus. Harmonic functions are exactly those functions which lie in the kernel of the Laplace operator, an important differential operator.
In mathematics, a differential operator is an Operator (mathe ...

. But for that to cover the phenomena one has already to deal with generalized eigenfunctions (for example, by means of a rigged Hilbert space
In mathematics, a rigged Hilbert space (Gelfand triple, nested Hilbert space, equipped Hilbert space) is a construction designed to link the distribution (mathematics), distribution and square-integrable aspects of functional analysis. Such spaces ...

). On the other hand it is simple to construct a group algebra, the spectrum of which captures the Fourier transform's basic properties, and this is carried out by means of Pontryagin duality
300px, The p-adic integer, 2-adic integers, with selected corresponding characters on Prüfer group, their Pontryagin dual group
In mathematics, Pontryagin duality is a duality (mathematics), duality between locally compact abelian groups that a ...

.
One can also study the spectral properties of operators on Banach spaces
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

. For example, compact operator
In functional analysis
Image:Drum vibration mode12.gif, 200px, One of the possible modes of vibration of an idealized circular drum head. These modes are eigenfunctions of a linear operator on a function space, a common construction in functional a ...

s on Banach spaces have many spectral properties similar to that of matrices
Matrix or MATRIX may refer to:
Science and mathematics
* Matrix (mathematics)
In , a matrix (plural matrices) is a array or table of s, s, or s, arranged in rows and columns, which is used to represent a or a property of such an object.
Fo ...

.
Physical background

The background in the physics ofvibration
Vibration is a mechanical phenomenon whereby oscillation
Oscillation is the repetitive variation, typically in time
Time is the indefinite continued sequence, progress of existence and event (philosophy), events that occur in an apparentl ...

s has been explained in this way: E. Brian Davies, quoted on the King's College London analysis group website
Such physical ideas have nothing to do with the mathematical theory on a technical level, but there are examples of indirect involvement (see for example Mark Kac's question ''Can you hear the shape of a drum?''). Hilbert's adoption of the term "spectrum" has been attributed to an 1897 paper of Wilhelm Wirtinger on Hill differential equation (by Jean Dieudonné), and it was taken up by his students during the first decade of the twentieth century, among them Erhard Schmidt and Hermann Weyl. The conceptual basis for Hilbert space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

was developed from Hilbert's ideas by Erhard Schmidt and Frigyes Riesz.
It was almost twenty years later, when quantum mechanics
Quantum mechanics is a fundamental theory
A theory is a reason, rational type of abstraction, abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with ...

was formulated in terms of the Schrödinger equation, that the connection was made to atomic spectra; a connection with the mathematical physics of vibration had been suspected before, as remarked by Henri Poincaré, but rejected for simple quantitative reasons, absent an explanation of the Balmer series. The later discovery in quantum mechanics that spectral theory could explain features of atomic spectra was therefore fortuitous, rather than being an object of Hilbert's spectral theory.
A definition of spectrum

Consider a Bounded linear operator, bounded linear transformation ''T'' defined everywhere over a general Banach space. We form the transformation: :$R\_\; =\; \backslash left(\; \backslash zeta\; I\; -\; T\; \backslash right)^.$ Here ''I'' is the identity operator and ζ is a complex number. The ''inverse'' of an operator ''T'', that is ''T''eigenvalue
In linear algebra, an eigenvector () or characteristic vector of a Linear map, linear transformation is a nonzero Vector space, vector that changes at most by a Scalar (mathematics), scalar factor when that linear transformation is applied to i ...

of ''T'' belongs to ''σ(T)'', but ''σ(T)'' may contain non-eigenvalues.
This definition applies to a Banach space, but of course other types of space exist as well, for example, topological vector spaces include Banach spaces, but can be more general.
On the other hand, Banach spaces include real line
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities an ...

and (in general) is a Decomposition of spectrum (functional analysis), spectral combination of a point spectrum of discrete Eigenvalues#Computation of eigenvalues.2C and the characteristic equation, eigenvalues and a continuous spectrum.
Spectral theory briefly

In functional analysis andlinear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mat ...

the spectral theorem establishes conditions under which an operator can be expressed in simple form as a sum of simpler operators. As a full rigorous presentation is not appropriate for this article, we take an approach that avoids much of the rigor and satisfaction of a formal treatment with the aim of being more comprehensible to a non-specialist.
This topic is easiest to describe by introducing the bra–ket notation of Paul Dirac, Dirac for operators. As an example, a very particular linear operator ''L'' might be written as a dyadic product:
:$L\; =\; ,\; k\_1\; \backslash rangle\; \backslash langle\; b\_1\; ,\; ,$
in terms of the "bra" ⟨Resolution of the identity

This section continues in the rough and ready manner of the above section using the bra–ket notation, and glossing over the many important details of a rigorous treatment. See discussion in Dirac's book referred to above, and A rigorous mathematical treatment may be found in various references.See, for example, the fundamental text of and , , In particular, the dimension ''n'' of the space will be finite. Using the bra–ket notation of the above section, the identity operator may be written as: :$I\; =\; \backslash sum\; \_\; ^\; ,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i\; ,$ where it is supposed as above that are a Basis (linear algebra), basis and the a reciprocal basis for the space satisfying the relation: :$\backslash langle\; f\_i\; ,\; e\_j\backslash rangle\; =\; \backslash delta\_\; .$ This expression of the identity operation is called a ''representation'' or a ''resolution'' of the identity. This formal representation satisfies the basic property of the identity: :$I^k\; =\; I\backslash ,$ valid for every positive integer ''k''. Applying the resolution of the identity to any function in the space ''$,\; \backslash psi\; \backslash rangle$'', one obtains: :$I\; ,\; \backslash psi\; \backslash rangle\; =\; ,\; \backslash psi\; \backslash rangle\; =\; \backslash sum\_^\; ,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i\; ,\; \backslash psi\; \backslash rangle\; =\; \backslash sum\_^\; \backslash \; c\_i\; ,\; e\_i\; \backslash rangle$ which is the generalized Fourier series, Fourier expansion of ψ in terms of the basis functions . See for example, Here ''$c\_i\; =\; \backslash langle\; f\_i\; ,\; \backslash psi\; \backslash rangle$''. Given some operator equation of the form: :$O\; ,\; \backslash psi\; \backslash rangle\; =\; ,\; h\; \backslash rangle$ with ''h'' in the space, this equation can be solved in the above basis through the formal manipulations: :$O\; ,\; \backslash psi\; \backslash rangle\; =\; \backslash sum\_^\; c\_i\; \backslash left(\; O\; ,\; e\_i\; \backslash rangle\; \backslash right)\; =\; \backslash sum\_^\; ,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i\; ,\; h\; \backslash rangle\; ,$ :$\backslash langle\; f\_j,\; O,\; \backslash psi\; \backslash rangle\; =\; \backslash sum\_^\; c\_i\; \backslash langle\; f\_j,\; O\; ,\; e\_i\; \backslash rangle\; =\; \backslash sum\_^\; \backslash langle\; f\_j,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i\; ,\; h\; \backslash rangle\; =\; \backslash langle\; f\_j\; ,\; h\; \backslash rangle,\; \backslash quad\; \backslash forall\; j$ which converts the operator equation to a matrix equation determining the unknown coefficients ''cResolvent operator

Using spectral theory, the resolvent operator ''R'': :$R\; =\; (\backslash lambda\; I\; -\; L)^,\backslash ,$ can be evaluated in terms of the eigenfunctions and eigenvalues of ''L'', and the Green's function corresponding to ''L'' can be found. Applying ''R'' to some arbitrary function in the space, say $\backslash varphi$, :$R\; ,\; \backslash varphi\; \backslash rangle\; =\; (\backslash lambda\; I\; -\; L)^\; ,\; \backslash varphi\; \backslash rangle\; =\; \backslash sum\_^n\; \backslash frac\; ,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i\; ,\; \backslash varphi\; \backslash rangle.$ This function has Pole (complex analysis), poles in the complex ''λ''-plane at each eigenvalue of ''L''. Thus, using the calculus of residues: :$\backslash frac\; \backslash oint\_C\; R\; ,\; \backslash varphi\; \backslash rangle\; d\; \backslash lambda\; =\; -\backslash sum\_^n\; ,\; e\_i\; \backslash rangle\; \backslash langle\; f\_i\; ,\; \backslash varphi\; \backslash rangle\; =\; -,\; \backslash varphi\; \backslash rangle,$ where the line integral is over a contour ''C'' that includes all the eigenvalues of ''L''. Suppose our functions are defined over some coordinates , that is: :$\backslash langle\; x,\; \backslash varphi\; \backslash rangle\; =\; \backslash varphi\; (x\_1,\; x\_2,\; ...).$ Introducing the notation :$\backslash langle\; x\; ,\; y\; \backslash rangle\; =\; \backslash delta\; (x-y),$ where ''δ(x − y)'' = ''δ(xOperator equations

Consider the operator equation: :$(O-\backslash lambda\; I\; )\; ,\; \backslash psi\; \backslash rangle\; =\; ,\; h\; \backslash rangle;$ in terms of coordinates: :$\backslash int\; \backslash langle\; x,\; (O-\backslash lambda\; I)y\; \backslash rangle\; \backslash langle\; y,\; \backslash psi\; \backslash rangle\; \backslash ,\; dy\; =\; h(x).$ A particular case is ''λ'' = 0. The Green's function of the previous section is: :$\backslash langle\; y,\; G(\backslash lambda)\; z\backslash rangle\; =\; \backslash left\; \backslash langle\; y,\; (O-\backslash lambda\; I)^\; z\; \backslash right\; \backslash rangle\; =\; G(y,\; z;\; \backslash lambda),$ and satisfies: :$\backslash int\; \backslash langle\; x,\; (O\; -\; \backslash lambda\; I)\; y\; \backslash rangle\; \backslash langle\; y,\; G(\backslash lambda)\; z\; \backslash rangle\; \backslash ,\; dy\; =\; \backslash int\; \backslash langle\; x,\; (O-\backslash lambda\; I)\; y\; \backslash rangle\; \backslash left\; \backslash langle\; y,\; (O-\backslash lambda\; I)^\; z\; \backslash right\; \backslash rangle\; \backslash ,\; dy\; =\; \backslash langle\; x\; ,\; z\; \backslash rangle\; =\; \backslash delta\; (x-z).$ Using this Green's function property: :$\backslash int\; \backslash langle\; x,\; (O-\backslash lambda\; I)\; y\; \backslash rangle\; G(y,\; z;\; \backslash lambda\; )\; \backslash ,\; dy\; =\; \backslash delta\; (x-z).$ Then, multiplying both sides of this equation by ''h''(''z'') and integrating: :$\backslash int\; dz\; \backslash ,\; h(z)\; \backslash int\; dy\; \backslash ,\; \backslash langle\; x,\; (O-\backslash lambda\; I)y\; \backslash rangle\; G(y,\; z;\; \backslash lambda)=\backslash int\; dy\; \backslash ,\; \backslash langle\; x,\; (O-\backslash lambda\; I)\; y\; \backslash rangle\; \backslash int\; dz\; \backslash ,\; h(z)G(y,\; z;\; \backslash lambda)\; =\; h(x),$ which suggests the solution is: :$\backslash psi(x)\; =\; \backslash int\; h(z)\; G(x,\; z;\; \backslash lambda)\; \backslash ,\; dz.$ That is, the function ''ψ''(''x'') satisfying the operator equation is found if we can find the spectrum of ''O'', and construct ''G'', for example by using: :$G(x,\; z;\; \backslash lambda)\; =\; \backslash sum\_^n\; \backslash frac.$ There are many other ways to find ''G'', of course. For example, see and See the articles on Green's function#Green.27s functions for solving inhomogeneous boundary value problems, Green's functions and on Fredholm theory#Inhomogeneous equations, Fredholm integral equations. It must be kept in mind that the above mathematics is purely formal, and a rigorous treatment involves some pretty sophisticated mathematics, including a good background knowledge of functional analysis, Hilbert spaces, Distribution (mathematics), distributions and so forth. Consult these articles and the references for more detail.Spectral theorem and Rayleigh quotient

Optimization problems may be the most useful examples about the combinatorial significance of the eigenvalues and eigenvectors in symmetric matrices, especially for the Rayleigh quotient with respect to a matrix M. Theorem ''Let M be a symmetric matrix and let x be the non-zero vector that maximizes the Rayleigh quotient with respect to M. Then, x is an eigenvector of M with eigenvalue equal to the Rayleigh quotient. Moreover, this eigenvalue is the largest eigenvalue of M. '' Proof Assume the spectral theorem. Let the eigenvalues of M be $\backslash lambda\_1\backslash le\backslash lambda\_2\backslash le\backslash cdots\backslash le\backslash lambda\_n$. Since the form an orthonormal basis, any vector x can be expressed in this Basis (linear algebra), basis as : $x\; =\; \backslash sum\_i\; v\_i^T\; x\; v\_i$ The way to prove this formula is pretty easy. Namely, : $\backslash begin\; v\_j^T\; \backslash sum\_i\; v\_i^T\; x\; v\_i\; \backslash \backslash [4pt]\; =\; \&\; \backslash sum\_\; v\_i^\; x\; v\_j^\; v\_i\; \backslash \backslash [4pt]\; =\; \&\; (v\_j^T\; x\; )\; v\_j^T\; v\_j\; \backslash \backslash [4pt]\; =\; \&\; v\_j^T\; x\; \backslash end$ evaluate the Rayleigh quotient with respect to x: : $\backslash begin\; \&\; x^T\; M\; x\; \backslash \backslash [4pt]\; =\; \&\; \backslash left(\backslash sum\_i\; (v\_i^T\; x)\; v\_i\backslash right)^T\; M\; \backslash left(\backslash sum\_j\; (v\_j^T\; x)\; v\_j\backslash right)\; \backslash \backslash [4pt]\; =\; \&\; \backslash left(\backslash sum\_i\; (v\_i^T\; x)\; v\_i^T\backslash right)\; \backslash left(\backslash sum\_j\; (v\_j^T\; x)\; v\_j\backslash lambda\_j\; \backslash right)\; \backslash \backslash [4pt]\; =\; \&\; \backslash sum\_\; (v\_i^T\; x)\; v\_i^T(v\_j^T\; x)\; v\_j\backslash lambda\_j\; \backslash \backslash [4pt]\; =\; \&\; \backslash sum\_j\; (v\_j^T\; x)(v\_j^T\; x)\backslash lambda\_j\; \backslash \backslash [4pt]\; =\; \&\; \backslash sum\_\; (v\_j^T\; x)^2\backslash lambda\_j\backslash le\backslash lambda\_n\; \backslash sum\_j\; (v\_j^T\; x)^2\; \backslash \backslash [4pt]\; =\; \&\; \backslash lambda\_n\; x^T\; x,\; \backslash end$ where we used Parseval's identity in the last line. Finally we obtain that :$\backslash frac\backslash le\; \backslash lambda\_n$ so the Rayleigh quotient is always less than $\backslash lambda\_n$.Spielman, Daniel A. "Lecture Notes on Spectral Graph Theory" Yale University (2012) http://cs.yale.edu/homes/spielman/561/ .See also

* Spectrum (functional analysis), Resolvent formalism, Decomposition of spectrum (functional analysis) * Spectral radius, Spectrum of an operator, Spectral theorem * Spectral theory of compact operators * Spectral theory of normal C*-algebras * functional calculus, Functions of operators, Operator theory * Riesz projector * Self-adjoint operator * Sturm–Liouville theory, Integral equations, Fredholm theory * Compact operators, Isospectral operators, complete metric space, Completeness * Lax pairs * Spectral geometry * Spectral graph theory * List of functional analysis topicsNotes

References

* * * * * * * * *External links

Evans M. Harrell II

A Short History of Operator Theory * * {{DEFAULTSORT:Spectral Theory Spectral theory, Linear algebra de:Spektrum (Operatortheorie)