Publications

2020

• Universal limits of substitution-closed permutation classes
  
  • Bassino Frédérique
  • Bouvel Mathilde
  • Féray Valentin
  • Gerin Lucas
  • Maazoun Mickaël
  • Pierrot Adeline
  Journal of the European Mathematical Society, European Mathematical Society, 2020, 22 (11), pp.3565-3639. We consider uniform random permutations in proper substitution-closed classes and study their limiting behavior in the sense of permutons. The limit depends on the generating series of the simple permutations in the class. Under a mild sufficient condition, the limit is an elementary one-parameter deformation of the limit of uniform separable permutations, previously identified as the Brownian separable permuton. This limiting object is therefore in some sense universal. We identify two other regimes with different limiting objects. The first one is degenerate; the second one is nontrivial and related to stable trees. These results are obtained thanks to a characterization of the convergence of random permutons through the convergence of their expected pattern densities. The limit of expected pattern densities is then computed by using the substitution tree encoding of permutations and performing singularity analysis on the tree series. (10.4171/JEMS/993)
  DOI : 10.4171/JEMS/993
• Avis en réponse à la saisine du 2 juillet 2020 relative au projet de décret modifiant l’article D.531-2 du code de l'environnement
  
  • Comité Scientifique Du Haut Conseil Des Biotechnologies .
  • Angevin Frédérique
  • Bagnis Claude
  • Bar-Hen Avner
  • Barny Marie-Anne
  • Boireau Pascal
  • Brévault Thierry
  • Chauvel Bruno B.
  • Collonnier Cécile
  • Couvet Denis
  • Dassa Elie
  • Demeneix Barbara
  • Franche Claudine
  • Guerche Philippe
  • Guillemain Joël
  • Hernandez Raquet Guillermina
  • Khalife Jamal
  • Klonjkowski Bernard
  • Lavielle Marc
  • Le Corre Valérie
  • Lefèvre François
  • Lemaire Olivier
  • Lereclus Didier D.
  • Maximilien Rémy
  • Meurs Eliane
  • Naffakh Nadia
  • Négre Didier
  • Noyer Jean-Louis
  • Ochatt Sergio
  • Pages Jean-Christophe
  • Raynaud Xavier
  • Regnault-Roger Catherine
  • Renard Michel M.
  • Renault Tristan
  • Saindrenan Patrick
  • Simonet Pascal
  • Troadec Marie-Bérengère
  • Vaissière Bernard
  • de Verneuil Hubert
  • Vilotte Jean-Luc
  , 2020, pp.44 p.. Les analyses contenues dans le rapport de surveillance de Bayer Agriculture BVBA ne font apparaître aucun problème majeur associé à la culture de maïs MON 810 en 2018. Toutefois, le CS du HCB identifie encore certaines faiblesses et limites méthodologiques concernant la surveillance de la sensibilité des ravageurs ciblés à la toxine Cry1Ab, remettant en question les conclusions du rapport. Le HCB estime notamment que l’utilisation d’une dose diagnostic présente certaines limites pour la détection précoce de l’évolution de la résistance, tant dans son principe intrinsèque que dans sa mise en oeuvre par Bayer, et recommande une méthode alternative de type F2 screen permettant de déterminer la fréquence des allèles de résistance au sein d’une population de ravageurs cibles. Par ailleurs, le HCB formule des recommandations destinées à renforcer la mise en oeuvre des zones refuges pour prévenir ou retarder le développement de résistance à la toxine Cry1Ab chez les ravageurs ciblés. Concernant la surveillance générale, le CS du HCB relève un problème de pertinence méthodologique quant aux questions étudiées, avec des règles de décision arbitraires, des conclusions incorrectement justifiées et un possible biais associé au format d’enquête auprès du panel d’agriculteurs qui ont accepté de répondre au questionnaire. Enfin, le CS du HCB recommande que le rapport de surveillance considère la présence de téosinte dans des zones de culture du maïs MON 810 en Espagne et les risques potentiels associés à une éventuelle introgression de gènes de maïs MON 810 chez le téosinte.
• Error estimates for phase recovering from phaseless scattering data
  
  • Novikov Roman
  • Sivkin Vladimir
  Eurasian Journal of Mathematical and Computer Applications, Eurasian National University, Kazakhstan (Nur-Sultan), 2020, 8 (1), pp.44-61. We study the simplest explicit formulas for approximate finding the complex scattering amplitude from modulus of the scattering wave function. We obtain detailed error estimates for these formulas in dimensions d = 3 and d = 2.
• An Eco-Routing Algorithm for HEVs Under Traffic Conditions
  
  • Rhun Arthur Le
  • Bonnans Frédéric
  • Nunzio Giovanni De
  • Leroy Thomas
  • Martinon Pierre
  IFAC-PapersOnLine, Elsevier, 2020, 53 (2), pp.14242 - 14247. In a previous work, a bi-level optimization approach was presented for the energy management of Hybrid Electric Vehicles (HEVs), using a statistical model for traffic conditions. The present work is an extension of this framework to the eco-routing problem. The optimal trajectory is computed as the shortest path on a weighted graph whose nodes are (position, state of charge) pairs for the vehicle. The edge costs are provided by cost maps from an offline optimization at the lower level of small road segments. The error due to the discretization of the state of charge is proven to be linear if the cost maps are Lipschitz. The classical A * algorithm is used to solve the problem, with a heuristic based on a lower bound of the energy needed to complete the travel. The eco-routing method is compared to the fastest-path strategy by numerical simulations on a simple synthetic road network. (10.1016/j.ifacol.2020.12.1158)
  DOI : 10.1016/j.ifacol.2020.12.1158
• Ergodic behavior of non-conservative semigroups via generalized Doeblin's conditions
  
  • Bansaye Vincent
  • Cloez Bertrand
  • Gabriel Pierre
  Acta Applicandae Mathematicae, Springer Verlag, 2020, 166 (1), pp.29-72. We provide quantitative estimates in total variation distance for positive semi-groups, which can be non-conservative and non-homogeneous. The techniques relies on a family of conservative semigroups that describes a typical particle and Doeblin's type conditions for coupling the associated process. Our aim is to provide quantitative estimates for linear partial differential equations and we develop several applications for population dynamics in varying environment. We start with the asymptotic profile for a growth diffusion model with time and space non-homogeneity. Moreover we provide general estimates for semigroups which become asymptotically homogeneous, which are applied to an age-structured population model. Finally, we obtain a speed of convergence for periodic semi-groups and new bounds in the homogeneous setting. They are are illustrated on the renewal equation. (10.1007/s10440-019-00253-5)
  DOI : 10.1007/s10440-019-00253-5
• Quality Gain Analysis of the Weighted Recombination Evolution Strategy on General Convex Quadratic Functions
  
  • Akimoto Youhei
  • Auger Anne
  • Hansen Nikolaus
  Theoretical Computer Science, Elsevier, 2020, 832, pp.42-67. Quality gain is the expected relative improvement of the function value in a single step of a search algorithm. Quality gain analysis reveals the dependencies of the quality gain on the parameters of a search algorithm, based on which one can derive the optimal values for the parameters. In this paper, we investigate evolution strategies with weighted recombination on general convex quadratic functions. We derive a bound for the quality gain and two limit expressions of the quality gain. From the limit expressions, we derive the optimal recombination weights and the optimal step-size, and find that the optimal recombination weights are independent of the Hessian of the objective function. Moreover, the dependencies of the optimal parameters on the dimension and the population size are revealed. Differently from previous works where the population size is implicitly assumed to be smaller than the dimension, our results cover the population size proportional to or greater than the dimension. Simulation results show the optimal parameters derived in the limit approximates the optimal values in non-asymptotic scenarios. (10.1016/j.tcs.2018.05.015)
  DOI : 10.1016/j.tcs.2018.05.015
• ADDITIVE MANUFACTURING SCANNING PATHS OPTIMIZATION USING SHAPE OPTIMIZATION TOOLS
  
  • Boissier M
  • Allaire G.
  • Tournier Christophe
  Structural and Multidisciplinary Optimization, Springer Verlag, 2020, 61, pp.2437–2466. This paper investigates path planning strategies for additive manufacturing processes such as powder bed fusion. The state of the art mainly studies trajectories based on existing patterns. Parametric optimization on these patterns or allocating them to the object areas are the main strategies. We propose in this work a more systematic optimization approach without any a priori restriction on the trajectories. The typical optimization problem is to melt the desired structure, without overheating (to avoid thermally induced residual stresses) and possibly with a minimal path length. The state equation is the heat equation with a source term depending on the scanning path. First, in a steady-state context, shape optimization tools are applied to trajec-tories. Second, for time-dependent problems, an optimal control method is considered instead. In both cases, gradient type algorithms are deduced and tested on 2-d examples. Numerical results are discussed, leading to a better understanding of the problem and thus to short-and long-term perspectives. (10.1007/s00158-020-02614-3)
  DOI : 10.1007/s00158-020-02614-3
• Variance Reduction Methods and Multilevel Monte Carlo Strategy for Estimating Densities of Solutions to Random Second-Order Linear Differential Equations
  
  • Jornet Marc
  • Calatayud Julia
  • Le Maitre Olivier
  • Cortés Juan Carlos
  International Journal for Uncertainty Quantification, Begell House Publishers, 2020, 10 (5), pp.467-497. This paper concerns the estimation of the density function of the solution to a random nonautonomous second-order linear differential equation with analytic data processes. In a recent contribution, we proposed to express the density function as an expectation, and we used a standard Monte Carlo algorithm to approximate the expectation. Although the algorithms worked satisfactorily for most test problems, some numerical challenges emerged for others, due to large statistical errors. In these situations, the convergence of the Monte Carlo simulation slows down severely, and noisy features plague the estimates. In this paper, we focus on computational aspects and propose several variance reduction methods to remedy these issues and speed up the convergence. First, we introduce a pathwise selection of the approximating processes which aims at controlling the variance of the estimator. Second, we propose a hybrid method, combining Monte Carlo and deterministic quadrature rules, to estimate the expectation. Third, we exploit the series expansions of the solutions to design a multilevel Monte Carlo estimator. The proposed methods are implemented and tested on several numerical examples to highlight the theoretical discussions and demonstrate the significant improvements achieved.
• Hölder-logarithmic stability in Fourier synthesis
  
  • Isaev Mikhail
  • Novikov Roman G
  Inverse Problems, IOP Publishing, 2020, 36 (12), pp.125003(17 pp.). We prove a Hölder-logarithmic stability estimate for the problem of finding a sufficiently regular compactly supported function v on R^d from its Fourier transform Fv given on [−r, r]^d. This estimate relies on a Hölder stable continuation of Fv from [−r, r]^d to a larger domain. The related reconstruction procedures are based on truncated series of Chebyshev polynomials. We also give an explicit example showing optimality of our stability estimates. (10.1088/1361-6420/abb5df)
  DOI : 10.1088/1361-6420/abb5df
• SCALPEL3: a scalable open-source library for healthcare claims databases
  
  • Bacry Emmanuel
  • Gaiffas Stéphane
  • Leroy Fanny
  • Morel Maryan
  • Nguyen D.P.
  • Sebiat Youcef
  • Sun Dian
  International Journal of Medical Informatics, Elsevier, 2020.
• State-constrained control-affine parabolic problems I: First and Second order necessary optimality conditions
  
  • Aronna M Soledad
  • Bonnans J. Frederic
  • Kröner Axel
  Set-Valued and Variational Analysis, Springer, 2020. In this paper we consider an optimal control problem governed by a semilinear heat equation with bilinear control-state terms and subject to control and state constraints. The state constraints are of integral type, the integral being with respect to the space variable. The control is multidimen-sional. The cost functional is of a tracking type and contains a linear term in the control variables. We derive second order necessary conditions relying on the concept of alternative costates and quasi-radial critical directions. The appendix provides an example illustrating the applicability of our results.
• Multimode communication through the turbulent atmosphere
  
  • Borcea Liliana
  • Garnier Josselin
  • Sølna Knut
  Journal of the Optical Society of America. A Optics, Image Science, and Vision, Optical Society of America, 2020, 37 (5), pp.720. A central question in free-space optical communications is how to improve the transfer of information between a transmitter and a receiver. The capacity of the communication channel can be increased by multiplexing of independent modes using either: (1) the multiple-input–multiple-output (MIMO) approach, where communication is done with modes obtained from the singular value decomposition of the transfer matrix from the transmitter array to the receiver array, or (2) the orbital angular momentum (OAM) approach, which uses vortex beams that carry angular momenta. In both cases, the number of usable modes is limited by the finite aperture of the transmitter and receiver, and the effect of the turbulent atmosphere. The goal of this paper is twofold: first, we show that the MIMO and OAM multiplexing schemes are closely related. Specifically, in the case of circular apertures, the leading singular vectors of the transfer matrix, which are useful for communication, are essentially the same as the commonly used Laguerre–Gauss vortex beams, provided these have a special radius that depends on the wavelength, the distance from the transmitter to the receiver, and the ratio of the radii of their apertures. Second, we characterize the effect of atmospheric turbulence on the communication modes using the phase screen method put in the mathematical framework of beam propagation in random media. (10.1364/JOSAA.384007)
  DOI : 10.1364/JOSAA.384007
• A new McKean-Vlasov stochastic interpretation of the parabolic-parabolic Keller-Segel model: The one-dimensional case
  
  • Tomasevic Milica
  • Talay Denis
  Bernoulli, Bernoulli Society for Mathematical Statistics and Probability, 2020, 26 (2), pp.1323-1353. In this paper we analyze a stochastic interpretation of the one-dimensional parabolic-parabolic Keller-Segel system without cut-off. It involves an original type of McKean-Vlasov interaction kernel. At the particle level, each particle interacts with all the past of each other particle by means of a time integrated functional involving a singular kernel. At the mean-field level studied here, the McKean-Vlasov limit process interacts with all the past time marginals of its probability distribution in a similarly singular way. We prove that the parabolic-parabolic Keller-Segel system in the whole Euclidean space and the corresponding McKean-Vlasov stochastic differential equation are well-posed for any values of the parameters of the model. (10.3150/19-BEJ1158)
  DOI : 10.3150/19-BEJ1158
• Variance reduction for Markov chains with application to MCMC
  
  • Belomestny D
  • Iosipoi L
  • Moulines E
  • Naumov A
  • Samsonov S
  Statistics and Computing, Springer Verlag (Germany), 2020. In this paper we propose a novel variance reduction approach for additive functionals of Markov chains based on minimization of an estimate for the asymptotic variance of these functionals over suitable classes of control variates. A distinctive feature of the proposed approach is its ability to significantly reduce the overall finite sample variance. This feature is theoretically demonstrated by means of a deep non asymptotic analysis of a variance reduced functional as well as by a thorough simulation study. In particular we apply our method to various MCMC Bayesian estimation problems where it favourably compares to the existing variance reduction approaches.
• On the Turnpike Property and the Receding-Horizon Method for Linear-Quadratic Optimal Control Problems
  
  • Breiten Tobias
  • Pfeiffer Laurent
  SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2020, 58 (2), pp.26. Optimal control problems with a very large time horizon can be tackled with the Receding Horizon Control (RHC) method, which consists in solving a sequence of optimal control problems with small prediction horizon. The main result of this article is the proof of the exponential convergence (with respect to the prediction horizon) of the control generated by the RHC method towards the exact solution of the problem. The result is established for a class of infinite-dimensional linear-quadratic optimal control problems with time-independent dynamics and integral cost. Such problems satisfy the turnpike property: the optimal trajectory remains most of the time very close to the solution to the associated static optimization problem. Specific terminal cost functions, derived from the Lagrange multiplier associated with the static optimization problem, are employed in the implementation of the RHC method. (10.1137/18M1225811)
  DOI : 10.1137/18M1225811
• Accuracy assessment of the Non-Ideal Computational Fluid Dynamics model for siloxane MDM from the open-source SU2 suite
  
  • Gori Giulio
  • Zocca Marta
  • Cammi Giorgia
  • Spinelli Andrea
  • Congedo Pietro Marco
  • Guardone Alberto
  European Journal of Mechanics - B/Fluids, Elsevier, 2020, 79, pp.109-120. The first-ever accuracy assessment of a computational model for Non-Ideal Compressible-Fluid Dynamics (NICFD) flows is presented. The assessment relies on a comparison between numerical predictions, from the open-source suite SU2, and pressure and Mach number measurements of compressible fluid flows in the non-ideal regime. Namely, measurements regard supersonic flows of siloxane MDM (Octamethyltrisiloxane, C 8 H 24 O 2 Si 3) vapor expanding along isentropes in the close proximity of the liquid-vapor saturation curve. The model accuracy assessment takes advantage of an Uncertainty Quantification (UQ) analysis, to compute the variability of the numerical solution with respect the uncertainties affecting the test-rig operating conditions. This allows for an uncertainty-based assessment of the accuracy of numerical predictions. The test set is representative of typical operating conditions of Organic Rankine Cycle systems and it includes compressible flows expanding through a converging-diverging nozzle in mildly-to-highly non-ideal conditions. All the considered flows are well represented by the computational model. Therefore, the reliability of the numerical implementation and the predictiveness of the NICFD model are confirmed. (10.1016/j.euromechflu.2019.08.014)
  DOI : 10.1016/j.euromechflu.2019.08.014
• On Invariance and Linear Convergence of Evolution Strategies with Augmented Lagrangian Constraint Handling
  
  • Atamna Asma
  • Auger Anne
  • Hansen Nikolaus
  Theoretical Computer Science, Elsevier, 2020, 832, pp.68-97. In the context of numerical constrained optimization, we investigate stochastic algorithms, in particular evolution strategies, handling constraints via augmented Lagrangian approaches. In those approaches, the original constrained problem is turned into an unconstrained one and the function optimized is an augmented Lagrangian whose parameters are adapted during the optimization. The use of an augmented Lagrangian however breaks a central invariance property of evolution strategies, namely invariance to strictly increasing transformations of the objective function. We formalize nevertheless that an evolution strategy with augmented Lagrangian constraint handling should preserve invariance to strictly increasing affine transformations of the objective function and the scaling of the constraints—a subclass of strictly increasing transformations. We show that this invariance property is important for the linear convergence of these algorithms and show how both properties are connected. (10.1016/j.tcs.2018.10.006)
  DOI : 10.1016/j.tcs.2018.10.006
• Parametric inference for diffusions observed at stopping times
  
  • Gobet Emmanuel
  • Stazhynski Uladzislau
  Electronic Journal of Statistics, Shaker Heights, OH : Institute of Mathematical Statistics, 2020, 14 (1). In this paper we study the problem of parametric inference for multidimensional diffusions based on observations at random stopping times. We work in the asymptotic framework of high frequency data over a fixed horizon. Previous works on the subject (such as [Doh87, GJ93, Gob01, AM04] among others) consider only deterministic, strongly predictable or random, independent of the process, observation times, and do not cover our setting. Under mild assumptions we construct a consistent sequence of estimators, for a large class of stopping time observation grids (studied in [GL14, GS18]). Further we carry out the asymptotic analysis of the estimation error and establish a Central Limit Theorem (CLT) with a mixed Gaussian limit. In addition, in the case of a 1-dimensional parameter, for any sequence of estimators verifying CLT conditions without bias, we prove a uniform a.s. lower bound on the asymptotic variance, and show that this bound is sharp. (10.1214/20-EJS1708)
  DOI : 10.1214/20-EJS1708
• The boundary of random planar maps via looptrees
  
  • Kortchemski Igor
  • Richier Loïc
  Annales de la Faculté des Sciences de Toulouse. Mathématiques., Université Paul Sabatier _ Cellule Mathdoc, 2020, 29 (2), pp.391-430. (10.5802/afst.1636)
  DOI : 10.5802/afst.1636
• A game theory approach to the existence and uniqueness of nonlinear Perron-Frobenius eigenvectors
  
  • Akian Marianne
  • Gaubert Stéphane
  • Hochart Antoine
  Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2020, 40, pp.207--231. We establish a generalized Perron-Frobenius theorem, based on a combinatorial criterion which entails the existence of an eigenvector for any nonlinear order-preserving and positively homogeneous map $f$ acting on the open orthant $\mathbb{R}_{\scriptscriptstyle >0}^n$. This criterion involves dominions, i.e., sets of states that can be made invariant by one player in a two-person game that only depends on the behavior of $f$ "at infinity". In this way, we characterize the situation in which for all $\alpha, \beta > 0$, the "slice space" $\mathcal{S}_\alpha^\beta := \{ x \in \mathbb{R}_{\scriptscriptstyle >0}^n \mid \alpha x \leq f(x) \leq \beta x \}$ is bounded in Hilbert's projective metric, or, equivalently, for all uniform perturbations $g$ of $f$, all the orbits of $g$ are bounded in Hilbert's projective metric. This solves a problem raised by Gaubert and Gunawardena (Trans. AMS, 2004). We also show that the uniqueness of an eigenvector is characterized by a dominion condition, involving a different game depending now on the local behavior of $f$ near an eigenvector. We show that the dominion conditions can be verified by directed hypergraph methods. We finally illustrate these results by considering specific classes of nonlinear maps, including Shapley operators, generalized means and nonnegative tensors. (10.3934/dcds.2020009)
  DOI : 10.3934/dcds.2020009
• Multiscale population dynamics in reproductive biology: singular perturbation reduction in deterministic and stochastic models
  
  • Bonnet Celine
  • Chahour Keltoum
  • Clément Frédérique
  • Postel Marie
  • Yvinec Romain
  ESAIM: Proceedings and Surveys, EDP Sciences, 2020, 67, pp.72-99. In this study, we describe different modeling approaches for ovarian follicle population dynamics, based on either ordinary (ODE), partial (PDE) or stochastic (SDE) differential equations, and accounting for interactions between follicles. We put a special focus on representing the populationlevel feedback exerted by growing ovarian follicles onto the activation of quiescent follicles. We take advantage of the timescale difference existing between the growth and activation processes to apply model reduction techniques in the framework of singular perturbations. We first study the linear versions of the models to derive theoretical results on the convergence to the limit models. In the nonlinear cases, we provide detailed numerical evidence of convergence to the limit behavior. We reproduce the main semi-quantitative features characterizing the ovarian follicle pool, namely a bimodal distribution of the whole population, and a slope break in the decay of the quiescent pool with aging. (10.1051/proc/202067006)
  DOI : 10.1051/proc/202067006
• Intensity fluctuations in random waveguides
  
  • Garnier Josselin
  Communications in Mathematical Sciences, International Press, 2020, 18 (4), pp.947-971. (10.4310/CMS.2020.v18.n4.a3)
  DOI : 10.4310/CMS.2020.v18.n4.a3
• High-Resolution Interferometric Synthetic Aperture Imaging in Scattering Media
  
  • Borcea Liliana
  • Garnier Josselin
  SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2020, 13 (1), pp.291-316. The goal of synthetic aperture imaging is to estimate the reflectivity of a remoteregion of interest by processing data gathered with a moving sensor which emits periodically a signaland records the backscattered wave. We introduce and analyze a high-resolution interferometric method for synthetic aperture imaging through an unknown scattering medium which distorts thewave. The method builds on the coherent interferometric (CINT) approach which uses empiricalcross-correlations of the measurements to mitigate the distortion, at the expense of a loss of resolutionof the image. The new method shows that, while mitigating the wave distortion, it is possible toobtain a robust and sharp estimate of the modulus of the Fourier transform of the reflectivity function.A high-resolution image can then be obtained by a phase retrieval algorithm. (10.1137/19M1272470)
  DOI : 10.1137/19M1272470
• Wave Propagation in Randomly Perturbed Weakly Coupled Waveguides
  
  • Borcea Liliana
  • Garnier Josselin
  Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2020, 18 (1), pp.44-78. We present an analysis of wave propagation in a two step-index, parallel waveguide system. The goal is to quantify the effect of scattering at randomly perturbed interfaces between the guiding layers of high index of refraction and the host medium. The analysis is based on the expansion of the solution of the wave equation in a complete set of guided, radiation and evanescent modes with amplitudes that are random fields, due to scattering. We obtain a detailed characterization of these amplitudes and thus quantify the transfer of power between the two waveguides in terms of their separation distance. The results show that, no matter how small the fluctuations of the interfacesare, they have significant effect at sufficiently large distance of propagation, which manifests in two ways: The first effect is well known and consists of power leakage from the guided modes to the radiation ones. The second effect consists of blurring of the periodic transfer of power between the waveguides and the eventual equipartition of power. Its quantification is the main practical result ofthe paper. (10.1137/18M1230591)
  DOI : 10.1137/18M1230591
• Approximate and exact controllability of linear difference equations
  
  • Chitour Yacine
  • Mazanti Guilherme
  • Sigalotti Mario
  Journal de l'École polytechnique — Mathématiques, École polytechnique, 2020, 7, pp.93--142. In this paper, we study approximate and exact controllability of the linear difference equation $x(t) = \sum_{j=1}^N A_j x(t - \Lambda_j) + B u(t)$ in $L^2$, with $x(t) \in \mathbb C^d$ and $u(t) \in \mathbb C^m$, using as a basic tool a representation formula for its solution in terms of the initial condition, the control $u$, and some suitable matrix coefficients. When $\Lambda_1, \dotsc, \Lambda_N$ are commensurable, approximate and exact controllability are equivalent and can be characterized by a Kalman criterion. This paper focuses on providing characterizations of approximate and exact controllability without the commensurability assumption. In the case of two-dimensional systems with two delays, we obtain an explicit characterization of approximate and exact controllability in terms of the parameters of the problem. In the general setting, we prove that approximate controllability from zero to constant states is equivalent to approximate controllability in $L^2$. The corresponding result for exact controllability is true at least for two-dimensional systems with two delays. (10.5802/jep.112)
  DOI : 10.5802/jep.112