Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Имеются многочисленные работы (см. [16]), посвященные обращению теорем Ляпунова, т. е. выяснению необходимости условий этих теорем. Мы изложим здесь один старый результат в этой области, принадлежащий К. П. Персидскому (см. [43]). где допускает тривиальное решение $\boldsymbol{\xi}=\mathbf{0}$, устойчивое по Ляпунову nри $t \rightarrow+\infty$. Тогда для системь (а) в области существует функция Ляпунова $V(t, \boldsymbol{x}) \in C_{t x}^{1,1,1} \quad$ 1-го рода, т. е. удовлетворяющая условиям первой теоремь Ляпунова об устойчивости. где $\boldsymbol{Y}(t, \boldsymbol{y})=\boldsymbol{X}(t, \boldsymbol{y}) \varphi(\boldsymbol{y})$, причем $\varphi(\boldsymbol{y}) \in C^{1}\left(\mathscr{R}_{\boldsymbol{y}}^{n}\right)$ – скалярная функция, удовлетворяющая условиям: Пусть $\boldsymbol{x}\left(t ; t_{0}, \boldsymbol{x}_{0}\right)$ и $\boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{0}\right)$ – решения, соответственно, систем (a) и (b), определяемые начальными условиями: $\boldsymbol{x}\left(t_{0} ; t_{0}, \boldsymbol{x}_{0}\right)=\boldsymbol{x}_{0}$ и $\boldsymbol{y}\left(t_{0} ; t_{0}, y_{0}\right)=\boldsymbol{y}_{0}$. Из условий (4.9.1) вытекает, что решения $y\left(t ; t_{0}, \boldsymbol{y}_{0}\right)$ можно считать определенными на полуоси $t_{0} \leqslant t \leqslant \infty$ и обладающими свойством единственности. где норма вектора $\boldsymbol{y}=\left(y_{1}, \ldots, y_{i}\right)$ понимается в смысле евклидовой нормы: Пусть $t \geqslant t_{0}$ и $\|\boldsymbol{x}\|<h$. Тогда на основании условия (4.9.1) правые части систем (a) и (b) совпадают и, следовательно, для полных производных функции $V(t, \boldsymbol{x})$ в силу систем (a) и (b) имеем где $\boldsymbol{y}_{\tau}=\boldsymbol{y}(\tau ; t, \boldsymbol{x})$. Но точка $\boldsymbol{y}\left(t_{0} ; \tau, \boldsymbol{y}_{\tau}\right)$ лежит на траектории $\Gamma$, проходящей через точку $(t, \boldsymbol{x}$ ), и вследствие теоремы единственности точка ее выхода на гиперплоскость $t=t_{0}$ совпадает со следом $\boldsymbol{y}\left(t_{0} ; t, \boldsymbol{x}\right)$ траектории $\Gamma$ (рис. 35), т. е. при $t_{0} \leqslant \tau<\infty$. при $\boldsymbol{x} Покажем, что функция $V(t, \boldsymbol{x})$ – положительно определенная в области $t_{0} \leqslant t<\infty,\|\boldsymbol{x}\|<h$. Так как тривиальное решение $\xi=0$ как системы (a), так и системы (b) устойчиво по Ляпунову, то существует $\delta>0(\delta<\varepsilon \leqslant h)$ такое, что при $t_{0} \leqslant t<\infty$ имеем если только $\left\|\boldsymbol{x}_{0}\right\|<\delta$. Тогда, єсли $0<\varepsilon \leqslant\left\|\boldsymbol{x}_{0}\right\|<h$, то Действительно, если бы Отсюда, полагая $t=\bar{t}$, мы бы имели что противоречит выбору $\boldsymbol{x}_{0}$ (рис. 36). Из формулы (4.9.2) получаем Полагая $\varepsilon=\frac{h}{2}, \ldots, \frac{h}{n+1}, \ldots$, получим последовательность положительных чисел $r_{i 1}>\eta_{2}>\ldots>\eta_{n}>0$ таких, что положительно определенная функция $W(\boldsymbol{x})$, удовлетворяющая неравенству Например, можно положить Следовательно, функция $V(t, \boldsymbol{x})$ – положительно определенная. На основании известной теоремы о гладкости решения $\boldsymbol{y}\left(t ; t_{0}, \boldsymbol{y}_{0}\right)$ по начальным данным $t_{0}, \boldsymbol{y}_{0}$ (см. [91) функция $V(t, \boldsymbol{x}$ ) непрерывна іо совокупности переменных $t \boldsymbol{x}$ и имеет непрерывные частные производные $\frac{\partial V}{\partial t}$ и $\frac{\partial V}{\partial x_{j}}(j=1, \ldots, n)$, причем при $t \in\left[t_{0}, \infty\right)$ и $\|\boldsymbol{x}\|<h$.
|
1 |
Оглавление
|