Numerical Methods Problem Sheet 2
Numerical Methods Problem Sheet 2
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.