情報科学 › 偏微分方程式の離散化 › スペクトル法

Fourier–Galerkin 法と選点法

定義 6.1(「スペクトル法」§6)

a(u,v)=⟨u′,v′⟩+⟨cu,v⟩a(u, v) = \langle u', v'\rangle + \langle cu, v\rangle(u,v∈Hper1u, v \in H^1_{\mathrm{per}})とおく。f∈L2(T)f \in L^2(\mathbb{T}) に対し、a(u,v)=⟨f,v⟩a(u, v) = \langle f, v\rangle(すべての v∈Hper1v \in H^1_{\mathrm{per}})を満たす u∈Hper1u \in H^1_{\mathrm{per}} を弱解という。

  • uN∈SNu_N \in S_N で a(uN,v)=⟨f,v⟩a(u_N, v) = \langle f, v\rangle(すべての v∈SNv \in S_N)を満たすものを Fourier–Galerkin 解という。
  • ff が連続のとき、uNc∈SNu_N^{c} \in S_N で −(uNc)′′(xj)+c(xj)uNc(xj)=f(xj)-(u_N^{c})''(x_j) + c(x_j)u_N^{c}(x_j) = f(x_j)(j=0,…,N−1j = 0, \ldots, N-1)を満たすものを選点法の解(擬スペクトル法の解)という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 1 問