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

Technical Summary: Bernstein's Theorem for Variational Integrals of Linear Growth and Radial Structure

Problem Statement
The paper investigates the Bernstein property for entire solutions $u: \mathbb{R}^2 \to \mathbb{R}$ of the Euler-Lagrange equation associated with variational integrals of the form $\int_\Omega g(|\nabla u|) \, dx$. The density function $g: [0, \infty) \to \mathbb{R}$ is assumed to be strictly convex and of linear growth. The central question is whether the only entire solutions to the equation
$$\text{div}\left( \frac{g'(|\nabla u|)}{|\nabla u|} \nabla u \right) = 0$$
are affine functions. This generalizes the classical Bernstein theorem for minimal surfaces (where $g(t) = \sqrt{1+t^2}$), which asserts that any entire minimal graph is a plane.

Assumptions and Framework
The authors impose the following structural conditions on $g$:

1. Regularity and Convexity: $g \in C^2([0, \infty))$, $g'(0)=0$, and $g''(t) > 0$ for $t \geq 0$.
2. Linear Growth: $m(t-1) \leq g(t) \leq M(t+1)$ for positive constants $m, M$.
3. Decay of Second Derivative: A primary assumption is the upper bound $g''(t) \leq c(1+t)^{-\mu}$ for $\mu > 1$. Previous literature (Farina, Sciunzi, Valdinoci) established the Bernstein property for $\mu \geq 3$.
4. Integral Condition: The paper focuses on the weaker condition:
   $$\int_0^\infty s g''(s) \, ds < \infty.$$
   This condition is noted to be geometrically significant regarding the behavior of $g$-catenoids and analytically linked to the existence of solutions for Dirichlet problems on non-convex domains.

Methodology
The paper employs two distinct analytical approaches to establish the Bernstein property under different sets of assumptions:

1. Geometric Analysis via Mikljukov's Work (Theorem 1.1):
   To prove the Bernstein property under the integral condition (1.6), the authors utilize a result by Mikljukov concerning the behavior of solutions to specific equations on surfaces in $\mathbb{R}^3$. They verify that the coefficients of the linearized operator associated with equation (1.2) satisfy the structural conditions required by Mikljukov's Theorem 5.1. This involves:

   • Checking the decay of the trace of the coefficient matrix against a specific integrable function $\Theta$.
   • Verifying a strict ellipticity condition (inequality 2.4) derived from the convexity of $g$.
   • Ensuring the $C^1$ regularity of the coefficients at the origin, which requires $g \in C^3$ and $g^{(3)}(0)=0$.
   • Concluding that the gradient $\nabla u$ has a limit at infinity, implying global boundedness and, via Moser's work, that $u$ is affine.

2. Caccioppoli-Type Inequalities (Theorem 1.4):
   To address cases where the decay of $g''$ is weaker than the standard pointwise bounds (specifically allowing for slower decay than required for $\mu \geq 3$), the authors employ a Caccioppoli-type inequality established in prior work [14].

   • They define specific weight functions $\lambda(t)$ and $\Lambda(t)$ involving logarithmic terms.
   • By testing the equation with a cut-off function $\eta$ and utilizing the specific growth condition $\limsup_{t \to \infty} [g''(t) t \ln^2(t)] < \infty$ (Condition 1.9), they derive an integral estimate.
   • Under the additional assumption that the tangential derivative $\partial_t u$ satisfies a specific growth bound relative to the gradient (inequality 1.10), they show that the integral of the Hessian terms vanishes, forcing the solution to be affine.

Key Contributions and Results

• Theorem 1.1 (Full Bernstein Property): The authors prove that if $g \in C^3$, satisfies the linear growth and convexity conditions, and fulfills the integral condition $\int_0^\infty s g''(s) \, ds < \infty$, then any $C^3$ entire solution to the Euler-Lagrange equation is an affine function. This extends previous results that required the stronger pointwise decay $g''(t) \leq c(1+t)^{-\mu}$ with $\mu \geq 3$.
• Theorem 1.4 (Partial Bernstein Property): The authors establish a Bernstein result under a specific logarithmic decay condition on $g''$ (Condition 1.9: $\limsup_{t \to \infty} [g''(t) t \ln^2(t)] < \infty$), which is a weak form of the polynomial decay assumption (1.5). This result holds provided the solution $u$ satisfies a specific bound on its tangential derivative: $\ln(1+|\nabla u|)|\partial_t u| \leq K(1+|\nabla u|)$. Unlike Theorem 1.1, this theorem does not require the integral condition (1.6) but instead relies on this distinct logarithmic bound to control the growth of the second derivative.
• Geometric Interpretation: The paper highlights that the condition $\int_0^\infty s g''(s) \, ds < \infty$ acts as a threshold. Its violation leads to the existence of non-trivial radially symmetric solutions (analogous to catenoids) and guarantees the solvability of Dirichlet problems on general bounded domains, suggesting that the Bernstein property fails when this condition is violated.

Significance and Claims
The paper claims to provide a precise formulation of the conditions under which the Bernstein property holds for variational integrals of linear growth.

• It identifies the integral condition $\int_0^\infty s g''(s) \, ds < \infty$ as a sufficient condition for the Bernstein property, improving upon the known pointwise decay requirements.
• The authors conjecture that the Bernstein property fails if this integral condition (or the related exponent condition $\mu > 2$) is violated, noting that the geometric behavior of $g$-catenoids changes fundamentally in that regime. However, they explicitly state that a concrete counterexample demonstrating the failure of the Bernstein property in the absence of condition (1.6) is currently missing.
• The work bridges geometric analysis (via Mikljukov's theorems) and variational calculus, offering a refined understanding of how the decay of the second derivative of the density function dictates the rigidity of entire solutions.