Global Asymptotic Behavior of Iterative Implicit Schemes

The global asymptotic nonlinear behavior of some standard iterative procedures in solving nonlinear systems of algebraic equations arising from four implicit linear multistep methods (LMMs) in discretizing three models of 2 x 2 systems of first-order autonomous nonlinear ordinary differential equations (ODEs) is analyzed using the theory of dynamical systems. The iterative procedures include simple iteration and full and modified Newton iterations. The results are compared with standard Runge-Kutta explicit methods, a noniterative implicit procedure, and the Newton method of solving the steady part of the ODEs. Studies showed that aside from exhibiting spurious asymptotes, all of the four implicit LMMs can change the type and stability of the steady states of the differential equations (DEs). They also exhibit a drastic distortion but less shrinkage of the basin of attraction of the true solution than standard nonLMM explicit methods. The simple iteration procedure exhibits behavior which is similar to standard nonLMM explicit methods except that spurious steady-state numerical solutions cannot occur. The numerical basins of attraction of the noniterative implicit procedure mimic more closely the basins of attraction of the DEs and are more efficient than the three iterative implicit procedures for the four implicit LMMs. Contrary to popular belief, the initial data using the Newton method of solving the steady part of the DEs may not have to be close to the exact steady state for convergence. These results can be used as an explanation for possible causes and cures of slow convergence and nonconvergence of steady-state numerical solutions when using an implicit LMM time-dependent approach in computational fluid dynamics

Analyses and Applications of the Peaceman--Rachford and Douglas--Rachford Splitting Schemes

Splitting methods are widely used as temporal discretizations of evolution equations. Such methods usually constitute competitive choices whenever a vector field can be split into a sum of two or more parts that each generates a flow easier to compute or approximate than the flow of the sum. In the research presented in this Licentiate thesis we consider dissipative evolution equations with vector fields given by unbounded operators. Dynamical systems that fit into this framework can for example be found among Hamiltonian systems and parabolic and hyperbolic partial differential equations (PDEs). The goal of the presented research is to perform convergence analyses for the lternating direction implicit (ADI) methods in the setting of dissipative operators. In this context these methods are known to possess excellent stability properties. Additionally, they generate easily computable numerical flows and are ideal choices for studying convergence to stationary solutions, a property related to their favorable local error structure. In this thesis we consider the Peaceman--Rachford and Douglas--Rachford schemes, which were the first ADI methods to be constructed and to this day are the most representative members of the ADI method class. We perform convergence studies for the Peaceman--Rachford and Douglas--Rachford schemes when applied to semilinear, dissipative evolution equations, that is, when the vector fields are given by the sum of a linear and a nonlinear dissipative operator. Optimal convergence orders are proven when the solution is sufficiently regular. With less regularity present we are still able to prove convergence, however of suboptimal order or without order. In contrast to previous convergence order analyses we do not assume Lipschitz continuity of the nonlinear operator. In the context of linear, dissipative evolution equations we consider full space-time discretizations. We assume that the full discretization is given by combining one of the two aforementioned ADI methods with a general, converging spatial discretization method. In this setting we prove optimal, simultaneous space-time convergence orders. Advection-diffusion-reaction models, encountered in physics, chemistry, and biology are important examples of dissipative evolution equations. In this thesis we present such a model describing the growth of axons in nerve cells. The model consists of a parabolic PDE, which has a non-trivial coupling to nonlinear ordinary differential equations via a moving boundary, which is part of the solution. Since additionally the biological model parameters imply a wide range of scales, both in time and space, the application of a numerical method is involved. We make an argument for a discretization consisting of a splitting which is integrated by the Peaceman--Rachford scheme. The choice is motivate by the results of some numerical experiments

CFD Analysis and Design Optimization Using Parallel Computers

A versatile and efficient multi-block method is presented for the simulation of both steady and unsteady flow, as well as aerodynamic design optimization of complete aircraft configurations. The compressible Euler and Reynolds Averaged Navier-Stokes (RANS) equations are discretized using a high resolution scheme on body-fitted structured meshes. An efficient multigrid implicit scheme is implemented for time-accurate flow calculations. Optimum aerodynamic shape design is achieved at very low cost using an adjoint formulation. The method is implemented on parallel computing systems using the MPI message passing interface standard to ensure portability. The results demonstrate that, by combining highly efficient algorithms with parallel computing, it is possible to perform detailed steady and unsteady analysis as well as automatic design for complex configurations using the present generation of parallel computers