How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Momentum, work and energy balances — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Arc Length and Rectifiable Curves
- Binary Operations, Monoids, Groups and Subgroups
- Cm Math Balances
- Cm Math Geometry
- Cm Math Rigid
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- Connectedness
- Constant Rank, Submersions, Immersions and Regular Level Sets
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Determinants of Matrices over a Commutative Ring
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Exterior Powers, Orientation and Hodge Duality
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Forces, initial data and Newtonian flow
- Foundations of the Real Numbers for Analysis
- Framework, quantities and geometry
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Hereditary and Productive Behaviour of the Separation Axioms
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Line Integrals and the Gradient Theorem
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Momentum, work and energy balances
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Picard-Lindelöf and First-Order Ordinary Differential Equations
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Properties of the Integral and the Working FTC
- Rank Theorems and Embedded Submanifolds
- Regular Surfaces and Surface Integrals
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Roots, Rational Powers, and Classical Inequalities
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Simple Field Extensions and the Construction of the Complex Numbers
- Sine, Cosine, and the Definition of Pi
- Smooth Manifolds and Smooth Maps
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tangent Cotangent and the Differential
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Fundamental Theorems of Calculus
- The Inverse and Implicit Function Theorems
- The Inverse Function Theorem Completed
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
These examples and counterexamples exercise the balances of cm03-momentum-work-and-energy-balances on explicit data and probe their hypotheses. The two-body Hooke model (A two-body Hooke model with an exact circular relative motion: momentum, kinetic splitting, moving-origin angular momentum, energy conservation and the kinetic boost law checked on explicit data) is a declared pair-potential model with a linear force map and an exact circular relative motion about a uniformly moving centre of mass; the check computes the total momentum, the centre of mass, the kinetic splitting with the reduced mass, the angular momentum about the origin and about a moving reference curve — where the correction is nonzero when the chosen nonzero velocities and are perpendicular, although the total torque vanishes — the mechanical energy as a constant of the motion, the power identity, and the kinetic and mechanical boost terms under the change to the centre-of-mass frame.
The driven one-dimensional model (A driven one-dimensional model with a time-dependent potential and a residual force: the mechanical-energy balance, the integrated work form and the normalization ambiguity computed on explicit data) declares a time-dependent potential and a residual force and exhibits a quadratic motion on which the balance , the work-energy theorem, the integrated work form and the shift of the energy and its rate under the renormalization are computed in explicit numbers; the energy is not conserved because the model is driven.
The counterexamples probe the hypotheses. Centrality of the pair forces is not necessary for the vanishing of the internal torque sum: the three-label model of Non-central antisymmetric pair forces with vanishing internal torque sum: the centrality clause is not necessary for angular-momentum conservation has constant, antisymmetric, non-central pair forces whose pair torques cancel identically through a telescoping identity, so its angular momentum about a fixed origin is constant although the centrality clause of Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case fails. Closedness of a time- and velocity-independent force field is not sufficient for a global potential: on the declared annular domain the scaled vortex field of A closed model force field on an annular domain without a global potential energy: force-generating potentials exist only locally is smooth, closed and state-Lipschitz, yet its circulation around the circle of radius is , so no global force-generating potential with zero residual force exists and the conservation clause of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form cannot be applied globally; on every star-shaped subdomain the Poincaré lemma supplies a local potential and the energy is conserved locally.
3 · Logical flowchart
4 · Definitions, postulates, theorems and proofs
None yet.
5 · Examples, experiments and counterexamples
A two-body Hooke model with an exact circular relative motion: momentum, kinetic splitting, moving-origin angular momentum, energy conservation and the kinetic boost law checked on explicit data
A worked model check inside the two-body potential branch: for a declared Hooke pair potential with spring constant, mass, separation and centre-of-mass velocity data, the displayed circular relative motion is the unique maximal motion of the model, and along it the total momentum, centre-of-mass motion, kinetic splitting, angular momentum about fixed and moving reference points, mechanical energy and boosted kinetic energy take the values the balance theorems predict. The item asserts no measured value, models no physical spring and claims no empirical agreement.
Example
Fix the two-body model of Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch clause (iv) (the general pair-potential example) with , masses , time window , configuration domain (the potential below is smooth everywhere, so no collision exclusion is needed), and the Hooke pair potential with a declared spring constant of dimension (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework), so that has energy dimension. The force map is the two negative gradients of ; it is linear in the positions and independent of time and velocities, with , hence continuous and state-locally Lipschitz with the uniform constant . The model therefore satisfies the standing hypotheses of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance clause (iii), it has no external forces (), and its pair force is central: is parallel to . It presents its force map through the global potential in the sense of Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets clause (a).
Fix an oriented orthonormal triple with , a constant centre-of-mass velocity of dimension , and a length , and set (dimension ). Define Then is the unique maximal motion of the model with the datum , , , , and along it:
- the total momentum is , constant, and the centre of mass is with ;
- the kinetic energy is , and its centre-of-mass/relative splitting holds with reduced mass and relative coordinate ;
- the angular momentum about the origin is , constant, while for the moving reference curve with a constant velocity of dimension and one has , in agreement with the moving-origin correction; this correction is nonzero when both and are nonzero;
- the mechanical energy is , constant, and the power identity holds with equal to the negative time derivative of the potential energy ;
- under the Galilean change to the centre-of-mass frame (, , , ) the transformed quantities are , and , in agreement with Transformation of the state quantities under a change of inertial frame: centre of mass, total momentum, kinetic energy, angular momentum, torque, power, work and mechanical energy clauses 2 and 5.
Facts & Assumptions
Given: The model and data of the example: the Hooke pair model with on , , an oriented orthonormal triple with , a constant velocity , a length , the curves , , , and the reference curve with constant velocity .
Model notions (The associated first-order system, motions, maximal motions and the Newtonian flow of a force model, Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame): a motion is a curve with ; along it , , , , , , for a differentiable reference curve , and for the declared potential. The model is the pair-potential branch of Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch with , , no external forces and central pairs.
Existence and uniqueness (Local existence and uniqueness for the Newtonian initial-value problem, with the quantitative Picard-Lindelöf cylinder clauses 1, 2 and 4): the force map is continuous and state-locally Lipschitz, so every datum has a unique maximal motion and every motion with that datum is a restriction of it; in particular a motion with the datum whose interval is the whole time window is the maximal motion.
Trigonometric and product rules (The derivatives of sine and cosine are cosine and minus sine, The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with , Sums, scalar multiples, products and quotients: , , , and when , The derivative of at a point that is a limit point of , and differentiability on a set, Parity and the Pythagorean identity for sine and cosine): the curve is with and , .
Euclidean and cross-product algebra (The Euclidean inner product on , The cross product in , The cross product is bilinear, alternating, and orthogonal to both factors): bilinearity and symmetry of the inner product, and ; from the oriented orthonormal triple, . Finite sums and scalar multiples are linear (Laws of finite sums and finite products, The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral).
Balance and transform laws (Total momentum balance and centre-of-mass equation for a model with antisymmetric pair forces, Total momentum equals total mass times centre-of-mass velocity, and the kinetic energy splits into centre-of-mass and relative parts (two-body reduced mass), Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case, Power of the total force and the work-energy theorem: and along a motion, Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form clauses 1 and 2, Transformation of the state quantities under a change of inertial frame: centre of mass, total momentum, kinetic energy, angular momentum, torque, power, work and mechanical energy clauses 2 and 5): the general statements whose values are checked below; the interval has nonempty interior (Intervals of : the nine order-convex forms, nondegeneracy, and length).
Verification
The curves are : is by [L3], and is as a sum of the linear curve and a scalar multiple of [L4]. With of [L3],
Equations of motion. Since , on the one hand ; on the other , and these agree. Likewise . Hence is a motion of the model on the whole time window , and by [L2] it is the unique maximal motion with its datum.
Total momentum and centre of mass. By step 1.1, so is constant and equals ; the model has no external forces, consistent with clauses 1 and 2 of Total momentum balance and centre-of-mass equation for a model with antisymmetric pair forces.
Angular momentum about the origin. By step 1.1, Expanding with and by bilinearity [L4], the four types of terms combine as follows: the terms occur twice and gives since ; the two terms pairing with are equal with opposite signs and cancel; the two terms pairing with are equal with opposite signs and cancel; and the two terms pairing with add: where by [L4]. This is constant in .
Kinetic splitting. With one has and by [L3], so the two-body clause of Total momentum equals total mass times centre-of-mass velocity, and the kinetic energy splits into centre-of-mass and relative parts (two-body reduced mass) predicts Directly, with and , bilinearity gives , so the same value. The relative positions are and , so .
Moving origin. For one has because is common to both terms and ; hence, by steps 2.3 and 2.2, so . The angular-momentum balance clause 2 of Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case reads ; here (no external forces) and because the pair force is central (), while , so the balance gives the same value .
Mechanical energy and power. Here is constant in time, and by step 3.1 and , constant, as clause 2 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form predicts (the potential is static and there are no residual forces). For the power identity, using , and , so the power is the negative derivative of the potential energy; clause 1 of Power of the total force and the work-energy theorem: and along a motion gives , consistent with and clause 1 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form.
Boost to the centre-of-mass frame. Take the second frame with , , and ; the description of the curves is , so and, by [L3], The frame law of clause 2 of Transformation of the state quantities under a change of inertial frame: centre of mass, total momentum, kinetic energy, angular momentum, torque, power, work and mechanical energy gives the same value. Finally the scalar transfer of the potential is at corresponding data because depends only on , so , and clause 5 gives again the same value.
Remarks
-
What the check exhibits. The example exercises the balances of the page on one explicit motion: the algebraic splitting, the momentum law with vanishing total external force, the angular-momentum law with a moving reference point (where the correction is nonzero when both chosen velocities and are nonzero and perpendicular, while the torque vanishes), the work-energy and mechanical-energy balances, and the transformation laws of the kinetic and mechanical energies. The centrality clause of Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case applies here; the companion counterexample exhibits a model where the same conservation conclusion holds without centrality.
-
Scope. The parameters , , , and are declared data of this computation; no measured value is asserted, no physical spring is claimed to obey the Hooke law in any regime, and the check is a deduction inside the model, not evidence about nature.
A driven one-dimensional model with a time-dependent potential and a residual force: the mechanical-energy balance, the integrated work form and the normalization ambiguity computed on explicit data
A worked computation in a declared one-dimensional potential presentation with an explicit time-dependent potential and residual force: the displayed quadratic curve, embedded as q(t)=x(t)e1 in the open configuration domain R3, is a motion of the model, and along it the mechanical-energy balance, the power identity, the integrated work form and the change of the energy under a time-dependent renormalization of the potential are computed from the model data. The item asserts no measured value and no conservation; the model is driven.
Example
Work in the force branch of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance with one label , mass , time window and configuration domain . Write and . Define and from the scalar expressions below, and set , independent of . Here the velocity argument of may be any ; these expressions are independent of it. Declare the potential presentation of Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets clause (a) where is a constant of dimension and a constant of dimension , so that has dimension and has the dimension of a force (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). Both maps are smooth; the force map of the model is , and the model satisfies on . On each compact time interval , its force has state-Lipschitz constant ; is state-independent. Thus both satisfy the standing regularity. The one-dimensional computation below uses the rectilinear motion and zero transverse coordinates and velocities. Each scalar force and residual-force expression denotes its component, , and ; no constrained configuration domain or reaction force is assumed.
The curve is a motion of this model, and with , of Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame and :
For the numerical clauses below, put ; displayed energy, power and work values include their SI units, and the interval means .
- on the interval the numerical data , , give and the balance of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form clause 1, , holds with and ;
- the power is , the work over is , and the work-energy theorem holds; the integrated form of clause 3 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form holds as ;
- replacing by the equivalent potential with (same force, different representative) gives and , so the balance holds in the renormalized presentation with a different value and rate;
- the model is driven and the energy is not conserved: in the first normalization, while the balance attributes the change to the explicit time dependence, , and the residual power, , whose sum is the energy change .
Facts & Assumptions
Given: The one-dimensional model and the curve of the example; the numerical data , , in the stated kilogram-metre-second units; the potential presentation with potential and residual force ; the definitions , in one dimension, , .
Model notions (Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance, The associated first-order system, motions, maximal motions and the Newtonian flow of a force model, Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame, Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets): a motion satisfies with on the presentation; the dimensions are read by Dimensions and SI unit conventions of the non-relativistic classical mechanics framework.
Calculus (The derivative of at a point that is a limit point of , and differentiability on a set, For a natural the function is differentiable everywhere with derivative ; for it is the constant , with derivative ; for a natural the function is differentiable at every with derivative ; consequently every polynomial function is differentiable at every real, with the derivative computed term by term, Sums, scalar multiples, products and quotients: , , , and when , Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative): derivatives of polynomials obey the power, sum and scalar rules, and a continuous derivative is integrated by the fundamental theorem on (Intervals of : the nine order-convex forms, nondegeneracy, and length).
Balance clauses (Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form clauses 1-3, Power of the total force and the work-energy theorem: and along a motion clauses 1-2): , and for motions of the presentation; the Euclidean inner product in one dimension is the product of the components (The Euclidean inner product on ).
Verification
The curve is with and on . Moreover so , with both transverse components zero. Thus is a motion of the model on the whole time window, and the scalar quantities below are its longitudinal components.
With the numerical data , and , write . Then and , so , and ; differentiating by [L2], . The two contributions of clause 1 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form are and , whose sum is ; the balance holds on .
Power and work. With , the power is , and by [L2]. On the other hand , so the work-energy theorem of clause 2 of Power of the total force and the work-energy theorem: and along a motion holds. The integrated form of clause 3 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form reads since , and [L2]; this agrees with the computed value.
Renormalization. Let and , a potential presenting the same force because ; its explicit time dependence along the curve is . With , step 2.1 gives and , while clause 1 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form reads , the same value: the balance holds in the renormalized presentation, with the energy and its rate shifted by and .
No conservation. Here does not vanish and does not vanish, so clause 2 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form does not apply; consistently, is positive on and . The balance of step 2.1 attributes this change to the explicit time dependence of the potential, , together with the residual work ; their sum is the energy change , in agreement with the direct value computed from step 2.1.
Remarks
-
The three contributions are visible. On this data the balance reads : the first term is the explicit time dependence of the potential and the remaining terms are the power of the residual force. Both are positive for , so the model is driven; this is the behaviour clause 2 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form excludes by hypothesis.
-
The representative matters. The renormalized potential presents the same force and the same motion, yet differs from by and its rate by ; a conservation statement must name the representative. The numerical data are declared model parameters, not measured values.
Non-central antisymmetric pair forces with vanishing internal torque sum: the centrality clause is not necessary for angular-momentum conservation
A counterexample inside the force branch: a three-label model with constant antisymmetric pair forces has non-central pair forces and yet its internal torque sum vanishes identically, so its total angular momentum about a fixed origin is constant along every motion even though the centrality hypothesis of the balance theorem fails. The item refutes only the claim that centrality is necessary for the internal-torque conclusion; it asserts no measured value and no conservation for general non-central models.
Statement refuted
In the force branch of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance with the external-plus-pair presentation and the antisymmetry clause (ii)1 of Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch, if the internal torque sum vanishes identically, then every pair force is central (parallel to ).
Equivalently: centrality of the pair forces is necessary for the internal-torque conclusion used by Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case.
Facts & Assumptions
Given: The force branch, one inertial frame, and the notation of Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame and of Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case: evaluated pair forces along a motion, the internal torque sum , the angular momentum and the torque decomposition of clause 1 of that theorem.
Model notions (The associated first-order system, motions, maximal motions and the Newtonian flow of a force model, Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame): a motion satisfies ; the pair presentation writes with ; the dimension conventions are Dimensions and SI unit conventions of the non-relativistic classical mechanics framework and the coordinate curves are those of Coordinate velocity and acceleration of a worldline in an inertial frame, and the spatial velocity and acceleration vectors.
Angular balance (Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case clauses 1-4): , and ; for a constant reference point with the angular momentum is constant; the centrality clause is sufficient for .
Momentum balance (Total momentum balance and centre-of-mass equation for a model with antisymmetric pair forces clause 2): if the evaluated total external force vanishes, the total momentum is constant.
Cross-product algebra (The cross product in , The cross product is bilinear, alternating, and orthogonal to both factors): bilinearity, , ; for the standard basis, , , . The Euclidean inner product is The Euclidean inner product on , finite sums are linear (Laws of finite sums and finite products), and is an interval with nonempty interior (Intervals of : the nine order-convex forms, nondegeneracy, and length).
Counterexample
The model. Take , masses , time window , configuration domain (no exclusion is needed), no external forces, and the constant pair force maps with for every ordered pair. Constant maps are continuous and state-Lipschitz with constant , the antisymmetry holds by declaration, and the presentation is ; hence the model satisfies the hypotheses of the force branch and of Restricted interaction models: pair decompositions, antisymmetry and centrality options, potential forces and the gravitational branch clause (i) with the antisymmetry clause (ii)1.
The motion. Set , and . Define These curves are with ; the net force on each label vanishes, so for all : the curves form a motion of the model on . Moreover the positions are pairwise distinct for every , since , and (the first or second coordinates in each pair cannot vanish simultaneously).
The internal torque sum vanishes identically. Using bilinearity [L4], and the bracket telescopes to . Hence on the whole configuration domain, without any centrality. The individual pair torques are nevertheless nonzero: at , , and , all with torque units and with sum zero; so the vanishing is by cancellation among the pairs.
The pair forces are not central. The pair force is parallel to only if ; but for every , since the two components do not vanish simultaneously; this torque has units . Hence centrality fails along the whole motion (and fails it for every configuration with ).
Angular momentum is conserved. By clause 1 of [L2], ; with the origin as reference point and no external forces, , so and clause 4 of [L2] applies even though the centrality hypothesis of clause 3 is not met: is constant along the motion. Directly, constant in and nonzero, with units .
Total momentum is also conserved: the total external force vanishes identically, so clause 2 of [L3] gives that is constant, as it is directly; this has momentum units .
Conclusion. The model satisfies the hypotheses of the balance theorems with antisymmetric, non-central pair forces; its internal torque sum vanishes identically and its angular momentum about the origin is constant along the motion. The refuted statement is therefore false: centrality is a sufficient but not necessary condition for the internal-torque conclusion of Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case, the cancellation occurring among the pair torques.
Remarks
-
What is refuted, and what is not. Only the converse direction is refuted: cancellation does not force centrality. The sufficient direction, centrality implies , is clause 3 of Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case and is unaffected. Nothing here claims that non-central models generally conserve angular momentum.
-
The cancellation is structural. The telescoping identity of step 2.2 uses only the constancy of the declared pair forces and the assignment , , ; it holds for every configuration, not only along the exhibited motion. The motion is used to exhibit nonzero individual pair torques and a nonzero conserved angular momentum.
A closed model force field on an annular domain without a global potential energy: force-generating potentials exist only locally
A counterexample in the force branch using the potential terminology: on a declared open annular configuration domain a smooth time- and velocity-independent force field is closed and yet has no global potential energy, so the model is not a global potential model, no global zero-residual potential presentation exists, and the energy-conservation hypothesis of the balance theorem cannot be replaced by closedness; on every star-shaped subdomain a local potential and a locally conserved mechanical energy do exist. The item asserts no measured value and no global conservation.
Statement refuted
In the force branch of Adopted force model: force maps, the equation of motion, additive composition of force contributions and frame covariance, use the notion of a potential presentation from Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets clause (a), but do not assume that such a presentation exists. Consider the assertion that if the model's force map is time- and velocity-independent, so it has the form for a field , and that field is closed in the sense of clause (d) of Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets, namely for all coordinate indices on , then the model is a global potential model; in particular there is a global potential energy on the domain with , the mechanical energy exists for every motion, and it is conserved.
Facts & Assumptions
Given: The force branch, the definitions and criteria for potential presentations and energy in Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets clauses (a)-(e), and the notation of Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame. The counterexample assumes no potential presentation for its force map.
Framework notions: a motion of the model satisfies (The associated first-order system, motions, maximal motions and the Newtonian flow of a force model); a field is closed when and exact with potential energy when ; on a star-shaped open domain every closed field is exact with the radial potential of the Poincaré lemma (Exact and closed C1 vector fields, Poincare's lemma on a star-shaped domain: every closed C1 field is exact, Star-shaped open subsets of Euclidean space, The Jacobian matrix of partial derivatives and the gradient in the scalar-valued case); dimensions are Dimensions and SI unit conventions of the non-relativistic classical mechanics framework.
Line integrals and potentials (Scalar line integrals with respect to arc length and vector-field line integrals): for a piecewise- path and a continuous field on a set containing its trace, the vector line integral is the sum of the parameter integrals over an admissible partition with continuous derivative extensions . The gradient theorem (The gradient theorem: the line integral of a gradient is the endpoint increment) states that for on an open and piecewise- in , . Consequently a field with a potential has zero circulation around every closed path: for on an open domain and a closed piecewise- , (the notion of conservative field is Piecewise-C1 path-connected domains, potential functions, conservative fields, and path independence).
Calculus: the product and quotient rules (Sums, scalar multiples, products and quotients: , , , and when ), the derivatives and (The derivatives of sine and cosine are cosine and minus sine), the identity (Parity and the Pythagorean identity for sine and cosine), the chain rule (The chain rule, in one line from Carathéodory: if is differentiable at and is differentiable at , then is differentiable at with ), the fundamental theorem on (Newton–Leibniz needs only continuity on , differentiability on , and a Riemann-integrable extension of the interior derivative), a curve with bounded derivative is Lipschitz with that bound (If is differentiable with integrable then ; and a bounded derivative makes Lipschitz clause 2), the Euclidean inner product (The Euclidean inner product on ) and the componentwise derivative (The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral); the interval has nonempty interior (Intervals of : the nine order-convex forms, nondegeneracy, and length).
Local energy (Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form clauses 1-2): for a global potential model with a time-independent potential and no residual forces, the mechanical energy of Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame clause (d) is constant along every motion of that model.
Counterexample
The model. Take , a mass , time window , write in metres, with , and denoting differentiation in native coordinate for , and let the open annular configuration domain be Set and define the time- and velocity-independent force map Since has dimension , has force dimension (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). This one-label field is the external single-label force of the potential definition's clause (d), and it is smooth on , which does not meet the axis.
Standing regularity. Put and let ; then , and , so . Differentiating this formula gives . For with , every point of the segment from to has radial coordinate at least ; hence along one has , and [L3] gives . For , . Thus is globally Lipschitz in its position argument with constant ; because it is independent of , it is locally Lipschitz in the state variable on compact state cylinders in the numerical SI coordinates, as required by the force branch (Local Lipschitz continuity in the state variable, locally uniform in time and parameters).
Closedness. Write , so that . The quotient rule [L3] gives so ; the remaining pairs vanish because and do not depend on (the partial derivatives are those of The Jacobian matrix of partial derivatives and the gradient in the scalar-valued case). Multiplying all components by the constant preserves these identities, so is closed on .
Circulation. Let and for the dimensionless angle . This is a path in with . Along it, , so by bilinearity of the inner product and the Pythagorean identity [L3]. By the definition of the vector line integral [L2], the single piece with derivative extension gives the middle integral by [L3].
No global potential. Suppose there were a function on with . The line integral of [L2] is linear in the field by its definition as a sum of parameter integrals, so ; the gradient theorem of [L2] applied to the function gives because is closed. Hence , contradicting the value of step 2.3. Therefore no such global potential exists, the model is not a global potential model in the sense of clause (a) of Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets, and no global potential presentation with zero residual force is available. A global presentation with and is nevertheless admitted by the same definition and has mechanical energy ; it asserts no conservation.
Local potentials and local energy. Let and let ; here has units of length. For one has and , so . is open and star-shaped with respect to its centre (Star-shaped open subsets of Euclidean space). Since is also a closed field, the Poincaré lemma of [L1] applied to gives a function with , that is, . The restriction of the model's force map to the configuration domain is then a global potential model with a time-independent potential and no residual forces, so clause 2 of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form gives that is constant along every motion of the restricted model, hence along every subinterval of a motion of the annular model on which the position remains in .
Conclusion. The force field of the model is closed and not exact on ; the refuted statement is false. The time-independent zero-residual presentations constructed in step 4.1 provide conserved mechanical energy on those star-shaped subdomains. Globally no such presentation exists by step 3.1, so that conservation clause cannot be invoked for it; the global presentation remains available with .
Remarks
-
What is refuted, and what is not. Only the implication "closed global potential model" is refuted, and with it the substitution of closedness for the potential hypothesis of the energy-conservation statement. The exactness of closed fields on star-shaped domains (step 4.1) and the energy balance of Mechanical energy balance for a potential presentation: plus the residual power, conservation for a static potential with no residual forces, and the integrated work form are unaffected; the obstruction is the multiply connected annular domain, not the smoothness of the field.
-
The circulation is a field property. The line integral around the circle is computed from the declared field and path by the definition of the vector line integral; no motion of the model is exhibited or needed. The values , and are declared model data, not measurements.
Sources
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Sections 1.3.2-1.3.3, printed pages 8-9 (PDF pages 14-15): the two-body energy and momentum bookkeeping with a pair potential depending on the separation
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Section 3.4, Eqs. (3.30)-(3.37), chapter pages 8-9 (PDF pages 40-41): the centre-of-mass and reduced-mass decomposition of the two-body kinetic energy
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Sections 1.3-1.4, chapter pages 7-10 (PDF pages 11-14): the work-energy principle, potential forces, mechanical energy E = T + U and its failure to be conserved under non-conservative or explicitly time-dependent forcing
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.3.2, printed page 8 (PDF page 14): the kinetic-energy change as the work of the forces and the conservative conditions required for an energy statement
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.3.1, Eq. (1.19) and the surrounding discussion, printed pages 6-7 (PDF pages 12-13): the internal-torque sum as a sum over pairs, whose vanishing is discussed through the parallelism of each pair, with the bookkeeping by pairs of forces
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Section 1.3, Eq. (1.37) and the pair cancellation argument, chapter pages 9-10 (PDF pages 13-14): the double sum of internal torques grouped into pairs and reduced by the central-force assumption
- J. Lebl, Basic Analysis II, Section 9.3, Example 9.3.7 (the vortex field on the punctured plane) and J.-B. Campesato, Poincare Lemma, sections 1-2: the example of a closed field with nonzero circulation that is not exact, and the exactness of closed fields on star-shaped domains; the counterexample below recomputes the coordinate-derivative closedness condition, the circulation and the obstruction from the definitions
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 1.3.2, printed page 8 (PDF page 14): potential forces are defined by a global scalar potential, and the work of a potential force around a closed path is zero
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Section 1.3, Eq. (1.24) and footnote 15, chapter page 7 (PDF page 11): the work of potential forces as the difference of U at the endpoints, hence zero on a closed path, with U defined via the gradient