Investigation of solution of Navier–Stokes equations using a variational formulation

A variational formulation for the solution of two dimensional, incompressible viscous flows has been developed by one of the authors.¹ The main objective of the present paper is to demonstrate the applicability of this approach for the solution of practical problems and in particular to investigate the introduction of boundary conditions to the Navier-Stokes equations through a variational formulation. The application of boundary conditions for typical internal and external flow problems is presented. Sample cases include flow around a cylinder and flow through a stepped channel. Quadrilateral, bilinear isoparametric elements are utilized in the formulation. A single-step, implicit, and fully coupled numerical integration scheme based on the variational principle is employed. Presented results include sample cases with different Reynolds numbers for laminar and turbulent flows. Turbulence is modelled using a simple mixing length model. Numerical results show good agreement with existing solutions.     

Stream function finite element solution of Stokes flow with penalties

A finite element method for solution of the stream function formulation of Stokes flow is developed. The method involves complete cubic non-conforming (C⁰) triangular Hermite elements. This element fails the patch test. To correct the element and produce a convergent method we employ a penalty method to weakly enforce the desired continuity constraint on the normal derivative across the inter-element boundaries. Successful use of the method is demonstrated to require reduced integration of the inter-element penalty with a 1-point Gauss rule. Error estimates relate the optimal choice of penalty parameter to mesh size and are corroborated by numerical convergence studies. The need for reduced integration is interpreted using rank relations for an associated hybrid method.     

A boundary element formulation using the simple method

A new boundary element method is described for calculation of the steady incompressible laminar flows. The method is based on the well-known SIMPLE algorithm. The new boundary element method allows one to find the fields of the pressure and velocity corrections without inner iterations, thus reducing the computational time drastically. This makes it different from the method developed by Patankar and Spalding.³² However, the new method demands a much larger computer strorage. The boundary integral equations are discretized with the help of constant boundary elements and constant cells. The values of the integrals along the boundary elements and the cells for the two-dimensional domain are found analytically. To preserve the stability in the iteration process, under-relaxation for the convection terms is used. This paper gives the results of calculations of the flows between two plane parallel plates at Re = 20 and Re = 200, the flows in a square cavity with a moving upper lid at Re = 1 and Re = 100 and the flow in a plane channel with sudden symmetric expansion at Re =46·6.     

Finite element analysis of axisymmetric free jet impingement

A numerical algorithm to determine the impingement of an axisymmetric free jet upon a curved deflector is presented. The problem is considered within the potential flow theory with the allowance of gravity and surface tension effects. The primary dependent variable is the Stokes streamfunction, which is approximated through finite elements using the isoparametric Hermite Zienkiewicz element. To find the correct position of the free boundaries, a trial-and-error method is employed which amounts to solving a boundary value problem (BVP) for the Stokes streamfunction at each iteration step. An efficient method is proposed to solve this BVP. The algorithm to find the correct position of the free boundaries is tested by computing the impingement upon an infinite disc and a hemispherical deflector. To confirm the correctness of the solution, each problem has been solved using several different mesh gradings. A comparison between the Zienkiewicz and the other standard C⁰ finite elements is also given.     

A study of penalty elements for incompressible laminar flows

A finite element model is developed based on the penalty formulation to study incompressible laminar flows. The study includes a number of new quadrilateral and triangular elements for 2-dimensional flows and a number of new hexahedral and tetrahedral elements for 3-dimensional flows. All elements employ continuous velocity approximations and discontinuous pressure approximations respecting the LBB condition of numerical instability. An incremental Newton–Raphson method coupled with the Broyden method is used to solve the non-linear equations. Several numerical examples (colliding flow, cavity flow, etc.) are presented to assess the efficiency of elements.     

Parallel large eddy simulation of turbulent flow around MIRA model using linear equal‐order finite element method

A parallel large eddy simulation code that adopts domain decomposition method has been developed for large‐scale computation of turbulent flows around an arbitrarily shaped body. For the temporal integration of the unsteady incompressible Navier–Stokes equation, fractional 4‐step splitting algorithm is adopted, and for the modelling of small eddies in turbulent flows, the Smagorinsky model is used. For the parallelization of the code, METIS and Message Passing Interface Libraries are used, respectively, to partition the computational domain and to communicate data between processors. To validate the parallel architecture and to estimate its performance, a three‐dimensional laminar driven cavity flow inside a cubical enclosure has been solved. To validate the turbulence calculation, the turbulent channel flows at Re_τ = 180 and 1050 are simulated and compared with previous results. Then, a backward facing step flow is solved and compared with a DNS result for overall code validation. Finally, the turbulent flow around MIRA model at Re = 2.6 × 10⁶ is simulated by using approximately 6.7 million nodes. Scalability curve obtained from this simulation shows that scalable results are obtained. The calculated drag coefficient agrees better with the experimental result than those previously obtained by using two‐equation turbulence models. Copyright © 2007 John Wiley & Sons, Ltd.     

A least-squares finite element method for time-dependent incompressible flows with thermal convection

The time-dependent Navier–Stokes equations and the energy balance equation for an incompressible, constant property fluid in the Boussinesq approximation are solved by a least-squares finite element method based on a velocity–pressure–vorticity–temperature–heat-flux ( u –P–ω–T– q ) formulation discretized by backward finite differencing in time. The discretization scheme leads to the minimization of the residual in the l²-norm for each time step. Isoparametric bilinear quadrilateral elements and reduced integration are employed. Three examples, thermally driven cavity flow at Rayleigh numbers up to 10⁶, lid-driven cavity flow at Reynolds numbers up to 10⁴ and flow over a square obstacle at Reynolds number 200, are presented to validate the method.     

Large eddy simulations of wall‐bounded flows using a simplified immersed boundary method and high‐order compact schemes

This paper presents a solution algorithm based on an immersed boundary (IB) method that can be easily implemented in high‐order codes for incompressible flows. The time integration is performed using a predictor‐corrector approach, and the projection method is used for pressure‐velocity coupling. Spatial discretization is based on compact difference schemes and is performed on half‐staggered meshes. A basic algorithm for body‐fitted meshes using the aforementioned solution method was developed by A. Tyliszczak (see article “A high‐order compact difference algorithm for half‐staggered grids for laminar and turbulent incompressible flows” in Journal of Computational Physics) and proved to be very accurate. In this paper, the formulated algorithm is adapted for use with the IB method in the framework of large eddy simulations. The IB method is implemented using its simplified variant without the interpolation (stepwise approach). The computations are performed for a laminar flow around a 2D cylinder, a turbulent flow in a channel with a wavy wall, and around a sphere. Comparisons with literature data confirm that the proposed method can be successfully applied for complex flow problems. The results are verified using the classical approach with body‐fitted meshes and show very good agreement both in laminar and turbulent regimes. The mean (velocity and turbulent kinetic energy profiles and drag coefficients) and time‐dependent (Strouhal number based on the drag coefficient) quantities are analyzed, and they agree well with reference solutions. Two subfilter models are compared, ie, the model of Vreman (see article “An eddy‐viscosity subgrid‐scale model for turbulent shear flow: algebraic theory and applications” in Physics and Fluids) and σ model (Nicoud et al, see article “Using singular values to build a subgrid‐scale model for large eddy simulations” in Physics and Fluids). The tests did not reveal evident advantages of any of these models, and from the point of view of solution accuracy, the quality of the computational meshes turned out to be much more important than the subfilter modeling.     

Stabilized finite‐element computation of compressible flow with linear and quadratic interpolation functions

The unsteady compressible flow equations are solved using a stabilized finite‐element formulation with C⁰ elements. In 2D, the performance of three‐noded linear and six‐noded quadratic triangular elements is compared. In 3D, the relative performance is evaluated for 6‐noded linear and 18‐noded quadratic wedge elements. Results are compared for the solutions to Euler, laminar, and turbulent flows at different Mach numbers for several flow problems. The finite‐element meshes considered for comparison have same location of nodes for the linear and quadratic interpolations. For the turbulent flow, the Spalart–Allmaras model is used for closure. It is found that the quadratic elements yield better performance than the linear elements. This is attributed to accurate representation of the stabilization terms that involve second‐order derivatives in the formulation. When these terms are dropped from the formulation with quadratic interpolation, the numerical results are similar to those obtained with linear interpolation. The absence of these terms result in added numerical diffusion that seems to give the effect of a relatively reduced Reynolds number. For the same location of nodes, the computations with the linear triangular and wedge elements are approximately 20% and 100% faster than those with quadratic triangular and wedge elements, respectively. However, if the same quadrature rule for numerical integration is used for both interpolations, the computations with quadratic elements are approximately 20% and 45% faster in 2D and 3D, respectively. Copyright © 2014 John Wiley & Sons, Ltd.     

Buoyancy modelling with incompressible SPH for laminar and turbulent flows

This work aims to model buoyant, laminar or turbulent flows, using a two‐dimensional incompressible smoothed particle hydrodynamics model with accurate wall boundary conditions. The buoyancy effects are modelled through the Boussinesq approximation coupled to a heat equation, which makes it possible to apply an incompressible algorithm to compute the pressure field from a Poisson equation. Based on our previous work [1], we extend the unified semi‐analytical wall boundary conditions to the present model. The latter is also combined to a Reynolds‐averaged Navier–Stokes approach to treat turbulent flows. The k ? ? turbulence model is used, where buoyancy is modelled through an additional term in the k ? ? equations like in mesh‐based methods. We propose a unified framework to prescribe isothermal (Dirichlet) or to impose heat flux (Neumann) wall boundary conditions in incompressible smoothed particle hydrodynamics. To illustrate this, a theoretical case is presented (laminar heated Poiseuille flow), where excellent agreement with the theoretical solution is obtained. Several benchmark cases are then proposed: a lock‐exchange flow, two laminar and one turbulent flow in differentially heated cavities, and finally a turbulent heated Poiseuille flow. Comparisons are provided with a finite volume approach using an open‐source industrial code. Copyright © 2015 John Wiley & Sons, Ltd.     

Finite element implementation of boundary conditions for the pressure Poisson equation of incompressible flow

In this paper we address the problem of the implementation of boundary conditions for the derived pressure Poisson equation of incompressible flow. It is shown that the direct Galerkin finite element formulation of the pressure Poisson equation automatically satisfies the inhomogeneous Neumann boundary conditions, thus avoiding the difficulty in specifying boundary conditions for pressure. This ensures that only physically meaningful pressure boundary conditions consistent with the Navier-Stokes equations are imposed. Since second derivatives appear in this formulation, the conforming finite element method requires C¹ continuity. However, for many problems of practical interest (i.e. high Reynolds numbers) the second derivatives need not be included, thus allowing the use of more conventional C⁰ elements. Numerical results using this approach for a wall-driven contained flow within a square cavity verify the validity of the approach. Although the results were obtained for a two-dimensional problem using the p-version of the finite element method, the approach presented here is general and remains valid for the conventional h-version as well as three-dimensional problems.     

Development of LBGK and incompressible LBGK‐based lattice Boltzmann flux solvers for simulation of incompressible flows

This paper presents lattice Boltzmann Bhatnagar–Gross–Krook (LBGK) model and incompressible LBGK model‐based lattice Boltzmann flux solvers (LBFS) for simulation of incompressible flows. LBFS applies the finite volume method to directly discretize the governing differential equations recovered by lattice Boltzmann equations. The fluxes of LBFS at each cell interface are evaluated by local reconstruction of lattice Boltzmann solution. Because LBFS is applied locally at each cell interface independently, it removes the major drawbacks of conventional lattice Boltzmann method such as lattice uniformity, coupling between mesh spacing, and time interval. With LBGK and incompressible LBGK models, LBFS are examined by simulating decaying vortex flow, polar cavity flow, plane Poiseuille flow, Womersley flow, and double shear flows. The obtained numerical results show that both the LBGK and incompressible LBGK‐based LBFS have the second order of accuracy and high computational efficiency on nonuniform grids. Furthermore, LBFS with both LBGK models are also stable for the double shear flows at a high Reynolds number of 10⁵. However, for the pressure‐driven plane Poiseuille flow, when the pressure gradient is increased, the relative error associated with LBGK model grows faster than that associated with incompressible LBGK model. It seems that the incompressible LBGK‐based LBFS is more suitable for simulating incompressible flows with large pressure gradients. Copyright © 2014 John Wiley & Sons, Ltd.     

A non‐linear k–ε model with realizability for prediction of flows around bluff bodies

The incompressible flow around bluff bodies (a square cylinder and a cube) is investigated numerically using turbulence models. A non‐linear k–ε model, which can take into account the anisotropy of turbulence with less CPU time and computer memory then RSM or LES, is adopted as a turbulence model. In tuning of the model coefficients of the non‐linear terms are adjusted through the examination of previous experimental studies in simple shear flows. For the tuning of the coefficient in the eddy viscosity (=C_μ), the realizability constraints are derived in three types of basic 2D flow patterns, namely, a simple shear flow, flow around a saddle and a focal point. C_μ is then determined as a function of the strain and rotation parameters to satisfy the realizability. The turbulence model is first applied to a 2D flow around a square cylinder and the model performance for unsteady flows is examined focussing on the period and the amplitude of the flow oscillation induced by Karman vortex shedding. The applicability of the model to 3D flows is examined through the computation of the flow around a surface‐mounted cubic obstacle. The numerical results show that the present model performs satisfactorily to reproduce complex turbulent flows around bluff bodies. Copyright © 2003 John Wiley & Sons, Ltd.     

On the treatment of nonlinear unilateral contact problems

Summary This paper is concerned with finite deformations of elastic bodies in the presence of unilateral constraints. The penalty formulation is applied to introduce the contact constraints. We develop special isoparametric contact elements. Starting from their Gaussian points the distance between the body and the obstacle is determined, where the obstacle is given as aC ² continuous function. Variation and subsequent consistent linearization yield the tangent matrix of the contact elements in its general form, which can be incorporated into standard finite element schemes.

---

Zur Behandlung nichtlinearer unilateraler Kontaktprobleme

Übersicht Es wird das Kontaktverhalten eines deformierbaren Körpers beschrieben, der endliche Deformationen erfährt, wenn er auf ein starres Hindernis gedrückt wird. Dabei findet die Penalty-Formulierung Anwendung. Zur Kontakterkennung werden isoparametrische Kontaktelemente verwendet. Ausgehend von deren Gausspunkten wird der Abstand des Körpers zum Hindernis bestimmt, das alsC ²-stetige Funktion beschrieben wird. Variation und anschließende konsistente Linearisierung liefern die Tangentenmatrix für die Kontaktelemente in allgemeiner Form, die dann in ein standardmäßiges Finit-Element-Programm eingebaut werden kann.

     

A stabilized Nitsche‐type extended embedding mesh approach for 3D low‐ and high‐Reynolds‐number flows

This paper presents a stabilized extended finite element method (XFEM) based fluid formulation to embed arbitrary fluid patches into a fixed background fluid mesh. The new approach is highly beneficial when it comes to computational grid generation for complex domains, as it allows locally increased resolutions independent from size and structure of the background mesh. Motivating applications for such a domain decomposition technique are complex fluid‐structure interaction problems, where an additional boundary layer mesh is used to accurately capture the flow around the structure. The objective of this work is to provide an accurate and robust XFEM‐based coupling for low‐ as well as high‐Reynolds‐number flows. Our formulation is built from the following essential ingredients: Coupling conditions on the embedded interface are imposed weakly using Nitsche's method supported by extra terms to guarantee mass conservation and to control the convective mass transport across the interface for transient viscous‐dominated and convection‐dominated flows. Residual‐based fluid stabilizations in the interior of the fluid subdomains and accompanying face‐oriented fluid and ghost‐penalty stabilizations in the interface zone stabilize the formulation in the entire fluid domain. A detailed numerical study of our stabilized embedded fluid formulation, including an investigation of variants of Nitsche's method for viscous flows, shows optimal error convergence for viscous‐dominated and convection‐dominated flow problems independent of the interface position. Challenging two‐dimensional and three‐dimensional numerical examples highlight the robustness of our approach in all flow regimes: benchmark computations for laminar flow around a cylinder, a turbulent driven cavity flow at Re = 10000 and the flow interacting with a three‐dimensional flexible wall. Copyright © 2016 John Wiley & Sons, Ltd.     

A spectral quadrilateral multidomain penalty method model for high Reynolds number incompressible stratified flows

A two‐dimensional quadrilateral spectral multidomain penalty method (SMPM) model has been developed for the simulation of high Reynolds number incompressible stratified flows. The implementation of higher‐order quadrilateral subdomains renders this model a nontrivial extension of a one‐dimensional subdomain SMPM model built for the simulation of the same type of flows in vertically nonperiodic domains (Diamessis et al., J. Comp. Phys, 202 :298‐322, 2005). The nontrivial aspects of this extension consist of the implementation of subdomain corners, the penalty formulation of the pressure Poisson equation (PPE), and, most importantly, the treatment of specific challenges that arise in the iterative solution of the SMPM‐discretized PPE. The two primary challenges within the framework of the iterative solution of the PPE are its regularization to ensure the consistency of the associated linear system of equations and the design of an appropriate two‐level preconditioner. A qualitative and quantitative assessment of the accuracy, efficiency, and stability of the quadrilateral SMPM solver is provided through its application to the standard benchmarks of the Taylor vortex, lid‐driven cavity, and double shear layer. The capacity of the flow solver for the study of environmental stratified flow processes is shown through the simulation of long‐distance propagation of an internal solitary wave of depression in a manner that is free of numerical dispersion and dissipation. The methods and results presented in this paper make it a point of reference for future studies oriented toward the reliable application of the quadrilateral SMPM model to more complex environmental stratified flow process studies. Copyright © 2014 John Wiley & Sons, Ltd.     

An extension of the SIMPLE based discontinuous Galerkin solver to unsteady incompressible flows

In this paper, we present a SIMPLE based algorithm in the context of the discontinuous Galerkin method for unsteady incompressible flows. Time discretization is done fully implicit using backward differentiation formulae (BDF) of varying order from 1 to 4. We show that the original equation for the pressure correction can be modified by using an equivalent operator stemming from the symmetric interior penalty (SIP) method leading to a reduced stencil size. To assess the accuracy as well as the stability and the performance of the scheme, three different test cases are carried out: the Taylor vortex flow, the Orr‐Sommerfeld stability problem for plane Poiseuille flow and the flow past a square cylinder. (1) Simulating the Taylor vortex flow, we verify the temporal accuracy for the different BDF schemes. Using the mixed‐order formulation, a spatial convergence study yields convergence rates of k + 1 and k in the L²‐norm for velocity and pressure, respectively. For the equal‐order formulation, we obtain approximately the same convergence rates, while the absolute error is smaller. (2) The stability of our method is examined by simulating the Orr–Sommerfeld stability problem. Using the mixed‐order formulation and adjusting the penalty parameter of the symmetric interior penalty method for the discretization of the viscous part, we can demonstrate the long‐term stability of the algorithm. Using pressure stabilization the equal‐order formulation is stable without changing the penalty parameter. (3) Finally, the results for the flow past a square cylinder show excellent agreement with numerical reference solutions as well as experiments. Copyright © 2015 John Wiley & Sons, Ltd.     

A sensitivity analysis on the parameter of the GLS method for a second‐gradient theory of incompressible flow

Using a non‐conforming C⁰‐interior penalty method and the Galerkin least‐square approach, we develop a continuous–discontinuous Galerkin finite element method for discretizing fourth‐order incompressible flow problems. The formulation is weakly coercive for spaces that fail to satisfy the inf‐sup condition and consider discontinuous basis functions for the pressure field. We consider the results of a stability analysis through a lemma which indicates that there exists an optimal or quasi‐optimal least‐square stability parameter that depends on the polynomial degree used to interpolate the velocity and pressure fields, and on the geometry of the finite element in the mesh. We provide several numerical experiments illustrating such dependence, as well as the robustness of the method to deal with arbitrary basis functions for velocity and pressure, and the ability to stabilize large pressure gradients. We believe the results provided in this paper contribute for establishing a paradigm for future studies of the parameter of the Galerkin least square method for second‐gradient theory of incompressible flow problems. Copyright © 2015 John Wiley & Sons, Ltd.     

The calculation of incompressible separated turbulent boundary layers

The algebraic turbulent model of Baldwin and Lomax was incorporated into the incompressible full Navier–Stokes code FIDAP. This model was extensively tested in the past in finite difference codes. We believe that the incorporation of the model also into the finite element code has resulted in a practical method to compute a variety of separated turbulent 2D flows. Firstly, we use the model to compute the attached flow about an aerofoil. Next, the application of the model to separated flows is presented by computing the flows at high angles of attack up to maximum lift. It is shown that the model is capable of predicting separation, steady stall and C_Lmax. As a difficult test of the model we compute the laminar separation bubble development directly using the full Navier–Stokes finite element code. As far as we know, this approach has not yet been reported. The importance of using an appropriate upwinding is discussed. When possible, comparison of computed results with experiments is presented and the agreement is good.