Funció beta

De Viquipèdia
Salta a la navegació Salta a la cerca
Isolínia de la funció beta

En matemàtiques, la funció beta, també anomenada funció beta d'Euler o integral d'Euler de primera classe, és un tipus d'integral d'Euler definida, per a dos nombres complexos i de parts reals estrictament positives (), per:

La funció beta va ser estudiada per Euler i Legendre, però va ser Jacques Binet el qui li va ficar el nom; el seu símbol, Β, és una beta majúscula grega, que és semblant a la majúscula llatina B.

Es relaciona amb la funció gamma d'Euler.

També hi ha una versió de la funció beta incompleta (la funció beta incompleta) i una versió regularitzada de la mateixa (la funció beta incompleta regularitzada).

Definició[modifica]

Una gràfica de la funció beta per a x i y positius

Donada una funció f, moltes vegades és útil expressar f (x +y) en termes de f (x) i f (y). Per exemple, per l'exponencial es té

Aquesta anàlisi, aplicat a la funció gamma, condueix a la definició de la funció beta. Per i , dos nombres complexos amb les seves parts reals positives (), considerem el producte :

Per escriure aquesta integral doble en coordenades polars, fem primer el canvi de variables i :

Passant a coordenades polars , s'obté d'aquesta integral doble

Fent obtenim

Definint la funció beta

s'obté

Propietats[modifica]

La funció beta és simètrica, el que significa que[1]

Una propietat fonamental de la funció beta és la seva relació amb la funció gamma; la prova es dóna a continuació, en la secció sobre la relació entre la funció gamma i funció beta[1]

Quan i són nombres enters positius, es desprèn de la definició de la funció gamma Γ que:[1]

La funció beta satisfà diverses identitats interessants, incloent:

on ttx
+
és la funció exponencial truncada, i designa la convolució.

La identitat més inferior de dalt mostra en particular . Algunes d'aquestes identitats, per exemple la fórmula trigonomètrica, es pot aplicar al derivar el volum d'una n-esfera en coordenades cartesianes.

La integral d'Euler integral de la funció beta pot ser convertida en una integral C sobre el contorn de Pochhammer com

Aquesta integral del contorn de Pochhammer convergeix per a tots els valors de α i β, i així dóna la continuació analítica de la funció beta.

De la mateixa manera que la funció gamma per a enters descriu factorials, la funció beta pot definir un coeficient binomial després d'ajustar els índexs:

Si i y són nombres enters positius, aquesta equació pot reescriure en termes de factorials o coeficient binomial:

D'altra banda, per al sencer n, Β pot ser un factor per donar una forma tancada, una funció d'interpolació per a valors continus de k:

Si i són racionals i si o , o + no són nombres enters, llavors Β (x, y) és un nombre transcendent.[2]

La funció beta va ser la primera amplitud de dispersió coneguda en la teoria de cordes, conjecturada per primera vegada per Gabriele Veneziano. També es presenta en la teoria del procés de connexió preferencial, un tipus de procés d'urna estocàstic.

Relació entre la funció gamma i funció beta[modifica]

Una simple derivació de la relació es pot trobar en el llibre d'Emil Artin The Gamma Function, pàgina 18-19.[3]

Per a derivar la representació integral de la funció beta, s'escriu el producte de dos factorials com

Canviant les variables u = f(z,t) = zt i v = g(z,t) = z(1 − t), mostra que això és

on |J(z,t)| és el valor absolut del determinant jacobià de u = f(z,t) i v = g(z,t).

La identitat indicada pot ser vista com un cas particular de la identitat de la integral d'una convolució. Prenent

s'obté

Derivades[modifica]

Tenim

on ψ(x) és la funció digamma.

Integrals[modifica]

La integral de Nørlund-Rice és una integral de contorn que conté la funció beta.

Aproximació[modifica]

L'aproximació de Stirling dóna la fórmula asimptòtica

per a i grans. Si per contra és gran i és fixa, llavors

La funció beta incompleta[modifica]

La funció beta incompleta, una generalització de la funció beta, es defineix com

Per x = 1, la funció beta incompleta coincideix amb la funció beta completa. La relació entre les dues funcions és com la que hi ha entre la funció gamma i la seva generalització de la funció gamma incompleta.

La funció beta incompleta regularitzada (o funció beta regularitzada per abreujar) es defineix en termes de la funció beta incompleta i la funció beta completa:

La funció beta incompleta regularitzada és la funció de distribució acumulativa de la distribució Beta, i es relaciona amb la funció de distribució acumulativa d'una variable aleatòria X d'una distribució binomial, on la «probabilitat d'èxit» és p i la mida de la mostra és n:

Propietats[modifica]

Funció beta multivariable[modifica]

La funció beta es pot estendre a una funció amb més de dos arguments:

Aquesta funció beta multivariable s'utilitza en la definició de la distribució de Dirichlet.

Implementació al programari[modifica]

Fins i tot si no estan disponibles directament, els valors de la funció beta completa i incompleta es poden calcular utilitzant les funcions que se solen incloure en els sistemes de fulls de càlcul o àlgebra computacional. Per exemple, en Excel, el valor de la funció beta completa es pot calcular a partir de la funcióGammaLn:

Value = Exp(GammaLn(a) + GammaLn(b) − GammaLn(a + b))

El valor de la funció beta incompleta es pot calcular com:

Value = BetaDist(x, a, b) * Exp(GammaLn(a) + GammaLn(b) − GammaLn(a + b)).

Aquests resultats es dedueixen de les propietats esmentades anteriorment.

De la mateixa manera, betainc (funció beta incompleta) en MATLAB and GNU Octave, pbeta (probabilitat de distribució beta) en R, o special.betainc en paquet SciPy de Python, calcula la funció beta incompleta, que és de fet, la distribució beta acumulativa regularitzada i així, per obtenir la funció beta incompleta real, cal multiplicar el resultat de betainc pel resultat retornat per la funció beta corresponent.

Referències[modifica]

  1. 1,0 1,1 1,2 Davis, 1972, p. 258.
  2. Schneider, 1941, p. 110-128.
  3. Artin, Emil. The Gamma Function, p. 18–19. 

Bibliografia[modifica]

Vegeu també[modifica]

Enllaços externs[modifica]