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 Euler-angle pole: a degenerate parametrization of while the physical orientation remains regular
A worked example about the Euler-angle description of the orientation of the rigid-material model branch of Adoption of the rigid-material model branch: reference mass distribution, rigid placements, orientation and scope: at the pole the parametrization is non-injective and its derivative has rank at most two, so it is not a chart there, and the map from Euler-angle rates to the body angular velocity loses injectivity; meanwhile the orientation path passes through the pole orientation with constant angular velocity for a positive rate in radians per second, and is perfectly regular. The item asserts no dynamics, no measurement and no claim that the orientation of a concrete body has been recorded.
Example
Let be the coordinate rotation matrices of The coordinate rotation matrices and : values in , composition law, and derivatives and consider the formula of the Euler-angle parametrization of The Euler-angle parametrization and the heavy symmetric top system, here read on the whole parameter space (the definition restricts its parameter domain to and asserts no chart property). Angles are dimensionless radians; time is read in seconds. Fix a positive rate of dimension , read in radians per second (Dimensions and SI unit conventions of the non-relativistic classical mechanics framework). Angle-curve rates have the same dimension. Then:
- : at the pole the value depends only on the sum , and for every real hence is not injective on any neighbourhood of a pole point.
- the partial derivatives at a pole point satisfy so the Jacobian matrix has two identical columns, its rank is at most , and is not injective; consequently has no differentiable local inverse at any pole point;
- along a smooth curve through a pole point () the body angular velocity of the resulting rotation path is so the individual rates and enter only through their sum: the triples of rates and produce the same angular velocity, and the rate map of the parametrization is not injective at the pole, where is any rate of dimension ;
- nevertheless the orientation path with and time window , of a rigid-material model passes through the pole orientation , is of class , and has the constant body angular velocity ; the singularity of clause 2 is a property of the parametrization, not of the orientation or of the angular velocity.
Facts & Assumptions
Given: The map , the coordinate rotation matrices of The coordinate rotation matrices and : values in , composition law, and derivatives, a pole point , a real , the positive rate with units specified above, and a curve on an open time interval with an interior point and (Intervals of : the nine order-convex forms, nondegeneracy, and length, The derivative of at a point that is a limit point of , and differentiability on a set).
Coordinate rotations (The coordinate rotation matrices and : values in , composition law, and derivatives): for every real , , , and for a differentiable the curves , are differentiable with and .
Skew-matrix correspondence and conjugation (The skew-matrix/cross-product correspondence and its conjugation law clauses 1-3, The orthogonal group and the rotation group ): ; the map is injective; for one has ; is a group ( is a subgroup of the general linear group, with ).
Matrix calculus (Directional derivatives and partial derivatives of a map , The Jacobian matrix of partial derivatives and the gradient in the scalar-valued case, The total (Fréchet) derivative as the linear first-order approximation with remainder, The chain rule for total derivatives: , The vector space of by matrices over a field, with entrywise operations, Rectangular matrix multiplication and the identity matrix , including zero-sized shapes): matrix-valued maps are differentiated entrywise; the partial derivatives of are computed with the product rule and [L1]; a map with a differentiable local inverse satisfies at the point , the total derivative of the identity being the identity.
The model's kinematic notions (Configuration, configuration space and orientation of a rigid-material model in an inertial frame, Body and spatial angular velocity of a rigid-material motion, and the material velocity field): a configuration path with of class assigns to each time a placement; the body angular velocity is the unique with .
Verification
Pole values: by the composition law and of [L1], , so the value depends only on . For every real , , and the points approach as while remaining distinct for . Hence is not injective on any neighbourhood of the pole point; this is clause 1.
Partial derivatives at the pole: differentiating with respect to with fixed and using the product rule and [L1], , and at this is by clause 1. Differentiating with respect to gives ; at the middle factor is and the factors and commute by the identity of [L1], so , the same value as .
Rank and absence of a local inverse: the Jacobian matrix has columns [L3], and the first and third columns coincide by step 1.2. Thus the linear map annihilates the nonzero vector and has rank at most , so it is not injective. Moreover, step 1.1 gives distinct points with equal images in every neighbourhood of the pole point, ruling out any local inverse, including a differentiable inverse onto a neighbourhood in . This proves clause 2.
Angular velocity along a curve through the pole: let ; by the product rule and [L1] at , where and , using the two computations of step 1.2 for the - and -directions and the middle derivative at the pole. Multiplying on the left by (the matrix is orthogonal [L1]) and using the conjugation law of [L2] together with for the second term gives so by the injectivity clause of [L2] and the characterisation of the body angular velocity [L4], . The rates and enter only through the sum, so and give the same angular velocity: the rate map is not injective at the pole. This is clause 3.
The regular physical path: has and is the composition of the smooth coordinate-rotation curve with the smooth map , hence of class [L1]; by the derivative clause of [L1], , so for every and the body angular velocity is the constant vector by [L2] and [L4]; in particular the orientation path passes through the pole orientation with a well-defined, constant angular velocity. The failure of clause 2 is thus a failure of the parameter triple to be a chart at the pole, not a singularity of the orientation path or of its angular velocity. This proves clause 4.
Summary: the parametrization is smooth as a map, but at every pole point it is non-injective (clause 1), its derivative has rank at most and it admits no differentiable local inverse (clause 2), and the angular velocity does not uniquely determine the Euler-angle rates at a fixed pole triple (clause 3), while a physical orientation path through the same pole orientation is regular with a perfectly well-defined angular velocity (clause 4).
Remarks
-
What the pole is, and what it is not. The pole is the parameter value , an excluded boundary value of the parameter interval in The Euler-angle parametrization and the heavy symmetric top system. It is not a special orientation: the identity and every rotation about are regular elements of and are reached by smooth motions with finite angular velocity (clause 4). The degeneration is the failure of the three angles to coordinatize orientations near those points.
-
Consequence for consumers. A computation using Euler angles must state its convention and avoid solving for individual angles or rates at a pole. The restriction alone does not establish a coordinate chart: using the angles as coordinates also requires a neighbourhood on which the parametrization has a smooth inverse. The intrinsic quantities and (Body and spatial angular velocity of a rigid-material motion, and the material velocity field) remain defined there, and the quaternion lift of Existence, uniqueness and sign ambiguity of the quaternion lift of a rotation path provides a description that does not degenerate at this point, at the cost of the sign ambiguity recorded in The global orientation and its charts: Euler angles, the quaternion double cover and singularities of parametrizations.
-
No dynamics. Nothing in this example constrains the motion by a torque or equation of motion; the path is an admissible orientation path of the model, and its angular velocity is read off kinematically.
Depends on
Configuration, configuration space and orientation of a rigid-material model in an inertial frame
Body and spatial angular velocity of a rigid-material motion, and the material velocity field
The Euler-angle parametrization and the heavy symmetric top system
The coordinate rotation matrices and : values in , composition law, and derivatives
The skew-matrix/cross-product correspondence and its conjugation law
The orthogonal group and the rotation group
is a subgroup of the general linear group, with
Directional derivatives and partial derivatives of a map
The Jacobian matrix of partial derivatives and the gradient in the scalar-valued case
The total (Fréchet) derivative as the linear first-order approximation with remainder
The chain rule for total derivatives:
The derivative of at a point that is a limit point of , and differentiability on a set
Intervals of : the nine order-convex forms, nondegeneracy, and length
The vector space of by matrices over a field, with entrywise operations
Rectangular matrix multiplication and the identity matrix , including zero-sized shapes
Sine and cosine defined by their real power series
The addition formulas for sine and cosine
Parity and the Pythagorean identity for sine and cosine
Dimensions and SI unit conventions of the non-relativistic classical mechanics framework
Dependency tree · 2 levels
Sources
- G. J. Sussman and J. Wisdom, Structure and Interpretation of Classical Mechanics, 2nd ed. (MIT Press, 2014), Section 2.7 and Section 2.8.1: the Euler-angle parametrization, the chart's exclusion of the poles $\sin\theta=0$, and the $ABC\sin^{2}\theta$ Hessian determinant of the coordinate transformation
- K. K. Likharev, Essential Graduate Physics, Part CM: Classical Mechanics (title page last edited September 1, 2026), Chapter 4 Sections 4.5-4.6, chapter pages 15-22 (PDF pages 69-76): Euler angles as local coordinates and the warning that the angular-velocity components are not globally coordinate derivatives
- D. Tong, Classical Dynamics (Cambridge lecture notes, January 2015 printing), Section 3.5, printed pages 62-65 (PDF pages 68-71): the three ordered rotations defining the Euler angles and the caution about the convention and the local character of the angles