Research Outputs
A fully-mixed formulation for the steady double-diffusive convection system based upon Brinkman-Forchheimer equations
We propose and analyze a new mixed finite element method for the problem of steady double-diffusive convection in a fluid-saturated porous medium. More precisely, the model is described by the coupling of the Brinkman–Forchheimer and double-diffusion equations, in which the originally sought variables are the velocity and pressure of the fluid, and the temperature and concentration of a solute. Our approach is based on the introduction of the further unknowns given by the fluid pseudostress tensor, and the pseudoheat and pseudodiffusive vectors, thus yielding a fully-mixed formulation. Furthermore, since the nonlinear term in the Brinkman–Forchheimer equation requires the velocity to live in a smaller space than usual, we partially augment the variational formulation with suitable Galerkin type terms, which forces both the temperature and concentration scalar fields to live in \(\mathrm {L}^4\). As a consequence, the aforementioned pseudoheat and pseudodiffusive vectors live in a suitable \(\mathrm {H}(\mathrm {div})\)-type Banach space. The resulting augmented scheme is written equivalently as a fixed point equation, so that the well-known Schauder and Banach theorems, combined with the Lax–Milgram and Banach–Nečas–Babuška theorems, allow to prove the unique solvability of the continuous problem. As for the associated Galerkin scheme we utilize Raviart–Thomas spaces of order \(k\ge 0\) for approximating the pseudostress tensor, as well as the pseudoheat and pseudodiffusive vectors, whereas continuous piecewise polynomials of degree \(\le k + 1\) are employed for the velocity, and piecewise polynomials of degree \(\le k\) for the temperature and concentration fields. In turn, the existence and uniqueness of the discrete solution is established similarly to its continuous counterpart, applying in this case the Brouwer and Banach fixed-point theorems, respectively. Finally, we derive optimal a priori error estimates and provide several numerical results confirming the theoretical rates of convergence and illustrating the performance and flexibility of the method.
A Banach spaces-based analysis of a new mixed-primal finite element method for a coupled flow-transport problem
In this paper we introduce and analyze a new finite element method for a strongly coupled flow and transport problem in , , whose governing equations are given by a scalar nonlinear convection–diffusion equation coupled with the Stokes equations. The variational formulation for this model is obtained by applying a suitable dual-mixed method for the Stokes system and the usual primal procedure for the transport equation. In this way, and differently from the techniques previously developed for this and related coupled problems, no augmentation procedure needs to be incorporated now into the solvability analysis, which constitutes the main advantage of the present approach. The resulting continuous and discrete schemes, which involve the Cauchy fluid stress, the velocity of the fluid, and the concentration as the only unknowns, are then equivalently reformulated as fixed point operator equations. Consequently, the well-known Schauder, Banach, and Brouwer theorems, combined with Babuška–Brezzi’s theory in Banach spaces, monotone operator theory, regularity assumptions, and Sobolev imbedding theorems, allow to establish the corresponding well-posedness of them. In particular, Raviart–Thomas approximations of order for the stress, discontinuous piecewise polynomials of degree for the velocity, and continuous piecewise polynomials of degree for the concentration, becomes a feasible choice for the Galerkin scheme. Next, suitable Strang-type lemmas are employed to derive optimal a priori error estimates. Finally, several numerical results illustrating the performance of the mixed-primal scheme and confirming the theoretical rates of convergence, are provided.
A mixed FEM for the coupled Brinkman-Forchheimer/Darcy problem
This paper develops the a priori analysis of a mixed finite element method for the filtration of an incompressible fluid through a non-deformable saturated porous medium with heterogeneous permeability. Flows are governed by the Brinkman–Forchheimer and Darcy equations in the more and less permeable regions, respectively, and the corresponding transmission conditions are given by mass conservation and continuity of momentum. We consider the standard mixed formulation in the Brinkman–Forchheimer domain and the dual-mixed one in the Darcy region, and we impose the continuity of the normal velocities by introducing suitable Lagrange multiplier. The finite element discretization involves Bernardi–Raugel and Raviart–Thomas elements for the velocities, piecewise constants for the pressures, and continuous piecewise linear elements for the Lagrange multiplier. Stability, convergence, and a priori error estimates for the associated Galerkin scheme are obtained. Numerical tests illustrate the theoretical results.
A three-field mixed finite element method for the convective Brinkman–Forchheimer problem with varying porosity
In this paper we present and analyze a new mixed finite element method for the nonlinear problem given by the stationary convective Brinkman–Forchheimer equations with varying porosity. Our approach is based on the introduction of the pseudostress and the gradient of the porosity times the velocity, as further unknowns. As a consequence, we obtain a mixed variational formulation within a Banach spaces framework, with the velocity and the aforementioned tensors as the only unknowns. The pressure, the velocity gradient, the vorticity, and the shear stress can be computed afterwards via postprocessing formulae. A fixed-point strategy, along with monotone operators theory and the classical Banach theorem, are employed to prove the well-posedness of the continuous and discrete systems. Specific finite element subspaces satisfying the required discrete stability condition are defined, and optimal a priori error estimates are derived. Finally, several numerical examples illustrating the performance and flexibility of the method and confirming the theoretical rates of convergence, are reported.
An augmented mixed FEM for the convective Brinkman-Forchheimer problem: A priori and a posteriori error analysis
We propose and analyse an augmented mixed finite element method for the pseudo stress–velocity formulation of the stationary convective Brinkman–Forchheimer problem inRd, d∈ {2,3}. Since the convective and Forchheimer terms forces the velocity to live in a smaller space than usual, we augment the variational formulation with suitable Galerkin type terms. The resulting augmented scheme is written equivalently as a fixed point equation, so that the well-known Schauder and Banach theorems, combined with the Lax–Milgram theorem, allow to prove the unique solvability of the continuous problem. The finite element discretization involves Raviart–Thomas spaces of order k≥0 for the pseudostress tensor and continuous piecewise polynomials of degree ≤k+1 for the velocity. Stability, convergence, and a priori error estimates for the associated Galerkin scheme are obtained. In addition, we derive two reliable and efficient residual-based a posteriori error estimators for this problem on arbitrary polygonal and polyhedral regions. The reliability of the proposed estimators draws mainly upon the uniform ellipticity of the form involved, a suitable assumption on the data, a stable Helmholtz decomposition, and the local approximation properties of the Clément and Raviart–Thomas operators. In turn, inverse inequalities, the localization technique based on bubble functions, and known results from previous works, are the main tools yielding the efficiency estimate. Finally, some numerical examples illustrating the performance of the mixed finite element method, confirming the theoretical rate of convergence and the properties of the estimators, and showing the behaviour of the associated adaptive algorithms, are reported. In particular, the case of flow through a 2D porous media with fracture networks is considered.
A new non-augmented and momentum-conserving fully-mixed finite element method for a coupled flow-transport problem
We propose and analyze a new mixed finite element method for the coupling of the Stokes equations with a transport problem modelled by a scalar nonlinear convection–diffusion problem. Our approach is based on the introduction of the Cauchy fluid stress and two vector unknowns involving the gradient and the total flux of the concentration. The introduction of these further unknowns lead to a mixed formulation in a Banach space framework in both Stokes and transport equations, where the aforementioned stress tensor and vector unknowns, together with the velocity and the concentration, are the main unknowns of the system. In this way, and differently from the techniques previously developed for this and related coupled problems, no augmentation procedure needs to be incorporated now into the formulation nor into the solvability analysis. The resulting non-augmented scheme is then written equivalently as a fixed-point equation, so that the well-known Banach theorem, combined with Babuška–Brezzi’s theory in Banach spaces, classical results on nonlinear monotone operators and certain regularity assumptions, are applied to prove the unique solvability of the continuous system. As for the associated Galerkin scheme, whose solvability is established similarly to the continuous case by using the Brouwer fixed-point theorem, we employ Raviart–Thomas approximations of order for the stress and total flux, and discontinuous piecewise polynomials of degree k for the velocity, concentration, and concentration gradient. With this choice of spaces, momentum is conserved in both Stokes and transport equations if the external forces belong to the piecewise constants and concentration discrete space, respectively, which constitutes one of the main features of our approach. Finally, we derive optimal a priori error estimates and provide several numerical results illustrating the good performance of the scheme and confirming the theoretical rates of convergence.
A fully-mixed finite element method for the coupling of the Navier–Stokes and Darcy–Forchheimer equations
In this work we present and analyze a fully-mixed formulation for the nonlinear model given by the coupling of the Navier–Stokes and Darcy–Forchheimer equations with the Beavers–Joseph–Saffman condition on the interface. Our approach yields non-Hilbertian normed spaces and a twofold saddle point structure for the corresponding operator equation. Furthermore, since the convective term in the Navier–Stokes equation forces the velocity to live in a smaller space than usual, we augment the variational formulation with suitable Galerkin type terms. 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 nonlinear monotone operators, are applied to prove the unique solvability of the continuous and discrete systems. In particular, given an integer k ≥ 0, Raviart–Thomas spaces of order k, continuous piecewise polynomials of degree ≤k + 1 and piecewise polynomials of degree ≤k are employed in the fluid for approximating the pseudostress tensor, velocity and vorticity, respectively, whereas Raviart–Thomas spaces of order k and piecewise polynomials of degree ≤k for the velocity and pressure, constitute a feasible choice in the porous medium. A priori error estimates and associated rates of convergence are derived, and several numerical examples illustrating the good performance of the method are reported
New mixed finite element methods for the coupled convective Brinkman-Forchheimer and double-diffusion equations
In this paper we introduce and analyze new Banach spaces-based mixed finite element methods for the stationary nonlinear problem arising from the coupling of the convective Brinkman-Forchheimer equations with a double diffusion phenomenon. Besides the velocity and pressure variables, the symmetric stress and the skew-symmetric vorticity tensors are introduced as auxiliary unknowns of the fluid. Thus, the incompressibility condition allows to eliminate the pressure, which, along with the velocity gradient and the shear stress, can be computed afterwards via postprocessing formulae depending on the velocity and the aforementioned new tensors. Regarding the diffusive part of the coupled model, and additionally to the temperature and concentration of the solute, their gradients and pseudoheat/pseudodiffusion vectors are incorporated as further unknowns as well. The resulting mixed variational formulation, settled within a Banach spaces framework, consists of a nonlinear perturbation of, in turn, a nonlinearly perturbed saddle-point scheme, coupled with a usual saddle-point system. A fixed-point strategy, combined with classical and recent solvability results for suitable linearizations of the decoupled problems, including in particular, the Banach-Nečas-Babuška theorem and the Babuška-Brezzi theory, are employed to prove, jointly with the Banach fixed-point theorem, the well-posedness of the continuous and discrete formulations. Both PEERS and AFW elements of order l>0 for the fluid variables, and piecewise polynomials of degree
A Banach spaces-based mixed finite element method for the stationary convective Brinkman-Forchheimer problem
We propose and analyze a new mixed finite element method for the nonlinear problem given by the stationary convective Brinkman–Forchheimer equations. In addition to the original fluid variables, the pseudostress is introduced as an auxiliary unknown, and then the incompressibility condition is used to eliminate the pressure, which is computed afterwards by a postprocessing formula depending on the aforementioned tensor and the velocity. As a consequence, we obtain a mixed variational formulation consisting of a nonlinear perturbation of, in turn, a perturbed saddle point problem in a Banach spaces framework. In this way, and differently from the techniques previously developed for this model, no augmentation procedure needs to be incorporated into the formulation nor into the solvability analysis. The resulting non-augmented scheme is then written equivalently as a fixed-point equation, so that recently established solvability results for perturbed saddle-point problems in Banach spaces, along with the well-known Banach–Nečas–Babuška and Banach theorems, are applied to prove the well-posedness of the continuous and discrete systems. The finite element discretization involves Raviart–Thomas elements of order for the pseudostress tensor and discontinuous piecewise polynomial elements of degree for the velocity. Stability, convergence, and optimal a priori error estimates for the associated Galerkin scheme are obtained. Numerical examples confirm the theoretical rates of convergence and illustrate the performance and flexibility of the method. In particular, the case of flow through a 2D porous media with fracture networks is considered.
A fully-mixed formulation in Banach spaces for the coupling of the steady Brinkman-Forchheimer and double-diffusion equations
We propose and analyze a new mixed finite element method for the nonlinear problem given by the coupling of the steady Brinkman–Forchheimer and double-diffusion equations. Besides the velocity, temperature, and concentration, our approach introduces the velocity gradient, the pseudostress tensor, and a pair of vectors involving the temperature/concentration, its gradient and the velocity, as further unknowns. As a consequence, we obtain a fully mixed variational formulation presenting a Banach spaces framework in each set of equations. In this way, and differently from the techniques previously developed for this and related coupled problems, no augmentation procedure needs to be incorporated now into the formulation nor into the solvability analysis. The resulting non-augmented scheme is then written equivalently as a fixed-point equation, so that the well-known Banach theorem, combined with classical results on nonlinear monotone operators and Babuˇ ska–Brezzi’s theory in Banach spaces, are applied to prove the unique solvability of the continuous and discrete systems. Appropriate finite element subspaces satisfying the required discrete inf-sup conditions are specified, and optimal a priori error estimates are derived. Several numerical examples confirm the theoretical rates of convergence and illustrate the performance and flexibility of the method.