Finding Radii of Convergence Using Ratio Test

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
5 replies · 3K views
rinatoc
Messages
2
Reaction score
0
Hi please could you assist me: questions posted below:Assuming the function f is holomorphic in the disk [itex]\[D(0,1) = \{ z \in \mathbb{C}:|z| < 1\}\][/itex], prove that [itex]\[g(z) = \overline {f(\overline z )} \][/itex] is also holomorphic in D(0,1) and find its derivative?
Find the radii of convergence of the following series stating which result is being used.
(a) [itex]\[\sum\limits_{k = 0}^\infty {k^{113} 2^{ - k} (z - 1)^k } <br /> \][/itex]

(b)[itex]\[\sum\limits_{n = 2}^\infty {n!(z - e)^{3n} } <br /> \][/itex]

(c)[itex]\[\sum\limits_{k = 0}^\infty {\frac{{z^k }}{{(k!)^2 }}}\][/itex](A)
Using Ratio Test:

[itex]\[\mathop {\lim }\limits_{k \to \infty } \left| {\frac{{a_{k + 1} }}<br /> {{a_k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - (k + 1)} (z - 1)^{k + 1} }}{{k^{113} 2^{ - k} (z - 1)^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - k - 1} (z - 1)^{k + 1} }}{{k^{113} 2^{ - k} (z - 1)^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - 1} (z - 1)}}{{k^{113} }}} \right|\][/itex]

=[itex]\[ \frac{{(\infty + 1)^{113} 2^{ - 1} (z - 1)}}{{\infty ^{113} }} = \frac{{(z - 1)}}<br /> {2} < 1<br /> \][/itex]

So is rad. of convergence (z-1)/2 and converging since it is less than 1??
(B)

Using Ratio Test:

[itex]\[\mathop {\lim }\limits_{n \to \infty } \left| {\frac{{a_{n + 1} }}<br /> {{a_n }}} \right| = \mathop {\lim }\limits_{n \to \infty } \left| {\frac{{(n + 1)!(z - e)^{3(n + 1)} }}{{n!(z - e)^{3n} }}} \right| = \mathop {\lim }\limits_{n \to \infty } \left| {(n + 1)(z - e)^3 } \right| \][/itex]

[itex]= (\infty + 1)(z - e)^3 = \infty[/itex]

Hence, is ROC infinity and diverging since it is greater than 1?

(C)
Using Ratio Test:

[itex]\[\mathop {\lim }\limits_{k \to \infty } \left| {\frac{{a_{k + 1} }}<br /> {{a_k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{z^{k + 1} }}{{((k + 1)!)^2 }} \times \frac{{(k!)^2 }}<br /> {{z^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{z^{k + 1} }}{{z^k }} \times \frac{{(k!)^2 }}<br /> {{((k + 1)!)^2 }}} \right|\][/itex]

[itex]\[= \mathop {\lim }\limits_{k \to \infty } \left| {z \times \frac{{(k!)^2 }}{{((k + 1)!)^2 }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\sqrt z \frac{{k!}}{{k + 1!}}} \right|\][/itex]

[itex]\[ = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{\sqrt z }}<br /> {{k + 1}}} \right| = \frac{{\sqrt z }}{{\infty + 1}} = 0\][/itex]

So is ROC 0 and converging since it is less than 1?
 
Physics news on Phys.org
rinatoc, you seriously need to dust off the old calculus book and study it. You won't survive complex analysis if you don't know real calculus.

rinatoc said:
(A)
Using Ratio Test:

[itex]\[\mathop {\lim }\limits_{k \to \infty } \left| {\frac{{a_{k + 1} }}<br /> {{a_k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - (k + 1)} (z - 1)^{k + 1} }}{{k^{113} 2^{ - k} (z - 1)^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - k - 1} (z - 1)^{k + 1} }}{{k^{113} 2^{ - k} (z - 1)^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - 1} (z - 1)}}{{k^{113} }}} \right|\][/itex]

=[itex]\[ \frac{{(\infty + 1)^{113} 2^{ - 1} (z - 1)}}{{\infty ^{113} }} = \frac{{(z - 1)}}<br /> {2} < 1<br /> \][/itex]

So is rad. of convergence (z-1)/2 and converging since it is less than 1??

No, the radius of convergence is not (z-1)/2. The radius of convergence of a power series is a number.

(B)

Using Ratio Test:

[itex]\[\mathop {\lim }\limits_{n \to \infty } \left| {\frac{{a_{n + 1} }}<br /> {{a_n }}} \right| = \mathop {\lim }\limits_{n \to \infty } \left| {\frac{{(n + 1)!(z - e)^{3(n + 1)} }}{{n!(z - e)^{3n} }}} \right| = \mathop {\lim }\limits_{n \to \infty } \left| {(n + 1)(z - e)^3 } \right| \][/itex]

[itex]= (\infty + 1)(z - e)^3 = \infty[/itex]

Hence, is ROC infinity and diverging since it is greater than 1?

Now if the ROC is infinite, how could the series possibly diverge anywhere? Think about what you are doing!

(C)
Using Ratio Test:

[itex]\[\mathop {\lim }\limits_{k \to \infty } \left| {\frac{{a_{k + 1} }}<br /> {{a_k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{z^{k + 1} }}{{((k + 1)!)^2 }} \times \frac{{(k!)^2 }}<br /> {{z^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{z^{k + 1} }}{{z^k }} \times \frac{{(k!)^2 }}<br /> {{((k + 1)!)^2 }}} \right|\][/itex]

[itex]\[= \mathop {\lim }\limits_{k \to \infty } \left| {z \times \frac{{(k!)^2 }}{{((k + 1)!)^2 }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\sqrt z \frac{{k!}}{{k + 1!}}} \right|\][/itex]

[itex]\[ = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{\sqrt z }}<br /> {{k + 1}}} \right| = \frac{{\sqrt z }}{{\infty + 1}} = 0\][/itex]

So is ROC 0 and converging since it is less than 1?


If the ROC is 0, then clearly the series converges only at the center.
 
ok after a bit more studying, would this be correct:

(A)
Using Ratio Test:

[itex][\mathop {\lim }\limits_{k \to \infty } \left| {\frac{{a_{k + 1} }}<br /> {{a_k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - (k + 1)} (z - 1)^{k + 1} }}{{k^{113} 2^{ - k} (z - 1)^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - k - 1} (z - 1)^{k + 1} }}{{k^{113} 2^{ - k} (z - 1)^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{(k + 1)^{113} 2^{ - 1} (z - 1)}}{{k^{113} }}} \right|\][/itex]

the k's go to infinity on the top and bottom so infinity/infinity = 1. Hence,

=[itex]\[ \frac{{2^{ - 1} (z - 1)}}{{1}} = \frac{{(z - 1)}}<br /> {2} < 1<br /> \][/itex]

= [itex] |z-1| < 2,[/itex]

So the rad. of convergence is 2?

(B)

Using Ratio Test:

[itex]\[\mathop {\lim }\limits_{n \to \infty } \left| {\frac{{a_{n + 1} }}<br /> {{a_n }}} \right| = \mathop {\lim }\limits_{n \to \infty } \left| {\frac{{(n + 1)!(z - e)^{3(n + 1)} }}{{n!(z - e)^{3n} }}} \right| = \mathop {\lim }\limits_{n \to \infty } \left| {(n + 1)(z - e)^3 } \right| \][/itex]

[itex]= (\infty + 1)(z - e)^3[/itex]

Hence, is ROC is divergent everywhere except when z = e, so the radius of conv. is 0?

(C)
Using Ratio Test:
[itex]\[<br /> \begin{gathered}<br /> \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{a_{k + 1} }}<br /> {{a_k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{z^{k + 1} }}<br /> {{((k + 1)!)^2 }} \times \frac{{(k!)^2 }}<br /> {{z^k }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{{z^{k + 1} }}<br /> {{z^k }} \times \frac{{(k!)^2 }}<br /> {{((k + 1)!)^2 }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {z \times \frac{{(k!)^2 }}<br /> {{((k + 1)!)^2 }}} \right| = \mathop {\lim }\limits_{k \to \infty } \left| {z\frac{{(k!)^2 }}<br /> {{((k + 1)k!)^2 }}} \right| \hfill \\<br /> = \mathop {\lim }\limits_{k \to \infty } \left| {\frac{z}<br /> {{(k + 1)^2 }}} \right| = 0 < 1 \hfill \\ <br /> \end{gathered} <br /> \][/itex]

So is ROC infinity?
 
oh hi, yes i had to open a new account "rinatoc" because my mathfied account for some reason was giving an error whenever i tried logging in. i thought maybe my account got disabled or something so i opened the other one.. turned out to be some ip problem..

but then my mathfied account is working fine now so i don't really need the rinatoc.. but i don't know how to delete the account.

im jus following up my queries with this original account now that everything is working fine.

many apologies for the double :)

i reattempted the questions there. are they ok?
 
Last edited: