Let
be an arbitrary trigonometric polynomial
(1)
|
with real coefficients, let be a function that is integrable over the interval
, and let the
th derivative of
be bounded in
. Then there exists a polynomial
for which
(2)
|
for all ,
where
is the smallest constant possible, known as the
th Favard constant.
can be given explicitly by the sum
(3)
|
which can be written in terms of the Lerch transcendent as
(4)
|
These can be expressed by
(5)
|
where
is the Dirichlet lambda function and
is the Dirichlet
beta function. Explicitly,
(6)
| |||
(7)
| |||
(8)
| |||
(9)
| |||
(10)
| |||
(11)
|