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

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

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

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

Определение

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

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

{ displaystyle A (z) = sum _ {k = 0} ^ { infty} a_ {k} z ^ {k},}

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

{ displaystyle { mathcal {B}} A (t) Equiv sum _ {k = 0} ^ { infty} { frac {a_ {k}} {k!}} t ^ {k}.}

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

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

{ Displaystyle A_ {n} (z) = sum _ {k = 0} ^ {n} a_ {k} z ^ {k}.}

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

{ displaystyle lim _ {t rightarrow infty} e ^ {- t} sum _ {n = 0} ^ { infty} { frac {t ^ {n}} {n!}} A_ {n } (z).}

Если это сходится в z ∈ C некоторым а(z), мы говорим, что слабая борелевская сумма А сходится в z, и писать ${ displaystyle { textstyle sum} a_ {k} z ^ {k} = a (z) , ({ boldsymbol {wB}})}$ .

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

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

{ displaystyle int _ {0} ^ { infty} e ^ {- t} { mathcal {B}} A (tz) , dt.}

Если интеграл сходится в точке z ∈ C некоторым а(z), говорят, что борелевская сумма А сходится в z, и писать ${ displaystyle { textstyle sum} a_ {k} z ^ {k} = a (z) , ({ boldsymbol {B}})}$ .

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

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

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

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

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

{ displaystyle sum _ {k = 0} ^ { infty} a_ {k} z ^ {k} = A (z) < infty quad Rightarrow quad { textstyle sum} a_ {k} z ^ {k} = A (z) , , ({ boldsymbol {B}}, , { boldsymbol {wB}}).}

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

{ displaystyle A (z) = sum _ {k = 0} ^ { infty} a_ {k} z ^ {k} = sum _ {k = 0} ^ { infty} a_ {k} left ( int _ {0} ^ { infty} e ^ {- t} t ^ {k} dt right) { frac {z ^ {k}} {k!}} = int _ {0} ^ { infty} e ^ {- t} sum _ {k = 0} ^ { infty} a_ {k} { frac {(tz) ^ {k}} {k!}} dt,}

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

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

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

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

Теорема ((Харди 1992, 8.5)).

Позволять А(z) быть формальным степенным рядом и зафиксировать z ∈ C, тогда:

Если ${ displaystyle { textstyle sum} a_ {k} z ^ {k} = a (z) , ({ boldsymbol {wB}})}$ , тогда ${ displaystyle { textstyle sum} a_ {k} z ^ {k} = a (z) , ({ boldsymbol {B}})}$ .
Если ${ displaystyle { textstyle sum} a_ {k} z ^ {k} = a (z) , ({ boldsymbol {B}})}$ , и ${ displaystyle lim _ {t rightarrow infty} e ^ {- t} { mathcal {B}} A (zt) = 0,}$ тогда ${ displaystyle { textstyle sum} a_ {k} z ^ {k} = a (z) , ({ boldsymbol {wB}})}$ .

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

(B) является частным случаем Суммирование Миттаг-Леффлера с α = 1.
(wB) можно рассматривать как предельный случай обобщенного Метод суммирования Эйлера (E,q) в том смысле, что при q → ∞ область сходимости (E,q) метод сходится с точностью до области сходимости для (B).^[1]

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

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

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

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

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

{ displaystyle | е (z) -a_ {0} -a_ {1} z- cdots -a_ {n-1} z ^ {n-1} |}

ограничен

{ Displaystyle С ^ {п + 1} п! | г | ^ {п}}

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

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

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

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

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

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

Пример

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

Примеры

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

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

{ Displaystyle А (г) = сумма _ {к = 0} ^ { infty} г ^ {к},}

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

{ Displaystyle { mathcal {B}} A (tz) Equiv sum _ {k = 0} ^ { infty} { frac {z ^ {k}} {k!}} t ^ {k} = е ^ {zt},}

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

{ displaystyle int _ {0} ^ { infty} e ^ {- t} { mathcal {B}} A (tz) , dt = int _ {0} ^ { infty} e ^ {- t} e ^ {tz} , dt = { frac {1} {1-z}}}

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

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

{ displaystyle lim _ {t rightarrow infty} e ^ {- t} sum _ {n = 0} ^ { infty} { frac {1-z ^ {n + 1}} {1-z }} { frac {t ^ {n}} {n!}} = lim _ {t rightarrow infty} { frac {e ^ {- t}} {1-z}} { big (} e ^ {t} -ze ^ {tz} { big)} = { frac {1} {1-z}},}

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

{ displaystyle lim _ {t rightarrow infty} e ^ {- t} ({ mathcal {B}} A) (zt) = e ^ {t (z-1)} = 0.}

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

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

{ displaystyle A (z) = sum _ {k = 0} ^ { infty} k! (- 1 cdot z) ^ {k},}

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

{ Displaystyle { mathcal {B}} A (T) Equiv sum _ {k = 0} ^ { infty} left (-1 cdot t right) ^ {k} = { frac {1 } {1 + t}}}

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

{ displaystyle int _ {0} ^ { infty} e ^ {- t} { mathcal {B}} A (tz) , dt = int _ {0} ^ { infty} { frac { e ^ {- t}} {1 + tz}} , dt = { frac {1} {z}} cdot e ^ {1 / z} cdot Gamma left (0, { frac {1 } {z}} right)}

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

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

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

{ displaystyle lim _ {t rightarrow infty} e ^ {- t} ({ mathcal {B}} A) (zt) = lim _ {t rightarrow infty} { frac {e ^ { -t}} {1 + zt}} = 0,}

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

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

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

{ displaystyle A (z) = sum _ {k = 0} ^ { infty} left ( sum _ { ell = 0} ^ { infty} { frac {(-1) ^ { ell } (2 ell +2) ^ {k}} {(2 ell +1)!}} Right) z ^ {k}.}

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

{ displaystyle { begin {align} { mathcal {B}} A (t) & = sum _ { ell = 0} ^ { infty} left ( sum _ {k = 0} ^ { infty} { frac {{ big (} (2 ell +2) t { big)} ^ {k}} {k!}} right) { frac {(-1) ^ { ell} } {(2 ell +1)!}} & = sum _ { ell = 0} ^ { infty} e ^ {(2 ell +2) t} { frac {(-1) ^ { ell}} {(2 ell +1)!}} & = e ^ {t} sum _ { ell = 0} ^ { infty} { big (} e ^ {t} { big)} ^ {2 ell +1} { frac {(-1) ^ { ell}} {(2 ell +1)!}} & = e ^ {t} sin ( e ^ {t}). end {выравнивается}}}

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

{ displaystyle int _ {0} ^ { infty} e ^ {t} sin (e ^ {2t}) , dt = int _ {1} ^ { infty} sin (u ^ {2 }) , du = { sqrt { frac { pi} {8}}} - S (1) < infty,}

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

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

{ displaystyle lim _ {t rightarrow infty} e ^ {(z-1) t} sin (e ^ {zt}) = 0}

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

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

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

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

{ displaystyle { textstyle sum} a_ {k} z ^ {k} = a (z) , ({ boldsymbol {B}}),}

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

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

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

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

{ Displaystyle Pi _ {P} = {z in mathbb {C} , двоеточие , Oz cap L_ {P} = varnothing },}

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

{ displaystyle Pi _ {A} = operatorname {cl} left ( bigcap _ {P in S_ {A}} Pi _ {P} right).}

Альтернативное определение было использовано Борелем и Фрагменом (Сансон и Герретсен 1960, 8.3). Позволять ${ Displaystyle S подмножество mathbb {C}}$ обозначают наибольшую звездную область, на которой существует аналитическое расширение А, тогда ${ displaystyle Pi _ {A}}$ это самое большое подмножество ${ displaystyle S}$ такой, что для всех ${ Displaystyle P in Pi _ {A}}$ внутренность круга диаметром OP содержится в ${ displaystyle S}$ . Ссылаясь на набор ${ displaystyle Pi _ {A}}$ как многоугольник - это несколько неправильное название, поскольку множество вовсе не обязательно должно быть многоугольником; если, однако, А(z) имеет лишь конечное число особенностей, то ${ displaystyle Pi _ {A}}$ на самом деле будет многоугольником.

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

Теорема (Харди 1992, 8.8).

Сериал А(z) является (B) суммируемый вообще

{ displaystyle z in operatorname {int} ( Pi _ {A})}

, и является (B) расходятся вообще

{ Displaystyle г в mathbb {C} setminus Pi _ {A}}

.

Обратите внимание, что (B) суммируемость для ${ displaystyle z in partial Pi _ {A}}$ зависит от характера точки.

Пример 1

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

{ Displaystyle { begin {align} A (z) & = sum _ {k = 0} ^ { infty} ( omega _ {1} ^ {k} + cdots + omega _ {m} ^ {k}) z ^ {k} & = sum _ {i = 1} ^ {m} { frac {1} {1- omega _ {i} z}}, end {выравнивается}} }

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

Пример 2

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

{ Displaystyle А (г) = сумма _ {к = 0} ^ { infty} г ^ {2 ^ {к}},}

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

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

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

Теорема (Харди 1992, 9.13). Если А является (wB) суммируется в z₀ ∈ C,

{ displaystyle { textstyle sum} a_ {k} z_ {0} ^ {k} = a (z_ {0}) , ({ boldsymbol {wB}})}

, и

{ displaystyle a_ {k} z_ {0} ^ {k} = O (k ^ {- 1/2}), qquad forall k geq 0,}

тогда

{ displaystyle sum _ {k = 0} ^ { infty} a_ {k} z_ {0} ^ {k} = a (z_ {0})}

, и ряд сходится при всех |z| < |z₀|.

Приложения

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

Обобщения

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

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

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

Примечания

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