通过余迷向约化的重构：庞加莱截面上缺失的动量作为分支覆盖
Reconstruction through a coisotropic reduction: the missing momentum on a Poincaré section as a branched covering
浏览论文内容
中文总结 AI 辅助
本文通过余迷向约化将庞加莱截面上缺失动量的求根问题重构为分支覆盖，证明其判别式为希尔边界，并给出投影的覆盖、折叠等性质。
中文摘要 AI 辅助
确定二自由度哈密顿系统庞加莱截面上缺失的动量通常被表述为求根问题 $H(0,q_2,p_1,p_2)=E$，该问题在能量允许区域的边界处退化。我们认为这种退化是一个几何对象的可见症状，并围绕该几何对象重新组织问题。截面是一个余迷向超曲面，缺失的动量是其特征方向，恢复该动量是通过相关的余迷向约化进行的“重构”。其载体不是纤维方向的最小能量函数（我们证明该函数在信息上是不完整的），而是对应关系 $\Sigma_E^{\mathrm{sec}}=\Sigma_E\cap C$ 连同约化投影 $\pi_E$，这是在允许区域上的分支重构，其判别式在基侧正则性条件下与希尔边界等同。我们证明了以下结论，并为每个结论分离出其最小假设：$\pi_E$ 是正常的，并且在判别式之外是一个覆盖（强制性）；在内部纤维恰好有两个点（单峰性）；沿判别式 $\pi_E$ 是一个折叠（纤维方向非退化性和横截性）；并且判别式与允许区域的拓扑边界重合，恰好是在基上最小能量函数的正则性条件下，而任何纤维方向的假设都不能提供该条件。$H$ 在动量上的严格凸性被证明是这些条件的一个充分但非根本的集合。边界是判别式，而不是拉格朗日焦散。只有在之后，平方纤维能量残差 $F_b=(h_b-E)^2$ 才出现，作为折叠的解析解；在允许区域内部它是一个双势阱，具有两个全局极小值，因此分支选择是一个单独的规则。
英文摘要
Determining the momentum missing on a Poincaré section of a two-degree-of-freedom Hamiltonian is usually posed as the root-finding problem $H(0,q_2,p_1,p_2)=E$, which degenerates at the boundary of the energetically allowed region. We argue that the degeneration is the visible symptom of a geometric object and reorganize the problem around it. The section is a coisotropic hypersurface, the missing momentum is its characteristic direction, and recovering it is a \emph{reconstruction} through the associated coisotropic reduction. Its carrier is not the fibrewise least-energy function, which we show is informationally incomplete, but the correspondence $Σ_E^{\mathrm{sec}}=Σ_E\cap C$ together with the reducing projection $π_E$, a branched reconstruction over the admissible region whose discriminant is identified with the Hill boundary under a base-side regularity condition. We prove, isolating for each conclusion its minimal hypothesis: that $π_E$ is proper and a covering away from the discriminant (coercivity); that the fibres have exactly two points over the interior (unimodality); that along the discriminant $π_E$ is a fold (fibrewise nondegeneracy and transversality); and that the discriminant coincides with the topological boundary of the admissible region precisely under a regularity of the least-energy function \emph{on the base}, which no fibrewise hypothesis supplies. Strict convexity of $H$ in the momenta is shown to be a sufficient but non-fundamental bundle of these conditions. The boundary is a discriminant, not a Lagrangian caustic. Only afterwards does the squared fibrewise energy residual $F_b=(h_b-E)^2$ appear, as the analytic resolution of the fold; inside the admissible region it is a double well with two global minimizers, so branch selection is a separate rule.
发表机构
- División Académica de Ciencias Básicas, Universidad Juárez Autónoma de Tabasco（塔巴斯考自治朱阿雷兹大学基础科学学术分院）
机构由 AI 辅助整理，请以论文原文为准。
