Low regularity potentials in heterogeneous Cahn--Hilliard functionals

この論文「LOW REGULARITY POTENTIALS IN HETEROGENEOUS CAHN–HILLIARD FUNCTIONALS（不均一な Cahn-Hilliard 汎関数における低正則性ポテンシャル）」は、液体 - 液体相分離の原型モデルである Cahn-Hilliard 汎関数を、非常に不規則な（低正則な）設定で研究したものです。著者らは、ポテンシャル関数や相分離の「井戸（wells）」の正則性に関する仮定を大幅に緩和しつつも、コンパクト性定理と $\Gamma$-収束の結果を確立することに成功しました。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的サマリーを記します。

1. 問題設定と背景

Cahn-Hilliard 汎関数は、二つの安定相（$a, b \in \mathbb{R}^M$）を持つ系における自由エネルギーを記述します。通常、以下の形式の汎関数が $\varepsilon \to 0$ の極限でどのように振る舞うかが研究されます。

$$F_\varepsilon(u) := \int_\Omega \left[ \frac{1}{\varepsilon} W(x, u(x)) + \varepsilon |\nabla u(x)|^2 \right] dx$$

ここで、$W(x, u)$ は自由エネルギー密度であり、$u=a(x)$ および $u=b(x)$ のみでゼロになります。
従来の研究（Fonseca-Tartar, Bouchitté, Cristoferi et al. など）では、井戸 $a(x), b(x)$ やポテンシャル $W$ に対して、リプシッツ連続性や、井戸付近での二次関数的な振る舞い（$W(u) \sim |u-a|^2$）といった強い正則性仮定が課されてきました。

本研究の課題:
これらの仮定を大幅に弱め、より一般的な「低正則性」の状況（例えば、井戸が有界変動（BV）関数である場合、ポテンシャルが井戸付近で非凸であったり、連続性がない場合など）でも、相分離の漸近挙動（界面エネルギー）を記述できるか、という点です。特に、ベクトル値の場合（$M \ge 1$）は、スカラー値の場合と異なり、最適プロファイル（遷移経路）のユークリッド長が有界であることを保証するためにポテンシャルの挙動が重要であり、これが技術的な難点となっていました。

2. 主要な仮定と設定

著者らは、以下の非常に弱い仮定（H1）～（H8）を導入しました。

• ポテンシャルの構造 (H1)-(H5):
  • $W$ は Carathéodory 関数。
  • 井戸 $a(x), b(x)$ は $BV(\Omega; \mathbb{R}^M) \cap L^\infty$ に属し、分離している（$|a-b| \ge \delta$）。
  • ポテンシャルは井戸からの距離に対して、ある連続関数 $f$ によって上下から制御される（$f$ は $0$ でゼロ、非減少）。
  • 無限遠での線形成長条件（$W(x,u) \ge C|u|$ for large $|u|$）。
  • 重要: $f$ は二次関数である必要はなく、井戸付近で凹であってもよい（例：$f(t)=t^\alpha$）。
• 正則性の強化 (H6)-(H8) ($\Gamma$-収束のために):
  • 領域 $\Omega$ が $C^2$ 部分多様体の境界を持つ有限個の領域に分割され、各領域内で井戸とポテンシャルが $W^{1,2} \cap C^0$ である。
  • ポテンシャルは相対的な連続性条件（H7）を満たす（井戸が動く場合の調整 $T$ を用いる）。
  • 関数 $f$ に関する倍加条件（H8）：$f(2t) \le C f(t)$。これは測地線のユークリッド長の有界性を保証するために不可欠です。

3. 手法と技術的革新

この論文の核心的な技術的貢献は、以下の 3 点に集約されます。

A. 測地線距離とユークリッド長の有界性 (Theorem 4.8)

ベクトル値の場合、最適プロファイルはポテンシャル $W$ がゼロになる点（井戸）を結ぶ「測地線」として定義されます。ポテンシャルが井戸でゼロになるため、この計量は退化します。

• 課題: 従来の文献では、測地線のユークリッド長が有界であることを保証するために、ポテンシャルが井戸付近で二次関数的に振る舞うことを要求していました。
• 革新: 著者らは、より弱い条件（(G1)-(G3) および (H8) の倍加条件）の下でも、退化計量に対する測地線のユークリッド長が一様に有界であることを証明しました。
• 反例 (Example 4.10): もしこれらの条件が満たされない場合、測地線のユークリッド長が無限大になる反例を構成し、この条件の必要性を示しました。

B. 井戸の固定化と調整写像 (Adjustment Map)

井戸 $a(x), b(x)$ が空間的に変動する場合、解析が困難になります。

• 手法: 著者らは、変数変換 $T(x, u)$ を導入し、変動する井戸を固定された井戸（例えば $\pm e_1$）に変換する「調整（adjustment）」を行いました。
• これにより、空間依存性をポテンシャルの係数に吸収させ、固定された井戸を持つ問題として扱えるようにしました。この際、$BV$ 関数の連鎖律（Chain rule）を慎重に用いることで、変換後の関数の正則性を制御しています。

C. 有限周長集合の近似 (Proposition 4.15)

$\Gamma$-収束の limsup 不等式（回復列の構成）において、ジャンプ集合（界面）を滑らかな曲面で近似する必要があります。

• 課題: エネルギー密度が空間的に不連続（井戸がジャンプする）な場合、従来の近似手法ではエネルギーの保存が保証されません。
• 革新: 井戸のジャンプ面（$C^2$ 部分多様体）と整合するように、有限周長集合を $C^2$ 境界を持つ集合で近似する新しい定理を証明しました。これにより、界面が井戸のジャンプ面と一致する部分ではエネルギーが保存され、滑らかな部分では近似誤差が制御されます。

4. 主要な結果

定理 2.16: コンパクト性定理

仮定 (H1)-(H5) のみで、エネルギーが一様に有界な列 $\{u_n\}$ から、$L^1$ 収束する部分列 $\{u_{n_k}\}$ を選び出すことができます。極限関数 $u$ は、$BV(\Omega; \{a, b\})$ に属し、値は常に井戸 $a(x)$ または $b(x)$ のどちらかをとります。

• 意義: ポテンシャルの正則性や井戸の滑らかさに関する強い仮定なしに、相分離構造（界面を持つ定常状態）が存在することを保証しました。

定理 2.17: $\Gamma$-収束

仮定 (H1)-(H8) の下で、汎関数列 $\{F_\varepsilon\}$ は $L^1$ 位相に関して $F_\infty$ に $\Gamma$-収束します。極限汎関数は以下の通りです。
$$F_\infty(u) = \int_{J_u \cap \Omega} d_W(x; u^-(x), u^+(x)) \, d\mathcal{H}^{N-1}(x)$$
ここで、$d_W$ は空間点 $x$ におけるポテンシャル $W(x, \cdot)$ によって定義される測地線距離です。

• 意義: 不均一な媒質における相分離の界面エネルギーが、局所的な「最適遷移コスト（測地線距離）」の積分で記述されることを示しました。これは、井戸が空間的に変動し、ポテンシャルが低正則であっても、古典的な結果と同様の構造が保たれることを意味します。

定理 2.20: 質量制約付きの場合

質量制約 $\int_\Omega u = m$ を課した場合でも、同様のコンパクト性と $\Gamma$-収束が成り立ちます。

• 手法: 回復列の構成において、質量の誤差を補正するための局所的な修正（バブルの追加・削除）を行い、エネルギーへの影響を $\varepsilon \to 0$ で消滅させることを示しました。

5. 意義と貢献

1. 仮定の大幅な緩和: 従来の研究で必須とされていた「井戸のリプシッツ連続性」や「ポテンシャルの二次関数的挙動」を不要にしました。これにより、より物理的に現実的な（不連続な材料特性や、非凸なポテンシャルを持つ）モデルの解析が可能になりました。
2. ベクトル値問題への適用: スカラー値の場合と異なり、ベクトル値の場合の技術的難点（測地線の長さ制御）を、新しい成長条件（H8）と測地線距離の性質の解析によって克服しました。
3. 一般化された界面エネルギー: 不均一な媒質における界面エネルギー密度が、局所的な測地線距離として定義されることを厳密に証明しました。これは、材料科学における異方性や不均一性を伴う相分離現象のモデル化に重要な基礎を提供します。
4. 技術的ツール: 退化計量における測地線の長さ制御や、ジャンプする係数を持つ有限周長集合の近似といった、変分法および幾何学的測度論の新しい技術的ツールを提供しました。

総じて、この論文は Cahn-Hilliard 型の相分離モデルの数学的基礎を、非常に広いクラスの不均一性と低正則性の下で再構築し、その漸近挙動を完全に特徴づけた画期的な成果です。