Теорема Митта-Лефлера

Мотивация: бесконечная сумма дробей

Рациональная функция R(z) = P(z)/Q(z) разлагается в сумму простых дробей: R = Σ Aₖ/(z−zₖ)^mₖ + многочлен. Теорема Митта-Лефлера — аналог для мероморфных функций с бесконечно многими полюсами: можно «предписать» полюсы и их главные части и построить функцию с этими данными.

Теорема Митта-Лефлера

Теорема (Митта-Лефлер, 1877): Пусть {aₙ} — последовательность точек без предельной точки в ℂ (т.е. |aₙ| → ∞), и для каждого aₙ задана «главная часть» pₙ(1/(z−aₙ)) — многочлен от 1/(z−aₙ). Тогда существует мероморфная функция f с полюсами в {aₙ} и заданными главными частями:

f(z) = h(z) + Σₙ [pₙ(1/(z−aₙ)) − qₙ(z)],

где h(z) — произвольная целая функция, qₙ(z) — многочлены, обеспечивающие сходимость ряда.

Частичные дроби специальных функций

Разложение π cot(πz):

π cot(πz) = 1/z + Σ_{n≠0} [1/(z−n) + 1/n] = lim_{N→∞} Σ_{n=−N}^{N} 1/(z−n).

Полюсы при z = n ∈ ℤ, главные части 1/(z−n) — полюсы первого порядка с вычетом 1.

Из разложения π cot(πz) интегрированием получают продукт Эйлера sin(πz) = πz·Π(1−z²/n²).

Разложение 1/sin(πz):

1/sin(πz) = Σ_{n=−∞}^{∞} (−1)ⁿ/(z−n).

Полюсы при всех целых n, вычет в n = (−1)ⁿ.

Применение: суммирование рядов

∮ f(z)·π cot(πz) dz = −2πi Σ_{n∈ℤ} f(n) (контур охватывает все целые n).

Если f(z) убывает достаточно быстро, и контур расширяется, интеграл → 0:

Σ_{n=−∞}^{∞} f(n) = −Σ_{полюсы f} Res [f(z)·π cot(πz)].

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

Задача: Найти Σ_{n=1}^∞ 1/(n²+a²) через вычеты.

Шаг 1. Рассмотрим g(z) = 1/(z²+a²) с полюсами z = ±ia (при a > 0, a ∉ ℤ).

Шаг 2. Σ_{n=−∞}^∞ 1/(n²+a²) = −Res_{z=ia} [π cot(πz)/(z²+a²)] − Res_{z=−ia} [π cot(πz)/(z²+a²)].

Шаг 3. В z = ia: (z²+a²) = (z−ia)(z+ia), вычет = π cot(πia)/(2ia). cot(πia) = cos(πia)/sin(πia) = cosh(πa)/[i sinh(πa)] = −i coth(πa). Вычет в ia: π·(−i coth(πa))/(2ia) = π coth(πa)/(2a). В z = −ia: аналогично, сумма двух вычетов = π coth(πa)/a.

Шаг 4. Σ_{n=−∞}^∞ 1/(n²+a²) = π coth(πa)/a. Симметрия: 1/a² + 2·Σ_{n=1}^∞ 1/(n²+a²) = π coth(πa)/a.

Результат: Σ_{n=1}^∞ 1/(n²+a²) = (π coth(πa)/a − 1/a²)/2 = (πa coth(πa) − 1)/(2a²).

Проверка при a→0: coth(πa) ≈ 1/(πa) + πa/3 → πa·coth(πa) ≈ 1 + π²a²/3 → Σ ≈ π²/6 = Σ1/n² ✓.

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

Электродинамика: силы изображений в конденсаторах с несколькими пластинами вычисляются как суммы вкладов всех «изображений» — бесконечная серия, суммируемая через разложение Митта-Лефлера.

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

Теорема Миттаг-Леффлера утверждает, что для любой последовательности точек zₙ → ∞ и заданных главных частей gₙ(z) в этих точках существует мероморфная функция, имеющая именно эти полюса и главные части. Это аналог теоремы Вейерштрасса для нулей и широко применяется в построении специальных функций. Например, разложение π·ctg(πz) = 1/z + Σ_{n≥1} 2z/(z²−n²) даёт изящное доказательство равенства Эйлера Σ 1/n² = π²/6. В теории дифференциальных уравнений мероморфные функции описывают резольвенты эллиптических операторов; их полюса соответствуют собственным значениям, а вычеты — проекторам на собственные подпространства. Это лежит в основе спектральных методов численной линейной алгебры.

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

Теорема Митта-Лефлера естественно дополняет теорему Вейерштрасса о представлении целых функций по их нулям; вместе они дают классический вариант теоремы о единственной мероморфной функции по заданным нулям и полюсам (через логарифмическую производную). Это напрямую связывает ее с дивизорами на Римановых поверхностях: в формулировке Л. Ахлфорса и Л. Сарица задача построения мероморфной функции с заданным дивизором сводится к глобальной версии теоремы Митта-Лефлера на компактных поверхностях.

В теории дифференциальных уравнений Митта-Лефлер используется при анализе решений линейных уравнений Фукса и уравнений Пенлеве: по Р. Неванлинне и Е. Л. Ингелису локальные разложения около особых точек «сшиваются» глобально именно через такие представления. В спектральной теории самосопряженных операторов разложения типа Митта-Лефлера возникают в работах М. Стоуна и Н. Данфорда – Дж. Шварца при описании резольвент и их полюсов.

В функциональном анализе теорема выступает аналитическим аналогом разложения по спектру в теоремах Гельфанда–Мазура и использовалась в классических трудах Г. Г. Харди о распределении нулей дзета-функций. В алгебраической геометрии формулировка через когорты Шефов: теорема Митта-Лефлера соответствует тривиальности первой когорты определенного пучка мероморфических функций; это объясняется в книгах Ж.-П. Серра и Р. Гартшорна. В теории вероятностей и стохастических процессов представления мероморфных функций подобного типа применяются к характеристическим функциям и функциям Лапласа; примером являются работы Б. Мандельброта и Ю. В. Прохорова по устойчивым распределениям, где аналитическое продолжение задается через полюса и вычеты.

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

Результат, ныне называемый теоремой Митта-Лефлера, был опубликован Гёстой Миттаг-Леффлером в 1877 году в Acta Mathematica и вырос из работы по теории эллиптических функций Вейерштрасса и Коши. Мотивирующей задачей было построение «универсальных» рядов, задающих нужное расположение полюсов, что позволяло систематизировать специальные функции, такие как эллиптические и гамма-функция.

В конце XIX века Ж. Адамар и Э. Пик использовали идеи Митта-Лефлера для исследования целых функций конечного порядка роста; это привело к классическим теоремам Адамара о факторизации. В начале XX века, после появления работ Римана и его школы по Римановым поверхностям, теорема была переформулирована в геометрическом духе; большой вклад внесли Ф. Клейн и П. Кусакава, связывая ее с теоремой Римана–Роха.

Во второй половине XX века, в работах Ж.-П. Серра, Л. Хёрмандера и Л. Карлесона, идеи Митта-Лефлера вошли в общий язык комплексных аналитических пространств и когомологий пучков. Доказательства стали опираться на методы L²-оценок и теорему Дольбо. В XXI веке продолжения этой линии можно видеть в задачах о продольных и поперечных мероморфных объектах на комплексных многообразиях, а также в аналитических аспектах теории динамических систем (например, в исследованиях мероморфных самоподобных функций в работах К. Макмурена и Д. СULLIVAN).