Eigenfunction
In mathematics, an eigenfunction of a linear operator D defined on some function space is any nonzero function in that space that, when acted upon by D, is only multiplied by some scaling factor called an eigenvalue. As an equation, this condition can be written as
An eigenfunction is a type of eigenvector.
Eigenfunctions[edit]
In general, an eigenvector of a linear operator D defined on some vector space is a nonzero vector in the domain of D that, when D acts upon it, is simply scaled by some scalar value called an eigenvalue. In the special case where D is defined on a function space, the eigenvectors are referred to as eigenfunctions. That is, a function f is an eigenfunction of D if it satisfies the equation

(1) 
where λ is a scalar.^{[1]}^{[2]}^{[3]} The solutions to Equation (1) may also be subject to boundary conditions. Because of the boundary conditions, the possible values of λ are generally limited, for example to a discrete set λ_{1}, λ_{2}, … or to a continuous set over some range. The set of all possible eigenvalues of D is sometimes called its spectrum, which may be discrete, continuous, or a combination of both.^{[1]}
Each value of λ corresponds to one or more eigenfunctions. If multiple linearly independent eigenfunctions have the same eigenvalue, the eigenvalue is said to be degenerate and the maximum number of linearly independent eigenfunctions associated with the same eigenvalue is the eigenvalue's degree of degeneracy or geometric multiplicity.^{[4]}^{[5]}
Derivative example[edit]
A widely used class of linear operators acting on infinite dimensional spaces are differential operators on the space C^{∞} of infinitely differentiable real or complex functions of a real or complex argument t. For example, consider the derivative operator with eigenvalue equation
This differential equation can be solved by multiplying both sides by and integrating. Its solution, the exponential function
Suppose in the example that f(t) is subject to the boundary conditions f(0) = 1 and . We then find that
Link to eigenvalues and eigenvectors of matrices[edit]
Eigenfunctions can be expressed as column vectors and linear operators can be expressed as matrices, although they may have infinite dimensions. As a result, many of the concepts related to eigenvectors of matrices carry over to the study of eigenfunctions.
Define the inner product in the function space on which D is defined as
Suppose the function space has an orthonormal basis given by the set of functions {u_{1}(t), u_{2}(t), …, u_{n}(t)}, where n may be infinite. For the orthonormal basis,
Functions can be written as a linear combination of the basis functions,
Additionally, define a matrix representation of the linear operator D with elements
We can write the function Df(t) either as a linear combination of the basis functions or as D acting upon the expansion of f(t),
Taking the inner product of each side of this equation with an arbitrary basis function u_{i}(t),
This is the matrix multiplication Ab = c written in summation notation and is a matrix equivalent of the operator D acting upon the function f(t) expressed in the orthonormal basis. If f(t) is an eigenfunction of D with eigenvalue λ, then Ab = λb.
Eigenvalues and eigenfunctions of Hermitian operators[edit]
Many of the operators encountered in physics are Hermitian. Suppose the linear operator D acts on a function space that is a Hilbert space with an orthonormal basis given by the set of functions {u_{1}(t), u_{2}(t), …, u_{n}(t)}, where n may be infinite. In this basis, the operator D has a matrix representation A with elements
By analogy with Hermitian matrices, D is a Hermitian operator if A_{ij} = A_{ji}*, or:^{[6]}
Consider the Hermitian operator D with eigenvalues λ_{1}, λ_{2}, … and corresponding eigenfunctions f_{1}(t), f_{2}(t), …. This Hermitian operator has the following properties:
 Its eigenvalues are real, λ_{i} = λ_{i}*^{[4]}^{[6]}
 Its eigenfunctions obey an orthogonality condition, if i ≠ j^{[6]}^{[7]}^{[8]}
The second condition always holds for λ_{i} ≠ λ_{j}. For degenerate eigenfunctions with the same eigenvalue λ_{i}, orthogonal eigenfunctions can always be chosen that span the eigenspace associated with λ_{i}, for example by using the GramSchmidt process.^{[5]} Depending on whether the spectrum is discrete or continuous, the eigenfunctions can be normalized by setting the inner product of the eigenfunctions equal to either a Kronecker delta or a Dirac delta function, respectively.^{[8]}^{[9]}
For many Hermitian operators, notably Sturm–Liouville operators, a third property is
 Its eigenfunctions form a basis of the function space on which the operator is defined^{[5]}
As a consequence, in many important cases, the eigenfunctions of the Hermitian operator form an orthonormal basis. In these cases, an arbitrary function can be expressed as a linear combination of the eigenfunctions of the Hermitian operator.
Applications[edit]
Vibrating strings[edit]
Let h(x, t) denote the transverse displacement of a stressed elastic chord, such as the vibrating strings of a string instrument, as a function of the position x along the string and of time t. Applying the laws of mechanics to infinitesimal portions of the string, the function h satisfies the partial differential equation
This problem is amenable to the method of separation of variables. If we assume that h(x, t) can be written as the product of the form X(x)T(t), we can form a pair of ordinary differential equations:
Each of these is an eigenvalue equation with eigenvalues and −ω^{2}, respectively. For any values of ω and c, the equations are satisfied by the functions
If we impose boundary conditions, for example that the ends of the string are fixed at x = 0 and x = L, namely X(0) = X(L) = 0, and that T(0) = 0, we constrain the eigenvalues. For these boundary conditions, sin(φ) = 0 and sin(ψ) = 0, so the phase angles φ = ψ = 0, and
This last boundary condition constrains ω to take a value ω_{n} = ncπ/L, where n is any integer. Thus, the clamped string supports a family of standing waves of the form
In the example of a string instrument, the frequency ω_{n} is the frequency of the nth harmonic, which is called the (n − 1)th overtone.
Schrödinger equation[edit]
In quantum mechanics, the Schrödinger equation

(2) 

(3) 
Both of these differential equations are eigenvalue equations with eigenvalue E. As shown in an earlier example, the solution of Equation (3) is the exponential
Equation (2) is the timeindependent Schrödinger equation. The eigenfunctions φ_{k} of the Hamiltonian operator are stationary states of the quantum mechanical system, each with a corresponding energy E_{k}. They represent allowable energy states of the system and may be constrained by boundary conditions.
The Hamiltonian operator H is an example of a Hermitian operator whose eigenfunctions form an orthonormal basis. When the Hamiltonian does not depend explicitly on time, general solutions of the Schrödinger equation are linear combinations of the stationary states multiplied by the oscillatory T(t),^{[11]} or, for a system with a continuous spectrum,
The success of the Schrödinger equation in explaining the spectral characteristics of hydrogen is considered one of the greatest triumphs of 20th century physics.
Signals and systems[edit]
In the study of signals and systems, an eigenfunction of a system is a signal f(t) that, when input into the system, produces a response y(t) = λf(t), where λ is a complex scalar eigenvalue.^{[12]}
See also[edit]
 Eigenvalues and eigenvectors
 Hilbert–Schmidt theorem
 Spectral theory of ordinary differential equations
 Fixed point combinator
 Fourier transform eigenfunctions
Notes[edit]
Citations[edit]
 ^ ^{a} ^{b} ^{c} Davydov 1976, p. 20.
 ^ ^{a} ^{b} Kusse & Westwig 1998, p. 435.
 ^ ^{a} ^{b} Wasserman 2016.
 ^ ^{a} ^{b} Davydov 1976, p. 21.
 ^ ^{a} ^{b} ^{c} Kusse & Westwig 1998, p. 437.
 ^ ^{a} ^{b} ^{c} Kusse & Westwig 1998, p. 436.
 ^ Davydov 1976, p. 24.
 ^ ^{a} ^{b} Davydov 1976, p. 29.
 ^ Davydov 1976, p. 25.
 ^ Davydov 1976, p. 51.
 ^ Davydov 1976, p. 52.
 ^ Girod, Rabenstein & Stenger 2001, p. 49.
Works cited[edit]
 Courant, Richard; Hilbert, David. Methods of Mathematical Physics. Vol. 1. Wiley. ISBN 0471504475. (Volume 2: ISBN 0471504394)
 Davydov, A. S. (1976). Quantum Mechanics. Translated, edited, and with additions by D. ter Haar (2nd ed.). Oxford: Pergamon Press. ISBN 0080204384.
 Girod, Bernd; Rabenstein, Rudolf; Stenger, Alexander (2001). Signals and systems (2nd ed.). Wiley. ISBN 0471988006.
 Kusse, Bruce; Westwig, Erik (1998). Mathematical Physics. New York: Wiley Interscience. ISBN 0471154318.
 Wasserman, Eric W. (2016). "Eigenfunction". MathWorld. Wolfram Research. Retrieved April 12, 2016.
External links[edit]
 More images (nonGPL) at Atom in a Box