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

Aquí presento un resumen técnico detallado del artículo "Lebesgue constants for the Walsh system and the discrepancy of the van der Corput sequence" (Constantes de Lebesgue para el sistema de Walsh y la discrepancia de la secuencia de van der Corput), publicado por Josef Dick y Friedrich Pillichshammer en diciembre de 2024.

Resumen Técnico

1. Planteamiento del Problema

El artículo aborda una coincidencia matemática no observada previamente entre dos cantidades fundamentales que pertenecen a ramas distintas de las matemáticas:

• Teoría de la Aproximación: Las constantes de Lebesgue ($L_n$) asociadas al sistema de funciones de Walsh. Estas constantes miden la eficiencia de la aproximación de funciones mediante sumas parciales de series de Fourier en el sistema de Walsh.
• Teoría de Distribución Uniforme: La discrepancia estelar ($D^*_n$) de la secuencia de van der Corput, una secuencia de baja discrepancia utilizada para la integración numérica y la generación de puntos cuasi-Monte Carlo.

Aunque ambas cantidades han sido estudiadas extensamente de forma independiente durante décadas, con resultados importantes en cada campo, no se había notado que son idénticas. El objetivo del artículo es demostrar esta equivalencia y explotarla para transferir teoremas y resultados entre ambas áreas.

2. Metodología

Los autores emplean un enfoque analítico y combinatorio basado en las siguientes herramientas:

• Definiciones Formales:
  • Se define la función de Lebesgue $L_n(x)$ para el sistema de Walsh como la integral de la norma absoluta del núcleo de Dirichlet de Walsh. Se establece que, para el sistema de Walsh, esta función es constante, por lo que $L_n(x) = L_n$.
  • Se define la discrepancia estelar $D^*_n(X)$ de una secuencia $X$ como el supremo de la diferencia entre la proporción de puntos en un intervalo $[0, t)$ y la longitud del intervalo $t$.
  • Se introduce la discrepancia estelar no normalizada $d_n = n D^*_n(Y^{vdC})$ para la secuencia de van der Corput.
• Descomposición Binaria: Se utiliza la representación binaria de los enteros ($n = 2^{n_1} + 2^{n_2} + \dots + 2^{n_\nu}$) para analizar la estructura de la secuencia de van der Corput y las funciones de Walsh.
• Cálculo Directo: Los autores realizan una demostración directa calculando la discrepancia estelar de los primeros $n$ términos de la secuencia de van der Corput y comparando la expresión resultante con la fórmula conocida para las constantes de Lebesgue de Walsh (debida a Fine).

3. Contribuciones Clave

La contribución principal es la demostración del Teorema 2, que establece la identidad exacta:
$$d_n = L_n$$
Donde $d_n$ es la discrepancia estelar no normalizada de los primeros $n$ términos de la secuencia de van der Corput y $L_n$ es la $n$-ésima constante de Lebesgue del sistema de Walsh.

Esta identidad permite:

1. Unificación Conceptual: Conectar la teoría de aproximación con la teoría de la distribución uniforme.
2. Transferencia de Resultados: Aplicar teoremas probados en un campo al otro, revelando resultados nuevos en áreas donde antes eran desconocidos.

4. Resultados Principales

A. Demostración de la Identidad
Los autores demuestran que para $n = 2^{n_1} + \dots + 2^{n_\nu}$, la discrepancia no normalizada se calcula como:
$$d_n = \nu - \sum_{1 \le j < i \le \nu} 2^{n_i - n_j}$$
Esta expresión coincide exactamente con la fórmula de las constantes de Lebesgue de Walsh dada por Fine (Teorema 1).

B. Nuevas Representaciones y Fórmulas
Gracias a la identidad $d_n = L_n$, se obtienen nuevas representaciones para ambas cantidades:

• Representación Integral: La discrepancia estelar de van der Corput puede expresarse como la integral de la media de las funciones de Walsh:
  $$D^*_n(Y^{vdC}) = \frac{1}{n} \int_0^1 \left| \sum_{k=0}^{n-1} \text{wal}_k(x) \right| dx$$
• Nueva Fórmula Recursiva: Se deriva una representación para $L_n$ basada en la distancia al entero más cercano ($\|x\|$):
  $$L_n = \sum_{r=1}^{\infty} \left\| \frac{n}{2^r} \right\|$$
  Esto implica una relación recursiva conocida en discrepancia pero no explícitamente en constantes de Lebesgue.
• Función Generadora: Se establece la función generadora para la discrepancia de van der Corput (antes desconocida en este contexto):
  $$\sum_{n=1}^{\infty} d_n z^n = \frac{1}{2} \frac{z}{(1-z)^2} \sum_{k=0}^{\infty} \frac{1}{2^k} \frac{1-z^{2^k}}{1+z^{2^k}}$$

C. Resultados Asintóticos y Estadísticos

• Cota Superior Refinada: Se utiliza un resultado de Béjian y Faure sobre la discrepancia para refinar la cota superior de las constantes de Lebesgue: $L_n \le \frac{\log n}{3 \log 2} + 1$.
• Teorema del Límite Central: Se reformula un teorema del límite central conocido para la discrepancia de van der Corput (de [7]) en términos de las constantes de Lebesgue. Esto demuestra que las constantes de Lebesgue para el sistema de Walsh siguen una distribución normal asintótica:
  $$\lim_{N \to \infty} \frac{1}{N} \# \left\{ n < N : L_n \le \frac{\log n}{4 \log 2} + y \sqrt{\frac{\log n}{3 \log 2}} \right\} = \Phi(y)$$
  donde $\Phi(y)$ es la función de distribución acumulada gaussiana.
• Comportamiento para Subsecuencias: Se reformula un teorema sobre el comportamiento de $L_n$ a lo largo de secuencias específicas $n_t(m) = \lfloor 2^m(1+t) \rfloor$, mostrando que el límite depende de si $t$ es racional dyádico, irracional o pertenece a un subconjunto denso específico.

5. Significado e Impacto

El artículo es significativo por varias razones:

1. Descubrimiento de Conexiones Ocultas: Revela que dos objetos matemáticos estudiados en silos separados son, de hecho, la misma entidad. Esto valida la intuición de que la estructura de las funciones de Walsh y la distribución de la secuencia de van der Corput están intrínsecamente ligadas a través de la aritmética binaria.
2. Avance en Teoría de Aproximación: Proporciona herramientas poderosas de la teoría de la discrepancia (como el Teorema del Límite Central y cotas precisas) para analizar el comportamiento de las sumas parciales de Fourier en el sistema de Walsh.
3. Avance en Teoría de Distribución Uniforme: Ofrece nuevas representaciones integrales y generadoras para la discrepancia de van der Corput, facilitando su análisis y cálculo.
4. Herramienta para Investigación Futura: Establece un puente metodológico que permite a los investigadores en un campo aprovechar los resultados profundos del otro, acelerando el progreso en la teoría de la aproximación y la integración numérica.

En conclusión, este trabajo no solo resuelve una curiosidad matemática, sino que unifica dos áreas fundamentales, permitiendo un flujo bidireccional de teoremas y técnicas que enriquece tanto la teoría de la aproximación como la teoría de la distribución uniforme.