フーリエ変換の変更点 < 凌宮数学 (LimgMath)

追加された行はこの色です。
削除された行はこの色です。
フーリエ変換へ行く。
フーリエ変換の差分を削除
/フーリエ変換
/フーリエ変換【編集中】
メモ： 逆基底で整理できても、表記上煩雑になるために旨みが打ち消されるため、暫定廃案
%indent
////////////////////////////////////////////////////////////////
* フーリエ変換と逆基底と基底積 [#ud91638f]

;,フーリエ変換は周期現象の記述から制御工学など幅広い分野において役立つ道具である。
;,関数をベクトルと解釈すれば、フーリエ変換を双対基底の基底変換と整理できる。
;,問題は、通常表記では逆基底や基底積を簡潔に表記できないため、
;,各分野間でに表記にブレが生じ、学ぶ側の学習コストを無駄に上げている状態である。

;,これに対し、凌宮数学ではフーリエ変換を双対の視点で捉え、
;,逆基底表記および基底積表記を適応して、フーリエ変換の簡潔に表記する。
;,逆基底表記は双対関係の明記に、基底積表記は多次元フーリエ変換の表記に有効である。

////////////////////////////////////////////////////////////////
* 双対としてのフーリエ変換 [#fe3d1b3d]

;,フーリエ変換
(([[物理のかぎしっぽ／数学／フーリエ解析／フーリエ変換の第一歩>http://hooktail.sub.jp/fourieralysis/Fourier/]]))
(([[Wikipedia／フーリエ変換>http://ja.wikipedia.org/wiki/%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8%E5%A4%89%E6%8F%9B]]))は、一種の双対な基底変換である。
;,例えば、次のように定義される時間領域と周波数領域でのフーリエ変換は、時間と周波数が双対関係にある。

#ceq(e)
  式1a 正変換：　$$ F(\omega) $ = $ \phantom{\ffd{1}{2\pi}} $ \int^\infty_{-\infty}\! $ f(t) $ e^{-\:i \omega t} $ dt $$
;,式1b 逆変換：　$$ f(t) $ = $ \ffd{1}{2\pi} $ \int^\infty_{-\infty}\! $ F(\omega) $ e^{\:i \omega t} $ d\omega $$
#ceq(a)
;,$$ t $$は時間
;,$$ \omega $$は角周波数((工学では角周波数$$ \omega $$が多用されるが、$$ 2\pi $$倍違いの周波数$$ \nu $$も用いられる。))
#ceq(d)

;,具体的に、時間$$ t $$と周波数$$ \omega $$が互いに逆基底の関係にある基底と見なせば、
;,関数$$ f(t) $$と$$ F(\omega) $$をそれぞれ$$ t $$と$$ \omega $$を基底とするベクトル
((関数をベクトルを見なす例： [[古典回路屋／フーリエ変換入門／前フリ／関数の基底，関数の内積>http://www.maroon.dti.ne.jp/koten-kairo/works/fft/intro4.html]]))で、
;,$$ f(t) $$と$$ F(\omega) $$は同一現象を異なる基底に基づいて記述した一対の関数に見える。

;,一方で、空間は波数と双対関係になる。
;,このため、フーリエ変換の空間版は次のように定義される
(([[EMANの物理学／物理数学／フーリエ解析／フーリエ変換>http://homepage2.nifty.com/eman/math/fourier05.html]]))。

#ceq(e)
  式2a 正変換：　$$ F(k) $ = $ \phantom{\ffd{1}{2\pi}} $ \int^\infty_{-\infty}\! $ f(x) $ e^{-\:i k x} $ dx $$
;,式2b 逆変換：　$$ f(x) $ = $ \ffd{1}{2\pi} $ \int^\infty_{-\infty}\! $ F(k) $ e^{\:i k x} $ dk $$
#ceq(a)
;,$$ x $$は空間
;,$$ k $$は角波数((工学では角波数$$ k $$が多用される上に単に波数と呼ぶ場合が多いが、$$ 2\pi $$倍違いの波数$$ \nu $$も用いられるため、定義に要注意。))
#ceq(d)

;,３次元空間を含む$$ n $$次元空間においてフーリエ変換を定義できる
(([[中央大学／理工学研究科／物理学専攻／中野研究室／数理解析／２フーリエ変換>http://www.phys.chuo-u.ac.jp/labs/nakano/suurikaiseki/sec2-1%28suuri%29.pdf]]))。
#ceq(e)
  式3a 正変換：　$$ F(\:k) $ = $ \phantom{\ffd{1}{2\pi}} $ \int^\infty_{-\infty}\! $ f(\:x) $ e^{-\:i \:k\sx\:r} $ d\:r $$
;,式3b 逆変換：　$$ f(\:r) $ = $ \ffd{1}{(2\pi)^n} $ \int^\infty_{-\infty}\! $ F(\:k) $ e^{\:i \:k\sx\:r} $ d\:k $$
#ceq(a)
;,$$ \:r $$は位置ベクトル
;,$$ \:k $$は波数ベクトル((波数ベクトル$$ \:k $$自体に$$ 2\pi $$倍違いの２通りの定義があり、定義に要注意。))
#ceq(d)

%bodynote

////////////////////////////////////////////////////////////////
* 逆基底によるフーリエ変換の記述 [#xebd4832]

////////////////////////////////////////////////////////////////
*** 通常表記の課題１：変数定義の多様性 [#x9d554a7]

;,$$ \omega $$や$$ k $$と$$ \:k $$の通釈にあるように、
;,フーリエ変換において逆変換に現れる係数$$ 2\pi $$の扱いが混乱の元となる。

;,例えば、式1a・式1bの時間に関するフーリエ変換では、角周波数$$ \omega $$を$$ 2\pi $$で割った周波数$$ \nu $$を使えば式4a・式4bのようになる。
#ceq(e)
  式4a 正変換：　$$ F(\nu) $ = $ \int^\infty_{-\infty}\! $ f(t) $ e^{-2\pi\:i\nu t} $ dt $$
;,式4b 逆変換：　$$ f(t) $ = $ \int^\infty_{-\infty}\! $ F(\nu) $ e^{2\pi\:i\nu t} $ d\nu $$
#ceq(a)
;,$$ t $$は時間
;,$$ \nu $$は周波数
#ceq(d)

;,$$ \omega $ = $ 2\pi $ \nu $$がために、逆変換に付く係数が隠れる代わりに、
;,積分変換のカーネル関数$$ e^{\pm\:i\cdots} $$に$$ 2\pi $$が現れる。
;,このため、書く側は都度定義をし、読む側は都度確認する必要がある。

%bodynote

*** 逆基底の導入 [#o1c5ccf6]

;,変数定義の多様性を纏めるには、双対関係を記号化すれば良い。
;,以下に、双対基底を記号化した凌宮数学の逆基底表記をフーリエ変換に適応する。

周波数と周期の関係$$ \nu $ = $ \frac{1}{T} $$を式4a・式4bに代入すると、式5a・式5bが得られる
//;,ただ、カーネル関数で$$ \nu $ t $ = $ 1 $$となって関数の性質が対消滅してしまうため、
//;,以下では便宜的に$$ \nu $$を$$ \frac{1}{T} $$で書き分ける
((本当は$$ \ffd1t $$と書きたいが、周波数と時間が互いに独立でなくとも、積分では片方を固定して、他方を$$ -\infty $$から$$ +\infty $$まで走査させている通常表記のマジックのために、容易に書けない。))。
#ceq(e)
  式5a 正変換：　$$ F(\frac{1}{T}) $ = $ \int^\infty_{-\infty}\! $ f(t) $ e^{-2\pi\:i \frac{1}{T} t} $ dt $$
;,式5b 逆変換：　$$ f(t) $ = $ \int^\infty_{-\infty}\! $ F(\frac{1}{T}) $ e^{ 2\pi\:i\frac{1}{T} t} $ d\frac{1}{T} $$
#ceq(d)

;,逆基底では正規化条件を$$ 1 $$と仮定するために、$$ t $$と$$ \frac{1}{T} $ = $ \nu $$の双対で考えているが、
;,正規化条件が$$ 2\pi $$の$$ \frac{2\pi}{T} $ = $ \omega $$で考えても良く、逆変換が置換積分で係数が出るだけで、
;,カーネル関数が$$ e^{-2\pi\:i \frac{1}{T} t} $ = $ e^{-\:i \frac{2\pi}{T} t} $$のまま変わらずに済む。
#ceq(e)
  式6a 正変換：　$$ F(\frac{2\pi}{T}) $ = $ \int^\infty_{-\infty}\! $ f(t) $ e^{-\:i \frac{2\pi}{T} t} $ dt $$
;,式6b 逆変換：　$$ f(t) $ = $ \frac{1}{2\pi} $ \int^\infty_{-\infty}\! $ F(\frac{2\pi}{T}) $ e^{\:i\frac{2\pi}{T} t} $ d\frac{2\pi}{T} $$
#ceq(d)

;,空間領域では波長$$ \lambda $$を選べば同様に書換えできる。
#ceq(e)
  式6a 正変換：　$$ F(\frac{2\pi}{\lambda}) $ = $ \int^\infty_{-\infty}\! $ f(x) $ e^{-\:i \frac{2\pi}{\lambda} x} $ dx $$
;,式6b 逆変換：　$$ f(x) $ = $ \frac{1}{2\pi} $ \int^\infty_{-\infty}\! $ F(\frac{2\pi}{\lambda}) $ e^{\:i\frac{2\pi}{\lambda} x} $ d\frac{2\pi}{\lambda} $$
#ceq(d)

%bodynote
////////////////////////////////////////////////////////////////
* 基底積による [#b1853834]


////////////////////////////////////////////////////////////////
*** 通常表記の課題２：体積分の座標別表記 [#wfbc725c]

;,式3aと式3bの$$ \:r $$と$$ \:k $$による積分は、体積分である。
;,特に$$ \:r $$は位置ベクトルそのものであるため、線積分と非常に紛らわしい。
;,実際、文脈と積分領域での区別になる。


;,対して、一般的な３次元の体積分で良く用いられる記法では、$$ \:r $$と$$ \:k $$との対応が曖昧になる。
;,$$ dV_{\:r} $$と$$ dV_{\:k} $$と書き分けたどころで、他の次元には適応し難い問題が残る。
#ceq(e)
  $$ G(x) $ = $ \int_{V}\! $ g(\:r) $ dV $$
#ceq(d)

%bodynote

////////////////////////////////////////////////////////////////
* [#s5649aaa]
フーリエ変換 の変更点

フーリエ変換の変更点
