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

技术摘要：具有线性增长与径向结构的变分积分的 Bernstein 定理

问题陈述
本文研究了对于形式为 $\int_\Omega g(|\nabla u|) \, dx$ 的变分积分，其欧拉-拉格朗日方程的整体解 $u: \mathbb{R}^2 \to \mathbb{R}$ 的 Bernstein 性质。密度函数 $g: [0, \infty) \to \mathbb{R}$ 被假定为严格凸且具有线性增长。核心问题在于，方程
$$\text{div}\left( \frac{g'(|\nabla u|)}{|\nabla u|} \nabla u \right) = 0$$
的所有整体解是否仅为仿射函数。这推广了经典的极小曲面 Bernstein 定理（其中 $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(t-1) \leq g(t) \leq M(t+1)$，其中 $m, M$ 为正常数。
3. 二阶导数的衰减： 一个主要假设是上界 $g''(t) \leq c(1+t)^{-\mu}$，其中 $\mu > 1$。先前的文献（Farina, Sciunzi, Valdinoci）已经确立了在 $\mu \geq 3$ 时成立的 Bernstein 性质。
4. 积分条件： 本文关注更弱的条件：
   $$\int_0^\infty s g''(s) \, ds < \infty.$$
   该条件被指出在关于 $g$-悬链线（$g$-catenoids）的行为方面具有几何显著性，并且在解析上与非凸区域上 Dirichlet 问题解的存在性相关联。

方法论
本文采用两种不同的分析方法，在不同的假设集下建立 Bernstein 性质：

1. 通过 Mikljukov 工作进行的几何分析（定理 1.1）：
   为了在积分条件 (1.6) 下证明 Bernstein 性质，作者利用了 Mikljukov 关于 $\mathbb{R}^3$ 中特定曲面上方程解的行为的研究结果。他们验证了与方程 (1.2) 相关联的线性化算子的系数满足 Mikljukov 定理 5.1 所要求的结构条件。这包括：

   • 检查系数矩阵的迹相对于特定可积函数 $\Theta$ 的衰减情况。
   • 通过 $g$ 的凸性验证严格椭圆性条件（不等式 2.4）。
   • 确保系数在原点处的 $C^1$ 正则性，这要求 $g \in C^3$ 且 $g^{(3)}(0)=0$。
   • 得出梯度 $\nabla u$ 在无穷远处存在极限，这意味着全局有界性，并结合 Moser 的工作，推导出 $u$ 是仿射的。

2. Caccioppoli 型不等式（定理 1.4）：
   为了处理 $g''$ 的衰减比标准点值界（即 $\mu \geq 3$ 时要求的衰减）更弱的情况（特别是允许更慢的衰减），作者采用了先前工作 [14] 中建立的 Caccioppoli 型不等式。

   • 他们定义了包含对数项的特定权重函数 $\lambda(t)$ 和 $\Lambda(t)$。
   • 通过利用测试函数 $\eta$ 测试方程，并利用特定的对数增长条件 $\limsup_{t \to \infty} [g''(t) t \ln^2(t)] < \infty$（条件 1.9），他们导出了一个积分估计。
   • 在增加切向导数 $\partial_t u$ 相对于梯度的特定增长界限（不等式 1.10）的假设下，他们表明 Hessian 项的积分消失，从而迫使解为仿射。

主要贡献与结果

• 定理 1.1（完全 Bernstein 性质）： 作者证明，如果 $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（部分 Bernstein 性质）： 作者在 $g''$ 满足特定对数衰减条件（条件 1.9：$\limsup_{t \to \infty} [g''(t) t \ln^2(t)] < \infty$）的情况下，建立了 Bernstein 结果。该结果在解 $u$ 满足关于梯度的特定切向导数界限时成立：$\ln(1+|\nabla u|)|\partial_t u| \leq K(1+|\nabla u|)$。与定理 1.1 不同，该定理并不要求积分条件 (1.6)，而是依赖于这一不同的对数界限来控制二阶导数的增长。
• 几何解释： 本文强调条件 $\int_0^\infty s g''(s) \, ds < \infty$ 起到了阈值的作用。违反该条件会导致非平凡的径向对称解（类似于悬链线）的存在，并保证了在一般有界区域上 Dirichlet 问题解的存在性，这表明当该条件被违反时，Bernstein 性质失效。

意义与主张
本文声称为具有线性增长的变分积分提供了关于 Bernstein 性质成立条件的精确表述。

• 它确定了积分条件 $\int_0^\infty s g''(s) \, ds < \infty$ 是 Bernstein 性质的充分条件，改进了已知的点值衰减要求。
• 作者推测，如果该积分条件（或相关的指数条件 $\mu > 2$）被违反，Bernstein 性质将会失效，并指出在这一机制下 $g$-悬链线的几何行为会发生根本性变化。然而，他们明确指出，目前仍缺乏一个能够证明在缺乏条件 (1.6) 的情况下 Bernstein 性质失效的具体反例。
• 这项工作通过几何分析（通过 Mikljukov 定理）和变分法，架起了桥梁，为密度函数的二阶导数衰减如何决定整体解的刚性提供了更精细的理解。