Root test

Last updated

In mathematics, the root test is a criterion for the convergence (a convergence test) of an infinite series. It depends on the quantity

Contents

where are the terms of the series, and states that the series converges absolutely if this quantity is less than one, but diverges if it is greater than one. It is particularly useful in connection with power series.

Root test explanation

Decision diagram for the root test Decision diagram for the root test.svg
Decision diagram for the root test

The root test was developed first by Augustin-Louis Cauchy who published it in his textbook Cours d'analyse (1821). [1] Thus, it is sometimes known as the Cauchy root test or Cauchy's radical test. For a series

the root test uses the number

where "lim sup" denotes the limit superior, possibly +∞. Note that if

converges then it equals C and may be used in the root test instead.

The root test states that:

There are some series for which C = 1 and the series converges, e.g. , and there are others for which C = 1 and the series diverges, e.g. .

Application to power series

This test can be used with a power series

where the coefficients cn, and the center p are complex numbers and the argument z is a complex variable.

The terms of this series would then be given by an = cn(zp)n. One then applies the root test to the an as above. Note that sometimes a series like this is called a power series "around p", because the radius of convergence is the radius R of the largest interval or disc centred at p such that the series will converge for all points z strictly in the interior (convergence on the boundary of the interval or disc generally has to be checked separately).

A corollary of the root test applied to a power series is the Cauchy–Hadamard theorem: the radius of convergence is exactly taking care that we really mean ∞ if the denominator is 0.

Proof

The proof of the convergence of a series Σan is an application of the comparison test.

If for all nN (N some fixed natural number) we have , then . Since the geometric series converges so does by the comparison test. Hence Σan converges absolutely.

If for infinitely many n, then an fails to converge to 0, hence the series is divergent.

Proof of corollary: For a power series Σan = Σcn(z  p)n, we see by the above that the series converges if there exists an N such that for all nN we have

equivalent to

for all nN, which implies that in order for the series to converge we must have for all sufficiently large n. This is equivalent to saying

so Now the only other place where convergence is possible is when

(since points > 1 will diverge) and this will not change the radius of convergence since these are just the points lying on the boundary of the interval or disc, so

Examples

Example 1:

Applying the root test and using the fact that

Since the series diverges. [2]

Example 2:

The root test shows convergence because

This example shows how the root test is stronger than the ratio test. The ratio test is inconclusive for this series as if is even, while if is odd, , therefore the limit does not exist.

Root tests hierarchy

Root tests hierarchy [3] [4] is built similarly to the ratio tests hierarchy (see Section 4.1 of ratio test, and more specifically Subsection 4.1.4 there).

For a series with positive terms we have the following tests for convergence/divergence.

Let be an integer, and let denote the th iterate of natural logarithm, i.e. and for any , .

Suppose that , when is large, can be presented in the form

(The empty sum is assumed to be 0.)

Proof

Since , then we have

From this,

From Taylor's expansion applied to the right-hand side, we obtain:

Hence,

(The empty product is set to 1.)

The final result follows from the integral test for convergence.

See also

Related Research Articles

In complex analysis, an entire function, also called an integral function, is a complex-valued function that is holomorphic on the whole complex plane. Typical examples of entire functions are polynomials and the exponential function, and any finite sums, products and compositions of these, such as the trigonometric functions sine and cosine and their hyperbolic counterparts sinh and cosh, as well as derivatives and integrals of entire functions such as the error function. If an entire function has a root at , then , taking the limit value at , is an entire function. On the other hand, the natural logarithm, the reciprocal function, and the square root are all not entire functions, nor can they be continued analytically to an entire function.

In probability theory, the Borel–Cantelli lemma is a theorem about sequences of events. In general, it is a result in measure theory. It is named after Émile Borel and Francesco Paolo Cantelli, who gave statement to the lemma in the first decades of the 20th century. A related result, sometimes called the second Borel–Cantelli lemma, is a partial converse of the first Borel–Cantelli lemma. The lemma states that, under certain conditions, an event will have probability of either zero or one. Accordingly, it is the best-known of a class of similar theorems, known as zero-one laws. Other examples include Kolmogorov's zero–one law and the Hewitt–Savage zero–one law.

<span class="mw-page-title-main">Laurent series</span> Power series with negative powers

In mathematics, the Laurent series of a complex function is a representation of that function as a power series which includes terms of negative degree. It may be used to express complex functions in cases where a Taylor series expansion cannot be applied. The Laurent series was named after and first published by Pierre Alphonse Laurent in 1843. Karl Weierstrass may have discovered it first in a paper written in 1841, but it was not published until after his death.

In mathematics, the radius of convergence of a power series is the radius of the largest disk at the center of the series in which the series converges. It is either a non-negative real number or . When it is positive, the power series converges absolutely and uniformly on compact sets inside the open disk of radius equal to the radius of convergence, and it is the Taylor series of the analytic function to which it converges. In case of multiple singularities of a function, the radius of convergence is the shortest or minimum of all the respective distances calculated from the center of the disk of convergence to the respective singularities of the function.

<span class="mw-page-title-main">Euler's constant</span> Constant value used in mathematics

Euler's constant is a mathematical constant, usually denoted by the lowercase Greek letter gamma, defined as the limiting difference between the harmonic series and the natural logarithm, denoted here by log:

In mathematics, the ratio test is a test for the convergence of a series

In mathematics, subadditivity is a property of a function that states, roughly, that evaluating the function for the sum of two elements of the domain always returns something less than or equal to the sum of the function's values at each element. There are numerous examples of subadditive functions in various areas of mathematics, particularly norms and square roots. Additive maps are special cases of subadditive functions.

In mathematics, a series is the sum of the terms of an infinite sequence of numbers. More precisely, an infinite sequence defines a series S that is denoted

In mathematics, the von Mangoldt function is an arithmetic function named after German mathematician Hans von Mangoldt. It is an example of an important arithmetic function that is neither multiplicative nor additive.

In mathematics, the explicit formulae for L-functions are relations between sums over the complex number zeroes of an L-function and sums over prime powers, introduced by Riemann (1859) for the Riemann zeta function. Such explicit formulae have been applied also to questions on bounding the discriminant of an algebraic number field, and the conductor of a number field.

In mathematics, and particularly in the field of complex analysis, the Hadamard factorization theorem asserts that every entire function with finite order can be represented as a product involving its zeroes and an exponential of a polynomial. It is named for Jacques Hadamard.

<span class="mw-page-title-main">Empirical distribution function</span> Distribution function associated with the empirical measure of a sample

In statistics, an empirical distribution function is the distribution function associated with the empirical measure of a sample. This cumulative distribution function is a step function that jumps up by 1/n at each of the n data points. Its value at any specified value of the measured variable is the fraction of observations of the measured variable that are less than or equal to the specified value.

In mathematics, convergence tests are methods of testing for the convergence, conditional convergence, absolute convergence, interval of convergence or divergence of an infinite series .

In mathematics, the limit comparison test (LCT) (in contrast with the related direct comparison test) is a method of testing for the convergence of an infinite series.

In mathematics, the secondary measure associated with a measure of positive density ρ when there is one, is a measure of positive density μ, turning the secondary polynomials associated with the orthogonal polynomials for ρ into an orthogonal system.

In mathematics, the Cauchy–Hadamard theorem is a result in complex analysis named after the French mathematicians Augustin Louis Cauchy and Jacques Hadamard, describing the radius of convergence of a power series. It was published in 1821 by Cauchy, but remained relatively unknown until Hadamard rediscovered it. Hadamard's first publication of this result was in 1888; he also included it as part of his 1892 Ph.D. thesis.

In statistics, the Matérn covariance, also called the Matérn kernel, is a covariance function used in spatial statistics, geostatistics, machine learning, image analysis, and other applications of multivariate statistical analysis on metric spaces. It is named after the Swedish forestry statistician Bertil Matérn. It specifies the covariance between two measurements as a function of the distance between the points at which they are taken. Since the covariance only depends on distances between points, it is stationary. If the distance is Euclidean distance, the Matérn covariance is also isotropic.

In the field of mathematical analysis, a general Dirichlet series is an infinite series that takes the form of

In mathematics, for a sequence of complex numbers a1, a2, a3, ... the infinite product

In mathematics, infinite compositions of analytic functions (ICAF) offer alternative formulations of analytic continued fractions, series, products and other infinite expansions, and the theory evolving from such compositions may shed light on the convergence/divergence of these expansions. Some functions can actually be expanded directly as infinite compositions. In addition, it is possible to use ICAF to evaluate solutions of fixed point equations involving infinite expansions. Complex dynamics offers another venue for iteration of systems of functions rather than a single function. For infinite compositions of a single function see Iterated function. For compositions of a finite number of functions, useful in fractal theory, see Iterated function system.

References

  1. Bottazzini, Umberto (1986), The Higher Calculus: A History of Real and Complex Analysis from Euler to Weierstrass, Springer-Verlag, pp.  116–117, ISBN   978-0-387-96302-0 . Translated from the Italian by Warren Van Egmond.
  2. Briggs, William; Cochrane, Lyle (2011). Calculus: Early Transcendentals . Addison Wesley. p. 571.
  3. Abramov, Vyacheslav M. (2022). "Necessary and sufficient conditions for the convergence of positive series" (PDF). Journal of Classical Analysis. 19 (2): 117--125. arXiv: 2104.01702 . doi:10.7153/jca-2022-19-09.
  4. Bourchtein, Ludmila; Bourchtein, Andrei; Nornberg, Gabrielle; Venzke, Cristiane (2012). "A hierarchy of convergence tests related to Cauchy's test" (PDF). International Journal of Mathematical Analysis. 6 (37--40): 1847--1869.

This article incorporates material from Proof of Cauchy's root test on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.