'The Japan Society for Industrial and Applied Mathematics'
Abstract
The dynamics of the theta method for arbitrary systems of nonlinear ordinary differential equations are analysed. Two scalar examples are presented to demonstrate the importance of spurious solutions in determining the dynamics of discretisations. A general system of differential equations is then considered. It is shown that the choice θ = ½ does not generate spurious solutions of period 2 in the timestep n. Using bifurcation theory, it is shown that for θ ≠ ½ the theta method does generate spurious solutions of period 2. The existence and form of spurious solutions are examined in the limit △t ⟶ 0. The existence of spurious steady solutions in a predictor-corrector method is proved to be equivalent to the existence of spurious period 2 solutions in the Euler method. The theory is applied to several examples from nonlinear parabolic equations. Numerical continuation is used to trace out the spurious solutions as Lit is varied. Timestepping experiments are presented to demonstrate the effect of the spurious solutions on the dynamics and some complementary theoretical results are proved. In particular, the linear stability restriction △t/△ x^2 ≤ ½ for the Euler method applied to the heat equation is generalised to cope with a nonlinear problem. This naturally introduces a restriction on △t in terms of the initial data; this restriction is necessary to avoid the effect of spurious periodic solutions