An analogue to a conjecture of S. Chowla and H. Walum

It is proved that (for every ε > 0)

$\text{∑}\text{n?T}{}^{\mathrm{<mtext>1</mtext><mtext>3</mtext>}}\text{∑n<}\text{T}\text{n}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{n}{}^{\mathrm{a}}\text{m}{}^{\mathrm{b}}\text{B}{}_{\mathrm{k}}\text{({}\text{T}\text{nm}\text{}) = O(T}{}^{\mathrm{<mtext>(a+b+1)</mtext><mtext>3?</mtext>}}\text{)}$

(where {·} denotes the fractional part and B_k the Bernoulli polynomial of order k) under the suppositions that k ≥ 2 and 2a ? 1 ≥ b ≥ 1. If (1) were true for k = 1, a = b = 0, then Piltz' divisor problem (for n = 3) would be readily solved. This is an analog to a conjecture formulated by S. Chowla and H. Walum in 1963 and settled in the affirmative (under suitable suppositions) quite recently by S. Kanemitsu and R. Sita Rama Chandra Rao.