Convergence of Integrals: Exploring Methods and Challenges

  • Context: MHB 
  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Integrals
Click For Summary

Discussion Overview

The discussion revolves around the convergence of two specific integrals: $\int_0^{\infty}e^{-x}\log (1+x)dx$ and $\int_0^{\infty}\sqrt{x}\cos (x^2)dx$. Participants explore various methods for determining convergence, including direct comparison tests and series convergence tests, without necessarily calculating the integrals themselves.

Discussion Character

  • Exploratory
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants suggest that the first integral converges by comparing it to $xe^{-x}$, which is known to converge.
  • Others propose that the second integral converges, citing contour integration and the alternating series test, but note that direct comparison may not apply due to the oscillatory nature of the cosine function.
  • There is a discussion about the validity of using direct comparison tests for integrals involving oscillating functions like cosine, with some participants questioning the conditions under which these tests can be applied.
  • Participants express uncertainty about the behavior of certain integrals and the implications of their convergence or divergence, particularly regarding the limits and monotonicity of series derived from the integrals.
  • One participant seeks clarification on the transformation of variables and the resulting integrals, indicating confusion about the steps taken in the reasoning process.

Areas of Agreement / Disagreement

Participants generally do not reach a consensus on the methods for proving convergence, particularly for the second integral. Multiple competing views remain regarding the applicability of direct comparison tests and the nature of convergence for oscillatory integrals.

Contextual Notes

Some participants note that the convergence of the second integral may depend on the damping effect of the integrand, while others highlight the challenges posed by the oscillatory nature of the cosine function. There are unresolved questions about the limits and behavior of certain series related to the integrals.

Who May Find This Useful

This discussion may be useful for students and researchers interested in integral calculus, particularly those exploring convergence criteria and methods for evaluating improper integrals involving oscillatory functions.

mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

I want to check if the following integrals converge or not.

  1. $\int_0^{\infty}e^{-x}\log (1+x)dx$
  2. $\int_0^{\infty}\sqrt{x}\cos (x^2)dx$
Do we have to calculate these integrals or do we have to use for example Direct comparison test? (Wondering)

For the second one I tried for example $|\sqrt{x}\cos(x^2)|\leq \sqrt{x}$. But then the integral of $\sqrt{x}$ diverges, so this is not useful, right? (Wondering)
 
Physics news on Phys.org
Hi mathmari,

One need not to compute the integrals to check for convergence. For the first integral, since $\log(1 + x) \le x$ for all $x \ge 0$, then the integrand is dominated by $xe^{-x}$, which has a convergent integral: $\int_0^\infty xe^{-x}\, dx = 1$. So by direct comparison with $xe^{-x}$, the first integral converges.

The second integral actually converges. Its value is $0.5\sin(\pi/8)\,\Gamma(3/4)$ by contour integration. Like I've said, you don't need to compute the integral. Since the integrand alternates sign, the direct comparison test will not be applicable. First, by the $u$-substitution $u = x^2$, we write $\int_0^\infty \sqrt{x} \cos(x^2)\, dx = \int_0^\infty u^{-1/2}\cos u\, du$. for each integer $n \ge 0$, $\int_{n\pi}^{(n+1)\pi} u^{-1/2}\cos u\, du = (-1)^n\int_0^{\pi} (v + n\pi)^{-1/2}\cos(v)\, dv$ using the sub $v = u - n\pi$ and the identity $\cos(v + n\pi) = (-1)^n\cos v$. So it suffices to show that the series

$$\sum_{n = 0}^\infty (-1)^n \int_0^\pi (v + n\pi)^{-1/2}\cos v\, dv$$

converges. Note the integrals in the above series are nonnegative and decreasing in $n$. So if you can prove

$$\lim_{n\to \infty} \int_0^\pi (v + n\pi)^{-1/2}\cos v\, dv = 0$$

then you can claim by the alternating series test that the series converges (and hence the original $\int_0^\infty u^{-1/2}\cos u\, du$ converges).
 
Euge said:
One need not to compute the integrals to check for convergence. For the first integral, since $\log(1 + x) \le x$ for all $x \ge 0$, then the integrand is dominated by $xe^{-x}$, which has a convergent integral: $\int_0^\infty xe^{-x}\, dx = 1$. So by direct comparison with $xe^{-x}$, the first integral converges.

I understand! (Happy)
Euge said:
First, by the $u$-substitution $u = x^2$, we write $\int_0^\infty \sqrt{x} \cos(x^2)\, dx = \int_0^\infty u^{-1/2}\cos u\, du$. for each integer $n \ge 0$, $\int_{n\pi}^{(n+1)\pi} u^{-1/2}\cos u\, du = (-1)^n\int_0^{\pi} (v + n\pi)^{-1/2}\cos(v)\, dv$ using the sub $v = u - n\pi$ and the identity $\cos(v + n\pi) = (-1)^n\cos v$. So it suffices to show that the series

$$\sum_{n = 0}^\infty (-1)^n \int_0^\pi (v + n\pi)^{-1/2}\cos v\, dv$$

converges. Note the integrals in the above series are nonnegative and decreasing in $n$. So if you can prove

$$\lim_{n\to \infty} \int_0^\pi (v + n\pi)^{-1/2}\cos v\, dv = 0$$

then you can claim by the alternating series test that the series converges (and hence the original $\int_0^\infty u^{-1/2}\cos u\, du$ converges).

When we substitute $u=x^2$ we have that $du=2xdx \Rightarrow du=2\sqrt{x}\sqrt{x}dx$.
Since $u^{\frac{1}{4}}=\sqrt{x}$, we have that $\frac{1}{2u^{\frac{1}{4}}}du=\sqrt{x}dx$.
Therefore, $$\int_0^{\infty}\sqrt{x}\cos (x^2)dx=\int_0^{\infty}\frac{1}{2u^{\frac{1}{4}}}\cos (u)du=\frac{1}{2}\int_0^{\infty}u^{-\frac{1}{4}}\cos (u)du$$

How do we get $\int_0^\infty u^{-1/2}\cos u\, du$ ? What have I done wrong? (Wondering)
 
Euge said:
Note the integrals in the above series are nonnegative and decreasing in $n$. So if you can prove

$$\lim_{n\to \infty} \int_0^\pi (v + n\pi)^{-1/2}\cos v\, dv = 0$$

How do we know that the integrals in the above series are nonnegative and decreasing in $n$ ? (Wondering)

Could you give me a hint how we could prove that $\lim_{n\to \infty} \int_0^\pi (v + n\pi)^{-1/2}\cos v\, dv = 0$ ? (Wondering)
 
mathmari said:
When we substitute $u=x^2$ we have that $du=2xdx \Rightarrow du=2\sqrt{x}\sqrt{x}dx$.
Since $u^{\frac{1}{4}}=\sqrt{x}$, we have that $\frac{1}{2u^{\frac{1}{4}}}du=\sqrt{x}dx$.
Therefore, $$\int_0^{\infty}\sqrt{x}\cos (x^2)dx=\int_0^{\infty}\frac{1}{2u^{\frac{1}{4}}}\cos (u)du=\frac{1}{2}\int_0^{\infty}u^{-\frac{1}{4}}\cos (u)du$$

How do we get $\int_0^\infty u^{-1/2}\cos u\, du$ ? What have I done wrong? (Wondering)

Yes, you're correct. Sorry, it was late when I posted. So the integrals in the series I wrote should instead be $\int_0^\infty (v + n\pi)^{-1/4}\cos v\, dv$ (the factor of $1/2$ can be put outside the summation sign).

Now write

$$\int_0^\pi (v + n\pi)^{-1/4}\cos v\, dv = \int_0^{\pi/2} (v + n\pi)^{-1/4}\cos v\, dv + \int_{\pi/2}^\pi (v + n\pi)^{-1/4}\cos v\, dv$$

and note

$$\int_{\pi/2}^\pi (v + n\pi)^{-1/4}\cos v\, dv = -\int_0^{\pi/2} (v + \frac{\pi}{2} + n\pi)^{-1/4}\sin v\, dv$$

The series of interest is then $0.5 \sum\limits_{n = 0}^\infty (-1)^n a_n - 0.5\sum\limits_{n = 0}^\infty (-1)^n b_n$, where

$$a_n = \int_0^{\pi/2} (v + n\pi)^{-1/4}\cos v\, dv \quad \text{and}\quad b_n = \int_0^{\pi/2} (v + \frac{\pi}{2} + n\pi)^{-1/4} \sin v\, dv$$

Since the sine and cosine are nonnegative in the interval $[0,\pi/2]$, both $a_n$ and $b_n$ are nonnegative and monotone decreasing. So it suffices to prove $\lim\limits_{n\to \infty} a_n = 0 = \lim\limits_{n\to \infty} b_n$. For then, you can claim convergence of the series $\sum (-1)^n a_n$ and $\sum (-1)^n b_n$ by the alternating series test, and hence the convergence of the difference $0.5\sum (-1)^n a_n - 0.5\sum (-1)^n b_n$.
 
Euge said:
Since the sine and cosine are nonnegative in the interval $[0,\pi/2]$, both $a_n$ and $b_n$ are nonnegative and monotone decreasing.

Do we have that $a_n$ and $b_n$ are monotone decreasing because $n$ is in the denominator? (Wondering)
 
Basically, yes.
 
Ah ok! I understood it! (Happy)

Could we also show the convergence using the direct comparison for the integral $\int_0^\infty u^{-1/2}\cos u\, du$ ? But which inequality could we use here? (Wondering)
 
Direct comparison requires the integrand to not change sign, right? The cosine changes sign over $[0,\infty)$, so direct comparison will not do with that integral.
 
  • #10
Euge said:
Direct comparison requires the integrand to not change sign, right? The cosine changes sign over $[0,\infty)$, so direct comparison will not do with that integral.

Ah ok. So, the only way is the alternating series test, isn't it? (Wondering)

But at my other post http://mathhelpboards.com/analysis-50/convergence-integrals-20731.html#post94229 at the integral 2. I use the direct comparison test although we have the cosine. So, is this wrong? (Wondering)
 
Last edited by a moderator:
  • #11
I think you were missing my point. In your other post, the cosine is multiplied by a damping function, making the integral absolutely convergent. Since $\int_0^\infty u^{-1/2}\cos u\, du $ is not absolutely convergent, but conditionally convergent, you'll have problems finding an upper and lower bound, for which both integrals converge.
 
  • #12
Euge said:
I think you were missing my point. In your other post, the cosine is multiplied by a damping function, making the integral absolutely convergent. Since $\int_0^\infty u^{-1/2}\cos u\, du $ is not absolutely convergent, but conditionally convergent, you'll have problems finding an upper and lower bound, for which both integrals converge.

I see. Thank you very much! (Smile)
 

Similar threads

  • · Replies 29 ·
Replies
29
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 9 ·
Replies
9
Views
2K