ゲーゲンバウアー多項式

ゲーゲンバウアー多項式について

ゲーゲンバウアー多項式、または超球多項式は、重み関数を基にした特殊な直交多項式の一群です。これらの多項式は、レオポルド・ベルンハルト・ゲーゲンバウアーにちなんで名付けられ、数学のさまざまな分野において重要な役割を果たしています。

定義

ゲーゲンバウアー多項式は、区間 [-1, 1] 上で、次の重み関数によって定義されます：

$$
(1-x^{2})^{eta - 1/2}
$$

ここで、αは常数で、ゲーゲンバウアー多項式は次のように表現されます：

$$
C_{n}^{(eta)}(x) = rac{(-2)^n}{n!} rac{ ext{Γ}(n+eta) ext{Γ}(n+2eta)}{ ext{Γ}(eta) ext{Γ}(2n+2eta)} (1-x^{2})^{-eta+1/2} rac{d^n}{dx^n}[(1-x^2)^{n+eta - 1/2}]
$$

性質

母関数

ゲーゲンバウアー多項式は、次の母関数によって定義されます：

$$
rac{1}{(1-2xt+t^{2})^{eta}} = ext{Sum}_{n=0}^{ ext{∞}} C_{n}^{(eta)}(x)t^{n}
$$

この式から、これらの多項式がどのように体系化されるかを理解する手がかりが得られます。

漸化式

ゲーゲンバウアー多項式は、以下の漸化式にも従います：

$C_{0}^{(eta)}(x) = 1$
$C_{1}^{(eta)}(x) = 2eta x$
* $C_{n}^{(eta)}(x) = rac{1}{n}[2x(n+eta - 1)C_{n-1}^{(eta)}(x) - (n + 2eta - 2)C_{n-2}^{(eta)}(x)]$

この漸化式は、多項式の生成や計算を行う際の基盤となります。

微分方程式

ゲーゲンバウアー多項式は以下の常微分方程式を満たし、これが解析的性質の理解を深めます：

$$(1-x^2)y'' - (2eta + 1)xy' + n(n + 2eta)y = 0$$

この方程式は、物理学や工学の問題でも活用されます。

直交性

これらの多項式は、次の直交関係を持ちます：

$$
ext{∫}_{-1}^{1} C_{n}^{(eta)}(x)C_{m}^{(eta)}(x)(1-x^{2})^{eta - 1/2}dx = rac{ ext{π}2^{1-2eta} ext{Γ}(n+2eta)}{n!(n+eta)[ ext{Γ}(eta)]^{2}} ext{δ}_{nm}
$$

この性質により、異なる多項式間の相互作用が理解され、数値計算での応用が果たされます。

特殊なケース

αの値によって、ゲーゲンバウアー多項式は他の有名な多項式へ還元されます。たとえば、α = 1/2のときはルジャンドル多項式になり、α = 1のときは第二種チェビシェフ多項式に相当します。

結論

ゲーゲンバウアー多項式は、数学だけでなく、物理学など多くの分野においても幅広く活用される重要な多項式です。それらの性質や定義を理解することは、さまざまな応用に役立ちます。これ以降も、多様な数学的課題においてその重要性は増していくでしょう。

参考文献

• - 森口, 繁一、宇田川, 銈久、一松, 信『岩波数学公式 Ⅲ』（新装版）、1987年、ISBN 4-00-005509-7。
• - Milton Abramowitz; Irene A. Stegun. (1965). Handbook of Mathematical Functions. Dover Publications, ISBN 0-486-61272-4。

もう一度検索