Maximal regularity for local minimizers of non-autonomous functionals
We establish local $C^{1,α}$-regularity for some $α\in(0,1)$ and $C^α$-regularity for any $α\in(0,1)$ of local minimizers of the functional \[ v\ \mapsto\ \int_Ωϕ(x,|Dv|)\,dx, \] where $ϕ$ satisfies a $(p,q)$-growth condition. Establishing such a regularity theory with sharp, general conditions has been an open problem since the 1980s. In contrast to previous results, we formulate the continuity requirement on $ϕ$ in terms of a single condition for the map $(x,t)\mapsto ϕ(x,t)$, rather than separately in the $x$- and $t$-directions. Thus we can obtain regularity results for functionals without assuming that the gap $\frac qp$ between the upper and lower growth bounds is close to $1$. Moreover, for $ϕ(x,t)$ with particular structure, including $p$-, Orlicz-, $p(x)$- and double phase-growth, our single condition implies known, essentially optimal, regularity conditions. Hence, we handle regularity theory for the above functional in a universal way.