Existence of variational solutions to doubly nonlinear systems in nondecreasing domains

Technische Samenvatting: Bestaan van Variationele Oplossingen voor Dubbel Nietlineaire Systemen in Niet-afnemende Domeinen

Probleemstelling
Het artikel behandelt het Cauchy–Dirichlet-probleem voor dubbel nietlineaire parabolische systemen van de vorm:
$$\partial_t (|u|^{q-1}u) - \text{div}(D_\xi f(x, u, Du)) = -D_u f(x, u, Du)$$
gedefinieerd in een begrensd, niet-cilindrisch domein $E \subset \mathbb{R}^{n+1}$ (waarbij $n \ge 2$). Het domein $E$ wordt verondersteld niet-afnemend te zijn met betrekking tot de tijd, wat betekent dat de tijdsdoorsneden $E_t$ voldoen aan $E_s \subset E_t$ voor $0 \le s \le t < T$. De parameters voldoen aan $q \in (0, \infty)$ en $p \in (1, \infty)$.

De integrand $f(x, u, \xi)$ wordt verondersteld te zijn:

1. Integreerbaar in $x$ voor vaste $(u, \xi)$.
2. Convexe in $(u, \xi)$.
3. Voldoet aan een $p$-coerciviteitsvoorwaarde: $\nu|\xi|^p \le f(x, u, \xi)$.
   Cruciaal is dat de auteurs geen specifieke bovengrens voor de groei van $f$ opleggen voor het primaire existentie-resultaat, wat exponentiële of niet-standaard groei toestaat.

Methodologie
Het bewijs van existentie berust op een nietlineaire versie van de methode van bewegende minimalisaties (ook wel bekend als het impliciete Euler-schema of De Giorgi's method van bewegende minimalisaties). De aanpak combineert technieken uit eerdere werken over dubbel nietlineaire vergelijkingen in cilindrische domeinen (Böglein et al. [17]) en parabolische systemen in niet-cilindrische domeinen (Böglein et al. [19]).

De procedure omvat:

1. Tijdsdiscretisatie: Het tijdsinterval $(0, T)$ wordt verdeeld in stappen van grootte $h_\ell = T/\ell$.
2. Iteratieve Minimalisatie: In elke tijdstap wordt een sequentie van functies $u_{\ell, i}$ geconstrueerd door een elliptisch variationeel functional te minimaliseren:
   $$F_\ell[w; u_{\ell, i-1}] = \int_\Omega f(x, w, Dw) \, dx + \frac{1}{h_\ell} \int_\Omega b[u_{\ell, i-1}, w] \, dx$$
   waarbij $b[u, v]$ een specifieke randterm is gerelateerd aan de convexiteit van de machtsfunctie $|v|^{q+1}$.
3. Energie-schattingen en Convergentie: De auteurs leiden uniforme energie-schattingen af voor de stuksgewijs constante interpolaties $u_\ell$. Gebruikmakend van compactheidsargumenten (specifiek Lemma 3.11 betreffende de convergentie van $|u_\ell|^{(q+1)/2}$) stellen zij de existentie van een limietmap $u$ vast.
4. Omgaan met Niet-cilindrische Domeinen: Een cruciaal technisch aspect is het beheren van het tijdvariërende domein. De niet-afnemende aard van $E$ stelt de auteurs in staat om vergelijkingskaarten (comparison maps) uit te breiden en de aanname $L^{n+1}(\partial E) = 0$ te benutten om te waarborgen dat de limietmap aan de juiste laterale randvoorwaarden voldoet.
5. Variationele Ongelijkheid: De limietmap wordt getoond een variationele ongelijkheid te voldoen, wat dient als de definitie van een variationele oplossing in deze context.

Belangrijkste Bijdragen en Resultaten

1. Existentie in Niet-afnemende Domeinen (Theorem 2.3):
   Het artikel bewijst de existentie van een variationele oplossing $u \in C^0([0, T]; L^{q+1}(\Omega, \mathbb{R}^N)) \cap V^p_q(E)$.

   • Generaliteit: In tegen tegenstelling tot eerdere resultaten die beperkt waren tot cilindrische domeinen of niet-negatieve oplossingen, is dit resultaat van toepassing op algemene niet-cilindrische domeinen die niet-afnemend zijn in de tijd, en staat het gesigneerde of vectorwaardige oplossingen toe.
   • Zwakke Aannames voor $f$: Het existentiebewijs houdt stand zonder een bovengrens voor de groei van $f$, waarbij enkel vertrouwd wordt op convexiteit en coerciviteit.
   • Regulariteit: De oplossing bezit een zwakke tijdsafgeleide voor de term $|u|^{q-1}u$ in een specifieke duale ruimte, en de oplossing is continu in de tijd met betrekking tot de $L^{q+1}$-norm.

2. Existentie van de Tijdsafgeleide in de Duale Ruimte (Theorem 2.5):
   Onder aanvullende aannames — specifiek dat het domein een maat-densiteitsconditie voldoet (gerelateerd aan het feit dat het complement uniform $p$-vet is) en dat $f$ aan een standaard $p$-groeivoorwaarde voldoet — bewijzen de auteurs dat de term $|u|^{q-1}u$ een distributionele tijdsafgeleide toelaat in de duale ruimte $(V^{p,0}(E))'$.

3. Continuïteit in de Tijd:
   De auteurs stellen vast dat elke variationele oplossing continu is in de tijd met waarden in $L^{q+1}(\Omega, \mathbb{R}^N)$. Dit wordt bereikt door de variationele ongelijkheid te testen met een tijd-mollificatie van de oplossing, een techniek die is aangepast aan de niet-cilindrische setting.

Betekenis en Claims
Het artikel positioneert zich als een generalisatie van bestaande theorieën voor dubbel nietlineaire vergelijkingen.

• Uitbreiding van de Omvang: Het breidt de existentietheorie uit van cilindrische domeinen naar niet-cilindrische (specifiek niet-afnemende) domeinen, waarmee een gat in de literatuur wordt opgevuld waar geometrische variaties niet volledig behandeld waren voor dubbel nietlineaire systemen.
• Verzwakte Groeivoorwaarden: Door de bovengroeivoorwaarde voor de integrand $f$ te verwijderen voor het existentie-resultaat, staan de auteurs een bredere klasse van nietlineariteiten toe, inclus\n bij exponentiële groei, die voorheen alleen onder striktere beperkingen of in specifieke contexten werden behandeld.
• Methodologische Synthese: Het werk slaagt erin de "minimizing movements"-aanpak voor dubbel nietlineaire vergelijkingen succesvol te synthetiseren met de geometrische behandeling van tijd-afhankelijke domeinen.
• Uniciteit: De auteurs merken expliciet op dat uniciteit niet wordt vastgesteld in dit werk. Zij voeren aan dat uniciteit voor dergelijke systemen een delicaat vraagstuk is, met name in niet-cilindrische domeinen, en een open vraag blijft voor het algemene geval dat hier wordt beschouwd, hoewel het bekend is voor specifieke gevallen zoals de poriënmediumvergelijking met niet-negatieve oplossingen.

Het artikel concludeert dat de ontwikkelde methoden potentieel kunnen worden aangepast voor tijd-afhankelijke randwaarden, hoewel het huidige werk zich richt op tijd-onafhankelijke laterale randwaarden om de kern van de existentietheorie vast te stellen.