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

Sintesi Tecnica: Su un sistema di equazioni di $\sigma$-evoluzione semilineari smorzate con diversi tipi di smorzamento nel caso critico

Enunciato del Problema
Questo articolo investiga il problema di Cauchy per un sistema debolmente accoppiato, non simmetrico, di equazioni di $\sigma$-evoluzione semilineari smorzate in $\mathbb{R}^n$. Il sistema è dato da:
$$\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}$$
con dati iniziali $(u, u_t, v, v_t)(0, x) = (0, u_1, 0, v_1)(x)$. Qui, $\sigma \ge 1$ e i termini di smorzamento differiscono: la prima equazione presenta uno smorzamento strutturale $(-\Delta)^\sigma u_t$ (comportamento di tipo parabolico), mentre la seconda presenta uno smorzamento standard $v_t$ (comportamento di tipo $\sigma$-evoluzione). Gli esponenti $(p^*, q^*)$ si trovano sulla curva critica definita dall'interazione di questi due distinti tipi di smorzamento. Le non linearità includono moduli di continuità $\mu_1$ e $\mu_2$, che forniscono una regolarità aggiuntiva rispetto alle normali leggi di potenza. L'obiettivo primario è determinare le condizioni precise su $\mu_1$ e $\mu_2$ che distinguono tra l'esistenza globale di soluzioni di Sobolev per dati piccoli e l'esplosione in tempo finito (blow-up).

Metodologia
Gli autori impiegano due distinti framework analitici corrispondenti ai due risultati principali:

1. Esistenza Globale (Argomento del Punto Fisso):

   • La dimostrazione utilizza il teorema del punto fisso di Banach in uno spazio di soluzioni $X(t)$ accuratamente costruito.
   • Fondamentale per questo approccio è la derivazione di stime di decadimento per i problemi lineari associati ai due diversi tipi di smorzamento.
   • Per gestire il caso critico e la natura non simmetrica, gli autori introducono funzioni peso $\ell_1(t)$ e $\ell_2(t)$ che tengono conto della "perdita di decadimento" nei termini non lineari. Queste funzioni peso dipendono dai moduli di continuità e dalla specifica posizione di $(p^*, q^*)$ rispetto alle soglie critiche.
   • Vengono utilizzate le disuguaglianze di Gagliardo-Nirenberg frazionarie e specifiche stime integrali che coinvolgono i moduli di continuità per chiudere l'argomento di contrazione della mappatura.

2. Risultato di Esplosione (Metodo della Funzione di Test):

   • Gli autori adattano il metodo della funzione di test al contesto non simmetrico e frazionario.
   • Una sfida tecnica significativa affrontata è la natura non locale dell'operatore Laplaciano frazionario $(-\Delta)^\sigma$ quando $\sigma$ non è un intero. Le funzioni di test standard a supporto compatto sono insufficienti perché il supporto di $(-\Delta)^\sigma \phi$ generalmente eccede il supporto di $\phi$.
   • Per superare questo ostacolo, gli autori costruiscono una famiglia modificata di funzioni di test $\phi_{j,R}$ con supporto non compatto, dotate di specifici ordini di scala nello spazio e nel tempo.
   • Il dominio integrale viene scomposto in diverse regioni ($Q^1_{j,R}, Q^2_R, Q^3_{j,R}$) per gestire il comportamento singolare dei funzionali ausiliari vicino all'origine e all'infinito.
   • Definendo i funzionali ausiliari $G_p$ e $G_q$ e derivando un sistema di disuguaglianze differenziali ordinarie, gli autori dimostrano che le condizioni integrali sui moduli di continuità portano a una contraddizione se esistesse una soluzione globale.

Risultati Chiave

• Esistenza Globale (Teorema 1.1): Sotto l'assunzione $1 < \sigma < n < 2\sigma$ e $p^* \ge 2$, l'articolo stabilisce l'esistenza di un'unica soluzione globale di Sobolev per dati iniziali piccoli se i moduli di continuità soddisfano specifiche condizioni di integrabilità.

  • Se valgono le standard condizioni di integrabilità $\int_0^c \frac{\mu_j(s)}{s} ds < \infty$, l'esistenza globale è garantita.
  • Se queste falliscono, l'articolo fornisce condizioni alternative precise che coinvolgono integrali accoppiati di $\mu_1$ e $\mu_2$ (ad esempio, $\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds < \infty$) che assicurano comunque l'esistenza globale.
  • La soluzione esibisce tassi di decadimento specifici con un fattore di "perdita di decadimento" determinato dai moduli di continuità.

• Esplosione (Teorema 1.2): Viceversa, se i moduli di continuità sono "troppo deboli" (ovvero, se gli integrali corrispondenti divergono), l'articolo dimostra che non esiste una soluzione globale di Sobolev, portando all'esplosione in tempo finito.

  • Le condizioni per l'esplosione sono la divergenza degli stessi integrali che garantiscono l'esistenza nel caso globale.
  • Questo risultato è valido sia per $\sigma$ intero che frazionario, a patto che $n \ge 2\lfloor \sigma \rfloor$ nel caso frazionario.

• Modelli Simmetrici (Teorema 3.2): Adattando le tecniche di dimostrazione dell'esplosione, gli autori risolvono un problema aperto riguardante i modelli simmetrici dove entrambe le equazioni hanno lo stesso tipo di smorzamento (entrambi strutturali o entrambi standard) ma con parametri frazionari. Essi stabiliscono risultati di esplosione per tali sistemi simmetrici nel caso critico.

Significatività e Contributi
L'articolo sostiene di fornire un miglioramento non banale rispetto alla letteratura esistente nei seguenti modi:

1. Sistemi Critici Non Simmetrici: Affronta il caso critico per un sistema che accoppia equazioni di tipo "parabolico" e di tipo "$\sigma$-evoluzione", un contesto in cui i ruoli delle variabili e degli esponenti non sono intercambiabili, a differenza dei sistemi simmetrici.
2. Gestione del Laplaciano Frazionario: Il lavoro estende con successo il metodo della funzione di test a sistemi che coinvolgono operatori di smorzamento frazionario ($(-\Delta)^\sigma$) dove $\sigma$ è frazionario. Ciò è ottenuto costruendo funzioni di test con supporto non compatto e gestendo attentamente gli effetti non locali, una difficoltà che precedentemente limitava tali analisi a $\sigma$ interi.
3. Soglie Precise: L'articolo determina la soglia precisa per i moduli di continuità $\mu_1$ e $\mu_2$ che separa l'esistenza globale dall'esplosione, raffinando la comprensione della non linearità critica nei sistemi debolmente accoppiati.
4. Risoluzione di Problemi Aperti: La metodologia sviluppata viene applicata con successo per fornire una risposta positiva a un problema aperto riguardante l'esplosione di modelli simmetrici con parametri frazionari, che erano precedentemente irrisolti nella letteratura.

Gli autori sottolineano che i loro risultati dipendono dall'interazione tra i due distinti meccanismi di smorzamento e dalla specifica regolarità fornita dai moduli di continuità, offrendo una prospettiva raffinata sul comportamento critico di tali sistemi di evoluzione.