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

Technische Samenvatting: Een Tegenvoorbeeld voor Puntvormige Bovengrenzen op de Groen-functie met Singuliere Drift bij de Rand

Probleemstelling
Dit artikel behandelt het gedrag van de Groen-functie geassocieerd met een sequentie van elliptische operatoren $L_m = -\nabla \cdot (\nabla u) + B_m \cdot \nabla u$ gedefinieerd op de eenheidsbal $\Omega = B(0, 1) \subset \mathbb{R}^n$ ($n \geq 3$). De focus ligt op operatoren waarbij de driftterm $B_m$ divergeert als de inverse afstand tot de rand, specifiek gedragend als $C/(1-|x|)$ nabij $\partial \Omega$.

Hoewel puntvormige boven- en ondergrenzen voor Groen-functies goed gevestigd zijn voor operatoren met begrensde driften of driften die begrensd zijn door $\epsilon/\delta(x)$ (waarbij $\epsilon$ voldoende klein is), blijft het gedrag voor driften met een grotere constante $C$ een punt van discussie. Dit artikel richt zich specifiek op een bewering van Hofmann en Lewis betreffende de existentie van uniforme bovenmaten voor dergelijke singuliere driften in de elliptische setting.

Methodologie
De auteur construeert een specifieke sequentie van tegenvoorbeelden met behulp van een radiale driftveld $B_m$ gedefinieerd als:
$$B_m = \begin{cases} -\frac{C}{1-|r|} \hat{r} & \text{indien } |r| \leq 1 - \frac{1}{m} \\ -C_m \hat{r} & \text{indien } 1 - \frac{1}{m} < |r| < 1 \end{cases}$$
waarbij $C \geq 1$ een willekeurige constante is en $C_m$ wordt gekozen om continuïteit of specifiek gedrag in de randlaag te waarborgen. Naarmate $m \to \infty$, benadert deze sequentie een drift $B(x)$ die voldoet aan $|B(x)| \leq C/\delta(x)$.

De methodologie verloopt in drie hoofdfasen:

1. Symmetrie-reductie: De auteur bewijst dat voor de specifieke pool in het origineel de Groen-functie $G_m(x, 0)$ alleen afhangt van de radiale variabele $r = |x|$. Dit reduceert de partiële differentiaalvergelijking tot een gewone differentiaalvergelijking (ODE) in de radiale coördinaat.
2. Vaststelling van Ondergrenzen: Met argumenten vergelijkbaar met die in de bestaande literatuur (specifiek refererend aan [2]) stelt het artikel een uniforme ondergrens vast voor de Groen-functie in het binnenste gebied. Er wordt aangetoond dat $G_m(y, z) \geq c_0 |z-y|^{-(n-2)}$ voor punten die voldoende dicht bij elkaar liggen en weg van de rand, waarbij de constante $c_0$ onafhankelijk is van $m$. Dit berust op de Harnack-ongelijkheid en zorgvuldige schatting van het effect van de drift binnen ringen die ver van de rand liggen.
3. Expliciete Integratie en Divergentie-analyse: Door de radiale ODE expliciet op te lossen met behulp van een integrerende factor, leidt de auteur een uitdrukking af voor de afgeleide van de Groen-functie. De oplossing wordt geïntegreerd vanaf een punt nabij de rand naar het centrum (specifiek geëvalueerd in $x = (1/2, 0, \dots, 0)$). De analyse maakt onderscheid tussen de regio waar de drift het inverse-afstandswet volgt en de randlaag waar de drift wordt afgekapt bij $C_m$.

Belangrijkste Resultaten
Het centrale resultaat, Stelling 2, demonstreert dat voor de operator gedefinieerd met $C=1$, de waarde van de Groen-functie in het punt $(1/2, 0, \dots, 0)$ divergeert naar oneindig als $m \to \infty$:
$$\lim_{m \to \infty} G_m\left(\frac{1}{2}, 0, \dots, 0; 0\right) = \infty$$
Het bewijs berust op het feit dat terwijl de ondergrens uniform blijft, de bovengrens faalt. De expliciete integratie toont aan dat de term die de exponent van de drift-integraal bevat, onbegrensd groeit naarmate $m$ toeneemt, specifiek door de bijdrage van de randlaag waar de drift wordt afgekapt bij $C_m$.

Consequentelijk stelt het artikel vast dat uniforme puntvormige bovenmaten voor de Groen-functie niet bestaan voor deze klasse van singuliere driften wanneer de constante $C$ niet voldoende klein is.

Betekenis en Claims
Het artikel beweert een definitief tegenvoorbeeld te leveren voor een eerdere bewering van Hofmann en Lewis (specifiek Stelling 4.3(a) in Hoofdstuk III van hun werk [4]). De auteur betoogt dat het vermeende bewijs in het geciteerde werk faalt omdat het steunt op een elliptische versie van een lemma dat niet bewezen kan worden zonder de zeer gewenste bovengrens op de Groen-functie al aan te nemen. Het geciteerde bewijs probeert een resultaat uit de parabolische casus te generaliseren naar de elliptische casus, een stap die de auteur als ongeldig aantoont voor driften van deze omvang.

Verder merkt het artikel op dat indien de constante $C$ in de drift voldoende klein wordt gekozen (specifiek $C < 1$ in de context van het geconstrueerde voorbeeld, of algemeen $\epsilon(\Omega)$ zoals per [9]), de verwachte puntvormige bovenmaten worden teruggevonden. Dit benadrukt een scherpe drempel in het gedrag van oplossingen op basis van de grootte van de singuliere drift.

Ten slotte observeert de auteur dat in de limiet $m \to \infty$, de oplossing voor het Poisson-Dirichlet probleem met begrensde data (bijv. $f = \mathbf{1}_{B(1/2, \epsilon)}$) niet langer welgedefinieerd is in $W^{1,2}(B(0, 1))$, aangezien de oplossingswaarden overal in een buurt van het origineel naar oneindig divergeren.

Conclusie
Het artikel concludeert dat voor elliptische operatoren met driften die divergeren als de inverse afstand tot de rand, uniforme bovenmaten op de Groen-functie niet gegarandeerd kunnen worden als de driftcoëfficiënt een bepaalde drempel overschrijdt. Dit resultaat corrigeert de literatuur over de geldigheid van het uitbreiden van parabolische schattingen naar de elliptische setting voor dergelijke singuliere coëfficiënten.