Currently displaying 1 – 20 of 33

Showing per page

Order by Relevance | Title | Year of publication

Optimal control of the bidomain system (III): Existence of minimizers and first-order optimality conditions

Karl KunischMarcus Wagner — 2013

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

We consider optimal control problems for the bidomain equations of cardiac electrophysiology together with two-variable ionic models, the Rogers–McCulloch model. After ensuring the existence of global minimizers, we provide a rigorous proof for the system of first-order necessary optimality conditions. The proof is based on a stability estimate for the primal equations and an existence theorem for weak solutions of the adjoint system.

Generalized Newton methods for the 2D-Signorini contact problem with friction in function space

Karl KunischGeorg Stadler — 2005

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

The 2D-Signorini contact problem with Tresca and Coulomb friction is discussed in infinite-dimensional Hilbert spaces. First, the problem with given friction (Tresca friction) is considered. It leads to a constraint non-differentiable minimization problem. By means of the Fenchel duality theorem this problem can be transformed into a constrained minimization involving a smooth functional. A regularization technique for the dual problem motivated by augmented lagrangians allows to apply an infinite-dimensional...

Semi–smooth Newton methods for variational inequalities of the first kind

Kazufumi ItoKarl Kunisch — 2003

ESAIM: Mathematical Modelling and Numerical Analysis - Modélisation Mathématique et Analyse Numérique

Semi–smooth Newton methods are analyzed for a class of variational inequalities in infinite dimensions. It is shown that they are equivalent to certain active set strategies. Global and local super-linear convergence are proved. To overcome the phenomenon of finite speed of propagation of discretized problems a penalty version is used as the basis for a continuation procedure to speed up convergence. The choice of the penalty parameter can be made on the basis of an L estimate for the penalized...

Sufficient optimality conditions and semi-smooth newton methods for optimal control of stationary variational inequalities

Karl KunischDaniel Wachsmuth — 2012

ESAIM: Control, Optimisation and Calculus of Variations

In this paper sufficient second order optimality conditions for optimal control problems subject to stationary variational inequalities of obstacle type are derived. Since optimality conditions for such problems always involve measures as Lagrange multipliers, which impede the use of efficient Newton type methods, a family of regularized problems is introduced. Second order sufficient optimality conditions are derived for the regularized problems...

Optimal snapshot location for computing POD basis functions

Karl KunischStefan Volkwein — 2010

ESAIM: Mathematical Modelling and Numerical Analysis

The construction of reduced order models for dynamical systems using proper orthogonal decomposition (POD) is based on the information contained in so-called snapshots. These provide the spatial distribution of the dynamical system at discrete time instances. This work is devoted to optimizing the choice of these time instances in such a manner that the error between the POD-solution and the trajectory of the dynamical system is minimized. First and second order optimality systems are given. Numerical...

Receding horizon optimal control for infinite dimensional systems

Kazufumi ItoKarl Kunisch — 2002

ESAIM: Control, Optimisation and Calculus of Variations

The receding horizon control strategy for dynamical systems posed in infinite dimensional spaces is analysed. Its stabilising property is verified provided control Lyapunov functionals are used as terminal penalty functions. For closed loop dissipative systems the terminal penalty can be chosen as quadratic functional. Applications to the Navier–Stokes equations, semilinear wave equations and reaction diffusion systems are given.

A duality-based approach to elliptic control problems in non-reflexive Banach spaces

Christian ClasonKarl Kunisch — 2011

ESAIM: Control, Optimisation and Calculus of Variations

Convex duality is a powerful framework for solving non-smooth optimal control problems. However, for problems set in non-reflexive Banach spaces such as L(Ω) or BV(Ω), the dual problem is formulated in a space which has difficult measure theoretic structure. The predual problem, on the other hand, can be formulated in a Hilbert space and entails the minimization of a smooth functional with box constraints, for which efficient numerical methods exist. In this work, elliptic control problems with...

Time optimal control of the heat equation with pointwise control constraints

Karl KunischLijuan Wang — 2013

ESAIM: Control, Optimisation and Calculus of Variations

Time optimal control problems for an internally controlled heat equation with pointwise control constraints are studied. By Pontryagin’s maximum principle and properties of nontrivial solutions of the heat equation, we derive a bang-bang property for time optimal control. Using the bang-bang property and establishing certain connections between time and norm optimal control problems for the heat equation, necessary and sufficient conditions for the optimal time and the optimal control are obtained....

The output least squares identifiability of the diffusion coefficient from an H 1 –observation in a 2–D elliptic equation

Guy ChaventKarl Kunisch — 2002

ESAIM: Control, Optimisation and Calculus of Variations

Output least squares stability for the diffusion coefficient in an elliptic equation in dimension two is analyzed. This guarantees Lipschitz stability of the solution of the least squares formulation with respect to perturbations in the data independently of their attainability. The analysis shows the influence of the flow direction on the parameter to be estimated. A scale analysis for multi-scale resolution of the unknown parameter is provided.

An active set strategy based on the augmented Lagrangian formulation for image restoration

Kazufumi ItoKarl Kunisch — 2010

ESAIM: Mathematical Modelling and Numerical Analysis

Lagrangian and augmented Lagrangian methods for nondifferentiable optimization problems that arise from the total bounded variation formulation of image restoration problems are analyzed. Conditional convergence of the Uzawa algorithm and unconditional convergence of the first order augmented Lagrangian schemes are discussed. A Newton type method based on an active set strategy defined by means of the dual variables is developed and analyzed. Numerical examples for blocky signals and images perturbed by...

Sufficient optimality conditions and semi-smooth newton methods for optimal control of stationary variational inequalities

Karl KunischDaniel Wachsmuth — 2012

ESAIM: Control, Optimisation and Calculus of Variations

In this paper sufficient second order optimality conditions for optimal control problems subject to stationary variational inequalities of obstacle type are derived. Since optimality conditions for such problems always involve measures as Lagrange multipliers, which impede the use of efficient Newton type methods, a family of regularized problems is introduced. Second order sufficient optimality conditions are derived for the regularized problems...

The Output Least Squares Identifiability of the Diffusion Coefficient from an H–Observation in a 2–D Elliptic Equation

Guy ChaventKarl Kunisch — 2010

ESAIM: Control, Optimisation and Calculus of Variations

Output least squares stability for the diffusion coefficient in an elliptic equation in dimension two is analyzed. This guarantees Lipschitz stability of the solution of the least squares formulation with respect to perturbations in the data independently of their attainability. The analysis shows the influence of the flow direction on the parameter to be estimated. A scale analysis for multi-scale resolution of the unknown parameter is provided.

Semi-smooth Newton methods for the Signorini problem

Kazufumi ItoKarl Kunisch — 2008

Applications of Mathematics

Semi-smooth Newton methods are analyzed for the Signorini problem. A proper regularization is introduced which guarantees that the semi-smooth Newton method is superlinearly convergent for each regularized problem. Utilizing a shift motivated by an augmented Lagrangian framework, to the regularization term, the solution to each regularized problem is feasible. Convergence of the regularized problems is shown and a report on numerical experiments is given.

Proper orthogonal decomposition for optimality systems

Karl KunischStefan Volkwein — 2008

ESAIM: Mathematical Modelling and Numerical Analysis

Proper orthogonal decomposition (POD) is a powerful technique for model reduction of non-linear systems. It is based on a Galerkin type discretization with basis elements created from the dynamical system itself. In the context of optimal control this approach may suffer from the fact that the basis elements are computed from a reference trajectory containing features which are quite different from those of the optimally controlled trajectory. A method is proposed which avoids this problem of unmodelled...

A duality-based approach to elliptic control problems in non-reflexive Banach spaces

Christian ClasonKarl Kunisch — 2011

ESAIM: Control, Optimisation and Calculus of Variations

Convex duality is a powerful framework for solving non-smooth optimal control problems. However, for problems set in non-reflexive Banach spaces such as L(Ω) or BV(Ω), the dual problem is formulated in a space which has difficult measure theoretic structure. The predual problem, on the other hand, can be formulated in a Hilbert space and entails the minimization of a smooth functional with box constraints, for which efficient numerical methods exist. In this work, elliptic control problems with...

Page 1 Next

Download Results (CSV)