The doubling property of the elliptic measure, for elliptic operators with drifts satisfying an average diverging condition

Sintesi Tecnica: La Proprietà di Raddoppio della Misura Ellittica con Drifts Divergenti Mediati

Enunciato del Problema
Questo articolo investiga la proprietà di raddoppio della misura ellittica associata a un operatore ellittico lineare in forma divergente con un termine di drift, definito su un dominio chord-arc monodirezionale (1-sided chord arc domain) $\Omega \subset \mathbb{R}^n$ ($n \geq 3$):
$$Lu = -\nabla \cdot (A\nabla u) + B \cdot \nabla u$$
La sfida centrale affrontata riguarda il comportamento della misura ellittica quando il termine di drift $B$ soddisfa una condizione di "piccolezza" in un senso mediato su cubi di Whitney, piuttosto che la più stretta condizione di piccolezza puntuale precedentemente assunta nella letteratura:
$$\int_{U_Q} |B|^2 \delta(X) \, dV \leq \beta^2 l(Q)^{n-1}$$
dove $U_Q$ è un cubo di Whitney ingrossato associato a un cubo di bordo $Q$, e $\beta$ è una piccola costante. Questo generalizza i risultati precedenti (ad esempio, Hofmann-Lewis [HL01]) che richiedevano la stima puntuale $|B(x)| \leq \beta/\delta(x)$. L'articolo affronta anche l'esistenza di soluzioni per l'operatore aggiunto $L^*$, necessaria per stabilire i limiti inferiori sulla funzione di Green.

Metodologia
La strategia di prova si basa sull'instaurazione di due ingredienti principali: stime puntuali per la funzione di Green e una stima di tipo Bourgain per la misura ellittica.

1. Esistenza e Regolarità: L'autore delinea prima l'esistenza di soluzioni deboli sia per $L$ che per il suo aggiunto $L^*$ utilizzando il lemma di Lax-Milgram. Un passaggio cruciale consiste nel dimostrare la coercitività delle forme bilineari associate. Per l'operatore aggiunto, è richiesta una condizione aggiuntiva sulla divergenza del drift, $-\frac{M}{\delta(x)^2} \leq (\nabla \cdot B) \leq 0$, per garantire la coercitività.
2. Disuguaglianze di Hardy: L'articolo dimostra una disuguaglianza di Hardy locale e globale in domini chord-arc monodirezionali con bordi Ahlfors-David regolari (ADR): a differenza delle derivazioni precedenti che si basavano su versioni globali, questo lavoro fornisce una dimostrazione diretta utilizzando un argomento di tempo di arresto (stopping time argument) su cubi di dicotomia (dyadic cubes), il quale è segnalato come un contributo originale alla letteratura.
3. Regolarità di Hölder al Bordo: Adattando le tecniche di Hofmann-Lewis [HL01], l'autore stabilisce la continuità di Hölder al bordo per le soluzioni che si annullano su una palla superficiale. Ciò richiede la gestione del termine di drift $B$ tramite una decomposizione di cubi di Whitney. La prova scinde i cubi in due categorie basate sul supporto di una funzione di test e utilizza la condizione di piccolezza mediata (Eq. 2) insieme alla stima puntuale (Eq. 4) per controllare il termine $\int |B|^2 u^2 \psi^2$.
4. Stime della Funzione di Green:
   • Limiti Inferiori: Seguendo l'approccio di Grüter e Widman [GW82], l'articolo deriva limiti inferiori puntuali per la funzione di Green $G(x,y)$ assumendo l'esistenza della funzione di Green dell'aggiunto.
   • Limiti Superiori: La derivazione dei limiti superiori è più delicata a causa della mancanza di piccolezza puntuale. L'autore impiega una decomposizione di Calderón-Zygmund del termine di drift $|B|^2$ all'interno di un cubo di Whitney. Ciò consente di isolare un "insieme cattivo" (bad set) di cubi dove il drift potrebbe essere grande, garantendo al contempo che il drift rimanga puntualmente piccolo sull' "insieme buono" (good set). Costruendo una funzione di test supportata sull'insieme buono e utilizzando la disuguaglianza di Hardy globale, l'autore stabilisce i necessari limiti superiori.
5. Stima di Bourgain e Raddoppio: Combinando la regolarità di Hölder al bordo con le stime della funzione di Green, l'articolo deriva una stima di tipo Bourgain (un limite inferiore uniforme sulla misura ellittica delle palle superficiali). Infine, seguendo l'argomento in Aikawa [Ai06], questi ingredienti vengono combinati per dimostrare la proprietà di raddoppio della misura ellittica.

Contributi Chiave e Risultati

• Generalizzazione delle Condizioni di Drift: Il risultato primario (Teorema 3) stabilisce la proprietà di raddoppio della misura ellittica sotto l'assunzione che il drift soddisfi una condizione di piccolezza mediata (Eq. 2) sui cubi di Whitney, anziché la condizione puntuale (Eq. 3). Questa è una significativa rilassazione delle ipotesi, anche per lo semispazio.
• Nuova Dimostrazione della Disuguaglianza di Hardy: L'articolo fornisce una dimostrazione diretta delle disuguaglianze di Hardy locale e globale in domini chord-arc monodirezionali utilizzando un argomento di tempo di arresto, distinto dalle precedenti dimostrazioni indirette.
• Limiti della Funzione di Green: L'articolo stabilisce sia i limiti superiori che quelli inferiori puntuali per la funzione di Green sotto la condizione di drift mediato. La prova del limite superiore utilizza notevolmente una decomposizione di Calderón-Zygmund per gestire la mancanza di controllo puntuale sul drift.
• Esistenza dell'Aggiunto: Il lavoro chiarisce le condizioni richieste per l'esistenza di soluzioni all'equazione aggiunta, evidenziando specificamente la necessità della condizione di divergenza su $B$ per la forma bilineare dell'aggiunto.

Significato e Rivendicazioni
L'articolo sostiene che questi risultati siano nuovi anche per lo semispazio, estendendo la teoria perturbativa della solubilità di Dirichlet ruvida. Il lavoro si connette agli sviluppi recenti sulla solubilità per operatori con condizioni di misura di Carleson sui termini di ordine inferiore (ad esempio, Hofmann-Lewis, Kenig-Pipher, e lavori recenti dell'autore e di altri).

L'autore pone questo lavoro come un passo fondamentale verso l'estensione dei risultati di [HP24] (che ha stabilito la solubilità di Dirichlet in $L^p$) ad operatori in cui viene rimossa la condizione di supremo all'interno dell'integrale della misura di Carleson. L'articolo dichiara esplicitamente che, sebbene la proprietà di raddoppio sia stata stabilita qui, l'adattamento completo dei metodi per provare la solubilità di Dirichlet sotto questa più generale condizione di misura di Carleson sul drift sarà oggetto di lavori futuri.

La significatività risiede nella capacità di gestire drift che non sono puntualmente piccoli ma che sono "piccoli in media", ampliando così la classe di operatori ellittici per i quali la proprietà di raddoppio della misura ellittica — e di conseguenza la solubilità dei problemi ai valori al contorno — può essere garantita.