Теорема Остроградского-Гаусса¶

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

¶Формулировка

Пусть V — трёхмерная область с кусочно-гладкой границей S, а F — непрерывно дифференцируемое векторное поле, определённое в замыкании области V. Тогда поток векторного поля F через замкнутую поверхность S равен тройному интегралу от дивергенции поля F по объёму V:

\[ \oint_{S} \mathbf{F} \cdot d\mathbf{S} = \iiint_{V} (\nabla \cdot \mathbf{F}) \, dV \]

В левой части — поверхностный интеграл первого рода (поток), в правой — объёмный интеграл от дивергенции. Вектор \(d\mathbf{S}\) направлен по внешней нормали к поверхности.

¶Скалярная форма

В координатной записи для поля \(\mathbf{F} = (P, Q, R)\) теорема принимает вид:

\[ \iint_{S} (P \, dy \, dz + Q \, dz \, dx + R \, dx \, dy) = \iiint_{V} \left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} \right) dx \, dy \, dz \]

¶История

Теорема была независимо открыта двумя математиками.

¶Михаил Васильевич Остроградский (1801–1862)

Русский математик украинского происхождения, академик Петербургской академии наук. В 1828 году в работе «Заметка о теплопроводности» (фр. «Note sur la chaleur») он впервые сформулировал и доказал теорему для трёхмерного случая. Остроградский использовал её для решения задач теплопроводности и гидродинамики. Его доказательство основывалось на методе разбиения объёма на малые параллелепипеды и последующем суммировании потоков через их грани. Работа была опубликована в 1831 году в мемуарах Парижской академии наук.

¶Карл Фридрих Гаусс (1777–1855)

Немецкий математик, астроном и физик. В 1813 году в работе «Теория притяжения однородных эллипсоидов» (лат. «Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum») Гаусс применил аналогичную формулу для вычисления гравитационного потенциала. Однако его формулировка была менее общей и касалась только частного случая — поля тяготения. Гаусс не дал явного аналитического доказательства, ограничившись геометрическими соображениями.

¶Приоритет

В современной математической литературе теорему называют именем Остроградского — Гаусса, признавая вклад обоих учёных. В русскоязычной традиции часто используется название «формула Остроградского», тогда как в западной — «теорема Гаусса» или «теорема о дивергенции». Остроградский первым дал строгое аналитическое доказательство в общей постановке.

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

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

¶Электростатика

В электростатике теорема Гаусса является одним из четырёх уравнений Максвелла и связывает электрическое поле E с распределением зарядов:

\[ \oint_{S} \mathbf{E} \cdot d\mathbf{S} = \frac{Q_{\text{внутр}}}{\varepsilon_0} \]

где \(Q_{\text{внутр}}\) — полный заряд внутри замкнутой поверхности, \(\varepsilon_0\) — электрическая постоянная. В дифференциальной форме:

\[ \nabla \cdot \mathbf{E} = \frac{\rho}{\varepsilon_0} \]

где \(\rho\) — объёмная плотность заряда.

¶Магнитостатика

Для магнитного поля B теорема Гаусса утверждает отсутствие магнитных монополей:

\[ \oint_{S} \mathbf{B} \cdot d\mathbf{S} = 0 \]

или в дифференциальной форме \(\nabla \cdot \mathbf{B} = 0\).

¶Гидродинамика

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

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

¶Для кубической области

Рассмотрим малый параллелепипед с рёбрами \(dx, dy, dz\). Поток поля \(\mathbf{F} = (P, Q, R)\) через его грани:

• Через грань, перпендикулярную оси \(x\): \(P(x+dx, y, z) \, dy \, dz - P(x, y, z) \, dy \, dz = \frac{\partial P}{\partial x} dx \, dy \, dz\)
• Аналогично для осей \(y\) и \(z\).

Суммарный поток через все шесть граней равен \(\left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} \right) dx \, dy \, dz = (\nabla \cdot \mathbf{F}) \, dV\).

¶Для произвольной области

Любую трёхмерную область можно разбить на малые параллелепипеды. Потоки через внутренние грани соседних ячеек взаимно уничтожаются (так как внешние нормали противоположны), и остаётся только поток через внешнюю границу области. Суммируя по всем ячейкам, получаем интегральное равенство.

¶Следствия и обобщения

¶Теорема Гаусса — Остроградского для тензорных полей

Обобщается на тензоры любого ранга: поток тензора через замкнутую поверхность равен интегралу от его дивергенции по объёму.

¶Формула Грина

Для плоского случая (двумерная область) теорема сводится к формуле Грина:

\[ \oint_{C} (P \, dx + Q \, dy) = \iint_{D} \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dx \, dy \]

¶Связь с теоремой Стокса

Теорема Остроградского — Гаусса является частным случаем обобщённой теоремы Стокса для дифференциальных форм:

\[ \int_{\partial \Omega} \omega = \int_{\Omega} d\omega \]

где \(\omega\) — дифференциальная 2-форма, \(d\omega\) — её внешняя производная.

¶Применение

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

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

¶В физике

• Расчёт электрических полей симметричных распределений зарядов (сфера, цилиндр, плоскость).
• Вывод закона Кулона из уравнений Максвелла.
• Анализ течений жидкости и газа.
• Теплопередача (закон Фурье).

¶В инженерии

• Моделирование электромагнитных полей в устройствах (конденсаторы, катушки).
• Расчёт потоков в гидравлических системах.
• Компьютерное моделирование методом конечных объёмов.

¶Ограничения

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

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

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

¶Источники

• Остроградский М. В. «Заметка о теплопроводности» (1831)
• Гаусс К. Ф. «Теория притяжения однородных эллипсоидов» (1813)
• Тихонов А. Н., Самарский А. А. «Уравнения математической физики» (1977)
• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления» (1969)
• Джексон Дж. «Классическая электродинамика» (1975)