Abstract:We establish the Lipschitz regularity of the a priori bounded local minimizers of integral functionals with non autonomous energy densities satisfying non standard growth conditions under a bound on the gap between the growth and the ellipticity exponent that is reminiscent of the sharp bound already found in [16].
What problem does this paper attempt to address?
### The problems the paper attempts to solve
What this paper attempts to solve is the Lipschitz regularity problem of a priori bounded local minima of integral functionals with non - standard growth conditions. Specifically, the author studied the following variational problem:
\[
\min_{z \in W^{1,p}_{\text{loc}}(\Omega; \mathbb{R}^N)} \int_{\Omega} F(x, Dz) \, dx,
\]
where $\Omega$ is a bounded open set in $\mathbb{R}^n$ with $n\geq2$. The functional $F$ satisfies the following conditions:
1. **Growth condition**:
\[
\ell (1 + |\xi|^2)^{\frac{p}{2}} \leq F(x, \xi) \leq L (1 + |\xi|^2)^{\frac{q}{2}}
\]
2. **Ellipticity condition**:
\[
\nu (1 + |\xi|^2)^{\frac{p - 2}{2}} |\lambda|^2 \leq \sum_{i,\ell,\alpha,\beta} F_{\xi^\alpha_i \xi^\beta_\ell}(x, \xi) \lambda^\alpha_i \lambda^\beta_\ell
\]
3. **Boundedness of the second - order derivative**:
\[
|F_{\xi^\alpha_i \xi^\beta_\ell}(x, \xi)| \leq \tilde{L} (1 + |\xi|^2)^{\frac{q - 2}{2}}
\]
4. **Boundedness of the first - order derivative**:
\[
|F_{x\xi}(x, \xi)| \leq h(x) (1 + |\xi|^2)^{\frac{q - 1}{2}}
\]
Under these conditions, the author proved that if $u\in L^\infty_{\text{loc}}(\Omega; \mathbb{R}^N)\cap W^{1,p}_{\text{loc}}(\Omega; \mathbb{R}^N)$ is a local minimum of the above functional and satisfies the following conditions:
\[
r > \max\{n, p + 2\}
\]
\[
q < p+ 1-\max\left\{\frac{n}{r}, \frac{p + 2}{r}\right\}
\]
then $u$ is locally Lipschitz continuous, and there exists a positive exponent $\hat{\chi}=\hat{\chi}(p, q, r, n)$ such that for any ball $B_{R_0}\Subset\Omega$, the following estimate holds:
\[
\|Du\|_{L^\infty(B_{R_0/2}; \mathbb{R}^{nN})} \leq C\left(1+\|u\|_{L^\infty(B_{R_0}; \mathbb{R}^N)}\right)^{\hat{\chi}},
\]
where $C = C(n, N, \nu, \tilde{L}, \|h\|_{L^r(\Omega)}, R_0)$.
Furthermore, as a result of the Lipschitz regularity, the author also proved that $u\in W^{2,2}_{\text{loc}}(\Omega; \mathbb{R}^N)$, and for any ball $B_{R_0}\Subset\Omega$, the following estimate holds:
\[
\|D^2 u\|_{L^2(B_{R_0/2}; \mathbb{R}^{n^2N})} \leq C\left(1+\|u\|_{