In this article a stabilizing feedback control is computed for a semilinear parabolic partial differential equation utilizing a nonlinear model predictive (NMPC) method. In each level of the NMPC algorithm the finite time horizon open loop problem is solved by a reduced-order strategy based on proper orthogonal decomposition (POD). A stability analysis is derived for the combined POD-NMPC algorithm so that the lengths of the finite time horizons are chosen in order to ensure the asymptotic stability of the computed feedback controls. The proposed method is successfully tested by numerical examples.
In PDE-constrained optimization, proper orthogonal decomposition (POD) provides a surrogate model of a (potentially expensive) PDE discretization, on which optimization iterations are executed. Because POD models usually provide good approximation quality only locally, they have to be updated during optimization. Updating the POD model is usually expensive, however, and therefore often impossible in a model-predictive control (MPC) context. Thus, reduced models of mediocre quality might be accepted. We take the view of a simplified Newton method for solving semilinear evolution equations to de…
The Dynamic Programming approach allows to compute a feedback control for nonlinear problems, but suffers from the curse of dimensionality. The computation of the control relies on the resolution of a nonlinear PDE, the Hamilton-Jacobi-Bellman equation, with the same dimension of the original problem. Recently, a new numerical method to compute the value function on a tree structure has been introduced. The method allows to work without a structured grid and avoids any interpolation. Here, we aim to test the algorithm for nonlinear two dimensional PDEs. We apply model order reduction to decrea…
We propose an approximation scheme for a class of semilinear parabolic equations that are convex and coercive in their gradients. Such equations arise often in pricing and portfolio management in incomplete markets and, more broadly, are directly connected to the representation of solutions to backward stochastic differential equations. The proposed scheme is based on splitting the equation in two parts, the first corresponding to a linear parabolic equation and the second to a Hamilton-Jacobi equation. The solutions of these two equations are approximated using, respectively, the Feynman-Kac …
This paper addresses the topic of global output feedback stabilization of semilinear reaction-diffusion PDEs. The semilinearity is assumed to be confined into a sector condition. We consider two different types of actuation configurations, namely: bounded control operator and right Robin boundary control. The measurement is selected as a left Dirichlet trace. The control strategy is finite dimensional and is designed based on a linear version of the plant. We derive a set of sufficient conditions ensuring the global exponential stabilization of the semilinear reaction-diffusion PDE. These cond…
We analyze the sensitivity of the extremal equations that arise from the first order necessary optimality conditions of nonlinear optimal control problems with respect to perturbations of the dynamics and of the initial data. To this end, we present an abstract implicit function approach with scaled spaces. We will apply this abstract approach to problems governed by semilinear PDEs. In that context, we prove an exponential turnpike result and show that perturbations of the extremal equation's dynamics, e.g., discretization errors decay exponentially in time. The latter can be used for very ef…
We study and compare two concepts for weak solutions to semilinear parabolic path-dependent partial differential equations (PPDEs). The first is that of mild solutions as it appears, e.g., in the log-Laplace functionals of historical superprocesses. The aim of this paper is to show that mild solutions are also solutions in a viscosity sense. This result is motivated by the fact that mild solutions can provide value functions and optimal strategies for problems of stochastic optimal control. Since unique mild solutions exist under weak conditions, we obtain as a corollary a general existence re…
We present a control design for semilinear and quasilinear 2x2 hyperbolic partial differential equations with the control input at one boundary and a nonlinear ordinary differential equation coupled to the other. The controller can be designed to asymptotically stabilize the system at an equilibrium or relative to a reference signal. Two related but different controllers for semilinear and general quasilinear systems are presented and the additional challenges in quasilinear systems are discussed. Moreover, we present an observer that estimates the distributed PDE state and the unmeasured ODE …
We adopt the integral definition of the fractional Laplace operator and analyze an optimal control problem for a fractional semilinear elliptic partial differential equation (PDE); control constraints are also considered. We establish the well-posedness of fractional semilinear elliptic PDEs and analyze regularity properties and suitable finite element discretizations. Within the setting of our optimal control problem, we derive the existence of optimal solutions as well as first and second order optimality conditions; regularity estimates for the optimal variables are also analyzed. We devise…
We consider optimal control of fractional in time (subdiffusive, i.e., for $% 0<γ<1$) semilinear parabolic PDEs associated with various notions of diffusion operators in an unifying fashion. Under general assumptions on the nonlinearity we{~\textsf{first show}} the existence and regularity of solutions to the forward and the associated {\textsf{backward (adjoint)}} problems. In the second part, we prove existence of optimal {\textsf{controls% }} and characterize the associated {\textsf{first order}} optimality conditions. Several examples involving fractional in time (and some fractional in sp…
In insurance mathematics optimal control problems over an infinite time horizon arise when computing risk measures. Their solutions correspond to solutions of deterministic semilinear (degenerate) elliptic partial differential equations. In this paper we propose a deep neural network algorithm for solving such partial differential equations in high dimensions. The algorithm is based on the correspondence of elliptic partial differential equations to backward stochastic differential equations with random terminal time.
In this paper we investigate a priori error estimates for the space-time Galerkin finite element discretization of a simplified semilinear gradient enhanced damage model. The model equations are of a special structure as the state equation consists of an elliptic PDE which has to be fulfilled at almost all times coupled with a non-smooth, semilinear ODE that has to hold true in almost all points in space. The system is discretized by a constant discontinuous Galerkin method in time and usual conforming linear finite elements in space. For the uncontrolled equation, we prove linear convergence …
Concentration of measure-valued solutions for semilinear parabolic equations
Fédération ENAC ISAE-SUPAERO ONERA, Université de Toulouse（法国图卢兹大学）；LAAS-CNRS, Université de Toulouse（法国图卢兹大学）；Czech Technical University in Prague（布拉格捷克理工大学）
We adopt the integral definition of the fractional Laplace operator and analyze solution techniques for fractional, semilinear, and elliptic optimal control problems posed on Lipschitz polytopes. We consider two strategies of discretization: a semidiscrete scheme where the admissible control set is not discretized and a fully discrete scheme where such a set is discretized with piecewise constant functions. As an instrumental step, we derive error estimates for finite element discretizations of fractional semilinear elliptic partial differential equations (PDEs) on quasi-uniform and graded mes…
This note deals with Bounded-Input-Bounded-Output (BIBO) stability for semilinear infinite-dimensional dynamical systems allowing for boundary control and boundary observation. We give sufficient conditions that guarantee BIBO stability based on Lipschitz conditions with respect to interpolation spaces. Our results can be applied to guarantee feasibility of funnel control for coupled ODE-PDE systems, as shown by means of an example from chemical engineering.
We deal with a class of semilinear parabolic PDEs on the space of continuous functions that arise, for example, as Kolmogorov equations associated to the infinite-dimensional lifting of path-dependent SDEs. We investigate existence of smooth solutions through their representation via forward-backward stochastic systems, for which we provide the necessary regularity theory. Because of the lack of smoothing properties of the parabolic operators at hand, solutions in general will only share the same regularity as the coefficients of the equation. To conclude we exhibit an application to Hamilton-…
The present work considers the optimal control of a convective Cahn-Hilliard system, where the control enters through the velocity in the transport term. We prove the existence of a solution to the considered optimal control problem. For an efficient numerical solution, the expensive high-dimensional PDE systems are replaced by reduced-order models utilizing proper orthogonal decomposition (POD-ROM). The POD modes are computed from snapshots which are solutions of the governing equations which are discretized utilizing adaptive finite elements. The numerical tests show that the use of POD-ROM …
