Suppose the mixed boundary value problem , with zero Dirichlet boundary condition on a nonempty boundary portion and zero Neumann boundary condition on the remainder, has an solution with . Assume the domain is connected and that zero Sobolev trace on the specified portion excludes nonzero constants. Then the same boundary conditions for give .
Indeed, the Lax-Milgram theorem first constructs in the Sobolev space with a partial Dirichlet condition; testing with shows . Apply the assumed elliptic regularity result to . Its solution and satisfy the same weak Laplace equation, so testing their difference shows . The Sobolev function with zero weak gradient property and zero Sobolev trace give . Finally . This argument supplies the dual regularity needed by the Aubin–Nitsche duality argument for the equation with a positive reaction term.
For a semi-infinite ideal string on with tension and linear mass density , let a free transverse endpoint mass be . Use a time-harmonic wave , where . The endpoint boundary condition from Newton's second law is . It gives the title displacement reflection coefficient, with characteristic impedance of a stretched string . Since numerator and denominator have equal moduli, all mean incident power is reflected. The endpoint kinetic energy varies within a cycle, but its mean rate of change is zero. A free mass changes the reflected phase, and does not by itself provide dissipation. The limits and give and respectively at fixed positive angular frequency.
Residual Lorenz gauge symmetry Created 2026-10-06 Updated 2026-10-25
An Abelian gauge transformation changes by . Consequently gauge fixing by a quadratic function of retains transformations satisfying , subject to the same boundary conditions. Eliminating those residual transformations is part of specifying an inverse with a particular Green function prescription.
A thermally driven fluid layer rotating about the vertical axis experiences a Coriolis force that couples vertical velocity to vertical vorticity. Its onset depends on the Rayleigh number, Prandtl number and Taylor number, as well as thermal and mechanical boundary conditions. The force does no mechanical work, but changes the linear mode balance and nonlinear convection roll competition.
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.
For with , integrating the age-structured population equation replaces its exit integral by . For one-to-one transition from stage one to stage two and two-to-one reproduction from stage two to stage one, the population matrix is . This follows by integrating the age derivative and substituting the incoming boundary conditions. Exact time-independent positive profiles also force a constant stage ratio and common exponential growth through those boundary conditions. Thus the constant-coefficient closure is not an exact transient description for arbitrary age-dependent hazard functions and arbitrary initial conditions; constant hazard functions are an important exception for the integrated populations.
Separable solution 2026-10-31
A solution to a partial differential equation that factors into functions of separate variables, for example . For the heat equation , substitution yields , so both sides are a common constant wherever division is valid. The resulting ordinary differential equations must be solved together with the original boundary conditions. Individual separated solutions generate more general solutions by superposition when the equation and boundary data are linear.
For angular Fourier modes of integer order , the biharmonic equation in polar coordinates has radial basis . Apply the Laplacian twice to obtain the displayed indicial equation. For , repeated roots give the radial basis ; for , the basis is . These are Cauchy-Euler equations. Regularity at the origin and boundary conditions select the admissible powers. For , a constant radial factor still multiplies or , so it is bounded but fails continuity at the origin.
The shallow-water quasi-geostrophic potential vorticity relation is a modified Helmholtz equation for the quasi-geostrophic streamfunction. Its inverse with specified boundary conditions recovers horizontal geostrophic flow and surface elevation . The Rossby deformation radius is the range of the balanced response: for a horizontal Fourier component, , after subtracting background potential vorticity.
For an area with periodic in-plane boundary conditions, one polarization contributes normal modes of the electromagnetic field. For linear dispersion relation and effective physical volume , this gives the density of states in the title. No extra factor two for polarization is allowed. Opposite in-plane directions are already counted in the full circle of wavevectors.
Singular perturbation Created 2026-09-24 Updated 2026-10-14
A singular perturbation is a parameter-dependent problem whose limiting problem changes qualitatively as the parameter tends to zero. In an ordinary differential equation, a small coefficient of the highest derivative can reduce the order of the limiting differential equation, preventing it from satisfying all the original boundary conditions. Different length or time scales often require different asymptotic expansions.[ref]
Consider the boundary value problem
This second-order differential equation is exactly solvable. Setting gives the first-order linear differential equation , so . One integration and the two boundary conditions give
Both boundary conditions hold for every positive . For numerical evaluation, write the same ratio as , where evaluates the exponential function minus one without catastrophic cancellation near . Keep the denominator for finite : at it is approximately , rather than exactly one.
Setting gives . The outer solution selected by the right boundary condition is therefore , which fails the left boundary condition. The exact exponential function shows how that mismatch is repaired: the solution rises from zero to almost one within a boundary layer of width , using Big O notation. For each fixed , , while always. This pointwise convergence fails to be uniform convergence to the outer solution on , since for every .
Figure 1.
Exact solutions with a shrinking left boundary layer
. The exact normalized profiles at , , and satisfy both boundary conditions. The dashed outer solution misses the left boundary condition. Colored dots mark , where most of the initial rise has already occurred. Details.
The coefficient is small, but its product with the second derivative need not be small. Direct differentiation gives
At with fixed , these derivatives grow as and respectively as . Consequently and have exactly equal magnitudes and opposite signs. Even away from the boundary layer, their magnitudes remain equal in this example; both become exponentially small at each fixed positive . The outer expansion neglects an exponentially small transient there, rather than establishing that one derivative term is smaller than the other everywhere.
To predict the width without knowing the exact solution, suppose an order-one change occurs over distance . The derivative scales are and . The dominant balance gives . The resulting inner variable makes the boundary layer visible at a fixed scale. This is the useful feature of singular perturbation: an apparently disappearing term identifies the missing structure when one measures its derivatives on the appropriate scale.
For steady polytropic flow with , , , a sonic section has . Substitution in mass conservation gives the displayed density. These conditions fix the sonic state for a prescribed flux and throat area, subject to compatible reservoir and downstream boundary conditions.
Spatial infinity 2026-10-31
A boundary condition at spatial infinity specifies limiting behaviour as the spatial coordinate leaves every bounded set, such as on a half-line. A pointwise limit for each time is different from uniform control over a time interval. Maximum-principle and uniqueness proofs on unbounded domains must use a suitable uniform boundedness, growth restriction or barrier hypothesis to justify passage from finite domains to infinity.
Spontaneous symmetry breaking Created 2026-09-24 Updated 2026-10-18
Spontaneous symmetry breaking occurs when the action and equations have a symmetry but a chosen ground state is invariant only under a proper subgroup. Acting with the broken symmetry generates a degenerate vacuum manifold. An order parameter distinguishes the selected states: the equations do not prefer its direction, yet a particular state does. This lets one use the symmetry of the laws to predict excitations around a state that has less symmetry, notably the Goldstone bosons of a broken continuous symmetry.
A finite system with symmetry-preserving boundary conditions can have a symmetric ground state; a symmetric statistical mixture of broken states also has vanishing mean order parameter. A nonzero mean therefore requires a stated selection procedure. The symmetry-breaking order of limits takes the thermodynamic limit in a small applied source before removing that source. The finite-volume angular source selection example makes the distinction explicit for a continuous symmetry.
Standing wave Created 2026-09-24 Updated 2026-10-18
A standing wave results from the superposition principle applied to equal-frequency, equal-amplitude waves travelling in opposite directions. Its spatial nodes of a standing wave remain fixed while its displacement oscillates in time.
For a pure standing wave, the two travelling waves also have equal amplitudes: their interference leaves a fixed mode shape, rather than a profile moving along the string. Choose the position origin and time origin so that their transverse displacements are
Here is each constituent's amplitude, is the wavenumber, is the wavelength, and is the angular frequency corresponding to frequency . Their wave speed is . The superposition principle and the sine addition formula give
The spatial factor stays put; the temporal factor changes its size and sign. Other constant wave phases shift the position or time origin. Unequal constituent amplitudes generally leave moving displacement at the would-be nodes of a standing wave, rather than this exact factorization.[ref]
For an original ideal-string example, set , , and choose the third normal mode. Then , , and by fixed-end standing wave frequencies. With each constituent amplitude ,
Its nodes of a standing wave are at and its antinodes at . These are constructed model parameters, not experimental readings.
Figure 1.
Opposite travelling waves add to a standing third mode; permanent nodes survive every phase snapshot
. Details.
At , every point has zero displacement, but most have nonzero transverse velocity: the string is crossing its straight configuration. The black dots alone mark permanent nodes of a standing wave. At an antinode the greatest transverse speed is , much smaller than the chosen wave speed. One is motion of string material; the other is propagation of the constituent profiles.
The beauty of a standing wave is that motion reveals geometry: fixed nodes of a standing wave turn a moving disturbance into a spatial ruler. Their separation measures wavelength, and boundary conditions turn the continuous choice of wavenumber into a discrete set of normal modes. This is useful both for interpreting string vibrations and for understanding how a bounded wave equation selects its eigenfrequencies.
Stress-energy tensor improvement Created 2026-10-07 Updated 2026-10-14
Adding with to a stress-energy tensor preserves its divergence identically, since commuting partial derivatives annihilates the antisymmetric pair. The total four-momentum changes only by a spatial boundary term. Improvements can make local densities symmetric or gauge-invariant; equality of integrated charges requires the chosen boundary conditions. Equation-of-motion terms can also relate representatives on shell.
For an elastic filament with reference arclength , curvature , axial strain and excess twist rate , a harmonic energy density is . Bending and torsional rigidities have units of energy times length; the stretch modulus has units of force. Factoring out therefore makes lengths but an inverse length. Axial strain under tension is approximately . Twist is controlled by torque and rotational boundary conditions, not force alone. A three-dimensional thermally fluctuating worm-like chain has persistence length .
Sturm-Liouville eigenfunction Created 2026-10-25 Updated 2026-10-31
Sturm-Liouville formulation with Bessel order as eigenvalue Created 2026-10-18 Updated 2026-10-20
For fixed , move the order term of the Bessel equation to the right: . The integrating factor for its leading differential expression is , giving the displayed Sturm-Liouville theory form with coefficient , potential , weight and eigenvalue . The origin is a singular endpoint. The integrating factor must be normalized from a positive reference point; its defining logarithmic integral cannot literally start at zero. Boundary conditions are needed before this differential identity becomes a specified self-adjoint spectral problem.
At zero field and with spin inversion symmetry in its boundary conditions, a finite Ising model pairs every configuration with its spin-reversed configuration. Their equal Boltzmann weights force the expected value of its spin magnetization to vanish. Below a model's ordering critical temperature, an arbitrarily small positive field can instead select the positive spontaneous magnetization if size is taken to infinity first:
The distinction is the order of limits and the stated symmetric boundary conditions; plus boundary conditions already break spin inversion symmetry. A zero-field symmetric mixture of the two ordered states can retain zero mean spin magnetization even in the thermodynamic limit. Also, in a finite system is not by itself proof of spontaneous symmetry breaking.[ref]