Formulas for the Walsh coefficients of smooth functions and their application to bounds on the Walsh coefficients (Q259085)

The authors study the Walsh coefficients of smooth uni- and multi-variate functions on \([0,1]\) and obtain formulas for upper bounds of the \(k\)'th coefficient. The proof involves a formula for the Walsh coefficient of a smooth function \(f\) that consists of an integral of the \(n\)'th derivative of \(f\) multiplied with an iterated integral of a Walsh function. The authors also provide a similar formula for the \(k\)'th Walsh coefficient for a smooth univariate function on \([0,1]\) that relies on derivatives of \(f\) and iterated integrals of the Walsh functions. Using this and the previous result, they are able to derive upper bounds for the Walsh coefficients of the Bernoulli polynomials, which are then used to provide upper bounds on Walsh coefficients for functions from a Sobolev space whose reproducing kernel is given in terms of Bernoulli polynomials.