Resonant Normal Form in Hamiltonian Systems

• Resonant normal form is a reduction method that isolates terms satisfying exact resonance relations, clarifying the dynamics near equilibria.
• It employs techniques such as Lie transforms and normalization flows to eliminate nonresonant components while preserving essential interaction structures.
• The approach spans finite and infinite-dimensional systems, capturing effects like clustered spectra and resonant bifurcations, though convergence issues can arise near strong resonances.

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 (Verdière, 2009, Paleari et al., 2014, Procesi et al., 2010). 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 (Penati et al., 2017, Teyssier, 2022).

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 (Treschev, 2024).

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$ (Procesi et al., 2010). The same resonance principle underlies the broader analytic NLS construction in which the first Birkhoff step removes nonresonant monomials of degree $\{H_\Omega,Z_s\}=0$0 and leaves those commuting with both momentum and quadratic energy (Procesi et al., 2010).

A different but closely related formulation appears in non-stationary normal forms for contracting extensions. If $\{H_\Omega,Z_s\}=0$1 is the spectral splitting with exponents $\{H_\Omega,Z_s\}=0$2, then a homogeneous type $\{H_\Omega,Z_s\}=0$3 contributes resonantly to the $\{H_\Omega,Z_s\}=0$4-th component precisely when

$\{H_\Omega,Z_s\}=0$5

The corresponding sub-resonance inequality

$\{H_\Omega,Z_s\}=0$6

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 (Kalinin, 2020).

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

$\{H_\Omega,Z_s\}=0$7

with each $\{H_\Omega,Z_s\}=0$8 an homogeneous polynomial of degree $\{H_\Omega,Z_s\}=0$9 satisfying

$H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$0

Thus the admissible terms are those invariant under the harmonic oscillator flow, rather than arbitrary functions of separate action variables (Verdière, 2009).

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_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$1

and after $H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$2 Lie-transform steps,

$H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$3

Here each $H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$4 is resonant with respect to the harmonic oscillator part $H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$5, while the remainder begins at order $H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$6 (Paleari et al., 2014).

Resonance also prevents full elimination of angle dependence. In the symmetric $H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$7 resonance, the normal form after reduction to action-angle variables contains the resonant angle combination

$H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$8

and the resonant coupling first appears in $H_2=\sum_{j=1}^n \omega_j z_j \zeta_j,$9 through

$H_k z^k$0

The reduced system is therefore integrable only after passing to a one-degree-of-freedom resonant subsystem, not because all angles disappear (Marchesiello et al., 2013).

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 $H_k z^k$1 coupling and has the reduced form

$H_k z^k$2

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 (Hunsberger et al., 7 Oct 2025).

3. Normalization procedures

The classical construction is degree-by-degree elimination via Lie transforms. In the symmetric $H_k z^k$3 resonance one writes

$H_k z^k$4

with generating series

$H_k z^k$5

and solves the homological equation

$H_k z^k$6

The normal-form condition is

$H_k z^k$7

so only resonant terms survive (Marchesiello et al., 2013).

Near completely resonant maximal tori, normalization is adapted to the fast resonant phase. For

$H_k z^k$8

the constructive algorithm uses Lie transformations with two generators,

$H_k z^k$9

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 $(\omega,k')=0,\qquad k'=k-\zeta,$0. The resulting normal form at order $(\omega,k')=0,\qquad k'=k-\zeta,$1 satisfies

$(\omega,k')=0,\qquad k'=k-\zeta,$2

so a prescribed $(\omega,k')=0,\qquad k'=k-\zeta,$3 becomes an approximate periodic orbit candidate (Penati et al., 2017).

For lower-dimensional resonant tori the scheme becomes more elaborate. After a resonant unimodular change of variables with one fast angle $(\omega,k')=0,\qquad k'=k-\zeta,$4 and slow resonant angles $(\omega,k')=0,\qquad k'=k-\zeta,$5, the normalization at each order has five stages: averaging the resonant $(\omega,k')=0,\qquad k'=k-\zeta,$6 over $(\omega,k')=0,\qquad k'=k-\zeta,$7, eliminating terms linear in $(\omega,k')=0,\qquad k'=k-\zeta,$8, averaging quadratic terms $(\omega,k')=0,\qquad k'=k-\zeta,$9, removing mixed action–transverse terms $L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$0, and averaging pure action terms $L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$1 on the torus. The nonresonance assumptions enter through first and second Melnikov conditions,

$L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$2

which prevent vanishing denominators in the homological equations (Sansottera et al., 2020).

An alternative procedure replaces discrete Lie steps by a normalization flow. In continuous averaging one introduces an auxiliary parameter $L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$3 and solves

$L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$4

With the sign operator

$L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$5

nonresonant terms are exponentially damped in $L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$6, while resonant terms remain fixed. In the codimension-one resonant case this produces a resonant normal form plus an exponentially small nonresonant remainder (Treschev, 2024).

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 $L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$7 of automorphisms of the semi-classical Weyl algebra commuting with the oscillator $L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$8. The group fits into the exact sequence

$L_\omega=\{q\in\mathbb Z^n:(\omega,q)=0\}.$9

where

$$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$0

is the linear symplectic part commuting with $$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$1, and $$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$2 is generated by formal conjugations

$$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$3

with resonant Hamiltonians $$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$4 commuting with $$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$5. In this setting the natural inverse problem is therefore spectral determination of the BNF modulo $$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$6, not literal uniqueness (Verdière, 2009).

For planar $$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$7 resonant saddle vector fields, analytic normalization can nevertheless be made essentially canonical. The preferred explicit family is

$$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$8

with $$\mathcal N=\{H\in\mathcal F:\ H_k\neq 0\implies k'\in L_\omega\},$$9, and every resonant saddle vector field with formal modulus $u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$0 is analytically conjugate to some $u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$1. Two such normal forms are analytically conjugate if and only if they differ by a linear scaling

$u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$2

This gives explicit analytic representatives together with a precise finite ambiguity (Teyssier, 2022).

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

$u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$3

then there exists an invertible analytic symplectic transformation

$u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$4

such that

$u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$5

In this regime, convergence of the Birkhoff normal form implies convergence of a normalizing transformation (Llave et al., 2021).

The opposite behavior is also documented. In the four-mode CHM truncation, the normal form transformation is computed up to $u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$6 order while eliminating non-resonant terms and keeping up to $u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$7-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 (Walsh et al., 2019).

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 $u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$8; instead it forms clusters

$u_{k_1}\bar u_{k_2}u_{k_3}\bar u_{k_4}$9

consisting of $$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$0 eigenvalues in an interval of size $$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$1 around

$$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$2

The resonant inverse problem is then formulated in terms of cluster locations and splittings rather than individual low-lying eigenvalues (Verdière, 2009).

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 $$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$3 at

$$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$4

provided the selection rule

$$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$5

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 (Penati et al., 2017). 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 $$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$6 is promoted to a true one when the inverse Jacobian satisfies the stated $$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$7-dependent bound (Sansottera et al., 2020).

Resonant normal forms also organize bifurcation. In the symmetric $$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$8 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 $$k_1-k_2+k_3-k_4=0,\qquad |k_1|^2+|k_3|^2=|k_2|^2+|k_4|^2.$$9 and the anti-banana orbits at $\mathbb Z^n$0. Their bifurcation ordering is controlled by the coefficients

$\mathbb Z^n$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 (Marchesiello et al., 2013).

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 (Efthymiopoulos et al., 2015).

6. Infinite-dimensional and PDE manifestations

In completely resonant NLS on the torus, the first resonant Birkhoff step isolates the Hamiltonian

$\mathbb Z^n$2

and the subsequent analysis of tangential and normal sites leads to a quadratic resonant form encoded by colored graphs. For generic tangential sets $\mathbb Z^n$3, connected components are uniformly finite, and an explicit symplectic change of variables,

$\mathbb Z^n$4

removes the angle dependence from the normal form and produces a block-diagonal quadratic Hamiltonian with finitely many block types (Procesi et al., 2010). 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 (Procesi et al., 2010).

For the Kirchhoff equation,

$\mathbb Z^n$5

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

$\mathbb Z^n$6

and for $\mathbb Z^n$7, $\mathbb Z^n$8 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 (Baldi et al., 2020).

In large Klein–Gordon chains, resonant normal form is used in an extensive sense: the estimates remain uniform in the number of sites $\mathbb Z^n$9. 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 (Paleari et al., 2014).

Infinite-dimensional holomorphic vector fields admit a further resonance-based refinement. For

$\{H_\Omega,Z_s\}=0$00

on sequence spaces, resonant monomials are defined by

$\{H_\Omega,Z_s\}=0$01

and the diagonal resonant first integrals generate an analytic set

$\{H_\Omega,Z_s\}=0$02

Under a Diophantine condition modulo the resonance module, there exists a holomorphic change of variables $\{H_\Omega,Z_s\}=0$03 such that

$\{H_\Omega,Z_s\}=0$04

so $\{H_\Omega,Z_s\}=0$05 is invariant and the restricted dynamics on $\{H_\Omega,Z_s\}=0$06 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 (Massetti et al., 6 Nov 2025).