Интегральная формула Коши
Математический анализ → Комплексный анализ |
Комплексный анализ |
---|
Комплексные числа |
Сложные функции |
Основная теория |
Геометрическая теория функций |
Люди |
В математике интегральная формула Коши , названная в честь Огюстена-Луи Коши , является центральным утверждением комплексного анализа . Он выражает тот факт, что голоморфная функция , определенная на диске, полностью определяется своими значениями на границе диска, и дает интегральные формулы для всех производных голоморфной функции. Формула Коши показывает, что в комплексном анализе «дифференцирование эквивалентно интегрированию»: комплексное дифференцирование, как и интегрирование, хорошо ведет себя в единых пределах – результат, который не справедлив для реального анализа .
Теорема [ править ]
Пусть U — открытое подмножество комплексной плоскости C и предположим, что замкнутый диск D определяется как
Доказательство этого утверждения использует интегральную теорему Коши и, как и эта теорема, требует только того, чтобы f была комплексно дифференцируемой . С можно разложить в степенной ряд по переменной
Эту формулу иногда называют формулой дифференцирования Коши .
Сформулированную выше теорему можно обобщить. Окружность γ можно заменить любой замкнутой спрямляемой кривой в U , имеющей витка номер один вокруг a . Более того, что касается интегральной теоремы Коши, то достаточно потребовать, чтобы f была голоморфной в открытой области, ограниченной путем, и непрерывной на ее замыкании .
Обратите внимание, что не каждую непрерывную функцию на границе можно использовать для создания функции внутри границы, которая соответствует данной граничной функции. Например, если мы положим функцию f ( z ) = 1 / z , определенный для | г | = 1 в интегральной формуле Коши мы получаем ноль для всех точек внутри круга. В самом деле, достаточно указать на границе голоморфной функции только действительную часть, чтобы определить функцию с точностью до мнимой константы — на границе имеется только одна мнимая часть, соответствующая данной действительной части, с точностью до добавления константы . Мы можем использовать комбинацию преобразования Мёбиуса и формулы обращения Стилтьеса , чтобы построить голоморфную функцию из действительной части на границе. Например, функция f ( z ) = i − iz имеет действительную часть Re f ( z ) = Im z . На единичном круге это можно записать я / z - из / 2 . Используя преобразование Мёбиуса и формулу Стилтьеса, построим функцию внутри круга. Член i / z не вносит вклада, и мы находим функцию − iz . Это имеет правильную действительную часть на границе, а также дает нам соответствующую мнимую часть, но с отклонением на константу, а именно i .
Эскиз доказательства [ править ]
Используя интегральную теорему Коши , можно показать, что интеграл по C (или замкнутой спрямляемой кривой) равен тому же интегралу, взятому по сколь угодно малому кругу вокруг a . Поскольку f ( z ) непрерывна, мы можем выбрать достаточно малый круг, на котором f ( z ) будет сколь угодно близко к f ( a ) . С другой стороны, интеграл
Полагая ε → 0, получим искомую оценку
Пример [ править ]
Позволять
Чтобы найти интеграл от g ( z ) вокруг контура C , нам нужно знать особенности g ( z ) . Заметьте, что мы можем переписать g следующим образом:
Таким образом, g имеет полюса в точках z 1 и z 2 . Модули . этих точек меньше 2 и, следовательно, лежат внутри контура Этот интеграл можно разделить на два меньших интеграла по теореме Коши – Гурса ; то есть мы можем выразить интеграл вокруг контура как сумму интеграла вокруг z 1 и z 2 , где контур представляет собой небольшой круг вокруг каждого полюса. Назовем эти контуры C 1 вокруг z 1 и C 2 вокруг z 2 .
Теперь каждый из этих меньших интегралов можно вычислить по интегральной формуле Коши, но сначала их необходимо переписать, чтобы применить теорему. Для интеграла вокруг C 1 определите f 1 как f 1 ( z ) знак равно ( z - z 1 ) g ( z ) . Это аналитично (так как контур не содержит другой особенности). Мы можем упростить f 1 так:
Поскольку интегральная формула Коши гласит:
Аналогично делаем и для другого контура:
Тогда интеграл по исходному контуру C представляет собой сумму этих двух интегралов:
Элементарный трюк с использованием разложения на частичные дроби :
Последствия [ править ]
Интегральная формула имеет широкое применение. Во-первых, это означает, что функция, голоморфная в открытом множестве, на самом деле там бесконечно дифференцируема . Кроме того, это аналитическая функция , то есть ее можно представить в виде степенного ряда . В доказательстве этого используется теорема о доминируемой сходимости и геометрическая прогрессия, примененная к
Формула также используется для доказательства теоремы о вычетах , которая является результатом для мероморфных функций , и связанного с ней результата — принципа аргумента . известно Из теоремы Мореры , что равномерный предел голоморфных функций голоморфен. Это также можно вывести из интегральной формулы Коши: действительно, формула верна и в пределе, и подынтегральная функция, а следовательно, и интеграл, может быть разложена в степенной ряд. Кроме того, формулы Коши для производных высших порядков показывают, что все эти производные также сходятся равномерно.
Аналогом интегральной формулы Коши в реальном анализе является интегральная формула Пуассона для гармонических функций ; многие результаты для голоморфных функций переносятся и на этот случай. Однако такие результаты не справедливы для более общих классов дифференцируемых или вещественных аналитических функций. Например, существование первой производной действительной функции не обязательно должно предполагать существование производных более высокого порядка или, в частности, аналитичность функции. Аналогично, равномерный предел последовательности (действительных) дифференцируемых функций может не быть дифференцируемым или может быть дифференцируемым, но с производной, которая не является пределом производных членов последовательности.
Другое следствие состоит в том, что если f ( z ) = Σ a n z н голоморфен в | г | < R и 0 < r < R , то коэффициенты a n удовлетворяют неравенству Коши [1]
Из неравенства Коши легко вывести, что каждая ограниченная целая функция должна быть постоянной (что является теоремой Лиувилля ).
Формулу также можно использовать для вывода теоремы Гаусса о среднем значении , которая гласит: [2]
Другими словами, среднее значение f по кругу с центром в z и радиусом r равно f ( z ) . Это можно вычислить непосредственно через параметризацию круга.
Обобщения [ править ]
Плавные функции [ править ]
Разновидностью интегральной формулы Коши является формула Коши – Помпейю : [3] и справедливо и для гладких функций , поскольку основано на теореме Стокса . Пусть D — диск в C , и предположим, что f — комплекснозначный C 1 функция замыкании D . на Затем [4] [5] [6]
Эту формулу представления можно использовать для решения неоднородных уравнений Коши – Римана в D . Действительно, если φ — функция из D , то частное решение f уравнения является голоморфной функцией вне носителя µ . Более того, если в открытом множестве D ,
Вкратце, первый вывод состоит в том, что свертка µ ∗ k ( z ) меры с компактным носителем с ядром Коши
Обобщенную интегральную формулу Коши можно вывести для любой ограниченной открытой области X с C 1 граница ∂ X из этого результата и формулы для производной распределения характеристической функции χ X числа X :
Для рассчитать:
затем пересечь в направлении против часовой стрелки. Исправить точку и пусть обозначим длину дуги на измерено от против часовой стрелки. Тогда, если длина представляет собой параметризацию . Производная является единичной касательной к и Внешний вид устройства нормальный? . Мы выстроились в очередь за применением теоремы о расходимости : положим так что и мы получаем
Таким образом, мы доказали .
Теперь мы можем вывести обобщенную интегральную формулу Коши:
С и поскольку этот дистрибутив находится локально в вида «времена распределения C ∞ функция», поэтому мы можем применить правило Лейбница для вычисления ее производных:
Используя это (π z ) −1 является фундаментальным решением оператора Коши–Римана ∂ / ∂z̄ получаем , мы :
Применение к :
где используется в последней строке.
Переставляя, получаем
по желанию.
Несколько переменных [ править ]
В нескольких комплексных переменных интегральная формула Коши может быть обобщена на полидиски . [9] Пусть D — полидиск, заданный как произведение n D открытых дисков n 1 , ..., D : декартово
Предположим, что f — голоморфная функция в D, непрерывная на замыкании D . Затем
В реальных алгебрах [ править ]
Интегральная формула Коши обобщается на вещественные векторные пространства двух или более измерений. Понимание этого свойства приходит из геометрической алгебры объекты, выходящие за рамки скаляров и векторов (такие как плоские бивекторы и объемные тривекторы , где рассматриваются ), а также из правильного обобщения теоремы Стокса .
Геометрическое исчисление определяет производный оператор ∇ = ê i ∂ i относительно своего геометрического произведения, то есть для k -векторного поля ψ ( r ) производная ∇ ψ обычно содержит члены степени k + 1 и k − 1 . Например, векторное поле ( k = 1 ) обычно имеет в своей производной скалярную часть, дивергенцию ( k = 0 ), и бивекторную часть, ротор ( k = 2 ). Этот конкретный оператор производной имеет функцию Грина :
Именно это полезное свойство можно использовать в сочетании с обобщенной теоремой Стокса:
Когда ∇ f = 0 , f ( r ) называется моногенной функцией , это обобщение голоморфных функций на многомерные пространства - действительно, можно показать, что условие Коши-Римана - это просто двумерное выражение моногенного условия . Когда это условие выполняется, второй член правого интеграла исчезает, остается только
Таким образом, как и в двумерном (комплексном анализе) случае, значение аналитической (моногенной) функции в точке можно найти с помощью интеграла по поверхности, окружающей точку, причем это справедливо не только для скалярных функций, но и векторных а также общие многовекторные функции.
См. также [ править ]
- Уравнения Коши – Римана.
- Методы контурного интегрирования
- Теорема Нахбина
- Теорема Мореры
- Теорема Миттаг-Леффлера
- Функция Грина обобщает эту идею на нелинейную установку.
- Интегральная формула Шварца
- Формула Парсеваля – Гутцмера
- Формула Бохнера – Мартинелли
Примечания [ править ]
- ^ Титчмарш 1939 , с. 84
- ^ «Теорема Гаусса о среднем значении» . Сайт Вольфрам Альфа .
- ^ Помпей 1905 г.
- ^ «§2. Комплексные 2-формы: формула Коши-Помпею» (PDF) .
- ^ Хёрмандер 1966 , Теорема 1.2.1
- ^ «Теорема 4.1.1 (Коши – Помпеи)» (PDF) .
- ^ Хёрмандер 1983 , стр. 63, 81.
- ^ Хёрмандер 1983 , стр. 62–63.
- ^ Хёрмандер 1966 , Теорема 2.2.1
Ссылки [ править ]
- Альфорс, Ларс (1979). Комплексный анализ (3-е изд.). МакГроу Хилл. ISBN 978-0-07-000657-7 .
- Помпейу, Д. (1905). «О непрерывности функций комплексных переменных» (PDF) . Анналы факультета наук Тулузы . Серия 2. 7 (3): 265–315.
- Титчмарш, ЕС (1939). Теория функций (2-е изд.). Издательство Оксфордского университета .
- Хёрмандер, Ларс (1966). Введение в комплексный анализ с несколькими переменными . Ван Ностранд.
- Хёрмандер, Ларс (1983). Анализ линейных дифференциальных операторов в частных производных I . Спрингер. ISBN 3-540-12104-8 .
- Доран, Крис; Ласенби, Энтони (2003). Геометрическая алгебра для физиков . Издательство Кембриджского университета. ISBN 978-0-521-71595-9 .