On the criticality and the principal eigenvalue of almost periodic elliptic operators

技術要約：ほとんど周期的な楕円型作用素における臨界性と主固有値について

問題提起
本論文は、非有界領域で定義された楕円型作用素、特にほとんど周期（a.p.）な係数を持つ作用素に焦点を当て、臨界性理論と一般化された主固有値の概念との関係を調査している。主固有値は、有界領域や周期的な作用素においてはクレイン・ルトマン理論を通じて明確に定義されるが、ほとんど周期的な設定においては、その定義と性質が曖昧になる。中心となる問題は、a.p.な主固有値（a.p.な正の固有関数を許容する固有値）の存在が、作用素が臨界的であること（正の解の空間が1次元であること）と同値であるかどうかを判断することである。さらに、本論文は、ほとんど周期的な文脈における極限作用素への移行における臨界性の安定性を検証している。

手法
著者は、スペクトル理論、楕円型偏微分方程式（PDE）解析、および構成的な反例を組み合わせた手法を用いている。

1. 定義と枠組み： 本論文は、Berestyck, Hamel, Nirenberg, および Varadhan によって導入された、非有界領域における一般化された主固有値（$\lambda_1, \lambda'_1, \lambda''_1$）の枠組みを利用している。ここでは、$Lu=0$ の正の解の空間の次元、または正の超解の存在に基づいて、劣臨界的（subcritical）、臨界的（critical）、および過臨界的（supercritical）な作用素を区別している。
2. リュービル型の結果： 解析には、有界な正の解の存在が低次元（$N \le 2$）において臨界性を導く条件を確立するために、リュービル型の定理（特に Nordmann および Pinchover によるもの）を活用している。
3. 構成的な反例： 手法の核心は、潜在的な同値性を否定するための、ほとんど周期的な関数および作用素の明示的な構成にある。著者は、先行研究 [27] で構築された、リミット周期（a.p. の部分集合）であり、奇関数であり、かつ特定の積分特性を持つ特定の関数 $b(x)$ を利用している。この関数は、非自己共役および自己共役な作用素 $u'' \pm 2b(x)u'$ を定義するために使用される。
4. 自己共役形式への変換： スペクトル特性を分析するために、非自己共役な作用素は、指数的な変数変換（$v = e^{\int b} u$）を通じて、自己共役なシュレディンガー型作用素へと変換される。
5. 極限作用素の解析： 係数の平行移動の列を構成することで、極限作用素を定義する。構築された関数の漸近挙動を分析することで、それらの極限作用素の臨界性を決定する。

主要な貢献と結果
本論文は、周期的な設定とほとんど周期的な設定の相違を明らかにする3つの主要な結果を提示している。

1. A.P. 作用素に関するリュービル型の結果：
   本論文は、正の a.p. 解を許容する正則な係数を持つ自己共役な作用素について、空間次元が $N \le 2$ である場合に限り、その作用素は臨界的であることを確立している（系 2.4）。これは、既知の周期的な作用素の結果を、a.p. な解を仮定した条件下でほとんど周期的なケースへと拡張するものである。

2. 臨界性と A.P. 主固有値の非同値性（反例 1）：
   著者は、次元 $N=1$ において、臨界的であるが正の a.p. 固有関数を許容しない自己共役な a.p. 作用素を構成している。

• メカニズム： 作用素 $L = \partial_x^2 - 2b(x)\partial_x$ は、有界な正の解 $\phi(x) = e^{-\int_0^x b(t)dt}$ を許容するが、これは無限遠でゼロに減衰する。
• 結果： $\phi$ は（スカラー倍を除いて）唯一の正の解であるが、減衰 due to decay により a.p. ではないため、この作用素は臨界的であるが a.p. な主固有値を持たない。これは、次元 1 においてさえ、臨界性が a.p. な主固有値の存在を意味しないことを示している。

3. 極限への移行における臨界性の不安定性（反例 2）：
   本論文は、$\lambda_1 = 0$ である自己共役な a.p. 作用素 $L$ を示しているが、これは極限作用素 $L^*$ が臨界的であるようなケースである。

• メカニズム： 関数 $b(x)$ の平行移動された係数の極限を分析することにより、正の有界解を許容する極限作用素 $L^*$ を構成する。
• 結果： これは、ほとんど周期的な設定において、臨界性が極限作用素への移行の下で不変な性質ではないことを示している。劣臨界的な作用素が臨界的な極限を持つことがあり、逆に（注釈 1 で述べられているように）臨界的な作用素が劣臨界的な極限を持つこともある。

意義と主張
本論文は、「ほとんど周期的な設定における臨界性の不安定な性質」を明らかにすると主張している。すべての極限作用素（単なる平行移動である）が臨界性を共有する周期的なケースとは異なり、ほとんど周期的な設定では、作用素とその極限との間に乖離が生じ得る。

具体的には、本論文は周期的な作用素とほとんど周期的な作用素の間の3つの顕著な違いを強調している：

1. $\lambda_1 = 0$ である a.p. 作用素は、臨界的ではない可能性がある（次元 1 においても）。一方で、周期的な作用素の場合、$L + \lambda_1$ は常に $N \le 2$ で臨界的である。
2. 臨界的な a.p. 作用素に対して、a.p. な主固有値の存在は保証されない。
3. 臨界性は、極限作用素の形成の下で保存されない。

本研究は、一般化された主固有値理論のレビューおよび拡張として機能しており、周期的な作用素の構造的性質（低次元における臨界性と周期的な固有値の存在の同値性など）が、自動的にはほとんど周期的なケースへと拡張されないことを明らかにしている。これらの結果は、確率的な道具よりも、リミット周期関数に関する初等的な構成と性質に依拠しており、これらのスペクトル現象に対する PDE 中心的な視点を提供している。