Math 2.0

Numerical analysis Definition

Numerical methods for ordinary differential equations

Builds on Initial value problemOrdinary differential equationBig O notation

Definition

Let f ⁣:[t0,T]×ℝd→ℝdf \colon [t_0, T] \times \R^d \to \R^d be continuous and Lipschitz continuous in its second argument. Then the initial value problem y′=f(t,y)y' = f(t, y), y(t0)=y0y(t_0) = y_0 has a unique solution yy on [t0,T][t_0, T]. For an integer N≥1N \ge 1 let h=(T−t0)/Nh = (T - t_0)/N and tn=t0+nht_n = t_0 + nh for n=0,…,Nn = 0, \ldots, N. A kk-step method is a rule that starts from given values y0,…,yk−1y_0, \ldots, y_{k-1}. For 0≤n≤N−k0 \le n \le N - k it determines yn+ky_{n+k} from hh, tnt_n, the values yn,…,yn+k−1y_n, \ldots, y_{n+k-1} and finitely many evaluations of ff. It may do so by solving an equation that contains yn+ky_{n+k}. It is one-step if k=1k = 1, explicit if yn+ky_{n+k} is given by a formula in the earlier values, and implicit otherwise. The method is convergent if, for every such ff and starting values with yi→y(t0)y_i \to y(t_0) for i<ki < k as h→0h \to 0, max⁡0≤n≤N∥y(tn)−yn∥→0as h→0.\max_{0 \le n \le N} \norm{y(t_n) - y_n} \to 0 \quad \text{as } h \to 0. It is convergent of order pp if this maximum is O(hp)O(h^p) for every sufficiently smooth ff and starting values with error O(hp)O(h^p).

Remarks

Example: the Euler method yn+1=yn+hf(tn,yn)y_{n+1} = y_n + h f(t_n, y_n) is an explicit one-step method, convergent of order 11 when ff is Lipschitz in yy. Example: the two-step Adams–Bashforth method yn+2=yn+1+h2(3f(tn+1,yn+1)−f(tn,yn))y_{n+2} = y_{n+1} + \frac{h}{2}\big(3 f(t_{n+1}, y_{n+1}) - f(t_n, y_n)\big) is explicit with k=2k = 2. Non-example of convergence: the explicit two-step rule yn+2=−4yn+1+5yn+h(4f(tn+1,yn+1)+2f(tn,yn))y_{n+2} = -4 y_{n+1} + 5 y_n + h\big(4 f(t_{n+1}, y_{n+1}) + 2 f(t_n, y_n)\big) has local truncation error O(h4)O(h^4) but is not convergent, because the root −5-5 of ζ2+4ζ−5\zeta^2 + 4\zeta - 5 makes perturbations grow like 5n5^n. Many methods use variable steps hn=tn+1−tnh_n = t_{n+1} - t_n; then hh is replaced by max⁡nhn\max_n h_n.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Big O notation concept
  2. Initial value problem concept
  3. Ordinary differential equation concept
  4. Numerical methods for ordinary differential equations definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Numerical_methods_for_ordinary_differential_equations
About this page
TagGJQVTDHKM2
URIm2://GJQVTDHKM2
Kinddefinition
WritingW0 stub
MSC65L05, 65L06, 65L20
DefinesNumerical methods for ordinary differential equations
UsesInitial value problem, Ordinary differential equation, Big O notation

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.