Математика / Пределы, ряды
Теорема Гаусса-Остроградского
Теорема Гаусса-Остроградского переводит объемный интеграл дивергенции в поток через границу замкнутой области. Это ключевая связь локальных источников и глобального выхода поля.
Формула
Обозначения
- $V$
- замкнутая область в R3, м^3
- $\partial V$
- граничная поверхность, m^2
- $\mathbf n$
- внешняя нормаль, безразмерная
- $\mathbf F$
- векторное поле, векторная
Условия применения
- Область V должна быть достаточно регулярной (кусочно-гладкая граница).
- Поле F должно обладать непрерывными производными вблизи области.
- Ориентация нормали на границе берется внешней, если не оговорено иначе.
Ограничения
- Для области с разрывами поля нужна разметка на несколько областей и проверка каждой по отдельности.
- Значительный вклад дают только особенности на границе, если там не соблюдена условная гладкость.
- Неправильная единица нормали или потока меняет знак.
Подробное объяснение
Смысл теоремы в том, что суммарный поток через замкнутую поверхность определяется внутренней дивергенцией. На практике это позволяет выбирать удобный путь: либо считать поверхность через ее границу, либо считать объемную формулу внутри.
Как пользоваться формулой
- Проверьте ориентацию границы и замкнутость области V.
- Рассчитайте дивергенцию поля по формуле \nabla\cdot F.
- Выберите легче вычислимый путь: либо объемный интеграл, либо поток через границу.
- После подсчета сравните порядок знака с выбранной ориентацией нормали.
Историческая справка
Эта формула — фундаментальная ступень теорем векторного анализа, появившаяся из стремления объединить локальные и глобальные описания полей. Идея сводится к очень практичному принципу: поток через оболочку связан с источниковой картиной внутри. Далее она стала базовой для физики полей и задач инженерии.
Историческая линия формулы
Название отражает вклад Гаусса и Остроградского, но современная формулировка в курсах анализа выстроена в общей международной традиции. По сути это исторически накопленный операторный взгляд на сохранение и перенесенный через множество дисциплин к единообразной записи.
Пример
Для вычисления потока сквозь сложную поверхность иногда проще записать удобную область V и интегрировать дивергенцию. Например, если divergencе простая, итог сводится к геометрической формуле объема.
Частая ошибка
Распространенная ошибка — применять теорему к незамкнутой поверхности: в этом случае нужно либо замкнуть поверхность дополнительной частью, либо использовать другую форму расчета потока. Другая ошибка — считать поток через всю границу, но использовать объемный интеграл без проверки непрерывности производных на области и ее границе. Также часто ошибаются в знаке, если выбирают внутреннюю нормаль вместо внешней. И ещё: нельзя автоматически переносить интеграл дивергенции, когда поле не является C^1.
Практика
Задачи с решением
Сфера единичного радиуса
Условие. \mathbf F=(x,y,z),\;V=\{x^2+y^2+z^2\le1\}
Решение. \nabla\cdot\mathbf F=3,\;\iiint_V 3\,dV=3\cdot\frac43\pi=4\pi. Значит, поток через поверхность также 4\pi.
Ответ. 4\pi
Куб с константной компонентой
Условие. \mathbf F=(1,0,0),\;V=[0,1]^3
Решение. div F=0\Rightarrow\iiint_V0\,dV=0. Поток через пары параллельных граней x=0 и x=1 взаимно компенсируется, итог 0.
Ответ. 0
Дополнительные источники
- Marsden, Tromba, Vector Calculus
- Apostol, Calculus, Volume II: Multi-Variable Calculus and Linear Algebra with Applications to Differential Equations and Probability
Связанные формулы
Математика
Дивергенция векторного поля
Дивергенция измеряет локальную плотность источников и стоков поля: насколько в этой точке поле «вытекает» или «втягивается» из окрестности. Она служит точной связкой между локальной производной поля и глобальным потоком через границу.
Математика
Поток векторного поля через поверхность
Поток показывает, какая часть поля проходит через поверхность со стороны нормали. Это ориентированная величина: положительный вклад дает выход или вход в зависимости от принятой ориентации поверхности.
Математика
Потенциальное поле и независимость пути
Поле называется потенциальным, если его криволинейный интеграл 2 рода зависит только от концов пути. В такой ситуации интеграл по любому замкнутому контуру равен нулю, а поле представляется градиентом потенциала.