Codex @codex  0

The pairing compares state spaces belonging to two polarizations using their prequantum sections and half-forms. When it defines a suitable identification or projection, a classical Hamiltonian flow can transport a state to its transported polarization and the pairing can return it to the original state space. Differentiating this construction supplies operators for some observables that do not directly preserve the original polarization. Existence, domains and unitarity require additional hypotheses; it is not a universal canonical equivalence of all polarizations.

For a complete invertible Hamiltonian flow $\Phi (t,s)$, integrate the source along the backward characteristic ending at $z$ at time $t$. The displayed formula solves the Hamiltonian Liouville equation. Volume preservation makes each composition with $\Phi (s,t)$ an isometry of Lp spaces.

If $H$ is $C^2$ and its spatial Hessian matrix is uniformly bounded on every finite time interval, its Hamiltonian vector field is globally Lipschitz continuous in phase space with at most linear growth. The Picard-Lindelöf theorem and Gronwall inequality give a unique Hamiltonian flow for all finite forward and backward times. Bounds on ${\nabla }_{z}H(t,0)$ follow from time continuity on compact intervals.

Transport along a Hamiltonian flow. The solution is $f(\cdot ,t)=f_I\circ {\Phi }_{-t}$ wherever the inverse characteristic exists. Equality of mixed derivatives makes the transport vector field divergence-free, so its flow preserves phase-space volume. Smoothness of the Hamiltonian alone gives local characteristics, not a complete flow on all of phase space.

For $\dot{q}=u_0(q)+ϵu_1(q,t)$ with planar Hamiltonian flow $u_0=(-{\partial }_y{\psi }_0,{\partial }_x{\psi }_0)$, let $q_0$ be a heteroclinic orbit between two hyperbolic fixed points. Its first-order displacement satisfies ${\dot{q}}_1=D{u}_0{q}_1+u_1$. The covector $w=\nabla {\psi }_0(q_0)$ satisfies $\dot{w}=-(D{u}_0{)}^{T}w$, obtained by differentiating $\nabla {\psi }_0\cdot u_0=0$. Thus $(w\cdot q_1{)}^{\prime }=w\cdot u_1$. Integrating the stable correction from the future and the unstable correction from the past gives the displayed function. At a regular section the first-order normal separation is $ϵM/|\nabla {\psi }_0|$. A simple zero yields a transverse intersection of the perturbed manifolds, by the implicit function theorem.

If $f_0=0$ and a nonzero time-independent source is invariant along the Hamiltonian flow, then the Duhamel formula for Hamiltonian transport gives $f_t=th$. For the nonzero-frequency oscillator, $h=e^{-H_{\omega }}$ is smooth and belongs to all finite Lp spaces, yet its resulting solution has infinite space-time norm on $(0,\infty )$.

For $H_{\omega }=(|v{|}^2+{\omega }^2|x{|}^2)/2$, the displayed linear Hamiltonian flow solves $\dot{X}=V$, $\dot{V}=-{\omega }^{2}X$. Its inverse is $S_{-t}$, its determinant is one and it preserves $H_{\omega }$. The zero-frequency limit is the shear $(x,v)\mapsto (x+tv,v)$.

Put $A(t)=D{\mathbf{u}}_0({\mathbf{q}}_0(t-t_0))$ and $\mathbf{w}(t)=\nabla {\psi }_0({\mathbf{q}}_0(t-t_0))$. Expansion of the trajectory equation to first order gives, for either correction,Since the unperturbed Hamiltonian flow obeys $\nabla {\psi }_0\cdot {\mathbf{u}}_0=0$, differentiation with respect to position yields $D^2{\psi }_0{\mathbf{u}}_0+(D{\mathbf{u}}_0{)}^T\nabla {\psi }_0=0$. Along the heteroclinic orbit this says $\dot{\mathbf{w}}=-A^T\mathbf{w}$. Therefore the homogeneous terms cancel:The unperturbed orbit approaches its hyperbolic fixed points exponentially, so $\mathbf{w}\to 0$ at either appropriate endpoint. The selected stable and unstable corrections remain bounded there, approaching the first-order corrections to the periodic trajectories. Their endpoint dot products consequently vanish. Integrating the stable correction forward and the unstable correction backward givesSubtracting proves the heteroclinic Melnikov function for a periodic planar flow:Choose a regular point on the connection where $\nabla {\psi }_0\ne 0$. The first-order signed normal distance between the perturbed invariant curves is $ϵM/|\nabla {\psi }_0|+O({ϵ}^2)$. If $M$ has a simple zero in the along-orbit parameter, the implicit function theorem continues it to a zero of the actual distance for sufficiently small $ϵ$, with nonzero derivative. The curves consequently cross transversely rather than touching tangentially.

A phase shift $t_0$ and a shift of the reference point along the autonomous connection are equivalent in this calculation: using ${\mathbf{X}}_0={\mathbf{q}}_0(s_0)$ changes the integrand from ${\mathbf{q}}_0(\tau -t_0)$ to ${\mathbf{q}}_0(\tau -t_0+s_0)$. Thus a simple phase zero can also describe a crossing along the connection at a fixed forcing phase. These are intersections of the perturbed stable manifolds and unstable manifolds. The word “unperturbed” in the printed conclusion cannot be literal: those branches coincide before perturbation and have no transverse splitting.

The unperturbed sinusoidal cellular flow hasIts stream function is a first integral, so each trajectory lies on a level set of ${\psi }_0$. This planar autonomous Hamiltonian flow has one degree of freedom and its conserved quantity reduces motion on regular levels to a quadrature: this is its integrability. The central cell has closed streamlines; the zero level is the grid of separatrices.

Solving both components of ${\mathbf{u}}_0=0$ gives saddle equilibria at $(n\pi ,m\pi )$ and center equilibria at $(\pi /2+n\pi ,\pi /2+m\pi )$. In the specified open square, the saddles are $(0,0),(\pi ,0),(0,\pi ),(\pi ,\pi )$ and the only interior center is $(\pi /2,\pi /2)$. Centers at the outer square's corners are on its excluded boundary.

At a saddle the Jacobian matrix is $\mathrm{diag}(s,-s)$ with $s=(-1{)}^{n+m}$. If $n+m$ is even, the horizontal branches are unstable and vertical branches stable; if it is odd, those roles reverse. The branches extend along $y=m\pi$ and $x=n\pi$ and connect neighboring saddles as heteroclinic orbits. For example the bottom boundary flows from $(0,0)$ to $(\pi ,0)$, the right boundary from $(\pi ,0)$ to $(\pi ,\pi )$, the top boundary from $(\pi ,\pi )$ to $(0,\pi )$, and the left boundary returns to $(0,0)$. A connecting branch is unstable relative to its departing saddle and stable relative to its arriving saddle.

At a center the Jacobian matrix is $\left(\begin{array}{cc}0& -s\\ s& 0\end{array}\right)$, where now $s=\sin x\sin y=\pm 1$. Its eigenvalues are $\pm i$. The local definite extremum of ${\psi }_0$ surrounds it by closed streamlines, giving a neutrally stable center, not an attracting equilibrium. Central circulation is counterclockwise and adjoining cells have alternating circulation.

Let $\mu :P\to \mathbb{R}$ be the moment map for the circle group, assume $c$ is a regular value, and assume the circle action on $N={\mu }^{-1}(c)$ is free. The action is proper because the circle is compact. Then $N$ has dimension $2n-1$ and $P_c=N/SO(2)$ is a smooth manifold of dimension $2n-2$.

If ${\xi }_P$ generates the action, $\omega ({\xi }_P,v)=d\mu (v)=0$ for every $v\in TN$. In fact $(TN{)}^{\omega }$ is exactly the line spanned by ${\xi }_P$, since $TN=\ker d\mu$ is a hyperplane and $\omega$ is nondegenerate. Therefore the kernel of the restricted two-form is precisely the orbit direction. The restriction is invariant and horizontal, so it descends to a unique nondegenerate closed two-form ${\omega }_c$ withThis proves the Marsden-Weinstein theorem in the circle case. If the Hamiltonian $H$ is invariant, then $\{\mu ,H\}=0$: its Hamiltonian flow stays on $N$, projects to the quotient and is generated there by the descended function $H_c$. This is a reduced Hamiltonian system in $2n-2$ local variables. At a critical level or a nonfree orbit the quotient can be singular, so the smooth dimension assertion needs the stated hypotheses.

For a mass-$m$ particle in the plane with central force potential $V(r)$, work on $r>0$ and writeExterior differentiation gives $\omega =dr\wedge d{p}_r+d\theta \wedge d\ell$. Rotation translates $\theta$ and has moment map $\ell$. Fix $\ell ={\ell }_0$ and quotient out $\theta$ to obtain the planar rotational symplectic reductionThe reduced equations are $\dot{r}=p_r/m$ and ${\dot{p}}_r={\ell }_0^2/(m{r}^3)-V^{\prime }(r)$. The centrifugal term arises from the conserved angular momentum; it is not an extra force imposed by hand. Reconstruct the angle from $\dot{\theta }={\ell }_0/(m{r}^2)$. For ${\ell }_0\ne 0$ the origin cannot lie on the level; for ${\ell }_0=0$ the same local reduction holds away from the origin, while the full phase-space origin is a singular fixed orbit.

Geometric quantization. A classical symplectic manifold supplies observables as real functions, their Poisson bracket, and Hamiltonian flows. Geometric quantization seeks a Hilbert space of quantum states and operators that encode this structure, including $\hat{1}=I$ and a commutator corresponding to the Poisson bracket. A direct prescription cannot make every classical product become an operator product without qualification; operator ordering and the choice of physically admissible observables matter. The aim is to build the state space and operators from the geometry rather than from a preferred coordinate chart.

For prequantization, with ${\iota }_{X_f}\omega =df$, choose a Hermitian line bundle $L\to P$ with a unitary connection on a vector bundle of curvatureIts first Chern class requires the integrality conditionEquivalently the symplectic period on every closed integral two-cycle is a multiple of $2\pi \hslash$. Conversely an integral class supplies a line bundle, and a unitary connection can be adjusted by a one-form to have the required curvature. Locally choose $\theta$ with $\omega =-d\theta$; then $\nabla =d-i\theta /\hslash$. Potentials differing by an exact one-form change the local phase of the section. Integrality is precisely what makes these local descriptions glue consistently.

On sections the Kostant-Souriau prequantum operator isThe curvature identity $[{\nabla }_X,{\nabla }_Y]={\nabla }_{[X,Y]}+F_{\nabla }(X,Y)$, together with $[X_f,X_g]=-X_{\{f,g\}}$, givesIndeed the derivative part of the commutator is ${\hslash }^2{\nabla }_{X_{\{f,g\}}}$, the curvature part is $-i\hslash \{f,g\}$, and the two multiplication/derivative cross terms total $2i\hslash \{f,g\}$. These combine to the displayed operator identity. The prequantum inner product uses the Hermitian fiber metric and the symplectic volume form ${\omega }^n/n!$, with appropriate square-integrability and operator-domain conditions.

This is not yet the desired quantum state space: a prequantum section depends on all $2n$ phase-space variables, whereas a wavefunction normally depends on only $n$ configuration variables. A polarization in geometric quantization is an involutive Lagrangian rank-$n$ subbundle of $T_{\mathbb{C}}P$. Polarized sections obey ${\nabla }_{X}s=0$ along that distribution. The symplectic form vanishes on it, so its restricted curvature vanishes and these differential conditions are locally compatible.

For $T^{\ast }Q$, the vertical polarization is spanned locally by ${\partial }_{p_i}$. With $\theta =p_{i}d{q}^i$, polarized sections depend only on $q$, and the basic prequantum operators becomeOnly observables whose Hamiltonian flows preserve the polarization act directly on this polarized space. A generic quadratic kinetic energy does not preserve the vertical polarization, so obtaining its quantum operator needs an additional construction rather than simply restricting every prequantum operator. A compatible complex structure can instead provide a Kähler polarization, yielding holomorphic-type states, as for oscillator variables. The Blattner-Kostant-Sternberg pairing compares suitable state spaces of different polarizations and can implement some transported observables.

Finding a useful global polarization is a genuine problem: it may not exist as a nonsingular real foliation; leaf holonomy can obstruct globally nonzero flat sections; singular leaves and compact leaves impose further conditions. A metaplectic correction uses half-forms to improve the inner product and coordinate transformation law and account for familiar zero-point shifts, when its additional square-root data exist. Thus prequantum integrality, polarization, Hilbert-space completion and observable domains are separate steps, each with geometric constraints.

Applications of Stokes's theorem. For an oriented manifold $W$ with boundary and a differential form $\alpha$ of degree $\dim W-1$,with the outward-normal-first boundary orientation. Locally the identity is integration by parts in a half-space; a partition of unity reduces the general manifold to that local calculation, and contributions along internal patch boundaries cancel. The Generalized Stokes theorem unifies the fundamental theorem of calculus, circulation/flux formulas and the relation between local conservation laws and conserved integrated charges.

For a charged brane with worldvolume $W$ of dimension $p+1$, let $X:W\to M$ be its embedding, $\gamma =X^{\ast }g$ its induced worldvolume metric, and $A$ a $(p+1)$-form gauge potential with $F=dA$. TakeUnder $A\mapsto A+d\Lambda$, the Wess-Zumino brane coupling changes by $q{\int }_{\partial W}{X}^{\ast }\Lambda$. It is invariant for a closed worldvolume, or for suitable boundary conditions; open branes can require compensating boundary terms.

For an embedding variation $V=\delta X$, differentiation of the pullback and Cartan's magic formula giveThus the interior force depends only on the gauge field strength. In components, define the worldvolume wave-map/mean-curvature vector byVarying the area term and integrating by parts gives $\delta S_{\mathrm{area}}=T_p{\int }_W\sqrt{-\gamma }{K}_{\mu }{V}^{\mu }$. Combining the two variations yields the field-strength force on a charged brane equationIt is gauge invariant because $A$ no longer occurs. Its tangential projection vanishes identically by antisymmetry, consistently with worldvolume reparametrization invariance. At $p=0$, the chosen Lorentzian worldline convention has $K=-\ddot{X}$ in proper time and recovers the usual Lorentz-force sign.

For topological conservation, let the spatial manifold compactify to a closed oriented $n$-manifold $\Sigma$, and let a field $U:\Sigma \to N$ take values in a closed oriented $n$-dimensional target with normalized volume form $\Omega$, ${\int }_N\Omega =1$. ThenThis is the degree of a map between oriented manifolds: for a regular value it is the signed sum of inverse images. To relate the integral to that count, use a normalized target form supported near a regular value and change variables on its inverse-image neighborhoods. Any two normalized top forms on a connected closed oriented target differ by an exact form, whose pulled-back integral vanishes by the Generalized Stokes theorem. Hence the value is independent of this localization and equals the integer signed count.

If $U$ varies smoothly in time, its spacetime pullback $j=U^{\ast }\Omega$ satisfies $dj=U^{\ast }(d\Omega )=0$. Apply Stokes theorem to the spacetime slab between two slices: the difference of their charges is minus the flux through the spatial boundary. With no flux at infinity, $Q$ is conserved independently of the field equations. Equivalently a smooth homotopy cannot change the degree. Singularities, altered boundary conditions or nonzero boundary flux are the ways the argument can fail.

For the Skyrme model, finite-energy fields approach $U=I$ at spatial infinity, so ${\mathbb{R}}^3$ compactifies to $S^3$ and $U:S^3\to SU(2)\cong S^3$. With the conventional target orientation chooseThis is a normalized closed target volume form. The resulting topological baryon number in the Skyrme model isThe corresponding identically conserved spacetime current is $j^{\mu }=-(24{\pi }^2{)}^{-1}{ϵ}^{\mu \nu \rho \sigma }\mathrm{tr}(L_{\nu }{L}_{\rho }{L}_{\sigma })$ in oriented flat coordinates. For the hedgehog $U=\cos f(r)I+i\hat{x}\cdot \mathbf{\sigma }\sin f(r)$ with $f(0)=\pi$ and $f(\infty )=0$, substitution givesThe Skyrmion therefore supplies a concrete topologically conserved unit charge. Topological conservation alone does not guarantee a stable finite-size static solution: the positive Skyrme term, with four derivatives, opposes collapse of the two-derivative energy. Under size rescaling, these contributions behave as $E_2\propto \lambda$ and $E_4\propto {\lambda }^{-1}$, allowing a nonzero equilibrium size while preserving the degree.

The Marsden-Weinstein theorem needs a Hamiltonian action, not merely an action by symplectomorphisms. Assume an equivariant moment map $\mu :P\to {\mathfrak{g}}^{\ast }$ exists, choose a coadjoint-fixed regular value $a$ (zero is the usual choice), and assume the action on $C={\mu }^{-1}(a)$ is free and proper. Regularity makes $C$ a submanifold of codimension $g=\dim G$. Equivariance and invariance of $a$ make $C$ invariant under $G$, and freeness and properness give a smooth quotient $P^{\prime }=C/G$. Thus

Let $\iota :C\hookrightarrow P$ and $\pi :C\to P^{\prime }$. For $v\in T_{p}C$ and $\xi \in \mathfrak{g}$,Moreover the conormal of $C$ is spanned by the independent $d{\mu }_{\xi }$, so nondegeneracy of $\omega$ gives $(T_{p}C{)}^{\omega }=\{{\xi }_P(p)\}$. The coadjoint-fixed value makes these orbit directions tangent to $C$. Hence the kernel of ${\iota }^{\ast }\omega$ is exactly the orbit tangent space. The restricted form is invariant and horizontal, so descends uniquely to a two-form ${\omega }^{\prime }$ withIt is closed because $\omega$ is closed. If a quotient tangent vector annihilates ${\omega }^{\prime }$, any lift lies in the kernel just identified and is vertical; the quotient vector is therefore zero. This proves nondegeneracy and completes symplectic reduction.

If the action is not free, singular strata or orbifold phenomena may occur. At a general noncentral regular value one quotients by its coadjoint stabilizer $G_a$, not by all of $G$; the regular dimension is $2n-g-\dim G_a$. These are genuine hypotheses behind the stated dimension formula.

Both proposed examples can be given explicitly. For symplectic reduction of an isotropic oscillator, take two modes withIts Hamiltonian flow is $z_j\mapsto e^{-it}{z}_j$, a circle action with moment map $H$. For $E>0$, $H^{-1}(E)$ is the sphere $S^3$ of radius $\sqrt{2E}$, and the action is free. The Hopf fibration identifies its quotient with ${\mathbb{CP}}^1\cong S^2$. On the chart $z_1\ne 0$, use $w=z_2/z_1$ and choose a section with $z_1=\sqrt{2E/(1+|w{|}^2)}$ real positive. Pulling back $\omega$ to this section givesWriting $w=x+iy$ gives $2Edx\wedge dy/(1+x^2+y^2{)}^2$, whose integral is $2\pi E$. This is the Fubini-Study form scaled by $E$ in the convention of area $2\pi$ at unit scale. The reduced dimension is $4-2=2$. At $E=0$, the circle fixes the origin and the smooth regular-level hypotheses fail.

For a unit-mass free particle in the plane, use the rotation circle action with angular-momentum moment map $\ell =x{p}_y-y{p}_x$. Choose ${\ell }_0\ne 0$ so the entire level avoids $r=0$ and the action is free. Polar canonical coordinates haveFixing $\ell ={\ell }_0$ and quotienting the rotation angle leavesThis planar rotational symplectic reduction replaces a planar free trajectory by radial motion with the centrifugal potential. A nonzero moment value is allowed because the circle is abelian and every value is coadjoint-fixed.

Geometric quantization starts from a classical symplectic manifold $(P,\omega )$ and seeks a Hilbert space and quantum observables that reflect its geometry. It has two distinct stages: prequantization, which represents the full Poisson algebra on sections of a line bundle, and a choice of polarization in geometric quantization, which reduces the excessive phase-space dependence of those sections.

Use the conventions ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$. A prequantum line bundle is a Hermitian line bundle $L\to P$ with unitary connection of curvatureExistence requiresfor every closed integral two-cycle $\Sigma$, equivalently integrality of the symplectic cohomology class. Necessity follows from the integral curvature periods of a unitary line bundle; conversely an integral class defines such a bundle, and one adjusts its connection to give the specified curvature. This is a restriction on the classical system, not a choice of local coordinates. For an exact cotangent symplectic form $\omega =-d\theta$, with $\theta =p_{j}d{q}_j$, the bundle can be trivial and a connection is $\nabla =d-i\theta /\hslash$. On a sphere with symplectic area $4\pi s$, the condition becomes $2s/\hslash \in \mathbb{Z}$. The sign of the curvature convention changes if one changes the Hamiltonian-vector-field convention or uses the dual bundle; the integrality condition is unaffected.

The Kostant-Souriau prequantum operator for a real observable isIts derivative part describes the classical Hamiltonian flow and the multiplication term corrects the bracket. Indeed,Since $X_f(g)=-\{f,g\}$, expanding the operator commutator givesWith the Hermitian bundle metric and Liouville measure, these operators are formally symmetric for real $f$ because Hamiltonian flows preserve symplectic volume. On noncompact spaces, domains and self-adjointness still require attention; the algebraic identity initially holds on an appropriate common smooth domain.

Prequantization alone is too large. Sections depend on $2n$ phase-space variables, and the canonical commutation relations are represented reducibly. A polarization is an involutive maximal isotropic distribution $\mathcal{F}\subset T_{\mathbb{C}}P$ of complex rank $n$. Polarized sections satisfyThe curvature vanishes on pairs of polarization vectors because $\omega {|}_{\mathcal{F}}=0$, and involutivity makes the equations locally compatible. A real polarization is tangent to a Lagrangian foliation. A complex polarization in a Kähler manifold chooses one complex tangent type. With the curvature sign used here, choose the holomorphic tangent distribution, giving antiholomorphic wavefunctions. The conjugate line-bundle and sign convention gives the more usual holomorphic description.

For $T^{\ast }Q$, the vertical real polarization is spanned locally by ${\partial }_{p_j}$. Since the canonical one-form has no vertical component, its polarized sections are functions of $q$ alone. In the above trivialization,One does not simply integrate these states over every momentum to retain the prequantum norm: they are constant along noncompact polarization leaves and that integral would diverge. The polarized inner product instead uses the configuration-space measure or an intrinsic half-density description. This recovers the Schrödinger realization.

Only observables whose Hamiltonian flows preserve $\mathcal{F}$ act directly on the polarized space. For example, the free-particle flow generated by $p^2/2$ sends vertical tangent vectors into directions with a configuration-space component, so its raw prequantum operator does not preserve the vertical polarization. To obtain the usual kinetic operator one needs an additional procedure, such as transporting the polarization and pairing back, rather than pretending every classical observable restricts automatically. The Blattner-Kostant-Sternberg pairing and related projection methods address this problem. The impossibility of quantizing all classical observables with every desired algebraic property is another reason to specify the admissible observable algebra.

A metaplectic correction tensors $L$ with a square root of the polarization's canonical determinant bundle when such a square root exists. These half-forms make the pairing more intrinsic and supply corrections to operator transport. They account for familiar Maslov and zero-point shifts; their existence is an extra topological condition. For a flat phase plane, take $z=q+ip$ and replace $\theta =pdq$ by the gauge-equivalent ${\theta }_s=(pdq-qdp)/2$. ThenThe antiholomorphic function therefore has Gaussian norm, the complex-conjugate Bargmann-Fock space. This explicit calculation fixes which polarization matches our curvature sign. Choosing the opposite tangent type with the same sign would give growing Gaussian sections, not the desired Hilbert space. On compact positive Kähler examples, the corresponding holomorphic description (or its conjugate in these conventions) gives finite-dimensional state spaces.

Finding a suitable polarization is therefore a substantial part of the construction. A globally smooth real Lagrangian foliation may fail to exist; for example a regular real polarization on $S^2$ would require a line field that its tangent topology forbids. Singular foliations and noncompact leaves complicate both states and inner products. Although the restricted prequantum connection is locally flat on a Lagrangian leaf, a global nonzero parallel section requires trivial holonomy. In an integrable system this selects the Bohr-Sommerfeld quantization leaves; including the half-form correction gives the familiar action conditionin the usual Maslov-index convention. Complex polarizations require compatible global complex geometry and positivity. Different choices can lead to quite different realizations, and a natural unitary comparison is not automatic. Thus integral curvature provides prequantization; polarization and its global compatibility determine the actual quantum state space.

Use the canonical Poisson bracket convention $\{H,G\}={\sum }_k(H_{q_k}{G}_{p_k}-H_{p_k}{G}_{q_k})$. The Hamiltonian flow generated by $G$ has ${\dot{q}}_k=G_{p_k}$ and ${\dot{p}}_k=-G_{q_k}$. The chain rule therefore givesThus $H$ is invariant under every such trajectory exactly when $\boxed{\{H,G\}=0}$ identically. Antisymmetry then gives $dG/dt=\{G,H\}=0$ along the flow of $H$, so $G$ is a constant of motion.

For $G=\alpha {\sum }_k{p}_k$, the generated equations are ${\dot{q}}_k=\alpha$, ${\dot{p}}_k=0$, hence $q_k(t)=q_k(0)+\alpha t$, $p_k(t)=p_k(0)$. Invariance under this simultaneous translation implies conservation of $\boxed{\sum _k{p}_k}$ when $\alpha \ne 0$; the zero generator alone conveys no additional conservation law.

In phase-space coordinates $z=(x,v)$, the characteristic equations for a transport equation are the Hamilton equationsSmoothness of $H$ gives a unique local Hamiltonian flow ${\Phi }_t(\xi ,\eta )=(X(t),V(t))$. Along it the chain rule gives $d[f(X,V,t)]/dt=0$. ThusThe inverse is the backward autonomous flow, so this formula defines the unique local classical solution wherever the characteristic reaches the initial hypersurface. A smooth Hamiltonian on all of ${\mathbb{R}}^{2n}$ need not have a globally complete flow; the formula is understood on the interval and region where both flows exist. A common global time interval requires the corresponding completeness or growth assumption.

A function $F$ is an integral of motion of $H$ when it is constant along every trajectory of the Hamiltonian flow. Infinitesimally,The antisymmetry of a Lie bracket of the Poisson bracket gives $X_{F}H=\{H,F\}=0$. Hence $H$ is also an integral of motion of $F$.

For the commuting assertion, ${\mathcal{L}}_{X_F}\omega =d({\iota }_{X_F}\omega )=d^{2}F=0$, because $\omega$ is closed. The contraction identity for a Lie bracket of vector fields then givesSince the symplectic form is a nondegenerate bilinear form at every point, the Hamiltonian vector fields commute:With the chosen convention the general identity is $[X_F,X_H]=X_{\{H,F\}}$. Equivalently, it follows by applying the Jacobi identity for the Poisson bracket to an arbitrary test function. Local flows commute whenever both compositions are defined; no global completeness assumption is needed.

The Arnold-Liouville theorem concerns a connected compact component $L$ of a regular common level of $n$ commuting independent smooth functions $F=(F_1,\dots ,F_n)$ on a $2n$-dimensional symplectic manifold. It states that $L$ is a Lagrangian torus, and that a neighbourhood of $L$ has action-angle variablesin which every $F_i$ depends only on $I$. If $H=F_1$ or, more generally, $H=h(F)$, its Hamiltonian flow satisfiesAngles have period $2\pi$ here. The theorem is local near this regular compact component; it does not assert globally defined action-angle variables across singular levels or over an entire base with monodromy.

First, $L$ has dimension of a manifold $n$ by the submersion theorem. The Hamiltonian vector fields $X_{F_i}$ are independent, tangent to $L$, and commute. They span $TL$. Moreoverso $L$ is a Lagrangian submanifold. Compactness makes these restricted vector fields complete. Their joint flow is an ${\mathbb{R}}^n$-action on $L$. Its orbits are open because the fields span $TL$, so connectedness gives one orbit. The stabilizer $\Lambda$ of a point is discrete by the inverse function theorem, andCompactness forces $\Lambda$ to be a full-rank Euclidean lattice: otherwise an unbounded linear coordinate transverse to its span would descend to the quotient. Thus $L$ is an $n$-torus.

Next choose a small ball of regular values near $F(L)$ and a neighbourhood $N$ of this component which is a product family of compact tori $L_c$. This local trivialization follows directly by choosing transverse vector fields $Z_j$ with $d{F}_i(Z_j)={\delta }_{ij}$ and lifting short radial paths in the base; compactness of $L$ gives a uniform neighbourhood where their flows exist. Hence $N$ deformation retracts onto $L$. The commuting joint flows on nearby fibres have smoothly varying full-rank Hamiltonian period lattices. A basis $t^{(j)}(c)\in {\mathbb{R}}^n$ of their periods can be chosen smoothly on this small ball: continue the return equations from a basis at the central fibre, using their nonsingular vertical flow derivatives and the implicit function theorem. No global choice of lattice basis is needed.

Because $\omega {|}_L=0$ and $N$ retracts onto $L$, its closed symplectic form is exact on $N$. Choose a one-form $\lambda$ with $d\lambda =-\omega$. Let ${\gamma }_j(c)$ be the smoothly continued cycles represented by the period basis and define the action integralsFor a transverse variation $v$ of the fibre, differentiating a cycle integral and using Cartan's magic formula eliminates the integral of the exact term. With the cycle parametrized by the joint-flow time $t^{(j)}$, this givesThusThe period matrix is nonsingular, so $I$ gives coordinates on the base. The corresponding Hamiltonian vector fields satisfyTheir time-$2\pi$ flows return along the basis cycles. They commute because each $I_j$ is a function of the commuting $F_i$. Consequently they give a free torus action on $N$.

Choose a section over the action-coordinate ball and use this torus action to define angles $\theta$. Since $X_{I_j}={\partial }_{{\theta }_j}$, the symplectic form takes the formThe closed base two-form $\beta$ is exact on the ball: write $\beta =d\alpha$, $\alpha ={\sum }_j{a}_j(I)d{I}_j$, by the Poincaré lemma. Changing the angular origins by ${\theta }_j^{\prime }={\theta }_j+a_j(I)$ removes this term, since ${\sum }_{j}d{\theta }_j^{\prime }\wedge d{I}_j=\omega$. This completes the construction of action-angle variables. The functions $F_i$ are constant on the fibres, so are functions of $I$ alone, and Hamilton's equations give the claimed straight-line motion. This proves both the topological and symplectic parts of the Arnold-Liouville theorem.