Bernstein's theorem for variational integrals of linear growth and radial structure

技術要約：線形成長および放射状構造を持つ変分積分に関するバーンスタインの定理

問題設定
本論文は、変分積分 $\int_\Omega g(|\nabla u|) \, dx$ に付随するオイラー＝ラグランジュ方程式の全解 $u: \mathbb{R}^2 \to \mathbb{R}$ に関するバーンスタインの性質を調査している。密度関数 $g: [0, \infty) \to \mathbb{R}$ は、厳密に凸であり、かつ線形成長を持つと仮定されている。中心となる問いは、次の方程式
$$\text{div}\left( \frac{g'(|\nabla u|)}{|\nabla u|} \nabla u \right) = 0$$
の全解がアフィン関数のみであるかどうかである。これは、任意の全極小グラフは平面であることを主張する、極小曲面（$g(t) = \sqrt{1+t^2}$ の場合）に関する古典的なバーンスタインの定理を一般化するものである。

仮定および枠組み
著者らは、$g$ に対して以下の構造条件を課している：

1. 正則性と凸性： $g \in C^2([0, \infty))$、 $g'(0)=0$、および $t \geq 0$ に対して $g''(t) > 0$。
2. 線形成長： 正の定数 $m, M$ に対して $m(t-1) \leq g(t) \leq M(t+1)$。
3. 二階微分の減衰： 主要な仮定は、上界 $g''(t) \leq c(1+t)^{-\mu}$ （ただし $\mu > 1$）である。先行文献（Farina, Sciunzi, Valdinoci）では、$\mu \geq 3$ の場合にバーンスタインの性質が確立されている。
4. 積分条件： 本論文は、より弱い条件である以下に焦点を当てている：
   $$\int_0^\infty s g''(s) \, ds < \infty.$$
   この条件は、$g$-カテナイドの振る舞いに関して幾何学的に重要であり、非凸領域におけるディリクレ問題の解の存在性と解析的に関連していることが指摘されている。

手法
著者らは、異なる一連の仮定の下でバーンスタインの性質を確立するために、2つの異なる解析的手法を用いている：

1. Mikljukovの研究による幾何学的解析（定理 1.1）：
   積分条件 (1.6) の下でバーンスタインの性質を証明するために、著者らは $\mathbb{R}^3$ 内の曲面上の特定の方程式の解に関する Mikljukov の結果を利用している。彼らは、方程式 (1.2) に付随する線形化作用素の係数が、Mikljukov の定理 5.1 が要求する構造条件を満たすことを検証している。これには以下が含まれる：

   • 係数行列のトレースが特定の可積分関数 $\Theta$ に対して減衰することの確認。
   • $g$ の凸性から導かれる厳密な楕円性条件（不等式 2.4）の検証。
   • 原点における係数の $C^1$ 正則性の確保（これは $g \in C^3$ かつ $g^{(3)}(0)=0$ を必要とする）。
   • 勾配 $\nabla u$ が無限遠において極限を持つことを結論付けること。これにより、全域的な有界性が導かれ、Moser の研究を通じて $u$ がアフィンであることが示される。

2. カッチョリ型不等式（定理 1.4）：
   $g''$ の減衰が標準的な点別境界（具体的には $\mu \geq 3$ で要求されるものよりも遅い減衰を許容する場合）よりも弱いケースに対処するため、著者らは先行研究 [14] で確立されたカッチョリ型の不等式を用いる。

   • 彼らは、対数項を含む特定の重み関数 $\lambda(t)$ および $\Lambda(t)$ を定義する。
   • 遮断関数 $\eta$ を用いて方程式をテストし、特定の対数的減衰条件 $\limsup_{t \to \infty} [g''(t) t \ln^2(t)] < \infty$ （条件 1.9）を利用することで、積分評価を導出する。
   • 接線方向の微分 $\partial_t u$ が勾配に対して特定の成長境界（不等式 1.10）を満たすという追加の仮定の下で、ヘッセ行列の項の積分が消滅することを示し、解がアフィンであることを強制する。

主要な貢献および結果

• 定理 1.1 (完全なバーンスタインの性質)： 著者らは、$g \in C^3$ であり、線形成長および凸性の条件を満たし、かつ積分条件 $\int_0^\infty s g''(s) \, ds < \infty$ を満たすとき、オイラー＝ラグランジュ方程式の任意の $C^3$ 全解はアフィン関数であることを証明した。これは、より強い点別減衰 $g''(t) \leq c(1+t)^{-\mu}$ （$\mu \geq 3$）を必要とした従来の成果を拡張するものである。
• 定理 1.4 (部分的なバーンスタインの性質)： 著者らは、$g''$ に関する特定の対数的減衰条件（条件 1.9：$\limsup_{t \to \infty} [g''(t) t \ln^2(t)] < \infty$）の下で、バーンスタインの結果を確立した。これは、多項式減衰の仮定 (1.5) の弱い形態である。この結果は、解 $u$ が接線方向の微分について特定の成長境界 $\ln(1+|\nabla u|)|\partial_t u| \leq K(1+|\nabla u|)$ を満たす場合に成立する。定理 1.1 とは異なり、この定理は積分条件 (1.6) を必要とせず、代わりに $g''$ の成長を制御するためのこの異なる対数境界に依存している。
• 幾何学的解釈： 本論文は、条件 $\int_0^\infty s g''(s) \, ds < \infty$ が閾値として機能していることを強調している。この条件が満たされない場合、非自明な放射状対称解（カテナイドに類似したもの）が存在することになり、一般的な有界領域におけるディリクレ問題の可解性を保証する。これは、この条件が満たされない場合にバーンスタインの性質が崩れることを示唆している。

意義および主張
本論文は、線形成長を持つ変分積分に対してバーンスタインの性質が成立する条件を、精密な定式化を提供することを主張している。

• 積分条件 $\int_0^\infty s g''(s) \, ds < \infty$ がバーンスタインの性質の十分条件であることを示し、既知の点別減衰の要求を改善した。
• 著者らは、この積分条件（または関連する指数条件 $\mu > 2$）が満たされない場合にバーンスタインの性質が成立しないという予想を立てており、$g$-カテナイドの幾何学的振る舞いがそのレジームにおいて根本的に変化することに触れている。しかし、条件 (1.6) が欠如している場合にバーンスタインの性質の失敗を示す具体的な反例は、現時点では存在しないと明記している。
• 本研究は、幾何学的解析（Mikljukov の定理による）と変分法を橋渡しし、密度関数の二階微分の減衰が全解の剛性にどのように影響するかについての洗練された理解を提供するものである。