Use the angular coordinate for the position on the ring. The kinetic energy is . The gravitational potential energy is constant because the ring is horizontal, and the ideal constraint force has no tangential component. Thus the Lagrangian has no dependence on itself: it is a cyclic coordinate.
The Euler-Lagrange equation gives
Equivalently, the conserved conjugate momentum is the vertical angular momentum, as required by rotational symmetry.
Let , with fixed. The equilibrium phase diagram has boundaries
For either branch, larger is disordered and smaller is ordered. Both signs of the ordered magnetization are symmetry-related global minima throughout the ordered region, rather than separate regions selected by temperature and .
The branches meet at the tricritical point . Directly on , minimizing gives
The transition there remains continuous, with a different mean-field critical exponent. For , the metastability boundaries are for the disordered state and for the ordered state. The first-order phase transition curve lies strictly between them, as shown in the figure. These spinodal curves describe possible hysteretic continuation of local minima, not equilibrium phase boundaries.
At phase coexistence, the finite ordered global minimum has the same free energy as . With and , stationarity and equal values give
Subtracting eliminates :
Substitute back to get , so
The three degenerate equilibrium values at this temperature are and . A useful global check, avoiding confusion with a spinodal point, is the exact factorization
All three zeros are therefore global minima. Their curvatures are positive: and .
The ordered local minimum first appears on cooling at , where the nonzero stationary roots merge. It becomes globally stable only at ; the disordered minimum remains metastable down to . These different temperatures distinguish phase coexistence from loss of local stability.
For at , the quartic term lowers the free energy near , while the positive sextic term stabilizes it at larger . The nonzero stationary points have
They are global minima. The stationary point has zero quadratic curvature but is a flat local maximum because its leading nonzero term is negative. Thus the system is already ordered at , with a finite magnetization.
More explicitly, a continuous onset from could occur only where vanishes, namely at . But the global minima there are the finite values above. For sufficiently large positive , only is stable. Therefore the equilibrium minimum must change at some positive by crossing between a zero and a finite nonzero order parameter. This is a first-order phase transition. Its actual temperature lies above and is calculated next; itself is the disordered spinodal point, not the coexistence temperature.
Figure 1.
Free-energy coexistence and the continuous and first-order Landau transition lines
. Original plots. The left panel uses at , at coexistence , and above coexistence . The right panel uses and shows the equilibrium phase boundaries in the plane. Dashed gray curves are spinodal limits, not additional equilibrium transitions. Details.
The stationary points of the Landau free energy obey
For , makes every term of nonnegative, so is the unique global minimum. For , its curvature is negative. Setting gives , whose unique positive root is
At a nonzero stationary point,
Thus both are stable and have lower free energy than . The equilibrium magnetization is
For fixed and , expand the square root:
It tends continuously to zero. Hence the continuous phase transition has the order-parameter critical exponent
This is the mean-field critical exponent; fluctuation corrections beyond Landau theory are not included.
A Landau free energy is a coarse-grained thermodynamic potential expressed as a function of a proposed macroscopic order parameter. Its coefficients include microscopic and thermal effects already averaged over. At fixed external thermodynamic conditions, equilibrium selects its global minimum; other local minima can represent metastable states. It is not the internal energy of a single microscopic magnetic configuration. Here the real scalar represents a selected component of magnetization: zero describes the disordered state, while nonzero values distinguish two oppositely ordered states.
Every power is even, so the internal discrete symmetry is
For a magnetic order parameter, this represents reversal of the magnetization, as under time reversal in zero applied magnetic field. A nonzero field would generally add an odd term and break this symmetry explicitly. This scalar model has no continuous internal rotation symmetry; physical rotational symmetry of a vector magnet is not implied by treating one real component. The condition makes the polynomial bounded below at large .
For the requested ordered phase on cooling, take the usual implicit assumption , and write . If the temperature directions reverse; if this expansion has no temperature-driven transition. The source explicitly states only .
At long wavelength,
This is the sound-like Goldstone mode of the broken global continuous symmetry. A spatially uniform infinitesimal phase change is , entirely in the direction, and costs no potential energy. Slow spatial variations acquire gradient energy and propagate as sound. Thus the dispersion relation realizes Goldstone's theorem through a gapless excitation; it is not a massive phase oscillation.
The amplitude and phase are canonically paired by the first-order time derivative in the quadratic condensate fluctuation Lagrangian. There is one positive-frequency branch, rather than an additional independent amplitude branch of a relativistic second-order-time theory. At high momentum,
so the same branch becomes particle-like. The healing length sets the crossover scale.
Figure 1.
Gapless Bogoliubov dispersion and its sound and particle limits
. Original dimensionless curves with and . The exact curve is , the sound asymptote is , and the large-momentum asymptote is . Details.
For independent , the derivatives needed in the Euler-Lagrange field equation are
Consequently the two conjugate field equations are
Write with real components, and put . Separating real and imaginary parts gives
For each real field take the real part of a complex plane wave amplitude, . With the two equations become
A nonzero normal mode requires their determinant to vanish, so
The positive-frequency Bogoliubov quasiparticle dispersion is therefore
There is also the negative-frequency conjugate solution, as required for real component fields. Since , , consistent with the stability of the chosen uniform ground state.
Choose the real representative . For ,
and the fourth power through quadratic order is
In , the linear terms and the terms cancel because . The remaining potential contribution is .
The time-derivative contribution is
Its first term is a total derivative and contributes only a temporal boundary term for fixed endpoint fields. Since is uniform, the gradient contribution is simply . Dropping that boundary term and the constant, the quadratic condensate fluctuation Lagrangian is
The omitted cubic and quartic interactions describe scattering between these small fluctuations; they do not enter the linear normal mode calculation.
Treat independently in the Legendre transform in mechanics. Their canonical momenta are
The time-derivative terms cancel in , giving the Hamiltonian density
The first-order time dependence makes the momenta constrained; this direct calculation still gives the canonical density. In physical terms this is the grand-canonical Hamiltonian of a Bose field, . The physical energy density is obtained by adding back. A stationary field in this chemical-potential frame has the usual factor in the physical frame.
Complete the square:
For uniform or periodic boundary conditions, or in the homogeneous bulk, both nonconstant terms are nonnegative and vanish simultaneously at
The ground states form a circle. A particular nonzero is changed by every nontrivial phase rotation, although the full family is invariant. Selecting one such mean-field theory state therefore exhibits spontaneous symmetry breaking of . This describes phase selection in the thermodynamic limit; an exact finite-system particle-number eigenstate need not itself have a nonzero field expectation.
Under with constant real , the field and its complex conjugate acquire opposite phases. These cancel in , , , and . The Lagrangian density therefore has the particle-number phase symmetry, a global circle group .
For a spacetime-dependent real ,
Writing , the change in the Lagrangian density is
This is not generally zero or a boundary term. Thus the symmetry is global, with no arbitrary local phase symmetry. A compensating gauge field and gauge-covariant derivative of a charged scalar field would be required to promote it to a local redundancy.
The constants specify isotropic, nondispersive linear response: controls electric polarization, and controls magnetization. Their numerical relation to conventional electric susceptibility and magnetic susceptibility depends on the signs and field normalization in the action. In the rationalized units used here, the printed action gives the constitutive relations
Thus its relative permittivity and magnetic permeability are
Here conventional is defined by , not by . With the alternative repaired action that yields the PDF's target equation, is unchanged but and . In particular, a positive conventional electric susceptibility corresponds to negative in the printed conventions; the problem does not specify signs for these constants.
In the rest frame and . The two material contractions in the printed action become and . Consequently its material Lagrangian density is
The Euler-Lagrange field equations are algebraic, since no derivatives of the material variables occur. They give
These also follow from the and components of the corrected equation in part (b). If instead the intended starting point was the PDF's displayed equation in part (b), its predictions would be
The two magnetic answers express the documented sign error, rather than different choices of frame. Here the inverse coefficients in the action require nonzero ; zero response is obtained as a limiting constitutive law.
Choose , so that and , with . The definitions of the polarization-magnetization tensor imply and . Separating temporal and spatial indices,
The Levi-Civita symbol contraction equals , giving
Thus is the electric dipole moment per volume, or electric polarization, and is the magnetic dipole moment per volume, or magnetization. The signs are those of dipole interactions in a Lagrangian; the associated fixed-dipole potential energies have the opposite signs. Consistently, the equation in part (a) has components
so and are the bound charge and bound current.
There is a sign inconsistency in the original PDF: varying its action gives a plus sign for the spatially projected magnetic term, whereas its displayed target equation has a minus sign. The following Lagrange multiplier for antisymmetry calculation derives the result of the action as printed.
Temporarily vary all sixteen entries independently and add
Variation of the symmetric Lagrange multiplier imposes . Define
On this constraint surface, . Differentiating the original contractions before imposing the constraint gives
and
In particular, the reversed order in the last factor of the action matters. The unrestricted Euler-Lagrange field equation, evaluated on the antisymmetry constraint, is
Subtract its index-transposed equation to eliminate the symmetric multiplier:
A direct check is to restrict the action to a rest-frame magnetic component , : its quadratic contribution is , whose derivative has a positive sign. To obtain the PDF's target equation instead, one must reverse the sign of that quadratic term in the action, or replace its last by . These are alternative repairs; changing conventions cannot make the printed action and printed equation agree.
Use Minkowski metric and units with the speed of light equal to one. Thus , and is the spatial projector of a timelike congruence. Keep the medium velocity fixed when varying the electromagnetic four-potential. Since the electromagnetic field tensor is , its variation gives
Both tensors are antisymmetric. Integration by parts, with variations vanishing at the boundary, therefore gives
The Euler-Lagrange field equation is . Renaming the free index and using antisymmetry gives
These are the inhomogeneous Maxwell equations with the bound charge and bound current encoded by the polarization-magnetization tensor.
For , define
The simple poles are . In the inverse transform , close the contour below for . Its clockwise orientation gives times the sum of residues. That sum is
For , close above; there are no poles. The residue theorem therefore gives
Here is the Heaviside step function. At the continuous retarded limit is . At critical damping, likewise replaces by ; beyond the stated oscillatory range an imaginary converts it to a hyperbolic sine. These continuations retain decaying temporal exponents.
For each fixed , taking gives
For , invert in space and set :
The correctly normalized sinc function transform is
For instance, , and Fourier inversion immediately gives the factor . The PDF's prefactor is inconsistent with its top hat of unit height; it would give height . Using the normalized identity yields
as a distribution. The values assigned precisely at a wave front do not change that distribution. This is the negative of the standard one-dimensional retarded wave Green function, because the PDF's differential operator is .
The sign and initial data can be checked without any contour calculation. Integrating the spatial-Fourier equation through the impulse gives
In real space these are and . In particular,
for a smooth test function , confirming the negative delta-function initial velocity. Before the impulse the displacement and velocity are zero. The disturbance fills the forward causal cone for the constant-speed wave equation, whose fronts move at unit speed, consistent with . The final question's printed is interpreted as , referring to the elastic constant, not to the Fourier wavevector. No initial conditions were otherwise specified, so the causal choice has been made explicitly.
Figure 1.
Retarded rod response: damping of a Fourier mode and the undamped causal cone
. Original calculated Fourier-mode responses for , and the zero-damping spacetime Green function for the operator . Its value is inside the forward cone and zero outside; the negative sign enforces the stated positive delta-function source. Details.
With the PDF's inverse Fourier transform convention, the derivatives act as
so its forced differential operator becomes . Thus
For the physical impulse response choose the retarded fundamental solution, vanishing before . For and , its poles lie in the lower half-plane. The retarded Fourier pole prescription specifies the zero mode and the zero-damping limit as well; a Green function without a temporal or boundary prescription would otherwise permit homogeneous additions.
This is the Kelvin-Voigt rod Green function. Multiplying the homogeneous real-space equation by gives
A spatial Fourier mode therefore satisfies : positive really damps the motion. For sufficiently decaying fields its energy satisfies
This checks the sign of the imaginary term in independently of the transform calculation.
Use and Minkowski metric , with the wave speed equal to one. Regarding as a scalar field, the symmetric canonical stress-energy tensor is
It obeys on the wave equation. For a scalar field the intrinsic spin current vanishes. The total orbital Lorentz current and its integrated angular-momentum tensor are
Because there is only one spatial dimension, its only independent possibly nonzero component is
where . The corresponding flux is . Symmetry and conservation of give
Thus is conserved provided the boundary flux vanishes and the integrals exist. For example, localized wave packets on an infinite line have this property. One can also check directly that , so the two terms in have cancelling derivatives.
The significance is the boost charge of a one-dimensional scalar field. There is no independent spatial rotation or ordinary spatial angular-momentum component in one dimension. Instead, the action has the mathematical Lorentz invariance of a massless wave field with invariant speed , and generates its boost. Its conservation says that the center of energy moves uniformly. This is a symmetry of the ideal wave-field model, rather than an assertion of fundamental vacuum Lorentz symmetry for a material rod. Fixed boundaries can break it, and a general solution with nonvanishing boundary flux need not conserve the integrated charge.
The derivatives of the Lagrangian density are , , and . The Euler-Lagrange field equation is therefore
This is the one-dimensional wave equation with wave speed . Both signs of propagation are allowed: for sufficiently regular profiles.

Pinned article: Introduction to the OurBigBook Project

Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
We have two killer features:
  1. topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculus
    Articles of different users are sorted by upvote within each article page. This feature is a bit like:
    • a Wikipedia where each user can have their own version of each article
    • a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
    This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.
    Figure 1.
    Screenshot of the "Derivative" topic page
    . View it live at: ourbigbook.com/go/topic/derivative
  2. local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:
    This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
    Figure 5. . You can also edit articles on the Web editor without installing anything locally.
    Video 3.
    Edit locally and publish demo
    . Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension.
  3. https://raw.githubusercontent.com/ourbigbook/ourbigbook-media/master/feature/x/hilbert-space-arrow.png
  4. Infinitely deep tables of contents:
    Figure 6.
    Dynamic article tree with infinitely deep table of contents
    .
    Descendant pages can also show up as toplevel e.g.: ourbigbook.com/cirosantilli/chordate-subclade
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact