
In
quantum physics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, a wave function (or wavefunction) is a mathematical description of the
quantum state
In quantum physics, a quantum state is a mathematical entity that embodies the knowledge of a quantum system. Quantum mechanics specifies the construction, evolution, and measurement of a quantum state. The result is a prediction for the system ...
of an isolated
quantum system
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
. The most common symbols for a wave function are the Greek letters and (lower-case and capital
psi, respectively). Wave functions are
complex-valued. For example, a wave function might assign a complex number to each point in a region of space. The
Born rule provides the means to turn these complex
probability amplitudes into actual probabilities. In one common form, it says that the
squared modulus of a wave function that depends upon position is the
probability density of
measuring a particle as being at a given place. The integral of a wavefunction's squared modulus over all the system's degrees of freedom must be equal to 1, a condition called ''normalization''. Since the wave function is complex-valued, only its relative phase and relative magnitude can be measured; its value does not, in isolation, tell anything about the magnitudes or directions of measurable observables. One has to apply
quantum operators, whose eigenvalues correspond to sets of possible results of measurements, to the wave function and calculate the statistical distributions for measurable quantities.
Wave functions can be
functions of variables other than position, such as
momentum
In Newtonian mechanics, momentum (: momenta or momentums; more specifically linear momentum or translational momentum) is the product of the mass and velocity of an object. It is a vector quantity, possessing a magnitude and a direction. ...
. The information represented by a wave function that is dependent upon position can be converted into a wave function dependent upon momentum and vice versa, by means of a
Fourier transform
In mathematics, the Fourier transform (FT) is an integral transform that takes a function as input then outputs another function that describes the extent to which various frequencies are present in the original function. The output of the tr ...
. Some particles, like
electron
The electron (, or in nuclear reactions) is a subatomic particle with a negative one elementary charge, elementary electric charge. It is a fundamental particle that comprises the ordinary matter that makes up the universe, along with up qua ...
s and
photon
A photon () is an elementary particle that is a quantum of the electromagnetic field, including electromagnetic radiation such as light and radio waves, and the force carrier for the electromagnetic force. Photons are massless particles that can ...
s, have nonzero
spin, and the wave function for such particles includes spin as an intrinsic, discrete degree of freedom; other discrete variables can also be included, such as
isospin
In nuclear physics and particle physics, isospin (''I'') is a quantum number related to the up- and down quark content of the particle.
Isospin is also known as isobaric spin or isotopic spin.
Isospin symmetry is a subset of the flavour symmetr ...
. When a system has internal degrees of freedom, the wave function at each point in the continuous degrees of freedom (e.g., a point in space) assigns a complex number for ''each'' possible value of the discrete degrees of freedom (e.g., z-component of spin). These values are often displayed in a
column matrix (e.g., a column vector for a non-relativistic electron with spin ).
According to the
superposition principle
The superposition principle, also known as superposition property, states that, for all linear systems, the net response caused by two or more stimuli is the sum of the responses that would have been caused by each stimulus individually. So th ...
of quantum mechanics, wave functions can be added together and multiplied by complex numbers to form new wave functions and form a
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
. The inner product of two wave functions is a measure of the overlap between the corresponding physical states and is used in the foundational probabilistic interpretation of quantum mechanics, the
Born rule, relating transition probabilities to inner products. The
Schrödinger equation
The Schrödinger equation is a partial differential equation that governs the wave function of a non-relativistic quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after E ...
determines how wave functions evolve over time, and a wave function behaves qualitatively like other
wave
In physics, mathematics, engineering, and related fields, a wave is a propagating dynamic disturbance (change from List of types of equilibrium, equilibrium) of one or more quantities. ''Periodic waves'' oscillate repeatedly about an equilibrium ...
s, such as
water waves or waves on a string, because the Schrödinger equation is mathematically a type of
wave equation. This explains the name "wave function", and gives rise to
wave–particle duality
Wave–particle duality is the concept in quantum mechanics that fundamental entities of the universe, like photons and electrons, exhibit particle or wave (physics), wave properties according to the experimental circumstances. It expresses the in ...
. However, the wave function in quantum mechanics describes a kind of physical phenomenon, as of 2023 still open to different
interpretations, which fundamentally differs from that of
classic mechanical waves.
Historical background
In 1900,
Max Planck
Max Karl Ernst Ludwig Planck (; ; 23 April 1858 – 4 October 1947) was a German Theoretical physics, theoretical physicist whose discovery of energy quantum, quanta won him the Nobel Prize in Physics in 1918.
Planck made many substantial con ...
postulated the proportionality between the frequency
of a photon and its energy
and in 1916 the corresponding relation between a photon's
momentum
In Newtonian mechanics, momentum (: momenta or momentums; more specifically linear momentum or translational momentum) is the product of the mass and velocity of an object. It is a vector quantity, possessing a magnitude and a direction. ...
and
wavelength
In physics and mathematics, wavelength or spatial period of a wave or periodic function is the distance over which the wave's shape repeats.
In other words, it is the distance between consecutive corresponding points of the same ''phase (waves ...
where
is the
Planck constant
The Planck constant, or Planck's constant, denoted by h, is a fundamental physical constant of foundational importance in quantum mechanics: a photon's energy is equal to its frequency multiplied by the Planck constant, and the wavelength of a ...
. In 1923, De Broglie was the first to suggest that the relation now called the
De Broglie relation, holds for ''massive'' particles, the chief clue being
Lorentz invariance
In a relativistic theory of physics, a Lorentz scalar is a scalar expression whose value is invariant under any Lorentz transformation. A Lorentz scalar may be generated from, e.g., the scalar product of vectors, or by contracting tensors. While ...
, and this can be viewed as the starting point for the modern development of quantum mechanics. The equations represent
wave–particle duality
Wave–particle duality is the concept in quantum mechanics that fundamental entities of the universe, like photons and electrons, exhibit particle or wave (physics), wave properties according to the experimental circumstances. It expresses the in ...
for both massless and massive particles.
In the 1920s and 1930s, quantum mechanics was developed using
calculus
Calculus is the mathematics, mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithmetic operations.
Originally called infinitesimal calculus or "the ...
and
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 (mathemat ...
. Those who used the techniques of calculus included
Louis de Broglie,
Erwin Schrödinger
Erwin Rudolf Josef Alexander Schrödinger ( ; ; 12 August 1887 – 4 January 1961), sometimes written as or , was an Austrian-Irish theoretical physicist who developed fundamental results in quantum field theory, quantum theory. In particul ...
, and others, developing "
wave mechanics". Those who applied the methods of linear algebra included
Werner Heisenberg
Werner Karl Heisenberg (; ; 5 December 1901 – 1 February 1976) was a German theoretical physicist, one of the main pioneers of the theory of quantum mechanics and a principal scientist in the German nuclear program during World War II.
He pub ...
,
Max Born
Max Born (; 11 December 1882 – 5 January 1970) was a German-British theoretical physicist who was instrumental in the development of quantum mechanics. He also made contributions to solid-state physics and optics, and supervised the work of a ...
, and others, developing "
matrix mechanics". Schrödinger subsequently showed that the two approaches were equivalent.
In 1926, Schrödinger published the famous wave equation now named after him, the
Schrödinger equation
The Schrödinger equation is a partial differential equation that governs the wave function of a non-relativistic quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after E ...
. This equation was based on
classical conservation of energy
The law of conservation of energy states that the total energy of an isolated system remains constant; it is said to be Conservation law, ''conserved'' over time. In the case of a Closed system#In thermodynamics, closed system, the principle s ...
using
quantum operators and the de Broglie relations and the solutions of the equation are the wave functions for the quantum system. However, no one was clear on how to interpret it. At first, Schrödinger and others thought that wave functions represent particles that are spread out with most of the particle being where the wave function is large. This was shown to be incompatible with the elastic scattering of a wave packet (representing a particle) off a target; it spreads out in all directions.
[, translated in at pages 52–55.]
While a scattered particle may scatter in any direction, it does not break up and take off in all directions. In 1926, Born provided the perspective of
probability amplitude.
[, translated in . Als]
here
. This relates calculations of quantum mechanics directly to probabilistic experimental observations. It is accepted as part of the
Copenhagen interpretation of quantum mechanics. There are many other
interpretations of quantum mechanics
An interpretation of quantum mechanics is an attempt to explain how the mathematical theory of quantum mechanics might correspond to experienced reality. Quantum mechanics has held up to rigorous and extremely precise tests in an extraordinarily b ...
. In 1927,
Hartree and
Fock made the first step in an attempt to solve the
''N''-body wave function, and developed the ''self-consistency cycle'': an
iterative algorithm
In mathematics and computer science, an algorithm () is a finite sequence of Rigour#Mathematics, mathematically rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algo ...
to approximate the solution. Now it is also known as the
Hartree–Fock method. The
Slater determinant and
permanent (of a
matrix
Matrix (: matrices or matrixes) or MATRIX may refer to:
Science and mathematics
* Matrix (mathematics), a rectangular array of numbers, symbols or expressions
* Matrix (logic), part of a formula in prenex normal form
* Matrix (biology), the m ...
) was part of the method, provided by
John C. Slater.
Schrödinger did encounter an equation for the wave function that satisfied
relativistic energy conservation ''before'' he published the non-relativistic one, but discarded it as it predicted negative
probabilities
Probability is a branch of mathematics and statistics concerning Event (probability theory), events and numerical descriptions of how likely they are to occur. The probability of an event is a number between 0 and 1; the larger the probab ...
and negative
energies. In 1927,
Klein,
Gordon and Fock also found it, but incorporated the
electromagnetic
In physics, electromagnetism is an interaction that occurs between particles with electric charge via electromagnetic fields. The electromagnetic force is one of the four fundamental forces of nature. It is the dominant force in the interacti ...
interaction and proved that it was
Lorentz invariant. De Broglie also arrived at the same equation in 1928. This relativistic wave equation is now most commonly known as the
Klein–Gordon equation.
In 1927,
Pauli phenomenologically found a non-relativistic equation to describe spin-1/2 particles in electromagnetic fields, now called the
Pauli equation. Pauli found the wave function was not described by a single complex function of space and time, but needed two complex numbers, which respectively correspond to the spin +1/2 and −1/2 states of the fermion. Soon after in 1928,
Dirac found an equation from the first successful unification of
special relativity
In physics, the special theory of relativity, or special relativity for short, is a scientific theory of the relationship between Spacetime, space and time. In Albert Einstein's 1905 paper, Annus Mirabilis papers#Special relativity,
"On the Ele ...
and quantum mechanics applied to the
electron
The electron (, or in nuclear reactions) is a subatomic particle with a negative one elementary charge, elementary electric charge. It is a fundamental particle that comprises the ordinary matter that makes up the universe, along with up qua ...
, now called the
Dirac equation
In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1/2 massive particles, called "Dirac ...
. In this, the wave function is a
''spinor'' represented by four complex-valued components: two for the electron and two for the electron's
antiparticle
In particle physics, every type of particle of "ordinary" matter (as opposed to antimatter) is associated with an antiparticle with the same mass but with opposite physical charges (such as electric charge). For example, the antiparticle of the ...
, the
positron
The positron or antielectron is the particle with an electric charge of +1''elementary charge, e'', a Spin (physics), spin of 1/2 (the same as the electron), and the same Electron rest mass, mass as an electron. It is the antiparticle (antimatt ...
. In the non-relativistic limit, the Dirac wave function resembles the Pauli wave function for the electron. Later, other
relativistic wave equations were found.
Wave functions and wave equations in modern theories
All these wave equations are of enduring importance. The Schrödinger equation and the Pauli equation are under many circumstances excellent approximations of the relativistic variants. They are considerably easier to solve in practical problems than the relativistic counterparts.
The
Klein–Gordon equation and the
Dirac equation
In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1/2 massive particles, called "Dirac ...
, while being relativistic, do not represent full reconciliation of quantum mechanics and special relativity. The branch of quantum mechanics where these equations are studied the same way as the Schrödinger equation, often called
relativistic quantum mechanics, while very successful, has its limitations (see e.g.
Lamb shift
In physics, the Lamb shift, named after Willis Lamb, is an anomalous difference in energy between two electron orbitals in a hydrogen atom. The difference was not predicted by theory and it cannot be derived from the Dirac equation, which pre ...
) and conceptual problems (see e.g.
Dirac sea).
Relativity makes it inevitable that the number of particles in a system is not constant. For full reconciliation,
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
is needed.
In this theory, the wave equations and the wave functions have their place, but in a somewhat different guise. The main objects of interest are not the wave functions, but rather operators, so called ''field operators'' (or just fields where "operator" is understood) on the Hilbert space of states (to be described next section). It turns out that the original relativistic wave equations and their solutions are still needed to build the Hilbert space. Moreover, the ''free fields operators'', i.e. when interactions are assumed not to exist, turn out to (formally) satisfy the same equation as do the fields (wave functions) in many cases.
Thus the Klein–Gordon equation (spin ) and the Dirac equation (spin ) in this guise remain in the theory. Higher spin analogues include the
Proca equation (spin ),
Rarita–Schwinger equation (spin ), and, more generally, the
Bargmann–Wigner equations. For ''massless'' free fields two examples are the free field
Maxwell equation (spin ) and the free field
Einstein equation (spin ) for the field operators.
All of them are essentially a direct consequence of the requirement of
Lorentz invariance
In a relativistic theory of physics, a Lorentz scalar is a scalar expression whose value is invariant under any Lorentz transformation. A Lorentz scalar may be generated from, e.g., the scalar product of vectors, or by contracting tensors. While ...
. Their solutions must transform under
Lorentz transformation
In physics, the Lorentz transformations are a six-parameter family of Linear transformation, linear coordinate transformation, transformations from a Frame of Reference, coordinate frame in spacetime to another frame that moves at a constant vel ...
in a prescribed way, i.e. under a particular
representation of the Lorentz group and that together with few other reasonable demands, e.g. the
cluster decomposition property,
with implications for
causality is enough to fix the equations.
This applies to free field equations; interactions are not included. If a Lagrangian density (including interactions) is available, then the Lagrangian formalism will yield an equation of motion at the classical level. This equation may be very complex and not amenable to solution. Any solution would refer to a ''fixed'' number of particles and would not account for the term "interaction" as referred to in these theories, which involves the creation and annihilation of particles and not external potentials as in ordinary "first quantized" quantum theory.
In
string theory, the situation remains analogous. For instance, a wave function in momentum space has the role of Fourier expansion coefficient in a general state of a particle (string) with momentum that is not sharply defined.
Definition (one spinless particle in one dimension)
For now, consider the simple case of a non-relativistic single particle, without
spin, in one spatial dimension. More general cases are discussed below.
According to the
postulates of quantum mechanics, the
state
State most commonly refers to:
* State (polity), a centralized political organization that regulates law and society within a territory
**Sovereign state, a sovereign polity in international law, commonly referred to as a country
**Nation state, a ...
of a physical system, at fixed time
, is given by the wave function belonging to a
separable complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
. As such, the
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
of two wave functions and can be defined as the complex number (at time )
[The functions are here assumed to be elements of , the space of square integrable functions. The elements of this space are more precisely equivalence classes of square integrable functions, two functions declared equivalent if they differ on a set of ]Lebesgue measure
In measure theory, a branch of mathematics, the Lebesgue measure, named after French mathematician Henri Lebesgue, is the standard way of assigning a measure to subsets of higher dimensional Euclidean '-spaces. For lower dimensions or , it c ...
. This is necessary to obtain an inner product (that is, ) as opposed to a semi-inner product. The integral is taken to be the Lebesgue integral
In mathematics, the integral of a non-negative Function (mathematics), function of a single variable can be regarded, in the simplest case, as the area between the Graph of a function, graph of that function and the axis. The Lebesgue integral, ...
. This is essential for completeness of the space, thus yielding a complete inner product space = Hilbert space.
:
.
More details are given
below. However, the inner product of a wave function with itself,
:
,
is ''always'' a positive real number. The number (not ) is called the
norm of the wave function .
The
separable Hilbert space being considered is infinite-
dimensional,
[In quantum mechanics, only separable Hilbert spaces are considered, which using ]Zorn's Lemma
Zorn's lemma, also known as the Kuratowski–Zorn lemma, is a proposition of set theory. It states that a partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least on ...
, implies it admits a countably infinite Schauder basis
In mathematics, a Schauder basis or countable basis is similar to the usual ( Hamel) basis of a vector space; the difference is that Hamel bases use linear combinations that are finite sums, while for Schauder bases they may be infinite sums. This ...
rather than an orthonormal basis in the sense of linear algebra (Hamel basis
In mathematics, a set of elements of a vector space is called a basis (: bases) if every element of can be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as ...
). which means there is no finite set of
square integrable functions which can be added together in various combinations to create every possible
square integrable function.
Position-space wave functions
The state of such a particle is completely described by its wave function,
where is position and is time. This is a
complex-valued function of two real variables and .
For one spinless particle in one dimension, if the wave function is interpreted as a
probability amplitude; the square
modulus of the wave function, the positive real number
is interpreted as the
probability density for a measurement of the particle's position at a given time . The asterisk indicates the
complex conjugate
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, if a and b are real numbers, then the complex conjugate of a + bi is a - ...
. If the particle's position is
measured, its location cannot be determined from the wave function, but is described by a
probability distribution
In probability theory and statistics, a probability distribution is a Function (mathematics), function that gives the probabilities of occurrence of possible events for an Experiment (probability theory), experiment. It is a mathematical descri ...
.
Normalization condition
The probability that its position will be in the interval is the integral of the density over this interval:
where is the time at which the particle was measured. This leads to the normalization condition:
because if the particle is measured, there is 100% probability that it will be ''somewhere''.
For a given system, the set of all possible normalizable wave functions (at any given time) forms an abstract mathematical
vector space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
, meaning that it is possible to add together different wave functions, and multiply wave functions by complex numbers. Technically, wave functions form a
ray in a
projective Hilbert space rather than an ordinary vector space.
Quantum states as vectors
At a particular instant of time, all values of the wave function are components of a vector. There are uncountably infinitely many of them and integration is used in place of summation. In
Bra–ket notation
Bra–ket notation, also called Dirac notation, is a notation for linear algebra and linear operators on complex vector spaces together with their dual space both in the finite-dimensional and infinite-dimensional case. It is specifically de ...
, this vector is written
and is referred to as a "quantum state vector", or simply "quantum state". There are several advantages to understanding wave functions as representing elements of an abstract vector space:
* All the powerful tools 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 (mathemat ...
can be used to manipulate and understand wave functions. For example:
** Linear algebra explains how a vector space can be given a
basis, and then any vector in the vector space can be expressed in this basis. This explains the relationship between a wave function in position space and a wave function in momentum space and suggests that there are other possibilities too.
**
Bra–ket notation
Bra–ket notation, also called Dirac notation, is a notation for linear algebra and linear operators on complex vector spaces together with their dual space both in the finite-dimensional and infinite-dimensional case. It is specifically de ...
can be used to manipulate wave functions.
* The idea that
quantum state
In quantum physics, a quantum state is a mathematical entity that embodies the knowledge of a quantum system. Quantum mechanics specifies the construction, evolution, and measurement of a quantum state. The result is a prediction for the system ...
s are vectors in an abstract vector space is completely general in all aspects of quantum mechanics and
quantum field theory
In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
, whereas the idea that quantum states are complex-valued "wave" functions of space is only true in certain situations.
The time parameter is often suppressed, and will be in the following. The coordinate is a continuous index. The are called ''improper vectors'' which, unlike ''proper vectors'' that are normalizable to unity, can only be normalized to a Dirac delta function.
[As, technically, they are not in the Hilbert space. See ]Spectral theorem
In linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized (that is, represented as a diagonal matrix in some basis). This is extremely useful because computations involvin ...
for more details.
thus
and
which illuminates the
identity operator
which is analogous to completeness relation of orthonormal basis in N-dimensional Hilbert space.
Finding the identity operator in a basis allows the abstract state to be expressed explicitly in a basis, and more (the inner product between two state vectors, and other operators for observables, can be expressed in the basis).
Momentum-space wave functions
The particle also has a wave function in
momentum space:
where is the
momentum
In Newtonian mechanics, momentum (: momenta or momentums; more specifically linear momentum or translational momentum) is the product of the mass and velocity of an object. It is a vector quantity, possessing a magnitude and a direction. ...
in one dimension, which can be any value from to , and is time.
Analogous to the position case, the inner product of two wave functions and can be defined as:
One particular solution to the time-independent Schrödinger equation is
a
plane wave, which can be used in the description of a particle with momentum exactly , since it is an eigenfunction of the
momentum operator. These functions are not normalizable to unity (they are not square-integrable), so they are not really elements of physical Hilbert space. The set
forms what is called the momentum basis. This "basis" is not a basis in the usual mathematical sense. For one thing, since the functions are not normalizable, they are instead normalized to a delta function,
[Also called "Dirac orthonormality", according to ]
For another thing, though they are linearly independent, there are too many of them (they form an uncountable set) for a basis for physical Hilbert space. They can still be used to express all functions in it using Fourier transforms as described next.
Relations between position and momentum representations
The and representations are
Now take the projection of the state onto eigenfunctions of momentum using the last expression in the two equations,
Then utilizing the known expression for suitably normalized eigenstates of momentum in the position representation solutions of the
free Schrödinger equation
one obtains
Likewise, using eigenfunctions of position,
The position-space and momentum-space wave functions are thus found to be
Fourier transform
In mathematics, the Fourier transform (FT) is an integral transform that takes a function as input then outputs another function that describes the extent to which various frequencies are present in the original function. The output of the tr ...
s of each other. They are two representations of the same state; containing the same information, and either one is sufficient to calculate any property of the particle.
In practice, the position-space wave function is used much more often than the momentum-space wave function. The potential entering the relevant equation (Schrödinger, Dirac, etc.) determines in which basis the description is easiest. For the
harmonic oscillator, and enter symmetrically, so there it does not matter which description one uses. The same equation (modulo constants) results. From this, with a little bit of afterthought, it follows that solutions to the wave equation of the harmonic oscillator are eigenfunctions of the Fourier transform in .
[The Fourier transform viewed as a unitary operator on the space has eigenvalues . The eigenvectors are "Hermite functions", i.e. Hermite polynomials multiplied by a ]Gaussian function
In mathematics, a Gaussian function, often simply referred to as a Gaussian, is a function (mathematics), function of the base form
f(x) = \exp (-x^2)
and with parametric extension
f(x) = a \exp\left( -\frac \right)
for arbitrary real number, rea ...
. See for a description of the Fourier transform as a unitary transformation. For eigenvalues and eigenvalues, refer to Problem 27 Ch. 9.
Definitions (other cases)
Following are the general forms of the wave function for systems in higher dimensions and more particles, as well as including other degrees of freedom than position coordinates or momentum components.
Finite dimensional Hilbert space
While
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
s originally refer to infinite dimensional
complete inner product space
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
s they, by definition, include finite dimensional
complete inner product space
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
s as well.
In physics, they are often referred to as ''finite dimensional Hilbert spaces''.
For every finite dimensional Hilbert space there exist
orthonormal basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite Dimension (linear algebra), dimension is a Basis (linear algebra), basis for V whose vectors are orthonormal, that is, they are all unit vec ...
kets that
span the entire Hilbert space.
If the -dimensional set
is orthonormal, then the projection operator for the space spanned by these states is given by:
where the projection is equivalent to identity operator since
spans the entire Hilbert space, thus leaving any vector from Hilbert space unchanged. This is also known as completeness relation of finite dimensional Hilbert space.
The wavefunction is instead given by:
where
, is a set of complex numbers which can be used to construct a wavefunction using the above formula.
Probability interpretation of inner product
If the set
are eigenkets of a non-
degenerate observable
In physics, an observable is a physical property or physical quantity that can be measured. In classical mechanics, an observable is a real-valued "function" on the set of all possible system states, e.g., position and momentum. In quantum ...
with eigenvalues
, by the
postulates of quantum mechanics, the probability of measuring the observable to be
is given according to
Born rule as:
For non-degenerate
of some observable, if eigenvalues
have subset of eigenvectors labelled as
, by the
postulates of quantum mechanics, the probability of measuring the observable to be
is given by:
where
is a projection operator of states to subspace spanned by
. The equality follows due to orthogonal nature of
.
Hence,
which specify state of the quantum mechanical system, have magnitudes whose square gives the probability of measuring the respective
state.
Physical significance of relative phase
While the relative phase has observable effects in experiments, the global phase of the system is experimentally indistinguishable. For example in a particle in superposition of two states, the global phase of the particle cannot be distinguished by finding expectation value of observable or probabilities of observing different states but relative phases can affect the expectation values of observables.
While the overall phase of the system is considered to be arbitrary, the relative phase for each state
of a prepared state in superposition can be determined based on physical meaning of the prepared state and its symmetry. For example, the construction of spin states along x direction as a superposition of spin states along z direction, can done by applying appropriate rotation transformation on the spin along z states which provides appropriate phase of the states relative to each other.
Application to include spin
An example of finite dimensional Hilbert space can be constructed using spin eigenkets of
-spin particles which forms a
dimensional
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
. However, the general wavefunction of a particle that fully describes its state, is always from an infinite dimensional
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
since it involves a tensor product with
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
relating to the position or momentum of the particle. Nonetheless, the techniques developed for finite dimensional Hilbert space are useful since they can either be treated independently or treated in consideration of linearity of tensor product.
Since the
spin operator for a given
-spin particles can be represented as a finite
matrix
Matrix (: matrices or matrixes) or MATRIX may refer to:
Science and mathematics
* Matrix (mathematics), a rectangular array of numbers, symbols or expressions
* Matrix (logic), part of a formula in prenex normal form
* Matrix (biology), the m ...
which acts on
independent spin vector components, it is usually preferable to denote spin components using matrix/column/row notation as applicable.
For example, each is usually identified as a column vector:
but it is a common abuse of notation, because the kets are not synonymous or equal to the column vectors. Column vectors simply provide a convenient way to express the spin components.
Corresponding to the notation, the z-component spin operator can be written as:
since the
eigenvector
In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by ...
s of z-component spin operator are the above column vectors, with eigenvalues being the corresponding spin quantum numbers.
Corresponding to the notation, a vector from such a finite dimensional Hilbert space is hence represented as:
where
are corresponding complex numbers.
In the following discussion involving spin, the complete wavefunction is considered as tensor product of spin states from finite dimensional Hilbert spaces and the wavefunction which was previously developed. The basis for this Hilbert space are hence considered:
.
One-particle states in 3d position space
The position-space wave function of a single particle without spin in three spatial dimensions is similar to the case of one spatial dimension above:
where is the
position vector
In geometry, a position or position vector, also known as location vector or radius vector, is a Euclidean vector that represents a point ''P'' in space. Its length represents the distance in relation to an arbitrary reference origin ''O'', and ...
in three-dimensional space, and is time. As always is a complex-valued function of real variables. As a single vector in
Dirac notation
All the previous remarks on inner products, momentum space wave functions, Fourier transforms, and so on extend to higher dimensions.
For a particle with
spin, ignoring the position degrees of freedom, the wave function is a function of spin only (time is a parameter);
where is the
spin projection quantum number along the axis. (The axis is an arbitrary choice; other axes can be used instead if the wave function is transformed appropriately, see below.) The parameter, unlike and , is a
discrete variable
In mathematics and statistics, a quantitative variable may be continuous or discrete. If it can take on two real values and all the values between them, the variable is continuous in that interval. If it can take on a value such that there i ...
. For example, for a
spin-1/2 particle, can only be or , and not any other value. (In general, for spin , can be ). Inserting each quantum number gives a complex valued function of space and time, there are of them. These can be arranged into a
column vector
In linear algebra, a column vector with elements is an m \times 1 matrix consisting of a single column of entries, for example,
\boldsymbol = \begin x_1 \\ x_2 \\ \vdots \\ x_m \end.
Similarly, a row vector is a 1 \times n matrix for some , c ...
In
bra–ket notation
Bra–ket notation, also called Dirac notation, is a notation for linear algebra and linear operators on complex vector spaces together with their dual space both in the finite-dimensional and infinite-dimensional case. It is specifically de ...
, these easily arrange into the components of a vector:
The entire vector is a solution of the Schrödinger equation (with a suitable Hamiltonian), which unfolds to a coupled system of ordinary differential equations with solutions . The term "spin function" instead of "wave function" is used by some authors. This contrasts the solutions to position space wave functions, the position coordinates being continuous degrees of freedom, because then the Schrödinger equation does take the form of a wave equation.
More generally, for a particle in 3d with any spin, the wave function can be written in "position–spin space" as:
and these can also be arranged into a column vector
in which the spin dependence is placed in indexing the entries, and the wave function is a complex
vector-valued function
A vector-valued function, also referred to as a vector function, is a mathematical function of one or more variables whose range is a set of multidimensional vectors or infinite-dimensional vectors. The input of a vector-valued function could ...
of space and time only.
All values of the wave function, not only for discrete but
continuous variables also, collect into a single vector
For a single particle, the
tensor product
In mathematics, the tensor product V \otimes W of two vector spaces V and W (over the same field) is a vector space to which is associated a bilinear map V\times W \rightarrow V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of ...
of its position state vector and spin state vector gives the composite position-spin state vector
with the identifications
The tensor product factorization of energy eigenstates is always possible if the orbital and spin angular momenta of the particle are separable in the
Hamiltonian operator underlying the system's dynamics (in other words, the Hamiltonian can be split into the sum of orbital and spin terms). The time dependence can be placed in either factor, and time evolution of each can be studied separately. Under such Hamiltonians, any tensor product state evolves into another tensor product state, which essentially means any unentangled state remains unentangled under time evolution. This is said to happen when there is no physical interaction between the states of the tensor products. In the case of non separable Hamiltonians, energy eigenstates are said to be some linear combination of such states, which need not be factorizable; examples include a particle in a
magnetic field
A magnetic field (sometimes called B-field) is a physical field that describes the magnetic influence on moving electric charges, electric currents, and magnetic materials. A moving charge in a magnetic field experiences a force perpendicular ...
, and
spin–orbit coupling.
The preceding discussion is not limited to spin as a discrete variable, the total
angular momentum
Angular momentum (sometimes called moment of momentum or rotational momentum) is the rotational analog of Momentum, linear momentum. It is an important physical quantity because it is a Conservation law, conserved quantity – the total ang ...
''J'' may also be used. Other discrete degrees of freedom, like
isospin
In nuclear physics and particle physics, isospin (''I'') is a quantum number related to the up- and down quark content of the particle.
Isospin is also known as isobaric spin or isotopic spin.
Isospin symmetry is a subset of the flavour symmetr ...
, can expressed similarly to the case of spin above.
Many-particle states in 3d position space

If there are many particles, in general there is only one wave function, not a separate wave function for each particle. The fact that ''one'' wave function describes ''many'' particles is what makes
quantum entanglement
Quantum entanglement is the phenomenon where the quantum state of each Subatomic particle, particle in a group cannot be described independently of the state of the others, even when the particles are separated by a large distance. The topic o ...
and the
EPR paradox possible. The position-space wave function for particles is written:
where is the position of the -th particle in three-dimensional space, and is time. Altogether, this is a complex-valued function of real variables.
In quantum mechanics there is a fundamental distinction between ''
identical particles
In quantum mechanics, indistinguishable particles (also called identical or indiscernible particles) are particles that cannot be distinguished from one another, even in principle. Species of identical particles include, but are not limited to, ...
'' and ''distinguishable'' particles. For example, any two electrons are identical and fundamentally indistinguishable from each other; the laws of physics make it impossible to "stamp an identification number" on a certain electron to keep track of it. This translates to a requirement on the wave function for a system of identical particles:
where the sign occurs if the particles are ''all bosons'' and sign if they are ''all fermions''. In other words, the wave function is either totally symmetric in the positions of bosons, or totally antisymmetric in the positions of fermions. The physical interchange of particles corresponds to mathematically switching arguments in the wave function. The antisymmetry feature of fermionic wave functions leads to the
Pauli principle. Generally, bosonic and fermionic symmetry requirements are the manifestation of
particle statistics and are present in other quantum state formalisms.
For ''distinguishable'' particles (no two being
identical, i.e. no two having the same set of quantum numbers), there is no requirement for the wave function to be either symmetric or antisymmetric.
For a collection of particles, some identical with coordinates and others distinguishable (not identical with each other, and not identical to the aforementioned identical particles), the wave function is symmetric or antisymmetric in the identical particle coordinates only:
Again, there is no symmetry requirement for the distinguishable particle coordinates .
The wave function for ''N'' particles each with spin is the complex-valued function
Accumulating all these components into a single vector,
For identical particles, symmetry requirements apply to both position and spin arguments of the wave function so it has the overall correct symmetry.
The formulae for the inner products are integrals over all coordinates or momenta and sums over all spin quantum numbers. For the general case of particles with spin in 3-d,
this is altogether three-dimensional
volume integrals and sums over the spins. The differential volume elements are also written "" or "".
The multidimensional Fourier transforms of the position or position–spin space wave functions yields momentum or momentum–spin space wave functions.
Probability interpretation
For the general case of particles with spin in 3d, if is interpreted as a probability amplitude, the probability density is
and the probability that particle 1 is in region with spin ''and'' particle 2 is in region with spin etc. at time is the integral of the probability density over these regions and evaluated at these spin numbers:
:
Physical significance of phase
In non-relativistic quantum mechanics, it can be shown using Schrodinger's time dependent wave equation that the equation:
is satisfied, where
is the probability density and
, is known as the
probability flux in accordance with the continuity equation form of the above equation.
Using the following expression for wavefunction:
where
is the probability density and
is the phase of the wavefunction, it can be shown that:
Hence the spacial variation of phase characterizes the
probability flux.
In classical analogy, for
, the quantity
is analogous with velocity. Note that this does not imply a literal interpretation of
as velocity since velocity and position cannot be simultaneously determined as per the
uncertainty principle
The uncertainty principle, also known as Heisenberg's indeterminacy principle, is a fundamental concept in quantum mechanics. It states that there is a limit to the precision with which certain pairs of physical properties, such as position a ...
. Substituting the form of wavefunction in Schrodinger's time dependent wave equation, and taking the classical limit,
:
Which is analogous to
Hamilton-Jacobi equation from classical mechanics. This interpretation fits with
Hamilton–Jacobi theory, in which
, where ' is
Hamilton's principal function.
Time dependence
For systems in time-independent potentials, the wave function can always be written as a function of the degrees of freedom multiplied by a time-dependent phase factor, the form of which is given by the Schrödinger equation. For particles, considering their positions only and suppressing other degrees of freedom,
where is the energy eigenvalue of the system corresponding to the eigenstate . Wave functions of this form are called
stationary states.
The time dependence of the quantum state and the operators can be placed according to unitary transformations on the operators and states. For any quantum state and operator , in the Schrödinger picture changes with time according to the Schrödinger equation while is constant. In the Heisenberg picture it is the other way round, is constant while evolves with time according to the Heisenberg equation of motion. The Dirac (or interaction) picture is intermediate, time dependence is places in both operators and states which evolve according to equations of motion. It is useful primarily in computing
S-matrix elements.
Non-relativistic examples
The following are solutions to the Schrödinger equation for one non-relativistic spinless particle.
Finite potential barrier

One of the most prominent features of wave mechanics is the possibility for a particle to reach a location with a prohibitive (in classical mechanics)
force potential. A common model is the "
potential barrier", the one-dimensional case has the potential