Internal Seminar

Internal Seminar Calendar

2023 – 2024

  • 25 April 2024 – 11h00 to 12h00 Martin Werner Licht: Computable reliable bounds for Poincaré–Friedrichs constants via Čech–de-Rham complexes. (abstract)
  • 4 April 2024 – 11h00 to 12h00 Roland Maier: A localized orthogonal decomposition strategy for hybrid discontinuous Galerkin methods. (abstract)
  • 2 April 2024 – 14h00 to 15h00 Andreas Rupp: Homogeneous multigrid for hybrid discretizations: application to HHO methods. (abstract)
  • 18 January 2024 – 14h00 to 15h00 Zoubida Mghazli: Modeling some biological phenomena via the porous media approach. (abstract)
  • 23 November 2023 – 11h00 to 12h00 Olivier Hénot: Computer-assisted proofs of radial solutions of elliptic systems on R^d. (abstract)
  • 16 November 2023 – 17h00 to 18h00 Maxime Theillard: A Volume-Preserving Reference Map Method for the Level Set Representation. (abstract)
  • 13 November 2023 – 11h00 to 12h00 Charles Parker: Implementing $H^2$-conforming finite elements without enforcing $C^1$-continuity. (abstract)
  • 09 November 2023 – 11h00 to 12h00 Maxime Breden: equations: how to turn a numerical simulation into a theorem. (abstract)

2022 – 2023

  • 25 May 2023 – 11h00 to 12h00 Martin Vohralík: A posteriori error estimates robust with respect to nonlinearities and final time. (abstract)
  • 11 May 2023 – 11h00 to 12h00 Konstantin Brenner: On the preconditioned Newton’s method for Richards’ equation. (abstract)
  • 4 May 2023 – 11h00 to 12h00 Ludmil Zikatanov: High order exponential fitting discretizations for convection diffusion problems. (abstract)
  • 23 March 2023 – 11h00 to 12h00 Marien Hanot: Polytopal discretization of advanced differential complexes.(abstract)
  • 9 February 2023 – 11h00 to 12h00 Roland Maier: Semi-explicit time discretization schemes for elliptic-parabolic problems. (abstract)
  • 2 February 2023 – 11h00 to 12h00 Simon Legrand: Parameter studies automation with Prune_rs. (abstract)
  • 28 November 2022 – 11h00 to 12h00 Xuefeng LiuGuaranteed eigenvalue/eigenfunction computation and its application to shape optimization problems. (abstract)
  • 17 November 2022 – 11h00 to 12h00 Fabio ViciniFlow simulations on porous fractured media: a small numerical overview from my perspective. (abstract)
  • 20 October 2022 – 10h00 to 11h00 Iuliu Sorin PopNon-equilibrium models for flow in porous media. (abstract)
  • 06 October 2022 – 15h00 to 16h00 Rekha KhotNonconforming virtual elements for the biharmonic equation with Morley degrees of freedom on polygonal meshes. (abstract)

2021 – 2022

  • 21 September 2022 – 15h00 to 16h00 Alexandre IMPERIALENumerical methods for time domain wave propagation problems applied to ultrasonic testing modelling. (abstract)
  • 16 June 2022 – 11h30 to 12h30 Cherif AmroucheElliptic Problems in Lipschitz and in $C^{1,1}$ Domains. (abstract)
  • 13 June 2022 – 11h00 to 12h00 Jean-Luc GuermondInvariant-domain preserving IMEX time stepping methods. (abstract)
  • 5 May 2022 – 11h00 to 12h00 Daniel Zegarra VasquezSimulation d’écoulements monophasiques en milieux poreux fracturés par la méthode des éléments finis mixtes hybrides. (abstract)
  • 19 April 2022 – 14h00 to 15h00 Christos XenophontosFinite Element approximation of singularly perturbed eigenvalue problems. (abstract)
  • 14 April 2022 – 11h00 to 12h00: Idrissa NiakhStable model reduction for linear variational inequalities with parameter-dependent constraints. (abstract)
  • 7 April 2022 – 17h00 to 18h00: Christoph LehrenfeldEmbedded Trefftz Discontinuous Galerkin methods. (abstract)
  • 24 March 2022 – 11h00 to 12h00: Miloslav Vlasak: A posteriori error estimates for discontinuous Galerkin method. (abstract)
  • 10 March 2022 – 11h00 to 12h00: Ruma Maity: Parameter dependent finite element analysis for ferronematics solutions. (abstract)
  • 3 February 2022 – 11h00 to 12h00: Pierre Matalon: An h-multigrid method for Hybrid High-Order discretizations of elliptic equations. (abstract)
  • 27 January 2022 – 11h00 to 12h00: Frédéric LebonOn the modeling of nonlinear imperfect solid/solid interfaces by asymptotic techniques. (abstract)
  • 20 January 2022 – 11h00 to 12h00: Isabelle RamièreAutomatic multigrid adaptive mesh refinement with controlled accuracy for quasi-static nonlinear solid mechanics. (abstract)
  • 13 January 2022 – 11h00 to 12h00: Koondanibha Mitra: A posteriori estimates for nonlinear degenerate parabolic and elliptic equations. (abstract)
  • 10 December 2021 – 11h00 to 12h00: Gregor GantnerApplications of a space-time first-order system least-squares formulation for parabolic PDEs. (abstract)
  • 25 November 2021 – 11h00 to 12h00: Pierre GosseletAsynchronous Global/Local coupling. (abstract)
  • 24 November 2021 – 10h30 to 11h30: Grégory EtangsaleA primal hybridizable discontinuous Galerkin method for modelling flows in fractured porous media. (abstract)

2020 – 2021

  • 06 September 2021 – 15h00 to 16h00: Rolf Stenberg: Nitsche’s Method for Elastic Contact Problems. (abstract)
  • 17 June 2021 – 11h00 to 12h00: Elyes Ahmed: Adaptive fully-implicit solvers and a posteriori error control for multiphase flow with wells. (abstract)
  • 3 June 2021 – 11h00 to 12h00: Oliver Sutton: High order, mesh-based multigroup discrete ordinates schemes for the linear Boltzmann transport problem. (abstract)
  • 29 April 2021 – 11h00 to 12h00: Lorenzo Mascotto: Enriched nonconforming virtual element methods (abstract)
  • 1 April 2021 – 11h00 to 12h00: André Harnist : Improved error estimates for Hybrid High-Order discretizations of Leray–Lions problems (abstract)
  • 11 March 2021 – 15h00 to 16h00: Omar Duran : Explicit and implicit hybrid high-order methods for the wave equation in time regime (abstract)
  • 25 February 2021 – 14h00 to 15h00: Buyang Li : A bounded numerical solution with a small mesh size implies existence of a smooth solution to the time-dependent Navier–Stokes equations (abstract)
  • 18 February 2021 – 11h00 to 12h00: Roland Maier :  Multiscale scattering in nonlinear Kerr-type media (abstract)
  • 10 December 2020 – 16h00 to 17h00: Ani Miraçi : A-posteriori-steered and adaptive p-robust multigrid solvers (abstract)
  • 9 December 2020 – 16h00 to 17h00: Riccardo Milani : Compatible Discrete Operator schemes for the unsteady incompressible Navier–Stokes equations (abstract)
  • 26 November 2020 – 16h00 to 17h00: Koondanibha Mitra : A posteriori error bounds for the Richards equation (abstract)
  • 19 November 2020 – 11h00 to 12h00: Joëlle Ferzly : Semismooth and smoothing Newton methods for nonlinear systems with complementarity constraints: adaptivity and inexact resolution (abstract)
  • 5 November 2020 – 11h00 to 12h00: Zhaonan Dong : On a posteriori error estimates for non-conforming Galerkin methods (abstract)
  • 22 October 2020 – 11h00 to 12h00: Théophile Chaumont-Frelet : A posteriori error estimates for Maxwell’s equations based on flux quasi-equilibration (abstract)
  • 15 October 2020 – 11h00 to 12h00: Florent Hédin : A hybrid high-order (HHO) method with non-matching meshes in discrete fracture networks (abstract)

2019 – 2020

  • 16 March 2020 – 15h00 to 16h00: Bochra Mejri : Topological sensitivity analysis for identification of voids under Navier’s boundary conditions in linear elasticity (abstract)
  • 25 February 2020 – 15h00 to 16h00: Jakub Both : Robust iterative solvers for thermo-poro-visco-elasticity via gradient flows (abstract)
  • 16 October 2019 – 14h00 to 15h00: Nicolas Pignet : Hybrid High-Order method for nonlinear solid mechanics (abstract)
  • 27 September 2019 – 15h00 to 16h00: Ivan Yotov : A nonlinear Stokes-Biot model for the interaction of a non-Newtonian fluid with poroelastic media (abstract)
  • 5 September 2019 – 15h00 to 16h00: Koondi Mitra : A fast and stable linear iterative scheme for nonlinear parabolic problems (abstract)

2018 – 2019

  • 11 July 2019 – 11h00 to 12h00: Jose Fonseca : Towards scalable parallel adaptive simulations with ParFlow (abstract)
  • 6 June 2019 – 11h00 to 12h00: Quanling Deng : High-order generalized-alpha methods and splitting schemes (abstract)
  • 12 April 2019 – 14h30 to 15h30: Menel Rahrah : Mathematical modelling of fast, high volume infiltration in poroelastic media using finite elements (abstract)
  • 18 March 2019 – 14h to 15h: Patrik Daniel : Adaptive hp-finite elements with guaranteed error contraction and inexact multilevel solvers (abstract)
  • 14 February 2019 – 15h to 16h: Thibault Faney, Soleiman Yousef : Accélération d’un simulateur d’équilibres thermodynamiques par apprentissage automatique (abstract)
  • 7 February 2019 – 11h to 12h: Gregor Gantner : Optimal adaptivity for isogeometric finite and boundary element methods (abstract)
  • 31 January 2019 – 14h30 to 15h30: Camilla Fiorini : Sensitivity analysis for hyperbolic PDEs systems with discontinuous solution: the case of the Euler Equations. (abstract)
  • 9 January 2019 – 11h to 12h: Zhaonan Dong : hp-Version Discontinuous Galerkin Methods on Polygonal and Polyhedral Meshes (abstract)
  • 13 December 2018 – 11h to 12h: Maxime Breden : An introduction to a posteriori validation techniques, illustrated on the Navier-Stokes equations (abstract)
  • 5 December 2018 – 11h00 to 12h00: Amina Benaceur : Model reduction for nonlinear thermics and mechanics (abstract)

2017 – 2018

  • 16 April 2018 – 15h to 16h: Simon Lemaire : An optimization-based method for the numerical approximation of sign-changing PDEs (abstract)
  • 20 Febraury 2018 – 15h to 16h: Thirupathi Gudi : An energy space based approach for the finite element approximation of the Dirichlet boundary control problem (abstract)
  • 15 Febraury 2018 – 14h to 15h: Franz Chouly : About some a posteriori error estimates for small strain elasticity (abstract)
  • 30 November 2017 – 14h to 15h: Sébastien Furic : Construction & Simulation of System-Level Physical Models (abstract)
  • 2 November 2017 – 11h to 12h: Hend Benameur: Identification of parameters, fractures ans wells in porous media (abstract)
  • 10 October 2017 – 11h to 12h: Peter Minev: Recent splitting schemes for the incompressible Navier-Stokes equations (abstract)
  • 18 September 2017 – 13h to 14h: Théophile Chaumont: High order finite element methods for the Helmholtz equation in highly heterogeneous media (abstract)

2016 – 2017

  • 29 June 2017 – 15h to 16h: Gouranga Mallik: A priori and a posteriori error control for the von Karman equations (abstract)
  • 22 June 2017 – 15h to 16h: Valentine Rey: Goal-oriented error control within non-overlapping domain decomposition methods to solve elliptic problems (abstract)
  • 15 June 2017 – 15h to 16h:
  • 6 June 2017 – 11h to 12h: Ivan Yotov: Coupled multipoint flux and multipoint stress mixed finite element methods for poroelasticity (abstract)
  • 1 June 2017 – 10h to 12h:
    • Joscha GedickeAn adaptive finite element method for two-dimensional Maxwell’s equations (abstract)
    • Martin EigelAdaptive stochastic FE for explicit Bayesian inversion with hierarchical tensor representations (abstract)
    • Quang Duc Bui: Coupled Parareal-Schwarz Waveform relaxation method for advection reaction diffusion equation in one dimension (abstract)
  • 16 May 2017 – 15h to 16h: Quanling Deng: Dispersion Optimized Quadratures for Isogeometric Analysis (abstract)
  • 11 May 2017 – 15h to 16h: Sarah Ali Hassan: A posteriori error estimates and stopping criteria for solvers using domain decomposition methods and with local time stepping (abstract)
  • 13 Apr. 2017 – 15h to 16h: Janelle Hammond: A non intrusive reduced basis data assimilation method and its application to outdoor air quality models (abstract)
  • 30 Mar. 2017 – 10h to 11h: Mohammad Zakerzadeh: Analysis of space-time discontinuous Galerkin scheme for hyperbolic and viscous conservation laws (abstract)
  • 23 Mar. 2017 – 15h to 16h: Karol Cascavita: Discontinuous Skeletal methods for yield fluids (abstract)
  • 16 Mar. 2017 – 15h to 16h: Thomas Boiveau: Approximation of parabolic equations by space-time tensor methods (abstract)
  • 9 Mar. 2017 – 15h to 16h: Ludovic Chamoin: Multiscale computations with MsFEM: a posteriori error estimation, adaptive strategy, and coupling with model reduction (abstract)
  • 2 Mar. 2017 – 15h to 16h: Matteo Cicuttin: Implementation of Discontinuous Skeletal methods on arbitrary-dimensional, polytopal meshes using generic programming. (abstract)
  • 23 Feb. 2017
    10h to 10h45 : Lars Diening: Linearization of the p-Poisson equation (abstract)
    10h45 to 11h30 : Christian Kreuzer: Quasi-optimality of discontinuous Galerkin methods for parabolic problems (abstract)
  • 26 Jan. 2017 – 15h to 16h: Amina BenaceurAn improved reduced basis method for non-linear heat transfer (abstract)
  • 19 Jan. 2017 – 15h to 16h: Laurent Monasse: A 3D conservative coupling between a compressible flow and a fragmenting structure (abstract)
  • 5 Jan. 2017 – 15h to 16h: Agnieszka Miedlar: Moving eigenvalues and eigenvectors by simple perturbations (abstract)
  • 8 Dec. 2016 – 15h to 16h: Luca Formaggia: Hybrid dimensional Darcy flow in fractured porous media, some recent results on mimetic discretization (abstract)
  • 22 Sept. 2016 – 15h to 16h: Paola AntoniettiFast solution techniques for high order Discontinuous Galerkin methods (abstract)

2015 – 2016

  • 29 Oct. 2015 – 15h to 16h: Sarah Ali HassanA posteriori error estimates for domain decomposition methods (abstract)
  • 05 Nov. 2015 – 16h to 17h: Iain SmearsRobust and efficient preconditioners for the discontinuous Galerkin time-stepping method (abstract)
  • 12 Nov. 2015 -16h to 17h: Elyes Ahmed: Space-time domain decomposition method for two-phase flow equations (abstract)
  • 19 Nov. 2015 – 16h to 17h: Géraldine PichotGeneration algorithms of stationary Gaussian random fields (abstract)
  • 26 Nov. 2015-16h to 17h: Jérôme JaffréDiscrete reduced models for flow in porous media with fractures and barriers (abstract)
  • 03 Dec. 2015 – 16h to 17h: François Clément: Safe and Correct Programming for Scientific Computing (abstract)
  • 10 Dec. 2015 – 16h to 17h: Nabil Birgle: Composite Method on Polygonal Meshes (abstract)11 Feb. 2016: Michel
  • Kern: Reactive transport in porous media: Formulations and numerical methods
  • 25 Feb. 2016: Martin Vohralík
  • 3 March 2016: François Clément: Safe and Correct Programming for Scientific Computing pt II

March 2nd – Matteo Cicuttin: Implementation of Discontinuous Skeletal methods on arbitrary-dimensional, polytopal meshes using generic programming.

Matteo Cicuttin: Thursday 2 March at 3 pm, A415 Inria Paris. Abstract: Discontinuous Skeletal methods are devised at the mathematical level in a dimension-independent and cell-shape-independent fashion. Their implementation, at least in principle, should conserve this feature: a single piece of code should be able to work in any space dimension and to deal with any cell shape. It is not common, however, to see software packages taking this approach. In the vast majority of the cases, the codes are capable to run only on few very specific kinds of mesh, or only in 1D or 2D or 3D. On the one hand, this can happen simply because a fully general tool is not always needed. On the other hand, the programming languages commonly used by the scientific computing community (in particular Fortran and Matlab) are not easily amenable to an implementation which is generic and efficient at the same time. The usual (and natural) approach, in conventional languages, is to have different versions of the code, for example one specialized for 1D, one for 2D and one for 3D applications, making the overall maintenance of the codes rather cumbersome. The same considerations generally apply to the handling of mesh cells with various shapes, i.e., codes written in conventional languages generally support only a limited (and set in advance) number of cell shapes. Generic programming offers a valuable tool to address the above issues: by writing the code generically, it is possible to avoid making any assumption neither on the dimension (1D, 2D, 3D) of the problem, nor on the kind of mesh. In some sense, writing generic code resembles writing pseudocode: the compiler will take care of giving the correct meaning to each basic operation. As a result, with generic programming there will be still differents versions of the…

Lire la suite

February 23rd – Christian Kreuzer: Quasi-optimality of discontinuous Galerkin methods for parabolic problems

Christian Kreuzer: 23 February at 10h45 am, A415 Inria Paris. It is a well known fact that inf-sup stable Galerkin discretisations of linear continuous problem provide quasi-optimal approximations in the corresponding norms. For elliptic problems, this is e.g. known as Cea’s Lemma. A priori error bounds are then typically obtained with the help of some (quasi)-interpolation. We apply this principle to parabolic problems and prove inf-sup stability and thus quasi-optimality of space and time adaptive backward Euler-Galerkin discretisations. In a second step, we define a reasonable (quasi)-interpolation operator and conclude a priori error bounds. In 1982 Dupont presented a counter example showing non-convergence of the backward Euler-Galerkin in the presence of spatial mesh changes. In this case, our bound contains an additional term, which is consistent with Dupont’s observation.

Lire la suite

February 23rd – Lars Diening: Linearization of the p-Poisson equation

Lars Diening: 23 February at 10 am, A415 Inria Paris. This is a joint work with Massimo Fornasier and Maximilian Wank. In this talk we propose a iterative method to solve the non-linear -Poisson equation. The method is derived from a relaxed energy by an alternating direction method. We are able to show algebraic convergence of the iterates to the solution. However, our numerical experiments based on finite elements indicate optimal, exponential convergence.

Lire la suite

March 9th – Ludovic Chamoin: Simulations multiéchelles avec MsFEM: estimation d’erreur a posteriori, stratégie adaptative, et couplage avec la reduction de modèle

The Multiscale Finite Element Method (MsFEM) is a powerful numerical method in the context of multiscale analysis. It uses basis functions which encode details of the fine scale description, and performs in a two-stage procedure: (i) offline stage in which basis functions are computed solving local fine scale problems; (ii) online stage in which a cheap Galerkin approximation problem is solved using a coarse mesh. However, as in other numerical methods, a crucial issue is to certify that a prescribed accuracy is obtained for the numerical solution. In the present work, we propose an a posteriori error estimate for MsFEM using the concept of Constitutive Relation Error (CRE) based on dual analysis. It enables to effectively address global or goal-oriented error estimation, to assess the various error sources, and to drive robust adaptive algorithms. We also investigate the additional use of model reduction inside the MsFEM strategy in order to further decrease numerical costs. We particularly focus on the use of the Proper Generalized Decomposition (PGD) for the computation of multiscale basis functions. PGD is a suitable tool that enables to explicitly take into account variations in geometry, material coefficients, or boundary conditions. In many configurations, it can thus be efficiently employed to solve with low computing cost the various local fine-scale problems associated with MsFEM. In addition to showing performances of the coupling between PGD and MsFEM, we introduce dedicated estimates on PGD model reduction error, and use these to certify the quality of the overall MsFEM solution.

Lire la suite

January 26th – Amina Benaceur: An improved reduced basis method for non-linear heat transfer

Amina Benaceur: January 26 at 3pm, A415 Inria Paris. We address the reduced order modeling of parameterized transient non-linear and non-affine partial differential equations (PDEs). In practice, both the treatment of non-affine terms and non-linearities result in an empirical interpolation method (EIM) that may not be affordable although it is performed `offline’, since it requires to compute various nonlinear trajectories using the full order model. An alternative to the EIM that lessens its cost for steady non-linear problems has been recently proposed by Daversion and Prudhomme so as to alleviate the global cost of the `offline’ stage in the reduced basis method (RBM) by enriching progressively the EIM using the computed reduced basis functions. In the present work, we adapt the latter ideas to transient PDEs so as to propose an algorithm that solely requires as many full-model computations as the number of functions that span both the reduced basis and the EIM spaces. The computational cost of the procedure can therefore be substantially reduced compared to the standard strategy. Finally, we discuss possible variants of the present approach.

Lire la suite

January 19th – Laurent Monasse: A 3D conservative coupling between a compressible flow and a fragmenting structure

Laurent Monasse: January 19 December at 3pm, A415 Inria Paris. We will present a conservative method for three-dimensional inviscid fluid-structure interaction problems. Body-fitted methods are not well-suited for large displacements or fragmentation of the structure, since they involve possibly costly remeshing of the fluid domain. We use instead an immersed boundary technique through the modification of the finite volume fluxes in the vicinity of the solid. The method is tailored to yield the exact conservation of mass, momentum and energy of the system and exhibits consistency properties. In the event of fragmentation, void can appear due to the velocity of crack opening. In order to ensure stability in the presence of void, we resort locally to the Lax-Friedrichs flux near cracks. Since both fluid and solid methods are explicit, the coupling scheme is designed to be explicit too. The computational cost of the fluid and solid methods lies mainly in the evaluation of fluxes on the fluid side and of forces and torques on the solid side. It should be noted that the coupling algorithm evaluates these only once every time step, ensuring the computational efficiency of the coupling. We also analyze a corner instability of the conservative explicit immersed boundary method in the case of a Roe flux, explain its origin and propose a way to fix the issue.

Lire la suite

January 5th – Agnieszka Miedlar: Moving eigenvalues and eigenvectors by simple perturbations

Agnieszka Miedlar: Thursday 8 December at 3pm, A415 Inria Paris. Abstract: In the context of iterative solvers moving the eigenvalue or the eigenpair may be of particular importance in several cases, e.g., deflation techniques, increasing the spectral gap or determining the set of linearly independent eigenvectors. It can also be used for reducing the imaginary parts of the eigenvalues without chainging the matrix exponential; this can enhance the computation of $\exp(A)$. Exploiting the classical perturbation analysis for eigenvalue problems [Golub and Van Loan 2012] we study the following problem.

Lire la suite

December 8th – Luca Formaggia: Hybrid dimensional Darcy flow in fractured porous media, some recent results on mimetic discretization

Luca Formaggia: Thursday 8 December at 3pm, A415 Inria Paris. Fractures can alter greatly the characteristics of porous media. Their diverse scale distribution makes it often impossible to resort to averaging or homogenisation techniques to account for their presence. Thus, different models have been devised to account for the presence of fractures in porous media explicitly. We here present the general problem, together with a recent result of well-posedness for an hybrid dimensional mixed formulation of Darcy flow in fractured porous media, and an analysis of a mimetic finite difference scheme adopted for its numerical solution.

Lire la suite

(English) Internal Seminar: Paola Antonietti

Jeudi 22 Septembre, a 15h, salle Jacques Louis Lions, Inria Paris. Paola ANTONIETTI: Fast solution techniques for high order Discontinuous Galerkin methods We present two-level and multigrid algorithms for the efficient solution of the linear system of equations arising from high-order discontinuous Galerkin discretizations of second-order elliptic problems. Starting from the classical framework in geometric multigrid analysis, we define a smoothing and an approximation property, which are used to prove uniform convergence of the resulting multigrid schemes with respect to the discretization parameters and the number of levels, provided the number of smoothing steps is chosen sufficienly large.  A discussion on the effects of employing inherited or noninherited sublevel solvers is also presented as well the extension of the proposed techniques to agglomeration-based multigrid solvers. Numerical experiments confirm the theoretical results.

Lire la suite