A counterexample for pointwise upper bounds on Green's function with a singular drift at boundary

Sintesi Tecnica: Un Controesempio per i Limiti Superiori Puntuali della Funzione di Green con Drift Singolare al Confine

Enunciato del Problema
Questo articolo affronta il comportamento della funzione di Green associata a una sequenza di operatori ellittici $L_m = -\nabla \cdot (\nabla u) + B_m \cdot \nabla u$ definiti sulla palla unitaria $\Omega = B(0, 1) \subset \mathbb{R}^n$ ($n \geq 3$). L'attenzione è rivolta agli operatori in cui il termine di drift $B_m$ diverge come l'inverso della distanza dal confine, comportandosi specificamente come $C/(1-|x|)$ vicino a $\partial \Omega$.

Sebbene i limiti superiori e inferiori puntuali per le funzioni di Green siano ben stabiliti per operatori con drift limitati o drift limitati da $\epsilon/\delta(x)$ (dove $\epsilon$ è sufficientemente piccolo), il comportamento per drift con una costante $C$ più grande rimane un punto di controversia. L'articolo mira specificamente a una affermazione di Hofmann e Lewis riguardante l'esistenza di stime superiori uniformi per tali drift singolari nel contesto ellittico.

Metodologia
L'autore costruisce una specifica sequenza di controesempi utilizzando un campo di drift radiale $B_m$ definito come:
B_m = \begincases} -\frac{C}{1-|r|} \hat{r} & \text{se } |r| \leq 1 - \frac{1}{m} \\ -C_m \hat{r} & \text{se } 1 - \frac{1}{m} < |r| < 1 \end{cases}
dove $C \geq 1$ è una costante arbitraria e $C_m$ è scelta per garantire la continuità o un comportamento specifico nello strato limite. Per $m \to \infty$, questa sequenza approssima un drift $B(x)$ che soddisfa $|B(x)| \leq C/\delta(x)$.

La metodologia procede in tre fasi principali:

1. Riduzione per Simmetria: L'autore dimostra che, per il polo specifico nell'origine, la funzione di Green $G_m(x, 0)$ dipende solo dalla variabile radiale $r = |x|$. Ciò riduce l'equazione differenziale alle derivate parziali a un'equazione differenziale ordinata (ODE) nella coordinata radiale.
2. Stabilimento dei Limiti Inferiori: Utilizzando argomenti simili a quelli presenti nella letteratura esistente (specificamente facendo riferimento a [2]), l'articolo stabilisce un limite inferiore uniforme per la funzione di Green nella regione interiore. Si dimostra che $G_m(y, z) \geq c_0 |z-y|^{-(n-2)}$ per punti sufficientemente vicini tra loro e lontani dal confine, dove la costante $c_0$ è indipendente da $m$. Ciò si basa sulla disuguaglianza di Harnack e su una stima attenta dell'effetto del termine di drift all'interno di anuli delimitati dal confine.
3. Integrazione Esplicita e Analisi della Divergenza: Risolvendo l'ODE radiale esplicitamente utilizzando un fattore integrante, l'autore deriva un'espressione per la derivata della funzione di Green. La soluzione viene integrata da un punto vicino al confine verso il centro (specificamente valutando in $x = (1/2, 0, \dots, 0)$). L'analisi distingue tra la regione in cui il drift segue la legge dell'inverso della distanza e lo strato limite dove il drift viene troncato.

Risultati Chiave
Il risultato centrale, Teorema 2, dimostra che per l'operatore definito con $C=1$, il valore della funzione di Green nel punto $(1/2, 0, \dots, 0)$ con un polo nell'origine diverge all'infinito quando $m \to \infty$:
$$\lim_{m \to \infty} G_m\left(\frac{1}{2}, 0, \dots, 0; 0\right) = \infty$$
La prova si basa sul fatto che, mentre il limite inferiore rimane uniforme, il limite superiore fallisce. L'integrazione esplicita mostra che il termine coinvolgente l'esponenziale dell'integrale del drift cresce illimitatamente al crescere di $m$, specificamente a causa del contributo proveniente dallo strato limite dove il drift è troncato con $C_m$.

Di conseguenza, l'articolo stabilisce che le stime superiori puntuali uniformi per la funzione di Green non esistono per questa classe di drift singolari quando la costante $C$ non è sufficientemente piccola.

Inoltre, l'articolo nota che se la costante $C$ nel drift è scelta in modo sufficientemente piccolo (specificamente $C < 1$ nel contesto dell'esempio costruito, o generalmente $\epsilon(\Omega)$ come da [9]), i limiti superiori puntuali attesi vengono recuperati. Ciò evidenzia una soglia netta nel comportamento delle soluzioni basata sull'entità del drift singolare.

Infine, l'autore osserva che nel limite per $m \to \infty$, la soluzione del problema di Poisson-Dirichlet con dati limitati (ad esempio, $f = \mathbf{1}_{B(1/2, \epsilon)}$) cessa di essere ben definita in $W^{1,2}(B(0, 1))$, poiché i valori della soluzione divergono all'infinito ovunque in un vicinato dell'origine.

Conclusione
L'articolo conclude che per operatori ellittici con drift che divergono come l'inverso della distanza dal confine, i limiti superiori uniformi sulla funzione di Green non possono essere garantiti se il coefficiente del drift supera una certa soglia. Questo risultato corregge la letteratura riguardo alla validità dell'estensione delle stime paraboliche al setting ellittico per tali coefficienti singolari.