Position and momentum spaces

Last updated

In physics and geometry, there are two closely related vector spaces, usually three-dimensional but in general of any finite dimension. Position space (also real space or coordinate space) is the set of all position vectors r in Euclidean space, and has dimensions of length; a position vector defines a point in space. (If the position vector of a point particle varies with time, it will trace out a path, the trajectory of a particle.) Momentum space is the set of all momentum vectors p a physical system can have; the momentum vector of a particle corresponds to its motion, with units of [mass][length][time]−1.

Contents

Mathematically, the duality between position and momentum is an example of Pontryagin duality . In particular, if a function is given in position space, f(r), then its Fourier transform obtains the function in momentum space, φ(p). Conversely, the inverse Fourier transform of a momentum space function is a position space function.

These quantities and ideas transcend all of classical and quantum physics, and a physical system can be described using either the positions of the constituent particles, or their momenta, both formulations equivalently provide the same information about the system in consideration. Another quantity is useful to define in the context of waves. The wave vector k (or simply "k-vector") has dimensions of reciprocal length, making it an analogue of angular frequency ω which has dimensions of reciprocal time. The set of all wave vectors is k-space. Usually r is more intuitive and simpler than k, though the converse can also be true, such as in solid-state physics.

Quantum mechanics provides two fundamental examples of the duality between position and momentum, the Heisenberg uncertainty principle ΔxΔpħ/2 stating that position and momentum cannot be simultaneously known to arbitrary precision, and the de Broglie relation p = ħk which states the momentum and wavevector of a free particle are proportional to each other. [1] In this context, when it is unambiguous, the terms "momentum" and "wavevector" are used interchangeably. However, the de Broglie relation is not true in a crystal.

Position and momentum spaces in classical mechanics

Lagrangian mechanics

Most often in Lagrangian mechanics, the Lagrangian L(q, dq/dt, t) is in configuration space, where q = (q1, q2,..., qn) is an n-tuple of the generalized coordinates. The Euler–Lagrange equations of motion are

(One overdot indicates one time derivative). Introducing the definition of canonical momentum for each generalized coordinate

the Euler–Lagrange equations take the form

The Lagrangian can be expressed in momentum space also, [2] L′(p, dp/dt, t), where p = (p1, p2, ..., pn) is an n-tuple of the generalized momenta. A Legendre transformation is performed to change the variables in the total differential of the generalized coordinate space Lagrangian;

where the definition of generalized momentum and Euler–Lagrange equations have replaced the partial derivatives of L. The product rule for differentials [nb 1] allows the exchange of differentials in the generalized coordinates and velocities for the differentials in generalized momenta and their time derivatives,

which after substitution simplifies and rearranges to

Now, the total differential of the momentum space Lagrangian L′ is

so by comparison of differentials of the Lagrangians, the momenta, and their time derivatives, the momentum space Lagrangian L′ and the generalized coordinates derived from L′ are respectively

Combining the last two equations gives the momentum space Euler–Lagrange equations

The advantage of the Legendre transformation is that the relation between the new and old functions and their variables are obtained in the process. Both the coordinate and momentum forms of the equation are equivalent and contain the same information about the dynamics of the system. This form may be more useful when momentum or angular momentum enters the Lagrangian.

Hamiltonian mechanics

In Hamiltonian mechanics, unlike Lagrangian mechanics which uses either all the coordinates or the momenta, the Hamiltonian equations of motion place coordinates and momenta on equal footing. For a system with Hamiltonian H(q, p, t), the equations are

Position and momentum spaces in quantum mechanics

In quantum mechanics, a particle is described by a quantum state. This quantum state can be represented as a superposition (i.e. a linear combination as a weighted sum) of basis states. In principle one is free to choose the set of basis states, as long as they span the space. If one chooses the eigenfunctions of the position operator as a set of basis functions, one speaks of a state as a wave function ψ(r) in position space (our ordinary notion of space in terms of length). The familiar Schrödinger equation in terms of the position r is an example of quantum mechanics in the position representation. [3]

By choosing the eigenfunctions of a different operator as a set of basis functions, one can arrive at a number of different representations of the same state. If one picks the eigenfunctions of the momentum operator as a set of basis functions, the resulting wave function is said to be the wave function in momentum space. [3]

A feature of quantum mechanics is that phase spaces can come in different types: discrete-variable, rotor, and continuous-variable. The table below summarizes some relations involved in the three types of phase spaces. [4]

Comparison and summary of relations between conjugate variables in discrete-variable (DV), rotor (ROT), and continuous-variable (CV) phase spaces (taken from arXiv:1709.04460). Most physically relevant phase spaces consist of combinations of these three. Each phase space consists of position and momentum, whose possible values are taken from a locally compact Abelian group and its dual. A quantum mechanical state can be fully represented in terms of either variables, and the transformation used to go between position and momentum spaces is, in each of the three cases, a variant of the Fourier transform. The table uses bra-ket notation as well as mathematical terminology describing Canonical commutation relations (CCR). Phase spaces.png
Comparison and summary of relations between conjugate variables in discrete-variable (DV), rotor (ROT), and continuous-variable (CV) phase spaces (taken from arXiv:1709.04460). Most physically relevant phase spaces consist of combinations of these three. Each phase space consists of position and momentum, whose possible values are taken from a locally compact Abelian group and its dual. A quantum mechanical state can be fully represented in terms of either variables, and the transformation used to go between position and momentum spaces is, in each of the three cases, a variant of the Fourier transform. The table uses bra-ket notation as well as mathematical terminology describing Canonical commutation relations (CCR).

Relation between space and reciprocal space

The momentum representation of a wave function is very closely related to the Fourier transform and the concept of frequency domain. Since a quantum mechanical particle has a frequency proportional to the momentum (de Broglie's equation given above), describing the particle as a sum of its momentum components is equivalent to describing it as a sum of frequency components (i.e. a Fourier transform). [5] This becomes clear when we ask ourselves how we can transform from one representation to another.

Functions and operators in position space

Suppose we have a three-dimensional wave function in position space ψ(r), then we can write this functions as a weighted sum of orthogonal basis functions ψj(r):

or, in the continuous case, as an integral

It is clear that if we specify the set of functions , say as the set of eigenfunctions of the momentum operator, the function holds all the information necessary to reconstruct ψ(r) and is therefore an alternative description for the state .

In quantum mechanics, the momentum operator is given by

(see matrix calculus for the denominator notation) with appropriate domain. The eigenfunctions are

and eigenvalues ħk. So

and we see that the momentum representation is related to the position representation by a Fourier transform. [6]

Functions and operators in momentum space

Conversely, a three-dimensional wave function in momentum space can be expressed as a weighted sum of orthogonal basis functions ,

or as an integral,

The position operator is given by

with eigenfunctions

and eigenvalues r. So a similar decomposition of can be made in terms of the eigenfunctions of this operator, which turns out to be the inverse Fourier transform, [6]

Unitary equivalence between position and momentum operator

The r and p operators are unitarily equivalent, with the unitary operator being given explicitly by the Fourier transform, namely a quarter-cycle rotation in phase space, generated by the oscillator Hamiltonian. Thus, they have the same spectrum. In physical language, p acting on momentum space wave functions is the same as r acting on position space wave functions (under the image of the Fourier transform).

Reciprocal space and crystals

For an electron (or other particle) in a crystal, its value of k relates almost always to its crystal momentum, not its normal momentum. Therefore, k and p are not simply proportional but play different roles. See k·p perturbation theory for an example. Crystal momentum is like a wave envelope that describes how the wave varies from one unit cell to the next, but does not give any information about how the wave varies within each unit cell.

When k relates to crystal momentum instead of true momentum, the concept of k-space is still meaningful and extremely useful, but it differs in several ways from the non-crystal k-space discussed above. For example, in a crystal's k-space, there is an infinite set of points called the reciprocal lattice which are "equivalent" to k = 0 (this is analogous to aliasing). Likewise, the "first Brillouin zone" is a finite volume of k-space, such that every possible k is "equivalent" to exactly one point in this region.

See also

Footnotes

  1. For two functions u and v, the differential of the product is d(uv) = udv + vdu.

Related Research Articles

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.

<span class="mw-page-title-main">Schrödinger equation</span> Description of a quantum-mechanical system

The Schrödinger equation is a linear partial differential equation that governs the wave function of a quantum-mechanical system. Its discovery was a significant landmark in the development of quantum mechanics. It is named after Erwin Schrödinger, who postulated the equation in 1925 and published it in 1926, forming the basis for the work that resulted in his Nobel Prize in Physics in 1933.

<span class="mw-page-title-main">Wave function</span> Mathematical description of the quantum state of a system

In quantum physics, a wave function, represented by the Greek letter Ψ, is a mathematical description of the quantum state of an isolated quantum system. In the Copenhagen interpretation of quantum mechanics, the wave function is a complex-valued probability amplitude; the probabilities for the possible results of the measurements made on a measured system can be derived from the wave function.

<span class="mw-page-title-main">Noether's theorem</span> Statement relating differentiable symmetries to conserved quantities

Noether's theorem or Noether's first theorem states that every differentiable symmetry of the action of a physical system with conservative forces has a corresponding conservation law. The theorem was proven by mathematician Emmy Noether in 1915 and published in 1918. The action of a physical system is the integral over time of a Lagrangian function, from which the system's behavior can be determined by the principle of least action. This theorem only applies to continuous and smooth symmetries over physical space.

The Klein–Gordon equation is a relativistic wave equation, related to the Schrödinger equation. It is second-order in space and time and manifestly Lorentz-covariant. It is a quantized version of the relativistic energy–momentum relation . Its solutions include a quantum scalar or pseudoscalar field, a field whose quanta are spinless particles. Its theoretical relevance is similar to that of the Dirac equation. Electromagnetic interactions can be incorporated, forming the topic of scalar electrodynamics, but because common spinless particles like the pions are unstable and also experience the strong interaction the practical utility is limited.

<span class="mw-page-title-main">Eigenfunction</span> Mathematical function of a linear operator

In mathematics, an eigenfunction of a linear operator D defined on some function space is any non-zero function in that space that, when acted upon by D, is only multiplied by some scaling factor called an eigenvalue. As an equation, this condition can be written as

In physics, an operator is a function over a space of physical states onto another space of physical states. The simplest example of the utility of operators is the study of symmetry. Because of this, they are useful tools in classical mechanics. Operators are even more important in quantum mechanics, where they form an intrinsic part of the formulation of the theory.

<span class="mw-page-title-main">Path integral formulation</span> Formulation of quantum mechanics

The path integral formulation is a description in quantum mechanics that generalizes the 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.

In theoretical physics and mathematical physics, analytical mechanics, or theoretical mechanics is a collection of closely related alternative formulations of classical mechanics. It was developed by many scientists and mathematicians during the 18th century and onward, after Newtonian mechanics. Since Newtonian mechanics considers vector quantities of motion, particularly accelerations, momenta, forces, of the constituents of the system, an alternative name for the mechanics governed by Newton's laws and Euler's laws is vectorial mechanics.

<span class="mw-page-title-main">Canonical quantization</span> Process of converting a classical physical theory into one compatible with quantum mechanics

In physics, canonical quantization is a procedure for quantizing a classical theory, while attempting to preserve the formal structure, such as symmetries, of the classical theory to the greatest extent possible.

In quantum mechanics, a rotational transition is an abrupt change in angular momentum. Like all other properties of a quantum particle, angular momentum is quantized, meaning it can only equal certain discrete values, which correspond to different rotational energy states. When a particle loses angular momentum, it is said to have transitioned to a lower rotational energy state. Likewise, when a particle gains angular momentum, a positive rotational transition is said to have occurred.

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 physics, a free particle is a particle that, in some sense, is not bound by an external force, or equivalently not in a region where its potential energy varies. In classical physics, this means the particle is present in a "field-free" space. In quantum mechanics, it means the particle is in a region of uniform potential, usually set to zero in the region of interest since the potential can be arbitrarily set to zero at any point in space.

<span class="mw-page-title-main">Routhian mechanics</span> Formulation of classical mechanics

In classical mechanics, Routh's procedure or Routhian mechanics is a hybrid formulation of Lagrangian mechanics and Hamiltonian mechanics developed by Edward John Routh. Correspondingly, the Routhian is the function which replaces both the Lagrangian and Hamiltonian functions. Routhian mechanics is equivalent to Lagrangian mechanics and Hamiltonian mechanics, and introduces no new physics. It offers an alternative way to solve mechanical problems.

In quantum mechanics, the angular momentum operator is one of several related operators analogous to classical angular momentum. The angular momentum operator plays a central role in the theory of atomic and molecular physics and other quantum problems involving rotational symmetry. Such an operator is applied to a mathematical representation of the physical state of a system and yields an angular momentum value if the state has a definite value for it. In both classical and quantum mechanical systems, angular momentum is one of the three fundamental properties of motion.

In quantum mechanics, the position operator is the operator that corresponds to the position observable of a particle.

In mechanics, a constant of motion is a quantity that is conserved throughout the motion, imposing in effect a constraint on the motion. However, it is a mathematical constraint, the natural consequence of the equations of motion, rather than a physical constraint. Common examples include energy, linear momentum, angular momentum and the Laplace–Runge–Lenz vector.

The theoretical and experimental justification for the Schrödinger equation motivates the discovery of the Schrödinger equation, the equation that describes the dynamics of nonrelativistic particles. The motivation uses photons, which are relativistic particles with dynamics described by Maxwell's equations, as an analogue for all types of particles.

In quantum mechanics and quantum field theory, a Schrödinger field, named after Erwin Schrödinger, is a quantum field which obeys the Schrödinger equation. While any situation described by a Schrödinger field can also be described by a many-body Schrödinger equation for identical particles, the field theory is more suitable for situations where the particle number changes.

Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

References

  1. Eisberg, R.; Resnick, R. (1985). Quantum Physics of Atoms, Molecules, Solids, Nuclei, and Particles (2nd ed.). John Wiley & Sons. ISBN   978-0-471-87373-0.
  2. Hand, Louis N; Finch, Janet D (1998). Analytical Mechanics. p. 190. ISBN   978-0-521-57572-0.
  3. 1 2 Peleg, Y.; Pnini, R.; Zaarur, E.; Hecht, E. (2010). Quantum Mechanics (Schaum's Outline Series) (2nd ed.). McGraw Hill. ISBN   978-0-07-162358-2.
  4. Albert, Victor V; Pascazio, Saverio; Devoret, Michel H (2017). "General phase spaces: from discrete variables to rotor and continuum limits". Journal of Physics A: Mathematical and Theoretical. 50 (50): 504002. arXiv: 1709.04460 . doi:10.1088/1751-8121/aa9314. S2CID   119290497.
  5. Abers, E. (2004). Quantum Mechanics. Addison Wesley, Prentice Hall Inc. ISBN   978-0-13-146100-0.
  6. 1 2 R. Penrose (2007). The Road to Reality . Vintage books. ISBN   978-0-679-77631-4.