stringtranslate.com

Теорема Грина

В векторном исчислении теорема Грина связывает линейный интеграл по простой замкнутой кривой C с двойным интегралом по плоской области D (поверхность в ), ограниченной C . Это двумерный частный случай теоремы Стокса (поверхность в ). В одном измерении она эквивалентна основной теореме исчисления. В трех измерениях она эквивалентна теореме о расходимости .

Теорема

Пусть C — положительно ориентированная , кусочно- гладкая , простая замкнутая кривая на плоскости , а D — область, ограниченная C. Если L и M — функции ( x , y ), определенные на открытой области, содержащей D , и имеющие там непрерывные частные производные , то

где путь интегрирования вдоль C направлен против часовой стрелки . [1] [2]

Приложение

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

Доказательство когдаДэто простая область

Если D — простой тип области, граница которой состоит из кривых C 1 , C 2 , C 3 , C 4 , то можно продемонстрировать половину теоремы Грина.

Ниже приведено доказательство половины теоремы для упрощенной области D , области типа I, где C 1 и C 3 — кривые, соединенные вертикальными линиями (возможно, нулевой длины). Аналогичное доказательство существует для другой половины теоремы, когда D — область типа II, где C 2 и C 4 — кривые, соединенные горизонтальными линиями (опять же, возможно, нулевой длины). Объединяя эти две части, теорема доказывается для областей типа III (определяемых как области, которые являются как типами I, так и типами II). Общий случай затем может быть выведен из этого особого случая путем разложения D на набор областей типа III.

Если можно показать, что

и

верны, то теорема Грина следует немедленно для области D. Мы можем легко доказать ( 1 ) для областей типа I и ( 2 ) для областей типа II. Тогда теорема Грина следует для областей типа III.

Предположим, что область D является областью типа I и, таким образом, может быть охарактеризована, как показано справа, как где g 1 и g 2 являются непрерывными функциями на [ a , b ] . Вычислите двойной интеграл в ( 1 ):

Теперь вычислим линейный интеграл в ( 1 ) . C можно переписать как объединение четырех кривых : C1 , C2 , C3 , C4 .

С C 1 используйте параметрические уравнения : x = x , y = g 1 ( x ), axb . Тогда dis С C 3 используйте параметрические уравнения: x = x , y = g 2 ( x ), axb . Тогда

Интеграл по C 3 отрицательный, поскольку он идет в отрицательном направлении от b к a , так как C ориентирован положительно (против часовой стрелки). На C 2 и C 4 x остается постоянным, что означает

Поэтому,

Объединяя ( 3 ) с ( 4 ), получаем ( 1 ) для регионов типа I. Аналогичная обработка дает ( 2 ) для регионов типа II. Сложив их вместе, получаем результат для регионов типа III.

Доказательство для спрямляемых жордановых кривых

Мы собираемся доказать следующее

Теорема  —  Пусть будет спрямляемой, положительно ориентированной жордановой кривой в и пусть обозначает ее внутреннюю область. Предположим, что являются непрерывными функциями со свойством, что имеет вторую частную производную в каждой точке , имеет первую частную производную в каждой точке и что функции интегрируемы по Риману над . Тогда

Нам понадобятся следующие леммы, доказательства которых можно найти в: [3]

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

  1. Каждая из подобластей, содержащихся , скажем , в , представляет собой квадрат из .
  2. Каждая из оставшихся подобластей, скажем , имеет в качестве границы спрямляемую жорданову кривую, образованную конечным числом дуг и частями сторон некоторого квадрата из .
  3. Каждую из приграничных областей можно заключить в квадрат с длиной ребра .
  4. Если — положительно ориентированная граничная кривая , то
  5. Число приграничных областей не превышает , где — длина .

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

Лемма 3  —  Пусть — спрямляемая кривая в и пусть — непрерывная функция. Тогда и где — колебание в области значений .

Теперь мы готовы доказать теорему:

Доказательство теоремы. Пусть — произвольное положительное действительное число. В силу непрерывности и компактности , учитывая , существует такое, что всякий раз, когда две точки находятся на расстоянии меньшем, чем друг от друга, их образы при находятся на расстоянии меньшем, чем друг от друга. Для этого рассмотрим разложение, данное предыдущей леммой. Имеем

Помещать .

Для каждого кривая представляет собой положительно ориентированный квадрат, для которого справедлива формула Грина. Следовательно

Каждая точка приграничной области находится на расстоянии не большем, чем от . Таким образом, если — объединение всех приграничных областей, то ; следовательно , по лемме 2. Обратите внимание, что Это дает

Мы также можем выбрать так, чтобы правая часть последнего неравенства была равна

Замечание в начале этого доказательства подразумевает, что колебания и на каждой граничной области не превышают . Мы имеем

По лемме 1(iii),

Объединяя их, мы наконец получаем для некоторых . Поскольку это верно для каждого , мы закончили.

Обоснованность при различных гипотезах

Гипотезы последней теоремы не являются единственными, при которых формула Грина верна. Другой общий набор условий следующий:

Функции по-прежнему предполагаются непрерывными. Однако теперь мы требуем, чтобы они были дифференцируемы по Фреше в каждой точке . Это подразумевает существование всех производных по направлению, в частности , где, как обычно, — канонический упорядоченный базис . Кроме того, мы требуем, чтобы функция была интегрируема по Риману над .

Как следствие этого, мы получаем интегральную теорему Коши для спрямляемых жордановых кривых:

Теорема (Коши)  —  Если — спрямляемая жорданова кривая в и если — непрерывное отображение, голоморфное во всей внутренней области , то интеграл является комплексным контурным интегралом.

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

Мы рассматриваем комплексную плоскость как . Теперь определим так, чтобы Эти функции, очевидно, непрерывны. Хорошо известно, что и дифференцируемы по Фреше и удовлетворяют уравнениям Коши-Римана: .

Теперь, анализируя суммы, используемые для определения рассматриваемого комплексного контурного интеграла, легко понять, что интегралы в правой части являются обычными линейными интегралами. Эти замечания позволяют нам применить теорему Грина к каждому из этих линейных интегралов, завершая доказательство.

Многосвязные регионы

Теорема. Пусть будут положительно ориентированными спрямляемыми жордановыми кривыми в удовлетворяющими , где — внутренняя область . Пусть

Предположим, что и являются непрерывными функциями, ограничение которых на дифференцируемо по Фреше. Если функция интегрируема по Риману над , то

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

Теорема Грина является частным случаем теоремы Кельвина–Стокса , примененной к области в -плоскости.

Мы можем расширить двумерное поле до трехмерного поля с компонентой z , которая всегда равна 0. Запишем F для векторной функции . Начнем с левой части теоремы Грина:

Теорема Кельвина–Стокса:

Поверхность — это просто область на плоскости , в которой единичная нормаль определена (по соглашению) как имеющая положительную компоненту z, чтобы соответствовать определениям «положительной ориентации» для обеих теорем.

Выражение внутри интеграла становится

Таким образом, мы получаем правую часть теоремы Грина

Теорема Грина также является прямым результатом общей теоремы Стокса с использованием дифференциальных форм и внешних производных :

Связь с теоремой о расходимости

Рассматривая только двумерные векторные поля, теорема Грина эквивалентна двумерной версии теоремы о расходимости :

где — дивергенция двумерного векторного поля , а — единичный нормальный вектор, направленный наружу на границе.

Чтобы увидеть это, рассмотрим единичную нормаль в правой части уравнения. Поскольку в теореме Грина — это вектор, направленный по касательной вдоль кривой, а кривая C — это положительно ориентированная (т.е. против часовой стрелки) кривая вдоль границы, то внешняя нормаль будет вектором, направленным на 90° вправо от него; одним из вариантов будет . Длина этого вектора равна Так

Начнем с левой части теоремы Грина: Применяя теорему о двумерной расходимости с , получаем правую часть теоремы Грина:

Расчет площади

Теорему Грина можно использовать для вычисления площади с помощью линейного интеграла. [4] Площадь плоской области определяется по формуле

Выберите и так , чтобы площадь была равна

Возможные формулы для площади включения [4]

История

Он назван в честь Джорджа Грина , который сформулировал аналогичный результат в статье 1828 года под названием «Эссе о применении математического анализа к теориям электричества и магнетизма» . В 1846 году Огюстен-Луи Коши опубликовал статью, в которой теорема Грина была изложена в предпоследнем предложении. Это фактически первая печатная версия теоремы Грина в том виде, в котором она представлена ​​в современных учебниках. Джордж Грин, Эссе о применении математического анализа к теориям электричества и магнетизма (Ноттингем, Англия: T. Wheelhouse, 1828). Грин на самом деле не вывел форму «теоремы Грина», которая появляется в этой статье; скорее, он вывел форму «теоремы о расходимости», которая появляется на страницах 10–12 его Эссе .
В 1846 году форма «теоремы Грина», представленная в этой статье, была впервые опубликована без доказательства в статье Огюстена Коши : A. Cauchy (1846) «Об интегралах, распространяющихся на все точки замкнутой кривой», Comptes rendus , 23 : 251–255. (Уравнение приведено внизу страницы 254, где ( S ) обозначает линейный интеграл функции k вдоль кривой s , охватывающей область S .)
Доказательство теоремы было окончательно представлено в 1851 году Бернхардом Риманом в его вступительной диссертации: Бернхард Риман (1851) Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse (Основы общей теории функций переменной комплексной величины), (Гёттинген, (Германия): Адальберт Ренте, 1867); см. страницы 8–9.</ref> [5]

Смотрите также

Ссылки

  1. ^ Райли, Кеннет Ф .; Хобсон, Майкл П.; Бенс, Стивен Дж. (2010). Математические методы для физики и техники (3-е изд.). Кембридж: Cambridge University Press . ISBN 978-0-521-86153-3.
  2. ^ Липшуц, Сеймур ; Шпигель, Мюррей Р. (2009). Векторный анализ и введение в тензорный анализ. Серия набросков Шаума (2-е изд.). Нью-Йорк: McGraw Hill Education . ISBN 978-0-07-161545-7. OCLC  244060713.
  3. ^ Апостол, Том (1960). Математический анализ . Рединг, Массачусетс, США: Addison-Wesley . OCLC  6699164.
  4. ^ ab Stewart, James (1999). Calculus . GWO - A Gary W. Ostedt book (4-е изд.). Pacific Grove, Calif. London: Brooks/Cole . ISBN 978-0-534-35949-2.
  5. ^ Katz, Victor J. (2009). "22.3.3: Complex Functions and Line Integrals". История математики: введение (PDF) (3-е изд.). Бостон, Массачусетс. Мюнхен: Addison-Wesley . стр. 801–5. ISBN 978-0-321-38700-4.

Дальнейшее чтение

Внешние ссылки