Dirichlet beta-funktionen i matematik , nogle gange kaldet den catalanske beta-funktion , er en speciel funktion tæt forbundet med Riemann-zeta-funktionen . Det er et særligt tilfælde af Dirichlet L-funktionen . Det er opkaldt efter den tyske matematiker Peter Gustav Lejeune Dirichlet ( Johann Peter Gustav Lejeune Dirichlet ), og et alternativt navn - til ære for den belgiske matematiker Eugène Charles Catalan ( Eugène Charles Catalan ).
Dirichlet beta-funktionen er defineret som [1]
eller tilsvarende gennem den integrerede repræsentation
hvor Γ( s ) er Euler gamma-funktionen . I begge tilfælde antages det, at Re( s ) > 0.
En alternativ definition i form af Hurwitz zeta-funktionen er gyldig på hele det komplekse plan af variablen s :
Dirichlet betafunktionen er også relateret til Lerch transcendent funktion ( engelsk Lerch transcendent ),
Denne sammenhæng er også sand på hele det komplekse plan af variablen s [2] .
Forholdet mellem β( s ) og β(1 - s ) tillader , at Dirichlet beta-funktionen kan udvides analytisk til venstre side af det komplekse plan af variablen s (det vil sige for Re( s )<0),
hvor Γ( s ) er Euler gamma-funktionen .
Private værdier af Dirichlet beta-funktionen for heltalsværdier af argumentet inkluderer
hvor G er den catalanske konstant og er kvotienten af pentagammafunktionen ( polygammafunktioner af tredje orden).
Generelt for ethvert positivt heltal k
hvor er rækkefølgen polygamma-funktionen ( 2k-1 ), og E 2 k er Euler-tallene [3] .
For negative værdier af argumentet (for heltal ikke-negativ k ) har vi
dvs. β( s ) er lig med nul for alle ulige ulige negative værdier af argumentet (se grafen for funktionen) [2] .
s | omtrentlige værdi af β( s ) | OEIS |
---|---|---|
en | 0,7853981633974483096156608 | A003881 |
2 | 0,9159655941772190150546035 | A006752 |
3 | 0,9689461462593693804836348 | A153071 |
fire | 0,9889445517411053361084226 | A175572 |
5 | 0,9961578280770880640063194 | A175571 |
6 | 0,9986852222184381354416008 | A175570 |
7 | 0,9995545078905399094963465 | |
otte | 0,9998499902468296563380671 | |
9 | 0,9999496841872200898213589 | |
ti | 0,9999831640261968774055407 |
For nogle heltalsværdier af argumentet s kan den afledte β'( s ) beregnes analytisk [2] ,
(Se også OEIS A113847 og A078127 ).
For positive heltal n kan den afledte desuden repræsenteres som en uendelig sum [2]