Zeta and Related Functions - 25.8 Sums

From testwiki
Jump to navigation Jump to search


DLMF Formula Constraints Maple Mathematica Symbolic
Maple 		Symbolic
Mathematica 		Numeric
Maple 		Numeric
Mathematica
25.8.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=2}^{\infty}\left(\Riemannzeta@{k}-1\right) = 1}
\sum_{k=2}^{\infty}\left(\Riemannzeta@{k}-1\right) = 1		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
sum(Zeta(k)- 1, k = 2..infinity) = 1

Sum[Zeta[k]- 1, {k, 2, Infinity}, GenerateConditions->None] == 1
Failure Successful Successful [Tested: 0] Successful [Tested: 1]
25.8.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=0}^{\infty}\frac{\EulerGamma@{s+k}}{(k+1)!}\left(\Riemannzeta@{s+k}-1\right) = \EulerGamma@{s-1}}
\sum_{k=0}^{\infty}\frac{\EulerGamma@{s+k}}{(k+1)!}\left(\Riemannzeta@{s+k}-1\right) = \EulerGamma@{s-1}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(s+k)} > 0, \realpart@@{(s-1)} > 0} 
sum((GAMMA(s + k))/(factorial(k + 1))*(Zeta(s + k)- 1), k = 0..infinity) = GAMMA(s - 1)

Sum[Divide[Gamma[s + k],(k + 1)!]*(Zeta[s + k]- 1), {k, 0, Infinity}, GenerateConditions->None] == Gamma[s - 1]
Failure Aborted Successful [Tested: 1] Skipped - Because timed out
25.8.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=0}^{\infty}\frac{\Pochhammersym{s}{k}\Riemannzeta@{s+k}}{k!2^{s+k}} = (1-2^{-s})\Riemannzeta@{s}}
\sum_{k=0}^{\infty}\frac{\Pochhammersym{s}{k}\Riemannzeta@{s+k}}{k!2^{s+k}} = (1-2^{-s})\Riemannzeta@{s}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle s \neq 1} 
sum((pochhammer(s, k)*Zeta(s + k))/(factorial(k)*(2)^(s + k)), k = 0..infinity) = (1 - (2)^(- s))*Zeta(s)

Sum[Divide[Pochhammer[s, k]*Zeta[s + k],(k)!*(2)^(s + k)], {k, 0, Infinity}, GenerateConditions->None] == (1 - (2)^(- s))*Zeta[s]
Failure Successful
Failed [1 / 6]
Result: -.1666666667
Test Values: {s = -2}

Successful [Tested: 6]
25.8.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=1}^{\infty}\frac{(-1)^{k}}{k}(\Riemannzeta@{nk}-1) = \ln@{\prod_{j=0}^{n-1}\EulerGamma@{2-e^{(2j+1)\pi i/n}}}}
\sum_{k=1}^{\infty}\frac{(-1)^{k}}{k}(\Riemannzeta@{nk}-1) = \ln@{\prod_{j=0}^{n-1}\EulerGamma@{2-e^{(2j+1)\pi i/n}}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
sum(((- 1)^(k))/(k)*(Zeta(n*k)- 1), k = 1..infinity) = ln(product(GAMMA(2 - exp((2*j + 1)*Pi*I/n)), j = 0..n - 1))

Sum[Divide[(- 1)^(k),k]*(Zeta[n*k]- 1), {k, 1, Infinity}, GenerateConditions->None] == Log[Product[Gamma[2 - Exp[(2*j + 1)*Pi*I/n]], {j, 0, n - 1}, GenerateConditions->None]]
Failure Failure Successful [Tested: 1]
Failed [1 / 3]
Result: Plus[-0.6931471805599453, NSum[Times[Power[-1, k], Power[k, -1], Plus[-1, Zeta[k]]]
Test Values: {k, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[n, 1]}

25.8.E5 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=2}^{\infty}\Riemannzeta@{k}z^{k} = -\EulerConstant z-z\digamma@{1-z}}
\sum_{k=2}^{\infty}\Riemannzeta@{k}z^{k} = -\EulerConstant z-z\digamma@{1-z}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |z| < 1} 
sum(Zeta(k)*(z)^(k), k = 2..infinity) = - gamma*z - z*Psi(1 - z)

Sum[Zeta[k]*(z)^(k), {k, 2, Infinity}, GenerateConditions->None] == - EulerGamma*z - z*PolyGamma[1 - z]
Failure Successful Successful [Tested: 1] Successful [Tested: 1]
25.8.E6 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=0}^{\infty}\Riemannzeta@{2k}z^{2k} = -\tfrac{1}{2}\pi z\cot@{\pi z}}
\sum_{k=0}^{\infty}\Riemannzeta@{2k}z^{2k} = -\tfrac{1}{2}\pi z\cot@{\pi z}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |z| < 1} 
sum(Zeta(2*k)*(z)^(2*k), k = 0..infinity) = -(1)/(2)*Pi*z*cot(Pi*z)

Sum[Zeta[2*k]*(z)^(2*k), {k, 0, Infinity}, GenerateConditions->None] == -Divide[1,2]*Pi*z*Cot[Pi*z]
Failure Failure Error
Failed [1 / 1]
Result: Plus[4.8091767343044744*^-17, NSum[Times[Power[0.5, Times[2, k]], Zeta[Times[2, k]]]
Test Values: {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {Rule[z, 0.5]}

25.8.E7 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=2}^{\infty}\frac{\Riemannzeta@{k}}{k}z^{k} = -\EulerConstant z+\ln@@{\EulerGamma@{1-z}}}
\sum_{k=2}^{\infty}\frac{\Riemannzeta@{k}}{k}z^{k} = -\EulerConstant z+\ln@@{\EulerGamma@{1-z}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |z| < 1, \realpart@@{(1-z)} > 0} 
sum((Zeta(k))/(k)*(z)^(k), k = 2..infinity) = - gamma*z + ln(GAMMA(1 - z))

Sum[Divide[Zeta[k],k]*(z)^(k), {k, 2, Infinity}, GenerateConditions->None] == - EulerGamma*z + Log[Gamma[1 - z]]
Failure Successful Successful [Tested: 1] Successful [Tested: 1]
25.8.E8 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=1}^{\infty}\frac{\Riemannzeta@{2k}}{k}z^{2k} = \ln@{\frac{\pi z}{\sin@{\pi z}}}}
\sum_{k=1}^{\infty}\frac{\Riemannzeta@{2k}}{k}z^{2k} = \ln@{\frac{\pi z}{\sin@{\pi z}}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle |z| < 1} 
sum((Zeta(2*k))/(k)*(z)^(2*k), k = 1..infinity) = ln((Pi*z)/(sin(Pi*z)))

Sum[Divide[Zeta[2*k],k]*(z)^(2*k), {k, 1, Infinity}, GenerateConditions->None] == Log[Divide[Pi*z,Sin[Pi*z]]]
Failure Successful Successful [Tested: 1] Successful [Tested: 1]
25.8.E9 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=1}^{\infty}\frac{\Riemannzeta@{2k}}{(2k+1)2^{2k}} = \frac{1}{2}-\frac{1}{2}\ln@@{2}}
\sum_{k=1}^{\infty}\frac{\Riemannzeta@{2k}}{(2k+1)2^{2k}} = \frac{1}{2}-\frac{1}{2}\ln@@{2}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
sum((Zeta(2*k))/((2*k + 1)*(2)^(2*k)), k = 1..infinity) = (1)/(2)-(1)/(2)*ln(2)

Sum[Divide[Zeta[2*k],(2*k + 1)*(2)^(2*k)], {k, 1, Infinity}, GenerateConditions->None] == Divide[1,2]-Divide[1,2]*Log[2]
Failure Successful Successful [Tested: 0] Successful [Tested: 1]
25.8.E10 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=1}^{\infty}\frac{\Riemannzeta@{2k}}{(2k+1)(2k+2)2^{2k}} = \frac{1}{4}-\frac{7}{4\pi^{2}}\Riemannzeta@{3}}
\sum_{k=1}^{\infty}\frac{\Riemannzeta@{2k}}{(2k+1)(2k+2)2^{2k}} = \frac{1}{4}-\frac{7}{4\pi^{2}}\Riemannzeta@{3}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
sum((Zeta(2*k))/((2*k + 1)*(2*k + 2)*(2)^(2*k)), k = 1..infinity) = (1)/(4)-(7)/(4*(Pi)^(2))*Zeta(3)

Sum[Divide[Zeta[2*k],(2*k + 1)*(2*k + 2)*(2)^(2*k)], {k, 1, Infinity}, GenerateConditions->None] == Divide[1,4]-Divide[7,4*(Pi)^(2)]*Zeta[3]
Failure Successful Successful [Tested: 0] Successful [Tested: 1]
Retrieved from "https://lct.wmflabs.org/w/index.php?title=25.8&oldid=58452"