Численные методы: шпаргалка-пакет

Численное интегрирование: разделите [a, b] на n полос шириной h = (b − a)/n с узлами x₀ … xₙ. Метод трапеций: T = (h/2)[f₀ + 2f₁ + 2f₂ + … + 2f_n−1 + fₙ]. Метод Симпсона (n чётное): S = (h/3)[f₀ + 4f₁ + 2f₂ + 4f₃ + … + 4f_n−1 + fₙ]. Погрешность метода трапеций убывает как h² (оценка (b − a)h²·M/12, где M = max|f″|), метода Симпсона — как h⁴, поэтому при тех же узлах метод Симпсона обычно намного точнее.

Численное решение y′ = f(t, y): метод Эйлера идёт по наклону в начале каждого шага: y_n+1 = yₙ + h·f(tₙ, yₙ). Метод Хойна (улучшенный метод Эйлера) усредняет наклон в начале и в точке, предсказанной методом Эйлера: k₁ = f(tₙ, yₙ), k₂ = f(tₙ + h, yₙ + h·k₁), y_n+1 = yₙ + (h/2)(k₁ + k₂). Классический метод Рунге–Кутты (RK4) объединяет четыре наклона: y_n+1 = yₙ + (h/6)(k₁ + 2k₂ + 2k₃ + k₄). Глобальная погрешность метода Эйлера пропорциональна h, метода Хойна — h², метода RK4 — h⁴.

Сходимость: если члены не стремятся к 0, ряд расходится (необходимый признак сходимости, признак n-го члена). Σ1/kᵖ сходится только при p > 1, а Σrᵏ — только при |r| < 1. Сравнивайте ряд с одним из них, когда его члены при больших k ведут себя так же. Признак Даламбера: L = lim |a_k+1/a_k|; радикальный признак Коши: L = lim |a_k|^1/k. При L < 1 ряд сходится, при L > 1 расходится, при L = 1 вывода нет. Степенной ряд Σc_k(x − x₀)ᵏ сходится при |x − x₀| < R, где R = lim |c_k/c_k+1|; знакочередующийся ряд с членами, убывающими к 0, сходится.

Многочлены Тейлора: вблизи x = a гладкая функция приближается многочленом Pₙ(x) = f(a) + f′(a)(x − a) + f″(a)(x − a)²/2! + … + f⁽ⁿ⁾(a)(x − a)ⁿ/n!; при a = 0 это многочлен Маклорена. Стандартные ряды: eˣ = Σxᵏ/k!, sin x = x − x³/3! + x⁵/5! − …, cos x = 1 − x²/2! + x⁴/4! − …, ln(1 + x) = x − x²/2 + x³/3 − …, 1/(1 − x) = Σxᵏ. Оценка остатка по Лагранжу: |f(x) − Pₙ(x)| ≤ M·|x − a|ⁿ⁺¹/(n + 1)!, где M — наибольшее значение |f⁽ⁿ⁺¹⁾| между a и x.

Матрицы: определитель матрицы 2×2 равен ad − bc. Для 3×3 разложите по строке: каждый элемент умножается на определитель матрицы 2×2, оставшейся после вычёркивания его строки и столбца, с чередующимися знаками + − +. Собственные значения λ удовлетворяют det(A − λI) = 0; для 2×2 это λ² − (след)·λ + det = 0.

Матрицы: определитель матрицы 2×2 равен ad − bc. Для 3×3 разложите по строке: каждый элемент умножается на определитель матрицы 2×2, оставшейся после вычёркивания его строки и столбца, с чередующимися знаками + − +. Собственные значения λ удовлетворяют det(A − λI) = 0; для 2×2 это λ² − (след)·λ + det = 0.

Линейные уравнения второго порядка: для y″ + b·y′ + c·y = 0 ищите решение в виде y = e^rt: это даёт характеристическое уравнение r² + b·r + c = 0. Два различных вещественных корня r₁ ≠ r₂ дают y = A·e^r₁t + B·e^r₂t (апериодический режим, передемпфированный); двойной корень r даёт y = (A + Bt)·e^rt (критическое затухание); комплексные корни −α ± jω дают y = e^−αt(A cos ωt + B sin ωt) (колебательный режим, недодемпфированный). Начальные значения y(0) и y′(0) определяют A и B. В записи y″ + 2ζω_ny′ + ω_n²y = 0 величина ω_n — собственная частота, а ζ — коэффициент демпфирования: при ζ < 1 возникают колебания. При постоянном входе y″ + by′ + cy = c·K решение равно установившемуся значению K плюс свободный отклик.

Линейные уравнения второго порядка: для y″ + b·y′ + c·y = 0 ищите решение в виде y = e^rt: это даёт характеристическое уравнение r² + b·r + c = 0. Два различных вещественных корня r₁ ≠ r₂ дают y = A·e^r₁t + B·e^r₂t (апериодический режим, передемпфированный); двойной корень r даёт y = (A + Bt)·e^rt (критическое затухание); комплексные корни −α ± jω дают y = e^−αt(A cos ωt + B sin ωt) (колебательный режим, недодемпфированный). Начальные значения y(0) и y′(0) определяют A и B. В записи y″ + 2ζω_ny′ + ω_n²y = 0 величина ω_n — собственная частота, а ζ — коэффициент демпфирования: при ζ < 1 возникают колебания. При постоянном входе y″ + by′ + cy = c·K решение равно установившемуся значению K плюс свободный отклик.