Принцип симметрии Шварца: аналитическое продолжение через отражение

Принцип симметрии Шварца - один из самых наглядных инструментов аналитического продолжения в теории функций комплексного переменного (ТФКП). Если голоморфная в верхней полуплоскости функция непрерывно доходит до отрезка вещественной оси и принимает там вещественные значения, то её можно «отразить» в нижнюю полуплоскость и получить функцию, голоморфную уже в объединённой области. Ниже разберём точную формулировку, схему доказательства через теорему Мореры, обобщение на отражение относительно окружности и связанные подводные камни.

Классическая формулировка принципа симметрии Шварца

Пусть область $D^+$ лежит в верхней полуплоскости $\operatorname{Im} z > 0$ и часть её границы - отрезок $L$ вещественной оси. Пусть функция $f$ голоморфна в $D^+$, непрерывна вплоть до $L$ и принимает на $L$ только вещественные значения: $f(x) \in \mathbb{R}$ при $x \in L$. Обозначим через $D^-$ зеркальное отражение $D^+$ относительно вещественной оси. Тогда функция

$$F(z) = \begin{cases} f(z), & z \in D^+ \cup L, \\ \overline{f(\bar z)}, & z \in D^-, \end{cases}$$

голоморфна во всей области $D = D^+ \cup L \cup D^-$. Это и есть принцип симметрии (принцип отражения) Шварца: значения в нижней полуплоскости задаются формулой $F(z) = \overline{f(\bar z)}$, реализующей «зеркальное» аналитическое продолжение.

Ключевое наблюдение: функция $z \mapsto \overline{f(\bar z)}$ сама голоморфна в $D^-$. Действительно, отображение $z \mapsto \bar z$ антиголоморфно, $f$ голоморфна, а повторное сопряжение возвращает голоморфность - две «инверсии комплексной структуры» компенсируют друг друга.

Чтобы прочувствовать механику отражения на конкретной функции и области, удобно собрать запрос к разбору ниже.

Почему отражённая функция голоморфна

Доказательство опирается на непрерывность склейки на $L$ и теорему Мореры. На отрезке $L$ оба определения совпадают: при $z = x \in L$ имеем $\overline{f(\bar x)} = \overline{f(x)} = f(x)$, поскольку $f(x)$ вещественно. Значит, $F$ непрерывна в $D$.

Голоморфность во внутренних точках $D^+$ и $D^-$ очевидна. Остаётся проверить голоморфность на самом отрезке $L$. Здесь применяют теорему Мореры: если $F$ непрерывна в области и $\oint_{\partial \Delta} F(z)\, dz = 0$ для любого треугольника $\Delta$, то $F$ голоморфна. Треугольник, пересекающий $L$, разбивают на части в $D^+$ и $D^-$ (с предельным переходом контура к $L$); в каждой части интеграл равен нулю по теореме Коши, а вклады отрезков по $L$ берутся в противоположных направлениях и сокращаются. Подробный аппарат контурного интегрирования разобран в материале про интегральную теорему Коши.

Принцип отражения через произвольную прямую

Вещественная ось не привилегирована. Если граница содержит отрезок произвольной прямой, а функция $f$ переводит этот отрезок в другую прямую, то отражение работает с помощью предварительной нормировки координат. Берём конформные преобразования (повороты и сдвиги) $\varphi$ и $\psi$, переводящие соответствующие прямые в вещественную ось, рассматриваем $\psi \circ f \circ \varphi^{-1}$, применяем классический принцип и возвращаемся обратно. Поскольку дробно-линейные и аффинные отображения голоморфны и обратимы, продолжение сохраняется.

Геометрически принцип утверждает: аналитическая функция, отображающая граничную прямую (или дугу) в прямую (или дугу), коммутирует с соответствующими отражениями. Симметрия области относительно зеркала превращается в симметрию значений функции.

Отражение относительно окружности

Самое сильное обобщение касается дуги окружности. Здесь «отражение» - это инверсия относительно окружности. Для единичной окружности отражение точки $z$ задаётся как $z^* = 1/\bar z$. Если $f$ голоморфна внутри области, прилегающей к дуге единичной окружности, непрерывна вплоть до дуги и переводит её в дугу единичной окружности (то есть $|f(z)| = 1$ на дуге), то продолжение во внешность задаётся формулой

$$F(z) = \frac{1}{\overline{f\!\left(1/\bar z\right)}}.$$

В общем случае, когда функция переводит окружность $|z - a| = R$ в окружность $|w - b| = \rho$, формула отражения комбинирует инверсии относительно обеих окружностей. Этот вариант принципа симметрии Шварца особенно важен в теории конформных отображений: им продолжают отображения многоугольников и круговых луночек, строят функции с заданной симметрией и доказывают аналитичность границ.

Связь с принципом Шварца - Кристоффеля и группами симметрий

Многократное применение принципа отражения порождает целые группы симметрий. Отражая фундаментальную область относительно её сторон снова и снова, получают аналитическое продолжение на всю плоскость или на универсальную накрывающую - так появляются эллиптические и модулярные функции. Модулярная функция $\lambda(\tau)$, например, строится отражениями криволинейного треугольника. Здесь принцип симметрии работает как «генератор» дискретной группы преобразований, относительно которой функция инвариантна или ковариантна.

Условия применимости: что нельзя ослаблять

Три условия принципиальны и не сводятся одно к другому. Во-первых, граничная часть $L$ должна быть гладкой дугой (отрезком прямой или окружности) - отразить через угловую точку или произвольную кривую нельзя без дополнительной работы. Во-вторых, требуется непрерывность $f$ вплоть до $L$: достаточно непрерывности, голоморфность на границе не предполагается. В-третьих, образ дуги обязан лежать на прямой или окружности - условие $\operatorname{Im} f = 0$ (или $|f| = \text{const}$) на $L$ нельзя заменить ничем более слабым, иначе формула отражения теряет смысл.

Заметим, что вместо условия «вещественные значения» иногда требуют, чтобы мнимая часть $f$ обращалась в нуль на $L$, либо чтобы $f$ была вещественной по модулю константы. Все эти варианты - переформулировки одного условия «образ границы лежит на зеркале». Подробнее о поведении функций на границах и о единственности продолжения см. материал про интегральную теорему Вейерштрасса.

Практическое применение

Принцип симметрии Шварца используют, чтобы:

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

Частые ошибки

• Путают $\overline{f(\bar z)}$ с $\overline{f(z)}$. Правильная формула продолжения - $F(z) = \overline{f(\bar z)}$; сопряжение применяется и к аргументу, и к значению. Просто $\overline{f(z)}$ голоморфной не будет.
• Забывают про условие на образ границы. Голоморфности и непрерывности до $L$ недостаточно - образ $L$ обязан лежать на прямой (или окружности). Без этого отражение не определено.
• Отражают через угол или излом. Принцип работает только через гладкую дугу прямой/окружности. Угловую точку перед отражением надо «выпрямить» конформным отображением.
• Применяют круговую формулу как осевую. Для дуги окружности отражение - это инверсия $z^* = 1/\bar z$ (для единичной), а не комплексное сопряжение. Подстановка не та - продолжение получится неголоморфным.
• Считают, что продолжение всегда однозначно глобально. Локально $F$ голоморфна, но при многократных отражениях через разные дуги можно прийти к многозначности (как у $\sqrt{z}$ вокруг точки ветвления).

FAQ

Чем принцип Шварца отличается от обычного аналитического продолжения степенным рядом? Продолжение рядами «переносит» функцию вдоль цепочки перекрывающихся кругов. Принцип симметрии даёт явную формулу продолжения сразу на зеркально-симметричную область, используя граничное условие $f(L) \subset \mathbb{R}$, и не требует пересчёта коэффициентов ряда.

Обязательно ли $f$ голоморфна на самой границе $L$? Нет. Требуется лишь голоморфность внутри $D^+$ и непрерывность вплоть до $L$. Голоморфность на $L$ получается автоматически как следствие принципа (через теорему Мореры).

Можно ли отражать функцию, у которой на дуге $|f| = 1$, а не $\operatorname{Im} f = 0$? Да, это вариант для окружности: условие $|f| = 1$ означает, что образ лежит на единичной окружности, и продолжение задаётся формулой $F(z) = 1/\overline{f(1/\bar z)}$.

Коротко

Принцип симметрии Шварца позволяет аналитически продолжить голоморфную функцию через гладкую граничную дугу - отрезок прямой или дугу окружности, - если функция непрерывна до этой дуги и переводит её в прямую или окружность. Для вещественной оси продолжение задаётся формулой $F(z) = \overline{f(\bar z)}$, для окружности - соответствующей инверсией. Голоморфность склейки доказывается теоремой Мореры, а многократное применение отражений порождает функции с дискретными группами симметрий.