Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicable
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

Physical scope

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 (m,I0,Q,F) of The one-dimensional force models: data, motions, phase system, potential presentation, energy and equilibria, with phase system GF(t,x,v)=(v,F(t,x,v)/m).

(a) Phase plane and phase curves. The phase plane of the model is R2 with coordinates (x,v), where x is the position and v 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 Xphys and Vphys are the corresponding physical position and velocity, then x=Xphys/(1 m) and v=Vphys/(1 m/s) (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). The phase domain of the model is the open set I0×Q×R of (time, position, velocity) triples. The phase plane is read with the Euclidean structure and norm ∥(x,v)∥2=x2+v2 on these dimensionless numerical coordinates (The Euclidean inner product ⟨x,y⟩=∑k<nxkyk on Rn); physical displacement and velocity are not added as dimensionful quantities. Distances used below are those of this norm. For a curve family x:J→Q of class C1 its phase curve is t↦(x(t),x′(t)); when x 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 U of class C2, so that F=−U′. The energy function of the model is E:Q×R⟶R,E(x,v):=12mv2+U(x), of dimension μℓ2τ−2 (joules). For E0∈R the energy level set of E0 and the energy sublevel set of E0 are ΣE0:={(x,v)∈Q×R:E(x,v)=E0},SE0:={(x,v)∈Q×R:E(x,v)≤E0}.

(c) Turning positions and turning points. Let the model be as in (b). A point x∈Q is a turning position of the energy E0 when U(x)=E0, and the phase-plane point (x,0) is the corresponding turning point of E0. A turning position at which U′ 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 U(x)−E0 is the sign-controlling quantity for the velocity of a motion of energy E0; 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 f, 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 GF; 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 GF at its rest point. For an oscillator-type model with data (m,c,k,f) 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 (x,v) 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. ΣE0 is a subset of the phase plane defined by an equation; that the phase curve of a motion with initial energy E0 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

Dependency tree · 2 levels

Sources