Optimal error analysis of Crank–Nicolson lowest‐order Galerkin‐mixed finite element method for incompressible miscible flow in porous media

2020 ◽  
Vol 36 (6) ◽  
pp. 1773-1789
Author(s):  
Huadong Gao ◽  
Weiwei Sun
Keyword(s):  
Finite Element Method ◽  
Finite Element ◽  
Porous Media ◽  
Error Analysis ◽  
Mixed Finite Element ◽  
Mixed Finite Element Method ◽  
Flow In Porous Media ◽  
Optimal Error ◽  
Miscible Flow ◽  
Element Method

A fully-mixed finite element method for the Navier–Stokes/Darcy coupled problem with nonlinear viscosity

2017 ◽  
Vol 25 (2) ◽  
Author(s):  
Sergio Caucao ◽  
Gabriel N. Gatica ◽  
Ricardo Oyarzúa ◽  
Ivana Šebestová
Keyword(s):  
Finite Element Method ◽  
Finite Element ◽  
Porous Media ◽  
Stokes Equations ◽  
Mixed Finite Element ◽  
Mixed Finite Element Method ◽  
Transmission Conditions ◽  
Navier Stokes ◽  
Porous Media Flow ◽  
Element Method

AbstractWe propose and analyze an augmented mixed finite element method for the coupling of fluid flow with porous media flow. The flows are governed by a class of nonlinear Navier–Stokes and linear Darcy equations, respectively, and the transmission conditions are given by mass conservation, balance of normal forces, and the Beavers–Joseph–Saffman law. We apply dual-mixed formulations in both domains, and the nonlinearity involved in the Navier–Stokes region is handled by setting the strain and vorticity tensors as auxiliary unknowns. In turn, since the transmission conditions become essential, they are imposed weakly, which yields the introduction of the traces of the porous media pressure and the fluid velocity as the associated Lagrange multipliers. Furthermore, since the convective term in the fluid forces the velocity to live in a smaller space than usual, we augment the variational formulation with suitable Galerkin type terms arising from the constitutive and equilibrium equations of the Navier–Stokes equations, and the relation defining the strain and vorticity tensors. The resulting augmented scheme is then written equivalently as a fixed point equation, so that the well-known Schauder and Banach theorems, combined with classical results on bijective monotone operators, are applied to prove the unique solvability of the continuous and discrete systems. In particular, given an integer

Sign in / Sign up

Export Citation Format

Share Document