Contact set of solutions to gradient flow of Landau-de Gennes energy with a singular entropy potential

技術要約：特異なエントロピー・ポテンシャルを持つランダウ＝ド・ジェンヌス・エネルギーの勾配流における接触集合

問題設定
本論文は、ネマチック液晶におけるランダウ＝ド・ジェンヌス・エネルギーの勾配流の解の正則性と幾何学的構造を調査するものである。このモデルは、固有値が $(-1/3, 2/3)$ の範囲内に厳密に制限された、トレースレス対称行列で定義される物理的領域 $\mathbb{Q}_{phy} \subset \mathbb{R}^{3\times3}$ 内で進化する行列値秩序パラメータ $Q$（Qテンソル）を用いる。エネルギー汎関数は、異方性弾性エネルギー $G(\nabla Q)$ と、特異なエントロピー・ポテンシャル $f(Q)$ によって駆動されるバルクエネルギー $B(Q)$ を含む。このポテンシャル $f(Q)$ は先行研究で導入されたものであり、物理的領域 $\mathbb{Q}_{phy}$ 内では有限であるが、$Q$ が境界 $\partial \mathbb{Q}_{phy}$ に近づくにつれて $+\infty$ に発散し、物理的制約を強制する。

主な目的は、「接触集合」 $C(Q) = \{x \mid f(Q(x)) = \infty\}$（すなわち、解が物理的制約に違反する空間的な場所）を分析することである。これまでの研究では大域的な解の存在は確立されていたが、動的な設定において、特異なポテンシャルが発散する集合の正確なサイズと構造、特に解がほとんど至る所（almost everywhere）で物理的領域内に厳密に留まるかどうかが未解決の問題であった。

手法
著者らは、凸解析、キャパシティ理論、および球状平均化技術を組み合わせてこの問題に取り組んでいる。

1. 双対定式化と強圧性（Coercivity）：
   本論文はまず、特異なポテンシャル $f(Q)$ に対する厳密な双対定式化を確立する。ラグランジュ乗数とシフトされた固有値を用いて問題を再パラメータ化することにより、物理的境界付近での $f(Q)$ の下界を導出する。決定的なことに、著者らは「自己共役的（self-concordant-like）」な強圧性の不等式：
   $$A : D^2_Q f(Q) A \geq C (D_Q f(Q) : A)^2$$
   （すべての $Q \in \mathbb{Q}_{phy}$ およびテスト行列 $A$ に対して成立）の簡略化された証明を提供する。これは、複雑な積分計算を通じて以前に確立されていたものだが、ここでは分配関数のルジャンドル変換の性質を用いて証明されており、ポテンシャルのヘッセ行列がポテンシャルの勾配の二乗を制御することを示している。

2. 存在性と正則性（定理 1.1）：
   特異性を扱うために、モロー・ヨーズダ（Moreau-Yosida）正則化スキームとガラーキン近似を組み合わせて大域的な弱解を構成する。著者らは、以前は得られていなかった高次のエネルギー評価を導出する。具体的には、有限のエネルギーと変分を持つ初期データに対し、解 $Q(t, x)$ が以下を満たすことを証明する：

• $Q \in L^\infty(0, T; H^2(\mathbb{T}^n))$ かつ $\partial_t Q \in L^\infty(0, T; L^2) \cap L^2(0, T; H^1)$。
• 主要な正則性： 特異なポテンシャル自体が $H^1$ 正則性を有する。すなわち、$f(Q) \in L^2(0, T; H^1(\mathbb{T}^n))$ である。これは、強圧性の不等式と高次のエネルギー評価を組み合わせることにより、ヘッセ行列の勾配と $\partial_t Q$ の積の積分が有限であることを示すことで導かれる。

3. 接触集合の分析（定理 1.2）：
   本論文の核心的な貢献は、$f(Q)$ の $H^1$ 正則性と $Q$ の $H^2$ 正則性のみに基づいて接触集合 $C(Q)$ を特徴付けることにある。著者らは、球状平均化とキャパシティ理論を利用して、特異点付近における $f(Q)$ の発散率を分析する。

• 2次元の場合： もし接触点が存在する場合、ポテンシャルの下限から導かれる $f(Q)$ の対数的な発散率が、2次元における $f(Q)$ の勾配の $H^1$ 束縛と矛盾することを示す。具体的には、$H^1$ エネルギー束縛は $f(Q)$ の球状平均の成長を $O(\sqrt{|\log r|})$ に制限するが、特異性は $O(|\log r|)$ を要求する。この矛盾により、接触集合は空集合となる。
• 3次元の場合： 3次元では、$H^1$ 埋め込みは直ちに特異性を排除するものではない。しかし、 $Q$ と $\nabla Q$ の「行儀の良い（well-behaved）」ルベーグ点の集合を定義し、勾配の分数密度に関する補題 4.1 を適用することで、接触集合のハウスドルフ次元が高々 1 であることを証明する。

主要な結果

• 定理 1.1： $H^2$ 空間正則性と、決定的に特異なポテンシャル $f(Q)$ の $H^1$ 正則性を伴う、勾配流の唯一の大域的解の存在を確立する。
• 定理 1.2： $Q \in H^2$ かつ $f(Q) \in H^1$ である任意の関数に対して、以下を証明する：
  • 2次元では、接触集合 $C(Q)$ は空集合である（$C(Q) = \emptyset$）。
  • 3次元では、接触集合のハウスドルフ次元は高々 1 である（任意の $\epsilon > 0$ に対して $\mathcal{H}^{1+\epsilon}(C(Q)) = 0$）。
• 系 1.1： 定理 1.2 を勾配流の解に適用し、ほとんどすべての時刻 $t$ において、2次元では解が物理的制約を厳密に満たし、3次元における違反の集合は次元 $\leq 1$ の「薄い」集合であることを確認する。

意義と主張
本論文は、以下の2つの点で、先行研究（具体的には [13] および Evans–Kneuss–Hung [6] による静的な変分研究）を改善していると主張している。

1. 動的拡張： [6] は静的なエネルギー極小値の偏正則性を確立したが、本研究は、静的な変分手法が直接適用できない動的な進化系へと接触集合の推定を拡張している。
2. 物理的リアリズム： 著者らは、以前の一般的な枠組みで仮定されていた多項式的な爆発よりも弱い発散を示す、特定の対数的な特異ポテンシャル (1.7) のケースを扱っている。この特定の物理的ポテンシャルのための強圧性を証明し、それによって得られる $f(Q)$ の $H^1$ 正則性を利用することで、より鋭い結果を得ている。すなわち、接触集合は2次元において完全に空であり（これは、2次元において0次元の集合を示唆する一般的な $H^{n-2+\epsilon}$ 束縛よりも、具体的な爆発解析なしには空ではない可能性がある）、この爆発解析によって達成される。

著者らは、3次元における結果（次元 $\leq 1$）が、新しい双対定式化と球状平均化の議論を通じて得られた、特定の対数的発散率とポテンシャル自体の $H^1$ 正則性との相互作用の直接的な帰結であることを強調している。本研究は、特異なエントロキ・ポテンシャルを持つランダウ＝ド・ジェンヌス勾配流が、領域内のほとんど至る所で自然に物理的制約を保持することを、数学的に厳密に正当化している。