Absolute convergence

In mathematics, a series (or sometimes also an integral) is said to converge absolutely if the sum (or integral) of the absolute value of the summand or integrand is finite. Mathematics is the body of Knowledge and Academic discipline that studies such concepts as Quantity, Structure, Space and In Mathematics, a series is often represented as the sum of a Sequence of terms That is a series is represented as a list of numbers with The European Space Agency 's INTErnational Gamma-Ray Astrophysics Laboratory ( INTEGRAL) is detecting some of the most energetic radiation that comes from space In Mathematics, the absolute value (or modulus) of a Real number is its numerical value without regard to its sign. In Mathematics, a set is called finite if there is a Bijection between the set and some set of the form {1 2.

More precisely, a real or complex-valued series $\sum_{n=0}^\infty a_n$ is said to converge absolutely if $\sum_{n=0}^\infty \left|a_n\right| < \infty.$

The vital importance of absolute convergence in the study of infinite series rests in the following two principles. On the one hand absolute convergence is strong enough that such series retain certain basic properties of finite sums -- the most important ones being rearrangement of the terms and convergence of products of two infinite series -- that are unfortunately not possessed by all convergent series. On the other hand absolute convergence is weak enough to occur very often in practice. Indeed, in some (though not all) branches of mathematics in which series are applied, the existence of convergent but not absolutely convergent series is little more than a curiosity.

1 A more general setting for absolute convergence
2 Relations with convergence
3 Rearrangements and unconditional convergence
4 Products of series
5 Absolute convergence of integrals
6 See also
7 References

A more general setting for absolute convergence

One may study the convergence of series $\sum_{n=0}^{\infty} a_n$ whose terms $a n$ are elements of an arbitrary abelian topological group. In Mathematics, a topological abelian group, or TAG, is a Topological group that is also an Abelian group. The notion of absolute convergence requires more structure, namely a norm:

A norm on an abelian group G (written additively, with identity element 0) is a real-valued function $x \mapsto ||x||$ on G such that:

(i) The norm of the identity element of G is zero: $| | 0 | | = 0.$

(ii) The norm of any nonidentity element is strictly positive: $0 \neq x \implies ||x|| > 0.$

(iii) For every x in G, $| | x | | = | | - x | |$ .

(iv) For every x, y in G, $||x+y|| \leq ||x|| + ||y||$ .

Then the function $d (x, y) = | | x - y | |$ induces on G the structure of a metric space (and in particular, a topology). We can therefore consider G-valued series and define such a series to be absolutely convergent if $\sum_{n=0}^{\infty} ||a_n|| < \infty.$

Relations with convergence

If the metric d on G is complete, then every absolutely convergent series is convergent. In general an object is complete if nothing needs to be added to it The proof is the same as for complex-valued series: use the completeness to derive the Cauchy criterion for convergence — a series is convergent if and only if its tails can be made arbitrarily small in norm — and apply the triangle inequality.

In particular, for series with values in any Banach space, absolute convergence implies convergence. In Mathematics, Banach spaces (ˈbanax named after Polish Mathematician Stefan Banach) are one of the central objects of study in Functional analysis

Of course a series may be convergent without being absolutely convergent, the standard example being the alternating harmonic series. See Harmonic series (music for the (related musical concept In Mathematics, the harmonic series is the Infinite series However, many standard tests which show that a series is convergent in fact show absolute convergence, notably the ratio and root tests. This has the important consequence that a power series is absolutely convergent on the interior of its disk of convergence.

It is standard in calculus courses to say that a real series which is convergent but not absolutely convergent is conditionally convergent. In Mathematics, a series or Integral is said to be conditionally convergent if it converges but does not converge absolutely. However, in the more general context of G-valued series a distinction is made between absolute and unconditional convergence, and the assertion that a real or complex series which is not absolutely convergent is necessarily conditionally convergent (i. e. , not unconditionally convergent) is then a theorem, not a definition. This is discussed in more detail below.

Rearrangements and unconditional convergence

Given a series $\sum_{n=0}^{\infty} a_n$ with values in a normed abelian group G and a permutation $σ$ of the natural numbers, one builds a new series $\sum_{n=0}^\infty a_{\sigma(n)}$ , said to be a rearrangement of the original series. A series is said to be unconditionally convergent if all rearrangements of the series are convergent to the same value. In Mathematical analysis, a series \sum_{n=1}^\infty x_n in a Banach space X is unconditionally convergent if for every Permutation

When G is complete, absolute convergence implies unconditional convergence. (Again, the proof requires little more than applying the Cauchy criterion and then the triangle inequality. )

The issue of the converse is much more interesting. For real series it follows from the Riemann rearrangement theorem that unconditional convergence implies absolute convergence. In Mathematics, the Riemann series theorem (also called the Riemann rearrangement theorem named after 19th-century German mathematician Bernhard Riemann Since a series with values in a finite-dimensional normed space is absolutely convergent iff each of its one-dimensional projections is absolutely convergent, it follows easily that absolute and unconditional convergence coincide for $\mathbb{R}^n$ -valued series.

But there is an unconditionally and nonabsolutely convergent series with values in Hilbert space $\ell^2$ : if $\{e_n\}_{n=1}^{\infty}$ is an orthonormal basis, take $a_n = \frac{1}{n} e_n$ .

Remarkably, a theorem of Dvoretzky-Rogers asserts that every infinite-dimensional Banach space admits an unconditionally but nonabsolutely convergent series.

Products of series

The Cauchy product of two series converges to the product of the sums if at least one of the series converges absolutely. In Mathematics, the Cauchy product, named in honor of Augustin Louis Cauchy, of two Sequences a_n b_n is the discrete Convolution That is, suppose:

$\sum_{n=0}^\infty a_n = A$

$\sum_{n=0}^\infty b_n = B.$

The Cauchy product is defined as the sum of terms $c n$ where:

$c_n = \sum_{k=0}^n a_k b_{n-k}.$

Then, if either the $a n$ or $b n$ sum converges absolutely, then

$\sum_{n=0}^\infty c_n = AB.$

Absolute convergence of integrals

The integral $\int_A f(x)\,dx$ of a real or complex-valued function is said to converge absolutely if $\int_A \left|f(x)\right|\,dx < \infty.$ One also says that $f$ is absolutely integrable.

When $A = [a, b]$ is a closed bounded interval, every continuous function is integrable, and since $f$ continuous implies $| f |$ continuous, similarly every continuous function is absolutely integrable. It is not generally true that absolutely integrable functions on $[a, b]$ are integrable: let $S \subset [a,b]$ be a nonmeasurable subset and take $f = \chi_S - \frac{1}{2}$ , where $χ S$ is the characteristic function of S. Then f is not Lebesgue measurable but |f| is constant. However, it is a standard result that if f is Riemann integrable, so is |f|. This holds also for the Lebesgue integral; see below. On the other hand a function f may be Kurzweil-Henstock integrable (or "gauge integrable") while |f| is not. This includes the case of improperly Riemann integrable functions.

Similarly, when A is an interval of infinite length it is well-known that there are improperly Riemann integrable functions f which are not absolutely integrable. Indeed, given any series $\sum_{n=0}^{\infty} a_n$ one can consider the associated step function $f_a: [0,\infty) \rightarrow \mathbb{R}$ defined by $f a ([n, n + 1)) = a n$ . Then $\int_0^{\infty} f_a dx$ converges absolutely, converges conditionally or diverges according to the corresponding behavior of $\sum_{n=0}^{\infty} a_n$ .

Another example of a convergent but not absolutely convergent improper Riemann integral is $\int_{\mathbb{R}} \frac{\sin x}{x} dx$ .

On any measure space A the Lebesgue integral of a real-valued function is defined in terms of its positive and negative parts, so the facts:

(i) f integrable implies |f| integrable

(ii) f measurable, |f| integrable implies f integrable

are essentially built into the definition of the Lebesgue integral. In particular, applying the theory to the counting measure on a set S, one recovers the notion of unordered summation of series developed by Moore-Smith using (what are now called) nets. When $S = \mathbb{N}$ is the set of natural numbers, Lebesgue integrability, unordered summability and absolute convergence all coincide.

Finally, all of the above holds for integrals with values in a Banach space. The definition of a Banach-valued Riemann integral is an evident modification of the usual one. For the Lebesgue integral one needs to circumvent the decomposition into positive and negative parts with Daniell's more functional analytic approach, obtaining the Bochner integral. In Mathematics, the Bochner integral extends the definition of Lebesgue integral to functions which take values in a Banach space.

References

Walter Rudin, Principles of Mathematical Analysis (McGraw-Hill: New York, 1964). In Mathematics, a series or Integral is said to be conditionally convergent if it converges but does not converge absolutely. In Mathematics, the Cauchy principal value of certain Improper integrals named after Augustin Louis Cauchy, is defined as either the finite In Mathematical analysis, Fubini's theorem, named after Guido Fubini, states that if \int_{A\times B} |f(xy|\d(xy

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
network: | |

Contents