设 为任意三角多项式
|
(1)
|
具有实数系数,设 为在区间
上可积的函数,并设
阶导数
在
中有界。则存在一个多项式
使得
|
(2)
|
对于所有 ,其中
是可能的最小常数,称为第
阶 Favard 常数。
可以用以下求和式显式给出
|
(3)
|
它可以根据 Lerch 超越函数 写成
|
(4)
|
这些可以表示为
|
(5)
|
其中 是 Dirichlet lambda 函数,而
是 Dirichlet beta 函数。 显式地,
|
(6)
| |||
|
(7)
| |||
|
(8)
| |||
|
(9)
| |||
|
(10)
| |||
|
(11)
|