Cauchy–Hadamard theorem

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.

Theorem for one complex variable

Consider the formal power series in one complex variable ''z'' of the form
$f(z) = \sum_^ c_ (z-a)^$
where $a, c_n \in \Complex.$

Then the radius of convergence $R$ of ''f'' at the point ''a'' is given by
$\frac = \limsup_ \left( , c_ , ^ \right)$
where denotes the limit superior, the limit as approaches infinity of the supremum of the sequence values after the ''n''th position. If the sequence values are unbounded so that the is ∞, then the power series does not converge near , while if the is 0 then the radius of convergence is ∞, meaning that the series converges on the entire plane.

Proof

Without loss of generality assume that $a=0$. We will show first that the power series $\sum_n c_n z^n$ converges for , z, , and then that it diverges for $, z, >R$.

First suppose , z, . Let $t=1/R$ not be $0$ or $\pm\infty.$
For any $\varepsilon > 0$, there exists only a finite number of $n$ such that \sqrt \geq t+\varepsilon.
Now $, c_n, \leq (t+\varepsilon)^n$ for all but a finite number of $c_n$, so the series $\sum_n c_n z^n$ converges if $, z, < 1/(t+\varepsilon)$. This proves the first part.

Conversely, for $\varepsilon > 0$, $, c_n, \geq (t-\varepsilon)^n$ for infinitely many $c_n$, so if $, z, =1/(t-\varepsilon) > R$, we see that the series cannot converge because its ''n''th term does not tend to 0.

Theorem for several complex variables

Let $\alpha$ be a multi-index (a ''n''-tuple of integers) with $, \alpha, =\alpha_1+\cdots+\alpha_n$, then $f(x)$ converges with radius of convergence $\rho$ (which is also a multi-index) if and only if
\limsup_ \sqrt \sum_c_\alpha(z-a)^\alpha_:=_\sum_c_(z_1-a_1)^\cdots(z_n-a_n)^

The_proof_can_be_found_in_

_Notes

_External_links

*

{{DEFAULTSORT:Cauchy-Hadamard_theorem
Augustin-Louis_Cauchy
Mathematical_series
Theorems_in_complex_analysishtml" ;"title="\alpha, ]=1
to the multidimensional power series
$\sum_c_\alpha(z-a)^\alpha := \sum_c_(z_1-a_1)^\cdots(z_n-a_n)^$

The proof can be found in

Notes

External links

*

{{DEFAULTSORT:Cauchy-Hadamard theorem
Augustin-Louis Cauchy
Mathematical series
Theorems in complex analysis>\alpha, 1
to the multidimensional power series
$\sum_c_\alpha(z-a)^\alpha := \sum_c_(z_1-a_1)^\cdots(z_n-a_n)^$

The proof can be found in

Notes

External links

*

{{DEFAULTSORT:Cauchy-Hadamard theorem
Augustin-Louis Cauchy
Mathematical series
Theorems in complex analysis