Equality and Equivalence
equality (definitional?, propositional, computational, judgemental, extensional, intensional, decidable)
identity type, equivalence in homotopy type theory
isomorphism, weak equivalence, homotopy equivalence, weak homotopy equivalence, equivalence in an (∞,1)-category
natural equivalence, natural isomorphism
principle of equivalence
fiber product, pullback
linear equation, differential equation, ordinary differential equation, critical locus
Euler-Lagrange equation, Einstein equation, wave equation
Schrödinger equation, Knizhnik-Zamolodchikov equation, Maurer-Cartan equation, quantum master equation, Euler-Arnold equation, Fuchsian equation, Fokker-Planck equation, Lax equation
The Schrödinger equation (named after Erwin Schrödinger) is the evolution equation of quantum mechanics in the Schrödinger picture. Its simplest version results from replacing the classical expressions in the nonrelativistic, mechanical equation for the energy of a pointparticle, by operators on a Hilbert space:
We start with a point particle with mass , impulse moving in the space with a given potential function , the energy of it is the sum of kinetic and potential energy:
Quantizing this equation means replacing the coordinate with the Hilbert space and
with the Planck constant and
the reduced Planck constant.
This results in the Schrödinger equation for a single particle in a potential:
The last term is the multiplication of the functions and .
The right hand side is called the Hamilton operator , the Schrödinger equation is therefore mostly stated in this form:
Decomposition into phase and amplitude
Consider for simplicity, the mechanical system of a particle of mass propagating on the real line and subject to a potential , so that the Schrödinger equation is the differential equation on complex-valued functions given by
where denotes Planck's constant.
By the nature of complex numbers and by the discussion at phase and phase space in physics, it is natural to parameterize – away from its zero locus – by a complex phase function
and an absolute value function
which is positive, , as
Entering this Ansatz into the above Schrödinger equation, that complex equation becomes equivalent to the following two real equations:
Now in this form one may notice a similarity of the form of these two equations with other equations from classical mechanics and statistical mechanics:
The first equation is similar to the Hamilton-Jacobi equation that expresses the classical action functional and the canonical momentum
except that in addition to the ordinary potential energy there is an additional term
which is unlike what may appar in an ordinary Hamilton-Jacobi equation. The perspective of Bohmian mechanics is to regard this as a correction of quantum physics to classical Hamilton-Jacobi theory, it is then called the quantum potential. Notice that unlike ordinary potentials, this “quantum potential” is a function of the density that is subject to the potential. (Notice that this works only away from the zero locus of .)
The second equation has the form of the continuity equation? of the flow expressed by .
(In the context of Bohmian mechanics one regard this equivalent rewriting of the Schrödinger equation as providing a hidden variable theory formulation of quantum mechanics.)
Any introductory textbook about quantum mechanics will explain the Schrödinger equation (from the viewpoint of physicists mostly).