Take the 2-minute tour ×
Mathematica Stack Exchange is a question and answer site for users of Mathematica. It's 100% free, no registration required.

I've done a little math and I got the following power series expansion of $\log z$ about $z_0=-2+i$.

$$\log z=\log(-2+i)+\sum_{n=1}^{\infty}\frac{(-1)^{n+1}}{n(-2+i)^n}[z-(-2+i)]^n$$

I've shown that the series converges on $|z-(-2+i)|<\sqrt5$ but I think it only agrees with $\log z$ on $|z-(-2+i)|<1$.

I have:

f = Function[z, Log[-2 + I] + 
      Sum[(-1)^(n + 1)*(z - (-2 + I))^n/(n*(-2 + I)^n), {n, 1, Infinity}]]

The evaluation

f[-2 + I/2]

produces

log(-2 + I) + log(9/10 + I/5)

I'm wondering if there is an easy way to force this to a logarithm of a single number. I'm also wondering if someone has a suggestion on how to explore the convergence on the two regions defined above.

share|improve this question
add comment

2 Answers

Maybe a graphical proof ?

Check your expansion by using SeriesCoefficient :

SeriesCoefficient[Log[z], {z, -2 + I, n}] // InputForm
(* Piecewise[{{-((2/5 + I/5)^n/n), n >= 1}, {Log[-2 + I], n == 0}}, 0] *)

Log[-2 + I] + Sum[-((2/5 + I/5)^n/n) (z - (-2 + I))^n, {n, 1, Infinity}]
(* Log[-2 + I] + Log[(-(2/5) - I/5) z] *)

diff = FullSimplify[ComplexExpand[f[x + I y] - Log[x + I y], TargetFunctions -> {Re, Im}], 
   Assumptions :> {x ∈ Reals, y ∈ Reals}];

Show[RegionPlot[Abs[diff] < 10^-6, {x, -5, 5}, {y, -5, 5}], 
     Graphics[{Black, PointSize[0.01], Point[{-2, 1}]}], 
     Graphics[{Pink, Opacity[0.5], Disk[{-2, 1}, Sqrt[5]]}], 
     Graphics[{Green, Opacity[0.3], Disk[{-2, 1}, 1]}]]

plot

share|improve this answer
    
How about Plot3D[Abs[diff], {x, -5, 5}, {y, -5, 5}] or similar ? –  b.gatessucks Mar 31 '13 at 17:41
add comment

It seems you are looking for a few things, the first is SumConvergence :

SumConvergence[(-1)^(n + 1)*(z - (-2 + I))^n/(n*(-2 + I)^n), n] // TraditionalForm

enter image description here

It is equivalent to your calculations since :

Abs @ Factor[5 + (2 + I) z]
 Sqrt[5] Abs[(2 - I) + z]

Another thing you are lacking is FullSimplify in the definition of your function :

FullSimplify[Log[-2 + I] + Log[9/10 + I/5]]
Log[-2 + I/2]
share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.