Keep the electromagnetic units of the supplied Lagrangian, including its factor , and regard as the signed coupling used there. Set . The canonical momentum is , so the Legendre transform gives
Single-valued periodic wavefunctions have normalized eigenstates with integer . Defining dimensionless flux gives , and the trace is therefore
The flux-threaded quantum rotor spectrum is periodic under after relabelling , corresponding to flux period in these units. A local gauge change can remove the magnetic vector potential from the differential operator but then imposes a twisted boundary condition with phase ; it cannot remove the flux dependence from both the Hamiltonian and boundary condition simultaneously. In SI conventions the flux coupling has no , so one must not mix the two unit systems.
Use International System of Units, with . The Maxwell equations with charge density and current density are
Locally, or in a suitable contractible region, the zero divergence of allows a magnetic vector potential . Faraday's law then makes curl-free, so a electric potential can be chosen with
These formulas automatically satisfy the two homogeneous Maxwell equations. The local topology assumption rules out obstructions to expressing a closed field as a gradient or curl.
For any sufficiently smooth scalar , the gauge transformation
leaves both physical fields unchanged, because curl of a gradient is zero and spatial and time derivatives commute. In such a region this accounts for the freedom between potentials for the same fields.
The Lorenz gauge is . Substitution into the sourced Maxwell equations, using , gives the decoupled wave equations
For example, Gauss's law gives ; the gauge condition turns this into the scalar equation. The remaining gauge freedom preserving the condition has .
Put for the given wave. Direct differentiation gives and . Integrating Faraday's law in time yields the wave's magnetic field
One could superpose a time-independent divergence-free and curl-free magnetic field; the expression displayed chooses no such extra background. It has zero divergence and , so the magnetic Gauss and Faraday equations hold. Moreover
Since the time derivative is nonzero, the vacuum Ampere-Maxwell law holds precisely when
This verifies all four source-free equations, including both divergence constraints. The sign of selects the direction of propagation.
A wave has circular polarization when, at a fixed spatial point, its transverse electric vector has constant nonzero magnitude and rotates uniformly through a circle. Here and the angle changes at rate , so the wave is circularly polarized. Its magnetic vector is perpendicular to the electric vector, has magnitude under the dispersion relation, and rotates with it. A handedness label additionally requires a convention for the observer's viewing direction.
The Lorenz-gauge potentials for a circularly polarized plane wave give a convenient choice. Take and . Because ,
Also . Together with , this proves these potentials satisfy the Lorenz gauge. They satisfy the source-free potential wave equations because every component has the same dispersion relation just obtained.
For causal reachability on a spatial circle, put and use a representative of the spatial circle. The lower-left panel of part c is a fundamental strip with its vertical edges identified. On the covering space the charged world line is still the solution of part b; on the quotient it is
A jump between opposite strip edges is a coordinate seam, not a discontinuity of the physical world line. At its th complete lap, , so
For , the speed increases on each return while remaining below . Its kinetic energy increases by
There is no single-valued electrostatic potential energy on a circle: the nonzero electromotive force is . A globally defined magnetic vector potential one-form instead makes the driving explicit. In an embedded circuit, Faraday's law realizes this electromotive force through changing magnetic flux. More generally an external apparatus maintaining the field supplies the increasing particle energy. In an isolated dynamical field-plus-particle system, backreaction would change the field. Thus this is not a cyclic machine extracting work from a conservative potential, and it does not violate conservation of energy.
The Lorenz gauge condition is . Substitute the electric potential and magnetic vector potential into Gauss's law:
Next the Ampère-Maxwell equation, the curl of the curl identity, and the Lorenz gauge condition give
The gradient terms cancel. Since , the time component obeys , so together
The four-potential can be chosen to transform as a four-vector. To make the argument rigorous, choose the retarded potential with no freely added homogeneous solution. If , this choice is
The retarded Green function is a Lorentz scalar under proper orthochronous Lorentz transformations, and is invariant. The four-vector rule for therefore proves . More generally, transform any homogeneous initial data by this same rule. Both the wave equation and the Lorenz gauge condition are then preserved.
Qualification. The wave equation by itself cannot prove the transformation rule for every independently chosen gauge potential: the d'Alembert operator has a nontrivial kernel of a linear map. For a concrete counterexample, zero sources and zero fields admit in one inertial frame and in another. Both satisfy the wave equation and the Lorenz gauge condition, but the latter is not the Lorentz transformation of zero. It is a residual Lorenz gauge symmetry, generated by . Thus the usual assertion is a covariant choice of four-potential, with a consistent gauge transformation and homogeneous data, rather than a uniqueness result from the displayed equation.
Write for cylindrical radius in this question, not the rod's mass density. A charged relativistic particle in a time-independent magnetic field has the charged-particle electromagnetic Lagrangian
with zero electrostatic potential. The cylindrical speed is . Inside a uniform axial field, choose the symmetric magnetic vector potential , . Its cylindrical curl gives . Hence
In a field-free region far from either end one can use , recovering the requested outside expression. The question's is a velocity-dependent generalized potential, not electrostatic potential energy.
There is an important end-field qualification. A finite axial field that jumps to zero with no radial component would violate Gauss's law for magnetism. The consistent near-axis idealisation is the solenoid fringe field from an axisymmetric vector potential, , giving and . The piecewise Lagrangian is its hard-edge limit and retains fringe impulses through the jump in . Those impulses are essential to the focusing calculation.
Radial-gauge potential for a divergence-free magnetic field Created 2026-10-06 Updated 2026-10-14
For a smooth divergence-free field on , the differential form is closed. The radial homotopy formula gives a global magnetic vector potential with curl . For constant , this reduces to .
For a magnetic vector potential , a solenoidal magnetic field and constant magnetic diffusivity , write . In a fixed closed volume with zero helicity surface flux, integration by parts makes the two differentiated factors in equal; the scalar-potential boundary term vanishes when . One sufficient boundary gauge is ; another standard setting is integration over all space with sufficient decay. Orthogonality of to gives the displayed identity. Unlike the resistive magnetic energy loss, is not sign definite. The zero normal magnetic field also makes gauge invariance under single-valued smooth gauge transformations.
An ideal electric dipole at the origin with smooth electric dipole moment has Lorenz gauge electric potential and magnetic vector potential, for ,
For a short proof, place electric charges at , , and let with fixed. The corresponding retarded times are . Each Liénard–Wiechert potential has denominator . The opposite terms cancel, leaving the displayed electric potential. The products of signed electric charge and velocity add, giving the displayed magnetic vector potential. Bounded time derivatives on the relevant interval justify the Taylor expansions.
Retarded vector potential Created 2026-10-20 Updated 2026-10-25
The causal magnetic vector potential generated by a current density in the Lorenz gauge, with no additional incoming homogeneous field. Each source contribution is evaluated at its retarded time. The integral is a convolution with the retarded wave-equation Green function; its validity includes the stated boundary and source conditions.
Schrödinger equation Created 2026-09-24 Updated 2026-10-20
The Schrödinger equation governs the evolution of a quantum state between instances of measurement in quantum mechanics. For a particle of mass moving in a prescribed real potential energy , its position wavefunction satisfies
Here is the Planck constant, is the Laplace operator, and the Hamiltonian operator combines kinetic energy with potential energy. Specify an initial wavefunction, an operator domain and any boundary conditions: the differential expression alone does not completely specify a physical model. The Born rule then turns the evolving probability amplitude into position probabilities through and integration over a region.
This scalar Schrödinger operator describes nonrelativistic quantum mechanics, with relevant momenta much smaller than , where is the speed of light. It omits the constant rest energy , assumes fixed particle number, and suppresses active spin dynamics and coupling to a magnetic vector potential. A free electron with a fixed, uncoupled spin state can still use this scalar model; the Pauli equation supplies the additional spin components and magnetic coupling when needed. A prescribed real describes a closed evolution model or an approximation in which the source of that potential energy is treated as external. Dissipation, particle creation and a general measurement in quantum mechanics need further modelling.
For a time-independent self-adjoint Hamiltonian operator, the spectral theorem defines unitary time evolution by
Initial states in the operator domain satisfy the differential equation in the Hilbert space sense; the unitary operator also evolves all other states in that Hilbert space. Time-dependent Hamiltonian operators need suitable regularity and domain hypotheses; their evolution is not generally the exponential of .
The local reason for conservation is especially tangible. Multiply the Schrödinger equation by the complex conjugate , subtract its conjugate multiplied by , and use the fact that the real potential energy terms cancel. For smooth wavefunctions this gives the probability continuity equation
The divergence theorem identifies the change in probability inside a region with minus the outward probability current. Decay at infinity, or appropriate probability-conserving boundary conditions, preserves wavefunction normalization. Conservation of total probability does not require a stationary probability density.
Its usefulness comes from being a linear partial differential equation: quantum superpositions of solutions are solutions, while different quantum phases can produce interference. For a fixed Hamiltonian operator, the time-independent Schrödinger equation finds the energy eigenstates; each then acquires just its own time-dependent quantum phase. One eigenvalue problem therefore organizes both allowed energies and the evolution of arbitrary quantum superpositions, with a continuous spectrum included when required. This is the attractive bridge between a spatial wave problem and a clock: energy differences determine the rate at which relative quantum phases change. It makes atomic spectral lines, quantum tunnelling and quantum scattering calculable from a specified model.
For an explicit example without confinement, take a free particle on the whole line, , initially in a Gaussian wave packet with position standard deviation and mean momentum :
Unlike a single plane wave, this wavefunction satisfies wavefunction normalization. A Fourier transform writes it as a quantum superposition of plane waves. Their dispersion relation is , so each Fourier component gains the factor . Completing the square in the resulting Gaussian integral gives
with the square root chosen continuously from . Its position probability density and standard deviation are
The centre moves with the group velocity and the wave packet spreads because different wavenumbers have different group velocities. This is unitary wave dispersion, without a random force or loss of probability. Independently, the initial momentum standard deviation is and the initial position-momentum covariance vanishes. Free evolution gives in the Heisenberg picture, hence
This independently checks the spreading law. The Gaussian integral of is one at every time; the decreasing peak is exactly offset by increasing width.
As hypothetical preparation parameters, choose a free electron with and . Using and gives
The rounded electron mass uses the 2022 adjustment.[ref] At , the centre is and ; at , they are and . The mean kinetic energy stays
It includes both mean motion and the momentum spread. The mean speed is about and the momentum spread corresponds to , making the nonrelativistic model accurate for the appreciably occupied part of this ideal Gaussian distribution. Its mathematically unbounded tails are an idealization.
Figure 1. . Calculated electron position probability densities for the hypothetical preparation above, together with the position standard deviation. The area under every curve is one. The dashed width curve illustrates pure translation without spreading for comparison; it is not the free solution. No curve represents measured data. Source. Details.
The complex width also explains where the probability goes. Write , where is the dimensionless quantum phase. Differentiating the exact solution gives
Relative to the moving centre, the probability current points outward on both sides for . This is a flux statement, not an additional assumption about individual particle trajectories. At and , the relative flow speeds are , about . The probability within a moving interval of half-width falls from about initially to at , exactly because of this outward probability current.
Figure 2.
Curved quantum phase drives spreading probability current
. The same free Gaussian wave packet at . With , removing the carrier and a spatially constant quantum phase leaves . The right panel plots : negative to the left, positive to the right. Flux through the marked moving interval endpoints explains its decreasing probability. Source. Details.
Historically, the 1926 Quantisierung als Eigenwertproblem (Erste Mitteilung) by Erwin Schrödinger began with the stationary hydrogen atom problem. It distinguishes discrete negative energies from a positive continuous spectrum; it is not yet the general evolution equation displayed above.[ref] The opening of quantum mechanics discusses its original vibrating-string analogy.
In the 12 December 1933 lecture The fundamental idea of wave mechanics by Erwin Schrödinger, Erwin Schrödinger explains the move from independent rays to waves through diffraction, then applies that analogy to atomic physics. His closing pages explicitly acknowledge the difficulty of reconciling wave language with observed particle tracks. This retrospective physical argument motivates the model; it does not derive the modern Born rule from classical mechanics.[ref]
The dates separate proposal from measurement: the de Broglie wavelength belongs to the 1924 thesis, the Schrödinger equation to 1926, and the Davisson–Germer experiment's electron diffraction beams to 1927.[ref] That linked experiment describes the prepared nickel crystal, evacuated electron gun, angular collector scans, retarding-potential selection and heating controls. Its measured collector electric current tests wave-dependent scattering probabilities; it neither measures a wavefunction directly nor establishes this equation uniquely.
Near the axis of a solenoid, the magnetic vector potential gives
The radial fringe component enforces the solenoidal magnetic-field constraint. A sharp axial step in must retain this fringe as a distributional field; a purely axial field that jumps to zero violates Gauss's law for magnetism. The hard-edge model is a convenient limit for near-axis trajectories, not a literal monopole sheet.
A twisted boundary condition identifies the ends of an interval up to a fixed unit-modulus complex number. For the kinetic Hamiltonian operator , one also imposes . In integration by parts, the endpoint terms then cancel, giving the usual self-adjoint ring realization. The allowed plane waves have momenta .
A constant magnetic vector potential can be removed from locally by . If is periodic, has twist . Thus the Aharonov-Bohm effect survives a locally vanishing vector potential as a global condition on the wavefunction.