шпора (1172604), страница 3
Текст из файла (страница 3)
Теорема о дифференцировании оригинала.
Следствие. Если - оригинал, то
.
11 билет
1. Достаточные условия дифференцируемости функции комплексного переменного (сформулировать и доказать)
Производная функции комплексной переменной вводится так же, как и для функции действительной переменной
Функция называется дифференцируемой в точке
, если ее приращение в этой точке можно представить в виде
, то есть
- бесконечно малая при
. Главная линейная относительно
часть приращения функции в точке
,
называется дифференциалом функции в точке
, (
).
Замечание. Функция двух переменных называется дифференцируемой в точке (
), если ее приращение в этой точке можно представить в виде
где ,
- бесконечно малые при
,
Теорема. Для того, чтобы функция была дифференцируема в точке
, необходимо и достаточно, чтобы существовала ее конечная производная в этой точке.
Доказательство. Проводится так же, как и для функции действительной переменной с использованием теоремы о связи функции, предела и бесконечно малой.
Необходимость. Пусть функция дифференцируема в точке , тогда
. Так как
- бесконечно малая при
, то по теореме о связи функции, ее предела и бесконечно малой,
.
Поэтому - формула для вычисления дифференциала.
Достаточность. Пусть в точке существует конечная производная функции
. Тогда по теореме о связи функции, предела и бесконечно малой
. Умножая на
, получим
. Следовательно, функция дифференцируема в точке
.
Функция называется дифференцируемой в области, если она дифференцируема в каждой точке этой области.
2. Доказать теорему запаздывания
|
Доказательство . Заметим, что =0 при
,
.
12 билет
1. Доказать основную теорему Коши для односвязной области
Интегральная теорема Коши (для односвязной области).
Пусть G – односвязная область, пусть функция f(z) – аналитическая в G функция, пусть L – кусочно—гладкий контур, принадлежащий области G. Тогда .
Теорему можно сформулировать и так: интеграл от аналитической функции вдоль кусочно-гладкого контура равен нулю.
Доказательство.
| Обозначим D – внутренность контура L . Запишем формулу Грина |
Применим к каждому слагаемому в правой части равенства формулу Грина. В первом интеграле примем P = u, Q = -v.
(для аналитической функции выполнены условия Коши – Римана ).
Во втором интеграле примем P = v, Q = u.
Следствие. Пусть L1, L2 – две кусочно-гладких дуги в односвязной области G, соединяющие точки A, B. Пусть функция f(z) – аналитическая в области G. Тогда =
.
Можно дать словесную формулировку: интеграл от аналитической функции в односвязной области вдоль кусочно-гладкой дуги не зависит от формы дуги, а зависит только от начальной и конечной точек дуги.
Доказательство. Образуем контур . По интегральной теореме Коши
Поэтому результат в рассмотренном выше примере не случаен.
Очень важный пример. Вычислить интеграл , где n – целое число, контур
- окружность с центром в точке
радиусом
.
Покажем, что точки z на контуре можно описать уравнением
,
,
- действительное число. В самом деле,
, так как
. Таким образом, контур
- это геометрическое место точек комплексной плоскости, расположенных на расстоянии
от точки
- окружность с центром в точке
радиусом
.
Если , то подынтегральная функция – аналитическая внутри контура
. Тогда по интегральной теореме Коши
= 0.
Пусть . Так как точка z лежит на контуре
, то
,
. Перейдем к переменной
. Пусть
.
по периодичности экспоненты.
2. Доказать теорему запаздывания
|
Доказательство . Заметим, что =0 при
,
.
13 билет.
1. Вывести интегральную формулу Коши
Интегральная формула Коши
| Пусть функция |
Доказательство. По интегральной теореме Коши для многосвязной области
=
, где
- окружность с центром в точке
, радиусом
,
. Радиус окружности выбран достаточно малым, чтобы окружность целиком лежала в области D. Так как
(важный пример в предыдущей лекции), то
. Оценим |
| =
(на окружности ,
, так как
. По непрерывности функции
).
. В силу произвольности
|
| = 0. Следовательно,
.
2. Доказать теорему смещения
Здесь по теореме об области определения изображения.
Заданы изображения найти оригиналы .
14 билет
1. Вывести интегральную формулу Коши
Интегральная формула Коши
| Пусть функция |
Доказательство. По интегральной теореме Коши для многосвязной области
=
, где
- окружность с центром в точке
, радиусом
,
. Радиус окружности выбран достаточно малым, чтобы окружность целиком лежала в области D. Так как
(важный пример в предыдущей лекции), то
. Оценим |
| =
(на окружности ,
, так как
. По непрерывности функции
).
. В силу произвольности
|
| = 0. Следовательно,
.
2. Доказать теорему о дифференцировании оригинала
Теорема о дифференцировании оригинала.
Следствие. Если - оригинал, то
.
15 билет
1.Доказать теорему о производной аналитической функции
Теорема. Аналитическая функция является бесконечно дифференцируемой в области аналитичности.
Доказательство. Можно показать, что интеграл в интегральной формуле Коши можно дифференцировать по z0, как по параметру. Проводя это дифференцирование нужное число раз, получим формулу для n – ой производной аналитической функции.
. Это - формула для n – ой производной аналитической функции.
С помощью полученных формул (деля обе части на коэффициент перед интегралом) можно вычислять интегралы вида
Примеры. 1. (по интегральной формуле Коши)
2. (по формуле для первой производной)
3. Вычислить . Аналитичность функции нарушается в точках z=0, z=1. Рассмотрим два контура:
– окружности с центрами в точках z=0, z=1, радиусами r=1/4.
. По интегральной теореме Коши для многосвязной области
=
+
=
=
2.Доказать теорему об интегрировании оригинала
Теорема о дифференцировании оригинала.
Следствие. Если - оригинал, то
.
16 билет
1.Вывести формулу для вычисления вычетов в полюсе
Если z0 – правильная особая точка, то ряд Лорана превращается в ряд Тейлора, в котором нет отрицательных степеней , поэтому
=0.
Если z0 – полюс первого порядка, то разложение в ряд Лорана в окрестности этой точки не содержит степеней , ниже, чем –1 и содержит степень -1. Разложение выглядит так.
Перейдем к пределу при
, чтобы обратились в нуль все слагаемые в правой части, содержащие целые степени
.
- формула для вычета функции в полюсе первого порядка.
В том случае, когда z0 – полюс первого порядка функции вида
, можно получить удобную в вычислениях формулу для вычета.
=
- формула для вычета функции в полюсе первого порядка. Здесь использованы условия
.
Пример. Найти вычеты функции во всех особых точках конечной плоскости.
У функции два полюса первого порядка .
По первой формуле
Применим вторую формулу
В том случае, когда z0 – полюс n-го порядка, то разложение в ряд Лорана в окрестности этой точки не содержит степеней , ниже, чем –n и содержит степень –n
. Разложение выглядит так.
Уничтожим степень при коэффициенте дифференцированием, его надо провести
раз. Получим
Перейдем к пределу при . Все слагаемые в правой части, содержащие целые степени
(второе, третье, четвертое и т.д.) обратятся в нуль. Отсюда имеем формулу для вычета функции в полюсе n – ого порядка: