Intereting Posts

Formal definition for indexed family of sets
A classical problem about limit of continuous function at infinity and its connection with Baire Category Theorem
Let $f(x)$ be differentiable at $\mathbb R$, s.t $|f^\prime (x)| \le 6$ . Its given that $f(1)=20$, and $f(9)=68$ , prove that $f(7)=56$.
Probability in Minesweeper
Computing $E$ for binomial $X$
How to count the number of solutions for this expression modulo a prime number $p$?
Group as the Union of Subgroups
Is there a monoid structure on the set of paths of a graph?
how to define a circular helix in terms of the Frenet Frame
Upper Triangular Form of a Matrix
Is there any close form solution possible for the following integral?
Solving Addition Rule other way
Represent a Uniform random variable as a sum of independent Bernoulli(1/2) random variables
Why is $e^x=\lim_{n\to\infty}\left(1+\frac{x}{n}\right)^n$
How do I come up with a function to count a pyramid of apples?

Does the following improper integral converge?

$$\lim_{B \to \infty}\int_0^B\sin(x)\sin(x^2)\,\mathrm dx$$

- Conjecture about $A(z) = \lim b^{} ( c^{} (z) ) $
- Weak closure of $\{\sqrt n e_n|n\in \mathbb N\}$ and metrizability of weak topology
- Is there a continuous positive function whose integral over $(0,\infty)$ converges but whose limit is not zero?
- If $ \lim_{n \to \infty} (2 x_{n + 1} - x_{n}) = x $, then is it true that $ \lim_{n \to \infty} x_{n} = x $?
- Difference of differentiation under integral sign between Lebesgue and Riemann
- Showing the following sequence of functions are uniformly convergent

- Integral $\int_0^1\frac{\log(x)\log^2(1-x)\log^2(1+x)}{x}\mathrm dx$
- convergence of sequence of random variables and cauchy sequences
- Limit of a sequence involving root of a factorial: $\lim_{n \to \infty} \frac{n}{ \sqrt {n!}}$
- Prob. 17, Chap. 3 in Baby Rudin: For $\alpha > 1$, how to obtain these inequalities from this recurrence relation?
- Calculating square roots using the recurrence $x_{n+1} = \frac12 \left(x_n + \frac2{x_n}\right)$
- Evaluating $\int_{1}^{\infty}\exp(-(x(2n-x)/b)^2)\,\mathrm dx$
- Convergence in product topology
- $\int_0^L \frac{\cos(2 \pi x /\ell)}{t^2+x^2} \,dx$
- General condition that Riemann and Lebesgue integrals are the same
- Prove that $|a_{n+1}-a_{n}| \leq \frac{1}{2}|a_{n}-a_{n-1}|$ implies $\{a_n\}$ bounded and convergent.

Fix $A<B$; then

$$I_{A,B}:=\int_{A^2}^{B^2}\sin t\sin t^2dt=\frac 12\int_A^B\frac{\sin(\sqrt s)}{\sqrt s}\sin sds.$$

Integrating by parts, this gives

$$I_{A,B}=\frac 12\left[-\cos s\frac{\sin(\sqrt s)}{\sqrt s}\right]_A^B+\frac 12\int_A^B \cos s\cdot \left(\frac{\cos(\sqrt s)}{2s}-\frac{\sin(\sqrt s)}{2s^{3/2}}\right),$$

so the problem reduces to the convergence of $\int_1^{\infty}\cos s\cos(\sqrt s)/sds$, which can be tackled similarly.

Notice $x^2 + x = (x+1)x = (x+1)^2 – (x+1)$, we have:

$$\begin{align}\int_0^B \sin(x) \sin(x^2) dx

&= \frac12\int_0^B(\cos(x^2-x)-\cos(x^2+x)) dx\\

&= \frac12\left(\int_0^B – \int_1^{B+1}\right)\cos(x^2-x)dx\\

&= \frac12\left(\int_0^1 – \int_B^{B+1}\right)\cos(x^2-x)dx

\end{align}$$

Integrate by parts. For large $B$, we have:

$$\begin{align}

&\int_B^{B+1} \cos(x^2 – x)dx = \left[ \frac{\sin(x^2 – x)}{2x – 1} \right]_B^{B+1} + \int_B^{B+1}\frac{2\sin(x^2 – x)dx}{(2x – 1)^2}\\

\implies & \left|\int_B^{B+1} \cos(x^2 – x)dx\right| \le \frac{2}{2B-1} + \frac{2}{(2B-1)^2}\\

\implies & \lim_{B\to\infty} \int_B^{B+1} \cos(x^2 – x)dx = 0\\

\implies & \lim_{B\to\infty} \int_0^B \sin(x) \sin(x^2) dx = \frac12 \int_0^1 \cos(x^2 – x) dx.

\end{align}$$

When we express the above in terms of complex exponentials, we get integrals of the form

$$\int_0^{B} dx \, e^{i (x^2 \pm x)}$$

Therefore, for convergence purposes, consider the following integral in the complex plane:

$$\oint_C dz \, e^{i z^2} e^{i z}$$

where $C$ is a wedge-shaped contour that has a segment along the positive real axis between $[0,B]$, a circular arc of 45 degrees and of radius $B$, and a line joining the end of the arc and the origin.

By Cauchy’s integral theorem, the above contour integral is zero. On the other hand, it may be expressed as integrals over each segment:

$$\int_0^B dx \, e^{i x^2} e^{i x} + i B \int_0^{\pi/4} d\theta \, e^{i \theta} e^{i B e^{i \theta}} e^{i b^2 e^{i 2 \theta}} + e^{i \pi/4} \int_B^0 dt \, e^{-t^2} e^{e^{i \pi/4} t} = 0$$

The first integral is the integral which we seek. The second integral may be bounded by

$$B \int_0^{\pi/4} d\theta e^{-B \sin{\theta}} e^{-B^2 \sin{2 \theta}} $$

which goes to zero as $B \to \infty$ because $\sin{\theta} \ge (2/\pi) \theta$ when $\theta \in [0,\pi/2]$. The above integral is then bounded by

$$B \int_0^{\pi/4} d\theta e^{-B (2/\pi) \theta} e^{-B^2 (2/\pi) 2 \theta} = \frac{\pi}{4 B + 2} $$

The integral then may be written as

$$\int_0^B dx \, e^{i x^2} e^{i x} = e^{i \pi/4} \int_0^B dt \, e^{-t^2} e^{-t/\sqrt{2}} e^{i t\sqrt{2}}$$

Because the integral on the RHS converges in the limit of $B \to \infty$, the integral on the LHS does. The same goes for the minus sign as well. Thus, the stated integral converges.

**hint**

Notice that $$\sin (x^2) = (\cos (x^2))’ \frac{1}{2x}$$

Which gives the idea if you manage to do this thing twice (or enough times) and you reach something like

$\frac{g(x)}{x^n}$ where $n>1$ and $g(x)$ is something bounded you can use comparison test to conclude convergence.

One thing that bugs us is the $\frac{1}{2x}$ is undbounded at zero but this does not really matter because if instead we study the convergence of $\lim _{B \rightarrow \infty}\int _{0}^{B} \sin (x) \sin (x^2) \mathrm{d}x$ is the same as the convergence of $\lim _{B \rightarrow \infty}\int _{1}^{B} \sin (x) \sin (x^2)\mathrm{d}x$.

$\int _{0}^{B}\!\sin \left( x \right) \sin \left( {x}^{2} \right) {dx}=

-\int _{0}^{B}\!1/2\,\cos \left( x \left( 1+x \right) \right) {dx}+

\int _{0}^{B}\!1/2\,\cos \left( x \left( -1+x \right) \right) {dx}$

Change variable on the first integral on the LHS $x \Rightarrow x-1$:

$\int _{0}^{B}\!\sin \left( x \right) \sin \left( {x}^{2} \right) {dx}=

-\int _{1}^{1+B}\!1/2\,\cos \left( x \left( -1+x \right) \right) {dx}

+\int _{0}^{B}\!1/2\,\cos \left( x \left( -1+x \right) \right) {dx}$

separate a finite and an infinite integration from the first integral:

$=

\int _{0}^{1}\!1/2\,\cos \left( x \left( -1+x \right) \right) {dx}-

\int _{0}^{1+B}\!1/2\,\cos \left( x \left( -1+x \right) \right) {dx}+

\int _{0}^{B}\!1/2\,\cos \left( x \left( -1+x \right) \right) {dx}

$

observe that:

$\lim _{B\rightarrow \infty } \left( -\int _{0}^{1+B}\!1/2\,\cos

\left( x \left( -1+x \right) \right) {dx}+\int _{0}^{B}\!1/2\,\cos

\left( x \left( -1+x \right) \right) {dx} \right) =0$

and thus:

$\lim _{B\rightarrow \infty } \left( \int _{0}^{B}\!\sin \left( x

\right) \sin \left( {x}^{2} \right) {dx} \right) =\int _{0}^{1}\!1/2

\,\cos \left( x \left( -1+x \right) \right) {dx}$

A good student of infi should be able to tell more or less right away that yes, the integral converges, and that it converges conditionally but not absolutely.

Why not absolutely? Because absolute value of the integrand does not decrease with x -> infinity.

Why yes conditionally? Because sin(x^2) oscillates around zero **faster and faster**, as x grows, like it is mentioned here. To convert this qualitative claim into actual proof, one can do an estimate like this.

Note, there is no need to actually evaluate the integral; it does not matter whether the first factor in sin(x)sin(x^2) is sin(x) or cos(x) or cos^3(x) etc. The defining moment here is the behavior of sin(x^2).

- Is a von Neumann algebra just a C*-algebra which is generated by its projections?
- Given $n\in \mathbb N$, is there a free module with a basis of size $m$, $\forall m\geq n$?
- Example of Homeomorphism Between Complete and Incomplete Metric Spaces
- What is the value of $\int_C\dfrac{f(z)}{z-z_0}dz?$
- let $A$ be any inductive set, then $\{C \in P(A)|C \text{ is inductive set} \}$ is a set? … and $\mathbb{N}$…?
- “Modus moron” rule of inference?
- Property (ii) of increasing functions in Chung's “A Course in Probability Theory”
- Analysing a set in the complex plane
- Every Real number is expressible in terms of differences of two transcendentals
- How can I prove formally that the projective plane is a Hausdorff space?
- Cardinality of the infinite sets
- Does the set of matrix commutators form a subspace?
- Finding the circles passing through two points and touching a circle
- $|G|=12$ and no elements of order $2$ in $Z(G)$
- What are Different Approaches to Introduce the Elementary Functions?