Patrik Daniel: Monday 18 March at 14:00, A315 Inria Paris. We propose new practical adaptive refinement algorithms for conforming hp-finite element approximations of elliptic problems. We consider the use of both exact and inexact solvers within the established framework of adaptive methods consisting of four concatenated modules: SOLVE, ESTIMATE, MARK, REFINE. The strategies are driven by guaranteed equilibrated flux a posteriori error estimators. Namely, for an inexact approximation obtained by an (arbitrary) iterative algebraic solver, the bounds for the total, the algebraic, and the discretization errors are provided. The nested hierarchy of hp-finite element spaces is crucially exploited for the algebraic error upper bound which in turn allows us to formulate sharp stopping criteria for the algebraic solver. Our hp-refinement criterion hinges on from solving two local residual problems posed on patches of elements around marked vertices selected by a bulk-chasing criterion. They respectively emulate h-refinement and p-refinement. One particular feature of our approach is that we derive a computable real number which gives a guaranteed bound on the ratio of the (unknown) energy error in the next adaptive loop step with respect to the present one (i.e. on the error reduction factor). Numerical experiments are presented to validate the proposed adaptive strategies. We investigate the accuracy of our bound on the error reduction factor which turns out to be excellent, with effectivity indices close to the optimal value of one. In practice, we observe asymptotic exponential convergence rates, in both the exact and inexact algebraic solver settings. Finally, we also provide a theoretical analysis of the proposed strategies. We prove that under some additional assumptions on the h- and p-refinements, including the interior node property and sufficient p-refinements, the computable reduction factors are indeed bounded by a generic constant strictly smaller than one. This implies the convergence of the…

Continue reading

Thibault Faney, Soleiman Yousef: Thursday 14 February at 15:00, A415 Inria Paris. Les simulations numériques sont un outil important pour mieux comprendre et prédire le comportement des systèmes physiques complexes. Dans le cas des équilibres thermodynamiques, ces systèmes sont modélisés principalement par des systèmes d’équations non-linéaires. La résolution de ces systèmes après discrétisation nécessite l’emploi de méthodes itératives se basant sur une solution initiale approximative. L’objectif des travaux présentés est d’établir un modèle statistique par apprentissage permettant de remplacer cette solution initiale heuristique par une approximation de la solution fondée sur une base de données de résultats de calculs. Le simulateur ciblé est un simulateur de flash triphasique (aqueux, liquide et gaz) à pression et température constante. A partir de fractions molaires initiales des éléments chimiques, on calcule les phases présentes à l’état d’équilibre, ainsi que leur fraction volumique respective et les fractions molaires de chaque espèce chimique dans chacune des phases présentes. Nous formulons le problème sous la forme d’un problème d’apprentissage supervisé en série : d’abord une classification des phases présentes à l’équilibre puis une régression sur les fractions volumiques et molaires. Les résultats sur différents tests de complexité croissante en nombre de composés chimiques montrent un très bon accord du modèle statistique avec la solution fournie par le simulateur. Les éléments clés sont le choix de la base de données pour l’apprentissage (plan d’expérience) et l’emploi de méthodes d’apprentissage non-linéaires.

Continue reading

Camilla Fiorini: Thursday 31 January at 14:30, A415 Inria Paris. Sensitivity analysis (SA) is the study of how changes in the input of a model affect the output. Standard SA techniques for PDEs, such as the continuous sensitivity equation method, call for the differentiation of the state variable. However, if the governing equations are hyperbolic PDEs, the state can be discontinuous and this generates Dirac delta functions in the sensitivity. We aim at defining and approximating numerically a system of sensitivity equations which is valid also when the state is discontinuous: to do that, one can define a correction term to be added to the sensitivity equations starting from the Rankine-Hugoniot conditions, which govern the state across a shock. We detail this procedure in the case of the Euler equations. Numerical results show that the standard Godunov and Roe schemes fail in producing good numerical results because of the underlying numerical diffusion. An anti-diffusive numerical method is then successfully proposed.

Continue reading

Gregor Gantner: Thursday 7 February at 11 am, A415 Inria Paris. The CAD standard for spline representation in 2D or 3D relies on tensor-product splines. To allow for adaptive refinement, several extensions have emerged, e.g., analysis-suitable T-splines, hierarchical splines, or LR-splines. All these concepts have been studied via numerical experiments, but there exists only little literature concerning the thorough analysis of adaptive isogeometric methods. The work [1] investigates linear convergence of the weighted-residual error estimator (or equivalently: energy error plus data oscillations) of an isogeometric finite element method (IGAFEM) with truncated hierarchical B-splines. Optimal convergence was indepen- dently proved in [2, 3]. In [3], we employ hierarchical B-splines and propose a refinement strategy to generate a sequence of refined meshes and corresponding discrete solutions. Usually, CAD provides only a parametrization of the boundary ∂Ω instead of the domain Ω itself. The boundary element method, which we consider in the second part of the talk, circumvents this difficulty by working only on the CAD provided boundary mesh. In 2D, our adaptive algorithm steers the mesh-refinement and the local smoothness of the ansatz functions. We proved linear convergence of the employed weighted-residual estimator at optimal algebraic rate in [5, 6]. In 3D, we consider an adaptive IGABEM with hierarchical splines and prove linear convergence of the estimator at optimal rate; see [6]. REFERENCES [1] A. Buffa and C. Giannelli, Adaptive isogeometric methods with hierarchical splines: error estimator and convergence. Math. Mod. Meth. Appl. S., Vol. 26, 2016. [2] A. Buffa and C. Giannelli, Adaptive isogeometric methods with hierarchical splines: Optimality and convergence rates. Math. Mod. Meth. in Appl. S., Vol. 27, 2017. [3] G. Gantner, D. Haberlik, and Dirk Praetorius, Adaptive IGAFEM with optimal con- vergence rates: Hierarchical B-splines. Math. Mod. Meth. in Appl. S., Vol. 27, 2017. [4] G. Gantner, Adaptive…

Continue reading