畳み込み積分の交換律の証明
- 畳み込み積分の交換律について証明する方法について知りたいです。
- 畳み込み積分の交換律の証明についてWikipediaの解説が不十分で参考になりませんでした。
- 畳み込み積分の交換律を証明するために両辺を展開し、等しいことを証明する必要がありますが、どのように進めれば良いか分かりません。
- ベストアンサー
畳み込み積分の交換律の証明
今、学部レベルのデジタル信号処理の教科書を読み直しているのですが、畳み込み積分の記述で疑問に思ったことがあります。 畳み込み積分では交換律が成り立ちますが、 f(t) * g(t) = g(t) * f(t) ... (1) これをどのように証明したらよいか分かりません。 ちなみにWikipediaではこれについての解説が「積分演算に由来する性質」とあるのみで参考になりませんでした。 (1)の両辺を展開すると \int f(x)・g(t-x) dx = \int g(x)・f(t-x) dx と、なります、多分、これの両辺が等しいことを証明すればいいと思うのですが、そこから先に進めません。(僕のデスクトップでは2バイト文字の積分記号が出てこないので\intと書きました) どうぞよろしくお願いいたします。
- dakusui
- お礼率100% (6/6)
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
片方のt-xを単にXなどに変数変換して、式を変形するだけです。 なお、∫の記号は「積分」と入力して変換すれば出てきます。
関連するQ&A
- 畳み込み積分と畳み込み演算
こんにちは。 今、ディジタル信号処理についてレポートを作成しています。 その中で、畳み込みについて書こうと調べているんですが、 手元にある参考書などをみてもよくわからないんです。 まずひとつ、 Σx(t)y(t-i) この式で表されるものを、畳み込み演算と言うのだと思っていました。 しかし過去の質問を見て、これは実は畳み込み和と言うのではないかなと思ったのですが、畳み込み和でいいのでしょうか? そして、畳み込み積分と畳み込み和は、一体何が違うのかがよくわかりません。 畳み込み積分と畳み込み和は、具体的に何が違うのか? どのような時は畳み込み積分で、どのようなとき畳み込み和なのか? また、畳み込み和→畳み込み積分(orその逆)のように、 式の変形で導き出すことはできるのでしょうか? 畳み込み和は、行列の形に表せること、 これをシステムとして実現したものがFIRフィルタであることはわかります。 畳み込み積分については、 ∫h(t-τ)x(τ)dτ=h(t)*x(t) という式であることぐらいしかわかりません; できるだけ詳しく教えていただけると助かります。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- δ関数を含む畳み込み積分
こんばんは。わからない問題があるので、考え方だけでも教えていただけると嬉しいです。 問題はδ関数を含む畳み込み積分 f(t)*δ(t-a)=f(a)が成り立つことを証明せよ というものです。 とりあえず公式にあてはめて∫(-∞→∞)f(τ)δ(t-a-τ)dτ として考えてみたのですが、 いつも通りf(t)*g(t)の畳み込み積分と同様に考えると、 ∫(-∞→∞)f(τ)g(t-τ)dτ=f(t)なので、 ∫(-∞→∞)f(τ)δ(t-a-τ)dτ=f(t+a)となってしまい、 証明に近づくことができません; まったく間違った考え方をしているのだろうなとは思うのですが、 他に方法も思いつかず・・ どなたか教えてください。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- デルタ関数の畳み込み
f(t)*δ(t-T)=f(t-T) を証明せよ。という問題なのですが ∫[-∞,∞]δ(x-T)f(t-x)dx と畳み込みをし、その後 x-T=τと変数変換を行いf(τ+t-T)を作ろうとしたのですが うまくいきませんでした。 この畳み込みの後どのように行えば証明できるでしょうか? お願いします。
- ベストアンサー
- 数学・算数
- 畳み込み積分とインパルス応答
畳み込み積分とインパルス応答 畳み込み積分 「∫ f(t-τ) g(τ) dτ」において、 g(τ)=dx(τ)/dτ はインパルス応答である・・・という部分が分かりません。 x(τ)はステップ応答ですよね? (入力前の信号に視点を戻して)τ範囲を縮めていくと、ステップ信号→インパルス信号の様になりそうですが、 インパルス信号→τ=0において∞の値をとり、∞(値)×1/∞(幅)=1 ステップ信号 →τが0以上の範囲において、常に1という値をキープ →τの幅をいくら縮めても、値は1であり、インパルスの様に∞にはならない であるので、ステップの幅を縮めても、インパルスにはならない様に思うんです。
- ベストアンサー
- 物理学
- 畳み込み積分,δ関数の問題(本当に困っています;)
こんばんは。何度も申し訳ないのですがお願いします。 問1 f(t)*g(t) (*・・畳み込み積分)を答えよ (1) f(t)=sint,g(t)=cost (2) f(t)=1-at,g(t)=e^at これは先輩曰く問題が不十分で、積分範囲を自分で定めるらしいです。 でも、どの範囲がふさわしいのかよく分かりません。 とりあえず0→tで畳み込みの公式に代入してやってみたところ、 (1)0.5tsint,(2)1/a(e^at-1)-1/2a^2(e^2at-1)+1になりました。 なんか変ですよね・・; どう考えればよいのでしょうか。 問2 信号x(t)=sin2πt(0≦t≦1)が与えられているとき、 x(t)とδ(t)+2δ(t-1)-3δ(t-2)との畳み込み積分によって得られる信号の概形を図示せよ。 自分で解くと ∫(-∞→∞)x(τ){δ(t-τ)+2δ(t-1-τ)-3δ(t-2-τ)}dτ =∫(-∞→∞)x(τ)δ(t-τ)dτ+∫(-∞→∞)x(τ){2δ(t-1-τ)}dτ+∫(-∞→∞)x(τ){3δ(t-2-τ)}dτ =x(t)+2x(t-1)+3(t-2) これにx(t)=sin2πtをあてはめて、加法定理などをつかうと0になりました。 信号の概形の問題で答えが0っておかしいですよね; なにかアドバイスでもいいので、お答えお待ちしています。 このなかのどの問題についてでもいいので、よろしくお願いします。
- ベストアンサー
- 数学・算数
- 畳み込み積分の積分区間の特定について
統計の参考書中に、畳み込み積分の解説がされており、確率変数X、Yが独立ならば f_XY(x,y)=f_X(x)・f_Y(y)と変形でき、 T=X+Yと新しい確率変数を定義した場合、Tの確率密度は f_T(t)=∫-∞→∞ f_X(x)f_Y(t-x) dx とあらわせる。 と書いてありました。 ここまではいいのですが次の例題で早くもわからなくなりました。 例題 ではX,Y独立でf_XY(x,y)に従うとき、 f_XY(x,y) = 1/9 (0≦x≦3,0≦y≦3) 0 (それ以外の(x,y)のとき) ここでT=X+Yによりあらたな確率変数Tを定義する。このときのTの確率密度f_T(t)を求めよ。 というところで、 独立より、∫0→3 f_X(x)dx = ∫0→3 f_Y(y)dy = 1を考慮に入れると、 f_X(x) = 1/3 となる。 ここまでは、全確率の関係と独立の関係から解釈はできたのですが、次の解説で 以上から積分区間は (i) 0≦t≦3のとき (ii) 3≦t≦6のとき と場合分けができる。 (i)のときは0≦x≦tとなり、 (ii)のときはt-3≦x≦3になる と書いてありましたがここの理解がまったくわかりません。 どうして積分区間が上記のことからi&iiの場合に分けられて、そしてそのときのxの区画までも表せるのでしょうか。 お恥ずかしいですがここの積分区間の理解ができていないので大変困っています。 ご指導お願い申し上げます。
- ベストアンサー
- 数学・算数
- 微分、積分の一般化
微積分の一般化について、 dを差分演算子として df(x):=f(x+h)-f(x) と定めれば、普通の微分は df(x)/dx=(f(x+h)-f(x))/hで普通の定義と一致し、xを任意のg(x)とすることで、 df(x)/dg(x)=(f(x+h)-f(x))/(g(x+h)-g(x))として微分を一般化でき、積分についても ∫を差分演算子の逆、総和演算子として定めれば ∫f(x)dxの微分を考えたとき d∫f(x)dx/dx=f(x)dx/dx=f(x) として通常の微分と一致し ∫f(x)dg(x)=∫[f(x)dg(x)/dx]dx=∫[f(x)*g'(x)]dxとして一般化できますよね? さらにこの定義なら連鎖律などを簡単に計算できますよね? これは微積分の一般化になりますか? それとこの定義の仕方について触れているweb等があれば教えてください
- 締切済み
- 数学・算数
- 畳み込み積分のラプラス変換
畳み込み積分 f * g = ∫[0,t] f(τ) g(t-τ) dτ のラプラス変換が式 L[f * g] = L[f(t)]L[g(t)] の性質を満たすことを示そう。 L[f * g] = ∫[0,∞] (f * g) e^(-st) dt = ∫[0,∞] {∫[0,t] f(τ) g(t-τ) dτ} e^(-st) dt ←ここから = ∫[0,∞] f(τ) {∫[τ,∞] g(t-τ) e^(-st) dt } dτ = ∫[0,∞] f(τ) {∫[0,∞] g(u) e^{-s(u+τ)} du } dτ ←ここまで : (これ以降は理解できました) = L[f(t)]L[g(t)] ・・・という例が本に載っています。 途中をどうやって計算しているのかが分かりません。 自分で考えてみますと、 = ∫[0,∞] {∫[0,t] f(τ) g(t-τ) dτ} e^(-st) dt = ∫[0,∞] f(τ) {∫[τ,∞] g(t-τ) e^(-st) dt } dτ の間は、内側と外側の積分を交換したみたいですね。 ただ、その際に ∫[0,t]が外側に行って∫[0,∞] ∫[0,∞] が内側に行って{∫[τ,∞] に変換されています。ここがまず分かりません。 次に = ∫[0,∞] f(τ) {∫[τ,∞] g(t-τ) e^(-st) dt } dτ = ∫[0,∞] f(τ) {∫[0,∞] g(u) e^{-s(u+τ)} du } dτ の間は u = t-τ と置いて、 t = u+τ とも置いているようです。 でも、それらを適用しただけだと = ∫[0,∞] f(τ) {∫[τ,∞] g(u) e^{-s(u+τ)} du } dτ と、∫[τ,∞]の開始点はτのままになってしまいますよね? なぜ、0になってしまったのでしょうか? 多変数の微積分のところで二つの積分を重積分にするのをやりましたが、すっかり忘れました。 復習の意味も込めて教えてください。お願いします。
- ベストアンサー
- 数学・算数
お礼
おおおお! たたた、確かに! 有難うございました!歳はとりたくないものですね…。 # ちなみに僕のマシンはFC9というLinuxが入っているので「積分」としただけでは積分記号が出てこないのです。