ТФКП для начинающих. Функция комплексной переменной
Не занимайтесь комплексными функциями после комплексного обеда
Открываем новый раздел под названием теория функции комплексной переменной (ТФКП), часто также говорят, комплексного переменного. Теории будет, как обычно, немного – больше практики, в соответствии с концепцией проекта.
Начинающим рекомендую изучать всё по порядку, к слову, вы уже далеко не «чайники», и для «самоваров» – оглавление, ибо урок задался недетский:
для изучения раздела нужно знать, что такое комплексные числа и уметь выполнять действия с ними. Но азы быстренько повторим, да и новенькая инфа сразу будет:
комплексное число – это двумерное число вида , где и – произвольные действительные числа, а – мнимая единица. Число – это действительная часть () комплексного числа , число – его мнимая часть() .
Множество комплексных чисел обозначают стилизованной, утолщённой или жирной буквой .
Комплексные числа изображают на комплексной плоскости, которая состоит из действительной оси, мнимой оси и начала координат:
Кроме того, будем рассматривать бесконечно удалённую точку. В теории строго доказано (и показано), что она единственна – в какую бы сторону комплексной плоскости мы ни уходили, то будем приближаться к этой точке. …Ну вот и повеяло матаном :)
Записьназываюталгебраической формойкомплексного числа, но это не единственный вариант. Любое комплексное число (кроме нуля) можно представить в тригонометрической форме, где – это модуль комплексного числа, а – его аргумент.
Модуль – это расстояние от соответствующей точки комплексной плоскости до начала координат (красный отрезок на чертеже выше), аргумент – это угол между положительной полуосью действительной оси и соответствующим отрезком (зелёная стрелка).
Если число, расположено в верхней полуплоскости либо на оси , то аргумент, очевидно, находится в пределах . Если же число лежит в нижней полуплоскости, то угол принято «откручивать» по часовой стрелке и добавлять к нему знак «минус», а посему он принимает значения из интервала . Значение из промежутка называют главным значением аргумента. Ещё есть не главные, их бесконечно много. Это когда к главному «прикручиваются» обороты, так, вместо угла можно невозбранно рассмотреть или, например, . Впрочем, за последний вариант бранить вас будут :)
Таким образом, аргумент можно записать в виде: , где принимает все целые значения . Далее под записью будем понимать именно главное значение аргумента, когда .
Что касаемо формул, то здесь разнообразие. И чтобы не писать слишкоммногобуков:
ну а с геометрией (где какие числа лежат) разберитесь самостоятельно. И выпишите, кстати, эти формулы на листочек, будет удобно в них заглядывать.
…Что ещё? Ещё вспомним понятие сопряженного комплексного числа. Числа вида , называют сопряжёнными (по отношению друг к другу). Обратите внимание на чёрточку сверху второго числа – это общепринятое обозначение.
Теперь переходим непосредственно к теме с аббревиатурой ТФКП, которую также называют комплЕксным анализом. Не ошибайтесь в ударении – это как компАсы у матросов или дОбыча у горняков, к тому же кОмплексный анализ подразумевает нечто другое, а именно всеобъемлющий анализ чего-либо.
А анализ комплЕксный – это анализматематический с его основными понятиями: функция, предел, непрерывность, производная, интеграл, ряд и др. С той поправкой, что все эти вещи рассматриваются в комплексной области.
Сейчас, когда вы читаете эти строки, на сайте представлены далеко не все темы ТФКП, поэтому я сразу приведу рекомендуемый список доступной литературы. Для наработки практики можно использовать следующие источники:
– М. Л. Краснов, А. И. Киселёв, Г. И. Макаренко - Функции комплексного переменного. Задачи и примеры с подробными решениями;
– П. Е. Данко и КО - Высшая математика в упражнениях и задачах;
– методичка Пожарского А. А. (СПбГУ) – очень обстоятельный источник с достаточно редкими темами; также мне понравились методички мехмата и КФУ.
И потребителям теории:
– И. И. Привалов - Введение в теорию функции комплексного переменного – имеет статус учебника, что дорогОго стОит;
– И. Г. Араманович, Г. Л. Лунц. Л. Э. Эльсгольц - Функции комплексного переменного. Операционное исчисление. Теория устойчивости.
+ конечно, стандартные кирпичи по матану, Бохан, Фихтенгольц и др.
Выражаю благодарность посетителям, которые порекомендовали некоторые из этих источников в тематическом посте нашего блога, кстати, загляните – найдёте массу полезной информации.
Начинаем. И начнём мы с основополагающего понятия:
функцией комплексной переменной называют правило (закон) , по которому каждому допустимому комплексному значению ставится в соответствие одно или бОльшее количество значений .
В первом случае функцию называют однозначной, первое, что пришло в голову: , во втором – многозначной, классика жанра: – как вы помните, корень энной степени имеет ровно «эн» корней.
Рассмотрим . Очевидно, эта функция определена для всех значений , и не составляет никакого труда вычислить её значение в любой точке. Так, если , то . Геометрически это изображается с помощью двух комплексных плоскостей:
Плоскость, которая соответствует независимой переменной, обозначают, а плоскость, которая соответствует значениям функции – буквами. Большие буквы тоже можно использовать:
и , что привычнее.
В отличие от действительной переменной, комплексная переменная не имеет определённого направления изменения, и мы можем двигаться по произвольной траектории в комплексной плоскости . При этом правило разные линии плоскости отображает в разные (в общем случае) линии плоскости . Таким образом, можно говорить о графике функции комплексной переменной. Правда, график этот специфический, у меня он ассоциируется с морозными узорами на стекле и масляными пятнами на воде. И что именно происходит – сразу понятно лишь в простых случаях, так, функция «вытягивает» все точки плоскости в 2 раза, отображая их на плоскость .
В некоторых источниках графики раскрашивают и даже строят трёхмерные модели, но мы не будем на этом останавливаться, важно, что у вас сложилось само понимание графика функции .
Вычислить значение комплексной функции в точке. Представить его в тригонометрической форме.
а) в точке ;
б) в точках , ;
и давайте ещё рассмотрим такой пример:
в) в точке .
Решение: а) Если функция задана «иксами» / «игреками», то всё очень просто. Это не что иное, как действительная и мнимая часть независимой переменной . В нашем случае , стало быть , и соответствующее значение функции:
Представим результат в тригонометрической форме. Для этого нужно найти его модуль:
и аргумент, поскольку , то (см. формулы выше):
Таким образом, .
И следующие пункты более распространены:
б) если функция задана непосредственно через «зет», то выполняем обычные действия, главное, помнить знаменитый квадрат и быть внимательным:
Вычислим значение функции в точке , используем формулу:
Вычислим значение той же функции в точке :
Представим полученные значения в тригонометрической форме. Найдём модуль и аргумент числа :
Таким образом, .
Теперь обратим внимание на следующую вещь: значения , получились сопряжёнными, а у таких чисел модули равны, а аргументы – противоположны по знаку. Сиё следует из элементарной геометрии.
Поэтому .
Напоминаю, что знак «минус» под косинусом ни в коем случае убирать нельзя(пользуясь чётностью косинуса). Минус из-под синуса тоже выносить не нужно. Если аргумент отрицателен, то записываем его именно так, как записано в этом примере.
в) Вычислим значение функции в точке :
Используем стандартный приём. Чтобы избавить от мнимой единицы на нижнем этаже, умножим числитель и знаменатель на сопряжённое знаменателю число, дабы воспользоваться формулой:
, модуль и аргумент находить не хочется.
А вот на счёт самой функции есть что сказать. Как вы прочувствовали, с комплексными числами можно делать многое, но на ноль всё-таки делить нельзя :) Поэтому данная функция определена для всех «зет», кроме . Запишем этот факт с помощью стандартного значка области определения функции: – все комплексные числа кроме нуля.
Таким образом, для комплексной функции в ходу те же понятия области определения и области значений функции.
Тренируемся самостоятельно – в лучших традициях я предлагаю самые интересные задания:
Пример 2
Вычислить значение комплексной функции в точке, найти его модуль и аргумент:
а) в точках ;
б) в точке
Решения и ответы в конце урока.
Хорошо, то были наиболее простые функции. Но как быть с экспонентой, логарифмом, синусом, косинусом и иже с ними функциями? Существуют ли они в комплексной области? Да, существуют! Правда, теряют «действительный» («школьный») смысл.
Комплексная экспонента – есть сумма функционального ряда: – знакомая картинка, только раньше мы имели дело с действительной экспонентой («е в степени икс»), и теперь пришло время обобщить её на комплексный случай
Этот ряд сходится абсолютно к на всей комплексной плоскости (при любом конечном значении «зет».). О понятии сходимости ряда я рассказал, когда мы раскладывали в ряды действительные функции, но повторюсь и сейчас. Рассмотрим произвольное конечное «зет», например, . Если мы возьмём несколько первых членов ряда, скажем, три, то получим очень грубое приближение соответствующего значения экспоненты: Если членов взять больше, например, пять, то сумма (тоже конкретное число) уже будет лучше приближать истинное значение . И чем больше членов – тем точнее приближение. И, наконец, бесконечная сумма – в точности равна . Обращаю внимание, что значение не «летает где-то в воздухе» – ему соответствует определённая точка комплексной плоскости, и чуть позже мы представим это число в алгебраической форме .
Для комплексной экспоненты справедливы привычные свойства , и, кроме того, эта функция периодическая (да, вот такая неожиданность) с мнимым периодом , то есть справедливо равенство , где («ка» принимает все целые значения).
Комплексные синус и косинус – есть суммы следующих рядов:
которые абсолютно сходятся тоже на всей комплексной плоскости.
Это функции периодичные с привычным действительным периодом и нулями для синуса и для косинуса. Однако комплексные синус с косинусом могут приниматься любые значения, в том числе действительные, причём бОльшие единицы, поэтому что-то вроде – обычное себе дело.
Для комплексных тригонометрических функций справедливы все «действительные» тригонометрические формулы, в частности, .
Особое место в комплексном анализе занимают гиперболические функции, которые до сих пор оставались в тени. Гиперболический синус:
и гиперболический косинус:
Эти ряды элементарно получаются из разложения экспоненты для и для , и желающие могут вывести их самостоятельно. Гиперболический тангенс с котангенсом определяются аналогично: . Для комплексных гиперболиков справедливы «действительные» формулы, самая известная из них – основное гиперболическое тождество: .
Преобразуя соответствующие ряды, несложно выразить комплексный синус и косинус через экспоненту: , откуда следует их взаимосвязь с гиперболическими собратьями: , ну или так можно записать: .
Из разложений экспоненты, синуса и косинуса следует* важнейшая, я бы даже сказал одна из ключевых – формула Эйлера:
, где – произвольное действительное число.
* Самостоятельно подставьте в разложение экспоненты и получИте формулу.
В частности, если – аргумент комплексного числа , то мы можем записать его не только в тригонометрической, но ещё и в показательной форме. Таким образом, показательная форма комплексного числа – это не какая-то «надуманная» конструкция, а строгая вещь, основанная на формуле Эйлера.
Известнейший частный случай формулы соответствует значению : – в результате чего получается экзистенциальное тождество, связывающее пять фундаментальных констант: ноль, единицу, «е», «пи» и «и». Этот факт приводил в восторг многих математиков, и мы с воодушевлением продолжаем тему.
С помощью формулы Эйлера легко представить в алгебраической форме любое значение экспоненты. Если – произвольное комплексное число, то:
В частности, для имеем: – число в алгебраической форме. Значения и получились «плохими» (но конкретными!), поэтому так и оставляем.
Синус и косинус комплексного значения тоже можно представить в алгебраической форме, формулы приведу без вывода:
Так, для того же значения :
Ради исследовательского интереса проверьте формулы для произвольного действительного «зет», например, (учитывая, что ).
Эти три формулы (экспоненты, синуса, косинуса) перепишите себе на листок – будут постоянно требоваться на практике. Напомню также выражения , с помощью которых можно перейти от гиперболиков к «обычному» синусу и косинусу, ну а их формулы только что были выше.
Продолжаем:
Пример 3
а) вычислить значение функции в точке , результат представить в алгебраической форме;
б) Записать число в алгебраической форме;
в) …нет, маньячить не будем, решаем:
а) Вычислим значение функции в точке :
используем формулу :
б) Используем формулу :
И творческие примеры для самостоятельного решения:
Пример 4
а) решить уравнение (используйте запись );
б) представить в алгебраической форме число (формула есть выше!).
Сверяемся и продолжаем.
До сих пор мы находили значения функций «вручную», и возникает вопрос: а нельзя ли усовершенствовать процесс, чтобы сразу подставлять «икс» и «игрек» из в функцию и получать результаты? Конечно, можно! И нужно, ведь это удобно.
Функциюможно представить в виде, где и – это функции двух действительных переменных, которым посвящен целый раздел сайта. При этом функцию называют действительной частью функции , а – её мнимой частью.
Пример 5
Найти действительную и мнимую части функций, возьмём те, которые уже были:
а) ;
б) .
Решение: а) поскольку , то:
теперь нужно перегруппировать слагаемые – сначала записать те, в которых нет мнимой единицы, а потом те – где она есть, после чего вынести «и» за скобку:
Таким образом, действительная часть функции , а – её мнимая часть.
Как я уже отметил, запись удобно использовать для расчёта конкретных значений функции, например, в точке . Распишу очень подробно, хотя на самом деле вычисления здесь устные:
Что и говорить, это гораздо удобнее, чем подставлять непосредственно в . А если точек много, то без формы обойтись вообще практически невозможно.
б) Поскольку , то:
используем формулу Эйлера :
Таким образом, – действительная часть функции , а – её мнимая часть.
И во второй части нашего увлекательного урока кратко познакомимся с другими функциями.
Комплексный логарифм определяется как функция, обратная к экспоненциальной, опуская выкладки:
, где («ка» принимает все целые значения), при этом называют главным значением логарифма, оно получается при и представИмо в алгебраической форме следующим образом:
Таким образом, логарифм можно расписать так: , где .
Как видите, это многозначная функция, а точнее бесконечнозначная – каждому ненулевому значению «зет» соответствует бесконечно много значений «дубльвэ».
Для комплексного логарифма справедливы привычные формулы:
и не очень привычная: , где – произвольное комплексное число.
Пример 7
Вычислить значения функции в точке .
Решение: запишем функцию в виде и вычислим её значения в точке : и давайте сразу разберёмся, что здесь к чему.
А ситуация следующая: значению соответствует бесконечно много значений логарифма , прежде всего, это его главное значение (при ) и остальные значения . Можно ещё записать так:
Представим главное значение логарифма в алгебраической форме по формуле . Для этого найдём модуль и аргумент числа :
Таким образом: , где – значения логарифма в алгебраической форме.
Пример 8
Вычислить и .
Быстренько решаем самостоятельно и переходим к другим функциям.
Общая степеннАя функция, где – произвольное комплексное число, определяется с помощью основного логарифмического тождества, справедливого и в комплексном случае:
Очевидно, эта функция многозначна, и её главное значение соответствует главному значению логарифма: .
Общая показательная функция, где определяется аналогично: и имеет главное значение .
Рассмотрим «классические» примеры:
Пример 9
а) вычислить значения функции в точке ;
б) вычислить .
Решение: а) если , то значения степеннОй функции таковы:
Значения только что были найдены в Примере 8: , – таким образом, «и» в степени «и», оказывается, равно бесконечному количеству действительных значений.
б) Логарифм можно вычислить двумя способами.
1) Непосредственно по определению:
Поскольку (см. предыдущий пункт) для всех , то все эти числа расположены на действительной положительной полуоси , а значит, их модули: , а аргумент . Таким образом: , где .
Что это за конструкция? Здесь каждому целому значению «эм» соответствует бесконечно много целых значений «ка». Вот такое вот получилось множество значений .
2) Вычислим этот логарифм с помощью свойства :
ну а логарифм «и» был найден в Примере 8: , где .
Пара примеров для самострельного решения:
Пример 10
а) записать в алгебраической форме ;
б) вычислить ;
в) найти значения функции в точке .
Результаты представить в алгебраической форме (формула Эйлера в помощь).
И на посошок арки. Обратные тригонометрические функции в комплексной области определяются как функции, обратные к , и выражаются через комплексный логарифм:
при этом в разных источниках вы можете встретить несколько разные формулы для арктангенса и арккотангенса (кстати, не путайте их по невнимательности).
Эти функции многозначны (ибо логарифм) и их главные части, обозначаемые , , , , соответствуют главному значению логарифма.
Решим эпичное уравнение:
Пример 11
Решение: поскольку , то обратные значения:
Используем формулу , здесь, чтобы не возникло «накладок» с обозначениями вместо «зет» я использовал букву «тэ»: квадратный корень имеет два значения, поэтому получаем две ветки решений: и
1) Найдём значения
Поскольку число лежит на мнимой оси, причём выше нуля, то:
Таким образом:
2) И со значениями почти всё так же: (обратите внимание, что тоже больше нуля и число лежит на мнимой оси – тоже в верхней полуплоскости).
и в результате получаем:
Обе ветки решения можно записать единой строкой, используя значок «плюс-минус»:
ответ: – корни уравнения .
И фантазии В. Ф. Чудесенко для самостоятельного решения:
Пример 12
Представить в алгебраической форме.
Образец для сверки внизу страницу. И для справки приведу формулы обратных гиперболических функций, их творчески можно назвать ареаболиками :) Они взаимосвязаны с арками тригонометрических функций следующим образом:
Ну а арки в свою очередь выражаются через логарифм. Таким образом, если вам дано что-то вроде , то сначала переходим к соответствующему арку: , а затем – к логарифму, формулы там недалеко вверху были.
На этом первое занятие подошло к концу, хотелось короче, но получилось как всегда :) Далее по курсу разберём:
Пример 2. Решение: а) вычислим значение функции в точке : Вычислим значение функции в точке : Модуль обоих значений равен нулю, аргумент – не определён.
Примечание: значение является корнем многочленного уравнения . Из основной теоремы алгебры следует, что коль скоро так, то и сопряженное комплексное число ( в нашем примере) тоже обязательно является корнем этого уравнения.
б) Вычислим значение в точке : Чтобы избавиться от мнимой единицы в знаменателе домножим числитель и знаменатель на оную: Найдём модуль и аргумент полученного значения: так как , то по соответствующей формуле: .
Пример 4. Решение: а) поскольку , то: используем формулу Эйлера : Два комплексных числа равны, если равны их действительные и мнимые части, таким образом, получаем систему: Так как , то первое уравнение обращается в ноль, только если , следовательно, . Синус же в этих точках равен либо +1, либо –1: , тогда из второго уравнения получаем ; , тогда из второго уравнения получаем – не имеет решений (так как – действительное число).
Стало быть, корни уравнения: .
Ответ: уравнение имеет бесконечно много корней: .
б) Используем формулу : используем формулу :
Пример 6. Решение: а) так как , то: Таким образом, – действительная часть функции, а – её мнимая часть.
б) Так как , то: используем формулу : Таким образом, – действительная часть функции, – её мнимая часть.
в) Так как , то: Умножим числитель и знаменатель на сопряженное знаменателю число: Таким образом, .
Пример 8. Решение: , ,
Пример 10. Решение: а) Используем основное логарифмическое тождество:
б) Используем основное логарифмическое тождество: по определению логарифма, , таким образом: используем формулу Эйлера : , где .
в) Найдём модуль и аргумент числа : По определению логарифма: Таким образом: используем формулу Эйлера : – значения в алгебраической форме.
Пример 12. Решение: используем формулу . В данном случае и вычисления удобно провести по пунктам: 1) ; 2) ; 3) умножим числитель и знаменатель на сопряженное знаменателю число: . 4) Найдём модуль и аргумент числа :