Заметим прежде всего, что интеграл $$\intop_{ -\infty }^{ +\infty }{ f\left(\xi \right)\cos { \lambda \left(\xi -x\right)d\xi } },$$ зависящий от параметра $\lambda,$ сходится равномерно по параметру $\lambda$ при $0\le \lambda \le +\infty,$ так как $\left| f\left(\xi \right)\cos { \lambda } \left(\xi -x\right) \right| \le \left| f\left(\xi \right) \right| ,$ а интеграл $\int\limits_{ -\infty }^{ +\infty }{ \left| f\left(\xi \right) \right| d\xi } $ по условию сходится. Следовательно, можно изменить порядок интегрирования, т.е. записать так:
$$\frac { 1 }{ \pi } \intop_{ 0 }^{ l }{ d\lambda } \intop_{ -\infty }^{ +\infty }{ f\left(\xi \right)\cos { { \lambda } } \left(\xi -x\right)d\xi } =$$
$$=\frac { 1 }{ \pi } \intop_{ -\infty }^{ +\infty }{ d\xi } \intop_{ 0 }^{ l }{ f\left(\xi \right)\cos { { \lambda } } \left(\xi -x\right)d\lambda } =$$
$$=\frac { 1 }{ \pi } \intop_{ -\infty }^{ +\infty }{ f\left(\xi \right)\frac { \sin { l\left(\xi -x\right) } }{ \xi -x } d\xi } =$$
$$=\frac { 1 }{ \pi } \intop_{ -\infty }^{ +\infty }{ f\left(x+\zeta \right)\frac { \sin { l\zeta } }{ \zeta } d\zeta } ,$$
где $\zeta=\xi-x,$ $d\zeta=d\xi.$ Нам остаётся доказать, что $$\lim _{ l\rightarrow +\infty }{ \frac { 1 }{ \pi } \intop_{ -\infty }^{ 0 }{ f\left(x+\zeta \right)\frac { \sin { l\zeta } }{ \zeta } d\zeta } } =\frac { f\left(x-0\right) }{ 2 },\quad\left(8\right)$$
$$\lim _{ l\rightarrow +\infty }{ \frac { 1 }{ \pi } \intop_{ 0 }^{ +\infty }{ f\left(x+\zeta \right)\frac { \sin { l\zeta } }{ \zeta } d\zeta } } =\frac { f\left(x+0\right) }{ 2 }.\quad\left(9\right)$$
При доказательстве мы воспользуемся известным соотношением (см. п. 5 § 2 гл. 10) $$\frac { 1 }{ \pi } \intop_{ 0 }^{ +\infty }{ \frac { \sin { l\zeta } }{ \zeta } d\zeta } =\frac { 1 }{ 2 } \quad \left(10\right).$$ Докажем, например, справедливость соотношения $\left(9\right).$ В силу равенства $\left(10\right),$ можно записать, что $$\frac { f\left(x+0\right) }{ 2 } =\frac { 1 }{ \pi } \intop_{ 0 }^{ +\infty }{ f\left(x+0\right)\frac { \sin { l\zeta } }{ \zeta } d\zeta } .$$
Поэтому разность между переменной величиной и предполагаемым пределом в соотношении $\left(9\right)$ будет равна
$${ J }_{ 0,+\infty }=\frac { 1 }{ \pi } \intop_{ 0 }^{ +\infty }{ f\left(x+ \zeta \right)\frac { \sin { l\zeta } }{ \zeta } d\zeta } -\frac { f\left(x+0\right) }{ 2 } =$$
$$=\frac { 1 }{ \pi } \intop_{ 0 }^{ +\infty }{ \left[ f\left(x+\zeta \right)-f\left(x+0\right) \right] \frac { \sin { l\zeta } }{ \zeta } d\zeta } .\quad\left(11\right)$$
Таким образом, нужно доказать, что этот интеграл стремится к нулю при $l\rightarrow +\infty.$ Разобьём интервал интегрирования $0\le \zeta <+\infty $ на три:
$0 < \zeta \le\delta ,$ $\quad \delta \le \zeta \le\Delta ,$ $\quad \Delta \le \zeta <+\infty ;$ тогда интеграл $\left(11\right)$ будет представлен в виде суммы трёх интегралов $$ { J }_{ 0,+\infty }={ J }_{ 0,\delta }+{ J }_{ \delta ,\Delta }+{ J }_{ \Delta ,+\infty }. \quad\left(12\right)$$ После этого будем действовать следующим образом. Сначала, задавшись произвольным $\varepsilon >0,$ докажем, что при всех достаточно малых $\delta>0$ и всех достаточно больших $\Delta >\delta$ будут выполняться неравенства $$\left| { J }_{ 0,\delta } \right| <\frac { \varepsilon }{ 3 }\quad и \quad \left| { J }_{ \Delta,+\infty } \right| <\frac { \varepsilon }{ 3 } \quad \left(13\right)$$ сразу при всех $l\ge 1.$ Затем, фиксировав $\delta$ и $\Delta$ так, чтобы выполнялись неравенства $\left(13\right),$ выберем $l\ge 1$ столь большим, чтобы в силу основной леммы выполнялось неравенство $\left| { J }_{ \delta ,\Delta } \right| <\frac { \varepsilon }{ 3 } .$ Отсюда, в силу $\left(12\right),$ будет следовать, что $\left| { J }_{ 0,+\infty } \right| <\varepsilon $ при всех достаточно больших $l\ge 1.$ Итак, оценим сначала интеграл $${ J }_{ 0,\delta }=\frac { 1 }{ \pi } \intop_{ 0 }^{ \delta }{ \frac { f\left(x+\zeta \right)-f\left(x+0\right) }{ \zeta } \sin { l\zeta } d\zeta } .$$ При всех достаточно малых $\delta>0$ $$\left| \frac { f\left(x+\zeta \right)-f\left(x+0\right) }{ \zeta } \right| <\left| { f }_{ + }^{ \prime }\left(x\right) \right| +1\quad \forall \zeta \in \left(0,\delta \right).$$ Следовательно, $$\left| { J }_{ 0,\delta } \right| <\frac { \delta }{ \pi } \left\{ \left| { f }_{ + }^{ \prime }\left(x\right) \right| +1 \right\} <\frac { \varepsilon }{ 3 } \quad\left(14\right)$$ при всех $\delta <\frac { \varepsilon \pi }{ 3\left\{ \left| { f }_{ + }^{ \prime }\left( x \right) \right| +1 \right\} } $ и при всех значениях $l.$ Оценим, далее, интеграл $${ J }_{ \Delta ,+\infty }=\frac { 1 }{ \pi } \intop_{ \Delta }^{ +\infty }{ f\left(x+\zeta \right)\frac { \sin { l\zeta } }{ \zeta } d\zeta } -\frac { f\left(x+0\right) }{ \pi } \intop_{ \Delta }^{ +\infty }{ \frac { \sin { l\zeta } }{ \zeta } d\zeta } .$$ Мы имеем $$\left| { J }_{ \Delta ,+\infty } \right| \le \frac { 1 }{ \pi } \intop_{ \Delta }^{ +\infty }{ \left| f\left(x+\zeta \right) \right| \frac { d\zeta }{ \zeta } } +\frac { \left| f\left(x+0\right) \right| }{ \pi } \left| \intop_{ \Delta }^{ +\infty }{ \frac { \sin { l\zeta } }{ \zeta } d\zeta } \right| \le $$ $$\le \frac { 1 }{ \pi \Delta } \intop_{ -\infty }^{ +\infty }{ \left| f\left(x+\zeta \right) \right| d\zeta } +\frac { \left| f\left(x+0\right) \right| }{ \pi } \left| \intop_{ l\Delta }^{ +\infty }{ \frac { \sin { { \zeta }^{ \ast } } }{ { \zeta }^{ \ast } } } d{ \zeta }^{ \ast } \right| =$$
$$=\frac { Q }{ \pi \Delta } +\frac { \left| f\left(x+0\right) \right| }{ \pi } \left| \intop_{ l\Delta }^{ +\infty }{ \frac { \sin { { \zeta }^{ \ast } } }{ { \zeta }^{ \ast } } d{ \zeta }^{ \ast } } \right| ,$$ где ${ \zeta }^{ \ast }=l\zeta. \quad\left(15\right)$ Напомним, что, согласно условию $\left(4\right),$ $Q=\int\limits_{ -\infty }^{ +\infty }{ \left| f\left(x\right) \right| dx } <\infty,$ поэтому при всех достаточно больших $\Delta>0$ будет $\frac { Q }{ \pi \Delta } <\frac { \varepsilon }{ 6 } $ сразу для всех $l.$ Далее, так как интеграл $\int\limits_{ 0 }^{ +\infty }{ \frac { \sin { { \zeta }^{ \ast } } }{ { \zeta }^{ \ast } } d{ \zeta }^{ \ast } } $ сходится, то при всех достаточно больших $\Delta>0$ и всех $l\ge 1$ $$\frac { \left| f\left(x+0\right) \right| }{ \pi } \left| \intop_{ l\Delta }^{ +\infty }{ \frac { \sin { { \zeta }^{ \ast } } }{ { \zeta }^{ \ast } } d{ \zeta }^{ \ast } } \right| <\frac { \varepsilon }{ 6 } .$$ Следовательно, в силу $\left(15\right)$ $$\left| { J }_{ \Delta ,+\infty } \right| <\frac { \varepsilon }{ 3 } \quad\left(16\right)$$ при всех достаточно больших $\Delta>0$ и всех $l\ge 1.$ Оценим, наконец, интеграл $${ J }_{ \delta ,\Delta }=\frac { 1 }{ \pi } \intop_{ \delta }^{ \Delta }{ \frac { f\left(x+\zeta \right)-f\left(x+0\right) }{ \zeta } \sin { l\zeta } d\zeta } .$$ Функция $\frac { f\left(x+\zeta \right)-f\left(x+0\right) }{ \zeta } $ по переменной $\zeta$ является кусочно-гладкой на отрезке $\delta \le \zeta \le \Delta .$ Поэтому, в силу основной леммы, при всех достаточно больших значениях $l\ge1$ будет выполняться неравенство $$\left| { J }_{ \delta ,\Delta } \right| <\frac { \varepsilon }{ 3 }. \quad\left(17\right)$$ Сопостовляя $\left(14\right), \left(16\right)$ и $\left(17\right),$ получим, что при всех достаточно больших $l\ge1$ $$\left| { J }_{ 0,+\infty } \right| <\varepsilon ,$$ что и требовалось доказать. $\blacksquare$
[свернуть]