Revision as of 22:33, 21 December 2005 editMichael Hardy (talk | contribs)Administrators210,264 edits →Wavefunction representations← Previous edit | Latest revision as of 16:07, 13 December 2024 edit undoGKNishimoto (talk | contribs)498 edits There is already one in the same paragraph. Since we are in the initial summary, it is recommended to avoid it.Tag: Undo | ||
Line 1: | Line 1: | ||
{{Short description|Mathematical description of quantum state}} | |||
In ], the '''wavefunction''' associated with a particle such as an ], is a ] ] ψ defined over a portion of space and ] in such a way that | |||
{{distinguish|Wave equation}} | |||
] for a single spinless particle. The oscillations have no trajectory, but are instead represented each as waves; the vertical axis shows the real part (blue) and imaginary part (red) of the wave function. Panels (A-D) show four different standing-wave solutions of the ]. Panels (E–F) show two different wave functions that are solutions of the Schrödinger equation but not standing waves.]] | |||
] | |||
In ], a '''wave function''' (or '''wavefunction''') is a mathematical description of the ] of an isolated ]. The most common symbols for a wave function are the Greek letters {{math|''ψ''}} and {{math|Ψ}} (lower-case and capital ], respectively). Wave functions are ]. For example, a wave function might assign a complex number to each point in a region of space. The ]<ref name=Born_1926_A /><ref name="Born_1926_B" /><ref>] (1954).</ref> provides the means to turn these complex ]s into actual probabilities. In one common form, it says that the ] of a wave function that depends upon position is the ] of ] 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 ], whose eigenvalues correspond to sets of possible results of measurements, to the wave function {{math|''ψ''}} and calculate the statistical distributions for measurable quantities. | |||
:<math> \int |\psi(x)|^2\, dx = 1. \quad </math> | |||
Wave functions can be ] of variables other than position, such as ]. 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 ]. Some particles, like ]s and ]s, have nonzero ], 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 ]. 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 ] (e.g., a {{math|2 × 1}} column vector for a non-relativistic electron with spin {{math|{{frac|1|2}}}}). | |||
In ]'s probabilistic interpretation of the wavefunction, the ] squared of the wavefunction |ψ(x)|<sup>2</sup> is the ] of the particle's position. Thus the probability of finding the particle in a region ''A'' of space is | |||
According to the ] of quantum mechanics, wave functions can be added together and multiplied by complex numbers to form new wave functions and form a ]. 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 ], relating transition probabilities to inner products. The ] determines how wave functions evolve over time, and a wave function behaves qualitatively like other ]s, such as ]s or waves on a string, because the Schrödinger equation is mathematically a type of ]. This explains the name "wave function", and gives rise to ]. However, the wave function in quantum mechanics describes a kind of physical phenomenon, as of 2023 still open to different ], which fundamentally differs from that of ] waves.{{sfn|Born|1927|pp=354–357}}{{sfn|Heisenberg|1958|p=143}}<ref>] (1927/1985/2009). Heisenberg is translated by {{harvnb|Camilleri|2009|p=71}}, (from {{harvnb|Bohr|1985|p=142}}).</ref>{{sfn|Murdoch|1987|p=43}}{{sfn|de Broglie|1960|p=48}}{{sfn|Landau|Lifshitz|1977|p=6}}{{sfn|Newton|2002|pp=19–21}} | |||
:<math> \operatorname{Pr}(A) = \int_A |\psi(x)|^2\, dx. \quad </math> | |||
==Historical background== | |||
In the ], the ] of any system is represented by an object called a ], which is an element of an abstract mathematical structure called a ]. For isolated systems, the ] (or ]) of the system can be described by a ] of ]s. In a wide class of systems this Hilbert space of kets has one or more realizations as a space of complex-valued functions on some space; in this case we refer to these functions as ''wavefunctions''. However, a priori, there is no preferred representation as a Hilbert space of functions. Moreover, in some of these representations the time evolution of the system has the form of a ], namely ]. | |||
{{Quantum mechanics|cTopic=Fundamental concepts}} | |||
== Wavefunction representations == | |||
An ] {''e''<sub>''i''</sub>}<sub>''i''</sub> in a Hilbert space ''H'' provides a representation of elements of ''H'' by finite or countable vectors of abstract ''Fourier coefficients'' | |||
In 1900, ] postulated the proportionality between the frequency <math>f</math> of a photon and its energy {{nowrap|<math>E</math>,}} {{nowrap|<math>E = hf</math>,}}<ref>{{cite web |title=Planck - A very short biography of Planck |url=https://spark.iop.org/planck |website=spark.iop.org |publisher=] |access-date=12 February 2023}}</ref><ref>{{cite book |title=C/CS Pys C191:Representations and Wave Functions 》 1. Planck-Einstein Relation E=hv |date=30 September 2008 |publisher=EESC Instructional and Electronics Support, ] |page=1 |url=https://inst.eecs.berkeley.edu/~cs191/fa08/lectures/lecture8_fa08.pdf |access-date=12 February 2023}}</ref> | |||
:<math> \widehat{\psi}_i = \langle e_i | \psi \rangle </math> | |||
and in 1916 the corresponding relation between a photon's ] <math>p</math> and ] {{nowrap|<math>\lambda</math>,}} {{nowrap|<math>\lambda = \frac{h}{p}</math>,}}<ref>{{harvnb|Einstein|1916|pp=47–62}}, and a nearly identical version {{harvnb|Einstein|1917|pp=121–128}} translated in {{harvnb|ter Haar|1967|pp=167–183}}.</ref> | |||
where <math>h</math> is the ]. In 1923, De Broglie was the first to suggest that the relation {{nowrap|<math>\lambda = \frac{h}{p}</math>,}} now called the ], holds for ''massive'' particles, the chief clue being ],{{sfn|de Broglie|1923|pp=507–510,548,630}} and this can be viewed as the starting point for the modern development of quantum mechanics. The equations represent ] for both massless and massive particles. | |||
In the 1920s and 1930s, quantum mechanics was developed using ] and ]. Those who used the techniques of calculus included ], ], and others, developing "]". Those who applied the methods of linear algebra included ], ], and others, developing "]". Schrödinger subsequently showed that the two approaches were equivalent.{{sfn|Hanle|1977|pp=606–609}} | |||
where < | > is ]'s ] notation. | |||
In 1926, Schrödinger published the famous wave equation now named after him, the ]. This equation was based on ] ] using ] and the de Broglie relations and the solutions of the equation are the wave functions for the quantum system.{{sfn|Schrödinger|1926|pp=1049–1070}} However, no one was clear on how to interpret it.{{sfn|Tipler|Mosca|Freeman|2008}} 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.{{sfn|Weinberg|2013}} 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.<ref name=Born_1926_A>{{harvnb|Born|1926a}}, translated in {{harvnb|Wheeler|Zurek|1983}} at pages 52–55.</ref> | |||
Any separable Hilbert space has an orthonormal basis; these bases are not unique however. Nevertheless, for some physical systems there are certain orthonormal bases which have a natural physical interpretation. This fact justifies commonly used expressions regarding quantum states such as ''they exist in a superposition of basis states'', meaning exactly that each state can be represented as a possibly infinite linear combination | |||
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 ].<ref name=Born_1926_A /><ref name="Born_1926_B">{{harvnb|Born|1926b}}, translated in {{harvnb|Ludwig|1968|pp=206–225}}. Also {{Webarchive|url=https://web.archive.org/web/20201201173255/http://www.ymambrini.com/My_World/History_files/Born_1.pdf |date=2020-12-01 }}.</ref>{{sfn|Young|Freedman|2008|p=1333}} This relates calculations of quantum mechanics directly to probabilistic experimental observations. It is accepted as part of the ] of quantum mechanics. There are many other ]. In 1927, ] and ] made the first step in an attempt to solve the ] wave function, and developed the ''self-consistency cycle'': an ] ] to approximate the solution. Now it is also known as the ].{{sfn|Atkins|1974}} The ] and ] (of a ]) was part of the method, provided by ]. | |||
Schrödinger did encounter an equation for the wave function that satisfied ] energy conservation ''before'' he published the non-relativistic one, but discarded it as it predicted negative ] and negative ]. In 1927, ], ] and Fock also found it, but incorporated the ] ] and proved that it was ]. De Broglie also arrived at the same equation in 1928. This relativistic wave equation is now most commonly known as the ].{{sfn|Martin|Shaw|2008}} | |||
:<math> \psi = \sum \widehat{\psi}_i e_i .</math> | |||
In 1927, ] phenomenologically found a non-relativistic equation to describe spin-1/2 particles in electromagnetic fields, now called the ].{{sfn|Pauli|1927|pp=601–623.}} 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, ] found an equation from the first successful unification of ] and quantum mechanics applied to the ], now called the ]. In this, the wave function is a ] represented by four complex-valued components:{{sfn|Atkins|1974}} two for the electron and two for the electron's ], the ]. In the non-relativistic limit, the Dirac wave function resembles the Pauli wave function for the electron. Later, other ] were found. | |||
In fact, there is a far-reaching generalization of an orthonormal representation, which gives an analogous representation with respect to what we could loosely call a ''continuously indexed ] of a Hilbert space''. In this representation, ket vectors are represented by functions on the continuous index set and the ] of the Hilbert space corresponds to the integral of the product of two wavefunctions. In mathematical terms, such continuous orthonormal bases are referred to as diagonalizations, | |||
because mathematically they correspond to representing certain commutative algebras of operators as algebras of multiplication operators. The technical details of how this diagonalization is carried out is beyond the scope of this article, but it generalizes the result of linear algebra that a commutative algebra of operators closed under operator adjoint is diagonalized in some orthonormal basis. | |||
===Wave functions and wave equations in modern theories=== | |||
Two common diagonalizations used in quantum mechanics are the configuration (position) space representation (which diagonalizes the position operators) and the momentum space representation (which diagonalizes the momentum operators). These are also called by physicists the 'r-space representation' and the 'k-space representation', respectively. Due to the commutation relationship of the position and momentum operators, for a system of spinless particles in ] the r-space and k-space wavefunctions are ] pairs. The precise formulation of this last statement is rather subtle and is called the ] in the mathematical physics literature. | |||
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 ] and the ], 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 ], while very successful, has its limitations (see e.g. ]) and conceptual problems (see e.g. ]). | |||
A more general diagonalization in which ket vectors are represented by Hilbert space valued functions on some space occurs naturally, for example, those which involve ] spin or systems in which the number of particles or quanta is variable, for example, most of nonlinear ] or ], and any treated by ] or other quantized-field theories. This diagonal representation is usually called a ] of Hilbert spaces. | |||
Relativity makes it inevitable that the number of particles in a system is not constant. For full reconciliation, ] is needed.<ref>{{harvtxt|Weinberg|2002}} takes the standpoint that quantum field theory appears the way it does because it is the ''only'' way to reconcile quantum mechanics with special relativity.</ref> | |||
If the energy spectrum of a system is (partly) discrete, such as for a particle in an infinite potential well or the bound states of the hydrogen atom, then the position representation is continuous while the momentum representation is partly discrete. Wave mechanics are most often used when the number of particles is relatively small and knowledge of spatial configuration or 'shape' is important. | |||
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. | |||
Because the wavefunction relative to the configuration representation has a (comparatively) simple interpretation as a probability in configuration space, many introductory treatments of quantum mechanics are very much wave mechanical. Wave mechanics also dominated many of the more popular older standard textbooks, such as Messiah's ''Mecanique Quantique''. Hence the term '''wavefunction''' is sometimes used as a colloquialism for "]". This use, however, is deprecated; not only are there systems which cannot be represented by wavefunctions, but the term '''wavefunction''' also leads to the belief that there is wave propagation in some medium. | |||
Thus the Klein–Gordon equation (spin {{math|0}}) and the Dirac equation (spin {{math|{{frac|1|2}}}}) in this guise remain in the theory. Higher spin analogues include the ] (spin {{math|1}}), ] (spin {{math|{{frac|3|2}}}}), and, more generally, the ]. For ''massless'' free fields two examples are the free field ] (spin {{math|1}}) and the free field ] (spin {{math|2}}) for the field operators.<ref>{{harvtxt|Weinberg|2002}} See especially chapter 5, where some of these results are derived.</ref> | |||
<!-- A '''wavefunction''' is a ] that describes the properties of ]s. | |||
All of them are essentially a direct consequence of the requirement of ]. Their solutions must transform under Lorentz transformation in a prescribed way, i.e. under a particular ] and that together with few other reasonable demands, e.g. the ],<ref>{{harvnb|Weinberg|2002}} Chapter 4.</ref> | |||
with implications for ] is enough to fix the equations. | |||
*] - Particle with ] wavefunction | |||
*] - Particle with ] wavefunction | |||
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. | |||
See ] & ] --> | |||
In ], 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.{{sfn|Zwiebach|2009}} | |||
== Definition (one spinless particle in one dimension) == | |||
{{Unreferenced section|date=May 2021}} | |||
{{multiple image | |||
| align = right | |||
| direction = vertical | |||
| width = 402 | |||
| footer = The ] of position wave function {{math|Ψ(''x'')}} and momentum wave function {{math|Φ(''p'')}}, and corresponding probability densities {{math|{{!}}Ψ(''x''){{!}}<sup>2</sup>}} and {{math|{{!}}Φ(''p''){{!}}<sup>2</sup>}}, for one spin-0 particle in one {{mvar|x}} or {{mvar|p}} dimension. The colour opacity of the particles corresponds to the probability density (''not'' the wave function) of finding the particle at position {{mvar|x}} or momentum {{math|''p''}}. | |||
| image1 = Quantum mechanics standing wavefunctions.svg | |||
| caption1 = ]s for a ], examples of ]s. | |||
| image2 = Quantum mechanics travelling wavefunctions.svg | |||
| caption2 = Travelling waves of a free particle. | |||
}} | |||
For now, consider the simple case of a non-relativistic single particle, without ], in one spatial dimension. More general cases are discussed below. | |||
According to the ], the ] of a physical system, at fixed time <math>t</math>, is given by the wave function belonging to a ] ] ].{{sfn |Applications of Quantum Mechanics}}{{sfn | Griffiths | 2004 | p=94}} As such, the ] of two wave functions {{math|Ψ<sub>1</sub>}} and {{math|Ψ<sub>2</sub>}} can be defined as the complex number (at time {{mvar|t}})<ref group="nb">The functions are here assumed to be elements of {{math|]}}, 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 ] {{math|0}}. This is necessary to obtain an inner product (that is, {{math|1=(Ψ, Ψ) = 0 ⇒ Ψ ≡ 0}}) as opposed to a '''semi-inner product'''. The integral is taken to be the ]. This is essential for completeness of the space, thus yielding a complete inner product space = Hilbert space.</ref> | |||
:<math>( \Psi_1 , \Psi_2 ) = \int_{-\infty}^\infty \, \Psi_1^*(x, t)\Psi_2(x, t)\,dx < \infty</math>. | |||
More details are given ]. However, the inner product of a wave function {{math|Ψ}} with itself, | |||
:<math>(\Psi,\Psi) = \|\Psi\|^2</math>, | |||
is ''always'' a positive real number. The number {{math|{{norm|Ψ}}}} (not {{math|{{norm|Ψ}}<sup>2</sup>}}) is called the ''']''' of the wave function {{math|Ψ}}. | |||
The ] being considered is infinite-],<ref group="nb">In quantum mechanics, only ] are considered, which using ], implies it admits a countably infinite ] rather than an orthonormal basis in the sense of linear algebra (]).</ref> which means there is no finite set of ] which can be added together in various combinations to create every possible ]. | |||
=== Position-space wave functions === | |||
The state of such a particle is completely described by its wave function, <math display="block">\Psi(x,t)\,,</math> where {{mvar|x}} is position and {{mvar|t}} is time. This is a ] of two real variables {{mvar|x}} and {{mvar|t}}. | |||
For one spinless particle in one dimension, if the wave function is interpreted as a ]; the square ] of the wave function, the positive real number | |||
<math display="block"> \left|\Psi(x, t)\right|^2 = \Psi^*(x, t)\Psi(x, t) = \rho(x), </math> | |||
is interpreted as the ] for a measurement of the particle's position at a given time {{math|''t''}}. The asterisk indicates the ]. If the particle's position is ], its location cannot be determined from the wave function, but is described by a ]. | |||
====Normalization condition==== | |||
The probability that its position {{math|''x''}} will be in the interval {{math|''a'' ≤ ''x'' ≤ ''b''}} is the integral of the density over this interval: | |||
<math display="block">P_{a\le x\le b} (t) = \int_a^b \,|\Psi(x,t)|^2 dx </math> | |||
where {{mvar|t}} is the time at which the particle was measured. This leads to the '''normalization condition''': | |||
<math display="block">\int_{-\infty}^\infty \, |\Psi(x,t)|^2dx = 1\,,</math> | |||
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 ], meaning that it is possible to add together different wave functions, and multiply wave functions by complex numbers. Technically, wave functions form a ] in a ] rather than an ordinary vector space. | |||
====Quantum states as vectors==== | |||
{{See also|Mathematical formulation of quantum mechanics|Bra–ket notation|Position operator}} | |||
At a particular instant of time, all values of the wave function {{math|Ψ(''x'', ''t'')}} are components of a vector. There are uncountably infinitely many of them and integration is used in place of summation. In ], this vector is written | |||
<math display="block">|\Psi(t)\rangle = \int\Psi(x,t) |x\rangle dx </math> | |||
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 ] can be used to manipulate and understand wave functions. For example: | |||
** Linear algebra explains how a vector space can be given a ], 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. | |||
** ] can be used to manipulate wave functions. | |||
* The idea that ]s are vectors in an abstract vector space is completely general in all aspects of quantum mechanics and ], 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 {{mvar|x}} coordinate is a continuous index. The {{math|{{ket|''x''}}}} are called ''improper vectors'' which, unlike ''proper vectors'' that are normalizable to unity, can only be normalized to a Dirac delta function.<ref group="nb">As, technically, they are not in the Hilbert space. See ] for more details.</ref><ref name=":0" group="nb" />{{sfn|Shankar|1994|p=117}} | |||
<math display="block">\langle x' | x \rangle = \delta(x' - x) </math> | |||
thus | |||
<math display="block">\langle x' |\Psi\rangle = \int \Psi(x) \langle x'|x\rangle dx= \Psi(x') </math> | |||
and | |||
<math display="block">|\Psi\rangle = \int |x\rangle \langle x |\Psi\rangle dx= \left( \int |x\rangle \langle x |dx\right) |\Psi\rangle </math> | |||
which illuminates the ] | |||
<math display="block">I = \int |x\rangle \langle x | dx\,. </math>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 ]: | |||
<math display="block">\Phi(p,t)</math> | |||
where {{mvar|p}} is the ] in one dimension, which can be any value from {{math|−∞}} to {{math|+∞}}, and {{mvar|t}} is time. | |||
Analogous to the position case, the inner product of two wave functions {{math|Φ<sub>1</sub>(''p'', ''t'')}} and {{math|Φ<sub>2</sub>(''p'', ''t'')}} can be defined as: | |||
<math display="block">(\Phi_1 , \Phi_2 ) = \int_{-\infty}^\infty \, \Phi_1^*(p, t)\Phi_2(p, t) dp\,.</math> | |||
One particular solution to the time-independent Schrödinger equation is | |||
<math display="block">\Psi_p(x) = e^{ipx/\hbar},</math> | |||
a ], which can be used in the description of a particle with momentum exactly {{mvar|p}}, 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 | |||
<math display="block">\{\Psi_p(x, t), -\infty \le p \le \infty\}</math> | |||
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''',<ref group="nb" name=":0">Also called "Dirac orthonormality", according to {{cite book | last = Griffiths | first = David J. | title = Introduction to Quantum Mechanics | edition = 3rd}}</ref> | |||
<math display="block">(\Psi_{p},\Psi_{p'}) = \delta(p - p').</math> | |||
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 {{math|''x''}} and {{math|''p''}} representations are | |||
<math display="block">\begin{align} | |||
|\Psi\rangle = I|\Psi\rangle &= \int |x\rangle \langle x|\Psi\rangle dx = \int \Psi(x) |x\rangle dx,\\ | |||
|\Psi\rangle = I|\Psi\rangle &= \int |p\rangle \langle p|\Psi\rangle dp = \int \Phi(p) |p\rangle dp. | |||
\end{align}</math> | |||
Now take the projection of the state {{math|Ψ}} onto eigenfunctions of momentum using the last expression in the two equations, | |||
<math display="block">\int \Psi(x) \langle p|x\rangle dx = \int \Phi(p') \langle p|p'\rangle dp' = \int \Phi(p') \delta(p-p') dp' = \Phi(p).</math> | |||
Then utilizing the known expression for suitably normalized eigenstates of momentum in the position representation solutions of the ] | |||
<math display="block">\langle x | p \rangle = p(x) = \frac{1}{\sqrt{2\pi\hbar}}e^{\frac{i}{\hbar}px} \Rightarrow \langle p | x \rangle = \frac{1}{\sqrt{2\pi\hbar}}e^{-\frac{i}{\hbar}px},</math> | |||
one obtains | |||
<math display="block">\Phi(p) = \frac{1}{\sqrt{2\pi\hbar}}\int \Psi(x)e^{-\frac{i}{\hbar}px}dx\,.</math> | |||
Likewise, using eigenfunctions of position, | |||
<math display="block">\Psi(x) = \frac{1}{\sqrt{2\pi\hbar}}\int \Phi(p)e^{\frac{i}{\hbar}px}dp\,.</math> | |||
The position-space and momentum-space wave functions are thus found to be ]s of each other.{{sfn|Griffiths|2004}} 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 ], {{mvar|x}} and {{mvar|p}} 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 {{math|''L''<sup>2</sup>}}.<ref group=nb>The Fourier transform viewed as a unitary operator on the space {{math|''L''<sup>2</sup>}} has eigenvalues {{math|±1, ±''i''}}. The eigenvectors are "Hermite functions", i.e. ] multiplied by a ]. See {{harvtxt|Byron|Fuller|1992}} for a description of the Fourier transform as a unitary transformation. For eigenvalues and eigenvalues, refer to Problem 27 Ch. 9.</ref> | |||
== 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 ]s originally refer to infinite dimensional ] ]s they, by definition, include finite dimensional ] ]s as well.{{sfn | Treves | 2006 | p=112-125}} | |||
In physics, they are often referred to as ''finite dimensional Hilbert spaces''.<ref name=":0">{{Cite web |last=B. Griffiths |first=Robert |author-link=Robert B. Griffiths |title=Hilbert Space Quantum Mechanics |url=https://quantum.phys.cmu.edu/QCQI/qitd114.pdf |page=1}}</ref> For every finite dimensional Hilbert space there exist ] kets that ] the entire Hilbert space. | |||
If the {{math|''N''}}-dimensional set <math display="inline">\{ |\phi_i\rangle \}</math> is orthonormal, then the projection operator for the space spanned by these states is given by: | |||
<math display="block">P = \sum_i |\phi_i\rangle\langle \phi_i | = I </math>where the projection is equivalent to identity operator since <math display="inline">\{ |\phi_i\rangle \}</math> 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: | |||
<math display="block">|\psi\rangle = I|\psi\rangle = \sum_i |\phi_i\rangle\langle \phi_i |\psi\rangle </math>where <math display="inline">\{ \langle \phi_i |\psi\rangle \} </math>, 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 <math display="inline">\{ |\phi_i\rangle \}</math> are eigenkets of a non-] ] with eigenvalues <math display="inline">\lambda_i</math>, by the ], the probability of measuring the observable to be <math display="inline">\lambda_i</math> is given according to ] as:{{sfn | Landsman | 2009}} | |||
<math display="block">P_\psi(\lambda_i) = |\langle \phi_i|\psi \rangle|^2 </math> | |||
For non-degenerate <math display="inline">\{ |\phi_i\rangle \}</math> of some observable, if eigenvalues <math display="inline">\lambda</math> have subset of eigenvectors labelled as <math display="inline">\{ |\lambda^{(j)}\rangle \}</math>, by the ], the probability of measuring the observable to be <math display="inline">\lambda</math> is given by: | |||
<math display="block">P_\psi(\lambda) =\sum_j |\langle \lambda^{(j)}|\psi \rangle|^2 = |\widehat P_\lambda |\psi \rangle |^2 </math>where <math display="inline">\widehat P_\lambda =\sum_j|\lambda^{(j)}\rangle\langle\lambda^{(j)}| </math> is a projection operator of states to subspace spanned by <math display="inline">\{ |\lambda^{(j)}\rangle \}</math>. The equality follows due to orthogonal nature of <math display="inline">\{ |\phi_i\rangle \}</math>. | |||
Hence, <math display="inline">\{ \langle \phi_i |\psi\rangle \} </math> which specify state of the quantum mechanical system, have magnitudes whose square gives the probability of measuring the respective <math display="inline">|\phi_i\rangle </math> 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 <math display="inline">|\phi_i\rangle </math> 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 <math display="inline">s</math>-spin particles which forms a <math display="inline">2s+1</math> dimensional ]. However, the general wavefunction of a particle that fully describes its state, is always from an infinite dimensional ] since it involves a tensor product with ] 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 ] for a given <math display="inline">s</math>-spin particles can be represented as a finite <math display="inline">(2s+1)^2 </math> ] which acts on <math display="inline">2s+1</math> independent spin vector components, it is usually preferable to denote spin components using matrix/column/row notation as applicable. | |||
For example, each {{math|{{ket|''s<sub>z</sub>''}}}} is usually identified as a column vector:<math display="block">|s\rangle \leftrightarrow \begin{bmatrix} 1 \\ 0 \\ \vdots \\ 0 \\ 0 \\ \end{bmatrix} \,, \quad |s-1\rangle \leftrightarrow \begin{bmatrix} 0 \\ 1 \\ \vdots \\ 0 \\ 0 \\ \end{bmatrix} \,, \ldots \,, \quad |-(s-1)\rangle \leftrightarrow \begin{bmatrix} 0 \\ 0 \\ \vdots \\ 1 \\ 0 \\ \end{bmatrix} \,,\quad |-s\rangle \leftrightarrow \begin{bmatrix} 0 \\ 0 \\ \vdots \\ 0 \\ 1 \\ \end{bmatrix}</math> | |||
but it is a common abuse of notation, because the kets {{math|{{ket|''s<sub>z</sub>''}}}} 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:<math display="block">\frac{1}{\hbar}\hat{S}_z = \begin{bmatrix} s & 0 & \cdots & 0 & 0 \\ 0 & s-1 & \cdots & 0 & 0 \\ \vdots & \vdots & \ddots & \vdots & \vdots \\ 0 & 0 & \cdots & -(s-1) & 0 \\ 0 & 0 & \cdots & 0 & -s \end{bmatrix} </math> | |||
since the ]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: | |||
<math display="block">|\phi\rangle = \begin{bmatrix} \langle s| \phi\rangle \\ \langle s-1| \phi\rangle \\ \vdots \\ \langle -(s-1)| \phi\rangle \\ \langle -s| \phi\rangle \\ \end{bmatrix} =\begin{bmatrix} \varepsilon_s \\ \varepsilon_{s-1}\\ \vdots \\ \varepsilon_{-s+1} \\ \varepsilon_{-s} \\ \end{bmatrix} </math>where <math display="inline"> \{ \varepsilon_i \} </math> 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: <math> |\mathbf{r}, s_z\rangle = |\mathbf{r}\rangle |s_z\rangle </math>. | |||
=== 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: <math display="block">\Psi(\mathbf{r},t)</math> where {{math|'''r'''}} is the ] in three-dimensional space, and {{math|''t''}} is time. As always {{math|Ψ('''r''', ''t'')}} is a complex-valued function of real variables. As a single vector in ] | |||
<math display="block">|\Psi(t)\rangle = \int d^3\! \mathbf{r}\, \Psi(\mathbf{r},t) \,|\mathbf{r}\rangle </math> | |||
All the previous remarks on inner products, momentum space wave functions, Fourier transforms, and so on extend to higher dimensions. | |||
For a particle with ], ignoring the position degrees of freedom, the wave function is a function of spin only (time is a parameter); | |||
<math display="block">\xi(s_z,t)</math> | |||
where {{math|''s''<sub>z</sub>}} is the ] along the {{mvar|z}} axis. (The {{mvar|z}} axis is an arbitrary choice; other axes can be used instead if the wave function is transformed appropriately, see below.) The {{math|''s<sub>z</sub>''}} parameter, unlike {{math|'''r'''}} and {{mvar|t}}, is a ]. For example, for a ] particle, {{math|''s''<sub>z</sub>}} can only be {{math|+1/2}} or {{math|−1/2}}, and not any other value. (In general, for spin {{mvar|s}}, {{math|''s<sub>z</sub>''}} can be {{math|''s'', ''s'' − 1, ..., −''s'' + 1, −''s''}}). Inserting each quantum number gives a complex valued function of space and time, there are {{math|2''s'' + 1}} of them. These can be arranged into a ] | |||
<math display="block">\xi = \begin{bmatrix} \xi(s,t) \\ \xi(s-1,t) \\ \vdots \\ \xi(-(s-1),t) \\ \xi(-s,t) \\ \end{bmatrix} = \xi(s,t) \begin{bmatrix} 1 \\ 0 \\ \vdots \\ 0 \\ 0 \\ \end{bmatrix} + \xi(s-1,t)\begin{bmatrix} 0 \\ 1 \\ \vdots \\ 0 \\ 0 \\ \end{bmatrix} + \cdots + \xi(-(s-1),t) \begin{bmatrix} 0 \\ 0 \\ \vdots \\ 1 \\ 0 \\ \end{bmatrix} + \xi(-s,t) \begin{bmatrix} 0 \\ 0 \\ \vdots \\ 0 \\ 1 \\ \end{bmatrix} </math> | |||
In ], these easily arrange into the components of a vector: | |||
<math display="block">|\xi (t)\rangle = \sum_{s_z=-s}^s \xi(s_z,t) \,| s_z \rangle </math> | |||
The entire vector {{math|''ξ''}} is a solution of the Schrödinger equation (with a suitable Hamiltonian), which unfolds to a coupled system of {{math|2''s'' + 1}} ordinary differential equations with solutions {{math|''ξ''(''s'', ''t''), ''ξ''(''s'' − 1, ''t''), ..., ''ξ''(−''s'', ''t'')}}. 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: | |||
<math display="block">\Psi(\mathbf{r},s_z,t)</math> | |||
and these can also be arranged into a column vector | |||
<math display="block">\Psi(\mathbf{r},t) = \begin{bmatrix} \Psi(\mathbf{r},s,t) \\ \Psi(\mathbf{r},s-1,t) \\ \vdots \\ \Psi(\mathbf{r},-(s-1),t) \\ \Psi(\mathbf{r},-s,t) \\ \end{bmatrix}</math> | |||
in which the spin dependence is placed in indexing the entries, and the wave function is a complex vector-valued function of space and time only. | |||
All values of the wave function, not only for discrete but ] also, collect into a single vector | |||
<math display="block">|\Psi(t)\rangle = | |||
\sum_{s_z}\int d^3\!\mathbf{r} \,\Psi(\mathbf{r},s_z,t)\, |\mathbf{r}, s_z\rangle </math> | |||
For a single particle, the ] {{math|⊗}} of its position state vector {{math|{{ket|''ψ''}}}} and spin state vector {{math|{{ket|''ξ''}}}} gives the composite position-spin state vector | |||
<math display="block">|\psi(t)\rangle\! \otimes\! |\xi(t)\rangle = | |||
\sum_{s_z}\int d^3\! \mathbf{r}\, \psi(\mathbf{r},t)\,\xi(s_z,t) \,|\mathbf{r}\rangle \!\otimes\! |s_z\rangle </math> | |||
with the identifications | |||
<math display="block">|\Psi (t)\rangle = |\psi(t)\rangle | |||
\!\otimes\! | |||
|\xi(t)\rangle </math> | |||
<math display="block">\Psi(\mathbf{r},s_z,t) = \psi(\mathbf{r},t)\,\xi(s_z,t) </math> | |||
<math display="block">|\mathbf{r},s_z \rangle= |\mathbf{r}\rangle \!\otimes\! |s_z\rangle </math> | |||
The tensor product factorization of energy eigenstates is always possible if the orbital and spin angular momenta of the particle are separable in the ] underlying the system's dynamics (in other words, the Hamiltonian can be split into the sum of orbital and spin terms{{sfn|Shankar|1994|pp=378–379}}). 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 ], and ]. | |||
The preceding discussion is not limited to spin as a discrete variable, the total ] ''J'' may also be used.{{sfn|Landau|Lifshitz|1977}} Other discrete degrees of freedom, like ], 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 ] and the ] possible. The position-space wave function for {{math|''N''}} particles is written:{{sfn|Atkins|1974}} | |||
<math display="block">\Psi(\mathbf{r}_1,\mathbf{r}_2 \cdots \mathbf{r}_N,t)</math> | |||
where {{math|'''r'''<sub>''i''</sub>}} is the position of the {{mvar|i}}-th particle in three-dimensional space, and {{mvar|t}} is time. Altogether, this is a complex-valued function of {{math|3''N'' + 1}} real variables. | |||
In quantum mechanics there is a fundamental distinction between '']'' 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.{{sfn|Griffiths|2004}} This translates to a requirement on the wave function for a system of identical particles: | |||
<math display="block">\Psi \left ( \ldots \mathbf{r}_a, \ldots , \mathbf{r}_b, \ldots \right ) = \pm \Psi \left ( \ldots \mathbf{r}_b, \ldots , \mathbf{r}_a, \ldots \right )</math> | |||
where the {{math|+}} sign occurs if the particles are ''all bosons'' and {{math|−}} 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.{{sfn|Zettili|2009|p=463}} The physical interchange of particles corresponds to mathematically switching arguments in the wave function. The antisymmetry feature of fermionic wave functions leads to the ]. Generally, bosonic and fermionic symmetry requirements are the manifestation of ] and are present in other quantum state formalisms. | |||
For {{math|''N''}} ''distinguishable'' particles (no two being ], 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 {{math|'''r'''<sub>1</sub>, '''r'''<sub>2</sub>, ...}} and others distinguishable {{math|'''x'''<sub>1</sub>, '''x'''<sub>2</sub>, ...}} (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 {{math|'''r'''<sub>''i''</sub>}} only: | |||
<math display="block">\Psi \left ( \ldots \mathbf{r}_a, \ldots , \mathbf{r}_b, \ldots , \mathbf{x}_1, \mathbf{x}_2, \ldots \right ) = \pm \Psi \left ( \ldots \mathbf{r}_b, \ldots , \mathbf{r}_a, \ldots , \mathbf{x}_1, \mathbf{x}_2, \ldots \right )</math> | |||
Again, there is no symmetry requirement for the distinguishable particle coordinates {{math|'''x'''<sub>''i''</sub>}}. | |||
The wave function for ''N'' particles each with spin is the complex-valued function | |||
<math display="block">\Psi(\mathbf{r}_1, \mathbf{r}_2 \cdots \mathbf{r}_N, s_{z\,1}, s_{z\,2} \cdots s_{z\,N}, t)</math> | |||
Accumulating all these components into a single vector, | |||
<math display="block">| \Psi \rangle = \overbrace{\sum_{s_{z\,1},\ldots,s_{z\,N}}}^{\text{discrete labels}} \overbrace{\int_{R_N} d^3\mathbf{r}_N \cdots \int_{R_1} d^3\mathbf{r}_1}^{\text{continuous labels}} \; \underbrace{{\Psi}( \mathbf{r}_1, \ldots, \mathbf{r}_N , s_{z\,1} , \ldots , s_{z\,N} )}_{\begin{array}{c}\text{wave function (component of } \\ \text{ state vector along basis state)}\end{array}} \; \underbrace{| \mathbf{r}_1, \ldots, \mathbf{r}_N , s_{z\,1} , \ldots , s_{z\,N} \rangle }_{\text{basis state (basis ket)}}\,.</math> | |||
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 {{math|''N''}} particles with spin in 3-d, | |||
<math display="block"> ( \Psi_1 , \Psi_2 ) = \sum_{s_{z\,N}} \cdots \sum_{s_{z\,2}} \sum_{s_{z\,1}} \int\limits_{\mathrm{ all \, space}} d ^3\mathbf{r}_1 \int\limits_{\mathrm{ all \, space}} d ^3\mathbf{r}_2\cdots \int\limits_{\mathrm{ all \, space}} d ^3 \mathbf{r}_N \Psi^{*}_1 \left(\mathbf{r}_1 \cdots \mathbf{r}_N,s_{z\,1}\cdots s_{z\,N},t \right )\Psi_2 \left(\mathbf{r}_1 \cdots \mathbf{r}_N,s_{z\,1}\cdots s_{z\,N},t \right ) </math> | |||
this is altogether {{mvar|N}} three-dimensional ]s and {{mvar|N}} sums over the spins. The differential volume elements {{math|''d''<sup>3</sup>'''r'''<sub>''i''</sub>}} are also written "{{math|''dV''<sub>''i''</sub>}}" or "{{math|''dx<sub>i</sub> dy<sub>i</sub> dz<sub>i</sub>''}}". | |||
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 {{mvar|N}} particles with spin in 3d, if {{math|Ψ}} is interpreted as a probability amplitude, the probability density is | |||
<math display="block">\rho\left(\mathbf{r}_1 \cdots \mathbf{r}_N,s_{z\,1}\cdots s_{z\,N},t \right ) = \left | \Psi\left (\mathbf{r}_1 \cdots \mathbf{r}_N,s_{z\,1}\cdots s_{z\,N},t \right ) \right |^2</math> | |||
and the probability that particle 1 is in region {{math|''R''<sub>1</sub>}} with spin {{math|1=''s''<sub>''z''1</sub> = ''m''<sub>1</sub>}} ''and'' particle 2 is in region {{math|''R''<sub>2</sub>}} with spin {{math|1=''s''<sub>''z''2</sub> = ''m''<sub>2</sub>}} etc. at time {{math|''t''}} is the integral of the probability density over these regions and evaluated at these spin numbers: | |||
:<math>P_{\mathbf{r}_1\in R_1,s_{z\,1} = m_1, \ldots, \mathbf{r}_N\in R_N,s_{z\,N} = m_N} (t) = \int_{R_1} d ^3\mathbf{r}_1 \int_{R_2} d ^3\mathbf{r}_2\cdots \int_{R_N} d ^3\mathbf{r}_N \left | \Psi\left (\mathbf{r}_1 \cdots \mathbf{r}_N,m_1\cdots m_N,t \right ) \right |^2</math> | |||
==== Physical significance of phase ==== | |||
In non-relativistic quantum mechanics, it can be shown using Schrodinger's time dependent wave equation that the equation: | |||
<math display="block">\frac{\partial \rho}{\partial t} + \nabla\cdot\mathbf J = 0 </math>is satisfied, where <math display="inline">\rho(\mathbf x,t) = | \psi(\mathbf x,t)|^2 </math> is the probability density and <math display="inline">\mathbf J(\mathbf x,t) = \frac{\hbar}{2im}(\psi^* \nabla\psi-\psi\nabla\psi^*) = \frac{\hbar}{m} \text{Im}(\psi^* \nabla\psi) </math>, is known as the ] in accordance with the continuity equation form of the above equation. | |||
Using the following expression for wavefunction:<math display="block">\psi(\mathbf x,t)= \sqrt{\rho(\mathbf x,t)}\exp{\frac{iS(\mathbf x,t )}{\hbar}} </math>where <math display="inline">\rho(\mathbf x,t) = | \psi(\mathbf x,t)|^2 </math> is the probability density and <math display="inline">S(\mathbf x,t) </math> is the phase of the wavefunction, it can be shown that: | |||
<math display="block">\mathbf J(\mathbf x,t) = \frac{\rho \nabla S}{m} </math> | |||
Hence the spacial variation of phase characterizes the ]. | |||
In classical analogy, for <math display="inline">\mathbf J = \rho \mathbf v </math>, the quantity <math display="inline"> \frac{\nabla S}{m} </math> is analogous with velocity. Note that this does not imply a literal interpretation of <math display="inline"> \frac{\nabla S}{m} </math> as velocity since velocity and position cannot be simultaneously determined as per the ]. Substituting the form of wavefunction in Schrodinger's time dependent wave equation, and taking the classical limit, <math display="inline"> \hbar |\nabla^2 S| \ll |\nabla S|^2 </math>: | |||
<math display="block">\frac{1}{2m} |\nabla S(\mathbf x, t)|^2 + V(\mathbf x) + \frac{\partial S}{\partial t} = 0 </math> | |||
Which is analogous to ] from classical mechanics. This interpretation fits with ], in which <math display="inline"> \mathbf{P}_{\text{class.}} = \nabla S </math>, where ''{{mvar|S}}'' is ].<ref>{{Cite book |last1=Sakurai |first1=Jun John |title=Modern quantum mechanics |last2=Napolitano |first2=Jim |date=2021 |publisher=Cambridge University Press |isbn=978-1-108-47322-4 |edition=3rd |location=Cambridge |pages=94–97}}</ref> | |||
== Time dependence == | |||
{{main|Dynamical pictures}} | |||
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 {{mvar|N}} particles, considering their positions only and suppressing other degrees of freedom, | |||
<math display="block">\Psi(\mathbf{r}_1,\mathbf{r}_2,\ldots,\mathbf{r}_N,t) = e^{-i Et/\hbar} \,\psi(\mathbf{r}_1,\mathbf{r}_2,\ldots,\mathbf{r}_N)\,,</math> | |||
where {{mvar|E}} is the energy eigenvalue of the system corresponding to the eigenstate {{math|Ψ}}. Wave functions of this form are called ]s. | |||
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 {{math|{{ket|Ψ}}}} and operator {{math|''O''}}, in the Schrödinger picture {{math|{{ket|Ψ(''t'')}}}} changes with time according to the Schrödinger equation while {{math|''O''}} is constant. In the Heisenberg picture it is the other way round, {{math|{{ket|Ψ}}}} is constant while {{math|''O''(''t'')}} 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 ].<ref>{{Harvnb|Weinberg|2002}} Chapter 3, Scattering matrix.</ref> | |||
==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) ]. A common model is the "]", the one-dimensional case has the potential | |||
<math display="block">V(x)=\begin{cases}V_0 & |x|<a \\ 0 & | x | \geq a\end{cases}</math> | |||
and the steady-state solutions to the wave equation have the form (for some constants {{math|''k'', ''κ''}}) | |||
<math display="block">\Psi (x) = \begin{cases} | |||
A_{\mathrm{r}}e^{ikx}+A_{\mathrm{l}}e^{-ikx} & x<-a, \\ | |||
B_{\mathrm{r}}e^{\kappa x}+B_{\mathrm{l}}e^{-\kappa x} & |x|\le a, \\ | |||
C_{\mathrm{r}}e^{ikx}+C_{\mathrm{l}}e^{-ikx} & x>a. | |||
\end{cases}</math> | |||
Note that these wave functions are not normalized; see ] for discussion. | |||
The standard interpretation of this is as a stream of particles being fired at the step from the left (the direction of negative {{mvar|x}}): setting {{math|1=''A''<sub>r</sub> = 1}} corresponds to firing particles singly; the terms containing {{math|''A''<sub>r</sub>}} and {{math|''C''<sub>r</sub>}} signify motion to the right, while {{math|''A''<sub>l</sub>}} and {{math|''C''<sub>l</sub>}} – to the left. Under this beam interpretation, put {{math|1=''C''<sub>l</sub> = 0}} since no particles are coming from the right. By applying the continuity of wave functions and their derivatives at the boundaries, it is hence possible to determine the constants above. | |||
] | |||
In a semiconductor ] whose radius is smaller than the size of its ] ], the excitons are squeezed, leading to ]. The energy levels can then be modeled using the ] model in which the energy of different states is dependent on the length of the box. | |||
===Quantum harmonic oscillator=== | |||
The wave functions for the ] can be expressed in terms of ]s {{math|''H<sub>n</sub>''}}, they are | |||
<math display="block"> \Psi_n(x) = \sqrt{\frac{1}{2^n\,n!}} \cdot \left(\frac{m\omega}{\pi \hbar}\right)^{1/4} \cdot e^{ | |||
- \frac{m\omega x^2}{2 \hbar}} \cdot H_n{\left(\sqrt{\frac{m\omega}{\hbar}} x \right)} </math> | |||
where {{math|1=''n'' = 0, 1, 2, ...}}. | |||
] electron ] shown as cross-sections. These orbitals form an ] for the wave function of the electron. Different orbitals are depicted with different scale.]] | |||
===Hydrogen atom=== | |||
The wave functions of an electron in a ] are expressed in terms of ] and ] (these are defined differently by different authors—see main article on them and the hydrogen atom). | |||
It is convenient to use spherical coordinates, and the wave function can be separated into functions of each coordinate,<ref>Physics for Scientists and Engineers – with Modern Physics (6th Edition), P. A. Tipler, G. Mosca, Freeman, 2008, {{ISBN|0-7167-8964-7}}</ref> | |||
<math display="block"> \Psi_{n\ell m}(r,\theta,\phi) = R(r)\,\,Y_\ell^m\!(\theta, \phi)</math> | |||
where {{math|''R''}} are radial functions and {{math|''Y''{{su|p=''m''|b=''ℓ''}}(''θ'', ''φ'')}} are ]s of degree {{math|''ℓ''}} and order {{math|''m''}}. This is the only atom for which the Schrödinger equation has been solved exactly. Multi-electron atoms require approximative methods. The family of solutions is:{{sfn|Griffiths|2008|pp=162ff}} | |||
<math display="block"> \Psi_{n\ell m}(r,\theta,\phi) = \sqrt {{\left ( \frac{2}{n a_0} \right )}^3\frac{(n-\ell-1)!}{2n} } e^{- r/na_0} \left(\frac{2r}{na_0}\right)^{\ell} L_{n-\ell-1}^{2\ell+1}\left(\frac{2r}{na_0}\right) \cdot Y_{\ell}^{m}(\theta, \phi ) </math> | |||
where {{math|1=''a''<sub>0</sub> = 4''πε''<sub>0</sub>''ħ''<sup>2</sup>/''m<sub>e</sub>e''<sup>2</sup>}} is the ], | |||
{{math|''L''{{su|b=''n'' − ''ℓ'' − 1|p=2''ℓ'' + 1}}}} are the ] of degree {{math|''n'' − ''ℓ'' − 1}}, {{math|1=''n'' = 1, 2, ...}} is the ], {{math|1=''ℓ'' = 0, 1, ..., ''n'' − 1}} the ], {{math|1=''m'' = −''ℓ'', −''ℓ'' + 1, ..., ''ℓ'' − 1, ''ℓ''}} the ]. ]s have very similar solutions. | |||
This solution does not take into account the spin of the electron. | |||
In the figure of the hydrogen orbitals, the 19 sub-images are images of wave functions in position space (their norm squared). The wave functions represent the abstract state characterized by the triple of quantum numbers {{math|(''n'', ''ℓ'', ''m'')}}, in the lower right of each image. These are the principal quantum number, the orbital angular momentum quantum number, and the magnetic quantum number. Together with one spin-projection quantum number of the electron, this is a complete set of observables. | |||
The figure can serve to illustrate some further properties of the function spaces of wave functions. | |||
* In this case, the wave functions are square integrable. One can initially take the function space as the space of square integrable functions, usually denoted {{math|]}}. | |||
* The displayed functions are solutions to the Schrödinger equation. Obviously, not every function in {{math|''L''<sup>2</sup>}} satisfies the Schrödinger equation for the hydrogen atom. The function space is thus a subspace of {{math|''L''<sup>2</sup>}}. | |||
* The displayed functions form part of a basis for the function space. To each triple {{math|(''n'', ''ℓ'', ''m'')}}, there corresponds a basis wave function. If spin is taken into account, there are two basis functions for each triple. The function space thus has a ]. | |||
* The basis functions are mutually ]. | |||
==Wave functions and function spaces== | |||
The concept of ]s enters naturally in the discussion about wave functions. A function space is a set of functions, usually with some defining requirements on the functions (in the present case that they are ]), sometimes with an ] on the set (in the present case a ] structure with an ]), together with a ] on the set. The latter will sparsely be used here, it is only needed to obtain a precise definition of what it means for a subset of a function space to be ]. It will be concluded below that the function space of wave functions is a ]. This observation is the foundation of the predominant mathematical formulation of quantum mechanics. | |||
=== Vector space structure === | |||
A wave function is an element of a function space partly characterized by the following concrete and abstract descriptions. | |||
* The Schrödinger equation is linear. This means that the solutions to it, wave functions, can be added and multiplied by scalars to form a new solution. The set of solutions to the Schrödinger equation is a vector space. | |||
* The superposition principle of quantum mechanics. If {{math|Ψ}} and {{math|Φ}} are two states in the abstract space of '''states''' of a quantum mechanical system, and {{math|''a''}} and {{math|''b''}} are any two complex numbers, then {{math|''a''Ψ + ''b''Φ}} is a valid state as well. (Whether the ] counts as a valid state ("no system present") is a matter of definition. The null vector does ''not'' at any rate describe the ] in quantum field theory.) The set of allowable states is a vector space. | |||
This similarity is of course not accidental. There are also a distinctions between the spaces to keep in mind. | |||
=== Representations === | |||
Basic states are characterized by a set of quantum numbers. This is a set of eigenvalues of a '''maximal set''' of ] ]s. Physical observables are represented by linear operators, also called observables, on the vectors space. Maximality means that there can be added to the set no further algebraically independent observables that commute with the ones already present. A choice of such a set may be called a choice of '''representation'''. | |||
* It is a postulate of quantum mechanics that a physically observable quantity of a system, such as position, momentum, or spin, is represented by a linear ] on the state space. The possible outcomes of measurement of the quantity are the ] of the operator.{{sfn|Weinberg|2013}} At a deeper level, most observables, perhaps all, arise as generators of ].{{sfn|Weinberg|2013}}{{sfn|Weinberg|2002}}<ref group=nb>For this statement to make sense, the observables need to be elements of a maximal commuting set. To see this, it is a simple matter to note that, for example, the momentum operator of the i'th particle in a n-particle system is ''not'' a generator of any symmetry in nature. On the other hand, the ''total'' momentum ''is'' a generator of a symmetry in nature; the translational symmetry.</ref> | |||
* The physical interpretation is that such a set represents what can – in theory – simultaneously be measured with arbitrary precision. The ] prohibits simultaneous exact measurements of two non-commuting observables. | |||
* The set is non-unique. It may for a one-particle system, for example, be position and spin {{math|''z''}}-projection, {{math|(''x'', ''S''<sub>''z''</sub>)}}, or it may be momentum and spin {{math|''y''}}-projection, {{math|(''p'', ''S''<sub>''y''</sub>)}}. In this case, the operator corresponding to position (a ] in the position representation) and the operator corresponding to momentum (a ] in the position representation) do not commute. | |||
* Once a representation is chosen, there is still arbitrariness. It remains to choose a coordinate system. This may, for example, correspond to a choice of {{math|''x'', ''y''}}- and {{math|''z''}}-axis, or a choice of '''curvilinear coordinates''' as exemplified by the ] used for the Hydrogen atomic wave functions. This final choice also fixes a basis in abstract Hilbert space. The basic states are labeled by the quantum numbers corresponding to the maximal set of commuting observables and an appropriate coordinate system.<ref group=nb>The resulting basis may or may not technically be a basis in the mathematical sense of Hilbert spaces. For instance, states of definite position and definite momentum are not square integrable. This may be overcome with the use of ]s or by enclosing the system in a "box". See further remarks below.</ref> | |||
The abstract states are "abstract" only in that an arbitrary choice necessary for a particular ''explicit'' description of it is not given. This is the same as saying that no choice of maximal set of commuting observables has been given. This is analogous to a vector space without a specified basis. Wave functions corresponding to a state are accordingly not unique. This non-uniqueness reflects the non-uniqueness in the choice of a maximal set of commuting observables. For one spin particle in one dimension, to a particular state there corresponds two wave functions, {{math|Ψ(''x'', ''S''<sub>''z''</sub>)}} and {{math|Ψ(''p'', ''S''<sub>''y''</sub>)}}, both describing the ''same'' state. | |||
* For each choice of maximal commuting sets of observables for the abstract state space, there is a corresponding representation that is associated to a function space of wave functions. | |||
* Between all these different function spaces and the abstract state space, there are one-to-one correspondences (here disregarding normalization and unobservable phase factors), the common denominator here being a particular abstract state. The relationship between the momentum and position space wave functions, for instance, describing the same state is the ]. | |||
Each choice of representation should be thought of as specifying a unique function space in which wave functions corresponding to that choice of representation lives. This distinction is best kept, even if one could argue that two such function spaces are mathematically equal, e.g. being the set of square integrable functions. One can then think of the function spaces as two distinct copies of that set. | |||
=== Inner product === | |||
There is an additional algebraic structure on the vector spaces of wave functions and the abstract state space. | |||
* Physically, different wave functions are interpreted to overlap to some degree. A system in a state {{math|Ψ}} that does ''not'' overlap with a state {{math|Φ}} cannot be found to be in the state {{math|Φ}} upon measurement. But if {{math|Φ<sub>1</sub>, Φ<sub>2</sub>, …}} overlap {{math|Ψ}} to ''some'' degree, there is a chance that measurement of a system described by {{math|Ψ}} will be found in states {{math|Φ<sub>1</sub>, Φ<sub>2</sub>, …}}. Also ]s are observed apply. These are usually formulated in the preservation of some quantum numbers. This means that certain processes allowable from some perspectives (e.g. energy and momentum conservation) do not occur because the initial and final ''total'' wave functions do not overlap. | |||
* Mathematically, it turns out that solutions to the Schrödinger equation for particular potentials are '''orthogonal''' in some manner, this is usually described by an integral <math display="block">\int\Psi_m^*\Psi_n w\, dV = \delta_{nm},</math> where {{math|''m'', ''n''}} are (sets of) indices (quantum numbers) labeling different solutions, the strictly positive function {{mvar|w}} is called a weight function, and {{math|''δ''<sub>''mn''</sub>}} is the ]. The integration is taken over all of the relevant space. | |||
This motivates the introduction of an ] on the vector space of abstract quantum states, compatible with the mathematical observations above when passing to a representation. It is denoted {{math|(Ψ, Φ)}}, or in the ] {{math|{{braket|bra-ket|Ψ|Φ}}}}. It yields a complex number. With the inner product, the function space is an ]. The explicit appearance of the inner product (usually an integral or a sum of integrals) depends on the choice of representation, but the complex number {{math|(Ψ, Φ)}} does not. Much of the physical interpretation of quantum mechanics stems from the ]. It states that the probability {{mvar|p}} of finding upon measurement the state {{math|Φ}} given the system is in the state {{math|Ψ}} is | |||
<math display="block">p = |(\Phi, \Psi)|^2,</math> | |||
where {{math|Φ}} and {{math|Ψ}} are assumed normalized. Consider a ]. In quantum field theory, if {{math|Φ<sub>out</sub>}} describes a state in the "distant future" (an "out state") after interactions between scattering particles have ceased, and {{math|Ψ<sub>in</sub>}} an "in state" in the "distant past", then the quantities {{math|(Φ<sub>out</sub>, Ψ<sub>in</sub>)}}, with {{math|Φ<sub>out</sub>}} and {{math|Ψ<sub>in</sub>}} varying over a complete set of in states and out states respectively, is called the ] or '''scattering matrix'''. Knowledge of it is, effectively, having ''solved'' the theory at hand, at least as far as predictions go. Measurable quantities such as ]s and ]s are calculable from the S-matrix.{{sfn|Weinberg|2002|loc=Chapter 3}} | |||
=== Hilbert space === | |||
The above observations encapsulate the essence of the function spaces of which wave functions are elements. However, the description is not yet complete. There is a further technical requirement on the function space, that of ], that allows one to take limits of sequences in the function space, and be ensured that, if the limit exists, it is an element of the function space. A complete inner product space is called a ]. The property of completeness is crucial in advanced treatments and applications of quantum mechanics. For instance, the existence of ]s or '''orthogonal projections''' relies on the completeness of the space.{{sfn|Conway|1990}} These projection operators, in turn, are essential for the statement and proof of many useful theorems, e.g. the ]. It is not very important in introductory quantum mechanics, and technical details and links may be found in footnotes like the one that follows.<ref group=nb>In technical terms, this is formulated the following way. The inner product yields a ]. This norm, in turn, induces a ]. If this metric is ], then the aforementioned limits will be in the function space. The inner product space is then called complete. A complete inner product space is a ]. The abstract state space is always taken as a Hilbert space. The matching requirement for the function spaces is a natural one. The Hilbert space property of the abstract state space was originally extracted from the observation that the function spaces forming normalizable solutions to the Schrödinger equation are Hilbert spaces.</ref> | |||
The space {{math|''L''<sup>2</sup>}} is a Hilbert space, with inner product presented later. The function space of the example of the figure is a subspace of {{math|''L''<sup>2</sup>}}. A subspace of a Hilbert space is a Hilbert space if it is closed. | |||
In summary, the set of all possible normalizable wave functions for a system with a particular choice of basis, together with the null vector, constitute a Hilbert space. | |||
Not all functions of interest are elements of some Hilbert space, say {{math|''L''<sup>2</sup>}}. The most glaring example is the set of functions {{math|''e''<sup>{{frac|2''πi'''''p''' · '''x'''|h}}</sup>}}. These are plane wave solutions of the Schrödinger equation for a ] that are not normalizable, hence not in {{math|''L''<sup>2</sup>}}. But they are nonetheless fundamental for the description. One can, using them, express functions that ''are'' normalizable using ]s. They are, in a sense, a basis (but not a Hilbert space basis, nor a ]) in which wave functions of interest can be expressed. There is also the artifact "normalization to a delta function" that is frequently employed for notational convenience, see further down. The delta functions themselves are not square integrable either. | |||
The above description of the function space containing the wave functions is mostly mathematically motivated. The function spaces are, due to completeness, very ''large'' in a certain sense. Not all functions are realistic descriptions of any physical system. For instance, in the function space {{math|''L''<sup>2</sup>}} one can find the function that takes on the value {{math|0}} for all rational numbers and {{math|-''i''}} for the irrationals in the interval {{math|}}. This ''is'' square integrable,<ref group=nb>As is explained in a later footnote, the integral must be taken to be the ], the ] is not sufficient.</ref> | |||
but can hardly represent a physical state. | |||
=== Common Hilbert spaces === | |||
While the space of solutions as a whole is a Hilbert space there are many other Hilbert spaces that commonly occur as ingredients. | |||
* Square integrable complex valued functions on the interval {{closed-closed|0, 2''π''}}. The set {{math|{''e''<sup>''int''</sup>/2''π'', ''n'' ∈ '''Z'''} }} is a Hilbert space basis, i.e. a maximal orthonormal set. | |||
* The ] takes functions in the above space to elements of {{math|''l''<sup>2</sup>('''Z''')}}, the space of ''square summable'' functions {{math|'''Z''' → '''C'''}}. The latter space is a Hilbert space and the Fourier transform is an isomorphism of Hilbert spaces.<ref group=nb>{{harvnb|Conway|1990}}. This means that inner products, hence norms, are preserved and that the mapping is a bounded, hence continuous, linear bijection. The property of completeness is preserved as well. Thus this is the right concept of isomorphism in the ] of Hilbert spaces.</ref> Its basis is {{math|{''e''<sub>''i''</sub>, ''i'' ∈ '''Z'''}<nowiki/>}} with {{math|1=''e''<sub>''i''</sub>(''j'') = ''δ''<sub>''ij''</sub>, ''i'', ''j'' ∈ '''Z'''}}. | |||
* The most basic example of spanning polynomials is in the space of square integrable functions on the interval {{closed-closed|–1, 1}} for which the ] is a Hilbert space basis (complete orthonormal set). | |||
* The square integrable functions on the ] {{math|''S''<sup>2</sup>}} is a Hilbert space. The basis functions in this case are the ]. The Legendre polynomials are ingredients in the spherical harmonics. Most problems with rotational symmetry will have "the same" (known) solution with respect to that symmetry, so the original problem is reduced to a problem of lower dimensionality. | |||
* The ] appear in the hydrogenic wave function problem after factoring out the spherical harmonics. These span the Hilbert space of square integrable functions on the semi-infinite interval {{closed-open|0, ∞}}. | |||
More generally, one may consider a unified treatment of all second order polynomial solutions to the ] in the setting of Hilbert space. These include the Legendre and Laguerre polynomials as well as ], ] and ]. All of these actually appear in physical problems, the latter ones in the ], and what is otherwise a bewildering maze of properties of ] becomes an organized body of facts. For this, see {{harvtxt|Byron|Fuller|1992|loc=Chapter 5}}. | |||
There occurs also finite-dimensional Hilbert spaces. The space {{math|'''C'''<sup>''n''</sup>}} is a Hilbert space of dimension {{mvar|n}}. The inner product is the standard inner product on these spaces. In it, the "spin part" of a single particle wave function resides. | |||
* In the non-relativistic description of an electron one has {{math|1=''n'' = 2}} and the total wave function is a solution of the ]. | |||
* In the corresponding relativistic treatment, {{math|1=''n'' = 4}} and the wave function solves the ]. | |||
With more particles, the situations is more complicated. One has to employ ]s and use representation theory of the symmetry groups involved (the ] and the ] respectively) to extract from the tensor product the spaces in which the (total) spin wave functions reside. (Further problems arise in the relativistic case unless the particles are free.{{sfn|Greiner|Reinhardt|2008}} See the ].) Corresponding remarks apply to the concept of ], for which the symmetry group is ]. The models of the nuclear forces of the sixties (still useful today, see ]) used the symmetry group ]. In this case, as well, the part of the wave functions corresponding to the inner symmetries reside in some {{math|'''C'''<sup>''n''</sup>}} or subspaces of tensor products of such spaces. | |||
* In quantum field theory the underlying Hilbert space is ]. It is built from free single-particle states, i.e. wave functions when a representation is chosen, and can accommodate any finite, not necessarily constant in time, number of particles. The interesting (or rather the ''tractable'') dynamics lies not in the wave functions but in the ]s that are operators acting on Fock space. Thus the ] is the most common choice (constant states, time varying operators). | |||
Due to the infinite-dimensional nature of the system, the appropriate mathematical tools are objects of study in ]. | |||
=== Simplified description === | |||
] | |||
Not all introductory textbooks take the long route and introduce the full Hilbert space machinery, but the focus is on the non-relativistic Schrödinger equation in position representation for certain standard potentials. The following constraints on the wave function are sometimes explicitly formulated for the calculations and physical interpretation to make sense:{{sfn|Eisberg|Resnick|1985}}{{sfn|Rae|2008}} | |||
* The wave function must be ]. This is motivated by the Copenhagen interpretation of the wave function as a probability amplitude. | |||
* It must be everywhere ] and everywhere ]. This is motivated by the appearance of the Schrödinger equation for most physically reasonable potentials. | |||
It is possible to relax these conditions somewhat for special purposes.<ref group=nb>One such relaxation is that the wave function must belong to the ] ''W''<sup>1,2</sup>. It means that it is differentiable in the sense of ], and its ] is ]. This relaxation is necessary for potentials that are not functions but are distributions, such as the ].</ref> | |||
If these requirements are not met, it is not possible to interpret the wave function as a probability amplitude.{{sfn|Atkins|1974|p=258}} Note that exceptions can arise to the continuity of derivatives rule at points of infinite discontinuity of potential field. For example, in ] where the derivative of wavefunction can be discontinuous at the boundary of the box where the potential is known to have infinite discontinuity. | |||
This does not alter the structure of the Hilbert space that these particular wave functions inhabit, but the subspace of the square-integrable functions {{math|''L''<sup>2</sup>}}, which is a Hilbert space, satisfying the second requirement ''is not closed'' in {{math|''L''<sup>2</sup>}}, hence not a Hilbert space in itself.<ref group=nb>It is easy to visualize a sequence of functions meeting the requirement that converges to a ''discontinuous'' function. For this, modify an example given in ]. This element though ''is'' an element of {{math|''L''<sup>2</sup>}}.</ref> | |||
The functions that does not meet the requirements are still needed for both technical and practical reasons.<ref group=nb>For instance, in ] one may construct a sequence of functions approximating the true wave function. This sequence will be guaranteed to converge in a larger space, but without the assumption of a full-fledged Hilbert space, it will not be guaranteed that the convergence is to a function in the relevant space and hence solving the original problem.</ref><ref group=nb>Some functions not being square-integrable, like the plane-wave free particle solutions are necessary for the description as outlined in a previous note and also further below.</ref> | |||
== More on wave functions and abstract state space == | |||
{{main|Quantum state}} | |||
As has been demonstrated, the set of all possible wave functions in some representation for a system constitute an in general ] Hilbert space. Due to the multiple possible choices of representation basis, these Hilbert spaces are not unique. One therefore talks about an abstract Hilbert space, '''state space''', where the choice of representation and basis is left undetermined. Specifically, each state is represented as an abstract vector in state space.{{sfn|Cohen-Tannoudji|Diu|Laloë|2019|pp=103,215}} A quantum state {{math|{{ket|Ψ}}}} in any representation is generally expressed as a vector{{Citation needed|date=November 2024}} | |||
<math display="block">|\Psi\rangle = | |||
\sum_{\boldsymbol{\alpha}}\int d^m\!\boldsymbol{\omega}\,\, | |||
\Psi_t(\boldsymbol\alpha,\boldsymbol\omega)\, | |||
|\boldsymbol\alpha,\boldsymbol\omega\rangle</math> | |||
where | |||
* {{math|{{ket|'''α''', '''ω'''}}}} the basis vectors of the chosen representation | |||
* {{math|1=''d<sup>m</sup>'''''ω''' = ''dω''<sub>1</sub>''dω''<sub>2</sub>...''dω<sub>m</sub>''}} a ] in the continuous degrees of freedom | |||
* <math>\boldsymbol{\Psi}_t(\boldsymbol\alpha, \boldsymbol\omega)</math> a component of the vector <math>|\Psi\rangle</math>, called the '''wave function''' of the system | |||
* {{math|1='''α''' = (''α''<sub>1</sub>, ''α''<sub>2</sub>, ..., ''α<sub>n</sub>'')}} dimensionless discrete quantum numbers | |||
* {{math|1='''ω''' = (''ω''<sub>1</sub>, ''ω''<sub>2</sub>, ..., ''ω<sub>m</sub>'')}} continuous variables (not necessarily dimensionless) | |||
These quantum numbers index the components of the state vector. More, all {{math|'''α'''}} are in an {{math|''n''}}-dimensional ] {{math|1=''A'' = ''A''<sub>1</sub> × ''A''<sub>2</sub> × ... × ''A<sub>n</sub>''}} where each {{math|''A<sub>i</sub>''}} is the set of allowed values for {{math|''α<sub>i</sub>''}}; all {{math|'''ω'''}} are in an {{math|''m''}}-dimensional "volume" {{math|Ω ⊆ ℝ<sup>''m''</sup>}} where {{math|1=Ω = Ω<sub>1</sub> × Ω<sub>2</sub> × ... × Ω<sub>''m''</sub>}} and each {{math|Ω<sub>''i''</sub> ⊆ '''R'''}} is the set of allowed values for {{math|''ω<sub>i</sub>''}}, a ] of the ]s {{math|'''R'''}}. For generality {{mvar|n}} and {{mvar|m}} are not necessarily equal. | |||
'''Example:''' | |||
{{ ordered list | list-style-type = lower-alpha | |||
| 1 = For a single particle in 3d with spin ''s'', neglecting other degrees of freedom, using Cartesian coordinates, we could take {{math|1='''α''' = (''s<sub>z</sub>'')}} for the spin quantum number of the particle along the z direction, and {{math|1='''ω''' = (''x'', ''y'', ''z'')}} for the particle's position coordinates. Here {{math|1=''A'' = {−''s'', −''s'' + 1, ..., ''s'' − 1, ''s''} }} is the set of allowed spin quantum numbers and {{math|1=Ω = '''R'''<sup>3</sup>}} is the set of all possible particle positions throughout 3d position space. | |||
| 2 = An alternative choice is {{math|1='''α''' = (''s<sub>y</sub>'')}} for the spin quantum number along the y direction and {{math|1='''ω''' = (''p<sub>x</sub>'', ''p<sub>y</sub>'', ''p<sub>z</sub>'')}} for the particle's momentum components. In this case {{math|''A''}} and {{math|Ω}} are the same as before.}} | |||
The ] of finding the system at time <math>t</math> at state {{math|{{ket|'''α''', '''ω'''}}}} is | |||
<math display="block">\rho_{\alpha, \omega} (t)= |\Psi(\boldsymbol{\alpha},\boldsymbol{\omega},t)|^2</math> | |||
The probability of finding system with {{math|'''α'''}} in some or all possible discrete-variable configurations, {{math|''D'' ⊆ ''A''}}, and {{math|'''ω'''}} in some or all possible continuous-variable configurations, {{math|''C'' ⊆ Ω}}, is the sum and integral over the density,<ref group="nb">Here: <math display="block">\sum_{\boldsymbol{\alpha}} \equiv \sum_{\alpha_1,\alpha_2,\ldots,\alpha_n} \equiv \sum_{\alpha_1}\sum_{\alpha_2}\cdots\sum_{\alpha_n} </math>is a multiple sum.</ref> | |||
<math display="block">P(t)=\sum_{\boldsymbol{\alpha}\in D}\int_C d^m\!\boldsymbol{\omega}\,\,\rho_{\alpha, \omega}(t)</math> | |||
Since the sum of all probabilities must be 1, the normalization condition | |||
<math display="block">1=\sum_{\boldsymbol{\alpha}\in A}\int_{\Omega}d^m\!\boldsymbol{\omega}\,\,\rho_{\alpha, \omega} (t)</math> | |||
must hold at all times during the evolution of the system. | |||
The normalization condition requires {{math|''ρ d<sup>m</sup>'''''ω'''}} to be dimensionless, by ] {{math|Ψ}} must have the same units as {{math|(''ω''<sub>1</sub>''ω''<sub>2</sub>...''ω<sub>m</sub>'')<sup>−1/2</sup>}}. | |||
== Ontology == | |||
{{main|Interpretations of quantum mechanics}} | |||
Whether the wave function exists in reality, and what it represents, are major questions in the ]. Many famous physicists of a previous generation puzzled over this problem, such as ], ] and ]. Some advocate formulations or variants of the ] (e.g. Bohr, ] and ]) while others, such as ] or ], take the more classical approach{{sfn|Jaynes|2003}} and regard the wave function as representing information in the mind of the observer, i.e. a measure of our knowledge of reality. Some, including Schrödinger, ] and ] and others, argued that the wave function must have an objective, physical existence. Einstein thought that a complete description of physical reality should refer directly to physical space and time, as distinct from the wave function, which refers to an abstract mathematical space.{{sfn|Einstein|1998|p=682}} | |||
== See also == | == See also == | ||
{{cols|colwidth=20em}} | |||
*] | |||
* ] | |||
*] - particles with ] wavefunction under ] (i.e. switching positions) | |||
* ] | |||
*] - particles with ] wavefunction under permutation | |||
*] | * ] | ||
*] | * ] | ||
* ] | |||
*] | |||
* ] | |||
* ] | |||
* ] | |||
* ] | |||
{{colend}} | |||
==Notes== | |||
===Remarks=== | |||
{{Reflist|group=nb}} | |||
===Citations=== | |||
{{Reflist|22em}} | |||
== References== | |||
{{refbegin|30em}} | |||
* {{cite web | title=Applications of Quantum Mechanics |publisher = Department of Quantum Nanoscience studies at TU Delft|website = Lecture notes for the course AP3303 | url=https://appquantmech.quantumtinkerer.tudelft.nl/ch21/ | ref={{sfnref | Applications of Quantum Mechanics}} | date=2022}} | |||
*{{cite journal | title = Einstein's proposal of the photon concept: A translation of the ''Annalen der Physik'' paper of 1905 | |||
| last1 = Arons | first1 = A. B. | |||
| last2 = Peppard | first2 = M. B. | |||
| journal = ] | |||
| year = 1965 | volume = 33 | issue = 5 | page = 367 | |||
| url = http://astro1.panet.utoledo.edu/~ljc/PE_eng.pdf | |||
| bibcode = 1965AmJPh..33..367A | doi = 10.1119/1.1971542 | |||
}} | |||
*{{cite book| title = Quanta: A Handbook of Concepts | |||
| last = Atkins | first = P. W. | year = 1974 | |||
| publisher = Clarendon Press | isbn = 978-0-19-855494-3 | |||
}} | |||
*{{cite book| title = Niels Bohr - Collected Works: Foundations of Quantum Physics I (1926 - 1932) | |||
| last = Bohr | first = N. | year = 1985 | |||
| author-link = Niels Bohr | |||
| editor1-last = Kalckar | editor1-first = J. | |||
| publisher = North Holland | location = Amsterdam | |||
| volume = 6 | |||
| isbn = 978-044453289-3 | |||
}} | |||
*{{cite journal | title = Zur Quantenmechanik der Stoßvorgange | |||
| last = Born | first = M. | |||
| journal = Z. Phys. | |||
| year = 1926a | volume = 37 | issue = 12 | pages = 863–867 | |||
| bibcode = 1926ZPhy...37..863B | doi = 10.1007/bf01397477 | |||
| s2cid = 119896026 }} | |||
*{{cite journal | title = Quantenmechanik der Stoßvorgange | |||
| last = Born | first = M. | |||
| journal = Z. Phys. | |||
| year = 1926b | volume = 38 | issue = 11–12 | pages = 803–827 | |||
| bibcode = 1926ZPhy...38..803B | doi = 10.1007/bf01397184 | |||
| s2cid = 126244962 }} | |||
*{{cite journal | title = Physical aspects of quantum mechanics | |||
| last = Born | first = M. | |||
| author-link = Max Born | |||
| journal = Nature | |||
| year = 1927 | volume = 119 | issue = 2992 | pages = 354–357 | |||
| bibcode = 1927Natur.119..354B | doi = 10.1038/119354a0 | |||
| doi-access = free | |||
}} | |||
*{{cite journal| title = The statistical interpretation of quantum mechanics | |||
| last = Born | first = M. | |||
| journal = Nobel Lecture | |||
| publisher = ] | |||
| url = https://www.nobelprize.org/prizes/physics/1954/born/lecture/ | |||
| date = 11 December 1954 | |||
| volume = 122 | issue = 3172 | pages = 675–9 | doi = 10.1126/science.122.3172.675 | pmid = 17798674 }} | |||
*{{cite journal | title = Radiations—Ondes et quanta | |||
| trans-title = Radiation—Waves and quanta | |||
| last = de Broglie | first = L. | |||
| journal = Comptes Rendus | |||
| year = 1923 | volume = 177 | pages = 507–510, 548, 630 | |||
| language = fr | |||
}} | |||
*{{cite book| title = Non-linear Wave Mechanics: a Causal Interpretation | |||
| last = de Broglie | first = L. | year = 1960 | |||
| author-link = Louis de Broglie | |||
| publisher = Elsevier | location = Amsterdam | |||
| url = https://archive.org/details/nonlinearwavemec0000brog | url-access = registration | via = ] | |||
}} | |||
*{{cite book| title = Mathematics of Classical and Quantum Physics | edition = revised | |||
| last1 = Byron | first1 = F. W. | |||
| last2 = Fuller | first2 = R. W. | |||
| author2-link = Robert W. Fuller | |||
| year = 1992 | orig-year = First published 1969 | |||
| publisher = ] | |||
| series = Dover Books on Physics | |||
| url = https://archive.org/details/mathematicsofcla00byro | via = ] | |||
| isbn = 978-0-486-67164-2 | |||
}} | |||
*{{cite book| title = Heisenberg and the Interpretation of Quantum Mechanics: the Physicist as Philosopher | |||
| last = Camilleri | first = K. | year = 2009 | |||
| publisher = Cambridge University Press | location = Cambridge UK | |||
| isbn = 978-0-521-88484-6 | |||
}} | |||
* {{cite book | last=Cohen-Tannoudji | first=Claude | last2=Diu | first2=Bernard | last3=Laloë | first3=Franck | title=Quantum Mechanics, Volume 1 | publisher=John Wiley & Sons | publication-place=Weinheim, Germany | date=2019 | isbn=978-3-527-34553-3}} | |||
*{{cite book| title = A Course in Functional Analysis | |||
| last = Conway | first = J. B. | year = 1990 | |||
| author-link = John B. Conway | |||
| publisher = ] | |||
| volume = 96 | series = Graduate Texts in Mathematics | |||
| isbn = 978-0-387-97245-9 | |||
}} | |||
*{{cite journal | title = A new notation for quantum mechanics | |||
| last = Dirac | first = P. A. M. | |||
| journal = Mathematical Proceedings of the Cambridge Philosophical Society | |||
| year = 1939 | volume = 35 | issue = 3 | pages = 416–418 | |||
| bibcode = 1939PCPS...35..416D | doi = 10.1017/S0305004100021162 | |||
| s2cid = 121466183 }} | |||
*{{cite book| title = The principles of quantum mechanics | edition = 4th | |||
| last = Dirac | first = P. A. M. | year = 1982 | |||
| author-link = Paul Dirac | |||
| publisher = Oxford University Press | |||
| series = The international series on monographs on physics | |||
| isbn = 0-19-852011-5 | |||
}} | |||
*{{cite journal | title = Über einen die Erzeugung und Verwandlung des Lichtes betreffenden heuristischen Gesichtspunkt | |||
| last = Einstein | first = A. | |||
| author-link = Albert Einstein | |||
| journal = ] | |||
| year = 1905 | volume = 17 | issue = 6 | pages = 132–148 | |||
| language = de | |||
| bibcode = 1905AnP...322..132E | doi = 10.1002/andp.19053220607 | |||
| doi-access = free}} | |||
*{{cite journal | title = Zur Quantentheorie der Strahlung | |||
| last = Einstein | first = A. | |||
| journal = Mitteilungen der Physikalischen Gesellschaft Zürich | |||
| year = 1916 | volume = 18 | pages = 47–62 | |||
}} | |||
*{{cite journal | title = Zur Quantentheorie der Strahlung | |||
| last = Einstein | first = A. | |||
| journal = ] | |||
| year = 1917 | volume = 18 | pages = 121–128 | |||
| language = de | |||
| bibcode = 1917PhyZ...18..121E | |||
}} | |||
*{{cite book| title = Albert Einstein: Philosopher-Scientist | edition = 3rd | |||
| last = Einstein | first = A. | year = 1998 | |||
| editor1-last = Schilpp | editor1-first = P. A. |editor-link = Paul Arthur Schilpp | |||
| publisher = Open Court | location = La Salle Publishing Company, Illinois | |||
| volume = VII | series = The Library of Living Philosophers | |||
| isbn = 978-0-87548-133-3 }} | |||
*{{cite book| title = Quantum Physics of Atoms, Molecules, Solids, Nuclei and Particles | edition = 2nd | |||
| last1 = Eisberg | first1 = Robert Martin | |||
| last2 = Resnick | first2 = Robert | |||
| author-link2 = Robert Resnick | |||
| year = 1985 | |||
| publisher = John Wiley & Sons | |||
| url = https://archive.org/details/quantumphysicsof00eisb | via = ] | |||
| isbn = 978-0-471-87373-0 | |||
}} | |||
*{{cite book| title = Quantum Electrodynamics | edition = 4th | |||
| last1 = Greiner | first1 = W. | |||
| last2 = Reinhardt | first2 = J. | |||
| author1-link = Walter Greiner | |||
| year = 2008 | |||
| publisher = springer | |||
| url = https://books.google.com/books?id=5Kd3dBL8a64C&q=walter+greiner+Quantum+electrodynamics | |||
| isbn = 978-354087560-4 | |||
}} | |||
*{{cite book| title = Introduction to Quantum Mechanics | edition = 2nd | |||
| last = Griffiths | first = D. J. | year = 2004 | |||
| publisher = Pearson Education | location = Essex England | |||
| isbn = 978-013111892-8 | |||
}} | |||
*{{cite book| title = Introduction to elementary particles | |||
| last = Griffiths | first = David | year = 2008 | |||
| publisher = Wiley-VCH | |||
| url = https://books.google.com/books?id=w9Dz56myXm8C&pg=PA162 | |||
| pages = 162ff | |||
| isbn = 978-3-527-40601-2 | |||
}} | |||
*{{cite book| title = The Old Quantum Theory | |||
| last = ter Haar | first = D. | year = 1967 | |||
| author-link = Dirk ter Haar | |||
| publisher = ] | |||
| url = https://archive.org/details/oldquantumtheory0000haar | url-access = registration | via = ] | |||
| pages = | |||
| lccn = 66029628 | |||
}} | |||
*{{Citation| title = Erwin Schrodinger's Reaction to Louis de Broglie's Thesis on the Quantum Theory | |||
| last = Hanle | first = P.A. | year = 1977 | |||
| journal = Isis | |||
| volume = 68 | issue = 4 | pages = 606–609 | |||
| doi = 10.1086/351880 | |||
| s2cid = 121913205 }} | |||
*{{cite book| title = Physics and Philosophy: the Revolution in Modern Science | |||
| last = Heisenberg | first = W. | year = 1958 | |||
| author-link = Werner Heisenberg | |||
| publisher = Harper & Row | location = New York | |||
| url = https://archive.org/details/physicsphilosoph0000heis | url-access = registration | via = ] | |||
}} | |||
*{{cite book| title = Probability Theory: The Logic of Science | |||
| last = Jaynes | first = E. T. | year = 2003 | |||
| editor1-last = Larry | editor1-first = G. | |||
| publisher = ] | |||
| isbn = 978-0-521 59271-0 | |||
}} | |||
*{{cite book| title = Quantum Mechanics: Non-Relativistic Theory | edition = 3rd | |||
| last1 = Landau | first1 = L.D. | |||
| last2 = Lifshitz | first2 = E. M. | |||
| author1-link = Lev Landau | |||
| author2-link = Evgeny Lifshitz | |||
| year = 1977 | |||
| publisher = ] | |||
| volume = 3 | |||
| isbn = 978-0-08-020940-1 | |||
}} | |||
* {{cite book | last=Landsman | first=N. P. | title=Compendium of Quantum Physics | chapter=Born Rule and its Interpretation |chapter-url=https://www.math.ru.nl/~landsman/Born.pdf | publisher=Springer Berlin Heidelberg | publication-place=Berlin, Heidelberg | year=2009 | pages=64–70 | isbn=978-3-540-70622-9 | doi=10.1007/978-3-540-70626-7_20}} | |||
*{{cite book| title = Encyclopaedia of Physics | edition = 2nd | |||
| last1 = Lerner | first1 = R.G. | author1-link = Rita G. Lerner | |||
| last2 = Trigg | first2 = G.L. | |||
| year = 1991 | |||
| publisher = VHC Publishers | |||
| url = https://archive.org/details/encyclopediaofph00lern | via = ] | |||
| isbn = 978-0-89573-752-6 | |||
}} | |||
*{{cite book| title = Wave Mechanics | |||
| last = Ludwig | first = G. | year = 1968 | |||
| publisher = Pergamon Press | location = Oxford UK | |||
| url = https://archive.org/details/wavemechanics0000ludw | url-access = registration | via = ] | |||
| isbn = 978-0-08-203204-5 | lccn = 66-30631 | |||
}} | |||
*{{cite book| title = Particle Physics | edition = 3rd | |||
| last1 = Martin | first1 = B.R. | |||
| last2 = Shaw | first2 = G. | |||
| year = 2008 | |||
| publisher = John Wiley & Sons | |||
| series = Manchester Physics Series | |||
| isbn = 978-0-470-03294-7 | |||
}} | |||
*{{cite book| title = Niels Bohr's Philosophy of Physics | |||
| last = Murdoch | first = D. | year = 1987 | |||
| publisher = Cambridge University Press | location = Cambridge UK | |||
| url = https://archive.org/details/nielsbohrsphilos0000murd | url-access = registration | via = ] | |||
| isbn = 978-0-521-33320-7 | |||
}} | |||
*{{cite book| title = Quantum Physics: a Text for Graduate Student | |||
| last = Newton | first = R.G. | year = 2002 | |||
| publisher = Springer | location = New York | |||
| isbn = 978-0-387-95473-8 | |||
}} | |||
*{{cite journal | title = Zur Quantenmechanik des magnetischen Elektrons | |||
| last = Pauli | first = Wolfgang | |||
| author-link = Wolfgang Pauli | |||
| journal = Zeitschrift für Physik | |||
| year = 1927 | volume = 43 | issue = 9–10 | pages = 601–623 | |||
| language = de | |||
| bibcode = 1927ZPhy...43..601P | doi = 10.1007/bf01397326 | |||
| s2cid = 128228729 }} | |||
*{{cite book| title = Quantum mechanics | edition = 2nd | |||
| last1 = Peleg | first1 = Y. | |||
| last2 = Pnini | first2 = R. | |||
| last3 = Zaarur | first3 = E. | |||
| last4 = Hecht | first4 = E. | |||
| year = 2010 | |||
| publisher = McGraw Hill | |||
| series = Schaum's outlines | |||
| isbn = 978-0-07-162358-2 | |||
}} | |||
*{{cite book| title = Quantum Mechanics | edition = 5th | |||
| last = Rae | first = A.I.M. | year = 2008 | |||
| publisher = Taylor & Francis Group | |||
| volume = 2 | |||
| url = https://books.google.com/books?id=YDhHAQAAIAAJ&q=quantum+mechanics+Alastair+Rae+5th+edition | |||
| isbn = 978-1-5848-89700 | |||
}} | |||
*{{cite journal | title = An Undulatory Theory of the Mechanics of Atoms and Molecules | |||
| last = Schrödinger | first = E. | |||
| author-link = Erwin Schrödinger | |||
| journal = ] | |||
| year = 1926 | volume = 28 | issue = 6 | pages = 1049–1070 | |||
| url = http://home.tiscali.nl/physis/HistoricPaper/Schroedinger/Schroedinger1926c.pdf | |||
| archive-url = https://web.archive.org/web/20081217040121/http://home.tiscali.nl/physis/HistoricPaper/Schroedinger/Schroedinger1926c.pdf | |||
| archive-date = 17 December 2008 | |||
| bibcode = 1926PhRv...28.1049S | doi = 10.1103/PhysRev.28.1049 | |||
}} | |||
*{{cite book| title = Principles of Quantum Mechanics | edition = 2nd | |||
| last = Shankar | first = R. | year = 1994 | |||
| isbn = 978-030644790-7 | |||
}} | |||
*{{cite book| title = Physics for Scientists and Engineers – with Modern Physics | edition = 6th | |||
| last1 = Tipler | first1 = P. A. | |||
| last2 = Mosca | first2 = G. | |||
| last3 = Freeman | |||
| year = 2008 | |||
| publisher = W. H. Freeman | |||
| isbn = 978-0-7167-8964-2 | |||
}} | |||
* {{cite book | last=Treves | first=Francois | title=Topological Vector Spaces, Distributions and Kernels | publisher=Courier Corporation | publication-place=Mineola, NY | date=2006| isbn=978-0-486-45352-1}} | |||
*{{citation| title = The Quantum Theory of Fields | |||
| last = Weinberg | first = S. | year = 2002 | |||
| publisher = Cambridge University Press | |||
| volume = 1 | |||
| url = https://archive.org/details/quantumtheoryoff00stev | via = ] | |||
| isbn = 978-0-521-55001-7 | |||
}} | |||
*{{citation| title = Lectures in Quantum Mechanics | |||
| last = Weinberg | first = S. | year = 2013 | |||
| author-link = Steven Weinberg | |||
| publisher = Cambridge University Press | |||
| isbn = 978-1-107-02872-2 | |||
}} | |||
*{{cite book| title = Quantum Theory and Measurement | |||
| last1 = Wheeler | first1 = J.A. | |||
| last2 = Zurek | first2 = W.H. | |||
| author1-link = John Archibald Wheeler | |||
| author2-link = Wojciech H. Zurek | |||
| year = 1983 | |||
| publisher = Princeton University Press | location = Princeton NJ | |||
}} | |||
*{{cite book| title = Sears' and Zemansky's University Physics | edition = 12th | |||
| last1 = Young | first1 = H. D. | |||
| last2 = Freedman | first2 = R. A. | |||
| year = 2008 | |||
| editor = Pearson | |||
| publisher = Addison-Wesley | |||
| isbn = 978-0-321-50130-1 | |||
}} | |||
*{{cite book| title = Quantum Mechanics: Concepts and Applications | edition = 2nd | |||
| last = Zettili | first = N. | year = 2009 | |||
| publisher = Wiley | |||
| isbn = 978-0-470-02679-3 | |||
}} | |||
*{{cite book| title = A First Course in String Theory | |||
| last = Zwiebach | first = Barton | |||
| publisher = Cambridge University Press | |||
| date = 2009 | |||
| isbn = 978-0-521-88032-9 | |||
}} | |||
{{refend}} | |||
== Further reading == | |||
{{refbegin}} | |||
*{{Cite book| title = Practical Atomic Physics | |||
| last = Kim | first = Yong-Ki | |||
| publisher = National Institute of Standards and Technology | |||
| pages = 1 (55 s) | |||
| url = http://amods.kaeri.re.kr/mcdf/lectnote.pdf | url-status = dead | |||
| archive-url = https://web.archive.org/web/20110722141558/http://amods.kaeri.re.kr/mcdf/lectnote.pdf | |||
| date = 2 September 2000 | archive-date = 22 July 2011 | |||
| ref = none | |||
}} | |||
*{{Cite book| title = Quantum Theory, A Very Short Introduction | |||
| last = Polkinghorne | first = John | year = 2002 | |||
| author-link = John Polkinghorne | |||
| publisher = Oxford University Press | |||
| isbn = 978-0-19-280252-1 | |||
| ref = none | |||
}} | |||
{{refend}} | |||
== |
==External links== | ||
* | |||
*{{Book reference | Author=Griffiths, David J.|Title=Introduction to Quantum Mechanics (2nd ed.) | Publisher=Prentice Hall |Year=2004 |ID=ISBN 013805326X}} | |||
* | |||
* | |||
* | |||
* {{Webarchive|url=https://web.archive.org/web/20130513055801/https://www.edx.org/courses/BerkeleyX/CS191x/2013_Spring/about |date=2013-05-13 }} | |||
* | |||
{{Quantum mechanics topics}} | |||
{{DEFAULTSORT:Wave Function}} | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] | |||
] |
Latest revision as of 16:07, 13 December 2024
Mathematical description of quantum state Not to be confused with Wave equation.In quantum physics, a wave function (or wavefunction) is a mathematical description of the quantum state of an isolated quantum system. 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. 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. Some particles, like electrons and photons, 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. 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 2 × 1 column vector for a non-relativistic electron with spin 1⁄2).
According to the superposition principle of quantum mechanics, wave functions can be added together and multiplied by complex numbers to form new wave functions and form a Hilbert space. 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 determines how wave functions evolve over time, and a wave function behaves qualitatively like other waves, 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. 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
Part of a series of articles about |
Quantum mechanics |
---|
Schrödinger equation |
Background |
Fundamentals |
Experiments |
Formulations |
Equations |
Interpretations |
Advanced topics |
Scientists
|
In 1900, Max Planck postulated the proportionality between the frequency of a photon and its energy , , and in 1916 the corresponding relation between a photon's momentum and wavelength , , where is the Planck constant. 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, and this can be viewed as the starting point for the modern development of quantum mechanics. The equations represent wave–particle duality for both massless and massive particles.
In the 1920s and 1930s, quantum mechanics was developed using calculus and linear algebra. Those who used the techniques of calculus included Louis de Broglie, Erwin Schrödinger, and others, developing "wave mechanics". Those who applied the methods of linear algebra included Werner Heisenberg, Max Born, 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. This equation was based on classical conservation of energy 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. 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. 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. 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 to approximate the solution. Now it is also known as the Hartree–Fock method. The Slater determinant and permanent (of a matrix) 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 and negative energies. In 1927, Klein, Gordon and Fock also found it, but incorporated the electromagnetic 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 and quantum mechanics applied to the electron, now called the Dirac equation. 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, the positron. 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, 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) 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 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 0) and the Dirac equation (spin 1⁄2) in this guise remain in the theory. Higher spin analogues include the Proca equation (spin 1), Rarita–Schwinger equation (spin 3⁄2), and, more generally, the Bargmann–Wigner equations. For massless free fields two examples are the free field Maxwell equation (spin 1) and the free field Einstein equation (spin 2) for the field operators. All of them are essentially a direct consequence of the requirement of Lorentz invariance. Their solutions must transform under Lorentz transformation 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)
This section does not cite any sources. Please help improve this section by adding citations to reliable sources. Unsourced material may be challenged and removed. (May 2021) (Learn how and when to remove this message) |
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 of a physical system, at fixed time , is given by the wave function belonging to a separable complex Hilbert space. As such, the inner product of two wave functions Ψ1 and Ψ2 can be defined as the complex number (at time t)
- .
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, 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 x is position and t is time. This is a complex-valued function of two real variables x and t.
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 t. The asterisk indicates the complex conjugate. If the particle's position is measured, its location cannot be determined from the wave function, but is described by a probability distribution.
Normalization condition
The probability that its position x will be in the interval a ≤ x ≤ b is the integral of the density over this interval: where t 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, 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
See also: Mathematical formulation of quantum mechanics, Bra–ket notation, and Position operatorAt a particular instant of time, all values of the wave function Ψ(x, t) are components of a vector. There are uncountably infinitely many of them and integration is used in place of summation. In Bra–ket notation, 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 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 can be used to manipulate wave functions.
- The idea that quantum states are vectors in an abstract vector space is completely general in all aspects of quantum mechanics and quantum field theory, 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 x coordinate is a continuous index. The |x⟩ are called improper vectors which, unlike proper vectors that are normalizable to unity, can only be normalized to a Dirac delta function. 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 p is the momentum in one dimension, which can be any value from −∞ to +∞, and t is time.
Analogous to the position case, the inner product of two wave functions Φ1(p, t) and Φ2(p, t) 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 p, 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,
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 x and p 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 transforms 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, x and p 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 L.
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 spaces originally refer to infinite dimensional complete inner product spaces they, by definition, include finite dimensional complete inner product spaces as well. In physics, they are often referred to as finite dimensional Hilbert spaces. For every finite dimensional Hilbert space there exist orthonormal basis kets that span the entire Hilbert space.
If the N-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 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. However, the general wavefunction of a particle that fully describes its state, is always from an infinite dimensional Hilbert space since it involves a tensor product with Hilbert space 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 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 |sz⟩ is usually identified as a column vector:
but it is a common abuse of notation, because the kets |sz⟩ 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 eigenvectors 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 r is the position vector in three-dimensional space, and t is time. As always Ψ(r, t) 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 sz is the spin projection quantum number along the z axis. (The z axis is an arbitrary choice; other axes can be used instead if the wave function is transformed appropriately, see below.) The sz parameter, unlike r and t, is a discrete variable. For example, for a spin-1/2 particle, sz can only be +1/2 or −1/2, and not any other value. (In general, for spin s, sz can be s, s − 1, ..., −s + 1, −s). Inserting each quantum number gives a complex valued function of space and time, there are 2s + 1 of them. These can be arranged into a column vector
In bra–ket notation, 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 2s + 1 ordinary differential equations with solutions ξ(s, t), ξ(s − 1, t), ..., ξ(−s, t). 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 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 ⊗ 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, and spin–orbit coupling.
The preceding discussion is not limited to spin as a discrete variable, the total angular momentum J may also be used. Other discrete degrees of freedom, like isospin, 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 and the EPR paradox possible. The position-space wave function for N particles is written: where ri is the position of the i-th particle in three-dimensional space, and t is time. Altogether, this is a complex-valued function of 3N + 1 real variables.
In quantum mechanics there is a fundamental distinction between identical particles 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 N 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 r1, r2, ... and others distinguishable x1, x2, ... (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 ri only:
Again, there is no symmetry requirement for the distinguishable particle coordinates xi.
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 N particles with spin in 3-d, this is altogether N three-dimensional volume integrals and N sums over the spins. The differential volume elements dri are also written "dVi" or "dxi dyi dzi".
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 N 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 R1 with spin sz1 = m1 and particle 2 is in region R2 with spin sz2 = m2 etc. at time t 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. 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 S is Hamilton's principal function.
Time dependence
Main article: Dynamical picturesFor 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 N particles, considering their positions only and suppressing other degrees of freedom, where E 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 O, in the Schrödinger picture |Ψ(t)⟩ changes with time according to the Schrödinger equation while O is constant. In the Heisenberg picture it is the other way round, |Ψ⟩ is constant while O(t) 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 and the steady-state solutions to the wave equation have the form (for some constants k, κ)
Note that these wave functions are not normalized; see scattering theory for discussion.
The standard interpretation of this is as a stream of particles being fired at the step from the left (the direction of negative x): setting Ar = 1 corresponds to firing particles singly; the terms containing Ar and Cr signify motion to the right, while Al and Cl – to the left. Under this beam interpretation, put Cl = 0 since no particles are coming from the right. By applying the continuity of wave functions and their derivatives at the boundaries, it is hence possible to determine the constants above.
In a semiconductor crystallite whose radius is smaller than the size of its exciton Bohr radius, the excitons are squeezed, leading to quantum confinement. The energy levels can then be modeled using the particle in a box model in which the energy of different states is dependent on the length of the box.
Quantum harmonic oscillator
The wave functions for the quantum harmonic oscillator can be expressed in terms of Hermite polynomials Hn, they are where n = 0, 1, 2, ....
Hydrogen atom
The wave functions of an electron in a Hydrogen atom are expressed in terms of spherical harmonics and generalized Laguerre polynomials (these are defined differently by different authors—see main article on them and the hydrogen atom).
It is convenient to use spherical coordinates, and the wave function can be separated into functions of each coordinate,
where R are radial functions and Y
ℓ(θ, φ) are spherical harmonics of degree ℓ and order m. This is the only atom for which the Schrödinger equation has been solved exactly. Multi-electron atoms require approximative methods. The family of solutions is:
where a0 = 4πε0ħ/mee is the Bohr radius,
L
n − ℓ − 1 are the generalized Laguerre polynomials of degree n − ℓ − 1, n = 1, 2, ... is the principal quantum number, ℓ = 0, 1, ..., n − 1 the azimuthal quantum number, m = −ℓ, −ℓ + 1, ..., ℓ − 1, ℓ the magnetic quantum number. Hydrogen-like atoms have very similar solutions.
This solution does not take into account the spin of the electron.
In the figure of the hydrogen orbitals, the 19 sub-images are images of wave functions in position space (their norm squared). The wave functions represent the abstract state characterized by the triple of quantum numbers (n, ℓ, m), in the lower right of each image. These are the principal quantum number, the orbital angular momentum quantum number, and the magnetic quantum number. Together with one spin-projection quantum number of the electron, this is a complete set of observables.
The figure can serve to illustrate some further properties of the function spaces of wave functions.
- In this case, the wave functions are square integrable. One can initially take the function space as the space of square integrable functions, usually denoted L.
- The displayed functions are solutions to the Schrödinger equation. Obviously, not every function in L satisfies the Schrödinger equation for the hydrogen atom. The function space is thus a subspace of L.
- The displayed functions form part of a basis for the function space. To each triple (n, ℓ, m), there corresponds a basis wave function. If spin is taken into account, there are two basis functions for each triple. The function space thus has a countable basis.
- The basis functions are mutually orthonormal.
Wave functions and function spaces
The concept of function spaces enters naturally in the discussion about wave functions. A function space is a set of functions, usually with some defining requirements on the functions (in the present case that they are square integrable), sometimes with an algebraic structure on the set (in the present case a vector space structure with an inner product), together with a topology on the set. The latter will sparsely be used here, it is only needed to obtain a precise definition of what it means for a subset of a function space to be closed. It will be concluded below that the function space of wave functions is a Hilbert space. This observation is the foundation of the predominant mathematical formulation of quantum mechanics.
Vector space structure
A wave function is an element of a function space partly characterized by the following concrete and abstract descriptions.
- The Schrödinger equation is linear. This means that the solutions to it, wave functions, can be added and multiplied by scalars to form a new solution. The set of solutions to the Schrödinger equation is a vector space.
- The superposition principle of quantum mechanics. If Ψ and Φ are two states in the abstract space of states of a quantum mechanical system, and a and b are any two complex numbers, then aΨ + bΦ is a valid state as well. (Whether the null vector counts as a valid state ("no system present") is a matter of definition. The null vector does not at any rate describe the vacuum state in quantum field theory.) The set of allowable states is a vector space.
This similarity is of course not accidental. There are also a distinctions between the spaces to keep in mind.
Representations
Basic states are characterized by a set of quantum numbers. This is a set of eigenvalues of a maximal set of commuting observables. Physical observables are represented by linear operators, also called observables, on the vectors space. Maximality means that there can be added to the set no further algebraically independent observables that commute with the ones already present. A choice of such a set may be called a choice of representation.
- It is a postulate of quantum mechanics that a physically observable quantity of a system, such as position, momentum, or spin, is represented by a linear Hermitian operator on the state space. The possible outcomes of measurement of the quantity are the eigenvalues of the operator. At a deeper level, most observables, perhaps all, arise as generators of symmetries.
- The physical interpretation is that such a set represents what can – in theory – simultaneously be measured with arbitrary precision. The Heisenberg uncertainty relation prohibits simultaneous exact measurements of two non-commuting observables.
- The set is non-unique. It may for a one-particle system, for example, be position and spin z-projection, (x, Sz), or it may be momentum and spin y-projection, (p, Sy). In this case, the operator corresponding to position (a multiplication operator in the position representation) and the operator corresponding to momentum (a differential operator in the position representation) do not commute.
- Once a representation is chosen, there is still arbitrariness. It remains to choose a coordinate system. This may, for example, correspond to a choice of x, y- and z-axis, or a choice of curvilinear coordinates as exemplified by the spherical coordinates used for the Hydrogen atomic wave functions. This final choice also fixes a basis in abstract Hilbert space. The basic states are labeled by the quantum numbers corresponding to the maximal set of commuting observables and an appropriate coordinate system.
The abstract states are "abstract" only in that an arbitrary choice necessary for a particular explicit description of it is not given. This is the same as saying that no choice of maximal set of commuting observables has been given. This is analogous to a vector space without a specified basis. Wave functions corresponding to a state are accordingly not unique. This non-uniqueness reflects the non-uniqueness in the choice of a maximal set of commuting observables. For one spin particle in one dimension, to a particular state there corresponds two wave functions, Ψ(x, Sz) and Ψ(p, Sy), both describing the same state.
- For each choice of maximal commuting sets of observables for the abstract state space, there is a corresponding representation that is associated to a function space of wave functions.
- Between all these different function spaces and the abstract state space, there are one-to-one correspondences (here disregarding normalization and unobservable phase factors), the common denominator here being a particular abstract state. The relationship between the momentum and position space wave functions, for instance, describing the same state is the Fourier transform.
Each choice of representation should be thought of as specifying a unique function space in which wave functions corresponding to that choice of representation lives. This distinction is best kept, even if one could argue that two such function spaces are mathematically equal, e.g. being the set of square integrable functions. One can then think of the function spaces as two distinct copies of that set.
Inner product
There is an additional algebraic structure on the vector spaces of wave functions and the abstract state space.
- Physically, different wave functions are interpreted to overlap to some degree. A system in a state Ψ that does not overlap with a state Φ cannot be found to be in the state Φ upon measurement. But if Φ1, Φ2, … overlap Ψ to some degree, there is a chance that measurement of a system described by Ψ will be found in states Φ1, Φ2, …. Also selection rules are observed apply. These are usually formulated in the preservation of some quantum numbers. This means that certain processes allowable from some perspectives (e.g. energy and momentum conservation) do not occur because the initial and final total wave functions do not overlap.
- Mathematically, it turns out that solutions to the Schrödinger equation for particular potentials are orthogonal in some manner, this is usually described by an integral where m, n are (sets of) indices (quantum numbers) labeling different solutions, the strictly positive function w is called a weight function, and δmn is the Kronecker delta. The integration is taken over all of the relevant space.
This motivates the introduction of an inner product on the vector space of abstract quantum states, compatible with the mathematical observations above when passing to a representation. It is denoted (Ψ, Φ), or in the Bra–ket notation ⟨Ψ|Φ⟩. It yields a complex number. With the inner product, the function space is an inner product space. The explicit appearance of the inner product (usually an integral or a sum of integrals) depends on the choice of representation, but the complex number (Ψ, Φ) does not. Much of the physical interpretation of quantum mechanics stems from the Born rule. It states that the probability p of finding upon measurement the state Φ given the system is in the state Ψ is where Φ and Ψ are assumed normalized. Consider a scattering experiment. In quantum field theory, if Φout describes a state in the "distant future" (an "out state") after interactions between scattering particles have ceased, and Ψin an "in state" in the "distant past", then the quantities (Φout, Ψin), with Φout and Ψin varying over a complete set of in states and out states respectively, is called the S-matrix or scattering matrix. Knowledge of it is, effectively, having solved the theory at hand, at least as far as predictions go. Measurable quantities such as decay rates and scattering cross sections are calculable from the S-matrix.
Hilbert space
The above observations encapsulate the essence of the function spaces of which wave functions are elements. However, the description is not yet complete. There is a further technical requirement on the function space, that of completeness, that allows one to take limits of sequences in the function space, and be ensured that, if the limit exists, it is an element of the function space. A complete inner product space is called a Hilbert space. The property of completeness is crucial in advanced treatments and applications of quantum mechanics. For instance, the existence of projection operators or orthogonal projections relies on the completeness of the space. These projection operators, in turn, are essential for the statement and proof of many useful theorems, e.g. the spectral theorem. It is not very important in introductory quantum mechanics, and technical details and links may be found in footnotes like the one that follows. The space L is a Hilbert space, with inner product presented later. The function space of the example of the figure is a subspace of L. A subspace of a Hilbert space is a Hilbert space if it is closed.
In summary, the set of all possible normalizable wave functions for a system with a particular choice of basis, together with the null vector, constitute a Hilbert space.
Not all functions of interest are elements of some Hilbert space, say L. The most glaring example is the set of functions e. These are plane wave solutions of the Schrödinger equation for a free particle that are not normalizable, hence not in L. But they are nonetheless fundamental for the description. One can, using them, express functions that are normalizable using wave packets. They are, in a sense, a basis (but not a Hilbert space basis, nor a Hamel basis) in which wave functions of interest can be expressed. There is also the artifact "normalization to a delta function" that is frequently employed for notational convenience, see further down. The delta functions themselves are not square integrable either.
The above description of the function space containing the wave functions is mostly mathematically motivated. The function spaces are, due to completeness, very large in a certain sense. Not all functions are realistic descriptions of any physical system. For instance, in the function space L one can find the function that takes on the value 0 for all rational numbers and -i for the irrationals in the interval . This is square integrable, but can hardly represent a physical state.
Common Hilbert spaces
While the space of solutions as a whole is a Hilbert space there are many other Hilbert spaces that commonly occur as ingredients.
- Square integrable complex valued functions on the interval [0, 2π]. The set {e/2π, n ∈ Z} is a Hilbert space basis, i.e. a maximal orthonormal set.
- The Fourier transform takes functions in the above space to elements of l(Z), the space of square summable functions Z → C. The latter space is a Hilbert space and the Fourier transform is an isomorphism of Hilbert spaces. Its basis is {ei, i ∈ Z} with ei(j) = δij, i, j ∈ Z.
- The most basic example of spanning polynomials is in the space of square integrable functions on the interval [–1, 1] for which the Legendre polynomials is a Hilbert space basis (complete orthonormal set).
- The square integrable functions on the unit sphere S is a Hilbert space. The basis functions in this case are the spherical harmonics. The Legendre polynomials are ingredients in the spherical harmonics. Most problems with rotational symmetry will have "the same" (known) solution with respect to that symmetry, so the original problem is reduced to a problem of lower dimensionality.
- The associated Laguerre polynomials appear in the hydrogenic wave function problem after factoring out the spherical harmonics. These span the Hilbert space of square integrable functions on the semi-infinite interval [0, ∞).
More generally, one may consider a unified treatment of all second order polynomial solutions to the Sturm–Liouville equations in the setting of Hilbert space. These include the Legendre and Laguerre polynomials as well as Chebyshev polynomials, Jacobi polynomials and Hermite polynomials. All of these actually appear in physical problems, the latter ones in the harmonic oscillator, and what is otherwise a bewildering maze of properties of special functions becomes an organized body of facts. For this, see Byron & Fuller (1992, Chapter 5).
There occurs also finite-dimensional Hilbert spaces. The space C is a Hilbert space of dimension n. The inner product is the standard inner product on these spaces. In it, the "spin part" of a single particle wave function resides.
- In the non-relativistic description of an electron one has n = 2 and the total wave function is a solution of the Pauli equation.
- In the corresponding relativistic treatment, n = 4 and the wave function solves the Dirac equation.
With more particles, the situations is more complicated. One has to employ tensor products and use representation theory of the symmetry groups involved (the rotation group and the Lorentz group respectively) to extract from the tensor product the spaces in which the (total) spin wave functions reside. (Further problems arise in the relativistic case unless the particles are free. See the Bethe–Salpeter equation.) Corresponding remarks apply to the concept of isospin, for which the symmetry group is SU(2). The models of the nuclear forces of the sixties (still useful today, see nuclear force) used the symmetry group SU(3). In this case, as well, the part of the wave functions corresponding to the inner symmetries reside in some C or subspaces of tensor products of such spaces.
- In quantum field theory the underlying Hilbert space is Fock space. It is built from free single-particle states, i.e. wave functions when a representation is chosen, and can accommodate any finite, not necessarily constant in time, number of particles. The interesting (or rather the tractable) dynamics lies not in the wave functions but in the field operators that are operators acting on Fock space. Thus the Heisenberg picture is the most common choice (constant states, time varying operators).
Due to the infinite-dimensional nature of the system, the appropriate mathematical tools are objects of study in functional analysis.
Simplified description
Not all introductory textbooks take the long route and introduce the full Hilbert space machinery, but the focus is on the non-relativistic Schrödinger equation in position representation for certain standard potentials. The following constraints on the wave function are sometimes explicitly formulated for the calculations and physical interpretation to make sense:
- The wave function must be square integrable. This is motivated by the Copenhagen interpretation of the wave function as a probability amplitude.
- It must be everywhere continuous and everywhere continuously differentiable. This is motivated by the appearance of the Schrödinger equation for most physically reasonable potentials.
It is possible to relax these conditions somewhat for special purposes. If these requirements are not met, it is not possible to interpret the wave function as a probability amplitude. Note that exceptions can arise to the continuity of derivatives rule at points of infinite discontinuity of potential field. For example, in particle in a box where the derivative of wavefunction can be discontinuous at the boundary of the box where the potential is known to have infinite discontinuity.
This does not alter the structure of the Hilbert space that these particular wave functions inhabit, but the subspace of the square-integrable functions L, which is a Hilbert space, satisfying the second requirement is not closed in L, hence not a Hilbert space in itself. The functions that does not meet the requirements are still needed for both technical and practical reasons.
More on wave functions and abstract state space
Main article: Quantum stateAs has been demonstrated, the set of all possible wave functions in some representation for a system constitute an in general infinite-dimensional Hilbert space. Due to the multiple possible choices of representation basis, these Hilbert spaces are not unique. One therefore talks about an abstract Hilbert space, state space, where the choice of representation and basis is left undetermined. Specifically, each state is represented as an abstract vector in state space. A quantum state |Ψ⟩ in any representation is generally expressed as a vector where
- |α, ω⟩ the basis vectors of the chosen representation
- dω = dω1dω2...dωm a differential volume element in the continuous degrees of freedom
- a component of the vector , called the wave function of the system
- α = (α1, α2, ..., αn) dimensionless discrete quantum numbers
- ω = (ω1, ω2, ..., ωm) continuous variables (not necessarily dimensionless)
These quantum numbers index the components of the state vector. More, all α are in an n-dimensional set A = A1 × A2 × ... × An where each Ai is the set of allowed values for αi; all ω are in an m-dimensional "volume" Ω ⊆ ℝ where Ω = Ω1 × Ω2 × ... × Ωm and each Ωi ⊆ R is the set of allowed values for ωi, a subset of the real numbers R. For generality n and m are not necessarily equal.
Example:
- For a single particle in 3d with spin s, neglecting other degrees of freedom, using Cartesian coordinates, we could take α = (sz) for the spin quantum number of the particle along the z direction, and ω = (x, y, z) for the particle's position coordinates. Here A = {−s, −s + 1, ..., s − 1, s} is the set of allowed spin quantum numbers and Ω = R is the set of all possible particle positions throughout 3d position space.
- An alternative choice is α = (sy) for the spin quantum number along the y direction and ω = (px, py, pz) for the particle's momentum components. In this case A and Ω are the same as before.
The probability density of finding the system at time at state |α, ω⟩ is
The probability of finding system with α in some or all possible discrete-variable configurations, D ⊆ A, and ω in some or all possible continuous-variable configurations, C ⊆ Ω, is the sum and integral over the density,
Since the sum of all probabilities must be 1, the normalization condition must hold at all times during the evolution of the system.
The normalization condition requires ρ dω to be dimensionless, by dimensional analysis Ψ must have the same units as (ω1ω2...ωm).
Ontology
Main article: Interpretations of quantum mechanicsWhether the wave function exists in reality, and what it represents, are major questions in the interpretation of quantum mechanics. Many famous physicists of a previous generation puzzled over this problem, such as Erwin Schrödinger, Albert Einstein and Niels Bohr. Some advocate formulations or variants of the Copenhagen interpretation (e.g. Bohr, Eugene Wigner and John von Neumann) while others, such as John Archibald Wheeler or Edwin Thompson Jaynes, take the more classical approach and regard the wave function as representing information in the mind of the observer, i.e. a measure of our knowledge of reality. Some, including Schrödinger, David Bohm and Hugh Everett III and others, argued that the wave function must have an objective, physical existence. Einstein thought that a complete description of physical reality should refer directly to physical space and time, as distinct from the wave function, which refers to an abstract mathematical space.
See also
- Boson
- De Broglie–Bohm theory
- Double-slit experiment
- Faraday wave
- Fermion
- Phase-space formulation
- Schrödinger equation
- Wave function collapse
- Wave packet
Notes
Remarks
- The functions are here assumed to be elements of L, 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 0. This is necessary to obtain an inner product (that is, (Ψ, Ψ) = 0 ⇒ Ψ ≡ 0) as opposed to a semi-inner product. The integral is taken to be the Lebesgue integral. This is essential for completeness of the space, thus yielding a complete inner product space = Hilbert space.
- In quantum mechanics, only separable Hilbert spaces are considered, which using Zorn's Lemma, implies it admits a countably infinite Schauder basis rather than an orthonormal basis in the sense of linear algebra (Hamel basis).
- As, technically, they are not in the Hilbert space. See Spectral theorem for more details.
- ^ Also called "Dirac orthonormality", according to Griffiths, David J. Introduction to Quantum Mechanics (3rd ed.).
- The Fourier transform viewed as a unitary operator on the space L has eigenvalues ±1, ±i. The eigenvectors are "Hermite functions", i.e. Hermite polynomials multiplied by a Gaussian function. See Byron & Fuller (1992) for a description of the Fourier transform as a unitary transformation. For eigenvalues and eigenvalues, refer to Problem 27 Ch. 9.
- For this statement to make sense, the observables need to be elements of a maximal commuting set. To see this, it is a simple matter to note that, for example, the momentum operator of the i'th particle in a n-particle system is not a generator of any symmetry in nature. On the other hand, the total momentum is a generator of a symmetry in nature; the translational symmetry.
- The resulting basis may or may not technically be a basis in the mathematical sense of Hilbert spaces. For instance, states of definite position and definite momentum are not square integrable. This may be overcome with the use of wave packets or by enclosing the system in a "box". See further remarks below.
- In technical terms, this is formulated the following way. The inner product yields a norm. This norm, in turn, induces a metric. If this metric is complete, then the aforementioned limits will be in the function space. The inner product space is then called complete. A complete inner product space is a Hilbert space. The abstract state space is always taken as a Hilbert space. The matching requirement for the function spaces is a natural one. The Hilbert space property of the abstract state space was originally extracted from the observation that the function spaces forming normalizable solutions to the Schrödinger equation are Hilbert spaces.
- As is explained in a later footnote, the integral must be taken to be the Lebesgue integral, the Riemann integral is not sufficient.
- Conway 1990. This means that inner products, hence norms, are preserved and that the mapping is a bounded, hence continuous, linear bijection. The property of completeness is preserved as well. Thus this is the right concept of isomorphism in the category of Hilbert spaces.
- One such relaxation is that the wave function must belong to the Sobolev space W. It means that it is differentiable in the sense of distributions, and its gradient is square-integrable. This relaxation is necessary for potentials that are not functions but are distributions, such as the Dirac delta function.
- It is easy to visualize a sequence of functions meeting the requirement that converges to a discontinuous function. For this, modify an example given in Inner product space#Some examples. This element though is an element of L.
- For instance, in perturbation theory one may construct a sequence of functions approximating the true wave function. This sequence will be guaranteed to converge in a larger space, but without the assumption of a full-fledged Hilbert space, it will not be guaranteed that the convergence is to a function in the relevant space and hence solving the original problem.
- Some functions not being square-integrable, like the plane-wave free particle solutions are necessary for the description as outlined in a previous note and also further below.
- Here: is a multiple sum.
Citations
- ^ Born 1926a, translated in Wheeler & Zurek 1983 at pages 52–55.
- ^ Born 1926b, translated in Ludwig 1968, pp. 206–225. Also here Archived 2020-12-01 at the Wayback Machine.
- Born, M. (1954).
- Born 1927, pp. 354–357.
- Heisenberg 1958, p. 143.
- Heisenberg, W. (1927/1985/2009). Heisenberg is translated by Camilleri 2009, p. 71, (from Bohr 1985, p. 142).
- Murdoch 1987, p. 43.
- de Broglie 1960, p. 48.
- Landau & Lifshitz 1977, p. 6.
- Newton 2002, pp. 19–21.
- "Planck - A very short biography of Planck". spark.iop.org. Institute of Physics. Retrieved 12 February 2023.
- C/CS Pys C191:Representations and Wave Functions 》 1. Planck-Einstein Relation E=hv (PDF). EESC Instructional and Electronics Support, University of California, Berkeley. 30 September 2008. p. 1. Retrieved 12 February 2023.
- Einstein 1916, pp. 47–62, and a nearly identical version Einstein 1917, pp. 121–128 translated in ter Haar 1967, pp. 167–183.
- de Broglie 1923, pp. 507–510, 548, 630.
- Hanle 1977, pp. 606–609.
- Schrödinger 1926, pp. 1049–1070.
- Tipler, Mosca & Freeman 2008.
- ^ Weinberg 2013.
- Young & Freedman 2008, p. 1333.
- ^ Atkins 1974.
- Martin & Shaw 2008.
- Pauli 1927, pp. 601–623..
- Weinberg (2002) takes the standpoint that quantum field theory appears the way it does because it is the only way to reconcile quantum mechanics with special relativity.
- Weinberg (2002) See especially chapter 5, where some of these results are derived.
- Weinberg 2002 Chapter 4.
- Zwiebach 2009.
- Applications of Quantum Mechanics.
- Griffiths 2004, p. 94.
- Shankar 1994, p. 117.
- ^ Griffiths 2004.
- Treves 2006, p. 112-125.
- B. Griffiths, Robert. "Hilbert Space Quantum Mechanics" (PDF). p. 1.
- Landsman 2009.
- Shankar 1994, pp. 378–379.
- Landau & Lifshitz 1977.
- Zettili 2009, p. 463.
- Sakurai, Jun John; Napolitano, Jim (2021). Modern quantum mechanics (3rd ed.). Cambridge: Cambridge University Press. pp. 94–97. ISBN 978-1-108-47322-4.
- Weinberg 2002 Chapter 3, Scattering matrix.
- Physics for Scientists and Engineers – with Modern Physics (6th Edition), P. A. Tipler, G. Mosca, Freeman, 2008, ISBN 0-7167-8964-7
- Griffiths 2008, pp. 162ff.
- Weinberg 2002.
- Weinberg 2002, Chapter 3.
- Conway 1990.
- Greiner & Reinhardt 2008.
- Eisberg & Resnick 1985.
- Rae 2008.
- Atkins 1974, p. 258.
- Cohen-Tannoudji, Diu & Laloë 2019, pp. 103, 215.
- Jaynes 2003.
- Einstein 1998, p. 682.
References
- "Applications of Quantum Mechanics". Lecture notes for the course AP3303. Department of Quantum Nanoscience studies at TU Delft. 2022.
- Arons, A. B.; Peppard, M. B. (1965). "Einstein's proposal of the photon concept: A translation of the Annalen der Physik paper of 1905" (PDF). American Journal of Physics. 33 (5): 367. Bibcode:1965AmJPh..33..367A. doi:10.1119/1.1971542.
- Atkins, P. W. (1974). Quanta: A Handbook of Concepts. Clarendon Press. ISBN 978-0-19-855494-3.
- Bohr, N. (1985). Kalckar, J. (ed.). Niels Bohr - Collected Works: Foundations of Quantum Physics I (1926 - 1932). Vol. 6. Amsterdam: North Holland. ISBN 978-044453289-3.
- Born, M. (1926a). "Zur Quantenmechanik der Stoßvorgange". Z. Phys. 37 (12): 863–867. Bibcode:1926ZPhy...37..863B. doi:10.1007/bf01397477. S2CID 119896026.
- Born, M. (1926b). "Quantenmechanik der Stoßvorgange". Z. Phys. 38 (11–12): 803–827. Bibcode:1926ZPhy...38..803B. doi:10.1007/bf01397184. S2CID 126244962.
- Born, M. (1927). "Physical aspects of quantum mechanics". Nature. 119 (2992): 354–357. Bibcode:1927Natur.119..354B. doi:10.1038/119354a0.
- Born, M. (11 December 1954). "The statistical interpretation of quantum mechanics". Nobel Lecture. 122 (3172). Nobel Foundation: 675–9. doi:10.1126/science.122.3172.675. PMID 17798674.
- de Broglie, L. (1923). "Radiations—Ondes et quanta" [Radiation—Waves and quanta]. Comptes Rendus (in French). 177: 507–510, 548, 630. Online copy (French) Online copy (English)
- de Broglie, L. (1960). Non-linear Wave Mechanics: a Causal Interpretation. Amsterdam: Elsevier – via Internet Archive.
- Byron, F. W.; Fuller, R. W. (1992) . Mathematics of Classical and Quantum Physics. Dover Books on Physics (revised ed.). Dover Publications. ISBN 978-0-486-67164-2 – via Internet Archive.
- Camilleri, K. (2009). Heisenberg and the Interpretation of Quantum Mechanics: the Physicist as Philosopher. Cambridge UK: Cambridge University Press. ISBN 978-0-521-88484-6.
- Cohen-Tannoudji, Claude; Diu, Bernard; Laloë, Franck (2019). Quantum Mechanics, Volume 1. Weinheim, Germany: John Wiley & Sons. ISBN 978-3-527-34553-3.
- Conway, J. B. (1990). A Course in Functional Analysis. Graduate Texts in Mathematics. Vol. 96. Springer Verlag. ISBN 978-0-387-97245-9.
- Dirac, P. A. M. (1939). "A new notation for quantum mechanics". Mathematical Proceedings of the Cambridge Philosophical Society. 35 (3): 416–418. Bibcode:1939PCPS...35..416D. doi:10.1017/S0305004100021162. S2CID 121466183.
- Dirac, P. A. M. (1982). The principles of quantum mechanics. The international series on monographs on physics (4th ed.). Oxford University Press. ISBN 0-19-852011-5.
- Einstein, A. (1905). "Über einen die Erzeugung und Verwandlung des Lichtes betreffenden heuristischen Gesichtspunkt". Annalen der Physik (in German). 17 (6): 132–148. Bibcode:1905AnP...322..132E. doi:10.1002/andp.19053220607.
- Einstein, A. (1916). "Zur Quantentheorie der Strahlung". Mitteilungen der Physikalischen Gesellschaft Zürich. 18: 47–62.
- Einstein, A. (1917). "Zur Quantentheorie der Strahlung". Physikalische Zeitschrift (in German). 18: 121–128. Bibcode:1917PhyZ...18..121E.
- Einstein, A. (1998). Schilpp, P. A. (ed.). Albert Einstein: Philosopher-Scientist. The Library of Living Philosophers. Vol. VII (3rd ed.). La Salle Publishing Company, Illinois: Open Court. ISBN 978-0-87548-133-3.
- Eisberg, Robert Martin; Resnick, Robert (1985). Quantum Physics of Atoms, Molecules, Solids, Nuclei and Particles (2nd ed.). John Wiley & Sons. ISBN 978-0-471-87373-0 – via Internet Archive.
- Greiner, W.; Reinhardt, J. (2008). Quantum Electrodynamics (4th ed.). springer. ISBN 978-354087560-4.
- Griffiths, D. J. (2004). Introduction to Quantum Mechanics (2nd ed.). Essex England: Pearson Education. ISBN 978-013111892-8.
- Griffiths, David (2008). Introduction to elementary particles. Wiley-VCH. pp. 162ff. ISBN 978-3-527-40601-2.
- ter Haar, D. (1967). The Old Quantum Theory. Pergamon Press. pp. 167–183. LCCN 66029628 – via Internet Archive.
- Hanle, P.A. (1977), "Erwin Schrodinger's Reaction to Louis de Broglie's Thesis on the Quantum Theory", Isis, 68 (4): 606–609, doi:10.1086/351880, S2CID 121913205
- Heisenberg, W. (1958). Physics and Philosophy: the Revolution in Modern Science. New York: Harper & Row – via Internet Archive.
- Jaynes, E. T. (2003). Larry, G. (ed.). Probability Theory: The Logic of Science. Cambridge University Press. ISBN 978-0-521 59271-0.
- Landau, L.D.; Lifshitz, E. M. (1977). Quantum Mechanics: Non-Relativistic Theory. Vol. 3 (3rd ed.). Pergamon Press. ISBN 978-0-08-020940-1. Online copy
- Landsman, N. P. (2009). "Born Rule and its Interpretation" (PDF). Compendium of Quantum Physics. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 64–70. doi:10.1007/978-3-540-70626-7_20. ISBN 978-3-540-70622-9.
- Lerner, R.G.; Trigg, G.L. (1991). Encyclopaedia of Physics (2nd ed.). VHC Publishers. ISBN 978-0-89573-752-6 – via Internet Archive.
- Ludwig, G. (1968). Wave Mechanics. Oxford UK: Pergamon Press. ISBN 978-0-08-203204-5. LCCN 66-30631 – via Internet Archive.
- Martin, B.R.; Shaw, G. (2008). Particle Physics. Manchester Physics Series (3rd ed.). John Wiley & Sons. ISBN 978-0-470-03294-7.
- Murdoch, D. (1987). Niels Bohr's Philosophy of Physics. Cambridge UK: Cambridge University Press. ISBN 978-0-521-33320-7 – via Internet Archive.
- Newton, R.G. (2002). Quantum Physics: a Text for Graduate Student. New York: Springer. ISBN 978-0-387-95473-8.
- Pauli, Wolfgang (1927). "Zur Quantenmechanik des magnetischen Elektrons". Zeitschrift für Physik (in German). 43 (9–10): 601–623. Bibcode:1927ZPhy...43..601P. doi:10.1007/bf01397326. S2CID 128228729.
- Peleg, Y.; Pnini, R.; Zaarur, E.; Hecht, E. (2010). Quantum mechanics. Schaum's outlines (2nd ed.). McGraw Hill. ISBN 978-0-07-162358-2.
- Rae, A.I.M. (2008). Quantum Mechanics. Vol. 2 (5th ed.). Taylor & Francis Group. ISBN 978-1-5848-89700.
- Schrödinger, E. (1926). "An Undulatory Theory of the Mechanics of Atoms and Molecules" (PDF). Physical Review. 28 (6): 1049–1070. Bibcode:1926PhRv...28.1049S. doi:10.1103/PhysRev.28.1049. Archived from the original (PDF) on 17 December 2008.
- Shankar, R. (1994). Principles of Quantum Mechanics (2nd ed.). ISBN 978-030644790-7.
- Tipler, P. A.; Mosca, G.; Freeman (2008). Physics for Scientists and Engineers – with Modern Physics (6th ed.). W. H. Freeman. ISBN 978-0-7167-8964-2.
- Treves, Francois (2006). Topological Vector Spaces, Distributions and Kernels. Mineola, NY: Courier Corporation. ISBN 978-0-486-45352-1.
- Weinberg, S. (2002), The Quantum Theory of Fields, vol. 1, Cambridge University Press, ISBN 978-0-521-55001-7 – via Internet Archive
- Weinberg, S. (2013), Lectures in Quantum Mechanics, Cambridge University Press, ISBN 978-1-107-02872-2
- Wheeler, J.A.; Zurek, W.H. (1983). Quantum Theory and Measurement. Princeton NJ: Princeton University Press.
- Young, H. D.; Freedman, R. A. (2008). Pearson (ed.). Sears' and Zemansky's University Physics (12th ed.). Addison-Wesley. ISBN 978-0-321-50130-1.
- Zettili, N. (2009). Quantum Mechanics: Concepts and Applications (2nd ed.). Wiley. ISBN 978-0-470-02679-3.
- Zwiebach, Barton (2009). A First Course in String Theory. Cambridge University Press. ISBN 978-0-521-88032-9.
Further reading
- Kim, Yong-Ki (2 September 2000). Practical Atomic Physics (PDF). National Institute of Standards and Technology. pp. 1 (55 s). Archived from the original (PDF) on 22 July 2011.
- Polkinghorne, John (2002). Quantum Theory, A Very Short Introduction. Oxford University Press. ISBN 978-0-19-280252-1.
External links
- Quantum Mechanics for Engineers
- Spin wave functions NYU
- Identical Particles Revisited, Michael Fowler
- The Nature of Many-Electron Wavefunctions
- Quantum Mechanics and Quantum Computation at BerkeleyX Archived 2013-05-13 at the Wayback Machine
- Einstein, The quantum theory of radiation