Part of a series of articles about |
Quantum mechanics |
---|
Stochastic mechanics is a framework for describing the dynamics of particles that are subjected to an intrinsic random processes as well as various external forces. The framework provides a derivation of the diffusion equations associated to these stochastic particles. It is best known for its derivation of the Schrödinger equation as the Kolmogorov equation for a certain type of conservative (or unitary) diffusion, [1] [2] and for this purpose it is also referred to as stochastic quantum mechanics.
The derivation can be based on the extremization of an action in combination with a quantization prescription. [2] This quantization prescription can be compared to canonical quantization and the path integral formulation, and is often referred to as Nelson’s stochastic quantization or stochasticization. [3] As the theory allows for a derivation of the Schrödinger equation, it has given rise to the stochastic interpretation of quantum mechanics. This interpretation has served as the main motivation for developing the theory of stochastic mechanics. [1]
The first relatively coherent stochastic theory of quantum mechanics was put forward by Hungarian physicist Imre Fényes. [4] [5] [6] [7] Louis de Broglie [8] felt compelled to incorporate a stochastic process underlying quantum mechanics to make particles switch from one pilot wave to another. [7] The theory of stochastic mechanics is ascribed to Edward Nelson, who independently discovered a derivation of the Schrödinger equation within this framework. [1] [2] This theory was also developed by Davidson, Guerra, Ruggiero, Pavon and others. [7]
The stochastic interpretation interprets the paths in the path integral formulation of quantum mechanics as the sample paths of a stochastic process. [9] It posits that quantum particles are localized on one of these paths, but observers cannot predict with certainty where the particle is localized. The only way to locate the particle is by performing a measurement. An observer can only predict probabilities for the outcomes of such a measurement based on their earlier measurements and their knowledge about the forces that are acting on the particle.
This interpretation is well-known from the context of statistical mechanics, [9] and Brownian motion in particular. Hence, according to the stochastic interpretation, quantum mechanics should be interpreted in a way similar to Brownian motion. [1] However, in the case of Brownian motion, the existence of a probability measure (called the Wiener measure [10] ) that defines the statistical path integral is well established, and this measure can be generated by a stochastic process called the Wiener process. [11] On the other hand, proving the existence of a probability measure that defines the quantum mechanical path integral faces difficulties, [12] [13] and it is not guaranteed that such a probability measure can be generated by a stochastic process. Stochastic mechanics is the framework concerned with the construction of such stochastic processes that generate a probability measure for quantum mechanics.
For a Brownian motion, it is known that the statistical fluctuations of a Brownian particle are often induced by the interaction of the particle with a large number of microscopic particles. [14] [15] [16] [17] In this case, the description of a Brownian motion in terms of the Wiener process is only used as an approximation, which neglects the dynamics of the individual particles in the background. Instead it describes the influence of these background particles by their statistical behavior.
The stochastic interpretation of quantum mechanics is agnostic about the origin of the quantum fluctuations of a quantum particle. It introduces the quantum fluctuations as the result of new stochastic law of nature called the background hypothesis. [2] This hypothesis can be interpreted as a strict implementation of the statement that `God plays dice’, but it leaves open the possibility that this dice game is replaced by a hidden variable theory, as in the theory of Brownian motion. [18]
The remainder of this article deals with the definition of such a process and the derivation of the diffusion equations associated to this process. This is done in a general setting with Brownian motion and Quantum mechanics as special limits, where one obtains respectively the heat equation and the Schrödinger equation. The derivation heavily relies on tools from Lagrangian mechanics and stochastic calculus.
The postulates of Stochastic Mechanics can be summarized in a stochastic quantization condition that was formulated by Nelson. [2] For a non-relativistic theory on this condition states: [19]
Using the decomposition , and the fact that has finite variation, one finds that the quadratic variation of and is given by
Hence, by Lévy's characterization of Brownian motion, and describe two correlated Wiener processes with a drift described by the finite variation process , a diffusion constant scaling with , and a correlation depending on the angle . The processes are maximally correlated in the quantum limit, associated to and corresponding to , whereas they are uncorrelated in the Brownian limit, associated to and corresponding to ,
The term stochastic quantization to describe this quantization procedure was introduced in the 1970s. [21] Nowadays, stochastic quantization more commonly refers to a framework developed by Parisi and Wu in 1981. Consequently, the quantization procedure developed in stochastic mechanics is sometimes also referred to as Nelson's stochastic quantization or stochasticization. [3]
The stochastic process is almost surely nowhere differentiable, such that the velocity along the process is not well-defined. However, there exist velocity fields, defined using conditional expectations. These are given by
with represents a valid choice for the velocity of the process . This is particularly true for the special case denoted by , which can be associated to the Stratonovich integral along .
Since has a non-vanishing quadratic variation, one can additionally define second order velocity fields given by
The time-reversibility postulate imposes a relation on these two fields such that . Moreover, using the structure relation by which the quadratic variation is fixed, one finds that . It follows that in the Stratonovich formulation the second order part of the velocity vanishes, i.e. .
The real and imaginary part of the velocities are detnoted by
Using the existence of these velocity fields, one can formally define the velocity processes by the Itô integral . Similarly, one can formally define a process by the Stratonovich integral and a second order velocity process by the Stieltjes integral . Using the structure relation, one then finds that the second order velocity process is given by . However, the processes and are not well-defined: the first moments exist and are given by , but the quadratic moments diverge, i.e. . The physical interpretation of this divergence is that in the position representation the position is known precisely, but the velocity has an infinite uncertainty.
The stochastic quantization condition states that the stochastic trajectory must extremize a stochastic action , but does not specify the stochastic Lagrangian . This Lagrangian can be obtained from a classical Lagrangian using a standard procedure. Here, we consider a classical Lagrangian of the form
Here, are coordinates in phase space (the tangent bundle), is the Kronecker delta describing the metric on , denotes the mass of the particle, the charge under the vector potential , and is a scalar potential. Moreover, the Einstein summation convention is assumed.
An important property of this Lagrangian is the principle of gauge invariance. This can be made explicit by defining a new action through the addition of a total derivative term to the original action, such that
where and . Thus, since the dynamics should not be affected by the addition of a total derivative to the action, the action is gauge invariant under the above redefinition of the potentials for an arbitrary differentiable function .
In order to construct a stochastic Lagrangian corresponding to this classical Lagrangian, one must look for a minimal extension of the above Lagrangian that respects this gauge invariance. [22] In the Stratonovich formulation of the theory, this can be done straightforwardly, since the differential operator in the Stratonovich formulation is given by
Therefore, the Stratonovich Lagrangian can be obtained by replacing the classical velocity by the complex velocity , such that
In the Itô formulation, things are more complicated, as the total derivative is given by Itô's lemma:
Due to the presence of the second order derivative term, the gauge invariance is broken. However, this can be restored by adding a derivative of the vector potential to the Lagrangian. Hence, the stochastic Lagrangian is given by a Lagrangian of the form
The stochastic action can be defined using the Stratonovich Lagrangian, which is equal to the action defined by the Itô Lagrangian up to a divergent term: [2]
The divergent term can be calculated and is given by
where are winding numbers that count the winding of the path around the pole at . [23]
As the divergent term is constant, it does not contribute to the equations of motion. For this reason, this term has been discarded in early works on stochastic mechanics. [2] However, when this term is discarded, stochastic mechanics cannot account for the appearance of discrete spectra in quantum mechanics. This issue is known as Wallstrom's criticism, [24] [25] and can be resolved by properly taking into account the divergent term.
There also exists a Hamiltonian formulation of stochastic mechanics. [22] [26] It starts from the definition of canonical momenta:
The Hamiltonian in the Stratonovich formulation can then be obtained by the first order Legendre transform:
In the Itô formulation, on the other hand, the Hamiltonian is obtained through a second order Legendre transform: [27]
The stochastic action can be extremized, which leads to a stochastic version of the Euler-Lagrange equations. In the Stratonovich formulation, these are given by
For the Lagrangian, discussed in previous section, this leads to the following second order stochastic differential equation in the sense of Stratonovich:
where, the field strength is given by . This equation serves as a stochastic version of Newton's second law.
In the Itô formulation, the stochastic Euler-Lagrange equations are given by
This leads to a second order stochastic differential equation in the sense of Itô, given by a stochastic version of Newton's second law in the form
The equations of motion can also be obtained in a stochastic generalization of the Hamilton-Jacobi formulation of classical mechanics. In this case, one starts by defining Hamilton's principal function. For the Lagrangian , this function is defined as
where it is assumed that the process obeys the stochastic Euler-Lagrange equations. Similarly, for the Lagrangian , Hamilton's principal function is defined as
where it is assumed that the process obeys the stochastic Euler-Lagrange equations. Due to the divergent part of the action, these principal functions are subjected to the equivalence relation
By varying the principal functions with respect to the point one finds the Hamilton-Jacobi equations. These are given by
Note that these look the same as in the classical case. However, the Hamiltonian, in the second Hamilton-Jacobi equation is now obtained using a second order Legendre transform. Moreover, due to the divergent part of the action, there is a third Hamilton-Jacobi equation, which takes the form of the non-trivial integral constraint
For the given Lagrangian the first two Hamilton-Jacobi equations yield
These two equations can be combined, yielding
Using that , this equation, subjected to the integral condition and the initial condition or terminal condition , can be solved for . The solution can then be plugged into the Itô equation
which can be solved for the process . Thus, when an initial condition (for the future directed equation labeled with ) or terminal condition (for the past directed equation labeled with ) is specified, one finds a unique stochastic process that describes the trajectory of the particle.
The key result of stochastic mechanics is that it derives the Schrödinger equation from the postulated stochastic process. In this derivation, the Hamilton-Jacobi equations
are combined, such that one obtains the equation
Subsequently, one defines the wave function
Since Hamilton's principal functions are multivalued, one finds that the wave functions are subjected to the equivalence relations
Furthermore, the wave functions are subjected to the complex diffusion equations
Thus, for any for any process that solves the postulates of stochastic mechanics, one can construct a wave function that obeys these diffusion equations. Due to the equivalence relations on Hamilton's principal function, the opposite statement is also true: for any solution of these complex diffusion equations, one can construct a stochastic process that is a solution of the postulates of stochastic mechanics. A similar result has been established by the Feynman-Kac theorem.
Finally, one can construct a probability density
which describes transition probabilities for the process . More precisely, describes the probability of being in the state given that the system ends up in the state . Therefore, the diffusion equation for can be interpreted as the Kolmogorov backward equation of the process . Similarly, describes the probability of being in the state given that the system ends up in the state , when it is evolved backward in time. Therefore, the diffusion equation for can be interpreted as the Kolmogorov backward equation of the process when it is evolved towards the past. By inverting the time direction, one finds that describes the probability of being in the state given that the system starts in the state , when it is evolved forward in time. Thus, the diffusion equation for can also be interpreted as the Kolmogorov Forward equation of the process when it is evolved towards the future.
The theory contains various special limits:
In the Brownian limit with initial condition or terminal condition (which implies ), the processes and are decoupled, such that the dynamics of the auxiliary process can be discarded, and is described by a real Wiener process. In all other cases with , the processes are coupled to each other, such that the auxiliary process must be taken into account in deriving the dynamics of .
The theory is symmetric under the time reversal operation .
In the Brownian limits, the theory is maximally dissipative, whereas the quantum limits are unitary, such that
The diffusion equation can be rewritten as
where is a Hamiltonian operator. This allows to introduce position and momentum operators as
such that the Hamiltonian has its familiar shape
These operators obey the canonical commutation relation
Continuum mechanics is a branch of mechanics that deals with the deformation of and transmission of forces through materials modeled as a continuous medium rather than as discrete particles.
In quantum mechanics, the Hamiltonian of a system is an operator corresponding to the total energy of that system, including both kinetic energy and potential energy. Its spectrum, the system's energy spectrum or its set of energy eigenvalues, is the set of possible outcomes obtainable from a measurement of the system's total energy. Due to its close relation to the energy spectrum and time-evolution of a system, it is of fundamental importance in most formulations of quantum theory.
In statistical mechanics and information theory, the Fokker–Planck equation is a partial differential equation that describes the time evolution of the probability density function of the velocity of a particle under the influence of drag forces and random forces, as in Brownian motion. The equation can be generalized to other observables as well. The Fokker-Planck equation has multiple applications in information theory, graph theory, data science, finance, economics etc.
Fractional calculus is a branch of mathematical analysis that studies the several different possibilities of defining real number powers or complex number powers of the differentiation operator
In mathematics and classical mechanics, the Poisson bracket is an important binary operation in Hamiltonian mechanics, playing a central role in Hamilton's equations of motion, which govern the time evolution of a Hamiltonian dynamical system. The Poisson bracket also distinguishes a certain class of coordinate transformations, called canonical transformations, which map canonical coordinate systems into canonical coordinate systems. A "canonical coordinate system" consists of canonical position and momentum variables that satisfy canonical Poisson bracket relations. The set of possible canonical transformations is always very rich. For instance, it is often possible to choose the Hamiltonian itself as one of the new canonical momentum coordinates.
The path integral formulation is a description in quantum mechanics that generalizes the stationary action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral, over an infinity of quantum-mechanically possible trajectories to compute a quantum amplitude.
Creation operators and annihilation operators are mathematical operators that have widespread applications in quantum mechanics, notably in the study of quantum harmonic oscillators and many-particle systems. An annihilation operator lowers the number of particles in a given state by one. A creation operator increases the number of particles in a given state by one, and it is the adjoint of the annihilation operator. In many subfields of physics and chemistry, the use of these operators instead of wavefunctions is known as second quantization. They were introduced by Paul Dirac.
In quantum mechanics, the canonical commutation relation is the fundamental relation between canonical conjugate quantities. For example,
In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.
In theoretical physics, supersymmetric quantum mechanics is an area of research where supersymmetry are applied to the simpler setting of plain quantum mechanics, rather than quantum field theory. Supersymmetric quantum mechanics has found applications outside of high-energy physics, such as providing new methods to solve quantum mechanical problems, providing useful extensions to the WKB approximation, and statistical mechanics.
In rotordynamics, the rigid rotor is a mechanical model of rotating systems. An arbitrary rigid rotor is a 3-dimensional rigid object, such as a top. To orient such an object in space requires three angles, known as Euler angles. A special rigid rotor is the linear rotor requiring only two angles to describe, for example of a diatomic molecule. More general molecules are 3-dimensional, such as water, ammonia, or methane.
In differential geometry, the four-gradient is the four-vector analogue of the gradient from vector calculus.
In mathematics, the Moyal product is an example of a phase-space star product. It is an associative, non-commutative product, ★, on the functions on , equipped with its Poisson bracket. It is a special case of the ★-product of the "algebra of symbols" of a universal enveloping algebra.
In quantum mechanics, the probability current is a mathematical quantity describing the flow of probability. Specifically, if one thinks of probability as a heterogeneous fluid, then the probability current is the rate of flow of this fluid. It is a real vector that changes with space and time. Probability currents are analogous to mass currents in hydrodynamics and electric currents in electromagnetism. As in those fields, the probability current is related to the probability density function via a continuity equation. The probability current is invariant under gauge transformation.
In classical mechanics, holonomic constraints are relations between the position variables that can be expressed in the following form:
In mathematics — specifically, in stochastic analysis — the infinitesimal generator of a Feller process is a Fourier multiplier operator that encodes a great deal of information about the process.
Quantum dissipation is the branch of physics that studies the quantum analogues of the process of irreversible loss of energy observed at the classical level. Its main purpose is to derive the laws of classical dissipation from the framework of quantum mechanics. It shares many features with the subjects of quantum decoherence and quantum theory of measurement.
In physics, Lagrangian mechanics is a formulation of classical mechanics founded on the stationary-action principle. It was introduced by the Italian-French mathematician and astronomer Joseph-Louis Lagrange in his presentation to the Turin Academy of Science in 1760 culminating in his 1788 grand opus, Mécanique analytique.
The Monte Carlo method for electron transport is a semiclassical Monte Carlo (MC) approach of modeling semiconductor transport. Assuming the carrier motion consists of free flights interrupted by scattering mechanisms, a computer is utilized to simulate the trajectories of particles as they move across the device under the influence of an electric field using classical mechanics. The scattering events and the duration of particle flight is determined through the use of random numbers.
In pure and applied mathematics, quantum mechanics and computer graphics, a tensor operator generalizes the notion of operators which are scalars and vectors. A special class of these are spherical tensor operators which apply the notion of the spherical basis and spherical harmonics. The spherical basis closely relates to the description of angular momentum in quantum mechanics and spherical harmonic functions. The coordinate-free generalization of a tensor operator is known as a representation operator.