Ряды
Ряд Тейлора
Ряд Тейлора — это разложение функции в бесконечную сумму степенных функций.
\[
\sum_{n=0}^k\frac{f^{(n)}(a)}{n!}(x-a)^n
\]
Многочлен Тейлора
Многочлен Тейлора степени n для функции \(f(x)\) с центром в точке a — это частичная сумма ряда Тейлора, который представляет функцию в виде суммы её производных, взятых в одной точке.
Ряд Фурье
1. Идея ряда Фурье
Что это: Любую периодическую функцию \(f(x)\) можно представить как сумму простых гармонических колебаний — синусов и косинусов разной частоты и амплитуды.
- Каждая гармоника = базовая “волна”
- Сумма этих волн = исходная функция
Почему важно:
- Упрощает анализ сложных волн
- Позволяет решать задачи в физике, электротехнике, механике
- Можно приблизить любую функцию с нужной точностью, взяв достаточно гармоник
В голове: сложная волна = большие медленные колебания + мелкие быстрые “рябинки”.
2. Периодическая функция
Функция \(f(x)\) периодическая с периодом \(T\), если:
\[
f(x+T) = f(x), \quad \forall x
\]
- Чаще всего рассматривают \(T=2\pi\) для упрощения формул.
Пример: \(\sin(x)\), \(\cos(x)\), пилообразная функция \(x\) на \([-\pi,\pi]\).
Почему важно: ряд Фурье применим только к периодическим функциям (или рассматриваем функцию на периодическом интервале).
3. Формула ряда Фурье
Для функции \(f(x)\) с периодом \(2\pi\):
\[
f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty} \big(a_n \cos(nx) + b_n \sin(nx)\big)
\]
- \(a_0/2\) — среднее значение функции
- \(a_n\) — амплитуда косинусной гармоники
- \(b_n\) — амплитуда синусной гармоники
Коэффициенты:
\[
a_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \, dx
\]
\[
a_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \cos(nx) \, dx
\]
\[
b_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \sin(nx) \, dx
\]
Пример: \(f(x) = \cos(x)\)
- \(a_0=0\), \(a_1=1\), \(a_{n>1}=0\), \(b_n=0\)
- Ряд Фурье = просто \(\cos(x)\)
4. Как понять коэффициенты
- \(a_0\) — средний уровень функции
- \(a_n\) и \(b_n\) — “вес” каждой гармоники
- Чем выше \(n\) — выше частота → мелкие детали функции
В голове: первые гармоники = крупные особенности, большие \(n\) = мелкие детали
5. Методы нахождения коэффициентов
- Сначала \(a_0\) (среднее значение):
\[
a_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) dx
\]
- Затем \(a_n\) (косинусные компоненты):
\[
a_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \cos(nx) dx
\]
- Затем \(b_n\) (синусные компоненты):
\[
b_n = \frac{1}{\pi} \int_{-\pi}^{\pi} f(x) \sin(nx) dx
\]
- Составляем ряд Фурье:
\[
f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty} (a_n \cos(nx) + b_n \sin(nx))
\]
6. Пример: пилообразная функция \(f(x)=x\) на \([-\pi,\pi]\)
- \(a_0 = \frac{1}{\pi} \int_{-\pi}^{\pi} x dx = 0\)
- \(a_n = \frac{1}{\pi} \int_{-\pi}^{\pi} x \cos(nx) dx = 0\) (нечётная функция)
- \(b_n = \frac{1}{\pi} \int_{-\pi}^{\pi} x \sin(nx) dx = 2 \frac{(-1)^{n+1}}{n}\)
Ряд Фурье:
\[
f(x) \sim 2 \sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n} \sin(nx)
\]
- Уже 3–4 гармоники дают приблизительное представление графика
7. Свойства ряда Фурье
- Сходится к функции:
- В точках непрерывности → к значению функции
- В точках разрыва → к среднему между левым и правым пределом
- Линейность:
\[
f+g \Rightarrow \text{ряд Фурье } f + \text{ряд Фурье } g
\]
- Ортогональность функций:
\[
\int_{-\pi}^{\pi} \cos(nx)\sin(mx) dx = 0
\]
- Формула Parseval (энергия функции):
\[
\frac{1}{\pi} \int_{-\pi}^{\pi} f^2(x) dx = \frac{a_0^2}{2} + \sum_{n=1}^{\infty} (a_n^2 + b_n^2)
\]
- Смысл: “энергия функции” распределяется по гармоникам
8. Геометрическая визуализация
- Каждая гармоника = вращающаяся стрелка или синусоида
- Сумма гармоник = сложная волна
- Можем нарисовать первые 3–5 гармоник → видно, как они формируют график
Идея: крупные гармоники задают форму, мелкие детали → рябь, шум
9. Примеры простых функций
- Чётная: \(f(x)=x^2\)
- \(b_n=0\), \(a_0\) и \(a_n\neq0\)
- Нечётная: \(f(x)=x\)
- \(a_n=0\), \(b_n\neq0\)
- Комбинация: \(f(x)=x+x^2\)
- \(a_0, a_n, b_n\neq0\)
Числовые и степенные ряды
1. Числовой ряд
Определение:
Числовой ряд — это сумма бесконечной последовательности чисел:
\[
\sum_{n=1}^{\infty} a_n = a_1 + a_2 + a_3 + \dots
\]
- \(a_n\) — члены ряда
- Ряд сходится, если сумма \(S = \lim_{n\to\infty} S_n\) существует
- \(S_n = a_1 + a_2 + \dots + a_n\) — частичная сумма
Пример:
- \(1 + \frac12 + \frac14 + \frac18 + \dots\)
- Частичная сумма: \(S_n = 1 - \frac{1}{2^n}\)
- \(S = \lim_{n\to\infty} S_n = 1\) → ряд сходится
Почему важно:
- Ряды описывают процессы с бесконечным числом слагаемых, например, дробные приближения, экспоненты, тригонометрию, физические явления.
2. Необходимое условие сходимости
- Если ряд \(\sum a_n\) сходится, то \(a_n \to 0\) при \(n \to \infty\).
- Обратное неверно: \(a_n \to 0\) не гарантирует сходимость.
Пример:
- \(a_n = \frac{1}{n} \to 0\), но \(\sum \frac{1}{n}\) расходится (гармонический ряд).
3. Признаки сходимости числовых рядов
-
Сравнительный признак:
Если \(0 \le a_n \le b_n\) и \(\sum b_n\) сходится → \(\sum a_n\) тоже сходится -
Признак Даламбера (отношений):
\[
\lim_{n\to\infty} \frac{a_{n+1}}{a_n} = q
\]
- \(q<1\) → ряд сходится
- \(q>1\) → ряд расходится
- Признак Коши (корней):
\[
\lim_{n\to\infty} \sqrt[n]{|a_n|} = L
\]
- \(L<1\) → сходится
- \(L>1\) → расходится
- Альтернирующие ряды (знакочередующиеся):
- Если \(a_n\) положительные, убывающие и \(a_n \to 0\), то \(\sum (-1)^{n} a_n\) сходится (признак Лейбница)
Пример (гармонический ряд):
- \(\sum_{n=1}^{\infty} \frac{1}{n}\) → расходится
- \(\sum_{n=1}^{\infty} \frac{(-1)^{n+1}}{n}\) → сходится (альтернирующий)
4. Степенной ряд
Определение:
Степенной ряд — это ряд вида:
\[
\sum_{n=0}^{\infty} c_n (x-x_0)^n = c_0 + c_1(x-x_0) + c_2(x-x_0)^2 + \dots
\]
- \(x_0\) — центр ряда
- \(c_n\) — коэффициенты
- Часто \(x_0=0\) → ряд Тейлора
Пример:
- Экспонента: \(e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}\)
- Синус: \(\sin x = \sum_{n=0}^{\infty} (-1)^n \frac{x^{2n+1}}{(2n+1)!}\)
Почему важно:
- Позволяет представить функции через простые члены \((x-x_0)^n\)
- Удобно для приближения, вычислений и дифференцирования/интегрирования
5. Радиус сходимости степенного ряда
- Существует \(R \ge 0\), такой что ряд сходится при \(|x-x_0|<R\) и расходится при \(|x-x_0|>R\)
- Формулы для вычисления \(R\):
- Даламбер: \(R = \lim_{n\to\infty} \left|\frac{c_n}{c_{n+1}}\right|\)
- Коши: \(R = \frac{1}{\lim_{n\to\infty} \sqrt[n]{|c_n|}}\)
Пример:
- \(e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}\) → \(R = \infty\) → сходится для любого \(x\)
- \(\sum_{n=1}^{\infty} x^n / n\) → \(R = 1\)
6. Сходимость и свойства степенного ряда
- Внутри радиуса сходимости: ряд сходится абсолютно и равномерно на любом промежутке \(|x-x_0| < r < R\)
- На границе: необходимо проверять отдельно
- Дифференцирование и интегрирование: можно по членам, сохраняется радиус сходимости
Пример:
- \(\sum_{n=0}^{\infty} x^n\) → геометрическая прогрессия
- Дифференцируем: \(\sum_{n=1}^{\infty} n x^{n-1} = \frac{1}{(1-x)^2}, |x|<1\)
7. Применение
- Приближения функций
- Вычисление интегралов, особенно сложных
- Решение дифференциальных уравнений
- Физические задачи: колебания, электричество, механика
8. Примеры простых рядов
- Геометрическая прогрессия:
\[
\sum_{n=0}^{\infty} q^n, \quad |q|<1
\]
- Сумма \(S = \frac{1}{1-q}\)
- Альтернирующий гармонический ряд:
\[
\sum_{n=1}^{\infty} (-1)^{n+1} \frac{1}{n} \to \ln 2
\]
- Степенной ряд:
\[
\sum_{n=0}^{\infty} \frac{x^n}{n!} = e^x
\]