Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Начнем выписывать уравнения движения по поверхности $\mathfrak{D}$, опираясь на последнюю теорему § 5: где многоточием обозначены выражения, квадратичные по $\dot{q}_{1}, \dot{q}_{2}$. Итак, уравнения Лагранжа имеют вид Определение. Точка $q_{1}{ }^{*}, q_{2}{ }^{*}$ называется положением $р a_{B}$ новесия, если среди движений имеется такое: $q_{1}(t) \equiv q_{1}{ }^{*}, q_{2}(t) \equiv$ $\equiv q_{2}^{*}$. Из выписанных нами уравнений видно, что равновесие возможно в тех.и только тех точках, в которых $\frac{\partial V}{\partial q_{1}}=\frac{\partial V}{\partial q_{2}}=0$. Другими словами, положения равновесия – это критические точки потенциала $V$, полученного из потенциала $V(x, y, z)$ сужением на поверхность. Определение. Положение равновесия $q^{*}$ называется устойчивым, если для любой окрестности $\mathscr{D}$ точки $q^{*}$ можно указать меньшую окрестность $\mathscr{D}^{\prime}$ и такое число $\varepsilon>0$, что если $q_{1}{ }^{0}$, $q_{2}{ }^{0} \in \mathscr{D}^{\prime}$ и $\left|v^{0}\right|<\varepsilon$, то соответствующее движение не выходит из $\mathscr{D}$. Теорема Лагранжа – Дирихле. Если точка $q^{*}-$ строгий локальный минимум функции $\check{~}$, то это положение равновесия устойчиво. Доказательство. Пусть $V\left(q^{*}\right)=0$ для определенности, $\mathscr{D}$ – произвольная область, содержащая $q^{*}$. Существует ее подобласть $\mathscr{D}_{0}$ є границей $\partial \mathscr{D}_{0}$ такая, тто $\eta=\min V>0$ (положи$\partial \mathscr{D}$ 。 тельности $\eta$ можно добиться, уменьшая $\mathscr{D}_{0}$, так как, по условию, $q^{*}$ – строгий минимум $V$ ). Функция $V$ непрерывна, так что существует подобласть $\mathscr{D}^{\prime} \subset \mathscr{D}$. такая, что. для всех $q_{0} \in \mathscr{D}^{\prime}$ выполиено неравенство $0 \leqslant V\left(q_{0}\right)<\eta / 2$. Положим $\varepsilon=\sqrt{\eta / m}$. Пусть $q_{\theta} \in$ $\in \mathscr{D}^{\prime},\left|v_{0}\right|<\varepsilon$. Тогда ЛИНЕАРИЗАЦИЯ УРАВНЕНИЙ ЛАГРАНЖА. Можно доказать обратное утверждение (о неустойчивости), предполагая невырожденность критической точки $q^{*}$, не являющейся минимумом. Это ситуация общего положения. Пусть $q^{*}=(0,0)$ для простоты. Уравнения первого приближения будут (ср. с выводом (4.10)): Уравнения (2) имеют лагранжев вид с лагранжианом Матрица $A$ есть матрица коэффициентов сужения евклидовой метрики на касательную плоскость $T_{0}(\mathfrak{R})$, вычисленная в репере $\frac{\partial r}{\partial q_{1}}, \frac{\partial r}{\partial q_{2}}$. Поэтому функцию $L_{0}$ можно рассматривать как лагранжиан некоторого фиктивного движения в касательной плоскости, фиктивного, но в существенных чертах сходного с действительным движением. Воспользуемся теперь нашим правом заменять переменные в лагранжиане (см. конец § 5). что и уравнения (2) приводятся к виду где переменные разделены. приводящей квадратичные формы (первая из ихх положительно определена) $\Sigma a_{i j} q_{i} q_{j}, \Sigma b_{i j} q_{i} q_{j}$ к виду $\Sigma x_{i}{ }^{2} ; \Sigma \lambda_{i} x_{i}{ }^{2}$. Докажем, как строится искомая замена в общем случае, когда эти формы не пропорциональны. На плоскости $\mathbf{R}^{2}\left(q_{1}, q_{2}\right)$ рассмотрим эллипс м переменную кривую второго порядка: которая ввиду невырожденности матрицы есть, вообще говоря, эллипс или гипербола. Ровно при двух значениях $C=C_{1}, C_{2}$ мы будем иметь касание кривой (7) с эллипсом (6) (см. рис. 48 , где изображен случай, когда (7) – эллипс; вариант гиперболы изобразить самостоятельно). Отметим на плоскости точки касания и направим в две из них линейно независимые векторы $f_{1}$ и $f_{2}$. Тогда, поскольку формальные градиенты левых частей (6) и (7) в точках касания коллинеарны, Отсюда так что $\lambda_{i}$ являются корнями одного квадратного уравнения. С другой стороны, так что $\lambda_{1}=C_{1}, \lambda_{2}=C_{2}$. Второе из равенств (8) указывает, что модули $\mathfrak{f}_{i}$ равны единице в имеющейся евклидовой метрике. Кроме того, эти векторы ортогональны, так как откуда $A \mathrm{f}_{1} \cdot \mathrm{f}_{2}=0$. Осталось положить и тогда Заключение. Если среди $\lambda_{i}$ есть отрицательные, то $\check{V}$ не имеет минимума в точке $q^{*}$ (будет седло или максимум), а решения линеаризованной системы, вообще говоря, будут экспоненциально уходить (см. § 4), хотя бы по одной из координат $x_{i}$. По соответствующим теоремам из теории дифференциальных уравнений это гарантирует неустойчивость решений точной системы и доказывает обращение теоремы Лагранжа-Дирихле в случае невырожденной критической точки.
|
1 |
Оглавление
|