在数学领域中, 时滞微分方程, 或延时微分方程 (DDE) 是一类微分方程, 其中未知函数的在确定时刻的导数由先前时刻函数所决定.
对于
, 时滞微分方程方程的一般形式是:
![{\displaystyle {\frac {d}{dt}}x(t)=f(t,x(t),x_{t}),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/410a96a0a2b9d60e91a569067f1f463b1c9cd6a9)
其中
表示过去时间的解轨道. 在这个方程中,
是一个从
到
的泛函算子.
![{\displaystyle {\frac {d}{dt}}x(t)=f\left(t,x(t),\int _{-\infty }^{0}x(t+\tau )d\mu (\tau )\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e3fdddb320b657095031a59953094d35ffa8043)
for
.
![{\displaystyle {\frac {d}{dt}}x(t)=A_{0}x(t)+A_{1}x(t-\tau _{1})+\ldots +A_{m}x(t-\tau _{m})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/423aae1901b6949d4a47b188c3182374c6ee6fab)
- 其中
.
![{\displaystyle {\frac {d}{dt}}x(t)=ax(t)+bx(\lambda t),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dcdfdd8af5a5ef8d79bb215c7c56e4113d9a10a4)
- 其中 a, b 且 λ 为常数 0 < λ < 1. 这一方程及其广义形式以电车上的集电弓命名.
时滞微分方程通常用分步的方法求解. 例如考虑如下具有单一时滞的时滞微分方程
![{\displaystyle {\frac {d}{dt}}x_{t}=f(x(t),x(t-\tau ))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f8336820fc6afc0b31b41bca4f8125c17458205)
及初始条件
. 那么在区间
上的解
就是以下非齐次初值问题的解
,
且
. 这样就可以利用前面区间的解作为非齐次项一步步求得整个区间上的解. 在实际的计算中, 初值问题通常采用数值计算.
假设
且
. 那么初值问题可由积分求得,
,
即,
, 其中我们取
以满足初值条件
. 类似的对于区间
我们积分并且使其满足初始条件可以求得
其中
.
在某些情况下, 时滞微分方程等价于一个常微分方程组 (由常微分方程组成的系统).
![{\displaystyle {\frac {d}{dt}}x(t)=f\left(t,x(t),\int _{-\infty }^{0}x(t+\tau )e^{\lambda \tau }d\tau \right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4390b3d5087de18d278e7fe0201ac4a3c66d2324)
- 引入函数
, 可得到一个常微分方程组
![{\displaystyle {\frac {d}{dt}}x(t)=f(t,x,y),\quad {\frac {d}{dt}}y(t)=x-\lambda y.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/574ebd8f75c2a109a07455fc3ddacad79dd20922)
![{\displaystyle {\frac {d}{dt}}x(t)=f\left(t,x(t),\int _{-\infty }^{0}x(t+\tau )\cos(\alpha \tau +\beta )d\tau \right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/361253edc4fdf2029f435fec3de3c41414c48253)
- 等价于
![{\displaystyle {\frac {d}{dt}}x(t)=f(t,x,y),\quad {\frac {d}{dt}}y(t)=\cos(\beta )x+\alpha z,\quad {\frac {d}{dt}}z(t)=\sin(\beta )x-\alpha y,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3caafe0fad8e1579c7c6688d61e78c3ec04f63d6)
- 其中
![{\displaystyle y=\int _{-\infty }^{0}x(t+\tau )\cos(\alpha \tau +\beta )d\tau ,\quad z=\int _{-\infty }^{0}x(t+\tau )\sin(\alpha \tau +\beta )d\tau .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4dcff6a53146a3e835f8df991b89a856babe0ef)
同常微分方程(ODE)类似, 可以通过分析线性时滞微分方程的特征方程[1]来分析和研究解的性质.
具有离散时滞的线性时滞微分方程
![{\displaystyle {\frac {d}{dt}}x(t)=A_{0}x(t)+A_{1}x(t-\tau _{1})+\ldots +A_{m}x(t-\tau _{m})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/423aae1901b6949d4a47b188c3182374c6ee6fab)
的特征方程是
.
特征方程的根 λ 被称为特征根或特征值, 解集通常被称为谱. 与常微分方程不同, 时滞微分方程的特征方程含有指数, 具有无限个特征值, 使得谱分析变得很困难, 但是谱对于 DDE 的分析仍然具有一些很好的性质. 例如, 虽然具有无限个特征值, 但是只有有限个特征值位于复平面的右侧.
特征方程是一个非线性特征问题, 有许多计算谱的数值方法[2]. 少数的特殊情况可以显式地求解特征方程. 例如, 时滞微分方程
![{\displaystyle {\frac {d}{dt}}x(t)=-x(t-1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23546b68758aaa9a9d7873c6646548396155079d)
的特征方程是
![{\displaystyle -\lambda -e^{-\lambda }=0.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70f766bc3eaadd09a0cfcdab69e24d708d09516c)
这个方程对于变量 λ 有无穷多个复数解. 复解可表示为
,
其中
是朗伯W函数的第 K 个分支.
- ^ Michiels, Niculescu, 2007 Chapter 1
- ^ Jarlebring 2008 Chapter 2