[论文解读] The regularized trace formula for the Sturm-Liouville equation with spectral parameter in the boundary conditions

Namig J. Guliyev|ArXiv.org|Nov 28, 2009

Spectral Theory in Mathematical Physics参考文献 2被引用 3

一句话总结

本文建立了具有谱参数出现在边界条件中的Sturm-Liouville问题的一阶正则化迹公式。通过分析特征函数的渐近行为并应用Hadamard因式分解，作者推导出一个显式的迹公式，将特征值之和减去其主渐近项表示为边界系数和势函数系数的组合，将经典迹理论推广至非标准边界条件的情形。

ABSTRACT

The regularized trace formula of first order for the Sturm-Liouville equation with spectral parameter in the boundary conditions is obtained.

研究动机与目标

• 将正则化迹理论推广至谱参数出现在边界条件中的Sturm-Liouville问题。
• 为这类问题推导出一阶正则化迹公式，考虑涉及谱参数的非标准边界条件。
• 建立特征值分布与势函数系数及边界项系数之间的联系。
• 将经典迹公式推广至包含谱参数的非自伴边界条件的情形。
• 利用复分析与积分方程方法，对特征函数和特征值分布进行严格的渐近分析。

提出的方法

• 使用积分方程方法与复分析，推导Sturm-Liouville方程解 φ(x,λ) 的渐近展开式。
• 将特征函数 χ(λ) 定义为在 x=π 处对 φ 和 φ′ 的组合，结合包含谱参数的边界条件。
• 利用Hadamard因式分解定理，将 χ(λ) 表示为特征值上的无穷乘积，利用其作为阶为 1/2 的整函数的性质。
• 通过涉及 l² 序列与积分的级数展开与估计，分析 χ(−μ²) 在 μ→∞ 时的渐近行为。
• 比较 χ(−μ²) 的两种渐近展开式：一种来自积分表示，另一种来自Hadamard乘积，以对应系数。
• 通过匹配渐近展开式中的系数，推导出最终的迹公式，得到正则化迹和的显式表达式。

实验结果

研究问题

• RQ1 具有谱参数出现在边界条件中的Sturm-Liouville问题，其特征值分布具有怎样的结构？
• RQ2 当谱参数出现在边界条件而非方程本身时，如何构造正则化迹公式？
• RQ3 此类问题的一阶正则化迹的显式形式是什么？它如何依赖于势函数与边界系数？
• RQ4 能否通过特征函数的渐近分析与复分析技术推导出迹公式？
• RQ5 边界参数 h, h₁, h₂, H, H₁, H₂ 以及势函数 q(x) 如何影响正则化迹和？

主要发现

• 一阶正则化迹和绝对收敛，其公式为：λ₀ + λ₁ + ∑ₙ₌₂^∞ (λₙ − (n−2)² − 2ω/π) = h₁ + H₁ + (q(π) + q(0))/4 − (h + H)/π − (h² + H²)/2 − (1/(2π))∫₀^π q(t)dt。
• 特征值 λₙ 满足渐近展开式 λₙ = (n−2)² + 2ω/π + ξₙ/n，其中 {ξₙ} ∈ l²，证实正则化迹是良定义的。
• 特征函数 χ(λ) 是阶为 1/2 的整函数，使得可应用Hadamard因式分解，将其表示为特征值上的无穷乘积。
• 由积分方程导出的 χ(−μ²) 的渐近展开式具有主导项 −μ⁵ e^{πμ}/2，与Hadamard乘积展开式在低阶项范围内一致。
• χ(−μ²) 渐近展开式中 μ³ 的系数与正则化迹和完全匹配，从而可精确识别迹公式。
• 推导结果证实，正则化迹明确依赖于边界系数 h, h₁, h₂, H, H₁, H₂ 以及势函数 q(x)，包括其在端点的积分值与点值。