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.
The phase plane of a one-dimensional model: phase curves, the energy function and its level sets, and turning points
The geometric vocabulary of the one-dimensional models of this page: the phase plane with position and velocity expressed as numerical SI coordinates, the Euclidean norm on that normalized pair, the phase curve of a motion, the mechanical energy function of a conservative model, its energy level sets and sublevel sets, and turning positions and turning points. The item also fixes how the equilibrium, Lyapunov-stability and linear-stability vocabulary of the mathematical definitions is read for the scalar phase system. It asserts no conservation, no containment of phase curves in level sets, no boundedness and no measured value; those are statements of the theorems of this page.
Definition
Adopt a one-dimensional model of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria, with phase system .
(a) Phase plane and phase curves. The phase plane of the model is with coordinates , where is the position and the velocity coordinate of clause (b) of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria. They are real numerical SI coordinates: if and are the corresponding physical position and velocity, then and (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The phase domain of the model is the open set of (time, position, velocity) triples. The phase plane is read with the Euclidean structure and norm on these dimensionless numerical coordinates (The Euclidean inner product on ); physical displacement and velocity are not added as dimensionful quantities. Distances used below are those of this norm. For a curve family of class its phase curve is ; when is a motion of the model the phase curve is the corresponding solution of the phase system.
(b) The energy function of a conservative model. Let the model be a global potential model of clause (d) of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria with potential of class , so that . The energy function of the model is of dimension (joules). For the energy level set of and the energy sublevel set of are
(c) Turning positions and turning points. Let the model be as in (b). A point is a turning position of the energy when , and the phase-plane point is the corresponding turning point of . A turning position at which does not vanish is a simple turning position. In the one-coordinate reading of The mechanical first-order field, Lagrangian and energy of a configuration-dependent kinetic metric in a chart the potential difference is the sign-controlling quantity for the velocity of a motion of energy ; the statements of that kind are the content of the conservation theorem of this page and are not made here.
(d) Rest points and stability vocabulary. For a model with a time- and velocity-independent force law , the equilibria, rest points, strict local minima and the Lyapunov and asymptotic stability of a rest point are those of clause (e) of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria, read for the phase system ; Lyapunov stability is the notion of Equilibria, Lyapunov stability and asymptotic stability of an autonomous first-order system and linear stability is that of Invariant sets, orbital stability of an invariant set, and linear stability of an equilibrium, applied to at its rest point. For an oscillator-type model with data of clause (f) of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria the phase system is the phase-plane system of The damped driven oscillator model: second-order equation, phase-plane system and characteristic data, and the phase-plane reading of its equilibria is the one recorded there.
(e) Status. This item fixes geometric objects and reads mathematical stability vocabulary for the scalar phase system; it asserts no conservation of energy, no containment of a phase curve in a level set, no boundedness of level sets and no measured value.
Remarks
-
The phase plane is two-dimensional, and the model is not the pendulum. The coordinates are the position and velocity of the declared scalar model; a model with an angle coordinate would carry a quotient of the line by the periodicity of the physical configuration, which is not part of this definition. The pendulum model of the companion page declares its own coordinate interval.
-
Level sets are not orbits. is a subset of the phase plane defined by an equation; that the phase curve of a motion with initial energy lies in it is a conservation statement, proved separately. A level set may be empty, a single rest point, a closed curve or a union of curves, and this item asserts nothing about which case occurs.
Depends on
The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
The mechanical first-order field, Lagrangian and energy of a configuration-dependent kinetic metric in a chart
Equilibria, Lyapunov stability and asymptotic stability of an autonomous first-order system
Invariant sets, orbital stability of an invariant set, and linear stability of an equilibrium
The Euclidean inner product on
Intervals of : the nine order-convex forms, nondegeneracy, and length
The damped driven oscillator model: second-order equation, phase-plane system and characteristic data
Dependency tree · 2 levels
Sources
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Section 3.3, Eqs. (3.24)-(3.29), chapter pages 5-7 (PDF pages 37-39): the energy first integral, the energy diagram, turning points of the one-dimensional motion and the period as twice the quadrature between turning points
- I. Stewart, Advanced Classical Mechanics (MIT 8.09/8.309 Fall 2014 course text), Chapter 3, introduction, printed page 52 (PDF page 55): the quadratic expansion of the potential about a minimum and the constants V_ij entering the linearised equations