Равномерная сходимость означает одну границу ошибки для всей области

Ключевая идея

Последовательность \(f_n:E\to\mathbb{R}\) сходится равномерно к \(f\), если для каждого \(\varepsilon>0\) существует \(N\), такое что из \(n\ge N\) следует \(|f_n(x)-f(x)|<\varepsilon\) для каждого \(x\in E\). Эквивалентно, \(\|f_n-f\|_\infty\to0\).

Чек-лист распознавания

• Сначала найдите поточечный предел \(f\).
• Вычислите или оцените ошибку \(|f_n(x)-f(x)|\).
• Возьмите супремум по всей области.
• Если супремум стремится к \(0\), сходимость равномерна.
• Если супремум отделен от \(0\) или бесконечен, сходимость не равномерна.

Разобранный пример

Попробуйте

Область часто решает, является ли сходимость равномерной

Ключевая идея

Равномерная сходимость глобальна. Последовательность может сходиться равномерно на меньшем интервале, но не сходиться равномерно на большем, потому что худшая ошибка движется к концу или уходит на бесконечность.

Стандартные примеры

• \(x/n\to0\) равномерно на \([0,1]\), потому что наибольшая ошибка равна \(1/n\).
• \(x/n\) не сходится равномерно к \(0\) на \([0,\infty)\), потому что при фиксированном \(n\) ошибка не ограничена.
• \(x^n\to0\) равномерно на \([0,a]\) при \(0<a<1\), потому что наибольшая ошибка равна \(a^n\).
• \(x^n\) не сходится равномерно к своему поточечному пределу на \([0,1]\), поскольку непрерывные функции имели бы непрерывный равномерный предел.

Разобранный пример

Попробуйте

Равномерную сходимость можно проверять, не зная предела заранее

Ключевая идея

Последовательность \(f_n\) равномерно фундаментальна на \(E\), если для каждого \(\varepsilon>0\) существует \(N\), такое что из \(m,n\ge N\) следует \(\sup_{x\in E}|f_n(x)-f_m(x)|<\varepsilon\). Для вещественнозначных функций это эквивалентно равномерной сходимости, если поточечный предел существует.

Чек-лист распознавания

• Оцените \(|f_n(x)-f_m(x)|\), не выбирая специальный \(x\).
• Возьмите супремум по \(E\).
• Сделайте этот супремум меньше \(\varepsilon\) для всех достаточно больших \(m,n\).
• Для функциональных рядов применяйте ту же идею к хвостам частичных сумм.

Разобранный пример

Попробуйте

Равномерная сходимость рядов возникает из равномерного контроля хвостов

Ключевая идея

Для ряда \(\sum u_n(x)\) равномерная сходимость означает, что частичные суммы сходятся равномерно. M-признак Вейерштрасса утверждает: если \(|u_n(x)|\le M_n\) для каждого \(x\) и \(\sum M_n\) сходится, то \(\sum u_n\) сходится равномерно и абсолютно.

Шаги M-признака

• Найдите оценку \(|u_n(x)|\le M_n\), не зависящую от \(x\).
• Проверьте, что \(\sum M_n\) сходится как числовой ряд.
• Сделайте вывод о равномерной абсолютной сходимости \(\sum u_n(x)\).
• Используйте оценки хвоста \(\sum_{n>N}M_n\), когда нужна явная граница ошибки.

Разобранный пример

Попробуйте

Равномерные пределы сохраняют структуру, которую поточечные пределы могут потерять

Ключевая идея

Равномерная сходимость позволяет одной границе ошибки работать около каждой точки, поэтому она достаточно сильна, чтобы сохранять непрерывность. Она также хорошо ведет себя при сложении, вычитании и умножении на ограниченную функцию.

Сохраняемые свойства

• Если каждое \(f_n\) непрерывно и \(f_n\to f\) равномерно, то \(f\) непрерывна.
• Если \(f_n\to f\) и \(g_n\to g\) равномерно, то \(f_n-g_n\to f-g\) равномерно.
• Если \(g\) ограничена и \(f_n\to f\) равномерно, то \(g f_n\to g f\) равномерно.
• Если каждое \(f_n\ge0\), то поточечный предел \(f\ge0\).
• Равномерные пределы ограниченных функций ограничены, если хотя бы одна достаточно поздняя \(f_n\) ограничена.

Разобранный пример

Попробуйте

Пределы легче переставляются с интегралами, чем с производными

Ключевая идея

Если \(f_n\to f\) равномерно на \([a,b]\), то \(\int_a^b f_n\to\int_a^b f\), потому что интеграл ошибки не превосходит \((b-a)\|f_n-f\|_\infty\). С производными строже: одна лишь равномерная сходимость \(f_n\) не влечет \(f_n^\prime\to f^\prime\).

Шаблоны теорем

• Правило для интегралов: равномерная сходимость на ограниченном интервале позволяет \(\lim_n\int_a^b f_n=\int_a^b f\).
• Правило для производных: если \(f_n^\prime\to g\) равномерно и \(f_n(x_0)\) сходится в одной точке, то \(f_n\) сходится равномерно к дифференцируемой \(f\) с \(f^\prime=g\).
• Предупреждение: почленное дифференцирование поточечного или просто равномерного предела требует большего, чем равномерная сходимость самих функций.

Разобранный пример

Попробуйте

Избегайте типичных ловушек равномерной сходимости

Типичные ловушки

• Поточечная сходимость не влечет равномерную: \(x^n\) на \([0,1]\) - стандартное предупреждение.
• Равномерность зависит от области: \(x/n\) ведет себя хорошо на \([0,1]\), но не на \([0,\infty)\).
• Сохранение непрерывности работает только для равномерных пределов: поточечные пределы могут быть разрывными.
• M-признак достаточен, но не необходим: неудача в поиске \(M_n\) не доказывает автоматически неравномерную сходимость.
• Перестановка с производной требует контроля производных: одной равномерной сходимости \(f_n\) недостаточно.
• Члены ряда должны равномерно обращаться в нуль: если \(\sum u_n\) сходится равномерно, то \(u_n\to0\) равномерно.

Разобранный пример

Попробуйте

Итоговое повторение

• Равномерная сходимость означает \(\sup_x|f_n-f|\to0\).
• Равномерная сходимость всегда влечет поточечную, но не наоборот.
• Одна и та же формула может сходиться равномерно на одной области и не сходиться на большей.
• Равномерный критерий Коши контролирует \(\sup_x|f_n-f_m|\).
• M-признак доказывает равномерную абсолютную сходимость функциональных рядов.
• Равномерные пределы непрерывных функций непрерывны.
• Равномерная сходимость на \([a,b]\) позволяет переносить предел через определенные интегралы.
• Перенос предела через производные требует равномерной сходимости производных плюс сходимости в одной точке.