2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 неустойчивое равновесие
Сообщение24.10.2017, 13:47 
Аватара пользователя


31/08/17
716
Рассмотрим динамическую систему $\dot x=v(x)$, где $v$ -- гладкое векторное поле в окрестности нуля пространства $\mathbb{R}^m,\quad v(0)=0,\quad \mathrm{div}\,v=0$.
Известно, что существует решение $x(t),\quad x(0)\ne 0$ такое, что $x(t)\to 0$ при $t\to\infty$.
Задача: доказать, что нулевое равновесие неустойчиво по Ляпунову.
По-видимому, наблюдение принадлежит В. Козлову.

 Профиль  
                  
 
 Re: неустойчивое равновесие
Сообщение25.10.2017, 10:40 
Заслуженный участник


17/09/10
1703
Напомнило тему topic57009.html.
Что касается заданного вопроса, то если предположить, что точка равновесия устойчива, то в силу $\operatorname{div}{v}=0$, она двусторонне устойчива, и это вступает в противоречие с выходящей из неё траекторией поля $-v(x)$.
P.S. Думаю, это наблюдение делают для себя многие, кто занимается или занимался устойчивостью.

 Профиль  
                  
 
 Re: неустойчивое равновесие
Сообщение25.10.2017, 22:34 
Аватара пользователя


31/08/17
716
scwec в сообщении #1258826 писал(а):
точка равновесия устойчива, то в силу $\operatorname{div}{v}=0$, она двусторонне устойчива,


а ссылочкой снабдите?

 Профиль  
                  
 
 Re: неустойчивое равновесие
Сообщение26.10.2017, 12:40 
Заслуженный участник


17/09/10
1703
Положение здесь такое. После просмотра моих старых записей, ссылок на печатные издания не найдено,
но есть слабо различимые следы доказательства для бездивергентных полей утверждения:
из устойчивости -> двусторонняя устойчивость изолированного положения равновесия.
Другим путём исходную задачу решить можно, видимо, доказав неустойчивость решения $x(t)$, используя сохранения объема.
Отсюда будет следовать неустойчивость точки равновесия.

 Профиль  
                  
 
 Re: неустойчивое равновесие
Сообщение26.10.2017, 15:33 
Аватара пользователя


31/08/17
716
Спасибо, про положение здесь я в курсе более-менее. Вот думал только, что вы удивите какой-нибудь ссылкой на стандартную классику. А так ну что одно утверждение заменили другим фольклерным утверждением, которое тоже надо доказывать. Короче говоря, задача остается

 Профиль  
                  
 
 Re: неустойчивое равновесие
Сообщение27.10.2017, 19:25 
Заслуженный участник


22/11/10
1145
scwec в сообщении #1259215 писал(а):
Другим путём исходную задачу решить можно, видимо, доказав неустойчивость решения $x(t)$, используя сохранения объема.

Мне кажется, что достаточно просто сохранения объема. Неустойчивость не обязательно доказывать.
Обозначим $x(0) = x_0 \neq 0$.
От противного. Пусть нулевая точка устойчива. Положим $\varepsilon = |x_0| / 4$.
Тогда найдется $\delta > 0$ такое, что если $|y_0| < \delta$, то решение системы $y(t)$ таково, что $|y(t)| < \varepsilon$.
Пусть $T > 0$ таково, что $|x(T)| < \delta$. Рассмотрим отображение $G: y_0 \to y(T)$. Из соображений непрерывности следует, что для достаточно малого $r  < \varepsilon$, образ шара $B_r(x_0)$ под действием $G$ будет лежать внутри шара $B_{\delta}(0)$. Заметим, что для любого $k > 0$ имеем
$$G^kB_r(x_0) \subset B_{\varepsilon}(0).$$
А значит
$$B_r(x_0) \cap G^kB_r(x_0) = \varnothing,$$
$$G^kB_r(x_0) \cap G^lB_r(x_0) = \varnothing, \quad k \neq l.$$
Все эти множества имеют одинаковую ненулевую меру и содержатся в шаре $B_{\varepsilon}(0)$. Противоречие.

 Профиль  
                  
 
 Re: неустойчивое равновесие
Сообщение27.10.2017, 20:49 
Аватара пользователя


31/08/17
716
да, это хорошо

 Профиль  
                  
 
 Re: неустойчивое равновесие
Сообщение28.10.2017, 05:20 
Заслуженный участник


22/11/10
1145
К слову сказать, и двусторонняя устойчивость доказывается по той же схеме. Нам нужно какое-нибудь решение, которое переводит точку с фиксированным расстоянием от нуля в сколь угодно малую окрестность нуля. Выбор такого решения может зависеть от той самой окрестности, но для дальнейших рассуждений это не важно. Если нулевое решение неустойчиво при обратном направлении времени, то такое решение всегда существует.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 8 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group