Составители:
возведем в степень (−n) и для каждого из двух множителей вос-
пользуемся биномиальным рядом
Φ
−n
=
∞
X
k,s=0
n
¯
k
n
¯s
k!s!
z
s+k
Exp(s − k)y. (3.90)
Мы используем удобный символ возрастающей степени (Грэхем,
Кнут, Паташник, 1998): при целом неотрицательном k
x
¯
k
=
x(x + 1) ···(x + k − 1), если k > 1,
1, если k = 0.
В частности, 1
¯
k
= k!.
Полагая s − k = m и перегруппировывая слагаемые, приходим
к представлению (3.87), где при m > 0
P
nm
(z) =
∞
X
k=0
P
k
nm
z
2k
, P
k
nm
=
n
¯
k
n
k+m
k!(k + m)!
. (3.91)
При n = 1 коэффициент P
k
1m
тождественно равен единице, и для
P
1m
получаем геометрическую прогрессию
P
1m
(z) =
1
1 − z
2
. (3.92)
Нетрудно догадаться, что в общем случае мы встретим гипергео-
метрический ряд. В самом деле, представим P
k
nm
в виде
P
k
nm
=
n
¯m
m!
˜
P
k
nm
, где
˜
P
k
nm
=
n
¯
k
(n + m)
¯
k
k!(m + 1)
¯
k
есть обший член гипергеометрического ряда. В результате
P
nm
(z) =
n
¯m
m!
F (n, n + m, m + 1, z
2
). (3.93)
Пусть n — целое отрицательное. По свойству гипергеометриче-
ской функции с неположительным вторым аргументом функция
Пуассона P
nm
при m 6 |n| является многочленом от z
2
степени
|n| − m. При m > |n| возрастающая степень n
¯m
= 0, а вместе с ней
и P
nm
(z) = 0. Например,
P
−1,m
(z) = (−1)
m
1 +
1 − m
1 + m
z
2
, 0 6 m 6 1,
112
Страницы
- « первая
- ‹ предыдущая
- …
- 110
- 111
- 112
- 113
- 114
- …
- следующая ›
- последняя »
