[论文解读] Linear nonlocal problem for the abstract time-dependent non-homogeneous Schrödinger equation

Dmytro Sytnyk, Roderick Melnik|arXiv (Cornell University)|Sep 22, 2016

Advanced Mathematical Physics Problems参考文献 23被引用 5

一句话总结

本文建立了抽象时变非齐次薛定谔方程的线性非局部时间问题的适定性及温和解与强解存在的精确必要与充分条件。通过利用谱型算子的 Dunford-Cauchy 函数演算，推导出精确的解算子表示，将先前对非局部参数有界性的限制推广至无界情形，实现了对两点与三点条件可接受参数流形的解析表征。

ABSTRACT

A nonlocal-in-time problem for the abstract Schrödinger equation is considered. By exploiting the linear nature of nonlocal condition we derive an exact representation of the solution operator under assumptions that the spectrum of Hamiltonian is contained in the horizontal strip of complex plane. The derived representation permits us to establish the necessary and sufficient conditions for the problem's well-posedness and the existence of its mild, strong solutions. Furthermore, we present new sufficient conditions for the existence of solution which extend the available results to the case when some nonlocal parameters are unbounded. Two examples are provided.

研究动机与目标

• 建立抽象时变非齐次薛定谔方程的非局部时间问题的温和解与强解存在性与唯一性的必要与充分条件。
• 将现有充分条件（如有界性条件 ∑|αk|e^{dt_k} ≤ 1）推广至非局部参数不一致有界区域之外。
• 利用函数演算与根求解技术，对两点与三点非局部条件提供可接受参数流形的精确解析表征。
• 将非局部薛定谔问题的适用范围扩展至非厄米哈密顿量，适用于开放量子系统。

提出的方法

• 通过谱包含于复平面内水平带状区域的谱型算子的 Dunford-Cauchy 公式，推导出解算子的精确表示。
• 通过将非局部条件 ψ(0) + ∑αkψ(tk) = ψ1 转化为涉及解算子的线性系统，将非局部问题约化为经典柯西问题。
• 应用函数演算分析解算子，并基于涉及谱参数的线性算子可逆性，推导出适定性的必要与充分条件。
• 采用 Schur-Cohn 算法与根求解技术，确定三点非局部条件中可接受参数 (α₁, α₂) 的集合。
• 利用共形映射与复分析估计（如引理 1–3）推导出充分条件，使其超越经典有界性条件 ∑|αk|e^{dt_k} ≤ 1 的范围。
• 通过两个说明性例子验证结果：一个两点非局部条件与一个三点非局部条件，利用所提准则明确导出参数区域。

实验结果

研究问题

• RQ1 非局部时间薛定谔问题的温和解存在性与唯一性的必要与充分条件是什么？
• RQ2 经典有界性条件 ∑|αk|e^{dt_k} ≤ 1 如何推广至包含无界非局部参数的情形？
• RQ3 两点与三点非局部条件的可接受参数流形的完整解析表征是什么？
• RQ4 通过 Dunford-Cauchy 公式表示的解算子，如何实现对非自伴情形之外非局部问题的精确分析？

主要发现

• 本文基于由非局部参数与解算子构造的线性算子的可逆性，推导出非局部问题适定性的必要与充分条件。
• 对于三点非局部条件（t₁=1, t₂=2, d=π/40），(α₁, α₂) 的可接受区域扩展至无界集合，如式 (26) 中的第二个不等式组所示，该区域未被有界条件 ∑|αk|e^{dt_k} ≤ 1 所涵盖。
• 通过定理 3（Schur-Cohn 算法）获得的可接受参数区域显著大于经典条件 (5) 所确定的区域，后者为位于更大无界区域内的有界菱形区域。
• 该方法可对两点与三点非局部问题的整个可接受参数流形进行解析描述，包括非局部参数无界的情形。
• 结果适用于非厄米哈密顿量，将适用范围扩展至开放量子系统，其中反厄米部分用于描述系统-环境相互作用。