主題
Search

Gegenbauer 多項式


Gegenbauer 多項式 C_n^((lambda))(x)Gegenbauer 微分方程 對於 整數 n 的解。它們是關聯 Legendre 多項式(2lambda+2)-D 空間的推廣,並且與(或者,取決於歸一化,等於)超球面多項式 P_n^((lambda))(x) 成正比。

按照 Szegö,在這項工作中,Gegenbauer 多項式根據 Jacobi 多項式 P_n^((alpha,beta))(x) 給出,其中 alpha=beta=lambda-1/2,透過

 C_n^((lambda))(x)=(Gamma(lambda+1/2))/(Gamma(2lambda))(Gamma(n+2lambda))/(Gamma(n+lambda+1/2))P_n^((lambda-1/2,lambda-1/2))(x)
(1)

(Szegö 1975, p. 80),因此使它們等同於在 Wolfram Language 中實現的 Gegenbauer 多項式,如GegenbauerC[n, lambda, x]。這些多項式也由生成函式給出

 1/((1-2xt+t^2)^lambda)=sum_(n=0)^inftyC_n^((lambda))(x)t^n.
(2)

前幾個 Gegenbauer 多項式是

C_0^((lambda))(x)=1
(3)
C_1^((lambda))(x)=2lambdax
(4)
C_2^((lambda))(x)=-lambda+2lambda(1+lambda)x^2
(5)
C_3^((lambda))(x)=-2lambda(1+lambda)x+4/3lambda(1+lambda)(2+lambda)x^3.
(6)

超幾何函式表示,

C_n^((lambda))(x)=(n+2lambda-1; n)_2F_1(-n,n+2lambda;lambda+1/2;1/2(1-x))
(7)
=2^n(n+lambda-1; n)(x-1)^n_2F_1(-n,-n-lambda+1/2;-2n-2lambda+1;2/(1-x))
(8)
=(n+2lambda+1; n)((x+1)/2)^n_2F_1(-n,-n-lambda+1/2;lambda+1/2;(x-1)/(x+1)).
(9)

它們透過以下方式歸一化

 int_(-1)^1(1-x^2)^(lambda-1/2)[C_n^((lambda))]^2dx=2^(1-2lambda)pi(Gamma(n+2lambda))/((n+lambda)Gamma^2(lambda)Gamma(n+1))
(10)

對於 lambda>-1/2

導數恆等式包括

d/(dx)C_n^((lambda))(x)=2lambdaC_(n-1)^((lambda+1))(x)
(11)
(1-x^2)d/(dx)[C_n^((lambda))]=[2(n+lambda)]^(-1)[(n+2lambda-1)(n+2lambda)C_(n-1)^((lambda))(x)-n(n+1)C_(n+1)^((lambda))(x)]
(12)
=-nxC_n^((lambda))(x)+(n+2lambda-1)C_(n-1)^((lambda))(x)
(13)
=(n+2lambda)xC_n^((lambda))(x)-(n+1)C_(n+1)^((lambda))(x)
(14)
nC_n^((lambda))(x)=xd/(dx)[C_n^((lambda))(x)]-d/(dx)[C_(n-1)^((lambda))(x)]
(15)
(n+2lambda)C_n^((lambda))(x)=d/(dx)[C_(n+1)^((lambda))(x)]-xd/(dx)[C_n^((lambda))(x)]
(16)
d/(dx)[C_(n+1)^((lambda))(x)-C_(n-1)^((lambda))(x)]=2(n+lambda)C_n^((lambda))(x)
(17)
=2lambda[C_n^((lambda+1))(x)-C_(n-2)^((lambda+1))(x)]
(18)

(Szegö 1975, pp. 80-83)。

遞推關係

 nC_n^((lambda))(x)=2(n+lambda-1)xC_(n-1)^((lambda))(x)-(n+2lambda-2)C_(n-2)^((lambda))(x)
(19)

對於 n=2, 3, ....

也存在特殊的雙nu 公式

C_(2nu)^((lambda))(x)=(2nu+2lambda-1; 2nu)_2F_1(-nu,nu+lambda;lambda+1/2;1-x^2)
(20)
=(-1)^nu(nu+lambda-1; nu)_2F_1(-nu,nu+lambda;1/2;x^2)
(21)
C_(2nu+1)^((lambda))(x)=(2nu+2lambda; 2nu+1)x_2F_1(-nu,nu+lambda+1;lambda+1/2;1-x^2)
(22)
=(-1)^nu2lambda(nu+lambda; nu)x_2F_1(-nu,nu+lambda+1;3/2;x^2).
(23)

Koschmieder (1920) 給出了用 橢圓函式 表示的 lambda=-3/4lambda=-2/3


另請參閱

生日問題, 第一類切比雪夫多項式, 第二類切比雪夫多項式, 橢圓函式, Gegenbauer 微分方程, 超幾何函式, Jacobi 多項式, Legendre 多項式

相關 Wolfram 站點

http://functions.wolfram.com/Polynomials/GegenbauerC3/, http://functions.wolfram.com/HypergeometricFunctions/GegenbauerC/, http://functions.wolfram.com/HypergeometricFunctions/GegenbauerC3General/

使用 探索

參考文獻

Abramowitz, M. and Stegun, I. A. (Eds.). "Orthogonal Polynomials." Ch. 22 in 數學函式手冊,包含公式、圖表和數學表格,第 9 版。 New York: Dover, pp. 771-802, 1972.Arfken, G. 物理學家的數學方法,第 3 版。 Orlando, FL: Academic Press, p. 643, 1985.Erdélyi, A.; Magnus, W.; Oberhettinger, F.; and Tricomi, F. G. 更高超越函式,第 2 卷。 New York: Krieger, p. 175, 1981.Infeld, L. and Hull, T. E. "The Factorization Method." Rev. Mod. Phys. 23, 21-68, 1951.Iyanaga, S. and Kawada, Y. (Eds.). "Gegenbauer Polynomials (Gegenbauer Functions)." Appendix A, Table 20.I in 數學百科詞典。 Cambridge, MA: MIT Press, pp. 1477-1478, 1980.Koekoek, R. and Swarttouw, R. F. "Gegenbauer / Ultraspherical." §1.8.1 in The Askey-Scheme of Hypergeometric Orthogonal Polynomials and its q-Analogue. Delft, Netherlands: Technische Universiteit Delft, Faculty of Technical Mathematics and Informatics Report 98-17, pp. 40-41, 1998.Koschmieder, L. "Über besondere Jacobische Polynome." Math. Zeitschrift 8, 123-137, 1920.Morse, P. M. and Feshbach, H. 理論物理方法,第一部分。 New York: McGraw-Hill, pp. 547-549 and 600-604, 1953.Roman, S. "A Particular Delta Series and the Gegenbauer Polynomials." §6.3 in 傘演算。 New York: Academic Press, pp. 166-174, 1984.Szegö, G. 正交多項式,第 4 版。 Providence, RI: Amer. Math. Soc., 1975.Zwillinger, D. 微分方程手冊,第 3 版。 Boston, MA: Academic Press, pp. 122-123, 1997.

在 中被引用

Gegenbauer 多項式

引用為

Weisstein, Eric W. "Gegenbauer 多項式。" 來自 網路資源。 https://mathworld.tw/GegenbauerPolynomial.html

主題分類