主題
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)

因此 (◇) 無法改進。


使用 探索

參考文獻

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.

在 中被引用

勒貝格常數

請這樣引用

Weisstein, Eric W. "Lebesgue Constants." From --A Resource. https://mathworld.tw/LebesgueConstants.html

主題分類