\(\newcommand{\I}{\mathrm{i}} \newcommand{\E}{\mathrm{e}} \newcommand{\D}{\mathop{}\!\mathrm{d}} \newcommand{\Di}[1]{\mathop{}\!\mathrm{d}#1\,} \newcommand{\Dd}[1]{\frac{\mathop{}\!\mathrm{d}}{\mathop{}\!\mathrm{d}#1}}\)

# From Hamilton equations to the nonlinear resonance

Classical mechanics, which describes the motion of particles based on Newton’s laws, can be formulated using a Lagrangian \(L = L(x, \dot{x})\) and the principle of least action:

where the Lagrangian is considered as a function of the trajectory \(x=x(t)\), and the extremum of the action functional \(S = S[x]\) is over all trajectories joining the fixed points \(x_0\) and \(x_1\). An equivalent description is obtained, after a Legendre transformation:

in terms of the Hamiltonian \(H = H(x,p)\), considered as a function of the *canonical variables* position \(x\) and momentum \(p = \partial L/ \partial \dot{x}\). While the Lagrangian description is based on the particle trajectories, the Hamiltonian description is based on the distribution of states in the phase space; states are points \((x,p)\), belonging to an energy surface \(E = H(x,p)\). In the Hamiltonian dynamics approach, time appears as a simple parameter: \((x(t),p(t))\) is the parametric definition of a phase space trajectory.

The particle dynamics is governed by the Hamiltonian equations (equivalent to the Newton equation of motion, but in fact more general than Newton equations):

One can take these equations as a definition of the canonical variables \((x,p)\).

## Canonical transformations

A change of canonical variables that preserves the Hamiltonian structure, is called a *canonical transformation*. An important type of canonical transformation, the one transforming momentum \(p\) and position \(x\) to action \(I\) and angle \(\theta\) variables, is generated by the action \(S = S(x,I)\):

A system of \(d\) degrees of freedom is integrable if it possesses \(d\) independent integrals of motion \(F=\{F_1,\ldots,F_d\}\), that is phase space functions commuting with the Hamiltonian \(\{H,F\}=0\), where \(\{\ldots\}\) is the Poisson braket. In an integrable systems the action variables depend only on initial conditions, or equivalently, on the set \(F\), allowing a trivial integration of the system:

where \(\omega=(\omega_1,\ldots,\omega_d)\) are the natural frequencies of the system: basically an integrable system can be transformed, by a canonical transformation, in a set of independent oscillators. Trajectories of an integrable systems fill *invariant tori* labeled by the actions \(I\), and parametrically defined by the angles \(\theta=\theta(t)\).

When the number of motion integrals is smaller than the degrees of freedom, generically the Hamiltonian system is not integrable. Let us consider a small perturbation \(V\), of typical amplitude \(\varepsilon\), of an integrable Hamiltonian \(H_0\):

where we expanded the perturbation in a Fourier series, and \(n = (n_1,\ldots,n_d)\) is a vector of integers. Using the equations of motion, we readily obtain the first order approximation:

We observe that this expansion breaks down when the linear combinations of frequencies vanish:

this is the so called *resonance* condition. In the simplest case \(d=2\), this relation is always satisfied when the frequency ratio \(\omega_1/\omega_2\) is rational.

## Liouville theorem

The volume of a set of phase space trajectories is conserved. Equivalently, the Jacobian of a canonical transformation is one. The proof is straightforward: noting \((x,p)\) the set of original variables (\(x\in\mathbb{R}^n\), \(p\in\mathbb{R}^n\), for a system with n degrees of freedom), and \((X,P)\) the transformed canonical variables, such that, using the generating function \(S=S(x,P)\),

the Jacobian writes,

Using the derivation chain rule one obtains,

As a consequence, the phase space density \(\rho=\rho(x,p,t)\) (its integral gives the phase space volume) is conserved along the trajectories:

or using the Poisson bracket notation:

which is the *Liouville equation*.

## KAM and PB theorems

The Kolmogorov-Arnold-Moser theorem states that closed surfaces of energy (family of periodic orbits) are preserved under small perturbations. This theorem applies to *irrational tori*, surfaces characterized by irrational frequency ratios; for a rational frequency ratio, the Poincaré-Birkhoff theorem states that a small perturbation destroys the rational surface but creates two fixed points, at the intersection of two neighboring irrational surfaces rotating in opposite directions around the unperturbed periodic orbit.

## Perturbation theory

Assume an \(N\)-dimensional integrable system with Hamiltonian \(H_0(I)\) depending on the set \(I=(I_1,\ldots,I_N)\) action variables, altered by a small perturbation \(\epsilon H_1(\theta,I)\), where \(\epsilon\) the perturbation strength, and \(\theta=(\theta_1,\ldots,\theta_N)\) the conjugated canonical angles. Assuming that the perturbed system remains integrable, there should exist a complete set of action variables in which the hamiltonian becomes independent of the angle variables. If such is the case, exact integration of the perturbed system reduces to find a canonical transformation \((\theta,I)\rightarrow(\phi,J)\) such that the transformed Hamiltonian writes

In general it is impossible to find a closed form of \(K\), however, the presence of a small parameter \(\epsilon\) allows us to compute \(K\) as a series in powers of \(\epsilon\). The idea is to use the generating function of the canonical transformation \(\theta \cdot J + S(\theta,J)\),

to compute the perturbation series. To first order \(K(J) = K_0(J)+K_1(J)\), one obtains,

where

are a set of characteristic frequencies of the original integrable system (at this order \(I=J\)). Using the fact that \(K_1\) do not depend on \(\theta\), one can average the first order equation over the angles to get,

Now, to find \(S_1\) it is convenient to expand it (and \(H_1\)) in Fourier series:

with \(n=(n_1,\ldots,n_N)\) a set of integers. After substitution of these expansions in the first order equation, one finds the form of the Fourier coefficients:

Already at this order, one observes the difficulty with the perturbation series: it diverges in the case of a resonance:

which is always the case if the unperturbed frequencies ratios are rational \(\omega_n/\omega_m\in \mathbb{Q}\). Even in the absence of a resonance, there exists a combination of integers \(n\) such that the denominator becomes arbritarly small, making the perturbation series meaningless: this is the problem of small divisors. In summary, general perturbations should brake the integrability of the system, leading to the appearance of chaotic regions in phase space.

## Resonance

In order to illustrate the behavior of a system near a resonance, we consider a one degree of freedom Hamiltonian \(H_0 = H_0(I)\) whose natural frequency is \(\omega(I) = dH_0/dI\), perturbed by a time dependent potential \(V(I, \theta, t)\); this can be considered as a “1+1/2” Hamiltonian system (the canonical conjugate of \(t\) been trivial):

where \(T\) is the period of the perturbation. The resonance condition, for a fixed action \(I_0\) of some periodic orbit, writes

The equations of motion for this particular mode are,

where \(V_0\) is the potential amplitude of the resonant mode. To compute the dynamics near the resonance \(I \approx I_0\), we use the canonical transformation (near the identity) \(F(I, q, t)= - (I-I_0)(q+n_0 t)/k_0\). This transformation gives new angle and action variables

where \(q\) represents the resonant phase, and the momentum \(p\) measures the distance to the unperturbed action. The motion equations in these new variables, up to small terms in \(p^2\) and \(\varepsilon\), are

where we expanded \(\omega(I)\) in powers of \(p\), and noted that the new equations can be derived from the Hamiltonian:

We thus found that the effective Hamiltonian describing the phase space in the neighborhood of a resonance is given by the pendulum Hamiltonian. The characteristic oscillation frequency of the pendulum is \(\sqrt{\varepsilon k_0^2 \omega'(I_0)V_0}\).

From this simple model, we can imagine a Hamiltonian system with an infinite number of resonances \(p_1,\ldots,p_n,\ldots\). If neighboring resonances are overlapping, a particle can jump from one to the other, wandering in phase space between the resonances network. This discrete “time” dynamics can be modeled by a mapping of the form:

which is called the *standard map*.