09.05.03 · classical-mech / canonical

Generating Functions for Canonical Transformations: Four Types (F1, F2, F3, F4)

shipped3 tiersLean: nonepending prereqs

Anchor (Master): Arnold, Mathematical Methods of Classical Mechanics, 2e (1989), §48; Marsden-Ratiu, Introduction to Mechanics and Symmetry, Ch. 2.7

Intuition Beginner

A canonical transformation is a relabelling of phase space -- new names for the same physical states -- that preserves Hamilton's equations. Unit 09.05.01 established what these transformations are and why they matter. This unit answers the practical question: how do you actually construct one?

You could write down the $2 n$ transformation equations $(Q, P) = Φ (q, p)$ directly and then verify that the Poisson brackets are preserved -- a tedious calculation involving cross-derivatives. There is a better way. Every canonical transformation can be encoded in a single scalar function called a generating function. You specify one function of $2 n$ variables -- half old, half new -- and the transformation equations emerge by taking derivatives. The generating function is a "potential" for the canonical transformation, just as an electrostatic potential encodes the electric field: differentiate in the right directions and the transformation pops out.

Why four types? The generating function takes $2 n$ of the $4 n$ phase-space variables as its independent arguments. There are four natural choices, corresponding to which half of the old set and which half of the new set you pick:

Type	Independent variables	Derived variables
$F_{1}$	$q, Q$	$p, P$
$F_{2}$	$q, P$	$p, Q$
$F_{3}$	$p, Q$	$q, P$
$F_{4}$	$p, P$	$q, Q$

Each type picks one member from the old pair $(q, p)$ and one from the new pair $(Q, P)$ for each degree of freedom. The four types are related by Legendre transforms -- changing which variables you treat as "independent" in the same way that switching from $U (V, S)$ to $H (S, P)$ in thermodynamics is a Legendre transform.

Not every canonical transformation can be written in every type. The identity transformation $Q = q, P = p$ is singular in the $F_{1}$ parameterisation (because $q$ and $Q$ are not independent near the identity) but perfectly regular in the $F_{2}$ parameterisation. The exchange transformation $Q = p, P = - q$ is regular in $F_{1}$ but singular in $F_{2}$ . Having all four types ensures you can always find one that works for the transformation you need.

The strategic payoff: instead of searching for good coordinates by trial and error, you search for a good generating function -- a scalar optimisation problem. The Hamilton-Jacobi equation, perturbation theory, and action-angle variables all reduce to choosing the right generating function.

Visual Beginner

Imagine the graph of a canonical transformation plotted in a combined $(q, p, Q, P)$ space. The graph is a $2 n$ -dimensional surface inside a $4 n$ -dimensional space. A generating function describes this surface by choosing which $2 n$ variables are "inputs" and which $2 n$ are "outputs," then writing the surface as the graph of a scalar potential.

For $F_{2} (q, P)$ , the inputs are old positions $q$ and new momenta $P$ ; the outputs are old momenta $p$ and new positions $Q$ . The transformation equations say: the old momentum is the slope of $F_{2}$ along the $q$ -direction, and the new position is the slope of $F_{2}$ along the $P$ -direction.

The four types correspond to the four projections of the graph onto coordinate $n$ -planes. A projection is regular (one-to-one) precisely when the corresponding generating function exists. Where one projection folds over and becomes singular, another projection remains regular -- this is why we need all four.

Worked example Beginner

The identity transformation

The simplest canonical transformation is doing nothing: $Q = q, P = p$ . The type-2 generating function is $F_{2} (q, P) = q \cdot P$ . Applying the type-2 rules: $p_{i} = d F_{2} / d q^{i} = P_{i}$ and $Q^{i} = d F_{2} / d P_{i} = q^{i}$ . Confirmed: the identity.

This might seem like a tautology, but it has deep consequences. A generating function close to the identity, $F_{2} = q \cdot P + ϵ S (q, P)$ , generates a canonical transformation close to the identity -- a small perturbation. This is the starting point for canonical perturbation theory and for the Hamilton-Jacobi method.

The exchange transformation

Consider swapping position and momentum: $Q = p, P = - q$ . This is canonical because ${Q, P} = {p, - q} = 1$ , preserving the fundamental bracket.

Using the type-1 form $F_{1} (q, Q)$ with the rules $p = d F_{1} / d q$ and $P = - d F_{1} / d Q$ : the exchange requires $d F_{1} / d q = Q$ and $- d F_{1} / d Q = - q$ , i.e., $d F_{1} / d Q = q$ . The first equation gives $F_{1} = q Q + f (Q)$ . The second gives $q + f^{'} (Q) = q$ , so $f$ is constant. Therefore $F_{1} (q, Q) = q Q$ .

Now try type 2. The exchange has $P = - q$ , but $F_{2}$ requires $q$ and $P$ as independent variables. Since $P = - q$ , these are dependent -- the type-2 generating function does not exist. This is exactly why we need all four types: the exchange is singular in type 2 but regular in type 1.

Rotation in phase space

The transformation $Q = q cos α - p sin α$ , $P = q sin α + p cos α$ is a rotation by angle $α$ in the $(q, p)$ plane. The generating function $F_{1} (q, Q) = \frac{1}{2} (q^{2} + Q^{2}) cot α - q Q csc α$ produces exactly this rotation. Taking derivatives:

$d F_{1} / d q = q cot α - Q csc α = q cos α / sin α - Q / sin α$ . Setting this equal to $p$ and solving: $Q = q cos α - p sin α$ .

$- d F_{1} / d Q = - (Q cot α - q csc α) = q / sin α - Q cos α / sin α = P$ . Substituting $Q$ : $P = q sin α + p cos α$ .

The Poisson bracket is ${Q, P} = (d Q / d q) (d P / d p) - (d Q / d p) (d P / d q) = cos^{2} α + sin^{2} α = 1$ . Canonical.

Check your understanding Beginner

Formal definition Intermediate+

The generating-function principle

A curve $(q (t), p (t))$ satisfies Hamilton's equations if and only if the action integral $I = \int (p_{i} d q^{i} - H d t)$ is stationary 09.04.02. After a canonical transformation to $(Q, P)$ with new Hamiltonian $K$ , the action must be $I^{'} = \int (P_{i} d Q^{i} - K d t)$ , also stationary. Two integrals with the same stationary points differ at most by an exact differential $d F$ :

p_{i} d q^{i} - H d t = P_{i} d Q^{i} - K d t + d F .

The function $F$ is the generating function. Its natural arguments depend on which variables are chosen as independent.

Type 1: $F_{1} (q, Q, t)$

Choose $(q, Q)$ as independent variables. Expanding $d F_{1}$ and matching coefficients:

p_{i} = \frac{\partial F _{1}}{\partial q ^{i}}, P_{i} = - \frac{\partial F _{1}}{\partial Q ^{i}}, K = H + \frac{\partial F _{1}}{\partial t} .

The first two equations define the canonical transformation implicitly. The third relates the old and new Hamiltonians. For time-independent transformations, $K = H$ . The regularity condition is that the $n \times n$ mixed Hessian $det (\partial^{2} F_{1} / \partial q^{i} \partial Q^{j}) \neq = 0$ , ensuring the equations can be solved for $(q, p)$ in terms of $(Q, P)$ .

Type 2: $F_{2} (q, P, t)$

Legendre-transform $F_{1}$ in the $Q$ -variables: $F_{2} = F_{1} + P_{i} Q^{i}$ . Then $d F_{2} = p_{i} d q^{i} + Q^{i} d P_{i} + (K - H) d t$ , giving:

p_{i} = \frac{\partial F _{2}}{\partial q ^{i}}, Q^{i} = \frac{\partial F _{2}}{\partial P _{i}}, K = H + \frac{\partial F _{2}}{\partial t} .

Type 2 is the most widely used because $F_{2}$ depends on old positions and new momenta -- the natural variables for the Hamilton-Jacobi equation 09.05.02. The type-2 generating function $S (q, P, t)$ satisfying $H (q, \partial S / \partial q, t) + \partial S / \partial t = 0$ is the Hamilton-Jacobi function.

Type 3: $F_{3} (p, Q, t)$

Legendre-transform $F_{1}$ in the $q$ -variables: $F_{3} = F_{1} - p_{i} q^{i}$ . Then:

q^{i} = - \frac{\partial F _{3}}{\partial p _{i}}, P_{i} = - \frac{\partial F _{3}}{\partial Q ^{i}}, K = H + \frac{\partial F _{3}}{\partial t} .

Type 3 is useful when old momenta $p$ are the natural independent variables, for instance in the momentum representation.

Type 4: $F_{4} (p, P, t)$

Legendre-transform $F_{1}$ in both $q$ and $Q$ : $F_{4} = F_{1} - p_{i} q^{i} + P_{i} Q^{i}$ . Then:

q^{i} = - \frac{\partial F _{4}}{\partial p _{i}}, Q^{i} = \frac{\partial F _{4}}{\partial P _{i}}, K = H + \frac{\partial F _{4}}{\partial t} .

Type 4 is the least commonly used but is essential when both positions are dependent. The exchange transformation $(Q, P) = (p, - q)$ is naturally expressed in type 4 as $F_{4} (p, P) = - p \cdot P$ : $q^{i} = - \partial (- p_{j} P_{j}) / \partial p_{i} = P_{i}$ and $Q^{i} = \partial (- p_{j} P_{j}) / \partial P_{i} = - p_{i}$ , giving $Q = - p, q = P$ .

Summary of regularity conditions

Each type requires an invertibility condition on the transformation:

Type	Independent vars	Regularity condition
$F_{1}$	$q, Q$	$det (\partial Q / \partial p) \neq = 0$
$F_{2}$	$q, P$	$det (\partial P / \partial p) \neq = 0$
$F_{3}$	$p, Q$	$det (\partial q / \partial Q) \neq = 0$
$F_{4}$	$p, P$	$det (\partial Q / \partial q) \neq = 0$

Any canonical transformation sufficiently close to the identity satisfies the type-2 condition, which is why type 2 works for perturbation theory.

The symplectic condition

A transformation $(q, p) \mapsto (Q, P)$ is canonical if and only if the Jacobian matrix $M$ satisfies the symplectic condition:

M^{T} J M = J, J = (0 - I_{n} I_{n} 0) .

This is equivalent to the preservation of the fundamental Poisson brackets 09.04.03: ${Q^{i}, Q^{j}} = 0$ , ${P_{i}, P_{j}} = 0$ , ${Q^{i}, P_{j}} = δ_{j}^{i}$ .

Key derivation Intermediate+

Theorem. The transformation defined by a type-2 generating function $F_{2} (q, P)$ is automatically symplectic.

Proof. The generating function guarantees $p_{i} d q^{i} + Q^{i} d P_{i} = d F_{2}$ . The old canonical 1-form is $θ = p_{i} d q^{i}$ with $d θ = d p_{i} \land d q^{i} = ω_{old}$ . The new canonical 1-form is $Θ = P_{i} d Q^{i}$ with $d Θ = d P_{i} \land d Q^{i} = ω_{new}$ .

From $p_{i} d q^{i} = d F_{2} - Q^{i} d P_{i}$ , take the exterior derivative of both sides:

d p_{i} \land d q^{i} = - d Q^{i} \land d P_{i} = d P_{i} \land d Q^{i} .

So $ω_{old} = ω_{new}$ . The transformation is symplectic. The key fact: the two canonical 1-forms differ by an exact form $d F_{2}$ , whose exterior derivative vanishes ( $d^{2} F_{2} = 0$ ). The argument for types 1, 3, and 4 is identical up to sign conventions.

Bridge. This derivation is the foundation for the Hamilton-Jacobi equation 09.05.02, which is the PDE that a type-2 generating function must satisfy to trivialise the Hamiltonian ( $K = 0$ ). The symplecticity guaranteed here is the reason the Hamilton-Jacobi method works: the generating function automatically produces a canonical transformation, so the simplified Hamiltonian $K$ still governs a genuine Hamiltonian system. The same construction appears in canonical perturbation theory, where the near-identity transformation that eliminates fast oscillations is specified by its type-2 generating function.

Exercises Intermediate+

Exercise 4 (medium, symbolic).

The harmonic oscillator has $H = \frac{1}{2} (p^{2} + ω^{2} q^{2})$ . Find a type-2 generating function $F_{2} (q, P)$ that transforms to coordinates in which the Hamiltonian is $K = ω P$ (i.e., $Q$ is cyclic). Identify the new variables physically.

Hint

Set $K = ω P$ and use $K = H (q, p)$ with $p = \partial F_{2} / \partial q$ . Solve the resulting PDE for $F_{2}$ .

Answer

The relation $ω P = \frac{1}{2} [(\partial F_{2} / \partial q)^{2} + ω^{2} q^{2}]$ is a first-order ODE for $F_{2}$ at each fixed $P$ . The action-angle solution is $F_{2} (q, I) = \frac{1}{2} ω q^{2} / tan θ$ where $I = P$ and $q = 2 I / ω sin θ$ .

In the new variables: $P = I = E / ω$ is the action (energy divided by frequency), and $Q = θ$ is the angle variable (phase of oscillation). The Hamiltonian $K = ω I$ is linear in the action: $\dot{I} = - \partial K / \partial Q = 0$ (action conserved) and $\dot{Q} = \partial K / \partial I = ω$ (angle advances at constant frequency). This is the action-angle transformation for the harmonic oscillator, the simplest example of the Liouville-Arnold construction 09.06.01.

Exercise 5 (medium, symbolic).

A generating function $F_{2} (q, P) = q^{1} P_{1} + q^{2} P_{2} + ϵ (q^{1} P_{2} - q^{2} P_{1})$ generates a near-identity canonical transformation. Compute the transformation to first order in $ϵ$ and interpret geometrically.

Hint

Compute $p_{i} = \partial F_{2} / \partial q^{i}$ and $Q^{i} = \partial F_{2} / \partial P_{i}$ , then expand to $O (ϵ)$ .

Answer

$p_{1} = P_{1} + ϵ P_{2}$ , $p_{2} = P_{2} - ϵ P_{1}$ . $Q^{1} = q^{1} + ϵ q^{2}$ , $Q^{2} = q^{2} - ϵ q^{1}$ . The position-space transformation is $Q = q + ϵ \overset{z}{^} \times q$ : an infinitesimal rotation by angle $ϵ$ about the $z$ -axis. The momentum transformation is the same rotation. The perturbation term $G = q^{1} P_{2} - q^{2} P_{1} = L_{z}$ is the $z$ -component of angular momentum -- the generator of rotations. This is the connection between symmetries and generating functions: the conserved quantity $L_{z}$ generates the rotation symmetry via its Hamiltonian flow.

Exercise 7 (hard, symbolic).

Show that the composition of two canonical transformations generated by type-2 functions $F_{2}^{(1)} (q, P)$ and $F_{2}^{(2)} (Q, R)$ is itself canonical. Express the generating function for the composition.

Hint

The first maps $(q, p) \to (Q, P)$ and the second maps $(Q, P) \to (R, S)$ . Add the differential identities: $p_{i} d q^{i} + Q^{i} d P_{i} = d F_{2}^{(1)}$ and $P_{i} d Q^{i} + R^{i} d S_{i} = d F_{2}^{(2)}$ .

Answer

The first gives $p_{i} d q^{i} + Q^{i} d P_{i} = d F_{2}^{(1)} (q, P)$ . The second gives $P_{i} d Q^{i} + R^{i} d S_{i} = d F_{2}^{(2)} (Q, S)$ . Adding: $p_{i} d q^{i} + (Q^{i} d P_{i} + P_{i} d Q^{i}) + R^{i} d S_{i} = d (F_{2}^{(1)} + F_{2}^{(2)})$ . The middle term is $d (Q^{i} P_{i})$ . So $p_{i} d q^{i} + R^{i} d S_{i} = d (F_{2}^{(1)} + F_{2}^{(2)} - Q \cdot P)$ .

The composition is generated by $F_{2}^{(3)} (q, S) = F_{2}^{(1)} (q, P) + F_{2}^{(2)} (Q, S) - Q^{i} P_{i}$ with intermediate variables $(Q, P)$ eliminated using the two transformation equations. This is the group law for canonical transformations expressed in generating-function form.

Exercise 8 (hard, symbolic).

Prove that a canonical transformation is symplectic (preserves $ω = d p_{i} \land d q^{i}$ ) if and only if it is locally generated by one of the four types of generating function (assuming the appropriate regularity condition).

Hint

The "if" direction: $d F$ is exact, so $d^{2} F = 0$ gives symplecticity. For the "only if" direction, use the fact that the graph of a symplectomorphism is a Lagrangian submanifold of the product manifold with symplectic form $π_{1}^{*} ω - π_{2}^{*} ω$ .

Answer

If direction: a generating function ensures $p_{i} d q^{i} - P_{i} d Q^{i} = d F$ (up to signs). Taking $d$ : $d p_{i} \land d q^{i} - d P_{i} \land d Q^{i} = d^{2} F = 0$ , so $ω_{old} = ω_{new}$ .

Only-if direction: the graph $Γ_{Φ}$ of a symplectomorphism $Φ$ is a Lagrangian submanifold of $(T^{\astQ} \times T^{\astQ}, π_{1}^{*} ω - π_{2}^{*} ω)$ , since for tangent vectors $(v, D Φ \cdot v)$ : $(π_{1}^{*} ω - π_{2}^{*} ω) ((v_{1}, D Φ v_{1}), (v_{2}, D Φ v_{2})) = ω (v_{1}, v_{2}) - ω (D Φ v_{1}, D Φ v_{2}) = 0$ . By the Poincare lemma, the restriction of the 1-form $θ = p_{i} d q^{i} - P_{i} d Q^{i}$ to $Γ_{Φ}$ is locally exact: $θ ∣_{Γ} = d F$ . Choosing a parameterisation of $Γ$ by $(q, Q)$ , $(q, P)$ , $(p, Q)$ , or $(p, P)$ gives the four types. The regularity condition ensures the chosen parameterisation is valid (the Lagrangian submanifold is transverse to the corresponding foliation).

Lean formalization Intermediate+

The generating-function formalism is a central missing piece in Mathlib's Hamiltonian mechanics. The specific ingredients needed are:

The definition of a nonlinear canonical transformation as a symplectomorphism $Φ : T^{\astQ} \to T^{\astQ}$ satisfying $Φ^{*} ω = ω$ .
Generating functions of each type as formal objects: a smooth function of $2 n$ mixed variables with nonsingular mixed Hessian.
The transformation equations (e.g., $p_{i} = \partial F_{2} / \partial q^{i}$ , $Q^{i} = \partial F_{2} / \partial P_{i}$ ) and the proof that the resulting map is symplectic.
The Legendre-transform relations between the four types.
The regularity conditions under which each type exists.
The Lagrangian-submanifold interpretation: the graph of a symplectomorphism is Lagrangian in the product, and a Lagrangian submanifold transverse to a fibration is locally the graph of an exact 1-form.

Items (1)--(3) are within reach given existing Mathlib infrastructure (smooth maps, exterior derivatives, the symplectic group). Item (6) requires the theory of Lagrangian submanifolds, which is absent. No Lean module ships with this unit.

Advanced results Master

Generating functions as symplectomorphism classification

The four types of generating function are not merely a calculational device -- they classify canonical transformations by the topology of their graph in the product manifold. Let $(M_{1} \times M_{2}, Ω)$ be the product symplectic manifold with $Ω = π_{1}^{*} ω - π_{2}^{*} ω$ . The graph of a symplectomorphism is a Lagrangian submanifold $L \subset (M_{1} \times M_{2}, Ω)$ .

The four types correspond to four Lagrangian fibrations of $M_{1} \times M_{2}$ (projections onto coordinate $n$ -planes). A generating function of type $k$ exists when $L$ is transverse to the $k$ -th fibration. The Maslov index quantifies the obstruction to a single generating function being globally smooth: as you move around the Lagrangian submanifold, it may become tangent to a given fibration, causing the generating function to blow up. The transition between charts (different types) is governed by the Maslov class in $H^{1} (L, Z)$ .

For the harmonic oscillator on the circle, the Maslov index is 2 (two caustics per period), which produces the correction $μ = 2$ in the WKB quantisation condition.

Time-dependent generating functions

A canonical transformation can depend explicitly on time: $Φ (q, p, t) = (Q (q, p, t), P (q, p, t))$ . The extended phase space $T^{\astQ} \times R$ carries the contact form $α = p_{i} d q^{i} - H d t$ and the extended symplectic form $Ω = d p_{i} \land d q^{i} - d H \land d t$ . A transformation is canonical in the extended sense if it preserves $Ω$ .

Proposition (Time-dependent generating functions). A time-dependent canonical transformation is locally generated by $F_{2} (q, P, t)$ via $p_{i} = \partial F_{2} / \partial q^{i}$ , $Q^{i} = \partial F_{2} / \partial P_{i}$ , with the new Hamiltonian $K = H + \partial F_{2} / \partial t$ .

Proof. The closed 1-form $α - β$ on the extended phase space, with $α = p_{i} d q^{i} - H d t$ and $β = Q^{i} d P_{i} + K d t$ , satisfies $d (α - β) = Ω - Ω = 0$ when $Φ$ preserves $Ω$ . Locally $α - β = d F_{2}$ for some $F_{2} (q, P, t)$ , giving the three relations. $□$

Time-dependent generating functions arise naturally when changing to a rotating or accelerating frame. Setting $K = 0$ recovers the Hamilton-Jacobi equation.

Hamilton-Jacobi as the type-2 generating function

The deepest application of generating functions is the Hamilton-Jacobi equation. Choose a type-2 generating function $S (q, P, t)$ such that the new Hamiltonian vanishes: $K = 0$ . The relation $K = H + \partial S / \partial t$ gives:

H (q, \frac{\partial S}{\partial q}, t) + \frac{\partial S}{\partial t} = 0.

This is the Hamilton-Jacobi equation 09.05.02. Its solution $S (q, α, t)$ (where $α = P$ are $n$ integration constants) generates a canonical transformation that entirely trivialises the dynamics: $K = 0$ implies $\dot{P}_{i} = 0$ and $\dot{Q}^{i} = 0$ , so the new variables are constants. The system is solved by quadrature from the generating function.

Jacobi's theorem establishes the equivalence: solving the $2 n$ Hamilton's ODEs is equivalent to solving the single first-order PDE for $S$ . The PDE is generally harder to solve, but when separation of variables applies (as it does for all Liouville-integrable systems), it reduces to $n$ independent ODEs -- a dramatic simplification.

Time evolution as a generating function

The time- $t$ evolution map $ϕ_{t} : T^{\astQ} \to T^{\astQ}$ is a canonical transformation. Its type-1 generating function is Hamilton's principal function $S (q, Q, t)$ , defined as the action evaluated along the classical trajectory from $q$ at time $0$ to $Q$ at time $t$ :

S (q, Q, t) = \int_{0}^{t} L (q (s), \overset{q}{˙} (s)) d s .

Hamilton's principal function satisfies $p (0) = \partial S / \partial q$ and $p (t) = - \partial S / \partial Q$ . The classical action is the generating function of the classical flow. This is the deep connection between the action principle and canonical transformations: the variational principle selects trajectories that are integral curves of the generating function of the time-evolution symplectomorphism.

Synthesis. The generating-function framework unifies the algebraic, geometric, and topological aspects of canonical transformations. The four types arise from the choice of Lagrangian splitting on the product manifold. The symplecticity of the transformation follows from the exactness of the generating-function differential ( $d^{2} = 0$ ). The topological obstructions to a global generating function are measured by the Maslov class. The central insight is that a canonical transformation is completely determined by a single scalar function, and all transformation equations follow by differentiation. The Hamilton-Jacobi equation exploits this by choosing the generating function that trivialises the dynamics, reducing mechanics to the problem of solving one PDE.

Full proof set Master

Proposition 1 (Generating function guarantees symplecticity). The transformation defined by any of the four types of generating function is symplectic.

Proof. For type 2: $p_{i} d q^{i} + Q^{i} d P_{i} = d F_{2}$ implies $d p_{i} \land d q^{i} + d Q^{i} \land d P_{i} = d^{2} F_{2} = 0$ , so $ω_{old} = d p_{i} \land d q^{i} = d P_{i} \land d Q^{i} = ω_{new}$ . For type 1: $p_{i} d q^{i} - P_{i} d Q^{i} = d F_{1}$ implies $d p_{i} \land d q^{i} - d P_{i} \land d Q^{i} = 0$ , giving the same result. Types 3 and 4 differ only by signs in the 1-form identity, which cancel upon taking $d$ . $□$

Proposition 2 (Existence of a generating function for any symplectomorphism). Let $Φ : (T^{\astQ}, ω) \to (T^{\astQ}, ω)$ be a symplectomorphism. If $det (\partial Q / \partial p) \neq = 0$ at a point, then locally there exists $F_{1} (q, Q)$ generating $Φ$ .

Proof. The graph $Γ_{Φ} = {(z, Φ (z))}$ satisfies $Ω ∣_{Γ} = 0$ where $Ω = π_{1}^{*} ω - π_{2}^{*} ω$ . So $Γ_{Φ}$ is Lagrangian in $(T^{\astQ} \times T^{\astQ}, Ω)$ . The 1-form $θ = p_{i} d q^{i} - P_{i} d Q^{i}$ restricts to a closed form on $Γ_{Φ}$ (since $d θ ∣_{Γ} = Ω ∣_{Γ} = 0$ ). By the Poincare lemma, $θ ∣_{Γ} = d F_{1}$ locally. The condition $det (\partial Q / \partial p) \neq = 0$ ensures $(q, Q)$ serve as local coordinates on $Γ_{Φ}$ . $□$

Proposition 3 (Legendre relations between the four types). $F_{2} = F_{1} + P_{i} Q^{i}$ , $F_{3} = F_{1} - p_{i} q^{i}$ , $F_{4} = F_{1} - p_{i} q^{i} + P_{i} Q^{i}$ , where the dependent variables in each expression are eliminated using the type-1 transformation equations.

Proof. Start from $p_{i} d q^{i} - P_{i} d Q^{i} = d F_{1}$ . Add $d (P_{i} Q^{i}) = P_{i} d Q^{i} + Q^{i} d P_{i}$ to both sides: $p_{i} d q^{i} + Q^{i} d P_{i} = d (F_{1} + P_{i} Q^{i})$ . The left side is $d F_{2}$ , so $F_{2} = F_{1} + P_{i} Q^{i}$ . Subtract $d (p_{i} q^{i}) = p_{i} d q^{i} + q^{i} d p_{i}$ : $- q^{i} d p_{i} - P_{i} d Q^{i} = d (F_{1} - p_{i} q^{i})$ , so $F_{3} = F_{1} - p_{i} q^{i}$ . Both transforms together give $F_{4} = F_{1} - p_{i} q^{i} + P_{i} Q^{i}$ . $□$

Proposition 4 (Infinitesimal canonical transformations). The generating function $F_{2} (q, P) = q^{i} P_{i} + ϵ G (q, P)$ generates, to first order in $ϵ$ , the infinitesimal canonical transformation $Q^{i} = q^{i} + ϵ \partial G / \partial P_{i}$ , $p_{i} = P_{i} + ϵ \partial G / \partial q^{i}$ . The function $G$ is the generator of the transformation.

Proof. $p_{i} = \partial F_{2} / \partial q^{i} = P_{i} + ϵ \partial G / \partial q^{i}$ . $Q^{i} = \partial F_{2} / \partial P_{i} = q^{i} + ϵ \partial G / \partial P_{i}$ . The transformation differs from the identity by $O (ϵ)$ . Expressing $P_{i} \approx p_{i} - ϵ \partial G / \partial q^{i}$ and substituting: $Q^{i} \approx q^{i} + ϵ \partial G (q, p) / \partial p_{i}$ , giving $δ q^{i} = ϵ \partial G / \partial p_{i}$ and $δ p_{i} = - ϵ \partial G / \partial q^{i}$ . This is the Hamiltonian flow generated by $G$ , evaluated at parameter $s = ϵ$ . $□$

Connections Master

Canonical transformations 09.05.01 are the symplectomorphisms whose generating functions are developed here. Unit 09.05.01 defines the structure; this unit provides the construction tool.
Poisson brackets 09.04.03 are preserved by every canonical transformation generated by the functions in this unit. The symplectic condition $M^{T} J M = J$ is equivalent to preservation of the canonical Poisson algebra.
Hamilton-Jacobi equation 09.05.02 is the PDE satisfied by the type-2 generating function that trivialises the Hamiltonian ( $K = 0$ ). The HJ equation is the most important application of the generating-function framework.
Point transformations 09.05.04 are canonical transformations with the particularly simple type-2 generating function $F_{2} = P_{i} f^{i} (q)$ . Every configuration-space coordinate change lifts to a canonical transformation via this formula.
Action-angle variables 09.06.01 are constructed using a type-2 generating function $S (q, I)$ that satisfies the Hamilton-Jacobi equation and separates the conserved actions from the cyclic angles.

Historical & philosophical context Master

The concept of generating functions for canonical transformations was introduced by Carl Gustav Jacob Jacobi in his Vorlesungen uber Dynamik (lectures delivered 1842--1843, published posthumously 1866). Jacobi recognised that the Hamilton-Jacobi equation -- the PDE satisfied by the generating function of the trivialising transformation -- reduces the problem of solving Hamilton's equations to the problem of solving a single first-order nonlinear PDE. This "Jacobi's theorem" established the equivalence between the Hamilton-Jacobi PDE and the ODE system of Hamilton's equations, and it became the dominant approach to solving mechanical problems in the 19th century.

William Rowan Hamilton had earlier (1833--1834) introduced what is now called Hamilton's principal function $S (q, Q, t)$ -- the type-1 generating function of the time-evolution map -- as the solution of a variational problem. Hamilton's insight was that the action functional, evaluated on classical trajectories, satisfies a first-order PDE (the Hamilton-Jacobi equation in its time-dependent form). Jacobi sharpened this by showing that any complete integral of the HJ equation (a solution depending on $n$ arbitrary constants) generates a canonical transformation that solves the mechanical problem, whether or not the function was obtained from an action integral.

The four-type classification was systematised in the early 20th century. The standard textbook presentation is due to Goldstein (Classical Mechanics, 1950, now in its 3rd edition). Landau and Lifshitz (Mechanics, 1976) develop primarily the type-2 generating function, which they denote $S (q, P)$ , because it connects most directly to the Hamilton-Jacobi equation.

The Lagrangian-submanifold interpretation is due to Weinstein (1971) and is developed in Arnold's Mathematical Methods (1974, English translation 1978). This geometric viewpoint reveals that the four types are not arbitrary conventions but reflect the four natural Lagrangian fibrations of the product symplectic manifold $(T^{\astQ} \times T^{\astQ}, π_{1}^{*} ω - π_{2}^{*} ω)$ . The Maslov class, introduced by Maslov (1972) and developed by Leray, Hormander, and others, quantifies the topological obstruction to a globally smooth generating function of a single type.

The philosophical significance of generating functions is the reduction of a high-dimensional geometric problem (finding a symplectomorphism) to a scalar function. This is a recurring pattern in mathematical physics: potentials encode vector fields, actions encode trajectories, and generating functions encode coordinate changes. In each case the scalar object is easier to manipulate and optimise than the vector or tensor object it generates. The transition from quantum to classical mechanics (the WKB approximation, path integrals) relies on the generating function as the bridge between the quantum amplitude and the classical trajectory.

Bibliography Master

Jacobi, C. G. J., Vorlesungen uber Dynamik (Georg Reimer, 1866). Generating functions, the Hamilton-Jacobi equation, Jacobi's theorem.
Hamilton, W. R., "On a General Method in Dynamics" (1834). Hamilton's principal function as the generating function of time evolution.
Goldstein, H., Poole, C. P. & Safko, J. L., Classical Mechanics, 3rd ed. (Pearson, 2002). The standard four-type treatment.
Landau, L. D. & Lifshitz, E. M., Mechanics, 3rd ed. (Pergamon, 1976), §45--46.
Arnold, V. I., Mathematical Methods of Classical Mechanics, 2nd ed. (Springer GTM 60, 1989), §48.
Marsden, J. E. & Ratiu, T. S., Introduction to Mechanics and Symmetry, 2nd ed. (Springer TAM 17, 1999), Ch. 2.7.
Weinstein, A., "Symplectic manifolds and their Lagrangian submanifolds," Advances in Mathematics 6 (1971), 329--346.
Maslov, V. P., Theorie des perturbations et methodes asymptotiques (Dunod, 1972). The Maslov class and singular generating functions.
Abraham, R. & Marsden, J. E., Foundations of Mechanics, 2nd ed. (Addison-Wesley, 1978), §3.4--3.5.
Taylor, J. R., Classical Mechanics (University Science Books, 2005), Ch. 13.5.

Prerequisites

09.05.01 pending
09.04.03 pending

Used in

09.05.02
09.05.04
09.05.05
09.06.01

Tier anchors

beginner: Taylor, Classical Mechanics (2005), Ch. 13.5; Susskind & Hrabovsky, The Theoretical Minimum (2014), Lecture 9
intermediate: Goldstein, Poole & Safko, Classical Mechanics, 3e (2002), §9.1--9.2; Landau & Lifshitz, Mechanics, 3e (1976), §45--46
master: Arnold, Mathematical Methods of Classical Mechanics, 2e (1989), §48; Marsden-Ratiu, Introduction to Mechanics and Symmetry, Ch. 2.7

References

Goldstein, Poole & Safko — Classical Mechanics, 3rd ed. (Pearson, 2002) · §9.1 The equations of canonical transformation. The symplectic condition. §9.2 Generating functions: four types F_1(q,Q), F_2(q,P), F_3(p,Q), F_4(p,P). Examples: identity, exchange, rotation, harmonic-oscillator action-angle.
Landau & Lifshitz — Mechanics, 3rd ed. (Pergamon, 1976) · §45 Canonical transformations. The generating function S(q,P) (type 2) and the transformation equations. §46 The Hamilton-Jacobi equation as the condition on the generating function that trivialises H.
Arnold — Mathematical Methods of Classical Mechanics, 2nd ed. (Springer GTM 60, 1989) · §48 The generating function. Lagrangian-submanifold interpretation. Four types as choices of transverse coordinates on the graph of the symplectomorphism.
Taylor — Classical Mechanics (University Science Books, 2005) · Ch. 13 Hamiltonian Mechanics, §13.5 Generating functions for canonical transformations
Marsden & Ratiu — Introduction to Mechanics and Symmetry, 2nd ed. (Springer TAM 17, 1999) · Ch. 2.7 Generating functions and Lagrangian submanifolds

Estimated time

beginner: 15m
intermediate: 45m
master: 60m

Intuition Beginner

Visual Beginner

Worked example Beginner

The identity transformation

The exchange transformation

Rotation in phase space

Check your understanding Beginner

Formal definition Intermediate+

The generating-function principle

Type 1: F1​(q,Q,t)

Type 2: F2​(q,P,t)

Type 3: F3​(p,Q,t)

Type 4: F4​(p,P,t)

Summary of regularity conditions

The symplectic condition

Key derivation Intermediate+

Exercises Intermediate+

Lean formalization Intermediate+

Advanced results Master

Generating functions as symplectomorphism classification

Time-dependent generating functions

Hamilton-Jacobi as the type-2 generating function

Time evolution as a generating function

Full proof set Master

Connections Master

Historical & philosophical context Master

Bibliography Master

Type 1: $F_{1} (q, Q, t)$

Type 2: $F_{2} (q, P, t)$

Type 3: $F_{3} (p, Q, t)$

Type 4: $F_{4} (p, P, t)$