Metody numeryczne: zestaw na powtórkę

Całkowanie numeryczne: podziel [a, b] na n pasków o szerokości h = (b − a)/n z węzłami x₀ … xₙ. Wzór trapezów: T = (h/2)[f₀ + 2f₁ + 2f₂ + … + 2f_n−1 + fₙ]. Wzór Simpsona (n parzyste): S = (h/3)[f₀ + 4f₁ + 2f₂ + 4f₃ + … + 4f_n−1 + fₙ]. Błąd wzoru trapezów maleje jak h² (oszacowanie (b − a)h²·M/12, gdzie M = max|f″|), a wzoru Simpsona jak h⁴, więc Simpson jest zwykle znacznie dokładniejszy przy tych samych węzłach.

Numeryczne rozwiązywanie y′ = f(t, y): metoda Eulera idzie wzdłuż nachylenia na początku każdego kroku: y_n+1 = yₙ + h·f(tₙ, yₙ). Metoda Heuna (ulepszona metoda Eulera) uśrednia nachylenie na początku i w przewidywaniu Eulera: k₁ = f(tₙ, yₙ), k₂ = f(tₙ + h, yₙ + h·k₁), y_n+1 = yₙ + (h/2)(k₁ + k₂). Klasyczna metoda Rungego–Kutty (RK4) łączy cztery nachylenia: y_n+1 = yₙ + (h/6)(k₁ + 2k₂ + 2k₃ + k₄). Błąd globalny metody Eulera jest proporcjonalny do h, metody Heuna do h², a RK4 do h⁴.

Zbieżność: jeśli wyrazy nie dążą do 0, szereg jest rozbieżny (warunek konieczny). Σ1/kᵖ jest zbieżny tylko dla p > 1, a Σrᵏ tylko dla |r| < 1. Porównaj szereg z jednym z tych, gdy jego wyrazy dla dużych k zachowują się jak one. Kryterium d’Alemberta: L = lim |a_k+1/a_k|; kryterium Cauchy’ego: L = lim |a_k|^1/k. L < 1 oznacza zbieżność, L > 1 rozbieżność, L = 1 nie rozstrzyga. Szereg potęgowy Σc_k(x − x₀)ᵏ jest zbieżny dla |x − x₀| < R, gdzie R = lim |c_k/c_k+1|; szereg naprzemienny o wyrazach malejących do 0 jest zbieżny.

Wielomiany Taylora: w pobliżu x = a funkcję gładką przybliża Pₙ(x) = f(a) + f′(a)(x − a) + f″(a)(x − a)²/2! + … + f⁽ⁿ⁾(a)(x − a)ⁿ/n!; dla a = 0 jest to wielomian Maclaurina. Szeregi standardowe: 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ᵏ. Oszacowanie reszty Lagrange’a: |f(x) − Pₙ(x)| ≤ M·|x − a|ⁿ⁺¹/(n + 1)!, gdzie M to największa wartość |f⁽ⁿ⁺¹⁾| między a i x.

Macierze: wyznacznik macierzy 2×2 to ad − bc. Dla 3×3 rozwiń względem wiersza: każdy element razy wyznacznik macierzy 2×2, która zostaje po skreśleniu jego wiersza i kolumny, ze znakami na przemian + − +. Wartości własne λ spełniają det(A − λI) = 0; dla 2×2 to λ² − (ślad)·λ + det = 0.

Macierze: wyznacznik macierzy 2×2 to ad − bc. Dla 3×3 rozwiń względem wiersza: każdy element razy wyznacznik macierzy 2×2, która zostaje po skreśleniu jego wiersza i kolumny, ze znakami na przemian + − +. Wartości własne λ spełniają det(A − λI) = 0; dla 2×2 to λ² − (ślad)·λ + det = 0.

Liniowe równania drugiego rzędu: dla y″ + b·y′ + c·y = 0 spróbuj y = e^rt: otrzymasz równanie charakterystyczne r² + b·r + c = 0. Dwa różne pierwiastki rzeczywiste r₁ ≠ r₂ dają y = A·e^r₁t + B·e^r₂t (tłumienie nadkrytyczne); pierwiastek podwójny r daje y = (A + Bt)·e^rt (tłumienie krytyczne); pierwiastki zespolone −α ± jω dają y = e^−αt(A cos ωt + B sin ωt) (tłumienie podkrytyczne, drgania). Wartości początkowe y(0) i y′(0) wyznaczają A i B. Zapisane jako y″ + 2ζω_ny′ + ω_n²y = 0, ω_n jest częstością drgań własnych, a ζ współczynnikiem tłumienia: dla ζ < 1 występują drgania. Przy stałym wymuszeniu y″ + by′ + cy = c·K rozwiązaniem jest wartość ustalona K plus odpowiedź swobodna.

Równania różniczkowe pierwszego rzędu: dy/dt = k·y ma rozwiązanie y = y₀·e^kt (wzrost dla k > 0, zanik dla k < 0); okres połowicznego rozpadu T daje k = ln 2/T. Prawo stygnięcia Newtona, dT/dt = −k·(T − Tₐ), daje T(t) = Tₐ + (T₀ − Tₐ)·e^−kt. Równanie liniowe y′ + p(x)·y = q(x) rozwiązuje się czynnikiem całkującym μ = e^{∫p dx}: (μy)′ = μq, więc μy = ∫μq dx + C.