ZIB-Report
Refine
Year of publication
Document Type
- ZIB-Report (28)
Language
- English (28)
Is part of the Bibliography
- no (28)
Keywords
- optimal control (14)
- state constraints (9)
- interior point methods in function space (6)
- finite elements (3)
- Dynamical contact problems (2)
- Newmark method (2)
- Signorini condition (2)
- adaptivity (2)
- generic programming (2)
- interior point method (2)
Institute
- Numerical Mathematics (25)
- Computational Medicine (16)
- ZIB Allgemein (3)
19-48
Kaskade 7 is a finite element toolbox for the solution of stationary or transient systems of partial differential equations, aimed at supporting application-oriented research in numerical analysis and scientific computing. The library is written in C++ and is based on the Dune interface. The code is independent of spatial dimension and works with different grid managers. An important feature is the mix-and-match approach to discretizing systems of PDEs with different ansatz and test spaces for all variables.
We describe the mathematical concepts behind the library as well as its structure, illustrating its use at several examples on the way.
15-09
We propose a composite step method, designed for equality constrained optimization with partial differential equations. Focus is laid on the construction of a globalization scheme, which is based on cubic regularization of the objective and an affine covariant damped Newton method for feasibility. We show finite termination of the inner loop and fast local convergence of the algorithm. We discuss preconditioning strategies for the iterative solution of the arising linear systems with projected conjugate gradient. Numerical results are shown for optimal control problems subject to a nonlinear heat equation and subject to nonlinear elastic equations arising from an implant design problem in craniofacial surgery.
12-16
A cubic regularization algorithm for nonconvex optimization in function space (in preparation)
(2012)
We propose a cubic regularization algorithm that is constructed to deal with nonconvex minimization
problems in function space. It allows for a flexible choice of the regularization term and thus accounts for the fact
that in such problems one often has to deal with more than one norm. Global and local convergence results are established
in a general framework. Moreover, several variants of step computations are compared. In the context of nonlinear
elasticity it turns out the a cg method applied to an augmented Hessian is more robust than truncated cg.
12-08
We consider a shape implant design problem that arises in the context of facial surgery.
We introduce a reformulation as an optimal control problem, where the control acts
as a boundary force. The state is modelled as a minimizer of a polyconvex
hyperelastic energy functional. We show existence of optimal solutions and
derive - on a formal level - first order optimality conditions. Finally, preliminary numerical results
are presented.
11-39
This paper surveys the required mathematics for a typical challenging problem from computational medicine, the cancer therapy planning in deep regional hyperthermia. In the course of many years of close cooperation with clinics, the medical problem gave rise to quite a number of subtle mathematical problems, part of which had been unsolved when the common project started. Efficiency of numerical algorithms, i.e. computational speed and monitored reliability, play a decisive role for the medical treatment. Off-the-shelf software had turned out to be not sufficient to meet the requirements of medicine. Rather, new mathematical theory as well as new numerical algorithms had to be developed. In order to make our algorithms useful in the clinical environment, new visualization software, a virtual lab, including 3D geometry processing of individual virtual patients had to be designed and implemented. Moreover, before the problems could be attacked by numerical algorithms, careful mathematical modelling had to be done. Finally, parameter identification and constrained optimization for the PDEs had to be newly analyzed and realized over the individual patient's geometry. Our new techniques had an impact on the specificity of the individual patients' treatment and on the construction of an improved hyperthermia applicator.
11-23
Convergence Analysis of Smoothing Methods for Optimal Control of Stationary Variational Inequalities
(2011)
In the article an optimal control problem subject to a stationary variational inequality
is investigated. The optimal control problem is complemented with pointwise control constraints.
The convergence of a smoothing scheme is analyzed. There, the variational inequality
is replaced by a semilinear elliptic equation. It is shown that solutions of the regularized optimal
control problem converge to solutions of the original one. Passing to the limit in the
optimality system of the regularized problem allows to prove C-stationarity of local solutions of the original problem.
Moreover, convergence rates with respect to the regularization parameter for the error in the control are obtained.
These rates coincide with rates obtained by numerical experiments, which are included in the paper.
11-37
We derive a-priori estimates on the length of the primal-dual path that results from a
Moreau-Yosida approximation of the feasible set for state constrained optimal control problems. These bounds depend on the regularity of the state and the dimension of the
problem. Comparison with numerical results indicates that these bounds are sharp and
are attained for the case of a single active point.
10-28
Uniqueness criteria for solutions of the adjoint equation in state-constrained optimal control
(2010)
The paper considers linear elliptic equations with regular Borel measures as inhomogeneity. Such equations frequently appear in state-constrained optimal control
problems. By a counter-example of Serrin, it is known that, in the presence of
non-smooth data, a standard weak formulation does not ensure uniqueness for such
equations. Therefore several notions of solution have been developed that guarantee
uniqueness. In this note, we compare different definitions of solutions, namely the ones
of Stampacchia and the two notions of solutions of Casas and Alibert-Raymond, and show that they are the same. As side results, we reformulate the solution
in the sense of Stampacchia, and prove the existence and uniqueness of solutions in
in case of mixed boundary conditions.
10-09
The aim of this paper is to devise an adaptive timestep control in the contact--stabilized Newmark method (CONTACX) for dynamical contact problems between two viscoelastic bodies in the framework of Signorini's condition. In order to construct a comparative scheme of higher order accuracy, we extend extrapolation techniques. This approach demands a subtle theoretical investigation of an asymptotic error expansion of the contact--stabilized Newmark scheme. On the basis of theoretical insight and numerical observations, we suggest an error estimator and a timestep selection which also cover the presence of contact. Finally, we give a numerical example.
10-25
This paper presents concepts and implementation of the finite element toolbox Kaskade 7, a flexible C++ code for solving elliptic and parabolic PDE systems. Issues such as problem formulation, assembly and adaptivity are discussed at the example of optimal control problems. Trajectory compression for parabolic optimization problems is considered as a case study.