Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл: Источник:
Скачиваний:
206
Добавлен:
04.03.2014
Размер:
3.79 Mб
Скачать

Лекция 2 Последовательность и ее предел.

Комплексное число называетсяпределом последовательности: (илипоследовательность сходится к точке:), если

выполнено .

Теорема. Для того чтобы последовательность {}необходимо и достаточно .

Доказательство провести самостоятельно, используя неравенство треугольника () и теорему Пифагора ().

Из теоремы следует, что многие свойства последовательностей действительных чисел могут быть перенесены на последовательности комплексных чисел.

Функция комплексной переменной.

Пусть произвольной точке поставлена в соответствие точка (единственная)(- две комплексных плоскости) по некоторому закону. Тогда говорят, что определена функция комплексной переменной с областью определенияи областью значений в множестве(или задано отображение областив область).

Комплексное число , как всякое комплексное число, имеет действительную и мнимую части. Это – действительнаяи мнимаячасти функции.

Пример. Выделим действительную и мнимую части функции .

Элементарные функции комплексной переменной.

Экспонента и при комплексныхzсохраняет свои основные свойства

.

Формула Эйлера справедлива и для комплексных чиселz. Это будет показано позже. Используя четностьcosz,chzи нечетностьsinz,shz, (для комплексныхzэто тоже будет показано позже), получим формулы связи экспоненты с с тригонометрическими и гиперболическими синусами и косинусами.. Складывая и вычитая, получим

.

Гиперболические косинус и синус определяются аналогично функциям действительной переменной

.

Отсюда .

Получим формулы связи тригонометрических и гиперболических косинусов и синусов.

Покажем, что функции - функциипериодические с периодом.

,

имеют тот же период, так как они являются линейной комбинацией- периодических функций с периодом.

Покажем, что функции - функциипериодические с периодом.

.

имеют тот же период, так как они являются линейной комбинацией- периодических функций с периодом.

Упражнение. Выведите формулы

,

используя свойства экспоненты и полученные выше формулы.

Пример. Вычислить sin (+5i), tg ()

sin (+5i) = sincos5i + cos sin5i = sin5i = ch5

Логарифмическая функция.

Функция определяется как обратная функция по отношению к функции. Пусть,.

Тогда .

Так как , то, переходя в последнем соотношении к модулям, имеем,.

Аргументы левой и правой части в соотношении могут отличаться на , поэтому. Поэтому

.

Это – многозначная функция. Ее главная ветвь

- функция однозначная.

Пример. Вычислить ln(-1),Ln(-1),ln(1+i).

Ln(-1) = ln |-1| + iarg (-1) + =+, ln(-1) =

ln(1+i) = ln|1+i| + iarg(1+i) = .

Предел и непрерывность функции.

Комплексное число bназывается пределом функцииf(z) при,

.

Это определение – то же, что определение предела функции действительной переменной с той лишь разницей, что модуль здесь имеет смысл расстояния на комплексной плоскости, а не на действительной прямой, как раньше. Кроме того, окрестность точки – не интервал с центром в этой точке, акруг без границы с центром в этой точке.

Функция называетсянепрерывной в точке ,если.

Функция называетсянепрерывной в области G, если она непрерывна в каждой точке этой области.

Область Mназывается областью однолистности функции, если

Линейная функция осуществляетлинейное отображениекомплексной плоскости на себя.. Отсюда видно, что линейное отображение сводится к растяжению враз и повороту накомплексной плоскости. Здесь область однолистности – вся плоскость.

Инверсия () переводит все точки, лежащие вне единичной окружностивнутрь и наоборот. Точкиостаются на месте, единичная окружность отображается на себя.

Отображение () часть действительной оси () и верхнюю полуплоскость отображает на всю плоскость. Часть действительной оси () и нижняя полуплоскость тоже отображаются на всю плоскость. Здесь две области однолистности. Поэтому обратная функциядвузначна.

Упражнение.Покажите, что при отображениисуществуетnобластей однолистности. Выделите их. Функцияпоэтомуn– значна.

Отображение переводит прямую, параллельную мнимой оси () в- окружность с центром в начале координат, радиусом. Прямая, параллельная действительной осипереводится в- луч из начала координат под угломyк действительной оси.

Поэтому полоса размером вдоль действительной оси переводится во всю плоскость и представляет собой область однолистности (каждый отрезок в полосе, параллельный мнимой оси (x=a) отобразится в окружность радиусаaс центром в начале координат, меняяa, заполним этими окружностями всю плоскость). Следовательно, здесь бесконечное количество областей однолистности, а обратная функция- бесконечнозначна.

Производная функции комплексной переменной вводится так же, как и для функции действительной переменной

.

Функция называетсядифференцируемой в точке ,если ее приращение в этой точке можно представить в виде

, то есть- бесконечно малая при. Главная линейная относительночасть приращения функции в точке,называетсядифференциалом функции в точке , ().

Замечание.Функция двух переменных называется дифференцируемой в точке (), если ее приращение в этой точке можно представить в виде

++,

где ,- бесконечно малые при,

,.

Теорема. Для того, чтобы функциябыла дифференцируема в точке, необходимо и достаточно, чтобы существовала ее конечная производная в этой точке.

Доказательство. Проводится так же, как и для функции действительной переменной с использованием теоремы о связи функции, предела и бесконечно малой.

Необходимость. Пусть функция дифференцируема в точке , тогда

,

Делим обе части на

. Так как- бесконечно малая при, то по теореме о связи функции, ее предела и бесконечно малой,.

Поэтому -формула для вычисления дифференциала.

Достаточность. Пусть в точке существует конечная производная функции. Тогда по теореме о связи функции, предела и бесконечно малой. Умножая на, получим. Следовательно, функция дифференцируема в точке.

Функция называется дифференцируемой в области, если она дифференцируема в каждой точке этой области.

Теорема (Коши – Римана).Для того, чтобы функциябыла дифференцируема в точке, необходимо и достаточно, чтобы ее действительная и мнимая части,были бы дифференцируемы в этой точкекак функции двух переменных и в этой точке выполнялись быусловия Коши – Римана

, причем.

Замечание. С учетом условий Коши – Римана производная функции в точке может быть записана так:==

==

Необходимость.Пусть функция дифференцируема в точкеz0.Тогда

.

Пусть , .

.

Отделяя действительную и мнимую части, имеем:

,

.

Следовательно, функции дифференцируемы в точке

Из первого соотношения следует, что

.

Из второго соотношения следует, что

,.

Поэтому ..

Достаточность. Пусть функциидифференцируемы в точкеи выполняются условия Коши – Римана.

где- бесконечно малые при.

.

Функции- бесконечно малые при, поэтому они являются бесконечно малыми при. Справедливы неравенства. Поэтому отношения приращений в двух последних скобках – ограниченные величины. Следовательно, выражения в двух последних скобках – бесконечно малые величины прикак произведения бесконечно малых на ограниченные. Обозначим два последних слагаемых- бесконечно малая при.

.

Умножая это выражение на , получим

.

Следовательно, функция дифференцируема в точке .

Условия Коши – Римана позволяют легко проверить дифференцируемость функции в точке.

Функция называется аналитической в области, если она дифференцируема в области.

Функция называется аналитической в точке, если она дифференцируема в этой точке и некоторой ее окрестности.

Основные элементарные функции аналитические на всей комплексной плоскости.

Проверим, например, условия Коши – Римана для функции

Условия Коши – Римана выполнены при любых значениях переменных, функция аналитическая во всей комплексной плоскости.

Пример. Функцияz=xне является дифференцируемой ни в одной точке, так как.

Пример Функция.

. Функция дифференцируема только в точкеz=0 и более ни в одной точке. Она не аналитическая ни в одной точке, поскольку для аналитичности кроме дифференцируемости в точке нужна еще дифференцируемость в некоторой области.

Пример.не является дифференцируемой ни в одной точке, так как условия Коши – Римана не выполнены,.

Соседние файлы в папке лекции