![](/user_photo/1642_T3gTB.jpg)
- •Математический анализ
- •4 Семестр
- •Содержание.
- •Лекция № 1. Теория функций комплексного переменного. Комплексные числа и действия над ними.
- •10. Определение. Свойства.
- •20. Комплексная плоскость с и декартова плоскость .
- •30. Тригонометрическая форма комплексных чисел.
- •20. Предел f(z) в точке. Непрерывность.
- •30. Производная f(z). Условия Коши-Римана.
- •40. Теорема Коши-Римана.
- •Лекция № 3.
- •10. Геометрический смысл аргумента и модуля .
- •Некоторые конформные отображения.
- •10. Линейное отображение.
- •Лекция № 4.
- •Дробно-линейные отображения.
- •30. Определение. Простейшие свойства.
- •50. Декомпозиция дробно-линейного отображения.
- •Лекция № 5.
- •Лекция № 6.
- •20. Общий вид дробно-линейного отображения.
- •Лекция № 7. Интегрирование функций комплексного переменного.
- •10. Определение
- •Лекция № 8. Формула коши.
- •10. Окончание предыдущей лекции.
- •Лекция № 9. Следствия из формулы коши.
- •10. Напоминание.
- •30. Следствие3 (Теорема Лиувилля)
- •Комплексные ряды.
- •Лекция № 10. Степенные ряды. Ряды тейлора.
- •Лекция № 11.
- •Лекция № 12. Особые тчоки аналитических функций.
- •10. Несколько замечаний к разложению Лорана.
- •30. Классификация изолированных особых точек.
- •Лекция № 13.
- •Лекция № 14.
- •Лекция № 15.
- •Лекция № 16. Интегралы пуассона.
Лекция № 14.
Теория вычетов.
Теория вычетов аналитических функций является основой для вычисления как комплексных, так и ряда вещественных интегралов.
Не исключая при этом и несобственные интегралы.
10. Определение. Примеры.
Пусть f(z)- аналитическая функция в некоторой окрестности точки z=a, исключая, быть может, саму точку а.
Иными словами, если z=a не есть точка аналитична, то она – изолированная особая точка f(z)
Ua
f(z)
Определение. Вычетом f(z) в точке z=a называется число
Заметим,что
даст 1 и то же число, если контур γ-
непрерывно-дифф-я вUa\{a}
Поэтому эквивалентно
γ={z:|z-a|=ε}
Пример.
F(z)=
Очевидно. Если f(z) аналитична в точке а, то вычет ее = 0.
Покажем,
что
Действительно,
по определению
Очевидно,
на окрестности |z-a|=ε
числа z=a+ε
Т.к.
периодическая
функция с периодом 2π.
Замечание. Таким образом, можно сказать
N=0,+-1….
20. Формулы вычисления вычетов.
В соответствии с классификацией особых точек мы должны рассмотреть случаи:
z=a – устранимая
z=a – полюс
z=a –существенно особая точка
Теорема:
Во всех случаях
С-1- коэффициент в ряде Лорана при первой отрицательной степени двучлена (z-a), то есть при 1/(z-a)
Доказательство:
По
теореме Лорана f(z)=
Интегрируем этот ряд почленно по γ={z,|z-a|=ε}
=>
то есть
Ч.т.д.
Ясно,что, если z=a – устранимая особоая точка, т о всегда С-1=0 и вычет то же =0.
В случае полюса необязательно функцию раздагать в ряд Лорана. Этот случай наиболее часто встречается.
30. Случай полюса порядка m>=1.
Теорема:
Если z=a – полюс порядка m>=1, то
Или, что то же,
Доказательство:
Как нам известно, в случае полюса разложение в ряд Лорана имеет вид:
f(z)=
Для определения С-1 имеем
f(z)(z-a)m=C-m+C-m+1(z-a)+…+C-1(z-a)m-1+(z-a)m
-
ряд Тейлора для f(z)(z-a)m
(z-a)m
-
aналитична
В соответствии с коэффициентами рядов Тейлора
С-1=
Ч.т.д.
Особо просто в случае простого подлюса
M=1
0!=1
Resz=af(z)=limz->a[f(z)(z-a)]
40.
f(z)=
На
практике встречаются функции вида
f(z)=где
Ψ(а)=0 Ψ’(ф)<>0
Ψ(z) имеет в точке простой нуль. z=a
Утверждение
в указанных условиях вычет функции
resf(z)=
Доказательство:
Т.к. z=a – полюс первого порядка, то по предыдущей формуле
Resz=af(z)=limz->af(z)(z-a)==limz->a
Остается случай
50. Вычисление комплексных интегралов.
Пусть f(z) аналитична внутри замкнутого контура Г, исключая конечное число изолированных особых точек.
Тогда по интегральной теореме Коши для многосвязной области,
--
основная формула вычисления комплексных
интегралов.
Поскольку мы имеем способ нахождения вычетов независимо от интегрирования, данная формула содержательна.
Вычисление вещественных интегралов.
10.
z=
cos
sin
z==>dz=i
d
|zj|<1
Лекция № 15.
19.05.10
Вычисление несобственных интегралов. Лемма Жордана.
Ряд несобственных вещественных интегралов, встречающихся в математической физике можно вычислить также методом теории вычета.
где
λϵR1
– параметр
Это
есть преобразование Фурье функции f(x)
и обозначается
Этот интеграл играет важную роль в математической физике. Сегодняшняя цель – научиться вычислять такой интеграл методом вычетов.
10. Идея «выхода» в комплексных интегралах
Допустим, что функция f(x), xϵ(-∞;+∞) допускает так называемое аналитическое продолжение в полуплоскость 2n z>0.
Также
существует f(z),
и аналитично всюду, кроме конечного
множества изолированных особых точек.
При этом приf(z)|z=1==f(x).
Для элементарных функций часто достаточно
вместо х подставить z.
Тогда
Re(z)>0
ясно,
что если в формуле (1) R->+∞,
то
Лемма Жордана как раз и посвящена вопросу.
20. Лемма Жордана.
Лемма.
Рассматривается интеграл
, где функцияf(z)
удовлетворяет 2-м условиям:
f(z) аналитична в полуплоскости Imz>0, исключая конечное множество изолированных особых точек.
f(x)->0 при |z|->+∞ (imz>0). Тогда при
Доказательство:
на ГR={z:
z=R}
|eiλz| = |eiλ(x+iy)| = |eiλxe-λy| = |eiλx|e-λy= e-λy
|eiλx|=1
Так
как на ГR
у=Rsin,
то |eiλz|=
(1)
Далее, условие f(z)->0 при |z|->∞ означает, что в этом процессе максимизации модуля
max(f(z)) -> 0 при R->+∞
zϵГR
∀ε>0 ∃R0=R(ε): {|z|>R0(ε) => ∀zϵГR выполняется неравенство |f(z)|<ε}
max|f(z)|<ε
zϵГR
Обратимся непосредственно к оценке интеграла:
имеем:
<=
ds=Rd
– дифференциал дуги на окружности
радиуса R
<==8МRR
/
очевидно
на
\
MR==maxzϵГR |f(z)| -> 0 R->∞
/=2RMR(
ч.т.д.
30. Следствие.
В условиях леммы Жордана
40. Пример.
J=
Замечаем,
что J=Re
- соответствует лемме Жордана при λ=1
f(z)
=
.Im
z>0
Re eix == cosx
при x=1 f(z)=1/(z2+9)
cледовательно,
J=2πi
x2+9=0 (x+3i)(x-3i)=0
/=2πi
Замечание
Обратим внимание на тот факт, что для вычисления несобственного интеграла
,
что находится в некотором несоответствии
с понятием несобственного интеграла.
Таким образом мы с помощью леммы Жордана вычислили главное значение по Коши.
Если интеграл сходится в обычном смысле, то сходится по Коши и соответствующие значения совпадают
Замечание. В ряде случаев (более грубых, чем у Жордана)
P.s.
К таким относятся f(x)=Jm(x)/Rn(x), если n-m>=2
Действительно, в этом случае на ГR функция f(z)2=o(1/R2),
поэтому
|