SearcharxivSearch

arXiv subjects

Pietro Zanotti

Publications and source records attributed to Pietro Zanotti.

11 recordsLinked to original sources

Resonant solutions and (in)stability of the linear wave equation

We revise the analysis of the acoustic wave equation, addressing the question whether the classical well-posedness implies the existence of an isomorphism between prescribed solution and data spaces. This question is of interest for the design and the analysis of discretization methods. Expanding on existing results, we point out that established choices of solution and data space in terms of classical Bochner spaces must be expected to be incompatible with the existence of such an isomorphism, because of resonant waves. We formulate this observation in the language of the so-called inf-sup theory, with the help of an eigenfunction expansion, which reduces the original partial differential equation to a system of ordinary differential equations. We further verify that an isomorphism can be established, for each equation in the system, upon equipping the data space with a suitable resonance-aware norm. In the appendix, we extend our results to other time-dependent linear PDEs.

math.NA

Towards uncertainty quantification of a model for cancer-on-chip experiments

This study is a first step towards using data-informed differential models to predict and control the dynamics of cancer-on-chip experiments. We consider a conceptualized one-dimensional device, containing a cancer and a population of white blood cells. The interaction between the cancer and the population of cells is modeled by a chemotaxis model inspired by Keller-Segel-type equations, which is solved by a Hybridized Discontinuous Galerkin method. Our goal is using (synthetic) data to tune the parameters of the governing equations and to assess the uncertainty on the predictions of the dynamics due to the residual uncertainty on the parameters remaining after the tuning procedure. To this end, we apply techniques from uncertainty quantification for parametric differential models. We first perform a global sensitivity analysis using both Sobol and Morris indices to assess how parameter uncertainty impacts model predictions, and fix the value of parameters with negligible impact. Subsequently, we conduct an inverse uncertainty quantification analysis by Bayesian techniques to compute a data-informed probability distribution of the remaining model parameters. Finally, we carry out a forward uncertainty quantification analysis to compute the impact of the updated (residual) parametric uncertainties on the quantities of interest of the model. The whole procedure is sped up by using surrogate models, based on sparse-grids, to approximate the mapping of the uncertain parameters to the quantities of interest.

cs.CE

Strictly equivalent a~posteriori error estimators for quasi-optimal nonconforming methods

We devise a posteriori error estimators for quasi-optimal nonconforming finite element methods approximating symmetric elliptic problems of second and fourth order. These estimators are defined for all source terms that are admissible to the underlying weak formulations. More importantly, they are equivalent to the error in a strict sense. In particular, their data oscillation part is bounded by the error and, furthermore, can be designed to be bounded by classical data oscillations. The estimators are computable, except for the data oscillation part. Since even the computation of some bound of the oscillation part is not possible in general, we advocate to handle it on a case-by-case basis. We illustrate the practical use of two estimators obtained for the Crouzeix-Raviart method applied to the Poisson problem with a source term that is not a function and its singular part with respect to the Lebesgues measure is not aligned with the mesh.

math.NA

Pressure robust finite element discretizations of the nonlinear Stokes equations

We present first-order nonconforming Crouzeix-Raviart discretizations for the nonlinear generalized Stokes equations with $(r,ε)$-structure. Thereby the velocity-errors are independent of the pressure-error; i.e., the method is pressure robust. This improves suboptimal rates previously experienced for non pressure robust methods.

math.NA

Quasi-optimal and pressure robust discretizations of the Stokes equations by moment- and divergence-preserving operators

We approximate the solution of the Stokes equations by a new quasi-optimal and pressure robust discontinuous Galerkin discretization of arbitrary order. This means quasi-optimality of the velocity error independent of the pressure. Moreover, the discretization is well-defined for any load which is admissible for the continuous problem and it also provides classical quasi-optimal estimates for the sum of velocity and pressure errors. The key design principle is a careful discretization of the load involving a linear operator, which maps discontinuous Galerkin test functions onto conforming ones thereby preserving the discrete divergence and certain moment conditions on faces and elements.

math.NA

A quasi-optimal variant of the Hybrid High-Order method for elliptic PDEs with $H^{-1}$ loads

Hybrid High-Order methods for elliptic diffusion problems have been originally formulated for loads in the Lebesgue space $L^2(Ω)$. In this paper we devise and analyze a variant thereof, which is defined for any load in the dual Sobolev space $H^{-1}(Ω)$. The main feature of the present variant is that its $H^1$-norm error can be bounded only in terms of the $H^1$-norm best error in a space of broken polynomials. We establish this estimate with the help of recent results on the quasi-optimality of nonconforming methods. We prove also an improved error bound in the $L^2$-norm by duality. Compared to previous works on quasi-optimal nonconforming methods, the main novelties are that Hybrid High-Order methods handle pairs of unknowns, and not a single function, and, more crucially, that these methods employ a reconstruction that is one polynomial degree higher than the discrete unknowns. The proposed modification affects only the formulation of the discrete right-hand side. This is obtained by properly mapping discrete test functions into $H^1_0(Ω)$.

math.NA

Quasi-optimal and pressure robust discretizations of the Stokes equations by new augmented Lagrangian formulations

We approximate the solution of the stationary Stokes equations with various conforming and nonconforming inf-sup stable pairs of finite element spaces on simplicial meshes. Based on each pair, we design a discretization that is quasi-optimal and pressure robust, in the sense that the velocity $H^1$-error is proportional to the best $H^1$-error to the analytical velocity. This shows that such a property can be achieved without using conforming and divergence-free pairs. We bound also the pressure $L^2$-error, only in terms of the best approximation errors to the analytical velocity and the analytical pressure. Our construction can be summarized as follows. First, a linear operator acts on discrete velocity test functions, before the application of the load functional, and maps the discrete kernel into the analytical one. Second, in order to enforce consistency, we employ a new augmented Lagrangian formulation, inspired by Discontinuous Galerkin methods.

math.NA

A Quasi-Optimal Crouzeix-Raviart Discretization of the Stokes Equations

We present a modification of the Crouzeix-Raviart discretization of the Stokes equations in arbitrary dimension which is quasi-optimal, in the sense that the error of the discrete velocity field in a broken $H^1$-norm is proportional to the error of the best approximation to the analytical velocity field. In particular, the velocity error is independent of the pressure error and the discrete velocity field is element-wise solenoidal. Moreover, the sum of the velocity error times the viscosity plus the pressure $L^2$-error is proportional to the sum of the respective best errors. All proportionality constants are bounded in terms of shape regularity and do not depend on the viscosity. For simply connected two-dimensional domains, the velocity and pressure can be computed separately. The modification only affects the right-hand side aka load vector. The cost for building the modified load vector is proportional to the cost for building the standard load vector. Some numerical experiments illustrate our theoretical results.

math.NA

Quasi-optimal nonconforming methods for symmetric elliptic problems. II -- Overconsistency and classical nonconforming elements

We devise variants of classical nonconforming methods for symmetric elliptic problems. These variants differ from the original ones only by transforming discrete test functions into conforming functions before applying the load functional. We derive and discuss conditions on these transformations implying that the ensuing method is quasi-optimal and that its quasi-optimality constant coincides with its stability constant. As applications, we consider the approximation of the Poisson problem with Crouzeix-Raviart elements and higher order counterparts and the approximation of the biharmonic problem with Morley elements. In each case, we construct a computationally feasible transformation and obtain a quasi-optimal method with respect to the piecewise energy norm on a shape regular mesh.

math.NA

Quasi-optimal nonconforming methods for symmetric elliptic problems. III -- DG and other interior penalty methods

We devise new variants of the following nonconforming finite element methods: DG methods of fixed arbitrary order for the Poisson problem, the Crouzeix-Raviart interior penalty method for linear elasticity, and the quadratic $C^0$ interior penalty method for the biharmonic problem. Each variant differs from the original method only in the discretization of the right-hand side. Before applying the load functional, a linear operator transforms nonconforming discrete test functions into conforming functions such that stability and consistency are improved. The new variants are thus quasi-optimal with respect to an extension of the energy norm. Furthermore, their quasi-optimality constants are uniformly bounded for shape regular meshes and tend to $1$ as the penalty parameter increases.

math.NA

Quasi-optimal nonconforming methods for symmetric elliptic problems. I -- Abstract theory

We consider nonconforming methods for symmetric elliptic problems and characterize their quasi-optimality in terms of suitable notions of stability and consistency. The quasi-optimality constant is determined and the possible impact of nonconformity on its size is quantified by means of two alternative consistency measures. Identifying the structure of quasi-optimal methods, we show that their construction reduces to the choice of suitable linear operators mapping discrete functions to conforming ones. Such smoothing operators are devised in the forthcoming parts of this work for various finite element spaces.

math.NA