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