Numerical Analysis of the Incompressible Fluid Flow and Heat Transfer Numerical Analysis of the Incompressible Fluid Flow and Heat Transfer

The present chapter introduces incompressible Newtonian fluid flow and heat transfer by using the finite difference method. Since the solution of the Navier-Stokes equation is not simple because of its unsteady and multi-dimensional characteristic, the present chapter focuses on the simplified flows owing to the similarity or periodicity. As a first section, the first Stoke problem is considered numerically by introducing the finite difference method. In the second section, natural convection heat transfer heated from a vertical plate with uniform heat flux is introduced together with the method how to obtain the system of ordinary differential equations. In the third example, linear stability analysis for the onset of secondary flow during the Taylor-Couette flow is numerically treated using the HSMAC method.


Introduction
The governing equation for the fluid flow is known as Navier-Stokes equation, which is however difficult to solve analytically; and therefore, a lot of numerical techniques have been proposed and developed. Nevertheless various complex flow phenomena such as turbulent flow, multiphase flow, compressible flow, combustion, and phase change encountered in the fields of engineering would have still difficulties to circumvent even using both present computational resources and numerical techniques. The present chapter devotes not to elucidate such complex phenomena, but to introduce rather simplified fluid flow by using the finite difference method.
One focuses on incompressible flows, in which physical properties such as the viscosity, the thermal conductivity, the specific heat are constant and even the fluid density is not a thermodynamic variable. This simplified assumption makes the fluid flow phenomena much easier to be handled and it is valid when the flow velocity is much slower than the sound velocity and/ or the temperature difference in the fluid is small enough to consider the thermal expansion coefficient is independent to the temperature. The former situation is known the low Mach number approximation, while the latter one the Boussinesq approximation.
Another simplification on the incompressible flows is the reduction of dimension due to the characteristic of similarity and periodicity. For the boundary layer flows such as the Blasius flow, the stagnation-point flow, and the von Kármán rotating disk flow have the similar solution where the flow transition from laminar to turbulence does not occur. In those cases, a combined dimensionless variable (similar variable) η is introduced and the velocity distribution can be only a function of η. While for the onset of instability such as the Rayleigh-Bénard convection, the Bénard-Marangoni convection, and the Taylor-Couette flow, the periodic characteristic of flow structure is observed. At the stage of onset of instability, the non-linear term is negligible and therefore the function of flow field is separated into the amplitude part and periodic part, respectively. This makes the effort on numerical analysis to reduce significantly and also to contribute the augmentation of accuracy of the results.
This chapter consists of three main bodies. First, a numerical technique for solving the boundary value problem called the first Stokes problem or the Rayleigh problem [1] is introduced. The differential equation is transferred into an ordinary equation and it is solved by a finite difference method using the Jacobi method. Second, similar solution of natural convection heat transfer heated from a vertical plate with uniform heat flux is introduced together with the method how to obtain the system of ordinary differential equations. The obtained Nusselt numbers are compared with some previous studies. Third, for example, of the linear stability analysis, one shows that the HSMAC method can be applied to obtain the critical values for the onset of secondary flow such as the Taylor-Couette flow. The Eigen functions of flow and pressure fields are visualized.
2. Unsteady flow due to sudden movement of the plate 2.1. Governing equations An infinite length plate is set in a stationary fluid as an initial condition. Let us consider the situation that the infinite length plate suddenly moves along its parallel direction at a constant speed u w . This problem was first solved by Stokes [2] in his famous treatment of the pendulum. Since Lord Rayleigh [3] also treated this flow, it is often called the Rayleigh problem in the literature. One takes that x is the plate movement direction and y is distance from the plate. Since the velocity component perpendicular to the plate v is zero, the momentum equation is simplified and is shown as a diffusion equation Here, u is the velocity component parallel to the plate direction, t is the time, and ν is the kinematic viscosity. The boundary conditions for this partial differential equation are as follows: In order to reduce the partial differential equation to an ordinary equation, the following dimensionless velocity U and the similar variable η are introduced Then, the following ordinary differential equation can be obtained The boundary condition for the ordinary differential equation is as follows using the similar variable η instead of y: As a consequence, one needs to solve this boundary value problem. The theoretical solution can be easily obtained and expressed using the error function The velocity profile is shown in Figure 1.  For numerical solution, it is necessary to define the range of η, as recognized from Figure 1, η = 4 is enough. Hence, the boundary condition shown below is used instead of Eq. (5) As illustrated in Figure 2, in which vertical and horizontal axes are exchanged from Figure 1, one needs to obtain each value of dimensionless velocity numerically. The approximated velocity profile is expressed by connecting these values smoothly. For simplicity, the intervals between neighboring two points are the same and it is noted as Δη. When the second-order central difference method is used, Eq. (4) is as follows: Here, N is total number of grids and in this chapter, the first grid point starts from 1 as its definition. The above equation becomes Here, η i ¼ i À 1 ð Þ Δη À Á and α i and β i are coefficients determined by the number of grids. The boundary condition (7) is modified Finite Element Method -Simulation, Numerical Analysis and Solution Techniques In the following, the case of N = 7 is considered, for example. By substituting i = 2-6 into Eq. (8), the following simultaneous equation is obtained: This kind of tridiagonal matrix is often seen and can be solved by a direct numerical method, such as Tomas method. However, the rank of the matrix is usually extremely large and one introduces an iterative method for solving the king-size matrix.

Iterative method for matrix solver
In general, the rank of the matrix appearing in computational fluid dynamics (CFD) is large and iterative methods such as Jacobi, Gauss-Seidel, or successive over relaxation (SOR) methodare employed. In this subsection, the Jacobi method is explained. The matrix can be divided into three parts of lower, diagonal, and upper as follows: In the Jacobi method, only the diagonal part is put in the left-hand side (n + 1 step), while the lower and upper parts are moved to the right-hand side (n step) Here, n is the old iteration step and n + 1 is the new iteration step. Hence, the following equation is repeatedly used: This is equivalent to the following equation: By using Eq. (9), Eq. (14) is computed repeatedly and then the value of each grid gradually converges to a certain solution. The Gauss-Seidel and SOR methods are known as the faster convergence method.
3. Similarity solution for natural convection heated from a vertical plate

Introduction
In this section, let us consider the natural convection heat transfer for a vertical plate heated with uniform heat flux in the wide range of Prandtl number from zero to infinity. In order to explain the numerical method as how to solve the governing equations, one assumes that the flow and temperature fields formed in the vicinity of the heated plate have a similarity and then one introduces the finite difference method to obtain numerical results.

Governing equations
One assumes that the flow is incompressible laminar and boundary layer equations are used in this analysis. The governing equations with presuming the Boussinesq approximation are Here, one defines that x axis is in the vertical direction and its velocity component is u, and y axis is in the direction perpendicular to the vertical plate and its velocity component is v.

Continuity of mass
Energy equation Boundary equation Here, β is the thermal expansion coefficient, g is the acceleration due to gravity, α is the thermal diffusivity, k is the thermal conductivity, and T is the temperature.

Non-dimensionalization
First, dimensionless variables, such as velocity and temperature, are set as follows using the unknown reference value denoted with subscripts a and b:

Equation (19) is substituted into Eqs. (15)-(18), and one gets
gβT a x a u a 2 |fflfflffl{zfflfflffl} 4 ½ At the moment stage, x a is recognized as the height of the vertical plate.
Putting [6] = 1, and one gets Putting [5] = 1, and one gets αxa In the above process, finally one obtains the dimensionless equations as follows: Finite Element Method -Simulation, Numerical Analysis and Solution Techniques The dimensionless variables are summarized as follows: Furthermore, one assumes that the velocity and temperature fields has a similarity along the direction of vertical plate, so one puts X = 1. These equations are useful for analyzing low Prandtl number cases and summarized as follows: Low Prandtl number

Continuity of mass
Energy equation The dimensionless variables and non-dimensional numbers are defined as follows: The local Nusselt number can be obtained by the following derivation: Therefore, the local Nusselt number can be obtained just from the dimensionless temperature at the wall using Eq. (36)

High Prandtl number
If the Prandtl number is higher than unity, the following equations are useful:

Continuity of mass
Momentum equation Energy equation Boundary conditions The dimensionless variables and non-dimensional numbers are defined as follows:   Table 1 shows the summary of the local Nusselt number for various Prandtl number cases together with the reference of Churchill and Ozoe for comparison [4]. The agreement is quite good except for the extreme cases such as Pr ! 0 and ∞. In such extreme cases, a small amount of discrepancy exists. In this study, the boundary condition for Pr ! 0 and that for Pr ! ∞ Figure 3. Vertical velocity and temperature distributions for various Prandtl numbers. The left-hand side indicates high Prandtl number cases while the right-hand side low Prandtl number cases.
Owing to this kind of special treatments for the boundary condition of such extreme cases, one can obtain accurate numerical results for the system of ordinary equations. The results between the solution of the present method and that of Le Fevre [5] for the case of constant temperature of heated wall are identical to each other. The value for Pr ! ∞ is 0.5027 and that for Pr = 0 is 0.6004.

Governing equations
In the text book of Chandrasekar [6], various examples of the linear stability analysis such as the Rayleigh-Bénard convection, the Taylor-Couette flow, and the Rayleigh-Taylor instability were studied extensively. More recently, Koschmieder [7] described the research focusing on the Bénard cells and the Taylor vortices. In this section, only the Taylor-Coette flow is considered. Figure 4 shows the schematic model considered for the Taylor-Couette flow. In this section, the fluid flow inside of the co-axial double cylindrical enclosure is assumed to be incompressible Newtonian, isothermal and axisymmetric. The gray part represents the computational domain. It is known that the stationary secondary flow is generated at a certain condition under the influence of centrifugal force due to the rotation of primary basic flow which is in azimuthal direction. The continuity of mass and momentum equations are shown in the cylindrical coordinate system as follows: The boundary conditions are as follows: After Chandrasekar [6], the following two non-dimensional numbers are introduced to verify the computational results: In this section, it is assumed that S = 0. This indicates that the secondary flow caused by the centrifugal instability is stationary and it contains toroidal vortices. To deal with the simultaneous ordinary differential equations for the boundary value problem, a one-dimensional staggered grid system is employed as shown in Figure 5. All the equations are discretized by the fourth order central difference method with a given wavenumber k using the HSMAC method [8] during which Re Ω is obtained by the Newton method. The following equations are used for correction of the pressure and velocity simultaneously. Here, the subscript i indicates grid location, while the superscripts m and n indicate the iteration of the corrections for the convergence of Eq. (56) and the time step, respectively. The more detailed explanation can be found in the recent papers published by the present author [9, 10]   Figures 6 and 7 show the amplitude functions and Eigen functions, respectively, for the case of μ = 0 (the outer cylinder is stationary), and Figures 8 and 9 show the case of μ = À0.5 (the outer cylinder rotates with half angular velocity in opposite direction to the inside rotation).
The simultaneous ordinary equations from (56) to (59) were divided into the real and imaginary parts. However, only four equations among the eight equations are necessary to solve in this problem because of the symmetricity and anti-symmetricity of the complex variables. In Figures 6 and 8, the real part ofŨ,Ṽ ,P and the imaginary part ofW are shown. For the visualization shown in Figures 7 and 9, the Stokes stream function Ψ is defined as follows: Here, the subscripts ℜ and ℑ represent the real part and the imaginary part, respectively. The visualization of other variables, such as the azimuthal velocity and the pressure, are treated in the similar manner using the trigonometric functions.

Toshio Tagawa
Address all correspondence to: tagawa-toshio@tmu.ac.jp Department of Aerospace Engineering, Tokyo Metropolitan University, Japan