Paper II: Rigorous Derivation of Symplectic Structure Breakdown (Proof of the Degeneration of the Symplectic Form boldsymbol{omega})

Author: Zhang Suhang (Heluo School of Mathematics)

Prerequisite Knowledge
For a finite-dimensional Hamiltonian system, the phase space M is a 2n-dimensional smooth manifold. The standard local coordinates are taken as canonical conjugate pairs (q^i, p_i), where i=1,2,dots,n.

1. Definition of Standard Symplectic Form
The canonical symplectic 2-form for classical conservative systems is:
omega = sum_{i=1}^n mathrm{d}q^i wedge mathrm{d}p_i

Two necessary and sufficient conditions for the validity of the symplectic structure are:
1. Closedness: mathrm{d}omega = 0;
2. Non-degeneracy: For any non-zero tangent vector X in TM, it satisfies iota_X omega neq 0, where iota_X is the interior product operator.

Meanwhile, the Liouville volume element is induced by the symplectic form:
Omega_text{Liouville} = underbrace{omega wedge omega wedge cdots wedge omega}_{n text{ times}}

Phase volume conservation is equivalent to mathcal{L}X Omegatext{Liouville} = 0 (the Lie derivative being zero), which is a direct consequence of the validity of the symplectic structure.

2. Classification Based on Dynamic Conditions from Previous Sections
According to the core chain theorem:
Suparrow implies Delta Vuparrow implies text{Stability}downarrow

We discuss two types of intervals:
* Steady-State Interval: S=S_min, Delta Vapprox 0. Orbits are minimum-action orbits, and the system is nearly integrable with weak nonlinearity.
* Instability Interval: S>S_min, Delta Vgg 0. Orbits significantly deviate from the optimal trajectory, exhibiting strong nonlinearity and perturbation divergence.

3. Steady-State Interval: boldsymbol{omega} Remains Closed and Non-Degenerate (Symplectic Structure is Valid)
In the steady state, the system satisfies the Hamiltonian canonical equations:
dot q^i = frac{partial H}{partial p_i}, quad dot p_i = -frac{partial H}{partial q^i}

The Hamiltonian H=T+V satisfies the Legendre transformation with the Lagrangian.

Verification of Closedness:
mathrm{d}omega = mathrm{d}left(sum mathrm{d}q^i wedge mathrm{d}p_iright) = sum mathrm{d}^2 q^i wedge mathrm{d}p_i - sum mathrm{d}q^i wedge mathrm{d}^2 p_i

By the property of exterior differentiation mathrm{d}^2(cdot)equiv 0, we obtain:
boldsymbol{mathrm{d}omega = 0}
The symplectic form is always closed.

Verification of Non-degeneracy:
In the steady state, the potential difference Delta Vapprox 0, the potential field V(q) is approximately quadratic, and the phase space coordinates (q,p) are globally canonical without singularities.

Taking an arbitrary non-zero tangent vector:
X = sum a^i frac{partial}{partial q^i} + sum b_i frac{partial}{partial p_i}

Calculating the interior product:
iota_X omega = sum big(a^i mathrm{d}p_i - b_i mathrm{d}q^ibig)

If iota_X omega = 0, then necessarily a^i equiv 0 and b_i equiv 0, i.e., X=0.
Therefore, boldsymbol{omega} is non-degenerate.

Conclusion: In the stable region where S=S_min and Delta Vapprox 0, omega simultaneously satisfies both closedness and non-degeneracy, meaning the symplectic structure strictly holds.

4. Instability Interval: Degeneration of boldsymbol{omega} and Breakdown of Symplectic Structure (Core Derivation)
When action and potential difference exceed the threshold (S>S_min, boldsymbol{Delta Vgg 0}), orbits deviate from the minimum neighborhood. The system exhibits strong nonlinearity and orbital distortion. The failure of the symplectic form is proven in two steps.

4.1 Coordinate Singularity and Destruction of Canonicity
A large potential difference corresponds to drastic fluctuations in the potential energy surface, causing the potential gradient |nabla V| to increase sharply. The Legendre transformation is no longer globally invertible:
p_i = frac{partial L}{partial dot q^i}

In the region of orbital distortion, frac{partial^2 L}{partial dot q^i partial dot q^j} degenerates, and the canonical phase space coordinates (q,p) lose their global canonicity.

At this point, the standard cotangent frame {mathrm{d}q^i, mathrm{d}p_i} can no longer be uniformly used locally, and the standard symplectic form omega = sum mathrm{d}q^i wedge mathrm{d}p_i loses its foundation for global definition.

4.2 Failure of Non-degeneracy (Proof via Core Formula)
In the neighborhood of distorted orbits, there exists a non-zero tangent vector field X notequiv 0 such that:
boldsymbol{iota_X omega = 0}

Derivation: Under large potential differences, dynamics exhibit modal coupling and orbit convergence/bifurcation. Taking the perturbation tangent vector X along the direction of orbital divergence:
X neq 0, quad iota_X omega = 0

According to the definition: the existence of a non-zero tangent vector making the interior product zero iff the symplectic form boldsymbol{omega} is degenerate. Once the symplectic form degenerates, it no longer satisfies the basic requirements of the symplectic structure.

4.3 Local Destruction of Closedness
In regions of strong nonlinearity, the equivalent Hamiltonian contains high-order perturbation terms, and the exterior differential operation satisfies:
mathrm{d}omega neq 0

The closedness condition of the symplectic form is broken.

4.4 Failure of Induced Volume Element
The degeneration of the symplectic form directly causes the Liouville volume element:
Omega_text{Liouville} = omega^{wedge n}
to no longer be a nowhere-vanishing volume form. The law of phase space volume conservation collapses. This is also the geometric root cause of long-term simulation distortion in symplectic algorithms under scenarios of large action and large potential difference.

5. Conclusion (Connecting to the Full Text)
1. If and only if the system resides in the stable subspace where S=S_min and Delta Vapprox 0, the symplectic 2-form omega is closed and non-degenerate, and the symplectic structure is valid.
2. As the action S and potential difference Delta V increase, orbital distortion occurs and canonical coordinates fail. The form boldsymbol{omega} undergoes degeneration and loss of closedness, leading to the complete breakdown of the symplectic structure.
3. From the perspective of differential geometry, it is rigorously proven that the symplectic structure is a local derived structure of the steady-state subspace under the ECS framework and does not possess global fundamentality.