On the buckling eigenvalue of unbounded cylinders

技術要約：非有界円柱における座屈固有値について

問題設定
本論文は、$\Omega = A \times \mathbb{R}^{n-d}$（ここで $A \subset \mathbb{R}^d$ は有界開集合、$0 < d < n$）という形の非有界円柱における座屈固有値問題のスペクトルの下限を調査している。座屈固有値 $\Lambda(\Omega)$ は、以下の変分法によって定義される：
$$\Lambda(\Omega) = \inf_{v \in C^\infty_c(\Omega)\setminus\{0\}} \frac{\int_\Omega (\Delta v)^2 \, dx}{\int_\Omega |\nabla v|^2 \, dx}.$$
ディリクレ・ラプラシアンのスペクトルの下限が有界な断面積の主固有値に帰着する（すなわち $\lambda(A \times \mathbb{R}^{n-d}) = \lambda(A)$ となる）ことは標準的な結果であるが、著者らは、この性質が座屈問題においては一般には成立しないことを指摘している。本研究の主な目的は、$\Lambda(A \times \mathbb{R}^{n-d})$ を明示的に特徴付け、それが $\Lambda(A)$ と等しくなる条件を決定することである。

手法
著者らは、変分法と修正された微分作用素のスペクトル解析を組み合わせて用いている。

1. 周波数シフトによる変分的特徴付け：
   核心となる手法的な革新は、断面積 $A$ 上の修正された境界値問題の族を導入することである。任意の $\mu \ge 0$ に対して、以下の問題を解く $\Lambda_\mu(A)$ を定義する：
   $$(\Delta - \mu)^2 u = -\Lambda (\Delta - \mu) u \quad \text{in } A, \quad u = \partial_\nu u = 0 \quad \text{on } \partial A.$$
   これは、以下のレイリー商によって変分的に特徴付けられる：
   $$\Lambda_\mu(A) = \min_{h \in H^2_0(A)\setminus\{0\}} \frac{\int_A (\Delta h - \mu h)^2 \, dx}{\int_A (|\nabla h|^2 + \mu h^2) \, dx}.$$
   著者らは、無限円柱の座屈固有値が、あらゆる可能な周波数シフトに対するこの族の最小値であることを証明している：
   $$\Lambda(A \times \mathbb{R}^{n-d}) = \min_{\mu \ge 0} \Lambda_\mu(A).$$
   この特徴付けの証明には、変数分離（無界方向への正弦波または余弦波の使用）を用いて構成されたテスト関数を用いた上界の確立と、フーリエ解析およびプルンハーレの定理を用いた下界の確立が用いられている。

2. 球体における明示的な計算：
   最小値を明示的に計算するために、著者らは断面積 $A$ が単位球 $B_1^d$ である場合を分析する。彼らは、球座標系における変数分離を用いて修正固有値問題を解き、その解をベッセル関数 ($J_\nu$) および変形ベッセル関数 ($I_\nu$) （$d > 1$ の場合）、あるいは双曲線関数および三角関数（$d=1$ の場合）を用いて表現する。

3. 最小化の解析：
   著者らは、グローバルな最小値を見つけるために、関数 $\mu \mapsto \Lambda_\mu(A)$ を研究する。彼らは、この関数が局所リプシッツ連続であり、極小値 $\bar{\mu}$ が存在することを確立している。

主要な結果

• 一般的な特徴付け (Theorem 1.1): 円柱の座屈固有値は、断面積の修正固有値の最小値に等しい：$\Lambda(A \times \mathbb{R}^{n-d}) = \min_{\mu \ge 0} \Lambda_\mu(A)$。
• 球体の場合 (Theorem 1.2):
  • 次元 $d > 1$: 断面積が次元 $d > 1$ の球である場合、最小値は $\mu = 0$ で達成される。したがって、$\Lambda(B_1^d \times \mathbb{R}^{n-d}) = \Lambda(B_1^d)$ である。すなわち、円柱の座屈固有値は、その有界な断面の固有値と同一である。
  • 次元 $d = 1$: 断面積が区間である場合（すなわち $d=1$、無限ストリップの場合）、最小値は一意な正の $\bar{\mu} > 0$ で達成される。この $\bar{\mu}$ は、以下の超越方程式の唯一の解である：
    $$\sqrt{\mu} \tanh(\sqrt{\mu}) = 1.$$
    この場合、$\Lambda((-1, 1) \times \mathbb{R}^{n-1}) < \Lambda((-1, 1))$ となる。無限ストリップの固有値は、有界な区間の固有値よりも厳密に小さい。

意義と背景
本論文は、有界凸集合に対して Payne が証明した古典的なディリクレ・座屈不等式 $\Lambda(\Omega) \le 4\lambda(\Omega)$ の研究における特定の仮定に対処している。無限ストリップ $(0, 1) \times \mathbb{R}^{n-1}$ は、$\Lambda(\text{strip}) = \Lambda(\text{interval})$ という仮定に基づき、この不等式を漸近的に飽和させる（つまり定数 4 がシャープであることを意味する）と考えられていた。

著者らの結果は、$d=1$ のケースにおいてこの仮定を覆すものである。$\Lambda((-1, 1) \times \mathbb{R}^{n-1}) < \Lambda((-1, 1))$ であることを示すことで、本論文は、無限ストリップが有界な区間と同じ方法でこの不等式を飽和させないことを証明している。この知見は、Payne の不等式における普遍的な定数 4 の改善の可能性を開くものであり、著者らは最近の論文 [2] でこれについて調査を開始したと述べている。本研究は、これらの境界を精緻化するために必要な明示的なスペクトル特性を提供している。