Failure of almost monotonicity of harmonic measure density ratios at points of vanishing codimension-one density

Technische Samenvatting: Falen van Bijna-Monotonie van de Dichtheidsratio's van de Harmonische Maat

Probleemstelling
Dit artikel onderzoekt de metrische en geometrische eigenschappen van de harmonische maat $\omega$ op de rand $\partial\Omega$ van een willekeurige open verzameling $\Omega \subset \mathbb{R}^{n+1}$. Specifiek richt het zich op het gedrag van de dichtheidsratio's $\Theta^n_\omega(x, r) = \omega(B(x, r))/r^n$ in punten waar de dichtheid naar nul gaat. Laat $Z$ de verzameling zijn van punten waar de limiet van deze ratio's nul is:
$$Z = \left\{ x \in \mathbb{R}^{n+1} : \lim_{r \to 0} \Theta^n_\omega(x, r) = 0 \right\}.$$
Hoewel bekend is dat voor $n=1$ (het planaire geval) de verzameling $Z$ een harmonische maat van nul heeft, hebben Wolff in hogere dimensies ($n \ge 2$) voorbeelden geconstrueerd waarbij $\omega(Z) > 0$. De centrale vraag die wordt behandeld, is de regulariteit van de dichtheidsratio-functie $r \mapsto \Theta^n_\omega(, r)$ op deze uitzonderlijke verzameling $Z$. De auteurs vragen zich af of deze functie "bijna-monotoon" is (bijna toenemend of bijna afnemend) op kleine schalen.

Methodologie
Het bewijs verloopt via een bewijs uit het ongerijmde. De auteurs nemen aan dat voor een deelverzameling van $Z$ met een positieve harmonische maat de dichtheidsratio-functie bijna-monotoon is. Zij construeren vervolgens een scenario waarin deze aanname de existentie impliceert van een $n$-rectifieerbare verzameling die een positieve harmonische maat draagt binnen $Z$. Dit leidt tot een tegenspraak, aangezien de harmonische maat bekend is als nul te zijn op $n$-rectifieerbare deelverzamelingen van $Z$.

De kern van de technische machinerie omvat de volgende stappen:

1. Rectifieerbaarheidscriterium: Het bewijs steunt op een variant van een rectifieerbaarheidscriterium (Theorema 3.1), aangepast van het eerdere werk van de tweede auteur [10] en het kader van [1]. Dit criterium stelt dat indien een Radon-maat $\mu$ aan specifieke voorwaarden voldoet in een bal $B$ — namelijk polynomiale groei, begrensdheid van de Riesz-transformatie, en een kleine $L^2$-oscillatie van de Riesz-transformatie — dan een significant deel van de maat ondersteund wordt op een $n$-rectifieerbare verzameling.
2. David-Mattila Rooster: Om het probleem te lokaliseren en de afwezigheid van regulariteit in de rand van het domein te hanteren, maken de auteurs gebruik van het David-Mattila dyadische rooster van kubussen geassocieerd met de harmonische maat. Dit maakt een multischalige analyse van de distributie van de maat mogelijk.
3. Modificatie van het Domein: Een cruciaal en delicaat deel van het argument betreft het modificeren van het domein $\Omega$ door "slechte" kubussen van de rand te verwijderen (met behulp van een "goede" verzameling kubussen uit het rooster). Dit creëert een nieuwe verzameling $\tilde{\Omega}$ waar de rand voldoende regelmatig is om potentiaaltheoretische schattingen toe te passen, specifiek met betrekking tot de Groen-functie en de harmonische maat.
4. Raakpunt-argument: Om de hypothese van het rectifieerbaarheidscriterium met betrekking tot de existentie van een kleinere bal met een dichtheidsratio die van onderaf begrensd is (Hypothese b in Theorema 3.1) te verifiëren, gebruiken de auteurs een raakpunt-argument. Zij identificeren een punt $q$ waar de Groen-functie groot is en construeren een bal $B_1$ die tangent is aan de gemodificeerde rand. Door de Groen-functies van de oorspronkelijke en de gemodificeerde domeinen te vergelijken, stellen zij de noodzakelijke ondergrens op de dichtheidsratio van $B_1$ vast.
5. Verbinding met de Groen-functie: De schattingen voor de Riesz-transformatie (Hypothesen a en c) worden afgeleid door de Riesz-transformatie te koppelen aan de gradiënt van de Groen-functie, waarbij de bijna-monotonie-aanname wordt gebruikt om de groei van de maat te beheersen.

Belangrijkste Bijdragen en Resultaten

• Theorema 1.1: Het hoofdbestanddeel stelt vast dat voor een open verzameling $\Omega \subset \mathbb{R}^{n+1}$ met een compacte rand en harmonische maat $\omega$, voor $\omega$-bijna elke punt $x \in Z$ (waar de dichtheid naar nul gaat), de dichtheidsratio niet bijna-monotoon is. Specifiek:
  $$\limsup_{R \to 0} \sup_{0 < r < R} \frac{\Theta^n_\omega(x, r)}{\Theta^n_\omega(x, R)} = \infty.$$
  Dit impliceert dat de dichtheidsratio's willekeurig grote oscillaties vertonen bij voldoende kleine schalen.

• Corollary 1.1: Het resultaat wordt uitgebreid naar de verzameling $Z^*$ waar alleen de limiet inferior van de dichtheid nul is ($\liminf_{r \to 0} \Theta^n_\omega(x, r) = 0$), waarbij wordt getoond dat dezelfde oscillerende gedrag geldt voor $\omega$-bijna elke punt in deze grotere verzameling.

• Technisch Instrument (Theorema 3.1): Het artikel biedt een verfijnd rectifieerbaarheidscriterium dat geschikt is voor de harmonische maat op algemene domeinen, wat dient als de primaire motor voor het bewijs uit het ongerijmde.

Betekenis
Het artikel beweert dat dit resultaat een kwalitatieve converse biedt aan de asymptotische regulariteit die genoten wordt door de harmonische maat op rectifieerbare delen van de rand. Op rectifieerbare verzamelingen convergeert de dichtheidsratio naar een positieve limiet, waardoor de functie nabij nul bijna-monotoon is. Het falen van bijna-monotonie op de verzameling $Z$ benadrukt de zeer irreguliere, oscillerende aard van de harmonische maat in punten waar de dichtheid naar nul gaat.

De auteurs benadrukken dat dit fenomeen intrinsiek is aan de singuliere aard van de harmonische maat op dergelijke verzamelingen en niet kan voorkomen indien de harmonische maat wederzijds absoluut continu is met betrekking tot de $n$-dimensionale Hausdorff-maat. Het werk verdiept het begrip van de metrische eigenschappen van de harmonische maat in hogere dimensies, in het bijzonder met betrekking tot de structuur van uitzonderlijke verzamelingen waar de dichtheid verdwijnt.