Core Concepts
十分な数の離散的な速度場の観測データがある場合、事後分布は真の時間発展解に集中し、特に初期条件が事後平均ベクトル場によって一致して回復される。
Abstract
本論文では、周期的な2次元ナビエ・ストークス方程式のデータ同化モデルを考える。ガウス過程事前分布でモデル化された初期条件が、十分な数の離散的な速度場の観測データによって更新されると、事後分布は最終的に真の解に集中することを示す。特に、初期条件は事後平均ベクトル場によって一致して回復される。また、収束率は一般的には対数の逆数より速くならないが、初期条件に関する特定の条件の下では、より高速な収束率が可能であることも示す。証明では、2次元ナビエ・ストークス方程式の解の逆方向一意性に関する明示的な定量的推定を提供する。
Stats
速度場の観測データ Yij = uθ(ti,Xij) + εij, εij ∼ N(0,I_R^2)
観測時刻 ti, 観測位置 Xij