ЛЕКЦИИ_ТФКП2 (522787), страница 3
Текст из файла (страница 3)
Пример.
Таким образом, получаем не изолированную особую точку.
1)m
n устранимую особую точку,
2)m>n полюс порядка n-m.
Док-во: {для 2}
Теорема Сохоцкого.
Если
-существенно особая точка функции
, то
.
Док-во:
б) Предположим противное:
ограничена в окрестности точки
.
при
(т.е.
ограничена в окрестности
).
г)В круге
ограничена, как непрерывная функция в замкнутой области.
д) Из б), в), г) следует
ограничена на всей комплексной плоскости.
е)
ограничена на С,
аналитическая, по теореме Ляувилля
противоречие.
а)
имеет не изолированную особую точку.
б)
-изолированная особая точка
имеет изолированную особую точку в
имеет существенно особую точку
по Утв2
имеет существенно особую точку в
Теорема доказана.
Особые точки в бесконечности
Утв. Если
-изолированная особая точка
, то
Док-во:
Пусть
. Раскладываем
в окрестности нуля:
Вычеты
Опр.
-изолированная особая точка.
называется вычетом, где
- коэффициент при -1 степени в разложении ряда Лорана:
Основная теорема о вычетах.
Если G – односвязная область, Г – замкнутый контур, Г ограничевает G, G содержит конечное число изолированных особых точек
функции
, то
Док-во:
Г
Окружит каждую особую точку
окружностью
так, чтобы внутри
не было других особых точек, и чтобы
и
не пересекались(i
j).
Вычисление вычетов
1.
Утв. Если
- устранимая особая точка
, то
(Т.к. главная часть ряда Лорана не содержит ни одного члена
)
2.
а) Утв. Если
-простой полюс
(полюс кратности 1), то
.
Док-во:
Пример.
Док-во:
3.
Утв. Если
-полюс порядка n
, то
.
Док-во:
Пример1.
Пример2.
Лекция 9
Опр.
- изолированная особая точка
,
Док-во:
Теорема. Если
-изолированная особая точка, кроме
имеется конечное число особых точек, то
Док-во:
Возьмем замкнутый контур С, охватывающий все особые точки, кроме
Логарифмический вычет.
Опр. Логарифмическим вычетом называется:
, если С – замкнутый контур,
- аналитическая внутри С и на нем за исключением конечного числа особых точек, все особые точки лежат внутри С, все особые точки – полюсы.
Утв1. Если
,
- нуль кратности
фунции
, то
.
Док-во:
Для функции
- полюс I порядка.
Утв2. Если
-полюс кратности n функции
, то
.
Док-во:
Принцип аргумента.
Теорема. Логарифмический вычет функции
относительно контура С равен приращению
аргумента
при обходе контура С, деленному на
, равно разности между числом нулей М и числом полюсов N функции
в облости D, ограниченной контуром С:
Д
ок-во:
Z W
z w
C
2) Внутри С
будет иметь конечное число нулей, т.к. она аналитическая в замкнутой области. В силу Утв1 и Утв2 :
Теорема Руше.
ЕСЛИ G – односвязная область, С – замкнутый контур, ограничивающий G,
и
аналитические в G и на С,
на С,
на С,
- сумма кратностей всех лежащих в G нулей функции
,
- сумма кратностей всех лежащих в G нулей функции
+
, ТО
.
Док-во:
w
Вектор из начала координат в точку, при такой конфигурации образа С, ни одного оборота не совершит.
.
Пример. Найти количество нулей, которые имеет функция
в круге
.
имеет нуль кратности 5
w имеет 5 нулей.
Утв. Если
, то
имеет n корней.
Док-во:
имеет нуль кратности n, т.о.
имеет n нулей.
Теорема. Если
,
аналитическая в G
, то
- аналитическая.
Док-во:
-
Из пунктов 1) и 2) следует, что для F выполнены условия Коши-Римана, следовательно F аналитическая.
Лекция 10
Вычисление несобственных интегралов с помощью вычетов
Теорема. Если
при x=z,
-изолированная особая точка f(z),
имеет в
нуль не ниже II порядка,
не имеет особых точек на действительной оси,
имеет конечное число особых точек, то
, где
распространяется на особые точки, лежащие выше действительной оси.
Док-во:
Возьмем круг такого радиуса, чтобы на нем и вне его не было особых точек, кроме бесконечности.
Y
R
-R R x
Операционное исчисление
Опр. Функция
называется оригиналом, если:
1)
определена при
,
и
являются кусочно-непрерывными на любом конечном интервале,
Утв. Если
-многочлен степени n,
то
.
Док-во:
Опр.
называется изображением, соответствующим оригиналу f(t), если F(p) – интеграл Лапласа:
Теорема. Если f(t) оригинал, то
- изображение
,
2)
является в полуплоскости
аналитической функцией от p.
Док-во:
, таким образом F(p) сходится.
2) Аналитичность следует из теоремы, доказанной в предыдущей лекции.
След. Если F(p) – изображение некоторого оригинала, то
Зам. Если
, то F(p) сходится равномерно.
Свойства преобразования Лапласа:
-
Линейность
-
Однородность.
Док-во для 2:
Теорема о дифференцировании оригинала.
Если f(t) – оригинал,
-оригинал, F(p)-изображение f(t),
,
Док-во:
Следствие. Если
-оригиналы, то
.
Док-во:
далее по индукции.
Теорема о дифференцировании изображения.
Теорема об интегрировании оригинала.
Док-во:
1) Докажем, что
-оригинал.
а) кусочная гладкость – по свойству интеграла.
Лекция 11
Теорема об интегрировании изображения
Если f(t) – оригинал,
– оригинал, то
.
Док-во:
Теорема о запаздывание
Док-во:
Теорема смещения
Таблица соответствий
Опр. Сверткой функций f и g называется
Утв. Если
, g(t) – оригиналы, то f*g(t) – оригинал.
Док-во:
Пункты 1) и 2) в определении оригинала очевидно выполнены. Докажем выполнение пункта 3).
Теорема о свертках.
Если f(t), g(t) – оригиналы,
,
, то
.
Лемма Жордана
Лемма1. Если f(z) – аналитическая в верхней полуплоскости, за исключением, быть может, конечного числа точек,
- полуокружность в верхней полуплоскости
.
Лекция12
Лемма2. Если f(z) – аналитическая в левой полуплоскости,
,
то
.
Док-во:
Лемма3.
Если f(z) аналитическая,
,
то
.
y
R
Док-во:
4) Из пунктов 1), 2), 3) следует
.
Лемма4. Если f(z) аналитическая
,
,
Докозательство следует из Леммы3.
Теорема об интеграле Фурье.
Если f(t) кусочно непрерывна и кусочно дифференцируема на R, то
(сходится абсолютно).
Теорема обращения преобразования Лапласа.
Док-во:
Теорема разложения.
, для
выполнены условия леммы Жордана, то
.
Док-во:
Пример.
Лекция13
Линейные дифференциальные уравнения
Будем рассматривать ДУ вида:
где
-многочлен степени меньше, чем кратность корня
.
-т.к.
,
, т.е. решение ДУ является оригиналом.
Пример.
Пример.
Пример.
Используем теорему разложения:
Рассмотрим систему дифференциальных уравнений:
Заданы начальные условия:
Всякое решение такой (5) системы ДУ, а именно функции
-, будут оригиналами.
Пример.
Преобразование Лорана и его применение к разностным уравнениям.
Преобразования Лорана
Оригиналы по Лорану – функции целочисленного аргумента f(k),k=0,1,2,…
-изображение,
-главная часть ряда Лорана, сходится в окрестности бесконечно удаленной точки
.
Свойства
-
Линейность
, где
- произвольные постоянные.
Доказательство очевидно.
-
Обращения преобразований Лорана.
3)Теорема разложения.
Пусть С-окружность большого радиуса такая, чтобы на этой окружности не было бы особых точек
.
4)Теорема опережения.
Док-во:
) 














