Use Minkowski spacetime with and units . The transformation rotates the two components in their internal plane. In particular,
Thus both terms in the Lagrangian density are invariant: this is an internal rotation symmetry of two real scalar fields, rather than a transformation of spacetime. The equal masses are essential to this symmetry.
The Noether theorem gives the Noether current
Indeed, the cross terms in its divergence cancel, and the two Klein-Gordon equations imply
For fields decaying sufficiently at spatial infinity, there is no outward current flux. The conserved Noether charge is therefore
In canonical quantization, the canonical momenta are , with equal-time canonical commutation relations
Consequently . Operators of different components commute, so this expression is Hermitian without an ordering correction. Write , and . Substituting the oscillator expansions and using the Dirac delta function from the spatial integral gives
The terms with two annihilation operators cancel after ; the terms with two creation operators cancel in the same way. In the remaining terms use
There is no commutator constant between the distinct components. The result is already in normal ordering:
For the charged oscillator basis of a scalar doublet, compute
It follows that . The Fock vacuum satisfies , so has charge , and has charge . To obtain a normalized one-particle state, replace the sharp momentum by , where . The charge is unchanged. Equivalently,
The generator convention is , which reproduces the original rotation signs.
For stability of a two-scalar quartic potential, the relevant potential energy density is
Along either axis boundedness requires ; along it requires . Conversely the displayed sum is nonnegative whenever both conditions hold. With the origin is then the unique global minimum, including the equality cases. Hence the stable-vacuum conditions are
Strict positivity of the quartic term away from the origin would instead require and . That stronger condition is unnecessary for a positive mass term. If , the same non-strict conditions give boundedness, but the equality cases have flat directions and do not give an isolated classical vacuum.
Finally, the interaction changes the variation of the potential energy by
The interacting Euler-Lagrange equations consequently give
Thus the same Noether charge is conserved for all field configurations precisely when . Then preserves the internal rotation symmetry of two real scalar fields; imposing stability additionally requires .
Work in units and with the particle mass absorbed into the stated kinetic term. Divide the interval into pieces of length . For a suitable self-adjoint Hamiltonian operator, the Trotter product formula gives the regulated limit
Insert between neighboring factors. Because is diagonal in the position operator basis, the given free-particle propagator yields
The exponent is the time-sliced action. Its continuum notation is
The measure is defined by the displayed finite-dimensional limits and their normalization, not by a translation-invariant flat measure on an infinite-dimensional space. The oscillatory limit needs a damping/analytic-continuation prescription. This is the time-sliced configuration-space path integral derived from the operator kernel.
For a quadratic potential energy, write , where the classical path satisfies and the endpoint conditions, and . Expansion is exact:
Integration by parts makes the linear term equal to , since the endpoint term vanishes. It is zero by the Euler-Lagrange equation. Also is constant, independent of the endpoints. Thus classical-path factorization of a quadratic path integral is exact:
Only the classical action carries the endpoint dependence.
Let on homogeneous Dirichlet boundary conditions. Expand in its normalized eigenfunctions, with eigenvalues . The fluctuation integral becomes a product of regulated integrals . Each is proportional to , with a prescribed complex phase. Relative to , the normalization is therefore
The subscript denotes the Dirichlet operator domain, and the square-root branch is continued from the free kernel with its convergence prescription. Equivalently one can use determinants of and . For , the Dirichlet oscillator determinant ratio is
This also checks the free limit. At conjugate times, the fluctuation operator has a zero eigenvalue and the ordinary finite-prefactor expression fails; the kernel is obtained by distributional continuation. Away from these times the classical boundary problem is unique and the stated factorization applies directly.
For the infinite-time oscillator with an external source, use vacuum boundary conditions and the Feynman i-epsilon prescription. For a smooth source of compact support, define
The imaginary term damps the real-field integral. Integration by parts gives , with the pairings understood as time integrals. Completing the square gives
Translate the integration variable. The source-independent Gaussian functional integral is , so
On Fourier modes , has eigenvalue , hence
For , closing the contour above for and below for gives . The physical time-ordered oscillator quantum field theory propagator is , not itself. The shifted stationary path is and obeys with the same vacuum prescription. A retarded inverse would define a different boundary problem. Dividing by the zero-source integral removes and gives the vacuum source functional of a quantum oscillator. At zero mass an additional infrared prescription is needed for the inverse on constant modes.
For a variation of the covariant metric tensor, and . Writing , one obtains
The specified metric-variation convention therefore gives
For , its invariant gradient square is . Hence , while and . Lowering one index makes , with
Potential energy has negative pressure, whereas scalar kinetic energy contributes positive pressure. This sign distinction is what permits accelerated expansion.
Dot Newton's second law with . The magnetic cross-product term is perpendicular to this velocity, so
Thus
or
The two halves are the kinetic energy and the isotropic spring's potential energy. The expression in the question is twice their sum. The Lorentz force changes the direction of motion but supplies no power, because it is perpendicular to velocity; this explains why the magnetic field does not appear in the conserved mechanical energy. The sign corresponds to charge .
Let and . A differentiable central potential energy gives the internal forces
There are no external forces. Differentiating the total kinetic energy and using Newton's second law therefore gives
Since , the last expression is . Thus
This conserves total mechanical energy, including the kinetic energy of centre-of-mass motion, not merely the relative kinetic energy.
The relevant parameters are and the ring mass , with dimensions length, length, length/time and mass. The wire is fixed and smooth, so there is no additional friction parameter. Because is the only parameter carrying a mass dimension, it cannot enter a dimensionless group governing the period. Using and as the length and time scales, the independent dimensionless variables are and . Dimensional analysis therefore gives
The physical mass cancellation also follows from the energy equation in part (ii), since kinetic and gravitational potential energy are both proportional to .
Place the four fixed charges at with , and write the moving particle's position as . Introduce its mass , which is needed for an oscillation frequency but is not named in the question. Let . By Coulomb's law and superposition, the moving particle's potential energy is
The electrostatic potential itself is . Put and . Near the centre, a Taylor expansion gives
On summing over the four corners, linear terms cancel. To quadratic order, and , since . Reflection symmetry removes all odd-degree terms. Hence
where
Thus the centre has zero planar force and a positive-definite planar Hessian matrix . It is a strict local minimum of the constrained potential energy, so it is a stable equilibrium. More explicitly, conservation of the total energy confines sufficiently small-energy motions within a small neighbourhood of this isolated local minimum.
Keeping only the quadratic potential, the two coordinates obey independent small oscillations:
Both planar modes have the same angular frequency, and the ordinary frequency is
The planar constraint is essential to this constrained electrostatic equilibrium. Along the perpendicular axis, , so the same stationary point is unstable to unconstrained normal displacements. That also checks the cancellation of the three-dimensional Hessian trace required by Laplace's equation away from charges; it does not contradict the positive-definite restriction to the given plane.
To distinguish the moment quantity from the gravitational constant, write it as . Newton's equations give and . Differentiating proves
Average from to , divide by , and apply the supplied long-time boundary condition. The result is
The PDF's intermediate formula omits this minus sign. It cannot follow from the preceding derivative identity: an attractive inverse-square circular orbit already has and , contradicting the printed positive-sign version. The later homogeneous-potential relation is consistent with the corrected sign.
Interpret as the total pair potential energy, with each pair counted once, for example . The printed pair sum leaves one particle index unspecified; an ordered-pair convention with the corresponding factor absorbed into has the same degree of homogeneity. Under a common dilation of all positions,
Differentiating with respect to at one is the Euler theorem for homogeneous functions. Since , it gives
Substitution into the correctly signed averaged identity proves the virial theorem for a homogeneous pair potential:
For , the conserved total energy can be evaluated using these averages:
Use the kinetic temperature convention , where for three-dimensional thermalized particles, or the same positive coefficient as a kinetic-temperature definition. At fixed particle number and interaction parameters,
Thus the equilibrium heat capacity is negative precisely when
subject to existence of the bounded equilibrium sequence assumed by the virial theorem. At the virial energy is zero and this derivative vanishes. At the written power-law potential is constant, its force vanishes, and the bounded-motion virial condition excludes nonzero kinetic energy; division by is not permissible. The Newtonian case recovers .
Write , and interpret the specified radial force field as acceleration, or force per unit test-particle mass. Since it is a central force, the specific angular momentum is conserved: . For , motion is confined to the fixed plane perpendicular to . Choose the orientation of the polar angle so that .
To derive the Binet equation here, let and differentiate with respect to . Then and . Equating this to the radial acceleration gives
Put and . For , the solution is
The radial potential energy per unit mass is , so the conserved specific orbital energy is
Substitute the displayed and to obtain . Therefore define
For regular bound motion, and , giving and . Since , choose the angular origin at a pericentre, so , and obtain
The turning radii are and . Thus is the arithmetic mean of the turning radii; when the orbit precesses it should not be interpreted as the semimajor axis of a fixed ellipse. If , the centrifugal barrier needed for a regular two-turning-point bound orbit is absent, and this bound-orbit parametrization does not apply.
For , one has and the orbit is a closed Kepler orbit: an ellipse of eccentricity with the Sun at a focus. In addition to and the three components of , the Laplace-Runge-Lenz vector
is conserved. Indeed,
so . It points toward the fixed pericentre. The constraints and leave five generically independent isolating integrals. One may take
choosing a component whose differential is independent of the other four on the local region under consideration. The extra integral fixes the apsidal direction in the already fixed orbital plane.
For , successive pericentres are separated by in polar angle. The generic bound orbit is a rosette in that same plane. Its perihelion advance per radial cycle is
For this is prograde; for it is retrograde. If is rational, the orbit closes after a finite number of radial cycles; if it is irrational and , its successive radial phases densely fill the accessible annulus. A generic independent set of single-valued isolating integrals is
The apsidal direction is no longer fixed. For irrational frequency ratio, any continuous integral of motion must be constant on the whole two-dimensional orbital torus, because one orbit is dense there; there is no further independent continuous integral specifying a fixed apsidal direction. Exceptional closed resonant orbits do not provide a fifth global integral on an open region of phase space. Circular and radial orbits are degenerate cases of these generic counts.
Figure 1.
Closed Kepler ellipse and prograde precessing bound orbit under an attractive inverse-cube perturbation
. Details.
The plotted precession is enlarged for visibility. Both examples have and the same turning radii; the second has .
For the precession rate, it is useful to derive the radial period rather than assume an unperturbed angular period. Set in the radial energy equation. On a complete radial cycle,
Hence . Also and , so . For , inverse-cube perturbation of Kepler apsidal motion gives
There is a dimensional issue with the printed parameter: has units and has units , so has units . Retaining that definition literally, the requested expression is
A dimensionless perturbation coefficient would instead be . In that convention the rate is . These two conventions must not be conflated.
Use the stated residual precession and period. The advance in one radial cycle is
With , the small-perturbation estimate becomes
The negative sign is required: an additional attractive inverse-cube acceleration advances perihelion, whereas the positive- term would make it regress. If a length-unit estimate of the printed is desired, and the solar value give through the radial-period law. Thus
The dimensionless value is the estimate obtainable directly from the supplied period, eccentricity and advance; the dimensional value additionally uses the solar gravitational parameter to set the length scale.
Self-adjointness gives , so
The integrated expression from part (a) also writes it explicitly as
This is the quadratic change in potential energy associated with the perturbation, including pressure, magnetic and imposed-gravity restoring effects. Its sign need not be positive term by term.
The perturbation kinetic energy is , and the total quadratic perturbation energy is
Since the equilibrium and are time independent, differentiating and using the self-adjoint operator identity gives
Thus along the linearized motion. This conserved kinetic-plus-restoring energy is the basis of the magnetohydrodynamic energy principle.
In the Boussinesq approximation, put . The buoyancy-driven turbulent density diffusion equation gives, wherever ,
The coefficient outside the bracket is positive, so the local density gradient increases precisely when
At a point where , use the original degenerate diffusion equation rather than dividing by .
For the proposed self-similar solution, and . Substitution into gives
An odd power profile has right-hand spatial power . Matching it to requires . Thus choose with , an odd, increasing profile. Since , its flux is proportional to on both sides of the midplane. The resulting quintic density-profile similarity in an unstable tube satisfies
Integration gives . Consequently
Although mixing transports density downwards, the local density gradient can grow because spatial variations of the flux redistribute density. In this example the downward flux increases towards each end, driving the formal amplification of the odd profile.
This self-similar solution deliberately ignores the end conditions: its nonzero end flux cannot satisfy impermeable ends. Moreover, the Boussinesq approximation requires , which fails before the formal divergence. A closed tube has only finite available potential energy, so it cannot sustain indefinitely growing turbulent kinetic energy or the assumed instantaneous flux law. End effects, changing eddy statistics and decay of the unstable stratification must eventually replace this local model. The conflicting endpoint labels in the source do not enter the calculation because end conditions have been expressly excluded.
At infinity the potential energy tends to zero, so the conserved mechanical energy is . The impact parameter is the perpendicular distance from the origin to the incoming asymptotic line. Conservation of angular momentum gives .
For , a turning point of the radial motion satisfies
Only the positive root is physical, giving
For this reduces to the straight-line closest distance .
For nonzero , put . If , the numerator is , so
If , rationalize the numerator instead:
Thus the requested leading distances are
Repulsion gives a finite barrier even for zero impact parameter; attraction allows much closer passage. At , the attractive formula has the limiting closest distance zero, corresponding to collision with the singular centre rather than a positive turning point.
Let and . The closed tank has constant mass, so
Therefore . Under the Boussinesq approximation, define and obtain
The gravitational potential energy is especially easy to evaluate with the stipulated downward depth coordinate: the gravitational potential per unit mass is . Hence
This proves the potential energy of two-layer entrainment relation
The positive sign expresses the lifting and homogenization of dense entrained fluid within the upper layer. The fixed thin interface is neglected in this leading two-layer energy integral.
Under the Boussinesq approximation, total upper-layer kinetic energy is , where is its volume root-mean-square speed. For solid-body rotation of angular speed , direct radial averaging gives , consistent with that energy expression. A constant implies . Define to obtain the fixed-energy turbulent mixed layer relation
With , the interfacial power model for entrainment used in (b) gives
Multiply by and integrate from . This yields
The fixed-energy two-layer entrainment law is therefore
Here uses the same lid-speed normalization as part (b). All numerical geometry factors depend on the chosen characteristic stress/speed convention. The formula ceases to apply once .
The exponent requires the local power to decrease as . It does not follow from constant upper-layer kinetic energy and a fixed fraction of unspecified lid power alone. For example, an imposed constant shaft power together with a constant fraction going to potential energy would give constant , not this exponent. The appropriate distinction between local interface power and global forcing appears explicitly in the primary study Entrainment and mixed layer dynamics of a surface-stress-driven stratified fluid, equations (3.6)–(3.7); the calculations above use that local interpretation.
Put , the filament bending modulus in the easier bending direction; is the relevant second moment of area. Take filament tension as positive in extension. A cut at height supports the weight of the material above it, so its axial force is compressive:
The small transverse displacement induces a transverse tension force density , while bending produces . Their balance gives
The same result follows from elastic energy and gravitational energy. To quadratic order, local inextensibility shortens the height of the material point labelled by . Integrating its weight and interchanging the integrals gives the second-order potential energy
Two integration by parts steps in its first variation give
The clamped boundary conditions fix displacement and slope at the base, and the unconstrained tip must have zero bending moment and transverse end force. Thus the complete four conditions are
Since the filament tension vanishes at the tip, the last condition is . Integrate the ordinary differential equation once: is constant, and its tip value makes that constant zero. For the slope , it follows that
The other tip condition already follows from this equation for a regular solution; it is not a third independent condition on the second-order slope problem. Finally reconstruct to impose the base position.
Set , , and . Then and , so becomes
Substituting gives
This is the Bessel differential equation of order , whose two independent Bessel functions of the first kind give
The tip is . To decide which branch is admissible, retain both leading behaviours, not just the fact that stays finite:
Since and , the first branch has zero tip derivative, while the second has a nonzero tip derivative. The moment-free condition therefore sets , and it does not require the tip slope itself to vanish. The base condition now requires
Let be the first positive zero. The Bessel threshold for self-buckling of a vertical rod is
To identify this as the first loss of stability, write the quadratic energy in terms of the slope as . On functions with , its critical coefficient is the minimum Rayleigh quotient ; variation supplies the moment-free condition at the tip and the same Sturm-Liouville problem. The first zero gives the lowest eigenvalue, so the straight state is stable below this load, neutral at it, and unstable above it, with the easier direction buckling first.
Take as the inclination of the symmetry axis to the upward vertical, as its azimuth, and as rotation of the body about that axis relative to the line of nodes. The kinetic energy and potential energy are
The cyclic coordinates and time independence give three conserved quantities:
Their meanings are the component of angular momentum along the body axis, the component along the vertical, and the total energy.
For a vanishingly small perturbation of the upright spinning state, , , and . Eliminating gives the limiting effective potential
Its quadratic change near zero is . Thus if , zero is a strict local minimum and a sufficiently small perturbation remains near it.
In the unstable case, the limiting energy equation becomes
At the nonzero turning point the bracket vanishes, yielding
The approximation is the small-perturbation limit, not an assertion that arbitrary disturbances preserve the upright state's exact conserved quantities.
For and , where the matrices are symmetric and constant, the Euler-Lagrange equations give . A normal mode therefore solves .
A string segment of horizontal length has extension . Multiplying by the tension and using and , the quadratic kinetic energy and potential energy are
Thus and . Taking , , gives the three eigenvalues , . The normal mode frequencies are
Take the scalar product of Newton's second law with the velocity . The cross product is perpendicular to its first factor, so
Consequently
This is conservation of energy: the sum of kinetic energy and potential energy stays fixed. The magnetic-type Lorentz force does no work, because it is perpendicular to the instantaneous velocity. It may turn the trajectory but cannot directly change its speed, regardless of the spatial variation of .
In the rotating-hoop bead problem, use a signed angle in the hoop plane from the downward vertical. The gravitational potential energy is , the rotating-frame speed is , and the distance from the rotation axis is . The centrifugal potential gives
Gravity is stationary in these rotating coordinates, and the frictionless constraint does no work. Projecting the rotating equation along the hoop, or differentiating its effective potential in the one-dimensional Euler-Lagrange equation, gives
If , the two off-axis positions are
Their unsigned angle to the downward vertical is the same; they lie on opposite sides of the hoop. The second derivative of the effective potential there is . Equivalently, writing gives to first order
The same holds at . Thus both equilibria are stable, with small-oscillation angular frequency .
Set initially and choose its positive sense to agree with the initial tangential motion. The inward radial component is , while the tangential speed is . Hence
Substitution in the Binet equation gives , or . This is an orbit equation for combined inverse-square and inverse-cube attraction. Solving the constant-coefficient equation and applying both initial conditions gives
On , the sine is nonnegative, so stays finite and positive. At , , hence and the particle is back at its original spatial position after one revolution. But , so its radial velocity is now , rather than the original . The return is not a periodic return in position and velocity.
After that revolution, the first zero of is at , where . The physical branch therefore has as ; it must not be continued into negative . Since and has a simple zero, reaching infinity takes infinite time. As a check, the specific potential energy is and the conserved energy per unit mass is , giving escape speed at infinity, also obtained from .