An integral!
- Tolaso J Kos
- Administrator
- Posts: 867
- Joined: Sat Nov 07, 2015 6:12 pm
- Location: Larisa
- Contact:
An integral!
Prove that:
$$\int_{0}^{\pi/2} \theta^2 \cot \theta \, {\rm d}\theta= \frac{\pi^2}{4}\log 2 - \frac{7}{8}\zeta(3)$$
$$\int_{0}^{\pi/2} \theta^2 \cot \theta \, {\rm d}\theta= \frac{\pi^2}{4}\log 2 - \frac{7}{8}\zeta(3)$$
Imagination is much more important than knowledge.
Re: An integral!
I like to use the relation
$$\int_{a}^{b}p(x)\cot(x)dx=2\sum_{k=1}^{\infty}\int_{a}^{b}p(x)\sin(2kx)dx$$ when doing integrals that involve the product of a polynomial and cot
There are also similar relations for csc and so forth. If this were csc instead of cot, we would use $\sin[(2k+1)x]$ instead.
In this case $p(x)=x^{2}$
So, we can say, $$2\sum_{k=1}^{\infty}\int_{0}^{\frac{\pi}{2}}x^{2}\sin(2kx)dx$$
$$=\frac{\pi^{2}}{4}\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{k}+\frac{1}{2}\sum_{k=1}^{\infty}\frac{(-1)^{k}}{k^{3}}-\frac{1}{2}\sum_{k=1}^{\infty}\frac{1}{k^{3}}$$
These sums are familiar and we have:
$$\frac{\pi^{2}}{4}\log(2)-\frac{3}{8}\zeta(3)-\frac{1}{2}\zeta(3)$$
$$\frac{\pi^{2}}{4}\log(2)-\frac{7}{8}\zeta(3)$$
$$\int_{a}^{b}p(x)\cot(x)dx=2\sum_{k=1}^{\infty}\int_{a}^{b}p(x)\sin(2kx)dx$$ when doing integrals that involve the product of a polynomial and cot
There are also similar relations for csc and so forth. If this were csc instead of cot, we would use $\sin[(2k+1)x]$ instead.
In this case $p(x)=x^{2}$
So, we can say, $$2\sum_{k=1}^{\infty}\int_{0}^{\frac{\pi}{2}}x^{2}\sin(2kx)dx$$
$$=\frac{\pi^{2}}{4}\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{k}+\frac{1}{2}\sum_{k=1}^{\infty}\frac{(-1)^{k}}{k^{3}}-\frac{1}{2}\sum_{k=1}^{\infty}\frac{1}{k^{3}}$$
These sums are familiar and we have:
$$\frac{\pi^{2}}{4}\log(2)-\frac{3}{8}\zeta(3)-\frac{1}{2}\zeta(3)$$
$$\frac{\pi^{2}}{4}\log(2)-\frac{7}{8}\zeta(3)$$
-
- Posts: 10
- Joined: Sun Sep 04, 2016 5:08 am
Re: An integral!
$$I=\int\limits_{0}^{\frac{\pi }{2}}{x^{2}\cot xdx}=\left( x^{2}\ln \sin x \right)\left| _{\left( \frac{\pi }{2},0 \right)} \right.-\int\limits_{0}^{\frac{\pi }{2}}{2x\ln \sin xdx}=\int\limits_{0}^{\frac{\pi }{2}}{2x\left( \ln 2-\ln \left( 2\sin x \right) \right)dx}$$Tolaso J Kos wrote:Prove that:
$$\int_{0}^{\pi/2} \theta^2 \cot \theta \, {\rm d}\theta= \frac{\pi^2}{4}\log 2 - \frac{7}{8}\zeta(3)$$
$$=\frac{\pi ^{2}}{4}\ln 2-\int\limits_{0}^{\frac{\pi }{2}}{2x\ln \left( 2\sin x \right)dx}=\frac{\pi ^{2}}{4}\ln 2-\int\limits_{0}^{\frac{\pi }{2}}{2x\sum\limits_{n=1}^{+\infty }{\frac{\cos 2nx}{n}dx}}=\frac{\pi ^{2}}{4}\ln 2-\sum\limits_{n=1}^{+\infty }{\frac{1}{n}\int\limits_{0}^{\frac{\pi }{2}}{2x\cos 2nxdx}}$$
$$=\frac{\pi ^{2}}{4}\ln 2-\sum\limits_{n=0}^{+\infty }{\frac{1}{\left( 2n+1 \right)^{3}}}=\frac{\pi ^{2}}{4}\ln 2-\frac{7}{8}\zeta \left( 3 \right)$$
Regards
Civil Engineer
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 14 guests