Суммирование по Борелю - Википедия - Borel summation

Борель Затем неизвестный молодой человек обнаружил, что его метод суммирования дает «правильный» ответ для многих классических расходящихся рядов. Он решил совершить паломничество в Стокгольм, чтобы увидеть Mittag-Leffler, который был признанным владыкой комплексного анализа. Миттаг-Леффлер вежливо выслушал то, что говорил Борель, а затем, положив руку на полное собрание сочинений Weierstrass - его учитель, - сказал он по-латыни: «Мастер запрещает это».

Марк Кац, цитируется Рид и Саймон (1978), п. 38)

В математике Суммирование по Борелю это метод суммирования за расходящийся ряд, представлен Эмиль Борель  (1899 ). Это особенно полезно для суммирования расходящийся асимптотический ряд, и в некотором смысле дает наилучшую возможную сумму для такого ряда. Существует несколько разновидностей этого метода, которые также называют суммированием по Борелю, а его обобщение - Суммирование Миттаг-Леффлера.

Определение

Существует (по крайней мере) три немного разных метода, называемых суммированием Бореля. Они различаются по тому, какой ряд можно суммировать, но согласованы, что означает, что если два метода суммируют один и тот же ряд, они дают одинаковый ответ.

Во всем пусть А(z) обозначим формальный степенной ряд

и определим преобразование Бореля А быть эквивалентным ему экспоненциальным рядом

Метод экспоненциального суммирования Бореля

Позволять Ап(z) обозначим частичную сумму

Слабая форма метода суммирования Бореля определяет сумму Бореля А быть

Если это сходится в z ∈ C некоторым а(z), мы говорим, что слабая борелевская сумма А сходится в z, и писать .

Метод интегрального суммирования Бореля

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

Если интеграл сходится в точке z ∈ C некоторым а(z), говорят, что борелевская сумма А сходится в z, и писать .

Метод интегрального суммирования Бореля с аналитическим продолжением

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

Основные свойства

Регулярность

Методы (B) и (wB) оба обычный методы суммирования, означающие, что всякий раз, когда А(z) сходится (в стандартном смысле), то сумма Бореля и слабая сумма Бореля также сходятся, и делают это с одним и тем же значением. т.е.

Регулярность (B) легко увидеть по изменению порядка интегрирования, которое действительно из-за абсолютной сходимости: если А(z) сходится в z, тогда

где крайнее правое выражение - это в точности сумма Бореля при z.

Регулярность (B) и (wB) подразумевают, что эти методы обеспечивают аналитическое расширение А(z).

Неэквивалентность борелевского и слабого борелевского суммирования

Любая серия А(z), которая слабо суммируема по Борелю на z ∈ C также суммируем по Борелю в z. Однако можно построить Примеры рядов, расходящихся при слабом суммировании по Борелю, но суммируемых по Борелю. Следующая теорема характеризует эквивалентность двух методов.

Теорема ((Харди 1992, 8.5)).
Позволять А(z) быть формальным степенным рядом и зафиксировать z ∈ C, тогда:
  1. Если , тогда .
  2. Если , и тогда .

Связь с другими методами суммирования

Теоремы единственности

Всегда есть много разных функций с любым заданным асимптотическим разложением. Однако иногда существует наилучшая возможная функция в том смысле, что ошибки конечномерных приближений в некоторой области минимальны. Теорема Ватсона и теорема Карлемана показывают, что суммирование по Борелю дает такую ​​наилучшую возможную сумму ряда.

Теорема Ватсона

Теорема Ватсона дает условия, при которых функция является суммой Бореля своего асимптотического ряда. Предположим, что ж - функция, удовлетворяющая следующим условиям:

  • ж голоморфна в некоторой области |z| < р, | аргумент (z)| < π/2 + ε для некоторых положительных р иε.
  • В этом регионе ж имеет асимптотический ряд а0 + а1z + ... со свойством, что ошибка

ограничен

для всех z в области (для некоторой положительной постоянной C).

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

В более общем плане ж все еще определяется своим асимптотическим рядом, если п! в приведенной выше оценке ошибки заменено на кн! при условии | arg (z)| < π/2 + ε заменяется на | arg (z)| < kπ/2 + ε. В каком-то смысле это лучший вариант, поскольку есть контрпримеры, если число kπ/ 2 заменяется любым меньшим числом.[требуется разъяснение ]

Теорема Карлемана

Теорема Карлемана показывает, что функция однозначно определяется асимптотическим рядом в секторе при условии, что ошибки в аппроксимациях конечного порядка не растут слишком быстро. Точнее, он утверждает, что если ж аналитична внутри сектора |z| < C, Re (z)> 0 и |ж(z)| < |бпz|п в этом регионе для всех п, тогда ж равен нулю при условии, что ряд 1 /б0 + 1/б1 + ... расходится.

Теорема Карлемана дает метод суммирования для любого асимптотического ряда, члены которого не растут слишком быстро, поскольку сумма может быть определена как единственная функция с этим асимптотическим рядом в подходящем секторе, если он существует. Суммирование по Борелю немного слабее, чем частный случай, когда бп =сп для некоторой постоянной c. В более общем плане можно определить методы суммирования немного сильнее, чем методы Бореля, взяв числа бп быть немного больше, например бпспбревноп или же бп =спбревно п журнал журналп. На практике от этого обобщения мало пользы, так как почти нет естественных примеров суммируемых этим методом рядов, которые также нельзя было бы суммировать методом Бореля.

Пример

Функция ж(z) = exp (–1 /z) имеет асимптотический ряд 0 + 0z+ ... с ошибкой указанной выше формы в области | arg (z)| < θ для любого θ < π/ 2, но не дается борелевской суммой своего асимптотического ряда. Это показывает, что число π/ 2 в теореме Ватсона не может быть заменено каким-либо меньшим числом (если оценка ошибки не сделана меньше).

Примеры

Геометрическая серия

Рассмотрим геометрическая серия

который сходится (в стандартном смысле) к 1 / (1 -z) для |z| <1. Преобразование Бореля имеет вид

откуда получаем сумму Бореля

который сходится в большей области Re (z) <1, что дает аналитическое продолжение оригинальной серии.

Рассматривая вместо этого слабое преобразование Бореля, частичные суммы имеют вид АN(z) = (1 - zN+1)/(1 − z), поэтому слабая борелевская сумма равна

где опять же сходимость на Re (z) <1. В качестве альтернативы это можно увидеть, обратившись к части 2 теоремы эквивалентности, поскольку для Re (z) < 1

Альтернативный факторный ряд

Рассмотрим серию

тогда А(z) не сходится ни при каких ненулевых z ∈  C. Преобразование Бореля есть

для |т| <1, что аналитически продолжается на всет ≥ 0. Таким образом, сумма Бореля равна

(где Γ - неполная гамма-функция ).

Этот интеграл сходится при всех z ≥ 0, поэтому исходный расходящийся ряд суммируем по Борелю для всех такихz. Эта функция имеет асимптотическое разложение в качестве z стремится к 0, что дает исходный расходящийся ряд. Это типичный пример того факта, что суммирование по Борелю иногда «правильно» суммирует расходящиеся асимптотические разложения.

Опять же, поскольку

для всех z, теорема эквивалентности гарантирует, что слабое борелевское суммирование имеет ту же область сходимости: z ≥ 0.

Пример, в котором эквивалентность не работает

Следующий пример расширяет пример, приведенный в (Харди 1992, 8.5). Учитывать

После изменения порядка суммирования преобразование Бореля имеет вид

В z = 2 сумма Бореля определяется выражением

куда S(Икс) это Интеграл Френеля. Через теорема сходимости вдоль хорд борелевский интеграл сходится при всех z ≤ 2 (очевидно, что интеграл расходится при z > 2).

Для слабой суммы Бореля отметим, что

относится только к z <1, и поэтому слабая сумма Бореля сходится в этой меньшей области.

Результаты существования и область сходимости

Суммируемость по аккордам

Если формальный ряд А(z) суммируем по Борелю в z0 ∈ C, то она также суммируема по Борелю во всех точках хорды Oz0 соединение z0 к происхождению. Более того, существует функция а(z) аналитических по всему диску радиуса Oz0 такой, что

для всех z = θz0, θ ∈ [0,1].

Непосредственным следствием является то, что область сходимости борелевской суммы является звездный домен в C. Об области сходимости суммы Бореля можно сказать больше, чем о том, что это звездная область, которая называется борелевским многоугольником и определяется особенностями ряда А(z).

Полигон Бореля

Предположим, что А(z) имеет строго положительный радиус сходимости, так что он аналитичен в нетривиальной области, содержащей начало координат, и пусть SА обозначим множество особенностей А. Это означает, что п ∈ SА если и только если А можно аналитически продолжить по открытой хорде от 0 до п, но не п сам. За п ∈ SА, позволять Lп обозначим линию, проходящую через п который перпендикулярен хорде OP. Определите наборы

множество точек, лежащих по одну сторону от Lп как происхождение. Борелевский многоугольник А это набор

Альтернативное определение было использовано Борелем и Фрагменом (Сансон и Герретсен 1960, 8.3). Позволять обозначают наибольшую звездную область, на которой существует аналитическое расширение А, тогда это самое большое подмножество такой, что для всех внутренность круга диаметром OP содержится в . Ссылаясь на набор как многоугольник - это несколько неправильное название, поскольку множество вовсе не обязательно должно быть многоугольником; если, однако, А(z) имеет лишь конечное число особенностей, то на самом деле будет многоугольником.

Следующая теорема Бореля и Фрагмен предоставляет критерии сходимости для суммирования по Борелю.

Теорема (Харди 1992, 8.8).
Сериал А(z) является (B) суммируемый вообще , и является (B) расходятся вообще .

Обратите внимание, что (B) суммируемость для зависит от характера точки.

Пример 1

Пусть ωя ∈ C обозначить м-й корень единства, я = 1, ..., м, и рассмотрим

который сходится на B(0,1) ⊂ C. Рассматривается как функция на C, А(z) имеет особенности при SА = {ωя : я = 1, ..., м}, и, следовательно, многоугольник Бореля дается регулярным м-угольник с центром в нуле и такой, что 1 ∈C это середина ребра.

Пример 2

Формальная серия

сходится для всех (например, сравнительный тест с геометрическим рядом). Однако можно показать[2] который А не сходится ни в одной точке z ∈ C такой, что z2п = 1 для некоторых п. Поскольку набор таких z плотно в единичной окружности, не может быть аналитического продолжения А вне B(0,1). Впоследствии самый большой звездный домен, к которому А аналитически расширяется S = B(0,1) из которого (через второе определение) получаем . В частности, видно, что многоугольник Бореля не является многоугольником.

Тауберова теорема

А Тауберова теорема обеспечивает условия, при которых сходимость одного метода суммирования влечет сходимость по другому методу. Основная тауберова теорема[1] для борелевского суммирования дает условия, при которых слабый метод Бореля влечет сходимость ряда.

Теорема (Харди 1992, 9.13). Если А является (wB) суммируется в z0 ∈ C, , и
тогда , и ряд сходится при всех |z| < |z0|.

Приложения

Борелевское суммирование находит применение в возмущения в квантовой теории поля. В частности, в двумерной евклидовой теории поля функции Швингера часто могут быть восстановлены из их рядов возмущений с помощью суммирования Бореля (Glimm & Jaffe 1987, п. 461). Некоторые особенности преобразования Бореля связаны с инстантоны и ренормалоны в квантовой теории поля (Вайнберг 2005, 20.7).

Обобщения

Для суммирования по Борелю необходимо, чтобы коэффициенты не росли слишком быстро: точнее, ап должен быть ограничен п!Cп+1 для некоторых C. Существует разновидность суммирования Бореля, заменяющая факториалы п! с (кн)! для некоторого положительного целого числа k, что позволяет суммировать ряд с ап ограничен (кн)!Cп+1 для некоторых C. Это обобщение дается Суммирование Миттаг-Леффлера.

В самом общем случае суммирование по Борелю обобщается формулой Пересуммация Нахбина, который может использоваться, когда ограничивающая функция имеет некоторый общий тип (psi-тип), вместо того, чтобы быть экспоненциальный тип.

Смотрите также

Примечания

  1. ^ а б Харди, Г. Х. (1992). Дивергентная серия. AMS Челси, Род-Айленд.
  2. ^ «Естественная граница». MathWorld. Получено 19 октября 2016.

Рекомендации