vNull Blog

数式を扱うことが多くなってきたため、vNull Development Blogに掲載されている学術的な記事に関してはpukiwikiに移行します。

vNull Wiki

pLaTeXで論理否定を表すには、通常\barを用いる。しかしドモルガンの法則などを用いた二重否定された式に対して、\bar{\bar{A}+\bar{B}}などと書くと、表示がおかしくなってしまう。この問題に対して簡易的な解決策として、私は\overlineを\invとして再定義して使っている。以下に例を示す。
記述例:\def\inv{\overline}
使用例:\inv{\inv{A}+\inv{B}}

実際にコンピュータを用いてスペクトル解析を行う場合、無限の範囲の計算を行う数式はプログラムで扱いにくいので、有限個の点でサンプリングした場合のフーリエ変換と逆フーリエ変換を考える。

まず、複素フーリエ変換の指揮区間[-L,L]を区間[0,T]へシフトする為に変数変換を行うと(1)となる。ここで有限個のN点でサンプリングすることを考慮すると、複素フーリエ係数の積分は積和で計算可能となるので、(2)のようになる。よって最終的に求まった式の形として、(3)を離散フーリエ変換、(4)を逆離散フーリエ変換と言う。

離散フーリエ変換のオーダーはO(N^2)で、実用的なサンプリング周波数を取った場合、膨大な計算量になることを考えると現実的でない。この問題を解決するために、高速フーリエ変換(FFT)と呼ばれるオーダーがO(NlogN)で計算可能な画期的なアルゴリズムが存在する。