Комплексний аналіз
Компле́ксний ана́ліз, або тео́рія фу́нкції компле́ксної змі́нної (ТФКЗ) — розділ математики, що вивчає функції, які залежать від комплексної змінної. Використовується у багатьох розділах математики, зокрема у теорії чисел, прикладній математиці та фізиці. Поєднує у собі математичний аналіз функцій дійсних змінних, диференціальні рівняння і багато інших розділів математики.
Головною задачею ТФКЗ є вивчення аналітичних функцій, які залежать від комплексної змінної (або мероморфних функцій). Оскільки дійсна та уявна частина будь-якої аналітичної функції повинні підкорюватися рівнянню Лапласа, комплексний аналіз має широке застосування у поверхневих задачах фізики.
Комплексною називається функція, в якій аргумент та залежна змінна є комплексними числами. Або точніше, комплексна функція — це функція, область визначення якої D є підмножиною комплексної площини, і область значень функції E також підмножина комплексної площини.
Для будь-якої комплексної функції, аргумент та залежна змінна повинні мати дійсну та уявну частини:
- та
- де та — це функції, визначені на множині дійсних чисел.
Іншими словами, компоненти функції f(z),
- та
можуть бути подані як функції, визначені на множині дійсних чисел, але залежні від двох змінних х та у.
Таким чином, на комплексній множині можна використовувати звичайні дійсні функції: тригонометричні та обернені їм, гіперболічні, логарифмічні тощо. Окрім цього ці функції можна розповсюдити на комплексну множину і обчислювати їх значення для комплексних чисел.
Історія
ред.Комплексний аналіз, як класичний розділ математики, почав зароджуватися у середині 19 сторіччя. Його розвиток пов'язаний з іменами Ейлера, Гаусса, Рімана, Коші, Вейєрштрасса та багатьох інших математиків. Прийнято вважати, що ТФКЗ є частиною теорії конформного відображення, і має багато застосувань у фізиці та аналітичній теорії чисел. У сучасності особливого розвитку отримала комплексна динаміка[en] та зображення фракталів, які є результатом інтегрування голоморфних функцій, найвідомішим з яких є множина Мандельброта. Інші важливі сучасні застосування ТФКЗ зустрічаються у теорії струн та квантової теорії поля.
Загальні поняття
ред.Кожна комплексна функція може розглядатися як пара дійсних функцій від двох змінних: , що визначають її дійсну й уявну частину відповідно. Функції , називають компонентами комплексної функції .
Далі всюди, де йдеться про обмеженість комплексної функції, мається на увазі обмеженість її модуля (з чого випливає обмеженість у звичайному сенсі обох компонент).
Поняття границі для послідовності і функції вводиться так само, як і в випадку дійсних чисел, з заміною абсолютної величини на комплексний модуль. Якщо , то і . Правильно і зворотне: з існування границь компонент випливає існування границі самої функції та компонентами границі будуть границі компонентів. Неперервність комплексної функції теж визначається так само, як у випадку дійсних чисел, і вона рівносильна неперервності обох її компонент[1].
Всі основні теореми про границі і неперервність дійсних функцій мають місце і в комплексному випадку, якщо це розширення не пов'язане з порівнянням комплексних величин на більше-менше. Наприклад, відсутній прямий аналог теореми про проміжні значення неперервної функції.
-окіл числа визначається як множина точок , віддалених від менше ніж на :
На комплексній площині -окіл являє собою середину кола радіуса з центром в .
Нескінченно віддалена точка
ред.У комплексному аналізі часто корисно розглядати повну комплексну площину[2], доповнену в порівнянні із звичайною нескінченно віддаленою точкою: . При такому підході послідовність, що необмежено зростає (за модулем), вважається збіжною до нескінченно віддаленої точки. Алгебричні операції з нескінченністю не виконуються, хоча кілька алгебричних співвідношень мають місце:
-околом нескінченно віддаленої точки вважається множина точок , модуль яких більший, ніж , тобто зовнішня частина -околу початку координат.
Диференціювання
ред.Визначення
ред.Похідна для комплексної функції одного аргументу визначається так само, як і для дійсної[3]:
(тут — комплексне число). Якщо ця границя існує, функція називається диференційовною або голоморфною. При цьому
Слід враховувати одну важливу особливість: оскільки комплексна функція задана на площині, існування наведеної границі означає, що вона однакова при наближенні до з будь-якого боку. Цей факт накладає суттєві обмеження на вигляд функцій-компонент і визначає їх жорсткий взаємозв'язок (умови Коші — Рімана, вони ж умови Ейлера — Даламбера):
Звідси випливає, що диференційовності компонент і недостатньо для диференційовності самої функції.
Більше того, мають місце такі властивості, що відрізняють комплексний аналіз від дійсного:
- Кожна диференційовна в деякому околі точки комплексна функція диференційовна необмежену кількість разів і аналітична, тобто її ряд Тейлора збігається до даної функції у всіх точках цього околу (в літературі поряд з терміном аналітична функція використовуються його синоніми «голоморфна функція», «регулярна функція»).
- (Теорема Ліувіля): якщо функція диференційовна на всій комплексній площині і не є константою, то її модуль не може бути обмежений.
- Обидві компоненти комплексної диференційованої функції є гармонійними функціями, тобто задовольняють рівнянню Лапласа:
- Будь-яка гармонійна функція може бути як дійсною, так і уявною компонентою диференційовної функції. При цьому інша компонента визначається однозначно (з умов Коші — Рімана), з точністю до константи-доданка.
Таким чином, будь-яка диференційовна комплексна функція — це функція виду , де — взаємопов'язані гармонійні функції двох аргументів.
Інші властивості
ред.Нехай функції і диференційовні в області . Тоді і також диференційовні в цій області. Якщо в області не перетворюється в нуль, то буде диференційовною в Композиція функцій диференційовна скрізь, де вона визначена. Якщо похідна функції в області не перетворюється в нуль, то існує обернена до неї функція і вона буде диференційовною.
Похідна суми, різниці, добутку, частки від ділення, композиції функцій та оберненої функції обчислюється за тими ж формулами, що і в дійсному аналізі.
Геометричний зміст похідної
ред.Кожна комплексна функція визначає деяке відображення комплексної площини з координатами на іншу комплексну площину з координатами . При цьому вираз
при малому геометрично можна витлумачити як коефіцієнт масштабування, яке виконує дане відображення при переході від точки до точки . Існування межі , тобто модуля похідної , означає, що коефіцієнт масштабування однаковий в будь-якому напрямку від точки , тобто не залежить від напрямку. Взагалі кажучи, коефіцієнт масштабування змінюється від точки до точки[4].
Якщо коефіцієнт масштабування , то в околі точки відстані між точками збільшуються, і коефіцієнт масштабування називають коефіцієнтом розтягування. Якщо коефіцієнт масштабування , то в околі точки відстані між точками зменшуються, і коефіцієнт масштабування називають коефіцієнтом стиснення. Приклад для функції : у точці похідна дорівнює 4, тому всі довжини збільшуються в чотири рази.
Що стосується аргументу похідної, то він визначає кут повороту гладкої кривої, що проходить через дану точку . Всі гладкі криві при такому відображенні повертаються на один і той же кут. Відображення, що зберігають кути, називаються конформними; таким чином, будь-яка диференційована комплексна функція визначає конформне відображення (в тій області, де її похідна не перетворюється в нуль)[5]. З цим фактом пов'язане широке застосування комплексних функцій у картографії та гідродинаміці[6].
Інтегрування
ред.Інтегрування комплексних функцій
ред.Поняття первісної комплексної функції (невизначеного інтеграла) вводиться так само, як у дійсному випадку. Однак аналог визначеного інтеграла в інтервалі від до на комплексній площині, взагалі кажучи, не існує, оскільки шлях від початкової точки до кінцевої неоднозначний. Тому основним видом комплексного інтеграла є криволінійний інтеграл, що залежить від конкретного шляху. Нижче будуть вказані умови, за виконання яких інтеграл не залежить від шляху, і тоді інтеграл «від точки до точки» може бути визначений коректно.
Нехай рівняння визначає деяку кусково-гладку криву у комплексній площині, а функція визначена в точках цієї кривої. Поділимо інтервал задання параметра на рівних частин: розглянемо інтегральну суму:
Границя цієї суми при необмеженому зростанні називається (комплексним) інтегралом по кривій від даної функції ; вона позначається:
Для будь-якої функції , неперервної вздовж цей інтеграл існує і може бути обчислений через звичайний дійсний інтеграл за параметром:
Тут — компоненти . З цього подання зразу ж випливає, що властивості комплексного інтеграла аналогічні властивостям дійсного криволінійного інтеграла.
Контурний інтеграл
ред.Особливий практичний інтерес являють інтеграли за (замкнутим) контуром, тобто за кусково-гладкою кривою без точок самоперетину, в якій початкова точка збігається з кінцевою. Контур можна обходити у двох напрямках; додатним вважається напрямок, за якого обмежена контуром область розташовується зліва по ходу руху.
Якщо крива утворює замкнутий контур, вживається особливе позначення інтеграла:
Має місце важлива інтегральна теорема Коші: для будь-якої функції , аналітичної в однозв'язній області і для будь-якого замкнутого контуру інтеграл за ним дорівнює нулю:
- .
Наслідок: нехай функція , аналітична в однозв'язній області , а точки з області з'єднані деякою кривої . Тоді інтеграл залежить тільки від точок , але не від вибору кривої , що їх з'єднує, так що можна позначити його і має місце теорема Ньютона — Лейбніца:
де — первісна для .
Існує узагальнення інтегральної теореми Коші для багатозв'язної області: якщо функція аналітична в замкнутій багатозв'язній області, то інтеграл від неї за зовнішнім контуром області дорівнює сумі інтегралів за всіма внутрішніми контурами (в тому ж напрямку, що й за зовнішнім)[7]. Це узагальнення зручно застосовувати, якщо область містить особливу точку функції (див. нижче), де функція не аналітична або не визначена.
Інші потужні інструменти для дослідження комплексних і дійсних інтегралів:
Теореми єдиності та аналітичне продовження
ред.Нулем функції називається точка , в якій функція звертається в нуль: .
Теорема про нулі аналітичної функції. Якщо нулі функції , аналітичної в області , мають граничну точку всередині , то функція усюди в дорівнює нулю.
Наслідок: якщо функція аналітична в області і не дорівнює тотожно нулю, то в будь-якій обмеженій замкнутій підобласті у неї може бути лише скінченне число нулів.
Теорема єдиності аналітичної функції. Нехай — збіжна послідовність різних точок області . Якщо дві аналітичні функції збігаються в усіх точках цієї послідовності, то вони тотожно рівні в .
Зокрема, якщо дві аналітичні функції збігаються на деякій кусково-гладкій кривій в , то вони збігаються всюди в . Це означає, що значення аналітичної функції навіть на невеликій ділянці області повністю визначають поведінку функції у всій області її визначення. Задавши аналітичну функцію на кривій (наприклад, на дійсній осі), ми однозначно визначаємо її розширення (якщо воно можливе) на більш широку область, яке називається аналітичним продовженням початкової функції.
Всі стандартні функції аналізу — многочлен, дробово-лінійна функція, степенева функція, експонента, тригонометричні функції, обернені тригонометричні функції, логарифм — допускають аналітичне продовження на комплексну площину. При цьому для їх аналітичних продовжень будуть мати місце ті ж алгебраїчні, диференціальні та інші тотожності, що й для дійсного оригіналу, наприклад:
Розкладання в ряд
ред.Степеневий ряд
ред.Визначення суми числового ряду та ознаки збіжності в комплексному аналізі практично такі ж, як у дійсному, з заміною абсолютної величини комплексним модулем; виняток становлять ознаки збіжності, в яких відбувається порівняння на більше-менше самих елементів ряду, а не їхніх модулів.
Кожна диференційовна в точці функція розкладається в околі цієї точки в степеневий ряд Тейлора:
Коефіцієнти ряду обчислюються за звичайними формулами. Цей ряд збігається до функції у певному колі радіуса з центром у точці , яке служить аналогом інтервалу збіжності дійсного ряду. У цьому колі ряд абсолютно збігається, а поза ним — розбігається. При цьому можливі 3 випадки.
- Ряд збігається в колі скінченного і ненульового радіуса.
- Ряд збігається у всій комплексній площині, тобто . Такі функції називають цілими.
- Ряд збігається лише в точці . Приклад: . Такі точки називаються особливими для функції Неособливі точки називаються правильними. Внутрішність круга збіжності складається з правильних точок.
Межа кола збіжності містить хоча б одну особливу точку. Звідси випливає, що радіус кола збіжності в точці дорівнює відстані від до найближчої до неї особливої точки.
Теорема Абеля: якщо — радіус кола збіжності степеневого ряду, то в будь-якому колі з тим самим центром, але меншого радіуса, ряд збігається рівномірно.
Ряд Лорана
ред.Являє великий практичний інтерес дослідження поведінки функції поблизу ізольованої особливої точки, тобто точки, навколо якої функція аналітична, але в самій точці або не аналітична, або не визначена. Степеневий ряд тут марний, тому вводиться загальний ряд Лорана:
Якщо область збіжності ряду Лорана не порожня, вона являє собою кругове кільце: .
Основна теорема: якщо функція аналітична в круговому кільці, то вона може бути подана в цьому кільці збіжним рядом Лорана, причому однозначно.
Як і для степеневого ряду, межі кільця збіжності визначаються розподілом особливих точок функції. За виглядом ряду Лорана можна зробити деякі висновки про поведінку функції поблизу точки .
- Усувна особлива точка: якщо ряд Лорана не містить елементів з від'ємними степенями . Тоді це просто степеневий ряд, що визначає функцію в певному колі, що оточує . Сума ряду в цьому колі скінченна і може відрізнятись від тільки в точці , тому досить перевизначити , щоб функція стала аналітичною у всьому колі. Має місце така ознака: якщо функція поблизу аналітична і обмежена, то — усувна особлива точка.
- Полюс: якщо ряд Лорана містить скінченне число елементів з від'ємними степенями . У цьому випадку функція в точці нескінченна (за модулем).
- Суттєво особлива точка: якщо ряд Лорана містить нескінченне число елементів з від'ємними степенями . У цьому випадку функція в точці не може бути коректно визначена так, щоб бути неперервною.
Застосування в дійсному аналізі
ред.За допомогою теорії лишків, що є частиною ТФКЗ, обчислюються багато складних інтегралів за замкнутими контурами.
Засобами комплексного аналізу пояснюються деякі моменти, які не піддаються простий інтерпретації в термінах речового аналізу. Наведемо класичний приклад: функція
неперервна і нескінченно диференційовна на всій дійсній прямій. Розглянемо її ряд Тейлора
Цей ряд збігається тільки в інтервалі хоча точки не є якимись особливими для .
Положення прояснюється при переході до функції комплексної змінної , у якій виявляються дві особливі точки: . Відповідно, цю функцію можна розкласти в ряд Тейлора тільки в колі .
Примітки
ред.- ↑ Смирнов В. И., 2010, с. 7—15..
- ↑ Свєшніков А. Р., Тихонов А. Н. Теорія функцій комплексної змінної. Указ. соч., с. 20-21.
- ↑ Смирнов В. И., 2010, с. 15—22..
- ↑ Смирнов В. И., 2010, с. 22—23.
- ↑ Смирнов В. И., 2010, с. 24—25.
- ↑ Лаврентьев М. А., Шабат Б. В. Проблемы гидродинамики и их математические модели. — М. : Наука, 1973.
- ↑ Смирнов В. И., 2010, с. 33.
Література
ред.- Долженко Є. П., Єрмаков А. І. Теорія функції комплексної змінної та деякі її застосування: Навчальний посібник. — Луганськ: Вид-во СНУ ім. В. Даля, 2003.
- Комплексний аналіз: Підруч. / А. А. Гольдберг, М. М. Шеремета, М. В. Заболоцький, О. Б. Скасків; Львів. нац. ун-т ім. І.Франка. — Л. : Афіша, 2002. — 204 c.
- Комплексний аналіз і течії з вільними границями / [відп. ред.: Ю. Б. Зелінський, О. С. Лимарченко]. — Київ: ІМ НАН України, 2010. — 442 с. — (Зб. праць / Ін-т математики НАН України / голов. ред. А. М. Самойленко ; т. 7 ; № 2). — Текст парал. укр., англ.
- Комплексний аналіз, теорія потенціалу і застосування / [відп. ред.: Ю. Б. Зелінський, С. А. Плакса]. — Київ: ІМ НАН України, 2013. — 574 с. — (Зб. праць / Ін-т математики НАН України / голов. ред. А. М. Самойленко ; т. 10 ; № 4-5). — Текст парал. укр., англ.
- Лаврентьєв М. О. Методы теории функций комплексного переменного. — Москва: Физматгиз, 1973. (рос.)
- Швець В. Т. Вища математика: теорія функцій комплексної змінної. — Одеса: ВМВ. — 2014, 236 с.