Hilbert's inequality

From HandWiki

In analysis, a branch of mathematics, Hilbert's inequality states that

|rsurusrs|πr|ur|2.

for any sequence u1,u2,... of complex numbers. It was first demonstrated by David Hilbert with the constant 2π instead of π; the sharp constant was found by Issai Schur. It implies that the discrete Hilbert transform is a bounded operator in 2.

Formulation

Let (um) be a sequence of complex numbers. If the sequence is infinite, assume that it is square-summable:

m|um|2<

Hilbert's inequality (see (Steele 2004)) asserts that

|rsurusrs|πr|ur|2.

Extensions

In 1973, Montgomery & Vaughan reported several generalizations of Hilbert's inequality, considering the bilinear forms

rsuruscscπ(xrxs)

and

rsurusλrλs,

where x1,x2,...,xm are distinct real numbers modulo 1 (i.e. they belong to distinct classes in the quotient group R/Z) and λ1,...,λm are distinct real numbers. Montgomery & Vaughan's generalizations of Hilbert's inequality are then given by

|rsuruscscπ(xrxs)|δ1r|ur|2.

and

|rsurusλrλs|πτ1r|ur|2.

where

δ=minr,s+xrxs,τ=minr,s+λrλs,
s=minm|sm|

is the distance from s to the nearest integer, and min+ denotes the smallest positive value. Moreover, if

0<δrmins+xrxsand0<τrmins+λrλs,

then the following inequalities hold:

|rsuruscscπ(xrxs)|32r|ur|2δr1.

and

|rsurusλrλs|32πr|ur|2τr1.

References