1: \begin{abstract}

2:   The companion paper ``Higher-order in time quasi-unconditionally

3:   stable ADI solvers for the compressible Navier-Stokes equations in

4:   2D and 3D curvilinear domains'', which is referred to as Part~I in

5:   what follows, introduces ADI (Alternating Direction Implicit)

6:   solvers of higher orders of temporal accuracy (orders $s = 2$ to 6)

7:   for the compressible Navier-Stokes equations in two- and

8:   three-dimensional space. The proposed methodology employs the

9:   backward differentiation formulae (BDF) together with a

10:   quasilinear-like formulation, high-order extrapolation for nonlinear

11:   components, and the Douglas-Gunn splitting. A variety of numerical

12:   results presented in Part~I demonstrate in practice the theoretical

13:   convergence rates enjoyed by these algorithms, as well as their

14:   excellent accuracy and stability properties for a wide range of

15:   Reynolds numbers. In particular, the proposed schemes enjoy a

16:   certain property of ``quasi-unconditional stability'': for small

17:   enough (problem-dependent) fixed values of the time-step $\Delta t$,

18:   these algorithms are stable for arbitrarily fine spatial

19:   discretizations. The present contribution presents a mathematical

20:   basis for the performance of these algorithms. Short of providing

21:   stability theorems for the full BDF-ADI Navier-Stokes solvers, this

22:   paper puts forth proofs of unconditional stability and

23:   quasi-unconditional stability for BDF-ADI schemes as well as some

24:   related un-split BDF schemes, for a variety of related linear model

25:   problems in one, two and three spatial dimensions, and for schemes

26:   of orders $2\leq s\leq 6$ of temporal accuracy. Additionally, a set

27:   of numerical tests presented in this paper for the compressible

28:   Navier-Stokes equation indicate that quasi-unconditional stability

29:   carries over to the fully non-linear context.

30: \end{abstract}

31: