Dirichlet Green's functions with singular drifts at the boundary of convex domains

Titel: Dirichlet Green-functies met singuliere drifts aan de rand van convexe domeinen

Auteur: Aritro Pathak
Datum: 14 april 2026 (voorgesteld)
Veld: Partiële Differentiaalvergelijkingen (PDE's), Elliptische Operatoren

---

1. Probleemstelling en Context

Het paper onderzoekt de puntsgewijze boven- en ondergrenzen voor de Dirichlet Green-functie $G(x, y)$ van elliptische operatoren in begrensde convexe domeinen $K \subset \mathbb{R}^n$ (met $n \geq 3$).

De specifieke operator die wordt bestudeerd is van de vorm:
$$Lu = -\Delta u + B \cdot \nabla u = 0$$
waarbij de driftterm $B(X)$ singulier is aan de rand van het domein. De drift voldoet aan de volgende voorwaarden:

1. Groeigedrag: $|B(X)| \leq \frac{M}{\delta(X)^{1-\beta}}$, waarbij $\delta(X) = \text{dist}(X, \partial K)$ de afstand tot de rand is en $0 < \beta < 1$. De drift divergeert dus als een negatieve macht van de afstand tot de rand.
2. Divergentievoorwaarde: De divergentie van de drift is niet-positief in de distributieve zin: $\nabla \cdot B \leq 0$ (specifiek $-\frac{M}{\delta(x)^{2-\beta}} \leq \nabla \cdot B \leq 0$).

Het centrale probleem:
Eerdere resultaten (zoals in [Pat25]) waren beperkt tot het eenheidsbol $B(0,1)$. In dat geval maakt de symmetrie en de specifieke geometrie van de bol het mogelijk om bepaalde "verbergings"-schattingen (perturbative "hiding" estimates) te gebruiken. In algemene convexe domeinen zijn deze technieken niet direct toepasbaar omdat de driftterm niet als een kleine verstoring kan worden behandeld in de bilineaire vorm. Het doel van dit werk is om de bestaande puntsgewijze schattingen uit te breiden naar willekeurige begrensde convexe domeinen en de bewijstechniek te stroomlijnen.

---

2. Methodologie

De auteur past een verfijnde versie van de methode uit [Pat25] toe, maar introduceert cruciale geometrische aanpassingen om de convexiteit van het domein $K$ te benutten.

A. Minkowski-Interpolatie

In plaats van te werken met concentrische bollen (zoals in het geval van de eenheidsbol), introduceert de auteur een familie van convexe domeinen via Minkowski-optelling:
$$K_y = (1-y)K + yB_1$$
waarbij $B_1$ een binnenliggende bol is en $y \in [0, 1]$.

• Voor $y=0$ is het domein $K$.
• Voor $y=1$ is het domein $B_1$.
  De bewijzen worden uitgevoerd door te "interpoleren" tussen deze oppervlakken $\partial K_y$. Dit zorgt ervoor dat de geometrie van de randen behouden blijft (ze blijven convex) terwijl men zich verplaatst van de rand naar het inwendige.

B. Analyse van "Near Field" en "Far Field" Effecten

Het bewijs is opgesplitst in twee regimes, gebaseerd op de positie ten opzichte van de pool (de singulariteit van de Green-functie, hier in de oorsprong):

1. Near Field (Nabij de pool):
   Hier wordt gekeken naar de minimumpunten van de Green-functie op bollen vlakbij de pool. De auteur gebruikt een iteratief argument waarbij men de gradiënt controleert op opeenvolgende niveaus. Een nieuw lemma (Lemma 5) wordt bewezen om te garanderen dat de gradiënt op minimumpunten niet te snel afneemt, wat essentieel is voor de ondergrens.

2. Far Field (Ver van de pool, $K \setminus B_1$):
   Dit is het meest complexe deel voor convexe domeinen. In een bol is de drift beperkt door de radiale symmetrie. In een convex domein kan men, terwijl men zich naar de pool beweegt, langdurig dicht bij de rand blijven.

   • Techniek: De auteur gebruikt de supportfuncties van de convexe lichamen $K_y$. Door de relatie tussen de supportfuncties van $K$ en $B_1$ te analyseren, wordt aangetoond dat de "stapgrootte" ($t_y$) in de differentiaalargumenten gecontroleerd blijft.
   • Drift-integratie: Het paper toont aan dat de integraal van de driftterm langs de bewegingsrichting (naar binnen) begrensd blijft, zelfs in een convex domein. Dit wordt bereikt door te kijken naar de maximale verhouding van de supportfuncties in verschillende richtingen.

C. Differentiaalongelijkheden en Harnack

Het bewijs maakt gebruik van:

• Harnack-ongelijkheid: Om waarden van de Green-functie op bollen met elkaar te vergelijken.
• Taylor-ontwikkeling: Om de verandering in de Green-functie en haar gradiënt te analyseren bij infinitesimale stappen langs de normaalvectoren van de oppervlakken $\partial K_y$.
• Maximumprincipe: Om contradicties af te leiden als de Green-functie te snel zou groeien.

---

3. Belangrijkste Resultaten

Het paper levert de volgende hoofdstellingen:

Stelling 1 (Hoofdbijdrage: Bovenlimiet)

Voor de operator $L$ in een convex domein $K$, met een drift $B$ die voldoet aan de gegeven singulariteitsvoorwaarden, geldt voor de Dirichlet Green-functie $G(x, 0)$ (met pool in de oorsprong):
$$G(x, 0) \leq \frac{K'(M, \lambda)}{|x|^{n-2}}$$
voor $|x| \leq 1/2$.
Dit betekent dat de Green-functie in de buurt van de pool gedraagt als de fundamentele oplossing van de Laplace-operator, ondanks de aanwezigheid van de singuliere drift. De constante $K'$ hangt alleen af van de parameters $M$ en $\lambda$ (ellipticiteit), niet van de specifieke vorm van het domein (behalve via de convexiteit).

Stelling 2 (Onderlimiet)

Er wordt een ondergrens bevestigd (geërfd uit [Pat25]):
$$G(y, z) \geq \frac{K(M, \lambda)}{|z-y|^{n-2}}$$
voor punten $z, y$ die dicht bij elkaar liggen ($|z-y| \leq \frac{1}{2}\delta(y)$).

Stelling 3 (Verplaatsing van de pool)

De bovenlimiet geldt ook als de pool $y$ willekeurig dicht bij de rand wordt verplaatst, mits men rekening houdt met een constante die afhangt van de afstand $r$ tot de rand.

---

4. Significatie en Bijdrage

1. Uitbreiding naar Convexe Domeinen:
   De belangrijkste bijdrage is het overbruggen van de kloof tussen het specifieke geval van de eenheidsbol en algemene convexe domeinen. De auteur toont aan dat de geometrische complexiteit van een convex domein (via Minkowski-interpolatie) niet leidt tot een "explosie" van de Green-functie, mits de drift aan de specifieke divergentievoorwaarde voldoet.

2. Stroomlijning van het Bewijs:
   Het paper introduceert een alternatief, gestroomlijnd bewijs voor het "far field" geval (Lemma 5 en de daaropvolgende analyse). Dit vermijdt de noodzaak om complexe accumulaties van maximumpunten te controleren die in eerdere werken nodig waren.

3. Singulariteit van Drift:
   De resultaten gelden voor drifts die sterker divergeren dan wat vaak wordt behandeld in de literatuur (waar vaak $L^p$-ruimtes of Kato-voorwaarden worden gebruikt). De drift hier voldoet niet aan de voorwaarde $|B|^2 \in K_n$ (Kato-klasse), wat maakt dat standaard perturbatietechnieken falen. Het paper demonstreert dat de specifieke structuur van de divergentie ($\nabla \cdot B \leq 0$) cruciaal is voor het bestaan en de schattingen.

4. Toepassingsmogelijkheden:
   De methode van Minkowski-interpolatie en de analyse van supportfuncties kunnen potentieel worden toegepast op andere PDE-problemen in niet-convexe domeinen of bij het bestuderen van landschapsfuncties (landscape functions) in de context van singulariteiten.

Conclusie

Aritro Pathak bewijst dat de puntsgewijze gedragingen van Dirichlet Green-functies voor elliptische operatoren met singuliere drifts robuust zijn onder veranderingen van het domein van een bol naar een algemeen convex domein. Door een zorgvuldige analyse van de geometrie via Minkowski-optelling en het gebruik van differentiaalongelijkheden op de randen van interpolerende domeinen, wordt aangetoond dat de driftterm, ondanks zijn singulariteit, de fundamentele $1/|x|^{n-2}$-afname van de Green-functie niet verstoort. Dit versterkt het theoretische fundament voor het bestuderen van elliptische problemen met zware drifts in realistische geometrieën.