Question and Answers Forum

All Questions      Topic List

Integration Questions

Previous in All Question      Next in All Question      

Previous in Integration      Next in Integration      

Question Number 42504 by maxmathsup by imad last updated on 26/Aug/18

let x>0 prove that  ∫_0 ^∞     ((e^(−t^2 ) ln(1+xt^2 ))/t^2 ) dt =π ∫_0 ^(√x)   e^(1/u^2 )   du .

letx>0provethat 0et2ln(1+xt2)t2dt=π0xe1u2du.

Commented bymaxmathsup by imad last updated on 28/Aug/18

let f(x) = ∫_0 ^∞    ((e^(−t^2 ) ln(1+xt^2 ))/t^2 )dt ⇒f^′ (x)= ∫_0 ^∞     (e^(−t^2 ) /(1+xt^2 ))dt ⇒  2f^′ (x) = ∫_(−∞) ^(+∞)     (e^(−t^2 ) /(1+xt^2 ))dt  let consider the complex function  ϕ(z) = (e^(−z^2 ) /(1+xz^2 ))  we have ϕ(z) = (e^(−z^2 ) /(((√x)z−i)((√x)z +i))) =(e^(−z^2 ) /(x(z−(i/(√x)))(z+(i/((√x)))))))  the poles of ϕ are +^−  (i/(√x))  ∫_(−∞) ^(+∞)   ϕ(z)dz =2iπ Res(ϕ,(i/(√x)))  but   Res(ϕ,(i/(√x)))= (e^(1/x) /(x(((2i)/(√x))))) = (e^(1/x) /(2i(√x))) ⇒  ∫_(−∞) ^(+∞)  ϕ(z)dz =2iπ  (e^(1/x) /(2i(√x))) =π (e^(1/x) /(√x)) ⇒ f^′ (x) =(π/2) (e^(1/x) /(√x)) ⇒  f(x) =(π/2) ∫_0 ^x    (e^(1/t) /(√t))dt  +c   but  c=f(0) =0 ⇒f(x) =(π/2) ∫_0 ^x   (e^(1/t) /(√t)) dt  =_((√t)=u)     (π/2)  ∫_0 ^(√x)   (e^(1/u^2 ) /u) (2u)du  = π   ∫_0 ^(√x)     e^(1/u^2 )  du .

letf(x)=0et2ln(1+xt2)t2dtf(x)=0et21+xt2dt 2f(x)=+et21+xt2dtletconsiderthecomplexfunction φ(z)=ez21+xz2wehaveφ(z)=ez2(xzi)(xz+i)=ez2x(zix)(z+ix)) thepolesofφare+ix +φ(z)dz=2iπRes(φ,ix)butRes(φ,ix)=e1xx(2ix)=e1x2ix +φ(z)dz=2iπe1x2ix=πe1xxf(x)=π2e1xx f(x)=π20xe1ttdt+cbutc=f(0)=0f(x)=π20xe1ttdt =t=uπ20xe1u2u(2u)du=π0xe1u2du.

Terms of Service

Privacy Policy

Contact: info@tinkutara.com