Derivatives of action

In classical physics, the derivatives of action are conjugate variables to the quantity with respect to which one is differentiating. In quantum mechanics, these same pairs of variables are related by the Heisenberg uncertainty principle.

• The energy of a particle at a certain event is the negative of the derivative of the action along a trajectory of that particle ending at that event with respect to the time of the event.
• The linear momentum of a particle is the derivative of its action with respect to its position.
• The angular momentum of a particle is the derivative of its action with respect to its orientation (angular position).
• The mass-moment (${\displaystyle \mathbf {N} =t\mathbf {p} -E\mathbf {r} }$) of a particle is the negative of the derivative of its action with respect to its rapidity.
• The electric potential (φ, voltage) and electric charge in a quantum LC circuit.^[4]
• The magnetic potential (A) at an event is the derivative of the action of the electromagnetic field with respect to the density of (free) electric current at that event. ^{[citation needed]}
• The electric field (E) at an event is the derivative of the action of the electromagnetic field with respect to the electric polarization density at that event. ^{[citation needed]}
• The magnetic induction (B) at an event is the derivative of the action of the electromagnetic field with respect to the magnetization at that event. ^{[citation needed]}
• The Newtonian gravitational potential at an event is the negative of the derivative of the action of the Newtonian gravitation field with respect to the mass density at that event. ^{[citation needed]}

Quantum theory

In quantum mechanics, conjugate variables are realized as pairs of observables whose operators do not commute. In conventional terminology, they are said to be incompatible observables. Consider, as an example, the measurable quantities given by position ${\displaystyle \left(x\right)}$ and momentum ${\displaystyle \left(p\right)}$. In the quantum-mechanical formalism, the two observables ${\displaystyle x}$ and ${\displaystyle p}$ correspond to operators ${\displaystyle {\widehat {x}}}$ and ${\displaystyle {\widehat {p\,}}}$, which necessarily satisfy the canonical commutation relation: $${\displaystyle [{\widehat {x}},{\widehat {p\,}}]={\widehat {x}}{\widehat {p\,}}-{\widehat {p\,}}{\widehat {x}}=i\hbar }$$

For every non-zero commutator of two operators, there exists an "uncertainty principle", which in our present example may be expressed in the form: $${\displaystyle \Delta x\,\Delta p\geq \hbar /2}$$

In this ill-defined notation, ${\displaystyle \Delta x}$ and ${\displaystyle \Delta p}$ denote "uncertainty" in the simultaneous specification of ${\displaystyle x}$ and ${\displaystyle p}$. A more precise, and statistically complete, statement involving the standard deviation ${\displaystyle \sigma }$ reads: $${\displaystyle \sigma _{x}\sigma _{p}\geq \hbar /2}$$

More generally, for any two observables ${\displaystyle A}$ and ${\displaystyle B}$ corresponding to operators ${\displaystyle {\widehat {A}}}$ and ${\displaystyle {\widehat {B}}}$, the generalized uncertainty principle is given by: $${\displaystyle {\sigma _{A}}^{2}{\sigma _{B}}^{2}\geq \left({\frac {1}{2i}}\left\langle \left[{\widehat {A}},{\widehat {B}}\right]\right\rangle \right)^{2}}$$

Now suppose we were to explicitly define two particular operators, assigning each a specific mathematical form, such that the pair satisfies the aforementioned commutation relation. It's important to remember that our particular "choice" of operators would merely reflect one of many equivalent, or isomorphic, representations of the general algebraic structure that fundamentally characterizes quantum mechanics. The generalization is provided formally by the Heisenberg Lie algebra ${\displaystyle {\mathfrak {h}}_{3}}$, with a corresponding group called the Heisenberg group ${\displaystyle H_{3}}$.

Fluid mechanics

In Hamiltonian fluid mechanics and quantum hydrodynamics, the action itself (or velocity potential) is the conjugate variable of the density (or probability density).