[论文解读] Regularization of binomial differential equations with singular coefficients

Andrii Goriunov, Vladimir Mikhailets|arXiv (Cornell University)|Jun 16, 2011

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

一句话总结

本文通过拟导数对 m 阶二项式微分方程（具有奇异系数）进行正则化，其中系数 q 是 L¹ 函数 Q 的分布导数。研究建立了最小算子的自伴、最大耗散及最大累积扩张，并通过 ℂ^m 中的压缩算子对广义预解式进行了完整的一一且连续的参数化，将先前针对 m=2 的结果推广至 m≥3。

ABSTRACT

We propose a regularization of the formal differential expression of order $m \geqslant 3$ $$ l(y) = i^my^{(m)}(t) + q(t)y(t), \,t \in (a, b), $$ applying quasi-derivatives. The distribution coefficient $q$ is supposed to have an antiderivative $Q \in L([a,b];\mathbb{C})$. For the symmetric case ($Q = \bar{Q}$) self-adjoint and maximal dissipative extensions of the minimal operator and its generalized resolvents are described. The resolvent approximation with resrect to the norm of the considered operators is also investigated. The case $m = 2$ for $Q \in L_2([a, b];\mathbb{C})$ was investigated earlier.

研究动机与目标

• 将奇异 Sturm-Liouville 算子的理论推广至具有奇异系数的高阶二项式微分方程。
• 解决当系数 q 不属于 L¹ 但满足 q=Q′ 且 Q∈L¹ 时，对 m≥3 缺乏系统性正则化框架的问题。
• 在对称情形下，描述最小算子的所有自伴、最大耗散及最大累积扩张。
• 通过 ℂ^m 中的算子压缩，对广义预解式提供完整、一一且连续的参数化。
• 在适当条件下，建立最小算子扩张的统一预解逼近。

提出的方法

• 引入拟导数 D^{[k]}y 以正则化形式微分表达式 l(y) = i^m y^{(m)}(t) + q(t)y(t)，其中 q=Q′，Q∈L¹([a,b];ℂ)。
• 将最大算子 L_max 定义为在满足 D^{[k]}y 对 k=0,…,m−1 绝对连续且 D^{[m]}y∈L₂ 的函数上，对拟微分表达式 l[y] = i^m D^{[m]}y 的闭包。
• 将最小算子 L_min 定义为 L_max 在两端点处以拟导数意义趋于零的函数上的限制。
• 将预解方程 l[y]−λy=f 表示为关于 w(t) = (D^{[0]}y,…,D^{[m−1]}y) 的一阶系统，其中系数矩阵 A_λ(t)∈L¹，强迫项 φ(t)∈L¹。
• 利用边界三元组理论及特征 Weyl-Titchmarsh 函数，通过 ℂ^m 中的算子压缩 K(λ) 参数化广义预解式。
• 建立广义预解式与包含 K(λ) 的边界值问题之间的一一且连续的对应关系，其中 K(λ) 在上半平面或下半平面内解析且满足 ||K(λ)||≤1。

实验结果

研究问题

• RQ1 如何对 m 阶二项式微分方程（具有奇异系数 q=Q′，Q∈L¹）进行正则化，以在 m≥3 时建立一致的算子理论？
• RQ2 在对称情形（Q=Q̄）下，最小算子的自伴、最大耗散及最大累积扩张是什么？
• RQ3 如何在复平面上对最小算子的所有广义预解式进行参数化？
• RQ4 在何种条件下，可通过同类型算子族对最小算子扩张实现统一的预解逼近？
• RQ5 拟导数构造在实现奇异系数情形下的边界三元组方法中起到何种作用？

主要发现

• 最小算子 L_min 当且仅当 Q 为实值函数（即 Q=Q̄）时为对称算子，从而保证了自伴与耗散扩张的存在。
• 所有自伴、最大耗散及最大累积扩张均通过 ℂ^m 中的酉算子与压缩算子分别一一且连续地参数化。
• 广义预解式由在上半平面或下半平面内解析且满足 ||K(λ)||≤1 的算子函数 K(λ) 所决定的边界值问题完全描述。
• 当 λ 位于上半平面时，广义预解式由满足 l(y)=λy+h 且边界条件为 (K(λ)−I)Γ_{[1]}f + i(K(λ)+I)Γ_{[2]}f=0 的解给出；下半平面情形类似。
• 在系数逼近序列 Q_n→Q 属于 L¹ 的适当条件下，预解逼近是一致收敛的。
• 通过拟导数的正则化确保了算子理论在系数 Q 的扰动下保持稳定，同时保持边界三元组的结构。