Notice: Wiley Online Library will be unavailable on Saturday 30th July 2016 from 08:00-11:00 BST / 03:00-06:00 EST / 15:00-18:00 SGT for essential maintenance. Apologies for the inconvenience.
Corresponding author: M. Nabi, Laboratory of Hydraulic Research, Graduate School of Engineering, Hokkaido University, Sapporo, Japan. (firstname.lastname@example.org)
 We present a three-dimensional high-resolution hydrodynamic model for unsteady incompressible flow over an evolving bed topography. This is achieved by using a multilevel Cartesian grid technique that allows the grid to be refined in high-gradient regions and in the vicinity of the river bed. The grid can be locally refined and adapted to the bed geometry, managing the Cartesian grid cells and faces using a hierarchical tree data approach. A ghost-cell immersed-boundary technique is applied to cells intersecting the bed topography. The governing equations have been discretized using a finite-volume method on a staggered grid, conserving second-order accuracy in time and space. The solution advances in time using the fractional step approach. Large-eddy simulation is used as turbulence closure. We validate the model against several experiments and other results from literature. Model results for Stokes flow around a cylinder in the vicinity of a moving wall agree well with Wannier's analytical solution. At higher Reynolds numbers, computed trailing bubble length, separation angle, and drag coefficient compare favorably with experimental and previous computational results. Results for the flow over two- and three-dimensional dunes agree well with published data, including a fair reproduction of recirculation zones, horse-shoe structures, and boiling effects. This shows that the model is suitable for being used as a hydrodynamic submodel in the high-resolution modeling of sediment transport and formation and evolution of subaqueous ripples and dunes.
If you can't find a tool you're looking for, please click the link at the top of the page to "Go to old article view". Alternatively, view our Knowledge Base articles for additional help. Your feedback is important to us, so please let us know if you have comments or ideas for improvement.
 The deformation of alluvial beds under the action of flowing water produces complex geometries that change in time. Solving such problems is one of the main challenges in computational morphodynamics. Methods based on boundary-fitted grids offer an attractive way to deal with complex geometries, because they greatly simplify the imposition of boundary conditions. However, the possibilities to fit the boundaries are limited for structured grids, whilst unstructured grids are computationally more expensive. Moreover, boundary-fitted grids must be regenerated after each deformation of the boundaries, which requires much computational effort. Generation of a grid suitable for complex geometries can also be troublesome and sometimes cannot be applied without multiblock techniques. These issues lead to complexity and possibly instability in the computational process. To avoid these problems, we use a fixed Cartesian grid with special treatment of the boundary zones.
 Methods based on Cartesian grids have attracted special attention, now that techniques to handle complex geometries have become available. The Cartesian grids are fixed and intersect the boundaries, which requires special treatment of these boundaries, such as cut-cell techniques, or ghost-cell immersed-boundary methods. In the former approach, the cells that intersect the boundaries are cut. This approach has been used for inviscid [Bayyuk, 1996; Quirk, 1994] and viscous flow computations, including fixed and moving boundaries [Mittal et al., 2008; Udaykumar et al., 2001; Ye et al., 1999; Kirkpatrick et al., 2003]. It represents the boundary location accurately, but a boundary can intersect a cell in many ways, which causes complexity in programming and reduces computational efficiency. Ghost-cell immersed-boundary techniques force the flow at the boundary using simple interpolation, which does not increase computation time significantly. This method has been applied to viscous flows with fixed [Gilmanov et al., 2003; Tseng and Ferziger, 2003; Balaras, 2004] and moving boundaries [Fadlun et al., 2000; Yang and Balaras, 2006]. The cases they describe show that the ghost-cell immersed-boundary method is suitable for problems with very complex geometries.
 To avoid complexity and the need of regridding after each time step, we solve the flow on a Cartesian grid that is locally refined in high-gradient regions such as the boundary layer near the river bed. A ghost-cell immersed-boundary method is applied, enforcing the no-slip condition on the bed surface via momentum forcing at the bed. The current method interpolates the flow for the ghost cells in a way similar toBalaras . The current paper focuses on describing the numerical methods for the hydrodynamic part of the solver, validating the accuracy of the applied approach and demonstrating the capabilities of the solver in complex dynamic geometries. The cases used for this hydrodynamic validation are Stokes flow around a cylinder in the vicinity of a moving wall, flow around a cylinder at higher Reynolds numbers, and flow over two-dimensional (2-D) and three-dimensional (3-D) dunes. Two companion papers (M. Nabi et al., Detailed simulation of morphodynamics: 2. Sediment pick-up, transport and deposition; 3. Ripples and dunes, submitted toWater Resour. Res., 2013a, 2013b) show that the model performs well as a hydrodynamic submodel in the high-resolution modeling of sediment transport and formation and evolution of subaqueous ripples and dunes.
2. Governing Equations
 The governing equations for the fluid are the full 3-D, unsteady, incompressible Navier-Stokes equations written in terms of primitive variables. These equations are given below in terms of volume-filtered variables.
where xi's are the coordinates, t is the time, is the modified pressure, is the mass density, is the filtered velocity component in xi direction, ν and are the molecular and turbulent viscosities, respectively, and Sij is the resolved strain rate tensor:
In large eddy simulation (LES), the large eddies are solved directly, whereas the smaller ones are captured by a turbulence closure. LES uses volume filtering, eliminating eddies smaller than the grid cell volume. The effect of the small scales on the resolved part of turbulence appears in the subgrid-scale (SGS) stress term
which must be modeled. The SGS effect is modeled using the Smagorinsky model [Smagorinsky, 1963], in which the turbulence viscosity is defined as
where is Smagorinsky constant, and
Fixed boundaries are treated with a wall-function technique rather than a dynamic model, as there is no viscous sublayer on rough boundaries such as a river bed. Dynamic SGS model is more accurate if the bed is smooth. As the bed is covered by sediment, the bed cannot be treated same as a smooth bed. Viscous sublayer can be destroyed on rough bed (rough because of sediment not because of ripples). The necessary condition for the dynamic model is imposing at least one cell in the viscous sublayer, because the dynamic model interpolates the boundary condition linearly [Fadlun et al., 2000; Balaras, 2004; Tseng and Ferziger, 2003; Yang and Balaras, 2006]. The following expression for the near-bed region is adopted:
where ypis the distance of a near-bed grid point to the bed,upis flow velocity at the near-bed grid point, is local bed shear velocity, κ is the von Kármán constant, , and , in which ks is roughness height and d50 is bed median sediment diameter. As we deal with uniform sediment, d50 can be replaced by the sediment diameter d.
 The wall-function techniques yield satisfactory results over flat beds, but in regions with mildly complex geometries, and hence in the flow separation zones, the results may deviate from the accurate solution. The aim of the current model is to be applied for simulation of sediment transport and morphodynamical changes. As the flow in the separation zones is weak, it does not pick up much sediment, so that wall-function techniques are a suitable choice.
3. Numerical Methods
Equations (1) and (2)are solved with a second-order accurate, two-step fractional step method. The diffusion and advection terms in the momentum equations are discretized by a second-order finite-volume method. Pressure and velocities are discretized on a staggered grid, in which the pressure is located in the center and the velocities are located on the faces of the cells. The solution advances in time using an Adams-Bashforth-Crank-Nicolson method, which conserves second-order accuracy in time. The diffusion terms are discretized using an implicit Crank-Nicolson scheme, the advection terms with a second-order Adams-Bashforth scheme. This eliminates the viscous stability constraint, which can be quite stringent in case of viscous flows. The two-step fractional step method estimates the velocity field by the predictor
where N indicates the time step. C, D, and G are spatial operators for advection, diffusion, and pressure, respectively. is a forcing term that must be determined such that satisfies the boundary conditions immersed in the computational domain. The resulting velocity field is not divergence free, and the velocity and pressure have to be corrected by a pressure-correction term
where is the pressure correction, and it is found by solving the Poisson equation
 The ghost-cell method used here is based on the application of direct forcing at the immersed boundaries, an approach similar to that used byMohd-Yusof  and Fadlun et al. . The force is a function of time and space, and is defined such that the desired boundary conditions are satisfied in every time step. The location of this force does not necessarily coincide with a grid point, so interpolation or extrapolation to these points is needed. The magnitude of the forcing can be derived from the Navier-Stokes equations:
where RHS is the right-hand side of the Navier-Stokes equations and includes the advection, diffusion, and pressure terms. is the velocity on the immersed boundaries, and fi is the forcing function. The force fi in equation (13) can be determined exactly if the unknowns are defined exactly at the boundaries. This is generally not the case in complex geometries. Interpolation and extrapolation techniques to determine the forcing term on the ghost cells can be classified into two categories: (1) schemes that allocate the ghost cells inside the fluid in the vicinity of the boundary [Balaras, 2004] and (2) techniques that consider the first cell in the “solid,” i.e., outside the fluid domain, as the ghost cell [Tseng and Ferziger, 2003].
 In the present study, the former category is used, i.e., the ghost cells are located in the fluid in the vicinity of the boundary. They are defined as cells that have at least one neighbor cell located in the solid. To classify the nodes, an integer flag is used: nodes with flag –1 are located in the solid, nodes with flag 1 in the fluid. Ghost nodes have flag zero. There are several ways to interpolate the velocities for the ghost cells to satisfy the boundary conditions. In the present work, the ghost cell is located on the bed normal vector passing through it, and it forms the imaginary point I as shown in Figure 1. The imaginary point is extended into the fluid to find the required nodes (in fluid) for a trilinear (bilinear in 2-D) interpolation. In the case, some of required nodes still fall in the solid, the extension can be continued. Later on, the logarithmic interpolation ofequation (8) between point I and the bed is applied to interpolate the values for the ghost points.
 In the above algorithm, boundary conditions for the pressure near the interface are not imposed explicitly, but they are essentially implicit in the source term of the Poisson equation [Balaras, 2004].
3.3. Mesh Refinement
 Another problem with a Cartesian grid, on top of the complications arising from the immersed boundaries, is the problem of resolution. A simple Cartesian grid treats all portions of flow equally; all cells in the grid are squares or cubes of the same size. A simple-structured Cartesian grid requires a large number of cells to capture the small eddies in a turbulent flow, whence a fully structured Cartesian grid can be computationally demanding. To resolve real-life geometries and flows, some form of grid adaptation may therefore be necessary.
 To optimize the demand for computational resources, we use an adaptive multilevel Cartesian mesh with local refinement, such that more grids cells can be placed in high-gradient regions such as boundary layers.Figure 2shows such kind of grid over a dune. The grid generation process starts from a relatively coarse Cartesian grid (a base grid) encompassing the overall domain. The grid generation then proceeds by successive refinements. Each coarse cell is divided into eight equal children cells (four children in 2-D) to form the next level of refinement (seeFigure 2). The corresponding data structure is discussed in the next section.
3.4. Data Structure
 For a typical structured-grid code, the data structure can be contained entirely in an index. Unstructured grid codes usually have a significantly more complex data structure. As the connectivity of such a grid is of prime importance, information must be stored on which cells are neighbors of a given cell.
 There are two common types of data structure for this type of refined Cartesian grids: the hierarchical tree structure and the fully unstructured approach. In view of drawbacks associated with fully unstructured grids, the hierarchical tree data structure is chosen here. The finer grids are considered as subdomains of the coarser grids, which are treated separately as a kind of nested grids. Figure 3 shows a fully unstructured grid and a multilevel grid.
Coirier and Powell used the hierarchical tree structure in their Euler and Navier-Stokes solver, demonstrating that the tree structure provides a logical means of finding cell-to-cell connectivity and allows straightforward isotropic refinement and coarsening through tree growth and pruning.
 The solution of viscous incompressible flows requires that careful attention be paid to the velocity-pressure coupling to prevent nonphysical oscillations in the solution. This is normally accomplished by using a staggered-grid method. This requires calculation and storage of face-based data. The storage and management of faces between cell neighbors requires the definition of new tree structures for faces. The tree structures for faces are managed in a comparable way as those for the cells. Three kinds of faces (perpendicular tox-,y-, andz-coordinates) require three extra trees. In a 3-D mesh, the cells form an octree, and the faces form three quad-tree data structures.
Figure 4shows the structure of cell-cell connections in 2-D. Furthermore, the boundary conditions for any grid level are defined by ghost cells and ghost faces. The ghost cells and ghost faces are managed in such a way that they surround all subdomains. The values on the ghost cells and ghost faces can be interpolated from the values on the coarser grid. A high-order interpolation is necessary to conserve the order of accuracy. We implemented a third-order interpolation to conserve second-order accuracy.
 There is no explicit treatment necessary for interfaces in the current model. For fully unstructured grid, the interface between two grids has to be treated explicitly, in such a way that the mass stay conserved. Therefore, special treatment for the flux is necessary. As we apply a multilevel grid, the grid is decomposed into several locally independent grids as shown in Figure 3. Each grid is solved independently with the boundary conditions in its interface which are interpolated from the coarser grid. Although we say independently, but in fact they are not independent, and they are linked by restriction and prolongation operators in the multigriding process.
 However, some papers claim that the order of accuracy decreases at the interfaces between the grids, because the gradients of variables are not continuous there, although the variables stay continuous. They solve this deficiency by a third-order interpolation of the fluxes between the fine and course grids to smooth the gradient. In our model, we solved this deficiency by increasing the order of interpolation for restriction operator (changed from second to fourth order). This method implicitly corrects the gradient of the variable on the grids interfaces. Although the number of operations will increase for a higher-order interpolation, but we still believe that the model becomes more efficient as the searching process for the suitable cells for interpolation (and decide which call can be used for a better performance) in former approach can be a more time-consuming process.
 By this kind of data structure, the parent-children connectivity can be directly employed to find the related cells and faces on the finer and coarser grids, which makes the implementation of a multigrid method straightforward and does not have the problem of hanging nodes breaching the symmetry of coefficient matrices, as may be the case with fully unstructured grids.
3.5. Moving Boundaries
 The general algorithm outlined in section 3.1is directly applicable to moving boundary problems, such as alluvial processes. For moving boundary problems, the forcing approach and the related interpolations must be re-evaluated every time the location of the interface is updated. Moreover, complications may arise that are usually related to the time advancement scheme. This is due to the fact that the role of the grid points near the interface changes from time step to time step, as the solid body moves through the fixed grid. Thus, a forcing point may change to a fluid or a solid point, or conversely.
 The solution of the momentum equation at time step n requires physical values of the velocity vector and pressure, as well as their derivatives from time step n – 1 at all fluid points. If the interface changes location, the required values from time step n– 1 may be nonphysical. Due to Courant-Friedrichs-Lewy (CFL) restriction of the present scheme the boundaries cannot move by more than one grid cell in each time step, which results in three possible changes in the flags of the points near the interface,
 1. The interface does not pass any grid point. In this case, the grid points do not change role and no stability problems arise.
 2. The interface moves toward the fluid and passes a forcing point. The forcing point becomes solid and the nearest fluid point becomes a forcing point. Because the new solid point has a history from the previous time step, no stability problems arise.
 3. The interface moves toward the solid and passes a grid point. The forcing point now becomes fluid and the next solid point becomes a forcing point. Because the new forcing point has no history from the previous time step, stability problems may arise.
 Situation 3 is shown in Figure 5for a 2-D case. In the left part ofFigure 5 the derivative makes use of velocities v1 and v2. The values of v1 and v2 are both physical because they are located outside the solid. In a later stage, the boundary moves toward the solid (see the right Figure 5) and the role of u2 changes (from forcing to fluid point). The same derivative now makes use of v3 and v4, while v3 is located in the solid and has no physical value. To avoid such instabilities, Yang and Balaras applied a field-extension procedure in which the velocity and pressure fields are extrapolated to the first point in the solid phase (pseudofluid points) at the end of each deformation. They constructed the values of the velocity at the pseudofluid points using a procedure that is similar to the procedure applied byTseng and Ferziger . However, a test of the present model with and without field extension showed no significant difference in the results. Therefore, we stick to the forcing procedure described in section 3.1, also after deformation of the model domain.
 In ghost-cell immersed-boundary methods, the pressure has to be interpolated around the velocity nodes. The interpolated pressure is to be used in momentum equations and as mentioned earlier, the solution of pressure Poisson equation does not need a forcing approach. Unlike the velocities, the pressure at the immersed boundaries cannot be determined explicitly. The boundary condition for pressure is of the Neumann type and can be expressed in normal derivative form as
with the normal derivative to be found from:
where ni's are the components of the normal unit vector, .
 Applying an interpolation procedure similar to that for the velocities to an image point of pressure located in the fluid, the pressure value in the ghost cell can be determined as
where ppis the ghost-cell pressure andpI is the pressure at the image point.
 We should also note that, due to the staggering of the mesh, the selection of points on the pressure grid is not only based on their relative location with respect to the interface but also on their association to velocity values that are non-physical. As a result, the pressure is also extended to nodes on the pressure grid that would have been classified as boundary nodes on the velocity grid.
3.6. Solution Techniques
 Full approximation storage (FAS) multigrid cycles have been implemented to solve the momentum and pressure correction equations, with the following time-stepping algorithm.
 1. Solve the momentum equations
(a) Apply one FAS cycle for momentum in x direction.
(b) Apply one FAS cycle for momentum in y direction.
(c) Apply one FAS cycle for momentum in z direction.
(d) Calculate the scalar fields, like turbulence closure.
(e) Check the residual. If it is not converged, go to (a).
 2. Apply FAS cycles for the pressure correction until convergence.
 3. Correct the velocity field and pressure.
 4. Reforce the flow beside the moving solid boundaries (or apply field extension).
 5. Go to step 1.
 FAS multigrid for the pressure correction is found to be more stable than the linear multigrid. It is probably because of the presence of hanging nodes that bring complexity as well as nonlinearity to the existing interpolations. The local iteration process in step 1 is very fast if an implicit-explicit method (i.e., the Crank-Nicolson-Adams-Bashforth method) is used. Fully explicit methods are restricted to small CFL numbers, and they can be very expensive. Fully implicit methods, on the other hand, are unconditionally stable, but they require more iterations to achieve convergence. It is possible to apply large time steps in fully implicit methods, but turbulence involves multiple time scales and the required time step is not allowed to exceed its smallest time scale. Hence, fully implicit techniques with small time steps (in the order of the Kolmogorov time scale) can be more expensive than implicit-explicit methods. The code is fully parallelized by OpenMP on shared memory computers, and an efficiency of 75% is achieved.
4. Numerical Experiments
 To validate the present model, we simulated different cases that have been extensively documented in literature. We started from determining the order of accuracy of the model by solving Wannier flow. Subsequently, uniform flow around a cylinder and flow over fixed 2-D and 3-D dunes were simulated and compared with published numerical and experimental results.
4.1. Wannier Flow
 To verify the order of accuracy of the model including ghost cells at immersed boundaries, we simulated Stokes flow around a cylinder in the vicinity of a moving wall. This problem has been solved analytically by Wannier . Wannier obtained the exact solution for Stokes flow around a spinning cylinder located inside a larger rotating cylinder. This problem can be simplified by an infinite increase in the radius of the outer cylinder. The outer cylinder thus changes its role to an infinite horizontal wall moving in its own plane. Therefore, the flow is bounded by the wall on one side and extends to infinity in other directions. Here we consider the case where the inner cylinder is not spinning.
 The flow is calculated for three different grid resolutions, namely , , and as base grids. All grids are locally refined by two more levels around the cylinder and the moving wall (3-levels grids). To minimize the effect of slip errors, which are more significant at low Reynolds numbers, the boundary is reforced after the correction in the fractional step method. The velocity field and the grid structure are shown inFigure 6. The results of the current simulation have been compared with Wannier's relations, and the norm errors in the velocities have been plotted in Figure 7, which shows a convergence rate of slightly more than 2, i.e., second-order accuracy of the velocities.
4.2. Flow Around a Circular Cylinder
 The simulation of flow around a cylinder is an interesting test case, because its behavior can change dramatically as a function of Reynolds number. At high Reynolds numbers, the flow separates and forms a von Kármán vortex street. This flow has been studied extensively, numerically, as well as experimentally.
 The nondimensional far-field stream velocity was held constant at m s−1. The base calculations were done on a grid. Figures 8 and 9 show the streamlines and the vorticity contours, respectively, for the Re = 40 case. Figure 10 shows the expected trailing von Kármán vortex street at Re = 100. This particular simulation was run to a nondimensional time of 150 to ensure full development of the quasi steady state condition.
Table 1shows a summary of results for the cases with steady-state solution for two different Reynolds numbers,Re = 20 and 40, in terms of trailing bubble length, angle of separation, and drag coefficient. Table 2 shows the results for Re = 100 in terms of drag and lift coefficients. These geometric results compare favorably with both experimental and previous computational results.
Table 1. Summary of Results for Re = 20 and Re = 40a
Re = 20
Re = 40
L is the trailing bubble length, θ is the angle of separation, and CD is the drag coefficient.
 To investigate the efficiency of the current model and compare with the standard structured grid models, a 3-D flow on a flat bed is simulated. Two cases, namely with local refining and without local refining, are considered. The size of the cells in the case without local refining was equal to the size of the finest cells in the case with local refining. The local refining was made by a base grid of and constructing three extra finer levels close to the bed. Table 3 shows the necessary time for simulating the first 20 time steps for both cases. The case without refining needed almost 16 times more cells to achieve the same accuracy of the case with local refining. Although local refining decreases the number of cells dramatically, it can be seen that the time of the simulation is decreased by a factor of 4, because the interpolations for the boundaries between the grid interfaces are time consuming.
Table 3. Comparison of the Time Necessary Simulating the First 20 Time Steps
Number of Cells
 The efficiency of the current model is strongly dependent on the grid topology and the number of interface cells, which has to be interpolated from their coarser levels. The current example is a simple case to show an approximate efficiency of the model. If the area of the interfaces between the find and coarse grids increase, more cells are necessary to be interpolated, and the efficiency probably slightly decreases.
4.4. Flow Over Fixed 2-D Dune
 To validate the model for irregular bedforms, we simulated flow over 2-D dunes and, on this basis, we studied the flow over the dunes.McLean et al. conducted a series of experiments for the flow over 2-D dunes. The experimental flume was long, wide, and deep. Twenty fixed dunes of length and height were placed in the flume. The stoss side of the dunes was a half-cosine wave running from its lowest point at the trough to its highest point at the crest (Figure 11). The angle of the lee slope was 30°. Three flow conditions were investigated, with flow depths varying from to . Table 4 shows the experimental conditions.
h is the average water depth, U is the averaged velocity, Re is the Reynolds number, Fr is the Froude number, τT is the bed shear stress, is the shear velocity, Cf is the total drag coefficient, and S is the channel slope.
1.01 × 105
0.60 × 105
1.55 × 105
 We simulated runs 2 and 3 with the same flow conditions and bed geometry as in the experiments. The boundaries in streamwise and transverse directions were taken periodic. A pressure gradient was applied in streamwise direction to mimic the slope force. The value of the pressure gradient was calculated in such a way that the desired bulk velocity was achieved. For runs 2 and 3, the simulations are done on base grids of and in streamwise, spanwise, and normal direction, respectively, with one extra level of refining beside the bed. Figure 12 shows the computed instantaneous streamwise velocity on this dune for runs 2 and 3, and Figure 13 the spatially and temporally averaged streamwise velocity. It can be seen that the circulation zone is small in run 2, whereas a relatively large recirculation zone is formed behind the lee side of the dunes in run 3. Figure 14 shows the instantaneous vorticity for these two runs. The vorticity behind the dune crest in the bottom figure seems to exhibit a boiling effect. The boiling is generated at the stoss side of the dune and separates from the crest into the flow. In a later stage, the boiling reaches the free surface and produces a small deformation in the free surface [Best, 2005]. Figure 15 shows the turbulence kinetic energy (TKE). The maximum TKE for run 2 is located close to the dunes crest, whereas the maximum in run 3 is found around the recirculation zone. The region of high TKE is larger in run 3, but the maximum value is much higher in run 2. Apparently, the large recirculation zone in run 3 is more effective in transferring turbulence to the region around it.
 To visualize the coherent structures of the flow, we followed the approach developed by Hunt et al. , based on the second invariant of :
where S and Ω are the symmetric and antisymmetric components of . Figure 16 shows the coherent structure above the dune for runs 2 and 3 by plotting the isosurface . Clearly, the turbulence structures in run 2 are smaller than those in run 3. In run 3, the recirculation zone generates large eddies that break down to smaller eddies on the stoss side of the next dune. Given the small recirculation zone in run 2, no large eddies can be generated by the recirculation zone. To show this phenomenon more clearly, the coherent structure is plotted in Figure 17 for a larger value of Q ( ), thus filtering out the smaller structures. Figure 17shows that in run 3 large structures are formed behind the lee side of dunes, whereas in run 2 the smaller structures still dominate. Further downstream, these highly 3-D structures interact with the wall and generate disturbances with the same spanwise wavelength. These disturbances evolve into “horseshoe” vortical structures.Figure 18 shows such kind of structures behind the lee side of a dune and on the stoss side of the next dune. Both legs of the horseshoe structure are associated with high levels of positive and negative streamwise vorticity (right and left leg, respectively, facing in the flow direction). As the two legs meet along the tip, regions of high spanwise vorticity are formed. As a result, strong vertical fluid motions are formed between the legs and close to the tip, lifting fluid from the wall region. In some instances, the intensity of these vertical fluid upwellings is as strong as 30% of the bulk flow velocity [Grigoriadis et al., 2009]. This phenomenon has a strong effect on the pickup of sediment and hence on the reworking of the bed.
Figure 19shows the time-averaged streamwise velocity normalized by the averaged bed shear velocity (averaged over time and space) and compared with McLean's experiments. The normalized velocities in run 2 are generally slightly larger than those in run 3; however, considering the differences in depth and Froude number, the shapes of the individual profiles agree fairly with the experiments. Profiles of the vertical velocity for runs 2 and 3 are presented in Figure 20. An overprediction of the vertical velocity can be observed in the recirculation zone for run 2. An overprediction occurs mainly in the recirculation region, as can be expected when using wall functions that are valid only for attached boundary layers. The agreement also holds for the Reynolds stress components shown in Figures 21–23. An underprediction in Reynolds shear stress can be observed in the recirculation zone for runs 2 and 3 in Figure 22, in which is the fluctuation of the velocity in vertical direction.
4.5. Flow Over Fixed 3-D Dune
 The interaction between the flow field and the bedforms is a complex one, involving as-yet poorly understood feedback mechanisms. One of these mechanisms is the effect the bedforms have on the turbulent flow field. Due to the limitations of turbulent flow measurements made over 3-D dunes, the information will be limited to measurements made over 2-D features of various types, including strongly asymmetric steep-angle dunes, relatively symmetric low-angled dunes, and spatially accelerated flows.Maddux et al. [2003a, 2003b]has performed a series of experiments on fixed 3-D dunes. The configurations of these experiments are identical with the experiments on 2-D dunes performed byMcLean et al. . Maddux's dunes were qualitatively similar to real sinuous-crested 3-D dunes, as observed in the field and in flumes with mobile sediments [Gabel, 1993]. The dunes had a mean wavelength λ of and a mean height δ at the crest of . The stoss side of the dunes was a half-cosine wave running from its low point at the trough to its high point at the crest. The angle of the lee slope was 30°. The mean height, wavelength, and cross section of these dunes matched that of 2-D bedforms used in experiments conducted byMcLean et al. . The three-dimensionality of the dunes was expressed as a full cosine wave in the spanwise direction, superimposed on the profile of the 2-D dunes (Figure 24). The height of the crests of the dunes above the troughs, δ, varied in the spanwise direction from to . Successive crestlines were 180° out of phase, so that a dune with a high middle and low sides was followed immediately by a dune with a low middle and high sides, as shown in Figure 24. It resulted in a crest-to-crest wavelength,λ, that varied in the cross-stream direction from to . The resulting steepness of the dunes varied in the spanwise direction as well, with values ranging from 0.025 to 0.075. These values matched well with the values of for real dunes in the field [Maddux et al., 2003a]. Although typical 3-D dunes are often more complex, with concave faces and other features, these dunes are sufficiently realistic while maintaining enough similarity to previous measurements to facilitate an understanding of the response of the flow to 3-D bed topography.Maddux et al. [2003a]show a significant difference in turbulence structure and bed friction between 2-D and 3-D dunes. This difference is in such a degree for which the three dimensionality of the dunes must be taken seriously into account.
Maddux et al. [2003a, 2003b]have extended the experiments over 3-D dunes for flow of the similar depth and discharge as for experiments 2 and 3 over 2-D dunes.Table 5 shows the conditions for Maddux's experiments, and they are named T2 and T3, related to McLean's experiments 2 and 3, respectively. The water depth and the bulk velocities for T2 and T3 are slightly different than those for experiments 2 and 3.
h is the average water depth, U is the averaged velocity, Re is the Reynolds number, Fr is the Froude number, τT is the bed shear stress, is the shear velocity, Cf is the total drag coefficient, and S is the channel slope.
0.62 × 105
1.46 × 105
 Here we simulate the flow over 3-D dunes with the same condition for the experiment T2 and we call it R2. The boundaries in streamwise direction are set to periodic. Smooth solid boundary conditions in spanwise direction are imposed to account for the glass side walls in Maddux's experiment. The free surface is considered as a rigid lid, and the flow is derived by a pressure gradient to obtain the desired bulk velocity. The bed is considered as a rough boundary with sediment diameter of on the bed as it is imposed in T2 [Maddux et al., 2003a]. The simulations are done on a base grid of in streamwise, spanwise, and normal direction, with one extra level of refining beside the bed.
Figure 25shows the computed depth-averaged streamwise and spanwise velocities for run R2, and they are compared with the contour graphs from Maddux's experiment T2. A qualitatively good agreement can be seen between the computed results and Maddux's measurements. The highest streamwise velocity is located on the crest line of the dunes but not on the crest point. The highest streamwise velocity is located in the middle distances between the centerline and the walls, which is called as “node of the dune crest” inMaddux et al. [2003a]. The lowest streamwise velocity is located in the trough parts directly after the crest points because of weak velocity field in the recirculation zone behind the crest point. The largest absolute values of spanwise velocities are located on the halfway between the nodes of crest lines. The four quadrants of the spanwise velocity in Figure 25 are the results of the geometrical curvatures of the dunes.
Figure 26shows the streamwise-averaged velocities for run R2 and that for Maddux's experiment T2. It shows that the streamwise velocity has maximum values on the nodes of the crest, as it is also observed fromFigure 25. For spanwise and normal velocities, a secondary current can be concluded, which can be more clearly seen in Figure 30. Further, the validations are extended to the Reynolds stresses. Figure 27 shows a comparison between Reynolds shear stresses for the current computations for run R2 and the measurement T2. All these figures show that the computed results qualitatively agree with the measurements.
Figure 28 shows the instantaneous streamwise velocity in the streamwise center section and node sections and Figure 29shows the time-averaged velocity vectors in the center section and node section for run R2. A relatively strong recirculation zone can be observed in the center section, whereas a weak recirculation exists in the node section. Although the streamwise velocity is stronger on the node of the crest line, the height of this point is much less than the crest point, and it makes the recirculation zone less strong. The size of recirculation zone is more affected by the height of the dune rather than the velocity distribution on the dune crest line.
Figure 30shows the time-averaged velocity vectors in the trough of the dune (in ). Four counterrotating secondary circulation vectors, with secondary current velocities, can be observed. The loops are also observed in the experiment T2. These secondary currents appear to be generating a net downward momentum flux. This flux could be carrying momentum that is not being carried by low levels of turbulence over the 3-D dunes [Maddux et al., 2003a].
Figure 31 shows the instantaneous vorticity in the center section and on the node sections of the domain. The boiling effect can be less observed on the crest node, and the vorticity structures are pulled down. Although on the crest point, the vorticity is also in some contents pulled toward the bed, after the recirculation zone, the vorticity is separated again and goes toward the water surface. This trend is observed in all instantaneous vorticity profiles of the current run.
Figure 32shows the time-averaged TKE in the center section and node sections of the domain. A larger region of TKE can be observed behind the crest point than the node because of larger recirculation zone. As the recirculation zone gets smaller, the TKE gets concentrated in a smaller region, although the turbulence intensity of these two regions are comparable.
 We have developed an efficient numerical model for hydrodynamics in a cost-efficient way, to be applied for the simulation of morphodynamics. This model uses unstructured Cartesian grids with local refining to be able to capture the small scales turbulence with efficient computational costs. The grid can be refined in high-gradient regions as well as in the vicinity of the bed, in the form of an adaptive grid. The adaptivity can follow the movement of the bed to yield a high-resolution solution for the flow in complex moving bed topology. A ghost-cell immersed-boundary method is applied for the cells that intersect the boundaries. LES is employed to resolve the turbulence.
 At the first step, the hydrodynamics model is compared with an analytical solution of flow (Wannier flow) to validate the applied multilevel techniques as well as the applied ghost-cell immersed boundary technique. Comparing with Wannier's analytical solution, the results show a second order of accuracy for the velocities. Moreover, the flow fields around a 2-D cylinder at Reynolds numbers of 20, 40, and 100 are simulated, and they are compared with the published results, and a good agreement is found.
 The flow has been simulated on fixed 2-D dunes. A comparison with experimental measurements from previous studies shows a good agreement. The model has sufficient capability to calculate the physical phenomena such as turbulence coherent structures and boiling vortices. Moreover, the flow on 3-D dunes is solved, and the contours for velocities and Reynolds shear stresses are compared with the previous experimental studies from literature. The contours show qualitatively good agreement with the experimental measurements. Furthermore, the model captured the recirculation zone and the current of turbulence in a physics-based way. The model has a potential to be employed for simulation of sediment transport and morphodynamic evolution of an alluvial bed.
 The work presented herein was carried out as part of the work package “River Morphology” of Delft Cluster project 4.30 “Safety against flooding,” financed by the Netherlands government and supported by Rijkswaterstaat Waterdienst. The authors are grateful to Sanjay Giri for his fruitful suggestions.