[論文レビュー] Discrete data assimilation via Ladyzhenskaya squeezing property in the 3D viscous primitive equations

Igor Čhuešhov|arXiv (Cornell University)|Aug 7, 2013

Meteorological Phenomena and Simulations参考文献 18被引用数 6

ひとこと要約

本稿は、離散的スカラー観測を用いて、Ladyzhenskayaの押し込み性質を活用することで、3次元粘性原始方程式における漸近的に信頼性のあるデータ同化を確立する。決定的関数型およびラグランジュ補間作用素を用いることで、観測数が有限であっても、観測精度およびシステムの散逸性に関する緩い条件下で、予測軌道が真の解へ指数的収束することを証明する。

ABSTRACT

We discuss the discrete data assimilation problem for the 3D viscous primitive equations arising in the modeling of large scale phenomena in oceanic dynamics. Our main result states possibility of asymptotically reliable prognosis based on a discrete sequence of finite number of scalar observations. Our method is quite general and can be applied to a wide class of dissipative systems.

研究の動機と目的

• 離散的かつ有限の観測を用いて、3次元粘性原始方程式における漸近的に信頼性のある予測の可能性を確立すること。
• Ladyzhenskayaの押し込み性質が、2次元ナビエ–ストークス方程式を超える散逸的系におけるデータ同化を可能にすることを示すこと。
• 離散時刻における有限個のスカラー観測が、予測解が真の解へ指数的収束することを保証できることを示すこと。
• 決定的関数型および補間作用素を組み合わせることで、一般の放物型偏微分方程式のクラスに適用可能なデータ同化フレームワークを一般化すること。
• 連続的観測や全状態測定を必要としない、構成的データ同化手法を提供すること。

提案手法

• 散逸的系における軌道間の差を制御するために、Ladyzhenskayaの押し込み性質を用いる。
• 有限個の関数型を用いて、離散的観測から状態を再構成するためのラグランジュ補間作用素 $ R_{\mathcal{L}} $ を適用する。
• 観測系列が十分な動的情報を捉えられることを保証するために、決定的関数型の理論を用いる。
• 補間作用素に $ \|1 - R_{\mathcal{L}}\|_{H \to H} \leq c_1 $ および $ \|1 - R_{\mathcal{L}}\|_{W_2 \to W_2} \leq c_2 $ という条件を課し、$ c_1 < e^{a_0 \alpha} $ となるようにする。
• 半群理論およびエネルギー推定を用いて、連続する同化ステップ間での誤差伝播を制限し、$ W_1 $-ノルムにおける誤差の指数的減衰を保証する。

実験結果

リサーチクエスチョン

• RQ1 スカラー関数型の離散的かつ有限の観測が、3次元粘性原始方程式における漸近的に信頼性のある予測を保証できるか？
• RQ2 Ladyzhenskayaの押し込み性質は、観測が限られている散逸的偏微分方程式において、どの程度データ同化を可能にするか？
• RQ3 観測作用素および系パラメータにどのような条件を課すと、予測解が真の解へ指数的収束するか？
• RQ4 決定的関数型を用いることで、データ同化における必要な観測数をどのように削減できるか？
• RQ5 系が無限次元であっても、有限個の観測のみで信頼性のある予測が達成可能か？

主な発見

• 本稿は、Ladyzhenskayaの押し込み条件および有界な観測誤差のもとで、データ同化スキームが $ W_1 $-ノルムにおいて予測解が真の解へ指数的収束することを証明する。
• 関数型 $ l_j(u) = (K e_j, u) $ で定義される一般化モードの場合は、観測数 $ N \geq N_* $ が有限個あれば、漸近的信頼性が保証される。
• 真の軌道と予測軌道の間の誤差は指数的に減少する：$ \|U(t_n) - u_n\|_{W_1} \to 0 $ が $ n \to \infty $ のとき成り立ち、そのレートは補間および押し込み性質によって制御される。
• 必要な観測数 $ N $ は有限であり、$ K_{G}, K, \alpha, \beta $ などの系パラメータに依存するが、その上限は構成的ではない。
• 観測誤差に対して本手法は頑健である：$ \epsilon(W_1, H) < \epsilon_* $ であれば、予測は依然として漸近的に信頼性を持つ。
• 一般の決定的関数型について、一様な有界性を満たす補間作用素を用いることで、本結果は特定のモードにとどまらず、広範な適用性を示す。