Let and introduce positions relative to the centre of mass, . The definition gives , and differentiation gives . Expand the total kinetic energy:
The cross term vanishes. This proves the kinetic energy decomposition about the center of mass:
The decomposition itself holds without rigidity.
For a rigid body rotating about its centre of mass, . With unit axis vector , the moment of inertia about that axis is
where is the perpendicular distance from the axis. Therefore
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.
Let , and let be the reduced mass. The stellar distances from the center of mass are and . For a circular Kepler orbit, , so summing the two orbital contributions gives the circular-binary orbital angular momentum
The separation is inside the square root. This also has the required dimensions of angular momentum.
For the homologous rotating collapse, label a fluid element by and its polar angle . Its enclosed mass is constant during stellar homology, as are the dimensionless density profile and the inertia coefficient . Conservation of angular momentum and solid-body rotation give
The magnitude of the centrifugal acceleration is , while the Newtonian gravitational field has magnitude . Therefore
Using only the radial component of centrifugal force replaces by and leaves the scaling unchanged. The centrifugal force vanishes on the rotation axis; the central point is understood through the limiting field rather than a ratio of two zero forces.
At the equator of the cloud, critical rotation of a spherical cloud means , where . Consequently
Immediately after the first fission, each daughter has mass and radius because the spheres touch. Their orbital moment of inertia is , while their combined spin moment of inertia is . With a common spin and orbital frequency , the synchronous fission model for binary formation gives
The common frequency can change during fission; corotation requires equal instantaneous frequencies, not an unchanged frequency from before the rearrangement. Equating the two values of yields
For a nonzero positive inertia coefficient, the necessary and sufficient condition in this algebraic model for is
For example, a moment of inertia of a uniform solid sphere has and gives ; it fails the required compact-fission condition. A sufficiently centrally concentrated cloud can have smaller .
For the next collapse, neglect exchange of spin with the unchanged outer orbit, so each daughter's spin angular momentum is separately conserved. Immediately after the first fission that spin is
For a daughter of mass to reach critical rotation of a spherical cloud at radius , the same relation gives . Hence
Equivalently, its centrifugal-to-gravity ratio starts at when its radius is and reaches one after contraction by a factor four. Applying the same fission rule to this daughter produces an inner pair with separation
Corotation at this second fission is local to each newly formed inner pair; it is not a single common frequency for the entire four-star hierarchy.
This spin assumption matters. If tidal locking instead kept each shrinking daughter synchronized to the fixed outer orbital period throughout the intervening collapse, its angular velocity would remain fixed. Its centrifugal-to-gravity ratio would then scale as and decrease, so it would never reach the proposed second fission. This is a counterexample to extending the corotation assumption through the whole contraction. The printed ratio describes the separately spin-conserving interpretation of the repeated fission hierarchy.
The model can generate a compact hierarchy algebraically, but is not a general physical account of multiple-star formation. In the allowed range , one has , suggesting well-separated inner and outer scales. However, rapidly rotating gas deforms, touching daughters are tidally distorted, and pressure, gas flows, dissipation and spin-orbit torques cannot generally be ignored. The assumed identical profiles, equal mass splits, instantaneous corotation and later torque-free contractions are restrictive. Star formation can involve gravitational fragmentation and redistribution of angular momentum; the toy budget neither proves that fission occurs nor predicts the population of real multiple systems.
The area element in plane polar coordinates is . Thus the axial moment of inertia is
For the removed material, the angular width is , and
Its moment of inertia is therefore , leaving
The torque equation gives constant angular acceleration, so the time to reach the prescribed angular speed from rest is
To find the centre of mass after removing material, let point along the bisector of the missing sector in the disc. The original disc has zero first mass moment about its centre. The missing sector has zero transverse first moment by reflection symmetry, while its component along is
because the radial integral is . The remaining first moment is . Dividing by the given mass gives the body-fixed centre of mass
It lies away from the missing sector. In the inertial frame, let be the moment the applied torque stops and let give the orientation of that sector's bisector. Then, with ,
The centre of mass has inward centripetal acceleration of magnitude . The required real force is the constraint reaction exerted by the fixed rod and its support. Its horizontal resultant is ; a zero applied axial torque does not imply a zero resultant force.
Here denotes the unreduced second mass moment tensor, distinct from its trace-free mass quadrupole moment. In coordinates referred to the chosen origin,
This expression uses . In SI units the leading nonrelativistic mass density is . For slowly moving point masses, , so
Kinetic corrections to the energy density are higher order in the velocity. The second mass moment tensor is not the mechanical moment of inertia tensor, which instead has components .
Use the paper's positive binding-energy convention ; the physical Newtonian gravitational potential energy is . Assume positive masses, an isolated system, and no collision during the time interval under consideration. Differentiate half the scalar moment of inertia, , twice:
Group the force term into unordered pairs. The force on particle from is ; the two contributions to the virial sum are therefore
Adding them proves the instantaneous virial theorem identity
No time average is needed for this form. A vanishing average of would require additional boundedness assumptions.
For the pairwise moment-of-inertia identity, expand the squared pair distances:
The last term vanishes in the centre of mass frame, giving
Let , and label the two smallest masses . If , every term in is at most , so . One pair attains , and its mass product is at least , so . Hence
These constants show the minimum-separation binding-energy bounds: inverse binding energy is comparable to the nearest-pair distance, independently of configuration.
Similarly, every separation is at most and at least one pair attains . The pairwise identity gives the maximum-separation inertia bounds
Both lower bounds rely on actual extremal separations, rather than an arbitrary numerical lower or upper estimate for all the pair distances.
Negative energy does not imply a positive lower bound on the minimum separation. The printed request is false if it is meant to exclude close approaches or collisions; the trivial bound says nothing of that kind. In fact and give , which, combined with , proves the negative-energy minimum-separation upper bound
This ensures at least one close pair, not confinement of every particle or prevention of collision.
An explicit negative-energy gravitational collision is a pair initially at rest with separation . Its total energy is . For reduced mass , its relative radial equation is
The separation decreases to zero in the finite time
Before that time the motion is a regular Newtonian solution, yet its separation has no positive infimum. Even at fixed negative energy, bound Kepler orbits with eccentricity approaching one have arbitrarily small pericentre distance. Thus a missing angular momentum or collision-exclusion hypothesis cannot be supplied by the energy sign alone.
For , the instantaneous virial theorem gives . Integrating twice from any regular time gives
Using , obtain the positive-energy linear diameter growth bound
whenever the numerator is nonnegative. Consequently, for a solution existing for arbitrarily large future times,
This is the precise at-least-linear expansion statement. It does not assert that is monotone at every instant, nor that all individual particles escape. The large-time conclusion presupposes continued existence of the trajectory; the inequality itself holds on every nonsingular time interval.
Let the uniform mass density be . In spherical polar coordinates about the rotation axis, the perpendicular distance is and the volume element is . The moment of inertia is therefore
In the given rigid body kinetic energy decomposition, is the translational kinetic energy of the whole mass moving at its center of mass velocity. The term is the rotational kinetic energy about the center of mass. The mixed term vanishes because the mass-weighted relative positions sum to zero.
For rolling without slipping, the point of contact has zero instantaneous velocity relative to the stationary surface. Its rotational velocity is opposite the center of mass velocity and has magnitude . Hence . Substituting this and the moment of inertia of a uniform solid sphere gives
The rotational axis is through the center of mass and parallel to the surface, perpendicular to the direction of rolling.
Assume the particle masses are fixed and their total mass is positive. The centre of mass and the relative position vectors are
Their weighted sum is zero, so differentiation gives . Expanding the kinetic energy with makes the mixed term vanish:
This kinetic-energy decomposition about the centre of mass separates translation from internal motion without assuming any particular force law.
For the rigid body, its relative velocity is . The cross product identity for a unit vector gives , the squared perpendicular distance to the rotation axis. Hence the moment of inertia of the particle is , and summing the rotational kinetic energy yields
The Skyrme model represents the three pions by a field in the special unitary group ,
with Pauli matrices . Near , the three tangent components are the pion fields, with a normalization scale suppressed here. Define . In one useful sign convention with metric , the action consists of
where and the last term is optional, with proportional to a common pion mass squared. The first term is a nonlinear sigma model kinetic term, and the second is the four-derivative term of the Skyrme model. For a static configuration of size , the two derivative contributions scale as and , whereas a mass term scales as . This Derrick scaling explains why the four-derivative term can stabilize a finite size instead of allowing collapse.
A finite-energy field configuration approaches a vacuum, conventionally . Compactifying space makes a map . The topological baryon number in the Skyrme model is its degree of a map between oriented manifolds,
The sign convention makes the standard decreasing hedgehog have . Smooth evolution with the vacuum boundary condition preserves this integer. A Skyrmion is a localized soliton in such a sector; the unit soliton, after quantization, models a nucleon, and higher positive charges model multi-baryon systems. The topological conservation law is distinct from an ordinary Noether charge of isospin. Classical pion fields are bosonic, so obtaining fermionic nucleons also needs the quantum-statistics choice discussed below.
The derivative theory has global chiral symmetry , acting by . The simultaneous pair acts trivially, so the faithful connected action can also be viewed as on . In the massless theory the choice of vacuum breaks this to the vector subgroup. For fixed , the vacuum-preserving symmetry of the Skyrme model requires and acts by . This is isospin, effectively because and act the same way. A usual common pion-mass term explicitly preserves only this vector subgroup; full chiral symmetry is then an approximate massless-limit symmetry, not an exact symmetry of that term. Independent axial rotations change the vacuum and are not extra localized rigid-rotor coordinates in a sector with fixed boundary vacuum.
The space-time symmetry is the Poincaré group, comprising translations and Lorentz transformations, including spatial rotations. Parity acts as , since pions are pseudoscalars. For a static finite-energy solution, translations change its position; spatial rotations and isorotations change its orientation. These transformations generate collective coordinates, but a particular field can be unchanged by certain combined transformations.
For the usual low-charge minimum branches of the standard model, the relevant shapes and density symmetries are the following. These are not claims about every field of a given degree, all excited solutions or arbitrary modified pion potentials.
Figure 1.
Schematic Skyrmion configurations
. Schematic shapes of the Skyrme baryon density at low charge: sphere, torus, tetrahedral shell and cubic shell. They show shape and symmetry, rather than numerically computed density isosurfaces. Details.
For , the Skyrmion hedgehog ansatz is
Its Skyrme baryon density is spherical. Indeed . A spatial rotation rotates the pion direction, so the field itself is invariant under a compensating isorotation, not under every spatial rotation alone. Its proper combined stabilizer is a diagonal .
For , the toroidal two-Skyrmion has a ring-shaped density with an axial hole and full density symmetry . The proper combined field stabilizer is an -type group: its continuous subgroup pairs axial spatial rotation by with isorotation by , and it also has discrete transverse half-turns. The angular approximation makes the axial factor two explicit. A static two-baryon minimum is consequently not simply two separate round unit lumps.
For , the tetrahedral three-Skyrmion has a tetrahedral shell with four face-hole directions and full density group . Its proper rotational group is , the tetrahedral symmetry group of order 12. The actual field symmetries again pair these rotations with isorotations.
For , the cubic four-Skyrmion has a cubic shell with six face-hole directions. Its full density group is , the symmetry group of a cube, and its proper group is , the rotational symmetry group of a cube of order 24. Cubic and octahedral symmetry name the same point group; this particular density shape is cubic. Reflections in these full density groups should not be confused with the proper rotation-isorotation group used for angular-momentum quantization.
As a concrete independent check on these shape symmetries, the rational map approximation for Skyrmions uses
with and . Representative maps are
Their degrees are , and with the stated radial boundary conditions their baryon numbers equal these degrees. The angular Jacobian of a rational map is . It vanishes at branch directions. has uniform angular density; has its two branch directions on the axial poles; the Wronskian of a rational map for is proportional to , giving tetrahedrally arranged holes; has branch directions , giving the six cube-face directions. Also pairs a spatial quarter-turn with an isospin half-turn. These give illustrative approximate fields, not exact analytic solutions or a proof of global energy minimality.
To quantize, first distinguish the model's group from the chosen soliton's stabilizer subgroup . A family of the same static energy is
Ignoring translations for the moment, , and different rigid orientations form the Skyrmion collective-coordinate orbit . The connected stabilizer dimensions are for the four shapes, so their orientation-orbit dimensions are ; adding translations gives . For the unit hedgehog, treating rotation and isorotation as six independent modes would double-count its locked orientation. For higher charges, arbitrary separation of constituent lumps is not an exact flat moduli space in this non-Bogomolny theory.
Let the orbit coordinates depend slowly on time. Integrating the kinetic terms gives a collective-coordinate effective Lagrangian , with positive kinetic metric after removing redundant stabilizer directions. Its angular blocks are the spatial, isospin and mixed inertia tensors. Collective-coordinate quantization produces a rotor Hamiltonian on this orbit, with translations giving center-of-mass momentum. The global symmetry supplies states transforming in spin- and isospin- group representations, and the associated conserved angular momenta. Inertia tensors determine energy splittings; group symmetry alone does not specify those tensors or their numerical energies.
The topology and the static stabilizer supply further collective-rotation constraints for a Skyrmion. The degree- configuration space has fundamental group , related to . Choosing the nontrivial Finkelstein-Rubinstein constraints character gives fermionic unit baryons. Wavefunctions live on the appropriate cover, and a lifted stabilizer operation obeys
The sign depends on whether the actual field-configuration loop is contractible, not just on whether the density looks symmetric. A spatial rotation or isorotation has sign in this fermionic choice, so
Thus odd baryon number requires half-integer spin and isospin; even baryon number requires integers. Discrete or continuous combined stabilizer symmetries impose additional restrictions on the allowed pairs and body-fixed rotor states. They must not simply be omitted, or replaced by trivial invariance under every density symmetry. The trivial character is a possible bosonic quantization but would not produce a fermionic nucleon. Improper field symmetries, implemented using the model parity transformation, can additionally constrain parity labels; scalar-density reflection symmetry alone is insufficient to infer those labels.
For example, the two-Skyrmion axial stabilizer can be written in body-axis conventions as , with the spatial and the isospin generators. A transverse spatial half-turn accompanied by an isospin half-turn has the nontrivial sign in the Finkelstein-Rubinstein constraints. The integer-spin scalar state is therefore excluded despite even . A spin-one, isospin-zero state with zero axial body projection has the required minus sign under that half-turn; the spin-zero, isospin-one channel can also satisfy the constraints. Their relative energies require the inertia tensors.
For the unit hedgehog, these requirements reduce to rotational quantization of a unit Skyrmion: one orientation with has . With the energies are , where is its moment of inertia. Since , the purely rotational hedgehog band has positive parity; vibrational excitations need not share it. The multiplet models the spin-half proton/neutron isospin doublet; gives the Delta baryon multiplet. The familiar lowest rotor assignments for are respectively . These assignments incorporate the corresponding field-stabilizer constraints and standard inertia ordering, not a prediction from density shape alone. Deformations, vibrational modes, radiation and binding dynamics lie beyond the rigid approximation. The two symmetry roles are therefore
With constant masses, differentiate the moment of inertia twice:
For each pair, and . Hence its contribution is . Summing over unordered pairs gives . Time-averaging over yields
For a bound system with , or a stationary equilibrium with zero average left-hand derivative, the limit is the virial theorem
Bounded spatial extent together with bounded velocities suffices for the derivative condition; possible gravitational collisions must be excluded or otherwise regularized.
A collective coordinate describes a position, orientation, or another parameter of a family of static solitons. For a family , promote to a slowly varying and substitute into the field action. In a scalar theory with unit kinetic coefficient, this gives the collective-coordinate effective Lagrangian
For a gauge-theory soliton, one also solves the Gauss law constraint in gauge theory constraint and projects out pure gauge transformations; arbitrary variations of gauge representatives do not define the physical metric. Tangent vectors to an exactly equal-energy family are zero modes in field theory. If is constant, the Euler-Lagrange equations of this moduli-space approximation are
the geodesic equations of its Riemannian metric. The approximation neglects radiation and deformation modes; it describes motion sufficiently slow that these omitted degrees of freedom remain unexcited to the required accuracy.
In collective-coordinate quantization, take the wavefunction measure and the minimal scalar Hamiltonian operator
The Laplace-Beltrami operator supplies coordinate-invariant kinetic energy. Global identifications and statistics must be imposed on the wavefunctions; the classical metric alone does not choose them. Curvature-ordering terms and loop corrections are additional quantum input.
For the phi-four kink, use the normalization and profile of Question 1. Substituting gives
The metric is constant because of translation invariance. This proves the translational dynamics of a phi-four kink: classically the centre moves at constant velocity, and quantum mechanically
Plane waves label the continuous translational momentum, with no position-dependent potential. Uniform-motion Lorentz invariance upgrades the dispersion to ; the displayed collective Lagrangian is its small-velocity expansion. Small perturbations also include an internal shape mode and continuum radiation, which this single collective coordinate omits. The fluctuation operator of a phi-four kink in this normalization is
the translational eigenfunction has , the shape mode has , and continuum modes in the spectrum start at . Thus the free-coordinate states describe the kink's low translational energies, not its full excitation spectrum or quantum mass correction.
For two Abelian Higgs vortices at critical coupling, the static energy is and the Abelian Higgs vortex moduli space has four real dimensions. Let be their positions, , and . The centre of mass decouples; the relative metric is rotationally symmetric and can be written
At large separation, , recovering two free particles. Although there is no static separation potential, the nonconstant metric produces velocity-dependent interaction. Coincidence is smooth in the relative coordinate for two identical vortices , not in the double-valued . Smoothness gives for near zero. A head-on geodesic continues through to the opposite real ray, so changes its line by : the vortices scatter through a right angle. This geometric argument does not require an explicit formula for .
With ordinary bosonic exchange statistics, relative wavefunctions are single-valued in and smooth at coincidence. In the separated polar coordinate they obey , with even integer angular labels. Their kinetic operator is
The apparent singularity at must be resolved with the smooth coordinate and regularity, rather than arbitrary boundary conditions on a punctured cone. The free centre-of-mass motion and the asymptotically free relative geometry give quantum scattering states; a flat static energy does not imply that the metric is flat or that scattering is absent. This is not a prediction of a discrete family of static two-vortex bound separations. The smooth collision geometry is developed in David Tong's arxiv.org/abs/hep-th/0509216.
For a Skyrmion of baryon number one, the Skyrmion hedgehog ansatz is
where are the Pauli matrices. Include a centre and an orientation through . Hedgehog symmetry identifies spatial rotations with opposite internal rotations, so there are three independent orientation coordinates, not six. Since and give the same field, the physical orientation space is , with SU(2) group as its double cover. Write . The leading collective Lagrangian has the form
where is the rotational moment of inertia obtained by integrating the profile's field kinetic energy.
For the fermionic quantization appropriate to baryons, the Finkelstein-Rubinstein constraints on the double cover impose . In SU(2) representations, the central element acts by , so must be half-integer. Left and right group actions supply isospin and spin angular momentum; hedgehog symmetry makes their magnitudes equal. The rotational quantization of a unit Skyrmion therefore gives
The level has four spin-isospin states and models the nucleon doublet, proton and neutron, each with two spin states. The level has sixteen states and models the Delta baryon quartet, each with four spin states. The rotor predicts a splitting . Without the fermionic sign, single-valued functions on would instead allow integer , which is a different quantization. High rotor levels can couple to deformation and pion radiation; this semiclassical approximation does not establish that its entire formal tower consists of stable particles.
Let the heavier block move downward, so no slip gives linear acceleration . Newton's equations and the pulley torque equation are
Eliminating the tensions gives the first-order equation
With , its solution is
For a thin slice of the solid of revolution, and its axial moment of inertia is . Consequently
Writing , rotation about the -axis gives particle the speed . Its kinetic energy is therefore , so
This is the defining mass sum for the moment of inertia about the -axis.
For the uniform cuboid, the mass density is and
The moment of inertia about an axis is
where is the perpendicular distance to the axis. The disc mass is
To leading order in , the distance from the -axis is . Using polar coordinates in the disc,
For axis unit vector ,
For a body, replace the sum by .
For the hollow ball,
Energy conservation and give
The factor increases with , so if , ball B accelerates more and arrives first. Moving the cavity off centre removes material with a larger lever arm and lowers the moment of inertia about the centre of mass; despite the resulting wobble, ball C therefore rolls down faster than A.
For a uniform solid cylinder, set in the moment of inertia formula, giving
For the hollow cylinder, makes the denominator larger:
on a downward incline with . Thus the solid cylinder accelerates faster, assuming rolling without slipping for both. More of the hollow cylinder's mass lies far from the rotation axis, increasing its moment of inertia relative to .
The solid cylinder has constant mass density . A thin cylindrical shell of radius and thickness has mass . Its contribution to the axial moment of inertia is . Therefore
The attached wheels are massless, so they add no moment of inertia. This is the moment of inertia of a uniform solid cylinder about its central longitudinal axis of rotation.
The uniform rod has linear mass density . Integrating squared distance from the pivot gives its moment of inertia about the axis perpendicular to the plane of motion:
Measure from the downward vertical. The center of mass is at distance from the pivot, so gravity produces the restoring torque . The fixed-axis rotational equation of motion is . Therefore the physical pendulum obeys
The pivot force has zero torque about the pivot.
The rod and disc contribute restoring torques and , respectively. Using i in the rotational equation of motion gives
Only the disc's center of mass enters its gravitational torque; its finite radius enters its moment of inertia. The formula is also regular at , although the source happens to exclude that value.
The disc is rigidly attached, so its rotation axis is perpendicular to its face. Its moment of inertia about its center is : with surface mass density , an annulus of radius contributes , whose integral is . The parallel axis theorem adds at the pivot. Adding the rod's moment of inertia gives