Математическая энциклопедия - конформное отображение

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

Основные понятия. Непрерывное отображение w=f(z)области G n -мерного евклидова пространства в n-мерное евклидово пространство наз. конформным в точке если оно в этой точке обладает свойствами постоянства растяжений и сохранения углов. Свойство постоянства растяжений в точке z0 при отображении w=f(z)состоит в том, что отношение |f(z)f(zo)|/|zz0| расстояния между образами f(z)и f(z0 )точек z u z0 к расстоянию между zи z0 стремится к определенному пределу k=k(z0, f), когда z стремится к z0 произвольным образом; число кназ. коэффициентом растяжения в точке z0 при рассматриваемом отображении. Свойство сохранения (консерватизма) углов в точке при отображении w=f(z)состоит в том, что любая пара непрерывных кривых l1, l2, расположенных в Gи пересекающихся в точке z0 под углом a. (т. о. имеющих касательные в точке z0, образующие между собой угол а), при рассматриваемом отображении переходит в пару непрерывных кривых L1, L2, пересекающихся в точке w0=f(z0) под тем же углом а. Непрерывное отображение области Gназ. конформным, если оно конформно в каждой точке этой области. По определению, К. о. области Gобязано быть непрерывным и конформным лишь во внутренних точках G, и если говорят о К. о. замкнутой области, то, как правило, имеют в виду непрерывное отображение замкнутой области, конформное в ее внутренних точках.

В наиболее важном случае n=2 область Gи ее образ f(G) при отображении f лежат в плоскости, к-рую удобно рассматривать как плоскость С комплексного переменного z;соответственно отображение w=f(z)является комплекснозначной функцией комплексного переменного При этом если в точке z0 отображение w=f(z)сохраняет углы, то криволинейные углы с вершиной z0 при этом отображении либо все сохраняют свою абсолютную величину и знак, либо все сохраняют свою абсолютную величину, изменяя знак на противоположный. В первом случае говорят, что отображение в точке z0 является К. о. первого рода, во втором К. о. второго рода. Если функция w=f(z)задает К. о. второго рода в точке z0, то комплексно сопряженная функция задает К. о. первого рода в точке z0, и наоборот. Поэтому изучаются лишь К. о. первого рода, и именно их обычно имеют в виду, когда говорят о К. о., не уточняя их род.

Если отображение w=f(z)конформно в точке z0, то при существует конечный предел отношения (f(z).f(zo))/(z-z0), т. е. существует производная f'(z0). При дополнительном предположении, что верно и обратное.

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

Отображение w=j(z)является конформным в области Gконечной комплексной плоскости С тогда и только тогда, когда функция f(z), является аналитической и в G. Для конформности отображения w=f(z). (и аналитичности f(z))в области Gдостаточно потребовать, чтобы непрерывная функция f(z)обладала в каждой точке лишь свойством сохранения углов (с сохранением не только величин углов при этом отображении, но и их знаков). Если же от непрерывного отображения w=f(z),. потребовать однолистности его (т. е. взаимной однозначности) и постоянства растяжений в каждой точке, то это отображение будет конформным первого пли второго рода, так что либо f(z), либо является аналитич. функцией, производная к-рой всюду в Gотлична от нуля. В случае аналитичности f(z) в нек-рой окрестности точки следующие три свойства эквивалентны: а) отображение w=f(z)конформно (первого рода) в точке z0, б) функция f(z)(локально) однолистна в точке z0, в) Всякая однолистная аналитическая в области G функция совершает К. о. области Gна область f(G)той же связности; при этом обратная функция f^-1(z) является в области f(G) однолистной аналитич. функцией с ненулевой производной. Существуют и неоднолистные К. о. (например, отображение w=z⁴ конформно и не однолистно в полуплоскости Im z>0, a w=e^zво всей плоскости С).

В теории плоских К. о. и ее приложениях принципиальным является вопрос о возможности однолистно и конформно отобразить одну заданную область на другую, а в практических приложениях вопрос о возможности это сделать посредством сравнительно простых функций. Первую задачу для случая односвязных. областей, границы к-рых не пусты и не вырождаются в точки, решает в положительном смысле Римана теорема о конформном отображении. Вторая задача для-некрых областей специального вида решается применением элементарных функций комплексного переменного (см. ниже), Кристоффеля Шварца формулы для отображения полуплоскости или круга на многоугольник, применением симметрии принципа и приближенных методов К. о. По теореме Римана, все односвязные области расширенной комплексной плоскости с непустыми границами, не вырождающимися в точки, конформно эквивалентны. Иначе обстоит дело с К. о. многосвязных областей. Поскольку однолистное К. о. нек-рой области G1 на другую область G2 является взаимно однозначным и взаимно непрерывным, то для существования такого отображения необходимо, чтобы G1 и G2 имели один и тот же порядок связности, т. е. они одновременно должны быть либо односвязными, либо двусвязными и т. д., либо бесконечносвязными. Однако это необходимое условие не является достаточным, что проявляется уже в случае односвязных областей. Так, круг zj<i нельзя однолистно и конформно отобразить на конечную плоскость С, а расширенную комплексную плоскость С нельзя конформно и однолистно отобразить на круг |z|<l или плоскость С (на самом деле, последние два отображения невозможно выполнить даже топологически). Еще более жесткая ситуация имеет место в случае многосвязных областей. Напр., круговое кольцо G1={z : r1<|z|<R1} можно однолистно и конформно отобразить на другое круговое кольцо G2= {z: r2<|z|<R2}, r1>0, r2>0, тогда и только тогда, когда эти кольца подобны, т. е. R1 : r1=R2:r2; в этом случае всякое К. о. G1 на G, является целой линейной функцией вида e^ibr2z/r1, где b некоторое действительное число. Однако всякую конечносвязную область G расширенной комплексной плоскости с непустой границей можно однолистно и ко. формно отобразить на любую из так наз. канонических областей той же связности, содержащую точку бесконечность, а именно: на расширенную плоскость с конечными горизонтальными разрезами, на расширенную плоскость с исключенными конечными не пересекающимися замкнутыми кругами, на расширенную плоскость с исключенными замкнутыми дугами логарифмич. спиралей заданного наклона q; при этом отдельные отрезки, круги и дуги спиралей могут вырождаться в точки. Если потребовать, чтобы заданная точка при таком отображении перешла в бесконечности и при выполнялось соотношение f(z)=(z-а)^-1 + O(z-а) при или соотношение f(z) = z+O(1/z) при то в случае канонпч. областей первых двух перечисленных типов отображающая функция w=f(z) существует, определяется единственным образом и наз. каноническим К. о. Эти теоремы справедливы и для бесконечносвязных областей.

Всякое однолистное К. о. области G1 , ограниченной конечным числом непересекающихся окружностей (при этом прямая считается окружностью бесконечно большого радиуса), на область G2 этого же типа является дробно-линейным отображением. В теории аналитпч. функций рассматриваются также неоднолистные отображения областей разной связности друг на друга посредством аналитич. функций, в том числе К. о. круга на многосвязные области, отображение n-связных областей на п-лпетный круг, вообще, отображения одной римановой поверхности на другую.

В теории К. о. и ее приложениях важную роль играют так наз. условия нормировки, или условия единственности, К. о., обеспечивающие выделение одной единственной функции из рассматриваемого бесконечного класса К. о. одной заданной области на другую (в случае одиосвязных областей) или заданной области на каноническую область определенного типа (в случае областей любой связности). Наиболее употребительные условия нормировки К. о. в случае односвязных областей G1, G2 с непустыми границами Г 1, Г 2 соответственно, не вырождающимися в точки, таковы: 1) заданная конечная точка переходит в заданную конечную точку причем argf'(a)=a, где a.наперед заданное действительное число, (см. Римана теорема о К. о.); 2) заданная точка переходит в заданную точкуа заданная достижимая граничная точка (пли граничный элемент)z1. области G1 переходит в заданную достижимую граничную точку (граничный элемент) w1 области G2 (см. Конформных отображений граничные свойства):.3) заданные три различные достижимые граничные точки (граничные элементы) z1, z2, z3 области G1 переходят соответственно в заданные достижимые граничные точки (граничные элементы) w1, w2, w3 области G2, при этом, если при движении по Г х от z1 к z3 через z2 область Gx остается слева (справа), то при движении по Г 2 от w1 к w3 через w2 область G2 также должна оставаться слева (соответственно справа). Последними двумя типами нормировок проще всего пользоваться в случае областей, ограниченных замкнутыми жордановыми кривыми, так как в этом случае понятия достижимой граничной точки и граничного элемента области эквивалентны понятию граничной точки области. Об условиях нормировки в случае отображения области произвольной связности на каноническую область сказано выше.

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

Существенно более обширный класс отображений при образуют так наз. квазиконформные отображения. При этих отображениях формы бесконечно малых фигур искажаются, но в ограниченных пределах, в частности в ограниченных пределах меняются величины углов, а бесконечно малые шары переходят в бесконечно малые эллипсоиды с ограниченным отношением наибольшей полуоси к наименьшей. Большую роль играют К. о. двумерных областей но только плоских, но и лежащих на гладких поверхностях. Примеры таких К. о. дают стереографическая проекция и проекция Меркатора сферы на плоскость. Они были открыты и нашли применение в картографии (см. Картографии математические задачи, Картографическая проекция). Заметим, что постановка в общем виде задачи о К. о. поверхностей в свое время привела к возникновению и развитию общей теории поверхностей. К. о. имеют обширные применения в теории функций, теории потенциала, при решении краевых задач для уравнений математической физики, прежде всего при решении первой краевой задачи для ураннений Лапласа и Пуассона.

Конформное отображение некоторых односвязных областей. Растяжения, повороты и параллельные переносы областей комплексной плоскости осуществляют целые линейные функции вида w=az+b. Однолистные К. о. полуплоскостей, кругов и внешностей кругов друг на друга осуществляются посредством дробно-линейных функций. При этом каковы бы ни были три различные точки z1, z2, z3 границы одной и той же области G1 (занумерованные так, что при движении по границе G1 от z1 к z3 через z2 область G1 остается слева) и различные точки w1,w2,w3 границы другой такой области G2 (занумерованные аналогичным образом), существует, и притом единственная, дробно-линейная функция w=L(z), однолистно и конформно отображающая G1 на G2 с условиями нормировки третьего типа: L(zk)=wk, k=1,2, 3. Эта функция находится из уравнения

в к-ром каждый числитель или знаменатель заменяется числом 1, если в его запись должна войти точка wk равна бесконечности или точка В частности, общий вид отображений единичного круга D={z : |z|<1} на себя:

а общий вид отображения верхней полуплоскости Р= {z:Im z>0} на этот круг: