情報科学 › 偏微分方程式の離散化 › スペクトル法
3/2 則による折り返しの除去
()の積の切断 を、 点の格子で と の値を求めて掛け、その離散 Fourier 係数のうち のものだけを残して計算する方法を、3/2 則(零詰めによる折り返しの除去)という。 である。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理
証明で明示的に参照している定理は、まだありません。