[论文解读] The inverse resonance problem for $\Z_2$-symmetric analytic obstacles in the plane

Steve Zelditch|ArXiv.org|Feb 8, 2002

Quantum chaos and dynamical systems参考文献 21被引用 4

一句话总结

该论文证明了平面内两个凸解析障碍物的镜像对称构型由外 Dirichlet 拉普拉斯算子的预解式极点唯一确定，利用来自散射迹和 Poincaré 映射分析的波不变量。关键结果建立了此类障碍物与其共振谱之间的双射关系，将逆谱理论从有界内域推广至具有 Z_2 对称性的无界外域。

ABSTRACT

We prove that a two-component mirror-symmetric analytic obstacle in the plane is determined by its resonance poles among such obstacles. The proof is essentially the same as in the interior case (part II of the series). A so-called interior/exterior duality formula is used to simplify the proof. A fair amount of exposition is included for the sake of completeness.

研究动机与目标

• 将逆谱结果从有界内域推广至具有障碍物的无界外域。
• 确定在 Z_2 对称性下，平面内两个凸解析障碍物的构型是否可由其 Dirichlet 共振极点唯一恢复。
• 建立在相同对称性和解析性条件下，散射相位可确定障碍物至等距同构。
• 利用波不变量和 Poisson 关系，将谱数据与边界几何不变量联系起来。

提出的方法

• 利用‘内/外对偶性’，通过将外共振与内波不变量关联，简化逆问题。
• 应用已知结果：外域的波不变量是共振不变量，其来源于预解式的解析延拓。
• 使用 Poincaré 映射和在弹跳球轨道处长度泛函的 Hessian 矩阵，显式计算波不变量。
• 采用有限傅里叶矩阵对 Hessian 矩阵进行对角化，并通过循环结构计算逆 Hessian 分量。
• 推导出涉及逆 Hessian 项幂次和的波不变量显式公式，特别关注立方和二次项。
• 对边界定义函数的泰勒系数进行归纳，通过轨道迭代中的非恒定求和，实现奇偶导数的解耦。

实验结果

研究问题

• RQ1 平面内 Z_2 对称的两个凸解析障碍物构型能否由其 Dirichlet 共振极点唯一重构？
• RQ2 外 Dirichlet 拉普拉斯算子的波不变量是否足以恢复此类障碍物的边界几何？
• RQ3 外 Dirichlet 拉普拉斯算子的散射相位是否可确定障碍物至等距同构？
• RQ4 在弹跳球轨道处长度泛函的 Hessian 系数与边界泰勒系数之间有何关系？
• RQ5 在何种条件下，可从共振数据恢复边界定义函数的泰勒系数？

主要发现

• 从 Z_2 对称双分量解析障碍物类到复平面的共振映射是单射，证明了唯一性。
• 通过波不变量证明，与弹跳球轨道相关的实轴附近共振唯一确定障碍物。
• 作为主定理的推论，散射相位可确定障碍物至等距同构。
• 在三阶导数非零的条件下，可通过归纳法从波不变量恢复边界定义函数的泰勒系数。
• 即使三阶导数为零，只要更高阶奇数导数非零，恢复仍可能实现，且该方法具有一般适用性。
• 通过有限傅里叶对角化计算 Hessian 逆分量，其幂次和在轨道迭代中非恒定，从而实现几何系数的解耦。