Лектор Пахомова Е.Г г. Математический анализ Раздел: Теория функций комплексного переменного Тема: Интегрирование функций комплексного переменного

§ 6. Интегрирование функций комплексного переменного 1. Интеграл от фкп Пусть (AB) – простая (т.е. без кратных точек) спрямляемая (т.е. имеющая длину) кривая в комплексной плоскости. Выберем на (AB) направление: а) A – начало, B – конец, если (AB) не замкнутая; б) против часовой стрелки, если (AB) – замкнутая. Пусть f(z) – однозначная функция, определенная на (AB). 1.Разобьем кривую (AB) произвольным образом на n частей точками z 0 =A, z 1, …, z n =B в направлении от A к B. 2.На каждой дуге (z i–1 z i ) выберем произвольную точку ζ i и вычислим произведение f(ζ i ) · Δz i, где Δz i =z i –z i-1.

Сумму назовем интегральной суммой для функции f(z) по кривой (AB) (соответствующей данному разбиению кривой (AB) и данному выбору точек ζ i ). Пусть Число I называется пределом интегральных сумм I n (z i,ζ i ) при λ 0, если для любого ε>0 существует δ>0 такое, что для любого разбиения кривой (AB) у которого λ

СВОЙСТВА ИНТЕГРАЛА ОТ ФКП Замечание: предполагаем, что все рассматриваемые в свойствах интегралы существуют. 1.Интеграл от фкп зависит от направления движения по кривой. При изменении направления движения по кривой (AB) интеграл меняет знак, т.е. 2.Если кривая (AB) замкнута, то интеграл не зависит выбора начальной точки A, а зависит от направления обхода кривой.

3.Постоянный множитель можно выносить за знак интеграла, т.е. 4. Интеграл от алгебраической суммы двух (конечного числа) функций равен алгебраической сумме интегралов от этих функций, т.е. 5.Если кривая (AB) разбита точкой K на две части (AK) и (KB), то (свойство аддитивности интеграла от фкп).

ДОКАЗАТЕЛЬСТВО – самостоятельно 7. Если во всех точках кривой (AB) выполняется неравенство | f(z) | < M, то где – длина кривой (AB).

ВЫЧИСЛЕНИЕ ИНТЕРАЛОВ ОТ ФКП ТЕОРЕМА 1 (существования интеграла от фкп). Если ( ) – гладкая кривая, и функция f(z) непрерывна на ( ), то f(z) интегрируема по кривой ( ) и справедливо равенство где u(x,y), v(x,y) – действительная и мнимая часть функции f(z). ДОКАЗАТЕЛЬСТВО – самостоятельно

ТЕОРЕМА 2. Если гладкая кривая ( ) задана параметрическими уравнениями x = φ(t),y = ψ(t),где α t β(A α,B β), и функция f(z) интегрируема по кривой ( ), то справедливо равенство где z(t)=x(t)+iy(t) – комплексная форма параметрических урав- нений кривой ( ), ДОКАЗАТЕЛЬСТВО – самостоятельно

2. Интегрирование аналитических фкп Напомним: ТЕОРЕМА. Пусть функции P(x,y,z), Q(x,y,z), R(x,y,z) непре- рывны вместе со своими частными производными в некото- рой односвязной области D Oxyz. Следующие условия эквивалентны: 1) интеграл не зависит от линии интегрирования; 3) справедливы равенства 4) выражение Pdx + Qdy + Rdz является полным дифферен- циалом некоторой функции u(x,y,z), т.е. du = Pdx + Qdy + Rdz.

Для плоской кривой и функций двух переменных получим: ТЕОРЕМА. Пусть функции P(x,y), Q(x,y), непрерывны вместе со своими частными производными в некоторой односвязной области D Oxy. Следующие условия эквивалентны: 1) интеграл не зависит от линии интегрирования; 4)выражение Pdx + Qdy является полным дифференци- алом некоторой функции u(x,y), т.е. du = Pdx + Qdy.

ТЕОРЕМА 3 (Коши, для односвязной области). Если функция f(z) аналитична в односвязной области D, то интеграл от этой функции по любому замкнутому кусочно-гладкому контуру ( ), целиком лежащему в D, равен нулю. ЗАМЕЧАНИЯ. 1) Порядком связности области называется число связных частей, на которые разбивается ее граница. 2) Утверждение, обратное теореме 3, тоже справедливо. А именно: Если f(z) непрерывна в односвязной области D и для любого кусочно-гладкого замкнутого контура ( ) D выпол- няется условие то f(z) аналитична в D (теорема Морера).

ТЕОРЕМА 4 (о независимости интеграла от аналитической функции от формы кривой). Если функция f(z) аналитична в односвязной области D, то A,B D интеграл не зависит от формы кривой, соединяющей точки A и B. Пусть G – (n+1)-связная область, ( ), ( 1 ),…,( n ) – ее границы. ( ) – внешняя граница G, ( 1 ), …, ( n ) – внутренние границы G. ТЕОРЕМА 5 (Коши для многосвязной области). Пусть кривые ( ), ( 1 ),…, ( n ) – кусочно-гладкие, не пересекающиеся и ни одна из областей, ограниченных ( i ) не содержит кривой ( j ). Если f(z) аналитична в области G и на ее границах, то

3. Первообразная аналитической функции Неопределенный интеграл ОПРЕДЕЛЕНИЕ. Функция F(z) называется первообразной функции f(z) на множестве D, если Пусть f(z) аналитическая в односвязной области D, z 0,z D. Тогда интеграл не зависит от формы кривой, соединяющей z 0 и z. Если z 0 фиксировано, то ТЕОРЕМА 6 (о существовании первообразной). Пусть f(z) аналитична в односвязной области D, z 0 D. Тогда является первообразной функции f(z) в D.

СЛЕДСТВИЕ ТЕОРЕМЫ 7. Если f(z) аналитическая и f (z) = 0 в некоторой области D, то в этой области f(z) = const. ОПРЕДЕЛЕНИЕ. Множество всех первообразных функции f(z) называют неопределенным интегралом от функции f(z) и обозначают ТЕОРЕМА 7 (о количестве первообразных). Любые две первообразные для одной аналитической функции отличаются на константу. ДОКАЗАТЕЛЬСТВО

СЛЕДСТВИЕ ТЕОРЕМЫ 6 и 7. Если f(z) аналитична в односвязной области D, то ее неопределенный интеграл может быть записан в виде где C – произвольная постоянная (C ), а интеграл берется вдоль любой кривой в D, соединяющей точки z 0 и z. ТЕОРЕМА 8 (формула Ньютона – Лейбница для интеграла от аналитической функции). Если f(z) аналитична в односвязной области D, то интеграл от f(z) не зависит от формы кривой, соединяющей точки z 1 и z 2, и справедлива формула:

4. Интегральная формула Коши ТЕОРЕМА 9 (интегральная формула Коши). Пусть D – односвязная область, ограниченная кусочно-глад- ким контуром C; – замыкание области D ; f(z) аналитична в замкнутой области Тогда для любой точки z 0 D справедлива формула Формула (2) называется интегральной формулой Коши. ДОКАЗАТЕЛЬСТВО

Пусть( ) – кусочно-гладкая кривая ; f(z) – непрерывна на ( ). Рассмотрим интеграл Интеграл вида где z – любая точка ( ), называется интегралом типа Коши. ТЕОРЕМА 10 (об аналитичности интеграла типа Коши). Функция F(z), определенная интегралом типа Коши, анали- тична в любой конечной точке z ( ). Кроме того, она имеет производные любого порядка, причем справедлива формула

СЛЕДСТВИЕ ТЕОРЕМЫ 10 (теорема о производных высших порядков аналитической функции). Пусть f(z) аналитична в односвязной области D и на ее кусочно-гладкой границе C. Тогда f(z) имеет в D производные любого порядка, причем для них справедлива формула где z 0 – любая точка области D.