In this paper we prove a unique continuation result for a cascade system of parabolic equations, in which the solution of the first equation is (partially) used as a forcing term for the second equation. As a consequence we prove the existence of ε-insensitizing controls for some parabolic equations when the control region and the observability region do not intersect.
We study a non standard unique continuation property for the biharmonic spectral problem in a 2D corner with homogeneous Dirichlet boundary conditions and a supplementary third order boundary condition on one side of the corner. We prove that if the corner has an angle , and , a unique continuation property holds. Approximate controllability of a 2-D linear fluid-structure problem follows from this property, with a control acting on the elastic side of a corner in a domain containing a Stokes...
We study a non standard unique continuation property for the biharmonic spectral problem in a 2D corner with homogeneous Dirichlet boundary conditions and a supplementary third order boundary condition on one side of the corner. We prove that if the corner has an angle , and , a unique continuation property holds. Approximate controllability of a 2-D linear fluid-structure problem follows from this property, with a control acting on the elastic side of a corner in a domain containing...
For α∈(0, 1) an α-trimming, P∗, of a probability P is a new probability obtained by re-weighting the probability of any Borel set, B, according to a positive weight function, f≤1/(1−α), in the way P∗(B)=∫Bf(x)P(dx). If P, Q are probability measures on euclidean space, we consider the problem of obtaining the best L2-Wasserstein approximation between: (a) a fixed probability and trimmed versions of the other; (b) trimmed versions of both probabilities. These best trimmed approximations naturally...
Many examples in optimization, ranging from Linear Programming to Markov Decision Processes (MDPs), present more than one optimal solution. The study of this non-uniqueness is of great mathematical interest. In this paper the authors show that in a specific family of discounted MDPs, non-uniqueness is a “fragile” property through Ekeland's Principle for each problem with at least two optimal policies; a perturbed model is produced with a unique optimal policy. This result not only supersedes previous...
Uniqueness of the optimal control is obtained by assuming certain conditions on the crowding effect of the species. Moreover, an approximation procedure for the unique optimal control is developed.
The goal of this article is the study of the approximate controllability for two approximations of Navier Stokes equations with distributed controls. The method of proof combines a suitable linearization of the system with a fixed point argument. We then are led to study the approximate controllability of linear Stokes systems with potentials. We study both the case where there is no constraint on the control and the case where we search a control having one null component. In both cases,...
In this paper, we develop computational procedures to approximate the spectral abscissa of the switched linear system via square coordinate transformations. First, we design iterative algorithms to obtain a sequence of the least measure. Second, it is shown that this sequence is convergent and its limit can be used to estimate the spectral abscissa. Moreover, the stopping condition of Algorithm 1 is also presented. Finally, an example is carried out to illustrate the effectiveness of the proposed...
Software for modeling and simulation (MSS) of mechanical systems helps to reduce production costs for industry. Usually, such software relies on (possibly erroneous) finite precision arithmetic and does not take into account uncertainty in the input data. The program SmartMOBILE enhances the existing MSS MOBILE with verified techniques to provide a guarantee that the obtained results are correct and measure the influence of data uncertainty. In this paper, we outline the main features and functionalities...