Теорема Морера: обратная к теореме Коши для голоморфности

Теорема Морера - это обратная сторона интегральной теоремы Коши. Коши говорит: голоморфная функция даёт нулевой интеграл по замкнутому контуру. Морера утверждает противоположное: если у непрерывной функции $f$ в области $D$ интеграл $\oint_\gamma f(z)\,dz = 0$ по любому треугольнику $\gamma \subset D$, то $f$ автоматически голоморфна в $D$. Это даёт мощный приём: чтобы доказать аналитичность, не нужно проверять уравнения Коши-Римана или существование производной - достаточно показать, что интегралы по треугольникам обнуляются.

Точная формулировка теоремы Морера

Пусть $D$ - открытое множество в $\mathbb{C}$, $f: D \to \mathbb{C}$ - непрерывная функция. Если для любого треугольника $\gamma$, лежащего вместе со своим замыканием в $D$, выполнено

$\oint_\gamma f(z)\,dz = 0,$

то $f$ голоморфна в $D$.

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

Связь с интегральной теоремой Коши

Теорема Коши в форме Гурса: если $f$ голоморфна в области $D$, то $\oint_\gamma f\,dz = 0$ для любого треугольника $\gamma \subset D$. Морера - обратная импликация:

• Прямая (Коши-Гурса): голоморфность $\Rightarrow$ нулевые интегралы по треугольникам.
• Обратная (Морера): непрерывность + нулевые интегралы по треугольникам $\Rightarrow$ голоморфность.

Вместе они дают эквивалентность: для непрерывной $f$ в $D$ свойство «голоморфна» равносильно свойству «интеграл по любому треугольнику ноль». Морера - это удобная сторона, когда исходно про функцию известна только её интегральная структура (например, $f$ - предел или интеграл с параметром), а голоморфность нужно вывести.

Набросок доказательства через первообразную

Идея - построить локальную первообразную $F$ функции $f$ и показать, что $F$ голоморфна, а значит, $F' = f$ тоже голоморфна.

Зафиксируем точку $z_0 \in D$ и небольшой круг $B(z_0, r) \subset D$. Определим

$F(z) = \int_{[z_0, z]} f(\zeta)\,d\zeta$

вдоль прямолинейного отрезка от $z_0$ к $z$. Корректность определения от выбора пути проверяется так: для двух точек $z_1, z_2 \in B(z_0, r)$ разность путей $[z_0, z_1] + [z_1, z_2] - [z_0, z_2]$ образует треугольник, интеграл по которому ноль по условию. Значит,

$F(z_2) - F(z_1) = \int_{[z_1, z_2]} f(\zeta)\,d\zeta.$

Из непрерывности $f$ получаем

$\frac{F(z_2) - F(z_1)}{z_2 - z_1} = \frac{1}{z_2 - z_1}\int_{[z_1, z_2]} f(\zeta)\,d\zeta \to f(z_1)$

при $z_2 \to z_1$. Значит, $F$ комплексно дифференцируема и $F'(z) = f(z)$ в круге $B(z_0, r)$. Голоморфная функция бесконечно дифференцируема (по теореме Коши о производных), поэтому $F' = f$ тоже голоморфна. Локальность не мешает: голоморфность - свойство в окрестности каждой точки.

Применение 1: голоморфность предела последовательности

Пусть $f_n$ - последовательность голоморфных функций в $D$, равномерно сходящаяся на компактах к функции $f$. Тогда $f$ голоморфна. Доказательство через Морера занимает одну строку:

1. $f$ непрерывна как равномерный предел непрерывных $f_n$.
2. Для треугольника $\gamma \subset D$ имеем $\oint_\gamma f_n\,dz = 0$ (Коши для голоморфных $f_n$).
3. Равномерная сходимость на $\gamma$ позволяет переставить интеграл и предел: $\oint_\gamma f\,dz = \lim_n \oint_\gamma f_n\,dz = 0$.
4. По теореме Морера $f$ голоморфна.

Без Морера пришлось бы напрямую проверять существование $f'(z)$ - это технически тяжёлая работа с разностными отношениями. Морера превращает её в проверку перестановки интеграла и предела, которая работает автоматически при равномерной сходимости.

Применение 2: голоморфность интегралов с параметром

Пусть $g(t, z)$ непрерывна по совокупности переменных на $[a, b] \times D$ и при каждом $t$ функция $z \mapsto g(t, z)$ голоморфна в $D$. Тогда

$F(z) = \int_a^b g(t, z)\,dt$

голоморфна в $D$. Снова через Морера:

1. $F$ непрерывна (теорема о непрерывности интеграла с параметром).
2. Для треугольника $\gamma$ применим теорему Фубини и теорему Коши:

$\oint_\gamma F(z)\,dz = \oint_\gamma \int_a^b g(t,z)\,dt\,dz = \int_a^b \oint_\gamma g(t,z)\,dz\,dt = \int_a^b 0\,dt = 0.$

1. По Морера $F$ голоморфна.

Этот приём - основа теории гамма-функции Эйлера, преобразования Лапласа, рядов Дирихле, характеристических функций в теории вероятностей и многих интегральных представлений. Везде голоморфность результата получается «свободно» из голоморфности подынтегральной функции по параметру.

Применение 3: продолжение через границу (теорема Морера-Шварца)

Пусть $f$ голоморфна в верхней полуплоскости $\{z : \text{Im}\, z > 0\}$, непрерывна вплоть до вещественной оси и принимает вещественные значения на ней. Тогда $f$ продолжается до целой функции на $\mathbb{C}$ по принципу отражения Шварца, и обоснование продолжимости опирается на Морера: продолжим $f$ симметрией $f(\bar z) = \overline{f(z)}$ в нижнюю полуплоскость и проверим, что интегралы по треугольникам, пересекающим вещественную ось, обнуляются. Распиливая треугольник вертикальным отрезком на верхнюю и нижнюю части и переходя к пределу к границе, получаем ноль с обеих сторон. По Морера склейка голоморфна на всей плоскости.

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

Пример Морера-Гурса: ослабление условий

Гурса показал, что в теореме Коши достаточно требовать существование $f'(z)$ в каждой точке $D$ без априорного предположения непрерывности $f'$. Морера дополняет картину с другой стороны: достаточно только непрерывности $f$ + нулевых интегралов по треугольникам. Связка Морера-Гурса даёт минимальные условия голоморфности:

• Гурса: точечная комплексная дифференцируемость без непрерывности производной $\Rightarrow$ голоморфность.
• Морера: непрерывность + интегральное условие $\Rightarrow$ голоморфность.

Обе теоремы вместе показывают, что класс голоморфных функций удивительно жёсткий: либо локальное аналитическое условие, либо глобальное интегральное - и больше ничего не нужно.

Применение в теоремах об обратимости и продолжении

Теорема Римана об отображении гарантирует существование биголоморфизма между односвязной областью $D \neq \mathbb{C}$ и единичным кругом. В её доказательстве участвует семейство голоморфных функций $\{f_n\}$, из которого по теореме Монтеля (комплексный аналог теоремы Арцела-Асколи) извлекается равномерно сходящаяся подпоследовательность; предельная функция оказывается голоморфной по Морера (как равномерный предел голоморфных), и дальше проверяется, что она реализует искомое отображение.

Аналогично для продолжения голоморфных функций (например, аналитическое продолжение дзета-функции Римана $\zeta(s)$ за полосу сходимости) часто используют интегральные представления вида $F(z) = \int g(t, z)\,dt$ и доказывают голоморфность $F$ в более широкой области через Морера. Это базовый инструмент в теории чисел и в теории специальных функций.

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

• Забывают про непрерывность $f$ - без неё контрпримеры тривиальны (склейка двух аналитических функций с разрывом).
• Проверяют интеграл по одному конкретному треугольнику и считают, что этого достаточно - нужно по всем треугольникам в области.
• Путают направление импликации: Морера - обратная Коши, а не сама Коши. Из голоморфности нулевые интегралы получаются по Коши, не по Морера.
• При перестановке интеграла и предела не проверяют равномерную сходимость на компактах - без неё перестановка незаконна и аргумент рушится.
• Пытаются применить теорему к функциям нескольких комплексных переменных в форме треугольников - там нужна формулировка через формы и теорема Хартогса, а не одномерная Морера.

FAQ

Чем теорема Морера отличается от теоремы Коши? Теорема Коши идёт от голоморфности к нулевому интегралу. Теорема Морера - наоборот: от нулевого интеграла (по любому треугольнику) при условии непрерывности - к голоморфности. Вместе они дают эквивалентность.

Можно ли вместо треугольников требовать обнуление по прямоугольникам или окружностям? Да, любой класс контуров, на котором проверка эквивалентна проверке на треугольниках, годится - прямоугольники, например, разбиваются на два треугольника диагональю. Треугольники выбраны как минимальный геометрический «строительный блок».

Зачем нужна теорема Морера, если есть уравнения Коши-Римана? Уравнения Коши-Римана требуют знания частных производных функции. Если $f$ задана как предел, ряд или интеграл - производные явно не выражаются, а перестановка дифференцирования с пределом требует отдельных оправданий. Морера работает с интегралами, и перестановка интеграла с пределом обоснована при простой равномерной сходимости.

Коротко

Теорема Морера - обратная к теореме Коши: непрерывность $f$ в области $D$ плюс $\oint_\gamma f\,dz = 0$ по любому треугольнику $\gamma \subset D$ означают голоморфность $f$. Доказательство - построение локальной первообразной через интеграл по отрезку и проверка её комплексной дифференцируемости. Основные применения: голоморфность равномерных пределов голоморфных функций (база теории Монтеля и теоремы Римана об отображении), голоморфность интегралов с параметром (база теории гамма-функции, преобразования Лапласа, дзета-функции) и принцип отражения Шварца для продолжения через границу.