# Root test

Part of a series of articles about :
Calculus :
$\int _{a}^{b}f'(t)\,dt=f(b)-f(a)$ :
Fundamental theorem
Limits
Continuity
Rolle's theorem
Mean value theorem
Inverse function theorem :
Differential
Definitions
Derivative (generalizations)
Differential
infinitesimal
of a function
total
Concepts
Differentiation notation
Second derivative
Implicit differentiation
Logarithmic differentiation
Related rates
Taylor's theorem
Rules and identities
Sum
Product
Chain
Power
Quotient
L'Hôpital's rule
Inverse
General Leibniz
Faà di Bruno's formula
Reynolds :
Integral
Lists of integrals
Integral transform
Leibniz integral rule
Definitions
Antiderivative
Integral (improper)
Riemann integral
Lebesgue integration
Contour integration
Integral of inverse functions
Integration by
Parts
Discs
Cylindrical shells
Substitution (trigonometric, tangent half-angle, Euler)
Euler's formula
Partial fractions (Heaviside's method)
Changing order
Reduction formulae
Differentiating under the integral sign
Risch algorithm :
Series
Geometric (arithmetico-geometric)
Harmonic
Alternating
Power
Binomial
Taylor
Convergence tests
Summand limit (term test)
Ratio
Root
Integral
Direct comparison
Limit comparison
Alternating series
Cauchy condensation
Dirichlet
Abel :
Vector
Gradient
Divergence
Curl
Laplacian
Directional derivative
Identities
Theorems
Gradient
Green's
Stokes'
Divergence
generalized Stokes
Helmholtz decomposition :
Multivariable
Formalisms
Matrix
Tensor
Exterior
Geometric
Definitions
Partial derivative
Multiple integral
Line integral
Surface integral
Volume integral
Jacobian
Hessian :
Advanced
Calculus on Euclidean space
Generalized functions
Limit of distributions :
Specialized
Fractional
Malliavin
Stochastic
Variations :
Miscellanea
Precalculus
History
Glossary
List of topics
Integration Bee
Mathematical analysis
Nonstandard analysis :
vte :
In mathematics, the root test is a criterion for the convergence (a convergence test) of an infinite series. It depends on the quantity
    $\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|a_{n}|}},$
where $a_{n}$ 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

The root test was developed first by Augustin-Louis Cauchy who published it in his textbook Cours d'analyse (1821). Thus, it is sometimes known as the Cauchy root test or Cauchy's radical test. For a series
    $\sum _{n=1}^{\infty }a_{n}$
the root test uses the number
    $C=\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|a_{n}|}},$
where "lim sup" denotes the limit superior, possibly +∞. Note that if
    $\lim _{n\rightarrow \infty }{\sqrt[{n}]{|a_{n}|}},$
converges then it equals C and may be used in the root test instead.
The root test states that:
* if C < 1 then the series converges absolutely,
* if C > 1 then the series diverges,
* if C = 1 and the limit approaches strictly from above then the series diverges,
* otherwise the test is inconclusive (the series may diverge, converge absolutely or converge conditionally).
There are some series for which C = 1 and the series converges, e.g. $\textstyle \sum 1/{n^{2}}$, and there are others for which C = 1 and the series diverges, e.g. $\textstyle \sum 1/n$.

## Application to power series

This test can be used with a power series
    $f(z)=\sum _{n=0}^{\infty }c_{n}(z-p)^{n}$
where the coefficients c$_n$, 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 a$_n$ = c$_n$(z − p)$^n$. One then applies the root test to the a$_n$ 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 $1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}},$ taking care that we really mean ∞ if the denominator is 0.

## Proof

The proof of the convergence of a series Σa$_n$ is an application of the comparison test.
If for all n ≥ N (N some fixed natural number) we have ${\sqrt[{n}]{|a_{n}|}}\leq k<1$, then $|a_{n}|\leq k^{n}<1$. Since the geometric series $\sum _{n=N}^{\infty }k^{n}$ converges so does $\sum _{n=N}^{\infty }|a_{n}|$ by the comparison test. Hence Σa$_n$ converges absolutely.
If ${\sqrt[{n}]{|a_{n}|}}>1$ for infinitely many n, then a$_n$ fails to converge to 0, hence the series is divergent.
Proof of corollary: For a power series Σa$_n$ = Σc$_n$(z − p)$^n$, we see by the above that the series converges if there exists an N such that for all n ≥ N we have
    ${\sqrt[{n}]{|a_{n}|}}={\sqrt[{n}]{|c_{n}(z-p)^{n}|}}<1,$
equivalent to
    ${\sqrt[{n}]{|c_{n}|}}\cdot |z-p|<1$
for all n ≥ N, which implies that in order for the series to converge we must have $|z-p|<1/{\sqrt[{n}]{|c_{n}|}}$ for all sufficiently large n. This is equivalent to saying
    $|z-p|<1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}},$
so $R\leq 1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}}.$ Now the only other place where convergence is possible is when
    ${\sqrt[{n}]{|a_{n}|}}={\sqrt[{n}]{|c_{n}(z-p)^{n}|}}=1,$
(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
    $R=1/\limsup _{n\rightarrow \infty }{\sqrt[{n}]{|c_{n}|}}.$

## Examples

Example 1:
    $\sum _{i=1}^{\infty }{\frac {2^{i}}{i^{9}}}$
Applying the root test and using the fact that $\lim _{n\to \infty }n^{1/n}=1,$
       $C=\lim _{n\to \infty }{\sqrt[{n}]{\left|{\frac {2^{n}}{n^{9}}}\right|}}=\lim _{n\to \infty }{\frac {\sqrt[{n}]{2^{n}}}{\sqrt[{n}]{n^{9}}}}=\lim _{n\to \infty }{\frac {2}{(n^{1/n})^{9}}}=2$
Since $C=2>1,$ the series diverges.
Example 2:
    $\sum _{n=0}^{\infty }{\frac {1}{2^{\lfloor n/2\rfloor }}}=1+1+{\frac {1}{2}}+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{8}}+\ldots$
The root test shows convergence because
       $r=\limsup _{n\to \infty }{\sqrt[{n}]{|a_{n}|}}=\limsup _{n\to \infty }{\sqrt[{2n}]{|a_{2n}|}}=\limsup _{n\to \infty }{\sqrt[{2n}]{|1/2^{n}|}}={\frac {1}{\sqrt {2}}}<1.$
This example shows how the root test is stronger than the ratio test. The ratio test is inconclusive for this series as if $n$ is even, $a_{n+1}/a_{n}=1$ while if $n$ is odd, $a_{n+1}/a_{n}=1/2$, therefore the limit $\lim _{n\to \infty }|a_{n+1}/a_{n}|$ does not exist.

## Root tests hierarchy

Root tests hierarchy 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 $\sum _{n=1}^{\infty }a_{n}$ with positive terms we have the following tests for convergence/divergence.
Let $K\geq 1$ be an integer, and let $\ln _{(K)}(x)$ denote the $K$th iterate of natural logarithm, i.e. $\ln _{(1)}(x)=\ln(x)$ and for any $2\leq k\leq K$, $\ln _{(k)}(x)=\ln _{(k-1)}(\ln(x))$.
Suppose that ${\sqrt[{-n}]{a_{n}}}$, when $n$ is large, can be presented in the form
    ${\sqrt[{-n}]{a_{n}}}=1+{\frac {1}{n}}+{\frac {1}{n}}\sum _{i=1}^{K-1}{\frac {1}{\prod _{k=1}^{i}\ln _{(k)}(n)}}+{\frac {\rho _{n}}{n\prod _{k=1}^{K}\ln _{(k)}(n)}}.$
(The empty sum is assumed to be 0.)
* The series converges, if $\liminf _{n\to \infty }\rho _{n}>1$
* The series diverges, if $\limsup _{n\to \infty }\rho _{n}<1$
* Otherwise, the test is inconclusive.

### Proof

Since ${\sqrt[{-n}]{a_{n}}}=\mathrm {e} ^{-{\frac {1}{n}}\ln a_{n}}$, then we have
    $\mathrm {e} ^{-{\frac {1}{n}}\ln a_{n}}=1+{\frac {1}{n}}+{\frac {1}{n}}\sum _{i=1}^{K-1}{\frac {1}{\prod _{k=1}^{i}\ln _{(k)}(n)}}+{\frac {\rho _{n}}{n\prod _{k=1}^{K}\ln _{(k)}(n)}}.$
From this,
    $\ln a_{n}=-n\ln \left(1+{\frac {1}{n}}+{\frac {1}{n}}\sum _{i=1}^{K-1}{\frac {1}{\prod _{k=1}^{i}\ln _{(k)}(n)}}+{\frac {\rho _{n}}{n\prod _{k=1}^{K}\ln _{(k)}(n)}}\right).$
From Taylor's expansion applied to the right-hand side, we obtain:
    $\ln a_{n}=-1-\sum _{i=1}^{K-1}{\frac {1}{\prod _{k=1}^{i}\ln _{(k)}(n)}}-{\frac {\rho _{n}}{\prod _{k=1}^{K}\ln _{(k)}(n)}}+O\left({\frac {1}{n}}\right).$
Hence,
    $a_{n}={\begin{cases}\mathrm {e} ^{-1+O(1/n)}{\frac {1}{(n\prod _{k=1}^{K-2}\ln _{(k)}n)\ln _{(K-1)}^{\rho _{n}}n}},&K\geq 2,\\\mathrm {e} ^{-1+O(1/n)}{\frac {1}{n^{\rho _{n}}}},&K=1.\end{cases}}$
(The empty product is set to 1.)
The final result follows from the integral test for convergence.