关于镜面捕获光线族的研究
On the trapping of ray families by mirrors
- University of California, Riverside（加州大学河滨分校）
机构由 AI 辅助整理，请以论文原文为准。
中文总结 AI 辅助
该研究解决Serge Tabachnikov的两个镜面捕获光线问题，证明ℝⁿ中被捕获光线族最大维数为2n-3，且ℝ³中存在不局部正交于光滑曲面的2参数被捕获光线族。
中文摘要 AI 辅助
我们解决了Serge Tabachnikov提出的两个关于镜面捕获光线的问题。我们证明：(i)在ℝⁿ中，被捕获光线族的最大维数为2n-3；(ii)在ℝ³中，可捕获一个2参数光线族，该族在局部上不与任何光滑曲面正交。首先，我们利用庞加莱回归定理证明Lₙ中不存在开子集可被捕获，从而得出不存在2n-2参数族可被捕获，得到上界2n-3。接着，我们指出陷阱中心“腰部”光线状态集中的紧子集是法双曲不变流形（NHIM），其满足NHIM的稳定流形定理，这意味着渐近于陷阱腰部的光线集合维数为2n-3，据此证明镜面系统可捕获2n-3参数光线族。我们随后截断镜面系统，使光线能从陷阱外任意远处进入，达到上界2n-3，解决了第一个问题。最后，我们证明在ℝ³中，被捕获光线族内存在一个2参数子族，其在定向光线空间上的典范辛形式处处非零，这表明该子族在局部上不与任何光滑曲面正交，从而解决了第二个问题。
英文摘要
We settle two questions of Serge Tabachnikov regarding the trapping of light rays by mirrors. We show (i) that the largest dimension of a trapped family of rays in $\mathbb{R}^n$ is $2n-3$, and (ii) that in $\mathbb{R}^3$ one can trap a 2-parameter family of rays that is not locally normal to any smooth surface. We first establish that no $2n-2$-parameter family can be trapped by showing that no open subset of $L_n$ can be trapped due to Poincaré's recurrence theorem, yielding an upper bound of $2n-3$. We then show that a system of mirrors traps a $2n-3$ parameter family of rays by noting that a compact subset of the set of states of rays in the central "waist" of the trap is a normally hyperbolic invariant manifold, making it amenable to a stable manifold theorem for NHIMs, which implies that the set of rays asymptotic to the waist of the trap has dimension $2n-3$. We then truncate our mirror system, which permits the entrance of rays from arbitrarily far outside of the trap, attaining the upper bound $2n-3$ and resolving the first question. We then show that in $\mathbb{R}^3$, there exists within the trapped family of rays a 2-parameter subfamily on which the canonical symplectic form on the space of oriented lines is nowhere vanishing, implying that the subfamily is not locally normal to any smooth surface, which settles the second question.
