Re: [微積] Q function不等式
※ 引述《Lanjaja ()》之銘言：
: ※ 引述《thumbg75446 (EDWIN)》之銘言：
: : 想請問一下這題怎麼證
: : https://i.imgur.com/I5vT7Le.jpg
: : 謝謝大大～
: 我跟H大的方法不一樣，
: 但是有一個重要步驟一直證明不出來，
: 想要拜託版上強者幫忙證明。
: ∞ π/2
: 試證：1/√(2pi) * ∫e^(-t^2 /2)dt = (1/π)∫e^(-x^2 /(2 sin(k)^2))dk
: x 0
: 這個式子證出來之後，
: 就可以很容易得到H大的上限結果1/2 * e^(-x^2 /2)
: 但是我覺得最有趣的還是那個積分恆等式。
: 感謝各位～
這個只要證明：
π/2
e^(-t^2 /2) /√(2π) = (t/π)∫e^(-t^2 /(2 sin(k)^2))/sin(k)^2 dk
0
RHS 用 u = cot(k) 換掉就可以看出來了，
∞
RHS = (t/π)∫e^(-t^2 *(u^2+1) /2) du = (t/π)e^(-t^2 /2) *√(π/2) /t = LHS
0
然後等號兩邊同時在 (x,∞) 上積分再用 Fubini's Thm. 就得證了。
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.230.68.102
※ 文章網址: https://www.ptt.cc/bbs/Math/M.1522483780.A.759.html
推
03/31 16:39,
7年前
, 1F
03/31 16:39, 1F
→
03/31 16:40,
7年前
, 2F
03/31 16:40, 2F
→
03/31 16:40,
7年前
, 3F
03/31 16:40, 3F
→
03/31 17:00,
7年前
, 4F
03/31 17:00, 4F
→
03/31 17:00,
7年前
, 5F
03/31 17:00, 5F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 4 之 5 篇)：
