-
Convergence of a steepest descent algorithm in shape optimisation using $W^{1,\infty}$ functions
Authors:
Klaus Deckelnick,
Philip J. Herbert,
Michael Hinze
Abstract:
Built upon previous work of the authors in (Deckelnick, Herbert, and Hinze, ESAIM: COCV 28 (2022)), we present a general shape optimisation framework based on the method of map**s in the $W^{1,\infty}$ topology together with a suitable finite element discretisation. For the numerical solution of the respective discrete shape optimisation problems we propose a steepest descent minimisation algori…
▽ More
Built upon previous work of the authors in (Deckelnick, Herbert, and Hinze, ESAIM: COCV 28 (2022)), we present a general shape optimisation framework based on the method of map**s in the $W^{1,\infty}$ topology together with a suitable finite element discretisation. For the numerical solution of the respective discrete shape optimisation problems we propose a steepest descent minimisation algorithm with Armijo-Goldstein stepsize rule. We show that the sequence generated by this descent method globally converges, and under mild assumptions also, that every accumulation point of this sequence is a stationary point of the shape functional. Moreover, for the mesh discretisation parameter tending to zero we under mild assumptions prove convergence of the discrete stationary shapes in the Hausdorff complementary metric. To illustrate our approach we present a selection of numerical examples for PDE constrained shape optimisation problems, where we include numerical convergence studies which support our analytical findings.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
A least-squares space-time approach for parabolic equations
Authors:
Michael Hinze,
Christian Kahle
Abstract:
We propose a least-squares formulation for parabolic equations in the natural $L^2(0,T;V^*)\times H$ norm which avoids regularity assumptions on the data of the problem. For the abstract heat equation the resulting bilinear form then is symmetric, continuous, and coercive. This among other things paves the ground for classical space-time a priori and a posteriori Galerkin frameworks for the numeri…
▽ More
We propose a least-squares formulation for parabolic equations in the natural $L^2(0,T;V^*)\times H$ norm which avoids regularity assumptions on the data of the problem. For the abstract heat equation the resulting bilinear form then is symmetric, continuous, and coercive. This among other things paves the ground for classical space-time a priori and a posteriori Galerkin frameworks for the numerical approximation of the solution of the abstract heat equation. Moreover, the approach is applicable in e.g. optimal control problems with (parametrized) parabolic equations, and for certification of reduced basis methods with parabolic equations.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
An Incremental Singular Value Decomposition Approach for Large-Scale Spatially Parallel & Distributed but Temporally Serial Data -- Applied to Technical Flows
Authors:
Niklas Kühl,
Hendrik Fischer,
Michael Hinze,
Thomas Rung
Abstract:
The paper presents a strategy to construct an incremental Singular Value Decomposition (SVD) for time-evolving, spatially 3D discrete data sets. A low memory access procedure for reducing and deploying the snapshot data is presented. Considered examples refer to Computational Fluid Dynamic (CFD) results extracted from unsteady flow simulations, which are computed spatially parallel using domain de…
▽ More
The paper presents a strategy to construct an incremental Singular Value Decomposition (SVD) for time-evolving, spatially 3D discrete data sets. A low memory access procedure for reducing and deploying the snapshot data is presented. Considered examples refer to Computational Fluid Dynamic (CFD) results extracted from unsteady flow simulations, which are computed spatially parallel using domain decomposition strategies. The framework addresses state of the art PDE-solvers dedicated to practical applications. Although the approach is applied to technical flows, it is applicable in similar applications under the umbrella of Computational Science and Engineering (CSE). To this end, we introduce a bunch matrix that allows the aggregation of multiple time steps and SVD updates, and significantly increases the computational efficiency. The incremental SVD strategy is initially verified and validated by simulating the 2D laminar single-phase flow around a circular cylinder. Subsequent studies analyze the proposed strategy for a 2D submerged hydrofoil located in turbulent two-phase flows. Attention is directed to the accuracy of the SVD-based reconstruction based on local and global flow quantities, their physical realizability, the independence of the domain partitioning, and related implementation aspects. Moreover, the influence of lower and (adaptive) upper construction rank thresholds on both the effort and the accuracy are assessed. The incremental SVD process is applied to analyze and compress the predicted flow field around a Kriso container ship in harmonic head waves at Fn = 0.26 and ReL = 1.4E+07. With a numerical overhead of O(10%), the snapshot matrix of size O(R10E+08 x 10E+04) computed on approximately 3000 processors can be incrementally compressed by O(95%). The storage reduction is accompanied by errors in integral force and local wave elevation quantities of O(1E-02%).
△ Less
Submitted 17 February, 2023;
originally announced February 2023.
-
PDE constrained shape optimisation with first-order and Newton-type methods in the $W^{1,\infty}$ topology
Authors:
Klaus Deckelnick,
Philip J. Herbert,
Michael Hinze
Abstract:
We present a general shape optimisation framework based on the method of map**s in the $W^{1,\infty}$ topology. We propose steepest descent and Newton-like minimisation algorithms for the numerical solution of the respective shape optimisation problems. Our work is built upon previous work of the authors in (Deckelnick, Herbert, and Hinze, ESAIM: COCV 28 (2022)), where a $W^{1,\infty}$ framework…
▽ More
We present a general shape optimisation framework based on the method of map**s in the $W^{1,\infty}$ topology. We propose steepest descent and Newton-like minimisation algorithms for the numerical solution of the respective shape optimisation problems. Our work is built upon previous work of the authors in (Deckelnick, Herbert, and Hinze, ESAIM: COCV 28 (2022)), where a $W^{1,\infty}$ framework for star-shaped domains is proposed. To illustrate our approach we present a selection of PDE constrained shape optimisation problems and compare our findings to results from so far classical Hilbert space methods and recent $p$-approximations.
△ Less
Submitted 21 December, 2023; v1 submitted 20 January, 2023;
originally announced January 2023.
-
Two-Phase Flow Simulations of Surface Waves in Wind-Forced Conditions
Authors:
Malte Loft,
Niklas Kühl,
Marc P. Buckley,
Jeffrey R. Carpenter,
Michael Hinze,
Fabrice Veron,
Thomas Rung
Abstract:
The paper is devoted to two-phase flow simulations and investigates the ability of a diffusive interface Cahn-Hilliard Volume-of-Fluid model to capture the dynamics of the air-sea interface at geophysically relevant Reynolds numbers. It employs a hybrid filtered/averaging Improved Detached Eddy Simulation method to model turbulence, and utilizes a continuum model to account for surface tension if…
▽ More
The paper is devoted to two-phase flow simulations and investigates the ability of a diffusive interface Cahn-Hilliard Volume-of-Fluid model to capture the dynamics of the air-sea interface at geophysically relevant Reynolds numbers. It employs a hybrid filtered/averaging Improved Detached Eddy Simulation method to model turbulence, and utilizes a continuum model to account for surface tension if the diffuse interface is under-resolved by the grid. A numerical wind-wave tank is introduced to limit computational costs and results obtained for two wind-wave conditions are analyzed in comparison to experimental data at matched Reynolds numbers. The focus of the comparison is on both time-averaged and wave-coherent quantities, and includes pressure, velocity as well as modeled and resolved Reynolds stresses. In general, numerical predictions agree well with the experimental measurements and reproduce many wave-dependent flow features. Reynolds stresses near the water surface are found to be especially important in modulating the critical layer height. It is concluded that the diffusive interface approach proves to be a promising method for future studies of air-sea interface dynamics in geophysically relevant flows.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Variational discretization of one-dimensional elliptic optimal control problems with BV functions based on the mixed formulation
Authors:
Evelyn Herberg,
Michael Hinze
Abstract:
We consider optimal control of an elliptic two-point boundary value problem governed by functions of bounded variation (BV). The cost functional is composed of a tracking term for the state and the BV-seminorm of the control. We use the mixed formulation for the state equation together with the variational discretization approach, where we use the classical lowest order Raviart-Thomas finite eleme…
▽ More
We consider optimal control of an elliptic two-point boundary value problem governed by functions of bounded variation (BV). The cost functional is composed of a tracking term for the state and the BV-seminorm of the control. We use the mixed formulation for the state equation together with the variational discretization approach, where we use the classical lowest order Raviart-Thomas finite elements for the state equation. Consequently the variational discrete control is a piecewise constant function over the finite element grid. We prove error estimates for the variational discretization approach in combination with the mixed formulation of the state equation and confirm our analytical findings with numerical experiments.
△ Less
Submitted 8 February, 2022; v1 submitted 28 June, 2021;
originally announced June 2021.
-
A Novel $p$-Harmonic Descent Approach Applied to Fluid Dynamic Shape Optimization
Authors:
Peter Marvin Müller,
Niklas Kühl,
Martin Siebenborn,
Klaus Deckelnick,
Michael Hinze,
Thomas Rung
Abstract:
We introduce a novel method for the implementation of shape optimziation in fluid dynamics applications, where we propose to use the shape derivative to determine deformation fields with the help of the $p-$ Laplacian for $p > 2$. This approach is closely related to the computation of steepest descent directions of the shape functional in the $W^{1,\infty}-$ topology. Our approach is demonstrated…
▽ More
We introduce a novel method for the implementation of shape optimziation in fluid dynamics applications, where we propose to use the shape derivative to determine deformation fields with the help of the $p-$ Laplacian for $p > 2$. This approach is closely related to the computation of steepest descent directions of the shape functional in the $W^{1,\infty}-$ topology. Our approach is demonstrated for shape optimization related to drag-minimal free floating bodies. The method is validated against existing approaches with respect to convergence of the optimization algorithm, the obtained shape, and regarding the quality of the computational grid after large deformations. Our numerical results strongly indicate that shape optimization related to the $W^{1,\infty}$-topology -- though numerically more demanding -- seems to be superior over the classical approaches invoking Hilbert space methods, concerning the convergence, the obtained shapes and the mesh quality after large deformations, in particular when the optimal shape features sharp corners.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
A novel $W^{1,\infty}$ approach to shape optimisation with Lipschitz domains
Authors:
Klaus Deckelnick,
Philip J. Herbert,
Michael Hinze
Abstract:
This article introduces a novel method for the implementation of shape optimisation with Lipschitz domains. We propose to use the shape derivative to determine deformation fields which represent steepest descent directions of the shape functional in the $W^{1,\infty}-$ topology. The idea of our approach is demonstrated for shape optimisation of $n$-dimensional star-shaped domains, which we represe…
▽ More
This article introduces a novel method for the implementation of shape optimisation with Lipschitz domains. We propose to use the shape derivative to determine deformation fields which represent steepest descent directions of the shape functional in the $W^{1,\infty}-$ topology. The idea of our approach is demonstrated for shape optimisation of $n$-dimensional star-shaped domains, which we represent as functions defined on the unit $(n-1)$-sphere. In this setting we provide the specific form of the shape derivative and prove the existence of solutions to the underlying shape optimisation problem. Moreover, we show the existence of a direction of steepest descent in the $W^{1,\infty}-$ topology. We also note that shape optimisation in this context is closely related to the $\infty-$Laplacian, and to optimal transport, where we highlight the latter in the numerics section. We present several numerical experiments in two dimensions illustrating that our approach seems to be superior over a widely used Hilbert space method in the considered examples, in particular in develo** optimised shapes with corners.
△ Less
Submitted 10 December, 2021; v1 submitted 25 March, 2021;
originally announced March 2021.
-
Adjoint Complement to the Volume-of-Fluid Method for Immiscible Flows
Authors:
Niklas Kühl,
Jörn Kröger,
Martin Siebenborn,
Michael Hinze,
Thomas Rung
Abstract:
The paper is concerned with an adjoint complement to the Volume-of-Fluid (VoF) method for immiscible two-phase flows, e.g. air and water, which is widely used in marine engineering due to its computational efficiency. The particular challenge of the primal and the corresponding adjoint VoF-approach refers to the sharp interface treatment featuring discontinuous physical properties. Both the contin…
▽ More
The paper is concerned with an adjoint complement to the Volume-of-Fluid (VoF) method for immiscible two-phase flows, e.g. air and water, which is widely used in marine engineering due to its computational efficiency. The particular challenge of the primal and the corresponding adjoint VoF-approach refers to the sharp interface treatment featuring discontinuous physical properties. Both the continuous adjoint two-phase system (integration-by-parts) and the corresponding dual compressive convection schemes (summation-by-parts) are derived for two prominent compressive convection schemes, namely the High Resolution Interface Capturing Scheme (HRIC) and Compressive Interface Capturing Scheme for Arbitrary Meshes (CICSAM). The dual scheme rigorously mirrors the primal Normalized-Variable-Diagram (NVD) stencils. Attention is restricted to steady state applications. Thus both the primal and the dual procedures are performed in pseudo time and the backward integration of the dual approach is performed around the (pseudo-temporal) converged primal field. The paper analyses the primal and adjoint equations for an engineering model problem. An analytical solution to the model problem is initially presented, which displays that the adjoint part does not offer a unique, non-trivial solution. As a remedy, an additional diffusive concentration term is introduced to the adjoint concentration equation. Numerical results obtained from the modified approach are benchmarked against the analytical solution for the model problem. Supplementary, the influence of the modification on the sensitivities obtained from simulations for the two-dimensional flow around a submerged hydrofoil are discussed. The final application refers to a shape-optimization of a generic 3D underwater vehicle and underlines a negligible influence of the free mobility parameter.
△ Less
Submitted 6 September, 2020;
originally announced September 2020.
-
Time adaptivity in model predictive control
Authors:
Alessandro Alla,
Carmen Gräßle,
Michael Hinze
Abstract:
The core of the Model Predictive Control (MPC) method in every step of the algorithm consists in solving a time-dependent optimization problem on the prediction horizon of the MPC algorithm, and then to apply a portion of the optimal control over the application horizon to obtain the new state. To solve this problem efficiently, we propose a time-adaptive residual a-posteriori error control concep…
▽ More
The core of the Model Predictive Control (MPC) method in every step of the algorithm consists in solving a time-dependent optimization problem on the prediction horizon of the MPC algorithm, and then to apply a portion of the optimal control over the application horizon to obtain the new state. To solve this problem efficiently, we propose a time-adaptive residual a-posteriori error control concept based on the optimality system of this optimal control problem. This approach not only delivers a tailored time discretization of the the prediction horizon, but also suggests a tailored length of the application horizon for the current MPC step. We apply this concept for systems governed by linear parabolic PDEs and present several numerical examples which demonstrate the performance and the robustness of our adaptive MPC control concept.
△ Less
Submitted 14 January, 2021; v1 submitted 2 September, 2020;
originally announced September 2020.
-
A space-time certified reduced basis method for quasilinear parabolic partial differential equations
Authors:
Michael Hinze,
Denis Korolev
Abstract:
In this paper, we propose a certified reduced basis (RB) method for quasilinear parabolic problems. The method is based on a space-time variational formulation. We provide a residual-based a-posteriori error bound on a space-time level and the corresponding efficiently computable estimator for the certification of the method. We use the Empirical Interpolation method (EIM) to guarantee the efficie…
▽ More
In this paper, we propose a certified reduced basis (RB) method for quasilinear parabolic problems. The method is based on a space-time variational formulation. We provide a residual-based a-posteriori error bound on a space-time level and the corresponding efficiently computable estimator for the certification of the method. We use the Empirical Interpolation method (EIM) to guarantee the efficient offline-online computational procedure. The error of the EIM method is then rigorously incorporated into the certification procedure. The Petrov-Galerkin finite element discretization allows to benefit from the Crank-Nicolson interpretation of the discrete problem and to use a POD-Greedy approach to construct the reduced-basis spaces of small dimensions. It computes the reduced basis solution in a time-marching framework while the RB approximation error in a space-time norm is controlled by the estimator. Therefore the proposed method incorporates a POD-Greedy approximation into a space-time certification.
△ Less
Submitted 18 December, 2020; v1 submitted 1 April, 2020;
originally announced April 2020.
-
Variational discretization approach applied to an optimal control problem with bounded measure controls
Authors:
Evelyn Herberg,
Michael Hinze
Abstract:
We consider a parabolic optimal control problem with an initial measure control. The cost functional consists of a tracking term corresponding to the observation of the state at final time. Instead of a regularization term in the cost functional, we follow an approach by E. Casas and K. Kunisch and consider a bound on the measure norm of the initial control. The variational discretization of the p…
▽ More
We consider a parabolic optimal control problem with an initial measure control. The cost functional consists of a tracking term corresponding to the observation of the state at final time. Instead of a regularization term in the cost functional, we follow an approach by E. Casas and K. Kunisch and consider a bound on the measure norm of the initial control. The variational discretization of the problem together with the optimality conditions induce maximal discrete sparsity of the initial control, i.e. Dirac measures in space. We present numerical experiments to illustrate our approach.
△ Less
Submitted 17 August, 2020; v1 submitted 31 March, 2020;
originally announced March 2020.
-
Cahn-Hilliard Navier-Stokes Simulations for Marine Free-Surface Flows
Authors:
Niklas Kühl,
Michael Hinze,
Thomas Rung
Abstract:
The paper is devoted to the simulation of maritime two-phase flows of air and water. Emphasis is put on an extension of the classical Volume-of-Fluid (VoF) method by a diffusive contribution derived from a Cahn-Hilliard (CH) model and its benefits for simulating immiscible, incompressible two-phase flows. Such flows are predominantly simulated with implicit VoF schemes, which mostly employ heurist…
▽ More
The paper is devoted to the simulation of maritime two-phase flows of air and water. Emphasis is put on an extension of the classical Volume-of-Fluid (VoF) method by a diffusive contribution derived from a Cahn-Hilliard (CH) model and its benefits for simulating immiscible, incompressible two-phase flows. Such flows are predominantly simulated with implicit VoF schemes, which mostly employ heuristic downwind-biased approximations for the concentration transport to mimic a sharp interface. This strategy introduces a severe time step restriction and requires pseudo time-step** of steady flows. Our overall goal is a sound description of the free-surface region that alleviates artificial time-step restrictions, facilitates an efficient and robust numerical framework and inherently includes surface tension effects when needed. The approach is verified for an analytical Couette-flow example and the bubble formation under the influence of surface tension forces. 2D Validation examples are concerned with laminar standing waves reaching from gravity to capillary scale as well as a submerged hydrofoil flow. The final application refers to the 3D flow around an experimentally investigated container vessel at fixed floatation for Re=1.4E+07 and Fn=0.26. Results are compared with data obtained from VoF approaches, supplemented by analytical solutions and measurements. The study indicates the superior efficiency, resharpening capability and wider predictive realm of the CH-based extension for free surface flows with a confined spatial range of interface Courant numbers.
△ Less
Submitted 23 March, 2020; v1 submitted 12 February, 2020;
originally announced February 2020.
-
Reduced basis methods for quasilinear elliptic PDEs with applications to permanent magnet synchronous motors
Authors:
Michael Hinze,
Denis Korolev
Abstract:
In this paper, we propose a certified reduced basis (RB) method for quasilinear elliptic problems together with its application to nonlinear magnetostatics equations, where the later model permanent magnet synchronous motors (PMSM). The parametrization enters through the geometry of the domain and thus, combined with the nonlinearity, drives our reduction problem. We provide a residual-based a-pos…
▽ More
In this paper, we propose a certified reduced basis (RB) method for quasilinear elliptic problems together with its application to nonlinear magnetostatics equations, where the later model permanent magnet synchronous motors (PMSM). The parametrization enters through the geometry of the domain and thus, combined with the nonlinearity, drives our reduction problem. We provide a residual-based a-posteriori error bound which, together with the Greedy approach, allows to construct reduced-basis spaces of small dimensions. We use the empirical interpolation method (EIM) to guarantee the efficient offline-online computational procedure. The reduced-basis solution is then obtained with the surrogate of the Newton's method. The numerical results indicate that the proposed reduced-basis method provides a significant computational gain, compared to a finite element method.
△ Less
Submitted 2 July, 2020; v1 submitted 11 February, 2020;
originally announced February 2020.
-
Learning patient-specific parameters for a diffuse interface glioblastoma model from neuroimaging data
Authors:
Abramo Agosti,
Pasquale Ciarletta,
Harald Garcke,
Michael Hinze
Abstract:
Parameters in mathematical models for glioblastoma multiforme (GBM) tumour growth are highly patient specific. Here we aim to estimate parameters in a Cahn-Hilliard type diffuse interface model in an optimised way using model order reduction (MOR) based on proper orthogonal decomposition (POD). Based on snapshots derived from finite element simulations for the full order model (FOM) we use POD for…
▽ More
Parameters in mathematical models for glioblastoma multiforme (GBM) tumour growth are highly patient specific. Here we aim to estimate parameters in a Cahn-Hilliard type diffuse interface model in an optimised way using model order reduction (MOR) based on proper orthogonal decomposition (POD). Based on snapshots derived from finite element simulations for the full order model (FOM) we use POD for dimension reduction and solve the parameter estimation for the reduced order model (ROM). Neuroimaging data are used to define the highly inhomogeneous diffusion tensors as well as to define a target functional in a patient specific manner. The reduced order model heavily relies on the discrete empirical interpolation method (DEIM) which has to be appropriately adapted in order to deal with the highly nonlinear and degenerate parabolic PDEs. A feature of the approach is that we iterate between full order solves with new parameters to compute a POD basis function and sensitivity based parameter estimation for the ROM problems. The algorithm is applied using neuroimaging data for two clinical test cases and we can demonstrate that the reduced order approach drastically decreases the computational effort.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Simulation and Control of a Nonsmooth Cahn-Hilliard Navier-Stokes System
Authors:
Carmen Gräßle,
Michael Hintermüller,
Michael Hinze,
Tobias Keil
Abstract:
We are concerned with the simulation and control of a two phase flow model governed by a coupled Cahn-Hilliard Navier-Stokes system involving a nonsmooth energy potential. We establish the existence of optimal solutions and present two distinct approaches to derive suitable stationarity conditions for the bilevel problem, namely C- and strong stationarity. Moreover, we demonstrate the numerical re…
▽ More
We are concerned with the simulation and control of a two phase flow model governed by a coupled Cahn-Hilliard Navier-Stokes system involving a nonsmooth energy potential. We establish the existence of optimal solutions and present two distinct approaches to derive suitable stationarity conditions for the bilevel problem, namely C- and strong stationarity. Moreover, we demonstrate the numerical realization of these concepts at the hands of two adaptive solution algorithms relying on a specifically developed goal-oriented error estimator. In addition, we present a model order reduction approach using proper orthogonal decomposition (POD-MOR) in order to replace high-fidelity models by low order surrogates. In particular, we combine POD with space-adapted snapshots and address the challenges which are the consideration of snapshots with different spatial resolutions and the conservation of a solenoidal property.
△ Less
Submitted 9 July, 2019;
originally announced July 2019.
-
Model Order Reduction by Proper Orthogonal Decomposition
Authors:
Carmen Gräßle,
Michael Hinze,
Stefan Volkwein
Abstract:
We provide an introduction to POD-MOR with focus on (nonlinear) parametric PDEs and (nonlinear) time-dependent PDEs, and PDE constrained optimization with POD surrogate models as application. We cover the relation of POD and SVD, POD from the infinite-dimensional perspective, reduction of nonlinearities, certification with a priori and a posteriori error estimates, spatial and temporal adaptivity,…
▽ More
We provide an introduction to POD-MOR with focus on (nonlinear) parametric PDEs and (nonlinear) time-dependent PDEs, and PDE constrained optimization with POD surrogate models as application. We cover the relation of POD and SVD, POD from the infinite-dimensional perspective, reduction of nonlinearities, certification with a priori and a posteriori error estimates, spatial and temporal adaptivity, input dependency of the POD surrogate model, POD basis update strategies in optimal control with surrogate models, and sketch related algorithmic frameworks. The perspective of the method is demonstrated with several numerical examples.
△ Less
Submitted 1 August, 2020; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Sufficient conditions for unique global solutions in optimal control of semilinear equations with $C^1-$nonlinearity
Authors:
A. Ahmad Ali,
K. Deckelnick,
M. Hinze
Abstract:
We consider a $C^1-$semilinear elliptic optimal control problem possibly subject to control and/or state constraints. Generalizing previous work we provide a condition which guarantees that a solution of the necessary first order conditions is a global minimum. A similiar result also holds at the discrete level where the corresponding condition can be evaluated explicitly. Our investigations are m…
▽ More
We consider a $C^1-$semilinear elliptic optimal control problem possibly subject to control and/or state constraints. Generalizing previous work we provide a condition which guarantees that a solution of the necessary first order conditions is a global minimum. A similiar result also holds at the discrete level where the corresponding condition can be evaluated explicitly. Our investigations are motivated by Günter Leugering, who raised the question whether our previous results can be extended to the nonlinearity $φ(s)=s|s|$. We develop a corresponding analysis and present several numerical test examples demonstrating its usefulness in practice.
△ Less
Submitted 25 February, 2019;
originally announced February 2019.
-
Decoupling of Control and Force Objective in Adjoint-Based Fluid Dynamic Shape Optimization
Authors:
Niklas Kühl,
Peter M. Müller,
Arthur Stück,
Michael Hinze,
Thomas Rung
Abstract:
We discuss exterior and classical interior alternatives for evaluating fluid flow induced forces on bodies. The discussion aims at a reduction of the total shape derivative, achieved through a decoupling of control and objective in the exterior approach. In this case, geometric as well as convective contributions to the shape derivative vanish. Convective contributions depend on primal physics and…
▽ More
We discuss exterior and classical interior alternatives for evaluating fluid flow induced forces on bodies. The discussion aims at a reduction of the total shape derivative, achieved through a decoupling of control and objective in the exterior approach. In this case, geometric as well as convective contributions to the shape derivative vanish. Convective contributions depend on primal physics and may disappear, which is not the case for geometric components. The latter can be interpreted as curvatures immanent to industrial applications. The remaining local derivative of the objective functional can be determined efficiently with an adjoint system, that differs to the classical approach in its boundary conditions only and resembles an ALE strategy. A two-dimensional flow exposed to gravity illustrates the features of the exterior approach, whereby carefully derived derivatives from a second order Finite-Difference study were used to validate the results.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
Finite element approximation of source term identification with TV-regularization
Authors:
Michael Hinze,
Tran Nhan Tam Quyen
Abstract:
In this paper we investigate the problem of recovering the source term in an elliptic system from a measurement of the state on a part of the boundary. For the particular interest in reconstructing probably discontinuous sources, we use the standard least squares method with the total variation regularization. The finite element method is then applied to discretize the minimization problem, we sho…
▽ More
In this paper we investigate the problem of recovering the source term in an elliptic system from a measurement of the state on a part of the boundary. For the particular interest in reconstructing probably discontinuous sources, we use the standard least squares method with the total variation regularization. The finite element method is then applied to discretize the minimization problem, we show the stability and the convergence of this technique. Furthermore, we have proposed an algorithm to stably solve the minimization problem. We prove the iterate sequence generated by the derived algorithm converging to a minimizer of the regularization problem, and that convergence measurement is also established. Finally, a numerical experiment is presented to illustrate our theoretical findings.
△ Less
Submitted 4 July, 2019; v1 submitted 29 January, 2019;
originally announced January 2019.
-
Global minima for optimal control of the obstacle problem
Authors:
Ahmad Ahmad Ali,
Klaus Deckelnick,
Michael Hinze
Abstract:
An optimal control problem subject to an elliptic obstacle problem is studied. We obtain a numerical approximation of this problem by discretising the PDE obtained via a Moreau--Yosida type penalisation. For the resulting discrete control problem we provide a condition that allows to decide whether a solution of the necessary first order conditions is a global minimum. In addition we show that the…
▽ More
An optimal control problem subject to an elliptic obstacle problem is studied. We obtain a numerical approximation of this problem by discretising the PDE obtained via a Moreau--Yosida type penalisation. For the resulting discrete control problem we provide a condition that allows to decide whether a solution of the necessary first order conditions is a global minimum. In addition we show that the corresponding result can be transferred to the limit problem provided that the above condition holds uniformly in the penalisation and discretisation parameters. Numerical examples with unique global solutions are presented.
△ Less
Submitted 19 October, 2018;
originally announced October 2018.
-
POD model order reduction with space-adapted snapshots for incompressible flows
Authors:
Carmen Gräßle,
Michael Hinze,
Jens Lang,
Sebastian Ullmann
Abstract:
We consider model order reduction based on proper orthogonal decomposition (POD) for unsteady incompressible Navier-Stokes problems, assuming that the snapshots are given by spatially adapted finite element solutions. We propose two approaches of deriving stable POD-Galerkin reduced-order models for this context. In the first approach, the pressure term and the continuity equation are eliminated b…
▽ More
We consider model order reduction based on proper orthogonal decomposition (POD) for unsteady incompressible Navier-Stokes problems, assuming that the snapshots are given by spatially adapted finite element solutions. We propose two approaches of deriving stable POD-Galerkin reduced-order models for this context. In the first approach, the pressure term and the continuity equation are eliminated by imposing a weak incompressibility constraint with respect to a pressure reference space. In the second approach, we derive an inf-sup stable velocity-pressure reduced-order model by enriching the velocity reduced space with supremizers computed on a velocity reference space. For problems with inhomogeneous Dirichlet conditions, we show how suitable lifting functions can be obtained from standard adaptive finite element computations. We provide a numerical comparison of the considered methods for a regularized lid-driven cavity problem.
△ Less
Submitted 1 August, 2019; v1 submitted 9 October, 2018;
originally announced October 2018.
-
Reduced basis methods- an application to variational discretization of parametrized elliptic optimal control problems
Authors:
Ahmad Ahmad Ali,
Michael Hinze
Abstract:
We consider a class of parameter-dependent optimal control problems of elliptic PDEs with constraints of general type on the control variable. Applying the concept of variational discretization, [4], together with techniques from the Reduced basis method, we construct a reduced basis surrogate model for the control problem. We establish estimators for the greedy sampling procedure which only invol…
▽ More
We consider a class of parameter-dependent optimal control problems of elliptic PDEs with constraints of general type on the control variable. Applying the concept of variational discretization, [4], together with techniques from the Reduced basis method, we construct a reduced basis surrogate model for the control problem. We establish estimators for the greedy sampling procedure which only involve the residuals of the state and the adjoint equation, but not of the gradient equation of the optimality system. The estimators are sharp up to a constant, i.e. they are equivalent to the approximation erros in control, state, and adjoint state. Numerical experiments show the performance of our approach.
△ Less
Submitted 16 August, 2018;
originally announced August 2018.
-
Maximal discrete sparsity in parabolic optimal control with measures
Authors:
Evelyn Herberg,
Michael Hinze,
Henrik Schumacher
Abstract:
We consider variational discretization of a parabolic optimal control problem governed by space-time measure controls. For the state discretization we use a Petrov-Galerkin method employing piecewise constant states and piecewise linear and continuous test functions in time. For the space discretization we use piecewise linear and continuous functions. As a result the controls are composed of Dira…
▽ More
We consider variational discretization of a parabolic optimal control problem governed by space-time measure controls. For the state discretization we use a Petrov-Galerkin method employing piecewise constant states and piecewise linear and continuous test functions in time. For the space discretization we use piecewise linear and continuous functions. As a result the controls are composed of Dirac measures in space-time, centered at points on the discrete space-time grid. We prove that the optimal discrete states and controls converge strongly in $L^q$ and weakly-$*$ in $\mathcal{M}$, respectively, to their smooth counterparts, where $q \in (1,\min\{2,1+2/d\}]$ is the spatial dimension. Furthermore, we compare our approach to a approach by Casas, E. and Kunisch, K., where the corresponding control problem is discretized employing a discontinuous Galerkin method for the state discretization and where the discrete controls are piecewise constant in time and Dirac measures in space. Numerical experiments highlight the features of our discrete approach.
△ Less
Submitted 22 November, 2019; v1 submitted 27 April, 2018;
originally announced April 2018.
-
POD for optimal control of the Cahn-Hilliard system using spatially adapted snapshots
Authors:
Carmen Gräßle,
Michael Hinze,
Nicolas Scharmacher
Abstract:
The present work considers the optimal control of a convective Cahn-Hilliard system, where the control enters through the velocity in the transport term. We prove the existence of a solution to the considered optimal control problem. For an efficient numerical solution, the expensive high-dimensional PDE systems are replaced by reduced-order models utilizing proper orthogonal decomposition (POD-RO…
▽ More
The present work considers the optimal control of a convective Cahn-Hilliard system, where the control enters through the velocity in the transport term. We prove the existence of a solution to the considered optimal control problem. For an efficient numerical solution, the expensive high-dimensional PDE systems are replaced by reduced-order models utilizing proper orthogonal decomposition (POD-ROM). The POD modes are computed from snapshots which are solutions of the governing equations which are discretized utilizing adaptive finite elements. The numerical tests show that the use of POD-ROM combined with spatially adapted snapshots leads to large speedup factors compared with a high-fidelity finite element optimization.
△ Less
Submitted 7 March, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Variational discretization of a control-constrained parabolic bang-bang optimal control problem
Authors:
Nikolaus von Daniels,
Michael Hinze
Abstract:
We consider a control-constrained parabolic optimal control problem without Tikhonov term in the tracking functional. For the numerical treatment, we use variational discretization of its Tikhonov regularization: For the state and the adjoint equation, we apply Petrov-Galerkin schemes from [Daniels et al 2015] in time and usual conforming finite elements in space. We prove a-priori estimates for t…
▽ More
We consider a control-constrained parabolic optimal control problem without Tikhonov term in the tracking functional. For the numerical treatment, we use variational discretization of its Tikhonov regularization: For the state and the adjoint equation, we apply Petrov-Galerkin schemes from [Daniels et al 2015] in time and usual conforming finite elements in space. We prove a-priori estimates for the error between the discretized regularized problem and the limit problem. Since these estimates are not robust if the regularization parameter tends to zero, we establish robust estimates, which --- depending on the problem's regularity --- enhance the previous ones. In the special case of bang-bang solutions, these estimates are further improved. A numerical example confirms our analytical findings.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Error analysis for global minima of semilinear optimal control problems
Authors:
Ahmad Ahmad Ali,
Klaus Deckelnick,
Michael Hinze
Abstract:
In [1] we consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization, where we provide a condition which allows to decide whether a solution of the necessary first order conditions is a global minimum. This condition can be explicitly evaluated at the discrete level. Furthermore, we prove that if the above condition holds uniformly with re…
▽ More
In [1] we consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization, where we provide a condition which allows to decide whether a solution of the necessary first order conditions is a global minimum. This condition can be explicitly evaluated at the discrete level. Furthermore, we prove that if the above condition holds uniformly with respect to the discretization parameter the sequence of discrete solutions converges to a global solution of the corresponding limit problem. With the present work we complement our investigations of [1] in that we prove an error estimate for those discrete global solutions. Numerical experiments confirm our analytical findings.
△ Less
Submitted 2 May, 2017;
originally announced May 2017.
-
A regularization approach for an inverse source problem in elliptic systems from single Cauchy data
Authors:
Michael Hinze,
Bernd Hofmann,
Tran Nhan Tam Quyen
Abstract:
In this paper we investigate the problem of identifying the source term in an elliptic system from a single noisy measurement couple of the Neumann and Dirichlet data. A variational method of Tikhonov-type regularization with specific misfit term of Kohn-Vogelius-type and quadratic stabilizing penalty term is suggested to tackle this linear inverse problem. The method also appears as a variant of…
▽ More
In this paper we investigate the problem of identifying the source term in an elliptic system from a single noisy measurement couple of the Neumann and Dirichlet data. A variational method of Tikhonov-type regularization with specific misfit term of Kohn-Vogelius-type and quadratic stabilizing penalty term is suggested to tackle this linear inverse problem. The method also appears as a variant of the Lavrentiev regularization. For the occurring linear inverse problem in infinite dimensional Hilbert spaces, convergence and rate results can be found from the general theory of classical Tikhonov and Lavrentiev regularization. Using the variational discretization concept, where the PDE is discretized with piecewise linear and continuous finite elements, we show the convergence of finite element approximations to solutions of the identification problem. Moreover, we derive an error bound and corresponding convergence rates provided a suitable range-type source condition is satisfied. For the numerical solution we propose a conjugate gradient method. To illustrate the theoretical results, a numerical case study is presented which supports our analytical findings.
△ Less
Submitted 14 March, 2019; v1 submitted 28 March, 2017;
originally announced March 2017.
-
A Certified Model Reduction Approach for Robust Parameter Optimization with PDE Constraints
Authors:
Alessandro Alla,
Michael Hinze,
Philip Kolvenbach,
Oliver Lass,
Stefan Ulbrich
Abstract:
We investigate an optimization problem governed by an elliptic partial differential equation with uncertain parameters. We introduce a robust optimization framework that accounts for uncertain model parameters. The resulting non-linear optimization problem has a bi-level structure due to the min-max formulation. To approximate the worst-case in the optimization problem we propose linear and quadra…
▽ More
We investigate an optimization problem governed by an elliptic partial differential equation with uncertain parameters. We introduce a robust optimization framework that accounts for uncertain model parameters. The resulting non-linear optimization problem has a bi-level structure due to the min-max formulation. To approximate the worst-case in the optimization problem we propose linear and quadratic approximations. However, this approach still turns out to be very expensive, therefore we propose an adaptive model order reduction technique which avoids long offline stages and provides a certified reduced order surrogate model for the parametrized PDE which is then utilized in the numerical optimization. Numerical results are presented to validate the presented approach.
△ Less
Submitted 21 September, 2019; v1 submitted 5 March, 2017;
originally announced March 2017.
-
A phase field approach to shape optimization in Navier--Stokes flow with integral state constraint
Authors:
Harald Garcke,
Michael Hinze,
Christian Kahle,
Kei Fong Lam
Abstract:
We consider the shape optimization of an object in Navier--Stokes flow by employing a combined phase field and porous medium approach, along with additional perimeter regularization. By considering integral control and state constraints, we extend the results of earlier works concerning the existence of optimal shapes and the derivation of first order optimality conditions. The control variable is…
▽ More
We consider the shape optimization of an object in Navier--Stokes flow by employing a combined phase field and porous medium approach, along with additional perimeter regularization. By considering integral control and state constraints, we extend the results of earlier works concerning the existence of optimal shapes and the derivation of first order optimality conditions. The control variable is a phase field function that prescribes the shape and topology of the object, while the state variables are the velocity and the pressure of the fluid. In our analysis, we cover a multitude of constraints which include constraints on the center of mass, the volume of the fluid region, and the drag of the object. Finally, we present numerical results of the optimization problem that is solved using the variable metric projection type (VMPT) method proposed by Blank and Rupprecht, where we consider one example of topology optimization without constraints and one example of maximizing the lift of the object with a state constraint, as well as a comparison with earlier results for the drag minimization.
△ Less
Submitted 2 December, 2018; v1 submitted 13 February, 2017;
originally announced February 2017.
-
POD reduced order modeling for evolution equations utilizing arbitrary finite element discretizations
Authors:
Carmen Gräßle,
Michael Hinze
Abstract:
The main focus of the present work is the inclusion of spatial adaptivity for the snapshot computation in the offline phase of model order reduction utilizing Proper Orthogonal Decomposition (POD-MOR) for nonlinear parabolic evolution problems. We consider snapshots which live in different finite element spaces, which means in a fully discrete setting that the snapshots are vectors of different le…
▽ More
The main focus of the present work is the inclusion of spatial adaptivity for the snapshot computation in the offline phase of model order reduction utilizing Proper Orthogonal Decomposition (POD-MOR) for nonlinear parabolic evolution problems. We consider snapshots which live in different finite element spaces, which means in a fully discrete setting that the snapshots are vectors of different length. From a numerical point of view, this leads to the problem that the usual POD procedure which utilizes a singular value decomposition of the snapshot matrix, cannot be carried out. In order to overcome this problem, we here construct the POD model / basis using the eigensystem of the correlation matrix (snapshot gramian), which is motivated from a continuous perspective and is set up explicitly e.g. without the necessity of interpolating snapshots into a common finite element space. It is an advantage of this approach that the assembling of the matrix only requires the evaluation of inner products of snapshots in a common Hilbert space. This allows a great flexibility concerning the spatial discretization of the snapshots. The analysis for the error between the resulting POD solution and the true solution reveals that the accuracy of the reduced order solution can be estimated by the spatial and temporal discretization error as well as the POD error. Finally, to illustrate the feasibility our approach, we present a test case of the Cahn-Hilliard system utilizing h-adapted hierarchical meshes and two settings of a linear heat equation using nested and non-nested grids.
△ Less
Submitted 1 August, 2020; v1 submitted 18 January, 2017;
originally announced January 2017.
-
Optimal Control of time-discrete two-phase flow driven by a diffuse-interface model
Authors:
Harald Garcke,
Michael Hinze,
Christian Kahle
Abstract:
We propose a general control framework for two-phase flows with variable densities in the diffuse interface formulation, where the distribution of the fluid components is described by a phase field. The flow is governed by the diffuse interface model proposed in [Abels, Garcke, Grün, M3AS 22(3):1150013(40), 2012]. On the basis of the stable time discretization proposed in [Garcke, Hinze, Kahle, AP…
▽ More
We propose a general control framework for two-phase flows with variable densities in the diffuse interface formulation, where the distribution of the fluid components is described by a phase field. The flow is governed by the diffuse interface model proposed in [Abels, Garcke, Grün, M3AS 22(3):1150013(40), 2012]. On the basis of the stable time discretization proposed in [Garcke, Hinze, Kahle, APPL NUMER MATH, 99:151--171, 2016] we derive necessary optimality conditions for the time-discrete and the fully discrete optimal control problem. We present numerical examples with distributed and boundary controls, and also consider the case, where the initial value of the phase field serves as control variable.
△ Less
Submitted 7 December, 2016;
originally announced December 2016.
-
Identifying conductivity in electrical impedance tomography with total variation regularization
Authors:
Michael Hinze,
Barbara Kaltenbacher,
Tran Nhan Tam Quyen
Abstract:
In this paper we investigate the problem of identifying conductivity in electrical impedance tomography from one boundary measurement. A variational method with total variation regularization is here proposed to tackle this problem. We discretize the PDE as well as the conductivity with piecewise linear, continuous finite elements. We prove the stability and convergence of this technique. For the…
▽ More
In this paper we investigate the problem of identifying conductivity in electrical impedance tomography from one boundary measurement. A variational method with total variation regularization is here proposed to tackle this problem. We discretize the PDE as well as the conductivity with piecewise linear, continuous finite elements. We prove the stability and convergence of this technique. For the numerical solution we propose a projected Armijo algorithm. Finally, a numerical experiment is presented to illustrate our theoretical results.
△ Less
Submitted 22 September, 2017; v1 submitted 13 September, 2016;
originally announced September 2016.
-
Solving Large-Scale Inverse Magnetostatic Problems using the Adjoint Method
Authors:
Florian Bruckner,
Claas Abert,
Gregor Wautischer,
Christian Huber,
Christoph Vogler,
Michael Hinze,
Dieter Suess
Abstract:
An efficient algorithm for the reconstruction of the magnetization state within magnetic components is presented. The occurring inverse magnetostatic problem is solved by means of an adjoint approach, based on the Fredkin-Koehler method for the solution of the forward problem. Due to the use of hybrid FEM-BEM coupling combined with matrix compression techniques the resulting algorithm is well suit…
▽ More
An efficient algorithm for the reconstruction of the magnetization state within magnetic components is presented. The occurring inverse magnetostatic problem is solved by means of an adjoint approach, based on the Fredkin-Koehler method for the solution of the forward problem. Due to the use of hybrid FEM-BEM coupling combined with matrix compression techniques the resulting algorithm is well suited for large-scale problems. Furthermore the reconstruction of the magnetization state within a permanent magnet is demonstrated.
△ Less
Submitted 31 August, 2016;
originally announced September 2016.
-
A-posteriori snapshot location for POD in optimal control of linear parabolic equations
Authors:
Alessandro Alla,
Carmen Graessle,
Michael Hinze
Abstract:
In this paper we study the approximation of an optimal control problem for linear para\-bolic PDEs with model order reduction based on Proper Orthogonal Decomposition (POD-MOR). POD-MOR is a Galerkin approach where the basis functions are obtained upon information contained in time snapshots of the parabolic PDE related to given input data. In the present work we show that for POD-MOR in optimal c…
▽ More
In this paper we study the approximation of an optimal control problem for linear para\-bolic PDEs with model order reduction based on Proper Orthogonal Decomposition (POD-MOR). POD-MOR is a Galerkin approach where the basis functions are obtained upon information contained in time snapshots of the parabolic PDE related to given input data. In the present work we show that for POD-MOR in optimal control of parabolic equations it is important to have knowledge about the controlled system at the right time instances. We propose to determine the time instances (snapshot locations) by an a-posteriori error control concept. This method is based on a reformulation of the optimality system of the underlying optimal control problem as a second order in time and fourth order in space elliptic system which is approximated by a space-time finite element method. Finally, we present numerical tests to illustrate our approach and to show the effectiveness of the method in comparison to existing approaches.
△ Less
Submitted 30 August, 2016;
originally announced August 2016.
-
Diffuse interface approaches in atmosphere and ocean - modeling and numerical implementation
Authors:
Harald Garcke,
Michael Hinze,
Christian Kahle
Abstract:
We propose to model physical effects at the sharp density interface between atmosphere and ocean with the help of diffuse interface approaches for multiphase flows with variable densities. We use the variable-density model proposed in \cite{m6:AbelsGarckeGruen_CHNSmodell}. This results in a Cahn-Hilliard/Navier-Stokes type system which we complement with tangential Dirichlet boundary conditions to…
▽ More
We propose to model physical effects at the sharp density interface between atmosphere and ocean with the help of diffuse interface approaches for multiphase flows with variable densities. We use the variable-density model proposed in \cite{m6:AbelsGarckeGruen_CHNSmodell}. This results in a Cahn-Hilliard/Navier-Stokes type system which we complement with tangential Dirichlet boundary conditions to incorporate the effect of wind in the atmosphere. Wind is responsible for waves at the surface of the ocean, whose dynamics have an important impact on the $CO_2-$exchange between ocean and atmosphere. We tackle this mathematical model numerically with fully adaptive and integrated numerical schemes tailored to the simulation of variable density multiphase flows governed by diffuse interface models. Here, {\it fully adaptive, integrated, efficient, and reliable} means that the mesh resolution is chosen by the numerical algorithm according to a prescribed error tolerance in the {\it a posteriori} error control on the basis of residual-based error indicators, which allow to estimate the true error from below (efficient) and from above (reliable). Our approach is based on the work of \cite{m6:HintermuellerHinzeKahle_adaptiveCHNS,m6:GarckeHinzeKahle_CHNS_AGG_linearStableTimeDisc}, where a fully adaptive efficient and reliable numerical method for the simulation of two-dimensional multiphase flows with variable densities is developed. We incorporate the stimulation of surface waves via appropriate boundary conditions.
△ Less
Submitted 27 July, 2016;
originally announced July 2016.
-
Optimal control of elliptic surface PDEs with pointwise bounds on the state
Authors:
Ahmad Ahmad Ali,
Michael Hinze,
Heiko Kröner
Abstract:
We consider a linear-quadratic optimization problem with pointwise bounds on the state for which the constraint is given by the Laplace-Beltrami equation (to have uniqueness we add an lower order term) on a two-dimensional surface . By using finite elements we approximate the optimization problem by a family of discrete problems and prove convergence rates for the discrete controls and the discret…
▽ More
We consider a linear-quadratic optimization problem with pointwise bounds on the state for which the constraint is given by the Laplace-Beltrami equation (to have uniqueness we add an lower order term) on a two-dimensional surface . By using finite elements we approximate the optimization problem by a family of discrete problems and prove convergence rates for the discrete controls and the discrete states. Furthermore, assuming (roughly spoken) a higher regularity for the control the order of convergence improves. This extends a result known in an Euclidean setting to the surface case.
△ Less
Submitted 9 June, 2016;
originally announced June 2016.
-
Variational discretization of parabolic control problems on evolving surfaces with pointwise state constraints
Authors:
Michael Hinze,
Heiko Kröner
Abstract:
We consider a linear-quadratic pde constrained optimal control problem on an evolving surface with pointwise state constraints. We reformulate the optimization problem on a fixed surface and approximate the reformulated problem by a discrete control problem based on a discretization of the state equation by linear finite elements in space and a discontinuous Galerkin scheme in time. We prove error…
▽ More
We consider a linear-quadratic pde constrained optimal control problem on an evolving surface with pointwise state constraints. We reformulate the optimization problem on a fixed surface and approximate the reformulated problem by a discrete control problem based on a discretization of the state equation by linear finite elements in space and a discontinuous Galerkin scheme in time. We prove error bounds for control and state.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
Multilevel Monte Carlo analysis for optimal control of elliptic PDEs with random coefficients
Authors:
Ahmad Ahmad Ali,
Elisabeth Ullmann,
Michael Hinze
Abstract:
This work is motivated by the need to study the impact of data uncertainties and material imperfections on the solution to optimal control problems constrained by partial differential equations. We consider a pathwise optimal control problem constrained by a diffusion equation with random coefficient together with box constraints for the control. For each realization of the diffusion coefficient w…
▽ More
This work is motivated by the need to study the impact of data uncertainties and material imperfections on the solution to optimal control problems constrained by partial differential equations. We consider a pathwise optimal control problem constrained by a diffusion equation with random coefficient together with box constraints for the control. For each realization of the diffusion coefficient we solve an optimal control problem using the variational discretization [M. Hinze, Comput. Optim. Appl., 30 (2005), pp. 45-61]. Our framework allows for lognormal coefficients whose realizations are not uniformly bounded away from zero and infinity. We establish finite element error bounds for the pathwise optimal controls. This analysis is nontrivial due to the limited spatial regularity and the lack of uniform ellipticity and boundedness of the diffusion operator. We apply the error bounds to prove convergence of a multilevel Monte Carlo estimator for the expected value of the pathwise optimal controls. In addition we analyze the computational complexity of the multilevel estimator. We perform numerical experiments in 2D space to confirm the convergence result and the complexity bound.
△ Less
Submitted 29 February, 2016;
originally announced February 2016.
-
A residual based snapshot location strategy for POD in distributed optimal control of linear parabolic equations
Authors:
Alessandro Alla,
Carmen Graessle,
Michael Hinze
Abstract:
In this paper we study the approximation of a distributed optimal control problem for linear para\-bolic PDEs with model order reduction based on Proper Orthogonal Decomposition (POD-MOR). POD-MOR is a Galerkin approach where the basis functions are obtained upon information contained in time snapshots of the parabolic PDE related to given input data. In the present work we show that for POD-MOR i…
▽ More
In this paper we study the approximation of a distributed optimal control problem for linear para\-bolic PDEs with model order reduction based on Proper Orthogonal Decomposition (POD-MOR). POD-MOR is a Galerkin approach where the basis functions are obtained upon information contained in time snapshots of the parabolic PDE related to given input data. In the present work we show that for POD-MOR in optimal control of parabolic equations it is important to have knowledge about the controlled system at the right time instances. For the determination of the time instances (snapshot locations) we propose an a-posteriori error control concept which is based on a reformulation of the optimality system of the underlying optimal control problem as a second order in time and fourth order in space elliptic system which is approximated by a space-time finite element method. Finally, we present numerical tests to illustrate our approach and to show the effectiveness of the method in comparison to existing approaches.
△ Less
Submitted 6 December, 2015;
originally announced December 2015.
-
Matrix Coefficient Identification in an Elliptic Equation with the Convex Energy Functional Method
Authors:
Michael Hinze,
Tran Nhan Tam Quyen
Abstract:
In this paper we study the inverse problem of identifying the diffusion matrix in an elliptic PDE from measurements. The convex energy functional method with Tikhonov regularization is applied to tackle this problem. For the discretization we use the variational discretization concept, where the PDE is discretized with piecewise linear, continuous finite elements. We show the convergence of approx…
▽ More
In this paper we study the inverse problem of identifying the diffusion matrix in an elliptic PDE from measurements. The convex energy functional method with Tikhonov regularization is applied to tackle this problem. For the discretization we use the variational discretization concept, where the PDE is discretized with piecewise linear, continuous finite elements. We show the convergence of approximations. Using a suitable source condition, we prove an error bound for discrete solutions. For the numerical solution we propose a gradient-projection algorithm and prove the strong convergence of its iterates to a solution of the identification problem. Finally, we present a numerical experiment which illustrates our theoretical results.
△ Less
Submitted 14 April, 2016; v1 submitted 19 October, 2015;
originally announced October 2015.
-
An optimal shape design problem for plates
Authors:
Klaus Deckelnick,
Michael Hinze,
Tobias Jordan
Abstract:
We consider an optimal shape design problem for the plate equation, where the variable thickness of the plate is the design function. This problem can be formulated as a control in the coefficient PDE-constrained optimal control problem with additional control and state constraints. The state constraints are treated with a Moreau-Yosida regularization of a dual problem. Variational discretization…
▽ More
We consider an optimal shape design problem for the plate equation, where the variable thickness of the plate is the design function. This problem can be formulated as a control in the coefficient PDE-constrained optimal control problem with additional control and state constraints. The state constraints are treated with a Moreau-Yosida regularization of a dual problem. Variational discretization is employed for discrete approximation of the optimal control problem. For discretization of the state in the mixed formulation we compare the standard continuous piecewise linear ansatz with a piecewise constant one based on the lowest-order Raviart-Thomas mixed finite element. We derive bounds for the discretization and regularization errors and also address the coupling of the regularization parameter and finite element grid size. The numerical solution of the optimal control problem is realized with a semismooth Newton algorithm. Numerical examples show the performance of the method.
△ Less
Submitted 10 June, 2015;
originally announced June 2015.
-
Shape optimization for surface functionals in Navier--Stokes flow using a phase field approach
Authors:
Harald Garcke,
Claudia Hecht,
Michael Hinze,
Christian Kahle,
Kei Fong Lam
Abstract:
We consider shape and topology optimization for fluids which are governed by the Navier--Stokes equations. Shapes are modelled with the help of a phase field approach and the solid body is relaxed to be a porous medium. The phase field method uses a Ginzburg--Landau functional in order to approximate a perimeter penalization. We focus on surface functionals and carefully introduce a new modelling…
▽ More
We consider shape and topology optimization for fluids which are governed by the Navier--Stokes equations. Shapes are modelled with the help of a phase field approach and the solid body is relaxed to be a porous medium. The phase field method uses a Ginzburg--Landau functional in order to approximate a perimeter penalization. We focus on surface functionals and carefully introduce a new modelling variant, show existence of minimizers and derive first order necessary conditions. These conditions are related to classical shape derivatives by identifying the sharp interface limit with the help of formally matched asymptotic expansions. Finally, we present numerical computations based on a Cahn--Hilliard type gradient descent which demonstrate that the method can be used to solve shape optimization problems for fluids with the help of the new approach.
△ Less
Submitted 24 April, 2015;
originally announced April 2015.
-
Global minima for semilinear optimal control problems
Authors:
Ahmad Ahmad Ali,
Klaus Deckelnick,
Michael Hinze
Abstract:
We consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization. We provide a condition which allows to decide whether a solution of the necessary first order conditions is a global minimum. This condition can be explicitly evaluated at the discrete level. Furthermore, we prove that if the above condition holds uniformly with respect to the…
▽ More
We consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization. We provide a condition which allows to decide whether a solution of the necessary first order conditions is a global minimum. This condition can be explicitly evaluated at the discrete level. Furthermore, we prove that if the above condition holds uniformly with respect to the discretization parameter the sequence of discrete solutions converges to a global solution of the corresponding limit problem. Numerical examples with unique global solutions are presented.
△ Less
Submitted 24 March, 2015;
originally announced March 2015.
-
A finite element method for Dirichlet boundary control problems governed by parabolic PDEs
Authors:
Wei Gong,
Michael Hinze,
Zhaojie Zhou
Abstract:
Finite element approximations of Dirichlet boundary control problems governed by parabolic PDEs on convex polygonal domains are studied in this paper. The existence of a unique solution to optimal control problems is guaranteed based on very weak solution of the state equation and $L^2(0,T;L^2(Γ))$ as control space. For the numerical discretization of the state equation we use standard piecewise l…
▽ More
Finite element approximations of Dirichlet boundary control problems governed by parabolic PDEs on convex polygonal domains are studied in this paper. The existence of a unique solution to optimal control problems is guaranteed based on very weak solution of the state equation and $L^2(0,T;L^2(Γ))$ as control space. For the numerical discretization of the state equation we use standard piecewise linear and continuous finite elements for the space discretization of the state, while a dG(0) scheme is used for time discretization. The Dirichlet boundary control is realized through a space-time $L^2$-projection. We consider both piecewise linear, continuous finite element approximation and variational discretization for the controls and derive a priori $L^2$-error bounds for controls and states. We finally present numerical examples to support our theoretical findings.
△ Less
Submitted 1 October, 2014;
originally announced October 2014.
-
Numerical approximation of phase field based shape and topology optimization for fluids
Authors:
Harald Garcke,
Claudia Hecht,
Michael Hinze,
Christian Kahle
Abstract:
We consider the problem of finding optimal shapes of fluid domains. The fluid obeys the Navier--Stokes equations. Inside a holdall container we use a phase field approach using diffuse interfaces to describe the domain of free flow. We formulate a corresponding optimization problem where flow outside the fluid domain is penalized. The resulting formulation of the shape optimization problem is show…
▽ More
We consider the problem of finding optimal shapes of fluid domains. The fluid obeys the Navier--Stokes equations. Inside a holdall container we use a phase field approach using diffuse interfaces to describe the domain of free flow. We formulate a corresponding optimization problem where flow outside the fluid domain is penalized. The resulting formulation of the shape optimization problem is shown to be well-posed, hence there exists a minimizer, and first order optimality conditions are derived.
For the numerical realization we introduce a mass conserving gradient flow and obtain a Cahn--Hilliard type system, which is integrated numerically using the finite element method. An adaptive concept using reliable, residual based error estimation is exploited for the resolution of the spatial mesh.
The overall concept is numerically investigated and comparison values are provided.
△ Less
Submitted 14 May, 2014;
originally announced May 2014.
-
HJB-POD feedback control for Navier-Stokes equations
Authors:
Alessandro Alla,
Michael Hinze
Abstract:
In this report we present the approximation of an infinite horizon optimal control problem for the evolutive Navier-Stokes system. The method is based on a model reduction technique, using a POD approximation, coupled with a Hamilton-Jacobi equation which characterizes the value function of the corresponding control problem for the reduced system. Although the approximation schemes available for t…
▽ More
In this report we present the approximation of an infinite horizon optimal control problem for the evolutive Navier-Stokes system. The method is based on a model reduction technique, using a POD approximation, coupled with a Hamilton-Jacobi equation which characterizes the value function of the corresponding control problem for the reduced system. Although the approximation schemes available for the HJB are shown to be convergent for any dimension, in practice we need to restrict the dimension to rather small numbers and this limitation affects the accuracy of the POD approximation. We will present numerical tests for the control of the time-dependent Navier-Stokes system in two-dimensional spatial domains to illustrate our approach and to show the effectiveness of the method.
△ Less
Submitted 6 May, 2014;
originally announced May 2014.
-
Crank-Nicolson time step** and variational discretization of control-constrained parabolic optimal control problems
Authors:
Nikolaus von Daniels,
Michael Hinze,
Morten Vierling
Abstract:
We consider a control constrained parabolic optimal control problem and use variational discretization for its time semi-discretization. The state equation is treated with a Petrov-Galerkin scheme using a piecewise constant Ansatz for the state and piecewise linear, continuous test functions. This results in variants of the Crank-Nicolson scheme for the state and the adjoint state. Exploiting a su…
▽ More
We consider a control constrained parabolic optimal control problem and use variational discretization for its time semi-discretization. The state equation is treated with a Petrov-Galerkin scheme using a piecewise constant Ansatz for the state and piecewise linear, continuous test functions. This results in variants of the Crank-Nicolson scheme for the state and the adjoint state. Exploiting a superconvergence result we prove second order convergence in time of the error in the controls. Moreover, the piecewise linear and continuous parabolic projection of the discrete state on the dual time grid provides a second order convergent approximation of the optimal state without further numerical effort. Numerical experiments confirm our analytical findings.
△ Less
Submitted 6 March, 2015; v1 submitted 12 March, 2014;
originally announced March 2014.
-
A stable and linear time discretization for a thermodynamically consistent model for two-phase incompressible flow
Authors:
Harald Garcke,
Michael Hinze,
Christian Kahle
Abstract:
A new time discretization scheme for the numerical simulation of two-phase flow governed by a thermodynamically consistent diffuse interface model is presented. The scheme is consistent in the sense that it allows for a discrete in time energy inequality. An adaptive spatial discretization is proposed that conserves the energy inequality in the fully discrete setting by applying a suitable post pr…
▽ More
A new time discretization scheme for the numerical simulation of two-phase flow governed by a thermodynamically consistent diffuse interface model is presented. The scheme is consistent in the sense that it allows for a discrete in time energy inequality. An adaptive spatial discretization is proposed that conserves the energy inequality in the fully discrete setting by applying a suitable post processing step to the adaptive cycle. For the fully discrete scheme a quasi-reliable error estimator is derived which estimates the error both of the flow velocity, and of the phase field. The validity of the energy inequality in the fully discrete setting is numerically investigated.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
Optimal Control of the Laplace-Beltrami operator on compact surfaces - concept and numerical treatment
Authors:
Michael Hinze,
Morten Vierling
Abstract:
We consider optimal control problems of elliptic PDEs on hypersurfaces in 2- or 3-dimensional Euclidean space. The leading part of the PDE is given by the Laplace-Beltrami operator, which is discretized by finite elements on a polyhedral approximation of the surface. The discrete optimal control problem is formulated on the approximating surface and is solved numerically with a semismooth Newton a…
▽ More
We consider optimal control problems of elliptic PDEs on hypersurfaces in 2- or 3-dimensional Euclidean space. The leading part of the PDE is given by the Laplace-Beltrami operator, which is discretized by finite elements on a polyhedral approximation of the surface. The discrete optimal control problem is formulated on the approximating surface and is solved numerically with a semismooth Newton algorithm. We derive optimal a priori error estimates for problems including control constraints and provide numerical examples confirming our analytical findings.
△ Less
Submitted 7 January, 2011;
originally announced January 2011.