Função beta

Em matemática, a função beta, também chamada de integral de Euler de primeiro tipo, é a função definida pela integral definida:

B ( x , y ) = 0 1 t x 1 ( 1 t ) y 1 d t {\displaystyle \mathrm {\mathrm {B} } (x,y)=\int _{0}^{1}t^{x-1}(1-t)^{y-1}\,dt\!}

para números complexos x e y cuja parte real seja positiva.

Propriedades

A função beta é simétrica, o que significa que:

B ( x , y ) = B ( y , x ) . {\displaystyle \mathrm {B} (x,y)=\mathrm {B} (y,x).\!} [1]

Quando x {\displaystyle x} e y {\displaystyle y} são inteiros positivos, segue-se a partir da definição da função gama " Γ   {\displaystyle \Gamma \ } " que:

B ( x , y ) = ( x 1 ) ! ( y 1 ) ! ( x + y 1 ) ! {\displaystyle \mathrm {B} (x,y)={\dfrac {(x-1)!\,(y-1)!}{(x+y-1)!}}\!}

Ela tem muitas outras formas, incluindo:

B ( x , y ) = Γ ( x ) Γ ( y ) Γ ( x + y ) {\displaystyle \mathrm {B} (x,y)={\dfrac {\Gamma (x)\,\Gamma (y)}{\Gamma (x+y)}}\!} [1]
B ( x , y ) = 2 0 π / 2 ( sin θ ) 2 x 1 ( cos θ ) 2 y 1 d θ , R e ( x ) > 0 ,   R e ( y ) > 0 {\displaystyle \mathrm {B} (x,y)=2\int _{0}^{\pi /2}(\sin \theta )^{2x-1}(\cos \theta )^{2y-1}\,\mathrm {d} \theta ,\qquad \mathrm {Re} (x)>0,\ \mathrm {Re} (y)>0\!} [2]
B ( x , y ) = 0 t x 1 ( 1 + t ) x + y d t , R e ( x ) > 0 ,   R e ( y ) > 0 {\displaystyle \mathrm {B} (x,y)=\int _{0}^{\infty }{\dfrac {t^{x-1}}{(1+t)^{x+y}}}\,\mathrm {d} t,\qquad \mathrm {Re} (x)>0,\ \mathrm {Re} (y)>0\!} [2]
B ( x , y ) = n = 0 ( n y n ) x + n , {\displaystyle \mathrm {B} (x,y)=\sum _{n=0}^{\infty }{\dfrac {n-y \choose n}{x+n}},\!}
B ( x , y ) = x + y x y n = 1 ( 1 + x y n ( x + y + n ) ) 1 , {\displaystyle \mathrm {B} (x,y)={\frac {x+y}{xy}}\prod _{n=1}^{\infty }\left(1+{\dfrac {xy}{n(x+y+n)}}\right)^{-1},\!}

A função Beta satisfaz várias identidades interessantes, incluindo

B ( x , y ) = B ( x , y + 1 ) + B ( x + 1 , y ) {\displaystyle \mathrm {B} (x,y)=\mathrm {B} (x,y+1)+\mathrm {B} (x+1,y)\!}
B ( x + 1 , y ) = B ( x , y ) x x + y {\displaystyle \mathrm {B} (x+1,y)=\mathrm {B} (x,y)\cdot {\dfrac {x}{x+y}}\!}
B ( x , y + 1 ) = B ( x , y ) y x + y {\displaystyle \mathrm {B} (x,y+1)=\mathrm {B} (x,y)\cdot {\dfrac {y}{x+y}}\!}
B ( x , y ) ( t t + x + y 1 ) = ( t t + x 1 ) ( t t + y 1 ) x 1 , y 1 , {\displaystyle \mathrm {B} (x,y)\cdot (t\mapsto t_{+}^{x+y-1})=(t\to t_{+}^{x-1})*(t\to t_{+}^{y-1})\qquad x\geq 1,y\geq 1,\!}
B ( x , y ) B ( x + y , 1 y ) = π x sin ( π y ) , {\displaystyle \mathrm {B} (x,y)\cdot \mathrm {B} (x+y,1-y)={\dfrac {\pi }{x\sin(\pi y)}},\!}

onde t t + x {\displaystyle t\mapsto t_{+}^{x}} é um função de potência truncada e a estrela da denota convolução. A identidade mais baixa acima, demonstra em particular Γ ( 1 2 ) = π {\displaystyle \Gamma ({\tfrac {1}{2}})={\sqrt {\pi }}} . Algumas destas identidades, por exemplo, a fórmula trigonométrica, pode ser aplicada para derivar o volume de uma bola-n[3][4][5] em coordenadas cartesianas. A integral de Euler para a função beta pode ser convertida em uma integral sobre o contorno de Pochhammer[6][7][8] C como:

( 1 e 2 π i α ) ( 1 e 2 π i β ) B ( α , β ) = C t α 1 ( 1 t ) β 1 d t . {\displaystyle \displaystyle (1-e^{2\pi i\alpha })(1-e^{2\pi i\beta })\mathrm {B} (\alpha ,\beta )=\int _{C}t^{\alpha -1}(1-t)^{\beta -1}\,\mathrm {d} t.}

Esta integral do contorno de Pochhammer converge para todos os valores de α e β e assim dá a continuação analítica da função beta. Assim como a função gama " Γ   {\displaystyle \Gamma \ } " para inteiros descreve fatoriais, a função beta pode definir um coeficiente binomial depois de ajustar os índices:

( n k ) = 1 ( n + 1 ) B ( n k + 1 , k + 1 ) . {\displaystyle {n \choose k}={\frac {1}{(n+1)\mathrm {B} (n-k+1,k+1)}}.}

Além disso, para o inteiro n, B {\displaystyle \mathrm {B} \,} pode ser fatorado para dar uma forma fechada, uma função de interpolação para valores contínuos de k:

( n k ) = ( 1 ) n n ! sin ( π k ) π i = 0 n ( k i ) . {\displaystyle {n \choose k}=(-1)^{n}n!{\cfrac {\sin(\pi k)}{\pi \prod _{i=0}^{n}(k-i)}}.}

A função beta foi a primeira amplitude de dispersão conhecida na teoria das cordas, primeiramente conjecturado por Gabriele Veneziano. Ocorre também na teoria do processo de ligação preferencial[9][10], um tipo de processo de urna[11] estocástica.

Função beta incompleta

A função beta incompleta, é uma generalização da função beta, definida como

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

Para x = 1, a função beta incompleta coincide com a função beta completa. A relação existente entre estas duas funções é como a que existe entre a função gama e sua generalização, a função gama incompleta.

A função beta incompleta regularizada (ou função beta regularizada para abreviar) é definida em termos da função beta incompleta e da função beta completa:

I x ( a , b ) = B ( x ; a , b ) B ( a , b ) . {\displaystyle I_{x}(a,b)={\dfrac {\mathrm {B} (x;\,a,b)}{\mathrm {B} (a,b)}}.\!}

Referências

  1. a b Davis (1972) 6.2.2 p.258
  2. a b Davis (1972) 6.2.1 p.258
  3. Equation 5.19.4, NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/, Release 1.0.6 of 2013-05-06.
  4. Dirichlet, "Sur une nouvelle méthode pour la détermination des intégrales multiples", Journal de Mathématiques Pures et Appliquées 4 (1839), 164–168
  5. Wang, Xianfu, "Volumes of Generalized Unit Balls", Mathematics Magazine, Vol. 78, No. 5 (Dezembro 2005), 390–395.
  6. Jordan, Camille (1887), Cours d'analyse (PDF) 
  7. Pochhammer, L. (1890), «Zur Theorie der Euler'schen Integrale», Springer Berlin / Heidelberg, Mathematische Annalen, 35 (4): 495–526, doi:10.1007/BF02122658 
  8. Whittaker, E. T.; Watson, G. N. (1963), A Course in Modern Analysis, ISBN 978-0-521-58807-2, Cambridge University Press 
  9. Yule, G. U. (1925). «Philosophical Transactions of the Royal Society B» (402–410): 21–87. doi:10.1098/rstb.1925.0002 
  10. Fan Chung e Linyuan Lu (2010). «"A Generative Model — the Preferential Attachment Scheme"». Complex Graphs and Networks (3o. [S.l.: s.n.] ISBN 978-0-8218-3657-6  !CS1 manut: Usa parâmetro autores (link)
  11. Sampling with & without Replacement: Urn problem modeled with Geogebra por Gunhan Caglayan - "Vol. 6: Iss. 3, Article 3" (2013)

Bibliografia

  • Zelen, M.; Severo, N. C. (1972), «26. Probability functions», in: Abramowitz, Milton; Stegun, Irene A., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, ISBN 978-0-486-61272-0, New York: Dover Publications, pp. 925-995 
  • Davis, Philip J. (1972), «6. Gamma function and related functions», in: Abramowitz, Milton; Stegun, Irene A., Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables 🔗, ISBN 978-0-486-61272-0, New York: Dover Publications 
  • Press, WH; Teukolsky, SA; Vetterling, WT; Flannery, BP (2007), «Section 6.1 Gamma Function, Beta Function, Factorials», Numerical Recipes: The Art of Scientific Computing, ISBN 978-0-521-88068-8 3rd ed. , New York: Cambridge University Press