Sunday, 6 October 2019

improper integrals - Evaluating intinfty0fracsinxtsinytcosztt2,dt




The problem is to evaluate the improper integral I=0sinxtsinytcosztt2dt.



This can be written as 0dty0sinxtcosstcoszttds, noting that y0cos(st)ds=sinytt.



I want to interchange the order of the two integrals for I show that:



I=0dty0sinxtcosstcoszttds=y0ds0sinxtcosstcoszttdt



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=140sin((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 {0sy}. 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)=eizeiz2i and cos(z)=eiz+eiz2, to show that



4sin(xt)sin(yt)cos(zt)=cos((x+y+z)t)+cos((xyz)t)cos((x+yz)t)+cos((xy+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(xyz)I(x+yz)+I(xy+z)]=π8[|x+y+z||xyz|+|x+yz||xy+z|]






To compute the integral 0cos(t)1t2dt we generalize it by adding a ewt term to the integrand, i.e. we study



f(w)=0cos(t)1t2ewtdt



We now expand cos(t) in a Taylor-series to get




f(w)=k=1(1)k(2k)!0t2k2ewtdt=wk=1(1/w2)k(2k)(2k1)



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(2k1) into partial fractions we get



f(w)=wk=1(1/w2)k2k1wk=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 w0 gives us the desired result π2 (using e.g. L'Hopitals).


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...