A case-study in open-source CFD code verification. Part II: Boundary condition non-orthogonal correction
Abstract This investigation constitutes the follow-up to a previous work in which we applied the manufactured solution procedure to verify the OpenFOAM diffusion operator on different types of meshes. Theoretical convergence orders were observed for Poisson’s equation solver on orthogonal hexahedral grids using several boundary conditions. We noticed that on non-orthogonal grids even slight mesh distortions reduce the theoretical second order convergence rate to first order. Our investigation showed that this loss in convergence order takes place when Dirichlet and/or Neumann boundary conditions are used on non-orthogonal meshes. In this paper, we introduce ways to achieve theoretical second order convergence accuracy, mainly based on applying non-orthogonal correction to Dirichlet and/or Neumann boundary condition schemes. A peculiarity was discovered for the Least-Squares gradient scheme that slightly affects second-order convergence, and which we attribute to the non-orthogonal correction at boundaries in the Least-Squares vector reconstruction library. The verification procedure is performed using the method of manufactured solutions for the Poisson equation and an analytical solution, the SIMPLE solver, for the Navier–Stokes equations. The average and maximum error norms were used to calculate the convergence rate. Comparative results are presented.
Quantitative V&V of CFD simulations and certification of CFD codes
Definitions and equations are provided for the quantitative assessment of numerical (verification) and modelling (validation) errors and uncertainties for CFD simulations and of intervals of certification for CFD codes. Verification, validation, and certification methodology and procedures are described. Examples of application of quantitative certification of RANS codes are presented for ship hydrodynamics. Opportunities and challenges for achieving consensus and standard V&V and certification methodology and procedures are discussed. Copyright © 2005 John Wiley & Sons, Ltd.
On Hilbert's thirteenth problem and related questions
Hilbert's thirteenth problem involves the study of solutions of algebraic equations. The object is to obtain a complexity estimate for an algebraic function. As of now, the problem remains open. There are only a few partial algebraic results in this connection, but at the same time the problem has stimulated a series of studies in the theory of functions with their subsequent applications. The most brilliant result in this cycle is Kolmogorov's theorem on superpositions of continuous functions.