Help showing bound for magnitude of complex log fcn

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
1 reply · 2K views
Messages
1,442
Reaction score
191
I'm working through an example problem wherein this bound is used:

[tex]\left| \log \left( 1-\frac{1}{L^s}\right) \right| \leq L^{-\sigma},[/tex]

where [tex]s:=\sigma +it[/tex] and it is known that [tex]\sigma >1.[/tex] How do I prove this? Should I assume the principle brach is taken?
 
Physics news on Phys.org
It is perhaps important to note that in the context, [tex]L\rightarrow\infty[/tex]

I think I got a start:

For [tex]\left| z\right| <1,[/tex] the Taylor series about z=0 is

[tex]\log (1-z)=-\sum_{j=1}^{\infty}\frac{z^j}{j}[/tex]

so that

[tex]\left| \log \left( 1-\frac{1}{L^s}\right) \right| =\left| -\sum_{j=1}^{\infty}\frac{L^{-js}}{j} \right| \leq \sum_{j=1}^{\infty}\left| \frac{L^{-js}}{j}\right| = \sum_{j=1}^{\infty} \frac{L^{-j\sigma}}{j}[/tex]
 
Last edited: