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}.$$
虽然对于 Dirichlet 拉普拉斯算子的谱底在圆柱体上可以简化为其有界截面的主特征值（即 $\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{在 } A \text{ 内}, \quad u = \partial_\nu u = 0 \quad \text{在 } \partial A \text{ 上}.$$
   该问题通过瑞利商（Rayleigh quotient）进行变分刻画：
   $$\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).$$
   利用通过分离变量法（使用无界方向上的正弦/余弦波）构造的测试函数来建立上界，并结合傅里叶分析与普朗歇尔定理（Plancherel's theorem）来建立下界，从而完成该刻画的证明。

2. 在球体上的显式计算：
   为了显式计算该最小值，作者分析了截面 $A$ 为单位球 $B_1^d$ 的情况。他们利用球坐标系下的分离变量法求解修正后的特征值问题，将解表示为贝塞尔函数（$J_\nu$）和修正贝塞尔函数（$I_\nu$）（对于 $d > 1$），或者双曲/三角函数（对于 $d=1$）。

3. 极小化分析：
   作者研究了函数 $\mu \mapsto \Lambda_\mu(A)$ 以寻找其全局最小值。他们证明该函数是局部 Lipschitz 连续的，且存在极小值点 $\bar{\mu}$。

主要结果

• 一般性刻画（定理 1.1）： 圆柱体的屈曲特征值恰好是截面修正特征值的最小值：$\Lambda(A \times \mathbb{R}^{n-d}) = \min_{\mu \ge 0} \Lambda_\mu(A)$。
• 球体的情形（定理 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))$。无限条带的特征值严格小于有界区间的特征值。

意义与背景
本文针对研究经典 Dirichlet-屈曲不等式 $\Lambda(\Omega) \le 4\lambda(\Omega)$ 时的一个特定假设进行了探讨，该不等式由 Payne 证明，适用于有界凸集。此前人们一直认为，无限条带 $(0, 1) \times \mathbb{R}^{n-1}$ 会渐近地饱和该不等式（意味着常数 4 是锐利的），其依据是基于 $\Lambda(\text{strip}) = \Lambda(\text{interval})$ 的假设。

作者的结果反驳了针对 $d=1$ 情况下的这一假设。通过证明 $\Lambda((-1, 1) \times \mathbb{R}^{n-1}) < \Lambda((-1, 1))$，本文表明无限条带并不像有界区间那样饱和该不等式。这一发现为改进 Payne 不等式中的通用常数 4 提供了可能，作者指出他们已在最近的一篇论文 [2] 中开始探索这一课题。这项工作为精炼这些界限提供了显式的谱刻画。