4.1.17 Problem (*). Throughout, suppose that zo E C with Re(zo) < 0 and Im(zo) > 0. In particular, zo (-∞0, 0]. (i) First suppose that Re(zo) <0. Show that | Im(zo)| < |zo|, and so the largest ball on which the Taylor series for Log centered at zo converges is not wholly contained in the domain of Log. = (ii) Put o Arg(zo); since Re(zo) < 0 and Im(zo) > 0, we have π/2 < 0o < . Show that 00π<0< < (00-π) + 2π, so [0, π] (00-π, (00-π) + 2π]. (iii) Let U = {z € C | Im(z) > 0}, so U is the upper half-plane. With 00 as in the previous step, explain why Arg(2) = argo-(2) for all z EU and therefore Logu = logo-u (iv) With zo and o as above, conclude that the Taylor series for Log centered at zo converges to S(z) := Log(zo) + (-1)(z-zo) = kzb k=1 Log(2), z = B(zo; |zo) nu Log(z) + 2πi, z € B (20;|20|) \ U. [Hint: argue first that the Taylor series for Log and logo- centered at zo have the same coefficients. Then, by considering the branch cut for logo- explain why logo0o- is analytic on B(zo; zo). Conclude that the Taylor series for logo-converges to S on B(zo; |zo). What does this imply about S(z) for z E B(zo; |zo) nu? To determine the value of S(z) for z = B(zoizol) \U, use the fact that arge-(z) = Arg(z) +27 if Re(z) <0 and Im(z) < 0.] (v) Now suppose that Re(zo) 20. Show that B(zo; |zol) n(-∞, 0] =Ø. [Hint: show that if x > 0, then |-x-zol> |zol.] Conclude that in this case, the largest ball on which the Taylor series for Log centered at zo converges is wholly contained in the domain of Log, and so this situation is less exciting than the above. (Are you indeed less excited now?)
4.1.17 Problem (*). Throughout, suppose that zo E C with Re(zo) < 0 and Im(zo) > 0. In particular, zo (-∞0, 0]. (i) First suppose that Re(zo) <0. Show that | Im(zo)| < |zo|, and so the largest ball on which the Taylor series for Log centered at zo converges is not wholly contained in the domain of Log. = (ii) Put o Arg(zo); since Re(zo) < 0 and Im(zo) > 0, we have π/2 < 0o < . Show that 00π<0< < (00-π) + 2π, so [0, π] (00-π, (00-π) + 2π]. (iii) Let U = {z € C | Im(z) > 0}, so U is the upper half-plane. With 00 as in the previous step, explain why Arg(2) = argo-(2) for all z EU and therefore Logu = logo-u (iv) With zo and o as above, conclude that the Taylor series for Log centered at zo converges to S(z) := Log(zo) + (-1)(z-zo) = kzb k=1 Log(2), z = B(zo; |zo) nu Log(z) + 2πi, z € B (20;|20|) \ U. [Hint: argue first that the Taylor series for Log and logo- centered at zo have the same coefficients. Then, by considering the branch cut for logo- explain why logo0o- is analytic on B(zo; zo). Conclude that the Taylor series for logo-converges to S on B(zo; |zo). What does this imply about S(z) for z E B(zo; |zo) nu? To determine the value of S(z) for z = B(zoizol) \U, use the fact that arge-(z) = Arg(z) +27 if Re(z) <0 and Im(z) < 0.] (v) Now suppose that Re(zo) 20. Show that B(zo; |zol) n(-∞, 0] =Ø. [Hint: show that if x > 0, then |-x-zol> |zol.] Conclude that in this case, the largest ball on which the Taylor series for Log centered at zo converges is wholly contained in the domain of Log, and so this situation is less exciting than the above. (Are you indeed less excited now?)
Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
Related questions
Question
Solve iv and v only
![4.1.17 Problem (*). Throughout, suppose that zo E C with Re(zo) < 0 and Im(zo) > 0.
In particular, zo (-∞0, 0].
(i) First suppose that Re(zo) <0. Show that | Im(zo)| < |zo|, and so the largest ball on
which the Taylor series for Log centered at zo converges is not wholly contained in the
domain of Log.
=
(ii) Put o Arg(zo); since Re(zo) < 0 and Im(zo) > 0, we have π/2 < 0o < . Show
that
00π<0< < (00-π) + 2π,
so [0, π] (00-π, (00-π) + 2π].
(iii) Let U = {z € C | Im(z) > 0}, so U is the upper half-plane. With 00 as in the previous
step, explain why Arg(2) = argo-(2) for all z EU and therefore Logu = logo-u
(iv) With zo and o as above, conclude that the Taylor series for Log centered at zo
converges to
S(z) := Log(zo) + (-1)(z-zo) =
kzb
k=1
Log(2), z = B(zo; |zo) nu
Log(z) + 2πi, z € B (20;|20|) \ U.
[Hint: argue first that the Taylor series for Log and logo- centered at zo have the same
coefficients. Then, by considering the branch cut for logo- explain why logo0o- is analytic
on B(zo; zo). Conclude that the Taylor series for logo-converges to S on B(zo; |zo).
What does this imply about S(z) for z E B(zo; |zo) nu? To determine the value of S(z) for
z = B(zoizol) \U, use the fact that arge-(z) = Arg(z) +27 if Re(z) <0 and Im(z) < 0.]
(v) Now suppose that Re(zo) 20. Show that B(zo; |zol) n(-∞, 0] =Ø. [Hint: show that
if x > 0, then |-x-zol> |zol.] Conclude that in this case, the largest ball on which the
Taylor series for Log centered at zo converges is wholly contained in the domain of Log,
and so this situation is less exciting than the above. (Are you indeed less excited now?)](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F690bc708-737a-4036-8bde-cd8ee17ec8dd%2F00876ba0-b206-4e21-9858-b2744f73380a%2Fd66wo1a_processed.jpeg&w=3840&q=75)
Transcribed Image Text:4.1.17 Problem (*). Throughout, suppose that zo E C with Re(zo) < 0 and Im(zo) > 0.
In particular, zo (-∞0, 0].
(i) First suppose that Re(zo) <0. Show that | Im(zo)| < |zo|, and so the largest ball on
which the Taylor series for Log centered at zo converges is not wholly contained in the
domain of Log.
=
(ii) Put o Arg(zo); since Re(zo) < 0 and Im(zo) > 0, we have π/2 < 0o < . Show
that
00π<0< < (00-π) + 2π,
so [0, π] (00-π, (00-π) + 2π].
(iii) Let U = {z € C | Im(z) > 0}, so U is the upper half-plane. With 00 as in the previous
step, explain why Arg(2) = argo-(2) for all z EU and therefore Logu = logo-u
(iv) With zo and o as above, conclude that the Taylor series for Log centered at zo
converges to
S(z) := Log(zo) + (-1)(z-zo) =
kzb
k=1
Log(2), z = B(zo; |zo) nu
Log(z) + 2πi, z € B (20;|20|) \ U.
[Hint: argue first that the Taylor series for Log and logo- centered at zo have the same
coefficients. Then, by considering the branch cut for logo- explain why logo0o- is analytic
on B(zo; zo). Conclude that the Taylor series for logo-converges to S on B(zo; |zo).
What does this imply about S(z) for z E B(zo; |zo) nu? To determine the value of S(z) for
z = B(zoizol) \U, use the fact that arge-(z) = Arg(z) +27 if Re(z) <0 and Im(z) < 0.]
(v) Now suppose that Re(zo) 20. Show that B(zo; |zol) n(-∞, 0] =Ø. [Hint: show that
if x > 0, then |-x-zol> |zol.] Conclude that in this case, the largest ball on which the
Taylor series for Log centered at zo converges is wholly contained in the domain of Log,
and so this situation is less exciting than the above. (Are you indeed less excited now?)
AI-Generated Solution
Unlock instant AI solutions
Tap the button
to generate a solution
Recommended textbooks for you
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
![Advanced Engineering Mathematics](https://www.bartleby.com/isbn_cover_images/9780470458365/9780470458365_smallCoverImage.gif)
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
![Numerical Methods for Engineers](https://www.bartleby.com/isbn_cover_images/9780073397924/9780073397924_smallCoverImage.gif)
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
![Introductory Mathematics for Engineering Applicat…](https://www.bartleby.com/isbn_cover_images/9781118141809/9781118141809_smallCoverImage.gif)
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
![Mathematics For Machine Technology](https://www.bartleby.com/isbn_cover_images/9781337798310/9781337798310_smallCoverImage.jpg)
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
![Basic Technical Mathematics](https://www.bartleby.com/isbn_cover_images/9780134437705/9780134437705_smallCoverImage.gif)
![Topology](https://www.bartleby.com/isbn_cover_images/9780134689517/9780134689517_smallCoverImage.gif)