[論文レビュー] Persisting entropy structure for nonlocal cross-diffusion systems

Helge Dietert, Ayman Moussa|arXiv (Cornell University)|Jan 8, 2021

Mathematical and Theoretical Epidemiology and Ecology Models参考文献 27被引用数 5

ひとこと要約

本稿では、非局所的相互拡散系が局所的対応物のエントロピー構造をどのように継承するかを示す十分条件を確立し、解の全域的存在と非局所近似が古典的系に厳密に収束することを保証する。SKTモデルに関しては、非局所正則化から局所系が導かれることが確認され、[12]で提起された未解決問題が解決される。

ABSTRACT

For cross-diffusion systems possessing an entropy (i.e. a Lyapunov functional)we study nonlocal versions and exhibit sufficient conditions to ensure that thenonlocal version inherits the entropy structure. These nonlocal systems can beunderstood as population models per se or as approximation of the classical ones.With the preserved entropy, we can rigorously link the approximating nonlocalversion to the classical local system. From a modelling perspective this gives away to prove a derivation of the model and from a PDE perspective this providesa regularisation scheme to prove the existence of solutions. A guiding example isthe SKT model [22]. In this context we answer positively the question raised byFontbona and M{é}l{é}ard [12] for the derivation and thus complete the derivation.

研究の動機と目的

• 非局所的相互拡散系の非局所的対応物がエントロピー構造をどのように継承するかを示す条件を確立すること。
• 保存されたエントロピー構造を通じて、非局所近似と古典的局所系との間の厳密な接続を提供すること。
• 非局所正則化が局所系に収束することを確認することで、SKTモデルの導出を完了すること。
• 退化放物型相互拡散系における解の存在を示すための正則化スキームを提供すること。
• 粒子系におけるミクロ的可逆性と、集団的非局所エントロピー構造との間の関係を形式化すること。

提案手法

• 局所的勾配を置き換える積分カーネルを用いて、非局所的相互拡散系を定義する。
• エントロピー密度 $ h_i $ と対称行列 $ M(u) $ を用いて、局所系に類似した非局所エントロピー関数を構築する。
• 非局所エントロピーの散逸率を導出し、カーネルおよび拡散係数に関する十分な条件下で非負のまま保たれることを示す。
• 重み付き $ L^2 $ 評価と弱収束の議論を用いて、カーネルが局所化する極限において非局所系の極限に移行する。
• ジェンセンの不等式と $ ilde{p} > 2 $ の $ L^{ ilde{p}} $ における一様有界性を用いて、弱形式における非線形項を制御する。
• 粒子移動モデルにおけるミクロ的可逆性を活用し、非局所カーネルの形を導出し、エントロピー構造を正当化する。

実験結果

リサーチクエスチョン

• RQ1 非局所的相互拡散系が局所的対応物のエントロピー構造を継承する条件は何か？
• RQ2 非局所正則化された相互拡散系が、保存されたエントロピー構造を通じて元の局所系と厳密に結びつけられるか？
• RQ3 SKTモデルの非局所近似は、局所的古典的SKT系に収束するか。その収束により、モデルの導出が完成するか？
• RQ4 粒子系におけるミクロ的可逆性をどのようにして、集団的非局所エントロピー構造を導出するか？
• RQ5 非局所系における保存されたエントロピー構造は、解の全域的存在を示す正則化手法として機能できるか？

主な発見

• 非局所的相互拡散系が局所系のエントロピー構造を継承する十分条件が導出され、散逸が非負であることが保証される。
• 非局所系は、Lyapunov汎関数 $ H(u) = abla ho \to \text{正定値} $ を保存し、長期的安定性を保証する。
• SKTモデルに関しては、局所化するカーネルの極限において、非局所正則化が強い収束を示し、古典的局所系への収束が確認された。
• 非線形項の収束は、$ \nabla u_j^m $ の $ L^2 $-強収束と $ \tilde{p} > 2 $ における一様有界性によって確立され、極限における弱収束が保証される。
• 非局所正則化下でもエントロピー構造が保存され、エントロピー法を用いて全域的弱解の存在が証明可能となる。
• ミクロ的可逆性条件 $ R_r(i,j) = R_l(i+1,j+1) $ が、形式的に非局所カーネル構造を導き、集団的非局所形式の正当化に寄与する。