Дискретные системы с запаздыванием: различия между версиями

Материал из sawiki
Перейти к навигации Перейти к поиску
Строка 41: Строка 41:
 
== Устойчивость неподвижных точек ==
 
== Устойчивость неподвижных точек ==
  
Рассмотрим уравнение $$v_{t+ 1} = f(v^{t}_{1}, v^{t}_{2},..., v^{t}_{T+1})$$. Для исследования [https://sawiki.cs.msu.ru/index.php?title=%D0%9D%D0%B5%D0%BF%D0%BE%D0%B4%D0%B2%D0%B8%D0%B6%D0%BD%D1%8B%D0%B5_%D1%82%D0%BE%D1%87%D0%BA%D0%B8_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D1%8B неподвижных точек] удобно воспользоваться линеаризацией и рассмотреть матрицу
+
Рассмотрим уравнение $$v^{t+ 1} = f(v^{t}_{1}, v^{t}_{2},..., v^{t}_{T+1})$$. Для исследования [https://sawiki.cs.msu.ru/index.php?title=%D0%9D%D0%B5%D0%BF%D0%BE%D0%B4%D0%B2%D0%B8%D0%B6%D0%BD%D1%8B%D0%B5_%D1%82%D0%BE%D1%87%D0%BA%D0%B8_%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BC%D1%8B неподвижных точек] удобно воспользоваться линеаризацией и рассмотреть матрицу
  
 
\begin{equation*}
 
\begin{equation*}
 
A = \Vert a_{ij} \Vert_{(T+1)\times (T+1)} = \left(
 
A = \Vert a_{ij} \Vert_{(T+1)\times (T+1)} = \left(
 
\begin{array}{ccccc}
 
\begin{array}{ccccc}
\dfrac{\partial f}{\partial v^{1}} & \dfrac{\partial f}{\partial v^{2}} & \ldots & \dfrac{\partial f}{\partial v^{T}} & \dfrac{\partial f}{\partial v^{T+1}}\\
+
\dfrac{\partial f}{\partial v_{1}} & \dfrac{\partial f}{\partial v_{2}} & \ldots & \dfrac{\partial f}{\partial v_{T}} & \dfrac{\partial f}{\partial v_{T+1}}\\
 
1 & 0 & \ldots & 0 & 0\\
 
1 & 0 & \ldots & 0 & 0\\
 
0 & 1 & \ldots & 0 & 0\\
 
0 & 1 & \ldots & 0 & 0\\

Версия 09:00, 13 октября 2023

Модель с запаздыванием

Динамической моделью с дискретным временем с учетом эффекта запаздывания называется модель следующего вида:

\begin{equation*} u_{t+1} = f(u_{t}, u_{t-1}, ..., u_{t - T}), F: \mathbb{R}^{(T+1)} \rightarrow \mathbb{R}, T \in \mathbb{N}, T \geqslant 1. \end{equation*}


Для определения системы необходимо ввести $$(T + 1)$$ исходных данных: $$u_{0}, u_{1}, ..., u_{T}$$.


Преобразование модели

Модель с запаздыванием можно переписать в виде дискретной системы из $$(T + 1)$$-ого уравнения. Для этого введем следующие обозначения: \begin{equation*} v_{1}(t) = u(t), v_{2}(t) = u(t-1), ..., v_{T + 1}(t) = u(t-T). \end{equation*}

Тогда получаем:

\begin{equation*} \begin{cases} v_{1}(t + 1) = f(v_{1}(t), v_{2}(t),..., v_{T+1}(t)),\\ v_{2}(t+1) = v_{1}(t),\\ ...\\ v_{T+1}(t+1) = v_{T}(t). \end{cases} \end{equation*}

Таким образом, системы с запаздыванием являются частным случаем многомерных дискретных систем.

Неподвижная точка системы с запаздыванием

Неподвижной точкой системы с запаздыванием называются решения системы \begin{equation*} v^{*} = f(v^{*}, ..., v^{*}), v^{*} \in \mathbb{R} \end{equation*}

Устойчивость неподвижных точек

Рассмотрим уравнение $$v^{t+ 1} = f(v^{t}_{1}, v^{t}_{2},..., v^{t}_{T+1})$$. Для исследования неподвижных точек удобно воспользоваться линеаризацией и рассмотреть матрицу

\begin{equation*} A = \Vert a_{ij} \Vert_{(T+1)\times (T+1)} = \left( \begin{array}{ccccc} \dfrac{\partial f}{\partial v_{1}} & \dfrac{\partial f}{\partial v_{2}} & \ldots & \dfrac{\partial f}{\partial v_{T}} & \dfrac{\partial f}{\partial v_{T+1}}\\ 1 & 0 & \ldots & 0 & 0\\ 0 & 1 & \ldots & 0 & 0\\ \vdots & \vdots & \ddots & \vdots & \vdots\\ 0 & 0 & \ldots & 1 & 0\\ \end{array} \right) \end{equation*}

Теорема 1. Характеристический многочлен матрицы $$А$$ имеет вид $$\sum\limits_{i = 0}^{t} a_{1(i+1)} \lambda^{T-i} - \lambda^{T+1} = 0.$$

Доказательство. $$\\$$ Докажем по индукции. База индукции:

\begin{equation*} A = \left( \begin{array}{cc} a_{11} & a_{12}\\ 1 & 0\\ \end{array} \right) \end{equation*}

\begin{equation*} \left| A - \lambda E \right| = \lambda^{2} - a_{11} \lambda -a_{12} = 0 \Leftrightarrow a_{11} \lambda^{1} + a_{12} \lambda^{0} - \lambda^{2} = 0. \end{equation*}

Сделаем переход от $$n$$ к $$(n+1)$$:

\begin{equation*} \vert A - \lambda E \vert = \left| \begin{array}{ccccc} a_{11} - \lambda & a_{12} & \ldots & a_{1n} & a_{1(n+1)}\\ 1 & -\lambda & \ldots & 0 & 0\\ 0 & 1 & \ldots & 0 & 0\\ \vdots & \vdots & \ddots & \vdots & \vdots\\ 0 & 0 & \ldots & 1 & -\lambda\\ \end{array} \right| \end{equation*}

Раскладывая матрицу по последнему столбцу: \begin{equation*} \vert A - \lambda E \vert = -\lambda \vert A_{n} - \lambda E \vert + a_{1(n+1)}\cdot 1\cdot = \sum\limits_{i = 0}^{t} a_{1(i+1)} \lambda^{T-i} - \lambda^{T+1}. \end{equation*}

$$\blacksquare$$

Следствие 1. Собственные значения матрицы $$A$$ являются корнями характеристического многочлена. Если все $$\vert \lambda_{i} \vert < 1$$, то точка является асимптотически устойчивой.

Примеры биологических моделей

Обобщенная система Рикера

\begin{equation*} u_{t+1} = u_{t} e^{r(1 - u_{t-1})}, r > 0. \end{equation*}

Данное уравнение можно переписать в следующем виде:

\begin{equation*} \begin{cases} v_{1}(t+1) = v_{1}(t) e^{r(1 - v_{2}(t))},\\ v_{2}(t+1) = v_{1}(t). \end{cases} \end{equation*}

Неподвижные точки системы определяются из уравнения: \begin{equation*} v^{*} = v^{*} e^{r(1 - v^{*})}. \end{equation*}

Решением данной системы являются точки $$v_{1}^{*} = (0,0), v_{2}^{*} = (1,1).\\$$

Найдем матрицу $$A$$ для данной модели:

\begin{equation*} A = \left( \begin{array}{cc} e^{r(1 - v_{2})} & -rv_{1}v_{2} e^{r(1 - v_{2})}\\ 1 & 0\\ \end{array} \right) \end{equation*}

Подставим $$v_{1}^{*}$$:

\begin{equation*} A = \left( \begin{array}{cc} e^{r} & 0\\ 1 & 0\\ \end{array} \right) \end{equation*}

Характеристический многочлен данной матрицы равен $$\lambda(e^{r} - \lambda) = 0 \leftrightarrow \lambda_{1} = 0, \lambda_{2} = e^{r}.$$ Так как $$\lambda_{2} \geq 1$$, то точка является неустойчивой.

Аналогично исследуем точку $$v_{2}^{*}$$:

\begin{equation*} A = \left( \begin{array}{cc} 1 & -r\\ 1 & 0\\ \end{array} \right) \end{equation*}

Характеристический многочлен данной матрицы равен $$-\lambda(1 - \lambda) + r = 0 \leftrightarrow \lambda^{2} - \lambda + r = 0$$. Решением уравнения являются точки:

\begin{equation*} \lambda_{1,2} = \dfrac{\pm \sqrt{1-4r} + 1}{2}, r \leq \dfrac{1}{4},\\ \lambda_{1,2} = \sqrt{r} e^{\pm i \arctan{\sqrt{4r-1}}}, r > \dfrac{1}{4}. \end{equation*}

При $$0< r < \dfrac{1}{4}$$ корни характеристического многочлена вещественны и по модулю меньше $$1$$. Следовательно, точка является устойчивой. Если $$r \geq \dfrac{1}{4}$$, то корни характеристического многочлена являются комплексно сопряженными числами, причем $$\vert \lambda_{1} \vert \cdot \vert \lambda_{1} \vert = r$$. Тогда при $$\dfrac{1}{4} < r < 1$$ точка устойчива, так как $$\vert \lambda_{1} \vert < 1, \vert \lambda_{2} \vert < 1.$$ При $$r > 1$$ точка является неустойчивой.

Список литературы

1. Братусь А. С., Новожилов А. С., Платонов А. П. Динамические системы и модели биологии. М.: ФИЗМАТЛИТ, 2010.

2. Абрамова В.В. "Лекции по динамическим системам и биоматематике", 2023.