223
правки
Изменения
Нет описания правки
Разобьем интеграл на две части, <tex> \int\limits_{0}^{\frac{\pi}{2}} = \int\limits_{0}^{\frac{\pi}{2n+1}} + \int\limits_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} </tex>:
<tex> \int\limits_{0}^{\frac{\pi}{2n+1}} \frac {|\sin (2n+ 1)t|}{t} dt \le \int\limits_{0}^{\frac{\pi}{2n+1}} \frac {(2n + 1) |\sin t|}{t} dt \le \int\limits_{0}^{\frac{\pi}{2n+1}} \frac {(2n+1) t}{t} dt \le \int\limits_{0}^{\frac{\pi}{2n+1}} (2n+1) dt</tex> <tex> \le const </tex>.
Оценка сверху: <tex> \int\limits_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} \frac {|\sin (2n+ 1)t|}{t} dt \le \int\limits_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} \frac {1}{t} dt = \ln t \bigg|_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} \sim \ln n </tex>.
Оценка снизу: <tex> \int\limits_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} \frac {|\sin (2n+ 1)t|}{t} dt \ge \int\limits_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} \frac {\sin^2 (2n+ 1)t}{t} dt = \frac12 \int\limits_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} \frac{dt}{t} - \frac12 \int\limits_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} \frac {\cos (4n+ 2)t}{t} dt \sim \ln n </tex>. (<tex> \int\limits_{\frac{\pi}{2n+1}}^{\frac{\pi}{2}} \frac {\cos (4n+ 2)t}{t} dt \underset{u = (2n + 1)t}{=} \int\limits_{\pi}^{\frac{(2n + 1)\pi}{2}} \frac {\cos 2u}{u} du \xrightarrow[n \to \infty]{} const </tex> как интеграл по типу Дирихле. Не путать с интегралом Дирихлеиз прошлого параграфа. Смотри раздел [[Несобственные_интегралы#Dirichlet|несобственные интегралы из первого семестра]]. )
Отсюда получаем требуемое.