pith. sign in

arxiv: 2604.10757 · v1 · submitted 2026-04-12 · 🧮 math.OC · cs.SY· eess.SY· math.DG· math.DS

Stabilizability of first-order dynamics in second-order systems

Matthew D. Kvalheim This is my paper

Pith reviewed 2026-05-10 15:36 UTC · model grok-4.3

classification 🧮 math.OC cs.SYeess.SYmath.DGmath.DS
keywords second-order systemsfirst-order dynamicsstabilizabilityvector fieldsEuler characteristicasymptotic stabilitycontrol systemsmanifolds
0
0 comments X

The pith

Feedback allows fully actuated second-order systems to reproduce any first-order vector field exponentially.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that fully actuated second-order control systems on a manifold can stabilize any smooth vector field so that solutions converge exponentially to its trajectories while matching the prescribed velocities in the limit. This would let designers specify desired first-order rules and have the second-order dynamics follow them closely through feedback. In contrast, underactuated systems on manifolds with nonzero Euler characteristic cannot stabilize almost all vector fields even locally, including those with isolated zeros. The positive results apply to most Lagrangian systems and include global exponential stability plus normal hyperbolicity of the target section.

Core claim

For fully actuated systems, the section corresponding to any smooth vector field can be made globally exponentially stable, normally hyperbolic, and more. In particular, not only does each closed-loop solution asymptotically have the prescribed velocities, but it also converges to a trajectory of the first-order dynamics generated by the prescribed vector field at an exponential rate. Thus, the closed-loop second-order system asymptotically reproduces the prescribed first-order dynamics. In contrast, for underactuated systems on manifolds with nonzero Euler characteristic, sections corresponding to almost all smooth vector fields cannot even be locally asymptotically stabilized. This holds,

What carries the argument

Feedback control rendering a prescribed vector field section globally exponentially stable and normally hyperbolic in the tangent bundle.

Load-bearing premise

The positive stabilization holds only for fully actuated systems, while the negative impossibility result requires the manifold to have nonzero Euler characteristic and applies to almost all vector fields.

What would settle it

A simulation of an underactuated system on the sphere failing to stabilize any vector field with an isolated zero, or a fully actuated example showing exponential convergence rates to a chosen vector field, would test the claims directly.

Figures

Figures reproduced from arXiv: 2604.10757 by Matthew D. Kvalheim.

Figure 1
Figure 1. Figure 1: Illustration of Example 1. Shown in blue are several trajectories of the first-order reference dynamics generated by the vector field (12) on Q = S 2 . Shown in red are several solutions to the closed-loop second-order system (13) for ε = 1.2. As ex￾plained in Example 1, here X(S 2 ) ⊂ T S2 is an ∞-NAIM and ∞-center bunching for any value of ε > 0. Indeed, each red so￾lution exponentially converges to a bl… view at source ↗
read the original abstract

We study whether second-order systems can be made to behave like prescribed first-order dynamical systems through feedback control. More precisely, we study whether prescribed vector fields on compact smooth manifolds, viewed geometrically as sections of the tangent bundle, can be asymptotically stabilized in a strong sense by second-order control systems on the base manifold. Our class of second-order systems includes most Lagrangian systems, and we obtain both positive and negative results. The positive result asserts that, for fully actuated systems, the section corresponding to any smooth vector field can be made globally exponentially stable, normally hyperbolic, and more. In particular, not only does each closed-loop solution asymptotically have the prescribed velocities, but it also converges to a trajectory of the first-order dynamics generated by the prescribed vector field at an exponential rate. Thus, the closed-loop second-order system asymptotically reproduces the prescribed first-order dynamics. In contrast, the negative result asserts that, for underactuated systems on manifolds with nonzero Euler characteristic, sections corresponding to "almost all" smooth vector fields cannot even be locally asymptotically stabilized. This includes, in particular, all vector fields with only isolated zeros. An example shows that the Euler characteristic assumption is necessary for the negative result.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript investigates whether sections of the tangent bundle corresponding to prescribed smooth vector fields on compact manifolds can be asymptotically stabilized by second-order control systems (including most Lagrangian systems). It establishes a positive result: for fully actuated systems, any smooth vector field section can be rendered globally exponentially stable and normally hyperbolic by feedback, so that closed-loop trajectories converge exponentially to the prescribed first-order dynamics. It also establishes a negative result: for underactuated systems on manifolds with nonzero Euler characteristic, sections for almost all vector fields (including those with isolated zeros) cannot be locally asymptotically stabilized, by a topological obstruction invoking the Poincaré-Hopf theorem. An example demonstrates that the Euler characteristic hypothesis is necessary.

Significance. If the claims hold, the work supplies a geometrically precise bridge between first-order and second-order dynamics in control theory. The constructive feedback law for the fully actuated case yields exponential stability with rate independent of the base vector field, together with normal hyperbolicity; the negative result cleanly identifies a topological obstruction that rules out stabilization for generic vector fields. These results are directly applicable to mechanical control systems and clarify fundamental limits on embedding prescribed dynamics.

minor comments (3)
  1. The abstract phrase 'and more' is imprecise; the precise additional properties (normal hyperbolicity, exponential convergence to the flow) should be stated explicitly in the abstract and introduction.
  2. Notation for the tangent bundle, sections, and the control input should be introduced with a short table or diagram in §2 to aid readers unfamiliar with the geometric setup.
  3. The example illustrating necessity of the Euler characteristic assumption (mentioned in the abstract) would benefit from an explicit statement of the manifold and vector field used.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading, positive summary, and recommendation of minor revision. No specific major comments or requested changes were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central claims rest on explicit feedback constructions for the positive result (rendering the target section globally exponentially stable via a control law that enforces transverse contraction) and on the Poincaré-Hopf theorem for the negative result (topological obstruction for underactuated systems on manifolds with nonzero Euler characteristic). These steps are self-contained mathematical derivations from differential geometry and nonlinear control theory; no equations reduce to self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation chain is independent of the target claims and relies on standard external theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The results rest on standard domain assumptions from differential geometry and nonlinear control; no free parameters or invented entities are introduced.

axioms (3)
  • domain assumption The base manifold is compact and smooth
    Invoked for global stability and normal hyperbolicity claims in the positive result.
  • domain assumption The second-order system is fully actuated for the positive theorem
    Required to achieve global exponential stability of arbitrary vector fields.
  • domain assumption The manifold has nonzero Euler characteristic for the negative theorem
    Necessary condition stated for the non-stabilizability of almost all vector fields.

pith-pipeline@v0.9.0 · 5515 in / 1440 out tokens · 30393 ms · 2026-05-10T15:36:02.172078+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    R Abraham and J E Marsden, Foundations of mechanics, second ed., Benjamin/Cummings Publishing Co., Inc., Advanced Book Program, Reading, MA, 1978, With the assistance of Tudor Ra tiu and Richard Cushman. 515141

    work page 1978

  2. [2]

    Yu Baryshnikov, Topological perplexity of feedback stabilization, J. Appl. Comput. Topol. 7 (2023), no. 1, 75--87. 4552117

    work page 2023

  3. [3]

    M-A Belabbas and J Ko, Dynamic global feedback stabilization: why do the twist?, Geometry, topology and control system design, AIMS Ser. Appl. Math., vol. 13, Am. Inst. Math. Sci. (AIMS), Springfield, MO, 2025, pp. 47--60. 5010887

    work page 2025

  4. [4]

    24, Springer-Verlag, 2015

    A M Bloch, Nonholonomic mechanics and control, 2 ed., vol. 24, Springer-Verlag, 2015

    work page 2015

  5. [5]

    IFAC 35 (1999), no

    F Bullo and R M Murray, Tracking for fully actuated mechanical systems: a geometric framework, Automatica J. IFAC 35 (1999), no. 1, 17--34. 1827788

    work page 1999

  6. [6]

    R W Brockett, Control theory and analytical mechanics, Geometric Control Theory, Lie Groups: History, Frontiers and Applications (1977), 1--46

    work page 1977

  7. [7]

    1, 181--191

    , Asymptotic stability and feedback stabilization, Differential geometric control theory 27 (1983), no. 1, 181--191

    work page 1983

  8. [8]

    3, 227--232

    J-M Coron, A necessary condition for feedback stabilization, Systems & Control Letters 14 (1990), no. 3, 227--232

    work page 1990

  9. [9]

    M de Sa, P Ong, and A D Ames, From bundles to backstepping: Geometric control barrier functions for safety-critical control on manifolds, arXiv preprint arXiv:2510.20202 (2025), 1--8

    work page arXiv 2025

  10. [10]

    9, 4202--4245

    J Eldering, M Kvalheim, and S Revzen, Global linearization and fiber bundle structure of invariant manifolds, Nonlinearity 31 (2018), no. 9, 4202--4245. 3841342

    work page 2018

  11. [11]

    2, Atlantis Press, Paris, 2013, The noncompact case

    J Eldering, Normally hyperbolic invariant manifolds, Atlantis Studies in Dynamical Systems, vol. 2, Atlantis Press, Paris, 2013, The noncompact case. 3098498

    work page 2013

  12. [12]

    II , Indiana Univ

    N Fenichel, Asymptotic stability with rate conditions. II , Indiana Univ. Math. J. 26 (1977), no. 1, 81--93. 426056

    work page 1977

  13. [13]

    , Persistence and smoothness of invariant manifolds for flows, Indiana Univ. Math. J. 21 (1971/72), 193--226. 287106

    work page 1971

  14. [14]

    , Asymptotic stability with rate conditions, Indiana Univ. Math. J. 23 (1973/74), 1109--1137. 339276

    work page 1973

  15. [15]

    V Guillemin and A Pollack, Differential topology, AMS Chelsea Publishing, Providence, RI, 2010, Reprint of the 1974 original. 2680546

    work page 2010

  16. [16]

    33, Springer-Verlag, New York, 1994, Corrected reprint of the 1976 original

    M W Hirsch, Differential topology, Graduate Texts in Mathematics, vol. 33, Springer-Verlag, New York, 1994, Corrected reprint of the 1976 original. 1336822

    work page 1994

  17. [17]

    M W Hirsch, C C Pugh, and M Shub, Invariant manifolds, Lecture Notes in Mathematics, vol. Vol. 583, Springer-Verlag, Berlin-New York, 1977. 501173

    work page 1977

  18. [18]

    W Jongeneel and E Moulay, Topological O bstructions to S tability and S tabilization , SpringerBriefs in Electrical and Computer Engineering, Springer, Cham, 2023, History, Recent Advances and Open Problems, SpringerBriefs in Control, Automation and Robotics. 4633311

    work page 2023

  19. [19]

    M D Kvalheim and D E Koditschek, Necessary conditions for feedback stabilization and safety, J. Geom. Mech. 14 (2022), no. 4, 659--693. 4484131

    work page 2022

  20. [20]

    259--265

    D E Koditschek, Adaptive techniques for mechanical systems, Proceedings of the 5th Yale Workshop on Adaptive Systems (New Haven, CT), 1987, pp. 259--265

    work page 1987

  21. [21]

    1, 1--33

    D E Koditschek, What is robotics? W hy do we need it and how can we get it? , Annual Review of Control, Robotics, and Autonomous Systems 4 (2021), no. 1, 1--33

    work page 2021

  22. [22]

    Control Optim

    M D Kvalheim, Obstructions to asymptotic stabilization, SIAM J. Control Optim. 61 (2023), no. 2, 536--542. 4573255

    work page 2023

  23. [23]

    , Relationships between necessary conditions for feedback stabilizability, Geometry, topology and control system design, AIMS Ser. Appl. Math., vol. 13, Am. Inst. Math. Sci. (AIMS), Springfield, MO, 2025, pp. 167--179. 5010894

    work page 2025

  24. [24]

    F A Leve, Future of geometric and topological theories for control, Geometry, topology and control system design, AIMS Ser. Appl. Math., vol. 13, Am. Inst. Math. Sci. (AIMS), Springfield, MO, 2025, pp. 141--165. 5010893

    work page 2025

  25. [25]

    F A Leve, B J Hamilton, and M A Peck, Spacecraft momentum control systems, 2 ed., Space Technology Library, Springer, Cham, 2025. 3408617

    work page 2025

  26. [26]

    T Lee, M Leok, and N H McClamroch, Geometric tracking control of a quadrotor UAV on SE (3) , Proceedings of the 49th IEEE Conference on Decision and Control (CDC), IEEE, 2010

    work page 2010

  27. [27]

    93, American Mathematical Society, Providence, RI, 2008

    P W Michor, Topics in differential geometry, Graduate Studies in Mathematics, vol. 93, American Mathematical Society, Providence, RI, 2008. 2428390

    work page 2008

  28. [28]

    R N Murray, Z X Li, and S S Sastry, A mathematical introduction to robotic manipulation, CRC Press, Boca Raton, FL, 1994. 1300410

    work page 1994

  29. [29]

    J W Milnor and J D Stasheff, Characteristic classes, Annals of Mathematics Studies, vol. No. 76, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1974. 440554

    work page 1974

  30. [30]

    J R Munkres, Elementary differential topology, revised ed., Annals of Mathematics Studies, vol. No. 54, Princeton University Press, Princeton, NJ, 1966, Lectures given at Massachusetts Institute of Technology, Fall, 1961. 198479

    work page 1966

  31. [31]

    and W de Melo, Geometric theory of dynamical systems, Springer-Verlag, New York-Berlin, 1982, An introduction, Translated from the Portuguese by A

    J Palis, Jr. and W de Melo, Geometric theory of dynamical systems, Springer-Verlag, New York-Berlin, 1982, An introduction, Translated from the Portuguese by A. K. Manning. 669541

    work page 1982

  32. [32]

    C Pugh, M Shub, and A Wilkinson, H\"older foliations, Duke Math. J. 86 (1997), no. 3, 517--546. 1432307

    work page 1997

  33. [33]

    S Revzen, B D Ilhan, and D E Koditschek, Dynamical trajectory replanning for uncertain environments, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), IEEE, 2012

    work page 2012

  34. [34]

    4, IEEE, 1993, pp

    C-J Wan and D S Bernstein, Rotational stabilization of a rigid body using two torque actuators, Proceedings of the 32nd IEEE Conference on Decision and Control, vol. 4, IEEE, 1993, pp. 3146--3151

    work page 1993

  35. [35]

    J Welde and V Kumar, Almost global asymptotic trajectory tracking for fully-actuated mechanical systems on homogeneous R iemannian manifolds , IEEE Control Syst. Lett. 8 (2024), 724--729. 4760723

    work page 2024

  36. [36]

    4, 576--589

    M Zefran, V Kumar, and C B Croke, On the generation of smooth three-dimensional rigid body motions, IEEE Transactions on Robotics and Automation 14 (1998), no. 4, 576--589

    work page 1998