Analysis for non-local phase transitions close to the critical exponent $s=\frac12$

技术摘要：关于临界指数 $s = 1/2$ 附近非局部相变的分析

问题陈述
本文研究了在分数阶 Sobolev 空间 $H^s$ 中，由分数阶 Gagliardo 半范数扰动的非局部相变能量在 $s$ 趋于临界值 $1/2$ 时的渐近行为。所考虑的能量泛函形式为：
$$\int_\Omega W(u) \, dt + \varepsilon^{2s} [u]_s^2$$
其中 $W$ 是具有 $\pm 1$ 极小值的双阱势，$[u]_s$ 表示 Gagliardo 半范数。

现有文献确立了取决于 $s$ 的不同行为：

• 对于 $s > 1/2$，通过 $1/\varepsilon$ 进行缩放可得到一个周长型 $\Gamma$-极限，其表面张力 $m_s$ 取决于 $s$。
• 对于 $s = 1/2$，仅靠 $1/\varepsilon$ 的缩放是不够的；需要一个对数因子 $1/|\log \varepsilon|$ 才能获得具有特定表面张力 $m_{1/2} = 8$ 的周长型极限。
• 对于 $s < 1/2$，缩放 $\varepsilon^{-2s}$ 会导致一个非局部相变极限。

本文解决的核心问题是描述当 $s_\varepsilon \to 1/2$ 且 $\varepsilon \to 0$ 同时发生时，这些泛函的行为。具体而言，本文寻求一个连续的缩放因子 $\lambda(\varepsilon, s)$，使得对于任何序列 $s_\varepsilon \to 1/2$，重缩放后的泛函都 $\Gamma$-收敛于一个锐界面（sharp-interface）泛函，并分析所得表面张力关于 $s$ 的连续性。

方法论
分析是在 $\Gamma$-收敛框架下进行的。作者结合了下界估计和上界构造（恢复序列）的方法，以确定正确的缩放以及极限泛函。

1. 缩放因子的推导： 通过分析双阱势项与分数阶半范数项之间的竞争，本文通过在过渡宽度 $\sigma_\varepsilon$ 处最小化能量的下界估计，推导出了最优缩放因子 $\lambda(\varepsilon, s)$。这涉及估计在宽度为 $\sigma_\varepsilon$ 的过渡层内，函数在两个阱 $\pm 1$ 之间转换时的能量。
2. 紧性与下界： 利用改编自 Alberti, Bouchitté, 和 Seppecher [1] 以及 Savin 和 Valdinoci [16] 的技术，本文建立了 $L^1$ 中的紧性，并证明任何具有有界能量的序列（在子序列意义下）都收敛到 $BV((0,1); \{-1, 1\})$ 中的函数。下界是通过划分定义域并估计跳跃点附近的能量贡献来推导的，其中利用了核函数 $|x-y|^{-(1+2s)}$ 的单调性。
3. 上界（恢复序列）： 使用分段仿射函数构造了显式的恢复序列，其过渡层宽度与 $\varepsilon$ 成比例。Gagliardo 半范数的估计是通过将积分区域分解为靠近跳跃点的区域和远离跳跃点的区域来实现的。
4. 表面张力的渐近分析： 本文分析了定义表面张力 $m_s$ 的最优剖面问题在 $s \to 1/2^+$ 时的行为。这涉及将 $s > 1/2$ 时的最优值与 $s = 1/2$ 时所需的对数缩放进行比较。

主要贡献与结果

1. 识别缩放因子：
   本文确定了一个连续缩放因子 $\lambda(\varepsilon, s)$，使得对于任何序列 $s_\varepsilon \to 1/2$，泛函 $\lambda(\varepsilon, s_\varepsilon) F^{s_\varepsilon}_\varepsilon$ 都 $\Gamma$-收敛于锐界面泛函：
   $$F_0(u) = \begin{cases} m_{1/2} \#S(u) & \text{若 } u \in BV((0,1); \{-1, 1\}) \\ +\infty & \text{否则} \end{cases}$$
   其中 $\#S(u)$ 是跳跃点的数量，且 $m_{1/2} = 8$。缩放因子由下式给出：
   $$\lambda(\varepsilon, s) = \begin{cases} \frac{2s-1}{1-\varepsilon^{2s-1}} & \text{若 } s > 1/2 \\ \frac{1}{|\log \varepsilon|} & \text{若 } s = 1/2 \\ \frac{2s-1}{\varepsilon^{\frac{1-2s}{2s}}-1} & \text{若 } s < 1/2 \end{cases}$$

2. 尺度分离（Separation of Scales）：
   分析揭示了取决于 $s_\varepsilon$ 向 $1/2$ 收敛的速度相对于 $\varepsilon \to 0$ 的相对速率的“尺度分离”效应：

• 机制 $|2s_\varepsilon - 1| \ll \frac{1}{|\log \varepsilon|}$： 极限由先固定 $s=1/2$（产生对数缩放）然后令 $\varepsilon \to 0$ 来决定。
• 机制 $|2s_\varepsilon - 1| \gg \frac{1}{|\log \varepsilon|}$： 极限由先固定 $s > 1/2$（产生标准缩放）然后令 $s \to 1/2$ 来决定。
  在中间机制 $(2s_\varepsilon - 1)|\log \varepsilon| \to C \in \mathbb{R}$ 中，缩放因子在这些行为之间进行插值。

3. 表面张力的连续性：
   本文证明了与 $\Gamma$-极限相关的表面张力 $m_s$ 在 $s = 1/2$ 处是连续的，即：
   $$\lim_{s \to 1/2^+} (2s - 1)m_s = m_{1/2} = 8$$
   这一结果证实，在应用适当的缩放后，相变在临界指数处的描述是连续的。

4. 临界点的正则性：
   本文确立了 $s = 1/2$ 是该系列泛函的一个“正则点”（regular point），即在 $\Gamma$-等价性（如 [5] 中所定义）的意义下。这意味着对于任何序列 $(s_j, \varepsilon_j) \to (1/2, 0)$ 和 $(s'_j, \varepsilon'_j) \to (1/2, 0)$，所得的 $\Gamma$-极限是相同的。

意义
本文为理解临界指数 $s=1/2$ 附近的非局部相变提供了一个统一的框架。通过引入连续缩放因子 $\lambda(\varepsilon, s)$，它桥接了分数阶区域（$s \neq 1/2$）与临界对数区域（$s=1/2$）之间的鸿沟。结果表明，通过适当的重缩放，原本在 $s=1/2$ 处的奇异性可以得到解决，从而确保了表面张力的连续性和 $\Gamma$-极限的稳定性。这通过 $\Gamma$-展开的视角，将 Alberti, Bouchitté, 和 Seppecher [1] 以及 Solci [17] 的先前结果扩展到了连续的指数范围，证实了从非局部行为到局部（或对数）行为的转变在经过缩放后是平滑的。