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.
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.
Depends on
Total mass, total momentum, centre of mass, angular momentum, torque, kinetic energy, power and work of a particle model in an inertial frame
Power of the total force and the work-energy theorem: and along a motion
Potential presentations of a force model, potential and mechanical energy, closed versus exact force fields, local potentials and equipotential level sets
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
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
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
The Euclidean inner product on
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
Intervals of : the nine order-convex forms, nondegeneracy, and length
Dependency tree · 2 levels
Sources
- 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