평가 방법 $\int_0^{\pi/2} x\ln^2(\sin x)\textrm{d}x$ 다른 방법으로?
다음 문제
$$\int_0^{\pi/2} x\ln^2(\sin x)\textrm{d}x=\frac{1}{2}\ln^2(2)\zeta(2)-\frac{19}{32}\zeta(4)+\frac{1}{24}\ln^4(2)+\operatorname{Li}_4\left(\frac{1}{2}\right)\tag1$$
이 솔루션 에서 이미 해결되었습니다 .
여기서 문제 는 증명하는 방법입니다.$(1)$ 푸리에 시리즈를 활용하여
$$\tan x\ln(\sin x)=-\sum_{n=1}^\infty\left(\psi\left(\frac{n+1}{2}\right)-\psi\left(\frac{n}{2}\right)-\frac1n\right)\sin(2nx)$$
$$=-\sum_{n=1}^\infty\left(\int_0^1\frac{1-t}{1+t}t^{n-1}dt\right)\sin(2nx),\quad 0<x<\frac{\pi}{2}$$
integrand를 만들기 위해 어떤 종류의 영리한 조작이 필요한지 궁금합니다. $(1)$. 나는 그것이 놀라운 해결책이 될 것이라고 확신합니다.
미리 감사드립니다.
이 푸리에 시리즈는 Almost Impossible Integrals, Sums and series , page 에서 찾을 수 있습니다 .$243$, Eq$(3.281)$.
답변
에서 여기에 우리가 있습니다
$$\frac23\arcsin^4x=\sum_{n=1}^\infty\frac{H_{n-1}^{(2)}(2x)^{2n}}{n^2{2n\choose n}}=\sum_{n=1}^\infty\frac{H_{n}^{(2)}(2x)^{2n}}{n^2{2n\choose n}}-\sum_{n=1}^\infty\frac{(2x)^{2n}}{n^4{2n\choose n}}$$
세트 $x=1$ 우리는 얻는다
$$\sum_{n=1}^\infty\frac{4^n}{n^4{2n\choose n}}=\sum_{n=1}^\infty\frac{4^nH_{n}^{(2)}}{n^2{2n\choose n}}-\frac{15}{4}\zeta(4)\tag1$$
에서 이 질문에 우리는 보여 주었다$$\sum_{n=1}^\infty\frac{4^nH_n}{n^3{2n\choose n}}=-\sum_{n=1}^\infty\frac{4^nH_n^{(2)}}{n^2{2n\choose n}}+12\ln^2(2)\zeta(2)\tag2$$
첨가 $(1)$ 과 $(2)$ 수확량
$$\sum_{n=1}^\infty\frac{4^n}{n^4{2n\choose n}}=12\ln^2(2)\zeta(2)-\frac{15}{4}\zeta(4)-\sum_{n=1}^\infty\frac{4^nH_n}{n^3{2n\choose n}}$$
푸리에 시리즈를 사용하여 $\tan x\ln(\sin x)$, 우리는 이 솔루션 에서 보여주었습니다 .
$$\sum_{n=1}^\infty\frac{4^nH_n}{n^3{2n\choose n}}=-8\text{Li}_4\left(\frac12\right)+\zeta(4)+8\ln^2(2)\zeta(2)-\frac{1}{3}\ln^4(2)$$
이 결과를 우리가 얻는 대체
$$\sum_{n=1}^\infty\frac{4^n}{n^4{2n\choose n}}=8\text{Li}_4\left(\frac12\right)-\frac{19}{4}\zeta(4)+4\ln^2(2)\zeta(2)+\frac{1}{3}\ln^4(2)\tag3$$
이제 우리는 잘 알려진 시리즈 확장을 사용합니다. $\arcsin^2 x$:
$$\arcsin^2(x)=\frac12\sum_{n=1}^\infty\frac{4^n x^{2n}}{n^2{2n\choose n}}$$
양쪽에 곱하십시오 $-\frac{\ln x}{x}$ 그때 $\int_0^1$ 그리고 그것을 사용하십시오 $-\int_0^1 x^{2n-1}\ln xdx=\frac{1}{4n^2}$ 우리는 얻는다
$$\frac18\sum_{n=1}^\infty\frac{4^n}{n^4{2n\choose n}}=-\int_0^1\frac{\ln x\arcsin^2(x)}{x}dx$$
$$\overset{IBP}{=}\int_0^1\frac{\ln^2x\arcsin(x)}{\sqrt{1-x^2}}dx\overset{x=\sin\theta}{=}\int_0^{\pi/2}x\ln^2(\sin x)dx\tag4$$
에서 $(3)$ 과 $(4)$ 우리는 얻는다
$$\int_0^{\pi/2} x\ln^2(\sin x)dx=\frac{1}{2}\ln^2(2)\zeta(2)-\frac{19}{32}\zeta(4)+\frac{1}{24}\ln^4(2)+\operatorname{Li}_4\left(\frac{1}{2}\right)$$
이 적분을 해결하려면 윤곽 적분을 사용하여 증명할 수있는 다음 적분을 사용하십시오.
$$\int_{0}^{\frac π 2}(\cos^{p-1}x )\cos(ax)dx=\frac{π}{2^p}\frac{\Gamma(p)}{\Gamma(\frac {p+a+1}{2})\Gamma(\frac {p-a+1}{2})}$$
에 대한 차별화 $a$, 우리는
$$\int_{0}^{\frac π 2}x(\cos^{p-1}x )\sin(ax)dx=\frac{π}{2^p}\Gamma(p)\frac{\psi(\frac {p+a+1}{2})-\psi(\frac {p-a+1}{2})}{\Gamma(\frac {p+a+1}{2})\Gamma(\frac {p-a+1}{2})}$$
어디 $p>0$ 과 $ -(p+1)<a<(p+1)$ 과 $\Gamma(x)$ 과 $\psi(x)$ 감마 및 디 감마 함수입니다. $p_1=(\frac {p+a+1}{2})$ 과 $p_2=(\frac {p-a+1}{2})$. 위의 방정식을 미분.
$$\frac{\partial }{\partial a}I(a,p)=\frac{π}{2^{p+1}}\frac{\Gamma(p)}{\Gamma(p_1)\Gamma(p_2)}[-(\psi(p_1)-\psi(p_2))^2+\psi'(p_1)+\psi'(p_2)]$$$$=\int_{0}^{\frac π 2}x^2(cos^{p-1}x )\cos(ax)dx$$
퍼팅에 $a=0$, 우리는
$$J_p=\int_{0}^{\frac π 2}x^2(\cos^{p-1}x )dx=\frac{π}{2^{p+1}}\frac{\Gamma(p)}{\Gamma^2(\frac{p+1}{2})}\psi'(\frac{p+1}{2})$$
매개 변수와 관련하여 다시 차별화 $p$ , 우리는 얻는다
$$\frac d {dp}J_p=\int_{0}^{\frac π 2}x^2(\cos^{p-1}x)\log(\cos x)dx=\frac{π}{2^{p+1}}\frac{\Gamma(p)}{\Gamma^2(\frac{p+1}{2})}\psi'(\frac{p+1}{2})[-\log2+\psi(p)-\psi(\frac{p+1}{2})+\frac {\psi''(\frac{p+1}{2})}{\psi'(\frac{p+1}{2})}$$
위의 적분으로부터 우리는 $p=1$.
$$\int_{0}^{\frac π 2}x^2\log(\cos x)dx=\frac{π^3}{24}[-\log2+\frac{\psi''(1)}{\psi'(1)}]=-\frac{π^3}{24}\log2-\fracπ2 \zeta(3)$$
지금, $$J''_p=\int_{0}^{\frac π 2}x^2(\cos^{p-1}x)\log^2(\cos x)dx=\frac{π}{2^{p+1}}\frac{\Gamma(p)}{\Gamma^2(\frac{p+1}{2})}\psi'(\frac{p+1}{2}) \left ( \left ( [-\log2+\psi(p)-\psi(\frac{p+1}{2})+\frac {\psi''(\frac{p+1}{2})}{\psi'(\frac{p+1}{2})} \right )^2+\psi'(p)-\frac12\psi'(\frac{p+1}{2})+\frac12\frac d {dp}\frac {\psi''(\frac{p+1}{2})}{\psi'(\frac{p+1}{2})} \right ) $$
하자 $p=1$ , 우리는 얻는다
$$\int_{0}^{\fracπ2}x^2\log^2(\cos x)dx=\fracπ {1440}[11π^4+60π^2\log^2 2+720\zeta(3)\log2]$$
이제 위의 모든 적분을 사용하여 원하는 적분을 얻을 수 있지만 이것은 다대수를 생성하는 다른 적분과 $ \zeta(3)$ 취소됩니다.
다음은 로그 사인 적분의 일부 일반화입니다.
$$\int_0^zx^m\log\left(2\sin\frac{x}{2}\right)\mathrm{d}x=\frac{z^{m+1}}{m+1}\log\left(2\sin\frac{z}{2}\right)-\frac{z^{m+1}}{(m+1)^2}+\frac{2z^{m+1}}{m+1}\sum_{k=1}^{\infty}\frac{\zeta(2k)}{m+2k+1}\left(\frac{z}{2\pi}\right)^{2k} \;\;\;\;\; (|z|<2\pi;m\in\mathbb{N}).$$
$$\int_0^{2\pi}\left(2\sin\frac12 \theta\right)^{\lambda}e^{i\nu\theta}\mathrm{d}\theta=2\pi e^{i\nu\pi}\frac{\Gamma(1+\lambda)}{\Gamma(1+\frac12\lambda+\nu)\Gamma(1+\frac12\lambda-\nu)}.$$
$$2^p\int_0^\pi x^n\log^p(\sin (x))\mathrm{d}x=\pi^n\left(\frac{\pi}{n+1}\frac{\mathrm{d}^p}{\mathrm{d}m^p}\left(\left.\frac{\binom{2m}{m}}{4^m}\right)\right|_{m=0}-\sum_{k=1}^{\infty}\frac{\partial^p}{\partial m^p}\left(\left.\frac{\binom{2m}{m+k}}{4^m}\right)\right|_{m=0}\sum_{j=1}^{\lfloor\frac{n}{2}\rfloor}\frac{n!(-1)^{j+k}}{(n+1-2j)!(2\pi)^{2j-1}k^{2j}}\right).$$
$$\frac{1}{2\pi}\int_0^{2\pi}\left[\log\left(2\sin \frac{x}{2}\right)\right]^n\mathrm{d}x=\frac{(-1)^nn!}{2}a_n\ \ \ \ \ (n\in N_0)\\[2ex] \text{coefficients $a_n$ are given by:}\\[2ex] \frac{2^{-2z}\Gamma\left(\frac12-z\right)}{\sqrt{\pi}\ \Gamma(1-z)}=\sum_{n=0}^{\infty}a_nz^n$$
일부 일반화. 즐겨!
$\small \int_0^{\frac{\pi }{2}} x^3 \log ^2(2 \sin (x)) \, dx=-\frac{3}{4}\zeta(\bar 5,1)+\frac{3}{4} \pi ^2 \text{Li}_4\left(\frac{1}{2}\right)-\frac{3 \zeta (3)^2}{8}+\frac{21}{32} \pi ^2 \zeta (3) \log (2)-\frac{187 \pi ^6}{26880}+\frac{1}{32} \pi ^2 \log ^4(2)-\frac{1}{32} \pi ^4 \log ^2(2)$
$\small \int_0^{\frac{\pi }{2}} x^3 \log^3 (2 \sin (x)) \, dx=\frac{9}{4} \zeta(\bar5,1,1)+\frac{9}{4} \pi ^2 \text{Li}_5\left(\frac{1}{2}\right)+\frac{9}{4} \pi ^2 \text{Li}_4\left(\frac{1}{2}\right) \log (2)-\frac{\pi ^4 \zeta (3)}{16}-\frac{759 \pi ^2 \zeta (5)}{512}-\frac{45 \zeta (7)}{512}+\frac{63}{64} \pi ^2 \zeta (3) \log ^2(2)+\frac{3}{40} \pi ^2 \log ^5(2)-\frac{1}{16} \pi ^4 \log ^3(2)$
$\scriptsize \int_0^{\frac{\pi }{2}} x^4 \log ^4(2 \sin (x)) \, dx=-\frac{7}{4} \pi ^3 \zeta(\bar5,1)-15 \pi \zeta(\bar7,1)-6 \pi \zeta(\bar5,1,\bar1,1)+9 \pi \log ^2(2)\zeta(\bar5,1)+18 \pi \log (2) \zeta(\bar5,1,1)-24 \pi \text{Li}_5\left(\frac{1}{2}\right) \zeta (3)-\frac{1}{6} \pi ^5 \text{Li}_4\left(\frac{1}{2}\right)+6 \pi ^3 \text{Li}_6\left(\frac{1}{2}\right)+3 \pi ^3 \text{Li}_4\left(\frac{1}{2}\right) \log ^2(2)+6 \pi ^3 \text{Li}_5\left(\frac{1}{2}\right) \log (2)+\frac{3 \pi ^3 \zeta (3)^2}{8}+\frac{2835 \pi \zeta (3) \zeta (5)}{64}+\frac{1}{5} \pi \zeta (3) \log ^5(2)+\frac{13}{24} \pi ^3 \zeta (3) \log ^3(2)-\frac{31}{8} \pi \zeta (5) \log ^3(2)+\frac{9}{2} \pi \zeta (3)^2 \log ^2(2)-\frac{8}{15} \pi ^5 \zeta (3) \log (2)-\frac{65}{32} \pi ^3 \zeta (5) \log (2)+\frac{465}{16} \pi \zeta (7) \log (2)-\frac{36493 \pi ^9}{4838400}+\frac{1}{12} \pi ^3 \log ^6(2)-\frac{5}{72} \pi ^5 \log ^4(2)+\frac{25 \pi ^7 \log ^2(2)}{1008}$