О баллистической кривой

от автора

Баллистическая кривая — это траектория материальной точки, движущейся в сопротивляющейся среде под действием силы тяжести.

Основной пример баллистической кривой — это траектория дробины в атмосфере.

Сила сопротивления воздуха считается направленной против скорости материальной точки:

\mathbf{F} = -f(\mathbf{v}) \mathbf{v}.

Чаще всего рассматриваются гипотезы квадратичного и линейного сопротивления. В этих случаях f = c_1|\mathbf{v}| и f = c_2 соответственно. Здесь c_1, c_2 — положительные постоянные. В обоих случаях система интегрируется в квадратурах. Существуют и другие случаи интегрируемости (см. Аппель П. Теоретическая механика. Т. 1. М.: Физматлит, 1960).

Характерной чертой данной задачи является наличие у траектории частицы вертикальной асимптоты и существование предельной скорости, к которой стремится скорость частицы.

Оба этих свойства выводятся в учебниках путём явного интегрирования уравнений движения.

Мы опишем довольно широкий класс сил сопротивления, для которых траектория обладает указанными свойствами. В этом классе уравнения движения уже не обязаны интегрироваться в квадратурах, и динамика исследуется методами качественного анализа.

Итак, второй закон Ньютона для частицы массы m имеет вид:

m\mathbf{\dot v}=m\mathbf g-\mathbf vf(\mathbf{v}).

Введём декартову систему координат Oxy так, чтобы ось Oy была направлена вертикально вверх. Тогда второй закон Ньютона принимает вид:

m\dot v_x = -v_x f(v_x, v_y), \qquad(1)m\dot v_y = -mg - v_y f(v_x, v_y), \quad \mathbf v=(v_x,v_y). \qquad(2)

Будем считать, что выполнены следующие условия:

1) f \in C(\mathbb{R}^2) \cap C^1(\mathbb{R}^2 \setminus \{0\});

2) равенство f(u, v) = 0 влечет u=v = 0;

3) f \ge 0 в \mathbb{R}^2;

4) найдутся такие положительные числа r и k, что если |\mathbf{v}| > r, то f(\mathbf{v}) > k;

5) уравнение mg + w f(0, w) = 0 имеет единственное решение w = v_y^*, причем

\frac{d(w f(0, w))}{dw} \bigg|_{w=v_y^*} \ne 0.

Из данных условий вытекают неравенства

\frac{d(w f(0, w))}{dw} \bigg|_{w=v_y^*} > 0, \qquad (3)

и v_y^* < 0.

Теорема. Все решения системы (1), (2) определены при t \in [0, \infty). Каждая траектория \mathbf{r}(t) = (x(t), y(t)) имеет вертикальную асимптоту:

x(t) \to x^*, \quad y(t) \to -\infty \quad \text{при} \quad t \to \infty.

Более того,

v_x(t) \to 0, \quad v_y(t) \to v_y^*.

Доказательство.

Дальнейшее изложение требует от читателя владения аппаратом дифференциальных уравнений в объеме книги: Немыцкий В.В., Степанов В.В. Качественная теория дифференциальных уравнений. М.: Едиториал УРСС, 2004.

В силу условия 4) и энергетического неравенства

\frac{m}{2}\frac{d}{dt}|\mathbf{v}|^2 = m(\mathbf{g}, \mathbf{v}) - |\mathbf{v}|^2 f(\mathbf{v}) \le mg|\mathbf{v}| - |\mathbf{v}|^2 f(\mathbf{v})

все решения системы (1), (2) ограничены и, соответственно, бесконечно продолжаемы вправо.

Покажем, что v_x(t) \to 0.

Действительно, перепишем уравнение (1) в интегральной форме:

v_x(t) = v_x(0) \exp \left( -\frac{1}{m} \int_0^t f(\mathbf{v}(\tau)) \, d\tau \right).

В силу условия 3) экспонента является невозрастающей функцией времени t, поэтому существует предел v_x(t) \to v_x^*. Таким образом, \omega-предельное множество данного решения лежит на прямой \{v_x = v_x^*\}.

Всякое решение системы (1), (2), лежащее в \omega-предельном множестве, имеет вид

v_x(t) = v_x^*, \quad v_y = v_y(t).

Подставим это решение в уравнение (1):

0 = v_x^* f(v_x^*, v_y(t)).

Предположим, что v_x^* \neq 0. Тогда f(v_x^*, v_y(t)) = 0. В силу условия 2) должно быть v_x^* = 0. Полученное противоречие доказывает, что v_x^* = 0.

На прямой \{v_x = 0\} уравнение (1) удовлетворяется тождественно, а динамика описывается уравнением (2), которое принимает вид:

m\dot{v}_y = -mg - v_y f(0, v_y). \qquad (4)

Легко показать, что все решения этого уравнения асимптотически стремятся к единственному положению равновесия v_y^*. Из этого наблюдения следует, что всякое замкнутое инвариантное множество уравнения (4) содержит точку v_y^*, а значит, \omega-предельное множество любого решения системы (1), (2) содержит точку (0, v_y^*).

Следовательно, для любого решения (v_x, v_y)(t) системы (1), (2) найдётся последовательность t_k \to \infty такая, что

(v_x, v_y)(t_k) \to (0, v_y^*). \qquad (5)

Линеаризуем систему (1), (2) в окрестности положения равновесия (0, v_y^*). Система линейного приближения имеет вид:

m \begin{pmatrix} \dot{\xi} \\ \dot{\eta} \end{pmatrix} =\begin{pmatrix}-f^* & 0 \\-v_y^* f_1 & -(f^* + f_2 v_y^*)\end{pmatrix}\begin{pmatrix} \xi \\ \eta \end{pmatrix},

где f^* = f(0, v_y^*), f_1 = \frac{\partial f}{\partial v_x}(0, v_y^*), f_2 = \frac{\partial f}{\partial v_y}(0, v_y^*).

Собственные числа этой системы отрицательны:

-\frac{f^*}{m} < 0, \quad -\frac{f^* + f_2 v_y^*}{m} < 0.

Первое неравенство вытекает из условий 3),5); второе — из формулы (3).

Таким образом, положение равновесия (0, v_y^*) экспоненциально устойчиво. Поскольку для каждого решения верно (5), т.е. каждое решение посещает сколь угодно малую окрестность положения равновесия, имеем

(v_x, v_y)(t) \to (0, v_y^*), \quad t \to \infty.

Более того,

v_x(t) = O(e^{-\alpha t}), \quad v_y(t) = v_y^* + O(e^{-\alpha t}), \qquad (6)

где положительная константа \alpha связана с собственными числами.

Асимптотики x(t) \to x^* и y(t) \to -\infty следуют непосредственно из формул (6) и равенств

x(t) = x(0) + \int_0^t v_x(\tau) d\tau, \quad y(t) = y(0) + \int_0^t v_y(\tau) d\tau.

Теорема доказана.

ссылка на оригинал статьи https://habr.com/ru/articles/1029708/