Теорема Стокса

В 1854 году Уильям Томсон (лорд Кельвин) в письме Стоксу набросал теорему о циркуляции, которую Стокс вынес на экзамен в Кембридже. Никто не ожидал, что за одной формулой ∫_M dω = ∫_{∂M} ω скрываются все четыре классические теоремы исчисления - Ньютона-Лейбница, Грина, Гаусса и Стокса. Сегодня эта же формула лежит в основе электродинамики, FEM и топологии.

• **Электромагнетизм:** законы Фарадея и Ампера-Максвелла-прямые следствия теоремы Стокса для формы электромагнитного поля
• **FEM/FVM:** численные методы конечных элементов используют Стокса для перехода от объёмных интегралов к граничным
• **Гидродинамика:** теорема о циркуляции-Кельвин-Стокс: скорость изменения циркуляции = поток завихрённости

Предварительные знания

• Gauss-Bonnet Theorem

Обобщённая теорема Стокса

**Обобщённая теорема Стокса:** Для (k−1)-формы ω на компактном ориентированном многообразии M с краем ∂M: ∫_M dω = ∫_{∂M} ω. Одна формула объединяет классические теоремы о потоках и циркуляции.

Интерпретация: интеграл от производной по объёму = интеграл исходной формы по границе. Это обобщение фундаментальной теоремы исчисления: ∫_a^b f'(x) dx = f(b) − f(a), где {a, b} = ∂[a,b].

**Краевой оператор ∂:** ∂² = 0 (граница границы пуста). Внешняя производная d² = 0. Теорема Стокса показывает, что d и ∂-"двойственные" операторы: ∫_M dω = ∫_{∂M} ω. Это основа топологии и теории гомологий/когомологий.

Теоремы Грина, Гаусса и классического Стокса

**Теорема Грина** (∂M-замкнутый контур в R²): ∮_C (P dx + Q dy) = ∫∫_D (∂Q/∂x − ∂P/∂y) dA. Применение: вычисление площади D через контурный интеграл S = (1/2)∮(x dy − y dx).

**Теорема Гаусса** (дивергенция): ∫∫∫_V div F dV = ∯_{∂V} F·n dA. Поток поля через замкнутую поверхность = интеграл дивергенции по объёму. **Классическая теорема Стокса:** ∫∫_S (∇×F)·n dA = ∮_{∂S} F·dr. Циркуляция = поток ротора.

Приложения к физике и численным методам

**Электромагнетизм:** уравнения Максвелла в форме Стокса: ∮ E·dr = −d/dt ∫∫ B·dA (закон Фарадея). ∮ B·dr = μ₀∫∫ J·dA + μ₀ε₀ d/dt ∫∫ E·dA (закон Ампера-Максвелла). Форма Стокса-естественная постановка законов через интегральные инварианты.

**Консервативные поля:** F-консервативное ↔ ∮_C F·dr = 0 для любого замкнутого C ↔ rot F = 0 ↔ F = −∇U. По теореме Стокса: ∮ F·dr = ∫∫ rot F · dS = 0 тогда и только тогда, когда rot F = 0 (на односвязных областях).

В численных методах (FEM, FVM) теорема Стокса позволяет заменять объёмные интегралы (div F) поверхностными (поток F·n). Это снижает размерность интегрирования и повышает точность. Дискретный аналог-основа конечных объёмов.

Ключевые идеи

• **Обобщённый Стокс:** ∫_M dω = ∫_{∂M} ω. Интеграл от производной = граничный интеграл. ∂² = 0 ↔ d² = 0
• **Частные случаи:** Ньютон-Лейбниц (1D), Грин (2D: ∮ = ∫∫rot), Гаусс (3D: ∫∫∫div = ∯), Стокс (3D: ∫∫rot = ∮)
• **Консервативные поля:** ∮ F·dr = 0 ↔ rot F = 0 ↔ F = −∇U (на односвязных областях)
• **Численные методы:** FEM, FVM используют Стокса для снижения размерности интегралов

Связанные темы

Теорема Стокса-центральный результат анализа на многообразиях:

• Дифференциальные формы — ω-(k−1)-форма, dω-k-форма. Теорема Стокса работает с внешней производной
• Теорема Гаусса-Бонне — Гаусса-Бонне-следствие обобщённой теоремы Стокса и формулы Хирна
• Functional Analysis in PDEs — Слабая формулировка PDE через теорему Стокса-основа метода Галёркина

Вопросы для размышления

• Теорема Грина позволяет вычислить площадь D как S = (1/2)∮(x dy − y dx). Реализуйте это для произвольного полигона (список вершин) и убедитесь, что получается формула Шнура.
• Закон Фарадея: ∮_C E·dr = −d/dt ∫∫_S B·dA. Как это соотносится с обобщённой теоремой Стокса? Что такое dω в этом контексте?
• В FEM "слабая формулировка" уравнения −Δu = f получается умножением на тест-функцию v и интегрированием по частям: ∫∇u·∇v = ∫fv. Какая теорема (Стокса/Гаусса/Грина) позволяет это сделать?

Связанные уроки

• calc-11-definite