Time-Dependent Symplectic Forms

• Time-dependent symplectic forms are families of closed, nondegenerate 2-forms that vary with time, providing the framework for nonautonomous Hamiltonian systems.
• Their applications include modeling rotating frames, charged particle dynamics, and time-varying DAEs, which reveal unique geometric and analytic properties.
• Extended phase space techniques and time-dependent canonical transformations enable the reduction of complex, nonautonomous dynamics to tractable autonomous formulations.

A time-dependent symplectic form is a family of closed, nondegenerate 2-forms $\omega(t)$ on a fixed smooth $2n$-dimensional manifold $M$, with $t \in \mathbb{R}$ or an appropriate time domain, such that each $\omega(t)$ is itself a genuine symplectic form. The theory of time-dependent symplectic forms and their Hamiltonian flows appears in nonautonomous classical mechanics, geometric analysis, and applied areas such as charged particle dynamics and circuit modeling. Time-dependence in the symplectic structure itself introduces additional geometric, analytic, and group-theoretic features beyond the classical case of a fixed symplectic manifold.

1. Formal Definition and Basic Properties

Let $M$ be a smooth $2n$-dimensional manifold. A family $\omega(t)\in \Omega^2(M)$ is a time-dependent symplectic form if for each $t$:

• $d\omega(t)=0$ (closedness),
• $\omega(t)^n$ is everywhere nonzero (nondegeneracy).

Concretely, $\omega: \mathbb{R} \times M \to \wedge^2 T^*M$, $(t,x) \mapsto \omega_t(x)$, is smooth and $\forall t$, $\omega_t$ is a symplectic form on $M$ (Frauenfelder et al., 5 Jan 2026). In the case $H^1(M)=0$, each $\omega(t)$ is exact and admits a time-dependent primitive $\alpha(t) \in \Omega^1(M)$ with $d\alpha(t) = \omega(t)$. The non-uniqueness of $\alpha$ leads to a gauge freedom, which is physically relevant particularly when $\omega(t)$ is periodic in $t$ up to an exact form.

Symplectic forms can also appear in linear time-varying systems as a family of skew-symmetric matrices $E(t)$, forming the differential part of a system $E(t)\dot{x}=A(t)x$, with symplecticity characterized by skew-symmetry of $E(t)$ and a compatibility condition on $A(t)$ (Kunkel et al., 2022).

2. Time-Dependent Symplectic Geometry in Extended Phase Space

In Hamiltonian mechanics, the standard phase space $(q^i, p_i)$ is extended by time $t$ and energy $E$, leading to an extended phase space with coordinates $z^a = (q^i, p_i, E, t)$, $a=1,\dots,2n+2$. The canonical symplectic form on this space is (Low et al., 2023, Struckmeier, 2023)

$\omega = dp_i \wedge dq^i - dE \wedge dt,$

which is closed and nondegenerate. Under a general (possibly time-dependent) canonical transformation, the pullback condition $\phi^*\omega = \omega$ ensures that the transformed coordinates satisfy the same symplectic structure. The group of diffeomorphisms preserving both $\omega$ and the degenerate metric $dt^2$ is the Jacobi group $\mathrm{HSp}(2n) \times \mathbb{Z}_2$.

For linear time-dependent systems, a congruence transformation can bring a time-dependent family of skew-symmetric forms $E(t)$ to a canonical constant block form locally or globally, yielding a block-diagonal structure that identifies the symplectic and algebraic components of the flow (Kunkel et al., 2022). This process enables the reduction of time-varying DAEs to canonical symplectic systems plus constrained algebraic subsystems.

3. Time-Dependent Hamiltonian Flows and the Euler Force

For a time-dependent Hamiltonian $H(t,x)$ and symplectic form $\omega(t)$, the correct Hamiltonian equation is modified to account for temporal variation in $\omega$. Assuming $\omega(t)$ is exact, i.e., $d\alpha(t) = \omega(t)$, the action

$$\mathcal{A}[\gamma] = \int_0^1 \left( \alpha(t)_{\gamma(t)}(\dot{\gamma}(t)) - H(t,\gamma(t)) \right) dt$$

leads to the Euler–Hamilton equation upon variational calculus: $$i_{\dot{\gamma}}\omega(t) = dH(t) - \partial_t \alpha(t),$$ or equivalently,

$\dot{\gamma}(t) = X_H(t) + Y(t),$

where $X_H(t)$ is the usual Hamiltonian vector field defined by $i_{X_H(t)}\omega(t)=dH(t)$, and $Y(t)$ is the Euler vector field, defined implicitly by $i_{Y(t)}\omega(t) = \partial_t \alpha(t)$. $Y(t)$ accounts for nonconservative pseudo-forces such as the Euler force in a nonuniformly rotating frame (Frauenfelder et al., 5 Jan 2026).

The explicit form of $Y(t)$, which is nonzero if $\partial_t\alpha(t) \neq 0$, models the impact of temporal changes in the symplectic structure on the flow.

4. Canonical Transformations and Generating Functions

Time-dependent canonical transformations are diffeomorphisms preserving $\omega(t)$ (up to exact forms if primitives are in play) with possible explicit $t$-dependence. In the extended phase space formalism, such transformations may involve a generating function $F(q, P, t)$: $$Q^i = \frac{\partial F}{\partial P_i},\quad p_i = \frac{\partial F}{\partial q^i},\quad E' = E + \frac{\partial F}{\partial t},\quad t' = t$$ (Low et al., 2023, Struckmeier, 2023). In this setting, extended canonical transformation theory, based on an "extended" generating function, allows not only for transformations among phase-space coordinates but also time reparameterizations and energy shifts, mapping time-dependent Hamiltonians to autonomous ones when certain auxiliary conditions are met.

In linear systems, a time-dependent congruence transformation $T(t)$ can bring the time-dependent symplectic form to a standard block-diagonal form, extracting the dynamical blocks where symplectic structure and Hamiltonian nature are manifest (Kunkel et al., 2022).

In the context of locally conformal symplectic (lcs) manifolds with time-dependent conformal factors, time-dependent canonical transformations further require the preservation of the Lee form $\theta$ and compatibility with $d_\theta$ (the twisted differential) (Ragnisco et al., 2021).

5. Applications and Illustrative Examples

Rotating Reference Frames (Merry-Go-Round)

The classical example of a rotating reference frame with nonuniform angular velocity illustrates the necessity of time-dependent symplectic forms to model fictitious forces. The symplectic structure is deformed to

$$\omega(t) = dq_1 \wedge dp_1 + dq_2 \wedge dp_2 + 2 \omega(t) dq_1 \wedge dq_2,$$

to incorporate Coriolis and centrifugal effects. To account for the Euler force (arising when the rotation rate $\omega(t)$ varies), the time derivative of the primitive $\alpha(t)$ introduces an additional term in the force, corresponding precisely to the Euler vector field $Y(t)$ (Frauenfelder et al., 5 Jan 2026).

Relativistic Charged Particle Dynamics

For relativistic particle dynamics in time-dependent electromagnetic fields, the extended phase space formalism is natural. The symplectic form on $T^*M$ for $M$ spacetime is

$$\omega_{can} = \sum_{i=1}^3 dp_i \wedge dx^i + dp_0 \wedge dt,$$

which, under minimal coupling to electromagnetism, becomes a time-dependent symplectic form $\omega(t)$ incorporating both the electromagnetic field tensor $F$ and explicit time and space dependence (Zhang et al., 2016). High-order symplectic integration algorithms are constructed to preserve this time-dependent form exactly, ensuring bounded energy drift over exponentially long times.

Nonholonomic and Circuit Models

In the modeling of circuits via DAEs or mechanical systems with constraints, time-dependent skew-symmetric matrices $E(t)$ function as symplectic forms in the sense of preserving certain structure under evolution. The associated Hamiltonian block $N(t)$ generates a symplectic flow on the respective subspace, and the solution retains symplecticity of the corresponding fundamental matrix (Kunkel et al., 2022).

6. Variational Flows and Evolution of Symplectic Structures

Time-dependent flows of symplectic forms arise in geometric analysis, for example in the evolution of (tamed or Hermitian-symplectic) forms via the Bismut Ricci flow on complex manifolds (Enrietti et al., 2012). Given a decomposition

$\Omega(t) = \omega(t) + \beta(t) + \bar{\beta}(t)$

into $(1,1)$ and $(2,0)$ components, the natural flow

$\partial_t \Omega = -\rho^B(\omega)$

with $\rho^B$ the (total) Bismut Ricci form, evolves $\Omega(t)$ within the class of closed, nondegenerate forms taming the complex structure $J$. On nilmanifolds, existence and long-time convergence to flat (torus) limits are established via bracket-flow techniques.

On lcs manifolds, the time-dependent symplectic form satisfies

$d\omega(t) = \theta \wedge \omega(t)$

with fixed Lee form $\theta$, and the corresponding Hamiltonian dynamics incorporates both $t$-dependence and the conformal structure (Ragnisco et al., 2021).

7. Structural Results, Existence, and Uniqueness

If $H^1(M)=0$, any smooth family of exact symplectic forms $\omega(t)$ admits a globally defined time-dependent primitive $\alpha(t)$, unique up to $d$-exact gauge transformations. For periodic $\omega(t)$, the primitive can be twisted-periodic, a property crucial in Floer and Morse theory to ensure that action functionals on loop space are well-defined. Existence and uniqueness of Euler–Hamilton flows for nonautonomous systems with time-dependent symplectic forms is guaranteed by standard ODE theory under nondegeneracy and smoothness assumptions (Frauenfelder et al., 5 Jan 2026).

In the context of DAEs, regularity and symplecticity assumptions allow for a local canonical form via congruence transformations, ensuring that the symplectic dynamics can always be reduced locally to standard (possibly time-dependent) Hamiltonian form, with global reduction depending on topological triviality conditions (Kunkel et al., 2022).

---

Summary Table: Core Formalisms Involving Time-Dependent Symplectic Forms

Context	Symplectic Form $\omega(t)$	Key Equations/Structures
Extended phase space	$dp_i \wedge dq^i - dE \wedge dt$	$dQ^i/dt = \partial H/\partial P_i$, etc.
Rotating frame (merry-go-round)	$\omega_0 + 2\omega(t) dq_1 \wedge dq_2$	$\dot{\gamma} = X_H + Y$, $i_{Y} \omega = \partial_t\alpha$
Relativistic charged particles	$dp_i \wedge dx^i + dp_0 \wedge dt + q F$	Proper-time Hamiltonian $\bar{H}$, 8D symplectic integrators
Linear systems/DAEs	Time-dependent skew $E(t)$	$E(t)\dot{x} = A(t)x$, $E^T = -E$, $A^T = A + \dot{E}$
Complex/geometric flows	$\Omega(t)$ closed, tames $J$	$\partial_t \Omega = -\rho^B(\omega)$

---

Time-dependent symplectic forms underlie the structure of nonautonomous Hamiltonian systems, geometric evolution equations, and the precise modeling of systems with time-varying constraints or external fields. Their study integrates symplectic geometry, group-theoretic symmetries, and analytical techniques, providing a general framework for Hamiltonian evolution in settings where the underlying geometry itself is dynamical.