An $L^p$-Theory for Time-Periodic Mixed-Order Partial Differential Equations under General Boundary Conditions

Sintesi Tecnica: Una Teoria $L^p$ per Equazioni alle Derivate Parziali di Ordine Misto e Periodiche nel Tempo sotto Condizioni al Contorno Generali

Enunciato del Problema
Il saggio affronta la ben determinazione dei problemi ai valori al contorno periodici nel tempo associati a equazioni alle derivate parziali (PDE) e sistemi di ordine misto. Sebbene esista una teoria completa della ben determinazione per operatori ellittici e parabolici (ad esempio, tramite le condizioni di Agmon-Douglis-Nirenberg o di Lopatinskiĭ–Shapiro), una tale teoria è stata in gran parte assente per operatori con proprietà di scala genuinamente miste. Tali operatori, in cui le scale competitive sono codificate geometricamente da un poligono di Newton, emergono spesso in modelli fisici complessi. Il lavoro precedente degli autori ha stabilito una teoria $L^2$ per una classe ristretta di tali operatori, ma è stato osservato che le classiche condizioni di Lopatinskiĭ–Shapiro sono generalmente insufficienti per la ben determinazione in questo contesto. Il presente lavoro mira a sviluppare una teoria $L^p$ completa ($p \in (1, \infty)$) per una vasta classe di problemi ai valori al contorno di ordine misto sul semispazio periodico nel tempo $\mathbb{T} \times \mathbb{R}^n_+$, accogliendo operatori al contorno generali che possono coinvolgere sia derivate spaziali che temporali.

Metodologia
Gli autori costruiscono la teoria attraverso tre pilastri interconnessi:

1. Scale di Spazi di Funzioni Unificate:
   Gli autori estendono la teoria degli spazi del poligono di Newton introducendo una scala unificata di spazi di potenziale generati da funzioni d'ordine. A differenza dei classici poligoni di Newton, che sono limitati a insiemi convessi nel piano $(|\xi|, \tau)$, le funzioni d'ordine permettono un framework algebrico più flessibile in cui le operazioni corrispondono alla semplice addizione ordinaria piuttosto che alle somme di Minkowski. Fondamentalmente, gli autori introducono il concetto di scala del poligono di Newton, che include i classici spazi del poligono di Newton così come spazi ibridi derivanti dall'interpolazione reale (che coinvolgono regolarità sia di tipo Besov che di potenziale di Bessel). Questa astrazione è necessaria poiché gli spazi di traccia per gli operatori di ordine misto non sono generalmente spazi puri del poligono di Newton, bensì tali spazi di interpolazione ibrida.

2. Framework Astratto per i Valori al Contorno:
   Il saggio sviluppa un framework operativo astratto che separa le proprietà analitiche dell'operatore differenziale dalla struttura degli spazi di funzione. Il meccanismo centrale prevede:

   • La definizione di una tupla di traccia astratta $(U, \dot{U}, \mathcal{U}, \text{Tr}, E)$, dove $\dot{U}$ è il nucleo dell'operatore di traccia $\text{Tr}$ ed $E$ è un inverso a destra.
   • L'introduzione di operatori ammissibili, che si fattorizzano in componenti che preservano il supporto nel semispazio e componenti invertibili sul nucleo dell'operatore di traccia.
   • La formulazione di una condizione al contorno complementare astratta. La ben determinazione è caratterizzata dall'invertibilità di un "operatore complementare" $(B, C)$, dove $B$ è l'operatore al contorno dato e $C$ è un operatore complementare costruito dalla traccia della soluzione. Questa condizione assicura che l'operatore combinato sia iniettivo, identificando così le precise condizioni di compatibilità richieste per i dati.

3. Teoria della Traccia per Spazi di Ordine Misto:
   Un contributo tecnico significativo è lo sviluppo di una teoria della traccia $L^p$ per gli spazi del poligono di Newton. Gli autori identificano esplicitamente gli spazi di traccia $T^{\mu, p}_\perp(\mathbb{R}^{n-1})$ associati agli spazi ristretti del poligono di Newton. Dimostrano che, per $p \neq 2$, questi spazi di traccia non sono spazi del poligono di Newton, ma possono essere rappresentati come spazi di interpolazione reale tra spazi del poligono di Newton strettamente correlati. Questa caratterizzazione permette la descrizione precisa degli spazi dei dati e delle condizioni di compatibilità.

Risultati Chiave

• Teorema Generale di Ben Determinazione (Teorema 4.36): Gli autori stabiliscono che, per un operatore ammissibile $P$ e operatori al contorno $B_i$, il problema ai valori al contorno è ben determinato negli spazi basati su $L^p$ se la matrice di contorno complementare associata $BC$ soddisfa una condizione di invertibilità (specificamente, che $BC$ sia un sistema di ordine misto e il suo determinante sia non nullo). Il teorema identifica esplicitamente lo spazio dei dati ammissibile, inclusi i necessari termini di compatibilità indotti dagli operatori al contorno.
• Condizioni di Compatibilità Esplicite: Il framework fornisce naturalmente le condizioni di compatibilità richieste per i dati $(f, g)$. Queste condizioni sono espresse dal requisito che una specifica combinazione lineare dei dati interni e dei dati al contorno appartenga a uno specifico spazio di traccia, piuttosto che imporre semplici vincoli di uguaglianza.
• Applicazioni:
  • Equazione del Calore con Condizioni di Dirichlet: La teoria recupera risultati di regolarità di ordine superiore, mostrando che per $f$ in uno spazio specifico, il dato al contorno $g$ deve soddisfare una condizione di compatibilità che coinvolge $\partial_t g - \text{Tr}_0 f$ appartenente a un determinato spazio di tipo Besov, anziché richiedere che $f$ si annulli sul contorno.
  • Sistema Cahn-Hilliard-Gurtin: Gli autori estendono i loro precedenti risultati $L^2$ a un generico $p \in (1, \infty)$, stabilendo la regolarità massima per questo sistema a struttura di ordine misto.
  • Condizioni al Contorno Dinamiche: La teoria viene applicata a problemi parabolici con condizioni al contorno dinamiche, fornendo risultati di ben determinazione per sistemi in cui l'evoluzione del contorno è accoppiata con la dinamica interna.

Significato e Rivendicazioni
Il saggio sostiene di fornire un approccio sistematico e unificato per i problemi ai valori al contorno di ordine misto che va oltre la classica teoria di Lopatinskiĭ–Shapiro. Utilizzando le scale del poligono di Newton e una condizione complementare astratta, il framework:

• Amplia sostanzialmente la classe di operatori e condizioni al contorno ammissibili rispetto ai precedenti risultati $L^2$.
• Identifica sistematicamente gli spazi di compatibilità associati, che emergono naturalmente dal framework astratto piuttosto che essere imposti ad hoc.
• Gestisce operatori al contorno che coinvolgono derivate temporali e condizioni di compatibilità non banali tra i dati.
• Fornisce una procedura "meccanica" per derivare risultati di ben determinazione: una volta identificato l'operatore come ammissibile e verificata la condizione complementare, la ben determinazione segue dal teorema generale.

Gli autori sottolineano che questa teoria è particolarmente preziosa per problemi in cui la geometria del poligono di Newton è non-triangolare o dove gli spazi di traccia coinvolgono scale di regolarità ibride, situazioni in cui le tecniche classiche degli spazi Sobolev anisotropi sono insufficienti.