Función beta

En matemáticas, la función beta,​ también llamada integral de Euler de primer orden, es una función especial estrechamente relacionada con la función gamma y los coeficientes binomiales. Está definida como la integral

Función beta. Representación de la función para valores reales positivos de $x$ y $y$.

$\beta (x,y)=\int _{0}^{1}t^{x-1}(1-t)^{y-1}dt$

para $x,y\in \mathbb {C}$ tales que ${\text{Re}}(x)>0$ y ${\text{Re}}(y)>0$.

La función beta fue estudiada originalmente por Euler y Legendre. No obstante, su nombre le fue dado por Jacques Binet.

Propiedades

La función beta es simétrica, esto es

$\beta (x,y)=\beta (y,x)$

para toda $x$ y $y$.

La función beta se relaciona con la función gamma mediante

$\beta (x,y)={\frac {\Gamma (x)\Gamma (y)}{\Gamma (x+y)}}$

La función beta también está relacionada con los coeficientes binomiales. Si $x,y\in \mathbb {Z} ^{+}$ entonces de la propiedad anterior se sigue que

$\beta (x,y)={\frac {(x-1)!(y-1)!}{(x+y-1)!}}={\frac {x+y}{xy{\binom {x+y}{x}}}}$

Relación con la función gamma

Para verificar que se cumple la identidad

$\mathrm {B} (x,y)={\frac {\Gamma (x)\Gamma (y)}{\Gamma (x+y)}}$

consideremos el producto de dos factoriales

${\begin{aligned}\Gamma (x)\Gamma (y)&=\int _{u=0}^{\infty }u^{x-1}e^{-u}du\int _{v=0}^{\infty }v^{y-1}e^{-v}dv\\&=\int _{v=0}^{\infty }\int _{u=0}^{\infty }u^{x-1}v^{y-1}e^{-u-v}dudv\end{aligned}}$

Haciendo el cambio de variables $u=zt$ y $v=z(1-t)$ se obtiene

${\begin{aligned}\Gamma (x)\Gamma (y)&=\int _{z=0}^{\infty }\int _{t=0}^{1}e^{-z}(zt)^{x-1}(z(1-t))^{y-1}zdtdz\\&=\int _{z=0}^{\infty }e^{-z}z^{x+y-1}dz\int _{t=0}^{1}t^{x-1}(1-t)^{y-1}dt\\&=\Gamma (x+y)\mathrm {B} (x,y)\end{aligned}}$

Dividiendo ambos lados de la igualdad entre $\Gamma (x+y)$ se obtiene el resultado deseado.

Derivadas

Tenemos que la derivada de la función beta pueden expresarse en términos de la función digamma y las función poligamma pues

${\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))$

donde $\psi (x)$ es la función digamma.

Otras identidades y fórmulas

La integral que define a la función beta puede ser escrita de distintas formas, incluyendo las siguientes

${\begin{aligned}\mathrm {B} (x,y)&=2\int _{0}^{\pi /2}(\operatorname {sen} \theta )^{2x-1}(\cos \theta )^{2y-1}d\theta \\&=\int _{0}^{\infty }{\dfrac {t^{x-1}}{(1+t)^{x+y}}}\,dt\\&=n\int _{0}^{1}t^{nx-1}(1-t^{n})^{y-1}dt\end{aligned}}$

donde en la última identidad $n\in \mathbb {R} ^{+}$. (Uno puede pasar de la primera identidad a la segunda haciendo el cambio de variable $t=\tan ^{2}(\theta )$).

La función beta puede ser escrita como una suma infinita como

$\mathrm {B} (x,y)=\sum _{n=0}^{\infty }{\frac {\binom {n-y}{n}}{x+n}}$

y como un producto infinito como

$\mathrm {B} (x,y)={\frac {x+y}{xy}}\prod _{n=1}^{\infty }\left(1+{\frac {xy}{n(x+y+n)}}\right)^{-1}$

Aplicación

Dado que $\Gamma (1)=1$, se deduce de la definición de la función beta y de la primera propiedad enunciada que

$\mathrm {B} \left({\frac {1}{2}},{\frac {1}{2}}\right)=\pi =\Gamma ^{2}\left({\frac {1}{2}}\right)$

de donde $\Gamma (1/2)={\sqrt {\pi }}$.

Supongamos que $n$ es un entero no negativo y queremos calcular

$\int _{0}^{\pi /2}\cos ^{n}(t)dt$

Entonces podemos​

$\int _{0}^{\pi /2}\cos ^{n}(t)\,dt=\int _{0}^{\pi /2}\cos ^{2(n+1)/2-1}(t)\,\operatorname {sen} ^{2(1/2)-1}(t)dt={\frac {1}{2}}\,\mathrm {B} \left({\frac {n+1}{2}},{\frac {1}{2}}\right).$

Usando la segunda propiedad de la función beta, tenemos

$\mathrm {B} \left({\frac {n+1}{2}},{\frac {1}{2}}\right)={\frac {\Gamma \left({\frac {n+1}{2}}\right)\Gamma \left({\frac {1}{2}}\right)}{\Gamma \left({\frac {n}{2}}+1\right)}}={\frac {{\sqrt {\pi }}\,\Gamma \left({\frac {n+1}{2}}\right)}{\Gamma \left({\frac {n}{2}}+1\right)}}$

De manera que

$\int _{0}^{\pi /2}\cos ^{n}(t)\,dt={\frac {{\sqrt {\pi }}\,\Gamma \left({\frac {n+1}{2}}\right)}{2\,\Gamma \left({\frac {n}{2}}+1\right)}}={\begin{cases}\displaystyle {\frac {2^{2k}(k!)^{2}}{(2k+1)!}}&\ \mathrm {si} \ n=2k+1;\\\displaystyle {\frac {\pi \,(2k)!}{2^{2k+1}(k!)^{2}}}&\ \mathrm {si} \ n=2k.\end{cases}}$

Función beta incompleta

La función beta incompleta es una generalización de la función beta, se define como

$\mathrm {B} (x;\,a,b)=\int _{0}^{x}t^{a-1}\,(1-t)^{b-1}\,dt$

Para $x=1$, la función beta incompleta coincide con la función beta completa. La relación existente entre las dos funciones es como la que hay entre la función gamma y su generalización, la función gamma incompleta.

La función beta incompleta regularizada (o función beta regularizada para abreviar) está definida en términos de la función beta incompleta y de la función beta completa:

$I_{x}(a,b)={\dfrac {\mathrm {B} (x;\,a,b)}{\mathrm {B} (a,b)}}$

La función beta regularizada es la función de distribución acumulada de la distribución beta y está relacionada con la función de distribución acumulada de una variable aleatoria $X$ con distribución binomial con parámetros $n$ y $p$ como

$F(x)=\operatorname {P} [X\leq x]=I_{1-p}(n-x,x+1)=1-I_{p}(x+1,n-x)$

Propiedades

${\begin{aligned}I_{0}(a,b)&=0\\I_{1}(a,b)&=1\\I_{x}(a,1)&=x^{a}\\I_{x}(1,b)&=1-(1-x)^{b}\\I_{x}(a,b)&=1-I_{1-x}(b,a)\\I_{x}(a+1,b)&=I_{x}(a,b)-{\frac {x^{a}(1-x)^{b}}{a\mathrm {B} (a,b)}}\\I_{x}(a,b+1)&=I_{x}(a,b)+{\frac {x^{a}(1-x)^{b}}{b\mathrm {B} (a,b)}}\end{aligned}}$

Función Beta Multivariada

La función beta puede extenderse a una función con más de dos argumentos como

$\mathrm {B} (\alpha _{1},\alpha _{2},\dots ,\alpha _{n})={\frac {\Gamma (\alpha _{1})\Gamma (\alpha _{2})\cdots \Gamma (\alpha _{n})}{\Gamma (\alpha _{1}+\alpha _{2}+\cdots +\alpha _{n})}}$

Esta función beta multivariada es usada en la distribución de Dirichlet.

Véase también

• Distribución beta
• Función gamma
• Función poligamma

Enlaces externos

• Weisstein, Eric W. «Beta Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Weisstein, Eric W. «Incomplete Beta Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Weisstein, Eric W. «Regularized Beta Function». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Hazewinkel, Michiel, ed. (2001), «Función beta», Encyclopaedia of Mathematics (en inglés), Springer, ISBN 978-1556080104 .

• Datos: Q468881
• Multimedia: Euler beta function / Q468881