Catalans konstant

Catalans konstant är en matematisk konstant som definieras som

G = β ( 2 ) = n = 0 ( 1 ) n ( 2 n + 1 ) 2 = 1 1 2 1 3 2 + 1 5 2 1 7 2 + {\displaystyle G=\beta (2)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)^{2}}}={\frac {1}{1^{2}}}-{\frac {1}{3^{2}}}+{\frac {1}{5^{2}}}-{\frac {1}{7^{2}}}+\cdots \!}

där β är Dirichlets betafunktion.

Dess approximativa värde är

G = 0.915 965 594 177 219 015 054 603 514 932 384 110 774 …

Catalans konstant är uppkallad efter Eugène Charles Catalan.

Integralrepresentationer

Catalans konstant har ett flertal integralrepresentationer:

G = 0 1 0 1 1 1 + x 2 y 2 d x d y {\displaystyle G=\int _{0}^{1}\int _{0}^{1}{\frac {1}{1+x^{2}y^{2}}}\,dx\,dy\!}
G = 0 1 ln t 1 + t 2 d t {\displaystyle G=-\int _{0}^{1}{\frac {\ln t}{1+t^{2}}}\,dt\!}
G = 0 π / 4 t sin t cos t d t {\displaystyle G=\int _{0}^{\pi /4}{\frac {t}{\sin t\cos t}}\;dt\!}
G = 1 4 π / 2 π / 2 t sin t d t {\displaystyle G={\frac {1}{4}}\int _{-\pi /2}^{\pi /2}{\frac {t}{\sin t}}\;dt\!}
G = 0 π / 4 ln ( cot ( t ) ) d t {\displaystyle G=\int _{0}^{\pi /4}\ln(\cot(t))\,dt\!}
G = 1 2 0 t cosh t d t {\displaystyle G={\tfrac {1}{2}}\int _{0}^{\infty }{\frac {t}{\cosh t}}\,dt\;}
G = 0 arctan ( e t ) d t {\displaystyle G=\int _{0}^{\infty }\arctan(e^{-t})\,dt\!}
G = 0 1 arctan t t d t . {\displaystyle G=\int _{0}^{1}{\frac {\arctan t}{t}}\,dt.\!}
G = 1 2 0 1 K ( t ) d t {\displaystyle G={\frac {1}{2}}\int _{0}^{1}\mathrm {K} (t)\,dt\!}

där K(t) är en fullständig elliptisk integral.

Oändliga serier

Catalans konstant har även ett flertal representationer som en oändlig serie:

G = 1 16 n = 1 ( n + 1 ) 3 n 1 4 n ζ ( n + 2 )   {\displaystyle G={\frac {1}{16}}\sum _{n=1}^{\infty }(n+1){\frac {3^{n}-1}{4^{n}}}\zeta (n+2)\ }


G = 1 64 n = 1 ( 1 ) n + 1 2 8 n ( 40 n 2 24 n + 3 ) ( 2 n ) ! 3 n ! 2 n 3 ( 2 n 1 ) ( 4 n ) ! 2   {\displaystyle G={\frac {1}{64}}\sum _{n=1}^{\infty }{\frac {(-1)^{n+1}\cdot 2^{8n}\cdot (40n^{2}-24n+3)\cdot (2n)!^{3}\cdot n!^{2}}{n^{3}\cdot (2n-1)\cdot (4n)!^{2}}}\ }


G = 3 n = 0 1 2 4 n ( 1 2 ( 8 n + 2 ) 2 + 1 2 2 ( 8 n + 3 ) 2 1 2 3 ( 8 n + 5 ) 2 + 1 2 3 ( 8 n + 6 ) 2 1 2 4 ( 8 n + 7 ) 2 + 1 2 ( 8 n + 1 ) 2 ) 2 n = 0 1 2 12 n ( 1 2 4 ( 8 n + 2 ) 2 + 1 2 6 ( 8 n + 3 ) 2 1 2 9 ( 8 n + 5 ) 2 1 2 10 ( 8 n + 6 ) 2 1 2 12 ( 8 n + 7 ) 2 + 1 2 3 ( 8 n + 1 ) 2 ) . {\displaystyle {\begin{aligned}G&=3\sum _{n=0}^{\infty }{\frac {1}{2^{4n}}}\left(-{\frac {1}{2(8n+2)^{2}}}+{\frac {1}{2^{2}(8n+3)^{2}}}-{\frac {1}{2^{3}(8n+5)^{2}}}+{\frac {1}{2^{3}(8n+6)^{2}}}-{\frac {1}{2^{4}(8n+7)^{2}}}+{\frac {1}{2(8n+1)^{2}}}\right)\\&{}\quad -2\sum _{n=0}^{\infty }{\frac {1}{2^{12n}}}\left({\frac {1}{2^{4}(8n+2)^{2}}}+{\frac {1}{2^{6}(8n+3)^{2}}}-{\frac {1}{2^{9}(8n+5)^{2}}}-{\frac {1}{2^{10}(8n+6)^{2}}}-{\frac {1}{2^{12}(8n+7)^{2}}}+{\frac {1}{2^{3}(8n+1)^{2}}}\right)\end{aligned}}.}

och

G = 1 8 π log ( 2 + 3 ) + 3 8 n = 0 ( n ! ) 2 ( 2 n ) ! ( 2 n + 1 ) 2 . {\displaystyle G={\tfrac {1}{8}}\pi \log(2+{\sqrt {3}})+{\tfrac {3}{8}}\sum _{n=0}^{\infty }{\frac {(n!)^{2}}{(2n)!(2n+1)^{2}}}.}

Relation till speciella funktioner

Catalans konstant förekommer i speciella värden av trigammafunktionen:

ψ 1 ( 1 4 ) = π 2 + 8 G {\displaystyle \psi _{1}\left({\tfrac {1}{4}}\right)=\pi ^{2}+8G}
ψ 1 ( 3 4 ) = π 2 8 G . {\displaystyle \psi _{1}\left({\tfrac {3}{4}}\right)=\pi ^{2}-8G.}

Förutom polygammafunktionerna är den är nära relaterad Clausens funktion, inversa tangensintegralen, inversa sinusintegralen, Barnes G-funktion samt serier och integraler relaterade till de ovannämnda funktionerna.

Bland annat gäller följande relation mellan Bernes G-funktion och gammafunktionen:

G = 4 π log ( G ( 3 8 ) G ( 7 8 ) G ( 1 8 ) G ( 5 8 ) ) + 4 π log ( Γ ( 3 8 ) Γ ( 1 8 ) ) + π 2 log ( 1 + 2 2 ( 2 2 ) ) . {\displaystyle G=4\pi \log \left({\frac {G({\tfrac {3}{8}})G({\tfrac {7}{8}})}{G({\tfrac {1}{8}})G({\tfrac {5}{8}})}}\right)+4\pi \log \left({\frac {\Gamma ({\tfrac {3}{8}})}{\Gamma ({\tfrac {1}{8}})}}\right)+{\frac {\pi }{2}}\log \left({\frac {1+{\sqrt {2}}}{2\,(2-{\sqrt {2}})}}\right).}

Catalans konstant är även relaterad till Lerchs transcendent enligt

G = 1 4 Φ ( 1 , 2 , 1 2 ) . {\displaystyle G={\tfrac {1}{4}}\,\Phi (-1,2,{\tfrac {1}{2}}).}

Referenser

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Catalan's constant, 1 november 2013.
Den här artikeln är helt eller delvis baserad på material från tyskspråkiga Wikipedia, Catalansche Konstante, 1 november 2013.