Теоремы Томсона и Тета

Теоремы Томсона и Тета ― формулируют условия, необходимые для того, чтобы можно было стабилизировать гироскопическими силами неустойчивую потенциальную систему. Были доказаны в 1879 г.. Пользуясь теоремой Томсона и Тета, можно исследовать устойчивость волчка, системы инерциальной навигации и гироскопического однорельсового вагона.

Первая теорема Томсона и Тета

Если неустойчивость невозмущенного движения потенциальной системы имеет нечётную степень, то стабилизировать движение нельзя никакими гироскопическими силами.

Вторая теорема Томсона и Тета

Если невозмущенное движение z = 0 {displaystyle z=0} и z ˙ = 0 {displaystyle {dot {z}}=0} потенциальной системы устойчиво, то при добавлении произвольных гироскопических и диссипативных сил (не обязательно полной диссипации) устойчивость движения сохраняется.

Третья теорема Томсона и Тета

Если невозмущенное движение z = 0 {displaystyle z=0} и z ˙ = 0 {displaystyle {dot {z}}=0} устойчиво при одних потенциальных силах, то оно становится асимптотически устойчивым при добавлении произвольных гироскопических и диссипативных сил с полной диссипацией.

Четвёртая теорема Томсона и Тета

Невозмущенное движение z = 0 {displaystyle z=0} и z ˙ = 0 {displaystyle {dot {z}}=0} , неустойчивое под действием потенциальных сил, остаётся неустойчивым при добавлении произвольных гироскопических и диссипативных сил с полной диссипацией.

Пояснения

Степенью неустойчивости называется число отрицательных коэффициентов c k {displaystyle c_{k}} в системе s {displaystyle s} уравнений z 1 ¨ + c 1 z 1 = 0 , . . . z s ¨ + c s z s = 0 {displaystyle {ddot {z_{1}}}+c_{1}z_{1}=0,...{ddot {z_{s}}}+c_{s}z_{s}=0} , описывающей движение возмущённой системы.

Гироскопическими называются силы F = G x ˙ {displaystyle F=G{dot {x}}} , линейно зависящие от скоростей и имеющие кососимметрическую матрицу коэффициентов G = ‖ g k j ‖ {displaystyle G=left|g_{kj} ight|}

Диссипативными называются силы F = B x ˙ {displaystyle F=B{dot {x}}} , линейно зависящие от скоростей и имеющие симметрическую матрицу коэффициентов B = ‖ b k j ‖ {displaystyle B=left|b_{kj} ight|} , такую, что квадратичная форма F = 1 2 B x ˙ ⋅ x ˙ {displaystyle F={frac {1}{2}}B{dot {x}}cdot {dot {x}}} положительна.