Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Abel's test

From Wikipedia, the free encyclopedia
Test for series convergence
Part of a series of articles about
Calculus
abf(t)dt=f(b)f(a){\displaystyle \int _{a}^{b}f'(t)\,dt=f(b)-f(a)}
This article is about the mathematical method of testing for the convergence of an infinite series. For the test for determining the flash point of petroleum, seeAbel test.

Inmathematics,Abel's test (also known asAbel's criterion) is a method of testing for theconvergence of aninfinite series. The test is named after mathematicianNiels Henrik Abel, who proved it in 1826.[1] There are two slightly different versions of Abel's test – one is used with series of real numbers, and the other is used withpower series incomplex analysis.Abel's uniform convergence test is a criterion for theuniform convergence of aseries offunctions dependent onparameters.

Abel's test in real analysis

[edit]

Suppose the following statements are true:

  1. an{\displaystyle \sum a_{n}} is a convergent series,
  2. bn{\displaystyle b_{n}} is a monotone sequence, and
  3. bn{\displaystyle b_{n}} is bounded.

Thenanbn{\displaystyle \sum a_{n}b_{n}} is also convergent.

It is important to understand that this test is mainly pertinent and useful in the context of non absolutely convergent seriesan{\displaystyle \sum a_{n}}.For absolutely convergent series, this theorem, albeit true, is almost self evident.[citation needed]

This theorem can be proved directly usingsummation by parts.

Abel's test in complex analysis

[edit]

A closely related convergence test, also known asAbel's test, can often be used to establish the convergence of apower series on the boundary of itscircle of convergence. Specifically, Abel's test states that if a sequence ofpositive real numbers(an){\displaystyle (a_{n})} is decreasing monotonically (or at least that for alln greater than some natural numberm, we haveanan+1{\displaystyle a_{n}\geq a_{n+1}}) with

limnan=0{\displaystyle \lim _{n\rightarrow \infty }a_{n}=0}

then the power series

f(z)=n=0anzn{\displaystyle f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}}

converges everywhere on the closedunit circle, except whenz = 1. Abel's test cannot be applied whenz = 1, so convergence at that single point must be investigated separately. Notice that Abel's test implies in particular that the radius of convergence is at least 1. It can also be applied to a power series with radius of convergenceR ≠ 1 by a simple change of variablesζ =z/R.[2] Notice that Abel's test is a generalization of theLeibniz Criterion by takingz = −1.

Proof of Abel's test: Suppose thatz is a point on the unit circle,z ≠ 1. For eachn1{\displaystyle n\geq 1}, we define

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

By multiplying this function by (1 −z), we obtain

(1z)fn(z)=k=0nak(1z)zk=k=0nakzkk=0nakzk+1=a0+k=1nakzkk=1n+1ak1zk=a0anzn+1+k=1n(akak1)zk.{\displaystyle {\begin{aligned}(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}.\end{aligned}}}

The first summand is constant, the second converges uniformly to zero (since by assumption the sequence(an){\displaystyle (a_{n})} converges to zero). It only remains to show that the series converges. We will show this by showing that it even converges absolutely:k=1|(akak1)zk|=k=1|akak1||z|kk=1(ak1ak){\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})}where the last sum is a converging telescoping sum. The absolute value vanished because the sequence(an){\displaystyle (a_{n})} is decreasing by assumption.

Hence, the sequence(1z)fn(z){\displaystyle (1-z)f_{n}(z)} converges (even uniformly) on the closed unit disc. Ifz1{\displaystyle z\not =1}, we may divide by (1 −z) and obtain the result.

Another way to obtain the result is to apply theDirichlet's test. Indeed, forz1, |z|=1{\displaystyle z\neq 1,\ |z|=1} holds|k=0nzk|=|zn+11z1|2|z1|{\displaystyle \left|\sum _{k=0}^{n}z^{k}\right|=\left|{\frac {z^{n+1}-1}{z-1}}\right|\leq {\frac {2}{|z-1|}}}, hence the assumptions of the Dirichlet's test are fulfilled.

Abel's uniform convergence test

[edit]

Abel's uniform convergence test is a criterion for theuniform convergence of a series of functions or animproper integration of functions dependent onparameters. It is related to Abel's test for the convergence of an ordinary series of real numbers, and the proof relies on the same technique ofsummation by parts.

The test is as follows. Let {gn} be auniformly bounded sequence of real-valuedcontinuous functions on a setE such thatgn+1(x) ≤ gn(x) for allx ∈ E and positive integersn, and let {fn} be a sequence of real-valued functions such that the series Σfn(x) converges uniformly onE. Then Σfn(x)gn(x) converges uniformly onE.

Notes

[edit]
  1. ^Abel, Niels Henrik (1826). "Untersuchungen über die Reihe1+mx+m(m1)21x2+m(m1)(m2)321x3+{\displaystyle 1+{\frac {m}{x}}+{\frac {m\cdot (m-1)}{2\cdot 1}}x^{2}+{\frac {m\cdot (m-1)\cdot (m-2)}{3\cdot 2\cdot 1}}x^{3}+\ldots } u.s.w.".J. Reine Angew. Math.1:311–339.
  2. ^(Moretti, 1964, p. 91)

References

[edit]

External links

[edit]
Precalculus
Limits
Differential calculus
Integral calculus
Vector calculus
Multivariable calculus
Sequences and series
Special functions
and numbers
History of calculus
Lists
Integrals
Miscellaneous topics
Retrieved from "https://en.wikipedia.org/w/index.php?title=Abel%27s_test&oldid=1243689906"
Category:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp