Singular limit of lattice graphs

技术摘要：格点图的奇异极限

问题陈述
本文研究了在边长 $\varepsilon$ 趋于零时，$d$ 维格点图（$\mathbb{Z}^d_\varepsilon$）上非线性薛定谔（NLS）方程解的渐近行为。核心问题在于，这些离散结构上的基态（作用量泛函和能量泛函的极小值点）是否收敛到欧几里得空间 $\mathbb{R}^d$ 上相应的基态。虽然先前的工作已在度量网格（metric grids）上建立了类似的结论（具体见 [11]），但本研究针对的是格点图（lattice graph）的情形，由于缺乏格点函数与欧几里得函数之间直接的限制（restriction）和扩展（extension）估计，这呈现出了截然不同的分析挑战。此外，本文将分析扩展到了 Sobolev 超临界情形（对于作用量 $p > 2^*$，对于能量 $p > 2 + 4/d$）以及临界情形（$p = 2^*$），这些领域在格点图的研究中此前尚未被探索。

方法论
作者开发了一个统一的框架，通过以下方法论步骤将格点图、度量网格和欧几里得空间联系起来：

1. 建立限制与扩展估计： 一个主要的数学障碍是格点图 $V^d_\varepsilon$ 与 $\mathbb{R}^d$ 之间缺乏直接的估计。为了克服这一点，作者引入了一个中间空间：度量网格 $G^d_\varepsilon$。他们构造了线性扩展算子（通过分段仿射插值将格点函数映射到度量网格函数）和限制算子（将度量网格函数映射到格点值）。
2. 范数等价性与不等式： 利用这些算子，作者证明了格点图上的 Sobolev 范数与度量网格上的 Sobolev 范数在经过 $\varepsilon$ 相关的缩放因子后是等价的。他们推导出了适用于度量网格上集中非线性项的新 Gagliardo-Nirenberg 型不等式，这对于控制不同尺度之间的相互作用至关重要。
3. 变分分析： 本研究采用变分方法来分析作用量泛函 $\hat{J}_{\omega, V^d_\varepsilon}$ 和能量泛函 $\hat{E}_{V^d_\varepsilon}$。通过建立格点图上的基态序列在经过适当缩放和扩展后，构成对应于 $\mathbb{R}^d$ 上泛函的极小化序列，作者利用紧性论证证明了收敛性。
4. 处理超临界与临界情形： 对于超临界指数（$p > 2^*$），作者利用缩放论证表明 $\mathbb{R}^d$ 上作用量泛函的下确界为零，从而导致基态收敛于零。对于能量泛函在超临界质量约束情形下，他们证明了发散现象。

主要贡献与结果

• 亚临界情形下的收敛性：

  • 作用量基态： 对于 $2 < p < 2^*$，本文证明了格点图上作用量基态的扩展在 $H^1(\mathbb{R}^d)$ 中强收敛于 $\mathbb{R}^d$ 上 NLS 方程的唯一正基态。作者提供了收敛速率的精确误差估计，区分了维度 $d=1,2$ 与 $d \ge 3$，以及 $p$ 在亚亚临界（sub-subcritical）与超亚临界（super-subcritical）范围内的差异。
  • 能量基座： 同样地，对于 $2 < p < 2 + 4/d$，具有固定质量的能量基态收敛于 $\mathbb{R}^d$ 上相应的能量基态。
  • 对前人工作的改进： 作者通过建立一种新的 Gagliardo-Nirenberg 型不等式，改进了 [11] 中关于度量网格的收敛速率结果，回答了 Dovetta 提出的关于速率 $O(\varepsilon^{\frac{d-2}{2}(2^*-p)})$ 的开放性问题。

• 超临界与发散结果：

  • 作用量超临界 ($d \ge 3, p > 2^*$)： 作者表明缩放后的作用量泛函值趋于零，且基态在 $H^1(\mathbb{R}^d)$ 中强收敛于零。
  • 能量超临界 ($d \ge 2, p > 2 + 4/d$)： 与亚临界情形相反，本文证明了对于大质量，格点图上的能量基态在 $\varepsilon \to 0$ 时在 $H^1(\mathbb{R}^d)$ 中发散，且能量趋于 $-\infty$。

• 临界点的多重性：

  • 作为奇异极限分析的一个副产品，本文建立了格点图上能量泛函固定质量临界点的多重性结果。具体而言，对于 $d \ge 2$ 且 $p \in (2 + 4/d, 2^*)$，存在大质量 $\mu$，使得能量泛函拥有至少两个不同的正临界点：一个是能量基态，另一个是作用量基态（后者并非能量基态）。这凸显了格点图上作用量基态与能量基态之间不等的现象，而这种现象在连续情形或某些度量图上并未观察到。

• Gagliardo-Nirenberg 不等式的最优常数：

  • 本文研究了格点图上 Gagliardo-Nirenberg 不等式的锐利常数 $K_{q, V^d_1}$。它证明了 $K_{q, V^d_1} \ge K_{q, \mathbb{R}^d}$。
  • 至关重要的是，对于范围 $q \in [2 + 4/d, 2^*)$（以及当 $d \ge 3$ 时 $q=2^*$），作者证明了 $K_{q, V^d_1} = K_{q, \mathbb{R}^d}$。
  • 他们进一步表明，对于 $q \in (2 + 4/d, 2^*)$，格点上的最优常数是无法达到的。
  • 本文解决了关于 $d \ge 3$ 且 $q = 2^*$ 情况下的一个开放问题，即确定了格点上的最优常数等于 $\mathbb{R}^d$ 上的最优常数（即 $K_{2^*, V^d_1} = K_{2^*, \mathbb{R}^d}$），这一结果与基于 $L^1$ 的度量网格上的 Sobolev 不等式的行为形成对比。

意义与主张
本文声称提供了一个研究格点图上奇异极限问题的统一框架，架起了离散微观结构与连续宏观模型之间的桥梁。其意义在于：

1. 扩展文献范围： 它通过涵盖此前在格点图中未被研究的 Sobolev 超临界和临界情形，实质性地扩展了现有研究成果。
2. 解决开放问题： 它正面回答了 Dovetta 关于基态收敛速率的问题，并建立了临界指数情况下的新 Gagliordan-Nirenberg 不等式。
3. 揭示离散现象： 关于固定质量临界点的多重性结果揭示了格点图与连续域（或某些度量图）之间的结构性差异，即作用量基态与能量基态并不总是等价的。
4. 数值意义： 作者指出，关于有限图上的基态可以近似 $\mathbb{R}^d$ 上基态的结果（注 1.5）对于数值分析具有重要意义。

本文保持了严谨的变分方法，依赖于特定扩展/限制算子的构造以及新离散不等式的推导，以处理格点结构中固有的缺乏光滑性的问题。