https://hal.science/hal-04002274Mazari, IdrissIdrissMazariCEREMADE - CEntre de REcherches en MAthématiques de la DEcision - Université Paris Dauphine-PSL - PSL - Université Paris sciences et lettres - CNRS - Centre National de la Recherche ScientifiqueUniversité Paris Dauphine-PSL - PSL - Université Paris sciences et lettresExistence of optimal shapes in parabolic bilinear optimal control problemsHAL CCSD2023Bilinear optimal controlqualitative properties of optimisation problemsparabolic equations with measure datum[MATH] Mathematics [math]Mazari, Idriss2023-02-23 14:07:352023-03-24 14:53:312023-03-06 10:59:39enPreprints, Working Papers, ...application/pdf1The aim of this paper is to prove the existence of optimal shapes in bilinear parabolic optimal control problems. We consider a parabolic equation that writes ∂tum − ∆um = f (t, x, um) + mum. The set of admissible controls is given by A = {m ∈ L ∞ , m− m m+ a.e., ´Ω m(t, •) = V1(t)} where m± = m±(t, x) are two reference functions in L ∞ ((0, T) × Ω), and where V1 = V1(t) is a reference integral constraint. The functional to optimise is J : m → ˜j1(um) + ´Ω j2(um(T)). Roughly speaking we prove that, if j1 and j2 are non-decreasing and if one is increasing any solution of maxA J is bang-bang: any optimal m * writes m * = 1Em− + 1Ec m+ for some E ⊂ (0, T) × Ω. From the point of view of shape optimization, this is a parabolic analog of the Buttazzo-Dal Maso theorem in shape optimisation. The proof is based on second-order criteria and on an approximation-localisation procedure for admissible perturbations. This last part uses the theory of parabolic equations with measure datum.