Eulersche Betafunktion 📖 Wikipedia

Die Eulersche Betafunktion, auch Eulersches Integral 1. Art (nach Leonhard Euler) ist eine spezielle Funktion zweier komplexer Zahlen, die mit ${\displaystyle \mathrm {B} }$ bezeichnet wird. Ihre Integraldarstellung lautet:^[1]

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

wobei ${\displaystyle x}$ und ${\displaystyle y}$ einen positiven Realteil haben müssen. Die Betafunktion tritt unter anderem bei der Betaverteilung auf und ist eng mit der Eulerschen Gammafunktion ${\displaystyle \Gamma }$ verwandt. Es gilt folgende Identität:^[2]

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

Mithilfe von Koordinatentransformationen lässt sich die Integraldarstellung verändern und die Identität nachweisen. So gilt mit den Substitutionen ${\displaystyle u={\tfrac {t}{1-t}}}$ und ${\displaystyle v=\arcsin {\sqrt {t}}}$:

${\displaystyle \mathrm {B} (x,y)=\int _{0}^{1}t^{x-1}(1-t)^{y-1}\mathrm {d} t=\int _{0}^{\infty }{\frac {u^{x-1}\mathrm {d} u}{{(1+u)}^{x+y}}}=2\int _{0}^{\frac {\pi }{2}}(\sin v)^{2x-1}(\cos v)^{2y-1}\mathrm {d} v.}$

Zum Nachweis der Identität kann das Produkt ${\displaystyle \Gamma (x)\cdot \Gamma (y)}$ umgeformt werden:

${\displaystyle \Gamma (x)\cdot \Gamma (y)=\int _{0}^{\infty }e^{-u}u^{x-1}\mathrm {d} u\cdot \int _{0}^{\infty }e^{-v}v^{y-1}\mathrm {d} v=\int _{0}^{\infty }\int _{0}^{\infty }e^{-u-v}u^{x-1}v^{y-1}\mathrm {d} u\,\mathrm {d} v.}$

Mit ${\displaystyle u=zt}$ und ${\displaystyle v=z(1-t)}$ folgt aus dem Transformationssatz:

${\displaystyle \int _{0}^{\infty }\int _{0}^{\infty }e^{-u-v}u^{x-1}v^{y-1}\mathrm {d} u\,\mathrm {d} v=\int _{0}^{\infty }\int _{0}^{1}e^{-z}(zt)^{x-1}(z(1-t))^{y-1}z\,\mathrm {d} t\,\mathrm {d} z.}$

Somit gilt:

${\displaystyle \Gamma (x)\cdot \Gamma (y)=\int _{0}^{1}t^{x-1}(1-t)^{y-1}\mathrm {d} t\cdot \int _{0}^{\infty }e^{-z}z^{x+y-1}\mathrm {d} z=\mathrm {B} (x,y)\cdot \Gamma (x+y).}$

Die Betafunktion hat viele weitere Darstellungen. Bei den Integraldarstellungen muss der Realteil von ${\displaystyle x}$ und ${\displaystyle y}$ positiv sein:

${\displaystyle \mathrm {B} (x,y)=\int _{0}^{\infty }{\frac {t^{x-1}\mathrm {d} t}{(1+t)^{x+y}}},}$

${\displaystyle \mathrm {B} (x,y)=2\int _{0}^{\frac {\pi }{2}}(\sin t)^{2x-1}(\cos t)^{2y-1}\mathrm {d} t,}$

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

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

${\displaystyle \mathrm {B} (x,y)\cdot \mathrm {B} (x+y,1-y)={\frac {\pi }{x\sin(\pi y)}},}$

${\displaystyle \mathrm {B} (x,y)=\sum _{n=0}^{\infty }{\frac {(1-y)_{n}}{n!\,(x+n)}}}$, wobei ${\displaystyle (1-y)_{n}}$ ein Pochhammer-Symbol bezeichnet.^[3]

Die Betafunktion kann zur Definition der Binomialkoeffizienten verwendet werden:^[4]

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

Mithilfe der Gammafunktion ergibt sich für positive ganzzahlige ${\displaystyle x}$ und ${\displaystyle y}$:

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

• Bei festem ${\displaystyle x}$ (bzw. ${\displaystyle y}$) ist ${\displaystyle \mathrm {B} }$ eine meromorphe Funktion von ${\displaystyle y}$ (bzw. ${\displaystyle x}$), und es gilt die Symmetrierelation ${\displaystyle \mathrm {B} (x,y)=\mathrm {B} (y,x)}$.

• Die analytische Fortsetzung der Betafunktion hat Polstellen genau bei ${\displaystyle x=k}$ und ${\displaystyle y=k}$ für ganze Zahlen ${\displaystyle k\leq 0}$.

• Theodor Schneider zeigte 1940, dass die Zahl ${\displaystyle \mathrm {B} (x,y)}$ für alle positiven rationalen, nicht ganzzahligen ${\displaystyle x}$ und ${\displaystyle y}$ transzendent ist.^[5]

• Die Ableitung lässt sich mithilfe der Digamma-Funktion ${\displaystyle \psi }$ wie folgt darstellen:

${\displaystyle {\frac {\partial }{\partial x}}\mathrm {B} (x,y)=\mathrm {B} (x,y)\cdot \left({\frac {\Gamma '(x)}{\Gamma (x)}}-{\frac {\Gamma '(x+y)}{\Gamma (x+y)}}\right)=\mathrm {B} (x,y)\cdot (\psi (x)-\psi (x+y)).}$

Aus der Eulerschen Formel des Ergänzungssatzes ergibt sich für ${\displaystyle 0<x<1}$ folgende Formel:

${\displaystyle \mathrm {B} (x,1-x)={\frac {\pi }{\sin(\pi x)}}.}$

Viele Beta-Funktionswerte für rationale Zahlenpaare sind mit vollständigen elliptischen Integralen erster Art darstellbar:

${\displaystyle \mathrm {B} ({\tfrac {1}{3}},{\tfrac {1}{3}})=2{\sqrt[{3}]{2}}{\sqrt[{4}]{3}}\cdot K({\tfrac {1}{4}}({\sqrt {6}}-{\sqrt {2}}))}$

${\displaystyle \mathrm {B} ({\tfrac {1}{4}},{\tfrac {1}{2}})=2{\sqrt {2}}\cdot K({\tfrac {1}{2}}{\sqrt {2}})}$

${\displaystyle \mathrm {B} ({\tfrac {1}{7}},{\tfrac {2}{7}})=4{\sqrt[{4}]{7}}\cos({\tfrac {\pi }{14}})\cdot K({\tfrac {1}{8}}(3{\sqrt {2}}-{\sqrt {14}}))}$

${\displaystyle \mathrm {B} ({\tfrac {3}{8}},{\tfrac {3}{8}})=4{\sqrt[{4}]{8}}({\sqrt {2}}-1)\cdot K({\sqrt {2}}-1)}$

${\displaystyle \mathrm {B} ({\tfrac {2}{15}},{\tfrac {8}{15}})={\sqrt[{4}]{3^{3}}}{\sqrt[{12}]{5^{5}}}({\sqrt {5}}-1)\cdot K({\tfrac {1}{16}}({\sqrt {10}}-{\sqrt {6}})(3-{\sqrt {5}})(2-{\sqrt {3}}))}$

Die vollständigen elliptischen Integrale von Lambda-Stern-Werten positiver rationaler Zahlen werden im deutschen Sprachraum singuläre elliptische Integralwerte und im englischen Sprachraum elliptic integral singular values genannt.

• Eric W. Weisstein: Beta Function. In: MathWorld (englisch).
• D. Riddhi: Beta function and its applications. (PDF) In: University of Tennessee. 2008; abgerufen am 6. April 2025 (englisch). 

1. ↑ V. I. Bityutskov: Beta-function. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 1-55608-010-7 (englisch, encyclopediaofmath.org). Vorlage:EoM/id
2. ↑ Emil Artin: The Gamma Function. S. 18–19 (englisch, plouffe.fr (Memento des Originals vom 12. November 2016 im Internet Archive) [abgerufen am 11. November 2016]). 
3. ↑ Beta function. Abgerufen am 31. Mai 2026 (englisch). 
4. ↑ Beta-Funktion. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1. Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0303-0 (umgeformt). 
5. ↑ Theodor Schneider: Zur Theorie der Abelschen Funktionen und Integrale (22. Januar 1940), Journal für die reine und angewandte Mathematik 183, 1941, S. 110–128 (beim GDZ: [1])