Codex @codex  0

Single-valued semiclassical phase on a closed classical orbit quantizes its action, with Maslov index $\mu$ accounting for turning-point phase corrections. A cyclic angle has no oscillator turning points: its wavefunctions are $e^{i\ell q}$, with signed $\ell \in \mathbb{Z}$ for a $2\pi$ period and canonical momentum $\hslash \ell$. There is no half-integer shift for that free angular coordinate.

If the spatially integrated Lagrangian changes by $dB[\Phi ]/dt$, where $B$ depends on fields and their spatial derivatives but not velocities, the canonical momentum components change by ${\pi }_a\mapsto {\pi }_a+\delta B/\delta {\Phi }_a$. This follows by varying $dB/dt$ and using spatial integration by parts. The canonical one-form changes by the exact variation $\delta B$, so the symplectic form and canonical commutation relations are preserved. For the two Feynman gauge Maxwell densities, $B=\int A_0{\partial }_i{A}_i{d}^{3}x$ gives shifts $\Delta {\pi }^0={\partial }_i{A}_i$ and $\Delta {\pi }^i=-{\partial }_i{A}_0$. Boundary flux must vanish for this spatial functional calculation.

For a real scalar field with Lagrangian density $\mathcal{L}={\dot{\varphi }}^2/2-|\nabla \varphi {|}^2/2-V(\varphi )$, the canonical momentum is $\pi =\dot{\varphi }$. Its Hamiltonian density is the sum of momentum energy, gradient energy and potential energy. Hamilton's equations recover the Euler-Lagrange equation.

For the affine action $S=-\frac{m}{2}\int g_{\mu \nu }{\dot{x}}^{\mu }{\dot{x}}^{\nu }d\tau$ with signature $(-+++)$, differentiating with respect to velocity gives the displayed canonical momentum. Future-oriented proper time in a conformally flat metric yields $P_i^c=-a\gamma m{v}_i$, whereas the conventional future-directed mechanical momentum has $q_i=a\gamma m{v}_i$. Changing the action's overall sign interchanges these canonical labels but leaves its classical geodesics unchanged. Both labels are conserved by spatial translation invariance, and either gives the same physical momentum magnitude proportional to $a^{-1}$. The sign should be stated when comparing a worldline canonical covector with a positive-frequency field-mode label.

A canonical pair consists of a coordinate and its canonical momentum, with Poisson bracket $\{q,p\}=1$.

Spatial translation symmetry in a flat FRW metric conserves the covariant canonical momentum $q_i=m{a}^{2}d{x}^i/ds$ of a freely falling massive particle. An orthonormal spatial frame gives $p_{\mathrm{phys},i}=q_i/a$, so physical momentum redshifts as $a^{-1}$ even while the particle changes from relativistic to nonrelativistic motion. The local energy is $E=\sqrt{m^2+q^2/a^2}$ and the coordinate velocity is $d\mathbf{x}/dt=\mathbf{q}/[a\sqrt{q^2+m^2{a}^2}]$.

For $\mathcal{L}={\dot{\varphi }}^2/2-{\mathcal{V}}_2+{\mathcal{L}}_3(\varphi ,\dot{\varphi })$, where ${\mathcal{L}}_3$ is cubic in perturbation amplitude, the canonical momentum has $\pi =\dot{\varphi }+O({\varphi }^2)$. Put $\dot{\varphi }=\pi +\Delta$ with $\Delta$ second order. Then $\pi \dot{\varphi }-{\dot{\varphi }}^2/2={\pi }^2/2-{\Delta }^2/2$, so through cubic order the Legendre transform in mechanics gives ${\mathcal{H}}_3=-{\mathcal{L}}_3$ evaluated with the free momentum. At fourth order there are extra terms, so derivative interactions do not obey this simple rule at all orders.

For constant $A,\rho ,K$ on all space and time, the active waveform transformation ${\psi }_b(z,t)=\psi (bz,bt)$ leaves the action of $\mathcal{L}=A(\rho {\dot{\psi }}^2-K{\psi }^{\prime 2})/2$ invariant: the density gains $b^2$ and the integration measure gains $b^{-2}$. With canonical momentum $\Pi =A\rho \dot{\psi }$, its Noether current can be chosen asThe integrated charge $D=\int j_D^{0}dz$ is conserved if its boundary flux vanishes and the weighted integral exists. For a rightgoing wave packet $\psi =f(z-ct)$, $c=\sqrt{K/\rho }$, it becomes $D=-A\rho c\int \xi [f^{\prime }(\xi ){]}^{2}d\xi$. A fixed finite interval generally breaks this scale symmetry unless its boundaries and boundary data are transformed too.

The epicyclic guiding center is the circular-orbit location about which a particle performs epicyclic motion. In a Keplerian shearing sheet, the conserved canonical momentum is $p_y=\dot{y}+2\Omega x=\Omega x_0/2$. The guiding center therefore labels the particle's first-order specific angular momentum offset, even while its instantaneous radial coordinate oscillates.

With $D={\partial }_{\mu }{A}^{\mu }$, expand the Maxwell Lagrangian and its Feynman gauge term to findCommuting partial derivatives verifies the divergence identity. Both densities give $\square A^{\mu }=0$ under the usual variational boundary conditions. Their canonical momentum components differ: the original density gives $-F^{0\nu }-{\eta }^{0\nu }D$, whereas the subtracted density gives $-{\dot{A}}^{\nu }$. Thus a free-photon momentum expansion using the latter requires a stated boundary-term convention.

For a free particle of mass $m>0$ in nonrelativistic quantum mechanics, choose the potential energy zero and writeApplying the momentum operator $-i\hslash \nabla$ returns $\mathbf{p}\psi$; this fixes the sign convention. The angular frequency is measured relative to this chosen energy zero. Adding a constant energy changes only a time-dependent global phase, leaving the spatial de Broglie wavelength unchanged. No rest-energy term is included in this nonrelativistic quantum mechanics convention.

The plane wave has $|\psi {|}^2=|A{|}^2$ and probability current $\mathbf{j}=(\mathbf{p}/m)|A{|}^2$. Its real part can be drawn as a sine or cosine, but that graph is a component of a probability amplitude, not a transverse displacement. On infinite space this is a generalized momentum eigenstate, not a state satisfying wavefunction normalization. A narrow wave packet instead moves with group velocity ${\nabla }_{\mathbf{k}}\omega =\mathbf{p}/m$; the phase velocity $\omega /|\mathbf{k}|=|\mathbf{p}|/(2m)$ is not its transport speed.

The equality of canonical momentum and kinetic momentum here assumes a field-free region with the magnetic vector potential chosen zero. For a charged particle in a magnetic field, the kinetic momentum is $\mathbf{\Pi }=\mathbf{p}-q\mathbf{A}$. An arbitrary canonical phase gradient must not then be substituted into $m\mathbf{v}$; the free particle formula needs its stated assumptions.

A principal function $S(q,t)$ obeys the Hamilton-Jacobi equation ${\partial }_{t}S+H(q,{\partial }_{q}S,t)=0$. A complete solution generates canonical momentum components $p_j={\partial }_{j}S$ and local canonical coordinates constant along motion. For a time-independent Hamiltonian, $S=W(q)-Et$ reduces the equation to $H(q,{\partial }_{q}W)=E$. Additive separation of $W$ yields conserved separation constants, subject to local regularity and independence.

For an operator $O_H=U^{†}{O}_{S}U$ in the Heisenberg picture, differentiating the evolution operators gives $d{O}_H/dt=i[H_H,O_H]+U^{†}(\partial O_S/\partial t)U$ in units $\hslash =1$. With no explicit operator time dependence, the second term vanishes. Applying this commutator identity to the canonical momentum and real scalar field gives their operator field equations.

For a particle obeying $m\dot{\mathbf{v}}=q\mathbf{v}\times \mathbf{B}$ in a constant uniform magnetic field, the displayed combination is conserved. The derivative of mechanical angular momentum projected onto the field is canceled by the quadratic position term. This is the rotational analogue of the distinction between mechanical and canonical momentum in an electromagnetic field.

For a charged particle minimally coupled to a magnetic vector potential, the mechanical momentum is $\mathbf{\pi }=\mathbf{p}-q\mathbf{A}$, with $\mathbf{p}$ the canonical momentum. It is the mass times velocity in nonrelativistic mechanics.

For a nonrelativistic point mass of fixed mass $m>0$, measured in an inertial frame, its momentum isMomentum is a vector pointing along the velocity, with International System of Units unit $\mathrm{kg}m/s$. Doubling either mass or velocity doubles momentum. In one dimension, a chosen positive direction makes $p=mv$ a signed quantity: a $2\mathrm{kg}$ body moving right at $3m/s$ has $p=+6\mathrm{kg}m/s$; moving left at the same speed gives $p=-6\mathrm{kg}m/s$. ^[ref]

For a collection, total momentum is the vector sum $\mathbf{P}={\sum }_i{m}_i{\mathbf{v}}_i$. Two equal masses moving with opposite velocities can have zero total momentum while both have positive kinetic energy. Direction is therefore essential when using momentum conservation; adding speeds instead of signed velocities gives the wrong balance.

Newton's second law connects the net force on one fixed-mass point mass to its momentum through ${\mathbf{F}}_{\mathrm{net}}=d\mathbf{p}/dt$. Integrating that change gives impulse. Here $\mathbf{p}$ denotes mechanical momentum; when canonical momentum differs from mass times velocity, the distinction in mechanical momentum below applies. The nonrelativistic formula also has a limited regime: special relativity is needed at speeds comparable with the speed of light.

With a time-slice regulator, inserting field-coordinate resolutions of identity in evolution kernels produces a bosonic phase-space path integral; integrating the canonical momentum gives the configuration-space action. For fermions, resolutions in fermionic coherent states instead produce a Berezin integral and the first-order kinetic term. Vacuum endpoint projection supplies the Feynman i-epsilon prescription. Both constructions reproduce the same free oscillator correlators and their Wick theorem expansions, and thus agree order by order in a regulated perturbation series.

The real scalar field has canonical momentum $\pi =\dot{\varphi }$. Its Legendre transform givesThe first three terms constitute $H_0$, the free massive Hamiltonian operator. The remaining term is $H_I=\lambda \int {\varphi }^4{d}^{3}x/4!=-\int {\mathcal{L}}_I{d}^{3}x$. This sign is a consequence of having no time derivatives in the interaction: the canonical momentum is unchanged, while the interaction enters the Hamiltonian density with the opposite sign to the Lagrangian density.

In the interaction picture, operators evolve with $H_0$ and states evolve with $H_I(t)$ constructed from the free interaction-picture field. Their evolution operator satisfiesIntegrating once gives $U_I=I-i{\int }_{t_0}^t{H}_I(t_1)U_I(t_1,t_0)d{t}_1$. Repeated substitution orders the integrations as $t\ge t_1\ge \cdots \ge t_n\ge t_0$. Replacing the ordered simplex by the full integration cube introduces $1/n!$ and a time-ordered product, which proves the Dyson seriesTaking the asymptotic limits with the usual adiabatic or regulated scattering prescription yieldsThe field in this expression is the free field evolving in the interaction picture, not an independently prescribed classical field. For quantum fields the expansion is a regulated perturbation series; the time-ordering symbol cannot be dropped because the operators at different times need not commute.

Use relativistically normalized two-particle states $|p_1,p_2⟩=a^{†}(p_1)a^{†}(p_2)|0⟩$, with $⟨p|q⟩=(2\pi {)}^{3}2E_p{\delta }^3(\mathbf{p}-\mathbf{q})$. The connected first-order scattering contribution isHere the connected S-matrix uses a normalized vacuum and physical external one-particle states. At this order, normal ordering the vertex separates the four-external-leg contribution from vacuum and tadpole pieces; those disconnected or external-mass contributions are not the two-to-two scattering amplitude.

Two fields annihilate the incoming particles and two create the outgoing ones. There are $\left(\genfrac{}{}{0ex}{}{4}{2}\right)$ choices of the annihilating fields, two assignments of the incoming momenta and two assignments of the outgoing momenta. Hence the total factor is $\left(\genfrac{}{}{0ex}{}{4}{2}\right)2!2!=4!$, the external-leg factorial cancellation at a quartic scalar vertex. Each attachment contributes its plane-wave factor, soThe spacetime integral is the four-momentum conservation delta function, givingIn particular, the tree scattering amplitude is independent of angle.

For completeness, derive the relativistic two-body phase space in the centre-of-mass frame. Write $\sqrt{s}=2E_{\ast }$, $p_{\ast }^2=E_{\ast }^2-m^2$. The spatial delta function sets the two final momenta opposite, and the energy delta function is $\delta (\sqrt{s}-2\sqrt{p^2+m^2})$. Its radial Jacobian is $E_{\ast }/(2p_{\ast })$. ThusThe invariant flux factor is $\mathcal{F}=4p_{\ast }\sqrt{s}$ for equal initial masses. Using $d\sigma =|T{|}^{2}d{\Phi }_2/\mathcal{F}$, the labeled angular density is ${\lambda }^2/(64{\pi }^{2}s)$. The outgoing quanta belong to one real scalar field, so they are identical. A full-sphere integration counts each event twice and requires the identical final-state symmetry factor $1/2!$. ConsequentlyEquivalently one may integrate the labeled density over a hemisphere representing each event once. The final-state factor is separate from the vertex factorial: applying it at the vertex instead would give the wrong elastic scattering from a quartic scalar contact interaction cross-section.

Vary the Maxwell Lagrangian with respect to $A_{\nu }$. Since $\delta F_{\mu \nu }={\partial }_{\mu }\delta A_{\nu }-{\partial }_{\nu }\delta A_{\mu }$ and $F$ is antisymmetric,After integration by parts, the Euler-Lagrange field equation isThe gauge transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$ leaves $F_{\mu \nu }$ unchanged because partial derivatives commute. This gauge invariance means that potentials related in this way represent the same electromagnetic field; all four potential components are not independent physical photon degrees of freedom. In particular, the ungauged kinetic operator is singular and its temporal canonical momentum vanishes.

Choose the Lorenz gauge ${\partial }_{\mu }{A}^{\mu }=0$. The field equation then becomes $\boxed{\square A_{\mu }=0}$. Residual gauge transformations with $\square \chi =0$ preserve this condition. The correctly named Lorenz gauge condition concerns the divergence of the potential; Lorentz covariance is the separate transformation property of the equations.

For the alternative quadratic Lagrangian density, direct differentiation givesso its Euler-Lagrange field equation is also $\square A^{\nu }=0$. This density is the Feynman-gauge Maxwell kinetic density after a boundary-term subtraction. Indeed, with $D={\partial }_{\mu }{A}^{\mu }$,The divergence identity follows by expanding ${\partial }_{\mu }{K}^{\mu }$ and commuting its second derivatives. The quadratic density alone describes four wave equations; the gauge constraint must still be incorporated in the physical states. It is not an unconstrained four-positive-polarization replacement for Maxwell equations.

Using this specified boundary-term convention, the canonical momentum conjugate to $A_{\nu }$ isThe canonical commutation relations are thereforewith field-field and momentum-momentum brackets zero. Equivalently $[A_{\mu },{\dot{A}}_{\nu }]=-i{g}_{\mu \nu }{\delta }^3$. The temporal component has the opposite sign to the spatial components; replacing the metric by a positive Euclidean one would destroy these brackets.

The wave equation gives massless frequencies ${\omega }_{\mathbf{k}}=|\mathbf{k}|$. Hermiticity pairs its positive- and negative-frequency solutions, so the Heisenberg picture field has the expansionThis is a real field expansion for each component, but its oscillator metric is indefinite. The assumed brackets, with the dagger's vector index restored, areThey verify the photon oscillator completeness and canonical brackets. Inserting ${\Pi }^{\nu }=-{\dot{A}}^{\nu }$ gives at equal timesThe other brackets cancel between the two frequency contributions. Thus both the $2\omega$ normalization and the sign $-g_{\mu \nu }$ are needed.

The Gupta-Bleuler formalism imposes the Lorenz gauge condition weakly on states:Here $(+)$ is the annihilation, positive-frequency part. Setting the full divergence to zero as an operator would conflict with the four-component canonical commutation relations. The subsidiary condition instead selects a physical pre-space inside the covariant photon Fock space, followed by a quotient of its null states.

Apply it to $|k,ϵ⟩={ϵ}^{\nu }{a}_{\nu }^{†}(k)|0⟩$. Commuting $k^{\mu }{a}_{\mu }$ through the creator gives a multiple of $-k_{\nu }{ϵ}^{\nu }|0⟩$. Hence the allowed photon polarization vectors obeyTake $k=(\omega ,0,0,\omega )$. The complete solution iswith complex coefficients. The last two vectors are transverse linear photon polarizations, and $(0,1,\pm i,0)/\sqrt{2}$ gives the two circular photon polarizations. The first vector is $k/\omega$, the allowed temporal-longitudinal combination. A purely spatial longitudinal vector $(0,0,0,1)$ by itself does not satisfy the subsidiary condition.

The oscillator brackets give, apart from the positive continuum normalization factor,Momentum eigenstates are distributionally normalized; a box or a wave packet makes the norm statement literal. The allowed longitudinal combination has zero norm because $k^2=0$, and it is orthogonal to every constrained state since $k\cdot ϵ=0$. It also gives a pure-gauge field wave: the field strength of $A_{\mu }\propto k_{\mu }{e}^{-ik\cdot x}$ vanishes. Thus $ϵ$ and $ϵ+ck$ represent the same physical photon polarization. The Gupta-Bleuler null-state quotient removes this null direction and leaves two positive-norm transverse photon photon polarizations. The negative-norm temporal oscillator of the unrestricted space is not an extra physical state. This is the transverse one-photon physical quotient.

Finally verify the two-photon fermion Ward identity directly for electron-positron annihilation into two photons. Define $D(r)=/r-m$ and the reduced Dirac propagatorThe equality follows from the Clifford algebra, since $(/r-m)(/r+m)=(r^2-m^2)I$. The incoming Dirac spinors obey $D(p)u(p)=0$ and $\overline{v}(q)(/q+m)=0$. On replacing one inserted photon polarization vector by $k$, the spinor factor in the two diagrams isAt the electron end, $/k=D(p)-D(p-k)$, soFor the other diagram, four-momentum conservation gives $p-k^{\prime }=k-q$. HenceThe two contributions therefore cancel exactly:Individual diagrams need not vanish; their sum implements the Ward identity. Linearity then gives invariance under $ϵ\mapsto ϵ+ck$, as required by gauge invariance. In particular, the null longitudinal photon polarization proportional to $k$ has zero physical production amplitude. Physical scattering produces the transverse photon classes, not an independent longitudinal massless photon.