Высшие трансцендентные функции - Бейтмен Г.
Скачать (прямая ссылка):
а иногда — прн повторном дифференцировании ехр . Кроме того, одни
авторы включают множитель п\, а другие этого не делают. Мы старались придерживаться на протяжении всей книги одних и тех же обозначений. Наиболее существенное отклонение от этого принципа произошло для вырожденной гнпергеометрнческой функции: в большей части книги мы обозначаем ее ,/7,, но в гл. 6 (н некоторых-следующих главах) тот же ряд обозначается символом Ф (а второе решение вырожденного гнпергеомегрнческого уравнения— символом 1P).
Насколько это возможно, мы следовали обычным обозначениям. Для функций Бесселя были использованы обозначения, применявшиеся Ватсоном в его монументальном труде, для ортогональных многочленов мы нспользовалн обозначения Cere (за исключением обозначения Cn для ультрасфернческнх многочленов). Что касается функций Лежандра, го мы, следуя книгам Янке — Эмде н Магнуса — Оберхеттннгера, а также некоторым другим авторам, различали определение ф)нкцнй Лежандра, применимое для отрезка [—1, 1], и определение, применимое во всей комплексной плоскости, исключая этот отрезок. В сомнительных случаях мы нспользовалн обозначения, примененные в более удобных нлн более обширных таблицах. Мы придерживались обозначений, применяемых в таблицах, и в случаях, когда считали, что с математической точки зрения предпочтительнее были бы иные обозначения. Все обозначения истолковываются в том месте, где онн впервые встречаются. В конце тома приложены указатель обозначений, который должен помочь читателю выяснить смысл каждого обозначения, применяемого в этой книге, и предметный указатель, в котором приведены обозначения для любой функции, , встречающейся в тексте.14
ВВЕДЕНИЕ
Многие главы книги можно читать независимо от остальных, но встречаются и многочисленные перекрестные ссылки. Внутри каждого пункта равенства обозначаются просто с помощью номеров. Если данное равенство используется в другом пункте, оно обозначается с помощью номера пункта, дополненного номером равенства. Таким образом (3) обозначает равенство (3) пункта, в котором делается ссылка, а 2.1(3) обозначает ссылку на равенство (3) из пункта 2.1. Ссылки на литературу даются путем указания фамилии автора и года п)бликации.
Сложность н объем выполненной работы делают тщетной надежду на то, что нам удалось полностью избежать ошибок в выводах и опечаток. Подписавшийся будет благодарен за все исправления, которые могут оказаться весьма полезными в случае, если понадобится второе издание книги.
В заключение я хочу выразить благодарность от имени всего штаба проекта Калифорнийскому технологическому институту и особенно декану Е. Ватсону за то, что онн начали эту работу и оказывали нам большую поддержку во всех проблемах, с которыми нам пришлось сталкиваться. Я выражаю также благодарность всем моим коллегам, без содействия которых этот труд не мої бы появиться в свег.
А. ЭрдейиГЛАВА : ГАММА-ФУНКЦИЯ
1.1. Определение гамма-функции
Функция Г (г) может быть определена одним из следующих выражений:
OO і
Г(г) = j е~* t*~x dt = j (in -I)*"' dt, Re 2 >0, (1)
т./ ч .. n\nz
Г (г)= Iim —
п -»00 2(2+1)...(г+ я)
= Iim -
я-»оо
-Г-тг-г-гг-^ЙК'+тП'+тЛ'»
<i+«)(i+f)-(i+-j) J-Vv /v 71
n-l
где
т
Y= Ііш (У -— Inm) = 0,57721 56649... (4)
ЯІ -. OO \ ЛЯІ п I
п = і
обозначает постоянную Эйлера — Маскерони. Определение (1) было использовано Эйлером, (2) (в несколько иных обозначениях) — Гауссом и (3) — Вей-ерштрассом.
Заменяя в формуле (1) t на st (s вещественно и положительно;, получаем
OO
Г (z) = s« j er** p~l dt, Re г > 0. (5)
Можно показать [см. 1.5 (34)], что эта формула остается справедливой и для комплексных значений s, если в качестве пути интегрирования взять луч, выходящий нз начала координат и наклоненный к оси абсцисс под углом 5.16 ГАММА-ФУНКЦИЯ [Гл. I
Таким образом, имеем
ссе'"
I(Z) = Se~st t2~l dt (6)
— —S, Re2>0.
Если 0<Rez<l, то это равенство остается справедливым при args+ S = я
= ±2-
Из равенств (2) и (3) вицно, что гамма-функцня является аналитической функцией от 2 всюцу, кроме точек Z = O, —1, —2, .. Из (1) следует, что
1 ео
Г (Z) =Д е~* t'-1 dt + J e-t t'-1 dt = P (г) + Q (г), (7)
о t
где Q (z)— целая функция. Разлагая е~1 в степенной ряд и почленно интегрируя, получаем
Р(*)= E (-1V [«'(* +«Г1- (8)
Я = 0
Следовательно, функция Г (2) имеет простые полюсы в точках 2 = — я (я = = 0, 1, 2, ...) с вычетами [см. 1 17 (11)].
Покажем теперь, что выражения (1), (2), (3) представляют одну и ту же функцию '
Если я — натуральное число и Rez>0, то, почленно интеїрируя по частям, получаем
"'i-IYW=- —•
JC
t \п
[~и) * - z(z+\) (z + 2)...(2 + я)'
а поэтому, по теореме Таниери,
Iim \(1——) іг~1 dt = \ t*~l dt = lim я*
И I _ ІУ1 tz-1 dt= [ —__
я/ ^ «Тю г(г+1). .(z + я) '
Таким образом, (1) эквивалентно (2). Равенство (3) может быть выведено из равенства (2) следующим образом Из (2) вытекает, что
и-A"+'>(' +4)-('
T (Z)
или
1
Г (Z)