-
Error estimates for the discretization of bilinear control problems governed by semilinear elliptic PDEs
Authors:
Eduardo Casas,
Konstantinos Chrysafinos,
Mariano Mateos
Abstract:
This paper studies an optimal control problem governed by a semilinear elliptic equation, in which the control acts in a multiplicative or bilinear way as the reaction coefficient of the equation. We focus on the numerical discretization of the problem. The discretization is carried out by using the finite element method, with piecewise constant functions for the control and continuous piecewise l…
▽ More
This paper studies an optimal control problem governed by a semilinear elliptic equation, in which the control acts in a multiplicative or bilinear way as the reaction coefficient of the equation. We focus on the numerical discretization of the problem. The discretization is carried out by using the finite element method, with piecewise constant functions for the control and continuous piecewise linear functions for the state and the adjoint state. We first prove convergence of the solutions of the discrete problems to solutions of the continuous problem. We also demonstrate that strict local solutions of the continuous problem can be approximated by local solutions of the discrete problems. Next we obtain an error estimate of order $O(h)$ for the difference between continuous and discrete locally optimal controls. To obtain this result we assume no-gap second order sufficient optimality conditions. As it is usual in this kind of discretization, a superconvergence phenomenon of order $O(h^2)$ is observed in numerical experiments for the error estimates of the state and adjoint state. The last part of the paper is dedicated to explain this behaviour. A numerical experiment confirming these results is included.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Semismooth Newton Method for Boundary Bilinear Control
Authors:
Eduardo Casas,
Konstantinos Chrysafinos,
Mariano Mateos
Abstract:
We study a control-constrained optimal control problem governed by a semilinear elliptic equation. The control acts in a bilinear way on the boundary, and can be interpreted as a heat transfer coefficient. A detailed study of the state equation is performed and differentiability properties of the control-to-state mapping are shown. First and second order optimality conditions are derived. Our main…
▽ More
We study a control-constrained optimal control problem governed by a semilinear elliptic equation. The control acts in a bilinear way on the boundary, and can be interpreted as a heat transfer coefficient. A detailed study of the state equation is performed and differentiability properties of the control-to-state mapping are shown. First and second order optimality conditions are derived. Our main result is the proof of superlinear convergence of the semismooth Newton method to local solutions satisfying no-gap second order sufficient optimality conditions as well as a strict complementarity condition.
△ Less
Submitted 2 March, 2024;
originally announced March 2024.
-
Bilinear control of semilinear elliptic PDEs: Convergence of a semismooth Newton method
Authors:
Eduardo Casas,
Konstantinos Chrysafinos,
Mariano Mateos
Abstract:
In this paper, we carry out the analysis of the semismooth Newton method for bilinear control problems related to semilinear elliptic PDEs. We prove existence, uniqueness and regularity for the solution of the state equation, as well as differentiability properties of the control to state mapping. Then, first and second order optimality conditions are obtained. Finally, we prove the superlinear co…
▽ More
In this paper, we carry out the analysis of the semismooth Newton method for bilinear control problems related to semilinear elliptic PDEs. We prove existence, uniqueness and regularity for the solution of the state equation, as well as differentiability properties of the control to state mapping. Then, first and second order optimality conditions are obtained. Finally, we prove the superlinear convergence of the semismooth Newton method to local solutions satisfying no-gap second order sufficient optimality conditions as well as a strict complementarity condition.
△ Less
Submitted 5 March, 2024; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Analysis and approximations of an optimal control problem for the Allen-Cahn equation
Authors:
Konstantinos Chrysafinos,
Dimitra Plaka
Abstract:
The scope of this paper is the analysis and approximation of an optimal control problem related to the Allen-Cahn equation. A tracking functional is minimized subject to the Allen-Cahn equation using distributed controls that satisfy point-wise control constraints. First and second order necessary and sufficient conditions are proved. The lowest order discontinuous Galerkin - in time - scheme is c…
▽ More
The scope of this paper is the analysis and approximation of an optimal control problem related to the Allen-Cahn equation. A tracking functional is minimized subject to the Allen-Cahn equation using distributed controls that satisfy point-wise control constraints. First and second order necessary and sufficient conditions are proved. The lowest order discontinuous Galerkin - in time - scheme is considered for the approximation of the control to state and adjoint state mappings. Under a suitable restriction on maximum size of the temporal and spatial discretization parameters $k$, $h$ respectively in terms of the parameter $ε$ that describes the thickness of the interface layer, a-priori estimates are proved with constants depending polynomially upon $1/ ε$. Unlike to previous works for the uncontrolled Allen-Cahn problem our approach does not rely on a construction of an approximation of the spectral estimate, and as a consequence our estimates are valid under low regularity assumptions imposed by the optimal control setting. These estimates are also valid in cases where the solution and its discrete approximation do not satisfy uniform space-time bounds independent of $ε$. These estimates and a suitable localization technique, via the second order condition (see \cite{Arada-Casas-Troltzsch_2002,Casas-Mateos-Troltzsch_2005,Casas-Raymond_2006,Casas-Mateos-Raymond_2007}), allows to prove error estimates for the difference between local optimal controls and their discrete approximation as well as between the associated state and adjoint state variables and their discrete approximations
△ Less
Submitted 26 July, 2022; v1 submitted 18 February, 2022;
originally announced February 2022.
-
A posteriori error estimates for the Allen-Cahn problem
Authors:
Konstantinos Chrysafinos,
Emmanuil H. Georgoulis,
Dimitra Plaka
Abstract:
This work is concerned with the proof of \emph{a posteriori} error estimates for fully-discrete Galerkin approximations of the Allen-Cahn equation in two and three spatial dimensions. The numerical method comprises of the backward Euler method combined with conforming finite elements in space. For this method, we prove conditional type \emph{a posteriori} error estimates in the…
▽ More
This work is concerned with the proof of \emph{a posteriori} error estimates for fully-discrete Galerkin approximations of the Allen-Cahn equation in two and three spatial dimensions. The numerical method comprises of the backward Euler method combined with conforming finite elements in space. For this method, we prove conditional type \emph{a posteriori} error estimates in the $L^{}_4(0,T;L^{}_4(Ω))$-norm that depend polynomially upon the inverse of the interface length $ε$. The derivation relies crucially on the availability of a spectral estimate for the linearized Allen-Cahn operator about the approximating solution in conjunction with a continuation argument and a variant of the elliptic reconstruction. The new analysis also appears to improve variants of known \emph{a posteriori} error bounds in $L_2(H^1)$, $L_\infty^{}(L_2^{})$-norms in certain regimes.
△ Less
Submitted 29 July, 2019;
originally announced July 2019.
-
Stability Analysis and Best Approximation Error Estimates of Discontinuous Time-Stepping Schemes for the Allen-Cahn Equation
Authors:
Konstantinos Chrysafinos
Abstract:
Fully-discrete approximations of the Allen-Cahn equation are considered. In particular, we consider schemes of arbitrary order based on a discontinuous Galerkin (in time) approach combined with standard conforming finite elements (in space). We prove best approximation a-priori error estimates, with constants depending polynomially ypon $(1/ε)$ by circumventing Grönwall Lemma arguments. We also pr…
▽ More
Fully-discrete approximations of the Allen-Cahn equation are considered. In particular, we consider schemes of arbitrary order based on a discontinuous Galerkin (in time) approach combined with standard conforming finite elements (in space). We prove best approximation a-priori error estimates, with constants depending polynomially ypon $(1/ε)$ by circumventing Grönwall Lemma arguments. We also prove that these schemes are unconditionally stable under minimal regularity assumptions on the given data. The key feature of our approach is an appropriate duality argument, combined with a boot-strap technique.
△ Less
Submitted 2 November, 2017; v1 submitted 17 October, 2016;
originally announced October 2016.
