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

---

1. Problema e Contexto

O artigo aborda uma coincidência matemática surpreendente entre dois conceitos que, à primeira vista, pertencem a ramos distintos da matemática:

• Teoria da Aproximação: As constantes de Lebesgue ($L_n$) para o sistema de funções de Walsh. Essas constantes medem a qualidade da aproximação de funções por somas parciais de séries de Fourier generalizadas (neste caso, baseadas em funções de Walsh).
• Teoria da Distribuição Uniforme: A discrepância estrela ($D^*_n$) da sequência de van der Corput. Esta é uma medida quantitativa da irregularidade na distribuição de uma sequência de pontos no intervalo $[0, 1)$.

Historicamente, esses dois quantificadores foram estudados de forma independente ao longo de décadas, com teoremas importantes sendo provados em cada área separadamente. O problema central deste trabalho é estabelecer e provar que essas duas quantidades são, na verdade, idênticas.

2. Metodologia

Os autores utilizam uma abordagem analítica e combinatória para demonstrar a igualdade entre as duas grandezas:

1. Definição das Funções de Walsh: O sistema de Walsh $\{wal_k\}$ é definido como um sistema ortonormal completo em $L^2([0, 1])$, baseado na representação binária dos inteiros.
2. Kernel de Dirichlet e Funções de Lebesgue: Define-se o kernel de Dirichlet de Walsh $D_n(x, u)$ e a função de Lebesgue $L_n(x) = \int_0^1 |D_n(x, u)| du$. Fine (1949) já havia provado que $L_n(x)$ é constante em relação a $x$, permitindo denotá-lo simplesmente como $L_n$.
3. Sequência de van der Corput: A sequência $Y_{vdC} = (y_k)_{k \ge 0}$ é construída refletindo os dígitos binários de $k$ em torno do ponto binário.
4. Discrepância Não Normalizada: Define-se $d_n = n D^*_n(Y_{vdC})$ como a discrepância estrela não normalizada.
5. Demonstração da Igualdade:
   • Os autores expressam o conjunto dos primeiros $n$ termos da sequência de van der Corput em termos de blocos baseados na expansão binária de $n = 2^{n_1} + 2^{n_2} + \dots + 2^{n_\nu}$.
   • Utilizam a propriedade de que a discrepância estrela da sequência de van der Corput é não negativa e igual a duas vezes a norma $L_1$ da função de discrepância.
   • Realizam uma integração explícita e uma soma combinatória sobre os termos da sequência para derivar uma fórmula fechada para $d_n$.
   • Comparam o resultado obtido com a fórmula conhecida para as constantes de Lebesgue de Walsh (devida a Fine), demonstrando que as expressões são idênticas.

3. Contribuições Chave e Resultados Principais

A. O Teorema Central (Teorema 2)

A contribuição fundamental é a prova de que:
$$d_n = L_n$$
Ou seja, a discrepância não normalizada dos primeiros $n$ termos da sequência de van der Corput é exatamente igual à constante de Lebesgue do sistema de Walsh para o mesmo $n$.

Se $n$ tem a expansão binária $n = 2^{n_1} + 2^{n_2} + \dots + 2^{n_\nu}$ com $n_1 > n_2 > \dots > n_\nu \ge 0$, ambas as quantidades são dadas por:
$$L_n = d_n = \nu - \sum_{1 \le j < i \le \nu} 2^{n_i - n_j}$$

B. Transferência de Resultados entre Áreas

Devido à igualdade estabelecida, resultados conhecidos em uma área podem ser imediatamente aplicados à outra:

• De Discrepância para Lebesgue: Estimativas refinadas sobre $d_n$ obtidas por B´ejian e Faure (como $d_n \le \frac{\log n}{3 \log 2} + 1$) fornecem limites superiores mais precisos para as constantes de Lebesgue de Walsh.
• De Lebesgue para Discrepância: Resultados sobre o comportamento assintótico e a função geradora das constantes de Lebesgue (que eram desconhecidos no contexto de discrepância) são agora válidos para a discrepância da sequência de van der Corput.

C. Novas Representações e Fórmulas

O artigo deriva novas representações para ambas as quantidades:

1. Representação Integral:
   $$D^*_n(Y_{vdC}) = \frac{1}{n} \int_0^1 \left| \sum_{k=0}^{n-1} wal_k(x) \right| dx$$
2. Fórmula de Recorrência via Distância Inteira:
   $$L_n = \sum_{r=1}^m \left\| \frac{n}{2^r} \right\|$$
   onde $\|x\|$ é a distância de $x$ ao inteiro mais próximo. Esta fórmula implica recursões conhecidas para $d_n$.
3. Função Geradora:
   A função geradora para as constantes de Lebesgue (e, portanto, para $d_n$) é dada por:
   $$\sum_{n=1}^\infty L_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}}$$

D. Teorema do Limite Central

O artigo aplica um Teorema do Limite Central conhecido para a discrepância da sequência de van der Corput (de [7]) ao contexto das constantes de Lebesgue. O resultado mostra que, para $N \to \infty$, a distribuição das constantes de Lebesgue normalizadas segue uma distribuição Gaussiana:
$$\frac{1}{N} \#\left\{ n < N : L_n \le \frac{\log n}{4 \log 2} + y \sqrt{\frac{\log n}{3 \log 2}} \right\} \to \Phi(y)$$
onde $\Phi(y)$ é a função de distribuição acumulada normal padrão.

E. Comportamento Assintótico para Subsequências

O artigo reformula um resultado sobre $L_n$ para obter um novo resultado sobre a discrepância $d_n$ para subsequências específicas $n_t(m) = \lfloor 2^m(1+t) \rfloor$:

• Para quase todo $t \in [0, 1]$, o limite de $d_{n_t(m)} / \log n_t(m)$ é $\frac{1}{4 \log 2}$.
• Para $t$ racional dyádico, o limite é 0.
• Existe um conjunto denso $A$ onde o limite inferior é 0 e o superior é $\frac{1}{3 \log 2}$.

4. Significado e Impacto

Este trabalho é significativo por várias razões:

1. Unificação Conceitual: Demonstra uma ligação profunda e não trivial entre a teoria da aproximação (especificamente a convergência de séries de Fourier de Walsh) e a teoria da distribuição uniforme (qualidade de sequências de baixa discrepância).
2. Sinergia de Resultados: Permite que pesquisadores em uma área acessem imediatamente o vasto corpo de resultados da outra. Por exemplo, teoremas de limite central e propriedades de recorrência agora são válidos em ambos os campos.
3. Novas Perspectivas: A descoberta de que a discrepância da sequência de van der Corput (um objeto clássico em análise numérica e métodos de Monte Carlo) é idêntica a uma constante de Lebesgue (um objeto de análise funcional) sugere novas direções de pesquisa, como a aplicação de técnicas de análise harmônica para resolver problemas de distribuição uniforme e vice-versa.
4. Refinamento de Limites: Fornece limites mais precisos e novas representações analíticas para quantidades fundamentais em ambas as disciplinas.

Em resumo, o artigo revela que duas ferramentas matemáticas fundamentais, desenvolvidas independentemente para problemas distintos, são matematicamente equivalentes, abrindo caminho para uma troca rica de técnicas e teoremas entre a teoria da aproximação e a teoria da distribuição uniforme.