Usando la fórmula de duplicación de Legendre,Γ ( z) Γ ( z+ 1 / 2 ) =21 − 2z _π1 / 2Γ ( 2 z)
, tu suma
π2+π−−√2∑norte = 1∞( − porqueβ)norteΓ (norte2+12)Γ (norte2+ 1 )
se puede reescribir
π2+π−−√2∑norte = 1∞( − porqueβ)norte21 - norteπ1 / 2Γ ( norte )Γ ( n / 2 )2norte Γ ( n / 2 )=π2+ 2 pi∑norte = 1∞Xnorte( norte - 1 ) !norteΓ2( n / 2 ).
dónde
x = − 1 / 2 porqueβ
. dividir en
norte
par/impar y aplicar la fórmula de duplicación de nuevo da,
π2+ ( 2 π∑norte = 1∞X2 norte( 2 norte - 1 ) !2 norte ( norte - 1 )!2) + ( 2 x +18∑norte = 1∞( 4x _)2 norte + 1( 2 n ) !( 2 norte + 1 )( norte - 1 )!2( 2 norte - 1 )!2) .
Los coeficientes de potencias de
X
en la mano izquierda la suma parece ser
A00170 y las de la derecha,
1 / norte
múltiplos de recíprocos de Apéry números
A005430 , por lo que tenemos
π2+ 2 x + π∑norte = 1∞(2 norte - 1norte - 1)X2 norte+∑norte = 1∞1( norte + 1 ) (2 norte + 2norte + 1)( 4x _)2 norte + 1.
Mathematica no tiene problema en evaluar estas sumas para obtener
π−porque− 1( 2x ) _1 - 4X2−−−−−−√=βpecadoβ,
para
β∈ ( 0 , π)
. Consulte
este enlace de Sumas binomiales para ver sumas muy similares a las de aquí.
Puede que esto no sea tan elegante como usted está buscando (la evaluación de las sumas puede no considerarse elegante), pero le dediqué un tiempo, así que pensé en mostrarlo de todos modos.
Aatmaj
fbs147