Bernoulli and Euler Polynomials - 24.13 Integrals

From testwiki
Revision as of 12:03, 28 June 2021 by Admin (talk | contribs) (Admin moved page Main Page to Verifying DLMF with Maple and Mathematica)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


DLMF Formula Constraints Maple Mathematica Symbolic
Maple 		Symbolic
Mathematica 		Numeric
Maple 		Numeric
Mathematica
24.13.E2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{x}^{x+1}\BernoullipolyB{n}@{t}\diff{t} = x^{n}}
\int_{x}^{x+1}\BernoullipolyB{n}@{t}\diff{t} = x^{n}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(bernoulli(n, t), t = x..x + 1) = (x)^(n)

Integrate[BernoulliB[n, t], {t, x, x + 1}, GenerateConditions->None] == (x)^(n)
Failure Failure Successful [Tested: 3] Successful [Tested: 9]
24.13.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{x}^{x+(1/2)}\BernoullipolyB{n}@{t}\diff{t} = \frac{\EulerpolyE{n}@{2x}}{2^{n+1}}}
\int_{x}^{x+(1/2)}\BernoullipolyB{n}@{t}\diff{t} = \frac{\EulerpolyE{n}@{2x}}{2^{n+1}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(bernoulli(n, t), t = x..x +(1/2)) = (euler(n, 2*x))/((2)^(n + 1))

Integrate[BernoulliB[n, t], {t, x, x +(1/2)}, GenerateConditions->None] == Divide[EulerE[n, 2*x],(2)^(n + 1)]
Failure Failure Successful [Tested: 9] Successful [Tested: 9]
24.13.E4 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{1/2}\BernoullipolyB{n}@{t}\diff{t} = \frac{1-2^{n+1}}{2^{n}}\frac{\BernoullinumberB{n+1}}{n+1}}
\int_{0}^{1/2}\BernoullipolyB{n}@{t}\diff{t} = \frac{1-2^{n+1}}{2^{n}}\frac{\BernoullinumberB{n+1}}{n+1}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(bernoulli(n, t), t = 0..1/2) = (1 - (2)^(n + 1))/((2)^(n))*(bernoulli(n + 1))/(n + 1)

Integrate[BernoulliB[n, t], {t, 0, 1/2}, GenerateConditions->None] == Divide[1 - (2)^(n + 1),(2)^(n)]*Divide[BernoulliB[n + 1],n + 1]
Failure Failure Successful [Tested: 3] Successful [Tested: 3]
24.13.E5 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{1/4}^{3/4}\BernoullipolyB{n}@{t}\diff{t} = \frac{\EulernumberE{n}}{2^{2n+1}}}
\int_{1/4}^{3/4}\BernoullipolyB{n}@{t}\diff{t} = \frac{\EulernumberE{n}}{2^{2n+1}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(bernoulli(n, t), t = 1/4..3/4) = (euler(n))/((2)^(2*n + 1))

Integrate[BernoulliB[n, t], {t, 1/4, 3/4}, GenerateConditions->None] == Divide[EulerE[n],(2)^(2*n + 1)]
Missing Macro Error Failure - Successful [Tested: 3]
24.13.E6 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{1}\BernoullipolyB{n}@{t}\BernoullipolyB{m}@{t}\diff{t} = \frac{(-1)^{n-1}m!n!}{(m+n)!}\BernoullinumberB{m+n}}
\int_{0}^{1}\BernoullipolyB{n}@{t}\BernoullipolyB{m}@{t}\diff{t} = \frac{(-1)^{n-1}m!n!}{(m+n)!}\BernoullinumberB{m+n}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(bernoulli(n, t)*bernoulli(m, t), t = 0..1) = ((- 1)^(n - 1)* factorial(m)*factorial(n))/(factorial(m + n))*bernoulli(m + n)

Integrate[BernoulliB[n, t]*BernoulliB[m, t], {t, 0, 1}, GenerateConditions->None] == Divide[(- 1)^(n - 1)* (m)!*(n)!,(m + n)!]*BernoulliB[m + n]
Failure Failure Successful [Tested: 9] Successful [Tested: 9]
24.13.E8 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{1}\EulerpolyE{n}@{t}\diff{t} = -2\frac{\EulerpolyE{n+1}@{0}}{n+1}}
\int_{0}^{1}\EulerpolyE{n}@{t}\diff{t} = -2\frac{\EulerpolyE{n+1}@{0}}{n+1}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(euler(n, t), t = 0..1) = - 2*(euler(n + 1, 0))/(n + 1)

Integrate[EulerE[n, t], {t, 0, 1}, GenerateConditions->None] == - 2*Divide[EulerE[n + 1, 0],n + 1]
Failure Failure Successful [Tested: 3] Successful [Tested: 3]
24.13.E8 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -2\frac{\EulerpolyE{n+1}@{0}}{n+1} = \frac{4(2^{n+2}-1)}{(n+1)(n+2)}\BernoullinumberB{n+2}}
-2\frac{\EulerpolyE{n+1}@{0}}{n+1} = \frac{4(2^{n+2}-1)}{(n+1)(n+2)}\BernoullinumberB{n+2}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
- 2*(euler(n + 1, 0))/(n + 1) = (4*((2)^(n + 2)- 1))/((n + 1)*(n + 2))*bernoulli(n + 2)

- 2*Divide[EulerE[n + 1, 0],n + 1] == Divide[4*((2)^(n + 2)- 1),(n + 1)*(n + 2)]*BernoulliB[n + 2]
Failure Failure Successful [Tested: 3] Successful [Tested: 3]
24.13.E9 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{1/2}\EulerpolyE{2n}@{t}\diff{t} = -\frac{\EulerpolyE{2n+1}@{0}}{2n+1}}
\int_{0}^{1/2}\EulerpolyE{2n}@{t}\diff{t} = -\frac{\EulerpolyE{2n+1}@{0}}{2n+1}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(euler(2*n, t), t = 0..1/2) = -(euler(2*n + 1, 0))/(2*n + 1)

Integrate[EulerE[2*n, t], {t, 0, 1/2}, GenerateConditions->None] == -Divide[EulerE[2*n + 1, 0],2*n + 1]
Failure Failure Successful [Tested: 3] Successful [Tested: 3]
24.13.E9 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\frac{\EulerpolyE{2n+1}@{0}}{2n+1} = \frac{2(2^{2n+2}-1)\BernoullinumberB{2n+2}}{(2n+1)(2n+2)}}
-\frac{\EulerpolyE{2n+1}@{0}}{2n+1} = \frac{2(2^{2n+2}-1)\BernoullinumberB{2n+2}}{(2n+1)(2n+2)}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
-(euler(2*n + 1, 0))/(2*n + 1) = (2*((2)^(2*n + 2)- 1)*bernoulli(2*n + 2))/((2*n + 1)*(2*n + 2))

-Divide[EulerE[2*n + 1, 0],2*n + 1] == Divide[2*((2)^(2*n + 2)- 1)*BernoulliB[2*n + 2],(2*n + 1)*(2*n + 2)]
Failure Failure Successful [Tested: 3] Successful [Tested: 3]
24.13.E10 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{1/2}\EulerpolyE{2n-1}@{t}\diff{t} = \frac{\EulernumberE{2n}}{n2^{2n+1}}}
\int_{0}^{1/2}\EulerpolyE{2n-1}@{t}\diff{t} = \frac{\EulernumberE{2n}}{n2^{2n+1}}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(euler(2*n - 1, t), t = 0..1/2) = (euler(2*n))/(n*(2)^(2*n + 1))

Integrate[EulerE[2*n - 1, t], {t, 0, 1/2}, GenerateConditions->None] == Divide[EulerE[2*n],n*(2)^(2*n + 1)]
Missing Macro Error Failure - Skipped - Because timed out
24.13.E11 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{1}\EulerpolyE{n}@{t}\EulerpolyE{m}@{t}\diff{t} = (-1)^{n}4\frac{(2^{m+n+2}-1)m!n!}{(m+n+2)!}\BernoullinumberB{m+n+2}}
\int_{0}^{1}\EulerpolyE{n}@{t}\EulerpolyE{m}@{t}\diff{t} = (-1)^{n}4\frac{(2^{m+n+2}-1)m!n!}{(m+n+2)!}\BernoullinumberB{m+n+2}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int(euler(n, t)*euler(m, t), t = 0..1) = (- 1)^(n)* 4*(((2)^(m + n + 2)- 1)*factorial(m)*factorial(n))/(factorial(m + n + 2))*bernoulli(m + n + 2)

Integrate[EulerE[n, t]*EulerE[m, t], {t, 0, 1}, GenerateConditions->None] == (- 1)^(n)* 4*Divide[((2)^(m + n + 2)- 1)*(m)!*(n)!,(m + n + 2)!]*BernoulliB[m + n + 2]
Failure Failure Successful [Tested: 9] Successful [Tested: 9]
Retrieved from "https://lct.wmflabs.org/w/index.php?title=24.13&oldid=58442"