[论文解读] Stable Determination of Time-Dependent Scalar Potential From Boundary Measurements in a Periodic Quantum Waveguide

Mourad Choulli, Yavar Kian+1 more|arXiv (Cornell University)|Jun 27, 2013

Gyrotron and Vacuum Electronics Research参考文献 13被引用 8

一句话总结

本文建立了在边界测量下，从动态Schrödinger方程解的边界测量中，恢复1-周期性量子波导中时变标量势的对数稳定性估计。通过Floquet-Bloch-Gel’fand分析和几何光学解，作者推导出一个稳定性不等式，以测量精度量化重构误差，证明了从边界上的Dirichlet-to-Neumann数据和最终时刻观测值可稳定确定势函数。

ABSTRACT

We prove logarithmic stability in the determination of the time-dependent scalar potential in a 1-periodic quantum cylindrical waveguide, from the boundary measurements of the solution to the dynamic Schrödinger equation.

研究动机与目标

• 解决从边界测量中确定周期性量子波导中时变标量势的反问题。
• 建立从部分边界数据（包括法向迹和最终时刻观测）中恢复势函数的稳定性估计。
• 将现有在有界区域中系数识别的结果推广至无界、周期性波导几何结构。
• 为使用谱分析和微局部分析技术在周期性量子结构中建立反问题的严格数学框架。

提出的方法

• 采用Floquet-Bloch-Gel’fand变换，将Schrödinger算子分解为以准动量为参数的周期性问题族。
• 构造适配于周期性结构的几何光学解，以分析高频渐近行为并探测势函数。
• 利用边界算子Λ_V，将初始数据和Dirichlet迹映射为法向迹和最终状态，以编码反问题。
• 在变换后的频率域中应用傅里叶分析和$L^2$-范数估计，以控制两个势函数之间的差异。
• 通过将势函数差的傅里叶变换仔细分解为低频和高频分量，推导出稳定性不等式。
• 优化正则化参数与频率截断之间的权衡，以获得对数稳定性估计。

实验结果

研究问题

• RQ1 能否从Schrödinger方程解的边界测量中，稳定重构1-周期性量子波导中的时变标量势？
• RQ2 在无界周期性波导中，势函数恢复反问题的定量稳定性估计是什么？
• RQ3 波导的周期性结构如何影响反势函数问题的唯一性和稳定性？
• RQ4 几何光学解在分析周期介质中系数识别稳定性方面可发挥多大作用？
• RQ5 此类反问题中可达到的最佳稳定性速率是多少？其是否依赖于势函数的正则性？

主要发现

• 本文证明了从边界测量中恢复1-周期性量子波导中时变标量势$ V $的对数稳定性估计。
• 稳定性估计在周期元胞$ Q' = (0,T) \times (0,1) \times \omega $上的$ L^2(Q') $-范数下成立，误差由测量误差的对数函数有界。
• 关键结果为不等式$ \|V_2 - V_1\|_{L^2(Q')}^2 \leq C_3 \left(1 + \gamma (\ln \gamma^{-1})^{16/5} \right) (\ln \gamma^{-1})^{-4/5} $，其中$ \gamma $控制测量精度。
• 常数$ C_3 $仅依赖于$ T $、$ \omega $以及势函数的$ H^1 $-界$ M $，表明对域和时间参数具有鲁棒性。
• 分析依赖于将势函数差的傅里叶变换分解为低频和高频区域，并通过频率截断和指数权重实现精确控制。
• 最终的稳定性速率是对数型的，与无界域中类似反问题一致，反映了系数识别问题固有的不适定性。