research

The multiplicative Hilbert matrix

Abstract

It is observed that the infinite matrix with entries (mnlog(mn))1(\sqrt{mn}\log (mn))^{-1} for m,n2m, n\ge 2 appears as the matrix of the integral operator Hf(s):=1/2+f(w)(ζ(w+s)1)dw\mathbf{H}f(s):=\int_{1/2}^{+\infty}f(w)(\zeta(w+s)-1)dw with respect to the basis (ns)n2(n^{-s})_{n\ge 2}; here ζ(s)\zeta(s) is the Riemann zeta function and HH is defined on the Hilbert space H02{\mathcal H}^2_0 of Dirichlet series vanishing at ++\infty and with square-summable coefficients. This infinite matrix defines a multiplicative Hankel operator according to Helson's terminology or, alternatively, it can be viewed as a bona fide (small) Hankel operator on the infinite-dimensional torus T{\Bbb T}^{\infty}. By analogy with the standard integral representation of the classical Hilbert matrix, this matrix is referred to as the multiplicative Hilbert matrix. It is shown that its norm equals π\pi and that it has a purely continuous spectrum which is the interval [0,π][0,\pi]; these results are in agreement with known facts about the classical Hilbert matrix. It is shown that the matrix (m1/pn(p1)/plog(mn))1(m^{1/p} n^{(p-1)/p}\log (mn))^{-1} has norm π/sin(π/p)\pi/\sin(\pi /p) when acting on p\ell^p for 1<p<1<p<\infty. However, the multiplicative Hilbert matrix fails to define a bounded operator on H0p{\mathcal H}^p_0 for p2p\neq 2, where H0p{\mathcal H}^p_0 are HpH^p spaces of Dirichlet series. It remains an interesting problem to decide whether the analytic symbol n2(logn)1ns1/2\sum_{n\ge 2} (\log n)^{-1} n^{-s-1/2} of the multiplicative Hilbert matrix arises as the Riesz projection of a bounded function on the infinite-dimensional torus T{\Bbb T}^\infty.Comment: A number of modifications made based on two referee report

    Similar works