[论文解读] Asymptotic formulas for fundamental system of solutions of high order ordinary differential equations with coefficients -- distributions

А. М. Савчук, Андрей Андреевич Шкаликов|arXiv (Cornell University)|Apr 10, 2017

Differential Equations and Boundary Problems参考文献 16被引用 3

一句话总结

本论文通过将参数依赖势的首阶系统变换，为具有分布系数的高阶常微分方程的基本解系建立了渐近公式。关键贡献在于在系数的可积性与光滑性条件下，推导出当谱参数 λ → ∞ 时解的精确渐近行为，将经典结果推广至算子结构中分布系数的情形。

ABSTRACT

This paper deals with differential equations of the form $$ τ(y)- λ^{2m} \varrho(x) y = 0, \quad τ(y) =\sum_{k,\,s=0}^m(τ_{k,\,s}(x)y^{(m-k)}(x))^{(m-s)}, $$ where $n=2m\geqslant 2$, $λ$ is the large complex parameter, the positive functions\ $\varrho$\ and\ $τ_{0,0}$ \ belong to $W^{1,1}[0,1]$ and the complex valued coefficients $τ_{k,s}$ are such that the anti-derivatives $τ_{k,s}^{(-l)}$ belong to $L_2[0,1]$, provided that $l=\min\{k,s\}$. Here the anti-derivatives are understood in the sense of distributions. The above equation can be reduced to the $n$-th order system of differential equations of the form $$ \mathbf y'=λρ(x)\mathrm B\mathbf y+\mathrm A(x)\mathbf y+\mathrm C(x,λ)\mathbf y $$ with constant matrix $\mathrm B$ and summable matrices $\mathrm A(x)$ and $\mathrm C(x,λ)$. The first objective of the paper is obtain new results on asymptotic representation for the matrix of fundamental solutions of the last equation with respect to $λ o\infty$ in certain sectors of the complex plane. The second objective is to apply the obtained results for analyzing the asymptotic representation of fundamental solutions of the first scalar equation with distribution coefficients.

研究动机与目标

• 推导系数属于分布空间的高阶常微分方程基本解的渐近公式。
• 将经典微分方程渐近分析推广至系数为分布的情形，尤其在Sturm-Liouville与拟微分算子的背景下。
• 在系数的正则性假设最小化的条件下，分析解在谱参数 λ → ∞ 时的行为。
• 建立基本解系在复λ平面上角域内具有统一渐近展开的条件。
• 将正则系数情形下的结果推广至奇异（分布）系数情形，同时保持关键的谱与渐近性质。

提出的方法

• 将2m阶方程转化为形式为 y′ = λV(x)y + A(x)y + C(x,λ)y 的首阶系统，x ∈ [0,1]，其中 V(x) = ρ(x)B，B为对角矩阵，ρ ∈ L₁[0,1]。
• 通过变量替换 u(x) = W(x)y(x) 将系统简化为具有对角主部的形式，从而通过常数变易法与积分表示实现渐近分析。
• 应用谱理论与振荡积分的技术，特别是估计 ∫₀ˣ e^{i r t} a(t) dt 在 r → ∞ 时的渐近行为，以控制解的行为。
• 对系数及其导数使用 L₁ 与 L₂ 估计，包括 τ₀⁻¹/² ∈ L₂ 与 τₖ,ₛ⁽⁻ˡ⁾ ∈ L₂（其中 l = min{k,s}）等条件，以确保解的存在性与渐近控制。
• 利用常数变易公式推导基本解矩阵 Y(x,λ) 的积分表示，并通过迹与对数导数的论证分析其行列式与可逆性。
• 通过分析对角矩阵 B 的特征值所关联的解的指数增长/衰减行为，建立在 arg(λ) ∈ (α, β) 角域内的渐近行为。

实验结果

研究问题

• RQ1 当系数为分布时，高阶ODE的基本解在谱参数 λ → ∞ 时的渐近行为如何？
• RQ2 何种系数条件可确保基本解矩阵在复平面上角域内存在且具有统一渐近展开？
• RQ3 经典渐近公式在正则系数情形下的结果，可在多大程度上推广至拟微分算子中分布系数的情形？
• RQ4 势矩阵 V(x) = ρ(x)B 的结构如何影响解的渐近行为，特别是指数因子 exp(λ b_j p(x)) 的作用？
• RQ5 系数及其导数在 L₁ 与 L₂ 中的可积性条件在确保渐近公式有效性方面起何种作用？

主要发现

• 基本解矩阵 Y(x,λ) 在 |λ| > λ₀ 且 x ∈ [0,1] 时存在且可逆，且 det Y(x,λ) ≠ 0，从而保证了基本解系的正确定义。
• 当 λ → ∞ 时，解矩阵 Y(x,λ) 具有形如 exp(λB p(x)) 乘以低阶修正项的渐近展开，其中 p(x) = ∫₀ˣ ρ(t) dt，B 为对角矩阵。
• 渐近展开中的误差项在 |λ| → ∞ 时于 L₁ 范数下为 o(1)，在更强条件下可达到 O(|λ|⁻¹)，从而提高了收敛速度。
• 渐近行为在 x ∈ [0,1] 与角域 arg(λ) ∈ (α + ε, β − ε)（任意 ε > 0）内具有一致性，将先前结果推广至分布系数情形。
• 条件 τ₀⁻¹/² ∈ L₂ 与 τₖ,ₛ⁽⁻ˡ⁾ ∈ L₂（其中 l = min{k,s}）足以确保基本解系的存在性与渐近控制。
• 结果将经典 Birkhoff 与 Tamarkin 型渐近性推广至具有分布系数的方程，包括 −y′′ + qy = λ²ϱy（其中 q ∈ W⁻¹₂[0,1]）等情形，并可进一步推广至具有奇异势的拟微分算子。