[論文レビュー] Asymptotic Analysis for a Stochastic Chemostat Model in Wastewater Treatment

Dang H. Nguyen, George Yin|arXiv (Cornell University)|Oct 22, 2017

Stochastic processes and statistical mechanics参考文献 28被引用数 3

ひとこと要約

本稿は、ホワイトノイズとカラーノイズの両方を含む確率的キーモスタットモデルを分析し、長期的なシステム行動を分類するための閾値λを用いる。λ ≤ 0 であれば細菌の絶滅が成立し、λ > 0 であれば不変確率測度への指数的収束が保証される。特に、λ = 0 の臨界ケースについても厳密に取り扱う。

ABSTRACT

The paper considers a chemostat model describing an activated sludge process in wastewater treatment. The model is assumed to be subject to environment noise in terms of both white noise and color noise. The paper fully characterizes the asymptotic behavior of the model that is a hybrid switching diffusion. We show that the long-term properties of the system can be classified using a value $\lambda$. More precisely, if $\lambda\leq 0$, the bacteria in the sewage will die out, which means that the process does not operate. If $\lambda>0$, the system has an invariant probability measure to which the transition probability of the solution process converges exponentially fast. One of the distinctive contributions of this paper is that the critical case $\lambda=0$ is considered. Numerical examples are given to illustrate our results.

研究の動機と目的

• 環境ノイズにさらされるハイブリッドスイッチング拡散として、廃水処理におけるアクティベーテッドスラudgeプロセスをモデル化すること。
• ホワイトノイズとカラーノイズの両方を組み合わせた状況下での、システムの長期的漸近的挙動を調査すること。
• 細菌の絶滅と存続の境界を決定づける臨界ケースλ = 0を厳密に分析すること。
• システムが不変確率測度へ指数的速さで収束するための条件を確立すること。
• 理論的結果の妥当性を、具体的な例による数値的検証を通じて提供すること。

提案手法

• マコフスイッチングと確率的摂動を含むハイブリッドスイッチング拡散としてキーモスタットプロセスをモデル化すること。
• 環境の変動を表現するために、ホワイトノイズ（ブラウン運動）とカラーノイズ（オーナイシュタイン＝ウーレンバック過程）の両方を組み込むこと。
• システムのドリフト係数と拡散係数に基づいて、長期的挙動を分類するための閾値パラメータλを定義すること。
• 確率的リャプノフ関数とエルゴディック理論を用いて、不変確率測度の存在およびその指数的収束を分析すること。
• サンプルパス解析とモーメント推定を用いて、臨界ケースλ = 0を扱うこと。
• さまざまなノイズ強度下での確率的モデルの数値シミュレーションを通じて、理論的結果の妥当性を検証すること。

実験結果

リサーチクエスチョン

• RQ1 ホワイトノイズとカラーノイズの両方を含めることで、キーモスタットモデルにおける細菌の長期的生存または絶滅にどのような影響が生じるか？
• RQ2 閾値パラメータλが確率的キーモスタットシステムの漸近的挙動を決定づける役割は、どのように特定されるか？
• RQ3 λ = 0 のとき、システムはどのように振る舞い、λ > 0 やλ < 0 とは何が異なるのか？
• RQ4 解過程が不変確率測度へ指数的速さで収束するための条件は何か？
• RQ5 数値シミュレーションは、λに基づくシステム挙動の理論的分類を確認できるか？

主な発見

• λ ≤ 0 の場合、細菌集団はほとんど確実に絶滅する。これは廃水処理におけるシステムの失敗を示している。
• λ > 0 の場合、解過程は不変確率測度へ指数的速さで収束する。これは長期的な確率的安定性を示している。
• 臨界ケースλ = 0は完全に分析されており、λ > 0 やλ < 0 の場合とは明確に区別される。
• 閾値λは、システムのドリフト係数と拡散係数から導かれる。これは環境ノイズのネット効果を捉えている。
• 数値例から、λの値が細菌の存続または絶滅を正確に予測できることを確認した。
• λ > 0 の下での不変測度への収束は指数的速さで行われており、強いエルゴディック性を示している。