WikiDer > Чезаро суммирование

В математический анализ, Чезаро суммирование (также известный как Чезаро среднее^[1][2]) присваивает значения некоторым бесконечные суммы которые не сходится в обычном понимании. Сумма Чезаро определяется как предел, так как п стремится к бесконечности, последовательности средних арифметических первых п частичные суммы серии.

Этот частный случай метод суммирования матриц назван в честь итальянского аналитика Эрнесто Сезаро (1859–1906).

Период, термин суммирование могут вводить в заблуждение, поскольку можно сказать, что некоторые утверждения и доказательства, касающиеся суммирования Чезаро, подразумевают Мошенничество Эйленберга-Мазура. Например, это обычно применяется к Серия Гранди с выводом, что сумма из этой серии 1/2.

Определение

Позволять ${ Displaystyle (а_ {п}) _ {п = 1} ^ { infty}}$ быть последовательность, и разреши

${ displaystyle s_ {k} = a_ {1} + cdots + a_ {k} = sum _ {n = 1} ^ {k} a_ {n}}$

быть его kth частичная сумма.

Последовательность (а_п) называется Чезаро суммируемый, с суммой Чезаро А ∈ ℝ, если, как п стремится к бесконечности, среднее арифметическое своего первого п частичные суммы s₁, s₂, ..., s_п как правило А:

${ displaystyle lim _ {n to infty} { frac {1} {n}} sum _ {k = 1} ^ {n} s_ {k} = A.}$

Величина полученного предела называется суммой Чезаро ряда ${ displaystyle textstyle sum _ {n = 1} ^ { infty} a_ {n}.}$ Если этот ряд сходится, то он суммируемый по Чезаро и его сумма Чезаро является обычной суммой.

Примеры

Первый пример

Позволять а_п = (−1)^п за п ≥ 0. То есть, ${ Displaystyle (а_ {п}) _ {п = 0} ^ { infty}}$ это последовательность

${ displaystyle (1, -1,1, -1, ldots).}$

Позволять грамм обозначим серию

${ displaystyle G = sum _ {n = 0} ^ { infty} a_ {n} = 1-1 + 1-1 + 1- cdots}$

Сериал грамм известен как Серия Гранди.

Позволять ${ displaystyle (s_ {k}) _ {k = 0} ^ { infty}}$ обозначим последовательность частичных сумм грамм:

${ displaystyle { begin {align} s_ {k} & = sum _ {n = 0} ^ {k} a_ {n} (s_ {k}) & = (1,0,1,0, ldots). end {выравнивается}}}$

Эта последовательность частичных сумм не сходится, поэтому ряд грамм расходится. Тем не мение, грамм является Чезаро суммируемый. Позволять ${ Displaystyle (т_ {п}) _ {п = 1} ^ { infty}}$ - последовательность средних арифметических первых п частичные суммы:

${ displaystyle { begin {align} t_ {n} & = { frac {1} {n}} sum _ {k = 0} ^ {n-1} s_ {k} (t_ {n} ) & = left ({ frac {1} {1}}, { frac {1} {2}}, { frac {2} {3}}, { frac {2} {4}}, { frac {3} {5}}, { frac {3} {6}}, { frac {4} {7}}, { frac {4} {8}}, ldots right). конец {выровнено}}}$

потом

${ displaystyle lim _ {n to infty} t_ {n} = 1/2,}$

и, следовательно, сумма Чезаро ряда грамм является 1/2.

Второй пример

В качестве другого примера пусть а_п = п за п ≥ 1. То есть, ${ Displaystyle (а_ {п}) _ {п = 1} ^ { infty}}$ это последовательность

${ displaystyle (1,2,3,4, ldots).}$

Позволять грамм обозначим теперь ряд

${ displaystyle G = sum _ {n = 1} ^ { infty} a_ {n} = 1 + 2 + 3 + 4 + cdots}$

Тогда последовательность частичных сумм ${ displaystyle (s_ {k}) _ {k = 1} ^ { infty}}$ является

${ displaystyle (1,3,6,10, ldots).}$

Поскольку последовательность частичных сумм неограниченно растет, ряд грамм расходится до бесконечности. Последовательность (т_п) средних частных сумм G есть

${ displaystyle left ({ frac {1} {1}}, { frac {4} {2}}, { frac {10} {3}}, { frac {20} {4}}, ldots right).}$

Эта последовательность также расходится на бесконечность, поэтому грамм является нет Чезаро суммируемый. Фактически, для любой последовательности, расходящейся до (положительной или отрицательной) бесконечности, метод Чезаро также приводит к последовательности, которая расходится аналогично, и, следовательно, такой ряд не суммируется по Чезаро.

(C, α) суммирование

В 1890 году Эрнесто Чезаро сформулировал более широкое семейство методов суммирования, которые с тех пор называются (C, α) для неотрицательных целых чисел α. В (С, 0) метод представляет собой обычное суммирование, а (С, 1) представляет собой суммирование Чезаро, как описано выше.

Методы более высокого порядка можно описать следующим образом: учитывая серию ∑а_п, определите количества

${ displaystyle { begin {align} A_ {n} ^ {- 1} & = a_ {n} A_ {n} ^ { alpha} & = sum _ {k = 0} ^ {n} A_ {к} ^ { альфа -1} конец {выровнено}}}$

(где верхние индексы не обозначают показатели) и определяют E^α
_п быть А^α
_п для сериала 1 + 0 + 0 + 0 + …. Тогда (C, α) сумма ∑а_п обозначается (C, α)-∑а_п и имеет значение

${ displaystyle ( mathrm {C}, alpha) { text {-}} sum _ {j = 0} ^ { infty} a_ {j} = lim _ {n to infty} { гидроразрыв {A_ {n} ^ { alpha}} {E_ {n} ^ { alpha}}}}$

если он существует (Шоуер и Ватсон 1994, стр. 16-17). Это описание представляет собой αмногократно повторяющееся применение метода начального суммирования и может быть переформулировано как

${ displaystyle ( mathrm {C}, alpha) { text {-}} sum _ {j = 0} ^ { infty} a_ {j} = lim _ {n to infty} sum _ {j = 0} ^ {n} { frac { binom {n} {j}} { binom {n + alpha} {j}}} a_ {j}.}$

В более общем плане для α ∈ ℝ ℤ⁻, позволять А^α
_п неявно задаваться коэффициентами ряда

${ displaystyle sum _ {n = 0} ^ { infty} A_ {n} ^ { alpha} x ^ {n} = { frac { displaystyle { sum _ {n = 0} ^ { infty } a_ {n} x ^ {n}}} {(1-x) ^ {1+ alpha}}},}$

и E^α
_п как указано выше. Особенно, E^α
_п являются биномиальные коэффициенты власти −1 − α. Тогда (C, α) сумма ∑а_п определяется, как указано выше.

Если ∑а_п имеет (C, α) сумма, то у него также есть (C, β) сумма за каждый β > α, и суммы согласуются; кроме того, у нас есть а_п = о(п^α) если α > −1 (видеть маленький-о обозначение).

Суммируемость интеграла по Чезаро

Позволять α ≥ 0. В интеграл ${ displaystyle textstyle int _ {0} ^ { infty} f (x) , dx}$ является (C, α) суммируемый, если

${ displaystyle lim _ { lambda to infty} int _ {0} ^ { lambda} left (1 - { frac {x} { lambda}} right) ^ { alpha} f (х) , dx}$

существует и конечно (Титчмарш 1948, §1.15) ошибка harv: цель отсутствует: CITEREFTitchmarsh1948 (помощь). Значение этого лимита, если оно существует, является (C, α) сумма интеграла. Аналогично случаю суммы ряда, если α = 0, результатом является сходимость несобственный интеграл. В случае α = 1, (С, 1) сходимость равносильна существованию предела

${ displaystyle lim _ { lambda to infty} { frac {1} { lambda}} int _ {0} ^ { lambda} int _ {0} ^ {x} f (y) , dy , dx}$

что является пределом средних частных интегралов.

Как и в случае с рядами, если интеграл равен (C, α) суммируемый для некоторого значения α ≥ 0, то это тоже (C, β) суммируемый для всех β > α, и значение полученного лимита такое же.

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

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

• Шойер, Брюс; Уотсон, Брюс (1994), Борелевские методы суммирования: теория и приложения., Издательство Оксфордского университета, ISBN 0-19-853585-6
• Титчмарш, Э. (1986) [1948], Введение в теорию интегралов Фурье (2-е изд.), Нью-Йорк, Нью-Йорк: Chelsea Publishing, ISBN 978-0-8284-0324-5
• Волков, И. И. (2001) [1994], «Методы суммирования Чезаро», Энциклопедия математики, EMS Press
• Зигмунд, Антони (1988) [1968], Тригонометрический ряд (2-е изд.), Cambridge University Press, ISBN 978-0-521-35885-9