Solutions with clustering concentration layers to the Ambrosetti-Prodi type problem

技术摘要：具有聚类浓度层的 Ambrosetti-Prodi 型问题解

问题表述
本文研究定义在光滑有界区域 $\Omega \subset \mathbb{R}^2$ 上的一类特定 Ambrosetti-Prodi 型问题具有聚类浓度层解的存在性。所考虑的主要方程为：
$$\begin{cases} -\text{div}(A(x)\nabla u) = |u|^p - \tilde{t}\Psi(x), & \text{in } \Omega, \\ u = 0, & \text{on } \partial\Omega, \end{cases}$$
其中 $\tilde{t} > 0$，$p > 3$，且 $\Psi$ 是算子 $L(u) = -\text{div}(A(x)\nabla u)$ 对应于第一特征值的特征函数。矩阵 $A(x)$ 是一个对称的正定 $2 \times 2$ 矩阵值函数。

本研究关注 $\tilde{t} \to +\infty$ 时的渐近行为。通过令 $\epsilon^2 = \tilde{t}^{-(p-1)/p}$，该问题被转化为一个奇异摄动方程：
$$\begin{cases} -\epsilon^2 \text{div}(A(x)\nabla u) = |u|^p - \Psi(x), & \text{in } \Omega, \\ u = 0, & \text{on } \partial\Omega. \end{cases}$$
虽然先前的文献（例如 Dancer 和 Yan）确立了在特定点聚集的解的存在性，且 Manna 和 Santra 将这一结果推广到拉普拉斯算子情形（$A(x) = I$）下沿闭曲线聚集的解，但本文处理的是涉及变系数矩阵 $A(x)$ 的更一般情形。

方法论
作者采用了无限维约化方法（也称为 Lyapunov-Schmidt 约化），这是 del Pino、Kowalczyk、Wei 等人针对类似浓度问题开创的技术。核心策略包括以下步骤：

1. 几何设定与坐标变换：
   作者在 $\Omega$ 内一条简单闭光滑曲线 $\Gamma$ 的邻域内引入了修正的 Fermi 坐标系 $(z, s)$。假设曲线 $\Gamma$ 是泛函
   $$K(\Gamma) = \int_{\Gamma} \Psi^{\frac{p+3}{2p}} d\text{vol}_g$$
   的一个非退化临界点，其中 $g$ 是由伴随矩阵 $A^*$ 定义的黎曼度量。该坐标系允许算子 $\text{div}(A(\epsilon y)\nabla v)$ 进行渐近展开。此处的一项关键技术贡献是推导了针对一般算子 $\text{div}(A(\epsilon y)\nabla v)$ 的新展开式（引理 2.2），这与先前用于 $\text{div}(\nabla a(y)u)$ 的方法不同。

2. 近似解的构造：
   解被构造为沿 $\Gamma$ 方向的 $N$ 个浓度层（峰）的叠加。近似解的形式为：
   $$u_{\epsilon} \approx \Psi^{1/p} + \sum_{k=1}^N w\left( \frac{s - \epsilon f_k(z)}{\epsilon} \right),$$
   其中 $w$ 是极限一维问题 $-w'' = |1-w|^p - 1$ 的唯一解。函数 $f_k$ 表示各层相对于曲线的位置。

3. 线性与非线性分析：

   • 线性理论： 作者发展了线性理论以解决“内部”和“外部”问题。他们利用线性化一维算子的谱性质，并处理算子 $-\text{div}(A(x)\nabla \cdot)$ 的非对称性，建立了围绕近似解的线性化算子的可逆性。
   • 非线性理论： 利用不动点论证（Schauder 和 Banach 定理），他们求解了非线性误差方程。这涉及推导函数 $w$ 及其导数的精确衰减估计（附录 A），并管理 $N$ 个层之间的相互作用项。

4. 约化为有限维系统：
   全问题的可解性被约化为求解关于参数 $f_j$ 和辅助函数 $e_j$ 的常微分方程组（Jacobi-Toda 系统）。该系统控制着浓度层之间的相互距离及其与曲线 $\Gamma$ 的偏差。该约化系统解的存在性依赖于 $\Gamma$ 作为 $K(\Gamma)$ 临界点的非退化性。

主要结果
主要定理（定理 1.2）指出，如果 $\Gamma$ 是泛函 $K(\Gamma)$ 的一个非退化临界点，那么对于任意整数 $N > 0$，存在一个序列 $\epsilon_l \to 0$（对应于 $\tilde{t}_l \to +\infty$），使得该问题 admit 一个具有恰好 $N$ 个浓度层的正解 $u_{\epsilon_l}$。

这些解的关键特征包括：

• 聚类： $N$ 个层沿曲线 $\Gamma$ 定向分布。
• 间距： 相邻层之间的相互距离为 $O(\epsilon_l |\log \epsilon_l|)$ 量级。
• 收敛性： $N$ 个层的质心以 $O(\epsilon_l^{1+\mu})$ 的速率坍缩至 $\Gamma$，其中 $\mu > 0$ 为某个小量。
• 结构： 解渐近地由函数 $w$ 的平移剖面的和来描述，并受 $\Gamma$ 的几何形状和矩阵 $A(x)$ 的调制。

参数 $f_j$ 满足一个 Jacobi-Toda 系统，其系数源自度量 $A^*$ 和特征函数 $\Psi$。该系统的解的存在性由 $\Gamma$ 上的非退化条件保证。

意义与贡献
本文提出了两个主要的动机和贡献：

1. 多重浓度层： 它构造了具有任意数量 $N$ 个沿曲线聚类的浓度层的解，扩展了此前仅关注单峰或特定构型的结果。
2. 矩阵 $A(x)$ 的影响： 它探讨了变系数矩阵 $A(x)$ 如何影响高维浓度行为。作者证明，浓度曲线的几何形状由伴随矩阵 $A^*$ 诱导的黎曼度量决定，从而将拉普拉斯算子（$A=I$）情形下已知的结果推广到一般椭圆算子情形。

这项工作弥合了具有一般椭圆算子的 Ambrosetti-Prodi 型问题中点浓度解与高维浓度集（曲线）研究之间的空白，验证了关于曲线浓度行为的 Hollman-McKenna 猜想在此广义设定下成立。本文并未提出新的实验应用，而是为这些特定的渐近解结构提供了严格的数学存在性证明。