4.2 Local canonical coordinates and their significance

Local canonical coordinates are special coordinate systems that simplify the symplectic form on manifolds. They're crucial for calculations and reveal the structure of symplectic manifolds, guaranteed to exist by Darboux's theorem.

These coordinates connect symplectic geometry to classical mechanics and are key for studying symplectic vector spaces and Poisson brackets. They're essential for analyzing local behavior and comparing different symplectic manifolds.

Local Canonical Coordinates

Definition and Significance

Top images from around the web for Definition and Significance

• 

  Hamiltonian Simulation by Qubitization – Quantum View original

  Is this image relevant?

• 

  DarbouxVector | Wolfram Function Repository View original

  Is this image relevant?

• 

  calculus - Application of Darboux's theorem - Mathematics Stack Exchange View original

  Is this image relevant?

• 

  Hamiltonian Simulation by Qubitization – Quantum View original

  Is this image relevant?

• 

  DarbouxVector | Wolfram Function Repository View original

  Is this image relevant?

1 of 3

Top images from around the web for Definition and Significance

• 

  Hamiltonian Simulation by Qubitization – Quantum View original

  Is this image relevant?

• 

  DarbouxVector | Wolfram Function Repository View original

  Is this image relevant?

• 

  calculus - Application of Darboux's theorem - Mathematics Stack Exchange View original

  Is this image relevant?

• 

  Hamiltonian Simulation by Qubitization – Quantum View original

  Is this image relevant?

• 

  DarbouxVector | Wolfram Function Repository View original

  Is this image relevant?

1 of 3

• Local canonical coordinates represent special coordinate systems on symplectic manifolds simplifying the expression of the symplectic form
• In these coordinates, the symplectic form takes a standard form $\omega = \sum_{i=1}^n dp_i \wedge dq_i$, where $p_i$ and $q_i$ are conjugate variables
• Play crucial role simplifying calculations and revealing underlying structure of symplectic manifolds
• Guaranteed to exist in neighborhood of any point on symplectic manifold (Darboux's theorem)
• Demonstrate local equivalence of all symplectic manifolds of same dimension
• Fundamental in connecting symplectic geometry to classical mechanics (Hamiltonian mechanics)
• Essential for studying symplectic vector spaces, Poisson brackets, and symplectic reduction
• Provide framework for analyzing local behavior of symplectic structures (curvature, torsion)
• Enable comparison between different symplectic manifolds through local coordinate representations
• Facilitate transition between global and local perspectives in symplectic geometry

Applications in Physics and Mathematics

• Central to formulation of Hamiltonian mechanics describing evolution of physical systems
• Used in quantum mechanics for phase space formulation (Wigner functions)
• Applied in optics for ray tracing and aberration analysis (symplectic ray transfer matrices)
• Employed in celestial mechanics for studying planetary motions and orbital dynamics
• Utilized in control theory for analyzing Hamiltonian control systems
• Aid in studying symplectic topology (Lagrangian submanifolds, Floer homology)
• Crucial in symplectic reduction procedures (momentum maps, symplectic quotients)
• Facilitate analysis of completely integrable systems (action-angle variables)
• Enable study of symplectic capacities and symplectic embedding problems
• Support investigation of symplectic invariants in differential geometry

Constructing Canonical Coordinates

Darboux's Theorem and Construction Process

• Darboux's theorem states for any symplectic manifold $(M, \omega)$ of dimension $2n$, local coordinates $(p_1, ..., p_n, q_1, ..., q_n)$ exist where $\omega = \sum_{i=1}^n dp_i \wedge dq_i$
• Construction process involves finding Lagrangian submanifold and complementary subspace
• Iteratively apply Gram-Schmidt process in symplectic context to build coordinate system
• Moser trick key technique in Darboux's theorem proof constructing smooth family of symplectic forms connecting given form to standard form
• Often requires solving system of partial differential equations derived from closure and non-degeneracy conditions of symplectic form
• Practical implementation may involve symplectic linear algebra techniques (finding symplectic basis for tangent space at point)
• Choice of initial coordinates and order of constructing conjugate pairs affects calculation complexity but not final result
• Verification involves checking symplectic form takes standard form in constructed coordinates

Examples and Techniques

• For symplectic vector space $\mathbb{R}^{2n}$, standard coordinates $(x_1, ..., x_n, y_1, ..., y_n)$ already canonical
• On cotangent bundle $T^*Q$ of manifold $Q$, natural coordinates $(q^i, p_i)$ are canonical
• For symplectic form $\omega = dx \wedge dy + dz \wedge dw$ on $\mathbb{R}^4$, coordinates $(x, z, y, -w)$ are canonical
• Symplectic polar coordinates $(r, \theta, p_r, p_\theta)$ on $\mathbb{R}^2 \setminus \{0\}$ with $\omega = dr \wedge dp_r + d\theta \wedge dp_\theta$
• Magnetic symplectic form $\omega = dx \wedge dy + B(x,y)dx \wedge dy$ requires more involved transformation
• Action-angle variables for completely integrable systems provide canonical coordinates
• Symplectic capacities can be used to construct canonical coordinates in certain cases

Symplectic Transformations in Coordinates

Properties and Representations

• Symplectic transformations in local canonical coordinates preserve standard form of symplectic form $\omega = \sum_{i=1}^n dp_i \wedge dq_i$
• Form group called symplectic group $Sp(2n, \mathbb{R})$, crucial in linear symplectic geometry
• Matrix representation satisfies condition $A^TJA = J$, where $J$ is standard symplectic matrix and $A$ is transformation matrix
• Preserve phase space volume (Liouville's theorem) with important implications in statistical mechanics
• Maintain Poisson bracket structure ensuring fundamental relationships between observables are preserved
• Generating functions of symplectic transformations provide powerful tool for studying and constructing such transformations
• Essential for studying symmetries and conservation laws in Hamiltonian systems
• Preserve symplectic area in two-dimensional case (area-preserving maps)
• Can be composed to form new symplectic transformations (group property)
• Often arise as time evolution operators in Hamiltonian systems

Examples and Applications

• Rotation in phase space $(p, q) \mapsto (p \cos \theta - q \sin \theta, p \sin \theta + q \cos \theta)$ is symplectic
• Scaling transformation $(p, q) \mapsto (ap, q/a)$ for $a \neq 0$ is symplectic
• Shear transformations $(p, q) \mapsto (p + f(q), q)$ and $(p, q) \mapsto (p, q + g(p))$ are symplectic
• Time evolution in Hamiltonian systems generates symplectic transformations
• Canonical transformations in classical mechanics (point transformations, mixed-variable generating functions)
• Symplectic integrators in numerical analysis preserve symplectic structure in discrete time steps
• Optical systems described by ABCD matrices are symplectic transformations
• Monodromy matrices in Floquet theory are symplectic
• Symplectic transformations used in stability analysis of Hamiltonian systems

Hamilton's Equations in Coordinates

Simplified Form and Interpretation

• In local canonical coordinates $(p_i, q_i)$, Hamilton's equations take simple form $\frac{dp_i}{dt} = -\frac{\partial H}{\partial q_i}$ and $\frac{dq_i}{dt} = \frac{\partial H}{\partial p_i}$, where $H$ is Hamiltonian function
• Reveals symmetric nature of Hamilton's equations and conjugate relationship between position and momentum variables
• Allows clear geometric interpretation of flow of Hamilton's equations as symplectic flow on phase space
• Facilitates application of perturbation theory and study of integrable systems in Hamiltonian mechanics
• Poisson bracket takes simple form $\{f, g\} = \sum_{i=1}^n (\frac{\partial f}{\partial q_i} \frac{\partial g}{\partial p_i} - \frac{\partial f}{\partial p_i} \frac{\partial g}{\partial q_i})$, highlighting role in evolution of observables
• Makes identification of constants of motion and application of symmetry arguments easier in analysis of mechanical systems
• Crucial for advanced topics (Hamiltonian reduction, study of completely integrable systems)
• Simplifies derivation of conservation laws through Noether's theorem
• Enables direct connection between classical and quantum mechanics through canonical quantization
• Facilitates study of Hamiltonian vector fields and their integral curves

Applications and Examples

• Harmonic oscillator in canonical coordinates $(p, q)$ with Hamiltonian $H = \frac{1}{2}(p^2 + q^2)$ yields simple equations $\dot{p} = -q$, $\dot{q} = p$
• Kepler problem in polar coordinates $(r, \theta, p_r, p_\theta)$ simplifies analysis of planetary motion
• Rigid body dynamics in body-fixed frame uses canonical coordinates (Euler angles and conjugate momenta)
• Charged particle in electromagnetic field described by canonical coordinates and vector potential
• Nonlinear pendulum analysis simplified in action-angle variables
• Hamilton-Jacobi theory uses canonical transformations to solve Hamilton's equations
• Liouville integrability becomes transparent in canonical coordinates
• Symplectic integrators for numerical solutions preserve canonical structure
• Canonical perturbation theory for nearly integrable systems (KAM theory)
• Canonical quantization procedure in quantum mechanics based on canonical coordinates