# Fonction bêta

En mathématiques, la fonction bêta est une des deux intégrales d'Euler, définie pour tous nombres complexes x et y de parties réelles strictement positives par :
$\mathrm {B} (x,y)=\int _{0}^{1}t^{x-1}(1-t)^{y-1}\mathrm {d} t,$
et éventuellement prolongée analytiquement à tout le plan complexe à l'exception des entiers négatifs.
La fonction bêta a été étudiée par Euler et Legendre et doit son nom à Jacques Binet. Elle est en relation avec la fonction gamma.
Il existe aussi une version incomplète de la fonction bêta, la fonction bêta incomplète ainsi qu'une version régularisée de celle-ci, la fonction bêta incomplète régularisée.

## Propriétés

Dans sa définition sous forme d'intégrale, le changement de variable u = 1 – t prouve que cette fonction est symétrique c'est-à-dire que :
$\mathrm {B} (x,y)=\mathrm {B} (y,x)$
Elle peut prendre aussi les formes intégrales
    $\mathrm {B} (x,y)=2\int _{0}^{\pi /2}\sin ^{2x-1}\theta ~\cos ^{2y-1}\theta ~\mathrm {d} \theta$ (par le changement de variable $t=\sin ^{2}\theta$),
    $\mathrm {B} (x,y)=\int _{0}^{\infty }{\frac {s^{y-1}}{(1+s)^{x+y}}}~\mathrm {d} s$ (par le changement de variable $t={\dfrac {1}{1+s}}$).
Elle satisfait des équations fonctionnelles telles que :
    $\mathrm {B} (x,y+1)={y \over x+y}\mathrm {B} (x,y)$,
    $\mathrm {B} (x,y)~\mathrm {B} (x+y,1-y)={\dfrac {\pi }{x\sin(\pi y)}}$,
    $\mathrm {B} (x,x)=2^{1-2x}\mathrm {B} \left({\tfrac {1}{2}},x\right)$.
Elle est liée à la fonction gamma par l'équation suivante :
$\mathrm {B} (x,y)={\frac {\Gamma (x)\,\Gamma (y)}{\Gamma (x+y)}}$
Si x et y sont des entiers strictement positifs, cette équation se réécrit, en termes de factorielles ou de coefficient binomial : ${\frac {x+y}{xy\mathrm {B} (x,y)}}={\frac {(x+y)!}{x!~y!}}={x+y \choose x}$.
Si x et y sont deux rationnels et si ni x, ni y, ni x + y ne sont entiers, alors Β(x, y) est un nombre transcendant.

## Dérivation

Les dérivées partielles de la fonction bêta utilisent les équations fonctionnelles vues précédemment :
    ${\partial \over \partial x}\mathrm {B} (x,y)=\mathrm {B} (x,y)\left({\Gamma '(x) \over \Gamma (x)}-{\Gamma '(x+y) \over \Gamma (x+y)}\right)=\mathrm {B} (x,y)(\psi (x)-\psi (x+y)),$
    ${\partial \over \partial y}\mathrm {B} (x,y)=\mathrm {B} (x,y)(\psi (y)-\psi (x+y))$
où ψ(x) est la fonction digamma.
    ${\partial ^{2} \over \partial x^{2}}\mathrm {B} (x,y)=\mathrm {B} (x,y)\left[(\psi (x)-\psi (x+y))^{2}+(\psi _{1}(x)-\psi _{1}(x+y))\right],$
    ${\partial ^{2} \over {\partial x\partial y}}\mathrm {B} (x,y)=\mathrm {B} (x,y)\left[(\psi (x)-\psi (x+y))(\psi (y)-\psi (x+y))-\psi _{1}(x+y)\right],$
où ψ$_n$(x) est la fonction polygamma.

## Fonction bêta incomplète

La fonction bêta incomplète est définie par :
$\mathrm {B} (x;\,a,b)=\int _{0}^{x}t^{a-1}\,(1-t)^{b-1}\mathrm {d} t$
et vérifie trivialement :
$\mathrm {B} (x;\,a+1,b)+\mathrm {B} (x;\,a,b+1)=\mathrm {B} (x;\,a,b)\quad {\rm {et}}\quad x^{a}(1-x)^{b}=a\mathrm {B} (x;\,a,b+1)-b\mathrm {B} (x;\,a+1,b).$
Pour x = 1, elle correspond à la fonction bêta de paramètres a et b.
La fonction bêta incomplète régularisée consiste à diviser la fonction bêta incomplète par la fonction bêta complète
$I_{x}(a,b)={\dfrac {\mathrm {B} (x;\,a,b)}{\mathrm {B} (a,b)}}.$
Les relations précédentes deviennent ainsi
$aI_{x}(a+1,b)+bI_{x}(a,b+1)=(a+b)I_{x}(a,b)$$,\quad I_{x}(a,b+1)-I_{x}(a+1,b)=x^{a}(1-x)^{b}{\frac {a+b}{ab\mathrm {B} (a,b)}}.$
On déduit de la seconde (par une récurrence immédiate) le lien suivant avec le développement binomial et la loi binomiale : $I_{p}(a,n-a+1)=\sum _{j=a}^{n}{n \choose j}p^{j}(1-p)^{n-j}.$