Technische Samenvatting: Effectieve Quasiautanalytische Remez-ongelijkheden op Tame Sets

1. Probleemstelling

De klassieke Remez-ongelijkheid biedt een bovengrens voor de maximaalnorm van een polynoom op een domein $K$ in termen van zijn maximaalnorm op een deelverzameling $E \subset K$ met positieve maat. Specifiek wordt de ratio $\|p\|_K / \|p\|_E$ voor polynomen van graad $d$ gecontroleerd door een constante die afhangt van $d$ en de relatieve maat van $E$. Dit artikel behandelt de uitbreiding van dergelijke ongelijkheden naar quasiautanalytische Denjoy–Carleman-klassen $C^M$ op een brede familie van compacte verzamelingen met "tame geometrie" in $\mathbb{R}^n$.

De kernuitdaging is dat quasiautanalytische functies niet worden bepaald door een eindige graad, maar door een sequentie van afgeleide-bounds $M = (M_j)$. Bijgevolg moet de "graad" van de functie worden vervangen door een effectieve complexiteitsparameter, de Bang-graad, die afhankelijk is van de gewichtssequentie $M$ en de grootte van de functie. Bovendien moet de geometrische setting verder gaan dan convexe lichamen om verzamelingen met cusps en subanalytische structuren te omvatten, wat een verenigd kader vereist dat niet-convexe, "vette" compacte verzamelingen kan behandelen.

2. Methodologie

De auteur hanteert een synthese van technieken uit de benaderingstheorie, o-minimale geometrie en reële analyse:

• Quasiautanalytische Gewichten en Bang-graad: Het artikel maakt gebruik van een sequentie van gewichten $\mu = (\mu_j)$ om de klasse $C^M$ te definiëren. De Bang-graad $D_\mu(b)$ wordt geïntroduceerd als een niet-negatief geheel getal afgeleid van de sequentie $\mu$ en een ondergrens $b$ op de norm van de functie. Dit geheel getal dient als de effectieve graad in de ongelijkheden.
• Admissible Sets ($\mathcal{K}(\mathbb{R}^n)$): Het geometrische kader rust op een collectie verzamelingen gedefinieerd door de notie van Pierzchala van admissible sets. Deze verzamelingen laten een uniforme polynoom-parametrisatie toe met gecontroleerde Jacobiaan. Deze klasse omvat alle convexe lichamen, vette compacte verzamelingen met Hölder-grenzen, en alle vette compacte verzamelingen die definieerbaar zijn in de o-minimale structuur $\mathbb{R}_{CM}$ (gegenereerd door beperkte $C^M$-functies).
• Reductie naar Univariante en Convexe Casussen: De bewijsstrategie behelst het reduceren van het multivariate probleem op admissible sets naar:
  1. Een univariate Remez-ongelijkheid voor vectorwaardige functies (generalisatie van resultaten door Nazarov, Sodin en Volberg).
  2. Een multivariate ongelijkheid op convexe lichamen.
  3. Een geometrische decompositie van admissible sets in afbeeldingen van star-vormige verzamelingen onder polynoom-afbeeldingen.
• Compositie-schattingen: Een cruciale technische stap is het begrenzen van de afgeleiden van de compositie van een $C^M$-gladde functie met een polynoom-kromme. Dit vereist zorgvuldige schatting met behulp van de Bernstein-lemma en Cauchy-schattingen om te bepalen hoe de gewichtssequentie verschuift onder compositie.

3. Belangrijkste Bijdragen en Resultaten

3.1. De Hoofd-Remez-ongelijkheid

Het centrale resultaat (Theorem 1.1 en Theorem 4.13) stelt dat voor een functie $f$ in een quasiautanalytische klasse $C^M$ op een tame set $K$, de maximaalnorm wordt begrensd door:
$$\|f\|_K \le C_N \left( \frac{|K|^{\nu_K}}{|K|^{\nu_K} - (|K| - |E|)^{\nu_K}} \right)^N \|f\|_E$$
waarbij:

• $N = 2 D_{a_K \mu}(b_0/M_0)$ de Bang-graad is, afhankelijk van de geometrie van $K$ (via $a_K$) en de grootte van $f$ (via $b_0$).
• $\nu_K \in (0, 1]$ een geometrische constante is die enkel van $K$ afhangt.
• $C_N$ een expliciete constante is die afhankelijk is van $N$ en de gewichtssequentie.
• $a_K$ een constante is gerelateerd aan de diameter van $K$ en de graad van de polynoom-afbeeldingen die $K$ parametriseren.

In tegenstelling tot polynoom Remez-ongelijkheden is de graad $N$ niet vaststaand, maar hangt deze af van de grootte van de functie relatief aan de gewichtssequentie.

3.2. Kwantitatieve Gevolgen

Het artikel leidt verschillende expliciete ongelijkheden af uit de hoofd-Remez-ongelijkheid:

• Volume van Sublevel Sets: Een expliciete grens op de maat van verzamelingen waar $|f(x)| \le t$, waarbij wordt getoond dat kleine waarden een volume bezetten dat gecontroleerd wordt door de Bang-graad (Corollary 1.6).
• Reverse Hölder-ongelijkheden: Vergelijking van $L^p$- en $L^q$-normen voor $0 < q < p \le \infty$, met constanten die expliciet afhangen van $N$ en de geometrie van $K$ (Corollary 1.7).
• Integreerbaarheid: Bewijs dat $|f|^{-\alpha}$ integreerbaar is voor $0 < \alpha < 1/N$ (Corollary 1.8).
• Gemiddelde Oscillatie: Grenzen op de gemiddelde oscillatie van $\log |f|$, hoewel het artikel opmerkt dat dit niet algemeen impliceert dat $f$ in BMO zit vanwege de afhankelijkheid van $N$ van de grootte van de functie (Corollary 1.9).
• Lojasiewicz-ongelijkheden: Expliciete grenzen voor de orde van verdwijning en gradiënt-schattingen nabij de nulverzameling van $f$. Bijvoorbeeld, $|\nabla f(x)| \ge c |f(x)|^\alpha$ met expliciete $c$ en $\alpha$ afhankelijk van de Bang-graad en de "dikte" van de verzameling $K$ (Corollaries 1.11, 1.12, 1.13).
• Harnack-ongelijkheden: Grenzen die de maxima en minima vergelijken van niet-verdwijnende functies op $K$, met expliciete constanten afgeleid van de Remez-ongelijkheid toegepast op zowel $f$ als $1/f$ (Corollary 1.14).
• Markov-ongelijkheden: Bovengrenzen voor de afgeleiden van $f$ in termen van de norm van $f$, gebruikmakend van de grens op het aantal nulpunten geleverd door de Bang-graad (Corollary 1.15).
• Oscillerende Integralen: Verval-schattingen voor integralen van de vorm $\int e^{i\lambda f(x)} g(x) dx$, waarbij de fase $f$ quasiautanalytisch is. Het verval wordt bepaald door $\lambda^{-1/(N+2)}$, gestuurd door de Bang-graad van de tweede afgeleide (Corollaries 1.16, 1.17).

3.3. Vectorwaardige Generalisatie

Een significante technische bijdrage is de uitbreiding van deze resultaten naar vectorwaardige afbeeldingen $f: L \to \mathbb{R}^m$. Het artikel benadrukt dat het vectorwaardige geval niet triviaal volgt uit de scalaire casus component voor component, aangezien de "graad" $N$ rekening moet houden met het gelijktijdige gedrag van alle componenten om overschatting te voorkomen (Remark 1.2).

4. Betekenis en Claims

Het artikel claimt een kwantitatief principe van propagatie van kleinheid vast te stellen voor quasiautanalytische functies op een brede klasse van niet-convexe, tame verzamelingen. De betekenis ligt in:

1. Expliciete Constanten: In tegenstelling tot veel resultaten in de o-minimale geometrie of quasiautanalytische theorie waar constanten existentieel of ongespecificeerd zijn, biedt dit werk expliciete, berekenbare constanten afhankelijk van de Bang-graad en geometrische parameters.
2. Unificatie: Het verenigt de klassieke polynoom Remez-ongelijkheid, de multivariate convexe generalisaties en eerdere univariate quasiautanalytische resultaten in één enkel kader toepasbaar op "tame" verzamelingen (inclusclusief subanalytische en beperkte $C^M$ definieerbare verzamelingen).
3. Effectieve Complexiteit: De introductie van de Bang-graad als complexiteitsparameter, analoog aan de polynoomgraad, maakt het mogelijk om algebraïsch-geometrische intuïtie (bijv. aantal nulpunten, orde van verdwijning) te vertalen naar de analytische setting van quasiautanalytische functies.
4. Toepassingen: De afgeleide ongelijkheden (Lojasiewicz, Harnack, Markov, oscillerende integralen) bieden effectieve instrumenten voor analyse in settings waar analyticiteit te restrictief is maar gladheid onvoldoende is, specifiek binnen de context van o-minimale structuren.

De auteur hanteert een bescheiden toon met betrekking tot de beperkingen, waarbij wordt opgemerkt dat de Bang-graad afhankelijk is van de grootte van de functie (die naar oneindig gaat nabij nulpunten) en dat de resulterende grenzen voor gemiddelde oscillatie nog niet de BMO-eigenschap voor algemene quasiautanalytische functies hebben vastgesteld. Het werk wordt gepresenteerd als een fundamentele stap naar effectieve kwantitatieve analyse in tame geometrie.