we discuss the sequential quadratic programming (SQP) method for the numerical solution of an optimal control problem governed by a quasilinear parabolic partial differential equation. Following well-known techniques, convergence of the method in appropriate function spaces is proven under some common technical restrictions. Particular attention is payed to how the second order sufficient conditions for the optimal control problem and the resulting L 2-local quadratic growth condition influence the notion of "locality" in the SQP method. Further, a new regularity result for the adjoint state, which is required during the convergence analysis, is proven. Numerical examples illustrate the theoretical results. Keywords Optimal control • Quasilinear parabolic partial differential equation • Sequential quadratic programming • Convergence analysis Mathematics Subject Classification 35K59 • 49K20 • 90C48 • 49N60 • 65K10 • 90C55 • 49M15 • 49M37 1 Overview Optimal control problems governed by linear and semilinear parabolic partial differential equations (PDEs) have been subject to intense research for several years.
We prove a-posteriori error-estimates for reduced-order modeling of quasilinear parabolic PDEs with non-monotone nonlinearity. We consider the solution of a semi-discrete in space equation as reference, and therefore incorporate reduced basis-, empirical interpolation-, and time-discretization-errors in our consideration. Numerical experiments illustrate our results.
We prove first- and second-order optimality conditions for sparse, purely time-dependent optimal control problems governed by a quasilinear parabolic PDE. In particular, we analyze sparsity patterns of the optimal controls induced by different sparsity enforcing functionals in the purely timedependent control case and illustrate them by numerical examples. Our findings are based on results obtained by abstraction of well known techniques from the literature.
<p style='text-indent:20px;'>We prove existence of optimal controls for sparse optimal control of a quasilinear elliptic equation in measure spaces and derive first-order necessary optimality conditions. Under additional assumptions also second-order necessary and sufficient optimality conditions are obtained.</p>
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.