On a system of semilinear damped $\sigma$-evolution equations with different damping types in the critical case

Technische Samenvatting: Over een systeem van semilineaire gedempte $\sigma$-evolutievergelijkingen met verschillende typen demping in het kritieke geval

Probleemstelling
Dit artikel onderzoekt het Cauchy-probleem voor een niet-symmetrisch, zwak gekoppeld systeem van semilineaire gedempte $\sigma$-evolutievergelijkingen in $\mathbb{R}^n$. Het systeem wordt gegeven door:
$$\begin{cases} u_{tt} + (-\Delta)^\sigma u + (-\Delta)^\sigma u_t = |v|^{p^*}\mu_1(|v|), \\ v_{tt} + (-\Delta)^\sigma v + v_t = |u|^{q^*}\mu_2(|u|), \end{cases}$$
met initiële data $(u, u_t, v, v_t)(0, x) = (0, u_1, 0, v_1)(x)$. Hierbij geldt $\sigma \ge 1$ en verschillen de dempingstermen: de eerste vergelijking bevat structurele demping $(-\Delta)^\sigma u_t$ (parabolisch-achtig gedrag), terwijl de tweede vergelijking standaard demping $v_t$ bevat ($\sigma$-evolutie-achtig gedrag). De exponenten $(p^*, q^*)$ liggen op de kritieke curve gedefinieerd door de interactie tussen deze twee verschillende typen demping. De nietlineariteiten bevatten continuïteitsmoduli $\mu_1$ en $\mu_2$, die extra regulariteit bieden bovenop de standaard machtswetten. Het primaire doel is om scherpe voorwaarden op $\mu_1$ en $\mu_2$ te bepalen die onderscheid maken tussen de globale existentie van kleine-data Sobolev-oplossingen en eindtijdige explosie (blow-up).

Methodologie
De auteurs hanteren twee verschillende analytische kaders die overeenkomen met de twee hoofdresultaten:

1. Globale Existentie (Vastpuntargument):

   • Het bewijs maakt gebruik van de Banach-stelling voor vaste punten in een zorgvuldig geconstrueerde oplossingsruimte $X(t)$.
   • Cruciaal voor deze aanpak is de afleiding van verval-schattingen voor de geliniariseerde problemen geassocieerd met de twee verschillende typen demping.
   • Om het kritieke geval en de niet-symmetrische aard van het systeem aan te pakken, introduceren de auteurs gewichtsfuncties $\ell_1(t)$ en $\ell_2(t)$ die rekening houden met het "verlies van verval" in de nietlineaire termen. Deze gewichten zijn afhankelijk van de continuïteitsmoduli en de specifieke positie van $(p^*, q^*)$ ten opzichte van de kritieke drempelwaarden.
   • Fractionale Gagliardo-Nirenberg-ongelijkheden en specifieke integraalschattingen met betrekking tot de continuïteitsmoduli worden gebruikt om het contractie-argument te sluiten.

2. Blow-up Resultaat (Testfunctie-methode):

   • De auteurs passen de testfunctie-methode aan voor de niet-symmetrische, fractionele setting.
   • Een aanzienlijke technische uitdaging is de niet-lokale aard van de fractionele Laplaciaan $(-\Delta)^\sigma$ wanneer $\sigma$ geen geheel getal is. Standaard compact ondersteunde testfuncties zijn onvoldoende omdat de ondersteuning van $(-\Delta)^\sigma \phi$ over het algemeen de ondersteuning van $\phi$ overschrijdt.
   • Om dit te overwinnen, construeren de auteurs een gemodificeerde familie van testfuncties $\phi_{j,R}$ met niet-compacte ondersteuning, die specifieke schaalordes in ruimte en tijd bezitten.
   • Het integraal domein wordt opgedeeld in verschillende regio'ën ($Q^1_{j,R}, Q^2_R, Q^3_{j,R}$) om het singular gedrag van de hulpfuncties nabij de oorsprong en in de oneindigheid te behandelen.
   • Door hulpfuncties $G_p$ en $G_q$ te definiëren en een systeem van gewone differentiaalongelijkheden af te leiden, tonen de auteurs aan dat de integraalvoorwaarden op de continuïteitsmoduli leiden tot een contradictie indien een globale oplossing zou bestaan.

Kernresultaten

• Globale Existentie (Stelling 1.1): Onder de aanname $1 < \sigma < n < 2\sigma$ en $p^* \ge 2$, vestigt het artikel de existentie van een unieke globale Sobolev-oplossing voor kleine initiële data indien de continuïteitsmoduli voldoen aan specifieke integreerbaarheidsvoorwaarden.

  • Indien de standaard integreerbaarheidsvoorwaarden $\int_0^c \frac{\mu_j(s)}{s} ds < \infty$ gelden, is globale existentie gegarandeerd.
  • Indien deze niet gelden, biedt het artikel scherpe alternatieve voorwaarden waarbij gekoppelde integralen van $\mu_1$ en $\mu_2$ betrokken zijn (bijv. $\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds < \infty$) die nog steeds globale existentie waarborgen.
  • De oplossing vertoont specifieke verval-snelheden met een "verlies van verval"-factor bepaald door de continuïteitsmoduli.

• Blow-up (Stelling 1.2): Omgekeerd, als de continuïteitsmoduli "te zwak" zijn (d.w.z. de overeenkomstige integralen divergeren), bewijzen de auteurs dat er geen globale Sobolev-oplossing bestaat, wat leidt tot eindtijdige explosie (blow-up).

  • De voorwaarden voor blow-up zijn de divergentie van dezelfde integralen die existentie garanderen in het globale geval.
  • Dit resultaat geldt voor zowel gehele als fractionele $\sigma$, mits $n \ge 2\lfloor \sigma \rfloor$ in het fractionele geval.

• Symmetrische Modellen (Stelling 3.2): Door de technieken voor het bewijs van blow-up aan te passen, lossen de auteurs een open probleem op betreffende symmetrische modellen waarbij beide vergelijkingen hetzelfde type demping hebben (ofwel beide structureel, ofwel beide standaard) maar met fractionele parameters. Zij vestigen blow-up resultaten voor dergelijke symmetrische systemen in het kritieke geval.

Betekenis en Bijdragen
Het artikel claimt een niet-triviale verbetering te bieden ten opzichte van de bestaande literatuur op de volgende punten:

1. Niet-Symmetrische Kritieke Systemen: Het behandelt het kritieke geval voor een systeem dat "parabolisch-achtige" en "$\sigma$-evolutie-achtige" vergelijkingen koppelt, een setting waarin de rollen van de variabelen en exponenten niet uitwisselbaar zijn, in tegenstelling tot symmetrische systemen.
2. Afhandeling van de Fractionele Laplaciaan: Het werk slaagt erin de testfunctie-methode te uitbreiden naar systemen met fractionele dempingsoperatoren ($(-\Delta)^\sigma$) waarbij $\sigma$ fractioneel is. Dit wordt bereikt door de constructie van testfuncties met niet-compacte ondersteuning en het zorgvuldig beheren van de niet-lokale effecten, een moeilijkheid die dergelijke analyses voorheen beperkte tot gehele $\sigma$.
3. Scherpe Drempelwaarden: Het artikel bepaalt de precieze drempel voor de continuïteitsmoduli $\mu_1$ en $\mu_2$ die globale existentie scheidt van blow-up, waarmee het begrip van kritieke nietlineariteit in zwak gekoppelde systemen wordt verfijnd.
4. Oplossen van Open Problemen: De ontwikkelde methodologie wordt succesvol toegepast om een positief antwoord te geven op een open probleem betreffende de blow-up van symmetrische modellen met fractionele parameters, die voorheen onopgelost waren in de literatuur.

De auteurs benadrukken dat hun resultaten steunen op de interactie tussen de twee verschillende dempingsmechanismen en de specifieke regulariteit geboden door de continuïteitsmoduli, wat een verfijnd perspectief biedt op het kritieke gedrag van dergelijke evolutiesystemen.