Localization and interpolation of parabolic $L^p$ Neumann problems

1. Problema e Contesto

Il lavoro si concentra sulla risoluzione del problema di Neumann parabolico per equazioni della forma:
$$Lu = -\partial_t u + \text{div}(A\nabla u) = 0$$
in un cilindro di Lipschitz $\Omega = \mathcal{O} \times \mathbb{R}$, dove $\mathcal{O}$ è un dominio di Lipschitz in $\mathbb{R}^n$.
Le ipotesi principali includono:

• La matrice dei coefficienti $A(X, t)$ è limitata, misurabile e può dipendere dal tempo.
• $A$ soddisfa una condizione di ellitticità uniforme.
• Si assume la solvabilità del problema di Neumann $L^p$ ($(N_p)_L$) e del problema di Dirichlet $L^{p'}$ per l'operatore aggiunto ($(D_{p'})_{L^*}$) per un certo $p \in (1, \infty)$.

L'obiettivo principale è stabilire una teoria completa di solvabilità $L^p$ per questi problemi, superando le limitazioni dei metodi precedenti che richiedevano condizioni più restrittive sui coefficienti o sulla regolarità del dominio.

2. Metodologia

Gli autori adottano un approccio basato su due pilastri fondamentali:

A. Stime di Localizzazione (Localization Estimates)

Il cuore del lavoro è la dimostrazione di una stima di localizzazione per le soluzioni locali. In particolare, mostrano che sulla porzione del bordo dove i dati di Neumann si annullano, la funzione massima non tangenziale del gradiente $\nabla u$ è controllata dalla media quadratica del gradiente in una regione di Carleson ingrandita.
La stima chiave (Teorema 1.4) è:
$$\| \tilde{N}(|\nabla u| \mathbf{1}_{J_r}) \|_{L^p(\partial\Omega)} \leq C r^{(n+1)/p} \left( \iint_{J_{2r} \cap \Omega} |\nabla u|^2 \, dX dt \right)^{1/2}$$
dove $J_r$ è un cubo parabolico all'indietro centrato sul bordo.

Innovazione Metodologica:
A differenza del caso ellittico (dove si usava spesso la solvabilità del problema di Regolarità $L^p$), gli autori evitano di lavorare direttamente con il problema di Regolarità parabolico, che è tecnicamente molto più complesso a causa della presenza di una derivata frazionaria di ordine $1/2$ nel tempo sui dati al bordo.
Invece, introducono e studiano il problema di Poisson-Neumann (e le sue varianti deboli) per l'operatore aggiunto. Questa strategia, ispirata a lavori precedenti nel caso ellittico ma adattata al setting parabolico, permette di ottenere le stime di localizzazione senza assumere la solvabilità del problema di Regolarità.

B. Interpolazione e Spazi di Hardy

Una volta stabilita la stima di localizzazione, gli autori utilizzano il metodo di interpolazione reale per estendere la solvabilità.

1. Dimostrano la solvabilità del problema di Neumann nello spazio di Hardy atomico ($H^1_{ato}$) per dati al bordo che sono atomi $L^\infty$.
2. Utilizzano l'interpolazione tra lo spazio $H^1_{ato}$ e lo spazio $L^p$ (dove la solvabilità è già assunta) per ottenere la solvabilità $L^q$ per tutti gli $q$ tali che $1 < q < p$.

3. Contributi Chiave e Risultati

Teorema 1.4 (Stima di Localizzazione)

Il risultato principale è la prova della stima di localizzazione (1.1) sotto l'ipotesi di solvabilità di $(N_p)_L$ e $(D_{p'})_{L^*}$. Questa stima è fondamentale perché permette di controllare il comportamento del gradiente vicino al bordo basandosi solo sui dati locali e sulla struttura dell'operatore, senza dipendere da proprietà globali complesse.

Teorema 1.6 (Interpolazione e Solvabilità)

Il secondo risultato principale stabilisce che se il problema di Neumann $L^p$ e il problema di Dirichlet $L^{p'}$ aggiunto sono solvibili, allora il problema di Neumann $L^q$ è solvibile per tutti $1 < q < p$.

• Questo estende risultati noti (come quelli per l'equazione del calore) a operatori con coefficienti solo limitati e misurabili, senza richiedere condizioni aggiuntive sui coefficienti (come le condizioni di Carleson o la regolarità temporale).
• Il risultato è analogo alla teoria ellittica sviluppata in lavori precedenti (es. [15]), ma ora applicata al contesto parabolico con coefficienti dipendenti dal tempo.

Spazi di Funzioni e Dualità

Il paper definisce e utilizza in modo rigoroso:

• Spazi di Tenda (Tent spaces) parabolici modificati ($\tilde{T}^p$).
• Soluzioni rinforzate (Reinforced weak solutions) e soluzioni energetiche, gestendo la derivata temporale di ordine $1/2$ tramite trasformate di Hilbert.
• Relazioni di dualità tra problemi di Poisson-Dirichlet, Poisson-Neumann e problemi di regolarità, che sono essenziali per la prova delle stime.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Generalità dei Coefficienti: Fornisce un quadro teorico per operatori parabolici con coefficienti $L^\infty$ misurabili dipendenti dal tempo, una classe molto ampia che include casi fisici rilevanti ma difficili da trattare.
2. Indipendenza dal Problema di Regolarità: Dimostra che la solvabilità del problema di Neumann può essere ottenuta senza dover risolvere prima il problema di Regolarità, semplificando notevolmente la teoria in contesti parabolici dove la regolarità temporale è problematica.
3. Fondamento per Applicazioni Future: Le stime di localizzazione e il risultato di interpolazione forniscono gli strumenti necessari per studiare la solvabilità ottimale $L^p$ per classi specifiche di operatori (ad esempio, quelli che soddisfano condizioni di Carleson piccole), come accennato dagli autori nel loro lavoro in preparazione [11].
4. Unificazione Teorica: Colma il divario tra la teoria ellittica e quella parabolica per i problemi di Neumann, mostrando che le tecniche di localizzazione e interpolazione possono essere trasposte con successo nel setting parabolico, nonostante le difficoltà intrinseche legate all'asimmetria temporale.

In sintesi, il paper stabilisce un nuovo standard per l'analisi dei problemi al contorno parabolici, fornendo strumenti robusti per la solvabilità $L^p$ in domini di Lipschitz con coefficienti irregolari.