Высшие трансцендентные функции - Бейтмен Г.
Скачать (прямая ссылка):
Шесть функций
F (а ± 1, Ь; с; z), F {a, b ± 1; с; z), F {а, fr, с ± 1; z)
называются смежными с функцией F(а, fr, с; z). Между F (а, с; z) и любыми двумя смежными с ней функциями существует линейная зависимость, коэффициенты которой являются линейными функциями от z. Существуют 15 соотношений этого типа, которые были найдены впервые Гауссом. Полную таблицу этих соотношений см. 2.8(31)—2.8(45). Одно из них таково:
с F (а, Ъ—1; cr, z)+(a — b)z F (a, Ir, с + \; z) = cF(a—l, b; г, z). (6) Чтобы проверить соотношение (6), разложим обе части его в степенные2 81
ГИПЕРГЕОМЕТРИЧЕСКИЙ РЯД 71
ряды. Коэффициент при zn в левой части имеет вид
«—h^e ; (с+1)п-,(я—1)1
~~ (с+l)/t-l(«—1)1 I + п I =
(с)„ я1 ^ (C)n я! '
что и доказывает равенство (6).
Если I, т., я—целые числа, то функция
F (a +1, b + т; с + я; г)
может быть выражена путем повторного применения соотношений Гаусса как линейная комбинация функции F(а, Ъ; с; г) и одной из смежных функций с коэффициентами, являющимися рациональными функциями от а, Ь, с, г.
Раз\меется, мы должны считать, что еиі-f» отличны от 0, —1, —2,... Ф\нкции F (а, Ь; с; г) и F(a-\-l, b-\- т, c-fn; z) называют ассоциирован ними рядачи. Можно показать, что если значения третьего параметра отличны от 0, —1, —2, ..., то любые три ассоциированных ряда связаны линейной однородной зависимостью, коэффициенты которой являются многочленами (Poole, 1936, стр. 91).
Имеют место следующие соотношения:
+ M + M + (7)
(в), г«"1 F(a + n,b-,c;z)=^-a F(a, b\ с; z)], (8)
(C)a Zc-1O- z)a+»-c F (a, b; с; z) = Ha
+ * + я; с + я: z)l. (9)
Соотношение (9) выведено Якоби (Jacobi, 1859). Полный список подобных формул см. 2.8(20)-2.8(27). Чтобы доказать (8) и (9), введем операторы
» a г, d
а = г -J-, D=J-.
dz' dz
Мы имеем
aF(a + 1, Ir, с; z) = (Ъ + a) F (а, Ir, с; z\
и так как для любой аналитической функции
(8 + а) (8 + а + 1)... (8 + а + я — l)/(z) = Z1-aDn Iz«+»-1/^)]
(см. Poole, 1936, стр. 93), то равенство (8) доказано. Чтобы получить (9), запишем равенство (1) в виде
D [г (! — г) MDu\ = аЬМи,
где M = Ze-1 (1 — Zj4rt-^-4. Из равенства (7) следует, что Dn~1F(a, Ir, с; z) удовлетворяет гипергеометрическому уравнению, в котором а, Ъ и с заменены на в+ я—1, b-\-n—1, с-{-я—1. Отсюда получаем рекуррентную формулу
D |z» (1 — Zy1MDnF) = (в + п — 1) (Ь -(- п— 1) [z (1 - z)]"-1 MDrf-1F и, следовательно,
Dn[zn(l —zf MDaFl — Wn \Ь)п MF-72 ГИПЕРГЕОМЕТРИЧЕСКАЯ ФУНКЦИЯ [Гл. 2
Применяя снова (7) и предполагая, что F не является многочленом степени, меньшей чем л, то есть что (а)п(Ь)пф0, получаем (9).
Общая теория ) равнения Римана (см. 2.6.1 и Poole, 1936) показывает, что вообще должно быть 24 решения уравнения (1), имеющих вид
zPO—z)®/^', Ь\ с", г'),
где р, а, а', V, с' являются линейными функциями от а, Ь, с а г и г' связаны дробно-линейным преобразованием. Полный список этих 24 соотношений (которые были выведены Куммером) см. Qoursat, 1881, и форм>лы 2.9(1) — 2.9(24). Любые три из этих решений связаны линейной зависимостью с постоянными коэффициентами. Формулы зависимостей см. Qoursat, 1881 и форм\лы 2.9 (25)¦—2.9(44). Эти соотношения могут быть использованы для аналитического продолжения гипергеометрического ряда (доказательство см. 2.1.4) і
2.1.3. Основные интегральные представления. Если Re с > Re Ь > О, то имеет место формула Эйлера
I
* г(*)Гг (?-») J '"II-!!?'1 dt- <«*>
Правая часть этого равенства является однозначной аналитической функцией or г в области | arg (1 — г) | < я; таким образом, равенство (10) дает аначй-тическое продолжение для F (а, Ь\ с; г). Чтобы доказать равенство (10) при |z|<l, разложим (1—tz)~a в биномиальный ряд и почленно проингеїри-руем полученное разложение. Мы получим бета-интегралы, которые могут быть вычислены с помощью 1.5(1)—1.5(5). Из тождества
{«(!-^ + ['-(' + »+О«]-?-«»}^Zgr -
--(11)
следует, что выражение в правой части равенства (1) является решением дифференциального уравнения (!). Полагая S =— t, получаем, что при Re Ъ > 0, Re (а + 1 — с) > 0 и |argz|<*
OO
Sfr-^l + s)"-*-1 (1 + SZfa ds
является решением дифференциального уравнения-(1). Подстановка s = ^-^—
1 — т
приводит этот интеграл к виду і
^1(1 — т)в-е [1 — t (1 _ z)]-a dt
-Следовательно, .
F(a,b; в + й+1 —с;1—z) =
'- ' - • wCO
- rgrrwr^- 5 0 + (1+«Г«* (12) •о • -2 81
ГИПЕРГЕОМЕТРИЧЕСКИЙ РЯД 73
также является решеиием гипергеометрического уравнения. Более того, любой интеграл вида
f tb-i (J _ ty-ь-1 (J _ tz)~* dt
С
является решением уравнения (1), если либо контур С замкнут на рима-новой поверхности подынтегральной функции, либо концы контура являются нулями функции tb(l — — tzf1-1. Разлагая (1 — tz)~a в биномиальный
ряд и применяя контурные интегралы 1.6(6)—1.6(8) для бета-фуикции, получаем
Ptn Ir ,Т(С) еХР Р«<»-«01 T*"' (1 -t^"'1 df
F(а, Ir, с, г)— Т{Ь)Т{е_Ь)2ш [«(C_*)j } (1 _Uf dt-
Re & > О, I arg (1 —z) I < я, c — bjbl, 2, 3, ...;
(0-(-)
ttn Itr Л ~ІГ (С)ЄХР C (I-^rft-' dt