1
$\begingroup$

When evaluating real integrals involving log, I am having trouble with the step that involves finding a bound on circular segments. Let me explain what I mean:

If, for example, we have $$ \int_0^\infty \frac{(\log(x))^2}{1+x^2} \, \mathrm{d}x $$ We consider the complex integral $$ \int\frac{(\log(z))^2}{1+z^2} \, \mathrm{d}z $$ along a path on which the function is analytic. In this case, our path, gamma, would be made of four segments:

  1. from $\epsilon$ to $R$ along the positive real axis,
  2. from $R$ to $-R$ along a circle in the upper half plane
  3. from $-R$ to $-\epsilon$ on the negative real axis
  4. from $-\epsilon$ to $\epsilon$ along a circle in the upper half plane

(in this way we can consider the branch of log excluding the negative imaginary axis)

I understand that you then proceed to show that integrals 2 and 4 reduce to zero as $R$ approaches infinity and $\epsilon$ approaches zero. This is where I have trouble. Most resources simply say, "show f is bounded".

What is the typical procedure for finding a bound for this type of function involving log? (Or even not involving log.)

I'm sorry for the messy latex and I would be very appreciative of any guidance you can provide.

  • 0
    Use that $$|\log z| \le \big|\ln|z|\big| + 2\pi$$ (for the natural branch; replace $2\pi$ by other suitable constants for other branches).2012-12-19
  • 0
    and $\lim_{r\to\infty} \frac{\log(r)}r=0$ of course.2012-12-19
  • 0
    thanks. but how is that helpful for epsilon approaches zero?2012-12-19
  • 0
    See example $V$ [here](http://en.wikipedia.org/wiki/Methods_of_contour_integration).2012-12-19

1 Answers 1

1

Let's look at the part $4.$ with $\ z:=\epsilon\, e^{i\theta}$ : $$I_\epsilon=\int_{c_\epsilon} \frac{(\log(z))^2}{1+z^2}\,dz=\int_{-\pi}^0 \frac{\bigl(\log\bigl(\epsilon\, e^{i\theta}\bigr)\bigr)^2}{1+\epsilon^2\, e^{2i\theta}}\,\epsilon\, e^{i\theta}d\theta$$ $$I_\epsilon=\int_{-\pi}^0 \frac{(\log(\epsilon)+i\theta)^2}{1+\epsilon^2\, e^{2i\theta}}\,\epsilon\, e^{i\theta}d\theta$$ and we get the majoration : $$|I_\epsilon|\le\int_0^{\pi} \frac{(|\log(\epsilon)|+\pi)^2}{1-\epsilon^2}\,\epsilon\, d\theta$$ i.e. : $$|I_\epsilon|\le \pi\, \epsilon\,\frac{(|\log(\epsilon)|+\pi)^2}{1-\epsilon^2}$$

The most 'determinant' parameter is the $\ \epsilon\ $ at the front.
Use $\ \displaystyle\lim_{\epsilon\to 0^+}\ (\log(\epsilon))^n\,\epsilon=0\ $ for $\ n>0\ $ to conclude.

If you have more questions please ask them here.

  • 0
    Is this the correct idea?: We develop the bound on the 3rd line by considering the absolute values of the numerator, denominator, and epsilon term. The numerator can be expanded, then bounded using the triangle inequality, which shows us that the numerator is largest for theta = pi. The magnitude of the epsilon term is epsilon. Do we then try to find a lower bound for the denominator? Since the second term in the denominator may have a non-zero argument then the magnitude of the denominator is somewhere between $(1-\epsilon^2)$ and $(1+\epsilon^2)$. So we take it to be $(1-\epsilon^2)$?2012-12-19
  • 0
    @lkhs: yes your analysis concerning the numerator and denominator are both right (we want a majoration of the numerator and a minoration of the denominator). Note that the minoration for the denominator is valid only for $\epsilon<1$ (I should have specified this) ; we could have supposed too that $\epsilon<1/2$ for example and replaced the denominator by $3/4$. For this specific problem we could remove the integral by replacing $\theta$ by its largest value (this is not always possible).2012-12-19
  • 0
    @lkhs: You are welcome !2012-12-20