The sharp lifespan of small data smooth solutions to 2-D quadratic quasilinear wave equations in exterior domains

Sintesi Tecnica: La durata netta delle soluzioni lisce per piccoli dati di equazioni d'onda quasilinee quadratiche 2-D in domini esterni

Enunciato del Problema
Questo articolo affronta la durata delle soluzioni lisce per piccoli dati del problema iniziale di valore al contorno (IBVP) per equazioni d'onda quasilinee quadratiche 2-D in domini esterni ($K = \mathbb{R}^2 \setminus \mathcal{O}$), soggette a condizioni al contorno di Dirichlet o Neumann omogenee. L'equazione è data da $\square u + Q(\partial u, \partial^2 u) = 0$, dove la non linearità $Q$ non soddisfa la prima condizione nulla.

Mentre la durata $\bar{T}_\varepsilon$ per il corrispondente problema 3-D in domini esterni è nota per soddisfare $\bar{T}_\varepsilon \geq e^{C/\varepsilon}$, il caso 2-D presenta una significativa questione aperta. Per il problema di Cauchy 2-D, è stabilito che la durata soddisfa $T_\varepsilon \geq C/\varepsilon^2$. Tuttavia, per il problema del dominio esterno 2-D, i risultati precedenti erano subottimali:

• Per le condizioni di Dirichlet, le stime esistenti fornivano $T_\varepsilon \geq C/(\varepsilon^2 |\ln \varepsilon|^3)$, soffrendo di una perdita logaritmica rispetto al problema di Cauchy.
• Per le condizioni di Neumann, era stato provato solo $T_\varepsilon \geq C/\varepsilon^{2-}$.
  Il problema centrale è determinare se il limite inferiore netto $T_\varepsilon \geq C/\varepsilon^2$ valga per entrambe le condizioni al contorno e determinare esplicitamente la costante netta.

Metodologia
Gli autori impiegano una combinazione di analisi geometrica, analisi asintotica e metodi di energia, introducendo diversi ingredienti tecnici chiave:

1. Campo di Radiazione di Friedlander per Domini Esterni:
   A differenza del problema di Cauchy dove il campo di radiazione è ben compreso, la presenza di un ostacolo complica il comportamento asintotico. Gli autori costruiscono il campo di radiazione di Friedlander $F_0(\sigma, \theta)$ per l'IBVP lineare (dove $\sigma = r-t$). Dimostrano l'esistenza di questo campo e stabiliscono stime di decadimento precise per la soluzione lineare $w_B$, mostrando che $w_B \sim r^{-1/2}F_0(\sigma, \theta)$ con termini di errore specifici che coinvolgono fattori logaritmici dovuti al bordo.

2. Costruzione di Soluzioni Approssimate Delicate:
   Motivati dal problema di Cauchy 2-D, gli autori costruiscono una soluzione approssimata $u_{ap}$ che transita dalla soluzione lineare vicino al tempo iniziale a un profilo non lineare governato da un'equazione di trasporto che coinvolge il campo di radiazione. Questo profilo $U(\tau, \sigma, \theta)$ risolve un'equazione ridotta $\partial^2_{\tau\sigma}U - Q_{1st}(\tilde{\omega})\partial_\sigma U \partial^2_\sigma U = 0$. La costruzione utilizza funzioni di cutoff per unire fluidamente i regimi lineare e non lineare.

3. Argomento di Bootstrap e Stime Raffinate:
   La dimostrazione del limite inferiore si basa su un argomento di bootstrap per l'errore $v = u - u_{ap}$.

   • Stime di Energia: Gli autori derivano stime di energia di ordine elevato. Una difficoltà critica nei domini esterni 2-D è il lento decadimento dell'energia locale vicino al bordo (tasso $(1+t)^{-1}\ln(2+t)$) rispetto al decadimento esponenziale in 3-D.
   • Superamento dei Limiti dei Campi di Vettore: I campi di boost di Lorentz standard ($t\partial_i + x_i\partial_t$) e i campi di scala non possono essere usati direttamente a causa del bordo. Gli autori si affidano a un insieme ristretto di campi vettoriali $Z = \{\partial, \Omega\}$ e utilizzano la forma divergente della non linearità per derivare stime $L^\infty-L^\infty$.
   • Decadimento Puntuale: Combinando stime di energia $L^2$ con imbedimenti di Sobolev e la struttura specifica della non linearità, stabiliscono stime di decadimento puntuale nette per il termine di errore, chiudendo l'ipotesi di bootstrap per provare il limite inferiore della durata.

4. Limite Superiore tramite il Metodo delle Caratteristiche:
   Per il caso con simmetria radiale, gli autori adattano il metodo delle caratteristiche usato per le equazioni d'onda quasilinee 3-D. Definiscono variabili $W_1, W_2$ correlate alle derivate della soluzione lungo le curve caratteristiche. Analizzando un'equazione differenziale ordinaria di tipo Riccati lungo le caratteristiche in avanti e utilizzando la relazione dei dati iniziali con il campo di radiazione, derivano un limite superiore sul tempo di esplosione (blow-up).

Contributi Chiave e Risultati

• Limite Inferiore Netto (Teorema 1.1): L'articolo dimostra che per entrambe le condizioni al contorno di Dirichlet o Neumann, la durata $T_\varepsilon$ soddisfa:
  $$\liminf_{\varepsilon \to 0^+} \varepsilon \sqrt{T_\varepsilon} \geq \tau_0 = \left( \max_{(\sigma, \theta)} Q_{1st}(\tilde{\omega}) \partial^2_\sigma F_0(\sigma, \theta) \right)^{-1} > 0.$$
  Questo risultato conferma che la durata è effettivamente $O(1/\varepsilon^2)$, rimuovendo la perdita logaritmica precedentemente trovata per le condizioni di Dirichlet e migliorando il risultato di Neumann alla misura netta.

• Limite Superiore Netto (Teorema 1.2): Per le soluzioni a simmetria radiale di una specifica classe di equazioni d'onda quasilinee 2-D, gli autori derivano il limite superiore corrispondente:
  $$\limsup_{\varepsilon \to 0^+} \varepsilon \sqrt{T_\varepsilon} \leq \tau_0.$$
  Combinato con il Teorema 1.1, questo stabilisce l'esatto comportamento asintotico $\lim_{\varepsilon \to 0^+} \varepsilon \sqrt{T_\varepsilon} = \tau_0$ per le soluzioni radiali.

• Determinazione della Costante Esplicita: La costante $\tau_0$ è determinata esplicitamente dal massimo del prodotto del coefficiente della non linearità $Q_{1st}$ e della seconda derivata del campo di radiazione di Friedlander.

Significato e Rivendicazioni
Gli autori affermano che questo lavoro risolve un problema aperto riguardante la durata netta delle equazioni d'onda quasilinee 2-D in domini esterni.

• Ottimalità: Il risultato dimostra che le condizioni al contorno (Dirichlet o Neumann) non alterano l'ordine della durata rispetto al problema di Cauchy, a patto che la prima condizione nulla non sia soddisfatta. La precedente perdita logaritmica osservata nelle stime di Dirichlet era un artefatto del metodo usato nella letteratura precedente, non una proprietà intrinseca del problema.
• Avanzamento Metodologico: L'introduzione con successo del campo di radiazione di Friedlander per l'IBVP e la costruzione della soluzione approssimata in presenza di un ostacolo sono presentate come i principali progressi tecnici. Questi strumenti permettono di gestire i tassi di decadimento dell'energia locale più lenti, intrinseci ai domini esterni 2-D.
• Applicazioni: Si nota che i risultati sono direttamente applicabili ai problemi iniziali di valore al contorno delle equazioni di Euler comprimibili isentropiche e irrotazionali 2-D e delle equazioni di Euler supersoniche stazionarie 3-D in domini esterni con confini impermeabili.

L'articolo conclude che la durata netta $T_\varepsilon \sim C/\varepsilon^2$ è la corretta scalatura per questi problemi, con la costante $C$ esplicitamente computabile dai dati iniziali e dalla struttura della non linearità.