pith. sign in

arxiv: 2507.02736 · v2 · submitted 2025-07-03 · ⚛️ physics.class-ph · quant-ph

Kapitza's Pendulum as a Classical Prelude to Floquet-Magnus Theory

Johannes K. Krondorfer , Maria Kainz , Matthias Diez , Andreas W. Hauser This is my paper

Pith reviewed 2026-05-19 06:57 UTC · model grok-4.3

classification ⚛️ physics.class-ph quant-ph
keywords Kapitza pendulumFloquet theoryMagnus expansiondynamical stabilizationeffective potentialperiodic drivingclassical mechanics
0
0 comments X

The pith

Kapitza's pendulum yields analytical stability conditions when analyzed with Floquet theory and the Magnus expansion.

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

The paper treats Kapitza's pendulum as a classical system that can be stabilized in its inverted position by rapid vertical oscillations. It derives the time-periodic equations of motion and applies Floquet theory together with the Magnus expansion to obtain closed-form stability criteria and an effective equation for the slow motion. The resulting effective potential explains the dynamical stabilization without numerical integration. A sympathetic reader cares because the same mathematical steps carry over directly to periodically driven quantum systems, providing an accessible classical route to those techniques. The treatment uses only undergraduate-level mechanics, linear algebra, and differential equations.

Core claim

By writing the pendulum's angular equation under vertical driving, converting it to a linear Hill equation, and expanding the time-evolution operator via the Magnus series, the paper obtains explicit analytic conditions on driving frequency and amplitude for which the inverted equilibrium is stable, together with an effective time-independent equation governing small oscillations around that point.

What carries the argument

The Magnus expansion, which converts the time-periodic linear system into an effective time-independent generator whose eigenvalues determine stability.

If this is right

  • The inverted equilibrium is stable above a threshold driving frequency that scales with the square root of the driving amplitude.
  • The effective equation predicts harmonic oscillations about the inverted position whose frequency depends on both driving parameters and gravity.
  • The same Floquet-Magnus procedure produces effective evolution operators for any linearly driven classical oscillator.
  • Stability diagrams computed this way match the boundaries obtained from direct numerical integration of the original equation when the driving is fast.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The classical derivation supplies an intuitive picture of effective potentials that could be used to anticipate results in Floquet-engineered quantum matter.
  • Adding weak friction to the model would test whether the analytically predicted stability window shrinks in a manner consistent with experiment.
  • The same reduction could be applied to other parametrically driven classical systems, such as a driven double pendulum, to generate new effective potentials.

Load-bearing premise

The Magnus series can be truncated at low order while still giving accurate stability boundaries for the chosen driving parameters.

What would settle it

A laboratory measurement of the critical driving amplitude versus frequency at which the inverted pendulum loses stability that systematically deviates from the analytic curve predicted by the truncated Magnus expansion.

Figures

Figures reproduced from arXiv: 2507.02736 by Andreas W. Hauser, Johannes K. Krondorfer, Maria Kainz, Matthias Diez.

Figure 1
Figure 1. Figure 1: a. To express the dynamics in terms of the generalized coordinate θ, we compute the kinetic and potential energy. The coordinates of the pendulum bob are x = ℓ sin(θ), y = yP(t) − ℓ cos(θ), (1) so the potential energy becomes V = mg (yP − ℓ cos(θ)) . (2) The kinetic energy is given by T = m 2 (x˙ 2 + y˙ 2 ) = m 2 (ℓ 2 cos(θ) 2 ˙θ 2 + (y˙P + ℓ sin(θ) ˙θ) 2 ) = m 2 (ℓ 2 cos(θ) 2 ˙θ 2 + ℓ 2 sin(θ) 2 ˙θ 2 + 2y… view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p013_2.png] view at source ↗
read the original abstract

We present a pedagogical introduction to Floquet-Magnus theory through the classical example of Kapitza's pendulum - a simple system exhibiting nontrivial dynamical stabilization under rapid periodic driving. By deriving the equations of motion and analyzing the system using Floquet theory and the Magnus expansion, we obtain analytical stability conditions and effective evolution equations. While grounded in classical mechanics, the techniques are directly applicable to periodically driven quantum systems as well. The approach is fully analytical, using only tools from theoretical mechanics, linear algebra, and ordinary differential equations, and is suitable for instruction at the advanced undergraduate or graduate level.

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

1 major / 2 minor

Summary. The manuscript presents Kapitza's pendulum as a classical example to introduce Floquet theory and the Magnus expansion. Starting from the driven pendulum equations of motion, it applies Floquet analysis to derive stability conditions for the inverted position and employs a truncated Magnus expansion to obtain effective evolution equations in the high-frequency regime, with the approach framed as pedagogical and extensible to quantum driven systems.

Significance. If the truncation is justified, the work supplies a fully analytical, parameter-free derivation that connects standard classical mechanics and linear ODE methods to Floquet-Magnus techniques, offering a clear teaching example without post-hoc fitting or invented entities. This pedagogical framing and the explicit linkage to quantum applications constitute its main strength.

major comments (1)
  1. [§4] §4 (Magnus expansion and effective equations): The stability condition for the inverted position is obtained from the eigenvalues of the effective matrix after truncating the Magnus series; however, no remainder estimate, radius of convergence, or direct comparison of the truncated Floquet multiplier against the exact numerical solution is supplied for the driving frequencies and amplitudes used in the stability diagrams. This assumption is load-bearing for the central claim of obtaining reliable analytical stability conditions.
minor comments (2)
  1. [§2] The small-angle approximation in the derivation of the equations of motion should be stated explicitly with its range of validity.
  2. [Figure 2] Figure captions for the stability diagrams should list the specific numerical values of driving amplitude and frequency at which the analytical and numerical boundaries are compared.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for acknowledging the pedagogical framing of the work. We address the single major comment below and will revise the manuscript to incorporate additional validation.

read point-by-point responses

  1. Referee: [§4] §4 (Magnus expansion and effective equations): The stability condition for the inverted position is obtained from the eigenvalues of the effective matrix after truncating the Magnus series; however, no remainder estimate, radius of convergence, or direct comparison of the truncated Floquet multiplier against the exact numerical solution is supplied for the driving frequencies and amplitudes used in the stability diagrams. This assumption is load-bearing for the central claim of obtaining reliable analytical stability conditions.

    Authors: We agree that explicit validation of the truncation strengthens the central claim. While the high-frequency regime formally suppresses higher-order Magnus terms, we will add to the revised manuscript a direct numerical comparison of the analytical stability boundaries (obtained from the truncated effective matrix) against Floquet multipliers computed by numerical integration of the exact time-periodic linear system. This comparison will be shown for representative driving frequencies and amplitudes appearing in the stability diagrams, thereby quantifying the accuracy of the leading-order approximation in the regime of interest. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation of stability conditions and effective equations

full rationale

The paper derives the equations of motion for Kapitza's pendulum from Newton's laws and applies standard Floquet theory together with the Magnus expansion to obtain analytical stability conditions from the eigenvalues of an effective matrix. These steps rely on linear algebra and ordinary differential equations without any reduction of the central results to fitted parameters, self-definitional loops, or load-bearing self-citations. The truncation of the Magnus expansion is presented as an approximation whose accuracy is assumed for the high-frequency regime, but this is an explicit modeling choice rather than a circular redefinition of the output in terms of the input. The derivation remains self-contained against external benchmarks from classical mechanics.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper rests on standard results from classical mechanics and linear differential equations with no new free parameters, axioms beyond undergraduate mathematics, or invented entities.

axioms (1)
  • domain assumption The driving is strictly periodic and the system remains in the linear regime near the inverted position.
    Invoked when linearizing the pendulum equation around the upright equilibrium.

pith-pipeline@v0.9.0 · 5634 in / 1216 out tokens · 26638 ms · 2026-05-19T06:57:30.306595+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages · 1 internal anchor

  1. [1]

    0 ∓ ω2 0 T3 6 ∓ 2AT ℓ − A2ω2T 2ℓ2 − 2Aω2 0 T ℓ + ω4 0 T3 6 0 # − 1 6 0 T ∓ω2 0T 0 3 =

    (32) This gives the stability condition for dynamical stabilization: if the driving is sufficiently fast and strong, the inverted pendulum becomeseffectively stable – even though it is statically unstable. 12 This striking phenomenon, known as dynamical stabilization , is a hallmark of systems governed by effective time-averaged Hamiltonians. It emerges n...

    work page doi:10.55776/p36903

  2. [2]

    Oka and H

    T. Oka and H. Aoki, Photovoltaic hall effect in graphene, Phys. Rev. B79, 081406 (2009)

    work page 2009

  3. [3]

    N. H. Lindner, G. Refael, and V . Galitski, Floquet topological insulator in semiconductor quantum wells, Nature Physics 7, 490 (2011)

    work page 2011

  4. [4]

    M. S. Rudner and N. H. Lindner, Band structure engineering and non-equilibrium dynamics in floquet topological insulators, Nature Reviews Physics 2, 229 (2020)

    work page 2020

  5. [5]

    Goldman, J

    N. Goldman, J. Dalibard, M. Aidelsburger, and N. R. Cooper, Periodically driven quan- tum matter: The case of resonant modulations, Phys. Rev. A 91, 033632 (2015)

    work page 2015

  6. [6]

    Goldman and J

    N. Goldman and J. Dalibard, Periodically driven quantum systems: Effective hamiltoni- ans and engineered gauge fields, Phys. Rev. X 4, 031027 (2014)

    work page 2014

  7. [7]

    Eckardt, Colloquium: Atomic quantum gases in periodically driven optical lattices, Rev

    A. Eckardt, Colloquium: Atomic quantum gases in periodically driven optical lattices, Rev. Mod. Phys. 89, 011004 (2017)

    work page 2017

  8. [8]

    Aidelsburger, M

    M. Aidelsburger, M. Atala, S. Nascimb`ene, S. Trotzky, Y.-A. Chen, and I. Bloch, Experi- mental realization of strong effective magnetic fields in an optical lattice, Phys. Rev. Lett. 107, 255301 (2011)

    work page 2011

  9. [9]

    Rahav, I

    S. Rahav, I. Gilary, and S. Fishman, Effective hamiltonians for periodically driven sys- tems, Phys. Rev. A 68, 013820 (2003). 17

    work page 2003

  10. [10]

    M. J. Biercuk, H. Uys, A. P . VanDevender, N. Shiga, W. M. Itano, and J. J. Bollinger, Optimized dynamical decoupling in a model quantum memory, Nature 458, 996 (2009)

    work page 2009

  11. [11]

    J. K. Krondorfer, S. Pucher, M. Diez, S. Blatt, and A. W. Hauser, Optical nuclear electric resonance as single qubit gate for trapped neutral atoms (2025), arXiv:2501.11163 [quant- ph]

    work page arXiv 2025

  12. [12]

    J. K. Krondorfer, M. Diez, and A. W. Hauser, Optical nuclear electric resonance in LiNa: selective addressing of nuclear spins through pulsed lasers, Phys. Scr. 99, 075307 (2024)

    work page 2024

  13. [13]

    J. K. Krondorfer and A. W. Hauser, Nuclear electric resonance for spatially resolved spin control via pulsed optical excitation in the UV-visible spectrum, Phys. Rev. A 108, 053110 (2023)

    work page 2023

  14. [14]

    J. K. Krondorfer, M. Diez, and A. W. Hauser, Single qudit control in 87sr via optical nuclear electric resonance (2025), arXiv:2506.23143 [quant-ph]

    work page arXiv 2025

  15. [15]

    Bukov, L

    M. Bukov, L. D’Alessio, and A. P . and, Universal high-frequency behavior of periodically driven systems: from dynamical stabilization to floquet engineering, Advances in Physics 64, 139 (2015)

    work page 2015

  16. [16]

    Reitter, J

    M. Reitter, J. N¨ager, K. Wintersperger, C. Braun, I. Bloch, U. Schneider, and C. Schweizer, Interaction dependent heating and atom loss in a periodically driven optical lattice, Phys. Rev. Lett. 119, 200402 (2017)

    work page 2017

  17. [17]

    Trainiti and M

    G. Trainiti and M. Ruzzene, Non-reciprocal elastic wave propagation in spatiotemporal periodic structures, New Journal of Physics 18, 083047 (2016)

    work page 2016

  18. [18]

    Leonard, R

    A. Leonard, R. Chaunsali, P . G. Kevrekidis, and C. Daraio, Tunable nonlinear topological phononic crystals, Proceedings of the National Academy of Sciences 115, 11083 (2018)

    work page 2018

  19. [19]

    Floquet engineering of classical systems

    S. Higashikawa, H. Fujita, and M. Sato, Floquet engineering of classical systems (2018), arXiv:1810.01103 [cond-mat.str-el]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  20. [20]

    J. K. Hale and H. Koc ¸ak, Dynamics and Bifurcations, corrected 2nd printing ed., Texts in Applied Mathematics, Vol. 3 (Springer, 2006)

    work page 2006

  21. [21]

    J. K. Hale, Ordinary Differential Equations, reprint of the 2nd edition, originally published by wiley, 1980 ed. (Dover Publications, 2009)

    work page 1980

  22. [22]

    Floquet, Sur les ´equations diff´erentielles lin´eaires `a coefficients p´eriodiques, Annales scientifiques de l’´Ecole Normale Sup´erieure 12, 47 (1883)

    G. Floquet, Sur les ´equations diff´erentielles lin´eaires `a coefficients p´eriodiques, Annales scientifiques de l’´Ecole Normale Sup´erieure 12, 47 (1883)

    work page

  23. [23]

    W. Magnus, On the exponential solution of differential equations for a lin- ear operator, Communications on Pure and Applied Mathematics 7, 649 (1954), https://onlinelibrary.wiley.com/doi/pdf/10.1002/cpa.3160070404

    work page doi:10.1002/cpa.3160070404 1954

  24. [24]

    Blanes, F

    S. Blanes, F. Casas, J. A. Oteo, and J. Ros, The magnus expansion and some of its applications, Physics Reports 470, 151 (2009)

    work page 2009

  25. [25]

    P . L. Kapitza, Dynamic stability of a pendulum when its point of suspension vibrates, Soviet Physics JETP 21, 588 (1951), reprinted from Zh. Eksp. Teor. Fiz. 21, 588 (1951). 18

    work page 1951

  26. [26]

    E. I. Butikov, On the dynamic stabilization of an inverted pendulum, American Journal of Physics 69, 755 (2001)

    work page 2001

  27. [27]

    Goldstein, C

    H. Goldstein, C. Poole, and J. Safko, Classical Mechanics, 3rd ed. (Addison-Wesley, 2002)

    work page 2002

  28. [28]

    F. J. Dyson, The s matrix in quantum electrodynamics, Phys. Rev. 75, 1736 (1949)

    work page 1949

  29. [29]

    E. A. Coddington and N. Levinson, Theory of Ordinary Differential Equations (McGraw- Hill, 1955)

    work page 1955