Dikkat: Cozum hakkinda suphelerim var.
f(x)=sin(x)x azalan bir fonksiyon olmakla birlikte bir k∈N+ icin f(x)≥0∈[k,∞) olmuyor. Bu da integral testinin taniminda gecen kosullari ihlal ediyor.
Bununla birlikte sonlu toplamlar icin esitsizlik saglaniyor. Yani
limN→∞(N∑n=1sin(n)n)=limN→∞(N∑n=0sin(n)n−1)<limN→∞(∫N0sin(x)xdx), ∀N∈N+ dir.
-----------------------------------------------------------------------------------------------------------------------
Cozum:
Oncelikle serimizi n=0'dan baslatabilirmiyiz onu gosterelim.
limx→0sin(x)x=00⟹L′Hlimx→0cos(x)1=1⟹limn→0sin(n)n=1
∞∑n=1sin(n)n=∞∑n=0sin(n)n−1
∫∞0sin(x)xdx=π2yakinsak oldugundan ⟹∞∑n=0sin(n)n integral testine gore yakinsaktir ⟹∞∑n=1sin(n)n yakinsaktir.
Not:
∞∑n=1sin(n)n=∞∑n=0sin(n)n−1<∫∞0sin(x)xdx=π2⟹∞∑n=1sin(n)n<1+π2 usten sinirli oldugunu soyleyebiliriz.
-----------------------------------------------------------------------------------------------------------------------
∫∞0sin(x)xdx=π2 Internette bir cok gosterimi var. Ben asagidakini sevdim ve umarsizca asirdim. Laplace donusumlerinden faydalanilmistir.
I(s)=∫∞0e−sxsinxxdx=limb→∞∫b0e−sxsinxxdx,s≥0. s'ye gore turev alirsak
I′(s)=−limb→∞∫b0e−sxsinxdx=*limb→∞e−sxs2+1(ssinx+cosx)|b0=−1s2+1.
*iki defa parcali integrasyon
I′(s)=−1s2+1. integral alirsak
I(∞)−I(0)=−∫∞01s2+1ds=−π2.
I(∞)=0 gosterimi okuyucuya birakilmistir.
−I(0)=−π2⟹I(0)=∫∞0sin(x)xdx=π2
Kaynakca: https://math.stackexchange.com/questions/5248/evaluating-the-integral-int-0-infty-frac-sin-x-x-mathrm-dx-frac-pi