[论文解读] On the Poincaré's generating function and the symplectic mid-point rule

Hugo Jiménez-Pérez, Vilotte, Jean-Pierre+1 more|arXiv (Cornell University)|Aug 31, 2015

Numerical methods for differential equations参考文献 19被引用 4

一句话总结

本文使用Liouvillian形式重新評估了Poincaré生成函數與辛中點規則之間長期存在的關聯。結果表明，Poincaré的1-形式並非對應於中點規則，而是對應於恆等映射，揭示了週期軌道（Poincaré框架）的變分原理與邊值問題（中點規則）之間的根本不匹配。

ABSTRACT

The use of Liouvillian forms to obtain symplectic maps for constructing numerical integrators is a natural alternative to the method of generating functions, and provides a deeper understanding of the geometry of this procedure. Using Liouvillian forms we study the generating function introduced by Poincaré (1899) and its associated symplectic map. We show that in this framework, Poincaré's generating function does not correspond to the symplectic mid-point rule, but to the identity map. We give an interpretation of this result based on the original framework constructed by Poincaré.

研究动机与目标

• 澄清Poincaré生成函數與辛積分器之間的幾何關係。
• 挑戰傳統觀點，即Poincaré的1-形式生成辛中點規則。
• 建立使用Liouvillian形式構造辛映射的嚴謹框架。
• 區分週期軌道（Poincaré）與邊值問題（中點規則）所遵循的變分原理。
• 識別與辛中點規則正確對應的Liouvillian形式，表明其為對稱部分為零的基本形式$\theta_0$。

提出的方法

• 使用滿足$i_Z\omega = \theta$的Liouvillian形式$\theta$來構造辛映射，其中$Z$為Liouville向量場。
• 應用Hodge分解$\theta = \delta\eta + dF + \alpha$對辛流形上的Liouvillian形式進行分類。
• 分析在乘積流形$\mathcal{P} = M \times M$上的辛結構，其具有辛形式$\omega_{\mathcal{I}}, \omega_{\mathcal{J}}, \omega_{\mathcal{K}}$。
• 構造一個一參數族1-形式，連接辛Euler映射A與B至Poincaré的1-形式，以測試辛性。
• 識別出唯一生成中點規則的Liouvillian形式$\theta = \pi_1^*\theta_1 - \pi_2^*\theta_2$，表明其對應於$\theta_0 = \frac{1}{2}d\mathbf{x}\mathcal{J}\mathbf{x}$。
• 使用條件$\mathbf{S}_1 \equiv 0_{2n}$來表征中點規則何時由此類形式產生，並與具有常曲率流的退化情形聯繫起來。

实验结果

研究问题

• RQ1 Poincaré生成函數的微分是否對應於辛中點規則？
• RQ2 生成辛中點規則的正確Liouvillian形式是什麼？
• RQ3 週期軌道（Poincaré）的變分原理與邊值問題（中點規則）的變分原理有何不同？
• RQ4 能否從具有非退化對稱部分的Liouvillian形式推導出辛中點規則？
• RQ5 Hodge分解在對辛積分器的Liouvillian形式進行分類時發揮何種作用？

主要发现

• Poincaré生成函數的微分對應於恆等映射，而非辛中點規則。
• 辛中點規則由乘積流形上的基本Liouvillian形式$\theta_0 = \frac{1}{2}({\bf p}d{\bf q} - {\bf q}d{\bf p} - {\bf P}d{\bf Q} + {\bf Q}d{\bf P})$生成。
• 僅當Liouvillian形式的對稱部分消失（$\mathbf{S}_1 \equiv 0_{2n}$）時，中點規則才會出現，表明這是一種退化情形。
• 與$\theta_0$相關的Liouville向量場$Z = \frac{1}{2}\sum_i x_i \partial_{x_i}$為Euler向量場，與常數哈密頓量流一致。
• 中點規則是基於Liouvillian的辛映射的一種特殊情況，對應於常向量場的流。
• 連接辛Euler映射A與B至Poincaré的1-形式的一族1-形式僅在端點生成辛映射，沿路徑則不然。