盖根鲍尔多项式

盖根鲍尔多项式$C_{n}^{(\alpha )}$又称超球多项式，是定义在区间$[-1,1]$上、权函数为$(1-x^{2})^{\alpha -1/2}$的正交多项式。它是勒让德多项式和切比雪夫多项式的推广，又是雅可比多项式的特殊情况。它以奥地利数学家Leopold Gegenbauer命名。

盖根鲍尔多项式

性质

盖根鲍尔多项式具有若干性质：

• 盖根鲍尔多项式可由其母函数表示 (Stein & Weiss 1971，§IV.2):

${\frac {1}{(1-2xt+t^{2})^{\alpha }}}=\sum _{n=0}^{\infty }C_{n}^{(\alpha )}(x)t^{n}.$

• 盖根鲍尔多项式满足递推关系 (Suetin 2001):

${\begin{aligned}C_{0}^{\alpha }(x)&=1\\C_{1}^{\alpha }(x)&=2\alpha x\\C_{n}^{\alpha }(x)&={\frac {1}{n}}[2x(n+\alpha -1)C_{n-1}^{\alpha }(x)-(n+2\alpha -2)C_{n-2}^{\alpha }(x)].\end{aligned}}$

• 盖根鲍尔多项式是盖根鲍尔微分方程的特解 (Suetin 2001):

$(1-x^{2})y''-(2\alpha +1)xy'+n(n+2\alpha )y=0.\,$

当 α = 1/2, 方程约化为勒让德方程, 盖根鲍尔多项式约化为勒让德多项式.

• 可由高斯超几何级数表示:

$C_{n}^{(\alpha )}(z)={\frac {(2\alpha )_{n}}{n!}}\,_{2}F_{1}\left(-n,2\alpha +n;\alpha +{\frac {1}{2}};{\frac {1-z}{2}}\right).$

(Abramowitz & Stegun p. 561 （页面存档备份，存于互联网档案馆）). 其中(2α)_n 为上升阶乘幂. 具体来说,

$C_{n}^{(\alpha )}(z)=\sum _{k=0}^{\lfloor n/2\rfloor }(-1)^{k}{\frac {\Gamma (n-k+\alpha )}{\Gamma (\alpha )k!(n-2k)!}}(2z)^{n-2k}.$

• 它是雅可比多项式的特例 (Suetin 2001):

$C_{n}^{(\alpha )}(x)={\frac {(2\alpha )_{n}}{(\alpha +{\frac {1}{2}})_{n}}}P_{n}^{(\alpha -1/2,\alpha -1/2)}(x).$

因而满足罗德里格公式

$C_{n}^{(\alpha )}(x)={\frac {(-2)^{n}}{n!}}{\frac {\Gamma (n+\alpha )\Gamma (n+2\alpha )}{\Gamma (\alpha )\Gamma (2n+2\alpha )}}(1-x^{2})^{-\alpha +1/2}{\frac {d^{n}}{dx^{n}}}\left[(1-x^{2})^{n+\alpha -1/2}\right].$

正交归一性

当n ≠ m时，对于固定的α和权函数

$w(z)=\left(1-z^{2}\right)^{\alpha -{\frac {1}{2}}}.$,

盖根鲍尔多项式在区间[−1, 1]上加权正交 (Abramowitz & Stegun p. 774 （页面存档备份，存于互联网档案馆）)

$\int _{-1}^{1}C_{n}^{(\alpha )}(x)C_{m}^{(\alpha )}(x)(1-x^{2})^{\alpha -{\frac {1}{2}}}\,dx=0.$

归一性：

$\int _{-1}^{1}\left[C_{n}^{(\alpha )}(x)\right]^{2}(1-x^{2})^{\alpha -{\frac {1}{2}}}\,dx={\frac {\pi 2^{1-2\alpha }\Gamma (n+2\alpha )}{n!(n+\alpha )[\Gamma (\alpha )]^{2}}}.$

应用

盖根鲍尔多项式作为勒让德多项式的扩展经常出现在势理论和谱分析中. Rⁿ空间中的牛顿势可以在α = (n − 2)/2情况下展开为盖根鲍尔多项式,

${\frac {1}{|\mathbf {x} -\mathbf {y} |^{n-2}}}=\sum _{k=0}^{\infty }{\frac {|\mathbf {x} |^{k}}{|\mathbf {y} |^{k+n-2}}}C_{n,k}^{(\alpha )}(\mathbf {x} \cdot \mathbf {y} ).$

当n = 3, 可以得到引力势的勒让德展开。类似的表达式还有球中泊松核的展开(Stein & Weiss 1971).

当只考虑x时，$C_{n,k}^{((n-2)/2)}(\mathbf {x} \cdot \mathbf {y} )$ 为球谐函数。

盖根鲍尔多项式在正定函数理论中亦有涉及。

另见

• 切比雪夫多项式

参考文献

• Abramowitz, Milton; Stegun, Irene Ann (编). Chapter 22. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series 55 Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first. Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. 1983: 773. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. . 
• Bayin, S.S., Mathematical Methods in Science and Engineering, Wiley, 2006 , Chapter 5.
• Koornwinder, Tom H.; Wong, Roderick S. C.; Koekoek, Roelof; Swarttouw, René F., Orthogonal Polynomials, Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (编), NIST Handbook of Mathematical Functions, Cambridge University Press, 2010, ISBN 978-0521192255, MR2723248 
• Stein, Elias; Weiss, Guido, Introduction to Fourier Analysis on Euclidean Spaces, Princeton, N.J.: Princeton University Press, 1971, ISBN 978-0-691-08078-9 .
• Suetin, P.K., Ultraspherical polynomials, Hazewinkel, Michiel (编), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 .