Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Рассмотрим действительную нелинейную систему где $\boldsymbol{f}(t, \boldsymbol{y}) \in C\left(I_{t} \times \mathscr{\mathscr { R }}_{\boldsymbol{y}}^{n}\right)$, причем обеспечено свойство единственности решений $y\left(t ; t_{10}, y_{0}\right)$. Определение 1. Следуя Левинсону (см. [50]), систему (4.17.1) будем называть $D$-системой или диссипативной, если все решения ее $\boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{11}\right)$ бесконечно продолжаемы вправо и существует число $R>0$ такое, что Иными словами, для каждого решения $\boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{0}\right)$ существует момент $t_{1}=t_{0}+T\left(t_{0}, y_{0}\right) \geqslant t_{0}$, после которого оно навсегда погружается в фиксированную сферу $\|\boldsymbol{y}\|<R$, т. е. Заметим, что если система обладает свойством конвергенции (§16), то она диссипативна. Здесь за сферу $\|\boldsymbol{y}\|<R$ можно принять любую сферу, содержащую единственное ограниченное решение $\boldsymbol{\eta}(t)$. Решения диссипативной системы иногда называются предельно (финально) ограниченными (см. [41]). где $Z=\left\{t \in I_{t} \times \boldsymbol{y} \in D_{y}\right\}$. Говорят, что $V(t, \boldsymbol{y})$ обладает свойством $B$ в области $Z$, если существует непрерывная неубоывающая функция $b(r)^{\prime}(r \geqslant 0)$ такая, что причем $b(r) \rightarrow+\infty$ при $r \rightarrow \infty$. где $\dot{V}(t, y)$-полная производная по $t$ функции $V(t, y)$ в силу системы (4.17.1), Теорема Йосидзавы (см. [41]). Пусть во внешности некоторого цилиндра Доказательство. Из условия $B$ вытекает, что при $\boldsymbol{y} \geq p_{1}$, где $p_{1} \geqslant p$ достаточно велико, функция $V(t, \boldsymbol{y})$ является положительной. Так как по смыслу теоремы вместо числа $p$, очевидно, можно взять число $\rho_{1}$, то в дальнейшем мы будем предполагать функцию $V(t, y)$ положительной в $Z^{c}$. Рассмотрим решения $\boldsymbol{y}(t) \equiv \boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{0}\right)$ с начальными условиями $t \in I_{t}$ и $\left\|\boldsymbol{y}\left(t_{0}\right)\right\| \leqslant p$. Покажем, что эти решения равномерно ограничены в совокупности. Действительно, промежуток существования $\left[t_{0}, T\right)$ решения $y(t)$ можно разбить на два множества: где $T_{i}(i=1,2)$ – совокупность всех моментов из $\left[t_{0}, T\right)$, для которых решение $\boldsymbol{y}(t)$, соответственно, принадлежит области $\|\boldsymbol{y}\| \leqslant p$ при $i=1$ и области $\|\boldsymbol{y}\| p$ при $i=2$. Если $t \in T_{1}$, то, очевидно, имеем Если множество $T_{2}$ пусто, то тем самым наше утверждение доказано. Пусть $T_{2}$ не пусто. Тогда, так как область $\|\boldsymbol{y}\| p$ есть открытое множество, то в силу свойства интегральной непрерывности (гл. II, §1) $T_{2}$ является также открытым множеством и, следовательно (см. [51]), представляет собой конечную или счетную сумму интервалов где $\left\|\boldsymbol{y}\left(t_{a}\right)\right\|=p,\left\|\boldsymbol{y}\left(t_{\rho}\right)\right\|=\rho$ и $\beta=\beta(\alpha)$. Отсюда, если $t \in T_{2}$, то $t \in\left(t_{\alpha}, t_{p}\right)$ для некоторого $\alpha$ (рис. 46) и, учитывая монотонное убывание функции $V(t, y(t))$ при возрастании $t$, а также свойства $B$ и $A$, будем иметь Так как $b(r) \rightarrow \infty$ при $r \rightarrow \infty$, то существует $R \geqslant p>0$ такое, что В таком случае на основании неравенства (4.17.7) получаем Из неравенств (4.17.6) и (4.17.8) вытекает, что Отсюда следует, что решение $\boldsymbol{y}(t)=\boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{0}\right)$ бесконечно продолжаемо вправо, т. е. $T=\infty$, причем для всех $t_{0} \in I_{t}$ и $\left\|\boldsymbol{y}_{0}\right\| \leqslant p$ имеет место неравенство (4.17.9), где $R$ зависит только от $p$. Прежде всего, заметим, что єсли для некоторого момента времени $t_{1}>t_{0}$ будет выполнено неравенство то в силу свойства единственности имеем Отсюда на основании неравенства (4.17.9) получаем Поэтому достаточно предположить, что $\|\boldsymbol{y}(t)\|>\rho$ при $t \geqslant t_{0}$. Но тогда в силу свойств $A, B$ и $C$ имеем где $R_{1}$ достаточно велико. Отсюда получаем где $R_{1}$ зависит только от $\boldsymbol{y}_{0}$, т. е. любое решение $\boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{0}\right)$ ограничено на $\left[t_{0}, \infty\right)$, равномерно относительно начального момента $t_{0}$ и, следовательно, бесконечно продолжаемо вправо. Покажем, что для некоторого момента $t_{1}>t_{0}$ будет справедливо равенство Действительно, пусть Положим Тогда, учитывая неравенство (4.17.12), в силу свойства $C$ будем иметь Следовательно, Из неравенства (4.17.13) вытекает, что при достаточно большом $t$ функция $V(t, \boldsymbol{y}(t))$ становится отрицательной, причем $(t, \boldsymbol{y}(t)) \in S_{\rho}^{c}$, что противоречит предположению. Таким образом, решение $\boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{0}\right)$ не может для всех $t \geqslant t_{0}$ удовлетворять неравенству (4.17.12) и, следовательно, при некотором $t_{1}>t_{0}$ выполнено равенство (4.17.11). Отсюда на основании приведенных выше рассуждений вытекает наличие неравенства (4.17.10). Итак, система (4.17.1) диссипативна. из неравенства (4.17.13) выводим В силу свойства $A$ имеем Кроме того, на основании свойства $B$ получаем Поэтому где Так как число $T\left(\boldsymbol{y}_{0}\right)$ не зависит от начального момента $t_{0}$, то диссипативность системы (4.17.1) равномерна по $t_{0}$. В этом случае производную $\dot{V}(t, y)$ в силу системы (4.16.1) можно определить формулой Легко проверить, что $\dot{V}\left(t_{0}, y_{0}\right)$ представляет собой верхнюю правую производную по $t$ функции $V\left(t, \boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{0}\right)\right.$ ) в точке $t=t_{0}$.
|
1 |
Оглавление
|