Extrapolation of solvability of the parabolic $L^p$ Neumann problem on bounded Lipschitz cylinders

1. Il Problema

L'articolo si concentra sulla problema di Neumann parabolico per equazioni differenziali alle derivate parziali (PDE) del tipo:
$$Lu = -\partial_t u + \text{div}(A\nabla u) = 0$$
definite su un dominio cilindrico limitato $\Omega = O \times \mathbb{R}$, dove $O \subset \mathbb{R}^n$ è un dominio Lipschitz limitato (nello spazio) e la variabile temporale $t$ varia su tutto $\mathbb{R}$.

Le coefficienti della matrice ellittica $A(X,t)$ sono reali, limitati, misurabili e possono variare nel tempo, soddisfacendo solo la condizione di ellitticità uniforme e limitatezza, senza ulteriori assunzioni di regolarità (come condizioni di Carleson piccole) o assunzioni di "piccolezza" sulla norma Lipschitz del dominio.

L'obiettivo principale è dimostrare l'estrapolazione della risolubilità: se il problema di Neumann è risolvibile nello spazio $L^p$ (e il problema di Dirichlet per l'operatore aggiunto $L^*$ è risolvibile in $L^{p'}$) per un certo $p \in (1, \infty)$, allora il problema di Neumann è risolvibile per tutti gli $q$ tali che $1 < q < p$. Inoltre, viene stabilita la risolubilità nel caso limite $p=1$ utilizzando dati di Neumann nello spazio di Hardy atomico $\dot{h}^1_{\text{ato}}(\partial\Omega)$.

2. Metodologia e Strategia di Dimostrazione

Gli autori adottano una strategia basata sull'interpolazione reale e sulla teoria degli spazi di Hardy, seguendo un approccio in due fasi per trattare gli atomi (dati di Neumann con supporto compatto e media nulla):

A. Strategie Generali

1. Interpolazione: Si dimostra la risolubilità per $p=1$ (dati nello spazio di Hardy atomico) e si utilizza l'ipotesi di risolubilità per un $p > 1$ dato. Attraverso l'interpolazione reale tra lo spazio di Hardy $\dot{h}^1$ e $L^p$, si ottiene la risolubilità per tutti gli $q \in (1, p)$.
2. Analisi degli Atomi: Il cuore della dimostrazione consiste nel mostrare che per ogni atomo $g$ (con supporto in un cubo parabolico $Q_r \cap \partial\Omega$), la soluzione $u$ soddisfa una stima uniforme:
   $$\|\tilde{N}(\nabla u)\|_{L^1(\partial\Omega)} \leq C$$
   dove $\tilde{N}$ è la funzione massimale non tangenziale modificata.

B. Distinzione tra Atomi Grandi e Piccoli

La difficoltà principale risiede nel fatto che il dominio è un cilindro limitato, il che impedisce l'uso diretto delle tecniche sviluppate per domini grafici illimitati (come nel lavoro precedente [7] degli stessi autori). Gli autori dividono il problema in due casi basati sulla dimensione del supporto dell'atomo $r$ rispetto alla scala del dominio:

1. Atomi Grandi ($r \gtrsim 1$):

   • In questo caso, il supporto dell'atomo copre una porzione significativa del cilindro.
   • Si utilizza la disuguaglianza di Hölder e la risolubilità $L^p$ assunta per stimare la norma $L^1$ localmente.
   • Per la regione temporale lontana dal supporto dell'atomo ($t$ grande), si sfrutta un decadimento esponenziale della soluzione. Questo decadimento è dimostrato combinando la disuguaglianza di Caccioppoli, le proprietà di regolarità Hölderiana al bordo e un lemma che mostra come l'energia si dissipi nel tempo quando i dati di Neumann sono nulli.

2. Atomi Piccoli ($r < 1$):

   • Questo è il caso più complesso e richiede idee sostanzialmente nuove rispetto al caso illimitato.
   • Estensione a Dominio Illimitato: Gli autori costruiscono un dominio ausiliario illimitato $\tilde{\Omega}$ di tipo grafico ($x_n > \tilde{\phi}(x')$) che coincide con il dominio originale $\Omega$ nella regione contenente il supporto dell'atomo.
   • Estensione dei Coefficienti: La matrice $A$ viene estinata a $\tilde{A}$ su tutto $\tilde{\Omega}$ mantenendo l'ellitticità uniforme.
   • Riflessione e Stime: Si risolve un problema di Neumann ausiliario su $\tilde{\Omega}$ con lo stesso dato $g$. Si utilizza una tecnica di riflessione pari (even reflection) attraverso il bordo per estendere la soluzione $w$ a tutto lo spazio (escluso il supporto dell'atomo).
   • Stime di Decadimento: Si dimostra che la soluzione estesa $\tilde{w}$ decade sufficientemente velocemente all'infinito (usando il principio del massimo e le stime di Aronson per il nucleo fondamentale).
   • Assorbimento del Termine di Errore: Attraverso una serie di stime locali (Caccioppoli, Poincaré parabolico) e una scelta opportuna di un parametro di scala $K$ (legato alla suddivisione temporale dell'atomo), si riesce ad assorbire il termine integrale residuo nella stima $L^1$, ottenendo il controllo uniforme richiesto.

3. Risultati Chiave

• Teorema 1.3: Sia $\Omega = O \times \mathbb{R}$ con $O$ dominio Lipschitz limitato. Se il problema di Neumann $(N_p)_L$ e il problema di Dirichlet aggiunto $(D_{p'})_{L^*}$ sono risolvibili per un certo $p \in (1, \infty)$, allora il problema di Neumann $(N_q)_L$ è risolvibile per ogni $1 < q < p$.
• Caso Limite $p=1$: Il problema è risolvibile per dati di Neumann nello spazio di Hardy atomico $\dot{h}^1_{\text{ato}}(\partial\Omega)$.
• Indipendenza dalle Assunzioni di Piccolezza: A differenza di lavori precedenti (es. [6]) che richiedevano condizioni di Carleson piccole sui coefficienti o una norma Lipschitz piccola per il dominio, questo risultato vale per qualsiasi dominio Lipschitz limitato e coefficienti solo limitati ed ellittici.

4. Contributi Tecnici Principali

1. Gestione della Geometria Limitata: Il lavoro risolve la difficoltà intrinseca dei cilindri limitati, dove le tecniche di "dominio grafico" non sono direttamente applicabili. La costruzione del dominio ausiliario illimitato $\tilde{\Omega}$ e l'uso della riflessione permettono di sfruttare la teoria sviluppata per i domini illimitati in un contesto locale.
2. Decadimento Temporale: La dimostrazione dettagliata del decadimento esponenziale delle soluzioni in assenza di dati di Neumann su cilindri limitati è un risultato tecnico significativo che permette di controllare la soluzione all'infinito temporale.
3. Completamento della Teoria: Questo risultato colma una lacuna nella comprensione dei problemi al contorno parabolici, completando il quadro per i problemi di Neumann analogo a quanto già noto per i problemi di Dirichlet e di regolarità.

5. Significato

Il risultato è fondamentale perché stabilisce la robustezza della risolubilità $L^p$ per il problema di Neumann parabolico su domini fisici realistici (cilindri limitati) senza richiedere condizioni restrittive sui coefficienti o sulla geometria del dominio.

• Teorico: Completa la teoria di estrapolazione per i problemi parabolici, allineando il caso Neumann con i risultati noti per Dirichlet e Regolarità.
• Applicativo: Fornisce garanzie di esistenza e unicità per una vasta classe di equazioni di diffusione con coefficienti disomogenei su domini con bordi irregolari (Lipschitz), che sono comuni in fisica e ingegneria.

In sintesi, Dindoš e Liu dimostrano che la struttura geometrica del dominio (limitato vs illimitato) non ostacola l'estrapolazione della risolubilità, purché si adotti un approccio sofisticato che combina analisi armonica, teoria degli spazi di Hardy e tecniche di estensione geometrica.