- Теорема Стокса
-
Теорема Стокса — одна из основных теорем дифференциальной геометрии и математического анализа об интегрировании дифференциальных форм, которая обобщает несколько теорем анализа. Названа в честь Дж. Г. Стокса.
Содержание
Общая формулировка
Пусть на ориентируемом многообразии размерности заданы ориентируемое -мерное подмногообразие и дифференциальная форма степени класса (). Тогда, если граница подмногообразия положительно ориентирована, то
где обозначает внешний дифференциал формы .
Теорема распространяется на линейные комбинации подмногообразий одной размерности, так называемые цепи. В этом случае формула Стокса реализует двойственность между когомологией де Рама и гомологией циклов многообразия .
Частные случаи
Формула Ньютона — Лейбница
Пусть дана кривая , соединяющая две точки и (одномерная цепь) в многообразии произвольной размерности. Форма нулевой степени класса — это дифференцируемая функция . Формула Стокса тогда записывается в виде
Теорема Грина
Пусть — плоскость, а — некоторая её ограниченная область с кусочно-гладкой жордановой границей. Форма первой степени, записанная в координатах и — это выражение , и для интеграла этой формы по границе области верно
Вывод из теоремы СтоксаОпределяя дифференциальную форму , найдём её внешний дифференциал:
Принимая во внимание, что и :
Отсюда используя теорему Стокса:
Независимое доказательство формулы Грина приведено в её основной статье.
Формула Кельвина — Стокса
Пусть — кусочно-гладкая поверхность () в трёхмерном евклидовом пространстве (), — дифференцируемое векторное поле. Тогда циркуляция векторного поля вдоль замкнутого контура равна потоку ротора (вихря) поля через поверхность , ограниченную контуром:
или в координатной записи:
Вывод из теоремы СтоксаРассмотрим дифференциальную форму . Тогда, используя свойство дифференциала дифференциальной формы :
Отсюда, используя теорему Стокса:
Доказательство с использованием формулы ГринаПусть . Тогда
Отсюда, используя формулу Грина, получаем
что по определению вихря и есть требуемая величина:
Формула Остроградского
Пусть теперь — кусочно-гладкая гиперповерхность (), ограничивающая некоторую область в -мерном пространстве. Тогда интеграл дивергенции поля по области равен потоку поля через границу области :
Что эквивалентно записи:
или
Вывод из теоремы СтоксаРассмотрим дифференциальную форму . Тогда, используя свойство дифференциала дифференциальной формы :
Отсюда, используя теорему Стокса:
Литература
- Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления — Т. 3
- Арнольд В. И. Математические методы классической механики (djvu)
- Картан А. Дифференциальное исчисление. Дифференциальные формы. — М.: Мир, 1971.
См. также
Категории:- Векторный анализ
- Теоремы
- Дифференциальные формы
- Дифференциальная геометрия и топология
- Теории двойственности
Wikimedia Foundation. 2010.