Results for blow-up and sharp lifespan estimates to a weakly coupled system of structurally damped wave equations with critical nonlinearities

Titel en Context

Het artikel onderzoekt een zwak gekoppeld systeem van semilineaire golfvergelijkingen met structurele demping, waarbij de niet-lineariteiten moduli van continuïteit bevatten. De focus ligt op het geval waarin de exponenten van de niet-lineariteiten op de kritieke kromme liggen in het $p-q$ vlak. De auteurs analyseren onder welke voorwaarden kleine data leiden tot globale oplossingen versus eindige tijd-blow-up, en leveren scherpe schattingen voor de levensduur (lifespan) van lokale oplossingen.

Het Probleem

De auteurs bestuderen het volgende Cauchy-probleem voor $x \in \mathbb{R}^n$ en $t \geq 0$:

$$\begin{cases} u_{tt} - \Delta u + (-\Delta)^\sigma u_t = |v|^p \mu_1(|v|), \\ v_{tt} - \Delta v + (-\Delta)^\sigma v_t = |u|^q \mu_2(|u|), \end{cases}$$

met beginvoorwaarden $u(0,x)=u_0, u_t(0,x)=u_1$ en $v(0,x)=v_0, v_t(0,x)=v_1$.

Belangrijke parameters en aannames:

• Structurele demping: De term $(-\Delta)^\sigma u_t$ met $\sigma \in [0, 1/2]$. Dit bereik wordt gekozen omdat het correspondeert met "parabolische modellen" (effectieve demping). Het geval $\sigma \in (1/2, 1]$ (niet-effectieve demping) blijft een open probleem.
• Kritieke exponenten: De exponenten $p$ en $q$ voldoen aan de kritieke kromme:
  $$\frac{1 + \max\{p, q\}}{pq - 1} = \frac{n - 2\sigma}{2}$$
  (In de paper wordt vaak $p^*$ en $q^*$ gebruikt voor deze waarden).
• Moduli van continuïteit: De functies $\mu_1$ en $\mu_2$ zijn moduli van continuïteit die de regulariteit van de niet-lineariteit verhogen ten opzichte van de standaard machtswet $|u|^p$. Voorbeelden zijn logaritmische functies zoals $(\log(1/s))^{-\alpha}$.

Methodologie

De auteurs combineren technieken uit de theorie van partiële differentiaalvergelijkingen met specifieke aanpassingen voor de niet-lokale aard van de operator $(-\Delta)^\sigma$.

1. Bewijs van eindige tijd-blow-up (Theorem 1.1):

   • Testfuncties: Een cruciaal onderdeel is de constructie van nieuwe testfuncties ($\phi_R(x, t)$) die geen compacte drager hebben. Dit is noodzakelijk omdat de operator $(-\Delta)^\sigma$ niet-lokaal is; traditionele testfuncties met compacte drager (zoals in eerdere werken voor $\sigma=0$) werken niet goed voor $\sigma > 0$.
   • Niet-lokale schattingen: De auteurs gebruiken eigenschappen van de fractionale Laplaciaan op deze testfuncties om integraalongelijkheden af te leiden.
   • Jensen's ongelijkheid: Door gebruik te maken van convexe functies en de veralgemeende Jensen's ongelijkheid, worden integraalvergelijkingen omgezet in differentiaalongelijkheden voor functies die de "energie" van de oplossing vertegenwoordigen.
   • Contradictie: Als de integraal van de moduli van continuïteit divergeert (bepaalde voorwaarde), leidt dit tot een contradictie, wat aantoont dat er geen globale oplossing kan bestaan.

2. Levensduurschattingen (Theorem 1.2):

   • Bovenste grens (Upper bound): Gebaseerd op de blow-up analyse. De levensduur $T_\varepsilon$ wordt afgeleid uit de divergentie van een integraal die afhangt van de moduli van continuïteit en de parameter $\varepsilon$ (grootte van de beginwaarden).
   • Onderste grens (Lower bound): Gebruikmakend van een vaststelling in een geschikte Banach-ruimte (evolutieruimte) met gewogen normen. De auteurs definiëren een functie $\Psi(t)$ die de interactie tussen de demping en de niet-lineariteit weergeeft. Door een contractie-argument toe te passen, wordt bewezen dat een lokale oplossing bestaat zolang $T < T_\varepsilon$, waarbij $T_\varepsilon$ de ondergrens van de levensduur is.
   • Optimalisatie: De auteurs optimaliseren de gewichtsfunctie $\ell(t)$ in de normen om de scherpste mogelijke schatting te verkrijgen.

Belangrijkste Resultaten

1. Blow-up Resultaat (Theorem 1.1):
Als de beginwaarden $u_1$ en $v_1$ positieve integraal hebben en de moduli van continuïteit $\mu_1, \mu_2$ voldoen aan:
$$\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds = \infty$$
dan bestaat er geen globale Sobolev-oplossing. De oplossing blowt op in eindige tijd.

2. Scherpe Levensduurschattingen (Theorem 1.2):
Voor kleine beginwaarden (grootte $\varepsilon$) is de levensduur $T_\varepsilon$ van de lokale oplossing scherp geschat. De schatting hangt af van de inverse functie $\psi^{-1}$ van een integraal die de moduli van continuïteit bevat:

• Geval $p^* = q^*$:
  $$T_\varepsilon \sim \left( \psi^{-1}\left( C \varepsilon^{-(p^*-1)} \right) \right)^{1-\sigma}$$
• Geval $p^* < q^*$:
  $$T_\varepsilon \sim \left( \psi^{-1}\left( C \varepsilon^{-\frac{q^*(p^*q^*-1)}{q^*+1}} \right) \right)^{1-\sigma}$$

Waarbij $\psi(\tau) = \int_{R_0}^\tau \frac{1}{r} (\mu_1(Cr^{-\frac{n}{2}+\sigma}))^{\frac{q^*}{q^*+1}} (\mu_2(Cr^{-\frac{n}{2}+\sigma}))^{\frac{1}{q^*+1}} dr$.

3. Speciale Gevallen en Generalisatie:

• Als $\mu_1 \equiv \mu_2 \equiv 1$ en $\sigma = 0, 1$, herstellen de resultaten bekende resultaten voor standaard gedempte golfvergelijkingen (Dao-Reissig, Chen-Dao).
• De resultaten generaliseren deze bekende gevallen naar het geval van structurele demping ($\sigma \in (0, 1/2]$) en kritieke niet-lineariteiten met moduli van continuïteit.

Bijdrage en Significantie

1. Oplossing van een Open Vraag: Het artikel beantwoordt positief de vraag of globale oplossingen bestaan op de kritieke kromme voor structureel gedempte golfvergelijkingen met moduli van continuïteit. Het identificeert de scherpe voorwaarden voor blow-up versus globale existentie.
2. Nieuwe Testfuncties: Een belangrijke methodologische doorbraak is de ontwikkeling van testfuncties zonder compacte drager. Dit maakt het mogelijk om de niet-lokale operator $(-\Delta)^\sigma$ effectief te behandelen in een zwak gekoppeld systeem, wat een obstakel was in eerdere werken die zich beperkten tot $\sigma=0$.
3. Scherpe Levensduur: De paper levert voor het eerst scherpe levensduurschattingen voor dit specifieke type gekoppelde systemen met structurele demping en kritieke niet-lineariteiten. De exponenten in de schattingen zijn exact en afhankelijk van de dempingsparameter $\sigma$.
4. Verbinding tussen Modellen: Het werk verbindt de theorie van "parabolische" modellen ($\sigma \leq 1/2$) met die van standaard gedempte golfvergelijkingen, en toont hoe de regulariteit van de niet-lineariteit (via $\mu$) de levensduur van de oplossing beïnvloedt.

Conclusie

Dit onderzoek biedt een volledig beeld van het gedrag van zwak gekoppelde structureel gedempte golfvergelijkingen op de kritieke drempel. Het bevestigt dat de aanwezigheid van moduli van continuïteit de overgang tussen globale existentie en blow-up bepaalt, en levert exacte formules voor hoe snel oplossingen blowen als ze dat doen. De methode opent de deur voor verdere studies naar niet-lokale evolutionaire vergelijkingen met complexe niet-lineariteiten.