Екі жақты гипергеометриялық қатарлар - Bilateral hypergeometric series

Математикада а екі жақты гипергеометриялық қатар бұл Σ сериясыа_n қорытындыланды барлық бүтін сандар nжәне коэффициент осындай

а_n/а_n+1

екі терминнің а рационалды функция туралы n. Анықтамасы жалпыланған гипергеометриялық қатарлар ұқсас, тек терістігі бар терминдерден басқа n жоғалып кетуі керек; екі жақты серия, жалпы алғанда, оң және теріс мәндерінің нөлдік емес мүшелерінің шексіз сандарына ие болады n.

Екі жақты гиперггеометриялық қатарлар көптеген рационалды функциялар үшін жинақтала алмайды, бірақ оны рационалды функциялар үшін анықталған функцияға аналитикалық түрде жалғастыруға болады. Біріктірілген жерде арнайы мәндер үшін оның мәндерін беретін бірнеше қосынды формулалары бар.

Анықтама

Екі жақты гипергеометриялық қатар _бH_б арқылы анықталады

${displaystyle {} _ {p} H_ {p} (a_ {1}, ldots, a_ {p}; b_ {1}, ldots, b_ {p}; z) = {} _ {p} H_ {p} солға ({egin {matrix} a_ {1} & ldots & a_ {p} b_ {1} & ldots & b_ {p} end {matrix}}; zight) = sum _ {n = -infty} ^ {infty} {frac {(a_ {1}) _ {n} (a_ {2}) _ {n} ldots (a_ {p}) _ {n}} {(b_ {1}) _ {n} (b_ {2}) _ {n} ldots (b_ {p}) _ {n}}} z ^ {n}}$

қайда

${displaystyle (a) _ {n} = a (a + 1) (a + 2) cdots (a + n-1),}$

болып табылады өсіп келе жатқан факторлық немесе Похаммер белгісі.

Әдетте айнымалы з 1 деп қабылданады, бұл жағдайда ол жазудан алынып тасталады.Қатарды анықтауға болады _бH_q әр түрлі б және q ұқсас жолмен, бірақ бұл біріктірілмейді немесе айнымалылардың өзгеруімен әдеттегі гиперггеометриялық қатарға дейін азаяды.

Конвергенция және аналитикалық жалғасу

Айнымалылардың ешқайсысы жоқ делік а немесе б бүтін сандар, сондықтан қатардың барлық мүшелері ақырлы және нөлге тең болмайды. Содан кейін n<0, егер |з| <1, және терминдері n> 0, егер |з| > 1, сондықтан серия | болмаса ғана жинақтала алмайдыз| = 1. Қашан |з| = 1, егер қатар жинақталады

${displaystyle Re (b_ {1} + cdots b_ {n} -a_ {1} -cdots -a_ {n})> 1.}$

Екі жақты гипергеометриялық қатарды аналитикалық жолмен бірнеше айнымалылардың көп мәнді мероморфтық функциясына жалғастыруға болады, олардың ерекшеліктері тармақталған нүктелер болып табылады. з = 0 және з= 1 және қарапайым полюстер а_мен = −1, −2, ... және б_мен = 0, 1, 2, ... Мұны келесідей жасауға болады. Делік а немесе б айнымалылар бүтін сандар болып табылады. Шарттары n | үшін оң жақындауз| <1 теңдігі біртекті емес сызықтық теңдеуді қанағаттандыратын функцияға з = 0 және з= 1, сондықтан тармақталған нүктелер ретінде көп мәнді функцияға өтуге болады. Осыған ұқсас терминдер n | үшін теріс конвергенцияз| > -Де теңдіктері бар біртекті емес сызықтық теңдеуді қанағаттандыратын функцияға з = 0 және з= 1, сондықтан көп нүктелі функцияны осы нүктелермен тармақталған нүктелер ретінде жалғастыруға болады. Осы функциялардың қосындысы екі жақты гипергеометриялық қатардың аналитикалық жалғасын барлық мәндерге береді з 0-ден және 1-ден басқа және а-ны қанағаттандырады сызықтық дифференциалдық теңдеу жылы з гиперггеометриялық дифференциалдық теңдеуге ұқсас.

Қорытынды формулалары

Дугалдың екі жақты қосындысы

${displaystyle {} _ {2} H_ {2} (a, b; c, d; 1) = sum _ {n = -infty} ^ {infty} {frac {(a) _ {n} (b) _ {n}} {(c) _ {n} (d) _ {n}}} = {frac {Гамма (г) Гамма (c) Гамма (1-а) Гамма (1-b) Гамма (c + dab) -1)} {Гамма (шамамен) Гамма (cb) Гамма (да) Гамма (дб)}}}$

(Дугалл 1907 )

Бұл кейде баламалы түрде жазылады

${displaystyle sum _ {n = -infty} ^ {infty} {frac {Гамма (a + n) Гамма (b + n)} {Гамма (c + n) Гамма (d + n)}} = {frac {pi ^ {2}} {sin (pi a) sin (pi b)}} {frac {Gamma (c + dab-1)} {Gamma (ca) Gamma (da) Gamma (cb) Gamma (db)}}. }$

Бейли формуласы

(Бейли 1959 ) Дугаль формуласының келесі жалпылауын берді:

${displaystyle {} _ {3} H_ {3} (a, b, f + 1; d, e, f; 1) = sum _ {n = -infty} ^ {infty} {frac {(a) _ { n} (b) _ {n} (f + 1) _ {n}} {(d) _ {n} (e) _ {n} (f) _ {n}}} = lambda {frac {Gamma ( г) Гамма (д) Гамма (1-а) Гамма (1-б) Гамма (d + eab-2)} {Гамма (да) Гамма (дб) Гамма (еа) Гамма (эб)}}}$

қайда

${displaystyle lambda = f ^ {- 1} сол жақта [(f-a) (f-b) - (1 + f-d) (1 + f-e) ight].}$

Сондай-ақ қараңыз

• Негізгі екі жақты гиперггеометриялық қатарлар

Әдебиеттер тізімі

• Бейли, В. Н. (1959), «Нақты екі жақты гиперггеометриялық қатардың қосындысы туралы ₃H₃", Математика тоқсан сайынғы журнал. Оксфорд. Екінші серия, 10: 92–94, дои:10.1093 / qmath / 10.1.92, ISSN  0033-5606, МЫРЗА  0107727
• Дугалл, Дж. (1907), «Вандермонде теоремасы және тағы бірнеше жалпы кеңею туралы», Proc. Эдинбург математикасы. Soc., 25: 114–132, дои:10.1017 / S0013091500033642
• Слейтер, Люси Джоан (1966), Жалпы гипергеометриялық функциялар, Кембридж, Ұлыбритания: Cambridge University Press, ISBN  0-521-06483-X, МЫРЗА  0201688 (бар 2008 жылғы қағазды қағаз ISBN  978-0-521-09061-2)