Menu Close

0-ln-2-x-x-2-a-2-dx-pi-8a-pi-2-4ln-2-a-a-gt-0-




Question Number 139283 by qaz last updated on 25/Apr/21
∫_0 ^∞ ((ln^2 x)/(x^2 +a^2 ))dx=(π/(8a))(π^2 +4ln^2 a)         ,a>0
$$\int_{\mathrm{0}} ^{\infty} \frac{{ln}^{\mathrm{2}} {x}}{{x}^{\mathrm{2}} +{a}^{\mathrm{2}} }{dx}=\frac{\pi}{\mathrm{8}{a}}\left(\pi^{\mathrm{2}} +\mathrm{4}{ln}^{\mathrm{2}} {a}\right)\:\:\:\:\:\:\:\:\:,{a}>\mathrm{0} \\ $$
Answered by Ar Brandon last updated on 10/Aug/21
℧=∫_0 ^∞ ((ln^2 x)/(x^2 +a^2 ))dx , x=atanθ      =(1/a)∫_0 ^(π/2) ln^2 (atanθ)dθ      =(1/a)∫_0 ^(π/2) (ln^2 a+2ln(a)ln(tanθ)+ln^2 (tanθ))dθ      =(π/(2a))ln^2 a+(1/a)∫_0 ^(π/2) ln^2 (tanθ)dθ  f(α)=∫_0 ^(π/2) tan^α θdθ=((Γ(((α+1)/2))Γ(((1−α)/2)))/2), f(0)=(π/2)  lnf(α)=lnΓ(((α+1)/2))+lnΓ(((1−α)/2))+ln((1/2))  ((f ′(α))/(f(α)))=(1/2)(ψ(((α+1)/2))−ψ(((1−α)/2)))  f ′(0)=(π/4)(ψ((1/2))−ψ((1/2)))=0  f ′′(α)=((f(α))/4)(ψ′(((α+1)/2))+ψ′(((1−α)/2)))+((f ′(α))/2)(ψ(((α+1)/2))+ψ(((1−α)/2)))  f ′′(0)=(π/8)((π^2 /(sin^2 ((π/2)))))+0=(π^3 /8)=∫_0 ^(π/2) ln^2 (tanθ)dθ  ℧=(π/(2a))ln^2 a+(π^3 /(8a))=(π/(8a))(π^2 +4ln^2 a)
$$\mho=\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{ln}^{\mathrm{2}} \mathrm{x}}{\mathrm{x}^{\mathrm{2}} +\mathrm{a}^{\mathrm{2}} }\mathrm{dx}\:,\:\mathrm{x}=\mathrm{atan}\theta \\ $$$$\:\:\:\:=\frac{\mathrm{1}}{\mathrm{a}}\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}^{\mathrm{2}} \left(\mathrm{atan}\theta\right)\mathrm{d}\theta \\ $$$$\:\:\:\:=\frac{\mathrm{1}}{\mathrm{a}}\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \left(\mathrm{ln}^{\mathrm{2}} \mathrm{a}+\mathrm{2ln}\left(\mathrm{a}\right)\mathrm{ln}\left(\mathrm{tan}\theta\right)+\mathrm{ln}^{\mathrm{2}} \left(\mathrm{tan}\theta\right)\right)\mathrm{d}\theta \\ $$$$\:\:\:\:=\frac{\pi}{\mathrm{2a}}\mathrm{ln}^{\mathrm{2}} \mathrm{a}+\frac{\mathrm{1}}{\mathrm{a}}\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}^{\mathrm{2}} \left(\mathrm{tan}\theta\right)\mathrm{d}\theta \\ $$$$\mathrm{f}\left(\alpha\right)=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{tan}^{\alpha} \theta\mathrm{d}\theta=\frac{\Gamma\left(\frac{\alpha+\mathrm{1}}{\mathrm{2}}\right)\Gamma\left(\frac{\mathrm{1}−\alpha}{\mathrm{2}}\right)}{\mathrm{2}},\:\mathrm{f}\left(\mathrm{0}\right)=\frac{\pi}{\mathrm{2}} \\ $$$$\mathrm{lnf}\left(\alpha\right)=\mathrm{ln}\Gamma\left(\frac{\alpha+\mathrm{1}}{\mathrm{2}}\right)+\mathrm{ln}\Gamma\left(\frac{\mathrm{1}−\alpha}{\mathrm{2}}\right)+\mathrm{ln}\left(\frac{\mathrm{1}}{\mathrm{2}}\right) \\ $$$$\frac{\mathrm{f}\:'\left(\alpha\right)}{\mathrm{f}\left(\alpha\right)}=\frac{\mathrm{1}}{\mathrm{2}}\left(\psi\left(\frac{\alpha+\mathrm{1}}{\mathrm{2}}\right)−\psi\left(\frac{\mathrm{1}−\alpha}{\mathrm{2}}\right)\right) \\ $$$$\mathrm{f}\:'\left(\mathrm{0}\right)=\frac{\pi}{\mathrm{4}}\left(\psi\left(\frac{\mathrm{1}}{\mathrm{2}}\right)−\psi\left(\frac{\mathrm{1}}{\mathrm{2}}\right)\right)=\mathrm{0} \\ $$$$\mathrm{f}\:''\left(\alpha\right)=\frac{\mathrm{f}\left(\alpha\right)}{\mathrm{4}}\left(\psi'\left(\frac{\alpha+\mathrm{1}}{\mathrm{2}}\right)+\psi'\left(\frac{\mathrm{1}−\alpha}{\mathrm{2}}\right)\right)+\frac{\mathrm{f}\:'\left(\alpha\right)}{\mathrm{2}}\left(\psi\left(\frac{\alpha+\mathrm{1}}{\mathrm{2}}\right)+\psi\left(\frac{\mathrm{1}−\alpha}{\mathrm{2}}\right)\right) \\ $$$$\mathrm{f}\:''\left(\mathrm{0}\right)=\frac{\pi}{\mathrm{8}}\left(\frac{\pi^{\mathrm{2}} }{\mathrm{sin}^{\mathrm{2}} \left(\frac{\pi}{\mathrm{2}}\right)}\right)+\mathrm{0}=\frac{\pi^{\mathrm{3}} }{\mathrm{8}}=\int_{\mathrm{0}} ^{\frac{\pi}{\mathrm{2}}} \mathrm{ln}^{\mathrm{2}} \left(\mathrm{tan}\theta\right)\mathrm{d}\theta \\ $$$$\mho=\frac{\pi}{\mathrm{2a}}\mathrm{ln}^{\mathrm{2}} \mathrm{a}+\frac{\pi^{\mathrm{3}} }{\mathrm{8a}}=\frac{\pi}{\mathrm{8a}}\left(\pi^{\mathrm{2}} +\mathrm{4ln}^{\mathrm{2}} \mathrm{a}\right) \\ $$
Commented by qaz last updated on 25/Apr/21
i expect someone who could show me use Residue Theorem,but still thank you Sir.
$${i}\:{expect}\:{someone}\:{who}\:{could}\:{show}\:{me}\:{use}\:{Residue}\:{Theorem},{but}\:{still}\:{thank}\:{you}\:{Sir}. \\ $$
Commented by Ar Brandon last updated on 25/Apr/21
You′re welcome, Sir
$$\mathrm{You}'\mathrm{re}\:\mathrm{welcome},\:\mathrm{Sir} \\ $$
Answered by mathmax by abdo last updated on 26/Apr/21
f(t)=∫_0 ^∞  ((x^t lnx)/(x^2  +a^2 ))dx ⇒f(t)=_(x=ay)    ∫_0 ^∞   (((ay)^t  ln(ay))/(a^2 (y^2  +1)))ady  =a^(t−1)  ∫_0 ^∞  ((y^t (lna+lny))/(y^2  +1))dy =a^(t−1) lna ∫_0 ^∞  (y^t /(y^2  +1))dy +a^(t−1) ∫_0 ^∞  (y^t /(y^2  +1))lny dy  we have  ∫_0 ^∞  (y^t /(y^2 +1))dy =_(y^2 =u)   ∫_0 ^∞  (u^(t/2) /(u+1))(du/(2(√u)))  =(1/2)∫_0 ^∞   (u^((t/2)+(1/2)−1) /(u+1))du =(1/2)×(π/(sin(π(((t+1)/2))))) =(π/(2sin(((πt)/2)+(π/2))))  =(π/(2cos(((πt)/2)))) let find Φ =∫_0 ^∞  (y^t /(y^2  +1))lny dy  Φ=−(1/2)Re(Σ Res(w z_i ))  with w(z) =(z^t /(z^2  +1))ln^2 z=((z^t ln^2 z)/((z−i)(z+i)))  Res(w,i) =((i^t  ln^2 (i))/(2i)) =((e^((iπt)/2)  (((iπ)/2))^2 )/(2i)) =−(π^2 /(8i)) e^((iπt)/2)  =((iπ^2 )/8) e^((iπt)/2)   Res(w,−i) =−(1/(2i))(−i)^t  ln^2 (−i)  =−(1/(2i))e^(−((iπt)/2)) (−((iπ)/2))^2  =(π^2 /(4i)) e^(−((iπ)/2))  =−((iπ^2 )/8)e^(−((iπt)/2))  ⇒  Σ Res=((iπ^2 )/8)(e^((iπt)/2) −e^(−((iπt)/2)) ) =((iπ^2 )/8)(2i sin(((πt)/2)))  =−(π^2 /4)sin(((πt)/2)) ⇒f(t)=a^(t−1) lna.(π/(2cos(((πt)/2))))  −a^(t−1)  (π^2 /4)sin(((πt)/2))  but f(t)=∫_0 ^∞ ((e^(tlogx) logx)/(x^2  +a^2 ))dx ⇒  f^′ (t)=∫_0 ^∞   ((x^t  log^2 x)/(x^2  +a^2 ))dx ⇒f^′ (o)=∫_0 ^∞  ((log^2 x)/(x^2  +a^2 ))dx  rest calculus of f^′ (x) and f^′ (o)....be continued...
$$\mathrm{f}\left(\mathrm{t}\right)=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{x}^{\mathrm{t}} \mathrm{lnx}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{a}^{\mathrm{2}} }\mathrm{dx}\:\Rightarrow\mathrm{f}\left(\mathrm{t}\right)=_{\mathrm{x}=\mathrm{ay}} \:\:\:\int_{\mathrm{0}} ^{\infty} \:\:\frac{\left(\mathrm{ay}\right)^{\mathrm{t}} \:\mathrm{ln}\left(\mathrm{ay}\right)}{\mathrm{a}^{\mathrm{2}} \left(\mathrm{y}^{\mathrm{2}} \:+\mathrm{1}\right)}\mathrm{ady} \\ $$$$=\mathrm{a}^{\mathrm{t}−\mathrm{1}} \:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{y}^{\mathrm{t}} \left(\mathrm{lna}+\mathrm{lny}\right)}{\mathrm{y}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dy}\:=\mathrm{a}^{\mathrm{t}−\mathrm{1}} \mathrm{lna}\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{y}^{\mathrm{t}} }{\mathrm{y}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{dy}\:+\mathrm{a}^{\mathrm{t}−\mathrm{1}} \int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{y}^{\mathrm{t}} }{\mathrm{y}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{lny}\:\mathrm{dy} \\ $$$$\mathrm{we}\:\mathrm{have}\:\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{y}^{\mathrm{t}} }{\mathrm{y}^{\mathrm{2}} +\mathrm{1}}\mathrm{dy}\:=_{\mathrm{y}^{\mathrm{2}} =\mathrm{u}} \:\:\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{u}^{\frac{\mathrm{t}}{\mathrm{2}}} }{\mathrm{u}+\mathrm{1}}\frac{\mathrm{du}}{\mathrm{2}\sqrt{\mathrm{u}}} \\ $$$$=\frac{\mathrm{1}}{\mathrm{2}}\int_{\mathrm{0}} ^{\infty} \:\:\frac{\mathrm{u}^{\frac{\mathrm{t}}{\mathrm{2}}+\frac{\mathrm{1}}{\mathrm{2}}−\mathrm{1}} }{\mathrm{u}+\mathrm{1}}\mathrm{du}\:=\frac{\mathrm{1}}{\mathrm{2}}×\frac{\pi}{\mathrm{sin}\left(\pi\left(\frac{\mathrm{t}+\mathrm{1}}{\mathrm{2}}\right)\right)}\:=\frac{\pi}{\mathrm{2sin}\left(\frac{\pi\mathrm{t}}{\mathrm{2}}+\frac{\pi}{\mathrm{2}}\right)} \\ $$$$=\frac{\pi}{\mathrm{2cos}\left(\frac{\pi\mathrm{t}}{\mathrm{2}}\right)}\:\mathrm{let}\:\mathrm{find}\:\Phi\:=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{y}^{\mathrm{t}} }{\mathrm{y}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{lny}\:\mathrm{dy} \\ $$$$\Phi=−\frac{\mathrm{1}}{\mathrm{2}}\mathrm{Re}\left(\Sigma\:\mathrm{Res}\left(\mathrm{w}\:\mathrm{z}_{\mathrm{i}} \right)\right)\:\:\mathrm{with}\:\mathrm{w}\left(\mathrm{z}\right)\:=\frac{\mathrm{z}^{\mathrm{t}} }{\mathrm{z}^{\mathrm{2}} \:+\mathrm{1}}\mathrm{ln}^{\mathrm{2}} \mathrm{z}=\frac{\mathrm{z}^{\mathrm{t}} \mathrm{ln}^{\mathrm{2}} \mathrm{z}}{\left(\mathrm{z}−\mathrm{i}\right)\left(\mathrm{z}+\mathrm{i}\right)} \\ $$$$\mathrm{Res}\left(\mathrm{w},\mathrm{i}\right)\:=\frac{\mathrm{i}^{\mathrm{t}} \:\mathrm{ln}^{\mathrm{2}} \left(\mathrm{i}\right)}{\mathrm{2i}}\:=\frac{\mathrm{e}^{\frac{\mathrm{i}\pi\mathrm{t}}{\mathrm{2}}} \:\left(\frac{\mathrm{i}\pi}{\mathrm{2}}\right)^{\mathrm{2}} }{\mathrm{2i}}\:=−\frac{\pi^{\mathrm{2}} }{\mathrm{8i}}\:\mathrm{e}^{\frac{\mathrm{i}\pi\mathrm{t}}{\mathrm{2}}} \:=\frac{\mathrm{i}\pi^{\mathrm{2}} }{\mathrm{8}}\:\mathrm{e}^{\frac{\mathrm{i}\pi\mathrm{t}}{\mathrm{2}}} \\ $$$$\mathrm{Res}\left(\mathrm{w},−\mathrm{i}\right)\:=−\frac{\mathrm{1}}{\mathrm{2i}}\left(−\mathrm{i}\right)^{\mathrm{t}} \:\mathrm{ln}^{\mathrm{2}} \left(−\mathrm{i}\right) \\ $$$$=−\frac{\mathrm{1}}{\mathrm{2i}}\mathrm{e}^{−\frac{\mathrm{i}\pi\mathrm{t}}{\mathrm{2}}} \left(−\frac{\mathrm{i}\pi}{\mathrm{2}}\right)^{\mathrm{2}} \:=\frac{\pi^{\mathrm{2}} }{\mathrm{4i}}\:\mathrm{e}^{−\frac{\mathrm{i}\pi}{\mathrm{2}}} \:=−\frac{\mathrm{i}\pi^{\mathrm{2}} }{\mathrm{8}}\mathrm{e}^{−\frac{\mathrm{i}\pi\mathrm{t}}{\mathrm{2}}} \:\Rightarrow \\ $$$$\Sigma\:\mathrm{Res}=\frac{\mathrm{i}\pi^{\mathrm{2}} }{\mathrm{8}}\left(\mathrm{e}^{\frac{\mathrm{i}\pi\mathrm{t}}{\mathrm{2}}} −\mathrm{e}^{−\frac{\mathrm{i}\pi\mathrm{t}}{\mathrm{2}}} \right)\:=\frac{\mathrm{i}\pi^{\mathrm{2}} }{\mathrm{8}}\left(\mathrm{2i}\:\mathrm{sin}\left(\frac{\pi\mathrm{t}}{\mathrm{2}}\right)\right) \\ $$$$=−\frac{\pi^{\mathrm{2}} }{\mathrm{4}}\mathrm{sin}\left(\frac{\pi\mathrm{t}}{\mathrm{2}}\right)\:\Rightarrow\mathrm{f}\left(\mathrm{t}\right)=\mathrm{a}^{\mathrm{t}−\mathrm{1}} \mathrm{lna}.\frac{\pi}{\mathrm{2cos}\left(\frac{\pi\mathrm{t}}{\mathrm{2}}\right)} \\ $$$$−\mathrm{a}^{\mathrm{t}−\mathrm{1}} \:\frac{\pi^{\mathrm{2}} }{\mathrm{4}}\mathrm{sin}\left(\frac{\pi\mathrm{t}}{\mathrm{2}}\right)\:\:\mathrm{but}\:\mathrm{f}\left(\mathrm{t}\right)=\int_{\mathrm{0}} ^{\infty} \frac{\mathrm{e}^{\mathrm{tlogx}} \mathrm{logx}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{a}^{\mathrm{2}} }\mathrm{dx}\:\Rightarrow \\ $$$$\mathrm{f}^{'} \left(\mathrm{t}\right)=\int_{\mathrm{0}} ^{\infty} \:\:\frac{\mathrm{x}^{\mathrm{t}} \:\mathrm{log}^{\mathrm{2}} \mathrm{x}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{a}^{\mathrm{2}} }\mathrm{dx}\:\Rightarrow\mathrm{f}^{'} \left(\mathrm{o}\right)=\int_{\mathrm{0}} ^{\infty} \:\frac{\mathrm{log}^{\mathrm{2}} \mathrm{x}}{\mathrm{x}^{\mathrm{2}} \:+\mathrm{a}^{\mathrm{2}} }\mathrm{dx} \\ $$$$\mathrm{rest}\:\mathrm{calculus}\:\mathrm{of}\:\mathrm{f}^{'} \left(\mathrm{x}\right)\:\mathrm{and}\:\mathrm{f}^{'} \left(\mathrm{o}\right)….\mathrm{be}\:\mathrm{continued}… \\ $$

Leave a Reply

Your email address will not be published. Required fields are marked *