Jump to content

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

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

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

Пусть 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 ) = 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 является фундаментальным решением оператора Коши–Римана / , мы получаем :

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

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

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

по желанию.

Несколько переменных

[ редактировать ]

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

Предположим, что f — голоморфная функция в D, непрерывная на замыкании D . Затем где ζ знак равно ( ζ 1 ,..., ζ n ) ∈ 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
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 0aa6b933f2e6f26afa588583ebdc9980__1723552680
URL1:https://arc.ask3.ru/arc/aa/0a/80/0aa6b933f2e6f26afa588583ebdc9980.html
Заголовок, (Title) документа по адресу, URL1:
Cauchy's integral formula - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)