Интегральная формула Коши

(Перенаправлено из интегральной формулы Коши )

В математике интегральная формула Коши , названная в честь Огюстена-Луи Коши , является центральным утверждением комплексного анализа . Он выражает тот факт, что голоморфная функция , определенная на диске, полностью определяется своими значениями на границе диска, и дает интегральные формулы для всех производных голоморфной функции. Формула Коши показывает, что в комплексном анализе «дифференцирование эквивалентно интегрированию»: комплексное дифференцирование, как и интегрирование, хорошо ведет себя в единых пределах – результат, который не справедлив для реального анализа .

Теорема [ править ]

Пусть U открытое подмножество комплексной плоскости C и предположим, что замкнутый диск D определяется как

содержится в U. полностью Пусть f : U C голоморфная функция , и пусть круг , ориентированный против часовой стрелки , образующий границу D. γ — Тогда a внутри D для любого

Доказательство этого утверждения использует интегральную теорему Коши и, как и эта теорема, требует только того, чтобы f была комплексно дифференцируемой . С можно разложить в степенной ряд по переменной

отсюда следует, что голоморфные функции аналитичны , т. е. их можно разложить в сходящиеся степенные ряды.В частности, 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 ) . С другой стороны, интеграл

над любой окружностью C с центром в a . Это можно вычислить непосредственно с помощью параметризации ( интегрирования путем замены ) z ( t ) = a + εe это где 0 ≤ t ≤ 2π и ε — радиус круга.

Полагая ε → 0, получим искомую оценку

Пример [ править ]

Поверхность вещественной части функции g ( z ) = С 2 / С 2 + 2 z + 2 и ее особенности с контурами, описанными в тексте.

Позволять

и пусть C — контур, описываемый | г | = 2 (окружность радиуса 2).

Чтобы найти интеграл от g ( z ) вокруг контура C , нам нужно знать особенности g ( z ) . Заметьте, что мы можем переписать g следующим образом:

где z 1 знак равно - 1 + я и z 2 знак равно - 1 - я .

Таким образом, 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 ,

для некоторого φ C к ( D ) (где k ≥ 1 ), то f ( ζ , ζ ) также находится в C к ( D ) и удовлетворяет уравнению

Вкратце, первый вывод состоит в том, что свертка µ k ( z ) меры с компактным носителем с ядром Коши

является голоморфной функцией без носителя µ . Здесь pv обозначает главное значение . Второй вывод утверждает, что ядро ​​Коши является фундаментальным решением уравнений Коши–Римана. Заметим, что для гладких комплекснозначных функций f с компактным носителем на C обобщенная интегральная формула Коши упрощается до
и является повторением того факта, что, рассматриваемый как распределение , z ) −1 является фундаментальным решением оператора Коши–Римана / . [7]

Обобщенную интегральную формулу Коши можно вывести для любой ограниченной открытой области X с C 1 граница X из этого результата и формулы для производной распределения характеристической функции χ X числа X :

где распределение в правой части обозначает интегрирование вдоль ∂X контурное . [8]

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

Для рассчитать:

затем пересечь в направлении против часовой стрелки. Исправить точку и пусть обозначим длину дуги на измерено от против часовой стрелки. Тогда, если длина представляет собой параметризацию . Производная является единичной касательной к и Внешний вид устройства нормальный? . Мы выстроились в очередь за применением теоремы о расходимости : положим так что и мы получаем

Таким образом, мы доказали .

Теперь мы можем вывести обобщенную интегральную формулу Коши:

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

С и поскольку этот дистрибутив находится локально в вида «времена распределения C функция», поэтому мы можем применить правило Лейбница для вычисления ее производных:

Используя это z ) −1 является фундаментальным решением оператора Коши–Римана / ∂z̄ получаем , мы :

Применение к :

где используется в последней строке.

Переставляя, получаем

по желанию.

Несколько переменных [ править ]

В нескольких комплексных переменных интегральная формула Коши может быть обобщена на полидиски . [9] Пусть D — полидиск, заданный как произведение n D открытых дисков n 1 , ..., D : декартово

Предположим, что f — голоморфная функция в D, непрерывная на замыкании D . Затем

где ζ знак равно ( ζ 1 ,..., ζ п ) ∈ D .

В реальных алгебрах [ править ]

Интегральная формула Коши обобщается на вещественные векторные пространства двух или более измерений. Понимание этого свойства приходит из геометрической алгебры объекты, выходящие за рамки скаляров и векторов (такие как плоские бивекторы и объемные тривекторы , где рассматриваются ), а также из правильного обобщения теоремы Стокса .

Геометрическое исчисление определяет производный оператор ∇ = ê i i относительно своего геометрического произведения, то есть для k -векторного поля ψ ( r ) производная ψ обычно содержит члены степени k + 1 и k − 1 . Например, векторное поле ( k = 1 ) обычно имеет в своей производной скалярную часть, дивергенцию ( k = 0 ), и бивекторную часть, ротор ( k = 2 ). Этот конкретный оператор производной имеет функцию Грина :

где S n — площадь поверхности единичного n шара в пространстве (т. е. S 2 = 2π , длина окружности радиуса 1, и S 3 = 4π , площадь поверхности сферы радиуса 1) . По определению функции Грина

Именно это полезное свойство можно использовать в сочетании с обобщенной теоремой Стокса:

где для n -мерного векторного пространства d S представляет собой ( n − 1) -вектор, а d V представляет собой n -вектор. Функция f ( r ) в принципе может состоять из любой комбинации мультивекторов. Доказательство интегральной теоремы Коши для пространств более высокой размерности основано на использовании обобщенной теоремы Стокса о величине G ( r , r ′) f ( r ′) и использовании правила произведения:

Когда f = 0 , f ( r ) называется моногенной функцией , это обобщение голоморфных функций на многомерные пространства - действительно, можно показать, что условие Коши-Римана - это просто двумерное выражение моногенного условия . Когда это условие выполняется, второй член правого интеграла исчезает, остается только

где i n вектор этой алгебры — единичный n- , псевдоскаляр . Результат

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

См. также [ править ]

Примечания [ править ]

  1. ^ Титчмарш 1939 , с. 84
  2. ^ «Теорема Гаусса о среднем значении» . Сайт Вольфрам Альфа .
  3. ^ Помпей 1905 г.
  4. ^ «§2. Комплексные 2-формы: формула Коши-Помпею» (PDF) .
  5. ^ Хёрмандер 1966 , Теорема 1.2.1
  6. ^ «Теорема 4.1.1 (Коши – Помпеи)» (PDF) .
  7. ^ Хёрмандер 1983 , стр. 63, 81.
  8. ^ Хёрмандер 1983 , стр. 62–63.
  9. ^ Хёрмандер 1966 , Теорема 2.2.1

Ссылки [ править ]

Внешние ссылки [ править ]