[論文レビュー] Longtime behavior for a generalized Cahn--Hilliard system with fractional operators

Pierluigi Colli, Gianni Gilardi+1 more|arXiv (Cornell University)|Jan 1, 2019

Nonlinear Partial Differential Equations参考文献 31被引用数 4

ひとこと要約

本稿は、特異ポテンシャルを伴う一般化された分数マクスウェル・カーン–ヒルヤール系の解の長期間挙動を調査し、位相パラメータ y の ω-極限に注目する。λ₁ > 0 であれば、化学ポテンシャル µ は無限大で消え、すべての ω-極限点は定常解である。λ₁ = 0 であれば、ω-極限はより弱い方程式を満たし、非一意で時間に依存する関数 µ∞ を含むが、µ∞ が一意的かつ定数である条件が提示されている。

ABSTRACT

In this contribution, we deal with the longtime behavior of the solutions to the fractional variant of the Cahn-Hilliard system, with possibly singular potentials, that we have recently investigated in the paper `Well-posedness and regularity for a generalized fractional Cahn-Hilliard system' (see arXiv:1804.11290). More precisely, we study the omega-limit of the phase parameter and characterize it completely. Our characterization depends on the first eigenvalue of one of the operators involved: if it is positive, then the chemical potential vanishes at infinity and every element of the omega-limit is a stationary solution to the phase equation; if, instead, the first eigenvalue is 0, then every element of the omega-limit satisfies a problem containing a real function related to the chemical potential. Such a function is nonunique and time dependent, in general, as we show by an example. However, we give sufficient conditions in order that this function be uniquely determined and constant.

研究の動機と目的

• 特異ポテンシャルを伴う一般化された分数マクスウェル・カーン–ヒルヤール系における位相パラメータ y の ω-極限を特徴づけること。
• t → ∞ のときの化学ポテンシャル µ の漸近的挙動を特定すること。
• 演算子 A のスペクトル条件に応じて、ω-極限集合の構造を分析すること。
• 制限された化学ポテンシャル関数 µ∞ が一意的かつ定数であるための十分条件を同定すること。
• 特異非線形性を有する非局所的・分数階 Cahn–Hilliard 系における長期間ダイナミクスの理解を拡張すること。

提案手法

• L²(Ω) 上の自己共役で単調かつ無限大の有界でない演算子 A および B の分数乗 Ar および Bσ を用いて、系を定式化する。これらの演算子はコンパクトな解体を有する。
• 部分微分作用素 β = ∂bβ と C¹-滑らかな摂動 π を含む変分的定式化を採用し、f = bβ + π とおく。
• L²(0,T; VσB) および L²(0,T; VrA) における弱収束技法を用い、t → ∞ のときの列 (yn, µn) の極限を分析する。
• Poincaré 型の不等式と保存則（例えば平均値保存）を用いてノルムを制御し、極限方程式を導出する。
• 極限における変分不等式を導出し、λ₁ > 0 または λ₁ = 0 に応じた場合分けを行う。
• µn が L∞loc([0, ∞)) に弱収束し、λ₁ = 0 のとき µ∞ が空間に依存しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般化された分数マクスウェル・カーン–ヒルヤール系における位相パラメータ y の ω-極限集合の構造は何か？
• RQ2 演算子 A の最初の固有値 λ₁ は、化学ポテンシャル µ の長期間挙動にどのように影響を与えるか？
• RQ3 λ₁ = 0 のとき、制限関数 µ∞ が一意的かつ定数であるための条件は何か？
• RQ4 λ₁ > 0 のとき、ω-極限集合が定常解の集合として特徴づけられるか？
• RQ5 λ₁ = 0 のとき、yω が満たす極限方程式の性質は何か？また、定常状態とはどのように異なるか？

主な発見

• λ₁ > 0 であれば、t → ∞ のとき µ(t) → 0 であり、ω-極限集合のすべての要素 yω は、位相方程式 B²σyω + f′(yω) = u∞ の定常解である。
• λ₁ = 0 であれば、すべての yω は、ほとんどすべての t ∈ (0, ∞) に対して、B²σyω + f′(yω) = u∞ + µ∞(t) を弱い形で満たす。ここで µ∞ ∈ L∞loc([0, ∞)) は一意的でなく、定数であるとは限らない。
• λ₁ = 0 の一般の場合に、µ∞ が非定数かつ非一意である例が構成された。
• µ∞ が一意に定まりかつ定数であるための十分条件が提示され、極限方程式が強い意味で成り立つことが保証された。
• y がコンパクト区間 [a,b] に値をとり、f′ がその上でリプシッツ連続であるという追加仮定のもと、極限方程式は B²σyω + f′(yω) = µ∞ + u∞ と書き換えられ、µ∞ は定数かつ一意的である。
• 極限関数 y∞ は時間に依存せず、[0,T] 上で yω と等しい。これは、yω が ω-極限において定常状態であることを示している。