---
title: Resonant Normal Form in Hamiltonian Systems
url: https://www.emergentmind.com/topics/resonant-normal-form
type: topic
---

# Resonant Normal Form in Hamiltonian Systems

Resonant normal form is a reduction of a Hamiltonian, vector field, or cocycle near an equilibrium, invariant torus, or resonant wave configuration in which the conjugacy removes nonresonant terms and retains only those components satisfying exact resonance relations with respect to a distinguished linear or quadratic part. In Hamiltonian settings, the retained terms are characterized by commutation conditions such as \(\{E,P_{2j,l}\}=0\) or \(\{H_\Omega,Z_s\}=0\), while in Fourier or polynomial settings they are picked out by exact frequency-balance identities or weight equalities [0902.2470][1404.2730][1005.3838]. The resulting normal form may be formal or analytic, finite- or infinite-dimensional, and in resonant regimes it is generally less unique than in the non-resonant case, but it captures phenomena that non-resonant reductions suppress, including clustered spectra, resonant phase locking, and degenerate periodic-orbit bifurcation [1709.07824][2212.04300].

## 1. Algebraic definition of resonance

A resonant normal form is organized around a reference operator whose flow defines the resonance relation. Near an elliptic equilibrium with quadratic part
\[
H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,
\]
a monomial \(H_k z^k\) is resonant when
\[
(\omega,k')=0,\qquad k'=k-\zeta,
\]
and the resonance lattice is
\[
L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.
\]
The associated normal-form space is
\[
\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},
\]
so the normal form consists precisely of resonant monomials [2404.07043].

In completely resonant nonlinear Schrödinger settings, the same idea appears as simultaneous momentum and quadratic-energy balance. Quartic monomials
\[
u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}
\]
are resonant when
\[
k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.
\]
Geometrically, for the cubic case these are rectangles in \(\mathbb Z^n\) [1005.3838]. The same resonance principle underlies the broader analytic NLS construction in which the first Birkhoff step removes nonresonant monomials of degree \(2q+2\) and leaves those commuting with both momentum and quadratic energy [1012.0446].

A different but closely related formulation appears in non-stationary normal forms for contracting extensions. If \(E=E^1\oplus\cdots\oplus E^\ell\) is the spectral splitting with exponents \(\lambda_1<\cdots<\lambda_\ell<0\), then a homogeneous type \(s=(s_1,\dots,s_\ell)\) contributes resonantly to the \(i\)-th component precisely when
\[
\lambda_i=\sum_{j=1}^\ell s_j\lambda_j.
\]
The corresponding sub-resonance inequality
\[
\lambda_i\le \sum_{j=1}^\ell s_j\lambda_j
\]
defines a larger class. This exact-equality versus inequality distinction is structurally important: a resonance normal form is strictly more reduced than a sub-resonance normal form [2006.12662].

## 2. Retained structures in resonant normal forms

In the completely resonant semi-classical isotropic oscillator, the Weyl symbol of the quantum Birkhoff normal form is written as
\[
B = E + h P_{0,1} + \sum_{n=2}^{\infty}\;\sum_{2j+l=n} h^l\, P_{2j,l},
\]
with each \(P_{2j,l}\) an homogeneous polynomial of degree \(2j\) satisfying
\[
\{E, P_{2j,l}\}=0.
\]
Thus the admissible terms are those invariant under the harmonic oscillator flow, rather than arbitrary functions of separate action variables [0902.2470].

In lattice Hamiltonians the retained structure is similarly defined by Poisson commutation with the resonant quadratic part. For the Klein–Gordon chain, after a linear canonical transformation one obtains
\[
H_0 = H_\Omega + Z_0,\qquad \{H_\Omega,Z_0\}=0,
\]
and after \(r\) Lie-transform steps,
\[
H^{(r)} = H_\Omega + Z_0 + Z_1 + \cdots + Z_r + P^{(r+1)},
\qquad \{H_\Omega,Z_s\}=0.
\]
Here each \(Z_s\) is resonant with respect to the harmonic oscillator part \(H_\Omega\), while the remainder begins at order \(2r+4\) [1404.2730].

Resonance also prevents full elimination of angle dependence. In the symmetric \(1\!:\!2\) resonance, the normal form after reduction to action-angle variables contains the resonant angle combination
\[
\psi=4\theta_1-2\theta_2,
\]
and the resonant coupling first appears in \(K_4\) through
\[
\cos(4\theta_1-2\theta_2).
\]
The reduced system is therefore integrable only after passing to a one-degree-of-freedom resonant subsystem, not because all angles disappear [1303.2907].

This retained-angle structure reappears in celestial mechanics. In the resonant normal form near a collinear libration point in the spatial CR3BP, the Birkhoff normal form depends only on actions, but the resonant normal form keeps the synchronous \(1\!:\!1\) coupling and has the reduced form
\[
H^R = H^R(\hat{I}_1,\hat{I}_2,\hat{I}_3,\theta_2),
\qquad \theta_2=\phi_2-\phi_3.
\]
A plausible implication is that resonance normal forms should be viewed less as complete diagonalizations than as reductions to the smallest algebra that still carries the resonant interaction [2510.06368].

## 3. Normalization procedures

The classical construction is degree-by-degree elimination via Lie transforms. In the symmetric \(1\!:\!2\) resonance one writes
\[
K=e^{\mathcal L_G}H,\qquad \mathcal L_G F=\{F,G\},
\]
with generating series
\[
G=\sum_{l=1}^{N/2}\epsilon^{2l}G_{2l},
\]
and solves the homological equation
\[
\mathcal L_{H_0}G_n+K_n=R_n.
\]
The normal-form condition is
\[
\{K,H_0\}=0,
\]
so only resonant terms survive [1303.2907].

Near completely resonant maximal tori, normalization is adapted to the fast resonant phase. For
\[
H(I,\varphi;\varepsilon)=H_0(I)+\varepsilon H_1(I,\varphi)+\varepsilon^2 H_2(I,\varphi)+\cdots,
\]
the constructive algorithm uses Lie transformations with two generators,
\[
\exp(L_{\chi_2^{(r)}})\circ \exp(L_{\chi_0^{(r)}}),
\]
and alternates two substeps: translation of actions to keep the target frequency fixed and eliminate linear transverse drift, followed by averaging over the fast angle \(q_1\). The resulting normal form at order \(r\) satisfies
\[
f_{2,s}^{(r)}(0,0,q^*;q^*)=0,\qquad s=1,\dots,r,
\]
so a prescribed \(q^*\) becomes an approximate periodic orbit candidate [1709.07824].

For lower-dimensional resonant tori the scheme becomes more elaborate. After a resonant unimodular change of variables with one fast angle \(q_1\) and slow resonant angles \(q_2,\dots,q_{n_1}\), the normalization at each order has five stages: averaging the resonant \(f^{(r-1,r)}\) over \(q_1\), eliminating terms linear in \((\xi,\eta)\), averaging quadratic terms \(f_{2,0}\), removing mixed action–transverse terms \(f_{1,1}\), and averaging pure action terms \(f_{4,0}\) on the torus. The nonresonance assumptions enter through first and second Melnikov conditions,
\[
k\omega\pm \Omega_j\neq 0,\qquad
k\omega\pm \Omega_j\pm \Omega_\ell\neq 0,
\]
which prevent vanishing denominators in the homological equations [2005.11859].

An alternative procedure replaces discrete Lie steps by a normalization flow. In continuous averaging one introduces an auxiliary parameter \(\delta\) and solves
\[
\partial_\delta H = -\{\mathcal S H, H_2+H\},\qquad H|_{\delta=0}=H.
\]
With the sign operator
\[
\mathcal S H = i(H_- - H_+),
\]
nonresonant terms are exponentially damped in \(\delta\), while resonant terms remain fixed. In the codimension-one resonant case this produces a resonant normal form plus an exponentially small nonresonant remainder [2404.07043].

## 4. Equivalence, non-uniqueness, and convergence

Resonant normal forms are generally not unique. In the completely resonant semi-classical setting, the Birkhoff normal form is defined only up to a group \(G\) of automorphisms of the semi-classical Weyl algebra commuting with the oscillator \(E\). The group fits into the exact sequence
\[
0 \to K \to G \to M \to 0,
\]
where
\[
M \cong U(d)
\]
is the linear symplectic part commuting with \(H_2\), and \(K\) is generated by formal conjugations
\[
g_S = e^{iS/h}\cdot H \cdot e^{-iS/h}
\]
with resonant Hamiltonians \(S\) commuting with \(E\). In this setting the natural inverse problem is therefore spectral determination of the BNF modulo \(G\), not literal uniqueness [0902.2470].

For planar \(p\!:\!q\) resonant saddle vector fields, analytic normalization can nevertheless be made essentially canonical. The preferred explicit family is
\[
Z_{G,R}:=\frac{P}{1+P G}\,X_R,\qquad X_R:=X_0+R\,Y,
\]
with \(R,G\in\mathcal C_*\), and every resonant saddle vector field with formal modulus \((k,\mu,P)\) is analytically conjugate to some \(Z_{G,R}\). Two such normal forms are analytically conjugate if and only if they differ by a linear scaling
\[
(x,y)\mapsto (\alpha x,\beta y),\qquad (\alpha^q\beta^p)^k=1.
\]
This gives explicit analytic representatives together with a precise finite ambiguity [2212.04300].

Convergence questions are highly sensitive to structure. Near a zero-frequency invariant torus, if the formal Birkhoff normal form exists, is convergent, and has the special form
\[
N(I)=B(N_0(I)),\qquad N_0(I)=I^TQI,\ \det Q\neq 0,
\]
then there exists an invertible analytic symplectic transformation
\[
\Phi(I,\theta)=(I+O_2(I),\,\theta+O(I))
\]
such that
\[
H\circ \Phi(I,\theta)=N(I).
\]
In this regime, convergence of the Birkhoff normal form implies convergence of a normalizing transformation [2103.13535].

The opposite behavior is also documented. In the four-mode CHM truncation, the normal form transformation is computed up to \(7^\text{th}\) order while eliminating non-resonant terms and keeping up to \(8\)-wave resonances; the amplitudes where the transformation diverges are found to lie very close to the amplitudes where precession resonance produces strong energy transfer. This suggests that finite-amplitude resonant phenomena can occur precisely where standard weakly nonlinear normal-form coordinates lose convergence [1904.13272].

## 5. Spectral and dynamical consequences

A resonant normal form changes spectral organization. In the completely resonant semi-classical oscillator, the spectrum no longer consists of simple ordered levels indexed by distinct \(\omega\cdot k\); instead it forms clusters
\[
C_N
\]
consisting of \(N+1\) eigenvalues in an interval of size \(O(h^2)\) around
\[
h\left(N+\frac d2 + P_{0,1}\right), \qquad N=0,1,2,\dots.
\]
The resonant inverse problem is then formulated in terms of cluster locations and splittings rather than individual low-lying eigenvalues [0902.2470].

In nearly integrable Hamiltonian systems, resonant normal forms are used to continue periodic orbits after the breakup of resonant tori. For completely resonant maximal tori, the truncated normal form yields a periodic solution of frequency \(\omega\) at
\[
p=0,\qquad q=q^*
\]
provided the selection rule
\[
\sum_{s=1}^r \nabla_q f_{2,s}^{(r)}(0,0,q^*)=0
\]
holds. The nearby exact periodic orbit is then obtained by a Newton–Kantorovich argument under the stated spectral bounds on the Jacobian of the period map [1709.07824]. For lower-dimensional resonant tori, the same strategy survives degenerate leading-order critical sets: one computes higher-order normal forms until isolated continuation candidates emerge, and the approximate periodic orbit \(x^*=(q^*,0,0,0)\) is promoted to a true one when the inverse Jacobian satisfies the stated \(\epsilon\)-dependent bound [2005.11859].

Resonant normal forms also organize bifurcation. In the symmetric \(1\!:\!2\) resonance, the reduced Hamiltonian supports fixed points corresponding to the normal modes and to general-position periodic orbits. The resonant families are the banana orbits at \(\psi=0\) and the anti-banana orbits at \(\psi=\pm\pi\). Their bifurcation ordering is controlled by the coefficients
\[
\nu \doteq 12a+3b-4c,\qquad \mu \doteq 3ac-3c^2+8b_1,
\]
and the analysis shows that bananas and anti-bananas may bifurcate simultaneously from one normal mode but split at second order from the other [1303.2907].

In magnetic bottle Hamiltonians, the resonant normal form has a directly geometric payoff: it produces a quasi-integral valid both for each particular resonance and away from all resonances, and it reproduces invariant curves inside resonance islands as well as non-resonant invariant curves outside them. At the same time, the resonant series is asymptotic rather than convergent, with an optimal truncation order and an exponentially small optimal remainder [1501.07018].

## 6. Infinite-dimensional and PDE manifestations

In completely resonant NLS on the torus, the first resonant Birkhoff step isolates the Hamiltonian
\[
H_{\rm Res} = \sum_k|k|^2u_k\bar u_k + \sum_{\text{resonant}} u^\alpha\bar u^\beta,
\]
and the subsequent analysis of tangential and normal sites leads to a quadratic resonant form encoded by colored graphs. For generic tangential sets \(S\), connected components are uniformly finite, and an explicit symplectic change of variables,
\[
z_k=e^{-L(k)\cdot x}z_k',\qquad y=y'+\sum_{k\in S^c}L(k)|z_k'|^2,\qquad x=x',
\]
removes the angle dependence from the normal form and produces a block-diagonal quadratic Hamiltonian with finitely many block types [1012.0446]. The earlier cubic NLS construction gives the same basic picture in a more restricted setting: nonresonant quartic monomials are eliminated, while resonant rectangles remain and generate the effective quartic dynamics [1005.3838].

For the Kirchhoff equation,
\[
\partial_{tt} u - \Delta u \Big( 1 + \int_{\mathbb{T}^d} |\nabla u|^2 \Big) = 0,
\]
the resonant normal-form analysis separates an integrable-looking first step from a genuinely non-integrable second one. After the first quasilinear normal form, the cubic resonant terms do not contribute to Sobolev energy estimates; after the second step, however, the quintic resonant terms yield a nonzero contribution
\[
\frac{d}{dt}\|(u,v)\|_s^2 = Z_6(u)+Z_{>8}(u),
\]
and for \(s\neq \tfrac12\), \(Z_6(u)\) is generally not zero. The normal form is therefore not fully integrable beyond the first step, even though the transformation is proved bounded on Sobolev spaces [2006.01136].

In large Klein–Gordon chains, resonant normal form is used in an extensive sense: the estimates remain uniform in the number of sites \(N\). The first-order resonant normal form is a generalized discrete nonlinear Schrödinger model with all-to-all couplings whose strengths decay exponentially with distance, and higher-order resonant terms preserve cyclic symmetry and short-range decay at the seed level [1404.2730].

Infinite-dimensional holomorphic vector fields admit a further resonance-based refinement. For
\[
W=(\lambda)+Z+X
\]
on sequence spaces, resonant monomials are defined by
\[
\lambda\cdot q-\lambda_k=0,
\]
and the diagonal resonant first integrals generate an analytic set
\[
\Sigma:=\{x\in B_r(\mathtt s):\ h_i(x)=0\ \forall i\}.
\]
Under a Diophantine condition modulo the resonance module, there exists a holomorphic change of variables \(\phi\) such that
\[
\phi_*W = (\lambda)+Z+Y,\qquad Y\in {}^{(2)},
\]
so \(\Sigma\) is invariant and the restricted dynamics on \(\Sigma\) is analytically conjugate to the linear flow. This shows that, in infinite dimension as well, resonant normal form can produce exact linearization on invariant analytic submanifolds even when full local linearization is unavailable [2511.04379].

Source: https://www.emergentmind.com/topics/resonant-normal-form