Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

If $0<|w|<1/2$, then $2|w|/3<|\operatorname{Log}(1+w)|$ using power series and modulus inequalities.

share|improve this question
    
It doesn't appear true for $w=0$ –  Ross Millikan Sep 12 '11 at 17:48
    
What's the power series for $\operatorname{Log}(1+w)$? (That's a hint, not a question:) –  marty cohen Sep 12 '11 at 19:45

1 Answer 1

Though it is probably not the cleanest method, it is possible to use the minimum modulus principle and explicitly calculate the minimum value of $|\log(1+w)/w|$ on $|w| = 1/2$.

As noted by AD., the function

$$ f(w) = \log(1+w)/w $$

is analytic on $|z| < 1$. Further, it is nonconstant and zero-free there, so we can appeal to the minimum modulus principle to conclude that

$$ |f(w)| > \min_{|z| = 1/2} |f(z)| $$

for $|w| < 1/2$. Now,

$$ \left|\log\!\left(1+\frac{e^{i\theta}}{2}\right)\right|^2 = \frac{1}{4}\left[\log\!\left(\frac{5}{4}+\cos\theta\right)\right]^2 + \arctan\!\left(\frac{\sin\theta}{2+\cos\theta}\right)^2 $$

is symmetric about $\theta = \pi$. By beating the derivatives senseless and using the fact that $x \operatorname{arccot} x < 1$, it is possible to show that this function is strictly increasing on $(0,\pi)$. Thus

$$ \min_{|z| = 1/2} |f(z)| = 2 \min_{0 \leq \theta \leq \pi/2} \left|\log\!\left(1+\frac{e^{i\theta}}{2}\right)\right| = 2\log\!\left(\frac{3}{2}\right) > \frac{2}{3}, $$

from which the result follows.

share|improve this answer
    
I am willing to include the proof that the function is strictly increasing if anyone would like. I left it out only because it's tedious. –  Antonio Vargas May 16 '12 at 7:22
    
Yes that is the way, removed my hints since there was an error. (+1) –  AD. May 16 '12 at 19:51

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.