Proving integral on small contour is equal to 0.

Click For Summary
SUMMARY

The integral $$\int_{0}^{\infty} \frac{\log^2(x)}{x^2 + 1} dx$$ can be evaluated using contour integration techniques, specifically by considering a small semicircular contour with radius $u$ approaching zero. The parametrization $$z = ue^{i\theta}$$ is employed, leading to an upper bound for the integral around the contour that approaches zero as $u \to 0$. This confirms that the contour integral around the small semicircle is indeed equal to zero, validating the integral's evaluation.

PREREQUISITES
  • Understanding of complex analysis, particularly contour integration.
  • Familiarity with logarithmic functions in complex variables.
  • Knowledge of limits and inequalities in calculus.
  • Experience with parametrization of curves in the complex plane.
NEXT STEPS
  • Study the properties of contour integrals in complex analysis.
  • Learn about the residue theorem and its applications in evaluating integrals.
  • Explore the behavior of logarithmic functions in the complex plane.
  • Investigate the implications of limits in the context of integrals approaching singularities.
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in advanced calculus techniques for evaluating integrals.

Amad27
Messages
409
Reaction score
1
Consider the integral:

$$\int_{0}^{\infty} \frac{\log^2(x)}{x^2 + 1} dx$$
elTqG.png



$R$ is the big radius, $\delta$ is the small radius.

Actually, let's consider $u$ the small radius. Let $\delta = u$

Ultimately the goal is to let $u \to 0$

We can parametrize,

$$z = ue^{i\theta}$$$$\int_{\delta} f(z)dz = (-)\cdot\int_{0}^{\pi} \frac{(i\theta + \log(u))^2\cdot (uie^{i\theta})}{(ue^{i\theta})^2 + 1} d\theta$$

$$\left | \int_{0}^{\pi} \frac{(i\theta + \log(u))^2\cdot (uie^{i\theta})}{(ue^{i\theta})^2 + 1} d\theta \right | \le \int_{0}^{\pi} \frac{|(i\theta + \log(u))|^2\cdot(u)}{|(ue^{i\theta})^2 + 1 |} d\theta$$

$$|(ue^{i\theta})^2 + 1 | < u^2 + 1 $$

$$\frac{1}{u^2 + 1} < \frac{1}{|(ue^{i\theta})^2 + 1 |}$$

Since the maximum value of $\theta$ is $\theta = \pi$$$|(i\theta + \log(u))| = \sqrt{\log^2(u) - \theta^2} \le \sqrt{\log^2(u) + \pi^2}$$

So:

$$|(i\theta + \log(u))|^2 \le \log^2(u) + \pi^2$$

Then:

$$|(i\theta + \log(u))|^2 \le \log^2(u) + \pi^2$$

For values $u$ near $0$.

$$(u)|(i\theta + \log(u))|^2 \le (\log^2(u) + \pi^2)u \le (\pi^2)u + 5\pi^2$$

Therefore,

$$\frac{|\log(z)|}{|z^2 + 1|} \le \frac{(\pi^2)u + 5\pi^2}{u^2 + 1}$$

Then we take the limit as $u \to 0$ which makes the RHS of the inequality 0.

hence the LHS upperbound is $0$.

So is the contour integral around the small semi circle $\delta$ = 0?

How do I do this?

Thanks
 
Physics news on Phys.org
##\frac{1}{z^2+1}## is linear and non-zero around z=0, it does not matter for the integral. If you have to write down steps, you can confine it to be within ##1\pm \epsilon## for every epsilon if u is small enough...
ln(z)= ln(|z|) + i θ, the log term won't give a contribution as it leads to something like ln(u)/u which converges to zero for u to zero, the second part has a nice solution.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K