Help showing bound for magnitude of complex log fcn

Click For Summary
SUMMARY

The discussion focuses on proving the bound for the magnitude of the complex logarithm function, specifically the inequality \(\left| \log \left( 1-\frac{1}{L^s}\right) \right| \leq L^{-\sigma}\) where \(s = \sigma + it\) and \(\sigma > 1\). The approach involves utilizing the Taylor series expansion of the logarithm for \(|z| < 1\), leading to the expression \(\left| \log \left( 1-\frac{1}{L^s}\right) \right| = \left| -\sum_{j=1}^{\infty}\frac{L^{-js}}{j} \right|\). The conclusion drawn is that this can be bounded by \(\sum_{j=1}^{\infty} \frac{L^{-j\sigma}}{j}\), which is crucial for establishing the desired inequality as \(L \rightarrow \infty\).

PREREQUISITES
  • Understanding of complex analysis, particularly logarithmic functions.
  • Familiarity with Taylor series expansions.
  • Knowledge of convergence criteria for series.
  • Basic concepts of limits and bounds in mathematical analysis.
NEXT STEPS
  • Study the properties of complex logarithms in detail.
  • Learn about the convergence of series and their applications in complex analysis.
  • Explore advanced topics in complex analysis, such as analytic continuation.
  • Investigate the implications of bounds in mathematical proofs and inequalities.
USEFUL FOR

Mathematicians, students of complex analysis, and researchers working on inequalities involving logarithmic functions will benefit from this discussion.

benorin
Science Advisor
Insights Author
Messages
1,442
Reaction score
191
I'm working through an example problem wherein this bound is used:

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

where s:=\sigma +it and it is known that \sigma &gt;1. 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, L\rightarrow\infty

I think I got a start:

For \left| z\right| &lt;1, the Taylor series about z=0 is

\log (1-z)=-\sum_{j=1}^{\infty}\frac{z^j}{j}

so that

\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}
 
Last edited:

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
Replies
10
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
5K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K