PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] proof of radius of convergence of a complex function (Proof)

Without loss of generality, it may be assumed that $z_0 = 0$

Let $c_n$ denote the coefficient of the $n$ th term in the Taylor series of $f$ about $0$ Let $r$ be a real number such that $0 < r < R$ Then $c_n$ may be expressed as an integral using the Cauchy integral formula. $$c_n = {1 \over 2 \pi i} \oint_{|z| = r} {f(z) \over z^{n+1}} \, dz = {1 \over 2 \pi r^n} \int_{-\pi}^{+\pi} e^{-n \theta} f(r e^{i \theta}) \, d \theta$$

Since $f$ is analytic, it is also continuous. Since a continuous function on a compact set is bounded, $|f| < B$ for some constant $B > 0$ on the circle $|z| = r$ Hence, we have $$|c_n| = {1 \over 2 \pi r^n} \left| \int_{-\pi}^{+\pi} e^{-n \theta} f(r e^{i \theta}) \, d \theta \right| \le {1 \over 2 \pi r^n} \int_{-\pi}^{+\pi} | e^{-n \theta} f(r e^{i \theta}) | \, d \theta \le {1 \over 2 \pi r^n} \int_{-\pi}^{+\pi} B d \theta = {B \over r^n}$$

Consequently, $\sqrt[n]{c_n} \le \sqrt[n]{B} / r$ Since $\lim_{n \to \infty} \sqrt[n]{B} = 1$ the radius of convergence must be greater than or equal to $r$ Since this is true for all $r < R$ it follows that the radius of convergence is greater than or equal to $R$




"proof of radius of convergence of a complex function" is owned by rspuzio. [ full author list (2) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: radius of convergence, circle, bounded, compact set, continuous, analytic, Cauchy integral formula, integral, real number, Taylor series, term, coefficient, without loss of generality

This is version 6 of proof of radius of convergence of a complex function, born on 2004-10-03, modified 2006-11-23.
Object id is 6279, canonical name is ProofOfRadiusOfConvergenceOfAComplexFunction.
Accessed 1788 times total.

Classification:
AMS MSC30B10 (Functions of a complex variable :: Series expansions :: Power series )

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)