Особые свойства Гамма-функции Эйлера

Интеграл

Где s > 0,разложить в ряд

=

где дзетта функция Римана

Рассмотрим неполные гамма функции (функции Прима)

связанные неравенством

Разлагая,в ряд имеем

Переходя к выводу формулы Стирлинга , дающей в частности приближенное значение n! при больших значениях n ,рассмотрим предварительно вспомогательную функцию

(4.2)

Непрерывна на интервале (-1,) монотонно возрастает от допри изменении от дои обращаются в 0 при u = 0.Так как

то при u > 0 и при u < 0 , далее имеем

И так производная непрерывна и положительна во всем интервале ,удовлетворяет условию

Из предыдущего следует, что существует обратная функция, определенная на интервале непрерывная и монотонно возрастающая в этом интервале,

Обращающаяся в 0 при v=0 и удовлетворяющая условие

(4.3)

Формулу Стирлинга выведем из равенства

полагая ,имеем

Положим далее введенная выше обратная функция, удовлетворяющая условиям u = -1при ,и при .Замечая что(см.4.2)

имеем

,

полагая на конец ,,получим

или

в пределе при т.е. при (см 4.3)

откуда вытекает формула Стирлинга

которую можно взять в виде

(4.4)

где ,при

для достаточно больших полагают

(4.5)

вычисление же производится при помощи логарифмов

если целое положительное число, то и (4.5) превращается в приближенную формулу вычисления факториалов при больших значениях n

приведем без вывода более точную формулу

где в скобках стоит не сходящийся ряд.

5. Примеры вычисления интегралов

Для вычисления необходимы формулы:

Г()

Вычислить интегралы

ПРАКТИЧЕСКАЯ ЧАСТЬ

Для вычисления гамма-функции используется аппроксимация её логарифма. Для аппроксимации гамма-функции на интервале x>0 используется следующая формула (для комплексных z):

Г(z+1)=(z+g+0.5)z+0.5exp(-(z+g+0.5))[a0+a1/(z+1)+a2/(z+2)+ .+an/(z+n)+eps]

Эта формула похожа на аппроксимацию Стирлинга, но в ней имеется корректирующая серия. Для значений g=5 и n=6, проверено, что величина погрешности ε не превышает 2*10-10. Более того, погрешность не превышает этой величины на всей правой половине комплексной плоскости: z > 0.

 Скачать реферат