Critical exponent for semilinear damped wave equations with weighted nonlinear terms and data from Sobolev spaces of negative order

Technische Samenvatting: Kritieke Exponent voor Semilineaire Gedempte Golfvergelijkingen met Gewogen Nietlineaire Termen en Data uit Sobolev-ruimten van Negatieve Orde

Probleemstelling
Dit artikel onderzoekt het Cauchy-probleem voor semilineaire gedempte golfvergelijkingen met gewogen nietlineaire termen met Coulomb-type singulariteiten en initiële data behorend tot Sobolev-ruimten van negatieve orde. De specifieke vergelijking die in overweging wordt genomen is:
$$\begin{cases} u_{tt}(t, x) - \Delta u(t, x) + u_t(t, x) = |x|^{-\alpha}|u(t, x)|^p, & x \in \mathbb{R}^n, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$
waarbij $p > 1$, $\alpha \geq 0$, en de initiële data $(u_0, u_1)$ behoren tot de productruimte $\dot{H}^{-\beta}(\mathbb{R}^n) \times \dot{H}^{-\beta}(\mathbb{R}^n)$ met $\beta \geq 0$. De parameter $\varepsilon > 0$ vertegenwoordigt de grootte van de initiële data. De auteurs beogen de kritieke exponent $p_c(\alpha, \beta, n)$ te bepalen die de globale existentie van kleine data-oplossingen scheidt van de blow-up in eindige tijd van zwakke oplossingen, en om levensduur-schattingen af te leiden in het subkritieke geval.

Methodologie
De auteurs maken gebruik van een combinatie van lineaire verval-schattingen, fixed-point argumenten en testfunctie-methoden.

1. Lineaire Verval-schattingen: De analyse begint met de lineaire gedempte golfvergelijking. De auteurs gebruiken de Fourier-transformatie om scherpe $L^m-L^q$ verval-schattingen voor de lineaire kernen $K(t, x)$ en hun tijdsafgeleiden af te leiden. Deze schattingen overbruggen de diffusieve structuur van de gedempte golfvergelijking met de warmtevergelijking, waarbij zij aantonen dat oplossingen naarmate $t \to \infty$ vergelijkbaar vervallen als oplossingen van de warmtevergelijking.
2. Globale Existentie (Kleine Data): Voor het resultaat van globale existentie definiëren de auteurs een geschikte functieruimte $X(T)$ uitgerust met tijdsgewogen normen die de vervalsnelheden bevatten die uit de lineaire theorie zijn afgeleid. Zij construeren een oplossingsmap $\Phi$ met behulp van het principe van Duhamel en passen het Banach vaste-puntstelling toe.
   • Om de singulariteit $|x|^{-\alpha}$ in de nietlineariteit te behandelen, maken de auteurs gebruik van de Caffarelli-Kohn-Nirenberg ongelijkheid (Propositie 2.2) om het verval van de gewogen term te beheersen.
   • De Hardy-Littlewood-Sobolev ongelijkheid wordt gebruikt om de Sobolev-ruimten van negatieve orde te beheren.
   • Het bewijs rust op het vaststellen van contractie-eigenschappen voor de operator $\Phi$ onder specifieke condities op $p$, $\alpha$ en $\beta$.
3. Blow-up Resultaat: Voor de niet-existentie van globale oplossingen gebruiken de auteurs de testfunctie-methode. Zij construeren een specifieke testfunctie $\Phi_R(t, x)$ die een afkappunctie in de tijd en een ruimtelijke gewicht gerelateerd aan de singulariteit bevat. Door de zwakke formulering tegen deze testfunctie te integreren en de Hölder-ongelijkheid toe te passen, leiden zij een tegenspraak af voor grote $R$ wanneer $p$ onder de kritieke drempel ligt.
4. Levensduur-schattingen: In het subkritieke geval ($1 < p < p_c$) leiden de auteurs zowel de onderste als de bovenste grenzen af voor de levensduur $T_{\alpha, \beta}(\varepsilon)$. De onderste grens wordt verkregen door de contractieconditie in het fixed-point argument te analyseren, terwijl de bovenste grens wordt verfijnd met de testfunctie-methode met logaritmische correcties.

Belangrijkste Bijdragen en Resultaten

• Bepaling van de Kritieke Exponent: Het primaire resultaat is de identificatie van de kritieke exponent voor de gewogen gedempte golfvergelijking met data van negatieve orde:
  $$p_c(\alpha, \beta, n) := 1 + \frac{4 - 2\alpha}{n + 2\beta}$$
  Deze formule is geldig voor dimensies $1 \leq n \leq 4$ en parameters $0 \leq \alpha, \beta < n/2$. De auteurs tonen aan dat zowel het gewicht $|x|^{-\alpha}$ als de negatieve orde $\beta$ de kritieke exponent naar links verschuiven ten opzichte van de standaard Fujita-exponent ($1 + 2/n$) of het geval waar $\alpha=0$.

• Globaal Existentie-stelling (Theorem 1.1): Voor $p \geq p_c(\alpha, \beta, n)$ bewijzen de auteurs de existentie van een unieke globale oplossing voor voldoende kleine initiële data $\varepsilon$. De oplossing behoort tot $C([0, \infty), H^1)$ en voldoet aan specifieke tijds-verval-schattingen:
  $$\|u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{\beta}{2}}, \quad \|\nabla u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{1+\beta}{2}}.$$
  Aanvullende beperkingen op $p$ worden gegeven voor dimensies $n=3, 4$ om de geldigheid van de gebruikte Sobolev-insluitingen en ongelijkheden te waarborgen.

• Blow-up Stelling (Theorem -1.2): Voor $1 < p < p_c(\alpha, \beta, n)$ bewijzen de auteurs dat er geen globale zwakke oplossing bestaat, zelfs niet voor kleine data, mits de initiële data voldoet aan een specifieke ondergrens-conditie met logaritmisch verval.

• Levensduur-schattingen: In het subkritieke regime wordt de levensduur $T_{\alpha, \beta}(\varepsilon)$ geschat als:
  $$\varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} \lesssim T_{\alpha, \beta}(\varepsilon) \lesssim \varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} (\log(\varepsilon^{-1}))^{\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}}.$$
  De auteurs merken op dat de aanwezigheid van het gewicht $|x|^{-\alpha}$ bijdraagt aan het vergroten van de levensduur van blow-up oplossingen vergeleken met het ongegewogen geval.

• Corollaria voor $L^m$-gebaseerde Data: De auteurs breiden hun resultaten uit naar initiële data in $\dot{H}^{-\bar{\beta}}_m \times \dot{H}^{-\bar{\beta}}_m$ voor $m \in (1, 2]$, waarbij zij een corresponderende kritieke exponent $p_c(\alpha, \bar{\beta} + \theta(m), n)$ afleiden.

Betekenis en Claims
Het artikel claimt eerdere resultaten over semilineaire gedempte golfvergelijkingen uit te breiden door gelijktijdig twee generalisaties te incorporeren:

1. Gewogen Nietlineariteit: Het adresseren van de Coulomb-type singulariteit $|x|^{-\alpha}$, die geïsoleerd was bestudeerd (bijv. in [26] voor $\beta=0$), maar niet gecombineerd was met data van negatieve orde in dit specifieke kader.
2. Data van Negatieve Orde: Het uitbreiden van de initiële data-ruimte naar $\dot{H}^{-\beta}$, voortbouwend op het werk van [5] en [8] die $\alpha=0$ beschouwden.

De auteurs stellen dat hun resultaten de bevindingen van [5, 8, 26] generaliseren. In het bijzonder tonen zij aan dat de kritieke exponent wordt verschoven door zowel de sterkte van de singulariteit $\alpha$ als het regulariteitsdeficit $\beta$. Het artikel benadrukt ook een verbetering in de bovenste grens-schatting voor de levensduur vergeleken met eerdere werken (specifiek [15, Theorem 1.8]) in het geval $\alpha = \beta = 0$, door een logaritmische correctiefactor toe te voegen. Het werk wordt gepresenteerd als een rigoureuze wiskundige analyse die de drempel tussen globale existentie en blow-up voor deze specifieke klasse van vergelijkingen vaststelt.