How do I show that the function $$ y(x) = \int_0^\infty \cos(t^3/3 + xt)~dt\qquad -\infty \lt x \lt \infty,$$ satisfies the differential equation $y''=xy$?
I can't simply differentiate under integral since the integrand is oscillatory and does not decay as $t$ becomes large.