Конформне відображення

Матеріал з testwiki
Перейти до навігації Перейти до пошуку
Конформне відображення: лінії, що перетинаються під кутом 90° переходять у криві, що перетинаються під кутом 90°.

Конформне відображеннянеперервне відображення, що зберігає кути. Більш формально, неперервне відображення області G n-вимірного евклідового простору в n-вимірний евклідовий простір називається конформним в точці z0G, якщо воно в цій точці має властивість збереження кутів, тобто будь-яка пара неперервних кривих l1,l2, що розташовані в G і перетинаються в точці z0 під кутом α. (Мають дотичні в точці z0, що утворюють між собою кут α), при даному відображенні переходить в пару неперервних кривих L1,L2, що перетинаються в точці w0=f(z0) під тим же кутом α. Неперервне відображення області G називається конформним, якщо воно є конформним в кожній точці цієї області.

Комплексний випадок

У найважливішому випадку n = 2 область G і її образ f(G) при відображенні f лежать у площині, яку зручно розглядати як площину комплексної змінної z; відповідно відображення w = f (z) є комплекснозначною функцією комплексної змінної При цьому якщо в точці z0 відображення w = f (z) зберігає кути, то криволінійні кути з вершиною z0 при цьому відображенні або всі зберігають свою абсолютну величину і знак, або всі зберігають свою абсолютну величину, змінюючи знак на протилежний.

Якщо відображення w=f(z) є конформним в точці z0, то існує скінченна границя відношення f(z)f(z0)zz0, тобто існує похідна f(z0). При додатковому припущенні f(z0)0, правильним є і оберенене твердження. Тобто відображення w = j (z) є конформним в області G скінченної комплексної площини тоді і тільки тоді, коли функція f(z),zG є аналітичною і в G f(z0)0.

Таким чином, якщо існує f(z0)0, то кожен нескінченно малий вектор з початком у точці z0 при відображенні w = f (z) розтягується в k(z0,f)=|f(z0)| раз, повертається на кут argf(z0) і паралельно зсувається на вектор f(z0)z0; нескінченно малі кола з центром z0; переходять у нескінченно малі кола.

Якщо неперервні відображення w = f(z) є однолистим (тобто взаємно-однозначним) і коефіцієнт розтягнення в кожній точці буде однаковим в усіх напрямках, то або f(z), або f(z)¯ є аналітичною функцією, похідна якої усюди в G відмінна від нуля.

Простори вищої розмірності

Конформні відображення областей n-вимірного евклідового простору при n3 утворюють досить вузький клас так званих мебіусових відображень, кожне з яких згідно з Шаблон:Нп утворюється композицією відображення гомотетії, ізометрії і спеціального конформного відображення, що є композицією відбиття і інверсії щодо сфери.

Див. також

Джерела

Шаблон:Math-stub