Формула Остроградского — Гаусса¶

Формула Остроградского — Гаусса (также известная как теорема Гаусса — Остроградского или теорема о дивергенции) — это фундаментальная интегральная теорема векторного анализа, устанавливающая связь между потоком векторного поля через замкнутую поверхность и интегралом от дивергенции этого поля по объёму, ограниченному данной поверхностью. Формула является многомерным обобщением формулы Грина и частным случаем общей теоремы Стокса.

¶История

Формула была независимо открыта несколькими математиками. В 1813 году немецкий математик Карл Фридрих Гаусс опубликовал работу, в которой применил подобное соотношение для вычисления притяжения эллипсоидов. Однако строгая и общая формулировка теоремы была дана в 1828 году русским математиком Михаилом Васильевичем Остроградским, который представил её в виде интегрального соотношения, связывающего тройной интеграл по объёму с поверхностным интегралом по его границе. Остроградский доказал теорему для произвольных областей, ограниченных кусочно-гладкими поверхностями. В современной литературе теорема носит двойное имя, признавая вклад обоих учёных.

¶Математическая формулировка

Пусть \( V \) — компактная область в трёхмерном евклидовом пространстве \(\mathbb{R}^3\) с кусочно-гладкой границей \(\partial V = S\). Пусть \(\mathbf{F} = (P, Q, R)\) — векторное поле, компоненты которого \(P, Q, R\) непрерывно дифференцируемы на \(V\). Тогда формула Остроградского — Гаусса имеет вид:

\[ \iint\limits_{S} \mathbf{F} \cdot \mathbf{n} \, dS = \iiint\limits_{V} \nabla \cdot \mathbf{F} \, dV \]

где:

• \(\mathbf{n}\) — единичный вектор внешней нормали к поверхности \(S\);
• \(\nabla \cdot \mathbf{F} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}\) — дивергенция векторного поля \(\mathbf{F}\);
• \(dS\) — элемент площади поверхности;
• \(dV\) — элемент объёма.

В координатной форме левая часть записывается как:

\[ \iint\limits_{S} (P \, dy\,dz + Q \, dz\,dx + R \, dx\,dy) \]

а правая — как:

\[ \iiint\limits_{V} \left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} \right) dx\,dy\,dz \]

¶Условия применимости

Теорема справедлива при следующих условиях:

• Область \(V\) является компактной и имеет кусочно-гладкую границу.
• Векторное поле \(\mathbf{F}\) непрерывно дифференцируемо на \(V\) (то есть все частные производные его компонент существуют и непрерывны).
• Поверхность \(S\) ориентирована внешней нормалью.

¶Физическая интерпретация

В физике формула Остроградского — Гаусса выражает закон сохранения потока. Для векторного поля, описывающего, например, скорость течения жидкости, левая часть представляет собой суммарный поток жидкости через замкнутую поверхность (количество жидкости, вытекающей из объёма за единицу времени). Правая часть — это интеграл от дивергенции, который характеризует мощность источников или стоков внутри объёма. Если дивергенция положительна, внутри объёма есть источники; если отрицательна — стоки. Таким образом, формула утверждает, что поток через замкнутую поверхность равен суммарной мощности источников внутри объёма.

¶Частные случаи и обобщения

¶Формула для скалярных полей

Если \(\mathbf{F} = \nabla u\) (градиент скалярного поля \(u\)), то \(\nabla \cdot \mathbf{F} = \Delta u\) (оператор Лапласа). Тогда формула принимает вид:

\[ \iint\limits_{S} \frac{\partial u}{\partial n} \, dS = \iiint\limits_{V} \Delta u \, dV \]

где \(\frac{\partial u}{\partial n}\) — производная по внешней нормали.

¶Многомерное обобщение

В \(n\)-мерном пространстве формула записывается аналогично:

\[ \int\limits_{\partial V} \mathbf{F} \cdot \mathbf{n} \, dS = \int\limits_{V} \nabla \cdot \mathbf{F} \, dV \]

где \(\partial V\) — \((n-1)\)-мерная граница области \(V\).

¶Связь с другими теоремами

• Теорема Грина (на плоскости) является двумерным аналогом.
• Теорема Стокса (для ротора) является обобщением на случай циркуляции.
• Все три теоремы — частные случаи обобщённой теоремы Стокса для дифференциальных форм.

¶Применение

¶В математике

• Вычисление объёмов и площадей поверхностей. Например, объём тела можно найти через поток радиус-вектора:

\[ V = \frac{1}{3} \iint\limits_{S} \mathbf{r} \cdot \mathbf{n} \, dS \]

• Доказательство свойств гармонических функций.
• Преобразование интегралов в задачах математической физики.

¶В физике

• Электродинамика: теорема Гаусса для электрического поля является частным случаем формулы Остроградского — Гаусса:

\[ \oint\limits_{S} \mathbf{E} \cdot d\mathbf{S} = \frac{Q}{\varepsilon_0} \] где \(Q\) — заряд внутри поверхности.

• Гидродинамика: уравнение неразрывности в интегральной форме.
• Теплопроводность: уравнение теплового баланса.

¶В инженерии

• Расчёт потоков жидкостей и газов в трубопроводах.
• Моделирование тепловых полей.
• Численные методы (метод конечных объёмов) для решения уравнений Навье — Стокса и других дифференциальных уравнений в частных производных.

¶Пример

Рассмотрим векторное поле \(\mathbf{F} = (x, y, z)\) и сферу \(S\) радиуса \(R\) с центром в начале координат. Вычислим поток через поверхность сферы двумя способами.

Способ 1 (прямое вычисление): На сфере \(\mathbf{n} = \frac{\mathbf{r}}{R}\), \(\mathbf{F} \cdot \mathbf{n} = \frac{x^2 + y^2 + z^2}{R} = R\). Площадь сферы \(4\pi R^2\), поэтому поток равен \(R \cdot 4\pi R^2 = 4\pi R^3\).

Способ 2 (по формуле Остроградского — Гаусса): Дивергенция \(\nabla \cdot \mathbf{F} = 1 + 1 + 1 = 3\). Объём шара \(V = \frac{4}{3}\pi R^3\), поэтому тройной интеграл равен \(3 \cdot \frac{4}{3}\pi R^3 = 4\pi R^3\). Результаты совпадают.

¶Интересные факты

• В русскоязычной литературе формулу часто называют именно формулой Остроградского — Гаусса, в то время как в западной — теоремой о дивергенции (divergence theorem) или теоремой Гаусса.
• Михаил Остроградский был учеником Огюстена Луи Коши и внёс значительный вклад в теорию интегрирования дифференциальных уравнений.
• Формула играет ключевую роль в доказательстве единственности решения краевых задач для уравнений Лапласа и Пуассона.

¶Источники

• Остроградский М. В. «Записки о распространении тепла в твёрдых телах» (1828).
• Гаусс К. Ф. «Общие теоремы, относящиеся к силам притяжения и отталкивания, действующим обратно пропорционально квадрату расстояния» (1813).
• Тихонов А. Н., Самарский А. А. «Уравнения математической физики» (1977).
• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», том 3 (1966).
• Арнольд В. И. «Математические методы классической механики» (1989).