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