[論文レビュー] Distributed space scales in a semilinear reaction-diffusion system including a parabolic variational inequality: A well-posedness study

Tasnim Fatima, Adrian Muntean+1 more|arXiv (Cornell University)|Feb 9, 2012

Advanced Mathematical Modeling in Engineering被引用数 5

ひとこと要約

本稿では、下位スケールの初期データおよび部分的散逸性を伴う低正則性の仮定のもとで、下水道管内のコンクリート腐食をモデル化する二スケール非線形反応拡散系に対して、時間全域における正の解の存在、一意性、有界性を確立している。二スケールガレルキン近似と放物型変分不等式枠組みを用いることで、低正則性の初期データおよび部分的散逸性に対処している。

ABSTRACT

This paper treats the solvability of a semilinear reaction-diffusion system, which incorporates transport (diffusion) and reaction effects emerging from two separated spatial scales: $x$ - macro and $y$ - micro. The system's origin connects to the modeling of concrete corrosion in sewer concrete pipes. It consists of three partial differential equations which are mass-balances of concentrations, as well as, one ordinary differential equation tracking the damage-by-corrosion. The system is semilinear, partially dissipative, and coupled via the solid-water interface at the microstructure (pore) level. The structure of the model equations is obtained in \cite{tasnim1} by upscaling of the physical and chemical processes taking place within the microstructure of the concrete. Herein we ensure the positivity and $L^\infty-$bounds on concentrations, and then prove the global-in-time existence and uniqueness of a suitable class of positive and bounded solutions that are stable with respect to the two-scale data and model parameters. The main ingredient to prove existence include fixed-point arguments and convergent two-scale Galerkin approximations.

研究の動機と目的

• コンクリート腐食に伴うミクロスケール輸送とマクロスケール反応効果を組み込んだ二スケール非線形反応拡散系の適切な定式化を確立すること。
• 初期データおよびモデルパラメータに低正則性の仮定をおく場合でも、時間全域における正の解の存在、一意性、有界性を保証すること。
• ミクロスケール変数における $ H^2 $-正則性や追加のマクロスケール正則性を要求しない数学的枠組みを構築すること。
• 将来的な長時間挙動の解析および系の計算可能性の基盤を提供すること。
• ミクロスケール物理からのアップスケーリングにより、コンクリート下水道管内の連携輸送・反応・損傷プロセスをモデル化すること。

提案手法

• 微小スケールプロセスからの形式的均質化を経て、濃度を記述する3つの偏微分方程式および損傷を記述する1つの常微分方程式から成る二スケール系を定式化する。
• 弱形式におけるマクロスケールとミクロスケールの結合ダイナミクスを扱うために、二スケールガレルキン近似を適用する。
• 特にミクロスケールの界面条件における滑らかでない、または微分不能な部分を管理するため、放物型変分不等式枠組みを用いる。
• 固定点法およびエネルギー推定を用いて、適切な関数空間内での解の存在および一意性を証明する。
• エネルギー法およびグローヴァル型不等式を用いて、濃度に正値性および $ L^∞ $-有界性の制約を課す。
• 解の成長を制御し、有界性を保証するために、$ (w_i - M_i)^+ $ のようなテスト関数を用いた事前推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 反応拡散系において、マクロスケールとミクロスケールが、孔レベルでの界面結合を介してどのように相互作用するか。
• RQ2 モデルの一貫性および物理的妥当性を保証するためのマクロスケールとミクロスケールの間の正しい伝達条件は何か。
• RQ3 低正則性の初期データを伴う、部分的散逸的で非線形な二スケール系に対して、適切に定式化された解が存在可能か。
• RQ4 物理的および数学的整合性を保ちつつ、モデルをどの程度計算的に近似できるか。
• RQ5 このようなマルチスケール系において、濃度の正値性および有界性をどのように厳密に確立できるか。

主な発見

• 系は、領域および微細構造においてほとんど everywhere で正で有界な時間全域の一意解を有する。
• 解は $ w_{1m} \leq M_1 $, $ w_{2m} \leq M_2 $, $ w_{3m} \leq M_3 $, および $ w_{4m} \leq M_4 $ という不等式をそれぞれの定義域で almost everywhere で満たし、物理的整合性を保証する。
• 放物型変分不等式枠組みの使用により、ミクロスケール変数 $ y $ における $ H^2 $-正則性の必要性を回避でき、適用範囲が拡張される。
• 二スケールガレルキン近似スキームは収束し、[15]における既存の収束速度結果によって裏付けられる安定な数値フレームワークを提供する。
• エネルギー推定およびグローヴァルの不等式を用いて、初期データおよびモデルパラメータに対する解の安定性が示された。
• 一意性の証明は、解の有界性および命題6.1の適用に依存しており、十分に大きな $ m $ に対して一意性が保証される。