arXiv subjects

Michel Duprez

Publications and source records attributed to Michel Duprez.

At least 37 records · Page 2Linked to original sources

arXiv2023

Phi-FEM: an optimally convergent and easily implementable immersed boundary method for particulate flows and Stokes equations

We present an immersed boundary method to simulate the creeping motion of a rigid particle in a fluid described by the Stokes equations discretized thanks to a finite element strategy on unfitted meshes, called Phi-FEM, that uses the description of the solid with a level-set function. One of the advantages of our method is the use of standard finite element spaces and classical integration tools, while maintaining the optimal convergence (theoretically in the H1 norm for the velocity and L2 for pressure; numerically also in the L2 norm for the velocity).

math.NA↗

arXiv2022

Remarks on the controllability of parabolic systems with non-diagonalizable diffusion matrix

The distributed null controllability for coupled parabolic systems with non-diagonalizable diffusion matrices with a reduced number of controls has been studied in the case of constant matrices. On the other hand, boundary controllability issues and distributed controllability with non-constant coefficients for this kind of systems is not completely understood. In this paper, we analyze the boundary controllability properties of a class of coupled parabolic systems with non-diagonalizable diffusion matrices in the constant case and the distributed controllability of a 2 x 2 non-diagonalizable parabolic system with space-dependent coefficients. For the boundary controllability problem, our strategy relies on the moment method. For the distributed controllability problem, our findings provide positive and negative control results by using the Fattorini-Hautus test and a fictitious control strategy.

math.OC↗

arXiv2021

Optimal control strategies for the sterile mosquitoes technique

Mosquitoes are responsible for the transmission of many diseases such as dengue fever, zika or chigungunya. One way to control the spread of these diseases is to use the sterile insect technique (SIT), which consists in a massive release of sterilized male mosquitoes. This strategy aims at reducing the total population over time, and has the advantage being specific to the targeted species, unlike the use of pesticides.In this article, we study the optimal release strategies in order to maximize the efficiency of this technique.We consider simplified models that describe the dynamics of eggs, males, females and sterile males in order to optimize the release protocol. We determine in a precise way optimal strategies, which allows us to tackle numerically the underlying optimization problem in a very simple way. We also present some numerical simulations to illustrate our results.

math.AP↗

arXiv2021

$ϕ$-FEM: an efficient simulation tool using simple meshes for problems in structure mechanics and heat transfer

One of the major issues in the computational mechanics is to take into account the geometrical complexity. To overcome this difficulty and to avoid the expensive mesh generation, geometrically unfitted methods, i.e. the numerical methods using the simple computational meshes that do not fit the boundary of the domain, and/or the internal interfaces, have been widely developed. In the present work, we investigate the performances of an unfitted method called $ϕ$-FEM that converges optimally and uses classical finite element spaces so that it can be easily implemented using general FEM libraries. The main idea is to take into account the geometry thanks to a level set function describing the boundary or the interface. Up to now, the $ϕ$-FEM approach has been proposed, tested and substantiated mathematically only in some simplest settings: Poisson equation with Dirichlet/Neumann/Robin boundary conditions. Our goal here is to demonstrate its applicability to some more sophisticated governing equations arising in the computational mechanics. We consider the linear elasticity equations accompanied by either pure Dirichlet boundary conditions or by the mixed ones (Dirichlet and Neumann boundary conditions co-existing on parts of the boundary), an interface problem (linear elasticity with material coefficients abruptly changing over an internal interface), a model of elastic structures with cracks, and finally the heat equation. In all these settings, we derive an appropriate variant of $ϕ$-FEM and then illustrate it by numerical tests on manufactured solutions. We also compare the accuracy and efficiency of $ϕ$-FEM with those of the standard fitted FEM on the meshes of similar size, revealing the substantial gains that can be achieved by $ϕ$-FEM in both the accuracy and the computational time.

math.NA↗

arXiv2021

Optimization of spatial control strategies for population replacement, application to Wolbachia

In this article, we are interested in the analysis and simulation of solutions to an optimal control problem motivated by population dynamics issues. In order to control the spread of mosquito-borne arboviruses, the population replacement technique consists in releasing into the environment mosquitoes infected with the Wolbachia bacterium, which greatly reduces the transmission of the virus to the humans. Spatial releases are then sought in such a way that the infected mosquito population invades the uninfected mosquito population. Assuming very high mosquito fecundity rates, we first introduce an asymptotic model on the proportion of infected mosquitoes and then an optimal control problem to determine the best spatial strategy to achieve these releases. We then analyze this problem, including the optimality of natural candidates and carry out first numerical simulations in one dimension of space to illustrate the relevance of our approach.

math.AP↗

arXiv2021

Bilinear local controllability to the trajectories of the Fokker-Planck equation with a localized control

This work is devoted to the control of the Fokker-Planck equation, posed on a smooth bounded domain of R^d, with a localized drift force. We prove that this equation is locally controllable to regular nonzero trajectories. Moreover, under some conditions, we explain how to reduce the number of controls around the reference control. The results are obtained thanks to a standard linearization method and the fictitious control method. The main novelties are twofold. First, the algebraic solvability is performed and used directly on the adjoint problem. We then prove a new Carleman inequality for the heat equation with a space-time varying first-order term: the right-hand side is the gradient of the solution localized on an open subset. We finally give an example of regular trajectory around which the Fokker-Planck equation is not controllable with a reduced number of controls, to highlight that our conditions are relevant.

math.AP↗

arXiv2020

A new $ϕ$-FEM approach for problems with natural boundary conditions

We present a new finite element method, called $ϕ$-FEM, to solve numerically elliptic partial differential equations with natural (Neumann or Robin) boundary conditions using simple computational grids, not fitted to the boundary of the physical domain. The boundary data are taken into account using a level-set function, which is a popular tool to deal with complicated or evolving domains. Our approach belongs to the family of fictitious domain methods (or immersed boundary methods) and is close to recent methods of cutFEM/XFEM type. Contrary to the latter, $ϕ$-FEM does not need any non-standard numerical integration on cut mesh elements or on the actual boundary, while assuring the optimal convergence orders with finite elements of any degree and providing reasonably well conditioned discrete problems. In the first version of $ϕ$-FEM, only essential (Dirichlet) boundary conditions was considered. Here, to deal with natural boundary conditions, we introduce the gradient of the primary solution as an auxiliary variable. This is done only on the mesh cells cut by the boundary, so that the size of the numerical system is only slightly increased. We prove theoretically the optimal convergence of our scheme and a bound on the discrete problem conditioning, independent of the mesh cuts. The numerical experiments confirm these results.

math.NA↗

arXiv2020

How Best Can Finite-Time Social Distancing Reduce Epidemic Final Size?

Given maximal social distancing duration and intensity, how can one minimize the epidemic final size, or equivalently the total number of individuals infected during the outbreak? A complete answer to this question is provided and demonstrated here for the SIR epidemic model. In this simplified setting, the optimal solution consists in enforcing the highest confinement level during the longest allowed period, beginning at a time instant that is the unique solution to certain 1D optimization problem. Based on this result, we present numerical results showing the best possible performance for a large set of basic reproduction numbers and lockdown durations and intensities.

math.OC↗

arXiv2020

Optimal immunity control by social distancing for the SIR epidemic model

Until a vaccine or therapy is found against the SARS-CoV-2 coronavirus, reaching herd immunity appears to be the only mid-term option. However, if the number of infected individuals decreases and eventually fades only beyond this threshold, a significant proportion of susceptible may still be infected until the epidemic is over. A containment strategy is likely the best policy in the worst case where no vaccine or therapy is found. In order to keep the number of newly infected persons to a minimum, a possible strategy is to apply strict containment measures, so that the number of susceptible individuals remains close to herd immunity. Such an action is unrealistic since containment can only last for a finite amount of time and is never total. In this article, using a classical SIR model, we determine the (partial or total) containment strategy on a given finite time interval that maximizes the number of susceptible individuals over an infinite horizon, or equivalently that minimizes the total infection burden during the curse of the epidemic. The existence and uniqueness of the optimal strategy is proved and the latter is fully characterized. If applicable in practice, such a strategy would lead theoretically to an increase by 30% of the proportion of susceptible on an infinite horizon, for a containment level corresponding to the sanitary measures put in place in France from March to May 2020. We also analyze the minimum intervention time to reach a fixed distance from herd immunity, and show the relationship with the previous problem. Simulations are provided that illustrate and validate the theoretical results.

math.OC↗

arXiv2020

Minimal cost-time strategies for population replacement using the IIT

Vector control plays a central role in the fight against vector-borne diseases and, in particular, arboviruses. The use of the endosymbiotic bacterium Wolbachia has proven effective in preventing the transmission of some of these viruses between mosquitoes and humans, making it a promising control tool. The Incompatible Insect Technique (IIT) consists in replacing the wild population by a population carrying the aforementioned bacterium, thereby preventing outbreaks of the associated vector-borne diseases. In this work, we consider a two species model incorporating both Wolbachia infected and wild mosquitoes. Our system can be controlled thanks to a term representing an artificial introduction of Wolbachia-infected mosquitoes. Under the assumption that the birth rate of mosquitoes is high, we may reduce the model to a simpler one on the proportion of infected mosquitoes. We investigate minimal cost-time strategies to achieve a population replacement both analytically and numerically for the simplified 1D model and only numerically for the full 2D system

math.AP↗

arXiv2019

Minimal time for the continuity equation controlled by a localized perturbation of the velocity vector field

In this work, we study the minimal time to steer a given crowd to a desired configuration. The control is a vector field, representing a perturbation of the crowd velocity, localized on a fixed control set. We will assume that there is no interaction between the agents. We give a characterization of the minimal time both for microscopic and macroscopic descriptions of a crowd. We show that the minimal time to steer one initial configuration to another is related to the condition of having enough mass in the control region to feed the desired final configuration. The construction of the control is explicit, providing a numerical algorithm for computing it. We finally give some numerical simulations.

math.OC↗

arXiv2019

$ϕ$-FEM: a finite element method on domains defined by level-sets

We propose a new fictitious domain finite element method, well suited for elliptic problems posed in a domain given by a level-set function without requiring a mesh fitting the boundary. To impose the Dirichlet boundary conditions, we search the approximation to the solution as a product of a finite element function with the given level-set function, which also approximated by finite elements. Unlike other recent fictitious domain-type methods (XFEM, CutFEM), our approach does not need any non-standard numerical integration (on cut mesh elements or on the actual boundary). We consider the Poisson equation discretized with piecewise polynomial Lagrange finite elements of any order and prove the optimal convergence of our method in the $H^1$-norm. Moreover, the discrete problem is proven to be well conditioned, \textit{i.e.} the condition number of the associated finite element matrix is of the same order as that of a standard finite element method on a comparable conforming mesh. Numerical results confirm the optimal convergence in both $H^1$ and $L^2$ norms.

math.NA↗

arXiv2019

Control strategies on mosquitos population for the fight against arboviruses

In the fight against vector-borne arboviruses, an important strategy of control of epidemic consists in controlling the population of vector, \textit{Aedes} mosquitoes in this case. Among possible actions, two techniques consist in releasing mosquitoes to reduce the size of the population (Sterile Insect Technique) or in replacing the wild population by a population carrying a bacteria, called \textit{Wolbachia}, blocking the transmission of viruses from mosquitoes to human. This paper is concerned with the question of optimizing the release protocol for these two strategies with the aim of getting as close as possible to the objectives. Starting from a mathematical model describing the dynamics of the population, we include the control function and introduce the cost functional for both \textit{population replacement} and \textit{Sterile Insect Technique} problems. Next, we establish some properties of the optimal control and illustrate them with some numerical simulations.

math.AP↗

arXiv2019

Control of the Grushin equation: non-rectangular control region and minimal time

This paper is devoted to the study of the internal null-controllability of the Grushin equation. We determine the minimal time of controllability for a large class of non-rectangular control region. We establish the positive result thanks to the fictitious control method and the negative one by interpreting the associated observability inequality as an $L^2$ estimate on complex polynomials.

math.AP↗

arXiv2018

Finite element method with local damage on the mesh

We consider the finite element method on locally damaged meshes allowing for some distorted cells which are isolated from one another. In the case of the Poisson equation and piecewise linear Lagrange finite elements, we show that the usual a priori error estimates remain valid on such meshes. We also propose an alternative finite element scheme which is optimally convergent and, moreover, well conditioned, i.e. its conditioning is of the same order as that of a standard finite element method on a regular mesh of comparable size.

math.NA↗

arXiv2018

Quantifying discretization errors for soft-tissue simulation in computer assisted surgery: a preliminary study

Errors in biomechanics simulations arise from modeling and discretization. Modeling errors are due to the choice of the mathematical model whilst discretization errors measure the impact of the choice of the numerical method on the accuracy of the approximated solution to this specific mathematical model. A major source of discretization errors is mesh generation from medical images, that remains one of the major bottlenecks in the development of reliable, accurate, automatic and efficient personalized, clinically-relevant Finite Element (FE) models in biomechanics. The impact of mesh quality and density on the accuracy of the FE solution can be quantified with \emph{a posteriori} error estimates. Yet, to our knowledge, the relevance of such error estimates for practical biomechanics problems has seldom been addressed, see [25]. In this contribution, we propose an implementation of some a posteriori error estimates to quantify the discretization errors and to optimize the mesh. More precisely, we focus on error estimation for a user-defined quantity of interest with the Dual Weighted Residual (DWR) technique. We test its applicability and relevance in two situations, corresponding to computations for a tongue and an artery, using a simplified setting, i.e., plane linearized elasticity with contractility of the soft-tissue modeled as a pre-stress. Our results demonstrate the feasibility of such methodology to estimate the actual solution errors and to reduce them economically through mesh refinement.

cs.CE↗

arXiv2018

Minimal time problem for discrete crowd models with a localized vector field

In this work, we study the minimal time to steer a given crowd to a desired configuration. The control is a vector field, representing a perturbation of the crowd velocity, localized on a fixed control set. We characterize the minimal time for a discrete crowd model, both for exact and approximate controllability. This leads to an algorithm that computes the control and the minimal time. We finally present a numerical simulation.

math.AP↗

arXiv2017

Controllability and optimal control of the transport equation with a localized vector field

We study controllability of a Partial Differential Equation of transport type, that arises in crowd models. We are interested in controlling such system with a control being a Lipschitz vector field on a fixed control set $ω$. We prove that, for each initial and final configuration, one can steer one to another with such class of controls only if the uncontrolled dynamics allows to cross the control set $ω$. We also prove a minimal time result for such systems. We show that the minimal time to steer one initial configuration to another is related to the condition of having enough mass in $ω$ to feed the desired final configuration.

math.AP↗