実数全体で定義された関数 , を
で定め、その畳み込みを
とする。可積分な関数 のフーリエ変換を
で定めるとき、 の値を求めよ。ただし は虚数単位とする。
畳み込み
畳み込みを計算し、フーリエ変換で畳み込みが積に変わることを使える
前提
この技能までの道筋(66 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 微分係数と導関数の定義 (数学II 微分法と積分法)
- 多項式の微分 (数学II 微分法と積分法)
- 多項式の不定積分 (数学II 微分法と積分法)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 数列の極限 (数学III 極限)
- 関数の極限 (数学III 極限)
- 積と商の微分 (数学III 微分法)
- 合成関数の微分 (数学III 微分法)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- の極限 (数学III 極限)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 三角関数の導関数 (数学III 微分法)
- 根号の乗除と加減 (中学数学 数と式)
- 指数の拡張と指数関数 (数学II 指数関数と対数関数)
- 対数の定義と性質 (数学II 指数関数と対数関数)
- 自然対数の底 (数学III 極限)
- 指数関数・対数関数の導関数 (数学III 微分法)
- 基本的な関数の不定積分 (数学III 積分法)
- 置換積分 (数学III 積分法)
- 三角関数の積分 (数学III 積分法)
- 部分積分 (数学III 積分法)
- 無限等比級数と無限級数 (数学III 極限)
- フーリエ級数 (大学数学 フーリエ解析・ラプラス変換)
- 定積分の計算 (数学II 微分法と積分法)
- 定積分の置換・部分積分と偶関数・奇関数 (数学III 積分法)
- 広義積分 (大学数学 微分積分)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 関数 の式と変域 (中学数学 関数)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 2 次不等式 (数学I 2次関数)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- 増減表と極値 (数学II 微分法と積分法)
- 関数の連続性と中間値の定理 (数学III 極限)
- 平均値の定理 (数学III 微分法)
- 第 2 次導関数とグラフの凹凸 (数学III 微分法)
- 増減・凹凸・漸近線とグラフ (数学III 微分法)
- テイラー展開 (大学数学 微分積分)
- べき級数と収束半径 (大学数学 微分積分)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- オイラーの公式 (大学数学 微分積分)
- フーリエ変換 (大学数学 フーリエ解析・ラプラス変換)
- 重積分と累次積分 (大学数学 微分積分)
説明
畳み込みは、2 つの関数 から で新しい関数を作る操作です。信号に応答を重ねる計算(線形な装置の出力)、移動平均やぼかし、独立な確率変数の和の分布、微分方程式の解の公式など、多くの場面に現れます。この技能では、まず定義どおりに畳み込みを計算できるようにします。そのうえで、フーリエ変換すると畳み込みが単なる積 に変わる性質(畳み込み定理)を使えるようにします。
なぜそうしてよいのか
は、 の値 を重みとして、 を だけずらした をすべての について足し合わせたものです。言い換えると「 で重み付けした、 のずらし重ね」です。 と置換すると となるので、どちらをずらしても結果は同じです。実際に計算するときは、被積分関数が 0 でない の範囲を見きわめることが鍵になります。
フーリエ変換を とします。 が絶対可積分(, )ならば、重積分の順序を交換できて
となります。内側で と置くと と分かれるので、内側の積分は です。よって が得られます。指数関数の性質 のおかげで「ずらし」が「かけ算」に変わる、というのが本質です。
この性質から、畳み込みを直接計算する代わりに を作って逆変換する、という道も使えます。逆に、積の形の関数を逆変換したいときに、それを畳み込みとして読むこともできます。なお、変換に を付ける流儀では となり、定数倍が変わります。
手順
定義を書く: 。式が簡単になる方の関数をずらしてよい()。
被積分関数が 0 でない の範囲を求める。 となる条件と、 となる条件( についての条件)を連立する。
手順 2 の範囲が によって変わるなら で場合分けし、範囲が空になる では とする。
残った範囲で定積分を計算する。
(フーリエ変換を使う場合), を求めて を作る。必要なら部分分数などで既知の変換の形に直して逆変換する。直接計算した結果の検算にも使える。
例題
, とする。 のときの畳み込み を求めよ。
例題の解答
手順 1: 定義から である。
手順 2: となるのは のとき、 となるのは 、すなわち のときである。よって被積分関数が 0 でないのは の範囲である。
手順 3: ではこの範囲は空なので である。問われているのは の場合である。
手順 4: のとき
手順 5(検算): に対し、 で 、 で 0 となる関数のフーリエ変換は である。したがって となる。これは で 、 で 0 となる関数の変換であり、直接計算した結果と一致する。
答え: ()
答え:
よくある誤り
関数が 0 になる範囲を無視して、積分範囲を から にしてしまう誤り。例題で とすると、 の部分( の部分)まで足してしまう。正しくは かつ から、積分範囲は 。
畳み込みを関数の積と混同して としてしまう誤り。正しくは積分 であり、積になるのはフーリエ変換したあとの 。また積の変換も ではなく、この流儀では 。
フーリエ変換の定義の流儀を確かめずに定数を落とす誤り。 の流儀では であり、 のままではない。
による場合分けを忘れる誤り。例題で にも が成り立つとしてしまうと、この式は で負の値になり、誤りになる。正しくは では積分範囲が空になるので 。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
実数全体で定義された可積分な関数 のフーリエ変換を
で定める。関数 , を
で定め、その畳み込みを
とする。 のフーリエ変換の における値 を求めよ。ただし は虚数単位とし、答えは ( は実数)の形で表せ。実数全体で定義された可積分な関数 のフーリエ変換を
で定める。関数 , を
で定め、その畳み込みを
とする。 のフーリエ変換 の における値 を求めよ。ただし、 は虚数単位とする。実数 と に対して、関数 についての熱方程式の初期値問題
を考える。 についてのフーリエ変換を と定める。フーリエ変換を用いて、この初期値問題の有界な解 ()を の式で求めよ。
この技能を使う問題
インパルス応答が
で与えられる連続時間の線形時不変系がある。ここで は時刻(単位は s)、 は単位ステップ関数( で 、 で )である。この系に、幅 の矩形パルス
を入力したとき( では系は静止しているとする)、時刻 における出力 を正確な値で求めよ。で定義された関数 , の畳み込みを
で定める。ラプラス変換 の畳み込み定理 を用いて、 を の式で表せ。連続時間信号
を考える( は時刻で単位は s、 での値は極限値で定める)。この信号を標本化周波数 で等間隔に標本化し、理想低域通過フィルタで元の信号を復元する(帯域通過標本化のように、低域通過フィルタ以外の復元方法は考えない)。この方式では、 のスペクトルの最高周波数を ( で となる最小の値)とすると、 のときにエイリアシングを起こさずに を完全に復元できる。この をナイキストレート とよぶ。 は何 Hz か。整数で求めよ。
ただし、フーリエ変換を で定め、()のフーリエ変換は で 、 で の矩形関数であることを用いてよい。
実数全体で定義された関数 , を
で定め、その畳み込みを
とする。関数 のフーリエ変換を
で定めるとき、 の値を求めよ。を時刻(単位は s)とし、連続時間信号
を考える( では連続になるように値を定める)。フーリエ変換は ( は周波数で単位は Hz)で定義し、()のフーリエ変換は で 、 で となる矩形関数であることを用いてよい。この信号を一定の標本化周波数 で理想的に標本化し、理想低域通過フィルタで復元する(帯域通過標本化は考えない)。 となる周波数 の上限を とするとき、ナイキストレート は何 Hz か。整数で答えよ。
で連続な関数 が指数位数であるとは、定数 , があって、すべての で となることをいう。このとき でラプラス変換 が定まる。また の畳み込みを で定める。次の事実は用いてよい。
- (畳み込み定理) が で連続かつ指数位数ならば、 も連続かつ指数位数であり、十分大きいすべての で
- で 、 で
- (一意性) で連続かつ指数位数の 2 つの関数のラプラス変換が、十分大きいすべての で一致すれば、2 つの関数は 上で一致する
で連続かつ指数位数の関数 が、すべての で
を満たすならば、 であることを証明せよ。無限級数
の値を求めよ。ただし の引数は弧度法で表したものとする。(方針の指定) 上で区間 の指示関数と区間 の指示関数をそれぞれ考え、 周期的に拡張する。それらの周期的畳み込みのフーリエ係数を求め、パーセバルの等式を用いて求めること。
広義積分
の値を、フーリエ変換とパーセバルの等式を用いて求めよ。ただし被積分関数の での値は極限値 で補うものとする。のフーリエ変換を で定める。区間 の定義関数を ( で 、それ以外で )とし、(畳み込み)とおく。 と のフーリエ変換を求め、プランシュレルの等式(内積の形)を用いて、広義積分 の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。
実数全体で定義された可積分な関数 のフーリエ変換を
で定める。関数
を考える。, のフーリエ変換、畳み込みのフーリエ変換の性質、パーセバルの等式などを利用して、定積分
の値を求めよ。ただし、被積分関数は で連続に拡張したもの(値 )とする。長さ の実数値の離散時間信号 ()の 点離散フーリエ変換(DFT)を
と定義する( は虚数単位)。 のうち の値が
であることがわかっている。 とそれ自身との 点巡回畳み込み
について、 の値を求めよ。実数全体で定義された可積分な関数 のフーリエ変換を
で定める。2 つの関数
を考え、その畳み込みを
とする。畳み込みのフーリエ変換の公式 と、パーセバルの等式
( は適当な可積分・2 乗可積分関数)を用いて、定積分
の値を求めよ。実数全体で定義された可積分な関数 のフーリエ変換を
で定める。実数全体で定義された関数 , を
とし、 とおく。を具体的に求め、, を計算したうえで、パーセバルの等式(2 つの関数の内積の形)
を用いて、定積分
の値を求めよ。実数全体で定義された可積分な関数 のフーリエ変換と逆変換を
で定める。実数全体で連続な関数 のフーリエ変換が
であるとき、 の値を求めよ。実数全体で定義された関数 , の畳み込みを
で定める。また、可積分な関数 のフーリエ変換を
で定める。畳み込み定理とパーセバルの等式
を用いてよい。このとき、積分
の値を求めよ。で連続な関数 が、すべての に対して積分方程式
を満たすとする。関数 のラプラス変換を で定め、必要なら、実数 に対する公式 ()と 、 を用いてよい。ラプラス変換を用いて、 を の式で求めよ()。で連続な関数 が、すべての に対して積分方程式
を満たすとする。 で定義された関数 のラプラス変換を で定め、 のラプラス変換は十分大きい実数 に対して存在するものとする。 を求めよ。
この技能の次に学べること
- フーリエ変換による解法と熱核 (大学院数学 偏微分方程式)
- 超関数と関数の畳み込み (大学院数学 フーリエ解析)
- LTI 系のインパルス応答と畳み込み (大学物理 信号処理・通信工学)