Local existence and blow-up behavior for the diffusive Hamilton-Jacobi equation in a half-space with unbounded initial data

Technische Samenvatting: Lokale Existentie en Blow-up Gedrag voor de Diffusieve Hamilton-Jacobi Vergelijking in een Half-ruimte met Onbegrensde Initiële Data

Probleemstelling
Dit artikel onderzoekt de diffusieve Hamilton-Jacobi vergelijking:
$$u_t - \Delta u = |\nabla u|^p, \quad p > 1$$
geplaatst in de half-ruimte $H = \mathbb{R}^n_+$ met Dirichlet-randvoorwaarden ($u=0$ op $\partial H$). De primaire focus ligt op oplossingen met onbegrensde initiële data $u_0(x)$ die mogelijk groeien naar ruimtelijke oneindigheid. Hoewel het gedrag van oplossingen in begrensde domeinen en voor begrensde initiële data in onbegrensde domeinen goed gevestigd is (met name het fenomeen van gradiënt-blow-up, of GBU), blijft het geval van onbegrensde initiële data in onbegrensde domeinen grotendeels onverkend. Dit artikel behandelt de lokale welgebondenheid, de scherpte van de toelaatbare groeicijfers en de gedetailleerde blow-up dynamiek voor dergelijke oplossingen.

Methodologie
De analyse steunt op een combinatie van vergelijkingsprincipes, barrière-functie constructies, herschalingsargumenten en Liouville-type stellingen.

1. Lokale Welgebondenheid en Uniciteit: De auteurs vestigen een vergelijkingsprincipe (Propositie 3.1) dat specifiek is afgestemd op oplossingen met polynomiale groei bij oneindigheid. Dit omvat een strafargument (penalization) bij ruimtelijke oneindigheid met behulp van een geperturbeerde functie $Z_\epsilon$ om het onbegrensde domein te behandelen. Uniciteit wordt afgeleid als een consequentie van dit vergelijkingsprincipe binnen een specifieke functieruimte $Y_T$.
2. Existentie via Regularisatie: Lokale existentie wordt bewezen door de initiële data $u_0$ te regulariseren via mollificatie om begrensde, gladde benaderingen $u_{0,k}$ te verkrijgen. Uniforme a priori schattingen (specifiek op de oplossing en zijn gradiënt) worden afgeleid met behulp van superoplossingen en barrière-functies (bijv. $v_1$ en $v_2$) die afhankelijk zijn van de groeisnelheid van $u_0$. Een compactheidsargument levert vervolgens een klassieke oplossing op.
3. Niet-existentie: Om de scherpte van de toelaatbare groeicategorie te bewijzen, construeren de auteurs een tegenspraak door een hypothetische oplossing te vergelijken met een achterwaartse zelf-gelijke oplossing uit eerdere literatuur [5]. Als de initiële data te snel groeit, domineert deze het zelf-gelijke profiel, wat leidt tot een tegenspraak met de existentie van een klassieke oplossing tot een bepaalde tijd.
4. Blow-up Analyse:
   • Type I vs. Type II: Het artikel maakt onderscheid tussen Type I blow-up (waarbij de gradiënt groeit met de zelf-gelijke snelheid) en Type II blow-up (snellere groei).
   • Herscaling en Liouville-stellingen: Voor Type II blow-up gebruiken de auteurs een herscalingsargument (blow-up analyse) waarbij de oplossing wordt ingezoomd nabij de singulariteit. De limiet van deze herschale oplossingen wordt aangetoond een volledige oplossing (entire solution) van de vergelijking te zijn. De classificatie van deze volledige oplossingen berust op recente Liouville-type stellingen [5, 8], die stellen dat begrensde volledige oplossingen in de half-ruimte stationair moeten zijn en enkel afhangen van de normale variabele $x_n$.
   • Gradiënt-schattingen: Bernstein-achtige schattingen en de regelmaat van het warmte-semigroep worden gebruikt om precieze boven- en ondergrenzen op de gradiënt nabij de blow-up tijd af te leiden.

Belangrijkste Bijdragen en Resultaten

1. Optimale Klasse van Initiële Data:
   Het artikel definieert een optimale klasse van initiële data $X$ (voor $1 < p \le 2$) en $X_1$ (voor $p > 2$) die groei naar oneindigheid en singulariteiten bij de rand toestaat.

   • Groei naar Oneindigheid: De kritische exponent wordt geïdentificeerd als $p/(p-1)$. Specifiek is $u_0(x) \lesssim x_n^{1+\beta}$ als $x_n \to \infty$ (waarbij $\beta = 1/(p-1)$) de scherpe drempel. Stelling 2.3 bewijst dat als $u_0$ sneller groeit dan deze snelheid uniform in $x'$, er geen klassieke oplossing bestaat.
   • Randgedrag: Voor $p > 2$ moet de initiële data voldoen aan een specifieke grens nabij de rand $x_n=0$: $\limsup_{x_n \to 0} x_n^{\beta-1} \sup_{x'} u_0(x', x_n) < c_p$. Indien dit wordt geschonden, faalt de oplossing direct om klassiek te zijn.

2. Lokale Welgebondenheid en Blow-up Alternatief:

   • Theorema's 2.1 & 2.2: Voor initiële data in de optimale klasse bestaat er een unieke maximale klassieke oplossing.
   • Blow-up Alternatief: Als de maximale existentietijd $T_{max}$ eindig is, vertoont de oplossing ofwel een blow-up in de gewogen $L^\infty$-norm (voor $1 < p \le 2$), ofwel vertoont zij gradiënt-blow-up (GBU) op een eindige afstand van de rand (voor $p > 2$).

3. Blow-up Gedrag voor Subkritische Groei:
   Wanneer de initiële data subkritische groei heeft ($u_0 \lesssim x_n^\gamma$ met $\gamma < 1+\beta$):

   • Globale Existentie: Voor $1 < p \le 2$ bestaan oplossingen globaal in de tijd.
   • Eindige-tijd Blow-up: Voor $p > 2$ vindt eindige-tijd blow-up alleen plaats via Type II gradiënt-blow-up op de rand. De oplossing blijft begrensd op elke strook $\Gamma_R$, terwijl de gradiënt onbegrensd wordt.
   • Scherpe Schattingen: Het artikel leidt scherpe boven- en ondergrenzen af voor de gradiënt. De ondergrens komt overeen met de standaard Type II snelheid: $\|\nabla u\|_{L^\infty} \ge C(T-t)^{-1/(p-2)}$. De bovengrens toont aan dat de gradiënt gecontroleerd wordt door het singuliere stationaire profiel: $|\nabla u| \le (1+\epsilon) d_p x_n^{-\beta} + C$.

4. Asymptotisch Profiel van Type II Blow-up:

   • Theorem 2.5 (Bubbling): Voor Type II oplossingen bestaat er een sequentie van punten die convergeren naar de rand en de blow-up tijd, waar de herschale gradiënt lokaal uniform convergeert naar een expliciet eendimensionaal profiel: $d_p (x_n + \beta)^{-\beta} e_n$.
   • Theorem 2.6 (Dichotomie): In elk punt nabij de singulariteit gedraagt de gradiënt zich ofwel op een Type I wijze, ofwel wordt deze gecontroleerd door het singuliere stationaire profiel. Dit vestigt dat dit de enige twee lokale mogelijkheden zijn voor het blow-up gedrag.

Betekenis en Claims
Het artikel beweert een belangrijk gat in de theorie van niet-lineaire parabolische vergelijkingen te vullen door de eerste uitgebreide studie van de diffusieve Hamilton-Jacobi vergelijking in een onbegrensd domein met onbegrensde initiële data te bieden.

• Uitbreiding van Welgebondenheid: Het breidt het klassieke welgebondenheidskader (meestal beperkt tot begrensde data) uit naar een optimale klasse van onbegrensde data, waarbij de precieze kritische groeiexponent $p/(p-1)$ wordt geïdentificeerd als de drempel voor existentie.
• Verfijnde Blow-up Dynamiek: In tegen tegenstelling tot het begrensde domein, waar blow-up altijd Type II boundary GBU is, onthult dit werk een rijkere structuur in de half-ruimte. Het toont de coëxistentie aan van Type I $L^\infty$ blow-up (voor kritische groeidata) en Type II boundary GBU (voor subkritische data).
• Scherpte: De resultaten zijn scherp; het artikel biedt niet-existentieresultaten voor data die sneller groeien dan de kritische snelheid en toont aan dat de randvoorwaarde op de initiële data voor $p>2$ noodzakelijk is voor klassieke oplosbaarheid.
• Asymptotische Beschrijving: Het artikel biedt een verfijnde beschrijving van de singulariteitsvorming, waarbij bewezen wordt dat Type II blow-up oplossingen na herschaling convergeren naar een expliciet eendimensionaal profiel, waarmee de asymptotische singulariteitsvorming in detail wordt gekarakteriseerd.

De auteurs merken op dat hun studie ter vereenvoudiging is beperkt tot niet-negatieve initiële data, hoewel zij suggereren dat deze beperking kan worden versoepeld. Het werk steunt zwaar op bestaande Liouville-type stellingen en vergelijkingsprincipes, waarbij deze zijn aangepast aan de specifieke geometrie en groeivoorwaarden van het half-ruimte probleem.