基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。
微分積分編の内容を見るフーリエ変換と逆変換(このページの定義)
f が R 上で絶対可積分(∫−∞∞∣f(t)∣dt<∞)のとき
F(ω)=F[f](ω)=∫−∞∞f(t)e−iωtdt をフーリエ変換、
f(t)=F−1[F](t)=2π1∫−∞∞F(ω)eiωtdω を逆変換という。ω は角周波数で、2π は逆変換の側にだけ置く。以下の公式はすべてこの定義による。
教科書や院試の問題では、別の置き方も使われる。問題文の定義を先に確かめ、公式の係数を合わせる。
- 対称な形:F(ω)=2π1∫f(t)e−iωtdt、f(t)=2π1∫F(ω)eiωtdω。プランシュレルの等式に係数が付かない。\n- 周波数 ξ(単位 Hz)の形:X(ξ)=∫f(t)e−2πiξtdt、f(t)=∫X(ξ)e2πiξtdξ。X(ξ)=F(2πξ) の関係にある。\n- 指数の符号を逆にした形:∫f(t)eiωtdt を変換とする流儀もあり、推移や微分の公式で i の符号が反転する。
リーマン・ルベーグの補題
条件
f は R 上で絶対可積分。
主張
F(ω) は R 上で一様連続、∣F(ω)∣≤∫∣f∣dt で、∣ω∣→∞ のとき F(ω)→0。
要点
逆に F が絶対可積分とは限らない。矩形パルスの変換 ω2sinaω は絶対可積分でない。
フーリエの反転公式
条件
f は絶対可積分で、どの有限区間でも区分的に滑らか。
主張
すべての t で
R→∞lim2π1∫−RRF(ω)eiωtdω=2f(t+0)+f(t−0) が成り立つ。f が t で連続なら右辺は f(t)。
要点
F が絶対可積分でないことがあるので、積分は対称な区間 [−R,R] の極限(主値)で読む。フーリエ級数の収束定理で周期 2L→∞ とした形にあたる。
畳み込み定理
条件
f,g は絶対可積分。畳み込みを (f∗g)(t)=∫−∞∞f(τ)g(t−τ)dτ と定める。
主張
F[f∗g](ω)=F(ω)G(ω),F[fg](ω)=2π1(F∗G)(ω) 要点
2つ目の式は fg と F∗G が意味をもつとき(例えば f,g と F,G がすべて絶対可積分)に成り立つ。2π1 は逆変換の側に 2π を置いた定義から来る。
プランシュレルの等式(パーセバルの等式)
主張
∫−∞∞∣f(t)∣2dt=2π1∫−∞∞∣F(ω)∣2dω 要点
2乗可積分な関数全体へ変換を拡張する根拠になる。対称な形の定義では 2π1 が消え、周波数 ξ の形では ∫∣X(ξ)∣2dξ になる。
性質(F[f]=F、a,b は実数)
- 線形性
F[αf+βg]=αF+βG - 時間推移
F[f(t−b)](ω)=e−iωbF(ω) - 周波数推移(変調)
F[eiatf(t)](ω)=F(ω−a) - 尺度変換
F[f(at)](ω)=∣a∣1F(aω)(a=0) a=−1 とすると F[f(−t)]=F(−ω)。
- 微分
F[f′](ω)=iωF(ω),F[f(n)]=(iω)nF f,f′ が絶対可積分で、∣t∣→∞ で f→0 のとき。部分積分の境界項が消える。
- 掛け算
F[tf(t)](ω)=idωdF tf(t) も絶対可積分のとき。
- 双対性
F[F(t)](ω)=2πf(−ω) - デルタ関数
F[δ(t)]=1,F[1]=2πδ(ω),F[eiat]=2πδ(ω−a) 超関数の意味の変換で、通常の積分としては収束しない。
よく使う変換対(a>0)
- 矩形パルス
f(t)={10(∣t∣≤a)(∣t∣>a) ⟼ F(ω)=ω2sinaω - 両側指数関数
e−a∣t∣⟼a2+ω22a - 片側指数関数
e−atu(t)⟼a+iω1 - ガウス関数
e−t2/2⟼2πe−ω2/2,e−at2⟼aπe−ω2/(4a) - 三角パルス
max(2a−∣t∣,0)⟼ω24sin2aω 矩形パルスどうしの畳み込みで、変換は矩形パルスの変換の2乗。
矩形パルスの変換
f(t)=1 (∣t∣≤a)、f(t)=0 (∣t∣>a) のフーリエ変換を求めよ。
解答
ω=0 のとき
F(ω)=∫−aae−iωtdt=−iωe−iωa−eiωa=ω2sinaω ω=0 では F(0)=∫−aadt=2a で、これは ω→0 の極限に等しい。
検算
F(0)=∫fdt(面積)になる。F の最初の零点は ω=aπ で、パルスの幅 2a を広げると F の主な山の幅は狭くなる。尺度変換の公式と同じ向きである。
両側指数関数の変換と反転公式の確認
f(t)=e−a∣t∣(a>0)のフーリエ変換を求め、反転公式で f(0)=1 に戻ることを確かめよ。
解答
t<0 と t>0 に分けて
F(ω)=∫−∞0e(a−iω)tdt+∫0∞e−(a+iω)tdt=a−iω1+a+iω1=a2+ω22a 反転公式で t=0 とすると 2π1∫−∞∞a2+ω22adω=2π1⋅2a⋅aπ=1=f(0)。
検算
f は実数値の偶関数なので F も実数値の偶関数になる。プランシュレルの等式では左辺 ∫e−2a∣t∣dt=a1、右辺 2π1∫(a2+ω2)24a2dω=2π1⋅4a2⋅2a3π=a1 で一致する。逆変換の t=0 での計算は留数定理で行える。
ガウス関数の変換
f(t)=e−t2/2 のフーリエ変換を求めよ。
解答
f は f′(t)=−tf(t) を満たす。両辺を変換すると、微分の公式と掛け算の公式から
iωF(ω)=−idωdF⟹dωdF=−ωF これを解いて F(ω)=F(0)e−ω2/2。F(0)=∫−∞∞e−t2/2dt=2π なので F(ω)=2πe−ω2/2。
検算
指数の中を平方完成して −2t2−iωt=−2(t+iω)2−2ω2 とし、積分路を実軸へ戻しても同じ結果になる(コーシーの積分定理を使う)。反転公式で t=0 とすると 2π1∫2πe−ω2/2dω=2π2π2π=1=f(0)。
プランシュレルの等式で積分を求める
∫−∞∞ω2sin2ωdω を求めよ。
解答
a=1 の矩形パルス f について F(ω)=ω2sinω。プランシュレルの等式から
∫−111dt=2=2π1∫−∞∞ω24sin2ωdω よって ∫−∞∞ω2sin2ωdω=π。
検算
部分積分で ∫ω2sin2ωdω=∫ωsin2ωdω=π となり一致する(∫−∞∞usinudu=π を使う)。
問題文と違う定義の公式を使う。2π を逆変換に置く定義、両側に 2π1 を置く定義、周波数 ξ で書く定義で、反転公式・畳み込み・プランシュレルの係数が変わる。最初に定義を書き、公式をその定義で導き直す。
時間推移の符号を逆にする。f(t−b) の変換は e−iωbF(ω) で、b>0(右へ遅らせる)なら位相が遅れる向きになる。
尺度変換で ∣a∣1 を落とす、または F(aω) と書く。f(at) の変換は ∣a∣1F(ω/a) で、t=0 での面積 F(0) が ∣a∣1 倍になることで確かめられる。
不連続点で反転公式の値を f(t) とする。矩形パルスの端 t=±a では、反転公式は 21 を返す。
1 や sint のフーリエ変換を通常の積分で計算しようとする。絶対可積分でないので積分は収束しない。デルタ関数を使った超関数の意味の変換として扱う。
ω=0 で ω2sinaω の値を書かない。ω=0 は別に計算するか極限をとり、F(0)=2a と書く。
院試hubが年度別解説の大問を分類した集計から、この単元の内容を扱う出題を挙げる。問題文は各大学の公式過去問で確かめ、解き方は各年度の解説ページで読める。
このページの本文を数式のLaTeXのまま読むには Markdown版。最終更新 2026-11-16。誤りに気づいたら 運営者 へ連絡してほしい。
基礎ノートと類題を答案の形で解いた問題集(2,480円)。収録章と見本ページを商品ページで確認できる。過去問の本文は収録していない。
微分積分編の内容を見る