のフーリエ変換を
で定める。この規約では、 に対してプランシュレルの等式
が成り立つ。また、区間 の指示関数 と関数 について
である( では左の式の値は とする)。これらを用いて、広義積分
の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。
プランシュレルの等式による積分計算
を使い、被積分関数をフーリエ変換の積とみなして、 や のような広義積分の値を求められる
前提
- フーリエ変換の基本公式と規約の換算 (大学院数学 フーリエ解析)
この技能までの道筋(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 乗(または 2 つの変換の積)」になっている広義積分を、フーリエ変換をとる前の関数の側の、ずっと簡単な積分に置き換えて計算する技能です。使う道具はプランシュレルの等式 (規約 )で、特に とした をよく使います。原始関数が初等関数で書けない積分や、部分分数分解が面倒な積分を、箱型や の単純な積分に帰着できます。
なぜそうしてよいのか
規約を とし、反転公式 が成り立つ程度に が良い関数(例えば がどれも絶対可積分)とします。 なので、積分の順序を交換して
となります。これがプランシュレルの等式で、両辺の積分が 2 乗可積分の範囲で意味をもつ限り(例えば のように が絶対可積分でない場合も)、近似の議論によって同じ等式が成り立ちます。 は反転公式の係数から来ていて、規約を変えると変わります( の規約では係数なしの )。
直観的には、「関数の大きさ(2 乗積分)は、それを波に分解したときの各成分の大きさの合計に等しい」という三平方の定理の無限次元版で、フーリエ級数のパーセバルの等式の連続版にあたります。使い方としては、計算したい積分の被積分関数を見て「これは既知の の だ」と見抜き、左辺の を計算して 倍すればよいのです。例えば から 、すなわち が出ます。
手順
被積分関数を見て、既知のフーリエ変換(、、ガウス関数など)の絶対値の 2 乗、または 2 つの変換の積の形に書けるか探し、定数倍を調整する
対応するもとの関数 (と )を特定する(例: 、)。スケーリングなどの基本公式で係数を確かめる
プランシュレルの等式 (または )を書く。規約が違う場合は係数を換算する
側の積分 を計算する
手順 1 で調整した定数で割って、求める積分の値を出す
例題
広義積分 の値を求めよ。
例題の解答
手順 1: は の 2 乗である。 の形に合わせて、変数を と書き とすると 。よって求める積分 は 。
手順 2: とおくと、 とスケーリングの公式より 。これは実数値なので 。
手順 3: プランシュレルの等式より 。
手順 4: 。よって手順 3 の左辺は 。
手順 5: 。
答え:
よくある誤り
係数 を落として としてしまう誤り。 の規約では、正しくは (例: で、 を としない)。 の規約に限り係数なしで
のフーリエ変換を考えて を のように扱う、つまり 側で 2 乗するのを忘れて としてしまう誤り。正しくは 側も 2 乗して
被積分関数に合わせるときの定数倍を調整し忘れる誤り。例えば を とそのまま答えてしまうのは誤りで、正しくは なので
スケーリングの係数を誤り、 などとしてしまう誤り。正しくは ()で、 なら 。 での値 と一致するかで検算できる
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
のフーリエ変換を
で定める。このときパーセバルの等式 が成り立つ。これを用いて、積分
の値を求めよ。のフーリエ変換を
で定める。区間 の指示関数 と のフーリエ変換を計算し、プランシュレルの等式(内積の形)を用いて、広義積分
の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。のフーリエ変換を で定める。関数 のフーリエ変換 を求め、プランシュレルの等式を用いて、広義積分 の値を求めよ。
に対し、フーリエ変換を で定める。次の事実(プランシュレルの定理)は用いてよい。
(事実) は で稠密であり、 は 全体から への線形写像に一意的に連続拡張される(拡張したものも と書く)。この拡張は任意の に対して を満たす。ここで である。
と実数 に対して とおく。このとき、すべての について
が成り立ち、特に であることを証明せよ。広義積分
の値を、フーリエ変換とパーセバルの等式を用いて求めよ。ただし被積分関数の での値は極限値 で補うものとする。のフーリエ変換を で定める。区間 の定義関数を ( で 、それ以外で )とし、(畳み込み)とおく。 と のフーリエ変換を求め、プランシュレルの等式(内積の形)を用いて、広義積分 の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。
に対し、フーリエ変換を
で定め、これを 全体へ連続に拡張したもの(プランシュレル変換)も と書く。次の事実は用いてよい。- (プランシュレルの定理)任意の に対して が成り立ち、 は から への全単射である。さらに、 ならば、ほとんどすべての で が成り立つ。
- は の完全正規直交系である。
いま、 は 上の複素数値連続関数で を満たし、さらにそのフーリエ変換 は の外でほとんど至るところ であるとする。このとき
が成り立つ(右辺の級数は収束する)ことを証明せよ。のフーリエ変換を
で定め、これを 上のフーリエ・プランシュレル変換に拡張する。このとき、 に対してパーセバルの等式
が成り立つ。のフーリエ変換 を求め、パーセバルの等式を用いて、広義積分
の値を求めよ。ただし、被積分関数の での値は極限値 で補うものとする。答えは と と を用いた閉じた形で表せ。広義積分
の値を求めよ。ただし被積分関数の での値は極限値 で補うものとする。