All Questions
6 questions
0
votes
1
answer
222
views
How to prove that $ \sum_{k=1}^\infty \frac{\sin kx}{k^z} = \frac{1}{\Gamma(z)} \int_0^\infty \frac{t^{z-1}e^t\sin x}{1–2e^t\cos x+e^{2t}}dt? $ [closed]
I need it to show that $\displaystyle\sum_{k=1}^\infty \frac{\sin k}{k^3} = \frac{2\pi^2-3\pi+1}{12}$
1
vote
0
answers
102
views
Conjectured closed form of $\int_0^1\frac{\ln^3(1+x)\,\ln^3x}x\mathrm{d}x$
I posted this question on Math Stack Exchange, but there were no helpful comments or answers
https://math.stackexchange.com/q/4874446/1298448
How to integrate $${\displaystyle \int_0^1\frac{\ln^3(1+x)\...
1
vote
0
answers
210
views
Questions about iterating the Euler-Maclaurin summation formula
Introduction
The Euler–Maclaurin summation formula is as follows for a positive integer $p$ and a continuous function $f(\cdot)$ that is $p$ times continuously differentiable on the interval $[m,n]$ : ...
3
votes
1
answer
321
views
Bounding a series of nested integrals
Consider the following matrix function
$$
f(t) = \cos(\omega_1t) A_1 + \cos(\omega_2t) A_2, \quad t\ge 0,
$$
where $A_1$, $A_2$ are real square matrices and $\omega_1$, $\omega_2$ positive numbers.
...
3
votes
2
answers
585
views
How to integrate an exponential function of an exponential function?
Does any one know how to calculate the following integration?
$$
\int_{\mathbb{R}} \left(\exp(z \: e^{-y^2})-1\right)^2 dy=?,\quad z>0.
$$
This post is related to my previous question here , ...
3
votes
1
answer
512
views
Products of trigonometric functions with increasing frequencies
I am looking at weighted $L_2$ norms of a class of Littlewood polynomials, related to Walsh and Rademacher functions which made me look for pseudo-closed forms or computationally efficient expressions ...