主题
Search

勒贝格常数


通常被称为勒贝格常数的常数集合有两个。第一个与通过傅里叶级数逼近函数有关,另一个出现在拉格朗日插值多项式的计算中。

假设函数 f 在区间 [-pi,pi] 上可积,且 S_n(f,x)f傅里叶级数的第 n 个部分和,使得

a_k=1/piint_(-pi)^pif(t)cos(kt)dt
(1)
b_k=1/piint_(-pi)^pif(t)sin(kt)dt
(2)

and

 S_n(f,x)=1/2a_0+{sum_(k=1)^n[a_kcos(kx)+b_ksin(kx)]}.
(3)

如果

 |f(x)|<=1
(4)

对于所有 x,则

 S_n(f,x)<=1/piint_0^pi(|sin[1/2(2n+1)theta]|)/(sin(1/2theta))dtheta=L_n,
(5)

并且 L_n 是对于所有连续函数 f 成立的最小常数。 L_n 的前几个值是

L_0=1
(6)
L_1=1/3+(2sqrt(3))/pi
(7)
=1.435991124...
(8)
L_2=1/5+(sqrt(25-2sqrt(5)))/pi=1.642188435...
(9)
L_3=1/7+1/(3pi)[22sin(pi/7)-2cos(pi/(14))+10cos((3pi)/(14))]
(10)
=1.778322861....
(11)
L_4=(13)/(2sqrt(3)pi)+1/9+1/pi[7sin((2pi)/9)-5sin(pi/9)-cos(pi/(18))]
(12)
=1.880080599....
(13)

一些关于 L_n 的求和公式包括

L_n=1/(2n+1)+2/pisum_(k=1)^(n)1/ktan((pik)/(2n+1))
(14)
=(16)/(pi^2)sum_(k=1)^(infty)sum_(j=1)^((2n+1)k)1/(4k^2-1)1/(2j-1)
(15)

(Zygmund 1959) 以及积分公式包括

L_n=4int_0^infty(tanh[(2n+1)x])/(tanhx)(dx)/(pi^2+4x^2)
(16)
=4/(pi^2)int_0^infty(sinh[(2n+1)x])/(sinhx)ln{coth[1/2(2n+1)x]}dx
(17)

(Hardy 1942)。对于大的 n

 4/(pi^2)lnn<L_n<3+4/(pi^2)lnn.
(18)

这个结果可以推广到满足以下条件的 r 阶可微函数

 |(d^rf)/(dx^r)|<=1
(19)

对于所有 x。在这种情况下,

 |f(x)-S_n(f,x)|<=L_(n,r)=4/(pi^2)(lnn)/(n^r)+O(1/(n^r)),
(20)

where

 L_(n,r)={1/piint_(-pi)^pi|sum_(k=n+1)^(infty)(sin(kx))/(k^r)|dx   for r>=1 odd; 1/piint_(-pi)^pi|sum_(k=n+1)^(infty)(cos(kx))/(k^r)|dx   for r>=1 even
(21)

(Kolmogorov 1935, Zygmund 1959).

Watson (1930) 证明了

 lim_(n->infty)[L_n-4/(pi^2)ln(2n+1)]=c,
(22)

where

c=8/(pi^2)(sum_(k=1)^(infty)(lnk)/(4k^2-1))-4/(pi^2)(Gamma^'(1/2))/(Gamma(1/2))
(23)
=8/(pi^2)[sum_(j=0)^(infty)(lambda(2j+2)-1)/(2j+1)]+4/(pi^2)(2ln2+gamma)
(24)
=0.9894312738...
(25)

(OEIS A086052),其中 Gamma(z)伽玛函数lambda(z)狄利克雷 lambda 函数,且 gamma欧拉-马歇罗尼常数

定义拉格朗日插值多项式的第 n 个勒贝格常数为

 Lambda_n(X)=max_(-1<=x<=1)sum_(k=1)^n|product_(j!=k)(x-x_j)/(x_k-x_j)|.
(26)

那么可以得到

 Lambda_n>4/(pi^2)lnn-1.
(27)

拉格朗日插值的效率与 Lambda_n 增长的速度有关。Erdős (1961) 证明了存在一个的常数,使得

 Lambda_n>2/pilnn-C
(28)

对于所有 n。Erdős (1961) 进一步证明了

 Lambda_n<2/pilnn+4,
(29)

因此 (◇) 无法改进。


使用 Wolfram|Alpha 探索

参考文献

Finch, S. R. "Lebesgue Constants." §4.2 in Mathematical Constants. Cambridge, England: Cambridge University Press, pp. 250-255, 2003.Erdős, P. "Problems and Results on the Theory of Interpolation, II." Acta Math. Acad. Sci. Hungary 12, 235-244, 1961.Hardy, G. H. "Note on Lebesgue's Constants in the Theory of Fourier Series." J. London Math. Soc. 17, 4-13, 1942.Kolmogorov, A. N. "Zur Grössenordnung des Restgliedes Fourierscher reihen differenzierbarer Funktionen." Ann. Math. 36, 521-526, 1935.Sloane, N. J. A. Sequence A086052 in "The On-Line Encyclopedia of Integer Sequences."Watson, G. N. "The Constants of Landau and Lebesgue." Quart. J. Math. Oxford 1, 310-318, 1930.Zygmund, A. G. Trigonometric Series, 2nd ed., Vols. 1-2. Cambridge, England: Cambridge University Press, 1959.

在 Wolfram|Alpha 中被引用

勒贝格常数

请这样引用

Weisstein, Eric W. "Lebesgue Constants." From MathWorld--A Wolfram Web Resource. https://mathworld.net.cn/LebesgueConstants.html

主题分类