0% found this document useful (0 votes)
11 views2 pages

Numerical Methods Problem Sheet 2

Numerical Analysis practice questions

Uploaded by

Akshay
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
11 views2 pages

Numerical Methods Problem Sheet 2

Numerical Analysis practice questions

Uploaded by

Akshay
Copyright
© All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd

MA4255: Problem Sheet 2

AY 2021/22

submit your solutions to Q1(iv) & Q4(i)–(ii) & Q5(i) by 27 February.

Q1 Adams–Bashforth and Adams–Moulton methods

(i) For k ∈ {1, 2}, derive the k-step Adams–Moulton method from (40) of the lecture
notes (Hint: truncate after the (k + 1)-th term).

(ii) For k ∈ {1, 2, 3}, derive the k-step Adams–Bashforth method from (41) of the lecture
notes (Hint: truncate after the k-th term).

(iii) For the two-step Adams–Moulton method, compute the order of accuracy, the error
constant, and the interval of absolute stability.

(iv) For the three-step Adams–Bashforth method, compute the order of accuracy, the error
constant, and the interval of absolute stability.

MATLAB: Test the performance of the various Adams–Bashforth methods at the IVP from
PS1 Q4 (use a one-step method to obtain the starting values).

Q2 Properties of the θ-method

For which values of θ ∈ [0, 1] is the θ-method (i) zero-stable? (ii) A-stable? (iii) A(α)-stable
for some α ∈ (0, π2 )?

Q3 Surrounding absolute stability

(i) Find the interval of absolute stability and the region of absolute stability of the trapez-
ium rule method and the Simpson rule method.

(ii) Show that the BDF method 3yn+2 − 4yn+1 + yn = 2hfn+2 is A-stable.

Q4 LMMs: Order of accuracy, zero-stability, convergence

(i) Construct a linear 1-step method of maximum order of accuracy. Is the method
zero-stable?

(ii) Find the order of accuracy of the linear 3-step method

11yn+3 + 27yn+2 − 27yn+1 − 11yn = 3h(fn+3 + 9fn+2 + 9fn+1 + fn ).

Is the method convergent?


February 8, 2022 2

(iii) For a, b ∈ R fixed, consider a LMM with ρ(z) = (z − 1)(az + 1 − a) and σ(z) =
(z − 1)2 b + (z − 1)a + 12 (z + 1). Find the order or accuracy of the method. For which
values of a, b is the method zero-stable?

(iv) Show that a linear explicit three-step method cannot be both fourth-order accurate
and convergent.

Q5 Order of accuracy of LMMs

(i) For i ∈ N0 define gi : R → R by gi (x) := xi . Show that a LMM with σ(1) 6= 0 has
order of accuracy p iff

Lh (gi ) = 0 ∀i ∈ {0, . . . , p}, and Lh (gp+1 ) 6= 0,

where Lh is the operator which maps a continuously differentiable function u : R → R


to the function Lh u : R → R defined by
k
X
αj u(x + jh) − hβj u0 (x + jh) .

[Lh u](x) :=
j=0

(ii) Show that a LMM with σ(1) 6= 0 has order of accuracy of at least p iff

ρ(eh ) − hσ(eh ) = O(hp+1 ).

Q6 Stiff IVPs

Solve the following IVPs and decide whether they are stiff.
 4

(i) y 0 (x) = 105 e−10 x + 1 (1 − y(x)), x ∈ [0, 1], y(0) = 2.
   
−0.5 0.501 1.1
(ii) y0 (x) = y(x), x ∈ [0, 1], y(0) = . (Here, y : [0, 1] → R2 .)
0.501 −0.5 −0.9

MA4255: Numerical Methods in Differential Equations Problem Sheet 2

Common questions

Powered by AI

A stiff IVP is characterized by rapidly changing solutions that require careful step size control in numerical methods to avoid instability. Identification involves inspecting the problem's differential equation and its Jacobian, where large eigenvalue magnitudes compared to smaller ones indicate stiffness. For instance, evaluating the example y′(x) = 105e^−104x + 1 (1 − y(x)), which has steep temporary layers, can highlight stiffness through rapid changes over a finite interval.

The θ-method is both A-stable and zero-stable for θ = 0.5 (the midpoint rule) and θ = 1 (backward Euler method). These values ensure that the method remains stable for any large time steps, which is the defining characteristic of A-stability, and it maintains stability in case of small perturbations, fulfilling zero-stability conditions.

The BDF method is shown to be A-stable by examining its characteristic polynomial and ensuring that all roots lie within or on the unit circle. The stability region analysis confirms that the polynomial's roots, when transformed using the BDF's step size and eigenvalues, do not cause the stability function to exceed a modulus of one for any given step, verifying its A-stability for stiff equations.

To construct a linear one-step method with maximum order of accuracy, use Taylor series expansion to match the terms of the differential equation with the discretized approximation, maximizing the order by ensuring as many terms as possible are accurate. To check zero-stability, link the method's characteristic polynomial to the root condition, ensuring all roots lie within or on the unit circle, with repeated roots only on the circle.

To determine the interval of absolute stability for the three-step Adams-Bashforth method, you compute the roots of the characteristic polynomial derived from the method. Then, evaluate the stability function associated with these roots and examine its behavior to find where it remains bounded by 1, leading to the determination of the interval of absolute stability for the method.

To test the performance of various Adams-Bashforth methods on a given IVP, first utilize an initial method like the one-step method to generate starting values. Next, implement each Adams-Bashforth procedure on the IVP, assessing the solution concerning error, convergence rate, and computational efficiency to compare performance across different methods.

To derive the k-step Adams-Moulton method for k ∈ {1, 2}, you start by truncating the given formula after the (k+1)-th term. This involves using the implicit formula for the Adams-Moulton methods, which represents a backward difference method, and applying it to obtain the correct number of steps, ensuring the terms up to (k+1) are used to calculate the coefficients that will contribute to the approximation at each step.

The condition σ(1) ≠ 0 signifies that the method utilizes the differential equation derivatives in approximating the solution. This non-zero condition ensures that the method systematically satisfies the difference equation up to a certain order given by the method's polynomial approximation, thus directly influencing the method's order of accuracy by providing necessary non-homogeneous terms in the error expression.

To find the regions of absolute stability for the trapezium rule and Simpson rule methods, you can analyze their stability functions by substituting the complex number z = hλ, where h is the step size and λ is the eigenvalue into the derived polynomial or rational form, and subsequently sketching the region in the complex plane where the modulus of these functions is less than or equal to 1.

A linear explicit three-step method cannot be both fourth-order accurate and convergent due to the Dahlquist barrier, which limits the maximum attainable order of explicit multistep methods with a given number of steps to be less than the number of points used. A fourth-order accurate method with three steps leads to at least one root outside the unit circle violating the zero-stability requirement, hence rendering it non-convergent.

You might also like