可積分関数 に対して、2 通りのフーリエ変換を
で定める。関数 について、第 1 の規約では となることが知られている。このとき、第 2 の規約によるフーリエ変換 を の式で求めよ。
フーリエ変換の基本公式と規約の換算
平行移動・スケーリング・変調・ での微分の公式を使い、箱型・三角型・・ガウス関数やそれらの積のフーリエ変換を求められる(例: )。 や など、規約の違う定義の間で換算できる
前提
- フーリエ変換 (大学数学 フーリエ解析・ラプラス変換)
この技能までの道筋(65 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 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 複素数と方程式)
- オイラーの公式 (大学数学 微分積分)
- フーリエ変換 (大学数学 フーリエ解析・ラプラス変換)
説明
フーリエ変換を毎回定義の積分から計算する代わりに、すでに知っている少数の変換(箱型・三角型・・ガウス関数)と、平行移動・スケーリング・変調・ での微分という 4 つの基本公式を組み合わせて、新しい関数の変換を手早く求められるようになります。また、文献によって 、、 など定義の規約が違うので、ある規約で得た結果を別の規約の結果に正しく書き換えられるようになります。偏微分方程式・確率論・信号処理など、フーリエ変換を使うあらゆる場面で必要になる実務的な技能です。
なぜそうしてよいのか
以下、基本の規約を ( は絶対可積分)とします。基本公式はどれも、定義の積分に置換積分を 1 回施すだけで出てきます。平行移動: なら と置いて 。スケーリング: ()なら と置いて ( のときは積分の向きが反転するので絶対値がつきます)。変調: なら なので 。 での微分: を で微分すると被積分関数から が出るので( も絶対可積分なら積分と微分の順序を交換してよい)、、すなわち です。直観的には、「ずらす」と位相 がかかり、「横に縮める」と周波数側は横に伸びて高さが変わり、「周波数 の波をかける」と周波数側が だけずれる、ということです。
基本の変換も定義から直接出ます。(。 では値 で、これは の極限と一致)、、、三角型 ( で 、それ以外で )については (部分積分で確かめられます)。
規約の換算は「指数の中の を何倍しているか」と「前に何をかけているか」を見るだけです。 は、 の定義で を に置き換えたものなので 。 なら 。符号が の規約なら です。基本公式も、使う規約に合わせて同じ置き換えをすれば得られます(例: では平行移動の因子が 、 微分の公式は )。
手順
使う規約を確認し、計算は基本の規約 で行うと決める
求めたい関数を、既知の関数(箱型・三角型・・ガウス関数)に平行移動 ・スケーリング ・変調 ・ をかける操作 を施した形に書き直す
基本公式を当てはめる: 、、、。複数の操作が重なるときは、関数を内側の操作から順に組み立てたのと同じ順で公式を 1 つずつ適用する
求められている規約に換算する: の規約なら を に置き換え、 がつく規約なら全体に をかけ、 の規約なら を に置き換える
での値 と一致するかなどで結果を検算する
例題
であることを用いて、( は実数)を の式で求めよ。
例題の解答
手順 1(規約の確認): 求めるのは の規約の変換なので、まず基本の規約 で計算し、最後に換算する。
手順 2(既知の関数への書き直し): とおくと、 なので、求める関数は を でスケーリングしたもの。
手順 3(公式の適用): スケーリングの公式 と より
手順 4(規約の換算): なので、 を に置き換えて
手順 5(検算): とすると 。一方 で一致する。
答え:
よくある誤り
スケーリングで係数 を落とす、または としてしまう誤り。例えば や は誤り。正しくは で、 での値 で検算できる
平行移動の位相因子の符号を逆にする誤り。 の変換を としてしまうのは誤りで、正しくは (例: )。また変調 の変換を とするのも誤りで、正しくは
規約の換算で や としてしまう誤り。指数 を見れば、正しくは (例: )
での微分の公式を や としてしまう誤り。 なので、正しくは (例: )
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
のフーリエ変換を
で定める。このときパーセバルの等式 が成り立つ。これを用いて、積分
の値を求めよ。のフーリエ変換を
で定める。区間 の指示関数 と のフーリエ変換を計算し、プランシュレルの等式(内積の形)を用いて、広義積分
の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。のフーリエ変換を で定める。関数 のフーリエ変換 を求め、プランシュレルの等式を用いて、広義積分 の値を求めよ。
に対し、フーリエ変換を で定める。次の事実(プランシュレルの定理)は用いてよい。
(事実) は で稠密であり、 は 全体から への線形写像に一意的に連続拡張される(拡張したものも と書く)。この拡張は任意の に対して を満たす。ここで である。
と実数 に対して とおく。このとき、すべての について
が成り立ち、特に であることを証明せよ。広義積分
の値を、フーリエ変換とパーセバルの等式を用いて求めよ。ただし被積分関数の での値は極限値 で補うものとする。のフーリエ変換を で定める。区間 の定義関数を ( で 、それ以外で )とし、(畳み込み)とおく。 と のフーリエ変換を求め、プランシュレルの等式(内積の形)を用いて、広義積分 の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。
のフーリエ変換を
で定め、これを 上のフーリエ・プランシュレル変換に拡張する。このとき、 に対してパーセバルの等式
が成り立つ。のフーリエ変換 を求め、パーセバルの等式を用いて、広義積分
の値を求めよ。ただし、被積分関数の での値は極限値 で補うものとする。答えは と と を用いた閉じた形で表せ。広義積分
の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。
この技能の次に学べること
- プランシュレルの等式による積分計算 (大学院数学 フーリエ解析)
- 緩増加超関数のフーリエ変換 (大学院数学 フーリエ解析)