On the interplay between $(p,q)$-growth and $x$-dependence of the energy integrand: a limit case

Titel en Context

Het artikel onderzoekt de lokale Lipschitz-regulariteit van lokale minimalizers van niet-autonome variatie-integralen van de vorm:
$$\int_{\Omega} F(x, Dz) \, dx$$
waarbij $\Omega$ een begrensd open deelverzameling is van $\mathbb{R}^n$ ($n \geq 2$). Het centrale thema is de interactie tussen de $(p, q)$-groeicondities van de energiedichtheid $F$ ten opzichte van de gradiëntvariabele en de regulariteit van de afbeelding $x \mapsto F(x, \xi)$.

Het Probleem

In de regulariteitstheorie voor functionalen met niet-standaard groei (waarbij de groei in de gradiëntvariabele varieert tussen $p$ en $q$ met $1 < p \leq q$), is een bekend obstakel het verschijnsel van Lavrentiev. Om dit te vermijden en de regulariteit van minimalizers te garanderen, worden specifieke voorwaarden gesteld aan de $x$-afhankelijkheid van de integrand.

Eerdere werken (zoals Eleuteri-Marcellini-Mascolo [12]) hebben aangetoond dat als de partiële afbeelding $x \mapsto F(x, \xi)$ behoort tot de Sobolev-ruimte $W^{1,r}$ (met $r > n$) en de exponents voldoen aan de strikte ongelijkheid:
$$\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$$
dan zijn de minimalizers lokaal Lipschitz-continu ($W^{1,\infty}_{loc}$).

Het doel van dit artikel is om deze resultaten uit te breiden naar de grensgeval (limit case) waarbij de gelijkheid geldt:
$$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$$
Bovendien behandelen de auteurs het geval waarbij $r \to n$, wat leidt tot een verdere verfining van bestaande resultaten voor standaard groei ($p=q$).

Aannames en Kader

De energiedichtheid $F(x, \xi)$ voldoet aan de volgende voorwaarden:

1. Structuur: $F$ is een Carathéodory-functie, $C^2$ in $\xi$, en voldoet aan $F(x, \xi) = \tilde{F}(x, |\xi|)$.
2. Ellipticiteit en Groei: Er bestaan constanten $\lambda, \Lambda > 0$ en een parameter $\mu \in [0, 1]$ zodat voor de tweede afgeleiden geldt:
   $$\lambda (\mu^2 + |\xi|^2)^{\frac{p-2}{2}} |\zeta|^2 \leq \sum F_{\xi_i \xi_j} \zeta_i \zeta_j \leq \Lambda (\mu^2 + |\xi|^2)^{\frac{q-2}{2}} |\zeta|^2$$
   Dit impliceert de $(p, q)$-groei voor $F$ zelf.
3. $x$-Afhankelijkheid: De afgeleide $F_{\xi x}$ wordt begrensd door een functie $h(x)$:
   $$|F_{\xi x}(x, \xi)| \leq h(x) (\mu^2 + |\xi|^2)^{\frac{q-1}{2}}$$
   De functie $h(x)$ behoort tot de Orlicz-Zygmund-ruimte $L^r \log^\alpha L$, gedefinieerd door de voorwaarde:
   $$\int_{B_R} h^r \log^\alpha(e + h) \, dx < +\infty$$
   waarbij $r \geq n$ en $\alpha \geq 0$.

Methodologie

De bewijzen volgen een gestructureerde aanpak bestaande uit drie hoofdstappen:

1. A-priori Schattingen (Caccioppoli-type ongelijkheid):
   De auteurs leiden een tweede-orde Caccioppoli-ongelijkheid af voor gladde minimalizers. Dit is het eerste en meest cruciale stap. Ze gebruiken een testfunctie die evenredig is met de tweede afgeleiden van de minimalizer. De kern van het bewijs ligt in het balanceren van de termen die voortvloeien uit de $(p, q)$-groei en de $x$-afhankelijkheid (via $h(x)$). Ze tonen aan dat de extra regulariteit van de coëfficiënten (de $W^{1,n}$-integrabiliteit met logaritmische correctie) voldoende is om de groeisnelheid van de ellipticiteitsratio te vertragen.

2. Moser-iteratie:
   Op basis van de Caccioppoli-ongelijkheid wordt een Moser-type iteratie-procedure toegepast. Dit levert een uniforme a-priori schatting voor de $L^\infty$-norm van de gradiënt $Du$. De auteurs onderscheiden drie gevallen in de iteratie:

   • Geval i): Standaard groei ($p=q$) met $r=n$ en $\alpha > 4n$.
   • Geval ii): Strikte ongelijkheid ($\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$) met $r > n$ en $\alpha = 0$.
   • Geval iii): Het grensgeval ($\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$) met $r > n$ en $\alpha > 0$.

   Voor het grensgeval (iii) is de analyse het meest complex. De auteurs gebruiken een geavanceerde schatting die leidt tot een exponentiële afhankelijkheid in de schatting, waarbij ze gebruikmaken van de inverse van een speciaal gedefinieerde functie $L(t)$ en eigenschappen van convex conjugaten (Fenchel-conjugaten).

3. Approximatie:
   Omdat de a-priori schattingen worden afgeleid onder de aanname dat de minimalizer glad is ($u \in W^{1,\infty}_{loc}$), construeren de auteurs een rij van regularisaties van het functioneel. Ze gebruiken een standaard benaderingsprocedure (via convolutie en monotoon convergente functies) om een rij van gladde minimalizers $u_h$ te verkrijgen. Door de a-priori schattingen toe te passen op deze rij en de limiet te nemen, bewijzen ze dat de oorspronkelijke minimalizer de regulariteit behoudt.

Belangrijkste Resultaten

Het artikel presenteert drie hoofdstellingen die de regulariteit in verschillende scenario's vaststellen:

• Stelling 1.2 (Het grensgeval):
  Als de gelijkheid geldt $\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$ met $r > n$ en $\alpha > 0$, dan is elke lokale minimalizer $u$ in $W^{1,\infty}_{loc}(\Omega)$.
  De schatting voor de gradiënt is:
  $$\|Du\|_{L^\infty(B_\rho)} \leq G\left( C \int_{B_R} (1 + |Du|^p) \, dx \right)$$
  waarbij $G(t)$ een functie is die een exponentiële groei bevat:
  $$G(t) = \exp\left( \frac{r}{2p} \cdot \frac{t^{\frac{2p(r-n)}{\alpha n}}}{\dots} \right) t^{\frac{r}{n}} + t^{\frac{1}{p}}$$
  Dit toont aan dat zelfs in het kritieke geval, mits er een logaritmische correctie ($\alpha > 0$) aanwezig is, Lipschitz-regulariteit behouden blijft.

• Stelling 1.3 (Het geval $r \to n$):
  Als $r = n$ en $p = q$ (standaard groei), maar de coëfficiënten behoren tot $L^n \log^\alpha L$ met $\alpha > 4n$, dan is $u \in W^{1,\infty}_{loc}$. Dit herwint en verfijnt eerdere resultaten voor standaard groei met slechte coëfficiënten.

• Stelling 1.4 (Het strikte geval):
  Als de strikte ongelijkheid $\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$ geldt met $\alpha = 0$, dan is $u \in W^{1,\infty}_{loc}$. Dit bevestigt de resultaten uit [12].

Significantie en Bijdrage

1. Oplossen van het Grensgeval: Het artikel sluit een belangrijke lacune in de literatuur door het geval van gelijkheid in de kritieke exponentenverhouding op te lossen. Eerdere bewijzen waren afhankelijk van de strikte ongelijkheid; dit werk toont aan dat de regulariteit ook in het kritieke punt geldt, mits de $x$-afhankelijkheid voldoende glad is (via de parameter $\alpha$).
2. Unificatie: De auteurs bieden een uniforme aanpak die zowel het standaardgeval, het strikte ongelijkheidsgeval als de twee verschillende grensgevallen omvat.
3. Interactie tussen Groei en Regulariteit: Het werk verduidelijkt de precieze balans die nodig is tussen de "slechtheid" van de groei (hoe groot $q/p$ is) en de "gladheid" van de coëfficiënten (de integrabiliteit van $h$). Het toont aan dat een logaritmische verbetering in de regulariteit van de coëfficiënten ($\alpha > 0$) voldoende is om de extra vrijheid in de groei ($q > p$) te compenseren in het kritieke geval.
4. Technische Innovatie: De methode om de exponentiële schattingen af te leiden in het grensgeval, gebruikmakend van geconjugeerde functies en specifieke iteratietechnieken, biedt een waardevol instrument voor toekomstig onderzoek naar niet-standaard groeiproblemen.

Samenvattend levert dit artikel een fundamentele bijdrage aan de variatierekening en de theorie van partiële differentiaalvergelijkingen door de grenzen van de Lipschitz-regulariteit voor een brede klasse van niet-autonome functionalen met $(p, q)$-groei te definiëren.