Функциональные ряды и равномерная сходимость

Зачем нужна равномерная сходимость

Пусть ряд Σfₙ(x) сходится в каждой точке x к функции S(x). Можно ли утверждать, что S непрерывна, если все fₙ непрерывны? Или что интеграл ряда — это ряд интегралов?

Ответ: нет, если сходимость только поточечная! Нужна более сильная форма — равномерная сходимость.

Равномерная сходимость

Ряд Σfₙ сходится равномерно к S на множестве E, если для любого ε > 0 существует N такое, что для всех n > N и всех x ∈ E: |S(x) - Sₙ(x)| < ε. Одно и то же N работает для всех x.

Критерий Коши: Ряд равномерно сходится ⟺ для любого ε > 0 существует N такое, что для m > n > N: |∑ₖ₌ₙ₊₁ᵐ fₖ(x)| < ε для всех x ∈ E.

Признак Вейерштрасса (мажоранта): Если |fₙ(x)| ≤ Mₙ для всех x и ΣMₙ сходится, то Σfₙ равномерно сходится.

Свойства равномерно сходящихся рядов

Если Σfₙ равномерно сходится на [a, b] и все fₙ непрерывны, то:

• S(x) = Σfₙ(x) непрерывна на [a, b]
• Можно интегрировать почленно: ∫ₐᵇ S(x)dx = Σ∫ₐᵇ fₙ(x)dx
• При дополнительных условиях — дифференцировать почленно

Степенные ряды

Степенной ряд: Σcₙ(x-a)ⁿ. Это «бесконечный многочлен».

Теорема Абеля: Существует радиус сходимости R ∈ [0, +∞] такой, что ряд абсолютно сходится при |x-a| < R и расходится при |x-a| > R.

Формула Коши–Адамара: 1/R = limsup ⁿ√|cₙ|.

Свойства степенных рядов: внутри круга сходимости ряд можно дифференцировать и интегрировать почленно, а радиус сходимости сохраняется.

Функции, задаваемые сходящимися степенными рядами, называются аналитическими. Все элементарные функции аналитичны в своих областях определения.

Поточечная и равномерная сходимость: наглядный пример

Рассмотрим fₙ(x) = xⁿ на [0, 1]. Поточечно: f(x) = 0 при x ∈ [0, 1), f(1) = 1 — разрывная функция! Все fₙ непрерывны, но предел разрывен. Сходимость не равномерная: sup|fₙ(x) − f(x)| = sup_{x∈[0,1)} xⁿ = 1 не стремится к нулю.

Этот пример объясняет, почему равномерная сходимость — минимальное условие, при котором предел сохраняет непрерывность.

Ряды Тейлора как степенные ряды

Степенной ряд с коэффициентами Тейлора f^(n)(a)/n! и с радиусом сходимости R даёт разложение аналитической функции. Для eˣ: R = ∞ (сходится везде). Для 1/(1−x): R = 1 (ряд 1 + x + x² + ... расходится при |x| ≥ 1). Для 1/(1+x²): R = 1 в вещественном случае, но причина — полюс при x = ±i в комплексной плоскости.

Функциональные ряды в анализе данных и машинном обучении

Функциональные ряды — инструмент аппроксимации. Метод наименьших квадратов минимизирует ‖f − Sₙ‖² где Sₙ — частичная сумма ряда. Это даёт ортогональные проекции в функциональных пространствах. В машинном обучении нейронные сети с активациями (ReLU, sigmoid) можно рассматривать как нелинейные «функциональные ряды» — суперпозиции базисных функций с обучаемыми весами.

Теорема Вейерштрасса (об аппроксимации): Любая непрерывная на отрезке функция может быть равномерно приближена многочленами. Это основа метода полиномиальной регрессии.

Тестирование равномерной сходимости

На практике наиболее удобен признак Вейерштрасса. Пример: ряд Σ sin(nx)/n². Оценка: |sin(nx)/n²| ≤ 1/n², и Σ1/n² = π²/6 сходится. Значит, исходный ряд равномерно сходится на всей прямой — и его сумма непрерывна, интегрируема почленно.

Обмен предела и интеграла при равномерной сходимости

Ключевое следствие равномерной сходимости — законность почленного интегрирования: если Σfₙ(x) ⇒ S(x) равномерно на [a, b], то ∫ₐᵇ S(x) dx = Σ ∫ₐᵇ fₙ(x) dx. Это означает возможность вычисления интегралов от «сложных» функций через интегрирование более простых членов ряда. Аналогично — почленное дифференцирование требует равномерной сходимости ряда производных, а не исходного ряда. Практическое приложение: интеграл ∫₀¹ ln(1+x)/x dx = Σ(-1)ⁿ/(n+1)² = π²/12 вычисляется именно почленным интегрированием ряда ln(1+x) = x − x²/2 + x³/3 − ...

Вопрос для размышления: Почему степенной ряд внутри круга сходимости всегда сходится равномерно на любом строго меньшем круге, но может не сходиться равномерно на всём открытом круге сходимости?

Равномерная сходимость и непрерывность суммы ряда

Если ряд Σuₙ(x) сходится равномерно на [a, b] и каждое uₙ непрерывно, то сумма S(x) = Σuₙ(x) тоже непрерывна. Аналогично: равномерно сходящийся ряд из интегрируемых функций можно интегрировать почленно — ∫Σuₙ dx = Σ∫uₙ dx. Признак Вейерштрасса: если |uₙ(x)| ≤ Mₙ для всех x и ΣMₙ сходится, то Σuₙ сходится равномерно и абсолютно. Пример: Σxⁿ/n² равномерно сходится на [−1, 1] (Mₙ = 1/n²), поэтому сумма непрерывна на всём отрезке. В теории функций равномерная сходимость — условие, позволяющее «переставлять» предельный переход и операции интегрирования или дифференцирования.