一般化された超幾何関数

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数学において、一般化された超幾何関数(いっぱんかされたちょうきかかんすう、英: generalized hypergeometric function)は、一般に

${\displaystyle _{r}F_{s}\left[{\begin{matrix}a_{1},a_{2},\dotsc ,a_{r}\\b_{1},b_{2},\dotsc ,b_{s}\end{matrix}};z\right]:=\sum _{n=0}^{\infty }{\frac {(a_{1})_{n}(a_{2})_{n}\dotsb (a_{r})_{n}}{(b_{1})_{n}(b_{2})_{n}\dotsb (b_{s})_{n}}}{\frac {z^{n}}{n!}}}${\displaystyle _{r}F_{s}\left[{\begin{matrix}a_{1},a_{2},\dotsc ,a_{r}\\b_{1},b_{2},\dotsc ,b_{s}\end{matrix}};z\right]:=\sum _{n=0}^{\infty }{\frac {(a_{1})_{n}(a_{2})_{n}\dotsb (a_{r})_{n}}{(b_{1})_{n}(b_{2})_{n}\dotsb (b_{s})_{n}}}{\frac {z^{n}}{n!}}}

の形式で表される級数である^[1] 。ただし、

${\displaystyle {\begin{aligned}(x)_{0}&:=1,\\(x)_{n}&:=\prod _{k=0}^{n-1}(x+k)\\\end{aligned}}}${\displaystyle {\begin{aligned}(x)_{0}&:=1,\\(x)_{n}&:=\prod _{k=0}^{n-1}(x+k)\\\end{aligned}}}

はポッホハマー記号である。

${\displaystyle _{r+1}F_{r}}${\displaystyle _{r+1}F_{r}}型超幾何級数

${\displaystyle _{r+1}F_{r}\left[{\begin{matrix}\alpha _{0},\alpha _{1},\dotsc ,\alpha _{r}\\\beta _{1},\dotsc ,\beta _{r}\end{matrix}};x\right]=\sum _{k=0}^{\infty }{\frac {(\alpha _{0})_{k}(\alpha _{1})_{k}\dotsb (\alpha _{r})_{k}}{(1)_{k}(\beta _{1})_{k}\dotsb (\beta _{r})_{k}}}{x^{k}}}${\displaystyle _{r+1}F_{r}\left[{\begin{matrix}\alpha _{0},\alpha _{1},\dotsc ,\alpha _{r}\\\beta _{1},\dotsc ,\beta _{r}\end{matrix}};x\right]=\sum _{k=0}^{\infty }{\frac {(\alpha _{0})_{k}(\alpha _{1})_{k}\dotsb (\alpha _{r})_{k}}{(1)_{k}(\beta _{1})_{k}\dotsb (\beta _{r})_{k}}}{x^{k}}}

古典的にはガウスの超幾何関数

を単に超幾何級数という^{[2] [3] [4]} 。なお、厳密にいうと、右辺の級数が超幾何級数であり、左辺の記号は原点の近傍で絶対収束する冪級数の和とそれから解析接続によって定義される解析関数としての超幾何関数を表すものである。

級数 ${\displaystyle \textstyle \sum _{n=0}^{\infty }t_{n}}${\displaystyle \textstyle \sum _{n=0}^{\infty }t_{n}} の連続する項の比が n の有理関数であるとき、これを超幾何級数(hypergeometric series)という^[5] 。慣習的にはあらかじめ初項を括り出しておき、定義に t₀ = 1 も含め正規化する。定義から

${\displaystyle {\frac {t_{n+1}}{t_{n}}}={\frac {P(n)}{Q(n)}}}${\displaystyle {\frac {t_{n+1}}{t_{n}}}={\frac {P(n)}{Q(n)}}}

となる n の多項式 P(n), Q(n) が存在する。

たとえば指数関数のテイラー級数

${\displaystyle \sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}}${\displaystyle \sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}}

は超幾何級数で、この場合

${\displaystyle t_{n}={\frac {z^{n}}{n!}},\quad {\frac {t_{n+1}}{t_{n}}}={\frac {z}{n+1}}}${\displaystyle t_{n}={\frac {z^{n}}{n!}},\quad {\frac {t_{n+1}}{t_{n}}}={\frac {z}{n+1}}}

ゆえ P(n) = z, Q(n) = n + 1 となる。

分母分子を一次式の積へ分解することで有理関数を

${\displaystyle {\frac {P(n)}{Q(n)}}={\frac {(a_{1}+n)(a_{2}+n)\dotsm (a_{r}+n)}{(b_{1}+n)(b_{2}+n)\dotsm (b_{s}+n)}}{\frac {z}{n+1}}}${\displaystyle {\frac {P(n)}{Q(n)}}={\frac {(a_{1}+n)(a_{2}+n)\dotsm (a_{r}+n)}{(b_{1}+n)(b_{2}+n)\dotsm (b_{s}+n)}}{\frac {z}{n+1}}}

の形に書くことができる。ここで z は分母分子の最高次係数の比である。歴史的な理由により分母の因子 n + 1 を仮定しているが、必要なら分子に同じ因子を掛ければよいので一般性は失わない。以上から級数は

${\displaystyle \sum _{n=0}^{\infty }t_{n}=\sum _{n=0}^{\infty }{\frac {(a_{1})_{n}\dotsm (a_{r})_{n}}{(b_{1})_{n}\dotsm (b_{s})_{n}}}{\frac {z^{n}}{n!}}}${\displaystyle \sum _{n=0}^{\infty }t_{n}=\sum _{n=0}^{\infty }{\frac {(a_{1})_{n}\dotsm (a_{r})_{n}}{(b_{1})_{n}\dotsm (b_{s})_{n}}}{\frac {z^{n}}{n!}}}

の形に書くことができる。この右辺を通常

${\displaystyle _{r}F_{s}\left[{\begin{matrix}a_{1},a_{2},\dotsc ,a_{r}\\b_{1},b_{2},\dotsc ,b_{s}\end{matrix}};z\right]}${\displaystyle _{r}F_{s}\left[{\begin{matrix}a_{1},a_{2},\dotsc ,a_{r}\\b_{1},b_{2},\dotsc ,b_{s}\end{matrix}};z\right]}

と表記する。

超幾何級数${\displaystyle _{r}F_{s}[a_{1},\dots ,a_{r};b_{1},\dots ,b_{s};z]}${\displaystyle _{r}F_{s}[a_{1},\dots ,a_{r};b_{1},\dots ,b_{s};z]}は、${\displaystyle r<s+1}${\displaystyle r<s+1}であれば絶対収束し、${\displaystyle r>s+1}${\displaystyle r>s+1}であれば発散する。${\displaystyle r=s+1}${\displaystyle r=s+1}の場合は、${\displaystyle |z|<1}${\displaystyle |z|<1}であれば絶対収束し、${\displaystyle |z|>1}${\displaystyle |z|>1}であれば発散する。${\displaystyle |z|=1}${\displaystyle |z|=1}の場合は、${\displaystyle \textstyle \sum \Re {a_{j}}<\sum \Re {b_{j}}}${\displaystyle \textstyle \sum \Re {a_{j}}<\sum \Re {b_{j}}}であれば絶対収束し、${\displaystyle \textstyle \sum \Re {a_{j}}>\sum \Re {b_{j}}}${\displaystyle \textstyle \sum \Re {a_{j}}>\sum \Re {b_{j}}}であれば発散する。但し、${\displaystyle a_{j}}${\displaystyle a_{j}}又は${\displaystyle b_{j}}${\displaystyle b_{j}}が正でない整数${\displaystyle k\in \mathbb {Z} \setminus \mathbb {N} }${\displaystyle k\in \mathbb {Z} \setminus \mathbb {N} }である場合は、${\displaystyle (a_{j})_{n{\geq }k}=0}${\displaystyle (a_{j})_{n{\geq }k}=0}となって${\displaystyle {z}<\infty }${\displaystyle {z}<\infty }で収束、或いは${\displaystyle (b_{j})_{n{\geq }k}=0}${\displaystyle (b_{j})_{n{\geq }k}=0}となって${\displaystyle z\neq 0}${\displaystyle z\neq 0}で発散する場合がある。

第${\displaystyle n}${\displaystyle n}項を${\displaystyle c_{n}}${\displaystyle c_{n}}とする:

${\displaystyle {\begin{aligned}{}_{r}F_{r-1}\left[{\begin{matrix}a_{1},a_{2},\dotsc ,a_{r}\\b_{1},b_{2},\dotsc ,b_{r-1}\end{matrix}};z\right]=\sum _{n=0}^{\infty }c_{n}z^{n}\\c_{n}={\frac {(a_{1})_{n}(a_{2})_{n}\dotsb (a_{r-1})_{n}(a_{r})_{n}}{(b_{1})_{n}(b_{2})_{n}\dotsb (b_{r-1})_{n}\;n!}}\end{aligned}}}${\displaystyle {\begin{aligned}{}_{r}F_{r-1}\left[{\begin{matrix}a_{1},a_{2},\dotsc ,a_{r}\\b_{1},b_{2},\dotsc ,b_{r-1}\end{matrix}};z\right]=\sum _{n=0}^{\infty }c_{n}z^{n}\\c_{n}={\frac {(a_{1})_{n}(a_{2})_{n}\dotsb (a_{r-1})_{n}(a_{r})_{n}}{(b_{1})_{n}(b_{2})_{n}\dotsb (b_{r-1})_{n}\;n!}}\end{aligned}}}

公比は

${\displaystyle \lim _{n\to \infty }{\frac {c_{n+1}}{c_{n}}}=\lim _{n\to \infty }{\frac {(a_{1}+n)(a_{2}+n)\dotsb (a_{r-1}+n)(a_{r}+n)}{(b_{1}+n)(b_{2}+n)\dotsb (b_{r-1}+n)(1+n)}}z=z}${\displaystyle \lim _{n\to \infty }{\frac {c_{n+1}}{c_{n}}}=\lim _{n\to \infty }{\frac {(a_{1}+n)(a_{2}+n)\dotsb (a_{r-1}+n)(a_{r}+n)}{(b_{1}+n)(b_{2}+n)\dotsb (b_{r-1}+n)(1+n)}}z=z}

であるから、${\displaystyle |z|<1}${\displaystyle |z|<1}であれば絶対収束し、${\displaystyle |z|>1}${\displaystyle |z|>1}であれば発散する。${\displaystyle |z|=1}${\displaystyle |z|=1}の場合は、

${\displaystyle {\begin{aligned}{\frac {a+n}{n}}&=1+{\frac {a}{n}}+O\left(n^{-2}\right)\qquad (n{\gg }a)\\{\frac {n}{b+n}}&=1-{\frac {b}{n}}+O\left(n^{-2}\right)\qquad (n{\gg }a)\\\end{aligned}}}${\displaystyle {\begin{aligned}{\frac {a+n}{n}}&=1+{\frac {a}{n}}+O\left(n^{-2}\right)\qquad (n{\gg }a)\\{\frac {n}{b+n}}&=1-{\frac {b}{n}}+O\left(n^{-2}\right)\qquad (n{\gg }a)\\\end{aligned}}}

であるから、

${\displaystyle {\begin{aligned}{\frac {c_{n+1}}{c_{n}}}&=\prod _{j=1}^{r}\left(1+{\frac {a_{j}}{n}}\right)\cdot \prod _{j=1}^{r-1}\left(1-{\frac {b_{j}}{n}}\right)\cdot \left(1-{\frac {1}{n}}\right)+O\left(n^{-2}\right)\\&=1+\sum _{j=1}^{r}{\frac {a_{j}}{n}}-\sum _{j=1}^{r-1}{\frac {b_{j}}{n}}-{\frac {1}{n}}+O\left(n^{-2}\right)\qquad (n\gg a_{j},b_{k})\\\left|{\frac {c_{n+1}}{c_{n}}}\right|^{2}&=\left(1+\sum _{j=1}^{r}{\frac {\Re {a_{j}}}{n}}-\sum _{j=1}^{r-1}{\frac {\Re {b_{j}}}{n}}-{\frac {1}{n}}\right)^{2}+\left(\sum _{j-1}^{r}{\frac {\Im {a_{j}}}{n}}-\sum _{j=1}^{r-1}{\frac {\Im {b_{j}}}{n}}\right)^{2}+O\left(n^{-2}\right)\\&=1+{\frac {2}{n}}\left(\sum _{j=1}^{r}\Re {a_{j}}-\sum _{j=1}^{r-1}\Re {b_{j}}-1\right)+O\left(n^{-2}\right)\qquad (n\gg a_{j},b_{k})\\\left|{\frac {c_{n}}{c_{n+1}}}\right|&=1-{\frac {1}{n}}\left(\sum _{j=1}^{r}\Re {a_{j}}-\sum _{j=1}^{r-1}\Re {b_{j}}-1\right)+O\left(n^{-2}\right)\qquad (n\gg a_{j},b_{k})\\\end{aligned}}}${\displaystyle {\begin{aligned}{\frac {c_{n+1}}{c_{n}}}&=\prod _{j=1}^{r}\left(1+{\frac {a_{j}}{n}}\right)\cdot \prod _{j=1}^{r-1}\left(1-{\frac {b_{j}}{n}}\right)\cdot \left(1-{\frac {1}{n}}\right)+O\left(n^{-2}\right)\\&=1+\sum _{j=1}^{r}{\frac {a_{j}}{n}}-\sum _{j=1}^{r-1}{\frac {b_{j}}{n}}-{\frac {1}{n}}+O\left(n^{-2}\right)\qquad (n\gg a_{j},b_{k})\\\left|{\frac {c_{n+1}}{c_{n}}}\right|^{2}&=\left(1+\sum _{j=1}^{r}{\frac {\Re {a_{j}}}{n}}-\sum _{j=1}^{r-1}{\frac {\Re {b_{j}}}{n}}-{\frac {1}{n}}\right)^{2}+\left(\sum _{j-1}^{r}{\frac {\Im {a_{j}}}{n}}-\sum _{j=1}^{r-1}{\frac {\Im {b_{j}}}{n}}\right)^{2}+O\left(n^{-2}\right)\\&=1+{\frac {2}{n}}\left(\sum _{j=1}^{r}\Re {a_{j}}-\sum _{j=1}^{r-1}\Re {b_{j}}-1\right)+O\left(n^{-2}\right)\qquad (n\gg a_{j},b_{k})\\\left|{\frac {c_{n}}{c_{n+1}}}\right|&=1-{\frac {1}{n}}\left(\sum _{j=1}^{r}\Re {a_{j}}-\sum _{j=1}^{r-1}\Re {b_{j}}-1\right)+O\left(n^{-2}\right)\qquad (n\gg a_{j},b_{k})\\\end{aligned}}}

であり、

${\displaystyle \lim _{n\to \infty }n\left({\frac {|c_{n}|}{|c_{n+1}|}}-1\right)-1=-\left(\sum _{j=1}^{r}\Re {a_{j}}-\sum _{j=1}^{r-1}\Re {b_{j}}\right)}${\displaystyle \lim _{n\to \infty }n\left({\frac {|c_{n}|}{|c_{n+1}|}}-1\right)-1=-\left(\sum _{j=1}^{r}\Re {a_{j}}-\sum _{j=1}^{r-1}\Re {b_{j}}\right)}

である。従って、ラーベの判定法 (Raabe's test^{[6] [7]} )により、${\displaystyle \textstyle \sum \Re {a_{j}}-\sum \Re {b_{j}}<0}${\displaystyle \textstyle \sum \Re {a_{j}}-\sum \Re {b_{j}}<0}であれば絶対収束し、${\displaystyle \textstyle \sum \Re {a_{j}}-\sum \Re {b_{j}}>0}${\displaystyle \textstyle \sum \Re {a_{j}}-\sum \Re {b_{j}}>0}であれば発散する。

代数関数、指数関数、三角関数

${\displaystyle {\begin{aligned}(1-z)^{-a}&=\sum _{n=0}^{\infty }{\frac {(-a)(-a-1)\cdots (-a-n+1)}{n!}}(-z)^{n}={_{1}F_{0}}\left[{\begin{matrix}a\\-\end{matrix}};z\right]\\e^{z}&=\sum _{n=0}^{\infty }{\frac {1}{n!}}z^{n}={_{0}F_{0}}\left[{\begin{matrix}-\\-\end{matrix}};z\right]\\\sin z&=z\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}z^{2n}=z\cdot {_{0}F_{1}}\left[{\begin{matrix}-\\{\frac {3}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\cos z&=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}z^{2n}={_{0}F_{1}}\left[{\begin{matrix}-\\{\frac {1}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\end{aligned}}}${\displaystyle {\begin{aligned}(1-z)^{-a}&=\sum _{n=0}^{\infty }{\frac {(-a)(-a-1)\cdots (-a-n+1)}{n!}}(-z)^{n}={_{1}F_{0}}\left[{\begin{matrix}a\\-\end{matrix}};z\right]\\e^{z}&=\sum _{n=0}^{\infty }{\frac {1}{n!}}z^{n}={_{0}F_{0}}\left[{\begin{matrix}-\\-\end{matrix}};z\right]\\\sin z&=z\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}z^{2n}=z\cdot {_{0}F_{1}}\left[{\begin{matrix}-\\{\frac {3}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\cos z&=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}z^{2n}={_{0}F_{1}}\left[{\begin{matrix}-\\{\frac {1}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\end{aligned}}}

正弦積分、余弦積分、指数積分

${\displaystyle {\begin{aligned}\operatorname {Si} (z)&=z\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)(2n+1)!}}z^{2n}=z\cdot {_{1}F_{2}}\left[{\begin{matrix}{\frac {1}{2}}\\{\frac {3}{2}},{\frac {3}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\operatorname {Ci} (z)&=\gamma +\log {z}+\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{(2n)(2n)!}}z^{2n}=\gamma +\log {z}-{\frac {z^{2}}{4}}\cdot {_{2}F_{3}}\left[{\begin{matrix}1,1\2,2,円{\frac {3}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\operatorname {Ei} (z)&=\gamma +\log {z}+\sum _{n=1}^{\infty }{\frac {1}{nn!}}z^{n}=\gamma +\log {z}+z\cdot {_{2}F_{2}}\left[{\begin{matrix}1,1\2,2円\end{matrix}};z\right]\\\end{aligned}}}${\displaystyle {\begin{aligned}\operatorname {Si} (z)&=z\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)(2n+1)!}}z^{2n}=z\cdot {_{1}F_{2}}\left[{\begin{matrix}{\frac {1}{2}}\\{\frac {3}{2}},{\frac {3}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\operatorname {Ci} (z)&=\gamma +\log {z}+\sum _{n=1}^{\infty }{\frac {(-1)^{n}}{(2n)(2n)!}}z^{2n}=\gamma +\log {z}-{\frac {z^{2}}{4}}\cdot {_{2}F_{3}}\left[{\begin{matrix}1,1\2,2,円{\frac {3}{2}}\end{matrix}};-{\frac {z^{2}}{4}}\right]\\\operatorname {Ei} (z)&=\gamma +\log {z}+\sum _{n=1}^{\infty }{\frac {1}{nn!}}z^{n}=\gamma +\log {z}+z\cdot {_{2}F_{2}}\left[{\begin{matrix}1,1\2,2円\end{matrix}};z\right]\\\end{aligned}}}

• 西本敏彦『超幾何・合流型超幾何微分方程式』共立出版、1998年11月。ISBN 4-320-01593-2 。https://www.kyoritsu-pub.co.jp/book/b10010823.html 。 
• Whittaker, E. T.; Watson, G. N. (1927). A Course of Modern Analysis (Fourth ed.). en:Cambridge University Press. ISBN 0-521-58807-3. Zbl 0951.30002 . https://books.google.co.jp/books?id=ULVdGZmi9VcC&pg=PA281  

• 超幾何関数
• 合流型超幾何関数 (英語版)
• オイラー積分
• 特殊関数
  • ガンマ関数
  • ベッセル関数
• q超幾何級数(基本的な超幾何級数)
• 楕円超幾何級数 (英語版)
• マイヤーのG関数 (英語版) ・・・ さらに一般化された超幾何関数 - コルネリス・シモン・マイヤー (英語版)
• アペルの超幾何関数 (英語版)(アペル級数) ・・・ 2変数に一般化 - ポール・エミール・アペル
• ハンバート級数 (英語版)(アンベール級数、アンベールの超幾何関数) ・・・ 合流型超幾何関数を2変数に一般化 - ピエール・アンベール (数学者) (英語版)
• 超冪根(ブリング根) ・・・ 一般化された超幾何級数で書ける。一般的な五次方程式は、超冪根を代数的操作と許容した場合、代数的に解ける。
• ホーン関数 (英語版)(ホルンの超幾何関数) - ヤコブ・ホルン (英語版)
• カンペドフェリエの超幾何関数 (英語版)(カンペドフェリエ関数、カンペ・ド・フェリエ関数) ・・・ 2変数に一般化(一般的な六次方程式の解法で使用) - ジョゼフ・カンペ・ド・フェリエ (英語版)
• ラウリチェラ超幾何級数 (英語版)(ラウリチェッラ超幾何級数) 3変数、さらなる多変数化 - ジュゼッペ・ラウリチェラ (英語版)
• ハロルド・エクストン
• H.M.スリヴァスタヴァ (Hari Mohan Srivastava)
• ダオウスト(Martha C. Daoust)(マーサ・クリスティーン・ダオスト (Martha Christine Daoust))
• フォックスのH関数 (英語版) - チャールズ・フォックス (数学者) (英語版)

「https://ja.wikipedia.org/w/index.php?title=一般化された超幾何関数&oldid=107353258」から取得

カテゴリ:

• 離散数学
• 特殊関数
• 常微分方程式
• 級数
• 超幾何級数
• 数学に関する記事

隠しカテゴリ:

• 出典を必要とする記事/2013年10月
• 正確性
• 参照方法