1: \begin{abstract}

2: Provable stable arbitrary order symmetric interior

3: penalty discontinuous Galerkin (SIP) discretisations of heterogeneous, 

4: incompressible Stokes flow utilising $Q^2_k$--$Q_{k-1}$ elements

5: and hierarchical Legendre basis polynomials are developed and investigated.

6: For solving the resulting linear system, a block preconditioned iterative

7: method is proposed. 

8: The nested viscous problem is solved by a

9: $hp$-multilevel preconditioned Krylov subspace method.

10: For the $p$-coarsening, a twolevel method

11: utilising element-block Jacobi preconditioned iterations as a smoother

12: is employed. Piecewise bilinear ($Q^2_1$) and piecewise constant

13: ($Q^2_0$) $p$-coarse spaces are considered.

14: Finally, Galerkin $h$-coarsening is proposed and investigated for

15: the two $p$-coarse spaces considered.

16: Through a number of numerical experiments, we demonstrate that utilising the

17: $Q^2_1$ coarse space results in the most robust $hp$-multigrid method for

18: heterogeneous Stokes flow.

19: Using this $Q^2_1$ coarse space we observe that the convergence of the overall

20: Stokes solver appears to be robust with respect to the jump in the viscosity and only mildly depending on the

21: polynomial order $k$.

22: It is demonstrated and supported by theoretical results that the convergence of

23: the SIP discretisations and the iterative methods

24: rely on a sharp choice of the penalty parameter based on local values

25: of the viscosity.

26: \end{abstract}