Regularity Theory for Non-autonomous Partial Differential Equations Without Uhlenbeck Structure

Abstract

Abstract We establish maximal local regularity results of weak solutions or local minimizers of $$\begin{aligned} \mathrm {div}A(x, Du)=0 \quad \text {and}\quad \min _u \int _\Omega F(x,Du)\,\mathrm{d}x, \end{aligned}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mtable> <mml:mtr> <mml:mtd> <mml:mrow> <mml:mi>div</mml:mi> <mml:mi>A</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:mi>D</mml:mi> <mml:mi>u</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn> <mml:mspace/> <mml:mtext>and</mml:mtext> <mml:mspace/> <mml:munder> <mml:mo>min</mml:mo> <mml:mi>u</mml:mi> </mml:munder> <mml:msub> <mml:mo>∫</mml:mo> <mml:mi>Ω</mml:mi> </mml:msub> <mml:mi>F</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:mi>D</mml:mi> <mml:mi>u</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mspace/> <mml:mi>d</mml:mi> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> </mml:mrow> </mml:mtd> </mml:mtr> </mml:mtable> </mml:mrow> </mml:math> providing new ellipticity and continuity assumptions on A or F with general ( p , q )-growth. Optimal regularity theory for the above non-autonomous problems is a long-standing issue; the classical approach by Giaquinta and Giusti involves assuming that the nonlinearity F satisfies a structure condition. This means that the growth and ellipticity conditions depend on a given special function, such as $$t^p$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>t</mml:mi> <mml:mi>p</mml:mi> </mml:msup> </mml:math> , $$\varphi (t)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>φ</mml:mi> <mml:mo>(</mml:mo> <mml:mi>t</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> , $$t^{p(x)}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>t</mml:mi> <mml:mrow> <mml:mi>p</mml:mi> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:msup> </mml:math> , $$t^p+a(x)t^q$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msup> <mml:mi>t</mml:mi> <mml:mi>p</mml:mi> </mml:msup> <mml:mo>+</mml:mo> <mml:mi>a</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:msup> <mml:mi>t</mml:mi> <mml:mi>q</mml:mi> </mml:msup> </mml:mrow> </mml:math> , and not only F but also the given function is assumed to satisfy suitable continuity conditions. Hence these regularity conditions depend on given special functions. In this paper we study the problem without recourse to, special function structure and without assuming Uhlenbeck structure. We introduce a new ellipticity condition using A or F only, which entails that the function is quasi-isotropic, i.e. it may depend on the direction, but only up to a multiplicative constant. Moreover, we formulate the continuity condition on A or F without specific structure and without direct restriction on the ratio $$\frac{q}{p}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mfrac> <mml:mi>q</mml:mi> <mml:mi>p</mml:mi> </mml:mfrac> </mml:math> of the parameters from the ( p , q )-growth condition. We establish local $$C^{1,\alpha }$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mrow> <mml:mn>1</mml:mn> <mml:mo>,</mml:mo> <mml:mi>α</mml:mi> </mml:mrow> </mml:msup> </mml:math> -regularity for some $$\alpha \in (0,1)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>α</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> and $$C^{\alpha }$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mi>α</mml:mi> </mml:msup> </mml:math> -regularity for any $$\alpha \in (0,1)$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>α</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mn>1</mml:mn> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> of weak solutions and local minimizers. Previously known, essentially optimal, regularity results are included as special cases.

Topics & Concepts