[論文レビュー] Existence of weak solutions to a cross-diffusion Cahn-Hilliard type system

Virginie Ehrlacher, Greta Marino+1 more|arXiv (Cornell University)|Jul 2, 2020

Solidification and crystal growth phenomena参考文献 36被引用数 9

ひとこと要約

本稿は、非定常状態の自己拡散型 Cahn-Hilliard 系に対して、特異的移動度と単一の相分離成分を有する弱解の全域的存在を確立する。系の形式的勾配流構造を活用し、補助的変分問題を用いて「エントロピーによる有界性」法を拡張することで、事前推定の欠如に起因する困難を克服し、時間離散化近似スキームにおいて極限を厳密にとる。

ABSTRACT

The aim of this article is to study a Cahn-Hilliard model for a multicomponent mixture with cross-diffusion effects, degenerate mobility and where only one of the species does separate from the others. We define a notion of weak solution adapted to possible degeneracies and our main result is (global in time) existence. In order to overcome the lack of a-priori estimates, our proof uses the formal gradient flow structure of the system and an extension of the boundedness by entropy method which involves a careful analysis of an auxiliary variational problem. This allows to obtain solutions to an approximate, time-discrete system. Letting the time step size go to zero, we recover the desired weak solution where, due to their low regularity, the Cahn-Hilliard terms require a special treatment.

研究の動機と目的

• 多成分 Cahn-Hilliard 系に自己拡散と特異的移動度を組み合わせた弱解の全域的存在を確立すること。
• 特異的移動度と Cahn-Hilliard 項の低正則性に起因する事前推定の欠如という課題に対処すること。
• 唯一の成分 u₀ のみが相分離を経験するという制約と整合する弱解フレームワークを構築すること。
• 「エントロピーによる有界性」法を、特に u₀ のみに作用する特異的 Ginzburg-Landau エネルギーを有する非標準的構造を扱えるように拡張すること。
• 時間離散化・半implicitスキームにおいて、事前推定が得られない状況下でも、連続時間設定での弱解を回復するための極限操作を厳密に行うこと。

提案手法

• 近似解の構成を導くために、系の形式的勾配流構造が活用される。
• 特異的かつ自己拡散的状況下での「エントロピーによる有界性」法の拡張のため、補助的変分問題が導入される。
• 時間離散化・半implicitスキームが定式化され、化学ポテンシャル μ はエネルギー E(𝐮) の汎関数微分として定義される。
• 特徴関数 χ_{M^ε,c(t)} と切断技術を用いた濃度および特異性の解析を通じて、u₀uᵢ∇w₀ などの主要な項の弱収束が確立される。
• τ→0⁺ の極限処理は、弱コンパクトネスと L^p 空間における強い収束性に依拠し、Lebesgue の収束定理を用いる。
• 最終的な弱形式は、L²((0,T);H¹(Ω)) に属する関数によるテストによって導出され、初期条件は密度性の議論によって回復される。

実験結果

リサーチクエスチョン

• RQ1 自己拡散と特異的移動度を有する多成分 Cahn-Hilliard 系に対して、弱解が存在しうるか。ただし、相分離は唯一の成分 u₀ のみに限定される。
• RQ2 特異的移動度と非対称自己拡散項を有する系に対して、「エントロピーによる有界性」法をどのように拡張できるか。
• RQ3 標準的な H² 正則性が期待できない状況下で、このような系に対して適切な弱解の概念とは何か。
• RQ4 特異性に起因して事前推定が得られない状況下で、時間離散化近似スキームにおいて極限を取る方法は何か。
• RQ5 補助的変分問題は、特異性および相界面近傍における解の振る舞いを制御するために果たす役割は何か。

主な発見

• 著者らは、特異的移動度と単一の相分離成分（u₀）を有する自己拡散型 Cahn-Hilliard 系に対して、弱解の全域的存在を証明する。
• 解は、すべての i=0,…,n に対して、(0,T)×Ω ほぼ everywhere で 0 ≤ uᵢ ≤ 1 および ∑uᵢ = 1 を満たす。
• 化学ポテンシャル μ は、エネルギー E(𝐮) の汎関数微分として定義され、u₀ のみに作用する特異的 Ginzburg-Landau 項を含む。
• 時間離散化スキームの極限は、時間微分 ∂ₜuᵢ が L²((0,T);(H¹(Ω))′) に属する弱形式を導く。
• 自己拡散項 u₀uᵢ∇w₀ の収束は、κᵢJ として特定され、ここで κᵢ = uᵢ/(1−u₀) かつ J = (1−u₀)u₀∇w₀ である。
• 初期条件 uᵢ(0,⋅) = uᵢ⁰ は、密度性および弱コンパクトネスの議論によって回復される。