The dynamical method. In Lagrangian mechanics, choose independent generalized coordinates consistent with the constraints, form the Lagrangian , and solve the Euler-Lagrange equations,
This form applies to a Newtonian system with ideal constraints, so constraint forces do no allowed virtual work, and with the remaining forces derivable from the stated potential. Smooth holonomic constraints can be built into the coordinates. Additional nonconservative generalized forces would appear on the right. Prescribed shaft rotation is a driven constraint; its constant is a parameter, not a conserved angular momentum.
Energy of the two balls. The diagram labels each ball , so their combined mass is . It also shows between an arm and the downward vertical, rather than the full angle between the arms. Each ball has horizontal radius , vertical coordinate , and squared speed . Thus
and
The massless connecting rods and sliding collar enforce the geometry but contribute no energy.
Effective potential. Define . At fixed ,
This effective potential determines the reduced dynamics. Its conserved effective energy is not the full lab-frame mechanical energy: the shaft drive can exchange work and angular momentum with the balls.
The change of stability. Near ,
For , the downward state is a minimum. At , its quadratic stiffness vanishes but the quartic coefficient is . Above that speed, the downward state becomes a maximum and stable nonzero openings appear. This is the gravity-restored centrifugal governor bifurcation.
Figure 1.
Original calculated effective potentials below, at and above the critical shaft speed; signed angles display the symmetric mathematical extension of the opening coordinate
. Details.
The physical opening is nonnegative; the two minima in the signed extension represent opposite transverse displacements. The stable opening increases continuously from zero toward a right angle as grows. The apparatus is frictionless in the model, so a displaced system oscillates rather than automatically settling at the equilibrium shown by the minima.
Equilibria. Differentiation gives
Hence the downward equilibrium is , and the open equilibria satisfy
The signed extension includes the negative of this angle. Formally is also stationary, but it is an unstable inverted configuration and lies outside the usual opening range of the mechanism.
Small oscillations. Write . The linear equation is , where
At the downward state and at a nonzero open state, respectively,
These are angular frequencies in ; ordinary frequencies are . Negative indicates exponential instability rather than an oscillation. At , . At the critical speed, the linear frequency is zero and the positive quartic potential gives amplitude-dependent nonlinear restoring motion.
For a test particle outside a spherical central mass, the gravitational force is central, so angular momentum is conserved and the orbit is planar. With specific angular momentum and specific orbital energy , the radial effective potential combines attraction with the centrifugal barrier. Its nonradial solutions are conic sections:
For nonzero , negative energy gives an ellipse with , zero energy a parabolic Kepler orbit and positive energy a hyperbolic Kepler orbit. The circle is the special case . Exactly radial motion is a separate zero-angular-momentum case and may hit the central body; a mathematical point-mass trajectory is not automatically a physically noncolliding orbit.
Conservation of gives constant areal velocity , so equal areas are swept in equal times. For a bound ellipse of semimajor axis , and . A circular orbit has speed , while the minimum local escape speed is , obtained by setting the total energy to zero. These are the test-mass two-body results: a comparable second mass requires the relative-coordinate gravitational parameter , and nonspherical structure or drag can perturb the conic and its conserved quantities.
In a fixed point-mass Newtonian gravitational field, a test mass experiences
Because this is a central force, its torque about the attracting centre vanishes and angular momentum is conserved. The orbit lies in a fixed plane and sweeps out equal areas in equal times. Since the force is also conservative, the specific orbital energy is constant:
The last two terms form an effective potential. They show how the angular-momentum barrier competes with attraction and determines the turning radii. For nonradial motion the orbit is a conic section:
Negative energy gives an ellipse, with ; zero energy gives a parabola; positive energy gives a hyperbola. The circular limit has , and . For a bound ellipse of semimajor axis , and the orbital period is . The local escape speed is . These are the point-mass, test-particle limits; extended mass distributions or noncentral perturbations change the orbit laws.
photon orbit and the Newtonian limit. Write and . For a timelike circular Schwarzschild geodesic,
The denominator tends to zero at , so the energy per unit rest mass diverges as a massive circular orbit approaches that radius. The corresponding local orbital speed measured by a static observer satisfies and tends to one. This suggests a null circular orbit, but one must not simply insert into a massive-particle formula. For a photon, the radial effective potential is proportional to ; its derivative vanishes at and its second derivative there is negative. Thus the photon sphere is at , and its circular null orbits are unstable.
At , expansion gives
The second term is the total Newtonian circular-orbit energy, kinetic plus potential; the relativistic energy also includes rest energy. Here is the conserved energy referred to a stationary observer at infinity, not the local kinetic energy.
The stable inner edge. At fixed angular momentum, write . The timelike radial geodesic equation can be written
The circular condition gives . Substituting into the second derivative taken at fixed gives
Timelike circular orbits exist for ; they are stable against radial perturbations for and unstable for . Therefore
The boundary orbit is marginally stable. Differentiating also gives a minimum there, consistently with this fixed-angular-momentum stability calculation.
accretion efficiency and black-hole spin. Matter supplied slowly from far away initially brings rest energy . A radiatively efficient, zero-inner-torque thin disk releases the binding energy down to the innermost stable circular orbit; the remaining energy is carried into the hole during the plunge. Thus
Here denotes the efficiency called in this question. The ideal relation assumes negligible additional dissipation during plunge and neglects photon capture and advection. A hot radiatively inefficient flow need not have this efficiency.
For a Kerr black hole, an equatorial prograde disk has a smaller innermost stable circular orbit and greater binding-energy efficiency than the Schwarzschild value; a retrograde disk has the opposite trend. The formal extremal prograde limits are and . These are ideal limiting values, not a universal realized efficiency. photon capture and the accretion geometry affect the achievable black-hole spin and escaping radiation.
radiation force and the limiting luminosity. For isotropic luminosity , the outward radiation momentum flux at radius is . In fully ionized hydrogen, Thomson scattering acts mainly on the electron, while electrostatic coupling makes the electron and proton move together. Neglecting the electron mass, one electron–proton pair experiences
Equating them yields
This Eddington luminosity uses electron-scattering opacity, spherical or isotropic force balance and negligible relativistic corrections at the force-comparison radius. Composition, other opacity, anisotropy and photon trapping can change the relevant limit.
Exponential growth and doubling. Distinguish rest-mass supply from black-hole mass growth :
At the Eddington limit,
Using the printed scattering cross section gives . The Salpeter time is an e-folding time; the Eddington-limited doubling time is
for the Schwarzschild thin-disk efficiency. If one approximates , the factor is dropped and the estimate is about . The retained-energy version is the mass-conserving expression.
The efficiency bound. A growth factor requires e-folds. Eddington-limited accretion is the fastest growth allowed by the adopted luminosity bound at fixed efficiency, so growth within a time requires
This efficiency upper bound from Eddington-limited growth is an upper bound: higher efficiency radiates more of each supplied rest mass, and the luminosity ceiling therefore allows less mass to enter per unit time. A duty cycle below unity or sub-Eddington luminosity tightens it. The approximate convention would instead give ; both figures refer to the same effect, with different treatment of the radiated mass deficit. Mergers, super-Eddington growth or a different seed history would change the premises.
Coherent prograde accretion spins up the hole, moves the inner edge inward and increases . For fixed the mass-growth e-folding time then grows, so the logarithmic growth curve becomes less steep; one cannot simply retain the initial Schwarzschild efficiency throughout. Episodic misaligned accretion can have a different black-hole spin history. In general,
energy available to affect the galaxy. Let denote galaxy mass, keeping it distinct from black-hole mass. At constant efficiency, negligible seed mass and no merger contribution, the emitted energy in building is
For and the nonspinning efficiency this is approximately . The common small-efficiency approximation gives , and a fiducial would give about with retained mass included. These differences do not alter the conclusion: the available accretion energy substantially exceeds the stated galactic binding-energy estimate.
Only a coupling fraction of order one percent would then be energetically sufficient to affect the gas strongly. radiation, winds or jets can heat gas, drive outflows and suppress further cooling and star formation, providing active-galactic-nucleus feedback and possible self-regulation of black-hole growth. energy availability alone does not prove that the whole galaxy is expelled: most radiation can escape, jets can be collimated, heated gas can cool, and collisionless stars couple differently from gas.
Figure 1.
Original comparison of Eddington-limited growth at fixed efficiencies, including the radiated mass deficit
. Details.
Put and let dots now denote an affine parameter derivative. The null geodesic lagrangian in the orbital plane is . The time and azimuthal Euler-Lagrange equations integrate once; the null normalization gives
For completeness, the differential radial geodesic equation is
the remaining differential equations are and . Spherical symmetry permits the equatorial choice.
Eliminating yields . For , divide by :
The impact parameter is unchanged by a common rescaling of the affine parameter. At infinity it is times angular momentum divided by energy. Radial photons have and obey the undivided equation .
The effective potential is zero at , positive outside, and tends to zero as . Its derivative is . Thus
The circular null geodesic lies at a maximum, since . It is unstable: a small radial displacement away from the maximum permits motion away from the orbit. For incoming photons from infinity in the exterior of a black hole, an outer turning point exists when ; for the photon can cross the event horizon. For a material central body, the vacuum circular orbit is relevant only if lies outside its surface.
Figure 1.
Photon potential and horizon-penetrating light cones
. Details.
For the new coordinates, set , so . The geodesic Lagrangian is . Cyclic-coordinate conservation and the null condition give the required analogous equations:
Here denotes the same conserved time-translation quantity as before. The transformation is . In particular, the displayed time coordinate belongs to Ingoing Kerr-Schild coordinates for Schwarzschild spacetime; the usual advanced null coordinate of ingoing Eddington-Finkelstein coordinates is . Using a metric tensor with a vanishing coefficient while retaining the name would therefore solve a different coordinate representation.
An elimination that stays finite at the horizon is especially simple:
The middle equality uses . Hence the radial energy equation and are unchanged, including the horizon limit. The radial metric tensor block has determinant and is regular at . Its radial null directions are and , as shown in the original schematic.
This coordinate invariance of the Schwarzschild photon radial potential follows because the transformation changes the time slicing but preserves the areal radius and the stationary Killing vector field . Consequently the conserved Killing energy, angular momentum and impact parameter are the same. photon capture, the circular orbit and the radial turning points cannot depend on coordinate labels; coordinate velocities can.
Put , where , and work in the orbital plane. A dot denotes an affine-parameter derivative; for a material particle choose that parameter to be proper time.
First integrals and normalization. The geodesic Lagrangian is
Time translation and axial rotation make and cyclic, giving
The tangent norm is constant along an affine geodesic because the Levi-Civita connection preserves the metric. Therefore
For proper-time parametrization of a timelike worldline this norm is . For a null geodesic it is zero, for every affine normalization. Thus for the chosen material-particle normalization and for light. Proper time cannot itself parametrize a null ray, despite the same printed symbol being used for its affine parameter.
Null normalization and impact parameter. Under with , both and scale as , while the null path is unchanged. Their ratio is invariant. At large radius the spatial speed with respect to asymptotic time is , and orbital angular momentum per affine tangent gives
For an orientation chosen with , this is . Setting is a choice of affine scale, not a claim that all photons have equal measured energy. Once a tangent is identified with a physically normalized four-momentum, its energy fixes that scale.
Orbit shape. Substituting the constants in the norm and multiplying by gives
For and , . Hence
The radial orbit must be treated with the radial equation, because azimuth is then constant.
Circular photons and stability. For a null ray define . Its radial equation becomes
The circular orbit requires and , so
It is at a maximum of the null effective potential and is unstable. Equivalently the Binet equation linearizes about to , admitting exponentially growing radial deviations in azimuth.
Capture from infinity. Divide the null radial equation by . The quantity opposing inward motion is , whose exterior maximum is . There is no outer radial turning point precisely when
At equality an exactly critical ray from infinity asymptotes to the photon sphere; it does not cross the horizon at a finite affine parameter. Above the threshold an initially inward ray from infinity reaches an outer turning point and scatters. The radial case is also captured. These statements refer to inward rays launched from the asymptotically flat exterior, not arbitrary initial data inside the angular-momentum barrier.
Figure 1.
Original Schwarzschild capture calculation: the null-potential barrier and a captured equatorial ray crossing the horizon and ending at finite azimuth
. Details.
Approach to the singularity. A captured nonradial ray bends inward, crosses and then the event horizon , and continues toward the curvature singularity. A plot in is only a coordinate projection, not a Euclidean spatial slice inside the horizon. For large the cubic term in the shape equation dominates:
for the inward branch with . Its integral is
Thus the azimuth tends to a finite limit at the singularity, rather than winding infinitely often there. Near-critical rays can accumulate many turns near before capture, which is a separate phenomenon. A strictly radial ray has constant azimuth and does not admit this azimuthal asymptotic form. The radial equation also gives for a nonradial null ray, confirming finite remaining affine parameter.
Material capture and the condition at infinity. To recover the quoted threshold, take the usual marginally bound orbit, initially at rest at infinity: . With ,
The turning-point quadratic has discriminant . It is positive for large and has no real positive root when , while the radial case also falls in. Therefore
At equality the quadratic is proportional to and the orbit asymptotes to the unstable marginally bound circular orbit at . For larger , an incoming marginally bound particle encounters the outer turning point and scatters.
The source says only “from infinity”, without explicitly fixing the asymptotic speed. For a general incoming speed , and
The same bound remains sufficient for capture, since the added constant is nonnegative. It is the exact threshold only for . At fixed , the critical unstable orbit satisfies
Then . This states both the printed sufficient condition and the additional assumption needed to call it a sharp capture boundary.
Write , with . On the equatorial plane, the geodesic Lagrangian is
The coordinates and are cyclic, giving . The conserved physical energy per unit rest mass is , while is the signed angular momentum per unit rest mass. The radial Euler-Lagrange equation, with , is
These are the requested geodesic equations. The equatorial condition is consistent with the polar equation by the spherical symmetry of the Schwarzschild metric.
The normalization of the four-velocity is . Insert the two conserved quantities and multiply by to obtain
This is a one-dimensional radial energy equation. Half of its left side is radial kinetic energy per unit mass plus an effective potential: the Newtonian centrifugal and gravitational terms acquire the extra attractive contribution .
A timelike circular Schwarzschild geodesic requires . Equivalently, set the derivative of to zero. At this gives , and substitution in the radial energy equation yields
Such timelike circular orbits require . Their coordinate angular velocity satisfies , and their proper clock rate is .
For the static North-Pole clock, . Consecutive overhead passages occur one coordinate orbital period apart, and the repeated Earth-satellite geometry gives equal signal travel delays. The comparison of circular-orbit and static Schwarzschild clocks therefore gives
This includes both gravitational and orbital-motion effects; a separate Newtonian time-dilation correction must not be added again.
For an estimate, Kepler's third law gives . The same approximate geostationary radius and period give . Expanding the ratio to first order,
The satellite clock consequently gains about over a three-hour orbit in this approximation. The surface observer is taken to be static, and the spacetime model is the spherical Schwarzschild metric specified in the problem.
Set in part (a), substitute the two conserved quantities, and multiply the normalization by :
Consequently the null effective potential in Schwarzschild spacetime is
Only radii where the total radial energy is at least this effective potential are accessible.
For , the effective potential vanishes at , rises to a maximum, and then falls to zero as . Its derivative is , so the only circular null geodesic has
The second derivative there is , proving instability by the effective potential stability criterion. These circular orbits make up the photon sphere. If the formula is continued inside the horizon, the potential is negative and diverges to as . For purely radial light, , the potential is identically zero and there is no circular orbit.
Figure 1.
Schwarzschild null radial potential and the static-observer escape cone inside the photon sphere
. Original dimensionless plots. The left panel shows the exterior potential and its maximum at ; the right panel shows the critical escape half-angle for . The horizon endpoint is a limit of exterior static observations. Details.
For fixed nonzero , the radial effective potential is . Its stationary point is
The equilibrium is therefore stable. A Taylor expansion with and gives
Qualification: the printed “any” excludes a regular interior equilibrium when . In that case has no stationary point for . Its minimum is the nonsmooth apex, where these coordinates and the smooth-cone dynamics fail.
A spherical three-momentum ultraviolet cutoff gives
For and , the asymptotic expansion is
In particular, the leading ultraviolet divergence is quartic. For , exactly.
Write . Under the proposed identification, the scalar potential from a field-dependent momentum cutoff is . It is even and nonnegative, and its derivative with respect to is away from zero. Consequently its only global minimum is at : this contribution alone does not cause spontaneous symmetry breaking. At large it grows quartically. At small with fixed positive , however,
Thus the quartic sketch is an asymptotic shape, not the exact small-field behavior for a massive original field. Identifying a regulator with a new field is an additional modeling prescription; an actual effective potential also depends on the new field's dynamics and any other allowed terms.
For central potential and nonzero angular momentum , a circular orbit satisfies , so attraction requires . Twice differentiating the radial effective potential gives . Its harmonic approximation therefore has radial angular frequency , whereas . This proves the ratio and shows stability precisely when . At the tuned effective potential is flat; at the radial disturbance grows exponentially. Rationality of this local frequency ratio is only a necessary condition for all nearby orbits to close; Bertrand's theorem makes a stronger finite-amplitude assertion.
At fixed specific angular momentum , perturb the effective potential about a circular orbit. Linear radial motion has , where . Positive gives stable oscillations; axial symmetry alone does not force that sign.
For the height profile , set and use the planar small-slope model. Its effective potential per unit mass is . Release with negligible radial speed at gives and the displayed radial-speed law. A bounded trajectory requires , equivalently . The two positive turning radii are and ; they coincide at the circular solution . Zero energy is marginal escape, not bounded motion.
When the radiofrequency drive is much faster than the Paul trap secular motion and Paul trap micromotion is small, averaging the oscillatory force produces the displayed effective potential. The electric field here is its peak oscillating amplitude. It is an energy, not a static electrostatic potential, so confinement does not contradict the static electrostatic no-trapping theorem. Excess Paul trap micromotion from displacement from the radiofrequency null is distinct from the intended slow Paul trap secular motion.
If a free real scalar field's three-momentum ultraviolet cutoff is identified with the absolute vacuum expectation value of another scalar field, the displayed scalar potential is even and has its unique global minimum at zero. It grows as for , but as for with . The positive derivative with respect to proves that this contribution alone does not produce spontaneous symmetry breaking. This cutoff identification is a model assumption, distinct from deriving a complete effective potential for a dynamical field.
For with , nonzero physical angular momentum and positive energy , put and . Direct integration of the effective potential radial equation gives the displayed orbit. It has one radial minimum and two straight-line asymptotes separated by polar angle . The repulsive scattering deflection is ; no bounded or circular orbit exists at finite positive energy.
For a spherical pendulum with nonzero conserved vertical angular momentum , eliminate the azimuthal angular velocity using . The polar effective potential is . A conical pendulum at is a minimum satisfying . Linearization at fixed yields polar angular frequency , where is the conical revolution frequency squared. Holding fixed during the perturbation would describe a different, externally driven constraint. The polar perturbation is a nutation; the exactly planar limit requires separate treatment.
For a central potential and fixed nonzero angular momentum , the effective potential has a nondegenerate stable circular orbit when and . Its radius obeys . The radial small oscillation frequency satisfies , where . Rational frequency ratios close the linearized near-circular sketch, but generally not the exact finite-amplitude orbit; Bertrand's theorem distinguishes the exceptional harmonic and Kepler potentials.
Small-slope particle motion on a height graph Created 2026-10-14 Updated 2026-10-24
A particle constrained to the graph has kinetic energy and potential energy . For a gently varying graph and velocities for which its geometric kinetic correction is higher order, the leading Euler-Lagrange equations are the displayed planar gradient-force equations. Small slope alone at arbitrarily large speed or curvature does not justify discarding the normal inertial acceleration. For a radial height, the leading planar angular momentum is conserved, allowing an effective potential reduction.