WikiDer > Тест Абельса - Википедия

В математика, Тест Авеля (также известный как Критерий Абеля) - это метод тестирования конвергенция из бесконечная серия. Тест назван в честь математика. Нильс Хенрик Абель. Существует две несколько разные версии теста Абеля: одна используется с сериями действительных чисел, а другая - с степенной ряд в комплексный анализ. Тест равномерной сходимости Абеля является критерием равномерное схождение из серии из функции зависит от параметры.

Тест Абеля в реальном анализе

Предположим, что верны следующие утверждения:

1. ${ Displaystyle сумма а_ {п}}$ сходящийся ряд,
2. {б_п} - монотонная последовательность, а
3. {б_п} ограничен.

потом ${ displaystyle sum a_ {n} b_ {n}}$ также сходится.

Важно понимать, что этот тест в основном уместен и полезен в контексте не совсем сходящихся рядов. ${ Displaystyle сумма а_ {п}}$Для абсолютно сходящихся рядов эта теорема, хотя и верна, почти самоочевидна.

Эта теорема может быть доказана непосредственно, используя суммирование по частям.

Тест Абеля в комплексном анализе

Тесно связанный тест сходимости, также известный как Тест Авеля, часто можно использовать для установления сходимости степенной ряд на границе своего круг схождения. В частности, тест Абеля утверждает, что если последовательность положительные действительные числа ${ Displaystyle (а_ {п})}$ монотонно убывает (по крайней мере, для всех п больше натурального числа м, у нас есть ${ Displaystyle а_ {п} geq а_ {п + 1}}$) с

${ displaystyle lim _ {п rightarrow infty} a_ {n} = 0}$

затем степенной ряд

${ Displaystyle е (г) = сумма _ {п = 0} ^ { infty} а_ {п} г ^ {п}}$

сходится всюду на замкнутом единичный круг, кроме случаев, когда z = 1. Тест Абеля нельзя применить, когда z = 1, поэтому сходимость в этой единственной точке необходимо исследовать отдельно. Обратите внимание, что критерий Абеля подразумевает, в частности, что радиус сходимости не меньше 1. Его также можно применить к степенному ряду с радиусом сходимости. р ≠ 1 простой заменой переменных ζ = z/р.^[1] Обратите внимание, что тест Абеля является обобщением Критерий Лейбница принимая z = −1.

Доказательство теста Абеля: Предположим, что z точка на единичной окружности, z ≠ 1. Для каждого ${ Displaystyle п geq 1}$, мы определяем

${ displaystyle f_ {n} (z): = sum _ {k = 0} ^ {n} a_ {k} z ^ {k}.}$

Умножая эту функцию на (1 - z), мы получаем

${ Displaystyle { begin {align} (1-z) f_ {n} (z) & = sum _ {k = 0} ^ {n} a_ {k} (1-z) z ^ {k} = sum _ {k = 0} ^ {n} a_ {k} z ^ {k} - sum _ {k = 0} ^ {n} a_ {k} z ^ {k + 1} = a_ {0} + sum _ {k = 1} ^ {n} a_ {k} z ^ {k} - sum _ {k = 1} ^ {n + 1} a_ {k-1} z ^ {k} & = a_ {0} -a_ {n} z ^ {n + 1} + sum _ {k = 1} ^ {n} (a_ {k} -a_ {k-1}) z ^ {k}. конец {выровнено}}}$

Первое слагаемое постоянно, второе равномерно сходится к нулю (так как по предположению последовательность ${ Displaystyle (а_ {п})}$ сходится к нулю). Осталось только показать, что ряд сходится. Мы покажем это, показав, что он даже абсолютно сходится:${ displaystyle sum _ {k = 1} ^ { infty} left | (a_ {k} -a_ {k-1}) z ^ {k} right | = sum _ {k = 1} ^ { infty} | a_ {k} -a_ {k-1} | cdot | z | ^ {k} leq sum _ {k = 1} ^ { infty} (a_ {k-1} -a_ {k})}$где последняя сумма - это сходящаяся телескопическая сумма. Абсолютное значение исчезло, потому что последовательность ${ Displaystyle (а_ {п})}$ уменьшается по предположению.

Следовательно, последовательность ${ Displaystyle (1-я) е_ {п} (г)}$ сходится (даже равномерно) на замкнутом единичном круге. Если ${ Displaystyle г not = 1}$, мы можем разделить на (1 - z) и получим результат.

Тест равномерной сходимости Абеля

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

Тест выглядит следующим образом. Позволять {грамм_п} быть равномерно ограниченный последовательность действительных значений непрерывные функции на съемочной площадке E такой, что грамм_п+1(Икс) ≤ грамм_п(Икс) для всех Икс ∈ E и положительные целые числа п, и разреши {ж_п} - последовательность вещественнозначных функций такая, что ряд Σж_п(Икс) сходится равномерно на E. Тогда Σж_п(Икс)грамм_п(Икс) сходится равномерно на E.

Примечания

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

• Джино Моретти, Функции комплексной переменной, Prentice-Hall, Inc., 1964 г.
• Апостол, Том М. (1974), Математический анализ (2-е изд.), Эддисон-Уэсли, ISBN 978-0-201-00288-1
• Вайсштейн, Эрик В. «Тест равномерной сходимости Абеля». MathWorld.

внешняя ссылка

• Доказательство (для реальных серий) на PlanetMath.org