SearcharxivSearch

arXiv subjects

Denis Khimin

Publications and source records attributed to Denis Khimin.

5 recordsLinked to original sources

Optimal control of partial differential equations in PyTorch using automatic differentiation and neural network surrogates

The take-home message of this paper is that solving optimal control problems can be computationally straightforward, provided that differentiable partial differential equation (PDE) solvers are available. Although this might seem to be a strong limitation and the development of differentiable PDE solvers might seem arduous, for many problems this is not the case. In particular, for linear partial differential equations, they are equivalent to a linear equation system. Therefore it is just sufficient to be able to solve linear equation systems in an automatic differentiation-capable library like PyTorch and be able to differentiate through the linear solver. Using open-source libraries, like torch_sparse_solve, we have easy to use differentiable direct solvers (here: KLU) at hand, which makes solving linear PDEs straightforward. For nonlinear PDEs, the approach above might be not sufficient, since we do not have an equivalent linear equation system for the underlying PDE. In this case, we can then use the library torch-fenics, which enables us to define PDEs using the finite element library FEniCS and then differentiate through this problem in PyTorch. We complement the proposed methodology with various optimal control problems constrained by stationary and instationary PDEs, linear and nonlinear PDEs (from Poisson to fluid-structure interaction), space-time and time-stepping formulations, parameter estimation, right-hand side control, initial condition control and boundary condition control, finite difference and finite element discretizations and neural network surrogates. All developments of this work are accompanied with the respective source codes published on GitHub.

math.OC

Analysis of a space-time phase-field fracture complementarity model and its optimal control formulation

The purpose of this work is the formulation of optimality conditions for phase-field optimal control problems. The forward problem is first stated as an abstract nonlinear optimization problem, and then the necessary optimality conditions are derived. The sufficient optimality conditions are also examined. The choice of suitable function spaces to ensure the regularity of the nonlinear optimization problem is a true challenge here. Afterwards the optimal control problem with a tracking type cost functional is formulated. The constraints are given by the previously derived first order optimality conditions of the forward problem. Herein regularity is proven under certain conditions and first order optimality conditions are formulated.

math.OC

Coefficient Control of Variational Inequalities

Within this chapter, we discuss control in the coefficients of an obstacle problem. Utilizing tools from H-convergence, we show existence of optimal solutions. First order necessary optimality conditions are obtained after deriving directional differentiability of the coefficient to solution mapping for the obstacle problem. Further, considering a regularized obstacle problem as a constraint yields a limiting optimality system after proving, strong, convergence of the regularized control and state variables. Numerical examples underline convergence with respect to the regularization. Finally, some numerical experiments highlight the possible extension of the results to coefficient control in phase-field fracture.

math.OC

Space-time formulation, discretization, and computational performance studies for phase-field fracture optimal control problems

The purpose of this work is the development of space-time discretization schemes for phase-field optimal control problems. Specifically in the optimal control minimization problem, a tracking-type cost functional is minimized to steer the crack via the phase-field variable into a desired pattern. To achieve such optimal solutions, Neumann type boundary conditions need to be determined. First, a time discretization of the forward problem is derived using a discontinuous Galerkin formulation. Here, a challenge is to include regularization terms and the crack irreversibility constraint. The optimal control setting is formulated by means of the Lagrangian approach from which the primal part, adjoint, tangent and adjoint Hessian are derived. Herein the overall Newton algorithm is based on a reduced approach by eliminating the state constraint, namely the displacement and phase-field unknowns, but keeping the control variable as the only unknown. From the low-order discontinuous Galerkin discretization, adjoint time-stepping schemes are finally obtained. Both our formulation and algorithmic developments are substantiated and illustrated with six numerical experiments.

math.OC

Space-time formulation, discretization, and computations for phase-field fracture optimal control problems

The purpose of this work is the development of space-time discretization schemes for phase-field optimal control problems. First, a time discretization of the forward problem is derived using a discontinuous Galerkin formulation. Here, a challenge is to include regularization termsand the crack irreversibility constraint. The optimal control setting is formulated by means of the Lagrangian approach from which the primal part, adjoint, tangent and adjoint Hessian are derived. Herein the overall Newton algorithm is based on a reduced approach by eliminating the state constraint. From the low-order discontinuous Galerkin discretization, adjoint time-stepping schemes are finally obtained. Our algorithmic developments are substantiated and illustrated with some numerical experiments.

math.OC