Нужно исследовать функцию
Запишем множество:
Но давайте рассмотрим
Подынтегральная функция очевидно непрерывна на
. Тогда остаётся доказать равномерную сходимость интеграла на
. Таким образом получим, что
непрерывная функция на
. В силу произвольности
и того, что непрерывность это свойство локальное получим непрерывность на
.
Теперь нужно подобрать мажоранту для подынтегральной функции, что у меня не выходит. Я пробовал считать производную, но это ничего не дало.
Еще вариант который я попробовал, это представить интеграл в виде
и сделать замену
. Тогда получим
Интеграл очевидно сходится равномерно, так как теперь подынтегральная функция не содержит в себе параметра, и
-это произвдение двух непрерывных функций. Но это решение кажется мне каким-то искусственным. Я не знаю, нужно ли сделать какую-то оговорку теперь по поводу нижнего предела интегрирования?