[论文解读] Volterra Equations of the First kind with Discontinuous Kernels in the Theory of Evolving Systems Control

Denis Sidorov|arXiv (Cornell University)|Nov 25, 2011

Differential Equations and Boundary Problems参考文献 8被引用 13

一句话总结

本文提出了一种构造性方法，用于求解在演化系统控制中常见的具有不连续分段光滑核的第二类Volterra积分方程。建立了存在性定理，并提出了通过逐次逼近法确定系数的对数幂渐近展开式，该展开式在 [0, T] 上一致收敛，从而在奇异情形下可构造含任意常数的解族。

ABSTRACT

The Volterra integral equations of the first kind with piecewise smooth kernel are considered. Such equations appear in the theory of optimal control of the evolving systems. The existence theorems are proved. The method for constructing approximations of parametric families of solutions of such equations is suggested. The parametric family of solutions is constructed in terms of a logarithmic-power asymptotics.

研究动机与目标

• 解决在演化系统控制中，具有不连续核的第二类Volterra积分方程缺乏系统求解方法的问题。
• 在核的光滑性与结构满足一定条件时，建立连续解的存在性定理。
• 提出一种基于对数幂渐近展开与逐次逼近法的构造性算法，用于近似求解。
• 刻画解的结构，包括在奇异情形下任意常数的出现。
• 为通过逐次迭代对余项进行数值逼近提供一致收敛框架。

提出的方法

• 将解表示为对数幂渐近展开式：$ x(t) = ∑_{i=0}^{N} x_i(\ln t) t^i + t^N u(t) $，其中 $ x_i(\ln t) $ 是 $ \ln t $ 的多项式。
• 定义核 $ K(t,s) $ 为分段光滑函数，其不连续性沿曲线 $ s = \alpha_i(t) $ 出现，且满足 $ \alpha_i'(t) < 1 $。
• 引入条件A，以确保由Volterra方程导出的齐次积分-函数方程存在有界逆算子。
• 采用修改后的范数 $ ||u|| = \max_{t \in [0,T]} e^{-lt} |u(t)| $，证明逐次逼近算子 $ A $ 的压缩性，从而保证一致收敛。
• 利用差分方程与特征方程确定系数 $ x_i(\ln t) $ 的结构，其中根 $ \lambda = 1 $ 的重数决定了任意常数的个数。
• 通过从 $ u_0(t) = 0 $ 开始的逐次逼近，构造余项函数 $ u(t) $，其收敛性在条件A下得到保证。

实验结果

研究问题

• RQ1 在何种条件下，具有不连续核的第二类Volterra积分方程在 $ (0, T] $ 上存在连续解？
• RQ2 当解在 $ t = 0 $ 附近表现出对数奇异性时，如何系统地构造解的参数族？
• RQ3 关联差分方程的特征方程中根 $ \lambda = 1 $ 的重数在决定解中任意常数个数方面起什么作用？
• RQ4 余项 $ u(t) $ 是否能通过一致收敛的迭代方案构造？
• RQ5 核 $ K(t,s) $ 的结构，特别是其沿 $ s = \alpha_i(t) $ 的不连续性，如何影响解的可解性与正则性？

主要发现

• 在条件A下，具有不连续核的第二类Volterra方程的解存在，且可表示为 $ x(t) = \sum_{i=0}^{N} x_i(\ln t) t^i + t^N u(t) $，其中 $ x_i(\ln t) $ 是 $ \ln t $ 的多项式。
• 解中任意常数的个数为 $ p = r_1 + \cdots + r_k $，其中 $ r_j $ 是第 $ j $ 个核段对应的特征方程中根 $ \lambda = 1 $ 的重数。
• 对 $ u(t) $ 的逐次逼近方案在 $ [0, T] $ 上一致收敛，其收敛性由指数加权范数下的压缩性保证。
• 当 $ L(0) = 0 $ 时，首项 $ x_0(\ln t) $ 包含 $ \ln t $ 项，意味着 $ \lim_{t \to 0^+} x(t) = \infty $，表明存在对数奇异性。
• 该方法可推广至核沿满足 $ \alpha_i'(t) < 1 $ 的曲线 $ \alpha_i(t) $ 存在不连续性的情形，且在较弱光滑性假设下解的结构依然成立。
• 该方法即使在解在 $ t = 0 $ 附近无界时，仍能构造连续解，通过渐近展开式准确捕捉对数奇异性。