Verification of Solutions of Equations Governing Fluid Flows

Abstract

We have carried out the verifications of the solutions for the equations governing fluid flows. The equations solved are the similar equation of the boundary layer flow and the two-dimensional Navier-Stokes equations in the formulation of the stream function and the vorticity. The methods of the verification are the interval analysis and the Krawczyk operator based on the fixed point theorem. A modified Gaussian elimination method is introduced to solve the system of linear interval equations. The Krawczyk operator presents the results with a high accuracy. The modified elimination method gives the results with an accuracy of one or two order(s) of magnitude higher than those obtained by the original interval analysis.