-
Fully Reversing the Shoebox Image Source Method: From Impulse Responses to Room Parameters
Authors:
Tom Sprunck,
Antoine Deleforge,
Yannick Privat,
Cédric Foy
Abstract:
We present an algorithm that fully reverses the shoebox image source method (ISM), a popular and widely used room impulse response (RIR) simulator for cuboid rooms introduced by Allen and Berkley in 1979. More precisely, given a discrete multichannel RIR generated by the shoebox ISM for a microphone array of known geometry, the algorithm reliably recovers the 18 input parameters. These are the 3D…
▽ More
We present an algorithm that fully reverses the shoebox image source method (ISM), a popular and widely used room impulse response (RIR) simulator for cuboid rooms introduced by Allen and Berkley in 1979. More precisely, given a discrete multichannel RIR generated by the shoebox ISM for a microphone array of known geometry, the algorithm reliably recovers the 18 input parameters. These are the 3D source position, the 3 dimensions of the room, the 6-degrees-of-freedom room translation and orientation, and an absorption coefficient for each of the 6 room boundaries. The approach builds on a recently proposed gridless image source localization technique combined with new procedures for room axes recovery and first-order-reflection identification. Extensive simulated experiments reveal that near-exact recovery of all parameters is achieved for a 32-element, 8.4-cm-wide spherical microphone array and a sampling rate of 16~kHz using fully randomized input parameters within rooms of size 2X2X2 to 10X10X5 meters. Estimation errors decay towards zero when increasing the array size and sampling rate. The method is also shown to strongly outperform a known baseline, and its ability to extrapolate RIRs at new positions is demonstrated. Crucially, the approach is strictly limited to low-passed discrete RIRs simulated using the vanilla shoebox ISM. Nonetheless, it represents to our knowledge the first algorithmic demonstration that this difficult inverse problem is in-principle fully solvable over a wide range of configurations.
△ Less
Submitted 6 May, 2024;
originally announced May 2024.
-
Large-time optimal observation domain for linear parabolic systems
Authors:
Idriss Mazari-Fouquer,
Yannick Privat,
Emmanuel Trélat
Abstract:
Given a well-posed linear evolution system settled on a domain $Ω$ of $\mathbb{R}^d$, an observation subset $ω\subsetΩ$ and a time horizon $T$, the observability constant is defined as the largest possible nonnegative constant such that the observability inequality holds for the pair $(ω,T)$. In this article we investigate the large-time behavior of the observation domain that maximizes the observ…
▽ More
Given a well-posed linear evolution system settled on a domain $Ω$ of $\mathbb{R}^d$, an observation subset $ω\subsetΩ$ and a time horizon $T$, the observability constant is defined as the largest possible nonnegative constant such that the observability inequality holds for the pair $(ω,T)$. In this article we investigate the large-time behavior of the observation domain that maximizes the observability constant over all possible measurable subsets of a given Lebesgue measure. We prove that it converges exponentially, as the time horizon goes to infinity, to a limit set that we characterize. The mathematical technique is new and relies on a quantitative version of the bathtub principle.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Is the Faber-Krahn inequality true for the Stokes operator?
Authors:
Antoine Henrot,
Idriss Mazari-Fouquer,
Yannick Privat
Abstract:
The goal of this paper is to investigate the minimisation of the first eigenvalue of the (vectorial) incompressible Dirichlet-Stokes operator. After providing an existence result, we investigate optimality conditions and we prove the following surprising result: while the ball satisfies first and second-order optimality conditions in dimension 2, it does not in dimension 3, so that the Faber-Krahn…
▽ More
The goal of this paper is to investigate the minimisation of the first eigenvalue of the (vectorial) incompressible Dirichlet-Stokes operator. After providing an existence result, we investigate optimality conditions and we prove the following surprising result: while the ball satisfies first and second-order optimality conditions in dimension 2, it does not in dimension 3, so that the Faber-Krahn inequality for the Stokes operator is probably true in $\mathbb{R}^2$, but does not hold in $\mathbb{R}^3$. The multiplicity of the first eigenvalue of the Dirichlet-Stokes operator in the ball in $\mathbb{R}^3$ plays a crucial role in the proof of that claim.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Optimal scenario for road evacuation in an urban environment
Authors:
Mickael Bestard,
Emmanuel Franck,
Laurent Navoret,
Yannick Privat
Abstract:
How to free a road from vehicle traffic as efficiently as possible and in a given time, in order to allow for example the passage of emergency vehicles? We are interested in this question which we reformulate as an optimal control problem. We consider a macroscopic road traffic model on networks, semi-discretized in space and decide to give ourselves the possibility to control the flow at junction…
▽ More
How to free a road from vehicle traffic as efficiently as possible and in a given time, in order to allow for example the passage of emergency vehicles? We are interested in this question which we reformulate as an optimal control problem. We consider a macroscopic road traffic model on networks, semi-discretized in space and decide to give ourselves the possibility to control the flow at junctions. Our target is to smooth the traffic along a given path within a fixed time. A parsimony constraint is imposed on the controls, in order to ensure that the optimal strategies are feasible in practice. We perform an analysis of the resulting optimal control problem, proving the existence of an optimal control and deriving optimality conditions, which we rewrite as a single functional equation. We then use this formulation to derive a new mixed algorithm interpreting it as a mix between two methods: a descent method combined with a fixed point method allowing global perturbations. We verify with numerical experiments the efficiency of this method on examples of graphs, first simple, then more complex. We highlight the efficiency of our approach by comparing it to standard methods. We propose an open source code implementing this approach in the Julia language.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Vector-borne disease outbreak control via instant releases
Authors:
Luis Almeida,
Jesús Bellver Arnau,
Yannick Privat,
Carlota Rebelo
Abstract:
This paper is devoted to the study of optimal release strategies to control vector-borne diseases, such as dengue, Zika, chikungunya and malaria. Two techniques are considered: the sterile insect one (SIT), which consists in releasing sterilized males among wild vectors in order to perturb their reproduction, and the Wolbachia one (presently used mainly for mosquitoes), which consists in releasing…
▽ More
This paper is devoted to the study of optimal release strategies to control vector-borne diseases, such as dengue, Zika, chikungunya and malaria. Two techniques are considered: the sterile insect one (SIT), which consists in releasing sterilized males among wild vectors in order to perturb their reproduction, and the Wolbachia one (presently used mainly for mosquitoes), which consists in releasing vectors, that are infected with a bacterium limiting their vector capacity, in order to replace the wild population by one with reduced vector capacity. In each case, the time dynamics of the vector population is modeled by a system of ordinary differential equations in which the releases are represented by linear combinations of Dirac measures with positive coefficients determining their intensity. We introduce optimal control problems that we solve numerically using ad-hoc algorithms, based on writing first-order optimality conditions characterizing the best combination of Dirac measures. We then discuss the results obtained, focusing in particular on the complexity and efficiency of optimal controls and comparing the strategies obtained. Mathematical modeling can help testing a great number of scenarios that are potentially interesting in future interventions (even those that are orthogonal to the present strategies) but that would be hard, costly or even impossible to test in the field in present conditions.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Stability of optimal shapes and convergence of thresholding algorithms in linear and spectral optimal control problems
Authors:
Antonin Chambolle,
Idriss Mazari-Fouquer,
Yannick Privat
Abstract:
We prove the convergence of the fixed-point (also called thresholding) algorithm in three optimal control problems under large volume constraints. This algorithm was introduced by Céa, Gioan and Michel, and is of constant use in the simulation of $L^\infty-L^1$ optimal control problems. In this paper we consider the optimisation of the Dirichlet energy, of Dirichlet eigenvalues and of certain non-…
▽ More
We prove the convergence of the fixed-point (also called thresholding) algorithm in three optimal control problems under large volume constraints. This algorithm was introduced by Céa, Gioan and Michel, and is of constant use in the simulation of $L^\infty-L^1$ optimal control problems. In this paper we consider the optimisation of the Dirichlet energy, of Dirichlet eigenvalues and of certain non-energetic problems. Our proofs rely on new diagonalisation procedure for shape hessians in optimal control problems, which leads to local stability estimates.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Real-time elastic partial shape matching using a neural network-based adjoint method
Authors:
Alban Odot,
Guillaume Mestdagh,
Yannick Privat,
Stéphane Cotin
Abstract:
Surface matching usually provides significant deformations that can lead to structural failure due to the lack of physical policy. In this context, partial surface matching of non-linear deformable bodies is crucial in engineering to govern structure deformations. In this article, we propose to formulate the registration problem as an optimal control problem using an artificial neural network wher…
▽ More
Surface matching usually provides significant deformations that can lead to structural failure due to the lack of physical policy. In this context, partial surface matching of non-linear deformable bodies is crucial in engineering to govern structure deformations. In this article, we propose to formulate the registration problem as an optimal control problem using an artificial neural network where the unknown is the surface force distribution that applies to the object and the resulting deformation computed using a hyper-elastic model. The optimization problem is solved using an adjoint method where the hyper-elastic problem is solved using the feed-forward neural network and the adjoint problem is obtained through the backpropagation of the network. Our process improves the computation speed by multiple orders of magnitude while providing acceptable registration errors.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
Minimal time of magnetization switching in small ferromagnetic ellipsoidal samples
Authors:
Raphaël Côte,
Clémentine Courtès,
Guillaume Ferrière,
Yannick Privat
Abstract:
In this paper, we consider a ferromagnetic material of ellipsoidal shape. The associated magnetic moment then has two asymptotically stable opposite equilibria, of the form $\pm\overline{m}$. In order to use these materials for memory storage purposes, it is necessary to know how to control the magnetic moment. We use as a control variable a spatially uniform external magnetic field and consider t…
▽ More
In this paper, we consider a ferromagnetic material of ellipsoidal shape. The associated magnetic moment then has two asymptotically stable opposite equilibria, of the form $\pm\overline{m}$. In order to use these materials for memory storage purposes, it is necessary to know how to control the magnetic moment. We use as a control variable a spatially uniform external magnetic field and consider the question of flip** the magnetic moment, i.e., changing it from the $+\overline{m}$ configuration to the $-\overline{m}$ one, in minimal time. Of course, it is necessary to impose restrictions on the external magnetic field used. We therefore include a constraint on the $L^\infty$ norm of the controls, assumed to be less than a threshold value $U$. We show that, generically with respect to the dimensions of the ellipsoid, there is a minimal value of $U$ for this problem to have a solution. We then characterize it precisely. Finally, we investigate some particular configurations associated to geometries enjoying symmetries properties and show that in this case the magnetic moment can be controlled in minimal time without imposing a threshold condition on $U$.
△ Less
Submitted 10 January, 2023;
originally announced January 2023.
-
Insensitizing control for linear and semi-linear heat equations with partially unknown domain
Authors:
Pierre Lissy,
Yannick Privat,
Yacouba Simporé
Abstract:
We consider a semi-linear heat equation with Dirichlet boundary conditions and globally Lipschitz nonlinearity, posed on a bounded domain of R^N (N $\in$ N *), assumed to be an unknown perturbation of a reference domain. We are interested in an insensitizing control problem, which consists in finding a distributed control such that some functional of the state is insensitive at the first order to…
▽ More
We consider a semi-linear heat equation with Dirichlet boundary conditions and globally Lipschitz nonlinearity, posed on a bounded domain of R^N (N $\in$ N *), assumed to be an unknown perturbation of a reference domain. We are interested in an insensitizing control problem, which consists in finding a distributed control such that some functional of the state is insensitive at the first order to the perturbations of the domain. Our first result consists of an approximate insensitization property on the semi-linear heat equation. It rests upon a linearization procedure together with the use of an appropriate fixed point theorem. For the linear case, an appropriate duality theory is developed, so that the problem can be seen as a consequence of well-known unique continuation theorems. Our second result is specific to the linear case. We show a property of exact insensitization for some families of deformation given by one or two parameters. Due to the nonlinearity of the intrinsic control problem, no duality theory is available, so that our proof relies on a geometrical approach and direct computations.
△ Less
Submitted 7 November, 2022;
originally announced November 2022.
-
Gridless 3D Recovery of Image Sources from Room Impulse Responses
Authors:
Tom Sprunck,
Yannick Privat,
Cédric Foy,
Antoine Deleforge
Abstract:
Given a sound field generated by a sparse distribution of impulse image sources, can the continuous 3D positions and amplitudes of these sources be recovered from discrete, bandlimited measurements of the field at a finite set of locations, e.g., a multichannel room impulse response? Borrowing from recent advances in super-resolution imaging, it is shown that this nonlinear, non-convex inverse pro…
▽ More
Given a sound field generated by a sparse distribution of impulse image sources, can the continuous 3D positions and amplitudes of these sources be recovered from discrete, bandlimited measurements of the field at a finite set of locations, e.g., a multichannel room impulse response? Borrowing from recent advances in super-resolution imaging, it is shown that this nonlinear, non-convex inverse problem can be efficiently relaxed into a convex linear inverse problem over the space of Radon measures in R3. The linear operator introduced here stems from the fundamental solution of the free-field inhomogenous wave equation combined with the receivers' responses. An adaptation of the Sliding Frank-Wolfe algorithm is proposed to numerically solve the problem off-the-grid, i.e., in continuous 3D space. Simulated experiments show that the approach achieves near-exact recovery of hundreds of image sources using an arbitrarily placed compact 32-channel spherical microphone array in random rectangular rooms. The impact of noise, sampling rate and array diameter on these results is also examined.
△ Less
Submitted 7 December, 2022; v1 submitted 30 August, 2022;
originally announced August 2022.
-
Shapes optimising grand resistance tensor entries for a rigid body in a Stokes flow
Authors:
Clment Moreau,
Kenta Ishimoto,
Yannick Privat
Abstract:
We investigate the optimal shapes of the hydrodynamic resistance of a rigid body set in motion in a Stokes flow. In this low Reynolds number regime, the hydrodynamic drag properties of an object are encoded in a finite number of parameters contained in the grand resistance tensor. Considering these parameters as objective functions to be optimised, we use calculus of variations techniques to deriv…
▽ More
We investigate the optimal shapes of the hydrodynamic resistance of a rigid body set in motion in a Stokes flow. In this low Reynolds number regime, the hydrodynamic drag properties of an object are encoded in a finite number of parameters contained in the grand resistance tensor. Considering these parameters as objective functions to be optimised, we use calculus of variations techniques to derive a general shape derivative formula, allowing to specify how to deform the body shape to improve the objective value of any given resistance tensor entry. We then describe a practical algorithm for numerically computing the optimized shapes and apply it to several examples. Numerical results reveal interesting new geometries when optimizing the extra-diagonal inputs to the strength tensor, including the emergence of a chiral helical shape when maximising the coupling between the hydrodynamic force and the rotational motion. With a good level of adaptability to different applications, this work paves the way for a new analysis of the morphological functionality of microorganisms and for future advances in the design of microswimmer devices.
△ Less
Submitted 13 July, 2022;
originally announced July 2022.
-
Existence of surfaces optimizing geometric and PDE shape functionals under reach constraint
Authors:
Yannick Privat,
Rémi Robin,
Mario Sigalotti
Abstract:
This article deals with the existence of hypersurfaces minimizing general shape functionals under certain geometric constraints. We consider as admissible shapes orientable hypersurfaces satisfying a so-called reach condition, also known as the uniform ball property, which ensures C 1,1 regularity of the hypersurface. In this paper, we revisit and generalise the results of [9, 4, 5]. We provide a…
▽ More
This article deals with the existence of hypersurfaces minimizing general shape functionals under certain geometric constraints. We consider as admissible shapes orientable hypersurfaces satisfying a so-called reach condition, also known as the uniform ball property, which ensures C 1,1 regularity of the hypersurface. In this paper, we revisit and generalise the results of [9, 4, 5]. We provide a simpler framework and more concise proofs of some of the results contained in these references and extend them to a new class of problems involving PDEs. Indeed, by using the signed distance introduced by Delfour and Zolesio (see for instance [7]), we avoid the intensive and technical use of local maps, as was the case in the above references. Our approach, originally developed to solve an existence problem in [12], can be easily extended to costs involving different mathematical objects associated with the domain, such as solutions of elliptic equations on the hypersurface.
△ Less
Submitted 9 June, 2022;
originally announced June 2022.
-
Reduced modelling and optimal control of epidemiological individual-based models with contact heterogeneity
Authors:
C. Courtès,
E. Franck,
K. Lutz,
L. Navoret,
Y. Privat
Abstract:
Modelling epidemics via classical population-based models suffers from shortcomings that so-called individual-based models are able to overcome, as they are able to take heterogeneity features into account, such as super-spreaders, and describe the dynamics involved in small clusters. In return, such models often involve large graphs which are expensive to simulate and difficult to optimize, both…
▽ More
Modelling epidemics via classical population-based models suffers from shortcomings that so-called individual-based models are able to overcome, as they are able to take heterogeneity features into account, such as super-spreaders, and describe the dynamics involved in small clusters. In return, such models often involve large graphs which are expensive to simulate and difficult to optimize, both in theory and in practice.
By combining the reinforcement learning philosophy with reduced models, we propose a numerical approach to determine optimal health policies for a stochastic epidemiological graph-model taking into account super-spreaders. More precisely, we introduce a deterministic reduced population-based model involving a neural network, and use it to derive optimal health policies through an optimal control approach. It is meant to faithfully mimic the local dynamics of the original, more complex, graph-model. Roughly speaking, this is achieved by sequentially training the network until an optimal control strategy for the corresponding reduced model manages to equally well contain the epidemic when simulated on the graph-model.
After describing the practical implementation of this approach, we will discuss the range of applicability of the reduced model and to what extent the estimated control strategies could provide useful qualitative information to health authorities.
△ Less
Submitted 13 May, 2022;
originally announced May 2022.
-
Quantum Limits on product manifolds
Authors:
Emmanuel Humbert,
Yannick Privat,
Emmanuel Trélat
Abstract:
We establish some properties of quantum limits on a product manifold, proving for instance that, under appropriate assumptions, the quantum limits on the product of manifolds are absolutely continuous if the quantum limits on each manifolds are absolutely continuous. On a product of Riemannian manifolds satisfying the minimal multiplicity property, we prove that a periodic geodesic can never be ch…
▽ More
We establish some properties of quantum limits on a product manifold, proving for instance that, under appropriate assumptions, the quantum limits on the product of manifolds are absolutely continuous if the quantum limits on each manifolds are absolutely continuous. On a product of Riemannian manifolds satisfying the minimal multiplicity property, we prove that a periodic geodesic can never be charged by a quantum limit.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
Optimal shape of stellarators for magnetic confinement fusion
Authors:
Yannick Privat,
Rémi Robin,
Mario Sigalotti
Abstract:
We are interested in the design of stellarators, devices for the production of controlled nuclear fusion reactions alternative to tokamaks. The confinement of the plasma is entirely achieved by a helical magnetic field created by the complex arrangement of coils fed by high currents around a toroidal domain. Such coils describe a surface called "coil winding surface" (CWS). In this paper, we model…
▽ More
We are interested in the design of stellarators, devices for the production of controlled nuclear fusion reactions alternative to tokamaks. The confinement of the plasma is entirely achieved by a helical magnetic field created by the complex arrangement of coils fed by high currents around a toroidal domain. Such coils describe a surface called "coil winding surface" (CWS). In this paper, we model the design of the CWS as a shape optimization problem, so that the cost functional reflects both optimal plasma confinement properties, through a least square discrepancy, and also manufacturability, thanks to geometrical terms involving the lateral surface or the curvature of the CWS. We completely analyze the resulting problem: on the one hand, we establish the existence of an optimal shape, prove the shape differentiability of the criterion, and provide the expression of the differential in a workable form. On the other hand, we propose a numerical method and perform simulations of optimal stellarator shapes. We discuss the efficiency of our approach with respect to the literature in this area.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
Qualitative analysis of optimisation problems with respect to non-constant Robin coefficients
Authors:
Idriss Mazari,
Yannick Privat
Abstract:
Following recent interest in the qualitative analysis of some optimal control and shape optimisation problems, we provide in this article a detailed study of the optimisation of Robin boundary conditions in PDE constrained calculus of variations. Our main model consists of an elliptic PDE of the form $-Δu_β=f(x,u_β)$ endowed with the Robin boundary conditions $\partial_νu_β+β(x)u_β=0$. The optimis…
▽ More
Following recent interest in the qualitative analysis of some optimal control and shape optimisation problems, we provide in this article a detailed study of the optimisation of Robin boundary conditions in PDE constrained calculus of variations. Our main model consists of an elliptic PDE of the form $-Δu_β=f(x,u_β)$ endowed with the Robin boundary conditions $\partial_νu_β+β(x)u_β=0$. The optimisation variable is the function $β$, which is assumed to take values between 0 and 1 and to have a fixed integral. Two types of criteria are under consideration: the first one is non-energetic criteria. In other words, we aim at optimising functionals of the form $\mathcal J(β)=\int_{Ω\text{ or }\partial Ω}j(u_β)$. We prove that, depending on the monotonicity of the function $j$, the optimisers may be of \emph{bang-bang} type (in other words, the optimisers write $1_Γ$ for some measurable subset $Γ$ of $\partial \ Omega $) or, on the contrary, that they may only take values strictly between 0 and 1. This has consequence for a related shape optimisation problem, in which one tries to find where on the boundary Neumann ($\partial_νu=0$ ) and constant Robin conditions ($\partial_νu+u=0$) should be placed in order to optimise criteria. The proofs for this first case rely on new fine oscillatory techniques, used in combination with optimality conditions. We then investigate the case of compliance-type functionals. For such energetic functionals, we give an in-depth analysis and even some explicit characterisation of optimal $β^*$.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Optimisation of the total population size for logistic diffusive equations: bang-bang property and fragmentation rate
Authors:
Idriss Mazari,
Grégoire Nadin,
Yannick Privat
Abstract:
In this article, we give an in-depth analysis of the problem of optimising the total population size for a standard logistic-diffusive model. This optimisation problem stems from the study of spatial ecology and amounts to the following question: assuming a species evolves in a domain, what is the best way to spread resources in order to ensure a maximal population size at equilibrium? {In recent…
▽ More
In this article, we give an in-depth analysis of the problem of optimising the total population size for a standard logistic-diffusive model. This optimisation problem stems from the study of spatial ecology and amounts to the following question: assuming a species evolves in a domain, what is the best way to spread resources in order to ensure a maximal population size at equilibrium? {In recent years, many authors contributed to this topic.} We settle here the proof of two fundamental properties of optimisers: the bang-bang one which had so far only been proved under several strong assumptions, and the other one is the fragmentation of maximisers. Here, we prove the bang-bang property in all generality using a new spectral method. The technique introduced to demonstrate the bang-bang character of optimizers can be adapted and generalized to many optimization problems with other classes of bilinear optimal control problems where the state equation is semilinear and elliptic. We comment on it in a conclusion section.Regarding the geometry of maximisers, we exhibit a blow-up rate for the $BV$-norm of maximisers as the diffusivity gets smaller: if $Ø$ is an orthotope and if $m_μ$ is an optimal control, then $\Vert m_μ\Vert_{BV}\gtrsim \sqrtμ$. The proof of this results relies on a very fine energy argument.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Insensitizing controls for the heat equation with respect to boundary variations
Authors:
Sylvain Ervedoza,
Pierre Lissy,
Yannick Privat
Abstract:
This article is dedicated to insensitization issues of a quadratic functional involving the solution of the linear heat equation with respect to domains variations. This work can be seen as a continuation of [P. Lissy, Y. Privat, and Y. Simporé. Insensitizing control for linear and semi-linear heat equations with partially unknown domain. ESAIM Control Optim. Calc. Var., 25:Art. 50, 21, 2019], ins…
▽ More
This article is dedicated to insensitization issues of a quadratic functional involving the solution of the linear heat equation with respect to domains variations. This work can be seen as a continuation of [P. Lissy, Y. Privat, and Y. Simporé. Insensitizing control for linear and semi-linear heat equations with partially unknown domain. ESAIM Control Optim. Calc. Var., 25:Art. 50, 21, 2019], insofar as we generalize several of the results it contains and investigate new related properties. In our framework, we consider boundary variations of the spatial domain on which the solution of the PDE is defined at each time, and investigate three main issues: (i) approximate insensitization, (ii) approximate insensitization combined with an exact insensitization for a finite-dimensional subspace, and (iii) exact insensitization. We provide positive answers to questions (i) and (ii) and partial results to question (iii).
△ Less
Submitted 7 November, 2022; v1 submitted 28 December, 2020;
originally announced December 2020.
-
Optimization of spatial control strategies for population replacement, application to Wolbachia
Authors:
Michel Duprez,
Romane Hélie,
Yannick Privat,
Nicolas Vauchelet
Abstract:
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…
▽ More
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.
△ Less
Submitted 24 June, 2021; v1 submitted 8 December, 2020;
originally announced December 2020.
-
Optimal control strategies for the sterile mosquitoes technique
Authors:
Luís Almeida,
Michel Duprez,
Yannick Privat,
Nicolas Vauchelet
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 November, 2021; v1 submitted 9 November, 2020;
originally announced November 2020.
-
Optimal immunity control by social distancing for the SIR epidemic model
Authors:
Pierre-Alexandre Bliman,
Michel Duprez,
Yannick Privat,
Nicolas Vauchelet
Abstract:
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 wh…
▽ More
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.
△ Less
Submitted 10 June, 2020;
originally announced June 2020.
-
Shape optimization of a Dirichlet type energy for semilinear elliptic partial differential equations
Authors:
Antoine Henrot,
Idriss Mazari,
Yannick Privat
Abstract:
Minimizing the so-called "Dirichlet energy" with respect to the domain under a volume constraint is a standard problem in shape optimization which is now well understood. This article is devoted to a prototypal non-linear version of the problem, where one aims at minimizing a Dirichlet-type energy involving the solution to a semilinear elliptic PDE with respect to the domain, under a volume constr…
▽ More
Minimizing the so-called "Dirichlet energy" with respect to the domain under a volume constraint is a standard problem in shape optimization which is now well understood. This article is devoted to a prototypal non-linear version of the problem, where one aims at minimizing a Dirichlet-type energy involving the solution to a semilinear elliptic PDE with respect to the domain, under a volume constraint. One of the main differences with the standard version of this problem rests upon the fact that the criterion to minimize does not write as the minimum of an energy, and thus most of the usual tools to analyze this problem cannot be used. By using a relaxed version of this problem, we first prove the existence of optimal shapes under several assumptions on the problem parameters. We then analyze the stability of the ball, expected to be a good candidate for solving the shape optimization problem, when the coefficients of the involved PDE are radially symmetric.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
The missing (A, D, r) diagram
Authors:
Alexandre Delyon,
Antoine Henrot,
Yannick Privat
Abstract:
In this paper we are interested in "optimal" universal geometric inequalities involving the area, diameter and inradius of convex bodies. The term "optimal" is to be understood in the following sense: we tackle the issue of minimizing/maximizing the Lebesgue measure of a convex body among all convex sets of given diameter and inradius. The minimization problem in the two-dimensional case has been…
▽ More
In this paper we are interested in "optimal" universal geometric inequalities involving the area, diameter and inradius of convex bodies. The term "optimal" is to be understood in the following sense: we tackle the issue of minimizing/maximizing the Lebesgue measure of a convex body among all convex sets of given diameter and inradius. The minimization problem in the two-dimensional case has been solved in a previous work, by M. Hernandez-Cifre and G. Salinas. In this article, we provide a generalization to the n-dimensional case based on a different approach, as well as the complete solving of the maximization problem in the two-dimensional case. This allows us to completely determine the so-called 2-dimensional Blaschke-Santal{ó} diagram for planar convex bodies with respect to the three magnitudes area, diameter and inradius in euclidean spaces, denoted (A, D, r). Such a diagram is used to determine the range of possible values of the area of convex sets depending on their diameter and inradius. Although this question of convex geometry appears quite elementary, it had not been answered until now. This is likely related to the fact that the diagram description uses unexpected particular convex sets, such as a kind of smoothed nonagon inscribed in an equilateral triangle.
△ Less
Submitted 7 May, 2021; v1 submitted 12 May, 2020;
originally announced May 2020.
-
Minimal cost-time strategies for population replacement using the IIT
Authors:
Luis Almeida,
Jesús Bellver,
Michel Duprez,
Yannick Privat
Abstract:
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 populati…
▽ More
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
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Observability for generalized Schrödinger equations and quantum limits on product manifolds
Authors:
Emmanuel Humbert,
Yannick Privat,
Emmanuel Trélat
Abstract:
Given a closed product Riemannian manifold N = M x M equipped with the product Riemannian metric g = h + h , we explore the observability properties for the generalized Schr{ö}dinger equation i$\partial$ t u = F (g)u, where g is the Laplace-Beltrami operator on N and F : [0, +$\infty$) $\rightarrow$ [0, +$\infty$) is an increasing function. In this note, we prove observability in finite time on an…
▽ More
Given a closed product Riemannian manifold N = M x M equipped with the product Riemannian metric g = h + h , we explore the observability properties for the generalized Schr{ö}dinger equation i$\partial$ t u = F (g)u, where g is the Laplace-Beltrami operator on N and F : [0, +$\infty$) $\rightarrow$ [0, +$\infty$) is an increasing function. In this note, we prove observability in finite time on any open subset $ω$ satisfying the so-called Vertical Geometric Control Condition, stipulating that any vertical geodesic meets $ω$, under the additional assumption that the spectrum of F (g) satisfies a gap condition. A first consequence is that observability on $ω$ for the Schr{ö}dinger equation is a strictly weaker property than the usual Geometric Control Condition on any product of spheres. A second consequence is that the Dirac measure along any geodesic of N is never a quantum limit.
△ Less
Submitted 6 March, 2020;
originally announced March 2020.
-
Shape optimization of a weighted two-phase Dirichlet eigenvalue
Authors:
Idriss Mazari,
Grégoire Nadin,
Yannick Privat
Abstract:
Let $m$ be a bounded function and $α$ a nonnegative parameter. This article is concerned with the first eigenvalue $λ\_α(m)$ of the drifted Laplacian type operator $\mathcal L\_m$ given by $\mathcal L\_m(u)= -\operatorname{div} \left((1+αm)\nabla u\right)-mu$ on a smooth bounded domain, with Dirichlet boundary conditions. Assuming uniform pointwise and integral bounds on $m$, we investigate the is…
▽ More
Let $m$ be a bounded function and $α$ a nonnegative parameter. This article is concerned with the first eigenvalue $λ\_α(m)$ of the drifted Laplacian type operator $\mathcal L\_m$ given by $\mathcal L\_m(u)= -\operatorname{div} \left((1+αm)\nabla u\right)-mu$ on a smooth bounded domain, with Dirichlet boundary conditions. Assuming uniform pointwise and integral bounds on $m$, we investigate the issue of minimizing $λ\_α(m)$ with respect to $m$. Such a problem is related to the so-called "two phase extremal eigenvalue problem" and arises naturally, for instance in population dynamics where it is related to the survival ability of a species in a domain. We prove that unless the domain is a ball, this problem has no "regular" solution. We then provide a careful analysis in the case of a ball by: (1) characterizing the solution among all radially symmetric resources distributions, with the help of a new method involving a homogenized version of the problem; (2) proving in a more general setting, a stability result for the centered distribution of resources with the help of a monotonicity principle for second order shape derivatives which significantly simplifies the analysis.
△ Less
Submitted 19 October, 2021; v1 submitted 9 January, 2020;
originally announced January 2020.
-
Optimal releases for population replacement strategies, application to Wolbachia
Authors:
Luís Almeida,
Yannick Privat,
Martin Strugarek,
Nicolas Vauchelet
Abstract:
In this article, we consider a simplified model of time dynamics for a mosquito population subject to the artificial introduction of {\itshape Wolbachia}-infected mosquitoes, in order to fight arboviruses transmission.Indeed, it has been observed that when some mosquito populations are infected by some {\itshape Wolbachia} bacteria, various reproductive alterations are induced in mosquitoes, inclu…
▽ More
In this article, we consider a simplified model of time dynamics for a mosquito population subject to the artificial introduction of {\itshape Wolbachia}-infected mosquitoes, in order to fight arboviruses transmission.Indeed, it has been observed that when some mosquito populations are infected by some {\itshape Wolbachia} bacteria, various reproductive alterations are induced in mosquitoes, including cytoplasmic incompatibility. Some of these {\itshape Wolbachia} bacteria greatly reduce the ability of insects to become infected with viruses such as the dengue ones, cutting down their vector competence and thus effectively stop** local dengue transmission.The behavior of infected and uninfected mosquitoes is assumed to be driven by a compartmental system enriched with the presence of an internal control source term standing for releases of infected mosquitoes, distributed in time. We model and design an optimal releasing control strategy with the help of a least square problem. In a nutshell, one wants to minimize the number of uninfected mosquitoes at a given horizon of time, under some relevant biological constraints. We derive properties of optimal controls, highlight a limit problem providing useful asymptotic properties of optimal controls. We numerically illustrate the relevance of our approach.
△ Less
Submitted 6 September, 2019;
originally announced September 2019.
-
Optimal location of resources maximizing the total population size in logistic models
Authors:
Idriss Mazari,
Grégoire Nadin,
Yannick Privat
Abstract:
In this article, we consider a species whose population density solves the steady diffusive logistic equation in a heterogeneous environment modeled with the help of a spatially non constant coefficient standing for a resources distribution. We address the issue of maximizing the total population size with respect to the resources distribution, considering some uniform pointwise bounds as well as…
▽ More
In this article, we consider a species whose population density solves the steady diffusive logistic equation in a heterogeneous environment modeled with the help of a spatially non constant coefficient standing for a resources distribution. We address the issue of maximizing the total population size with respect to the resources distribution, considering some uniform pointwise bounds as well as prescribing the total amount of resources. By assuming the diffusion rate of the species large enough, we prove that any optimal configuration is bang-bang (in other words an extreme point of the admissible set) meaning that this problem can be recast as a shape optimization problem, the unknown domain standing for the resources location. In the one-dimensional case, this problem is deeply analyzed, and for large diffusion rates, all optimal configurations are exhibited. This study is completed by several numerical simulations in the one dimensional case.
△ Less
Submitted 29 July, 2019; v1 submitted 11 July, 2019;
originally announced July 2019.
-
On the randomised stability constant for inverse problems
Authors:
Giovanni S. Alberti,
Yves Capdeboscq,
Yannick Privat
Abstract:
In this paper we introduce the randomised stability constant for abstract inverse problems, as a generalisation of the randomised observability constant, which was studied in the context of observability inequalities for the linear wave equation. We study the main properties of the randomised stability constant and discuss the implications for the practical inversion, which are not straightforward…
▽ More
In this paper we introduce the randomised stability constant for abstract inverse problems, as a generalisation of the randomised observability constant, which was studied in the context of observability inequalities for the linear wave equation. We study the main properties of the randomised stability constant and discuss the implications for the practical inversion, which are not straightforward.
△ Less
Submitted 7 April, 2020; v1 submitted 27 March, 2019;
originally announced March 2019.
-
Control strategies on mosquitos population for the fight against arboviruses
Authors:
Luís Almeida,
Michel Duprez,
Yannick Privat,
Nicolas Vauchelet
Abstract:
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 \t…
▽ More
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.
△ Less
Submitted 17 January, 2019;
originally announced January 2019.
-
Geometric and spectral characterization of Zoll manifolds, invariant measures and quantum limits
Authors:
Emmanuel Humbert,
Yannick Privat,
Emmanuel Trélat
Abstract:
We provide new geometric and spectral characterizations for a Riemannian manifold to be a Zoll manifold, i.e., all geodesics of which are periodic. We analyze relationships with invariant measures and quantum limits.
We provide new geometric and spectral characterizations for a Riemannian manifold to be a Zoll manifold, i.e., all geodesics of which are periodic. We analyze relationships with invariant measures and quantum limits.
△ Less
Submitted 30 November, 2018;
originally announced November 2018.
-
How locating sensors in thermo-acoustic tomography?
Authors:
Maïtine Bergounioux,
Elie Bretin,
Yannick Privat
Abstract:
Thermo-acoustic tomography is a non-invasive medical imaging technique, constituting a precise and cheap alternative to X-imaging. The principle is to excite a body to reconstruct with a pulse inducing an inhomogeneous heating and therefore expansion of tissues. This creates an acoustic wave pressure which is measured with sensors. The reconstruction of heterogeneities inside the body can be then…
▽ More
Thermo-acoustic tomography is a non-invasive medical imaging technique, constituting a precise and cheap alternative to X-imaging. The principle is to excite a body to reconstruct with a pulse inducing an inhomogeneous heating and therefore expansion of tissues. This creates an acoustic wave pressure which is measured with sensors. The reconstruction of heterogeneities inside the body can be then performed by solving an inverse problem, knowing measurements of the acoustic waves outside the body. As the intensity of the measured pressure is expected to be small, a challenging problem consists in locating the sensors in a adequate way. This paper is devoted to the determination of an optimal sensors location to achieve this reconstruction. We first introduce a model involving a least square functional standing for an observation of the pressure for a first series of measures by sensors, and an observability-like constant functional describing for the quality of reconstruction. Then, we determine an appropriate location of sensors for two series of measures, in two steps: first, we reconstruct possible initial data by solving a worst-case design like problem. Second, we determine from the knowledge of these initial conditions the optimal location of sensors for observing in the best way the corresponding solution of the wave equation. Far from providing an intrinsic solution to the general issue of locating sensors, solving this problem allows to determine a new sensors location improving the quality of reconstruction before getting a new series of measures. We perform a mathematical analysis of this model: in particular we investigate existence issues and introduce a numerical algorithm to solve it. Eventually, several numerical 2D simulations illustrate our approach.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.
-
Spectral shape optimization for the Neumann traces of the Dirichlet-Laplacian eigenfunctions
Authors:
Yannick Privat,
Emmanuel Trélat,
Enrique Zuazua
Abstract:
We consider a spectral optimal design problem involving the Neumann traces of the Dirichlet-Laplacian eigenfunctions on a smooth bounded open subset $Ω$ of $\R^n$. The cost functional measures the amount of energy that Dirichlet eigenfunctions concentrate on the boundary and that can be recovered with a bounded density function. We first prove that, assuming a $L^1$ constraint on densities, the so…
▽ More
We consider a spectral optimal design problem involving the Neumann traces of the Dirichlet-Laplacian eigenfunctions on a smooth bounded open subset $Ω$ of $\R^n$. The cost functional measures the amount of energy that Dirichlet eigenfunctions concentrate on the boundary and that can be recovered with a bounded density function. We first prove that, assuming a $L^1$ constraint on densities, the so-called {\it Rellich functions} maximize this functional.Motivated by several issues in shape optimization or observation theory where it is relevant to deal with bounded densities, and noticing that the $L^\infty$-norm of {\it Rellich functions} may be large, depending on the shape of $Ω$, we analyze the effect of adding pointwise constraints when maximizing the same functional. We investigate the optimality of {\it bang-bang} functions and {\it Rellich densities} for this problem. We also deal with similar issues for a close problem, where the cost functional is replaced by a spectral approximation.Finally, this study is completed by the investigation of particular geometries and is illustrated by several numerical simulations.
△ Less
Submitted 14 September, 2018;
originally announced September 2018.
-
Optimal control of resources for species survival
Authors:
Idriss Mazari,
Grégoire Nadin,
Yannick Privat
Abstract:
Consider a species whose population density solves the steady diffusive logistic equation in a heterogeneous environment modeled with the help of a spatially non constant coefficient standing for a resources distribution in a given box. We look at maximizing the total population size with respect to resources distribution, under some biologically relevant constraints. Assuming that the diffusion r…
▽ More
Consider a species whose population density solves the steady diffusive logistic equation in a heterogeneous environment modeled with the help of a spatially non constant coefficient standing for a resources distribution in a given box. We look at maximizing the total population size with respect to resources distribution, under some biologically relevant constraints. Assuming that the diffusion rate of the species is large enough, we prove that any optimal configuration is the characteristic function of a domain standing for the resources location. Moreover, we highlight that optimal configurations look {\it concentrated} whenever the diffusion rate is large enough. In the one-dimensional case, this problem is deeply analyzed, and for large diffusion rates, all optimal configurations are exhibited.
△ Less
Submitted 24 July, 2018;
originally announced July 2018.
-
Optimal location of resources for biased movement of species: the 1D case
Authors:
Fabien Caubet,
Thibaut Deheuvels,
Yannick Privat
Abstract:
In this paper, we investigate an optimal design problem motivated by some issues arising in population dynamics. In a nutshell, we aim at determining the optimal shape of a region occupied by resources for maximizing the survival ability of a species in a given box and we consider the general case of Robin boundary conditions on its boundary. Mathematically, this issue can be modeled with the help…
▽ More
In this paper, we investigate an optimal design problem motivated by some issues arising in population dynamics. In a nutshell, we aim at determining the optimal shape of a region occupied by resources for maximizing the survival ability of a species in a given box and we consider the general case of Robin boundary conditions on its boundary. Mathematically, this issue can be modeled with the help of an extremal indefinite weight linear eigenvalue problem. The optimal spatial arrangement is obtained by minimizing the positive principal eigenvalue with respect to the weight, under a L 1 constraint standing for limitation of the total amount of resources. The specificity of such a problem rests upon the presence of nonlinear functions of the weight both in the numerator and denominator of the Rayleigh quotient. By using adapted symmetrization procedures, a well-chosen change of variable, as well as necessary optimality conditions, we completely solve this optimization problem in the unidimensional case by showing first that every minimizer is unimodal and bang-bang. This leads to investigate a finite dimensional optimization problem. This allows to show in particular that every minimizer is (up to additive constants) the characteristic function of three possible domains: an interval that sticks on the boundary of the box, an interval that is symmetrically located at the middle of the box, or, for a precise value of the Robin coefficient, all intervals of a given fixed length.
△ Less
Submitted 7 September, 2017; v1 submitted 26 April, 2017;
originally announced April 2017.
-
Actuator design for parabolic distributed parameter systems with the moment method
Authors:
Yannick Privat,
Emmanuel Trélat,
Enrique Zuazua
Abstract:
In this paper, we model and solve the problem of designing in an optimal way actuators for parabolic partial differential equations settled on a bounded open connected subset $Ω$ of IR n. We optimize not only the location but also the shape of actuators, by finding what is the optimal distribution of actuators in $Ω$, over all possible such distributions of a given measure. Using the moment method…
▽ More
In this paper, we model and solve the problem of designing in an optimal way actuators for parabolic partial differential equations settled on a bounded open connected subset $Ω$ of IR n. We optimize not only the location but also the shape of actuators, by finding what is the optimal distribution of actuators in $Ω$, over all possible such distributions of a given measure. Using the moment method, we formulate a spectral optimal design problem, which consists of maximizing a criterion corresponding to an average over random initial data of the largest L 2-energy of controllers. Since we choose the moment method to control the PDE, our study mainly covers one-dimensional parabolic operators, but we also provide several examples in higher dimensions. We consider two types of controllers: either internal controls, modeled by characteristic functions, or lumped controls, that are tensorized functions in time and space. Under appropriate spectral assumptions, we prove existence and uniqueness of an optimal actuator distribution, and we provide a simple computation procedure. Numerical simulations illustrate our results.
△ Less
Submitted 9 January, 2017;
originally announced January 2017.
-
Observability properties of the homogeneous wave equation on a closed manifold
Authors:
Emmanuel Humbert,
Yannick Privat,
Emmanuel Trélat
Abstract:
We consider the wave equation on a closed Riemannian manifold. We observe the restriction of the solutions to a measurable subset $ω$ along a time interval $[0, T]$ with $T>0$. It is well known that, if $ω$ is open and if the pair $(ω,T)$ satisfies the Geometric Control Condition then an observability inequality is satisfied, comparing the total energy of solutions to their energy localized in…
▽ More
We consider the wave equation on a closed Riemannian manifold. We observe the restriction of the solutions to a measurable subset $ω$ along a time interval $[0, T]$ with $T>0$. It is well known that, if $ω$ is open and if the pair $(ω,T)$ satisfies the Geometric Control Condition then an observability inequality is satisfied, comparing the total energy of solutions to their energy localized in $ω\times (0, T)$. The observability constant $C\_T(ω)$ is then defined as the infimum over the set of all nontrivial solutions of the wave equation of the ratio of localized energy of solutions over their total energy. In this paper, we provide estimates of the observability constant based on a low/high frequency splitting procedure allowing us to derive general geometric conditions guaranteeing that the wave equation is observable on a measurable subset $ω$. We also establish that, as $T\rightarrow+\infty$, the ratio $C\_T(ω)/T$ converges to the minimum of two quantities: the first one is of a spectral nature and involves the Laplacian eigenfunctions, the second one is of a geometric nature and involves the average time spent in $ω$ by Riemannian geodesics.
△ Less
Submitted 5 December, 2017; v1 submitted 6 July, 2016;
originally announced July 2016.
-
Properties of optimizers of the principal eigenvalue with indefinite weight and Robin conditions
Authors:
Jimmy Lamboley,
Antoine Laurain,
Grégoire Nadin,
Yannick Privat
Abstract:
In this paper, we are interested in the analysis of a well-known free boundary/shape optimization problem motivated by some issues arising in population dynamics. The question is to determine optimal spatial arrangements of favorable and unfavorable regions for a species to survive. The mathematical formulation of the model leads to an indefinite weight linear eigenvalueproblem in a fixed box $Ω$…
▽ More
In this paper, we are interested in the analysis of a well-known free boundary/shape optimization problem motivated by some issues arising in population dynamics. The question is to determine optimal spatial arrangements of favorable and unfavorable regions for a species to survive. The mathematical formulation of the model leads to an indefinite weight linear eigenvalueproblem in a fixed box $Ω$ and we consider the general case of Robin boundary conditions on $\partialΩ$. It is well known that it suffices to consider {\it bang-bang} weights taking two values of different signs, that can be parametrized by the characteristic function of the subset $E$ of $Ω$ on which resources are located. Therefore, the optimal spatial arrangement is obtained by minimizing the positive principal eigenvalue with respect to $E$, under a volume constraint. By using symmetrization techniques, as well as necessary optimality conditions, we prove new qualitative results on the solutions. Namely, we completely solve the problem in dimension 1, we prove the counter-intuitive result that the ball is almost never a solution in dimension 2 or higher, despite what suggest the numerical simulations. We also introduce a new rearrangement in the ball allowing to get a better candidate than the ball for optimality when Neumann boundary conditions are imposed. We also provide numerical illustrations of our results and of the optimal configurations.
△ Less
Submitted 14 November, 2016; v1 submitted 20 May, 2016;
originally announced May 2016.
-
Nonlinear damped partial differential equations and their uniform discretizations
Authors:
Fatiha Alabau-Boussouira,
Yannick Privat,
Emmanuel Trélat
Abstract:
We establish sharp energy decay rates for a large class of nonlinearly first-order damped systems, and we design discretization schemes that inherit of the same energy decay rates, uniformly with respect to the space and/or time discretization parameters, by adding appropriate numerical viscosity terms. Our main arguments use the optimal-weight convexity method and uniform observability inequaliti…
▽ More
We establish sharp energy decay rates for a large class of nonlinearly first-order damped systems, and we design discretization schemes that inherit of the same energy decay rates, uniformly with respect to the space and/or time discretization parameters, by adding appropriate numerical viscosity terms. Our main arguments use the optimal-weight convexity method and uniform observability inequalities with respect to the discretization parameters. We establish our results, first in the continuous setting, then for space semi-discrete models, and then for time semi-discrete models. The full discretization is inferred from the previous results. Our results cover, for instance, the Schrödinger equation with nonlinear dam**, the nonlinear wave equation, the nonlinear plate equation, as well as certain classes of equations with nonlocal terms.
△ Less
Submitted 16 December, 2015; v1 submitted 12 June, 2015;
originally announced June 2015.
-
Optimal shape and location of sensors for parabolic equations with random initial data
Authors:
Yannick Privat,
Emmanuel Trélat,
Enrique Zuazua
Abstract:
In this article, we consider parabolic equations on a bounded open connected subset $Ω$ of $\R^n$. We model and investigate the problem of optimal shape and location of the observation domain having a prescribed measure. This problem is motivated by the question of knowing how to shape and place sensors in some domain in order to maximize the quality of the observation: for instance, what is the o…
▽ More
In this article, we consider parabolic equations on a bounded open connected subset $Ω$ of $\R^n$. We model and investigate the problem of optimal shape and location of the observation domain having a prescribed measure. This problem is motivated by the question of knowing how to shape and place sensors in some domain in order to maximize the quality of the observation: for instance, what is the optimal location and shape of a thermometer? We show that it is relevant to consider a spectral optimal design problem corresponding to an average of the classical observability inequality over random initial data, where the unknown ranges over the set of all possible measurable subsets of $Ω$ of fixed measure. We prove that, under appropriate sufficient spectral assumptions, this optimal design problem has a unique solution, depending only on a finite number of modes, and that the optimal domain is semi-analytic and thus has a finite number of connected components. This result is in strong contrast with hyperbolic conservative equations (wave and Schrödinger) studied in [56] for which relaxation does occur. We also provide examples of applications to anomalous diffusion or to the Stokes equations. In the case where the underlying operator is any positive (possible fractional) power of the negative of the Dirichlet-Laplacian, we show that, surprisingly enough, the complexity of the optimal domain may strongly depend on both the geometry of the domain and on the positive power. The results are illustrated with several numerical simulations.
△ Less
Submitted 25 March, 2014;
originally announced March 2014.
-
What is the optimal shape of a fin for one dimensional heat conduction?
Authors:
Gilles Marck,
Grégoire Nadin,
Yannick Privat
Abstract:
This article is concerned with the shape of small devices used to control the heat flowing between a solid and a fluid phase, usually called \textsl{fin}. The temperature along a fin in stationary regime is modeled by a one-dimensional Sturm-Liouville equation whose coefficients strongly depend on its geometrical features. We are interested in the following issue: is there any optimal shape maximi…
▽ More
This article is concerned with the shape of small devices used to control the heat flowing between a solid and a fluid phase, usually called \textsl{fin}. The temperature along a fin in stationary regime is modeled by a one-dimensional Sturm-Liouville equation whose coefficients strongly depend on its geometrical features. We are interested in the following issue: is there any optimal shape maximizing the heat flux at the inlet of the fin? Two relevant constraints are examined, by imposing either its volume or its surface, and analytical nonexistence results are proved for both problems. Furthermore, using specific perturbations, we explicitly compute the optimal values and construct maximizing sequences. We show in particular that the optimal heat flux at the inlet is infinite in the first case and finite in the second one. Finally, we provide several extensions of these results for more general models of heat conduction, as well as several numerical illustrations.
△ Less
Submitted 30 April, 2014; v1 submitted 8 October, 2013;
originally announced October 2013.
-
On the controllability of quantum transport in an electronic nanostructure
Authors:
Florian Méhats,
Yannick Privat,
Mario Sigalotti
Abstract:
We investigate the controllability of quantum electrons trapped in a two-dimensional device, typically a MOS field-effect transistor. The problem is modeled by the Schrödinger equation in a bounded domain coupled to the Poisson equation for the electrical potential. The controller acts on the system through the boundary condition on the potential, on a part of the boundary modeling the gate. We pr…
▽ More
We investigate the controllability of quantum electrons trapped in a two-dimensional device, typically a MOS field-effect transistor. The problem is modeled by the Schrödinger equation in a bounded domain coupled to the Poisson equation for the electrical potential. The controller acts on the system through the boundary condition on the potential, on a part of the boundary modeling the gate. We prove that, generically with respect to the shape of the domain and boundary conditions on the gate, the device is controllable. We also consider control properties of a more realistic nonlinear version of the device, taking into account the self-consistent electrostatic Poisson potential.
△ Less
Submitted 1 October, 2013;
originally announced October 2013.
-
Optimal observability of the multi-dimensional wave and Schrödinger equations in quantum ergodic domains
Authors:
Yannick Privat,
Emmanuel Trélat,
Enrique Zuazua
Abstract:
We consider the wave and Schrödinger equations on a bounded open connected subset $Ω$ of a Riemannian manifold, with Dirichlet, Neumann or Robin boundary conditions whenever its boundary is nonempty. We observe the restriction of the solutions to a measurable subset $ω$ of $Ω$ during a time interval [0,T] with T>0. We address the problem of the optimal location of the observation subset ωamong all…
▽ More
We consider the wave and Schrödinger equations on a bounded open connected subset $Ω$ of a Riemannian manifold, with Dirichlet, Neumann or Robin boundary conditions whenever its boundary is nonempty. We observe the restriction of the solutions to a measurable subset $ω$ of $Ω$ during a time interval [0,T] with T>0. We address the problem of the optimal location of the observation subset ωamong all possible subsets of a given measure or volume fraction. We solve it in two different situations. First, when a specific choice of the initial data is given and therefore we deal with a particular solution, we show that the problem always admits at least one solution that can be regular or of fractal type depending on the regularity of the initial data. We then introduce a relevant criterion, not depending on the initial conditions and to choose the observation set in an uniform way, independent of the data and solutions under consideration. Through spectral decompositions, this leads to a second problem which consists of maximizing a spectral functional that can be viewed as a measure of eigenfunction concentration. This spectral criterion can be interpreted in two ways: it corresponds either to a time asymptotic observability constant as the observation time interval tends to infinity, or to a randomized version of the deterministic observability inequality. Under appropriate quantum ergodicity assumptions on $Ω$, we compute the optimal value. We then provide spectral approximations and present some numerical simulations that fully confirm the theoretical results in the paper and support our conjectures. Our results highlight precise connections between optimal observability issues and quantum ergodic properties of the domain under consideration.
△ Less
Submitted 24 November, 2012;
originally announced November 2012.
-
Some inverse problems around the tokamak Tore Supra
Authors:
Yannick Fischer,
Benjamin Marteau,
Yannick Privat
Abstract:
We consider two inverse problems related to the tokamak \textsl{Tore Supra} through the study of the magnetostatic equation for the poloidal flux. The first one deals with the Cauchy issue of recovering in a two dimensional annular domain boundary magnetic values on the inner boundary, namely the limiter, from available overdetermined data on the outer boundary. Using tools from complex analysis a…
▽ More
We consider two inverse problems related to the tokamak \textsl{Tore Supra} through the study of the magnetostatic equation for the poloidal flux. The first one deals with the Cauchy issue of recovering in a two dimensional annular domain boundary magnetic values on the inner boundary, namely the limiter, from available overdetermined data on the outer boundary. Using tools from complex analysis and properties of genereralized Hardy spaces, we establish stability and existence properties. Secondly the inverse problem of recovering the shape of the plasma is addressed thank tools of shape optimization. Again results about existence and optimality are provided. They give rise to a fast algorithm of identification which is applied to several numerical simulations computing good results either for the classical harmonic case or for the data coming from \textsl{Tore Supra}.
△ Less
Submitted 6 April, 2012; v1 submitted 22 April, 2011;
originally announced April 2011.
-
On a Bernoulli problem with geometric constraints
Authors:
Antoine Laurain,
Yannick Privat
Abstract:
A Bernoulli free boundary problem with geometrical constraints is studied. The domain $\Om$ is constrained to lie in the half space determined by $x_1\geq 0$ and its boundary to contain a segment of the hyperplane $\{x_1=0\}$ where non-homogeneous Dirichlet conditions are imposed. We are then looking for the solution of a partial differential equation satisfying a Dirichlet and a Neumann boundary…
▽ More
A Bernoulli free boundary problem with geometrical constraints is studied. The domain $\Om$ is constrained to lie in the half space determined by $x_1\geq 0$ and its boundary to contain a segment of the hyperplane $\{x_1=0\}$ where non-homogeneous Dirichlet conditions are imposed. We are then looking for the solution of a partial differential equation satisfying a Dirichlet and a Neumann boundary condition simultaneously on the free boundary. The existence and uniqueness of a solution have already been addressed and this paper is devoted first to the study of geometric and asymptotic properties of the solution and then to the numerical treatment of the problem using a shape optimization formulation. The major difficulty and originality of this paper lies in the treatment of the geometric constraints.
△ Less
Submitted 15 October, 2010;
originally announced October 2010.
-
Shape minimization of the dissipated energy in dyadic trees
Authors:
Xavier Dubois De La Sablonière,
Benjamin Mauroy,
Yannick Privat
Abstract:
In this paper, we study the role of boundary conditions on the optimal shape of a dyadic tree in which flows a Newtonian fluid. Our optimization problem consists in finding the shape of the tree that minimizes the viscous energy dissipated by the fluid with a constrained volume, under the assumption that the total flow of the fluid is conserved throughout the structure. These hypotheses model situ…
▽ More
In this paper, we study the role of boundary conditions on the optimal shape of a dyadic tree in which flows a Newtonian fluid. Our optimization problem consists in finding the shape of the tree that minimizes the viscous energy dissipated by the fluid with a constrained volume, under the assumption that the total flow of the fluid is conserved throughout the structure. These hypotheses model situations where a fluid is transported from a source towards a 3D domain into which the transport network also spans. Such situations could be encountered in organs like for instance the lungs and the vascular networks. Two fluid regimes are studied: (i) low flow regime (Poiseuille) in trees with an arbitrary number of generations using a matricial approach and (ii) non linear flow regime (Navier-Stokes, moderate regime with a Reynolds number 100) in trees of two generations using shape derivatives in an augmented Lagrangian algorithm coupled with a 2D/3D finite elements code to solve Navier-Stokes equations. It relies on the study of a finite dimensional optimization problem in the case (i) and on a standard shape optimization problem in the case (ii). We show that the behaviours of both regimes are very similar and that the optimal shape is highly dependent on the boundary conditions of the fluid applied at the leaves of the tree.
△ Less
Submitted 14 October, 2010;
originally announced October 2010.
-
What is the optimal shape of a pipe?
Authors:
Antoine Henrot,
Yannick Privat
Abstract:
We consider an incompressible fluid in a three-dimensional pipe, following the Navier-Stokes system with classical boundary conditions. We are interested in the following question: is there any optimal shape for the criterion "energy dissipated by the fluid"? Moreover, is the cylinder the optimal shape? We prove that there exists an optimal shape in a reasonable class of admissible domains, but…
▽ More
We consider an incompressible fluid in a three-dimensional pipe, following the Navier-Stokes system with classical boundary conditions. We are interested in the following question: is there any optimal shape for the criterion "energy dissipated by the fluid"? Moreover, is the cylinder the optimal shape? We prove that there exists an optimal shape in a reasonable class of admissible domains, but the cylinder is not optimal. For that purpose, we explicit the first order optimality condition, thanks to adjoint state and we prove that it is impossible that the adjoint state be a solution of this over-determined system when the domain is the cylinder. At last, we show some numerical simulations for that problem.
△ Less
Submitted 23 October, 2008;
originally announced October 2008.
-
The squares of the Laplacian-Dirichlet eigenfunctions are generically linearly independent
Authors:
Yannick Privat,
Mario Sigalotti
Abstract:
The paper deals with the genericity of domain-dependent spectral properties of the Laplacian-Dirichlet operator. In particular we prove that, generically, the squares of the eigenfunctions form a free family. We also show that the spectrum is generically non-resonant. The results are obtained by applying global perturbations of the domains and exploiting analytic perturbation properties. The wor…
▽ More
The paper deals with the genericity of domain-dependent spectral properties of the Laplacian-Dirichlet operator. In particular we prove that, generically, the squares of the eigenfunctions form a free family. We also show that the spectrum is generically non-resonant. The results are obtained by applying global perturbations of the domains and exploiting analytic perturbation properties. The work is motivated by two applications: an existence result for the problem of maximizing the rate of exponential decay of a damped membrane and an approximate controllability result for the bilinear Schrödinger equation.
△ Less
Submitted 11 September, 2009; v1 submitted 17 September, 2008;
originally announced September 2008.
-
Shape Minimization of Dendritic Attenuation
Authors:
Antoine Henrot,
Yannick Privat
Abstract:
What is the optimal shape of a dendrite? Of course, optimality refers to some particular criterion. In this paper, we look at the case of a dendrite sealed at one end and connected at the other end to a soma. The electrical potential in the fiber follows the classical cable equations as established by W. Rall. We are interested in the shape of the dendrite which minimizes either the attenuation…
▽ More
What is the optimal shape of a dendrite? Of course, optimality refers to some particular criterion. In this paper, we look at the case of a dendrite sealed at one end and connected at the other end to a soma. The electrical potential in the fiber follows the classical cable equations as established by W. Rall. We are interested in the shape of the dendrite which minimizes either the attenuation in time of the potential or the attenuation in space. In both cases, we prove that the cylindrical shape is optimal.
△ Less
Submitted 22 May, 2007; v1 submitted 1 February, 2007;
originally announced February 2007.