Schrödinger equation 59874 226179916 2008-07-17T05:06:27Z Likebox 4287880 [[WP:UNDO|Undid]] revision 226173677 by [[Special:Contributions/99.244.206.3|99.244.206.3]] ([[User talk:99.244.206.3|talk]]) {{Quantum mechanics|cTopic=Equations}} {{Refimprove|date=March 2008}} {{dablink|For a non-technical introduction to the topic, please see [[Introduction to quantum mechanics#Schr.C3.B6dinger wave equation|Introduction to quantum mechanics]].}} In [[physics]], especially [[quantum mechanics]], the '''Schrödinger equation''' is an equation that describes how the [[quantum state]] of a [[physical system]] changes in time. It is as central to [[quantum mechanics]] as [[Newton's laws of motion|Newton's laws]] are to [[classical mechanics]]. In the standard interpretation of quantum mechanics, the quantum state, also called a wavefunction or state vector, is the most complete description that can be given to a physical system. Solutions to Schrödinger's equation describe atomic and subatomic systems, electrons and atoms, but also macroscopic systems, possibly even the whole universe. The equation is named after [[Erwin Schrödinger]], who discovered it in 1926.<ref name = sch>{{cite journal| last = Schrödinger| first = Erwin| authorlink = Erwin Schrödinger| title = An Undulatory Theory of the Mechanics of Atoms and Molecules| journal = Phys. Rev.| volume = 28| issue = 6| pages = 1049–1070 | date = December 1926| url = http://home.tiscali.nl/physis/HistoricPaper/Schroedinger/Schroedinger1926c.pdf| format = [[PDF]]| doi = 10.1103/PhysRev.28.1049 }}</ref> Schrödinger's equation can be mathematically transformed into the [[Werner Heisenberg|Heisenberg]] [[matrix mechanics|formalism]], and into the [[Richard Feynman|Feynman]] [[path integral formulation|path integral]]. The Schrödinger equation describes time in a way that is inconvenient for relativistic theories, a problem which is less severe in Heisenberg's formulation and completely absent in the path integral. == The Schroedinger equation == The Schroedinger equation for a single particle in three dimensions is: :<math>i\hbar\frac{\partial}{\partial t}\Psi(\mathbf{x},t) = -\frac{\hbar^2}{2m}\nabla^2\Psi(\mathbf{x},t) + V(\mathbf{x})\Psi(\mathbf{x},t)</math> where :* <math>\Psi(\mathbf{x},t)</math> is the wavefunction :* <math>\hbar = {h \over 2\pi}</math> is the reduced Planck constant :* <math>m \,</math> is the mass of the particle :* <math>V(\mathbf{x}) \, </math> is the potential energy field of the particle's environment ==Historical background and development== {{Main|Theoretical and experimental justification for the Schrödinger equation}} [[Albert Einstein|Einstein]] interpreted [[Max Planck|Planck]]'s quanta as [[photon]]s, particles of light, and proposed that the energy of a photon is proportional to its frequency, a mysterious [[wave-particle duality]]. Since energy and momentum are [[four-vector|related]] in the same way as frequency and [[wavenumber]] in [[relativity]], it followed that the momentum of a photon is proportional to its wavenumber. [[Louis DeBroglie|DeBroglie]] hypothesized that this is true for all particles, for electrons as well as photons, that the energy and momentum of an electron are the frequency and wavenumber of a wave. Assuming that the waves travel roughly along classical paths, he showed that they form [[standing wave]]s only for certain discrete frequencies, discrete energy levels which reproduced the [[old quantum theory|old quantum condition]]. Following up on these ideas, Schrödinger decided to find a proper wave equation for the electron. He was guided by [[William Rowan Hamilton |Hamilton]]'s analogy between mechanics and optics, encoded in the observation that the zero-wavelength limit of optics resembles a mechanical system--- the trajectories of light rays become sharp tracks which obey a [[Fermat's principle|principle of least action]]. Hamilton believed that mechanics was the zero-wavelength limit of wave propagation, but did not formulate an equation for those waves. This is what Schrödinger did, and a modern version of his reasoning is reproduced in the next section. The equation he found is: ::<math>i\hbar\frac{\partial}{\partial t}\psi=-\frac{\hbar^2}{2m}\nabla^2\psi + V\psi</math> Using this equation, Schrödinger computed the [[spectral line]]s for hydrogen by treating a [[hydrogen]] atom's single negatively [[electric charge|charged]] [[electron]] as a wave, <math>\psi\;</math>, moving in a [[potential well]], '''V''', created by the positively charged [[proton]]. This computation reproduced the energy levels of the [[Bohr model]]. But this was not enough, since Sommerfeld had already seemingly correctly reproduced [[fine structure|relativistic corrections]]. Schrödinger used the relativistic energy momentum relation to find what is now known as the [[Klein-Gordon equation]] in a [[Coulomb potential]] (in [[natural units]]): ::<math> (E + {e^2\over r} )^2 \psi = - \nabla^2\psi + m^2 \psi </math> He found the standing-waves of this relativistic equation, but the relativistic corrections disagreed with Sommerfeld's formula. Discouraged, he put away his calculations and secluded himself in an isolated mountain cabin with a lover. While there, Schrödinger decided that the earlier nonrelativistic calculations were novel enough to publish, and decided to leave off the problem of relativistic corrections for the future. He put together his wave equation and the spectral analysis of hydrogen in a paper in 1926.<ref> [[Erwin Schrödinger]], ''Annalen der Physik, (Leipzig)'' (1926), [http://home.tiscali.nl/physis/HistoricPaper/Schroedinger/Schrodinger1926c.pdf Main paper] </ref>. The paper was enthusiastically endorsed by Einstein, who saw the matter-waves as the visualizable antidote to what he considered to be the overly formal [[matrix mechanics]]. The Schrödinger equation defines the behaviour of <math>\psi\;</math>, but does not interpret what <math>\psi\;</math> ''is''. Schrödinger tried unsuccessfully, in his fourth paper, to interpret it as a charge density.<ref>''Schrödinger: Life and Thought'' by Walter John Moore, Cambridge University Press 1992 ISBN 0-521-43767-9, page 219 (hardback version) </ref> In 1926 [[Max Born]], just a few days after Schrödinger's fourth and final paper was published, successfully interpreted <math>\psi\;</math> as a [[probability amplitude]]<ref>''Schrödinger: Life and Thought'' by Walter John Moore, Cambridge University Press 1992 ISBN 0-521-43767-9, page 220</ref>. Schrödinger, though, always opposed a [[statistical]] or probabilistic approach, with its associated [[wavefunction collapse|discontinuities]]; like Einstein, who believed that quantum mechanics was a statistical approximation to an underlying deterministic theory, Schrödinger was never reconciled to the [[Copenhagen interpretation]].<ref>''Schrödinger: Life and Thought'' by Walter John Moore, Cambridge University Press 1992 ISBN 0-521-43767-9, page 479 (hardback version) makes it clear that even in his last year of life, in a letter to Max Born, he never accepted the Copenhagen Interpretation. cf pg 220</ref> == Derivation == === Short Heuristic Derivation === ==== Assumptions ==== :(1) The total [[energy]] ''E'' of a particle is ::<math>E= T + V = \frac{p^2}{2m}+V</math> :::This is the [[classical mechanics]] expression for a particle with mass ''m'' where the total energy ''E'' is the sum of the [[kinetic energy]], <math>\frac{p^2}{2m}</math>, and the [[potential energy]] ''V''. The [[momentum]] of the particle is '''p''', or mass times velocity. The potential energy is assumed to [[potential function|vary with position]], and possibly time as well. :Note that the energy ''E'' and [[momentum]] '''p''' appear in the following two relations: :(2) [[Photoelectric effect|Einstein's light quanta hypothesis]] of 1905, which asserts that the energy ''E'' of a photon is proportional to the frequency ''f'' of the corresponding electromagnetic wave: ::<math>E = h f = {h \over 2\pi} (2\pi f) = \hbar \omega \;</math> :::where the [[frequency]] ''f'' of the [[quanta]] of radiation (photons) are related by [[Planck's constant]] ''h'', :::and <math>\omega = 2\pi f\;</math> is the [[angular frequency]] of the wave. :(3) The [[de Broglie hypothesis]] of 1924, which states that any particle can be associated with a wave, represented mathematically by a wavefunction &Psi;, and that the momentum '''p''' of the particle is related to the wavelength &lambda; of the associated wave by: ::<math>p = { h \over \lambda } = { h \over 2\pi } {2\pi \over \lambda} = \hbar k\;</math> :::where <math>\lambda\,</math> is the [[wavelength]] and <math>k = 2\pi / \lambda\;</math> is the [[wavenumber]] of the wave. Expressing '''p''' and '''k''' as [[Vector (spatial)|vector]]s, we have ::<math>\mathbf{p} =\hbar \mathbf{k}\;</math> ==== Expressing the wave function as a complex plane wave ==== Schrödinger's great insight, late in 1925, was to express the [[Phase (waves)|phase]] of a [[plane wave]] as a [[complex number|complex]] [[phase factor]]: ::<math>\Psi(\mathbf{x},t) = Ae^{i(\mathbf{k}\cdot\mathbf{x}- \omega t)} = Ae^{i \mathbf{k} \cdot \mathbf{x}}e^{-i\omega t} = \psi(\mathbf{x}) \phi(t) </math> :where ::<math>\psi(\mathbf{x}) = Ae^{i \mathbf{k} \cdot \mathbf{x}}</math> :and ::<math>\phi(t) = e^{-i\omega t} \,</math> and to realize that since :: <math> \frac{\partial}{\partial t} \Psi = -i\omega \Psi </math> then :: <math> E \Psi = \hbar \omega \Psi = i\hbar\frac{\partial}{\partial t} \Psi </math> and similarly since: :: <math> \frac{\partial}{\partial x} \Psi = i k_x \Psi </math> then :: <math> p_x \Psi = \hbar k_x \Psi = -i\hbar\frac{\partial}{\partial x} \Psi </math> and hence: :: <math> p_x^2 \Psi = -\hbar^2\frac{\partial^2}{\partial x^2} \Psi </math> so that, again for a plane wave, he obtained: :: <math> p^2 \Psi = (p_x^2 + p_y^2 + p_z^2) \Psi = -\hbar^2\left(\frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2} + \frac{\partial^2}{\partial z^2}\right) \Psi = -\hbar^2\nabla^2 \Psi </math> And by inserting these expressions for the energy and momentum into the [[classical mechanics]] formula we started with we get Schrödinger's famed equation for a single particle in the 3-dimensional case in the presence of a potential '''V''': ::<math>i\hbar\frac{\partial}{\partial t}\Psi=-\frac{\hbar^2}{2m}\nabla^2\Psi + V\Psi</math> === Longer Discussion === '''Assumptions''': *The particle is described by a wave. *The [[angular frequency|frequency]] of the wave is the energy E of the particle, while the momentum p is the [[wavenumber]] k. These are not two separate assumptions, because of special relativity. ::<math> E= \hbar \omega \;\;\;\;P= \hbar k \,</math> with <math>\scriptstyle \hbar</math> serving as a [[natural units|unit conversion factor]]. *The total energy is the same function of momentum and position as in classical mechanics: :::<math> E = T(p) + V(x) = {p^2\over 2m} + V(x) </math> :the first term ''T''(''p'') is the [[kinetic energy]] and the second term ''V''(''x'') is the [[potential energy]]. Schrodinger required that a [[Wave packet]] at position x with wavenumber k will move along the trajectory determined by Newton's laws in the limit that the wavelength is small. Consider first the case without a potential, V=0. ::<math>E = {1\over 2m} (p_x^2+p_y^2 + p_z^2)</math> Replacing energy/momentum by frequency/wavenumber: ::<math> \omega = {\hbar\over 2m} (k_x^2 + k_y^2 + k_z^2) </math> A [[plane wave]] is a wave with a wavenumber k, and it has the following form: ::<math>\psi = e^{i(k \cdot x- \omega t)}</math> The sign convention for the frequency is chosen to make the quantity in the exponential the relativistic dot-product. Taking a time derivative multiplies by the frequency :: <math> \frac{\partial}{\partial t} \psi = -i\omega \psi </math> Taking a spatial derivative multiplies by the wavenumber: :: <math> \frac{\partial}{\partial x} \psi = i k_x \psi\;\;\;\;\;\;{\partial^2 \over \partial x^2} \psi = -k_x^2 \psi</math> so that a plane wave with the right energy/frequency relationship obeys the '''free Schrodinger equation''': ::<math> i\hbar{\partial \over \partial t} \psi = -{\hbar^2 \over 2m} ( {\partial^2 \psi \over \partial x^2} + {\partial^2 \psi \over \partial y^2} + {\partial^2 \psi \over \partial z^2} ) </math> Since every function is a linear combination of plane waves, this equation is obeyed by an arbitrary wave describing a free particle. Since there is no potential, a wavepacket should travel in a straight line at the correct classical velocity. The [[group velocity|velocity]] v of such a wavepacket is given by: ::<math> v = {\partial \omega \over \partial k } = {\partial \over \partial k} {\hbar k^2\over 2m} = {\hbar k\over m} </math> which is the momentum over the mass as it should be. This reproduces one of [[Hamilton's equations]] from mechanics: ::<math> {dx \over dt} = {\partial H \over \partial p} </math> after identifying the energy and momentum of a wavepacket as the frequency and wavenumber. To include a potential energy, consider that as a particle moves the energy is conserved, so that for a wavepacket with approximate wavenumber k at approximate position x the quantity ::<math> { \hbar^2 k^2\over 2m } + V(x) </math> must be constant. The frequency doesn't change as a wave moves, but the wavenumber does. So where there is a potential energy, it must add in the same way: ::<math>i\hbar\frac{\partial}{\partial t}\psi=-\frac{\hbar^2}{2m}\nabla^2\psi + V(x)\psi</math> This is the '''time dependent schrodinger equation'''. It is the equation for the energy in classical mechanics, turned into a differential equation by substituting: ::<math>E\rightarrow i\hbar{\partial\over \partial t} \;\;\;\;\;\; p\rightarrow -i\hbar{\partial\over \partial x}</math> Schrödinger studied the [[standing wave]] solutions, since these were the energy levels. Standing waves have a complicated dependence on space, but vary in time in a simple way: ::<math> \psi(x,t) = \psi(x) e^{-{iEt\over \hbar}} </math> substituting, the time-dependent equation becomes the standing wave equation: ::<math> {E}\psi(x) = - {\hbar^2 \over 2m} \nabla^2 \psi(x) + V(x) \psi(x) </math> Which is the original '''time-independent Schrodinger equation'''. In a potential gradient, the k-vector of a short-wavelength wave must vary from point to point, to keep the total energy constant. Sheets perpendicular to the k-vector are the wavefronts, and they gradually change direction, because the wavelength is not everywhere the same. A wavepacket follows the shifting wavefronts with the classical velocity, with the acceleration equal to the force divided by the mass. an easy modern way to verify that Newton's second law holds for wavepackets is to take the [[Fourier transform]] of the time dependent Schrodinger equation. For an arbitrary polynomial potential this is called the '''Schrodinger equation in the momentum representation''': :::<math> i\hbar {\partial \psi(p) \over \partial t} = {p^2\over 2m} \psi(p) + V(i\hbar{\partial\over \partial x}) \psi(p) </math> The group-velocity relation for the fourier trasformed wave-packet gives the second of Hamilton's equations. :::<math> {dp \over dt} = -{\partial H \over \partial x} </math> == Versions == There are several equations which go by Schrodinger's name: === Time Dependent Equation === This is the equation of motion for the quantum state. In the most general form, it is written: ::<math> i{d\over dt} \psi = \hat H \psi </math> Where <math>\hat H</math> is a linear operator acting on the wavefunction <math>\psi</math>. <math>\hat H</math> takes as input one <math>\psi</math> and produces another in a linear way, a function-space version of a matrix multiplying a vector. For the specific case of a single particle in one dimension moving under the influence of a potential V: ::<math> i{d\over dt} \psi = -{1\over 2m} {\partial^2 \over \partial x^2} \psi(x) + V(x) \psi(x) \,</math> and the operator H can be read off: ::<math> \hat H = -{1\over 2m} {\partial^2 \over \partial x^2} + V(x) \,</math> it is a combination of the operator which takes the second derivative, and the operator which pointwise multiplies <math>\psi</math> by V(x). When acting on <math>\psi</math> it reproduces the right hand side. For a particle in three dimensions, the only difference is more derivatives: ::<math> i{d\over dt} \psi = -{1\over 2m} \nabla^2 \psi + V(x) \psi \,</math> and for N particles, the difference is that the wavefunction is in 3N-dimensional configuration space, the space of all possible particle positions. :<math> i{d\over dt} \psi(x_1,...,x_n) = (-{\nabla_1^2\over 2m_1} - {\nabla_2^2 \over 2m_2} ... - {\nabla_N^2\over 2m_N} ) \psi + V(x_1,..,x_N)\psi \,</math> This last equation is in a very high dimension, so that the solutions are not easy to visualize. === Time Independent Equation === This is the equation for the standing waves, the [[eigenvalue]] equation for H. In abstract form, for a general quantum system, it is written: ::<math> E \psi = \hat H \psi \,</math> For a particle in one dimension, with the mass absorbed into rescaling either time or space: ::<math> E \psi = -{\partial^2 \psi \over \partial x^2} + V(x)\psi \,</math> But there is a further restriction--- the solution must not grow at infinity, so that it has a finite '''norm''': ::<math> || \psi ||^2 = \int_x \psi^*(x) \psi(x) \,</math> For example, when there is no potential, the equation reads: ::<math> - E \psi = {\partial^2 \psi \over \partial x^2} \,</math> which has oscillatory solutions for E>0 (the C's are arbitrary constants): ::<math> \psi_E(x) = C_1 e^{i\sqrt{E} x} + C_2 e^{-i\sqrt{E}x} \,</math> and exponential solutions for E<0 ::<math> \psi_{-|E|}(x) = C_1 e^{\sqrt{|E|} x} + C_2 e^{-\sqrt{|E|} x} \,</math> The exponentially growing solutions have an infinite norm, and are not physical. They are not allowed in a finite volume with periodic or fixed boundary conditions. For a constant potential V the solution is oscillatory for E>V and exponential for E<V, corresponding to energies which are allowed or disallowed in classical mechnics. Oscillatory solutions have a classically allowed energy and correspond to actual classical motions, while the exponential solutions have a disallowed energy and describe a small amount of quantum bleeding into the classically disallowed region, to [[quantum tunneling]]. If the potential V grows at infinity, the motion is classically confined to a finite region, which means that in quantum mechanics every solution becomes an exponential far enough away. The condition that the exponential is decreasing restricts the energy levels to a discrete set, called the allowed energies. === Energy Eigenstates === A solution <math>\scriptstyle \psi_E(x)</math> of the time independent equation is called an '''energy eigenstate''' with energy E: ::<math> H\psi_E = E \psi_E \,</math> To find the time dependence of the state, consider starting the time-dependent equation with an initial condition <math>\psi_E(x)</math>. The time derivative at t=0 is everywhere proportional to the value: ::<math> i {d\over dt} \psi(x) = H \psi(x) = E \psi(x) \,</math> So that at first the whole function just gets rescaled, and it maintains the property that its time derivative is proportional to itself. So for all times, ::<math> \psi(x,t) = A(t) \psi_E(x) \,</math> substituting, ::<math> i {dA \over dt } = - E A \,</math> So that the solution of the time-dependent equation with this initial condition is: ::<math> \psi(x,t) = \psi_E(x) e^{-iEt} \,</math> or, with explicit <math>\scriptstyle\hbar</math>s. ::<math> \psi(x,t) = \psi_E(x) e^{-i{E t\over\hbar}} \,</math> This is a restatement of the fact that solutions of the time-independent equation are the [[standing wave]] solutions of the time dependent equation. They only get multiplied by a phase as time goes by, and otherwise are unchanged. Superpositions of energy eigenstates change their properties according to the relative phases between the energy levels. == Properties == === First Order in Time === The Schrodinger equation describes the time evolution of a quantum state, and must determine the future value from the present value. A classical field equation can be second order in time derivatives, the classical state can include the time derivative of the field. But a quantum state is a full description of a system, so that the Schrodinger equation is always first order in time. === Linear === The Schrödinger equation is [[linear]] in the wavefunction: if <math>\psi(x, t)</math> and <math>\phi(x,t)</math> are solutions to the time dependent equation, then so is <math> a \psi + b \phi</math>, where ''a'' and ''b'' are any [[complex number]]s. In quantum mechanics, the time evolution of a quantum state is always linear, for [[superposition principle|fundamental reasons]]. Although there are [[nonlinear Schrödinger equation|nonlinear versions of the Schrodinger equation]], these are not equations which describe the evolution of a quantum state, but classical field equations like [[Maxwell's equations]] or the [[Klein-Gordon equation]]. The Schrodinger equation itself can be thought of as the equation of motion for a classical field not for a wavefunction, and taking [[Schrodinger field|this point of view]], it describes a coherent wave of nonrelativistic matter, a wave of a [[Bose-Einstein condensation|Bose condensate]] or a [[Superfluidity|superfluid]] with a large indefinite number of particles and a definite phase and amplitude. === Real Eigenstates === The time-independent equation is also linear, but in this case linearity has a slightly different meaning. If two wavefunctions <math>\psi_1 </math> and <math>\psi_2</math> are solutions to the time-independent equation with the '''same energy''' ''E'', then any linear combination of the two is a solution with energy ''E''. Two different solutions with the same energy are called '''degenerate'''. ::<math> \hat H (a\psi_1 + b \psi_2 ) = ( a \hat H \psi_1 + b \hat H \psi_2) = E (a \psi_1 + b\psi_2) \,</math> In an arbitrary potential, there is one obvious degeneracy: if a wavefunction <math>\psi</math> solves the time-independent equation, so does <math>\psi^*</math>. By taking linear combinations, the real and imaginary part of <math>\psi</math> are each solutions. So that restricting attention to real valued wavefunctions does not affect the time-independent eigenvalue problem. In the time-dependent equation, complex conjugate waves move in opposite directions. Given a solution to the time dependent equation <math>\psi(x,t)</math>, the replacement: ::<math> \psi(x,t) \rightarrow \psi^*(x,-t) \,</math> produces another solution, and is the extension of the complex conjugation symmetry to the time-dependent case. The symmetry of complex conjugation is called time-reversal. === Unitary Time Evolution === The Schrodinger equation is Unitary, which means that the total norm of the wavefunction, the sum of the squares of the value at all points: ::<math> \int_x \psi^*(x) \psi(x) = \langle \psi | \psi \rangle \,</math> has zero time derivative. The derivative of <math>\psi^*</math> is according to the complex conjugate equations ::<math> -i \hbar {d\over dt} \psi^* = \hat H^\dagger \psi^* \,</math> where the operator <math>H^\dagger</math> is defined as the continuous analog of the [[Hermitian conjugate]], ::<math> \langle \eta H^{\dagger} | \psi \rangle = \langle \eta | H \psi \rangle \,</math> For a discrete basis, this just means that the matrix elements of the linear operator H obey: ::<math> \hat H_{ij} = \hat H^*_{ji} \,</math> The derivative of the inner product is: ::<math> {d\over dt} \langle \psi | \psi \rangle = i \langle \psi \hat H^\dagger | \psi \rangle - i \langle \psi| H \psi \rangle \,</math> and is proportional to the imaginary part of H. If H has no imaginary part, if it is [[self-adjoint]], then the probability is conserved. This is true not just for the Schrodinger equation as written, but for the Schrodinger equation with nonlocal hopping: ::<math> i{d \over dt} \psi(x) = \int_y H(x,y) \psi(y) \,</math> so long as: ::<math> H(x,y) = H(y,x)^* \,</math> the particular choice: ::<math> H(x,y) = - {1\over 2m} \nabla_x^2 \delta(x-y) + V(x) \delta(x-y) \,</math> reproduces the local hopping in the ordinary Schrodinger equation. On a discrete lattice approximation to a continuous space, H(x,y) has a simple form: ::<math> H(x,y) = -{1\over 2m} \,</math> whenever x and y are nearest neighbors. On the diagonal ::<math> H(x,x) = +{n\over 2m} + V(x) \,</math> where n is the number of nearest neighbors. === Positive Energies === The solutions of the Schrodinger equation in a potential which is bounded below have a frequency which is bounded below. For any linear operator <math>\scriptstyle \hat A</math>, the smallest eigenvector minimizes the quantity: ::<math> \langle \psi |A|\psi \rangle </math> over all <math>\psi</math> which are normalized: ::<math>\|\psi\|^2 = \int_x |\psi(x)|^2 =\langle \psi | \psi \rangle = 1 \,</math> by the [[variational principle]]. The value of the energy for the Schrodinger Hamiltonian is then the minimum value of: ::<math> \langle \psi|H|\psi\rangle = \int_x \psi^*(x) (- \nabla^2 \psi + V(x)\psi) = \int_x |\nabla \psi|^2 + V(x) |\psi|^2 dx </math> after an integration by parts, and the right hand side is positive definite when V is positive. === Positive Definite Nondegenerate Ground State === For potentials which are bounded below and are not infinite over a region, there is a ground state which minimizes the integral above. This lowest energy wavefunction is real and positive definite. Suppose for contradiction that <math>\psi</math> is a lowest energy state and has a sign change, then <math>\eta(x)=|\psi(x)|</math>, the [[absolute value]] of <math>\psi</math> obeys ::<math>V(x)|\eta|^2 = V(x)|\psi|^2\,</math> everywhere, and ::<math>|\nabla \eta|^2 = |\nabla \psi|^2</math> except for a set of measure zero. So <math>\eta</math> is also a minimimum of the integral, and it has the same value as <math>\psi</math>. But by smoothing out the bends at the sign change, the gradient contribution to the integral is reduced while the potential energy is hardly altered, so the energy of <math>\eta</math> can be reduced, which is a contradiction. The lack of sign changes also proves that the ground state is nondegenerate, since if there were two ground states with energy E which were not proportional to each other, a linear combination of the two would also be a ground state with a zero. These properties allow the analytic continuation of the Schrodinger equation to be identified as a stochastic process, which can be represented by a path integral. === Completeness === The energy eigenstates form a basis--- any wavefunction may be written as a sum over the discrete energy states or an integral over continuous energy states, or more generally as an integral over a measure. This is the [[spectral theorem]] in mathematics, and in a finite state space it is just a statement of the completeness of the eigenvectors of a Hermitian matrix. === Local Conservation of Probability === The probability density of a particle is <math>\psi^*(x)\psi(x)</math>. The probability flux is defined as: ::<math> \mathbf{j} = {\hbar \over m} \cdot {1 \over {2 \mathrm{i}}} \left( \psi ^{*} \nabla \psi - \psi \nabla \psi^{*} \right) = {\hbar \over m} \operatorname{Im} \left( \psi ^{*} \nabla \psi \right) </math> in units of (probability)/(area &times; time). The probability flux satisfies the [[continuity equation]]: ::<math>{ \partial \over \partial t} P\left(x,t\right) + \nabla \cdot \mathbf{j} = 0 </math> where <math>P\left(x, t\right)</math> is the [[probability density]] and measured in units of (probability)/(volume) = ''r''<sup>&minus;3</sup>. This equation is the mathematical equivalent of the [[probability]] [[conservation law]]. For a [[plane wave]]: :<math> \psi (x,t) = \, A e^{ \mathrm{i} (k x - \omega t)} </math> :<math> j\left(x,t\right) = \left|A\right|^2 {\hbar k \over m}</math> So that not only is the probability of finding the particle the same everywhere, but the probability flux is as expected from an object moving at the the classical velocity <math>p/m</math>. The reason that the Schrodinger equation admits a probability flux is because all the hopping is local and forward in time. === Heisenberg Observables === There are many linear operators which act on the wavefunction, each one defines a Heisenberg matrix when the energy eigenstates are discrete. For a single particle, the operator which takes the derivative of the wavefunction in a certain direction: ::<math> \hat p = {i\hbar {\partial \over \partial x}} </math> Is called the ''momentum'' operator. Multiplying operators is just like multiplying matrices, the product of A and B acting on <math>\psi</math> is A acting on the output of B acting on <math>\psi</math>. An eigenstate of p obeys the equation: ::<math> \hat p \psi = k \psi \,</math> for a number k, and for a normalizable wavefunction this restricts k to be real, and the '''momentum eigenstate''' is a wave with frequency k. ::<math> \psi(x) = e^{i kx} \,</math> The position operator x multiplies each value of the wavefunction at the position x by x: ::<math> \hat x(\psi) = x\psi </math> So that in order to be an eigenstate of x, a wavefunction must be entirely concentrated at one point: ::<math> \hat x \delta(x-x_0) = x_0 \delta(x-x_0) </math> In terms of p, the Hamiltonian is: ::<math> \hat H = {\hat p^2\over 2m} + V(x) </math> It is easy to verify that p acting on x acting on psi: ::<math> \hat p (\hat x( \psi)) = -i \hbar {\partial \over \partial x}( x \psi) = -i x {\partial \over \partial x}\psi -i\hbar \psi </math> while x acting on p acting on psi reproduces only the first term: ::<math> \hat x(\hat p (\psi)) = -i \hbar {\partial \over \partial x} \psi </math> so that the difference of the two is not zero: ::<math> ( x p - p x ) \psi = i \hbar \psi \,</math> or in terms of operators: ::<math> [x,p] = xp - px = i \hbar \,</math> since the time derivative of a state is: ::<math> i{d \over dt} \psi = \hat H \psi \,</math> while the complex conjugate is ::<math> - i{d\over dt} \psi^* = \hat H \psi^* \,</math> The time derivative of a matrix element ::<math> {d\over dt} \langle \eta | A |\psi \rangle = - \eta \hat H A \psi + \eta AH \psi = [H,A] \,</math> obeys the Heisenberg equation of motion. This establishes the equivalence of the Schrodinger and Heisenberg formalisms, ignoring the mathematical fine points of the limiting procedure for continuous space. === Correspondence principle === {{Main|Ehrenfest Theorem}} The Schrödinger equation satisfies the [[correspondence principle]]. In the limit of small wavelength wavepackets, it reproduces Newton's laws. This is easy to see from the equivalence to [[matrix mechanics|Heisenberg's formalism]]. All operators in Heisenberg's formalism obey the quantum analog of Hamilton's equations: ::<math> {dA \over dt} = -i\hbar (AH - HA) </math> So that in particular, the equations of motion for the X and P operators are: ::<math> {dX \over dt} = {P\over m} </math> ::<math> {dP \over dt} = - {\partial V \over \partial x} </math> in the [[Schrodinger picture]], the interpretation of this equation is that it gives the time rate of change of the matrix element between two states when the states change with time. Taking the expectation value in any state shows that Newton's laws hold not only on average, but ''exactly'', for the quantities: ::<math> \langle X\rangle = \int_x \psi^*(x)\psi(x) X = \langle \psi|X|\psi \rangle \,</math> ::<math> \langle P\rangle = \int_x \psi^*(x) i\hbar {\partial \psi \over \partial x}(x) = \langle \psi |P|\psi\rangle \,</math> == Relativity == {{Main|Relativistic wave equations}} The Schrödinger equation does not take into account [[special relativity|relativistic]] effects, as a wave equation, it is invariant under a [[Galilean transformation]], but not under a [[Lorentz transformation]]. But in order to include relativity, the physical picture must be altered in a radical way. A naive generalization of the Schrodinger equation uses the relativistic mass-energy relation (in [[natural units]]): ::<math> E^2 = P^2 + m^2 \,</math> to produce the differential equation: ::<math> - {\partial^2 \over \partial t^2}\psi = - \nabla^2 \psi + m^2 \psi \,</math> which is relativistically invariant, but second order in <math>\psi</math>, and so cannot be an equation for the quantum state. This equation also has the property that there are solutions with both positive and negative frequency, a plane wave solution obeys: ::<math> \omega^2 - k^2 = m^2 \,</math> which has two solutions, one with positive frequency the other with negative frequency. This is a disaster for quantum mechanics, because it means that the energy is unbounded below. A more sophisticated attempt to solve this problem uses a first order wave equation, the [[Dirac equation]], but again there are negative energy solutions. In order to solve this problem, it is essential to go to a multiparticle picture, and to consider the wave equations as equations of motion for a quantum field, not for a wavefunction. The reason is that relativity is incompatible with a single particle picture. A relativistic particle cannot be localized to a small region without the particle number becoming indefinite. When a particle is localized in a box of length L, the momentum is uncertain by an amount roughly proportional to h/L by the [[uncertainty principle]]. This leads to an energy uncertainty of hc/L, when |p| is large enough so that the mass of the particle can be neglected. This uncertainty in energy is equal to the mass-energy of the particle when ::<math> L = {\hbar \over mc} \,</math> and this is called the [[Compton wavelength]]. Below this length, it is impossible to localize a particle and be sure that it stays a single particle, since the energy uncertainty is large enough to produce more particles from the vacuum by the same mechanism that localizes the original particle. But there is another approach to relativistic quantum mechanics which does allow you to follow single particle paths, and it was discovered within the [[path-integral formulation]]. If the integration paths in the path integral include paths which move both backwards and forwards in time as a function of their own proper time, it is possible to construct a purely positive frequency wavefunction for a relativistic particle. This construction is appealing, because the equation of motion for the wavefunction is exactly the relativistic wave equation, but with a nonlocal constraint that separates the positive and negative frequency solutions. The positive frequency solutions travel forward in time, the negative frequency solutions travel backwards in time. In this way, they both analytically continue to a statistical field correlation function, which is also represented by a sum over paths. But in real space, they are the probability amplitudes for a particle to travel between two points, and can be used to generate the interaction of particles in a point-splitting and joining framework. The relativistic particle point of view is due to Richard Feynman. Feynman's method also constructs the theory of quantized fields, but from a particle point of view. In this theory, the equations of motion for the field can be interpreted as the equations of motion for a wavefunction only with caution--- the wavefunction is only defined globally, and in some way related to the particle's proper time. The notion of a localized particle is also delicate--- a localized particle in the relativistic particle path integral corresponds to the state produced when a local field operator acts on the vacuum, and exacly which state is produced depends on the choice of field variables. == Solutions == Some general techniques are: * [[Perturbation theory (quantum mechanics)|Perturbation theory]] * The [[variational principle]] * [[Quantum Monte Carlo]] methods * [[Density functional theory]] * The [[WKB approximation]] and semiclassical expansion In some special cases, special methods can be used: * [[List of quantum mechanical systems with analytical solutions]] * [[Hartree-Fock]] method and[[post Hartree-Fock]] methods * [[Discrete delta-potential method]] ==Free Schrödinger equation== When the potential is zero, the Schrödinger equation is linear with constant coefficients: ::<math>i \frac{\partial \psi}{\partial t}=-{1\over 2m}\nabla^2\psi </math> where <math>\scriptstyle \hbar</math> has been [[natural units|set to 1]]. The solution <math>\psi_t(x)</math> for any initial condition <math>\psi_0(x)</math> can be found by [[Fourier transform]]s. Because the coefficients are constant, an initial plane wave: ::<math> \psi_0(x) = A e^{i k x} \,</math> stays a plane wave. Only the coefficient changes. Substituting: ::<math> {dA \over dt} = -{i k^2 \over 2m} A \,</math> So that A is also oscillating in time: ::<math> A(t) = A e^{- i {k^2 \over 2m} t} \,</math> and the solution is: ::<math> \psi_t(x) = A e^{i k x - i \omega t} \,</math> Where <math>\omega=k^2/2m</math>, a restatement of DeBroglie's relations. To find the general solution, write the initial condition as a sum of plane waves by taking its [[Fourier transform]]: ::<math> \psi_0(x) = \int_k \psi(k) e^{ikx} \,</math> The equation is linear, so each plane waves evolves independently: ::<math> \psi_t(x) = \int_k \psi(k)e^{-i\omega t} e^{ikx} \,</math> Which is the general solution. When complemented by an [[fast fourier transform|effective method for taking Fourier transforms]], it becomes an efficient algorithm for finding the wavefunction at any future time--- Fourier transform the initial conditions, multiply by a phase, and transform back. === Gaussian Wavepacket === An easy and instructive example is the Gaussian wavepacket: ::<math> \psi_0(x) = e^{-x^2 / 2a} \,</math> where a is a positive real number, the square of the width of the wavepacket. The total normalization of this wavefunction is: ::<math> \langle \psi|\psi\rangle = \int_x \psi^* \psi = \sqrt{\pi a} </math> The Fourier transform is a Gaussian again in terms of the wavenumber k: ::<math> \psi_0(k) = (2\pi a)^{d/2} e^{- a k^2/2} \,</math> With the physics convention which puts the factors of <math>2\pi</math> in Fourier transforms in the k-measure. :<math> \psi_0(x) = \int_k \psi_0(k) e^{-ikx} = \int {d^dk \over (2\pi)^d} \psi_0(k) e^{-ikx} </math> Each separate wave only phase-rotates in time, so that the time dependent Fourier-transformed solution is: ::<math> \psi_t(k) = (2\pi a)^{d/2} e^{- a { k^2\over 2} - it {k^2\over 2m}} = (2\pi a)^{d/2} e^{-(a+it/m){k^2\over 2}} \,</math> The inverse Fourier transform is still a Gaussian, but the parameter a has become complex, and there is an overall normalization factor. ::<math> \psi_t(x) = \left({a \over a + i t/m}\right)^{d/2} e^{- {x^2\over 2(a + i t/m)} } \,</math> The branch of the square root is determined by continuity in time--- it is the value which is nearest to the positive square root of a. It is convenient to rescale time to absorb m, replacing t/m by t. The integral of <math>\psi</math> over all space is invariant, because it is the inner product of <math>\psi</math> with the state of zero energy, which is a wave with infinite wavelength, a constant function of space. For any energy state, with wavefunction <math>\eta(x)</math>, the inner product: ::<math> \langle \eta | \psi \rangle = \int_x \eta(x) \psi_t(x) </math>, only changes in time in a simple way: its phase rotates with a frequency determined by the energy of <math>\eta</math>. When <math>\eta</math> has zero energy, like the infinite wavelength wave, it doesn't change at all. The sum of the absolute square of <math>\psi</math> is also invariant, which is a statement of the conservation of probability. Explicitly in one dimension: ::<math> |\psi|^2 = \psi\psi^* = {a \over \sqrt{a^2+t^2} } e^{-{x^2 a \over a^2 + t^2}} </math> Which gives the norm: ::<math> \int |\psi|^2 = \sqrt{\pi a} </math> which has preserved its value, as it must. The width of the Gaussian is the interesting quantity, and it can be read off from the form of <math>|\psi^2|</math>: ::<math> \sqrt{a^2 + t^2 \over a} \,</math>. The width eventually grows linearly in time, as <math>\scriptstyle t/\sqrt{a}</math>. This is '''wave-packet spreading'''--- no matter how narrow the initial wavefunction, a Schrodinger wave eventually fills all of space. The linear growth is a reflection of the momentum uncertainty--- the wavepacket is confined to a narrow width <math>\scriptstyle \sqrt{a}</math> and so has a momentum which is uncertain by the reciprocal amount <math>\scriptstyle 1/\sqrt{a}</math>, a spread in velocity of <math>\scriptstyle 1/m\sqrt{a}</math>, and therefore in the future position by <math>\scriptstyle t/m\sqrt{a}</math>, where the factor of m has been restored by undoing the earlier rescaling of time. === Galilean Invariance === Galilean boosts are transformations which look at the system from the point of view of an observer moving with a steady velocity -v. A boost must change the physical properties of a wavepacket in the same way as in classical mechanics: ::<math> p'= p + mv \,</math> ::<math> x'= x + vt \,</math> So that the phase factor of a free Schrodinger plane wave: ::<math> p x - E t = (p' - mv)(x' - vt) - {(p'-mv)^2\over 2} t = p' x' + E' t + m v x - {mv^2\over 2}t \,</math> is only different in the boosted coordinates by a phase which depends on x and t, but not on p. An arbitrary superposition of plane wave solutions with different values of p is the same superposition of boosted plane waves, up to an overall x,t dependent phase factor. So any solution to the free Schrodinger equation, <math>\psi_t(x)</math>, can be boosted into other solutions: ::<math> \psi'_t(x) = \psi_t(x + vt) e^{ i mv x - i {mv^2\over 2}t} \,</math> Boosting a constant wavefunction produces a plane-wave. More generally, boosting a plane-wave: ::<math> \psi_t(x) = e^{ipx - i {p^2\over 2m} t} \,</math> produces a boosted wave: ::<math> \psi'_t(x) = e^{ i p(x + vt) - i{p^2\over 2m}t + imv x - i {mv^2\over 2}t} = e^{i(p+mv)x + i {(p+mv)^2\over 2m}t } \,</math> Boosting the spreading Gaussian wavepacket: ::<math> \psi_t(x) = {1\over \sqrt{a+it/m}} e^{ - {x^2\over 2a} } \,</math> produces the moving Gaussian: ::<math> \psi_t(x) = {1\over \sqrt{a + it/m}} e^{ - {(x + vt)^2 \over 2a} + i m v x - i {mv^2\over 2} t } \,</math> Which spreads in the same way. === Free Propagator === The narrow-width limit of the Gaussian wavepacket solution is the ''propagator'' K. For other differential equations, this is sometimes called the Green's function, but in quantum mechanics it is traditional to reserve the name Green's function for the time Fourier transform of K. When a is the infinitesimal quantity <math>\epsilon</math>, the Gaussian initial condition, rescaled so that its integral is one: ::<math> \psi_0(x) = {1\over \sqrt{2\pi \epsilon} } e^{-{x^2\over 2\epsilon}} \,</math> becomes a [[delta function]], so that its time evolution: ::<math> K_t(x) = {1\over \sqrt{2\pi (i t + \epsilon)}} e^{ - x^2 \over 2it+\epsilon } \,</math> gives the propagator. Note that a very narrow initial wavepacket instantly becomes infinitely wide, with a phase which is more rapidly oscillatory at large values of x. This might seem strange--- the solution goes from being concentrated at one point to being everywhere at all later times, but it is a reflection of the [[uncertainty principle|momentum uncertainty]] of a localized particle. Also note that the norm of the wavefunction is infinite, but this is also correct since the square of a delta function is divergent in the same way. The factor of <math>\epsilon</math> is an infinitesimal quantity which is there to make sure that integrals over K are well defined. In the limit that <math>\epsilon</math> becomes zero, K becomes purely oscillatory and integrals of K are not absolutely convergent. In the remainder of this section, it will be set to zero, but in order for all the integrations over intermediate states to be well defined, the limit <math>\scriptstyle \epsilon\rightarrow 0</math> is to only to be taken after the final state is calculated. The propagator is the amplitude for reaching point x at time t, when starting at the origin, x=0. By translation invariance, the amplitude for reaching a point x when starting at point y is the same function, only translated: ::<math> K_t(x,y) = K_t(x-y) = {1\over \sqrt{2\pi it}} e^{-i(x-y)^2 \over 2t} \,</math> In the limit when t is small, the propagator converges to a delta function: ::<math> \lim_{t\rightarrow 0} K_t(x-y) = \delta(x-y) </math> but only in the sense of [[distribution theory|distributions]]. The integral of this quantity multiplied by an arbitrary differentiable [[test function]] gives the value of the test function at zero. To see this, note that the integral over all space of K is equal to 1 at all times: ::<math> \int_x K_t(x) = 1 \,</math> since this integral is the inner-product of K with the uniform wavefunction. But the phase factor in the exponent has a nonzero spatial derivative everywhere except at the origin, and so when the time is small there are fast phase cancellations at all but one point. This is rigorously true when the limit <math>\epsilon\rightarrow zero</math> is taken after everything else. So the propagation kernel is the future time evolution of a delta function, and it is continuous in a sense, it converges to the initial delta function at small times. If the initial wavefunction is an infinitely narrow spike at position <math>x_0</math>: ::<math> \psi_0(x) = \delta(x - x_0) \,</math> it becomes the oscillatory wave: ::<math> \psi_t(x) = {1\over \sqrt{2\pi i t}} e^{ -i (x-x_0) ^2 /2t} \,</math> Since every function can be written as a sum of narrow spikes: ::<math> \psi_0(x) = \int_y \psi_0(y) \delta(x-y) \,</math> the time evolution of every function is determined by the propagation kernel: ::<math> \psi_t(x) = \int_y \psi_0(x) {1\over \sqrt{2\pi it}} e^{-i (x-x_0)^2 / 2t} \,</math> And this is an alternate way to express the general solution. The intepretation of this expression is that the amplitude for a particle to be found at point x at time t is the amplitude that it started at <math>x_0</math> times the amplitude that it went from <math>x_0</math> to x, summed over all the possible starting points. In other words, it is a [[convolution]] of the kernel K with the initial condition. ::<math> \psi_t = K * \psi_0 \,</math> Since the amplitude to travel from x to y after a time <math>t+t'</math> can be considered in two steps, the propagator obeys the identity: ::<math> \int_y K(x-y;t)K(y-z;t') = K(x-z;t+t') \,</math> Which can be interpreted as follows: the amplitude to travel from x to z in time t+t' is the sum of the amplitude to travel from x to y in time t multiplied by the amplitude to travel from y to z in time t', summed over all possible intermediate states y. This is a property of an arbitrary quantum system, and by subdividing the time into many segments, it allows the time evolution to be expressed as a [[path integral]]. === Analytic Continuation to Diffusion === The spreading of wavepackets in quantum mechanics is directly related to the spreading of probability densities in [[diffusion]]. For a particle which is random walking, the probability density function at any point satisfies the [[diffusion equation]]: ::<math> {\partial \over \partial t} \rho = {1\over 2} {\partial \over \partial x^2 } \rho </math> where the factor of 2, which can be removed by a rescaling either time or space, is only for convenience. A solution of this equation is the spreading gaussian: ::<math> \rho_t(x) = {1\over \sqrt{2\pi t}} e^{-x^2 \over 2t} </math> and since the integral of <math>\rho_t</math>, is constant, while the width is becoming narrow at small times, this function approaches a delta function at t=0: ::<math> \lim_{t\rightarrow 0} \rho_t(x) = \delta(x) \,</math> again, only in the sense of distributions, so that ::<math> \lim_{t\rightarrow 0} \int_x f(x) \rho_t(x) = f(0) \,</math> for any smooth [[test function]] f. The spreading Gaussian is the propagation kernel for the diffusion equation and it obeys the [[convolution]] identity: ::<math> K_{t+t'} = K_{t}*K_{t'} \,</math> Which allows diffusion to be expressed as a path integral. The propagator is the exponential of an operator H: ::<math> K_t(x) = e^{-tH} \,</math> which is the infinitesimal diffusion operator. ::<math> H= -{\nabla^2\over 2} \,</math> A matrix has two indices, which in continuous space makes it a function of x and x'. In this case, because of translation invariance, the matrix element K only depend on the difference of the position, and a convenient abuse of notation is to refer to the operator, the matrix elements, and the function of the difference by the same name: ::<math> K_t(x,x') = K_t(x-x') \,</math> Translation invariance means that continuous matrix multiplication: ::<math> C(x,x'') = \int_{x'} A(x,x')B(x',x'') \,</math> is really convolution: ::<math> C(\Delta) = C(x-x'') = \int_{x'} A(x-x') B(x'-x'') = \int_{y} A(\Delta-y)B(y) \,</math> The exponential can be defined over a range of t's which include complex values, so long as integrals over the propagation kernel stay convergent. ::<math> K_z(x) = e^{-zH} \,</math> As long as the real part of z is positive, for large values of x K is exponentially decreasing and integrals over K are absolutely convergent. The limit of this expression for z coming close to the pure imaginary axis is the Schrodinger propagator: ::<math> K_t^{\rm Schr} = K_{it+\epsilon} = e^{-(it+\epsilon)H} \,</math> and this gives a more conceptual explanation for the time evolution of Gaussians. From the fundamental identity of exponentiation, or path integration: ::<math> K_z * K_{z'} = K_{z+z'} \,</math> holds for all complex z values where the integrals are absolutely convergent so that the operators are well defined. So that quantum evolution starting from a Gaussian, which is the diffusion kernel K: ::<math> \psi_0(x) = K_a(x) = K_a * \delta(x) \,</math> gives the time evolved state: ::<math> \psi_t = K_{it} * K_a = K_{a+it} \,</math> This explains the diffusive form of the Gaussian solutions: ::<math> \psi_t(x) = {1\over \sqrt{2\pi (a+it)} } e^{- {x^2\over 2(a+it)} } \,</math> == Variational Principle == The [[variational principle]] asserts that for any any Hermitian matrix A, the lowest eigenvalue minimizes the quantity: ::<math> \langle v,Av \rangle = \sum_{ij} A_{ij} v^*_i v_j \,</math> on the unit sphere <math><v,v>=1</math>. This follows by the method of [[Lagrange multipliers]], at the minimum the gradient of the function is parallel to the gradient of the constraint: ::<math> {\partial\over \partial v_i} \langle v,Av\rangle = \lambda {\partial \over \partial v_i} \langle v,v\rangle \,</math> which is the eigenvalue condition ::<math> \sum_{j} A_{ij} v_j = \lambda v_i \,</math> so that the extreme values of a quadratic form A are the eigenvalues of A, and the value of the function at the extreme values is just the corresponding eigenvalue: ::<math> \langle v,Av\rangle = \lambda\langle v,v\rangle = \lambda \,</math> When the hermitian matrix is the Hamiltonian, the minimum value is the lowest energy level. In the space of all wavefunctions, the unit sphere is the space of all normalized wavefunctions <math>\psi</math>, the ground state minimizes ::<math> \langle \psi | H |\psi \rangle = \int \psi^* H \psi = \int \psi^* (-\nabla^2 + V(x)) \psi \,</math> or, after an integration by parts, ::<math> \langle \psi | H |\psi \rangle = \int |\nabla \psi|^2 + V(x) |\psi|^2 \,</math> All the stationary points come in complex conjugate pairs since the integrand is real. Since the stationary points are eigenvalues, any linear combination is a stationary point, and the real and imaginary part are both stationary points. The lowest energy state has a positive definite wavefunction, because given a <math>\psi</math> which minimizes the integral, <math>|\psi|</math>, the absolute value, is also a minimizer. But this minimizer has sharp corners at places where <math>\psi</math> changes sign, and these sharp corners can be rounded out to reduce the gradient contribution. == Potential and Ground State == For a particle in a positive definite potential, the ground state wavefunction is real and positive, and has a dual interpretation as the probability density for a diffusion process. The analogy between diffusion and nonrelativistic quantum motion, originally discovered and exploited by Schrodinger, has led to many exact solutions. A positive definite wavefunction: ::<math> \psi = e^{-W(x)} \,</math> is a solution to the time-independent Schrodinger equation with m=1 and potential: ::<math> V(x) = {1\over 2} |\nabla W|^2 - {1\over 2} \nabla^2 W \,</math> with zero total energy. W, the logarithm of the ground state wavefunction. The second derivative term is higher order in <math>\scriptstyle \hbar</math>, and ignoring it gives the [[WKB method|semiclassical approximation]]. The form of the ground state wavefunction is motivated by the observation that the ground state wavefunction is the Boltzmann probability for a different problem, the probability for finding a particle diffusing in space with the free-energy at different points given by W. If the diffusion obeys detailed balance and the diffusion constant is everywhere the same, the [[Fokker Planck]] equation for this diffusion is the Schrodinger equation when the time parameter is allowed to be imaginary. This analytic continuation gives the eigenstates a dual interpretation--- either as the energy levels of a quantum system, or the relaxation times for a stochastic equation. === Harmonic Oscillator === W should grow at infinity, so that the wavefunction has a finite integral. The simplest analytic form is: ::<math> W(x) = \omega x^2 \,</math> with an arbitrary constant <math>\omega</math>, which gives the potential: ::<math> V(x) = {1\over 2} \omega^2 x^2 - {\omega \over 2} \,</math> This potential describes a [[Harmonic oscillator]], with the ground state wavefunction: ::<math> \psi(x) = e^{-\omega x^2 } \,</math> The total energy is zero, but the potential is shifted by a constant. The ground state energy of the usual unshifted Harmonic oscillator potential: ::<math> V(x) = {\omega x^2 \over 2} \,</math> is then the additive constant: ::<math> E_0 = {a\over 2} \,</math> which is the [[zero point energy]] of the oscillator. === Coulomb Potential === Another simple but useful form is ::<math> W(x) = 2a|x| \,</math> where W is proportional to the radial coordinate. This is the ground state for two different potentials, depending on the dimension. In one dimension, the corresponding potential is singular at the origin, where it has some nonzero density: ::<math> V(x) = 2a^2 + a \delta(x) \,</math> and, up to some rescaling of variables, this is the lowest energy state for a delta function potential, with the bound state energy added on. ::<math> V(x) = a \delta(x) \,</math> with the ground state energy: ::<math> E_0 = - 2a^2 \,</math> and the ground state wavefunction: ::<math> \psi = e^{-2a|x|} \,</math> In higher dimensions, the same form gives the potential: ::<math> V(x) = 2a^2+ { 2a (d-1) \over r}; \,</math> which can be identified as the attractive Coulomb law, up to an additive constant which is the ground state energy. This is the superpotential that describes the lowest energy level of the Hydrogen atom, once the mass is restored by dimensional analysis: ::<math> \psi_0 = e^{-r/r_0} \,</math> where <math>r_0</math> is the [[Bohr model|Bohr radius]], with energy ::<math> E_0 = - {2a\over d-1} \,</math> The [[ansatz]] ::<math> W(x) = a r + b \log(r) \,</math> modifies the Coulomb potential to include a quadratic term proportional to <math>1/r^2</math>, which is useful for nonzero angular momentum. == Operator Formalism == === Bra-ket Notation === In the [[mathematical formulation of quantum mechanics]], a physical system is fully described by a vector in a [[complex number|complex]] [[Hilbert space]], the collection of all possible normalizable wavefunctions. The wavefunction is just an alternate name for the vector of complex amplitudes, and only in the case of a single particle in the position representation is it a wave in the usual sense, a wave in space time. For more complex systems, it is a wave in an enormous space of all possible worlds. Two nonzero vectors which are multiples of each other, two wavefunctions which are the same up to rescaling, represent the same physical state. The wavefunction vector can be written in several ways: ::1. as an abstract [[bra-ket notation|ket vector]]: ::::<math>|\psi\rangle</math> ::2. As a list of complex numbers, the components relative to a discrete list of normalizable basis vectors <math>|\eta_i\rangle</math>: ::::<math> c_i = \langle \eta_i |\psi \rangle </math> ::3. As a continuous superposition of non-normalizable basis vectors, like position states <math>|x\rangle</math>: ::::<math> |\psi\rangle = \int_x \psi(x) |x\rangle</math> The divide between the continuous basis and the discrete basis can be bridged by limiting arguments. The two can be formally unified by thinking of each as a [[measure]] on the real number line. In the most abstract notation, the Schrödinger equation is written: :<math> i\hbar {d\over dt} |\psi\rangle = H |\psi\rangle </math> which only says that the wavefunction evolves linearly in time, and names the linear operator which gives the time derivative the Hamiltonian H. In terms of the discrete list of coefficients: :<math> i\hbar {d\over dt} C_i = \sum_j H_{ij} C_j </math> which just reaffirms that time evolution is linear, since the Hamiltonian acts by matrix multiplication. In a continuous representation, the Hamiltonian is a linear operator, which acts by the continuous version of matrix multiplication: :<math> \langle x| i\hbar {d\over dt} |\psi\rangle = \langle x|H|\psi\rangle = \hat{H} \psi (x) </math> Taking the complex conjugate: :<math> -i\hbar {d\over dt} \langle \psi | = \langle \psi | H^\dagger </math> In order for the time-evolution to be unitary, to preserve the inner products, the time derivative of the inner product must be zero: :<math> i\hbar {d\over dt} \langle \psi | \psi \rangle = \langle\psi | H - H^\dagger |\psi\rangle = 0 </math> for an arbitrary state <math>|\psi\rangle</math>, which requires that H is [[Hermitian]]. In a discrete representation this means that <math>\scriptstyle H_{ij}= H_{ji}</math>. When H is continuous, it should be [[self-adjoint]], which adds some technical requirement that H does not mix up normalizable states with states which violate boundary conditions or which are grossly unnormalizable. The formal solution of the equation is the matrix exponential ([[natural units]]): :<math> |\psi(t)\rangle = e^{-i H t} |\psi(0)\rangle = U(t) |\psi(0)\rangle </math> For every time-independent Hamiltonian operator, <math>\hat H</math>, there exists a set of quantum states, <math>\left|\psi_n\right\rang</math>, known as '''energy eigenstates''', and corresponding real numbers <math>E_n</math> satisfying the [[Eigenvalue, eigenvector and eigenspace|eigenvalue equation]]. ::<math> H |\psi_n \rangle = E_n |\psi_n \rangle \,</math> This is the time-independent Schrodinger equation. For the case of a single particle, the Hamiltonian is the following linear operator ([[natural units]]): :<math> H = -{\nabla^2 \over 2m} + V(x) = {p^2\over 2m} + V(x) </math> which is a [[Self-adjoint operator]]s when V is not too singular and does not grow too fast. Self-adjoint operators have the property that their eigenvalues are real in any basis, and [[spectral theorem|their eigenvectors form a complete set]], either discrete or continuous. Expressed in a basis of Eigenvectors of H, the Schrodinger equation becomes trivial: :<math>\mathrm{i} \hbar \frac{\partial}{\partial t} \left| \psi_n \left(t\right) \right\rangle = E_n \left|\psi_n\left(t\right)\right\rang. </math> Which means that each energy eigenstate is only multiplied by a complex phase: :<math> \left| \psi \left(t\right) \right\rangle = \mathrm{e}^{-\mathrm{i} Et / \hbar} \left|\psi\left(0\right)\right\rang. </math> Which is what matrix exponentiation means--- the time evolution acts to rotate the eigenfunctions of H. When H is expressed as a matrix for wavefunctions in a discrete energy basis: :<math> i\hbar {d\over dt} C_i = E_i C_i \,</math> so that: :<math> C_n(t) = e^{-iE_n t} C_n(t) \,</math> The physical properties of the C's are extracted by acting by operators, matrices. By redefining the basis so that it rotates with time, the matrices become time dependent, which is the [[Heisenberg picture]]. === Galilean Invariance === Galilean symmetry requires that H(p) is quadratic in p in both the classical and quantum Hamiltonian formalism. In order for Galilean boosts to produce a p-independent phase factor, px - Ht must have a very special form--- translations in p need to be compensated by a shift in H. This is only true when H is quadratic. The infinitesimal generator of Boosts in both the classical and quantum case is: ::<math> B = \sum_i m_i x_i(t) - t \sum_i p_i \,</math> where the sum is over the different particles, and B,x,p are vectors. The poisson bracket/commutator of <math>\scriptstyle B\cdot v</math> with x and p generate infinitesimal boosts, with v the infinitesimal boost velocity vector: ::<math> [B\cdot v ,x_i] = vt \,</math> ::<math> [B\cdot v ,p_i] = v m_i \,</math> Iterating these relations is simple, since they add a constant amount at each step. By iterating, the dv's incrementally sum up to the finite quantity V: ::<math> x \rightarrow x_i + Vt \,</math> ::<math> p \rightarrow p_i + m_i V \,</math> B divided by the total mass is the current center of mass position minus the time times the center of mass velocity: ::<math> B = M X_\mathrm{cm} - t P_\mathrm{cm} \,</math> In other words, B/M is the current guess for the position that the center of mass had at time zero. The statement that B doesn't change with time is the center of mass theorem. For a Galilean invariant system, the [[center of mass]] moves with a constant velocity, and the total kinetic energy is the sum of the center of mass kinetic energy and the kinetic energy measured relative to the center of mass. Since B is explicitly time dependent, H does not commute with B, rather: ::<math> {dB\over dt} = [H,B] + {\partial B \over \partial t} = 0 \,</math> this gives the transformation law for H under infinitesimal boosts: ::<math> [B\cdot v,H] = - P_\mathrm{cm} v \,</math> the interpretation of this formula is that the change in H under an infinitesimal boost is entirely given by the change of the center of mass kinetic energy, which is the dot product of the total momentum with the infinitesimal boost velocity. The two quantities (H,P) form a representation of the [[Galilean group]] with [[central charge]] M, where only H and P are classical functions on phase-space or quantum mechanical operators, while M is a parameter. The transformation law for infinitesimal v: ::<math> P' = P + M v \,</math> ::<math> H' = H - P\dot v \,</math> can be iterated as before--- P goes from P to P+MV in infinitesimal increments of v, while H changes at each step by an amount proportional to P, which changes linearly. The final value of H is then changed by the value of P halfway between the starting value and the ending value: ::<math> H' = H - (P+{MV\over 2})\cdot V = H - P\cdot V - {MV^2\over 2}. \,</math> The factors proportional to the central charge M are the extra wavefunction phases. Boosts give too much information in the single-particle case, since Galilean symmetry completely determines the motion of a single particle. Given a multi-particle time dependent solution: ::<math> \psi_t(x_1,x_2...,x_n) \,</math> with a potential that depends only on the relative positions of the particles, it can be used to generate the boosted solution: ::<math> \psi'_t = \psi_t(x_1 + v t, ..., x_2 + vt) e^{i P_\mathrm{cm}\cdot X_\mathrm{cm} - {Mv_\mathrm{cm}^2\over 2}t}. \,</math> For the standing wave problem, the motion of the center of mass just adds an overall phase. When solving for the energy levels of multiparticle systems, Galilean invariance allows the center of mass motion to be ignored. ==See also== *[[Basic quantum mechanics]] *[[Dirac equation]] *[[Quantum number]] *[[Schrödinger's cat]] *[[Schrödinger field]] *[[Schrödinger picture]] *[[Theoretical and experimental justification for the Schrödinger equation]] == Notes == <references/> == References == *{{cite book | author= Paul Adrien Maurice Dirac |title= The Principles of Quantum Mechanics | edition = 4th edition | publisher= Oxford University Press |year=1958 }} * {{cite book | author = David J. Griffiths | title = Introduction to Quantum Mechanics | edition = 2nd edition | year = 2004 | publisher = Benjamin Cummings }} * {{cite book | author = Richard Liboff | title = Introductory Quantum Mechanics | edition = 4th edition | year = 2002 | publisher = Addision Wesley }} * {{cite book | author = David Halliday | title = Fundamentals of Physics | edition = 8th edition | year = 2007 | publisher = Wiley }} * {{cite book | author = Serway, Moses, and Moyer | title = Modern Physics | edition = 3rd edition | year = 2004 | publisher = Brooks Cole}} ==External links== * [http://www.lightandmatter.com/html_books/0sn/ch13/ch13.html Quantum Physics] - a textbook with a treatment of the time-independent Schrödinger equation * [http://eqworld.ipmnet.ru/en/solutions/lpde/lpde108.pdf Linear Schrödinger Equation] at EqWorld: The World of Mathematical Equations. * [http://eqworld.ipmnet.ru/en/solutions/npde/npde1403.pdf Nonlinear Schrödinger Equation] at EqWorld: The World of Mathematical Equations. * [http://www.colorado.edu/UCB/AcademicAffairs/ArtsSciences/physics/TZD/PageProofs1/TAYL07-203-247.I.pdf The Schrödinger Equation in One Dimension] as well as the [http://www.colorado.edu/UCB/AcademicAffairs/ArtsSciences/physics/TZD/PageProofs1/ directory of the book]. * [http://hyperphysics.phy-astr.gsu.edu/hbase/hframe.html All about 3D Schrödinger Equation ] *Mathematical aspects of Schrödinger equation's are discussed on the [http://tosio.math.toronto.edu/wiki/index.php/Main_Page Dispersive PDE Wiki]. * [http://www.nanotechnology.hu/online/web-schroedinger/index.html Web-Schrödinger: Interactive solution of the 2D time dependent Schrödinger equation ] [[Category:Fundamental physics concepts|Schrodinger equation]] [[Category:Partial differential equations|Schrodinger equation]] [[Category:Quantum mechanics|Schrodinger equation]] [[Category:Equations|Schrodinger equation]] [[ar:معادلة شرودنغر]] [[bn:শ্রোডিঙার সমীকরণ]] [[bs:Schrödingerova jednačina]] [[bg:Уравнение на Шрьодингер]] [[cs:Schrödingerova rovnice]] [[da:Schrödingers ligning]] [[de:Schrödingergleichung]] [[el:Εξίσωση Σρέντιγκερ]] [[es:Ecuación de Schrödinger]] [[eo:Ekvacio de Schrödinger]] [[fa:معادله شرودینگر]] [[fr:Équation de Schrödinger]] [[gl:Ecuación de Schrödinger]] [[ko:슈뢰딩거 방정식]] [[hr:Schrödingerova jednadžba]] [[id:Persamaan Schrödinger]] [[ia:Equation de Schrödinger]] [[it:Equazione di Schrödinger]] [[he:משוואת שרדינגר]] [[lt:Šredingerio lygtis]] [[hu:Schrödinger-egyenlet]] [[nl:Schrödingervergelijking]] [[ja:シュレーディンガー方程式]] [[no:Schrödingerligningen]] [[pl:Równanie Schrödingera]] [[pt:Equação de Schrödinger]] [[ro:Ecuaţia lui Schrödinger]] [[ru:Уравнение Шрёдингера]] [[simple:Schrödinger equation]] [[sk:Schrödingerova rovnica]] [[sl:Schrödingerjeva enačba]] [[fi:Schrödingerin yhtälö]] [[sv:Schrödingerekvationen]] [[ta:சுரோடிங்கர் சமன்பாடு]] [[vi:Phương trình Schrodinger]] [[tr:Schrödinger denklemi]] [[uk:Рівняння Шредінгера]] [[zh:薛定谔方程]]