Singular limit of lattice graphs

技術要約：格子グラフの特異極限

問題提起
本論文は、エッジの長さ $\varepsilon$ がゼロに近づく際の、$d$ 次元格子グラフ（$\mathbb{Z}^d_\varepsilon$）上の非線形シュレディンガー（NLS）方程式の解の漸近挙動を調査するものである。中心となる問いは、これらの離散構造上の基底状態（作用およびエネルギー汎関数の最小化因子）が、連続的なユークリッド空間 $\mathbb{R}^d$ 上の対応する基底状態に収束するかどうかである。メトリック・グリッドに関する類似の結果は既往の研究（具体的には [11]）で確立されているが、本研究は格子グラフの設定に対処しており、これは格子関数とユークリッド関数の間の直接的な制限および拡張の評価の欠如に起因する、特有の解析的課題を提示している。さらに、本論文は、格子グラフにおいてこれまで未開拓であったソボレフ超臨界ケース（作用については $p > 2^*$、エネルギーについては $p > 2 + 4/d$）への解析を拡張するものである。

手法
著者らは、以下の手法的なステップを通じて、格子グラフ、メトリック・グリッド、およびユークリッド空間を接続する統一されたフレームワークを構築する。

1. 制限および拡張評価の確立： 主要な技術的障壁は、格子グラフ $V^d_\varepsilon$ 上の関数と $\mathbb{R}^d$ 上の関数の間の直接的な評価の欠如である。これを克服するために、著者らは中間空間としてメトリック・グリッド $G^d_\varepsilon$ を導入する。彼らは、線形拡張作用素（格子関数を区分的アフィン補間を通じてメトリック・グリッド関数へ写すもの）および制限作用素（メトリック・グリッド関数を格子値へ写すもの）を構成する。
2. ノルムの同値性と不等式： これらの作用素を用いて、格子グラフ上のソボレフノルムとメトリック・グリッド上のソボレフノルムが、$\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)$ において NLS 方程式の唯一の正の基底状態に強収束することを証明する。著者らは、次元 $d=1,2$ と $d \ge 3$ の間、および $p$ の劣劣臨界（sub-subcritical）範囲と超劣臨界（super-subcritical）範囲の間で、収束率の誤差評価を精密に区別して提供する。
  • エネルギー基底状態： 同様に、$2 < p < 2 + 4/d$ において、固定された質量を持つエネルギー基底状態は、$\mathbb{R}^d$ 上の対応するエネルギー基底状態へと強収束する。
  • 既往研究の洗練： 著者らは、メトリック・グリッドに関する [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^*)$ のとき、エネルギー基底状態であるものと、作用基底状態（これはエネルギー基底状態ではない）であるものの少なくとも2つの異なる正の臨界点が存在するような大きな質量 $\mu$ が存在する。これは、格子グラフにおける作用とエネルギーの基底状態の間の等価性の崩壊を浮き彫りにしており、これは連続的な設定や特定のメトリック・グラフでは観察されない現象である。

• ガリャーディン・ニーレン不等式の最適定数：

  • 本論文は、格子グラフ上のガリャーディン・ニーレン不等式の鋭い定数 $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$ ベースのソボレフ不等式の挙動とは対照的な結果である。

意義および主張
本論文は、格子グラフ上の特異極限問題を研究するための統一的なフレームワークを提供すると主張しており、離散的な微視的構造と連続的な巨視的モデルの間のギャップを埋めるものである。その意義は以下の点にある：

1. 文献の拡張： 以前は格子グラフにおいて研究されていなかったソボレフ超臨界および臨界ケースをカバーすることで、既存の結果を大幅に拡張している。
2. 未解決問題の解決： 基底状態の収束率に関する Dovetta の問いに肯定的に答え、臨界指数に対する新しいガリャーディン・ニーレン不等式を確立した。
3. 離散現象の解明： 固定質量臨界点に関する多重性の結果は、作用とエネルギーの基底状態が必ずしも一致しないという、格子グラフと連続領域（または特定のメトリック・グラフ）との間の構造的な違いを明らかにしている。
4. 数値解析への示唆： 有限グラフ上の基底状態が $\mathbb{R}^d$ 上のものを近似できるという結果（Remark 1.5）は、数値解析において重要であることを著者らは示唆している。

本論文は、格子構造に固有の滑らかさの欠如を扱うために、特定の拡張／制限作用素の構築と新しい離散不等式の導出に依拠した、厳密な変分論的アプローチを維持している。