The Ginzburg-Landau system with general potential: maximum principle and gradient estimates

技术摘要：具有一般势函数的金兹堡-朗道系统：最大值原理与梯度估计

问题陈述
本文研究了定义在有界区域 $\Omega \subset \mathbb{R}^M$（$M, N \ge 2$）上的金兹堡-朗道能量泛函 $F_\varepsilon$ 的临界点，其取值为 $\mathbb{R}^N$：
$$F_\varepsilon[u] = \int_\Omega \left[ \frac{1}{2}|\nabla u|^2 + \frac{1}{2\varepsilon^2} W(1 - |u|^2) \right] dx,$$
其中 $\varepsilon > 0$ 是一个小参数，$W$ 是一个非负势函数。研究重点是满足单位长度狄利克雷边界条件（$u_\varepsilon|_{\partial\Omega} \in S^{N-1}$）的一族临界点 $(u_\varepsilon)$，当 $\varepsilon \to 0$ 时，这些临界点收敛于一个平稳的 $S^{N-1}$ 值调和映射 $u_0$。

本文研究的核心挑战在于处理具有一般条件的势函数 $W$ 下的这些临界点。不同于通常假设标准二次势 $W(t) = \frac{1}{2}t^2$ 或要求 $u_\varepsilon$ 为能量极小值的经典文献，本研究考虑了一般性的临界点和可能在零集附近表现出超二次行为的势函数。这种普适性是由物理模型驱动的，例如液晶理论中的朗道-德热纳（Landau-de Gennes）理论以及铁磁学中的布卢梅-卡佩尔（Blume-Capel）模型，这些模型可能涉及一阶相变。

方法论
作者结合使用了椭圆正则性理论、最大值原理、单调性公式以及障碍构造法。

1. 模最大值原理： 为了建立全局界限 $|u_\varepsilon| \le 1$，作者构造了一族全空间径向解，作为标量金兹堡-朗道方程的障碍函数。这些解作为障碍，用于推导向量临界点 $u_\varepsilon$ 的模之界限。这种方法避免了通常在更简单情形下要求的 $W'(t) \le 0$（对于 $t < 0$）这一条件。
2. 单调性公式： 作者为缩放后的能量密度 $\phi_{x_0}(r) = r^{-(M-2)} \int_{\Omega \cap B_r(x_0)} e_\varepsilon(u) dx$ 推导了一个单调性公式。该公式经过调整以处理边界点，利用了 Pohozaev 型恒等式和边界 Rellich 型估计来控制边界附近的能量集中。
3. 梯度与拉普拉斯估计： 证明一致梯度界限的基础在于极限映射 $u_0$ 的连续性。作者表明，$u_0$ 的连续性意味着在所有尺度上能量集中都极小。这种微小性允许应用博赫纳（Bochner）不等式，并控制模和方向场的拉普拉斯算子。
4. 微分不等式： 为了界定 $\Delta u_\varepsilon$（从而界定势能项 $\varepsilon^{-2}W'(1-|u_\varepsilon|^2)$），作者分析了势能密度所满足的半线性微分不等式。他们区分了 $\alpha=1$（线性，可通过贝塞尔函数求解）和 $\alpha > 1$（半线性，需要类似于共形几何中 Loewner-Nirenberg 方程的技术）这两种情况。

关键假设
假设势函数 $W \in C^2((-\infty, 1])$ 满足：

• $W(0) = 0$ 且对于 $t \le 0$ 有 $W(t) \ge 0$。
• 在 $t \in (0, 1]$ 时 $W(t) > 0$。
• 在 $t=0$ 附近的局部非退化性：当 $t \to 0$ 时，$W'(t) \sim c_0(\alpha+1)t|t|^{\alpha-1}$，其中 $\alpha \ge 1$，且在 $t=0$ 附近 $W''(t) \ge 0$。
  这些假设允许势函数不一定是全局凸的，并能容纳二阶（$\alpha=1$）和一阶（$\alpha > 1$）相变。

主要结果

1. 全局最大值原理（定理 1.1）：
   在 $W(0)=0$ 且对于所有 $t \le 1$ 有 $W(t) \ge 0$ 这一弱假设下，每个具有单位长度边界数据的 $u_\varepsilon \in H^1 \cap L^\infty$ 临界点在 $\Omega$ 内都满足全局一致界限 $|u_\varepsilon| \le 1$。即使在 $W$ 不是凸的或对于某些 $t < 0$ 有 $W'(t) > 0$ 的情况下，该结果依然成立，排除了模超过 1 的反例。

2. 一致梯度与拉普拉斯估计（定理 1.3）：
   假设极限 $u_0$ 是光滑平稳调和映射且边界数据为 $C^{1,\beta}$，作者证明了临界点族 $(u_\varepsilon)$ 在 $C^{1,\beta'}(\Omega)$ 中满足一致界限（对于任何 $\beta' < \beta$）。具体而言：
   $$\|\Delta u_\varepsilon\|_{L^\infty(\Omega)} + \|u_\varepsilon\|_{C^{1,\beta}(\Omega)} \le C,$$
   其中 $C$ 与 $\varepsilon$ 无关。此外，$u_\varepsilon$ 在 $\varepsilon \to 0$ 时在 $C^{1,\beta'}(\Omega)$ 中收敛于 $u_0$。

意义与主张
本文声称为研究具有一般势函数的金兹堡-朗道系统的临界点的存在性与唯一性提供了必要的分析框架，这一课题在作者的伴随论文 [25] 中有所讨论。

• 最大值原理的鲁棒性： 作者强调，在一般势函数的背景下，其最大值原理是全新的。它表明，对于临界点而言，势函数 $W$ 在大 $|u|$ 处（即用于导出 $W$ 的泰勒展开可能偏离物理现实的区域）的准确性并不重要；只有在各向同性状态（$u=0$）和优选状态（$|u|=1$）附近的性质才起作用。
• 拓扑框架： 定理 1.3 中建立的一致 $C^{1,\beta}$ 估计被视为应用隐函数定理进行论证、以证明在非退化调和映射附近解的存在性与唯一性的关键拓扑框架。
• 普适性： 通过超越标准的二次势和能量极小值，研究结果能够涵盖更广泛的物理现象，包括一阶相变，同时保持对解的正则性和界限的严格控制。

文章结论指出，这些估计对于弥合依赖于 $\varepsilon$ 的金兹堡-朗道问题与极限调和映射问题之间的差距至关重要，特别是在处理非极小临界点和复杂的势能景观时。