Lebesgue constants for the Walsh system and the discrepancy of the van der Corput sequence

Probleemstelling

Het artikel adresseert een opmerkelijke en tot nu toe onopgemerkte samenhang tussen twee fundamentele concepten uit verschillende takken van de wiskunde:

1. De Lebesgue-constanten van het Walsh-functiestelsel, een cruciaal begrip uit de approximatietheorie. Deze constanten meten de convergentie-eigenschappen van partiële sommen van Fourier-reeksen.
2. De ster-discrepantie (star discrepancy) van de van der Corput-rij, een centraal begrip uit de theorie van uniforme verdeling en discrepantie. Deze maatstaf kwantificeert hoe gelijkmatig een rij punten in het interval $[0, 1)$ verdeeld is.

Hoewel beide grootheden decennialang intensief en onafhankelijk van elkaar zijn bestudeerd met veel specifieke resultaten, was er geen bewuste connectie tussen hen. Het doel van deze notitie is om aan te tonen dat deze twee ogenschijnlijk verschillende grootheden in feite identiek zijn.

Methodologie

De auteurs gebruiken een analytische benadering om de identiteit tussen de twee grootheden te bewijzen:

1. Definitie van de Walsh-systemen:

   • Ze definiëren de $k$-de Walsh-functie $wal_k(x)$ gebaseerd op de binaire representatie van $k$ en $x$.
   • Ze introduceren de Lebesgue-functie $L_n(x)$ voor het Walsh-systeem, gedefinieerd als de integraal van de absolute waarde van de Dirichlet-kern.
   • Het is bekend (uit werk van Fine) dat voor Walsh-functies $L_n(x)$ onafhankelijk is van $x$, waardoor het een constante $L_n$ wordt. Fine gaf een expliciete formule voor $L_n$ gebaseerd op de binaire decompositie van $n$.

2. Definitie van de van der Corput-rij:

   • De $k$-de term $y_k$ van de van der Corput-rij wordt verkregen door de binaire cijfers van $k$ om te keren rond het binaire punt.
   • De ster-discrepantie $D^*_n$ van de eerste $n$ termen wordt gedefinieerd als het supremum van de afwijking tussen de empirische verdeling en de uniforme verdeling.
   • De auteurs introduceren de niet-genormaliseerde discrepantie $d_n = n D^*_n(Y^{vdC})$.

3. Het Bewijs van Identiteit:

   • De kern van de methodologie ligt in het berekenen van $d_n$ voor de van der Corput-rij.
   • De auteurs maken gebruik van een bekend resultaat dat de ster-discrepantie gerelateerd is aan de $L_1$-norm van de discrepantiefunctie.
   • Door de specifieke structuur van de van der Corput-rij (die gebaseerd is op binaire blokken) te analyseren, leiden ze een somformule af voor $d_n$.
   • Ze tonen aan dat deze afgeleide formule voor $d_n$ exact overeenkomt met de formule voor de Lebesgue-constante $L_n$ zoals die door Fine was vastgesteld.

Belangrijkste Bijdragen en Resultaten

1. Het Hoofdstelling (Theorem 2):
De centrale bevinding is dat de $n$-de Lebesgue-constante $L_n$ voor het Walsh-systeem exact gelijk is aan de niet-genormaliseerde ster-discrepantie $d_n$ van de eerste $n$ termen van de van der Corput-rij:
$$d_n = L_n$$
Dit betekent dat elke eigenschap die geldt voor de ene grootheid, direct geldt voor de andere.

2. Transfer van Bestaande Resultaten:
Door deze identiteit kunnen resultaten uit het ene domein direct worden toegepast op het andere:

• Verbeterde Schattingen: Een schatting voor de discrepantie van de van der Corput-rij (uit werk van B´ejian en Faure) levert een verfijning op voor de asymptotische gedrag van de Lebesgue-constanten.
• Recursieve Relaties: Een bekende recursie voor de discrepantie ($d_n$) wordt nu ook als een eigenschap van de Lebesgue-constanten erkend.
• Genererende Functies: De genererende functie voor $L_n$ (die al bekend was in de approximatietheorie) wordt nu ook als een nieuwe genererende functie voor de discrepantie van de van der Corput-rij gepresenteerd.

3. Nieuwe Representaties:
De identiteit leidt tot nieuwe wiskundige uitdrukkingen die voorheen niet bekend waren:

• Integraalvoorstelling voor Discrepantie: De ster-discrepantie kan nu worden uitgedrukt als een integraal over de absolute waarde van een gemiddelde som van Walsh-functies:
  $$D^*_n(Y^{vdC}) = \int_0^1 \left| \frac{1}{n} \sum_{k=0}^{n-1} wal_k(x) \right| dx$$
• Nieuwe Formule voor Lebesgue-constanten: Omgekeerd levert de bekende representatie van de discrepantie een nieuwe somformule voor $L_n$ op die gebaseerd is op de afstand tot het dichtstbijzijnde gehele getal.

4. Asymptotisch Gedrag en Centrale Limietstelling:

• Centrale Limietstelling: Een bekende centrale limietstelling voor de discrepantie van de van der Corput-rij (uit [7]) wordt nu vertaald naar een centrale limietstelling voor de Lebesgue-constanten. Dit impliceert dat de verdeling van de Lebesgue-constanten (genormaliseerd) convergeert naar een Gaussische verdeling.
• Gedrag voor specifieke $n$: Resultaten over het gedrag van $d_n$ voor specifieke rijen van $n$ (bijv. $n = \lfloor 2^m(1+t) \rfloor$) worden nu ook als eigenschappen van de Lebesgue-constanten geformuleerd, waarbij verschillend gedrag wordt waargenomen voor dyadische rationale getallen versus bijna alle reële getallen.

Significantie

De betekenis van deze notitie is tweeledig:

1. Unificatie van Wiskundige Gebieden: Het onthult een diepe, verborgen connectie tussen de theorie van uniforme verdeling (numerieke integratie, quasi-Monte Carlo methoden) en de harmonische analyse/approximatietheorie.
2. Cross-Fertilisatie van Resultaten: Het opent de deur voor het direct toepassen van geavanceerde technieken en stellingen uit het ene domein op het andere. Waar onderzoekers in het verleden onafhankelijk dezelfde theorema's hebben bewezen (zoals de asymptotische orde $O(\log n)$), kunnen ze nu gebruikmaken van de bewijstechnieken en scherpere grenzen uit het andere domein. Dit versnelt de vooruitgang in beide vakgebieden aanzienlijk.

Kortom, het artikel toont aan dat de "kwaliteit" van de benadering door Walsh-reeksen (gemeten door Lebesgue-constanten) wiskundig identiek is aan de "kwaliteit" van de verdeling van de van der Corput-rij (gemeten door discrepantie).