Vtyjkyuk

I have a tricky comprehensive exam problem that I've been wrestling with: it is exactly the problem in the title reproduced here:

Show that
$$lim_x to infty int_0 ^x cos (t^3 + t) ,dt$$
exists.

If we plot the function $f(t) = cos (t^3 + t)$ then it's "obvious" by inspection that the given limit exists: the periods for cosine are decreasing to zero. Even so, I don't really see an obvious candidate for what the limit might be (I believe it is positive.)

My first step was to write down just exactly what it means that the limit exists. The limit exists if there exists some number $L < infty$ with the following property: for any $varepsilon >0$ there exists some $y >0$ such that

$$
x >y implies left| int_0 ^x cos (t^3 + t) ,dt - L right| < varepsilon
$$

This is fine and good, but I immediately run in to the issue of not having a limit candidate $L$.

There's a problem in (baby) Rudin (Ch 6 Exc 13) which looks quite similar (in fact it was also given as a past comprehensive exam question) which is (in effect):

Show that
$$
lim_x to infty int_0 ^x sin (t^2) ,dt
$$
exists.

I'll note that Rudin walks through the solution to the above in 4 or 5 steps no one of which is obvious or trivial (at least not to me)...

Thus my question: is there some easy (read: easy enough that it would be reasonable to expect the problem to be solved in a comprehensive exam setting) way to solve one or both of these problems?

By Dirichlet's test, if $f(x)$ is differentiable, bounded and decreasing to $0$ on $mathbbR^+$, then the limit
$$ lim_Mto +inftyint_0^Mcos(x)f(x),dx $$
is finite. Now $g(t)=t+t^3$ is increasing, differentiable and unbounded on $mathbbR^+$, together with its inverse function $h(t)$. In a right neighbourhood of the origin $h(t)sim t$, while in a left neighbourhood of $+infty$ we have $h(t)simsqrt[3]t$. By enforcing the substitution $t=h(x)$ we have

$$ int_0^Mcos(t+t^3),dt = int_0^g(M)cos(x) h'(x),dx $$
and we may apply the previous lemma since $h$ is concave on $(1,+infty)$.

With minor adjustements this approach proves the following useful Lemma:

If $f(x)/x$ is a differentiable, increasing and unbounded function on
$mathbbR^+$, the limit $lim_Mto +inftyint_0^Mexpleft(i
f(x)right),dx$ is finite.

About Fresnel's integral,
$$ int_0^Msin(x^2),dx = int_0^M^2fracsin(x)2sqrtx,dxstackreltextIBP=left[frac1-cos x2sqrtxright]_0^M^2+int_0^M^2frac1-cos x4xsqrtx,dx $$
where the first term of the RHS tends to zero as $Mto +infty$. The last integral is the integral of a positive function, where
$$ int_0^1frac1-cos x4xsqrtx,dx leq int_0^1fracfracx^224xsqrtx,dx=frac112 $$
and for any $Mgeq 1$
$$ int_1^M^2frac1-cos x4xsqrtx,dx leq int_1^M^2frac24xsqrtx,dx leq int_1^+inftyfracdx2xsqrtx = 1 $$
so the limit $lim_Mto +inftyint_0^Msin(x^2),dx$ is positive, finite and less than $frac1312$. Its actual value is $frac12sqrtfracpi2$, as can be shown through the (inverse) Laplace transform or contour integration.

The actual value of $lim_Mto +inftyint_0^Mcos(t+t^3),dt$ is related to Airy's differential equation $f''(x)=xcdot f(x)$ and it is given by
$$ fracpisqrt[3]3,textAileft(frac1sqrt[3]3right)=frac13sum_k=0^infty 1over k!Gammaleft(k+1over 3right)sinleft(2pi (k+1)over 3right)approx sqrt2-1.$$

Hint.

$$
t^3+t = fracpi2+kpi
$$

always have a real root $t_k$ for each $k$ So the integral can be considered as

$$
sum_k = 0^nint_t_k^t_k+1cos(t^3-t)dt
$$

which is an alternating series and also $t_k-1-t_k < t_k - t_k-1$

so for $t > 1$

$$
int_t_k+1^t_k+2| cos(t^3-t)| dt < int_t_k^t_k+1|cos(t^3-t)|dt
$$

giving an alternate series absolutely convergent.