>>216 >>217

微分した後、部分積分をすることで解決できました。
でもいろんな計算しすぎて部分積分にすら自信なくなってしまったので下の計算をチェックしていただけないでしょうか。


dF(ω)/dω
= ∫[x=-∞,∞](-ix)*e^(-x^2)*e^(-iωx)dx
= i/2*∫[x=-∞,∞](-2x)*e^(-x^2)*e^(-iωx)dx
= i/2*[e^(-x^2)*e^(-iωx)][x=-∞,∞] - i/2*i/2*∫[x=-∞,∞]e^(-x^2)*(-iω)*e^(-iωx)dx
= 0 - ω/2*∫[x=-∞,∞]e^(-x^2)*e^(-iωx)dx
= -ω/2*F(ω)