Теория интегралов Коши

Теория интегралов Коши.

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

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

2. . И здесь подынтегральная функция аналитична, и интеграл равен нулю

3. , и точка   лежит в области, ограниченной контуром L. Сведём интеграл по контуру L к более простому интегралу по окружности  с центром в точке  радиуса  столь малого, что окружность  лежит внутри L. В двухсвязной области, расположенной между L и , функция  аналитична, поэтому (следствие из 19.5.2.2. Теоремы Коши для многосвязной области) . Правый интеграл вычислим напрямую. Как и при вычислении любого криволинейного интеграла, мы должны параметризовать кривую. Если , то параметрические уравнения окружности радиуса  с центром в точке  имеют вид  Можно воспользоваться этими уравнениями, однако проще собрать их в комплексное число:  (таково параметрическое уравнение окружности на комплексной плоскости С), тогда , и .

4. . Выкладки в этом случае такие же, как и в предыдущем. вследствие периодичности первообразной.

Итак, мы доказали, что  при целом n неравен нулю в единственном случае - когда n = -1. В этом случае . Строго говоря, перебирая различные возможности, мы не рассмотрели вариант, когда точка   лежит на контуре L. В этом случае подынтегральная функция теряет определенность в точке , и необходима теория несобственных комплексных интегралов. В то же время очевидно, что если точка , находясь внутри контура L, то , если же  извне контура L, то . Вообще эти вопросы - предмет теории Сохоцкого.

Рекомендуемые материалы

19.6.2. Интегральная формула Коши.  Пусть  аналитична в области D и L - замкнутая кусочно-гладкая кривая, содержащаяся в D вместе с областью D₁, которую она ограничивает. Тогда для каждой точки  имеет место формула 

.

            Доказательство. Заметим, что в этой формуле функция в точке  портится как раз введением множителя . Доказательство очень похоже на доказательство того, что . Мы окружим точку  окружностью  радиуса  столь малого,  что на    мало отличается от : , тогда . Более строго, возьмём  столь малым, что окружность  радиуса  с центром в  лежит в D₁. Функция  аналитична в двусвязной области, заключенной между L и , поэтому (следствие из 19.5.2.2. Теоремы Коши для многосвязной области) . Распишем последний интеграл:  . Второй интеграл здесь равен . Первый интеграл а). не зависит от  ( действительно, подынтегральная функция аналитична в области между   и , где  - окружность радиуса , и по тому же следствию из 19.5.2.2. Теоремы Коши для многосвязной области ; б). .  Из этих утверждений а) и б) следует, что первый интеграл .

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

            Сформулируем несколько следствий из доказанной теоремы.

1. Значения аналитической в некоторой области функции полностью определяются её значениями на границе этой области. Этот факт можно сформулировать в виде теоремы о среднем. Возьмём  такое, что окружность  радиуса  с центром в  лежит в D_1. Тогда , и . Поэтому справедлива

2. Теорема о среднем. Значение аналитической функции в каждой точке z₀ равно среднему арифметическому её значений на любой окружности с центром в точке z₀.

Теорема доказана в предположении, что точка z₀ лежит внутри контура L. Если z₀ находится вне контура, то , так как подынтегральная функция аналитична в .

3. Формула справедлива и для многосвязной области, если под кривой L подразумевать полную границу области. В дальнейшем нам понадобится такой вариант:  аналитична в замкнутом кольце, ограниченном окружностями  и . Тогда для всех z, лежащих внутри кольца, ; при этом окружности проходятся так, что область остаётся слева. В последней формуле переобозначены переменные: .

19.6.3. Бесконечная дифференцируемость аналитической функции. Запишем интегральную формулу Коши в переменных z, t: . Продифференцируем эту формулу по z:  (на самом деле законность дифференцирования интеграла по параметру z  требует обоснования; мы примем этот факт без доказательства). Продолжим дифференцирование: ; , и вообще . Следовательно:

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

19.6.4. Применение интегральных формул Коши к вычислению интегралов. Запишем формулы Коши в виде , . С помощью этих формул вычисляются интегралы от функций вида , где  - аналитическая функция. Естественно, точка z₀ должна лежать внутри контура L (если она лежит вне контура, подынтегральная функция аналитична, и интеграл равен нулю).

Лекция "11 лекция" также может быть Вам полезна.

Примеры: 1. . Здесь  лежит внутри круга , поэтому .

2. . Здесь внутри круга  лежит точка , поэтому  и .

3. . Здесь внутри круга  лежит точка , поэтому  и .

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

5. . Для вычисления этого интеграла воспользуемся формулой  при : .