Set , , and . The Trotter product formula separates the kinetic and potential energy evolution to first order in . Inserting resolutions of the identity in the position operator basis and using the free short-time kernel gives
The exponent converges formally to the action along the path. The prefactors and intermediate integrations define the time-sliced configuration-space path integral measure, so
A real-time path integral is an oscillatory limit with the Feynman i-epsilon prescription, rather than an ordinary probability integral. The operator derivation assumes the usual self-adjointness and product-formula hypotheses for the Hamiltonian.
For a quadratic potential energy write , with and . The first variation vanishes by the Euler-Lagrange equation and the fixed endpoints. Because is quadratic, the remaining expansion is exact:
Here integration by parts has no boundary contribution. Translation of the integration variables leaves the time-sliced measure unchanged. Thus the Gaussian path integral over is independent of the endpoint values, and the entire endpoint dependence lies in .
Expanding in eigenfunctions satisfying Dirichlet boundary conditions, each real mode contributes an inverse square root of its quadratic eigenvalue, with the oscillatory phase fixed by continuation. Normalizing against gives a precise determinant-ratio form:
The determinant ratio is meaningful after a common regulator; the phase is part of the prescription. It is equivalent to writing with an endpoint-independent normalization.
For example, if , the Dirichlet oscillator determinant ratio is
A linear or constant term in changes the action but not this prefactor. The formula holds away from conjugate times, when the boundary problem and determinant are nonsingular. At , it must be continued as a distribution with its Maslov index phase; the assertion of an ordinary finite prefactor cannot be used literally there. For the unshifted oscillator, at the kernel is .
For the full-line source integral, impose vacuum boundary conditions by adiabatic damping. Take the source initially as a test function, so its pairings with the Green function are defined. After integration by parts, write
With the Fourier transform convention , the inverse is
Set . Completing the square gives
and consequently
The Gaussian functional integral is source independent and contains the regulated determinant. This is most naturally read as a normalized vacuum generating functional. For , closing the frequency contour gives ; the time-ordered oscillator two-point function is . This checks the sign of the source exponent and identifies the required vacuum prescription.
For adjoint-valued quantities write . Substituting the infinitesimal transformation into the gauge field strength and using the Jacobi identity gives
A useful way to organize the calculation is : the gauge field strength transforms covariantly because the gauge covariant derivative does. Thus by antisymmetry. This proves gauge invariance of the Yang-Mills action.
The Yang-Mills equations are . They determine physical evolution only modulo gauge redundancy: gauge transformations with arbitrary spacetime-dependent parameters take solutions to equivalent solutions. In Hamiltonian mechanics, has no independent quadratic time-derivative term, and the corresponding equation is a Gauss law constraint in gauge theory. A gauge parameter can vanish with its necessary derivatives on the initial slice yet change the later potential energy, so the potential energy itself is not uniquely fixed by initial physical data.
In the uncorrected path integral, integration along gauge orbits overcounts equivalent fields. At the perturbative level the quadratic operator of the kinetic term has gauge zero modes and no inverse, so it does not supply a quantum field theory propagator. Gauge fixing together with the Faddeev-Popov determinant removes this obstruction in the local perturbative construction.
For the odd BRST transformation, products obey the graded Leibniz rule. The adjoint product with Grassmann variables satisfies
In particular, is not zero, and . The supplied transformations give
since the even covariant derivative obeys . For the ghost,
The final equality is the graded Jacobi identity; in components it is the Jacobi identity for contracted with the totally antisymmetric product of three ghosts. Also and . The square of an odd derivation is an even derivation, because its two mixed product terms cancel. Hence on every polynomial in the fields, off shell, without imposing field equations.
Let be the gauge-fixing fermion. Since , . The BRST-exact operator in has zero variation by BRST nilpotence, so
To see the resulting kinetic terms and signs, expand the exact term with :
After integration by parts,
The auxiliary Nakanishi-Lautrup field can be completed into a square and integrated out, giving the gauge-fixing term for . At , retain as the multiplier enforcing the gauge condition rather than divide by . The Grassmann Gaussian integral gives the determinant of the gauge-condition operator . Field-independent normalizations cancel in the normalized integral; insertions involving can be handled before integration or through its source terms.
At the gauge-fixed quadratic operator is invertible with the usual prescription, and the ghosts have a quadratic kinetic term. The remaining terms are cubic gauge interactions of order , quartic gauge interactions of order , and a ghost-gauge interaction of order . Expanding them and using Wick contractions gives a perturbative expansion for any defined polynomial insertion of the fields. The exponent is the gauge-fixed action , as printed in the PDF; the converted TeX incorrectly substitutes .
At , the free gauge action, up to a boundary term, is . Its Fourier kernel is . With the mostly-plus convention used above, the Feynman-gauge adjoint propagator is
This is consistent with the scalar-line convention in Question 2.
Finally define the odd functional . Then . Differentiating the normalized expectation, including its denominator, gives
for an insertion with no explicit dependence. A physical gauge-invariant insertion is BRST-closed, since its infinitesimal gauge variation vanishes also when the parameter is replaced by . The assumed BRST Ward identity gives and . For an even with , the latter says . Therefore
The same conclusion holds for any BRST-closed insertion. Mere color-singlet invariance of an arbitrary ghost-dependent expression need not imply ; the physical-observable qualification is essential. The proof uses the invariant-measure assumptions encoded in the stated Ward identity.
Use the arch geometry of two hinged rods sliding on a floor, with and on the other side of . As long as remains in contact with the floor,
The centres of mass of the two rods are and . Their squared speeds are respectively and . Each uniform rod has moment of inertia about its midpoint, and their angular velocities are and . Applying the kinetic energy decomposition about the center of mass to each rod gives
The gravitational potential energy is . The fixed pivot does no work; neither does the frictionless floor reaction while slides horizontally. Conservation of energy from rest therefore gives
On the falling branch is the negative square root. Just before the hinge reaches the floor, , and its speed is . Thus, under the maintained-contact interpretation,
Figure 1.
Geometry and centers of mass of two hinged rods sliding on a floor
. Details.
There is a contact hypothesis behind this calculation. A floor can push upward but cannot pull downward. For and , the required normal reaction at , found from the second rod's linear and angular equations, is
For the usual acute arch, this stays nonnegative throughout exactly when . Indeed, for , its nonnegativity is , whose minimum is at . For larger initial angles, the endpoint lifts before the hinge hits the floor, and the one-coordinate formula no longer governs the whole motion. The displayed impact speed is the intended floor-constrained answer; for unrestricted initial angles, maintained contact is an additional assumption. Subsequent free motion and possible reimpact would require a different model and contact/impact conditions.
For the motionless uniform layer, the heat equation reduces to . The lower temperature and upper heat-transfer condition determine the quasistatic temperature of a conductively cooled film:
When , . For a varying film let its vertical velocity scale as , as required by incompressible flow. Relative to vertical thermal diffusion, horizontal thermal diffusion is smaller by , and either horizontal or vertical thermal advection is smaller by . Time variation on the film's transport timescale has the same small factor. Thus the leading heat equation is again at each when both specified dimensionless parameters are small. This argument retains the small assumption. If thickness were externally varied on a faster timescale , one would additionally need ; the spatial conditions alone do not control arbitrary rapid time dependence.
Define . The surface tension at the surface is , so the Marangoni stress is . With capillary pressure to leading order, horizontal Stokes flow in the film solves , , . Hence
The continuity equation gives the thermocapillary thin-film equation
To justify using constant surface tension in the capillary pressure, compare the two volume fluxes on horizontal scale : their magnitudes are and . When both mechanisms are retained at leading order, their balance gives . Thus replacing by in the curvature term incurs only a relative small correction. Equivalently, small ensures this if is bounded; if it were parametrically large, the extra small surface-tension-variation condition would have to be imposed separately.
The capillary pressure is higher beneath a crest than beneath a trough, so pressure-driven volume flux drains the crest and smooths thickness. The Marangoni effect acts oppositely: a thicker region has a colder surface and therefore larger surface tension. Surface velocity is pulled towards that region, supplying more liquid and amplifying the thickness variation. The arrows below represent these two mechanisms separately.
Figure 1.
Capillary pressure drains film crests whereas cooling-induced Marangoni stress draws liquid towards them
. Details.
Put and . Substitution of , , gives coefficients and . Making both equal to one yields
In these scales the fractional surface tension change is , making the previous approximation explicit.
The linear stability analysis about gives . For a normal mode ,
Long waves with grow, decay, and are neutral. The neutral mode changes the mean film thickness. The dispersion relation is even in , with its two maxima at .
For a steady positive film with zero volume flux, divide by and integrate to obtain . Choosing as specified fixes . Multiplication by and another integration then give the zero-flux thermocapillary film profiles first integral
For , and : the unique minimum is , while and . This potential energy interpretation classifies the profiles without assuming a sinusoidal shape at finite amplitude.
For , the only profile is the uniform film . For , there are two positive turning heights and a smooth periodic film oscillates between them. Its period is
For , the maximum is and the lower endpoint is zero. A drop reaches zero thickness in finite distance, with zero limiting slope but unbounded curvature since . Its half-width is
Thus the formal limiting profile consists of drops of peak height and footprint width , with zero limiting contact angle. Identical drops can touch, or a zero-thickness region can separate them in the degenerate zero-flux model. These are limiting wet-region solutions, not everywhere positive twice differentiable films; the singular contact region is not resolved by lubrication theory. A useful parametric drop profile is
Finally let with small positive . Writing gives and . The small-amplitude steady profile is , with period tending to . Its wavenumber tends to the neutral boundary of the unstable band, not to the fastest-growing wavenumber.
Figure 2.
Thermocapillary-film dispersion relation, energy potential and periodic or dry-contact steady profiles
. Details.
Let the vertical-velocity amplitude be real. A convenient inertia-gravity wave polarization, avoiding pressure denominators, is
The physical velocities and buoyancy are their real parts. The period-mean kinetic energy density and available potential energy density are
The latter follows from , or from for vertical fluid displacement. The factor includes both the energy definition and the mean of a squared harmonic.
Using the dispersion relation,
This energy partition of rotating internal waves shows that the printed request for ordinary kinetic/potential equipartition in the rotating case is false in general. An explicit counterexample is , , , , giving , and .
The valid modified oscillator balance is
The transverse rotational velocity is in quadrature with the in-plane motion, so it supplies an additional positive energy term on the displacement side of this oscillator balance. It remains physically kinetic energy, not gravitational potential energy. Ordinary kinetic/potential equipartition is recovered when or when the transverse amplitude vanishes. For a real harmonic wave the instantaneous total is constant at a fixed point: the coefficient of from in-plane motion equals the coefficient of from transverse motion and buoyancy. This consistency does not imply equality of their separate period means.
Integrating the local two-layer quasi-geostrophic energy conservation law over a horizontal domain and using the specified vanishing boundary flux gives
Periodic boundaries, or suitable fixed streamfunction boundary data eliminating the displayed energy flux, provide examples. The gradient terms are the two layer kinetic energies; the last term is available potential energy, equal to under the interface-displacement relation.
The baroclinic energy ratio and deformation scale for unequal layer depths uses a decomposition uses the depth-weighted barotropic streamfunction and . Define . Then
For variations on horizontal scale , this gives
For comparable layer depths is of order either , reproducing the requested scale . If one layer is much thinner, its depth controls this ratio; a depth-independent arithmetic barotropic average would leave unwanted cross terms in the energy decomposition.
Baroclinic potential energy dominates at scales much larger than the two-layer internal deformation radius; baroclinic kinetic energy dominates at much smaller scales. They are comparable near . The independent barotropic kinetic energy has no interface-displacement partner, so this scale comparison refers specifically to the baroclinic component.
Let . The initial density is . Conservation of mass in the material homogenized over fixes its mean density to , while the untouched lower layer has interfacial density . Hence the reduced gravity difference across the interface is
The reference contribution involving cancels from the difference.
Only the upper layer changes its potential energy. The potential-energy cost of homogenizing a linear stratification is
so
The positive sign reflects work against stable stratification.
The rotating boundary supplies energy on scales set by and . Turbulent drag and dissipation remove energy, and entrainment adds initially stationary fluid that must be accelerated. If upper-layer energy grows, the increasing turbulent loss provides a restoring tendency; after a short adjustment, input and losses can approximately balance while the interface moves on a slower time scale. This gives a physical rationale for a fixed-energy turbulent mixed layer, not a consequence of mass conservation alone. Its characteristic kinetic energy is . With the stipulated -independent energy closure,
so the characteristic speed decreases as rather than remaining constant.
The stress does work at a rate proportional to . Combine this with the energy increase and absorb fixed drag/geometrical factors into :
Here the exponents are unrelated to the plume entrainment coefficient in Question 2. The interfacial Richardson number is
Set , and . Then and . Substitution gives
The assumption that depends on the local Richardson number alone excludes separate dependences on . The entrainment exponent from a local interfacial Richardson closure is consequently
This comparison treats and as independently variable external controls; fitting only a single apparatus would not by itself determine the exponents.
Finally, use the fixed-energy closure again:
Integrating from a positive initial mixed-layer depth at time gives
When the growth term dominates the initial offset, the rotating-disc mixed-layer depth law is
Taking the effective time origin to be zero gives the stated scaling. Its validity is limited to the regime of the closures and ; the singular velocity predicted at is not a model for the initial boundary-layer formation.
The dimensional linear friction coefficient is . Put and . In overdamped particle dynamics the laboratory velocity is , whereas the trap-frame velocity is . The particle enters the optical tweezers at and leaves at when the trap overtakes it. Write for this support width. The printed subtraction in the later definition of the width is a sign error: the distance between these endpoints is their sum. We use in the circular calculation.
For a bounded continuous force, the strict condition
ensures finite passage through a translating optical trap: the trap-frame coordinate decreases throughout the interaction. If is encountered from the right, the deterministic trajectory cannot pass this stationary trap-frame point for a locally Lipschitz force; it approaches or stays at a locked state. At a smooth maximum the critical passage time diverges. More generally the passage criterion is on the traversed interval together with a finite integral below. Separating the trap-frame equation gives
These formulas account for both portions of the optical tweezers, including motion against the trap direction.
The forward-displacement result uses the ordinary localized potential energy interpretation of an optical trap: and has the same value outside both ends, hence . Compact support of the force alone does not ensure that condition. Under the equal-endpoint condition,
for a nonzero force and a passing trajectory. This is forward displacement from a translating localized potential. A zero force gives zero displacement. If the force is negative everywhere on its support, it instead gives ; thus an arbitrary compactly supported force does not satisfy the printed assertion.
There are two complementary explanations of the forward displacement from a translating localized potential. The forward push slows the relative passage and therefore acts longer, while the backward pull speeds up the relative passage and therefore acts for less time. An exact potential energy balance makes the same point: along the trajectory
The moving optical trap supplies the positive work lost to linear drag, although the initial and final potential energy are equal.
For , a uniformly convergent expansion of the passage integrals gives
For a localized potential energy well the first integral vanishes, so
The displacement decreases quadratically with the trap speed, rather than linearly. Without the equal-endpoint assumption the general expansion above remains valid.
For repeated kicks from a circular optical trap, let and interpret the force profile locally along the arc. This description requires a tangential constraint, a nonoverlapping force support , and, if the straight profile is used geometrically, a small support compared with . The condition alone does not specify that latter width hierarchy. During an encounter the particle advances by and the trap advances by . Between encounters the deterministic particle is stationary and the trap travels the remaining relative distance . Thus the time between corresponding points of successive encounters is
Here and are revolution frequencies, not angular velocities; the printed relation fixes this convention. The encounter frequency is , so the same result follows from .
The precise condition for the stated approximation is , in addition to finite passage and separated encounters. A sufficient high-speed regime is with fixed , for which the asymptotic displacement divided by tends to zero. Then
This condition controls the encounter frequency correction; there is no need to discard the finite interaction time without accounting for the support width.
For the triangular optical-trap response, set . In the passing regime , the approach side has velocity and the trailing side has velocity . Consequently
With and , the repeated kicks from a circular optical trap formula becomes
For the usual ideal triangular-well dynamics locks at the cusp: the forces on its two sides direct the trap-frame particle towards the cusp. This is understood as the sticking limit of a rounded potential or of the overdamped differential inclusion at its discontinuous force. The particle follows the trap, giving . At it can remain at a fixed point of the trailing segment and also has . Thus the physical triangular optical-trap response is continuous at threshold, even though the isolated passing-kick displacement diverges there. For ,
and the more general kick approximation requires .
Take a long periodic section of length , or neglect end effects and choose an integer number of wavelengths. The amplitude here is a single real sine amplitude, fixing the normalization of the thermal membrane undulation spectrum. For a lipid vesicle with an axisymmetric membrane deformation, conservation of the enclosed volume gives
The mean radius therefore decreases at second order. This adjustment is essential: fixing the mean radius instead of the volume would miss the unstable term in the fixed-volume capillary spectrum of a cylindrical membrane.
The surface area of an axisymmetric graph is . Expanding for and gives
Multiplication by the membrane tension yields a quadratic potential energy , where
For , the equipartition theorem gives the stable-mode fixed-volume capillary spectrum of a cylindrical membrane
Here is the Boltzmann constant and is the temperature. The cosine amplitude has the same variance and is an independent real coordinate at quadratic order. If instead with , the corresponding positive- complex coefficient has . This is the same thermal membrane undulation spectrum in a different Fourier mode normalization.
For , the cylinder is unstable rather than having a negative fluctuation variance. The quadratic surface area change is negative: a sufficiently long-wavelength modulation reduces area while retaining volume. This is the Rayleigh–Plateau instability, expressed here as pearling of a tension-dominated lipid vesicle. A cylinder supporting such modes has no unconstrained harmonic thermal equilibrium about the uniform state. The uniform radius change is forbidden by fixed volume, and is marginal in the tension-only approximation. The finite length and endpoint constraints determine which nonzero Fourier modes are allowed.
The large membrane tension assumption controls modes with of order one. For large the omitted membrane bending modulus contribution grows approximately as and overtakes the tension term when . Thus the displayed tension-only spectrum requires as well as small amplitudes and a positive stiffness. Close enough to the marginal wavelength, bending corrections must also be retained; their relative scale at of order one is .
For the circular phase boundary in a lipid bilayer, the energy is its perimeter times the line tension . Let be the polar angle and write , where the periodicity requires an integer . Fixed enclosed area implies
The perimeter, including the mean-radius change, is
Thus the fixed-area capillary spectrum of a circular boundary, again for a single real sine or cosine amplitude, is
The complex Fourier mode coefficient convention again divides this result by two. The mode is excluded by the fixed-area constraint, so the negative-stiffness interval is not an allowed mode of a closed circular boundary.
At , the zero stiffness is the translation mode of a circular boundary, not a shape instability. Displacing the centre by a small distance changes the radius to first order by or while leaving area and perimeter unchanged. For example, an exactly translated circle has
The higher harmonics complete a true translation mode of a circular boundary. The denominator therefore represents free centre motion: an unconfined domain's centre has no restoring force or finite equilibrium variance in an infinite membrane. Radius fluctuations about a recentered domain omit this mode; external confinement would give it a separate restoring stiffness.
In plane polar coordinates, use and . Their derivatives are and . Differentiating gives the velocity and acceleration in polar coordinates:
Both the electrostatic inverse-square force and the drag point radially, so the torque about the origin is zero even though the force depends on radial velocity. The vector angular momentum is constant. For , every position lies in the fixed plane perpendicular to it; if , the trajectory is radial and still lies in a plane. In the nonzero case the transverse equation is , giving
The signed depends on the plane orientation. The stipulated ratio requires .
Set and use primes for differentiation with respect to . Then , and . The radial equation is , so
This damped Binet equation has the general solution, for ,
It is used on the physical interval where . For either sign of , introduce the forward angular distance ; then the exponential is . Thus damping acts forward in time for both orientations, not just when .
For unit mass, the kinetic energy is and the electrostatic potential energy is . Therefore
Using the damped Binet equation,
and multiplication by gives
This is also the drag force times the radial speed. Energy is nonincreasing in time, strictly decreasing while radial motion occurs; a circular trajectory already has constant energy. The sign of alone would be misleading for negative .
To justify circularization under radial inverse-square drag, suppose the forward trajectory remains bounded, . Since and the effective radial potential energy tends to as , the radius is also bounded away from zero. Velocity then stays bounded, so the solution continues for all forward time without collision. Moreover , so . The decaying general solution gives and . Consequently
The tangential motion remains, so the limiting orbit is circular. The convergence is asymptotic; boundedness is needed because a physical solution could otherwise reach and escape rather than complete indefinitely many turns.
Figure 1.
Bounded inverse-square orbit with radial drag approaching a circular orbit, with nonincreasing energy converging to the circular-orbit value
. Details.
The example uses , and , which stays positive. Radial oscillations decay while angular momentum stays fixed.
Take with , and put , and . Here denotes the signed vertical component of the linearized shallow-water potential-vorticity anomaly, rather than its magnitude. The divergence and vertical curl of the linearized shallow water equations give
Consequently . Eliminating and substituting gives
The vector forcing is . This is potential-vorticity conservation in its linear, f-plane form: the conserved anomaly forces a stationary balanced part, while the homogeneous equation supports inertial-gravity waves.
For the initial strip, differentiating the discontinuous velocity in the sense of distributions gives
These are two oppositely signed vortex sheets. In the final geostrophic balance, and . The height therefore solves
This is the Rossby deformation radius. Decay at infinity fixes the Green function to . Thus the geostrophic adjustment of a finite-width current has the particularly useful representation
Expanding the exponentials inside the strip gives ; above the strip it gives , and below it gives . The height is continuous, odd and exponentially localized. Its derivative has the jumps required by the two Dirac delta functions.
Differentiating the height, rather than assuming a uniform final current, gives the complete velocity:
The one-sided velocity jump is at each edge, with opposite orientations. The value exactly on an idealized vortex sheet is immaterial. Inside the strip the current remains in the original direction; outside it a return current develops.
Let and . For , over the narrow strip, while the outside return flow is approximately . The height varies almost linearly across the strip, , and has extrema of magnitude at its edges. For , the central current is exponentially small: . Each edge supports a layer of width , with on its inner side and outside. The corresponding height extrema approach , with almost zero height deep inside and far outside. Both requested profiles are drawn from the exact functions below; the dashed jumps represent one-sided velocity limits.
Figure 1.
Final geostrophic surface-height and velocity profiles for a narrow current and a wide current, with the initial strip edges marked and velocity jumps shown
. Details.
For balanced shallow-water energy as a signed potential-vorticity pairing, divide out the constant density and work per unit distance in . The kinetic energy plus surface potential energy is
Multiplication of the stationary height equation by and integration by parts, with vanishing end terms, yields
The same expression holds with for a finite two-dimensional domain or a finite periodic length in . The infinite strip's total energy is infinite, so both energies and their ratio are understood per unit -length.
There is a sign defect in the printed energy expression: must be replaced by the signed component . Indeed, , so pairing it with the odd gives zero, although the balanced state has positive energy. The signed pairing gives
Since , the energy retention in finite-width geostrophic adjustment is
For this ratio is : nearly all energy remains in the narrow balanced current. For it is approximately : only the edge regions retain balanced energy. Conservation of energy still holds for the inviscid evolution. The missing balanced energy is carried away by inertia-gravity waves; “final state” means the local balanced limit after those waves leave, rather than a loss of the total energy over the entire infinite domain.
For an exponentially growing normal mode with , . Such a complex cannot equal the real basic velocity anywhere, so the interior equation forces at every height. Decay then fixes the unique vertical structure , and the lower-boundary condition fixes , which is real. This contradiction proves the absence of exponential instability in the semi-infinite Eady model:
For , there is no advective frequency in the linear interior equation, so an exponentially growing mode would again have . The wall buoyancy equation then forces , which the nonzero decaying exponential cannot satisfy. Thus these modes do not provide a missing growing branch. This conclusion rules out exponential eigenmode growth, not every possible transient response or singular neutral potential vorticity disturbance.
With a second rigid boundary at , the same uniform-shear flow is the Eady model. Both boundaries carry buoyancy perturbations and support Boundary Rossby waves. Their intrinsic propagation directions oppose one another relative to their respective local basic flows. At suitable wavelengths their interacting fields can phase-lock and release basic-state potential energy, producing baroclinic instability. The single-boundary system lacks that second interacting boundary wave.
For a direct comparison, write and . The vertical solution between the two boundaries is , and their buoyancy conditions are
Eliminating gives the finite-depth Eady dispersion relation
The bracket is negative for , so those modes with have a growing and a decaying member. At short wavelengths the two edge waves interact weakly and the frequencies are real. In the semi-infinite limit, the lower-wave root tends to , recovering the neutral result above.
For unit mass, the inverse-square force has potential energy , with zero potential at infinity. Conservation of angular momentum gives . Differentiate the polar equation of the Kepler orbit:
Consequently the total mechanical energy is
where . This also explains the sign distinction between an elliptic orbit, a parabolic Kepler orbit, and a hyperbolic Kepler orbit.
At the original periapsis, the parabolic Kepler orbit has , , and purely tangential speed . Thus
The outward radial impulse has zero moment about the Sun, so it preserves angular momentum and hence . Its additional velocity is perpendicular to the original velocity, so the new mechanical energy is . Applying the energy formula gives
For , the new orbit is a hyperbolic Kepler orbit; leaves the parabola unchanged.
To fix the orientation of the sketch, put the Sun at the origin, the impulse point at , and take the original motion there upwards. The new velocity is . The eccentricity vector is
It points towards the new periapsis, which is rotated clockwise through from the original periapsis direction. Thus, measured using the original polar angle , the new orbit is
In particular, the impulse point is already on the outgoing part of the new orbit and is not its new periapsis. The old parabola satisfies . Both orbits pass through and have the same focus, but the hyperbola's new periapsis axis is tilted.
Figure 1.
Original parabolic orbit and the orbit after an outward radial impulse
. Illustrative case , with distances in units of . The solid orange curve is the subsequent hyperbolic trajectory; its dashed continuation is the earlier part of the mathematical conic. The original velocity and radial velocity increment are shown at the impulse point. Details.
Let be specific internal energy, the heat supplied per unit volume per unit time, and . For an inviscid perfect gas in a prescribed Newtonian gravitational potential , the fluid total-energy equation is
There is no gravitational term if no external body is present. For a time-independent , adding potential energy gives the equivalent conservative form . Subtracting the kinetic-energy equation and using mass conservation gives
For a perfect gas with constant specific-heat ratio , . The isothermal equation of state therefore makes constant. Hence the required heat supply and heat loss are
Compression requires cooling; expansion requires heating. The isothermal sound speed differs from the adiabatic sound speed .
Define the isothermal Mach numbers by . Orient the normal to a stationary isothermal shock along the flow, so the mass flux . Tangential velocity is continuous for this planar hydrodynamic shock. Normal momentum conservation gives
For a genuine discontinuity , factorization gives . Thus the isothermal shock jump relations are
Across a thin shock, gravitational potential and tangential kinetic energy are unchanged. The specific enthalpy is the same on both sides, so the energy removed per unit area per unit time is
Positive net cooling requires , equivalently and . Cooling across an isothermal shock permits only compression shocks; the formal expansion discontinuity requires energy supplied by the surroundings. The continuous state is not a shock.
For steady radial flow, mass conservation gives . Differentiating it and eliminating the mass density gradient from radial momentum balance gives
A regular sonic point has , so the right-hand side must vanish there as well. Therefore
This is the Bondi sonic point for accretion; the same critical radius appears in an isothermal Parker wind. A general steady solution need not pass through a sonic point, but a smooth transonic one must obey both critical conditions.
Put and on a branch whose flow direction is fixed. The radial equation becomes
Integrating yields the integrated isothermal Bondi flow relation:
For a transonic branch, gives . Expansion about the critical point gives , with slope for inflow supplied by gas at rest at infinity and slope for a transonic outflow.
For Isothermal Bondi accretion, integrate radial momentum balance once more, using and at infinity:
At the Bondi sonic point, and , so . The positive inward isothermal Bondi accretion rate is consequently
The critical mass density and rate are fixed by the regular transonic solution and the specified reservoir at infinity; an arbitrary subsonic solution does not share this accretion rate.
Use Faraday's law and the solenoidal magnetic-field constraint . In the nonrelativistic, single-fluid approximation, neglect Hall and other nonideal electromotive terms and use the moving-conductor moving-conductor Ohm law, . Infinite electrical conductivity with finite current gives , hence
This is the ideal magnetohydrodynamic induction equation. For comparison, neglecting displacement current in Ampère-Maxwell equation gives ; with uniform finite electrical conductivity it produces magnetic diffusion , where the magnetic diffusivity is . The ideal approximation requires a large magnetic Reynolds number . Dropping displacement current is useful for this finite-conductivity comparison, but Faraday's law and the ideal Ohm relation already suffice for the ideal induction equation.
Expanding the curl and using the solenoidal magnetic-field constraint gives the material derivative form
Combine this with mass conservation, , to obtain
Now parametrize a material curve by a fixed label : obeys . Differentiating with respect to shows that its tangent evolves by . This is exactly the same linear ordinary differential equation as for . Initially parallel tangents remain parallel by uniqueness, with a label-dependent proportionality factor constant along each particle trajectory. Thus magnetic field lines are transported as material curves, wherever the field and fluid flow are smooth and the field is nonzero. This is the field-line form of magnetic flux freezing.
For the flux statement, take a material surface and let , . Both tangents obey . Its oriented material surface element is . Differentiating the cross product, rather than assuming its transport rule, gives
Equivalently, , with . Contracting this derived rule with the induction equation gives a pointwise cancellation:
Integrating over the fixed material labels therefore proves conservation of flux through an open material surface:
The surface need not be closed; its boundary is carried with the fluid. The result follows from material transport, rather than from the zero flux through a closed surface.
For a homologously shrinking cloud, write and keep its shape factors fixed. Conserved mass gives ; conserved magnetic flux gives . Thus the gravitational and magnetic energies scale as
where are dimensionless geometry factors. Both grow in magnitude as , so collapse cannot reduce magnetic support relative to gravity while the mass-to-flux ratio is frozen. With negligible gas pressure, contraction lowers the combined potential energy only when its coefficient of is negative. Consequently a necessary critical mass-to-flux ratio condition is
Here denotes the magnitude of the conserved threading flux. The numerical coefficient depends on geometry and boundary conditions; the scaling argument does not determine it or make the condition sufficient in the presence of other support.
For adiabatic pressure support during gravitational collapse, . The pressure-support scale is , so relative to either gravity or magnetic energy,
Pressure becomes more important as decreases if , equally important in scaling if , and less important if . In particular, a monatomic perfect gas with becomes increasingly pressure supported. For isothermal pressure support during gravitational collapse, the isothermal equation of state gives , so is constant and : isothermal pressure becomes less important during collapse. The same comparisons hold against magnetic support because its energy has the same scaling as gravity.
A central force has no component in the angular direction. The angular component of the acceleration in polar coordinates therefore gives , or
For unit mass, is the signed angular momentum perpendicular to the orbital plane, so its magnitude is conserved. Equivalently, the torque vanishes, which also fixes that plane.
The given potential energy is , whose radial force is : positive is repulsive and negative attractive. The kinetic energy in polar coordinates is , so conservation of energy gives
For and , the effective potential is positive, strictly decreasing from to , and has no stationary point. For , it still tends to at zero, crosses zero at , and has its unique minimum at
It then approaches zero from below. The minimum corresponds to a stable circular orbit. If , the centrifugal barrier disappears; the attractive effective potential is simply and has no minimum.
Figure 1. . Effective potentials with unit angular momentum and k equal to plus or minus one. The attractive minimum and zero are marked. Details.
The wavefunction is a plane wave and a simultaneous formal eigenfunction of the momentum operator and the time-translation energy operator:
Its momentum and energy are therefore definite, while its probability density is spatially uniform:
For a particle of mass , the probability current is , directed according to the sign of .
On the whole real line, a nonzero constant-amplitude plane wave is not square-integrable and cannot be normalised to total probability one. It represents an idealised momentum eigenstate, interpreted through generalized eigenfunctions or as a limit of wave packets. Also, arbitrary do not automatically solve the Schrödinger equation for a specified potential energy: for a free particle, , or this value plus the constant potential energy for a constant-potential region. If , the zero function is not a physical quantum state.
For a finite potential energy discontinuity, the stationary state and its first derivative are continuous at . Integrating the time-independent Schrödinger equation across a shrinking interval about gives continuity of ; a jump in would produce a distributional derivative incompatible with a finite potential energy.
For , put , and use unit incident amplitude:
There is no wave incident from the right. The matching equations , give and . Comparing reflected and incident probability currents gives the reflection coefficient
The transmitted fraction is , so .
For , write and retain only the decaying right-hand solution . Matching gives , which has modulus one. The evanescent wave carries no transmitted probability current. At , the bounded right-hand solution is constant and matching again gives . Thus
Classically, a particle is wholly transmitted for and wholly reflected for ; there is no classical partial reflection above the step. At the threshold it has zero right-hand speed and no transmitted flux, a marginal case requiring a convention about motion exactly on the discontinuity. The quantum result approaches as .
For a quasi-static self-gravitating object of fixed mass, negligible surface pressure, and no accretion, nuclear source or additional deep heating, conservation of energy gives the intrinsic planetary luminosity
Here is internal energy, and is negative gravitational potential energy. Gravitational contraction makes more negative and releases power . Some of that release raises the internal energy; it cannot all be radiated while the object maintains hydrostatic equilibrium.
To quantify the split assume thermal gas pressure with constant specific-heat ratio and negligible rotation or magnetic support. This excludes the dynamically unstable gas-supported regime. The stellar virial theorem gives
It follows that
For a monatomic ideal gas, , so : half the released gravitational energy heats the gas and half escapes. If the density profile remains homologous, write , with a fixed structure constant. Then
up to the structure and virial coefficients, where is the Kelvin-Helmholtz cooling time.
For a diatomic gas with the idealized fraction is , already demonstrating that the half-factor is not universal. Partial electron degeneracy pressure, dissociation, changing structure, accretion and deep heating require the full energy equation. The general link between luminosity and Kelvin-Helmholtz contraction is , with any genuine source terms added explicitly.
Take positive downwards and write for the filament bending modulus. Under the material-modulus interpretation of the printed as Young's modulus, the circular cross-section gives the second moment of area and bending modulus
Indeed a small curvature gives axial strain , so integrating over the section gives bending energy per unit length. Keeping this distinction is essential to the powers of radius in the answer.
After allowing for buoyancy, the effective downward force per unit length is
The filament loses potential energy as it moves down; the displaced fluid's hydrostatic contribution is included through the density difference. For an inextensible filament with arc-length coordinate , the geometric bending and gravitational energy is , up to a constant. For the small-slope Monge representation this reduces to
The upward-positive convention reverses the sign of and the gravitational term together. There is no stretching contribution at this order when bending a slender filament without imposed axial tension. The wording does not explicitly distinguish a material elastic modulus from a flexural modulus: if instead denotes the filament bending modulus in the intended convention, set throughout; then the factor is already included in .