x) + a2 cos(2π x) + … + an cos(2π x) + … L L L 波長 L 波長 L/2 波長 L/n なのですが… 三角関数は計算が面倒。 1 cos x cos y = {cos(x + y) + cos(x − y)} 2 指数関数なら計算が簡単 x y a a =a x+y かけ算=指数の足し算 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 7 29
cos ω + i sin ω exp(x) = e x x (e )′ = e x 微分しても変わらない exp(iω) = cos ω + i sin ω e = 2.71828... exp(−iω) = cos(−ω) + i sin(−ω) = cos ω − i sin ω 足し算すると 引き算すると exp(iω) + exp(−iω) = 2 cos ω exp(iω) − exp(−iω) = 2i sin ω exp(iω) + exp(−iω) cos ω = 2 exp(iω) − exp(−iω) sin ω = 2i 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 8 29
L n=−∞ ∞ 波長 L / n の指数関数 から,波長 L / n の波に 対応する指数関数だけを切り出したい n exp i2π x L 一方,f(x) を構成する指数関数のいずれか(波長 L / m)は m exp i2π x L 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 12 29
f(x) の1周期分だけ積分(積分については後半で) L 複素共役 2 m n exp i2π x exp −i2π x dx L L L − 2 波長 L / m 波長 L / n この答は m と n が異なるとき(別の波長) 0 m と n が等しいとき(同じ波長) L 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
f(x) の1周期分だけ積分(積分については後半で) L 複素共役 2 m n exp i2π x exp −i2π x dx L L L − 2 波長 L / m 波長 L / n この答は m と n が異なるとき(別の波長) 0 m と n が等しいとき(同じ波長) L 指数関数はこの 「同期しないと積分が0」という性質をもつ 直交関数系 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 13 29
f (x) exp −i2π x dx L −L 2 2 を計算してみる n f (x) = an exp i2π x なので L n=−∞ ∞ k n an exp i2π x exp −i2π x dx L − L n=−∞ L L L ∞ 2 1 2 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
f (x) exp −i2π x dx L −L 2 2 を計算してみる n f (x) = an exp i2π x なので L n=−∞ ∞ k n an exp i2π x exp −i2π x dx L − L n=−∞ L L L ∞ 2 1 2 級数の各項を積分すると,n = k の項だけは積分すると L 他の項は積分すると 0 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
f (x) exp −i2π x dx L −L 2 2 を計算してみる n f (x) = an exp i2π x なので L n=−∞ ∞ k n an exp i2π x exp −i2π x dx L − L n=−∞ L L L ∞ 2 1 2 級数の各項を積分すると,n = k の項だけは積分すると L 他の項は積分すると 0 つまりこの積分の答は 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
f (x) exp −i2π x dx L −L 2 2 を計算してみる n f (x) = an exp i2π x なので L n=−∞ ∞ k n an exp i2π x exp −i2π x dx L − L n=−∞ L L L ∞ 2 1 2 級数の各項を積分すると,n = k の項だけは積分すると L 他の項は積分すると 0 1 · Lak = ak つまりこの積分の答は L 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
f (x) exp −i2π x dx L −L 2 2 を計算してみる n f (x) = an exp i2π x なので L n=−∞ ∞ k n an exp i2π x exp −i2π x dx L − L n=−∞ L L L ∞ 2 1 2 級数の各項を積分すると,n = k の項だけは積分すると L 他の項は積分すると 0 1 · Lak = ak 係数が求まった つまりこの積分の答は L 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 14 29
= an exp i2π x L n=−∞ ∞ という波の足し合わせ(級数)で表される(フーリエ級数展開) 係数 an(フーリエ係数)は L 2 n 1 f (x) exp −i2π x dx an = L −L L という積分で表される 2 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 15 29
n f (x) = an exp i2π x という,波の足し合わせ(級数)で表される L n=−∞ ∞ 係数 ak(フーリエ係数)は (フーリエ級数展開) ak = 1 L L k f (x) exp −i2π x dx L −L 2 2 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 17 29
= an exp i2π x L n=−∞ L 2 n 1 an = f (x) exp −i2π x dx L −L L ∞ 2 1/L =Δν と書き換える f (x) = ∞ n=−∞ ∆ν L 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ exp (i2πn∆νx) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 23 29
= an exp i2π x L n=−∞ L 2 n 1 an = f (x) exp −i2π x dx L −L L ∞ 2 1/L =Δν と書き換える f (x) = ∞ n=−∞ ∆ν 紛らわしいので別の文字にしただけ L 2 −L 2 f (τ ) exp (−i2πn∆ντ ) dτ exp (i2πn∆νx) 2026年度秋学期 画像情報処理 / 関西大学総合情報学部 浅野 晃 23 29