Ряды Лорана

Мотивация: что делать с особыми точками?

В окрестности точки, где функция не определена или не голоморфна, ряд Тейлора не применим — он требует голоморфности в круге. Ряд Лорана расширяет это, включая отрицательные степени: f(z) = ... + c₋₂/(z−z₀)² + c₋₁/(z−z₀) + c₀ + c₁(z−z₀) + ... Главная часть (с отрицательными степенями) описывает «тип» особенности.

Ряд Лорана

В кольце r < |z − z₀| < R функция f, голоморфная в кольце, разлагается в:

f(z) = Σₙ₌₋∞^∞ cₙ(z−z₀)ⁿ,

где коэффициенты: cₙ = (1/2πi) ∮_{|ζ-z₀|=ρ} f(ζ)/(ζ−z₀)^{n+1} dζ (r < ρ < R).

Правильная часть: Σₙ₌₀^∞ cₙ(z−z₀)ⁿ — сходится в круге |z−z₀| < R. Главная часть: Σₙ₌₁^∞ c₋ₙ/(z−z₀)ⁿ — сходится вне круга |z−z₀| > r.

Классификация особых точек

Устранимая особенность: Главная часть = 0 (все c₋ₙ = 0). f ограничена вблизи z₀. Можно доопределить f(z₀) = c₀ и продолжить до голоморфной. Пример: f(z) = sin(z)/z при z₀ = 0. sin(z)/z = 1 − z²/6 + z⁴/120 − ... (все степени ≥ 0).

Полюс порядка m: c₋ₘ ≠ 0, c₋ₙ = 0 при n > m. Тогда |f(z)| → ∞ при z → z₀. f(z) = (z−z₀)^{−m}·g(z), где g голоморфна и g(z₀) ≠ 0. Пример: 1/(z−z₀)^m — полюс порядка m.

Существенная особенность: Бесконечно много ненулевых c₋ₙ. Поведение хаотично: нет предела при z → z₀, образ f в любой окрестности z₀ плотен в ℂ (теорема Казорати–Вейерштрасса). Пример: e^{1/z} при z = 0. Ряд: e^{1/z} = 1 + 1/z + 1/(2!z²) + ...

Мероморфная функция: голоморфна кроме изолированных полюсов. Рациональные P(z)/Q(z) — мероморфны на ℂ.

Теорема Казорати–Вейерштрасса

Вблизи существенной особенности z₀ образ f плотен в ℂ: для любого w ∈ ℂ и любой окрестности U ∋ z₀ существует z ∈ U: |f(z) − w| < ε. Более того (большая теорема Пикара): f принимает каждое значение (кроме, возможно, одного) бесконечно много раз.

Численный пример

Задача: Найти ряд Лорана e^{1/z} в окрестности z = 0 и классифицировать особую точку.

Шаг 1. Замена w = 1/z: eʷ = Σₙ₌₀^∞ wⁿ/n!

Шаг 2. Подставляем w = 1/z: e^{1/z} = Σₙ₌₀^∞ 1/(n! · zⁿ) = 1 + 1/z + 1/(2!z²) + 1/(3!z³) + ...

Шаг 3. Главная часть: Σₙ₌₁^∞ 1/(n!·zⁿ) — бесконечно много ненулевых членов с отрицательными степенями. Следовательно, z = 0 — существенная особенность.

Шаг 4. Проверка теоремы Казорати: найти z → 0 с e^{1/z} → −1. Берём 1/z = iπ + ln(2) + 2πik → z = 1/(ln2 + i(π+2πk)). При k → ∞: z → 0 и e^{1/z} = e^{ln2}·e^{iπ} = 2·(−1) = −2. Изменив ln 2 → 0: e^{1/z} → −1. Действительно, для любого w ≠ 0 можно найти z → 0 с e^{1/z} → w.

Реальное приложение

Квантовая механика: существенные особенности возникают в рассеянии частиц при нулевой энергии (s-волновое рассеяние). Классификация особенностей определяет тип рассеяния (резонансное или нет).

Дополнительные аспекты

Классификация особых точек определяет поведение интегралов и применимость теории вычетов. Полюс порядка m характеризуется тем, что (z−z₀)^m·f(z) имеет устранимую особенность; в таких точках вычет считается по формуле res = (1/(m−1)!)·lim d^{m−1}/dz^{m−1}[(z−z₀)^m f(z)]. Существенные особенности (теорема Сохоцкого–Вейерштрасса) дают плотный образ в любой окрестности и встречаются в задачах теории чисел и квантовой механики. На практике ряды Лорана служат основой для метода частных дробей при интегрировании рациональных функций и для контурного метода вычисления обратных z-преобразований в цифровой обработке сигналов.

Итогом всего раздела становится единый алгоритм: для произвольного контурного интеграла с рациональной или мероморфной функцией следует найти все полюса внутри контура, посчитать вычеты и просуммировать их, домножив на 2πi. Этот рецепт переносится почти без изменений на интегралы вдоль действительной оси за счёт замыкания дугой и проверки оценок Жордана; его универсальность объясняет, почему теория вычетов остаётся главным вычислительным инструментом классического анализа.

Связь с другими разделами математики

Ряды Лорана естественно появляются при изучении линейных дифференциальных уравнений в комплексной области. Подход Фробениуса к особым точкам использует разложения решений в ряд с возможными отрицательными степенями, а классификация особых точек уравнения (обыкновенные, регулярные, нерегулярные) по Фуксу опирается на поведение коэффициентов в лорановском разложении. В теории монодромии аналитическое продолжение решения вокруг особой точки описывается матрицей, элементы которой выражаются через коэффициенты главной части.

Алгебраическая сторона проявляется в теории функций на римановых поверхностях. Мероморфные функции на компактной римановой поверхности образуют поле, а их поведение в окрестности точек задается конечным числом членов ряда Лорана: это лежит в основе дивизоров и теоремы Римана–Роха. В алгебраической геометрии рациональные дифференциалы описываются через главные части на каждой точке, а теорема о сумме вычетов формулируется как линейное соотношение между коэффициентами главных частей.

В топологии и теории особых значений интегралов Меллина–Барнса лорановские разложения используются при доказательстве функциональных уравнений для дзета-функций и L-функций; работа Римана по дзета-функции фактически опирается на анализ главных частей в точках 1 и 0. В вероятностных задачах, связанных с генераторами марковских процессов и производящими функциями, лорановские разложения позволяют изучать асимптотику хвостов распределений через анализ особенностей генераторной функции. В численном анализе метод Паде и обобщенные разложения Чебышева реализуют рациональные аппроксимации, чья структура тесно связана с расположением полюсов, то есть с главными частями рядов Лорана.

Историческая справка и развитие идеи

Сам Пьер Лоран публикует в 1843 году в Comptes Rendus заметку, где описывает разложение функции в окрестности точки с использованием отрицательных степеней. Однако систематическое место эта конструкция получила позже, в трудах Коши и Вейерштрасса, когда интеграл Коши стал использоваться для определения коэффициентов ряда. Классическая форма разложения через интегральную формулу закрепляется в курсах Серра и Гурса во второй половине XIX века. К концу XIX века, благодаря работам Казорати, Вейерштрасса и Пикара, идея лорановского разложения становится ключом к пониманию сложных особенностей и к формулировке теоремы Пикара о значениях мероморфных функций. Труды Фукса и Пуанкаре по линейным дифференциальным уравнениям вводят систематическое использование рядов с отрицательными степенями для анализа особых точек решений и монодромии.