An hp‐adaptive unstructured finite volume solver for compressible flows

The idea of hp‐adaptation, which has originally been developed for compact schemes (such as finite element methods), suggests an adaptation scheme using a mixture of mesh refinement and order enrichment based on the smoothness of the solution to obtain an accurate solution efficiently. In this paper, we develop an hp‐adaptation framework for unstructured finite volume methods using residual‐based and adjoint‐based error indicators. For the residual‐based error indicator, we use a higher‐order discrete operator to estimate the truncation error, whereas this estimate is weighted by the solution of the discrete adjoint problem for an output of interest to form the adaptation indicator for adjoint‐based adaptations. We perform our adaptation by local subdivision of cells with nonconforming interfaces allowed and local reconstruction of higher‐order polynomials for solution approximations. We present our results for two‐dimensional compressible flow problems including subsonic inviscid, transonic inviscid, and subsonic laminar flow around the NACA 0012 airfoil and also turbulent flow over a flat plate. Our numerical results suggest the efficiency and accuracy advantages of adjoint‐based hp‐adaptations over uniform refinement and also over residual‐based adaptation for flows with and without singularities.     

Modeling Three-Dimensional Groundwater Flows by the Body-Fitted Coordinate (BFC) Method: II. Free and Moving Boundary Problems

This paper presents a methodology and solution procedure of the time-dependent body-fitted coordinate (BFC) method for the analysis of transient, three-dimensional groundwater flow problems characterized by free and moving boundaries. The technique consists of numerical grid generation, time-dependent body-fitted coordinate transformation, and application of the finite difference method (FDM) to the transformed partial differential equations. Based on the time-dependent BFC method, a three-dimensional finite-difference computer code, BFC3DGW, was developed and used to solve two unconfined flow problems. The code was verified by comparing numerical results with analytical solutions for a steady-state seepage problem. In order to demonstrate capability of the method in dealing with flow problems with irregular and moving boundary surfaces, an unconfined well-flow problem was solved by the developed code. Difficulties associated with the free and moving irregular boundary have been successfully overcome by employing this method.     

Nonlinear corrector for Reynolds-averaged Navier-Stokes equations

The scope of this paper is to present a nonlinear error estimation and correction for Navier-Stokes and Reynolds-averaged Navier-Stokes equations. This nonlinear corrector enables better solution or functional output predictions at fixed mesh complexity and can be considered in a mesh adaptation process. After solving the problem at hand, a corrected solution is obtained by solving again the problem with an added source term. This source term is deduced from the evaluation of the residual of the numerical solution interpolated on the h/2 mesh. To avoid the generation of the h/2 mesh (which is prohibitive for realistic applications), the residual at each vertex is computed by local refinement only in the neighborhood of the considered vertex. One of the main feature of this approach is that it automatically takes into account all the properties of the considered numerical method. The numerical examples point out that it successfully improves solution predictions and yields a sharp estimate of the numerical error. Moreover, we demonstrate the superiority of the nonlinear corrector with respect to linear corrector that can be found in the literature.     

Large-Time Behavior of Solutions to Hyperbolic-Elliptic Coupled Systems

We are concerned with the asymptotic behavior of a solution to the initial value problem for a system of hyperbolic conservation laws coupled with elliptic equations. This kind of problem was first considered in our previous paper. In the present paper, we generalize the previous results to a broad class of hyperbolic-elliptic coupled systems. Assuming the existence of the entropy function and the stability condition, we prove the global existence and the asymptotic decay of the solution for small initial data in a suitable Sobolev space. Then, it is shown that the solution is well approximated, for large time, by a solution to the corresponding hyperbolic-parabolic coupled system. The first result is proved by deriving a priori estimates through the standard energy method. The spectral analysis with the aid of the a priori estimate gives the second result.     

Using adjoint error estimation techniques for elastohydrodynamic lubrication line contact problems

The use of an adjoint technique for goal‐based error estimation described by Hartit et al. (Int. J. Numer. Meth. Fluids 2005; 47 :1069–1074) is extended to the numerical solution of free boundary problems that arise in elastohydrodynamic lubrication (EHL). EHL systems are highly nonlinear and consist of a thin‐film approximation of the flow of a non‐Newtonian lubricant which separates two bodies that are forced together by an applied load, coupled with a linear elastic model for the deformation of the bodies. A finite difference discretization of the line contact flow problem is presented, along with the numerical evaluation of an exact solution for the elastic deformation, and a moving grid representation of the free boundary that models cavitation at the outflow in this one‐dimensional case. The application of a goal‐based error estimate for this problem is then described. This estimate relies on the solution of an adjoint problem; its effectiveness is demonstrated for the physically important goal of the total friction through the contact. Finally, the application of this error estimate to drive local mesh refinement is demonstrated. Copyright © 2010 John Wiley & Sons, Ltd.     

A PSEUDOSPECTRAL CODE FOR CONVECTION WITH AN ANALYTICAL/NUMERICAL IMPLEMENTATION OF HORIZONTAL BOUNDARY CONDITIONS

A new code for simulating convection in a horizontal layer of fluid is described. The code can be used to study the usual Rayleigh –Bénard convection problem but can also incorporate internal heating, rotation and the vortex force responsible for Langmuir circulation. Boundary conditions in the horizontal directions are periodic, but a wide range of conditions may be imposed on the upper and lower boundaries. A novel feature of the method is the way in which these boundary conditions are implemented through the following analytical/numerical technique. The governing partial differential equations are reduced to a number of inhomogeneous second-order ODEs for the horizontal Fourier modes. The solutions to these are then written as the sum of a particular integral and a complementary function. The former is easily computed (numerically) without regard to the boundary conditions and the latter is then selected (analytically/numerically) to ensure that the boundary conditions are met. We apply our code to the problem of highly supercritical thermal convection in a shear flow. We compare our results with simulations in the literature and, by integrating over a longer time interval, find flow features not observed in the previous simulations, including stable time-dependent states, multiple stable equilibria and chaos. © 1997 John Wiley & Sons, Ltd.     

A Variational Approach for the Navier–Stokes System

We introduce a variational approach to treat the regularity of the Navier–Stokes equations both in dimensions 2 and 3. Though the method allows the full treatment in dimension 2, we seek to precisely stress where it breaks down for dimension 3. The basic feature of the procedure is to look directly for strong solutions, by minimizing a suitable error functional that measures the departure of feasible fields from being a solution of the problem. By considering the divergence-free property as part of feasibility, we are able to avoid the explicit analysis of the pressure. Two main points in our analysis are:

A component framework for the parallel solution of the incompressible Navier–Stokes equations with Radau‐IIA methods

An efficient solution strategy for the simulation of incompressible fluids needs adequate and accurate space and time discretization schemes. In this paper, for the space discretization, we use an inf–sup stable finite element method and for the time discretization, Radau‐IIA methods of higher order, which have the advantage that the pressure component has convergence order s in time, where s is the number of internal stages. The disadvantage of this approach is that we have a high computational amount of work, because large nonlinear systems of equations have to solved. In this paper, we use a transformation of the coefficient matrix and the simplified Newton method. This approach has the effect that our large nonlinear systems split into smaller ones, which can now also be solved in parallel. For the parallelization of the code we use the software component technology and the Component Template Library. Numerical examples show that high order in the pressure component can be achieved and that the proposed solution technique is very effective. Copyright © 2015 John Wiley & Sons, Ltd.     

Anisotropic mesh adaption for time‐dependent problems

We propose a space–time adaptive procedure for a model parabolic problem based on a theoretically sound anisotropic a posteriori error analysis. A space–time finite element scheme (continuous in space but discontinuous in time) is employed to discretize this problem, thus allowing for non‐matching meshes at different time levels. Copyright © 2008 John Wiley & Sons, Ltd.     

Existence of Compressible Current-Vortex Sheets: Variable Coefficients Linear Analysis

We study the initial-boundary value problem resulting from the linearization of the equations of ideal compressible magnetohydrodynamics and the Rankine-Hugoniot relations about an unsteady piecewise smooth solution. This solution is supposed to be a classical solution of the system of magnetohydrodynamics on either side of a surface of tangential discontinuity (current-vortex sheet). Under some assumptions on the unperturbed flow, we prove an energy a priori estimate for the linearized problem. Since the tangential discontinuity is characteristic, the functional setting is provided by the anisotropic weighted Sobolev space W₂^1,σ. Despite the fact that the constant coefficients linearized problem does not meet the uniform Kreiss-Lopatinskii condition, the estimate we obtain is without loss of smoothness even for the variable coefficients problem and nonplanar current-vortex sheets. The result of this paper is a necessary step in proving the local-in-time existence of current-vortex sheet solutions of the nonlinear equations of magnetohydrodynamics.     

不可压Navier-Stokes方程基于误差估算的网格自适应解法

首先导出了广义Stokes方程Petrov—Galerkin有限元数值解的当地事后误差估算公式;以非连续二阶鼓包（bump）函数空间为速度、压强误差的近似空间,该估算基于求解当地单元上的广义Stokes问题。然后,证明了误差估算值与精确误差之间的等价性。最后,将误差估算方法应用于Navier—Stokes环境,以进行不可压粘流计算中的网格自适应处理。数值实验中成功地捕获了多强度物理现象,验证了本文所发展的方法。     

Problem on an inhomogeneity in a linearly elastic space or half-space

For a weakly contrasting anisotropic inhomogeneity in a linearly elastic homogeneous space or half-space, using the perturbation method, we obtain an approximate solution and estimate its accuracy. In the case of inhomogeneity of arbitrary contrast, we reduce the problem to a system of integral equations. In the general case, it is easy to compose the procedure for solving this problem approximately. In the special case of a homogeneous anisotropic ellipsoidal inhomogeneity in space, the strain state inside the inhomogeneity turns out to be homogeneous, and we thus obtain the exact solution of the problem.     

A least square extrapolation method for the a posteriori error estimate of the incompressible Navier Stokes problem

A posteriori error estimators are fundamental tools for providing confidence in the numerical computation of PDEs. To date, the main theories of a posteriori estimators have been developed largely in the finite element framework, for either linear elliptic operators or non‐linear PDEs in the absence of disparate length scales. On the other hand, there is a strong interest in using grid refinement combined with Richardson extrapolation to produce CFD solutions with improved accuracy and, therefore, a posteriori error estimates. But in practice, the effective order of a numerical method often depends on space location and is not uniform, rendering the Richardson extrapolation method unreliable. We have recently introduced (Garbey, 13th International Conference on Domain Decomposition, Barcelona, 2002; 379–386; Garbey and Shyy, J. Comput. Phys. 2003; 186 :1–23) a new method which estimates the order of convergence of a computation as the solution of a least square minimization problem on the residual. This method, called least square extrapolation, introduces a framework facilitating multi‐level extrapolation, improves accuracy and provides a posteriori error estimate. This method can accommodate different grid arrangements. The goal of this paper is to investigate the power and limits of this method via incompressible Navier Stokes flow computations. Copyright © 2005 John Wiley & Sons, Ltd.     

Hybridizable discontinuous Galerkin p‐adaptivity for wave propagation problems

A p‐adaptive hybridizable discontinuous Galerkin method for the solution of wave problems is presented in a challenging engineering problem. Moreover, its performance is compared with a high‐order continuous Galerkin. The hybridization technique allows to reduce the coupled degrees of freedom to only those on the mesh element boundaries, whereas the particular choice of the numerical fluxes opens the path to a superconvergent postprocessed solution. This superconvergent postprocessed solution is used to construct a simple and inexpensive error estimator. The error estimator is employed to obtain solutions with the prescribed accuracy in the area (or areas) of interest and also drives a proposed iterative mesh adaptation procedure. The proposed method is applied to a nonhomogeneous scattering problem in an unbounded domain. This is a challenging problem because, on the one hand, for high frequencies, numerical difficulties are an important issue because of the loss of the ellipticity and the oscillatory behavior of the solution. And on the other hand, it is applied to real harbor agitation problems. That is, the mild slope equation in frequency domain (Helmholtz equation with nonconstant coefficients) is solved on real geometries with the corresponding perfectly matched layer to damp the diffracted waves. The performance of the method is studied on two practical examples. The adaptive hybridizable discontinuous Galerkin method exhibits better efficiency compared with a high‐order continuous Galerkin method using static condensation of the interior nodes. Copyright © 2013 John Wiley & Sons, Ltd.     

Euler-Lagrange耦合计算的GEL方法

研究了一种Euler-Lagrange耦合数值方法ghost-fluid Euler-Lagrange(GEL)方法,编写了GEL二维计算程序。其中Euler流场计算采用以SCB格式编制的二阶计算程序,Lagrange域计算采用DEFEL二维动力有限元程序。通过一维黎曼问题的计算结果与高精度PPM方法进行的比较,以及二维移动边界cylinder lift-off problem的计算结果与文献的对比,验证了GEL方法和本文程序的正确性。     

A mixed finite element method for the generalized Stokes problem

We present and analyse a new mixed finite element method for the generalized Stokes problem. The approach, which is a natural extension of a previous procedure applied to quasi‐Newtonian Stokes flows, is based on the introduction of the flux and the tensor gradient of the velocity as further unknowns. This yields a two‐fold saddle point operator equation as the resulting variational formulation. Then, applying a slight generalization of the well known Babu?ka–Brezzi theory, we prove that the continuous and discrete formulations are well posed, and derive the associated a priori error analysis. In particular, the finite element subspaces providing stability coincide with those employed for the usual Stokes flows except for one of them that needs to be suitably enriched. We also develop an a posteriori error estimate (based on local problems) and propose the associated adaptive algorithm to compute the finite element solutions. Several numerical results illustrate the performance of the method and its capability to localize boundary layers, inner layers, and singularities. Copyright © 2005 John Wiley & Sons, Ltd.     

Mesh adaptation using C1 interpolation of the solution in an unstructured finite volume solver

The goal of this paper is to show the effectiveness of a newly developed estimate of the truncation error calculated based on C¹ interpolation of the solution weighted by the adjoint solution as the adaptation indicator for an unstructured finite volume solver. We will show that adjoint‐based mesh adaptation based on the corrected functional using the new developed truncation error estimate is capable of adapting the mesh to improve the accuracy of the functional and the convergence rate. Both discrete and continuous adjoint solutions are used for adaptation. Results are significantly better with new truncation error estimate than with previously used estimates.     

On the averaging principle for one-frequency systems. An application to satellite motions

This paper is related to our previous works (Morosi and Pizzocchero in J. Phys. A, Math. Gen. 39:3673–3702, 2006; Nonlinear Dyn., 2008), on the error estimate of the averaging technique for systems with one fast angular variable. In the cited references, a general method (of mixed analytical and numerical type) has been introduced to obtain precise, fully quantitative estimates on the averaging error. Here, this procedure is applied to the motion of a satellite in a polar orbit around an oblate planet, retaining only the J ₂ term in the multipole expansion of the gravitational potential. To exemplify the method, the averaging errors are estimated for the data corresponding to two Earth satellites; for a very large number of orbits, computation of our estimators is much less expensive than the direct numerical solution of the equations of motion.     

On the stability and extension of reduced-order Galerkin models in incompressible flows

Proper orthogonal decomposition (POD) has been used to develop a reduced-order model of the hydrodynamic forces acting on a circular cylinder. Direct numerical simulations of the incompressible Navier–Stokes equations have been performed using a parallel computational fluid dynamics (CFD) code to simulate the flow past a circular cylinder. Snapshots of the velocity and pressure fields are used to calculate the divergence-free velocity and pressure modes, respectively. We use the dominant of these velocity POD modes (a small number of eigenfunctions or modes) in a Galerkin procedure to project the Navier–Stokes equations onto a low-dimensional space, thereby reducing the distributed-parameter problem into a finite-dimensional nonlinear dynamical system in time. The solution of the reduced dynamical system is a limit cycle corresponding to vortex shedding. We investigate the stability of the limit cycle by using long-time integration and propose to use a shooting technique to home on the system limit cycle. We obtain the pressure-Poisson equation by taking the divergence of the Navier–Stokes equation and then projecting it onto the pressure POD modes. The pressure is then decomposed into lift and drag components and compared with the CFD results.     

Solution to transient Navier–Stokes equations by the coupling of differential quadrature time integration scheme with dual reciprocity boundary element method

The two‐dimensional time‐dependent Navier–Stokes equations in terms of the vorticity and the stream function are solved numerically by using the coupling of the dual reciprocity boundary element method (DRBEM) in space with the differential quadrature method (DQM) in time. In DRBEM application, the convective and the time derivative terms in the vorticity transport equation are considered as the nonhomogeneity in the equation and are approximated by radial basis functions. The solution to the Poisson equation, which links stream function and vorticity with an initial vorticity guess, produces velocity components in turn for the solution to vorticity transport equation. The DRBEM formulation of the vorticity transport equation results in an initial value problem represented by a system of first‐order ordinary differential equations in time. When the DQM discretizes this system in time direction, we obtain a system of linear algebraic equations, which gives the solution vector for vorticity at any required time level. The procedure outlined here is also applied to solve the problem of two‐dimensional natural convection in a cavity by utilizing an iteration among the stream function, the vorticity transport and the energy equations as well. The test problems include two‐dimensional flow in a cavity when a force is present, the lid‐driven cavity and the natural convection in a square cavity. The numerical results are visualized in terms of stream function, vorticity and temperature contours for several values of Reynolds (Re) and Rayleigh (Ra) numbers. Copyright © 2008 John Wiley & Sons, Ltd.