We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

Title: Optimality conditions for the linear optimal control of non-linear equations via a Laplace type method and two-scales like expansions

Abstract: We propose a fine analysis of second order optimality conditions for the optimal control of semi-linear parabolic equations with respect to the initial condition. More precisely, we investigate the following problem: maximise with respect to $u_0\in L^\infty(\Omega)$ or $y\in L^\infty(\Omega\times(0,T))$ the cost functional $J(u_0,y)=\iint_{\Omega\times (0,T)}j_1(t,x,u)+\int_\Omega j_2(x,u(T,\cdot))$ where $\partial_t u-\Delta u=f(t,x,u)+y\,, u(0,\cdot)=u_0$ with some classical boundary conditions, under constraints of the form $-\kappa_0\leq u_0\,, y\leq \kappa_1\text{ a.e.}\,, \int_\Omega u_0=\int_\Omega y(t,\cdot)=V_0$. This class of problems arises in several application fields. A challenging feature of these problems is the study of the so-called abnormal sets $\{-\kappa_0<u_0^*<\kappa_1\}\,, \{-\kappa_0<y^*<\kappa_1\}$ where $u_0^*\,, y^*$ are optimisers. These sets are in general non-empty and it is important (for instance for numerical applications) to understand the behaviour of $u_0^*\,, y^*$ in this set: which values can $u_0^*\,, y^*$ take? In this paper, we introduce a Laplace-type method to provide some answers to this question. This Laplace type method is of independent interest.
Subjects: Optimization and Control (math.OC); Analysis of PDEs (math.AP)
Cite as: arXiv:2205.11847 [math.OC]
  (or arXiv:2205.11847v3 [math.OC] for this version)

Submission history

From: Idriss Mazari [view email]
[v1] Tue, 24 May 2022 07:14:17 GMT (21kb)
[v2] Fri, 27 May 2022 16:11:31 GMT (21kb)
[v3] Tue, 21 Jun 2022 09:35:15 GMT (25kb)

Link back to: arXiv, form interface, contact.