SearcharxivSearch

arXiv subjects

Constantin Bacuta

Publications and source records attributed to Constantin Bacuta.

16 recordsLinked to original sources

Explaining oscillatory behavior in convection-diffusion discretization

For a model convection-diffusion problem, we address the presence of oscillatory discrete solutions, and study difficulties in recovering standard approximation results for its solution. We justify the presence of non-physical oscillations and propose ways to eliminate oscillations. A new approach for error analysis that requires establishing optimal discrete infinity error as a first step is introduced and justified. We emphasize that the discretization of two dimensional convection dominated problems benefit from the efficient discretization of the corresponding one dimensional problem along each stream line. Our results are useful in building new and robust discretizations for multi-dimensional convection dominated problems.

math.NA

On convergence of upwinding Petrov-Galerkin methods for convection-diffusion

We consider special upwinding Petrov-Galerkin discretizations for convection-diffusion problems. For the one dimensional case with a standard continuous linear element as the trial space and a special exponential bubble test space, we prove that the Green function associated to the continuous solution can generate the test space. In this case, we find a formula for the exact inverse of the discretization matrix, that is used for establishing new error estimates for other bubble upwinding Petrov-Galerkin discretizations. We introduce a quadratic bubble upwinding method with a special scaling parameter that provides optimal approximation order for the solution in the discrete infinity norm. % while avoiding exponential test functions. Provided the linear interpolant has standard approximation properties, we prove optimal approximation estimates in $L^2$ and $H^1$ norms. The quadratic bubble method is extended to a two dimensional convection diffusion problem. The proposed discretization produces optimal $L^2$ and $H^1$ convergence orders on subdomains that avoid the boundary layers. The tensor idea of using an efficient upwinding Petrov-Galerkin discretization along each stream line direction in combination with a standard discretizations for the orthogonal direction(s) can lead to new and efficient discretization methods for multidimensional convection dominated models.

math.NA

Comparison of variational discretizations for a convection-diffusion problem

For a model convection-diffusion problem, we obtain new error estimates for a general upwinding finite element discretization based on bubble modification of the test space. The key analysis tool is based on finding representations of the optimal norms on the trial spaces at the continuous and discrete levels. We analyze and compare the standard linear discretization, the saddle point least square and upwinding Petrov-Galerkin methods. We conclude that the bubble upwinding Petrov-Galerkin method is the most performant discretization for the one dimensional model. Our results for the model convection-diffusion problem can be extended for creating new and efficient discretizations for the multidimensional cases.

math.NA

Connections Between Finite Difference and Finite Element Approximations for a Convection-Diffusion Problem

We consider a model convection-diffusion problem and present useful connections between the finite differences and finite element discretization methods. We introduce a general upwinding Petrov-Galerkin discretization based on bubble modification of the test space and connect the method with the general upwinding approach used in finite difference discretization. We write the finite difference and the finite element systems such that the two corresponding linear systems have the same stiffness matrices, and compare the right hand side load vectors for the two methods. This new approach allows for improving well known upwinding finite difference methods and for obtaining new error estimates. We prove that the exponential bubble Petrov-Galerkin discretization can recover the interpolant of the exact solution. As a consequence, we estimate the closeness of the related finite difference solutions to the interpolant. The ideas we present in this work, can lead to building efficient new discretization methods for multidimensional convection dominated problems.

math.NA

Results on a Mixed Finite Element Approach for a Model Convection-Diffusion Problem

We consider a model convection-diffusion problem and present our recent numerical and analysis results regarding mixed finite element formulation and discretization in the singular perturbed case when the convection term dominates the problem. Using the concepts of optimal norm and saddle point reformulation, we found new error estimates for the case of uniform meshes. We compare the standard linear Galerkin discretization to a saddle point least square discretization that uses quadratic test functions, and explain the non-physical oscillations of the discrete solutions. We also relate a known upwinding Petrov Galerkin method and the stream-line diffusion discretization method, by emphasizing the resulting linear systems and by comparing appropriate error norms. The results can be extended to the multidimensional case in order to find efficient approximations for more general singular perturbed problems including convection dominated models

math.NA

Notes on Finite Element Discretization for a Model Convection-Diffusion Problem

We present recent finite element numerical results on a model convection-diffusion problem in the singular perturbed case when the convection term dominates the problem. We compare the standard Galerkin discretization using the linear element with a saddle point least square discretization that uses quadratic test functions, trying to control and explain the non-physical oscillations of the discrete solutions. We also relate the up-winding Petrov-Galerkin method and the stream-line diffusion discretization method, by emphasizing the resulting linear systems and by comparing appropriate error norms. Some results can be extended to the multidimensional case in order to come up with efficient approximations for more general singular perturbed problems, including convection dominated models.

math.NA

Connections Between Finite Difference and Finite Element Approximations

We present useful connections between the finite difference and the finite element methods for a model boundary value problem. We start from the observation that, in the finite element context, the interpolant of the solution in one dimension coincides with the finite element approximation of the solution. This result can be viewed as an extension of the Green function formula for the solution at the continuous level. We write the finite difference and the finite element systems such that the two corresponding linear systems have the same stiffness matrices and compare the right hand side load vectors for the two methods. Using evaluation of the Green function, a formula for the inverse of the stiffness matrix is extended to the case of non-uniformly distributed mesh points. We provide an error analysis based on the connection between the two methods, and estimate the energy norm of the difference of the two solutions. Interesting extensions to the 2D case are provided.

math.NA

Efficient discretization and preconditioning of the singularly perturbed Reaction Diffusion problem

We consider the reaction diffusion problem and present efficient ways to discretize and precondition in the singular perturbed case when the reaction term dominates the equation. Using the concepts of optimal test norm and saddle point reformulation, we provide efficient discretization processes for uniform and non-uniform meshes. We present a preconditioning strategy that works for a large range of the perturbation parameter. Numerical examples to illustrate the efficiency of the method are included for a problem on the unit square.

math.NA

A nonconforming saddle point least squares approach for elliptic interface problems

We present a non-conforming least squares method for approximating solutions of second order elliptic problems with discontinuous coefficients. The method is based on a general Saddle Point Least Squares (SPLS) method introduced in previous work based on conforming discrete spaces. The SPLS method has the advantage that a discrete $\inf-\sup$ condition is automatically satisfied for standard choices of test and trial spaces. We explore the SPLS method for non-conforming finite element trial spaces which allow higher order approximation of the fluxes. For the proposed iterative solvers, inversion at each step requires bases only for the test spaces. We focus on using projection trial spaces with local projections that are easy to compute. The choice of the local projections for the trial space can be combined with classical gradient recovery techniques to lead to quasi-optimal approximations of the global flux. Numerical results for 2D and 3D domains are included to support the proposed method.

math.NA

Saddle Point Least Squares Preconditioning of Mixed Methods

We present a simple way to discretize and precondition mixed variational formulations. Our theory connects with, and takes advantage of, the classical theory of symmetric saddle point problems and the theory of preconditioning symmetric positive definite operators. Efficient iterative processes for solving the discrete mixed formulations are proposed and choices for discrete spaces that are always compatible are provided. For the proposed discrete spaces and solvers, a basis is needed only for the test spaces and assembly of a global saddle point system is avoided. We prove sharp approximation properties for the discretization and iteration errors and also provide a sharp estimate for the convergence rate of the proposed algorithm in terms of the condition number of the elliptic preconditioner and the discrete $\inf-\sup$ and $\sup-\sup$ constants of the pair of discrete spaces.

math.NA

Differential operators on domains with conical points: precise uniform regularity estimates

We study families of strongly elliptic, second order differential operators with singular coefficients on domains with conical points. We obtain uniform estimates on their inverses and on the regularity of the solutions to the associated Poisson problem with mixed boundary conditions. The coefficients and the solutions belong to (suitable) weighted Sobolev spaces. The space of coefficients is a Banach space that contains, in particular, the space of smooth functions. Hence, our results extend classical well-posedness results for strongly elliptic equations in domains with conical points to problems with singular coefficients. We furthermore provide precise uniform estimates on the norms of the solution operators.

math.AP

A note on stability and optimal approximation estimates for symmetric saddle point systems

We establish sharp well-posedness and approximation estimates for variational saddle point systems at the continuous level. The main results of this note have been known to be true only in the finite dimensional case. Known spectral results from the discrete case are reformulated and proved using a functional analysis view, making the proofs in both cases, discrete and continuous, less technical than the known discrete approaches. We focus on analyzing the special case when the form $a(\cdot, \cdot)$ is bounded, symmetric, and coercive, and the mixed form $b(\cdot, \cdot)$ is bounded and satisfies a standard $\inf-\sup$ or LBB condition. We characterize the spectrum of the symmetric operators that describe the problem at the continuous level. For a particular choice of the inner product on the product space of $b(\cdot, \cdot)$, we prove that the spectrum of the operator representing the system at continuous level is $\left \{\frac{1-\sqrt{5}}{2}, 1, \frac{1+\sqrt{5}}{2} \right \}$. As consequences of the spectral description, we find the minimal length interval that contains the ratio between the norm of the data and the norm of the solution, and prove explicit approximation estimates that depend only on the continuity constant and the continuous and the discrete $\inf-\sup$ condition constants.

math.NA

Boundary integral solvers for an evolutionary exterior Stokes problem

This paper proposes and analyzes a full discretization of the exterior transient Stokes problem with Dirichlet boundary conditions. The method is based on a single layer boundary integral representation, using Galerkin semidiscretization in the space variables and multistep Convolution Quadrature in time. Convergence estimates are based on a Laplace domain analysis, which translates into a detailed study of the exterior Brinkman problem. Some numerical experiments are provided.

math.NA

Cascadic Multilevel Algorithms for Symmetric Saddle Point Systems

In this paper, we introduce a multilevel algorithm for approximating variational formulations of symmetric saddle point systems. The algorithm is based on availability of families of stable finite element pairs and on the availability of fast and accurate solvers for it symmetric positive definite systems. On each fixed level an efficient solver such as the gradient or the conjugate gradient algorithm for inverting a Schur complement is implemented. The level change criterion follows the cascade principle and requires that the iteration error be close to the expected discretization error. We prove new estimates that relate the iteration error and the residual for the constraint equation. The new estimates are the key ingredients in imposing an efficient level change criterion. The first iteration on each new level uses information about the best approximation of the discrete solution from the previous level. The theoretical results and experiments show that the algorithms achieve optimal or close to optimal approximation rates by performing a non-increasing number of iterations on each level. Even though numerical results supporting the efficiency of the algorithms are presented for the Stokes system, the algorithms can be applied to a large class of boundary value problems, including first order systems that can be reformulated at the continuous level as symmetric saddle point problems, such as the Maxwell equations.

math.NA

Anisotropic regularity and optimal rates of convergence for the Finite Element Method on three dimensional polyhedral domains

We consider the model Poisson problem $-\Delta u = f \in \Omega$, $u = g$ on $\pa \Omega$, where $ \Omega $ is a bounded polyhedral domain in $\RR^n$. The objective of the paper is twofold. The first objective is to review the well posedness and the regularity of our model problem using appropriate weighted spaces for the data and the solution. We use these results to derive the domain of the Laplace operator with zero boundary conditions on a concave domain, which seems not to have been fully investigated before. We also mention some extensions of our results to interface problems for the Elasticity equation. The second objective is to illustrate how anisotropic weighted regularity results for the Laplace operator in 3D are used in designing efficient finite element discretizations of elliptic boundary value problems, with the focus on the efficient discretization of the Poisson problem on polyhedral domains in $\RR^3$, following {\em Numer. Funct. Anal. Optim.}, 28(7-8):775--824, 2007. The anisotropic weighted regularity results described and used in the second part of the paper are a consequence of the well-posedness results in (isotropically) weighted Sobolev spaces described in the first part of the paper. The paper is based on the talk by the last named author at the Congress of Romanian Mathematicians, Brasov 2011, and is largely a survey paper.

math.NA