デルタ関数の畳み込み

f(t)＊δ(t-T)=f(t-T)
を証明せよ。という問題なのですが
∫[-∞,∞]δ(x-T)f(t-x)dx
と畳み込みをし、その後
x-T=τと変数変換を行いf(τ+t-T)を作ろうとしたのですが
うまくいきませんでした。

この畳み込みの後どのように行えば証明できるでしょうか？
お願いします。

No.1 回答者： Tacosan 回答日時： 2009/05/13 15:06

「うまくいきませんでした」というのは, どう「うまくいかなかった」のですか?

あと, 念のためですが「δ関数」はどのように定義されていますか?

この回答への補足

δ(τ)f(-τ+t+T)となりf(τ+t-T)が作れませんでした。
δ(-τ)=δ(τ)を使うと考えたのですがこれでいいでしょうか？

定義とは
δ(t)＝｛０(t≠0）、１(t=0)
ということでしょうか？

補足日時：2009/05/13 15:13

この回答へのお礼

間違えました
δ(τ)f(-τ+t-T)
です。

お礼日時：2009/05/13 15:19

No.2 ベストアンサー 回答者： info22 回答日時： 2009/05/13 15:48

>∫[-∞,∞]δ(x-T)f(t-x)dx

>と畳み込みをし、その後
>x-T=τと変数変換を行いf(τ+t-T)を作ろうとしたのですが
f(t-x) → f(t-T-τ) の間違い
∫[-∞,∞]δ(x-T)f(t-x)dx
=∫[-∞,∞]δ(τ)f(t-T-τ)dτ　←　δ(-τ)=δ(τ)であるから下へ
=∫[-∞,∞]δ(-τ)f(t-T-τ)dτ　←　τ=-τ'と置換して下へ
=∫[∞,-∞]δ(τ')f(t-T+τ')(-1)dτ' ←積分の上下限を入れ替えて下へ
=∫[-∞,∞]δ(τ')f(t-T+τ')dτ'　←δ関数の定義を適用して下へ
=f(t-T-0)
=f(t-T)
となる。

この回答へのお礼

いつもわかりやすい説明ありがとうございます。

わかりました。

お礼日時：2009/05/13 17:13