Multi-patch discontinuous Galerkin isogeometric analysis for wave propagation: explicit time-stepping and efficient mass matrix inversion

We present a class of spline finite element methods for time-domain wave propagation which are particularly amenable to explicit time-stepping. The proposed methods utilize a discontinuous Galerkin discretization to enforce continuity of the solution field across geometric patches in a multi-patch setting, which yields a mass matrix with convenient block diagonal structure. Over each patch, we show how to accurately and efficiently invert mass matrices in the presence of curved geometries by using a weight-adjusted approximation of the mass matrix inverse. This approximation restores a tensor product structure while retaining provable high order accuracy and semi-discrete energy stability. We also estimate the maximum stable timestep for spline-based finite elements and show that the use of spline spaces result in less stringent CFL restrictions than equivalent piecewise continuous or discontinuous finite element spaces. Finally, we explore the use of optimal knot vectors based on L2 n-widths. We show how the use of optimal knot vectors can improve both approximation properties and the maximum stable timestep, and present a simple heuristic method for approximating optimal knot positions. Numerical experiments confirm the accuracy and stability of the proposed methods

Higher-order in time “quasi-unconditionally stable” ADI solvers for the compressible Navier–Stokes equations in 2D and 3D curvilinear domains

This paper introduces alternating-direction implicit (ADI) solvers of higher order of time-accuracy (orders two to six) for the compressible Navier–Stokes equations in two- and three-dimensional curvilinear domains. The higher-order accuracy in time results from 1) An application of the backward differentiation formulae time-stepping algorithm (BDF) in conjunction with 2) A BDF-like extrapolation technique for certain components of the nonlinear terms (which makes use of nonlinear solves unnecessary), as well as 3) A novel application of the Douglas–Gunn splitting (which greatly facilitates handling of boundary conditions while preserving higher-order accuracy in time). As suggested by our theoretical analysis of the algorithms for a variety of special cases, an extensive set of numerical experiments clearly indicate that all of the BDF-based ADI algorithms proposed in this paper are “quasi-unconditionally stable” in the following sense: each algorithm is stable for all couples (h,Δt)of spatial and temporal mesh sizes in a problem-dependent rectangular neighborhood of the form (0,M_h)×(0,M_t). In other words, for each fixed value of Δt below a certain threshold, the Navier–Stokes solvers presented in this paper are stable for arbitrarily small spatial mesh-sizes. The second-order formulation has further been rigorously shown to be unconditionally stable for linear hyperbolic and parabolic equations in two-dimensional space. Although implicit ADI solvers for the Navier–Stokes equations with nominal second-order of temporal accuracy have been proposed in the past, the algorithms presented in this paper are the first ADI-based Navier–Stokes solvers for which second-order or better accuracy has been verified in practice under non-trivial (non-periodic) boundary conditions

High-order methods for the numerical solution of the BiGlobal linear stability eigenvalue problem in complex geometries.

A high-order computational tool based on spectral and spectral/hp elements (J. Fluid. Mech. 2009; to appear) discretizations is employed for the analysis of BiGlobal fluid instability problems. Unlike other implementations of this type, which use a time-stepping-based formulation (J. Comput. Phys. 1994; 110(1):82–102; J. Fluid Mech. 1996; 322:215–241), a formulation is considered here in which the discretized matrix is constructed and stored prior to applying an iterative shift-and-invert Arnoldi algorithm for the solution of the generalized eigenvalue problem. In contrast to the time-stepping-based formulations, the matrix-based approach permits searching anywhere in the eigenspace using shifting. Hybrid and fully unstructured meshes are used in conjunction with the spatial discretization. This permits analysis of flow instability on arbitrarily complex 2-D geometries, homogeneous in the third spatial direction and allows both mesh (h)-refinement as well as polynomial (p)-refinement. A series of validation cases has been defined, using well-known stability results in confined geometries. In addition new results are presented for ducts of curvilinear cross-sections with rounded corners

Order 10 4 speedup in global linear instability analysis using matrix formation

A unified solution framework is presented for one-, two- or three-dimensional complex non-symmetric eigenvalue problems, respectively governing linear modal instability of incompressible fluid flows in rectangular domains having two, one or no homogeneous spatial directions. The solution algorithm is based on subspace iteration in which the spatial discretization matrix is formed, stored and inverted serially. Results delivered by spectral collocation based on the Chebyshev-Gauss-Lobatto (CGL) points and a suite of high-order finite-difference methods comprising the previously employed for this type of work Dispersion-Relation-Preserving (DRP) and Padé finite-difference schemes, as well as the Summationby- parts (SBP) and the new high-order finite-difference scheme of order q (FD-q) have been compared from the point of view of accuracy and efficiency in standard validation cases of temporal local and BiGlobal linear instability. The FD-q method has been found to significantly outperform all other finite difference schemes in solving classic linear local, BiGlobal, and TriGlobal eigenvalue problems, as regards both memory and CPU time requirements. Results shown in the present study disprove the paradigm that spectral methods are superior to finite difference methods in terms of computational cost, at equal accuracy, FD-q spatial discretization delivering a speedup of ð (10 4). Consequently, accurate solutions of the three-dimensional (TriGlobal) eigenvalue problems may be solved on typical desktop computers with modest computational effort

Advanced stability theory analyses for laminar flow control

Recent developments of the SALLY computer code for stability analysis of laminar flow control wings are summarized. Extensions of SALLY to study three dimensional compressible flows, nonparallel and nonlinear effects are discussed

Hybrid multigrid methods for high-order discontinuous Galerkin discretizations

The present work develops hybrid multigrid methods for high-order discontinuous Galerkin discretizations of elliptic problems. Fast matrix-free operator evaluation on tensor product elements is used to devise a computationally efficient PDE solver. The multigrid hierarchy exploits all possibilities of geometric, polynomial, and algebraic coarsening, targeting engineering applications on complex geometries. Additionally, a transfer from discontinuous to continuous function spaces is performed within the multigrid hierarchy. This does not only further reduce the problem size of the coarse-grid problem, but also leads to a discretization most suitable for state-of-the-art algebraic multigrid methods applied as coarse-grid solver. The relevant design choices regarding the selection of optimal multigrid coarsening strategies among the various possibilities are discussed with the metric of computational costs as the driving force for algorithmic selections. We find that a transfer to a continuous function space at highest polynomial degree (or on the finest mesh), followed by polynomial and geometric coarsening, shows the best overall performance. The success of this particular multigrid strategy is due to a significant reduction in iteration counts as compared to a transfer from discontinuous to continuous function spaces at lowest polynomial degree (or on the coarsest mesh). The coarsening strategy with transfer to a continuous function space on the finest level leads to a multigrid algorithm that is robust with respect to the penalty parameter of the SIPG method. Detailed numerical investigations are conducted for a series of examples ranging from academic test cases to more complex, practically relevant geometries. Performance comparisons to state-of-the-art methods from the literature demonstrate the versatility and computational efficiency of the proposed multigrid algorithms

Spectral collocation methods

This review covers the theory and application of spectral collocation methods. Section 1 describes the fundamentals, and summarizes results pertaining to spectral approximations of functions. Some stability and convergence results are presented for simple elliptic, parabolic, and hyperbolic equations. Applications of these methods to fluid dynamics problems are discussed in Section 2

Encapsulated generalized summation-by-parts formulations for curvilinear and non-conforming meshes

We extend the construction of so-called encapsulated global summation-by-parts operators to the general case of a mesh which is not boundary conforming. Owing to this development, energy stable discretizations of nonlinear and variable coefficient initial boundary value problems can be formulated in simple and straightforward ways using high-order accurate operators of generalized summation-by-parts type. Encapsulated features on a single computational block or element may include polynomial bases, tensor products as well as curvilinear coordinate transformations. Moreover, through the use of inner product preserving interpolation or projection, the global summation-by-parts property in extended to arbitrary multi-block or multi-element meshes with non-conforming nodal interfaces

BiGlobal stability analysis in curvilinear coordinates of massively separated lifting bodies

A methodology based on spectral collocation numerical methods for global flow stability analysis of incompressible external flows is presented. A potential shortcoming of spectral methods, namely the handling of the complex geometries encountered in global stability analysis, has been dealt with successfully in past works by the development of spectral-element methods on unstructured meshes. The present contribution shows that a certain degree of regularity of the geometry may be exploited in order to build a global stability analysis approach based on a regular spectral rectangular grid in curvilinear coordinates and conformal mappings. The derivation of the stability linear operator in curvilinear coordinates is presented along with the discretisation method. Unlike common practice to the solution of the same problem, the matrix discretising the eigenvalue problem is formed and stored. Subspace iteration and massive parallelisation are used in order to recover a wide window of its leading Ritz system. The method is applied to two external flows, both of which are lifting bodies with separation occurring just downstream of the leading edge. Specifically the flow configurations are a NACA 0015 airfoil, and an ellipse of aspect ratio 8 chosen to closely approximate the geometry of the airfoil. Both flow configurations are at an angle of attack of 18, with a Reynolds number based on the chord length of 200. The results of the stability analysis for both geometries are presented and illustrate analogous features

A stable penalty method for the compressible Navier-Stokes equations: III. Multidimensional domain decomposition schemes

This paper, concluding the trilogy, develops schemes for the stable solution of wave-dominated unsteady problems in general three-dimensional domains. The schemes utilize a spectral approximation in each subdomain and asymptotic stability of the semidiscrete schemes is established. The complex computational domains are constructed by using nonoverlapping quadrilaterals in the two-dimensional case and hexahedrals in the three-dimensional space. To illustrate the ideas underlying the multidomain method, a stable scheme for the solution of the three-dimensional linear advection-diffusion equation in general curvilinear coordinates is developed. The analysis suggests a novel, yet simple, stable treatment of geometric singularities like edges and vertices. The theoretical results are supported by a two-dimensional implementation of the scheme. The main part of the paper is devoted to the development of a spectral multidomain scheme for the compressible Navier-Stokes equations on conservation form and a unified approach for dealing with the open boundaries and subdomain boundaries is presented. Well posedness and asymptotic stability of the semidiscrete scheme is established in a general curvilinear volume, with special attention given to a hexahedral domain. The treatment includes a stable procedure for dealing with boundary conditions at a solid wall. The efficacy of the scheme for the compressible Navier-Stokes equations is illustrated by obtaining solutions to subsonic and supersonic boundary layer flows with various types of boundary conditions. The results are found to agree with the solution of the compressible boundary layer equations