SECOND-ORDER OPTIMALITY CONDITIONS FOR OPTIMAL CONTROL PROBLEMS GOVERNED BY 3-DIMENSIONAL NEVIER-STOKES EQUATIONS

This article is concerned with second-order necessary and sufficient optimality conditions for optimal control problems governed by 3-dimensional Navier-Stokes equations. The periodic state constraint is considered.

Some results on pointwise second-order necessary conditions for stochastic optimal controls

The purpose of this paper is to derive some pointwise second-order necessary conditions for stochastic optimal controls in the general case that the control variable enters into both the drift and the diffusion terms.When the control region is convex, a pointwise second-order necessary condition for stochastic singular optimal controls in the classical sense is established; while when the control region is allowed to be nonconvex, we obtain a pointwise second-order necessary condition for stochastic singular optimal controls in the sense of Pontryagin-type maximum principle. It is found that, quite different from the first-order necessary conditions,the correction part of the solution to the second-order adjoint equation appears in the pointwise second-order necessary conditions whenever the diffusion term depends on the control variable, even if the control region is convex.

Multi-mesh Adaptive Finite Element Algorithms for Constrained Optimal Control Problems Governed By Semi-Linear Parabolic Equations

In this paper, we derive a posteriori error estimators for the constrained optimal control problems governed by semi-linear parabolic equations under some assumptions. Then we use them to construct reliable and efficient multi-mesh adaptive finite element algorithms for the optimal control problems. Some numerical experiments are presented to illustrate the theoretical results.

A Posteriori Error Estimates of Mixed Methods for Quadratic Optimal Control Problems Governed by Parabolic Equations

In this paper,we discuss the a posteriori error estimates of the mixed finite element method for quadratic optimal control problems governed by linear parabolic equations.The state and the co-state are discretized by the high order Raviart-Thomas mixed finite element spaces and the control is approximated by piecewise constant functions.We derive a posteriori error estimates for both the state and the control approximation.Such estimates,which are apparently not available in the literature,are an important step towards developing reliable adaptive mixed finite element approximation schemes for the control problem.

VARIATIONAL DISCRETIZATION FOR OPTIMAL CONTROL PROBLEMS GOVERNED BY PARABOLIC EQUATIONS

This paper considers the variational discretization for the constrained optimal control problem governed by linear parabolic equations.The state and co-state are approximated by RaviartThomas mixed finite element spaces,and the authors do not discretize the space of admissible control but implicitly utilize the relation between co-state and control for the discretization of the control.A priori error estimates are derived for the state,the co-state,and the control.Some numerical examples are presented to confirm the theoretical investigations.

Pointwise Second-Order Necessary Conditions for Stochastic Optimal Control with Jump Diffusions

In this paper,we establish a second-order necessary conditions for stochastic optimal control for jump diffusions.The controlled system is described by a stochastic differential systems driven by Poisson random measure and an independent Brownian motion.The control domain is assumed to be convex.Pointwise second-order maximum principle for controlled jump diffusion in terms of the martingale with respect to the time variable is proved.The proof of the main result is based on variational approach using the stochastic calculus of jump diffusions and some estimates on the state processes.

Superconvergence of Mixed Methods for Optimal Control Problems Governed by Parabolic Equations

In this paper,we investigate the superconvergence results for optimal control problems governed by parabolic equations with semidiscrete mixed finite element approximation.We use the lowest order mixed finite element spaces to discrete the state and costate variables while use piecewise constant function to discrete the control variable.Superconvergence estimates for both the state variable and its gradient variable are obtained.

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.

A Global Carleman Inequality and Exact Controllability of Parabolic Equations with Mixed Boundary Conditions

This paper establishes a global Carleman inequality of parabolic equations with mixed boundary conditions and an estimate of the solution. Further, we prove exact controllability of the equation by controls acting on an arbitrarily given subdomain or subboundary.

Optimal Control Problem Governed by Semilinear Parabolic Equation and its Algorithm

In this paper, an optimal control problem governed by semilinear parabolic equation which involves the control variable acting on forcing term and coefficients appearing in the higher order derivative terms is formulated and analyzed. The strong variation method, due originally to Mayne et al to solve the optimal control problem of a lumped parameter system, is extended to solve an optimal control problem governed by semilinear parabolic equation, a necessary condition is obtained, the strong variation algorithm for this optimal control problem is presented, and the corresponding convergence result of the algorithm is verified.

Insensitizing Controls for the Parabolic Equation with Equivalued Surface Boundary Conditions

This paper is devoted to the study of the existence of insensitizing controls for the parabolic equation with equivalued surface boundary conditions. The insensitizing problem consists in finding a control function such that some energy functional of the equation is locally insensitive to a perturbation of the initial data. As usual, this problem can be reduced to a partially null controllability problem for a cascade system of two parabolic equations with equivalued surface boundary conditions. Compared the problems with usual boundary conditions~ in the present case we need to derive a new global Carleman estimate, for which, in particular one needs to construct a new weight function to match the equivalued surface boundary conditions.

Superconvergence analysis of fully discrete finite element methods for semilinear parabolic optimal control problems

We study the superconvergence property of fully discrete finite element approximation for quadratic optimal control problems governed by semilinear parabolic equations with control constraints. The time discretization is based on difference methods, whereas the space discretization is done using finite element methods. The state and the adjoint state are approximated by piecewise linear functions and the control is approximated by piecewise constant functions. First, we define a fully discrete finite element approximation scheme for the semilinear parabolic control problem. Second, we derive the superconvergence properties for the control, the state and the adjoint state. Finally, we do some numerical experiments for illustrating our theoretical results.

Fully Discrete H^(1) -Galerkin Mixed Finite Element Methods for Parabolic Optimal Control Problems

In this paper,we investigate a priori and a posteriori error estimates of fully discrete H^(1)-Galerkin mixed finite element methods for parabolic optimal control prob-lems.The state variables and co-state variables are approximated by the lowest order Raviart-Thomas mixed finite element and linear finite element,and the control vari-able is approximated by piecewise constant functions.The time discretization of the state and co-state are based on finite difference methods.First,we derive a priori error estimates for the control variable,the state variables and the adjoint state variables.Second,by use of energy approach,we derive a posteriori error estimates for optimal control problems,assuming that only the underlying mesh is static.A numerical example is presented to verify the theoretical results on a priori error estimates.

Wavelet based approximations in the optimal control of parabolic problems

We consider optimal control of a bilinear parabolic equation. The determination of such control requires to minimize a given energy performance measure. The performance measure of the system is taken as a combination of its modified total energy and the penalty term describing the approach used in the control process. Using an appropriate transformation modal expansion, the optimal control of a distributed parameter system （DPS） is simplified into the optimal control of a bilinear time-varying lumped parameter system （LPS）. A computational efficient formulation to evaluate the optimal trajectory and control of the system is determined. It is based on the parametrization of the state and control variables by using finite wavelets. Numerical examples are provided to demonstrate the applicability and the efficiency of the proposed method and the results are quite satisfactory.

Convergence of optimal control problems governed by second kind parabolic variational inequalities

We consider a family of optimal control problems where the control variable is given by a boundary condition of Neumann type. This family is governed by parabolic variational inequalities of the second kind. We prove the strong convergence of the optimal control and state systems associated to this family to a similar optimal control problem. This work solves the open problem left by the authors in IFIP TC7 CSMO2011.

The Cost Functional and Its Gradient in Optimal Boundary Control Problem for Parabolic Systems

The problems of optimal control (OCPs) related to PDEs are a very active area of research. These problems deal with the processes of mechanical engineering, heat aeronautics, physics, hydro and gas dynamics, the physics of plasma and other real life problems. In this paper, we deal with a class of the constrained OCP for parabolic systems. It is converted to new unconstrained OCP by adding a penalty function to the cost functional. The existence solution of the considering system of parabolic optimal control problem (POCP) is introduced. In this way, the uniqueness theorem for the solving POCP is introduced. Therefore, a theorem for the sufficient differentiability conditions has been proved.

Optimal Distributed Control Problem for the <i>b</i>-Equation

This paper is concerned with the optimal distributed control problem governed by b-equation. We firstly investigate the existence and uniqueness of weak solution for the controlled system with appropriate initial value and boundary condition. By contrasting with our previous result, the proof without considering viscous coefficient is a big improvement. Secondly, based on the well-posedness result, we find a unique optimal control for the controlled system with the quadratic cost functional. Moreover, by means of the optimal control theory, we obtain the sufficient and necessary optimality condition of an optimal control, which is another major novelty of this paper. Finally, we also present the optimality conditions corresponding to two physical meaningful distributive observation cases.

A Priori Error Estimates of Finite Element Methods for Linear Parabolic Integro-Differential Optimal Control Problems

In this paper,we study the mathematical formulation for an optimal control problem governed by a linear parabolic integro-differential equation and present the optimality conditions.We then set up its weak formulation and the finite element approximation scheme.Based on these we derive the a priori error estimates for its finite element approximation both in H1 and L^(2)norms.Furthermore some numerical tests are presented to verify the theoretical results.

Optimality Conditions and Algorithms for Direct Optimizing the Partial Differential Equations

New form of necessary conditions for optimality (NCO) is considered. They can be useful for design the direct infinite- dimensional optimization algorithms for systems described by partial differential equations (PDE). Appropriate algo-rithms for unconstrained minimizing a functional are considered and tested. To construct the algorithms, new form of NCO is used. Such approach demonstrates fast uniform convergence at optimal solution in infinite-dimensional space.

An Inverse Problem of Identifying the Radiative Coefficient in a Degenerate Parabolic Equation

The authors investigate an inverse problem of determining the radiative coefficient in a degenerate parabolic equation from the final overspecified data. Being different from other inverse coefficient problems in which the principle coefficients are assumed to be strictly positive definite, the mathematical model discussed in this paper belongs to the second order parabolic equations with non-negative characteristic form, namely, there exists a degeneracy on the lateral boundaries of the domain. Based on the optimal control framework, the problem is transformed into an optimization problem and the existence of the minimizer is established. After the necessary conditions which must be satisfied by the minimizer are deduced, the uniqueness and stability of the minimizer are proved. By minor modification of the cost functional and some a priori regularity conditions imposed on the forward operator, the convergence of the minimizer for the noisy input data is obtained in this paper. The results can be extended to more general degenerate parabolic equations.