The formation of gradient-driven singular structures of codimension one and two in two-dimensions: The case study of ferronematics. Part~{II}: Refined structure of the energy-concentration set

技術要約：フェロネマティックにおけるエネルギー集中集合の精緻な構造

問題設定と背景
本論文は、フェロネマティック（磁性ナノ粒子がネマティック液晶マトリックス中に分散した複合材料）の二次元変分モデルに関する研究の第二部を構成するものである。この系は、液晶の配向を記述するランダウ・ド・ジェンズ $Q$ テンソル（$Q: \Omega \to S^2_0$）と、磁化ベクトル場（$M: \Omega \to \mathbb{R}^2$）という、二つの結合された秩序パラメータによって支配されている。エネルギーには、$Q$ と $M$ の間の整列を促進する特異な結合項を含む、ギンツブルグ・ランダウ型のポテンシャルが含まれる。

著者らは、小パラメータ $\varepsilon \to 0$ における臨界点（必ずしも最小値ではない）の漸近挙動を分析している。伴走論文 [9] では、$Q$ 成分に関連するエネルギー密度が有限個の特異点（$\text{spt } \mu_\star$）に集中することが確立された。本研究の主要な目的は、$M$ 成分の挙動およびそのエネルギー集中集合（$\text{spt } \nu_\star$）の構造を特徴付けることであり、これは孤立した点ではなく、一次元の特異構造（線）を形成することが期待されている。

手法
解析においては、$M$ に関するオイラー＝ラグランジュ方程式（式 9）を、摂動を受けたベクトル型アレン・カーン・システムとして扱う。核心となる困難は、$M$ のポテンシャルの井戸が固定されておらず、空間的に変化する $Q_\varepsilon$ に依存している点にある。これを克服するため、著者らは多角的な戦略を採用している。

1. 摂動を受けたアレン・カーン構造： $Q_\varepsilon$ に依存するポテンシャル $V(M_\varepsilon)$ と、対応するエネルギー汎関数 $E_\varepsilon$ を定義する。彼らは、純粋なアレン・カーン・システムにおける非最小解に対して開発されたエネルギー手法を、この結合された設定に適応させている [6]。
2. 強収束によるデカップリング： [9] で得られた $Q_\varepsilon$ の精緻な収束結果を利用し、$\text{spt } \mu_\star$ から離れた領域において、$Q_\varepsilon$ が滑らかな調和写像 $Q_\star$ へと強収束することを証明する。これにより、結合項を、極限において消失する低次摂動として扱うことが可能となり、領域 $\Omega \setminus \text{spt } \mu_\star$ において純粋なベクトル型アレン・カーン解析の構造を実質的に回復できる。
3. クリアリングアウト（除去）と単調性： $M_\varepsilon$ に関する「クリアリングアウト」定理を確立し、ある球内においてエネルギーが十分に小さい場合、解がポテンシャルの井戸の近くに留まることを示す。決定的なことに、彼らは極限ポテンシャルエネルギー測度 $\zeta_\star$（$\frac{1}{\varepsilon}V(M_\varepsilon)$ の極限）を導入する。全エネルギー測度 $\nu_\star$ とは異なり、$\zeta_\star$ は、可積分性（矩形性）と密度特性を証明するために不可欠な、極限ホップ微分関係（修正されたコーシー・リーマン系）から導かれる単調性公式を満たす。
4. バラフォールド理論： 集中集合の構造は、バラフォールドの言語を用いて分析される。著者らは、$\zeta_\star$ に関連する極限バラフォールド $V_\star$ の第一変分を計算し、定常性とバランス則を確立する。

主要な貢献と結果

• 特異集合の矩形性と構造： 本論文は、$M$ の極限エネルギー測度の台（$\text{spt } \nu_\star$）が、$Q$ 成分の点特異点の外部において、局所的に有限個のセグメントの和（一次元可算矩形集合）であることを証明している。具体的には、集合 $S_\star := \text{spt } \nu_\star \setminus \text{spt } \mu_\star$ は、局所的に有限な測度を持つ、可算 $\mathcal{H}^1$-矩形集合である。
• 極限測度の特徴付け： 著者らは、極限ポテンシャルエネルギー測度 $\zeta_\star$ が、$S_\star$ に制限されたハウスドルフ測度に対して絶対連続であること（$\zeta_\star = v_\star \mathcal{H}^1_{S_\star}$）を示す。さらに、$\zeta_\star$ と全エネルギー測度 $\nu_\star$ は $S_\star$ 上で同値であり、すなわち、同じ台と零集合を共有することを証明している。
• 定常性とバランス則： 極限バラフォールド $V_\star$ は $\Omega \setminus \text{spm } \mu_\star$ において定常である。本論文は、全領域 $\Omega$ における $V_\star$ の第一変分に関する精密なバランス則を導出している。この変分は、有限個の集合 $\text{spt } \mu_\star$ に完全に集中しており、ギンツブルグ・ランダウ・繰り込みエネルギーの勾配によって与えられる。これは、点欠陥（$Q$-特異点）の相互作用エネルギーが、線の特異性（$M$-特異点）の張力によって釣り合われるという臨界条件を確立している。
• 強収束： 著者らは、特異集合の和（$\Omega \setminus (\text{spt } \mu_\star \cup \text{spt } \nu_\star)$）の補集合において、$M_\varepsilon$ が極限写像 $M_\star$ へと局所一様強収束することを証明している。

意義と主張
本論文は、フェロネマティック・モデルにおける磁化成分のエネルギー集中集合の完全な特徴付けを提供すると主張しており、これは、最小値または $Q$ 成分のみに限定されていた従来の結果を拡張するものである。非最小解の解析を [6] から結合系へと適応させることで、著者らは、液晶と磁場の間の複雑な結合が、特異性の基本的な幾何学的構造（これらは依然として矩形な線である）を変えることはないが、点欠陥と線欠陥の間の特定の相互作用メカニズムを導入することを実証している。

本研究は、$M$ 成分の特異集合が単なる線の集まりではなく、 $Q$ の欠陥の繰り込みエネルギーに関わるバランス則によって支配される変分構造を持つことを確立している。著者らは、密度関数 $v_\star$ はセグメント上で局所的に定数であるが、本論文ではそれが整数値（整数性）であることを証明していないものの、形式的な議論に基づき、特定のパラメータ領域においてそれは妥当な性質であると示唆している。結果は、伴走論文 [9] で確立されたエネルギー推定値およびコンパクト性結果に強く依存している。