An optimal control problem is studied for a quasilinear Maxwell equation of nondegenerate parabolic
type. Well-posedness of the quasilinear state equation, existence of an optimal control, and weak G\^ateaux-differentiability of the control-to-state mapping are proved. Based on these results, first-order necessary optimality conditions and
an associated adjoint calculus are derived.
A mathematical model is set up that can be useful for controlled voltage excitation in time-dependent electromagnetism.
The well-posedness of the model is proved and an associated optimal control problem is investigated. Here, the control
function is a transient voltage and the aim of the control is the best approximation of desired electric and magnetic fields in
suitable $L^2$-norms.
Special emphasis is laid on an adjoint calculus for first-order necessary optimality conditions.
Moreover, a {peculiar attention is devoted to propose a formulation for which the computational complexity of the finite element solution method is substantially reduced}.
Several classes of optimal control of electromagnetic fields are considered. Special emphasis is
laid on a non-standard $H$-based formulation of the equations of electromagnetism in multiply connected conductors. By this technique, the Maxwell equations can be solved with reduced computational complexity. While the magnetic field $H$ in the conductor is obtained from an elliptic equation
with the $\curl \sigma^{-1} \curl$ operator, an elliptic equation with the $\div \mu \nabla$ operator is set up for a potential $\psi$ in the isolator.
Both equations are coupled by appropriate interface conditions. In all problems, the
electrical current is controlled in the conducting domain. Several types of control functions are discussed. In particular, the problem of sparse optimal control is investigated in a package of electrical wires. For all problems, the associated sensitivity
analysis is performed.
Two optimal control problems for instationary magnetization
processes are considered in 3D spatial domains that
include electrically conducting and nonconducting regions. The magnetic
fields are generated by induction coils. In the first model, the induction coil
is considered as part of the conducting region and the electrical current is taken
as control. In the second, the coil is viewed as part of the nonconducting region and the
electrical voltage is the control. Here, an integro-differential equation accounts
for the magnetic induction law that couples the given
electrical voltage with the induced electrical current in the
induction coil.
We derive first-order necessary
optimality condition for the optimal controls of both problems. Based on them,
numerical methods of gradient type are applied. Moreover, we report on the application
of model reduction by POD that lead to tremendous savings. Numerical tests are
presented for academic 3D geometries but also for a real-world application.
For the solution of optimal control problems governed by nonlinear parabolic PDEs, methods working on the reduced objective functional are often employed to avoid a full
spatio-temporal discretization of the problem. The evaluation of the reduced gradient requires one solve of the state equation forward in time, and one backward solve of
the adjoint equation. The state enters into the adjoint equation, requiring the storage of a full 4D data set. If Newton-CG methods are used, two additional trajectories
have to be stored. To get numerical results which are accurate enough, in many case very fine discretizations in time and space are necessary, which leads to a significant
amount of data to be stored and transmitted to mass storage. Lossy compression methods were developed to overcome the storage problem by reducing the accuracy of the stored
trajectories. The inexact data induces errors in the reduced gradient and reduced Hessian. In this paper, we analyze the influence of such a lossy trajectory compression
method on Newton-CG methods for optimal control of parabolic PDEs and design an adaptive strategy for choosing appropriate quantization tolerances.
In high accuracy numerical simulations and optimal control of time-dependent processes, often both many time steps and fine spatial discretizations are needed. Adjoint gradient computation, or post-processing of simulation results, requires the storage of the solution trajectories over the whole time, if necessary together with the adaptively refined spatial grids. In this paper we discuss various techniques to reduce the memory requirements, focusing first on the storage of the solution data, which typically are double precision floating point values. We highlight advantages and disadvantages of the different approaches. Moreover, we present an algorithm for the efficient storage of adaptively refined, hierarchic grids, and the integration with the compressed storage of solution data.
This paper presents efficient computational techniques for solving an optimization problem in cardiac defibrillation governed by the monodomain equations. Time-dependent electrical currents injected at different spatial positions act as the control. Inexact Newton-CG methods are used, with reduced gradient computation by adjoint solves. In order to reduce the computational complexity, adaptive mesh refinement for state and adjoint equations is performed. To reduce the high storage and bandwidth demand imposed by adjoint gradient and Hessian-vector evaluations, a lossy compression technique for storing trajectory data is applied. An adaptive choice of quantization tolerance based on error estimates is developed in order to ensure convergence. The efficiency of the proposed approach is demonstrated on numerical examples.
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.
Convergence Analysis of Smoothing Methods for Optimal Control of Stationary Variational Inequalities
(2012)
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.
We derive a new representation of Lagrangian subspaces in the form
%
\[
{\mathrm Im}\Pi^T [I,X]^T,
\]
%
where $\Pi$ is a symplectic matrix which is the product of a permutation matrix and a real orthogonal diagonal matrix, and $X$ satisfies
%
\[
\abs{X_{ij}} \leq \begin{cases}1 & \text{if $i=j$,}\\ \sqrt{2} & \text{if $i\neq j$.} \end{cases}
\]
%
This representation allows to limit element growth in the context of doubling algorithms
for the computation of Lagrangian subspaces and the solution of Riccati equations.
It is shown that a simple doubling algorithm using this representation can reach full machine accuracy on a wide range of problems, obtaining invariant subspaces of the same quality as those computed by the state-of-the-art algorithms based on orthogonal transformations.
The same idea carries over to representations of arbitrary subspaces and can be used
for other types of structured pencils.