A hybrid inequality of Erdős-Turán-Koksma for digital sequences (Q2636893)

In this paper the author proves the inequality of Erdös-Turán-Koksma in terms of a hybrid function system composed of Walsh and of \(b\)-adic functions. Let \(\omega=(\text{\textbf{x}}_n)\) be a sequence in \([0,1)^s\). Let \(\text{\textbf{b}}=(b_1,\ldots, b_s)\in \mathbb{Z}^s \), \(b_i\geq 2\) \((i=1,\ldots, s)\). For \(\text{\textbf{b}}^{(1)}=(b_1,\ldots,b_{s_1})\) and \(\text{\textbf{b}}^{(2)}=(b_{{s_1}+1},\ldots,b_s)\), let \(W_{\text{\textbf{b}}^{(1)}}\) denote the Walsh system in base \(\text{\textbf{b}}^{(1)}\), \(\Gamma_{\text{\textbf{b}}^{(2)}}\) the \(\text{\textbf{b}}^{(2)}\)-adic system in base \(\text{\textbf{b}}^{(2)}\), and let \(W_{\text{\textbf{b}}^{(1)}}\bigotimes \Gamma_{\text{\textbf{b}}^{(2)}}=\{\xi_{\text{\textbf{k}}}:\text{\textbf{k}}\in \mathbb{N}_0^s\}\). The author shows that for all \(\text{\textbf{g}}=(g_1,\ldots g_s)\in\mathbb{N}^s\) the extreme discrepancy \(D_N(\omega)\) satisfies \[ D_N(\omega)\leq \epsilon_{\text{\textbf{b}}}(\text{\textbf{g}})+\sum_{\text{\textbf{k}}\in \Delta_{\text{\textbf{b}}^*(\text{\textbf{g}})}}\rho_{\text{\textbf{b}}}(\text{\textbf{k}})|S_N(\xi_{\text{\textbf{k}}},\omega)|, \] where \(\epsilon_{\text{\textbf{b}}}(\text{\textbf{g}})=1-\prod_{i=1}^s(1-2b_i^{-g_i})\), \(\Delta_{\text{\textbf{b}}}^*(\text{\textbf{g}})=\{\text{\textbf{k}}=(k_1,\ldots,k_s)\in\mathbb{N}_0^s: k_i\in [0,b_i^{g_i}), 1\leq i\leq s\}\backslash {\text{\textbf{0}}}\), \(\rho_{\text{\textbf{b}}}(\text{\textbf{k}})\) is a weight function, and \(S_N(\xi_{\text{\textbf{k}}},\omega)=\sum_{n=0}^{N 1}\xi_{\text{\textbf{k}}}(\text{\textbf{x}}_n)/N\).