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

Sintesi Tecnica: Esistenza Locale e Comportamento di Blow-up per l'Equazione di Hamilton-Jacobi Diffusiva in un Semispazio con Dati Iniziali Non Limitati

Enunciato del Problema
Questo articolo investiga l'equazione di Hamilton-Jacobi diffusiva:
$$u_t - \Delta u = |\nabla u|^p, \quad p > 1$$
posta in un semispazio $H = \mathbb{R}^n_+$ con condizioni al contorno di Dirichlet ($u=0$ su $\partial H$). Il focus primario è posto su soluzioni con dati iniziali non limitati $u_0(x)$ che possono crescere all'infinito spaziale. Sebbene il comportamento delle soluzioni in domini limitati e per dati iniziali limitati in domini illimitati sia ben stabilito (in particolare il fenomeno del blow-up del gradiente, o GBU), il caso di dati iniziali non limitati in domini illimitati rimane in gran parte inesplorato. L'articolo affronta la ben-posedness locale, la capacità (sharpness) dei tassi di crescita ammissibili e la dinamica dettagliata del blow-up per tali soluzioni.

Metodologia
L'analisi si basa su una combinazione di principi di confronto, costruzioni di funzioni barriera, argomenti di riscalamento e teoremi di tipo Liouville.

1. Ben-posedness Locale e Unicità: Gli autori stabiliscono un principio di confronto (Proposizione 3.1) adattato per soluzioni con crescita polinomiale all'infinito, utilizzando un argomento di penalizzazione all'infinito spaziale tramite una funzione perturbata $Z_\epsilon$ per gestire il dominio illimitato. L'unicità è derivata come conseguenza di questo principio di confronto all'interno di uno specifico spazio di funzioni $Y_T$.
2. Esistenza tramite Regolarizzazione: L'esistenza locale è dimostrata regolarizzando i dati iniziali $u_0$ tramite mollificazione per ottenere approssimazioni lisce e limitate $u_{0,k}$. Stime a priori uniformi (specificamente sulla soluzione e sul suo gradiente) vengono derivate utilizzando sovrasoluzioni e funzioni barriera (ad esempio $v_1$ e $v_2$) che dipendono dal tasso di crescita di $u_0$. Un argomento di compattezza fornisce quindi una soluzione classica.
3. Non-esistenza: Per dimostrare la capacità del regime di crescita ammissibile, gli autori costruiscono una contraddizione confrontando una ipotetica soluzione con una soluzione autosimile all'indietro tratta dalla letteratura precedente [5]. Se i dati iniziali crescono troppo rapidamente, essi dominano il profilo autosimile, portando a una contraddizione con l'esistenza di una soluzione classica fino a un certo tempo.
4. Analisi del Blow-up:
   • Tipo I vs. Tipo II: Il documento distingue tra blow-up di Tipo I (dove il gradiente cresce al tasso autosimile) e blow-up di Tipo II (crescita più rapida).
   • Riscalamento e Teoremi di Liouville: Per il blow-up di Tipo II, gli autori impiegano un argomento di riscalamento (analisi di blow-up) in cui la soluzione viene "zoomata" vicino alla singolarità. Il limite di queste soluzioni riscalate è mostrato essere una soluzione intera dell'equazione. La classificazione di queste soluzioni intere si basa su recenti teoremi di tipo Liouville [5, 8], i quali asseriscono che le soluzioni intere limitate nel semispazio devono essere stazionarie e dipendere solo dalla variabile normale $x_n$.
   • Stime del Gradiente: Si utilizzano stime di tipo Bernstein e argomenti di regolarità del semigruppo del calore per derivare limiti superiori e inferiori precisi sul gradiente vicino al tempo di blow-up.

Contributi Chiave e Risultati

1. Classe Ottimale di Dati Iniziali:
   Il documento definisce una classe ottimale di dati iniziali $X$ (per $1 < p \le 2$) e $X_1$ (per $p > 2$) che permettono la crescita all'infinito e singolarità al contorno.

   • Crescita all'Infinito: Viene identificato l'esponente critico come $p/(p-1)$. Nello specifico, $u_0(x) \lesssim x_n^{1+\beta}$ per $x_n \to \infty$ (dove $\beta = 1/(p-1)$) è la soglia critica. Il Teorema 2.3 dimostra che se $u_0$ cresce più velocemente di questo tasso uniformemente in $x'$, non esiste alcuna soluzione classica.
   • Comportamento al Contorno: Per $p > 2$, i dati iniziali devono soddisfare un limite specifico vicino al contorno $x_n=0$: $\limsup_{x_n \to 0} x_n^{\beta-1} \sup_{x'} u_0(x', x_n) < c_p$. Se ciò viene violato, la soluzione non è classica immediatamente.

2. Ben-posedness Locale e Alternativa di Blow-up:

   • Teoremi 2.1 & 2.2: Per i dati iniziali nella classe ottimale, esiste una soluzione classica unica massimale.
   • Alternativa di Blow-up: Se il tempo di esistenza massimale $T_{max}$ è finito, la soluzione presenta un blow-up nella norma pesata $L^\infty$ (per $1 < p \le 2$) o esibisce un gradient blow-up (GBU) a una distanza finita dal contorno (per $p > 2$).

3. Comportamento di Blow-up per Crescita Subcritica:
   Quando i dati iniziali presentano una crescita subcritica ($u_0 \lesssim x_n^\gamma$ con $\gamma < 1+\beta$):

   • Esistenza Globale: Per $1 < p \le 2$, le soluzioni esistono globalmente nel tempo.
   • Blow-up a Tempo Finito: Per $p > 2$, il blow-up a tempo finito avviene solo tramite un gradient blow-up di Tipo II sul contorno. La soluzione rimane limitata su qualsiasi striscia $\Gamma_R$, mentre il gradiente diventa illimitato.
   • Stime Precise: Il documento deriva limiti superiori e inferiori precisi per il gradiente. Il limite inferiore corrisponde al tasso standard di Tipo II: $\|\nabla u\|_{L^\infty} \ge C(T-t)^{-1/(p-2)}$. Il limite superiore mostra che il gradiente è controllato dal profilo stazionario singolare: $|\nabla u| \le (1+\epsilon) d_p x_n^{-\beta} + C$.

4. Profilo Asintotico del Blow-up di Tipo II:

   • Teorema 2.5 (Bubbling): Per le soluzioni di Tipo II, esiste una sequenza di punti che convergono al contorno e al tempo di blow-up per cui il gradiente riscalato converge localmente uniformemente a un esplicito profilo monodimensionale: $d_p (x_n + \beta)^{-\beta} e_n$.
   • Teorema 2.6 (Dicotomia): In qualsiasi punto vicino alla singolarità, il gradiente si comporta o in modo di Tipo I o è controllato dal profilo stazionario singolare. Ciò stabilisce che queste sono le uniche due possibilità locali per il comportamento di blow-up.

Significato e Rivendicazioni
L'articolo sostiene di colmare una lacuna significativa nella teoria delle equazioni paraboliche non lineari, fornendo il primo studio completo dell'equazione di Hamilton-Jacobi diffusiva in un dominio illimitato con dati iniziali non limitati.

• Estensione della Ben-posedness: Estende il classico quadro di ben-posedness (tipicamente limitato a dati limitati) a una classe ottimale di dati non limitati, identificando l'esponente di crescita critica $p/(p-1)$ come la soglia per l'esistenza.
• Dinamica di Blow-up Raffinata: A differenza del caso in dominio limitato dove il blow-up è sempre un GBU di Tipo II al contorno, questo lavoro rivela una struttura più ricca nel semispazio. Dimostra la coesistenza di blow-up $L^\infty$ di Tipo I (per dati a crescita critica) e GBU di Tipo II al contorno (per dati a crescita subcritica).
• Capacità (Sharpness): I risultati sono dimostrati essere ottimali; il documento fornisce risultati di non-esistenza per dati che crescono più velocemente del tasso critico e dimostra che la condizione al contorno sui dati iniziali per $p>2$ è necessaria per la risolvibilità classica.
• Descrizione Asintotica: Il documento fornisce una descrizione raffinata della formazione della singolarità, provando che le soluzioni di blow-up di Tipo II convergono a un esplicito profilo monodimensionale dopo il riscalamento, caratterizzando così in dettaglio la formazione della singolarità asintotica.

Gli autori notano che il loro studio è limitato a dati iniziali non negativi per semplicità, sebbene suggeriscano che tale restrizione potrebbe essere rimossa. Il lavoro si basa fortemente su esistenti teoremi di tipo Liouville e principi di confronto, adattandoli alla specifica geometria e alle condizioni di crescita del problema nel semispazio.