Keywords

1 Introduction

The problem of steady incompressible flow of gases and liquids in a channel with a step has been the subject of many studies in computational fluid dynamics. Panovko [5] used the method of separation of physical factors to model three-dimensional flow of a viscous fluid in a channel with a step at the Reynolds number R = 100. He reported circulatory flow near the step, which decreased in intensity toward the channel outlet. Two benchmark problems that are documented in international workshop proceedings [7, 8] are steady expansion flows and contraction flows in channels with a step. Boger [2] provided a comprehensive review for contraction flows for channels with steps. For the flow into a symmetrical contraction in the form of a step, his experimental data suggest the formation of a “trailing edge” vortex downstream of the step, and detecting this vortex posed a major test for a numerical scheme. Dennis and Smith [9] used a method based on central differences, but were unable to detect the trailing edge vortex visually downstream of the step. However, through grid refinement, they were able to infer qualitatively the presence of this vortex. Their results have been supported experimentally by Durst and Loy [10]. Hawken et al. [6] used a Taylor–Galerkin algorithm and were able to visually detect the trailing edge vortex at the Reynolds number R = 450. They went up to Reynolds number R = 100 for the expansion case and R = 800 for the contraction case. We obtained converged results up to Reynolds number R = 1000.

This chapter uses a stable fourth-order central difference method [4] by writing Taylor’s series expansions of the error terms in a form that produces strong central coefficients.

Our work supports experimental evidence, suggested by Boger [2], that a trailing edge vortex is formed downstream of the step, which can be seen in our plotted stream functions at R = 200 to R = 400, and later at R = 1000. Onur and Baydar [1] carried out experimental work on this problem, and showed photographs for R = 200, which are in agreement with our results. Our results are also in good agreement with the tabulated results of Greenspan [3], requiring a relatively coarse grid for the same accuracy.

2 Mathematical Problem

Consider the flow of a viscous incompressible fluid in a channel with a step. The flow is governed by the steady-state Navier–Stokes equations defined by

$$ \psi =-\omega\vspace*{-16pt} $$
(1)
$$ \omega +R\left({\psi}_x{\omega}_y-{\psi}_y{\omega}_x\right)=0\kern1em $$
(2)

These equations are valid in the interior of the domain in Fig. 1, where ψ and ω are the stream and the vorticity functions respectively, and R is a flow parameter called the Reynolds number. The boundary conditions to be satisfied are

$$ \psi =1,\kern1em {\psi}_y=0,\kern1em \mathrm{on}\kern1em \mathrm{HG}\vspace*{-16pt} $$
(3)
$$ \psi =0,\kern1em {\psi}_y=0,\kern1em \mathrm{on}\kern1em \mathrm{AB},\mathrm{CD},\mathrm{EF} \vspace*{-16pt}$$
(4)
$$ \psi =0,\kern1em {\psi}_x=0,\kern1em \mathrm{on}\kern1em \mathrm{BC},\mathrm{DE}\vspace*{-16pt} $$
(5)
$$ \psi =3{y}^2-2{y}^3,\kern0.5em \omega =12y-6,\kern0.5em \mathrm{on}\kern1em \mathrm{AH}\vspace*{-16pt} $$
(6)
$$ {\psi}_x=0,\kern1em {\omega}_x+R{\psi}_y\left(\omega +{\psi}_{yy}\right)=0\kern0.5em \mathrm{on}\kern1em \mathrm{FG} $$
(7)
Fig. 1
figure 1

The channel with a step

Conditions (6) are those of Poiseulle flow, while conditions (7) make the flow horizontal and the pressure constant on FG.

3 The Difference Schemes

We present the difference methods for the given differential equations (1)–(2) as a special case of the second-order elliptic equation.

$$ Lu\equiv {u}_{xx}+{u}_{yy}+p\left(x,y\right){\psi}_x+q\left(x,y\right){u}_y+r\left(x,y\right)u=s\left(x,y\right)\kern1.5em $$
(8)

Note that since r(x, y) = 0 for both (1) and (2), we may write (8) as

$$ Lu\equiv {u}_{xx}+{u}_{yy}+{pu}_x+{qu}_y=s\kern0.5em $$
(9)

where p = p(x, y), q = q(x, y), and s = s(x, y).

Also, note that

p(x, y) = q(x, y) = 0, s(x, y) =  − ω for (1),

p(x, y) =  −  y,  q(x, y) =  x, s(x, y) = 0 for (2).

Using the grid shown in Fig. 2, which shows the placement of nine points, we obtain the following approximations at the point (x i, y j), numbered 0 in Fig. 2.

Fig. 2
figure 2

The grid

$$ {u}_{xx}=\frac{u_3-2{u}_0+{u}_1}{h^2}-\frac{h^2}{12}{u}_{xx xx}+O\left({h}^4\right) $$
(10)
$$ {u}_{yy}=\frac{u_4-2{u}_0+{u}_{21}}{h^2}-\frac{h^2}{12}{u}_{yy yy}+O\left({h}^4\right) $$
(11)
$$ {u}_x=\frac{u_1-{u}_3}{2h}-\frac{h^2}{6}{u}_{xxx}+O\left({h}^4\right) $$
(12)
$$ {u}_y=\frac{u_4-{u}_2}{2h}-\frac{h^2}{6}{u}_{xxx}+O\left({h}^4\right) $$
(13)

Substituting (10)–(13) into the differential Eq. (9), we obtain the difference operator L h, defined by

$$ {L}_h{u}_0\equiv \sum \limits_{i=0}^4{\alpha}_i{u}_i={s}_0+{E}_0(u) $$
(14)

where E 0(u) is the truncation error given by

$$ {E}_0(u)=\frac{h^2}{12}\left({u}_{xxx x}+2{pu}_{xxx}+{u}_{yyy y}+2{pu}_{yyy}\right)+O\left({h}^4\right) $$
(15)

and

$$ {\displaystyle \begin{array}{l}{\alpha}_0= \displaystyle-\frac{4}{h^2}\\[6pt] {}\displaystyle {\alpha}_1= \displaystyle\frac{1}{h^2}+\frac{p_0}{2h}\\[6pt] {}\displaystyle{\alpha}_2=\frac{1}{h^2}+\frac{q_0}{2h}\\[6pt] {}\displaystyle{\alpha}_3=\frac{1}{h^2}-\frac{p_0}{2h}\\[6pt] {}\displaystyle{\alpha}_4=\frac{1}{h^2}-\frac{q_0}{2h}\end{array}} $$
(16)

Note that when p(x, y) =  −  y or q(x, y) =  x is large, that is, when R is large, the central difference coefficient α 0 is small relative to the other coefficients, which is the main cause of instability of the central difference method.

To obtain a stable fourth-order operator, we rewrite the central difference approximation (13) in a form that includes the error terms. Therefore,

$$ {L}_h{u}_0-{E}_0(u)={s}_0 $$
(17)

We next denote the error term E 0(u) in terms of the lower order derivatives given by (10)–(13), and mixed partial derivatives u xy, etc., which can be denoted by the nine points grid in Fig. 2, with a stabilizing effect. From (9), we have

$$ {u}_{xx}=-\left({pu}_x+{qu}_y-{u}_{yy}\right)+s $$
(18)

Differentiating both sides of this equation with respect to x to obtain u xxx and u xxxx, we have

$$ {\displaystyle \begin{array}{c}{u}_{xx x x}+2{pu}_{xx x}=-\Big[\left({p}^2+2{p}_x\right){u}_{xx}+\left({pp}_x+{p}_{xx}\right){u}_x\\ {}+\left({pq}_x+{q}_{xx}\right){u}_y+\left( pq+2{q}_x\right){u}_{yx}+{pu}_{yyx}+{qu}_{yx x}\\ {}+{u}_{yyx x}\Big]+{ps}_x+{s}_{xx}\end{array}} $$
(19)

Similarly, we have

$$ {\displaystyle \begin{array}{c}{u}_{yy y y}+2{qu}_{yy y}=-\Big[\left({q}^2+2{q}_y\right){u}_{yy}+\left({qq}_y+{q}_{yy}\right){u}_y\\ {}+\left({qp}_y+{p}_{yy}\right){u}_x+\left( pq+2{p}_y\right){u}_{xy}+{qu}_{xxyy}+{pu}_{xy y}\\ {}+{u}_{xxyy}\Big]+{qs}_y+{s}_{yy}\end{array}} $$
(20)

Substituting (19) and (20) into ( 15 ), we have

$$ {\displaystyle \begin{array}{c}{E}_0(u)=-\frac{h^2}{12}\;\Big[\left({p}^2+2{p}_x\right){u}_{xx}+\left({pp}_x+{qp}_y+p{}_{xx}+{p}_{yy}\right){u}_x\\ {}+\left({q}^2+2{q}_y\right){u}_{yy}+\left({pq}_x+{qq}_y+{q}_{xx}+{q}_{yy}\right){u}_y\\ {}+2\left( pq+{p}_y+{q}_x\right){u}_{xy}+2\left({pu}_{xy y}+{qu}_{xx y}+{u}_{xx y y}\right)\\ {}+\frac{h^2}{12}\left({ps}_x+{qs}_y+{s}_{xx}+{s}_{yy}\right){u}_y+O\left({h}^4\right)\end{array}} $$
(21)

Note that the terms (p 2 + 2p x)u xx and (q 2 + 2q y)u yy can produce strong central coefficients when approximated by (10) and (11).

Substituting (21) into (17), we obtain

$$ {L}_h{u}_0-{\overline{E}_0}(u)={s}_0^{\ast } $$
(22)

where

$$ {\overline{E}_0}(u)={E}_0(u)-\frac{h^2}{12}\left({ps}_x+{qs}_y+{s}_{xx}+{s}_{yy}\right) $$
(23)

and

$$ {s}_0^{\ast }={s}_0+\frac{h^2}{12}\left({ps}_x+{qs}_y+{s}_{xx}+{s}_{yy}\right) $$
(24)

We approximate \( {\overline{E}_0}(u) \) using (10)–(13), whereas the mixed partial derivatives u xy, u xxy, u yyx, u xxyy can be readily approximated using Taylor series expansion at the nine point grid, which leads to

$$ {\overline{E}_0}(u)=\sum \limits_{i=0}^8{\beta}_i{u}_i+O\left({h}^4\right) $$
(25)

where

$$ {\displaystyle \begin{array}{l}{\beta}_0=\displaystyle-\frac{4}{6{h}^2}+\frac{1}{6}\left({p}^2+{q}^2+2{p}_x+2{q}_y\right)\\[6pt] {}\displaystyle{\beta}_1=\frac{2}{6{h}^2}+\frac{p_0}{6h}-\frac{1}{12}\left({p}^2+2{p}_x\right)-\frac{h}{24}\left({pp}_x+{qp}_y+{p}_{xx}+{p}_{yy}\right)\\[6pt] {}\displaystyle{\beta}_2=\frac{2}{6{h}^2}+\frac{q_0}{6h}-\frac{1}{12}\left({q}^2+2{q}_y\right)-\frac{h}{24}\left({pq}_x+{qq}_y+{q}_{xx}+{q}_{yy}\right)\\[6pt] {}\displaystyle{\beta}_3=\frac{2}{6{h}^2}-\frac{p_0}{6h}-\frac{1}{12}\left({p}^2+2{p}_x\right)+\frac{h}{24}\left({pp}_x+{qp}_y+{p}_{xx}+{p}_{yy}\right)\\[6pt] {}\displaystyle{\beta}_4=\frac{2}{6{h}^2}-\frac{q_0}{6h}-\frac{1}{12}\left({q}^2+2{q}_y\right)+\frac{h}{24}\left({pq}_x+{qq}_y+{q}_{xx}+{q}_{yy}\right)\\[6pt] {}\displaystyle{\beta}_5=\frac{-1}{6{h}^2}-\frac{p_0+{q}_0}{12h}-\frac{pq+{p}_y+{q}_x}{24}\\[6pt] {}\displaystyle{\beta}_6=\frac{-1}{6{h}^2}+\frac{q_0-{p}_0}{12h}+\frac{pq+{p}_y+{q}_x}{24}\\[6pt] {}\displaystyle{\beta}_7=\frac{-1}{6{h}^2}-\frac{p_0-{q}_0}{12h}-\frac{pq+{p}_y+{q}_x}{24}\\[6pt] {}\displaystyle{\beta}_8=\frac{-1}{6{h}^2}+\frac{q_0-{p}_0}{12h}+\frac{pq+{p}_y+{q}_x}{24}\end{array}} $$
(26)

Substituting (25) into (22), we obtain a stable fourth-order operator \( {L}_h^{\ast } \) for (9), defined by

$$ {L}_h^{\ast }{u}_0\equiv \sum \limits_{i=0}^4{u}_i^{\ast }={s}_0^{\ast }+{E}_0^{\ast }(u) $$
(27)

where

$$ {\displaystyle \begin{array}{c}{E}_0^{\ast }(u)={h}^4\Big[\frac{p^2{u}_{xxxx}\left({\zeta}_1,{\eta}_1\right)+{q}^2{u}_{yyyy}\left({\zeta}_2,{\eta}_2\right)}{144}\\ {}+2{pqh}^4\left({u}_{xxxy}\left({\zeta}_3,{\eta}_3\right)+{u}_{xyyy}\left({\zeta}_4,{\eta}_4\right)\right]\end{array}} $$
(28)

and \( {s}_0^{\ast } \) is given by (24), and \( {\alpha}_i^{\ast }={\alpha}_i-{\beta}_i. \)

We also see that the local truncation error \( {E}_0^{\ast }(u) \) is O(h 4).

We now set up the difference equations for (1) and (2). For (1), p = q = 0 and s =  − ω, which leads to the following difference equation

$$ {L}_h^{\ast }{\psi}_0\equiv \sum \limits_{i=0}^4{\alpha}_i^{\ast }{\psi}_i={s}_0^{\ast }+{E}_0^{\ast }(u) $$
(29)

where

$$ {\displaystyle \begin{array}{l}{\alpha}_0^{\ast }=-\frac{20}{6{h}^2}\\ {}{\alpha}_1^{\ast }={\alpha}_2^{\ast }={\alpha}_3^{\ast }={\alpha}_4^{\ast }=\frac{4}{6{h}^2}\\ {}{\alpha}_5^{\ast }={\alpha}_6^{\ast }={\alpha}_7^{\ast }={\alpha}_8^{\ast }=\frac{1}{6{h}^2}\end{array}} $$
(30)

and

$$ {s}_0^{\ast }=-{\omega}_0-\frac{h^2}{12}\left({\omega}_{xx}+{\omega}_{yy}\right) $$
(31)

Next, for (2), p =  −  y, q =  x, and s = 0, which results in the following difference equation

$$ {L}_h^{\ast }{\omega}_0\equiv \sum \limits_{i=0}^4{\alpha}_i^{\ast }{\omega}_i={s}_0^{\ast }+{E}_0^{\ast }(u) $$
(32)

where

$$ {\displaystyle \begin{array}{l}{\alpha}_0=\displaystyle-\frac{20}{6{h}^2}-\frac{1}{6}\left({p}^2+{q}^2+2{p}_x+2{q}_y\right)\\[8pt] {}\displaystyle{\alpha}_1=\displaystyle\displaystyle\frac{4}{6{h}^2}+\frac{p_0}{3h}+\frac{1}{12}\left({p}^2+2{p}_x\right)+\frac{h}{24}\left({pp}_x+{qp}_y+{p}_{xx}+{p}_{yy}\right)\\[8pt]{}\displaystyle{\alpha}_2=\frac{4}{6{h}^2}+\frac{q_0}{3h}+\frac{1}{12}\left({q}^2+2{q}_y\right)+\frac{h}{24}\left({pq}_x+{qq}_y+{q}_{xx}+{q}_{yy}\right)\\[8pt]{}\displaystyle{\alpha}_3=\displaystyle\frac{4}{6{h}^2}-\frac{p_0}{3h}+\frac{1}{12}\left({p}^2+2{p}_x\right)-\frac{h}{24}\left({pp}_x+{qp}_y+{p}_{xx}+{p}_{yy}\right)\\[8pt] {}\displaystyle{\alpha}_4=\displaystyle\frac{4}{6{h}^2}-\frac{q_0}{3h}+\frac{1}{12}\left({q}^2+2{q}_y\right)-\frac{h}{24}\left({pq}_x+{qq}_y+{q}_{xx}+{q}_{yy}\right)\\[8pt] {}\displaystyle{\alpha}_5=\displaystyle\displaystyle\frac{1}{6{h}^2}+\frac{p_0+{q}_0}{12h}+\frac{pq+{p}_y+{q}_x}{24}\\[8pt] {}\displaystyle{\alpha}_6=\displaystyle\frac{1}{6{h}^2}+\frac{q_0-{p}_0}{12h}-\frac{pq+{p}_y+{q}_x}{24}\\[8pt]{}\displaystyle{\alpha}_7=\displaystyle\frac{1}{6{h}^2}-\frac{p_0+{q}_0}{12h}+\frac{pq+{p}_y+{q}_x}{24}\\[8pt] {}\displaystyle{\alpha}_8=\displaystyle\frac{1}{6{h}^2}-\frac{q_0-{p}_0}{12h}-\frac{pq+{p}_y+{q}_x}{24}\end{array}} $$
(33)

4 Comparison of Results

We ran the present scheme and the scheme of Greenspan [3] at each of the indicated points (x, y) = (0.1, 0.1), and (x, y) = (1.9, 0.8) for ψ and ω, α 1 = α 2 = 4, γ = 0.5, δ = 1, various values of the step size h and Reynolds number R. To check the efficiency, we compared the results at the same points for both methods, as given by Tables 1A, 1B, 2A, 2B, 3A, and 3B.

Table 1A Stream values at R = 50
Table 1B Vorticity values at R = 50
Table 2A Stream values at R = 100
Table 2B Vorticity values at R = 100
Table 3A Stream values at R = 1000
Table 3B Vorticity values at R = 1000

Results of both methods converged, but for the stream function at R = 50 and R = 1000, we obtained four digit accuracy for h = 0.05, whereas Greenspan scheme required h = 0.00625 for the same accuracy.

At R = 1000, we obtained four digit accuracy at step size h = 0.05, whereas the Greenspan’s scheme required h = 0.00125 for the same accuracy.

Using the data obtained from the present scheme, the stream curves are plotted in Figs. 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, and 14, whereas vorticity curves are plotted in Figs. 15, 16, 17, and 18.

Fig. 3
figure 3

Plot of ψ for h = 0.1, R = 10

Fig. 4
figure 4

Plot of ψ for h = 0.1, R = 50

Fig. 5
figure 5

Plot of ψ for h = 0.05, R = 50

Fig. 6
figure 6

Plot of ψ for h = 0.025, R = 50

Fig. 7
figure 7

Plot of ψ for h = 0.1, R = 100

Fig. 8
figure 8

Plot of ψ for h = 0.05, R = 100

Fig. 9
figure 9

Plot of ψ for h = 0.025, R = 100

Fig. 10
figure 10

Plot of ψ for h = 0.025, R = 1000

Fig. 11
figure 11

Plot of ψ for h = 0.05, D = 0.25, R = 100

Fig. 12
figure 12

Plot of ψ for h = 0.05, D = 0.75, R = 100

Fig. 13
figure 13

Plot of ψ for h = 0.0125, R = 200

Fig. 14
figure 14

Plot of ψfor h = 0.0125, R = 300

Fig. 15
figure 15

Plot of ψ for h = 0.0125, R = 400

Fig. 16
figure 16

Plot of ω for h = 0.05, R = 50

Fig. 17
figure 17

Plot of ω for h = 0.05, R = 100

Fig. 18
figure 18

Plot of ω for h = 0.05, D = 0.25, R = 1000

From the graphs, we can see that the role of the step size is limited for lower values of R, like R = 10 and R = 50 in Figs. 3 and 4, but when the value of R becomes 100 or 1000, the step size plays an important role, which is obvious from Figs. 9 and 10, where there is a counterflow on the left-hand side of the channel when step size h = 0.025. However, for larger values of h, there is no counterflow on the left-hand side of the channel for the same value of R = 100 (see Figs. 7 and 8).

In the present scheme, counterflow to the left-hand side of the channel appears for the first time when R = 100 and the step size is as small as h = 0.025, as shown in Fig. 9. Onur and Baydar [1] did experimental work on this problem and showed photographs for R = 200. Our results are in agreement with those photographs. Experimental evidence presented by Boger [2] suggests that a trailing edge vortex is formed downstream of the step, which can be seen in our plotted stream functions for R = 200, 300, 400, and h = 0.0125 in Figs. 13, 14, and 15. It can also be seen in the R = 1000 case, see Fig. 10.

4.1 Effect of Step Height on the Flow

We checked the effect of varying the step height on the flow, where D denotes the height of the channel at the step (D < 1, maximum height).

When D = 0.25, it can be seen from the graph in Fig. 11 that flow is everywhere in the channel. There is a large counterflow on the right-hand side and a small counter flow on the left-hand side of the step as compared to the standard case when D = 0.5, where there is a small counter flow on the right-hand side and no counter flow on the left-hand side of the step, as seen from Fig. 8.

On increasing the value of D to 0.75, as in Fig. 12, flow can be seen everywhere in the channel. There is a small counterflow on the right-hand side of the step as compared to the standard case when D = 0.5. Also, refer to Fig. 19 for other interesting results.

Fig. 19
figure 19

Plot of ω for h = 0.05, D = 0.75, R = 100

5 Conclusion

In this chapter, we used a high-order numerical scheme based on Choo and Schultz’s work [4] to study the flow of a viscous incompressible fluid in a channel with a step. The numerical scheme expressed the error terms of the central difference method in such a form that led to a stable fourth-order operator. The results obtained were in good agreement with the experimental, graphical, and tabulated results obtained in other studies.