とし、 とおく。数列 の離散フーリエ変換 を
で定める。組 をこの順に求めよ。
離散フーリエ変換の計算と逆変換
を、1 の 乗根の和の性質を使って計算できる(例: なら で )。逆変換 を使ってもとの数列に戻せる
前提
- の解を使った和と積 (数学C 複素数平面)
- (等差)×(等比)の数列の和 (数学B 数列)
この技能までの道筋(52 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 小数の四則計算 (算数 計算と数のきまり)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 小数と分数のまじった計算 (算数 計算と数のきまり)
- 逆算(□ を求める) (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 1 次方程式の解き方 (中学数学 方程式)
- 比例・反比例の式とグラフ (中学数学 関数)
- 約数の見つけ方 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 平方根の意味と根号の簡単化 (中学数学 数と式)
- 関数 の式と変域 (中学数学 関数)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 平方完成と 2 次関数のグラフ (数学I 2次関数)
- 複素数と 2 次方程式の虚数解 (数学II 複素数と方程式)
- 円の周の長さと面積 (算数 平面図形)
- おうぎ形の弧の長さと面積 (算数 平面図形)
- 弧の長さからおうぎ形の中心角と面積を求める (中学数学 平面図形)
- 三角形・四角形の面積 (算数 平面図形)
- 三平方の定理 (中学数学 相似と三平方の定理)
- 特別な直角三角形の辺の比 (中学数学 相似と三平方の定理)
- 弧度法と単位円による三角関数 (数学II 三角関数)
- 加法定理と 2 倍角・半角・積和の公式 (数学II 三角関数)
- 極形式と積・商 (数学C 複素数平面)
- ド・モアブルの定理 (数学C 複素数平面)
- 方程式 の解 (数学C 複素数平面)
- の極形式 (数学C 複素数平面)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
- 三角形の角の大きさ (算数 平面図形)
- 対頂角と平行線の同位角・錯角 (中学数学 平面図形)
- 三角形の外角と角の組み合わせ (中学数学 平面図形)
- 二等辺三角形の角 (中学数学 平面図形)
- 平行四辺形と特別な四角形の性質 (中学数学 平面図形)
- 折り返した図形の角と長さ (中学数学 平面図形)
- 三平方の定理と平面図形 (中学数学 相似と三平方の定理)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 比の性質と簡単な比 (算数 割合と比)
- 相似な三角形と長さの比 (算数 平面図形)
- 三角形の相似条件と対応する辺の長さ (中学数学 相似と三平方の定理)
- 平行線と線分の比 (中学数学 相似と三平方の定理)
- 2点間の距離と内分点・外分点 (数学II 図形と方程式)
- 複素数平面と絶対値・共役複素数 (数学C 複素数平面)
- 3 次式までの展開と因数分解 (数学I 数と式)
- 剰余の定理・因数定理と高次方程式 (数学II 複素数と方程式)
- の解を使った和と積 (数学C 複素数平面)
- (等差)×(等比)の数列の和 (数学B 数列)
説明
長さ の数列 を、1 の 乗根 の累乗を重みとして足し合わせた数列 ()に変換し、逆に からもとの を取り戻す計算ができるようになります。これを離散フーリエ変換(DFT)といい、数列を「周期 の波 の重ね合わせ」に分解したとき、各波がどれだけ含まれるかを表します。信号処理・多項式の高速な掛け算・巡回的な構造をもつ行列の固有値計算など、多くの場面で使われます。
なぜそうしてよいのか
すべての計算の土台は、整数 に対する次の和の公式です。
が の倍数なら なので各項が で和は 。そうでなければ は 、 を満たすので、等比数列の和の公式から です( の 以外の解が を満たすことと同じです)。
この公式から逆変換が導けます。 で、 なので が の倍数になるのは のときだけです。よって内側の和は のとき 、それ以外で となり、右辺は に一致します。つまり で、変換の式とは指数の符号が逆で、前に がつきます。
が式で与えられるときは、 とおくと という「 の多項式の値」になります。 が定数なら上の和の公式、 のような(等差)×(等比)の形なら を作る方法で、 を使って和を閉じた形にできます。例えば のとき について なので です。 では なので別に と計算します。
手順
を具体的に書き(例: なら )、求める について を計算する
()のときは と直接計算する
のときは を、和の公式 や を使って計算する( が小さければ項を直接足してもよい)
もとに戻すときは逆変換 を使う(指数は 、前に )
や、逆変換で に戻ることを確かめて検算する
例題
、 とし、数列 の離散フーリエ変換を で定める。 を求めよ。
例題の解答
手順 1: なので、 のとき 。 である。
手順 3: なので
和の公式でも確かめる。 なので で一致する。
手順 5(検算の一部): 同様に 、、( が実数なので )。逆変換で となり、もとの に戻る。
答え:
よくある誤り
逆変換の を落とす、または指数の符号を変換と同じ のままにしてしまう誤り。 に対して、正しくは (例: , から )
にも 用の式を当てはめ、 を でも使ったり、 と で割ったりする誤り。 では なので、正しくは 、( なら )
を と取り違え、, で としてしまう誤り。正しくは を使って (取り違えると の代わりに を求めたことになる)
の計算で の最後の項 を落とし、 から としてしまう誤り。 なので正しくは 、
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
を 以上の整数とし、 とおく。 の離散フーリエ変換 を
で定める。このとき、パーセバルの等式
が成り立つ。 で定まるベクトル の離散フーリエ変換を計算し、パーセバルの等式を用いて、和
を の式で表せ。とし、 とおく。数列 に対し、 次正方行列 を
で定める(巡回行列)。すなわち は、対角成分がすべて で、 成分(添字は を法として考える)がすべて 、それ以外の成分が の行列である。離散フーリエ変換を用いて の固有値を求めることにより、行列式 の値を求めよ。とし、 とおく。数列 の離散フーリエ変換 を
で定める。
のとき、
の値を求めよ。とし、 とおく。長さ の数列 を で定め、その離散フーリエ変換を
で定める。このとき
の値を求めよ。とし、 とおく。長さ の数列 を
で定め、その離散フーリエ変換を
で定める。このとき
の値を求めよ。とし、 の元の添字は の元とみなす()。 の巡回畳み込みを
で定める。 を
で定め、 を で定める。方程式 はただ一つの解 をもつ。その成分 の値を求めよ。とし、 とおく。 上の線形写像 を、 に対して で定める(正規化した離散フーリエ変換)。 の固有値は のいずれかである。固有値 の重複度(固有空間の次元)を の組としてこの順に求めよ。ただし は虚数単位である。
この技能の次に学べること
- 離散パーセバルの等式と巡回畳み込み (大学院数学 フーリエ解析)
- 二次ガウス和の値 (大学院数学 フーリエ解析)
- 強束縛模型とブロッホ・ハミルトニアン (大学院物理 多体系の量子論・物性理論)
- 量子フーリエ変換と位相推定 (大学院物理 量子情報・量子計算)