Вращение векторного поля. Индекс Пуанкаре

Материал из sawiki
Перейти к навигации Перейти к поиску

Рассматривается система:

$$(1) \begin{cases} \dot{x_1} = f_1 (x_1, x_2), \\ \dot{x_2} = f_2 (x_1, x_2). \end{cases}$$

Вращение векторного поля $$f = (f_1, f_2)$$ вдоль кривой $$\gamma$$ (относительно оси $$Ox = \vec{l}$$).

Вращением векторного поля $$f = (f_1, f_2)$$ вдоль кривой $$\gamma$$ (относительно оси $$Ox = \vec{l}$$) называется деленный на $$2\pi$$ угол между векторным полем $$f = (f_1, f_2)$$ и осью $$\vec{l}$$ вдоль кривой $$\gamma$$, если она проходится в положительном направлении (против часовой стрелки). Обозначим полученный угол между векторным полем $$f = (f_1, f_2)$$ и осью $$\vec{l}$$ за $$\theta$$.

Таким образом,

$$\theta(x_1, x_2) = \arctan \left(\dfrac{f_2(x_1, x_2)}{f_1(x_1, x_2)}\right) + \theta_0,$$

где $$\theta_0$$ определяется в зависимости от направления оси $$\vec{l}$$.

$$\chi_{\gamma} = \frac{1}{2\pi} \int\limits_{\gamma} d\theta ~-~$$вращение векторного поля вдоль кривой $$\gamma$$.

$$\begin{multline*} d\theta = \dfrac{1}{1+\left(\frac{f_2}{f_1}\right)^2} \cdot d\left(\frac{f_2}{f_1}\right) = \dfrac{f_1^2}{f_1^2+f_2^2} \cdot \dfrac{df_2\cdot f_1 - df_1 \cdot f_2}{f_1^2} =\\ = \dfrac{f_1\left(\frac{\partial f_2}{\partial x_1}\cdot dx_1 + \frac{\partial f_2}{\partial x_2}\cdot dx_2\right) - f_2\left(\frac{\partial f_1}{\partial x_1}\cdot dx_1 + \frac{\partial f_1}{\partial x_2}\cdot dx_2\right)}{f_1^2 + f_2^2}. \end{multline*}$$


Таким образом, вращение векторного поля можно вычислить по формуле:

$$ \chi_{\gamma} = \frac{1}{2\pi} \int\limits_{\gamma} P(x_1, x_2)dx_1 + Q(x_1, x_2)dx_2, $$

где

$$~ P(x_1, x_2) = \dfrac{f_1\cdot \frac{\partial f_2}{\partial x_1} - f_2 \cdot \frac{\partial f_1}{\partial x_1}}{f_1^2 + f_2^2}, ~~ Q(x_1, x_2) = \dfrac{f_1\cdot \frac{\partial f_2}{\partial x_2} - f_2 \cdot \frac{\partial f_1}{\partial x_2}}{f_1^2 + f_2^2}.$$

Свойства вращения векторного поля:

  • Если $$\gamma = \gamma_1 \cup \gamma_2, ~\gamma_1 \cap \gamma_2 = \{a\} \implies \chi_{\gamma} = \chi_{\gamma_1} + \chi_{\gamma_2}.$$

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

Вращение векторного поля определяется как:

$$ \chi_{\gamma} = \frac{1}{2\pi} \int\limits_{\gamma} d\theta. $$

Рассмотрим интеграл по объединённой кривой:

$$ \int\limits_{\gamma} d\theta = \int\limits_{\gamma_1 \cup \gamma_2} d\theta. $$

Так как $$\gamma_1$$ и $$\gamma_2$$ пересекаются только в точке $$a$$, можно записать:

$$ \int\limits_{\gamma_1 \cup \gamma_2} d\theta = \int\limits_{\gamma_1} d\theta + \int\limits_{\gamma_2} d\theta. $$

Следовательно:

$$ \chi_{\gamma} = \frac{1}{2\pi} \int\limits_{\gamma} d\theta = \frac{1}{2\pi} \left( \int\limits_{\gamma_1} d\theta + \int\limits_{\gamma_2} d\theta \right) = \chi_{\gamma_1} + \chi_{\gamma_2}. $$

  • Если $$\gamma ~-~$$замкнутая кривая $$\implies ~ \chi_{\gamma} \in \mathbb{Z}$$ (целое число).

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

Вращение векторного поля определяется как:

$$ \chi_{\gamma} = \frac{1}{2\pi} \int\limits_{\gamma} d\theta. $$

Так как кривая замкнута, начальная и конечная точки совпадают. Векторное поле должно вернуться к своему начальному направлению (с точностью до целого числа полных оборотов).

Интеграл от полного дифференциала угла по замкнутому контуру:

$$\int\limits_{\gamma} d\theta = 2\pi \cdot n, \quad n \in \mathbb{Z}. $$

Следовательно:

$$ \chi_{\gamma} = \frac{1}{2\pi} \int\limits_{\gamma} d\theta = \frac{1}{2\pi} \cdot 2\pi n = n \in \mathbb{Z}. $$

  • Рассмотрим $$\gamma ~-~$$замкнутая кривая, не проходящая через особые точки и допускающая гладкую деформацию (непрерывное и гладкое изменение формы кривой, при котором сохраняются гладкие свойства) $$\implies \chi_{\gamma}$$ остается постоянным при деформации, когда $$\widetilde{\gamma}$$ (деформированная $$\gamma$$) не проходит через особые точки.

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

Если бы вращение векторного поля $$\chi_{\gamma_t}$$ изменялось в процессе деформации, это изменение было бы непрерывным по параметру $$t$$.

Но величина $$\chi_{\gamma_t}$$ принимает только целочисленные значения (по предыдущему свойству для замкнутых кривых).

Следовательно, непрерывная и целочисленная функция $$\chi_{\gamma_t}$$ должна оставаться постоянной:

$$ \chi_{\gamma} = \chi_{\gamma_t} = \chi_{\widetilde{\gamma}} \quad \text{для всех } t \in [0,1]. $$