Elliptic reconstruction and a posteriori error estimates for parabolic optimal control problems

In this article, a semidiscrete finite element method for parabolic optimal control problems is investigate. By using elliptic reconstruction, a posteriori error estimates for finite element discretizations of optimal control problem governed by parabolic equations with integral constraints are derived.     

Domain Decomposition,Optimal Control of Systems Governed by Partial Differential Equations,and Synthesis of Feedback Laws

We present an iterative domain decomposition method for the optimal control of systems governed by linear partial differential equations. The equations can be of elliptic, parabolic, or hyperbolic type. The space region supporting the partial differential equations is decomposed and the original global optimal control problem is reduced to a sequence of similar local optimal control problems set on the subdomains. The local problems communicate through transmission conditions, which take the form of carefully chosen boundary conditions on the interfaces between the subdomains. This domain decomposition method can be combined with any suitable numerical procedure to solve the local optimal control problems. We remark that it offers a good potential for using feedback laws (synthesis) in the case of time-dependent partial differential equations. A test problem for the wave equation is solved using this combination of synthesis and domain decomposition methods. Numerical results are presented and discussed. Details on discretization and implementation can be found in Ref. 1.     

POD a-posteriori error analysis for optimal control problems with mixed control-state constraints

In this work linear-quadratic optimal control problems for parabolic equations with mixed control-state constraints are considered. These problems arise when a Lavrentiev regularization is utilized for state constrained linear-quadratic optimal control problems. For the numerical solution a Galerkin discretization is applied utilizing proper orthogonal decomposition (POD). Based on a perturbation method it is determined how far the suboptimal control, computed on the basis of the POD method, is from the (unknown) exact one. Numerical examples illustrate the theoretical results. In particular, the POD Galerkin scheme is applied to a problem with state constraints.     

AN EMBEDDED BOUNDARY METHOD FOR ELLIPTIC AND PARABOLIC PROBLEMS WITH INTERFACES AND APPLICATION TO MULTI-MATERIAL SYSTEMS WITH PHASE TRANSITIONS

The embedded boundary method for solving elliptic and parabolic problems in geometrically complex domains using Cartesian meshes by Johansen and Colella （1998, J. Comput. Phys. 147, 60） has been extended for elliptic and parabolic problems with interior boundaries or interfaces of discontinuities of material properties or solutions. Second order accuracy is achieved in space and time for both stationary and moving interface problems. The method is conservative for elliptic and parabolic problems with fixed interfaces. Based on this method, a front tracking algorithm for the Stefan problem has been developed. The accuracy of the method is measured through comparison with exact solution to a two-dimensional Stefan problem. The algorithm has been used for the study of melting and solidification problems.     

Existence of Optimal Controls in the Absence of Cesari-Type Conditions forSemilinear Elliptic and Parabolic Systems

Some new results on the existence of optimal controls are established for control systems governed by semilinear elliptic or parabolic equations. No Cesari type conditions are assumed. By proving existence theorems and analyzing the Pontryagin maximum principle for optimal relaxed state-control pairs for the corresponding relaxed problems, existence theorems of classical optimal pairs for the original problem are established. To treat the case of a noncompact control set, relaxed controls defined by finitely additive measures are used.     

Verification of Second-Order Sufficient Optimality Conditions for Semilinear Elliptic and Parabolic Control Problems

We study optimal control problems for semilinear parabolic equations subject to control constraints and for semilinear elliptic equations subject to control and state constraints. We quote known second-order sufficient optimality conditions (SSC) from the literature. Both problem classes, the parabolic one with boundary control and the elliptic one with boundary or distributed control, are discretized by a finite difference method. The discrete SSC are stated and numerically verified in all cases providing an indication of optimality where only necessary conditions had been studied before.     

半线性椭圆方程支配系统的最优性条件

本文讨论了可能具有多值解的椭圆型偏微分方程支配系统的最优控制问题,我们通过构造一个抛物方程控制问题的逼近序列,并利用抛物方程控制问题的结果,得到了椭圆系统最优控制的必要条件．     

A Smooth Regularization of the Projection Formula for Constrained Parabolic Optimal Control Problems

We present a smooth, that is, differentiable regularization of the projection formula that occurs in constrained parabolic optimal control problems. We summarize the optimality conditions in function spaces for unconstrained and control-constrained problems subject to a class of parabolic partial differential equations. The optimality conditions are then given by coupled systems of parabolic PDEs. For constrained problems, a non-smooth projection operator occurs in the optimality conditions. For this projection operator, we present in detail a regularization method based on smoothed sign, minimum and maximum functions. For all three cases, that is, (1) the unconstrained problem, (2) the constrained problem including the projection, and (3) the regularized projection, we verify that the optimality conditions can be equivalently expressed by an elliptic boundary value problem in the space-time domain. For this problem and all three cases we discuss existence and uniqueness issues. Motivated by this elliptic problem, we use a simultaneous space-time discretization for numerical tests. Here, we show how a standard finite element software environment allows to solve the problem and, thus, to verify the applicability of this approach without much implementation effort. We present numerical results for an example problem.     

PERIODIC OPTIMAL CONTROL PROBLEMS GOVERNED BY SEMILINEAR PARABOLIC EQUATIONS WITH IMPULSE CONTROL

This paper is concerned with periodic optimal control problems governed by semilinear parabolic differential equations with impulse control.Pontryagin's maximum principle is derived.The proofs rely on a unique continuation estimate at one time for a linear parabolic equation.     

A FINITE ELEMENT COLLOCATION METHOD FOR TWO-PHASE INCOMPRESSIBLE IMMISCIBLE PROBLEMS

Two-phase,incompressible,immiscible flow in porous media is governed by a coupled system of nonlinear partial differential equations.The pressure equation is elliptic, whereas the concentration equation is parabolic,and both are treated by the collocation scheme.Existence and uniqueness of solutions of the algorithm are proved.A optimal convergence analysis is given for the method.     

On an inexact gradient method using Proper Orthogonal Decomposition for parabolic optimal control problems

This paper is devoted to a numerical solution technique for linear quadratic parabolic optimal control problems using the model order reduction technique of Proper Orthogonal Decomposition (POD). The proposed technique is an inexact gradient descent method where the step size is determined with a line-search algorithm evaluating the state and adjoint equations with POD. The gradient is evaluated with a Finite Element method which allows for a recently developed a posteriori error estimation technique to rate the error in the control. The method is compared to another algorithm presented by Tröltzsch and Volkwein (Comput. Optim. Appl. 42(1):43–63 2009).     

An inverse problem of identifying the diffusion coefficient in a coupled parabolic‐elliptic system

This work studies a nonlinear inverse problem of reconstructing the diffusion coefficient in a parabolic‐elliptic system using the final measurement data, which has important application in a large field of applied science. Being different from other works, which are governed by single partial differential equations, the underlying mathematical model in this paper is a coupled parabolic‐elliptic system, which makes theoretical analysis rather difficult. On the basis of the optimal control framework, the identification problem is transformed into an optimization problem. Then the existence of the minimizer is proved, and the necessary condition that must be satisfied by the minimizer is also given. Since the optimal control problem is nonconvex, one may not expect a unique solution universally. However, the local uniqueness and stability of the minimizer are deduced in this paper.     

Augmented Lagrangian method for distributed optimal control problems with state constraints

We consider state-constrained optimal control problems governed by elliptic equations. Doing Slater-like assumptions, we know that Lagrange multipliers exist for such problems, and we propose a decoupled augmented Lagrangian method. We present the algorithm with a simple example of a distributed control problem.     

Approximation of optimal control problems with state constraints

We study the approximation of control problems governed by elliptic partial differential equations with pointwise state constraints. For a finite dimensional approximation of the control set and for suitable perturbations of the state constraints, we prove that the corresponding sequence of discrete control problems converges to a relaxed problem. A similar analysis is carried out for problems in which the state equation is discretized by a finite element method.     

An alternating direction method of multipliers for elliptic equation constrained optimization problem

We propose an alternating direction method of multipliers (ADMM) for solving the state constrained optimization problems governed by elliptic equations. The unconstrained as well as box-constrained cases of the Dirichlet boundary control, Robin boundary control, and right-hand side control problems are considered here. These continuous optimization problems are transformed into discrete optimization problems by the finite element method discretization, then are solved by ADMM. The ADMM is an efficient first order algorithm with global convergence, which combines the decomposability of dual ascent with the superior convergence properties of the method of multipliers. We shall present exhaustive convergence analysis of ADMM for these different type optimization problems. The numerical experiments are performed to verify the efficiency of the method.     

两相可混溶驱动问题中近似压力方程的一种新方法

1　介　　绍ΩR2为凸多边形区域,Ω上的两相可混溶驱动问题可由以下微分方程系统来描述a)-.[a(x,c)(p-r(c)]=.u=q,b)φ(x)ct+u.c-(Dc)=(c-c)q=g(c),(1.1)其中a(x,c)=-k(x)μ(c),k(x)为介质的渗透率,μ(c)为流体的粘度,p为流体的压力,φ(x)为介质的孔隙度,c为一相流体的体积浓度,q为外部流体的体积流速,且满足相容性条件∫Ωqdx=0.D是2×2阶矩阵,D=φ(x)[dmI+|u|(dlE(u)+dtE⊥(u))],E(u)=(uiuj/|u|2)2×2,dm为分子扩散系数,dl,dt分别为横向、纵向弥散系数.系统的边界条件、初始条件:n为边界单位外法向a)u.n=0,(x,t)∈Ω×Jb)2i,j=1Dij(…     

A Posteriori Error Estimates of Mixed Methods for Parabolic Optimal Control Problems

In this article, we shall give a brief review on the fully discrete mixed finite element method for general optimal control problems governed by parabolic equations. The state and the co-state are approximated by the lowest order Raviart–Thomas mixed finite element spaces and the control is approximated by piecewise constant elements. Furthermore, we derive a posteriori error estimates for the finite element approximation solutions of optimal control problems. Some numerical examples are given to demonstrate our theoretical results.     

Optimal Control Problems for a Class of Semilinear Multisolution Elliptic Equations

We study the optimal control problem for a class of elliptic problems that may possess multiple solutions. We obtain necessary conditions for optimal control by constructing a related parabolic problem and using known results for the parabolic problem.     

Heterogeneous coupling by virtual control methods

The virtual control method, recently introduced to approximate elliptic and parabolic problems by overlapping domain decompositions (see [7–9]), is proposed here for heterogeneous problems. Precisely, we address the coupling of an advection equation with a diffusion-advection equation, with the aim of modelling boundary layers. We investigate both overlapping and non-overlapping (disjoint) subdomain decompositions. In the latter case, several cost functions are considered and a numerical assessment of our theoretical conclusions is carried out.     

A posteriori error estimates of spectral method for optimal control problems governed by parabolic equations

In this paper,we investigate the Legendre Galerkin spectral approximation of quadratic optimal control problems governed by parabolic equations.A spectral approximation scheme for the parabolic optimal control problem is presented.We obtain a posteriori error estimates of the approximated solutions for both the state and the control.