Сходимость по Борелю

Материал из testwiki
Перейти к навигации Перейти к поиску

Сходимость по Борелю — обобщение понятия сходимости ряда, предложенное французским математиком Эмилем Борелем. Существует два неэквивалентных определения, которые связывают с именем Бореля.

Определение

  • Пусть дан числовой ряд ∑n=0∞an. Ряд называется сходящимся по Борелю (или B-сходящимся), если существует предел:
limx→∞e−x∑k=0∞xkk!Sk=S, где Sk — частичные суммы ряда. Число S тогда называется борелевской суммой ряда.
  • Пусть дан числовой ряд ∑n=0∞an. Ряд называется сходящимся по Борелю (или B'-сходящимся), если существует интеграл:
∫0∞dte−t∑nann!tn=S

Пример

Рассмотрим ряд ∑0∞n!xn. Данный ряд является расходящимся для произвольного x≠0. Однако по интегральным определениям сходимости по Борелю имеем:

∑0∞n!xn=∫0∞dte−t∑n=0∞(xt)n=∫0∞dte−t1−xt,

и сумма является определённой для отрицательных значений x.

Свойства

Пусть функция:

f(z)=∑k=0∞akzk

регулярна в нуле и С — множество всех её особенных точек. Через каждую точку P∈C проведём отрезок OP и прямую Lp,, которая проходит через точку Р перпендикулярно к OP. Множество точек, лежащих по одну сторону с нулём к каждой из прямых Lp, обозначим Π. Тогда граница Γ области Π называется многоугольником Бореля функции f(z), а область Π её внутренней областью. Справедлива теорема: ряд

∑k=0∞akzk

является B-сходящимся в области Π и не является B-сходящимся в области Π∗ — дополнены до Π .

См. также

Ссылки

Литература

  • Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. Том 2. — Изд. 6-является, стереотипное. — М.: Наука, 1966
  • Xарди Г., Расходящиеся ряды, пер. с англ., М., 1951.
  • Shawyer, Bruce; Watson, Bruce (1994), Borel’s Methods of Summability: Theory and Applications, Oxford UP, ISBN 0-19-853585-6 .

Шаблон:Rq