Примечание к курсу
Этот урок расширяет алгебраический инструментарий, который вы уже освоили — работу с выражениями, решение уравнений, изучение функций — в область многомерного анализа. Теоремы, представленные ниже, являются вершиной векторного анализа, но каждый шаг опирается на ту же алгебраическую дисциплину: подстановка, разложение на множители, аккуратное отслеживание знаков и систематическое вычисление интегралов. Считайте это алгеброй на пике её возможностей.
1. Архитектура: одна теорема в разных измерениях
Прежде чем формулировать что-либо, давайте увидим закономерность, которая проходит через все основные теоремы анализа:
Впервые эта закономерность появляется в Основной теореме анализа (Ньютона–Лейбница):
$$ \int_a^b f'(x)\,dx \;=\; f(b) - f(a) $$Производная $f'$ интегрируется по отрезку $[a,b]$; результат — значения $f$ в двух граничных точках.
Теорема Грина — это плоский случай: двумерная область $D$ с граничной кривой $\partial D$:
$$ \oint_{\partial D} \mathbf{F}\cdot d\mathbf{r} \;=\; \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA $$Теперь две теоремы этого урока завершают семейство:
- Теорема Стокса — поверхность $S$ с граничной кривой $\partial S$ (теорема Грина, поднятая в 3D).
- Теорема о дивергенции — тело $V$ с граничной поверхностью $\partial V$ (нормальная форма теоремы Грина, поднятая в 3D).
Все четыре являются частными случаями обобщённой теоремы Стокса для дифференциальных форм: