Раздел IV. Определённый интеграл — § 2. Вычисление определённых интегралов с помощью неопределённых

Демидович — задача 2294

Б. П. Демидович, «Сборник задач и упражнений по математическому анализу». Условие, подробное решение и ответ.

Пользуясь формулами Эйлера:

Задача 2294

∫0πsin⁡nxsin⁡nx dx\displaystyle\int_0^\pi\sin^nx\sin nx\,dx.
Ответ:∫0πsin⁡nxsin⁡nx dx={0,n чётное(−1)n−12π2n,n нечётное,n∈N\int_0^\pi\sin^nx\sin nx\,dx
=\begin{cases}
0,&n\text{ чётное}\\[4pt]
(-1)^{\frac{n-1}{2}}\dfrac\pi{2^n},&n\text{ нечётное}
\end{cases},
\qquad n\in\mathbb N

Решение

Обозначим искомый интеграл через II. При раскрытии степени используем коэффициенты бинома(nk)=n!k!(n−k)!,k=0,1,…,n\binom nk=\dfrac{n!}{k!(n-k)!},\qquad k=0,1,\ldots,nПрименим формулы Эйлера к обоим синусам:sin⁡nx=1(2i)n∑k=0n(−1)k(nk)ei(n−2k)xsin⁡nx=einx−e−inx2i\begin{aligned}
\sin^nx&=\dfrac1{(2i)^n}\sum_{k=0}^{n}(-1)^k\binom nk e^{i(n-2k)x}\\
\sin nx&=\dfrac{e^{inx}-e^{-inx}}{2i}
\end{aligned}
Первое равенство получено раскрытием (eix−e−ix)n(e^{ix}-e^{-ix})^n по биному. При выборе kk множителей −e−ix-e^{-ix} и n−kn-k множителей eixe^{ix} возникает знак (−1)k(-1)^k, а показатели экспонент складываются:(eix)n−k(−e−ix)k=(−1)kei(n−2k)x(e^{ix})^{n-k}(-e^{-ix})^k=(-1)^k e^{i(n-2k)x}Число одинаковых слагаемых равно (nk)\binom nk. Умножая найденную сумму на формулу для sin⁡nx\sin nx, получаемsin⁡nxsin⁡nx=1(2i)n+1∑k=0n(−1)k(nk)(e2i(n−k)x−e−2ikx)\sin^nx\sin nx
=\dfrac1{(2i)^{n+1}}\sum_{k=0}^{n}(-1)^k\binom nk
\left(e^{2i(n-k)x}-e^{-2ikx}\right)
Все ненулевые частоты имеют вид 2j2j с целым j≠0j\ne0, и∫0πe2ijx dx=[e2ijx2ij]0π=0\int_0^\pi e^{2ijx}\,dx
=\left[\dfrac{e^{2ijx}}{2ij}\right]_0^\pi=0
В первой экспоненте постоянное слагаемое возникает при k=nk=n с коэффициентом (−1)n(-1)^n. Во второй оно возникает при k=0k=0 с коэффициентом −1-1, поскольку перед ней стоит минус. Значит,I=π((−1)n−1)(2i)n+1I=\dfrac{\pi\bigl((-1)^n-1\bigr)}{(2i)^{n+1}}Если nn чётно, числитель равен нулю.

Если n=2r+1n=2r+1 нечётно, то in+1=i2r+2=(−1)r+1i^{n+1}=i^{2r+2}=(-1)^{r+1} иI=−2π2n+1(−1)r+1=(−1)rπ2nI=\dfrac{-2\pi}{2^{n+1}(-1)^{r+1}}
=(-1)^r\dfrac\pi{2^n}
Хотя вычисление проведено с комплексными экспонентами, итог в обоих случаях действительный, как и исходный интеграл.
Демидович № 2294 — решение и ответ | Высшая математика — Профиматика