Перейти к содержанию

Бета-функция

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис
(перенаправлено с «Бета-функция Эйлера»)
График бета-функции при вещественных аргументах

В математике бета-функцией ([math]\displaystyle{ \Beta }[/math]-функцией, бета-функцией Эйлера или интегралом Эйлера I рода) называется следующая специальная функция от двух переменных:

[math]\displaystyle{ \Beta(x, y) = \int\limits_0^1 t^{x-1}(1 - t)^{y-1}\,dt, }[/math]

определённая при [math]\displaystyle{ \operatorname{Re} x \gt 0 }[/math], [math]\displaystyle{ \operatorname{Re} y \gt 0 }[/math].

Бета-функция была изучена Эйлером, Лежандром[когда?], а название ей дал Жак Бине.

Свойства

Бета-функция симметрична относительно перестановки переменных, то есть

[math]\displaystyle{ \Beta(x, y) = \operatorname{\Beta}(y, x). }[/math]

Бета-функцию можно выразить через другие функции:

[math]\displaystyle{ \Beta(x, y) = \frac{\Gamma(x) \Gamma(y)}{\Gamma(x + y)}, }[/math]

где [math]\displaystyle{ \Gamma(x) }[/math] — Гамма-функция;

[math]\displaystyle{ \Beta(x, y) = 2 \int\limits_0^{\pi/2} \sin^{2x-1}\theta \cos^{2y-1}\theta \,d\theta, \quad \operatorname{Re} x \gt 0,\ \operatorname{Re} y \gt 0; }[/math]
[math]\displaystyle{ \Beta(x, y) = \int\limits_0^\infty \frac{t^{x-1}}{(1 + t)^{x+y}} \,dt, \quad \operatorname{Re} x \gt 0,\ \operatorname{Re} y \gt 0; }[/math]
[math]\displaystyle{ \Beta(x, y) = \frac{1}{y} \sum_{n=0}^\infty (-1)^n \frac{(y)_{n+1}}{n! (x + n)}, }[/math]

где [math]\displaystyle{ (x)_n }[/math] — нисходящий факториал, равный [math]\displaystyle{ x \cdot (x - 1) \cdot (x - 2) \cdot \ldots \cdot (x - n + 1) }[/math].

Подобно тому как гамма-функция для целых чисел является обобщением факториала, бета-функция является обобщением биномиальных коэффициентов с немного изменёнными параметрами:

[math]\displaystyle{ \binom{n}{k} = \frac1{(n + 1) \Beta(n - k + 1, k + 1)}. }[/math]

Бета-функция удовлетворяет двумерному разностному уравнению:

[math]\displaystyle{ \Beta(x, y) - \Beta(x + 1, y) - \Beta(x, y + 1) = 0. }[/math]

Производные

Частные производные у бета-функции следующие:

[math]\displaystyle{ \frac{\partial}{\partial x}\Beta(x, y) = \Beta(x, y)\left(\frac{\Gamma'(x)}{\Gamma(x)} - \frac{\Gamma'(x + y)}{\Gamma(x + y)}\right) = \Beta(x, y) \big(\psi(x) - \psi(x + y)\big), }[/math]
[math]\displaystyle{ \frac{\partial}{\partial y}\Beta(x, y) = \Beta(x, y)\left(\frac{\Gamma'(y)}{\Gamma(y)} - \frac{\Gamma'(x + y)}{\Gamma(x + y)}\right) = \Beta(x, y) \big(\psi(y) - \psi(x + y)\big), }[/math]

где [math]\displaystyle{ \psi(x) }[/math] — дигамма-функция.

Неполная бета-функция

Неполная бета-функция — это обобщение бета-функции, заменяющее интеграл по отрезку [math]\displaystyle{ [0, 1] }[/math] на интеграл с переменным верхним пределом:

[math]\displaystyle{ \Beta_x(a, b) = \int\limits_0^x t^{a-1} (1 - t)^{b-1} \,dt. }[/math]

При [math]\displaystyle{ x = 1 }[/math] неполная бета-функция совпадает с полной.

Регуляризованная неполная бета-функция определяется через полную и неполную бета-функции:

[math]\displaystyle{ I_x(a, b) = \frac{\Beta_x(a, b)}{\Beta(a, b)}. }[/math]

Свойства [math]\displaystyle{ I(x) }[/math]

[math]\displaystyle{ I_0(a, b) = 0, }[/math]
[math]\displaystyle{ I_1(a, b) = 1, }[/math]
[math]\displaystyle{ I_x(a, b) = 1 - I_{1-x}(b, a), }[/math]
[math]\displaystyle{ I_x(a + 1, b) = I_x(a, b) - \frac{x^a (1 - x)^b}{a B(a, b)}. }[/math]

Примечания

Литература

Кузнецов Д. С. Специальные функции (1962) — 249 с.

См. также