Stabilized Crouzeix‐Raviart element for the Darcy‐Stokes problem

We stabilize the nonconforming Crouzeix‐Raviart element for the Darcy‐Stokes problem with terms motivated by a discontinuous Galerkin approach. Convergence of the method is shown, also in the limit of vanishing viscosity. Finally, some numerical examples verifying the theoretical predictions are presented. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 21, 2005.     

A weak Galerkin finite element method for a coupled Stokes‐Darcy problem

In this article, we introduce and analyze a weak Galerkin finite element method for numerically solving the coupling of fluid flow with porous media flow. Flows are governed by the Stokes equations in primal velocity‐pressure formulation and Darcy equation in the second order primary formulation, respectively, and the corresponding transmission conditions are given by mass conservation, balance of normal forces, and the Beavers‐Joseph‐Saffman law. By using the weak Galerkin approach, we consider the two‐dimensional problem with the piecewise constant elements for approximations of the velocity, pressure, and hydraulic head. Stability and optimal error estimates are obtained. Finally, we provide several numerical results illustrating the good performance of the proposed scheme and confirming the optimal order of convergence provided by the weak Galerkin approximation. © 2017 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 33: 1352–1373, 2017     

Stability and convergence of the mark and cell finite difference scheme for Darcy‐Stokes‐Brinkman equations on non‐uniform grids

In this paper, we consider the mark and cell (MAC) method for Darcy‐Stokes‐Brinkman equations and analyze the stability and convergence of the method on nonuniform grids. Firstly, to obtain the stability for both velocity and pressure, we establish the discrete inf‐sup condition. Then we introduce an auxiliary function depending on the velocity and discretizing parameters to analyze the super‐convergence. Finally, we obtain the second‐order convergence in L2 norm for both velocity and pressure for the MAC scheme, when the perturbation parameter ? is not approaching 0. We also obtain the second‐order convergence for some terms of ∥·∥_? norm of the velocity, and the other terms of ∥·∥_? norm are second‐order convergence on uniform grid. Numerical experiments are carried out to verify the theoretical results.     

Convergence of a family of Galerkin discretizations for the Stokes–Darcy coupled problem

In this article we analyze the well‐posedness (unique solvability, stability, and Céa's estimate) of a family of Galerkin schemes for the coupling of fluid flow with porous media flow. Flows are governed by the Stokes and Darcy equations, respectively, and the corresponding transmission conditions are given by mass conservation, balance of normal forces, and the Beavers—Joseph—Saffman law. We consider the usual primal formulation in the Stokes domain and the dual‐mixed one in the Darcy region, which yields a compact perturbation of an invertible mapping as the resulting operator equation. We then apply a classical result on projection methods for Fredholm operators of index zero to show that use of any pair of stable Stokes and Darcy elements implies the well‐posedness of the corresponding Stokes—Darcy Galerkin scheme. This extends previous results showing well‐posedness only for Bernardi—Raugel and Raviart—Thomas elements. In addition, we show that under somewhat more demanding hypotheses, an alternative approach that makes no use of compactness arguments can also be applied. Finally, we provide several numerical results illustrating the good performance of the Galerkin method for different geometries of the problem using the MINI element and the Raviart—Thomas subspace of lowest order. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 27: 721–748, 2011     

A decoupling two‐grid algorithm for the mixed Stokes‐Darcy model with the Beavers‐Joseph interface condition

In this article, a decoupling scheme based on two‐grid finite element for the mixed Stokes‐Darcy problem with the Beavers‐Joseph interface condition is proposed and investigated. With a restriction of a physical parameter α, we derive the numerical stability and error estimates for the scheme. Numerical experiments indicate that such two‐grid based decoupling finite element schemes are feasible and efficient. © 2014 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 30: 1066–1082, 2014     

A nonconforming rectangular finite element pair for the Darcy–Stokes–Brinkman model

In this article, we consider the Darcy–Stokes–Brinkman model that can be sorted into three problems: the Darcy problems, the Stokes–Brinkman interface problems and the coupled Darcy–Stokes problems. We study finite element approximation of the model with Dirichlet boundary conditions and make a unified analysis of the three problems based on nonconforming element. Optimal error estimates for the fluid velocity and pressure are derived. Finally, we present some numerical examples verifying the theoretical predictions. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2013     

A second‐order partitioned method with different subdomain time steps for the evolutionary Stokes‐Darcy system

A second‐order decoupled algorithm for the nonstationary Stokes‐Darcy system, which allows different time steps in two subregions, is proposed and analyzed in this paper. The algorithm, which is a combination of the second‐order backward differentiation formula and second‐order extrapolation method, uncouples the problem into two decoupled problems per time step. We prove the unconditional stability and long‐time stability of the decoupled scheme with different time steps and derive error estimates of this decoupled algorithm using finite element spatial discretization. Numerical experiments are provided to illustrate the accuracy, effectiveness, and stability of the decoupled algorithm and show its advantages of increasing accuracy and efficiency.     

Generalized Darcy–Oseen resolvent problem

In this paper, we study the well‐posedness of a coupled Darcy–Oseen resolvent problem, describing the fluid flow between free‐fluid domains and porous media separated by a semipermeable membrane. The influence of osmotic effects, induced by the presence of a semipermeable membrane, on the flow velocity is reflected in the transmission conditions on the surface between the free‐fluid domain and the porous medium. To prove the existence of a weak solution of the generalized Darcy–Oseen resolvent system, we consider two auxiliary problems: a mixed Navier–Dirichlet problem for the generalized Oseen resolvent system and Robin problem for an elliptic equation related to the general Darcy equations. © 2016 The Authors Mathematical Methods in the Applied Sciences Published by John Wiley & Sons Ltd.     

Superconvergence analysis of FEMs for the Stokes–Darcy system

We consider a superconvergence analysis for quadratic finite element approximations of the Stokes–Darcy system. The superclose property of an extra half order is proven for uniform triangular meshes. Based on the result of the superclose property, global superconvergence is derived by applying a postprocessing technique. In addition, some numerical examples are presented to demonstrate our theoretical results. Copyright © 2010 John Wiley & Sons, Ltd.     

A posteriori error estimate for the Stokes–Darcy system

We consider the a posteriori error estimates for finite element approximations of the Stokes–Darcy system. The finite element spaces adopted are the Hood–Taylor element for the velocity and the pressure in fluid region and conforming piecewise quadratic element for the pressure in porous media region. The a posteriori error estimate is based on a suitable evaluation on the residual of the finite element solution. It is proven that the a posteriori error estimate provided in this paper is both reliable and efficient. Copyright © 2011 John Wiley & Sons, Ltd.     

Iterative methods in penalty finite element discretizations for the Steady Navier–Stokes equations

Three penalty finite element methods are designed to solve numerically the steady Navier–Stokes equations, where the Stokes, Newton, and Oseen iteration methods are used, respectively. Moreover, the stability analysis and error estimate for these nine algorithms are provided. Finally, the numerical tests confirm the theoretical results of the presented algorithms. Meanwhile, the numerical investigations are provided to show that the proposed methods are efficient for solving the steady Navier–Stokes equations with the different viscosity. © 2013 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 30: 74‐94, 2014     

Discontinuous Galerkin method for the coupled Stokes‐Biot model

In this paper, a semi‐discrete scheme and a fully discrete scheme of the Stokes‐Biot model are proposed, and we analyze the semi‐discrete scheme in detail. First of all, we prove the existence and uniqueness of the semi‐discrete scheme, and a‐priori error estimates are derived. Then, we present the same conclusions for the fully discrete scheme. Finally, under both matching and non‐matching meshes some numerical tests are given to validate the analysis of convergence, which well support the theoretical results.     

Uncoupling evolutionary groundwater‐surface water flows using the Crank–Nicolson Leapfrog method

Consider an incompressible fluid in a region Ω_f flowing both ways across an interface into a porous media domain Ω_p saturated with the same fluid. The physical processes in each domain have been well studied and are described by the Stokes equations in the fluid region and the Darcy equations in the porous media region. Taking the interfacial conditions into account produces a system with an exactly skew symmetric coupling. Spatial discretization by finite element method and time discretization by Crank–Nicolson LeapFrog give a second‐order partitioned method requiring only one Stokes and one Darcy subphysics and subdomain solver per time step for the fully evolutionary Stokes‐Darcy problem. Analysis of this method leads to a time step condition sufficient for stability and convergence. Numerical tests verify predicted rates of convergence; however, stability tests reveal the problem of growth of numerical noise in unstable modes in some cases. In such instances, the addition of time filters adds stability. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

On the mixed problem for the semilinear Darcy‐Forchheimer‐Brinkman PDE system in Besov spaces on creased Lipschitz domains

The purpose of this paper is to study the mixed Dirichlet‐Neumann boundary value problem for the semilinear Darcy‐Forchheimer‐Brinkman system in L _p ‐based Besov spaces on a bounded Lipschitz domain in ${\mathbb{R}}^3$, with p in a neighborhood of 2. This system is obtained by adding the semilinear term | u | u to the linear Brinkman equation. First, we provide some results about equivalence between the Gagliardo and nontangential traces, as well as between the weak canonical conormal derivatives and the nontangential conormal derivatives. Various mapping and invertibility properties of some integral operators of potential theory for the linear Brinkman system, and well‐posedness results for the Dirichlet and Neumann problems in L _p ‐based Besov spaces on bounded Lipschitz domains in ${\mathbb{R}}^n$(n ≥3) are also presented. Then, using integral potential operators, we show the well‐posedness in L ₂‐based Sobolev spaces for the mixed problem of Dirichlet‐Neumann type for the linear Brinkman system on a bounded Lipschitz domain in ${\mathbb{R}}^n$(n ≥3). Further, by using some stability results of Fredholm and invertibility properties and exploring invertibility of the associated Neumann‐to‐Dirichlet operator, we extend the well‐posedness property to some L _p ‐based Sobolev spaces. Next, we use the well‐posedness result in the linear case combined with a fixed point theorem to show the existence and uniqueness for a mixed boundary value problem of Dirichlet and Neumann type for the semilinear Darcy‐Forchheimer‐Brinkman system in L _p ‐based Besov spaces, with p ∈(2?ε ,2+ε ) and some parameter ε >0.     

Long‐time behavior of solution for the compressible Navier‐Stokes‐Maxwell equations in

In this paper, we are concerned with optimal decay rates for higher‐order spatial derivatives of classical solution to the compressible Navier‐Stokes‐Maxwell equations in three‐dimensional whole space. If the initial perturbation is small in ‐norm, we apply the Fourier splitting method to establish optimal decay rates for the second‐order spatial derivatives of a solution. As a by‐product, the rate of classical solution converging to the constant equilibrium state in ‐norm is .     

A two‐grid stabilized mixed finite element method for Darcy‐Forchheimer model

A two‐grid stabilized mixed finite element method based on pressure projection stabilization is proposed for the two‐dimensional Darcy‐Forchheimer model. We use the derivative of a smooth function, , to approximate the derivative of in constructing the two‐grid algorithm. The two‐grid method consists of solving a small nonlinear system on the coarse mesh and then solving a linear system on the fine mesh. There are a substantial reduction in computational cost. We prove the existence and uniqueness of solution of the discrete schemes on the coarse grid and the fine grid and obtain error estimates for the two‐grid algorithm. Finally, some numerical experiments are carried out to verify the accuracy and efficiency of the method.     

Integral representation of a solution to the Stokes–Darcy problem

With methods of potential theory, we develop a representation of a solution of the coupled Stokes–Darcy model in a Lipschitz domain for boundary data in H^?1/2. Copyright © 2014 John Wiley & Sons, Ltd.     

A posteriori error estimation for the Stokes–Darcy coupled problem on anisotropic discretization

This paper presents an a posteriori error analysis for the stationary Stokes–Darcy coupled problem approximated by finite element methods on anisotropic meshes in or 3. Korn's inequality for piecewise linear vector fields on anisotropic meshes is established and is applied to non‐conforming finite element method. Then the existence and uniqueness of the approximation solution are deduced for non‐conforming case. With the obtained finite element solutions, the error estimators are constructed and based on the residual of model equations plus the stabilization terms. The lower error bound is proved by means of bubble functions and the corresponding anisotropic inverse inequalities. In order to prove the upper error bound, it is vital that an anisotropic mesh corresponds to the anisotropic function under consideration. To measure this correspondence, a so‐called matching function is defined, and its discussion shows it to be useful tool. With its help, the upper error bound is shown by means of the corresponding anisotropic interpolation estimates and a special Helmholtz decomposition in both media. Copyright © 2016 John Wiley & Sons, Ltd.     

Error estimates for two‐level penalty finite volume method for the stationary Navier–Stokes equations

Two‐level penalty finite volume method for the stationary Navier–Stokes equations based on the P₁ ? P₀ element is considered in this paper. The method involves solving one small penalty Navier–Stokes problem on a coarse mesh with mesh size H = ?^{1 / 4}h^{1 / 2}, a large penalty Stokes problem on a fine mesh with mesh size h, where 0 < ? < 1 is a penalty parameter. The method we study provides an approximate solution with the convergence rate of same order as the penalty finite volume solution (u_?h,p_?h), which involves solving one large penalty Navier–Stokes problem on a fine mesh with the same mesh size h. However, our method can save a large amount of computational time. Copyright © 2013 John Wiley & Sons, Ltd.     

Global solutions to the Navier‐Stokes‐Landau‐Lifshitz system

This paper is dedicated to the study of the Navier‐Stokes‐Landau‐Lifshitz system. We obtain the global existence of a unique solution for this system without any small conditions imposed on the third component of the initial velocity field. Our methods mainly rely upon the Fourier frequency localization and Bony's paraproduct decomposition.