"초기하급수(Hypergeometric series)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
5번째 줄: 5번째 줄:
 
<math>\frac{\beta_{n+1}}{\beta_n} = \frac{A(n)}{B(n)}</math> 이고 <math>{A(n)},{B(n)}</math>은 n에 관한 다항식인 경우
 
<math>\frac{\beta_{n+1}}{\beta_n} = \frac{A(n)}{B(n)}</math> 이고 <math>{A(n)},{B(n)}</math>은 n에 관한 다항식인 경우
  
* 간단한 예
+
 
 +
 
 +
<h5>간단한 예</h5>
  
 
<math>1+\frac{z}{1!}+\frac{z^2}{2!}+\frac{z^3}{3!}+\dots</math>
 
<math>1+\frac{z}{1!}+\frac{z^2}{2!}+\frac{z^3}{3!}+\dots</math>
15번째 줄: 17번째 줄:
 
 
 
 
  
계수의 비가 다음과 같이 주어지는 경우
+
 
  
 
+
계수의 비가 유리함수이므로, 인수분해에서 다음과 같이 주어지는 경우,<math>\frac{A(n)}{B(n)}=\frac{c(a_1+n)\dots(a_p+n)}{d(b_1+n)\dots(b_q+n)(1+n)}</math>
 +
 
 +
where ''c'' and ''d'' are the leading coefficients of ''A'' and ''B''
 +
 
 +
급수는 다음과 같이 주어진다.
 +
 
 +
<math>1 + \frac{a_1\dots a_p}{b_1\dots b_q.1}\frac{cz}{d} + \frac{a_1\dots a_p}{b_1\dots b_q.1} \frac{(a_1+1)\dots(a_p+1)}{(b_1+1)\dots (b_q+1).2}\left(\frac{cz}{d}\right)^2+\dots</math>
 +
 
 +
변수를 적당히 상수배하면 다음과 같은 급수를 얻는다.
 +
 
 +
<math>\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z)=1 + \frac{a_1\dots a_p}{b_1\dots b_q}\frac{z}{1!} + \frac{a_1(a_1+1)\dots a_p(a_p+1)}{b_1(b_1+1)\dots b_q(b_q+1)}\frac{z^2}{2!}+\dots</math>
  
The ratio between consecutive coefficients now has the form <math>\frac{c(a_1+n)\dots(a_p+n)}{d(b_1+n)\dots(b_q+n)(1+n)}</math> where ''c'' and ''d'' are the leading coefficients of ''A'' and ''B''. The series then has the form :<math>1 + \frac{a_1\dots a_p}{b_1\dots b_q.1}\frac{cz}{d} + \frac{a_1\dots a_p}{b_1\dots b_q.1} \frac{(a_1+1)\dots(a_p+1)}{(b_1+1)\dots (b_q+1).2}\left(\frac{cz}{d}\right)^2+\dots</math>, or, by scaling z by the appropriate factor and rearranging, :<math>1 + \frac{a_1\dots a_p}{b_1\dots b_q}\frac{z}{1!} + \frac{a_1(a_1+1)\dots a_p(a_p+1)}{b_1(b_1+1)\dots b_q(b_q+1)}\frac{z^2}{2!}+\dots</math>. This has the form of an [[generating function|exponential generating function]]. The standard notation for this series is :<math>\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z)</math>, although variations are sometimes used<ref>{{MathWorld|title=Generalized Hypergeometric Function|urlname=GeneralizedHypergeometricFunction}}</ref>. Using the rising factorial or [[Pochhammer symbol]]: :<math>(a)_n=a(a+1)(a+2)...(a+n-1),\,(a)_0 = 1</math>, this can be written :<math>\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z) = \sum_{n=0}^\infty \frac{(a_1)_n\dots(a_p)_n}{(b_1)_n\dots(b_q)_n} \, \frac {z^n} {n!}</math>
+
<math>(a)_n=a(a+1)(a+2)...(a+n-1),\,(a)_0 = 1</math> this can be written :<math>\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z) = \sum_{n=0}^\infty \frac{(a_1)_n\dots(a_p)_n}{(b_1)_n\dots(b_q)_n} \, \frac {z^n} {n!}</math>
  
 
 
 
 

2009년 7월 1일 (수) 16:53 판

초기하급수
  • 두 연속한 계수의 비가 \(n\) 에 관한 유리함수인 멱급수를 초기하급수라 함. 즉,
    \(\beta_0 + \beta_1 z + \beta_2 z^2 + \dots = \sum_n \beta_n z^n\)

\(\frac{\beta_{n+1}}{\beta_n} = \frac{A(n)}{B(n)}\) 이고 \({A(n)},{B(n)}\)은 n에 관한 다항식인 경우

 

간단한 예

\(1+\frac{z}{1!}+\frac{z^2}{2!}+\frac{z^3}{3!}+\dots\)

\(\beta_n = \frac{1}{n!}\)

\(\frac{\beta_{n+1}}{\beta_n} = \frac{1}{n+1}\)

 

 

계수의 비가 유리함수이므로, 인수분해에서 다음과 같이 주어지는 경우,\(\frac{A(n)}{B(n)}=\frac{c(a_1+n)\dots(a_p+n)}{d(b_1+n)\dots(b_q+n)(1+n)}\)

where c and d are the leading coefficients of A and B

급수는 다음과 같이 주어진다.

\(1 + \frac{a_1\dots a_p}{b_1\dots b_q.1}\frac{cz}{d} + \frac{a_1\dots a_p}{b_1\dots b_q.1} \frac{(a_1+1)\dots(a_p+1)}{(b_1+1)\dots (b_q+1).2}\left(\frac{cz}{d}\right)^2+\dots\)

변수를 적당히 상수배하면 다음과 같은 급수를 얻는다.

\(\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z)=1 + \frac{a_1\dots a_p}{b_1\dots b_q}\frac{z}{1!} + \frac{a_1(a_1+1)\dots a_p(a_p+1)}{b_1(b_1+1)\dots b_q(b_q+1)}\frac{z^2}{2!}+\dots\)

\((a)_n=a(a+1)(a+2)...(a+n-1),\,(a)_0 = 1\) this can be written \[\,_pF_q(a_1,\ldots,a_p;b_1,\ldots,b_q;z) = \sum_{n=0}^\infty \frac{(a_1)_n\dots(a_p)_n}{(b_1)_n\dots(b_q)_n} \, \frac {z^n} {n!}\]

 

 

가우스의 초기하함수

\(\,_2F_1(a,b;c;z)\)

\(z(1-z)\frac{d^2w}{dz^2}+(c-(a+b+1)z)\frac{dw}{dz}-abw = 0\)

 

 

 

 

상위 주제

 

 

 

하위페이지

 

 

재미있는 사실

 

 

많이 나오는 질문과 답변

 

관련된 고교수학 또는 대학수학

 

 

관련된 다른 주제들

 

관련도서 및 추천도서

 

참고할만한 자료

 

관련기사

 

 

블로그

 

이미지 검색

 

동영상