Dr. Caucao-Paillán, Sergio

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.

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.

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

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.

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.

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.

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

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.

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.