Source-linked AI summary
Dual Park-Ravani Interpolation of Rigid Motions: Acceleration-Field Continuity and Holonomic Hermite Repair
Daniel Condurache
TL;DR
The paper addresses whether Park–Ravani interpolation can extend from rotations to rigid displacements while preserving meaningful higher-order motion continuity. It transfers the construction to orthogonal dual tensors, derives a Jacobian-based recurrence, proves physical acceleration-field continuity, and separates algebraic transfer from temporal holonomy. The resulting framework includes exact holonomic cubic and quintic Hermite repairs for endpoint twist and acceleration-field data.
Problem
The paper examines how to extend invariant Park–Ravani interpolation to rigid motions and how to distinguish physical acceleration continuity from formal dual-twist differentiation and temporal holonomy.
Method
The paper applies exact dual continuation of the Park–Ravani construction, uses the dual right Jacobian and its directional derivative, and constructs dual-logarithmic Hermite repairs.
Results
The transferred spline interpolates prescribed rigid poses and preserves body dual twist, its first derivative, and the complete physical acceleration field across knots.
Takeaways & Limitations
Cubic and quintic dual-logarithmic Hermite curves provide exact holonomic repairs for endpoint twist and acceleration-field data, respectively.
Takeaways & Limitations
The quintic repair is the minimal-degree polynomial in one logarithm chart satisfying six endpoint conditions, not a claim of uniqueness.
Abstract
from arXiv · showhide
The Park-Ravani construction generates a twice continuously differentiable, frame-invariant spline on SO(3) by exponentiating cubic canonical-coordinate polynomials. We show that the construction transfers, without changing form, to the group of orthogonal dual tensors, a representation of rigid displacements. The transferred recurrence is stated compactly through the dual extension of the right Jacobian of the exponential map and its first Fréchet derivative. This yields interpolation of prescribed rigid poses and continuity of the body dual twist and its first derivative. Using the higher-order rigid-body kinematics of dual spatial twists, we then prove that the resulting curve has a continuous physical acceleration field, not merely a continuous quantity obtained by formally differentiating the dual part of a twist. We also distinguish algebraic dual transfer from temporal differential prolongation: their simultaneous first-order use takes place in a hyper-dual algebra, and interpolation of arbitrary prolonged nodal data need not be holonomic. A noncommuting three-pose example verifies the recurrence, all knot continuity statements, and dimensional covariance under a change from meters to millimeters. We define and analyze the first-order holonomy defect of a generic hyper-dual interpolant, exhibit an exact counterexample, and remove the defect by cubic or quintic Hermite interpolation in dual logarithmic coordinates.
1 Introduction
The paper extends Park–Ravani interpolation from rotations to rigid displacements through dual continuation, then connects algebraic transfer with physical acceleration continuity and holonomic repair.
- Prior construction: Park–Ravani interpolation produces an efficient, frame-invariant C2 rotation curve from cubic canonical-coordinate polynomials.Its minimum-angular-acceleration interpretation is approximate generally and exact only in specified special cases.
- Motivation: The paper asks whether this construction extends from rotations to rigid motions through a dual representation of displacement.The proposed representation keeps angular and length-valued quantities dimensionally distinct.
- Dual continuation: Every algebraic and analytic relation in the construction transfers to the dual algebra when the logarithm uses one admissible local branch.Hyper-dual arithmetic is reserved for exact directional differentiation of the Jacobian.
- Physical interpretation: The physically meaningful smoothness target is the complete point-acceleration field, because a differentiated dual-twist component alone does not generally represent physical acceleration.Higher-order rigid-body kinematics require the spatial dual twist and its first derivative.
- Contributions: The paper combines exact dual transfer, a right-Jacobian recurrence, acceleration-field continuity, holonomy analysis, and cubic or quintic Hermite repair.These results form a single argument from transfer through physical interpretation to holonomic interpolation.
- Scope boundary: Algebraic transfer does not guarantee temporal holonomy after an independent temporal nilpotent unit is introduced.The paper therefore distinguishes coefficientwise hyper-dual transfer from being the temporal jet of the base curve.
2 Dual orthogonal tensors and rigid displacements
The paper represents rigid displacements as orthogonal dual tensors, extending tensor operations and group structure by dual bilinearity while preserving dimensional homogeneity.
- Dual quantities: The dual algebra uses a rigid nilpotent unit ε0, while physical dimensions remain in the coefficients.The real part of a dual rotation vector is angular, whereas its dual part has length dimension.
- Operations: Tensor, scalar, cross, and tensor products extend by dual bilinearity.For cross products, the dual coefficient combines the real–dual and dual–real cross terms.
- Group definition: An orthogonal dual tensor is defined as a dual tensor satisfying the paper’s orthogonality condition, forming the group SO(3, D).The supplied passages identify the group but do not reproduce the full defining equation.
- Rigid displacements: Every rigid displacement (R, p) is represented by R = (I + ε0[p]×)R, combining rotation and translation in one dual tensor.Composition and inversion are ordinary dual-tensor multiplication and transpose.
- Logarithm branch: An admissible logarithm branch is chosen locally around a dual logarithm, with axis-sign selection at real rotation angle π and regular continuation for pure translation.The angle π case is a branch choice rather than a singularity of the exponential Jacobian.
- Kinematics: Differentiable rigid motions admit corresponding dual-vector kinematic relations used to describe motion in the dual representation.The resulting cancellation is identified as essential at interpolation knots.
3 Temporal differential transform
The temporal differential transform applies exact first-order automatic differentiation to dual-valued functions, producing hyper-dual quantities while remaining distinct from holonomy of interpolated curves.
- Hyper-dual structure: The first temporal differential transform of a dual-valued function introduces a temporal nilpotent unit ε distinct from the rigid unit ε0.The two commuting units produce a hyper-dual coefficient algebra.
- Notation: The temporal transform is hyper-dual, whereas the rigid dual unit remains a separate algebraic generator.No hat notation is used at this first differential level.
- Differential prolongation: Exact first-order automatic differentiation prolongs analytic identities functorially.This applies to the exponential, admissible local logarithm, and the Jacobian used in the interpolation recurrence.
- Holonomy boundary: Equation (7) must not be confused with holonomy of an interpolated hyper-dual curve.Arbitrary transformed nodal data need not equal the temporal transform of the curve obtained by projecting their base parts.
4 The dual Park–Ravani construction
The dual Park–Ravani construction uses admissible relative logarithms and a dual right-Jacobian recurrence to interpolate rigid poses while maintaining body dual-twist continuity through internal knots.
- Setup: The construction selects an admissible logarithm branch for each relative displacement, fixing an axis sign when the real relative angle is π.The knot sequence uses prescribed dual poses and nonuniform intervals h_i = t_i+1 − t_i.
- Jacobian formulation: The recurrence is expressed through the dual right Jacobian and its analytic continuation at zero.The body dual twist is obtained from the Jacobian applied to the derivative of the logarithmic coordinate.
- Endpoint data: The endpoint polynomial coefficients encode body dual twist and twist-derivative data through τ_i = 3a_i + 2b_i + c_i and ν_i = 6a_i + 2b_i.These are the first two derivatives of the logarithmic coordinate at the segment endpoint.
- Continuity: With prescribed initial body dual twist and derivative, the nonuniform recurrence interpolates every dual pose and makes both quantities continuous at internal knots.The left and right endpoint limits agree through the recurrence relations.
- Pose interpolation: Endpoint interpolation follows because the segment’s terminal logarithmic coordinate equals the prescribed relative displacement.The recurrence therefore returns the next prescribed pose at each segment endpoint.
5 Exact dual transfer
The paper gives an exact first-order dual transfer of the complete Park–Ravani construction, preserving its analytic identities and recurrence form. This algebraic result does not establish variational minimality or global conditioning over long knot sequences.
- The dual continuation is obtained by applying the real Park–Ravani construction to dual input data rather than postulating a separate algorithm.The construction is defined through the dual extension of the same operations and analytic functions.
- PD(Y + ε0Y ◦) = P(Y ) + ε0 DP(Y )[Y ◦] gives the exact first-order transfer relation.
- Every analytic identity used by the real construction, including its recurrence and frame covariance, holds over the dual algebra with the same form.
- The transfer theorem is algebraic and does not assert a variational minimum in a lexicographically ordered dual functional.Such a variational statement would require a separate definition and proof.
- The forward recurrence imposes no terminal condition, so long knot sequences may exhibit coefficient growth; global conditioning is not established.
6 Continuity of the physical acceleration field
The paper distinguishes reduced acceleration from the complete physical acceleration field of a rigid body. It proves that the dual Park–Ravani spline has matching physical accelerations for every material point across each internal knot.
- The dual twist derivative's dual component, ˙v, is reduced acceleration rather than the physical linear acceleration of a fixed material point.
- The physical acceleration field depends on the spatial dual twist and its first derivative, not on the differentiated dual component alone.
- At every internal knot, the left and right limits of the physical acceleration aρ coincide for every spatial point ρ.
- Continuity follows because the recurrence matches R, ωb, and ˙ωb at knots, which yields matching ω, v, ˙ω, ˙v and therefore matching acceleration-field terms.
- For n = 2, the pair (ωs, ˙ωs) uniquely determines the complete physical acceleration field, and the recurrence makes this pair continuous.
7 Holonomy and its Hermite repair
The section distinguishes algebraic dual interpolation from temporal holonomy, shows that coefficientwise interpolation can produce a nonholonomic curve, and repairs this defect with cubic or quintic Hermite interpolation in dual logarithmic coordinates.
- First-order holonomy: First-order holonomy requires the hyper-dual curve to equal the temporal differential transform of its base projection throughout the interval.For orthogonal hyper-dual curves, the body-trivialized defect vanishes exactly when holonomy holds.
- First-order holonomy: Algebraic Park–Ravani interpolation of individually prolonged nodal data does not generally produce the temporal transform of the base spline.Algebraic tangency conditions are necessary but do not establish that the temporal coefficient is the base curve’s derivative.
- Counterexample: The exact scalar counterexample has defect −3u^2, nonzero for every u ∈(0, 1], even within a commutative subgroup.Thus noncommutativity is not the cause; the obstruction is globally inconsistent nodal prolongation.
- Cubic repair: The cubic Hermite repair interpolates two dual poses and two prescribed body dual twists while making its temporal differential transform identically holonomic.The construction uses a cubic dual-vector polynomial in one admissible logarithm chart and matches the endpoint twists through the right Jacobian relations.
- Quintic repair: The quintic Hermite repair additionally interpolates body dual-twist derivatives, thereby attaining the prescribed physical acceleration fields at both endpoints.It uses quintic Hermite data for pose, twist, and twist derivative, with endpoint acceleration following from the higher-order kinematics.
- Repair scope: The cubic and quintic repairs solve different interpolation problems, and the quintic is the minimal-degree polynomial in one logarithm chart satisfying six endpoint conditions, not a claimed unique repair.The cubic matches pose and twist; the quintic also matches twist derivative.
8 Numerical verification
A noncommuting three-pose experiment evaluated the transferred recurrence, knot-continuity conditions, physical acceleration field, dimensional covariance, and Hermite repairs using exact dual and hyper-dual computations.
- The experiment used three prescribed rigid poses at nonuniform knot times t0 = 0, t1 = 1, and t2 = 2.5, with h0 = 1 and h1 = 1.5.
- The rotations used in the test did not share a common axis, making the three-pose example genuinely noncommutative.
- The directional derivative of the right Jacobian was evaluated exactly with a second nilpotent unit in hyper-dual arithmetic rather than by finite differences.
- The knot-continuity checks combined recurrence residuals, finite-difference differentiation of complete dual-tensor curves, and explicit physical accelerations at four material points.
- Replacing metres by millimetres left real relative logarithms unchanged, scaled dual parts and physical accelerations by 10^3, and produced a maximum dual-logarithm discrepancy of 2.27 × 10−13 mm.
- Independent cubic and quintic Hermite verification used finite-difference differentiation of dual tensor exponentials, while the scalar repaired prolongation had identically zero defect versus a maximum counterexample defect of 3.
9 Conclusion and next steps
The paper transfers Park–Ravani interpolation exactly to orthogonal dual tensors and establishes continuity of poses, dual twists, and the complete physical acceleration field. It also separates algebraic transfer from temporal holonomy, showing that Hermite interpolation repairs the first-order defect while higher-order extensions remain future work.
- The construction transfers exactly to orthogonal dual tensors, with a nonuniform recurrence governed by the dual right Jacobian and one directional derivative.
- The transferred spline interpolates prescribed poses and preserves the dual twist and its first derivative across knots, yielding a continuous entire rigid-body acceleration field.
- A noncommuting three-pose example verifies recurrence, twist continuity, acceleration-field continuity, and dimensional covariance under metre-to-millimetre scaling.
- Coefficientwise interpolation of independently prolonged nodal data is generically nonholonomic, whereas cubic and quintic dual-logarithmic Hermite curves provide exact endpoint repairs.
- Higher temporal orders, their contact defects, and holonomic Hermite interpolation of general rigid-motion jets are left for future work.