The problem is to evaluate the improper integral I=∫∞0sinxtsinytcosztt2dt.
This can be written as ∫∞0dt∫y0sinxtcosstcoszttds, noting that ∫y0cos(st)ds=sinytt.
I want to interchange the order of the two integrals for I show that:
I=∫∞0dt∫y0sinxtcosstcoszttds=∫y0ds∫∞0sinxtcosstcoszttdt
I know how to evaluate the second integral. The integrand can be rewritten using the product to sum trigonometric identities to get:
f(s)=∫∞0sinxtcosstcoszttdt=14∫∞0sin((x+||s|−|z||)t)t+sin((x−||s|−|z||)t)t+
sin((x+||s|+|z||)t)t+sin((x−||s|+|z||)t)tdt
It is well known that ∫∞0sinxttdt=π2 sgn x, so we can provide an explicit expression for the integral.
In order to interchange the integrals for I, don't I have to show that f(s)=∫∞0sinxtcosstcoszttdt converges uniformly on the interval {0≤s≤y}. But g(x)=∫∞0sinxttdt does not converge uniformly on any interval that contains 0 and f(s) contains four integrals of this form.
So I don't know how to show that I can interchange the order of the integrals or if it even valid to do so.
Answer
We can use the addition formulas for sin and cos, or more easily the relations sin(z)=eiz−e−iz2i and cos(z)=eiz+e−iz2, to show that
4sin(xt)sin(yt)cos(zt)=−cos((x+y+z)t)+cos((x−y−z)t)−cos((x+y−z)t)+cos((x−y+z)t)
Using this the integral we are after can be written in terms of
I(w)≡∫∞0cos(wt)−1t2dt=|w|∫∞0cos(t)−1t2dt=−π2|w|
which is derived below as
∫∞0sin(xt)sin(yt)cos(zt)t2dt=14[−I(x+y+z)+I(x−y−z)−I(x+y−z)+I(x−y+z)]=π8[|x+y+z|−|x−y−z|+|x+y−z|−|x−y+z|]
To compute the integral ∫∞0cos(t)−1t2dt we generalize it by adding a e−wt term to the integrand, i.e. we study
f(w)=∫∞0cos(t)−1t2e−wtdt
We now expand cos(t) in a Taylor-series to get
f(w)=∞∑k=1(−1)k(2k)!∫∞0t2k−2e−wtdt=w∞∑k=1(−1/w2)k(2k)(2k−1)
where I have used the definition of the Γ-function to perform the middle integral. The justification for exchanging the summation and integration can be found in this answer. Splitting 12k(2k−1) into partial fractions we get
f(w)=w∞∑k=1(−1/w2)k2k−1−w∞∑k=1(−1/w2)k2k=−warctan(1w)+12log(1+1w2)
where we have used the Taylor-series for log(1+x) and arctan(x) to evaluate the sums. Taking the limit w→0 gives us the desired result −π2 (using e.g. L'Hopitals).
No comments:
Post a Comment