The $L^p$ Neumann problem for parabolic operators with coefficients satisfying small Carleson condition

Sintesi Tecnica: Il Problema di Neumann $L^p$ per Operatori Parabolici con Piccoli Coefficienti di Carleson

Enunciato del Problema
Questo articolo affronta la solvibilità del problema al contorno di Neumann per equazioni alle derivate parziali (PDE) paraboliche della forma:
$$-\partial_t u + \text{div}(A\nabla u) = 0$$
su un cilindro parabolico $\Omega = \mathcal{O} \times \mathbb{R}$, dove $\mathcal{O}$ è un dominio Lipschitziano limitato o illimitato in $\mathbb{R}^n$. La matrice dei coefficienti $A(X, t)$ è assunta non simmetrica, variabile nel tempo e uniformemente ellittica con coefficienti misurabili limitati.

La sfida centrale è stabilire la solvibilità $L^p$ per il problema di Neumann (denotato con $(N)_p^L$) per tutti $1 < p < \infty$. Specificamente, dati i dati di Neumann $g \in L^p(\partial\Omega)$, l'obiettivo è dimostrare l'esistenza di una soluzione $u$ tale che la funzione massimale non tangenziale del gradiente, $\tilde{N}(\nabla u)$, soddisfi la stima:
$$\|\tilde{N}(\nabla u)\|_{L^p(\partial\Omega)} \leq C \|g\|_{L^p(\partial\Omega)}.$$
I coefficienti sono assunti soddisfare una "piccola condizione di Carleson". Questa condizione quantifica la regolarità dei coefficienti tramite una misura di Carleson $\mu$ definita dalla densità:
$$d\mu = \sup_{B_{\delta/2}(X,t)} \left( \delta(Y,s)|\nabla A|^2 + \delta(Y,s)^3|\partial_t A|^2 \right) dX dt,$$
dove $\delta(X,t)$ è la distanza parabolica dal bordo. Il risultato principale vale sotto l'ipotesi che la norma di Carleson $\|\mu\|_C$ e la costante Lipschitz del dominio siano sufficientemente piccole.

Metodologia
Gli autori impiegano una strategia a più fasi che adatta le tecniche della teoria ellittica all'ambito parabolico, introducendo specifiche modifiche per gestire la dipendenza dal tempo e la mancanza di simmetria dell'operatore.

1. Riduzione ai Coefficienti Lisci:
   La dimostrazione inizia approssimando i coefficienti rugosi $A$ con matrici lisce $B$ che soddisfano condizioni di regolarità più forti (specificamente, vincoli sulle derivate pesate da potenze della distanza dal bordo). Ciò consente l'applicazione delle stime standard per le PDE pur controllando l'errore tramite argomenti di perturbazione (Teorema 3.1).

2. Stime A Priori e Bootstrap:
   Una parte significativa del lavoro consiste nello stabilire la finitezza a priori della funzione massimale non tangenziale $\|\tilde{N}(\nabla u)\|_{L^p}$ per dati e coefficienti lisci. Questo è non banale nel contesto parabolico e richiede un argomento di "bootstrap":

   • Step 1: Stabilire la regolarità iniziale per le derivate tangenziali $\nabla_T u$ e la derivata conormale $H = \sum a_{nj}\partial_j u$ utilizzando metodi energetici e disuguaglianze di tipo Caccioppoli.
   • Step 2: Utilizzare le PDE non omogenee soddisfatte da $\nabla_T u$ e $H$. Fondamentalmente, $H$ soddisfa una specifica PDE derivata nella Sezione 4.2, che permette agli autori di controllare la derivata normale $\partial_n u$ tramite la relazione $\partial_n u = a_{nn}^{-1}(H - \sum_{j<n} a_{nj}\partial_j u)$.
   • Step 3: Applicare argomenti di iterazione di Moser per migliorare la regolarità di $\nabla u$ da $L^2$ a $L^\infty$ su insiemi limitati, e utilizzare stime di decadimento del kernel del calore per il caso illimitato.

3. Stime tra Funzione Quadrata e Funzione Massimale:
   Il cuore della dimostrazione risiede nell'instaurare la limitatezza reciproca tra le funzioni massimali non tangenziali e le funzioni quadrate.

   • Stime $N < S_p$: Gli autori dimostrano che la funzione massimale non tangenziale del gradiente è limitata da una funzione quadratica $S_p$ adattata a $p$. Ciò si ottiene tramite una tecnica di disuguaglianza "good-$\lambda$" che coinvolge un argomento di tempo di arresto (stopping time) e una costruzione modificata del cono non tangenziale (Sezione 5).
   • Controllo di $S_p$: Le funzioni quadrate adattate a $p$ sia per il gradiente tangenziale che per la derivata conormale $H$ sono controllate dai dati al contorno. Ciò comporta intricate integrazioni per parti e l'uso delle PDE soddisfatte da $H$ e $\nabla_T u$ per trasferire le derivate sui coefficienti, sfruttando la piccolezza della norma di Carleson.

4. Localizzazione:
   Per i cilindri Lipschitziani limitati, la solvibilità viene dedotta dai risultati sui domini illimitati (semispazio superiore) tramite tecniche di localizzazione e il decadimento esponenziale delle soluzioni lontano dal supporto dei dati al contorno.

Contributi Chiave e Risultati

• Teorema Principale (Teorema 1.6): L'articolo dimostra che per ogni $1 < p < \infty$, il problema di Neumann $L^p$ è risolvibile su cilindri Lipschitziani a patto che la norma di Carleson dei coefficienti e la costante Lipschitz del dominio siano sufficientemente piccole. La soluzione soddisfa la stima netta $\|\tilde{N}(\nabla u)\|_{L^p} \leq C \|g\|_{L^p}$.
• Analogo Parabolico dei Risultati Ellittici: Questo lavoro completa l'analogo parabolico dei risultati di Neumann ellittici stabiliti in [19] nel regime della piccola norma di Carleson. Esso porta lo stato dell'arte per le matrici paraboliche variabili nel tempo in pieno allineamento con il controparte ellittico.
• Gestione dei Coefficienti Variabili nel Tempo: A differenza di lavori precedenti che richiedevano l'indipendenza dalla variabile spaziale trasversale o l'indipendenza dal tempo, questo articolo tratta matrici non simmetriche completamente variabili nel tempo.
• La Funzione Quadrata Adattata a $p$: Gli autori hanno adattato con successo la tecnica della funzione quadratica adattata a $p$ (originariamente da [17]) al problema di Neumann parabolico, superando le difficoltà legate alla natura non locale della derivata di tempo frazionaria nel problema di Regolarità.
• Dicotomia nel Controllo della Derivata di Tempo Frazionaria: Nell'Appendice A, gli autori presentano un'osservazione originale riguardante il controllo della derivata di tempo frazionaria $D_t^{1/2}u$. Essi mostrano che, sebbene tale controllo sia possibile per domini illimitati (specificamente per $p \leq 2$), esso non è possibile per domini limitati. Ciò contrasta con il problema di Regolarità e evidenzia una differenza fondamentale nel comportamento dei dati di Neumann su domini parabolici limitati rispetto a quelli illimitati.

Significato e Ambito
L'articolo risolve una questione rimasta aperta a lungo riguardante la solvibilità del problema di Neumann parabolico per coefficienti rugosi nel regime della piccola norma di Carleson. Esso integra il precedente lavoro degli autori sul problema di Regolarità parabolica [14] e sul problema di Dirichlet [9, 11, 18].

Gli autori osservano esplicitamente che il regime della "grande norma di Carleson" rimane un problema aperto per dimensioni $n > 2$, anche nel caso ellittico (dove è stato risolto solo di recente in 2D). L'attuale lavoro è strettamente limitato al regime della piccola norma, facendo affidamento sulla piccolezza della costante di Carleson per assorbire i termini di errore nelle stime. La metodologia si basa fortemente sulla struttura specifica delle PDE soddisfatte dalla derivata conormale e sul delicato intreccio tra derivate tangenziali e normali, che rappresenta una caratteristica distinta rispetto al caso ellittico.