Zum Inhalt springen

Eulersche Betafunktion

aus Wikipedia, der freien Enzyklopädie
Datei:BetaFuncDemo.svg
Betafunktion. Die positiven Realteile von x und y liegen in der Ebene

Die Eulersche Betafunktion, auch Eulersches Integral 1. Art (nach Leonhard Euler) ist eine spezielle Funktion zweier komplexer Zahlen, die mit <math>\Beta</math> bezeichnet wird. Ihre Integraldarstellung lautet:<ref>{{#invoke:Vorlage:Literatur|f}}{{#if:Beta-function|Vorlage:EoM/id}}</ref>

<math>\Beta(x,y) = \int_0^1 t^{x-1} (1-t)^{y-1}\mathrm{d}t,</math>

wobei <math>x</math> und <math>y</math> einen positiven Realteil haben müssen. Die Betafunktion tritt unter anderem bei der Betaverteilung auf und ist eng mit der Eulerschen Gammafunktion <math>\Gamma</math> verwandt. Es gilt folgende Identität:<ref>{{#invoke:Vorlage:Literatur|f}}{{#if: | {{#if: Vorlage:Cite book/ParamBool | Vorlage:Toter Link/archivebot | Vorlage:Webarchiv/archiv-bot }}

  }}{{#invoke:TemplatePar|check

|all = title= |opt = vauthors= author= author-link= authorlink= author1= author-link1= author1-link= first= last= first1= last1= first2= last2= author2= first3= last3= author3= first4= last4= author4= first5= last5= author5= first6= last6= author6= first7= last7= author7= first8= last8= author8= others= coauthors= script-title= trans-title= orig-date= orig-year= chapter= chapter-url= editor= editor-first= editor-last= editor-first1= editor-last1= editor-first2= editor-last2= editor-first3= editor-last3= editor-link= editor-link1= language= format= others= series= issue= number= edition= volume= publisher= location= date= year= isbn= page= at= pages= arxiv= doi= jstor= bibcode= pmc= pmid= lccn= oclc= id= url= url-status= access-date= accessdate= archive-url= archiveurl= archive-date= archivedate= quote= url-access= ref= coauthors= origyear= archivebot= offline= |cat = Wikipedia:Vorlagenfehler/Vorlage:Cite book |errNS = 0 |template = Vorlage:Cite book |format = |preview = 1

  }}Vorlage:Cite book/URLVorlage:Cite book/Meldung2{{#if: Vorlage:Cite book/ParamBool
    | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if: Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if: Vorlage:Cite book/ParamBool

| Vorlage:Cite book/Meldung

  }}{{#if:  Vorlage:Cite book/ParamBool
     | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:Artin|^^||+1}}{{#ifeq:^^|^^||+1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:^^|^^|0|1}}{{#ifeq:18–19|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:https://web.archive.org/web/20161112081854/http://www.plouffe.fr/simon/math/Artin%20E.%20The%20Gamma%20Function%20(1931)(23s).pdf%7C^^%7C0%7C1}}{{#ifeq:^^%7C^^%7C%7C+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:2016-11-12|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}{{#ifexpr: {{#ifeq:2016-11-11|^^|0|1}}{{#ifeq:^^|^^||+1}} > 1
    | Vorlage:Cite book/Meldung
  }}</ref>
<math>\Beta(x,y) = \frac{\Gamma(x) \cdot \Gamma(y)}{\Gamma(x+y)}.</math>

Transformationen

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

<math>\Beta(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.</math>

Zum Nachweis der Identität kann das Produkt <math>\Gamma(x) \cdot \Gamma(y)</math> umgeformt werden:

<math>\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.</math>

Mit <math>u=zt</math> und <math>v=z(1-t)</math> folgt aus dem Transformationssatz:

<math>\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.</math>

Somit gilt:

<math>\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 = \Beta(x,y) \cdot \Gamma(x+y).</math>

Darstellungen

Die Betafunktion hat viele weitere Darstellungen. Bei den Integraldarstellungen muss der Realteil von <math>x</math> und <math>y</math> positiv sein:

<math>\Beta(x,y) = \int_0^\infty\frac{t^{x-1}\mathrm{d}t}{(1+t)^{x+y}},</math>
<math>\Beta(x,y) = 2 \int_0^{\frac{\pi}{2}}(\sin t)^{2x-1}(\cos t)^{2y-1}\mathrm{d}t,</math>
<math>\Beta(x,y) = \sum_{n=0}^\infty \fracVorlage:N-y \choose n {x+n},</math>
<math>\Beta(x,y) = \frac{x+y}{x y} \prod_{n=1}^\infty \left(1+\frac{x y}{n (x+y+n)}\right)^{-1},</math>
<math>\Beta(x,y) \cdot \Beta(x+y,1-y) = \frac{\pi}{x \sin(\pi y)},</math>
<math>\Beta(x,y) = \frac{1}{y}\sum_{n=0}^\infty(-1)^n\frac{y^{n+1}}{n!(x+n)}.</math>

Die Betafunktion kann zur Definition der Binomialkoeffizienten verwendet werden:

<math>{n \choose k} = \frac{1}{(n+1) \Beta(n-k+1, k+1)}.</math>

Mithilfe der Gammafunktion ergibt sich für positive ganzzahlige <math>x</math> und <math>y</math>:

<math>\Beta(x,y)=\frac{(x-1)!(y-1)!}{(x+y-1)!}.</math>

Eigenschaften

  • Bei festem <math>x</math> (bzw. <math>y</math>) ist <math>\Beta</math> eine meromorphe Funktion von <math>y</math> (bzw. <math>x</math>), und es gilt die Symmetrierelation <math> \Beta(x,y) = \Beta(y,x)</math>.
  • Theodor Schneider zeigte 1940, dass die Zahl <math>\Beta(x,y)</math> für alle positiven rationalen, nicht ganzzahligen <math>x</math> und <math>y</math> transzendent ist.<ref>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])</ref>
<math>\frac{\partial}{\partial x} \Beta(x,y) = \Beta(x,y) \cdot \left(\frac{\Gamma'(x)}{\Gamma(x)}-\frac{\Gamma'(x+y)}{\Gamma(x+y)}\right) = \Beta(x,y) \cdot (\psi(x)-\psi(x+y)).</math>

Funktionswerte

Aus der Eulerschen Formel des Ergänzungssatzes ergibt sich für <math>0<x<1</math> folgende Formel:

<math>\Beta(x,1-x) = \frac{\pi}{\sin(\pi x)}.</math>

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

<math>\Beta(\tfrac{1}{3},\tfrac{1}{3}) = 2\sqrt[3]{2}\sqrt[4]{3} \cdot K(\tfrac{1}{4}(\sqrt{6}-\sqrt{2}))</math>
<math>\Beta(\tfrac{1}{4},\tfrac{1}{2}) = 2\sqrt{2} \cdot K(\tfrac{1}{2}\sqrt{2})</math>
<math>\Beta(\tfrac{1}{7},\tfrac{2}{7}) = 4\sqrt[4]{7}\cos(\tfrac{\pi}{14}) \cdot K(\tfrac{1}{8}(3\sqrt{2}-\sqrt{14}))</math>
<math>\Beta(\tfrac{3}{8},\tfrac{3}{8}) = 4\sqrt[4]{8}(\sqrt{2}-1) \cdot K(\sqrt{2}-1)</math>
<math>\Beta(\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}))</math>

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.

Weblinks

          | )
          | {{#if:{{#ifeq:en|de||{{#if:en|1}}}}| ; 
              | )}}}}}}{{#if:| {{{titelerg}}}{{#invoke:Vorlage:Internetquelle|Endpunkt|titel={{{titelerg}}}}}}}}}}}{{#if:https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf%7C{{#if:{{#invoke:URLutil%7CisResourceURL%7C1=https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf}}%7C%7C}}}}{{#if:Beta function and its applications|{{#if:{{#invoke:WLink|isValidLinktext|1=Beta function and its applications|lines=0}}||}}}}{{#if: University of Tennessee| In: {{#invoke:Vorlage:Internetquelle|TitelFormat|titel=University of Tennessee}}}}{{#if: | {{{hrsg}}}{{#if: 2008|,|{{#if: 2025-04-06 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: 2008| {{#if:{{#invoke:DateTime|format|2008|noerror=1}}
            |{{#invoke:DateTime|format|2008|T._Monat JJJJ}}
            |{{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, datum=2008|class=Zitationswartung}} }}{{#if: |,|{{#if: 2025-04-06 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: | S. {{{seiten}}}{{#if: |,|{{#if: 2025-04-06 | {{#if:{{#invoke:TemplUtl|faculty|1}}|;|,}}}}}}}}{{#if: {{#invoke:TemplUtl|faculty|}}| {{#if:2008|{{#if:|archiviert|ehemals}}|{{#if:|Archiviert|Ehemals}}}} {{#if:|vom|im}} Vorlage:Referrer{{#if:{{#invoke:TemplUtl|faculty|}}| (nicht mehr online verfügbar)}}{{#if: | am {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}|{{{archiv-datum}}}{{#if:117498||(?)}}}}}}{{#if: 2025-04-06|;}}}}{{#if: 2025-04-06| {{#if:2008{{#invoke:TemplUtl|faculty|}}|abgerufen|Abgerufen}} {{#switch: {{#invoke:Str|len| {{#invoke:DateTime|format| 2025-04-06 |ISO|noerror=1}} }}
       |4=im Jahr
       |7=im
       |10=am
       |#default={{#invoke:TemplUtl|failure|1=Fehler bei Vorlage:Internetquelle, abruf=2025-04-06|class=Zitationswartung}} }} {{#invoke:DateTime|format|2025-04-06|T._Monat JJJJ}}
    | {{#invoke:TemplUtl|failure|1=Vorlage:Internetquelle | abruf=2026-MM-TT ist Pflichtparameter}} }}{{#if:{{#ifeq:en|de||{{#if:en|1}}}}|{{#if:University of Tennessee2008{{#if: 2025-04-06 | {{#if:{{#invoke:TemplUtl|faculty|1}}||1}}}}
       |  (
       | {{#if:PDF | |  (}}
       }}{{#ifeq:{{#if:en|en|de}}|de||
          {{#invoke:Multilingual|format|en|slang=!|split=[%s,]+|shift=m|separator=, }}}}{{#if: |{{#ifeq:{{#if:en|en|de}}|de||, }}{{{kommentar}}}}})}}{{#if: 2008{{#if: 2025-04-06 | {{#if:{{#invoke:TemplUtl|faculty|1}}||1}} }}en|{{#if: |: {{
 #if: 
 | {{
     #ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | Vorlage:Str trim
     | {{#invoke:Vorlage:lang|flat}}
     }}
 | {{#ifeq: {{#if:{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|{{#if: {{#invoke:templutl|faculty|}}|de-ch|de}}|de}} | de
     | „Vorlage:Str trim“
     | {{#invoke:Text|quote
         |1={{#if: 
              | {{#invoke:Vorlage:lang|flat}}
              | {{#invoke:Vorlage:lang|flat}} }}
         |2={{#if: {{#invoke:TemplUtl|faculty|}}|de-CH|de}}
         |3=1}} }}

}}{{#if:

   |  (<templatestyles src="Person/styles.css" />{{#if:  | :  }}{{#if:  | , deutsch: „“ }})
   | {{#if: 
       |  ({{#if:  | , deutsch: „“ }})
       | {{#if:  |  (deutsch: „“) }}
 }}

}}{{#if: {{{zitat}}}

   | {{#if: 
       | {{#if: {{{zitat}}}
           | Vorlage:": Text= und 1= gleichzeitig, bzw. Pipe zu viel }} }}
   | Vorlage:": Text= fehlt }}{{#if:  | {{#if: {{#invoke:Text|unstrip|{{{ref}}}}}
             | Vorlage:": Ungültiger Wert: ref=
             | {{{ref}}} }}

}}|.{{#if:{{#invoke:TemplUtl|faculty|}}|{{#if:||{{#ifeq: | JaKeinHinweis |{{#switch:

   |0|=Vorlage:Toter Link/Core{{#if: https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf
       | {{#if:  | [2] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if: deadurlausgeblendet | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: deadurl
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf }}|{{#switch: 
   |0|=Vorlage:Toter Link/Core{{#if: https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf
       | {{#if:  | [3] }} (Seite {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. Suche im Internet Archive ){{#if: 
           | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}
       |   (Seite {{#switch:|no|0|=|#default=dauerhaft }}nicht mehr abrufbar{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}.)
     }}{{#switch: 
         |no|0|=
         |#default={{#if:  ||  }}
    }}{{#invoke:TemplatePar|check
         |opt      = inline= url= text= datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
    }}{{#if: https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf
      | {{#if:{{#invoke:URLutil|isWebURL|https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf}}
          || {{#if:  ||  }} 
        }}
      | {{#if: 
           | {{#if:  ||  }}
           | {{#if:  ||  }}
        }}
    }}{{#if: 
       | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
         }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}|#default= https://wiki-de.moshellshocker.dns64.de/index.php?title=Wikipedia:Defekte_Weblinks&dwl=https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf Die nachstehende Seite ist {{#switch:|no|0|=|dauerhaft }}nicht mehr abrufbar]{{#if:  | , festgestellt im {{#invoke:DateTime|format||F Y}} }}. (Suche im Internet Archive. )  {{#if: 
            | {{#if:  | | Vorlage:Toter Link/archivebot }}
         }}Vorlage:Toter Link/Core{{#switch: 
          |no|0|=
          |#default= {{#if:  ||  }}
        }}{{#invoke:TemplatePar|check
         |all      = inline= url=
         |opt      = datum= date= archivebot= bot= botlauf= fix-attempted= checked=
         |cat      = Wikipedia:Vorlagenfehler/Vorlage:Toter Link
         |errNS    = 0
         |template = Vorlage:Toter Link
         |format   = 
         |preview  = 1
       }}{{#if: https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf
       | {{#if:{{#invoke:URLutil|isWebURL|https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf}}
          || {{#if:  ||  }} 
        }}
    }}{{#if: 
         | {{#if:{{#invoke:DateTime|format||F Y|noerror=1}}
             || {{#if:  ||  }} 
           }}
    }}{{#switch: 
         |checked|deadurl|= 
         |#default=  {{#if:  ||  }}
    }}[https://sces.phys.utk.edu/~moreo/mm08/Riddi.pdf }} }}}}}}}}}}{{#if:|
        {{#invoke:Vorlage:Internetquelle|archivBot|stamp={{{archiv-bot}}}|text={{#if:|Vorlage:Webarchiv/archiv-bot}}

}}}}{{#invoke:TemplatePar|check |all= url= titel= |opt= autor= hrsg= format= sprache= titelerg= werk= seiten= datum= abruf= zugriff= abruf-verborgen= archiv-url= archiv-datum= archiv-bot= kommentar= zitat= AT= CH= offline= |cat= {{#ifeq: 0 | 0 | Wikipedia:Vorlagenfehler/Vorlage:Internetquelle}} |template= Vorlage:Internetquelle |format=0 |preview=1 }}

Einzelnachweise

<references />