Alphabeta Math
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

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 −o′×P is nonzero when the chosen nonzero velocities W and V 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 U(t,x)=12λtx2 and a residual force and exhibits a quadratic motion on which the balance E′=∂tU+d x˙, the work-energy theorem, the integrated work form and the shift of the energy and its rate under the renormalization U↦U+c(t) 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 1 m is 2πβ≠0, so no global force-generating potential with zero residual force exists and the conservation clause of Mechanical energy balance for a potential presentation: E′=∂tU 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

ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

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

Physical scope

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 N=2, masses m1=m2=m>0, time window R, configuration domain Q=R6 (the potential below is smooth everywhere, so no collision exclusion is needed), and the Hooke pair potential U(x1,x2):=12k ∥x1−x2∥22, with a declared spring constant k>0 of dimension μτ−2 (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework), so that U has energy dimension. The force map is F1(x)=−k (x1−x2),F2(x)=k (x1−x2), the two negative gradients of U; it is linear in the positions and independent of time and velocities, with ∥F(x)−F(x′)∥2≤2k∥x−x′∥2, hence continuous and state-locally Lipschitz with the uniform constant 2k. 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 (Fiext≡0), and its pair force is central: F12=−k(x1−x2) is parallel to x1−x2. It presents its force map through the global potential U 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 (e1,e2,e3) with e3=e1×e2, a constant centre-of-mass velocity V∈R3 of dimension ℓτ−1, and a length R>0, and set ω:=2k/m (dimension τ−1). Define e(t):=cos⁡(ωt) e1+sin⁡(ωt) e2,x1(t):=Vt−R2 e(t),x2(t):=Vt+R2 e(t)(t∈R). Then x=(x1,x2) is the unique maximal motion of the model with the datum x1(0)=−R2e1, x2(0)=R2e1, x˙1(0)=V−R2ωe2, x˙2(0)=V+R2ωe2, and along it:

  1. the total momentum is P=2mV, constant, and the centre of mass is X(t)=Vt with Vcm=V;
  2. the kinetic energy is K=m∥V∥22+14mR2ω2, and its centre-of-mass/relative splitting holds with reduced mass μ=m/2 and relative coordinate r=x1−x2;
  3. the angular momentum about the origin is J0=12mR2ω e3, constant, while for the moving reference curve o(t)=Wt with a constant velocity W∈R3 of dimension ℓτ−1 and W⊥V one has Jo′=−2m(W×V), in agreement with the moving-origin correction; this correction is nonzero when both W and V are nonzero;
  4. the mechanical energy is E=m∥V∥22+kR2, constant, and the power identity K′=P holds with P equal to the negative time derivative of the potential energy 12k∥r∥22;
  5. under the Galilean change to the centre-of-mass frame (b=0, a0=0, Rrot=I3, vboost=−V) the transformed quantities are P~=0, K~=12kR2 and E~=kR2, 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 m,k>0 on Q=R6, ω=2k/m, an oriented orthonormal triple with e3=e1×e2, a constant velocity V∈R3, a length R>0, the curves e, x1, x2, and the reference curve o(t)=Wt with constant velocity W⊥V.

[L1]

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 C2 curve x:R→R6 with mix¨i=Fi(x); along it pi=mix˙i, P=p1+p2, M=m1+m2=2m, X=M−1(m1x1+m2x2), Vcm=X′, K=12∑imi∥x˙i∥22, Jo=∑i(xi−o)×pi for a differentiable reference curve o, and E=K+U(x1,x2) 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 F1=−k(x1−x2), F2=k(x1−x2), no external forces and central pairs.

[L2]

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 R is the maximal motion.

[L4]

Euclidean and cross-product algebra (The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, The cross product in R3, The cross product is bilinear, alternating, and orthogonal to both factors): bilinearity and symmetry of the inner product, u×u=0 and u×v=−(v×u); from the oriented orthonormal triple, e×η=e3. 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).

Verification

technique · direct; differentiate the displayed curves, substitute into the equations of motion and evaluate each quantity, comparing with the balance statements
1.1L3L4algebra

The curves are C2: e is C2 by [L3], and xi is C2 as a sum of the linear curve t↦Vt and a scalar multiple of e [L4]. With η of [L3], x˙1=V−R2ωη,x˙2=V+R2ωη,x¨1=R2ω2e,x¨2=−R2ω2e.

2.1step 1.1givenL1L2algebra

Equations of motion. Since ω2=2k/m, on the one hand mx¨1=mR2ω2e=kRe; on the other F1(x1,x2)=−k(x1−x2)=−k(−Re)=kRe, and these agree. Likewise mx¨2=−kRe=−k(x2−x1)=F2. Hence x is a motion of the model on the whole time window R, and by [L2] it is the unique maximal motion with its datum.

2.2step 1.1L1L4L5algebra

Total momentum and centre of mass. By step 1.1, P=mx˙1+mx˙2=2mV,X=12(x1+x2)=Vt,Vcm=X′=V, so P=2mV is constant and equals MVcm; 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.

2.3step 1.1L1L3L4algebra

Angular momentum about the origin. By step 1.1, p1=mV−mR2ωη,p2=mV+mR2ωη. Expanding J0=x1×p1+x2×p2 with x1=Vt−R2e and x2=Vt+R2e by bilinearity [L4], the four types of terms combine as follows: the terms (Vt)×mV occur twice and gives 2(Vt)×mV=0 since V×V=0; the two terms pairing Vt with η are equal with opposite signs and cancel; the two terms pairing e with V are equal with opposite signs and cancel; and the two terms pairing e with η add: J0=2(R2)2mω (e×η)=12mR2ω e3, where e×η=e3 by [L4]. This is constant in t.

3.1step 1.1step 2.2L1L3L4L5algebra

Kinetic splitting. With r=x1−x2=−Re one has r˙=−Rωη and ∥r˙∥2=Rω 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 K=12M∥Vcm∥22+12μ∥r˙∥22=m∥V∥22+12⋅m2⋅R2ω2=m∥V∥22+14mR2ω2. Directly, with a:=R2ωη and ∥a∥2=R2ω, bilinearity gives ∥V−a∥22+∥V+a∥22=2∥V∥22+2∥a∥22, so K=12m(∥V−a∥22+∥V+a∥22)=m∥V∥22+m∥a∥22=m∥V∥22+14mR2ω2, the same value. The relative positions are ρ1=−R2e and ρ2=R2e, so mρ1+mρ2=0.

3.2step 2.2step 2.3L1L4L5algebra

Moving origin. For o(t)=Wt one has Jo=∑i(xi−o)×pi=J0−o×P, because o is common to both terms and ∑ipi=P; hence, by steps 2.3 and 2.2, Jo=12mR2ω e3−(Wt)×(2mV)=12mR2ω e3−2mt (W×V), so Jo′=−2m(W×V). 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 Jo′=Toext+I−o′×P; here Toext=0 (no external forces) and I=0 because the pair force is central (F12∥x1−x2), while o′×P=W×(2mV)=2m(W×V), so the balance gives the same value −2m(W×V).

4.1step 3.1L1L3L4L5algebra

Mechanical energy and power. Here U(x(t))=12k∥r∥22=12kR2 is constant in time, and by step 3.1 and ω2=2k/m, E=K+U=m∥V∥22+14mR2ω2+12kR2=m∥V∥22+12kR2+12kR2=m∥V∥22+kR2, constant, as clause 2 of Mechanical energy balance for a potential presentation: E′=∂tU 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 F1=−kr, F2=kr and r˙=x˙1−x˙2, P=⟨F1,x˙1⟩+⟨F2,x˙2⟩=−k⟨r,x˙1⟩+k⟨r,x˙2⟩=−k⟨r,r˙⟩=−12k ddt∥r∥22, so the power is the negative derivative of the potential energy; clause 1 of Power of the total force and the work-energy theorem: K′=P and K(t1)−K(t0)=W([t0,t1]) along a motion gives K′=P, consistent with E′=0 and clause 1 of Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form.

5.1step 2.2step 4.1L1L3L4L5algebra∎

Boost to the centre-of-mass frame. Take the second frame with b=0, a0=0, Rrot=I3 and vboost=−V; the description of the curves is ηi(t)=xi(t)−Vt=∓R2e(t), so P~=mη˙1+mη˙2=0 and, by [L3], K~=12m∥−R2ωη∥22+12m∥R2ωη∥22=14mR2ω2=12kR2. 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 K~=K+⟨vboost,P⟩+12M∥vboost∥22=(m∥V∥22+12kR2)−2m∥V∥22+m∥V∥22=12kR2, the same value. Finally the scalar transfer of the potential is U∗=U at corresponding data because U depends only on x1−x2=η1−η2, so E~=K~+U=12kR2+12kR2=kR2, and clause 5 gives E~=E+⟨vboost,P⟩+12M∥vboost∥22=(m∥V∥22+kR2)−2m∥V∥22+m∥V∥22=kR2, 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 −o′×P is nonzero when both chosen velocities W and V 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 m, k, R, V and W 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.

ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

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

Physical scope

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 N=1, mass m>0, time window I0=R and configuration domain Q=R3. Write q=(x,y,z)∈Q and e1=(1,0,0). Define d(t,q,v):=d(t,x,v)e1 and F(t,q,v):=F(t,x,v)e1 from the scalar expressions below, and set U(t,q):=U(t,x), independent of y,z. Here the velocity argument of d,F may be any v∈R3; 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) U(t,x):=12λ t x2,d(t,x,v):=2ma+λa t3, where a>0 is a constant of dimension ℓτ−2 and λ>0 a constant of dimension μτ−3, so that U has dimension μℓ2τ−2 and d 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 F(t,x,v)=−∂xU(t,x)+d(t,x,v)=−λtx+2ma+λat3, and the model satisfies F=−∇qU+d on R×R3×R3. On each compact time interval ∣t∣≤T, its force has state-Lipschitz constant λT; d is state-independent. Thus both satisfy the standing regularity. The one-dimensional computation below uses the rectilinear motion q(t)=x(t)e1 and zero transverse coordinates and velocities. Each scalar force and residual-force expression denotes its e1 component, ∥q′(t)∥22=x′(t)2, and ⟨d,q′⟩=dx′; no constrained configuration domain or reaction force is assumed.

The curve x(t):=a t2(t∈R) is a motion of this model, and with K, P 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 E=K+U(t,x(t)):

For the numerical clauses below, put s:=t/(1 s); displayed energy, power and work values include their SI units, and the interval 0≤s≤1 means 0≤t≤1 s.

  1. on the interval [0,1 s] the numerical data m:=1 kg, a:=1 m s−2, λ:=1 kg s−3 give K(t)=2s2 J,U(t,x(t))=12s5 J,E(t)=(2s2+12s5)J,E′(t)=(4s+52s4)W, and the balance of Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form clause 1, E′=∂tU(t,x(t))+d x˙, holds with ∂tU(t,x(t))=12s4 W and d x˙=(4s+2s4) W;
  2. the power is P(t)=4s W, the work over [0,1 s] is W([0,1 s])=2 J, and the work-energy theorem K(1 s)−K(0)=W([0,1 s]) holds; the integrated form of clause 3 of Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form holds as 2 J=−12 J+(110+2+25)J;
  3. replacing U by the equivalent potential U~(t,x)=U(t,x)+c(t) with c(t):=−(1 J)(t/(1 s))2 (same force, different representative) gives E~(t)=E(t)+c(t)=(s2+12s5)J and E~′(t)=(2s+52s4)W=∂tU~(t,x(t))+d x˙, so the balance holds in the renormalized presentation with a different value and rate;
  4. the model is driven and the energy is not conserved: E(1 s)−E(0)=52 J in the first normalization, while the balance attributes the change to the explicit time dependence, ∫01 s∂tU dt=110 J, and the residual power, ∫01 sd x˙ dt=125 J, whose sum 110 J+125 J=52 J is the energy change E(1 s)−E(0)=∫01 sE′ dt.

Facts & Assumptions

Given: The one-dimensional model and the curve x(t)=at2 of the example; the numerical data m=1, a=1, λ=1 in the stated kilogram-metre-second units; the potential presentation with potential U and residual force d; the definitions K=12mx˙2, P=⟨F,x˙⟩=Fx˙ in one dimension, W([t0,t1])=∫t0t1P, E=K+U(t,x(t)).

[L3]

Balance clauses (Mechanical energy balance for a potential presentation: E′=∂tU 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: K′=P and K(t1)−K(t0)=W([t0,t1]) along a motion clauses 1-2): E′=∂tU(t,x(t))+⟨d,x˙⟩, K ′=P and K(t1)−K(t0)=W([t0,t1]) for motions of the presentation; the Euclidean inner product in one dimension is the product of the components (The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn).

Verification

technique · direct; differentiate the explicit curve and evaluate each term of the balance identities on the stated data
1.1givenL1L2algebra

The curve x(t)=at2 is C2 with x˙=2at and x¨=2a on R. Moreover ∂xU(t,x(t))=λt x(t)=λa t3,F(t,x(t),x˙(t))=−λat3+2ma+λat3=2ma=mx¨(t), so mq′′=(mx′′)e1=F(t,q,q′), with both transverse components zero. Thus q is a motion of the model on the whole time window, and the scalar quantities below are its longitudinal components.

2.1step 1.1L2L3algebra

With the numerical data m=1 kg, a=1 m s−2 and λ=1 kg s−3, write s=t/(1 s). Then x(t)=s2 m and x˙(t)=2s m s−1, so K(t)=2s2 J, U(t,x(t))=12s5 J and E(t)=(2s2+12s5) J; differentiating by [L2], E′(t)=(4s+52s4) W. The two contributions of clause 1 of Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form are ∂tU(t,x(t))=12s4 W and d(t,x,v)x˙(t)=(4s+2s4) W, whose sum is E′(t); the balance holds on [0,1 s].

3.1step 2.1L2L3algebra

Power and work. With F(t,x(t),x˙(t))=2 N, the power is P(t)=4s W, and ∫01 sP(t) dt=2 J by [L2]. On the other hand K(1 s)−K(0)=2 J, so the work-energy theorem of clause 2 of Power of the total force and the work-energy theorem: K′=P and K(t1)−K(t0)=W([t0,t1]) along a motion holds. The integrated form of clause 3 of Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form reads K(1 s)−K(0)=U(0,x(0))−U(1 s,x(1 s))+∫01 s[∂tU(t,x(t))+d x˙]dt=−12 J+(110+2+25)J=2 J, since ∫01 s12s4 W dt=110 J, ∫01 s4s W dt=2 J and ∫01 s2s4 W dt=25 J [L2]; this agrees with the computed value.

3.2step 2.1L2L3algebra

Renormalization. Let c(t):=−(1 J)(t/(1 s))2 and U~(t,x):=U(t,x)+c(t), a potential presenting the same force because ∂xU~=∂xU; its explicit time dependence along the curve is ∂tU~(t,x(t))=(12s4−2s) W. With E~=E+c, step 2.1 gives E~(t)=(s2+12s5) J and E~′(t)=(2s+52s4) W, while clause 1 of Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form reads ∂tU~(t,x(t))+d x˙=(12s4−2s+4s+2s4) W=(2s+52s4) W, the same value: the balance holds in the renormalized presentation, with the energy and its rate shifted by c and c′.

4.1step 2.1L2L3algebra∎

No conservation. Here ∂tU(t,x)=12λx2 does not vanish and d does not vanish, so clause 2 of Mechanical energy balance for a potential presentation: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form does not apply; consistently, E′(t)=(4s+52s4) W is positive on (0,1 s] and E(1 s)−E(0)=52 J. The balance of step 2.1 attributes this change to the explicit time dependence of the potential, ∫01 s∂tU dt=110 J, together with the residual work ∫01 sd x˙ dt=125 J; their sum is the energy change E(1 s)−E(0)=∫01 sE′ dt, in agreement with the direct value computed from step 2.1.

Remarks

CounterexampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

Non-central antisymmetric pair forces with vanishing internal torque sum: the centrality clause is not necessary for angular-momentum conservation

Physical scope

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 ∑i<j(xi−xj)×Fij vanishes identically, then every pair force Fij is central (parallel to xi−xj).

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 Fij along a motion, the internal torque sum I=∑i<j(xi−xj)×Fij, the angular momentum Jo=∑i(xi−o)×pi and the torque decomposition To=Toext+I of clause 1 of that theorem.

[L2]

Angular balance (Angular momentum balance about a fixed or moving reference point, the internal torque sum, and the centrality case clauses 1-4): To=Toext+I, and Jo′=Toext+I−o′×P; for a constant reference point with To≡0 the angular momentum Jo is constant; the centrality clause is sufficient for I≡0.

[L3]

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.

[L4]

Cross-product algebra (The cross product in R3, The cross product is bilinear, alternating, and orthogonal to both factors): bilinearity, u×u=0, u×v=−(v×u); for the standard basis, e1×e2=e3, e2×e3=e1, e3×e1=e2. The Euclidean inner product is The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn, finite sums are linear (Laws of finite sums and finite products), and R is an interval with nonempty interior (Intervals of R: the nine order-convex forms, nondegeneracy, and length).

Counterexample

technique · direct; define the model and a motion, verify the model hypotheses, and exhibit the non-central pair forces with identically vanishing internal torque
1.1givenL1

The model. Take N=3, masses m1=m2=m3:=1 kg, time window R, configuration domain Q:=R9 (no exclusion is needed), no external forces, and the constant pair force maps F12≡f0,F13≡−f0,F23≡f0,f0:=F0e3,F0:=1 N, with Fji:=−Fij for every ordered pair. Constant maps are continuous and state-Lipschitz with constant 0, the antisymmetry Fji=−Fij holds by declaration, and the presentation is Fi=0+∑j≠iFij; 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.

2.1step 1.1L1L4algebra

The motion. Set L0:=1 m, t∗:=1 s and s:=t/t∗. Define x1(t):=L0s e2,x2(t):=L0e1,x3(t):=L0(e2+s e1)(t∈R). These curves are C2 with x¨i=0; the net force on each label vanishes, F1=F12+F13=f0−f0=0,F2=F21+F23=−f0+f0=0,F3=F31+F32=f0−f0=0, so mix¨i=0=Fi for all t: the curves form a motion of the model on R. Moreover the positions are pairwise distinct for every t, since x1−x2=L0(se2−e1)≠0, x2−x3=L0((1−s)e1−e2)≠0 and x1−x3=L0(−se1+(s−1)e2)≠0 (the first or second coordinates in each pair cannot vanish simultaneously).

2.2step 1.1L4algebra

The internal torque sum vanishes identically. Using bilinearity [L4], I=∑i<j(xi−xj)×Fij=(x1−x2)×f0+(x1−x3)×(−f0)+(x2−x3)×f0=[(x1−x2)−(x1−x3)+(x2−x3)]×f0, and the bracket telescopes to 0. Hence I≡0 on the whole configuration domain, without any centrality. The individual pair torques are nevertheless nonzero: at t=0, (x1−x2)×F12=L0F0e2, (x1−x3)×F13=L0F0e1 and (x2−x3)×F23=−L0F0(e1+e2), all with torque units N m and with sum zero; so the vanishing is by cancellation among the pairs.

3.1step 2.1L4algebra

The pair forces are not central. The pair force F12=F0e3 is parallel to x1−x2 only if (x1−x2)×e3=0; but (x1−x2)×F12=L0F0(se1+e2)≠0 for every t, since the two components do not vanish simultaneously; this torque has units N m. Hence centrality fails along the whole motion (and F12 fails it for every configuration with (x1−x2)×e3≠0).

3.2step 2.1step 2.2L2L4algebra

Angular momentum is conserved. By clause 1 of [L2], To=Toext+I; with the origin as reference point and no external forces, Toext=0, so T0=0 and clause 4 of [L2] applies even though the centrality hypothesis of clause 3 is not met: J0 is constant along the motion. Directly, J0=x1×m1x˙1+x2×m2x˙2+x3×m3x˙3=(L0se2)×m1(L0/t∗)e2+(L0e1)×0+L0(e2+se1)×m3(L0/t∗)e1=−m3L02/t∗ e3, constant in t and nonzero, with units kg m2 s−1.

3.3step 2.1L3algebra

Total momentum is also conserved: the total external force vanishes identically, so clause 2 of [L3] gives that P=m1x˙1+m2x˙2+m3x˙3=m1(L0/t∗)e2+m3(L0/t∗)e1 is constant, as it is directly; this has momentum units kg m s−1.

4.1step 3.1step 2.2step 3.2L2∎

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 I≡0, 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 F12≡w, F13≡−w, F23≡w; 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.

CounterexampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passOpen item page →

A closed model force field on an annular domain without a global potential energy: force-generating potentials exist only locally

Physical scope

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 F(t,x,v)=φ(x) for a C1 field φ:Q→R3N, 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 ∂jφk=∂kφj for all coordinate indices j,k∈{0,…,3N−1} on Q, then the model is a global potential model; in particular there is a global potential energy U on the domain with F=−∇U, the mechanical energy K+U 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.

[L1]

Framework notions: a motion of the model satisfies mx¨=F(t,x,x˙) (The associated first-order system, motions, maximal motions and the Newtonian flow of a force model); a field φ:Q→R3N is closed when ∂kφj=∂jφk and exact with potential energy U when φ=−∇U; on a star-shaped open domain every closed C1 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.

[L2]

Line integrals and potentials (Scalar line integrals with respect to arc length and vector-field line integrals): for a piecewise-C1 path γ:[a,b]→Rn and a continuous field F on a set containing its trace, the vector line integral is the sum of the parameter integrals ∫titi+1⟨F(γ(t)),vi(t)⟩ dt over an admissible partition with continuous derivative extensions vi. The gradient theorem (The gradient theorem: the line integral of a gradient is the endpoint increment) states that for C1 ϕ on an open U and piecewise-C1 γ in U, ∫γ∇ϕ⋅dr=ϕ(γ(b))−ϕ(γ(a)). Consequently a field with a potential has zero circulation around every closed path: for F=−∇U on an open domain and a closed piecewise-C1 γ, ∫γF⋅dr=−(U(γ(b))−U(γ(a)))=0 (the notion of conservative field is Piecewise-C1 path-connected domains, potential functions, conservative fields, and path independence).

[L3]

Calculus: the product and quotient rules (Sums, scalar multiples, products and quotients: (f+g)′(c)=f′(c)+g′(c), (αf)′(c)=αf′(c), (fg)′(c)=f′(c)g(c)+f(c)g′(c), and (f/g)′(c)=(f′(c)g(c)−f(c)g′(c))/g(c)2 when g(c)≠0), the derivatives (sin⁡t)′=cos⁡t and (cos⁡t)′=−sin⁡t (The derivatives of sine and cosine are cosine and minus sine), the identity sin⁡2t+cos⁡2t=1 (Parity and the Pythagorean identity for sine and cosine), the chain rule (The chain rule, in one line from Carathéodory: if g is differentiable at c and f is differentiable at g(c), then f∘g is differentiable at c with (f∘g)′(c)=f′(g(c)) g′(c)), the fundamental theorem on [0,2π] (Newton–Leibniz needs only continuity on [a,b], differentiability on (a,b), and a Riemann-integrable extension of the interior derivative), a curve with bounded derivative is Lipschitz with that bound (If f:[a,b]→Rm is differentiable with integrable f′ then ∫abf′=f(b)−f(a); and a bounded derivative makes f Lipschitz clause 2), the Euclidean inner product (The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn) and the componentwise derivative (The derivative and the Riemann integral of a vector-valued function: an intrinsic derivative and a componentwise integral); the interval [0,2π] has nonempty interior (Intervals of R: the nine order-convex forms, nondegeneracy, and length).

Counterexample

technique · direct; define the annular model, verify the standing hypotheses, check its coordinate-derivative closedness condition and compute its circulation, use the gradient theorem to exclude a global potential, and recover the local statement on star-shaped pieces
1.1givenL1

The model. Take N=1, a mass m:=1 kg, time window R, write x=(x1,x2,x3) in metres, with xi=x(i−1), Φi=Φ(i−1) and ∂i denoting differentiation in native coordinate i−1 for i=1,2,3, and let the open annular configuration domain be Q:={x∈R3: 12 m<x12+x22<2 m}. Set β:=1 J and define the time- and velocity-independent force map F(t,x,v)=β Φ(x),Φ(x):=(−x2, x1, 0)x12+x22. Since Φ has dimension ℓ−1, F has force dimension μℓτ−2 (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 Q, which does not meet the axis.

2.1step 1.1L3algebra

Standing regularity. Put r(x):=x12+x22 and let A(x1,x2,x3)=(−x2,x1,0); then ∥A∥=1, ∥Ax∥2=r(x) and Φ(x)=Ax/r(x)2, so ∥Φ(x)∥2=1/r(x). Differentiating this formula gives ∥DΦ(x)∥≤3/r(x)2. For x,y∈Q with ∥x−y∥2≤14 m, every point of the segment from x to y has radial coordinate at least r(x)−∥x−y∥2>14 m; hence along g(u)=Φ(x+u(y−x)) one has ∥g′(u)∥2≤48 m−2∥x−y∥2, and [L3] gives ∥Φ(x)−Φ(y)∥2≤48 m−2∥x−y∥2. For ∥x−y∥2>14 m, ∥Φ(x)−Φ(y)∥2≤1/r(x)+1/r(y)<4 m−1≤16 m−2∥x−y∥2. Thus F is globally Lipschitz in its position argument with constant 48 N m−1; because it is independent of v, 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).

2.2step 1.1L1L3algebra

Closedness. Write s:=x12+x22, so that Φ=(−x2s−1, x1s−1, 0). The quotient rule [L3] gives ∂1Φ2=∂1(x1s−1)=s−x1⋅2x1s2=x22−x12s2,∂2Φ1=∂2(−x2s−1)=−s−x2⋅2x2s2=x22−x12s2, so ∂1Φ2=∂2Φ1; the remaining pairs vanish because Φ3=0 and Φ1,Φ2 do not depend on x3 (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 F is closed on Q.

2.3step 1.1L1L2L3algebra

Circulation. Let L0:=1 m and γ(θ):=L0(cos⁡θ,sin⁡θ,0) for the dimensionless angle θ∈[0,2π]. This is a C1 path in Q with γ′(θ)=L0(−sin⁡θ,cos⁡θ,0). Along it, F(γ(θ))=(β/L0)(−sin⁡θ,cos⁡θ,0), so ⟨F(γ(θ)),γ′(θ)⟩=β(sin⁡2θ+cos⁡2θ)=β by bilinearity of the inner product and the Pythagorean identity [L3]. By the definition of the vector line integral [L2], the single piece [0,2π] with derivative extension γ′ gives ∫γF⋅dr=∫02π⟨F(γ(θ)),γ′(θ)⟩ dθ=∫02πβ dθ=2πβ=2π J≠0, the middle integral by [L3].

3.1step 2.3L1L2algebra

No global potential. Suppose there were a C2 function U on Q with F=−∇U. The line integral of [L2] is linear in the field by its definition as a sum of parameter integrals, so ∫γF⋅dr=−∫γ∇U⋅dr; the gradient theorem of [L2] applied to the C1 function U gives ∫γ∇U⋅dr=U(γ(2π))−U(γ(0))=U(L0,0,0)−U(L0,0,0)=0 because γ is closed. Hence ∫γF⋅dr=0, contradicting the value 2πβ≠0 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 U=0 and d=F is nevertheless admitted by the same definition and has mechanical energy E=K; it asserts no conservation.

4.1step 3.1L1L4algebra

Local potentials and local energy. Let p∈Q and let ε:=12min⁡{r(p)−12 m, 2 m−r(p)}>0,B:={z:∣z−p∣<ε}; here ε has units of length. For z∈B one has r(z)<r(p)+ε<2 m and r(z)>r(p)−ε>12 m, so B⊆Q. B is open and star-shaped with respect to its centre (Star-shaped open subsets of Euclidean space). Since −F∣B is also a closed C1 field, the Poincaré lemma of [L1] applied to −F∣B gives a C2 function UB:B→R with ∇UB=−F∣B, that is, F∣B=−∇UB. The restriction of the model's force map to the configuration domain B 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: E′=∂tU plus the residual power, conservation for a static potential with no residual forces, and the integrated work form gives that K+UB 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 B.

5.1step 2.3step 3.1step 4.1L1L2L4∎

Conclusion. The force field of the model is closed and not exact on Q; 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 U=0,d=F remains available with E=K.

Remarks

Sources