質問: exp(-ax^2)*cosx の証明 exp(-x^2)*cos2bx の0から∞までのxで積分の仕方が分りません。 不定積分が出来ないコトと答えが (1/2)*exp(-b^2)√π となるコトは分るのですが、 証明が分りません。 本当に困ってます。 どなたか教えてください。
回答: 投稿のページに出てきますように <注意> 何らかの課題やレポートのテーマを記載し、 ご自分の判断や不明点の説明もなく回答のみを求める質問は、 著作権の侵害でありマナー違反である為質問を削除いたします。 投稿される際は十分ご注意くださいますようお願いいたします。 ということですので,詳細に回答を書くとそれこそ削除されそうです. アウトラインのみ記します. ご自分で計算された結果など補足などに書き込めば削除は勘弁して もらえそうです(ですよね,管理者様). 表題の式と文中の式がちょっと違っていますが,文中の方で行きます. (1) i(b) = ∫{0→∞} exp(-x^2)*cos2bx dx とおきます. 積分と微分の交換はokか,というあたりは知らん顔して (2) di(b)/db を計算してみてください. 1回部分積分すれば再び i(b) が出てきて (3) di(b)/db = ○i(b) の形になります. ○のところは b が含まれています(ご自分でどうぞ). (3)は見方を変えれば (4) di/i = ○db という微分方程式で,解は容易に求められ (5) i(b) = c exp(-b^2). の形になります. c は積分定数で b には無関係. c を決めるためには b=0 と置いて(1)の積分結果と比べてみてください. これで, (6) i(b) = (1/2)*exp(-b^2)√π が得られます. 積分変数の変換をすれば (7) ∫{0→∞} exp(-ax^2)*cos2bx dx = (1/2)√(π/a) exp(-b^2/a) も得られます. これで b=1/2 としたものが表題の積分ですね. 他には複素関数論の留数定理の応用でやる手もありますが, ここでは実関数のみの話でできる方法を紹介しました.