在數學領域中, 時滯微分方程, 或延時微分方程 (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)
及初始條件
. 那麼在區間
上的解
就是以下非齊次初值問題的解
,
且
. 這樣就可以利用前面區間的解作為非齊次項一步步求得整個區間上的解. 在實際的計算中, 初值問題通常採用數值計算.
假設
且
. 那麼初值問題可由積分求得,
,
即,
, 其中我們取
以滿足初值條件
. 類似的對於區間
我們積分並且使其滿足初始條件可以求得
其中
.
簡化為常微分方程(ODE)[編輯]
在某些情況下, 時滯微分方程等價於一個常微分方程組 (由常微分方程組成的系統).
![{\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
參考文獻[編輯]
外部連結[編輯]