Regularity of Optimal Controls for State Constrained Problems

Conditions are given under which optimal controls are Lipschitz continuous, for dynamic optimization problems with functional inequality constraints. The linear independence condition on active state constraints, present in the earlier literature, can be replaced by a less restrictive, positive linear independence condition, that requires linear independence merely with respect to non-negative weighting parameters. Smoothness conditions on the data are also relaxed. A key part of the proof involves an analysis of the implications of first order optimality conditions in the form of a nonsmooth Maximum Principle.     

Lipschitz continuity and local semiconcavity for exit time problems with state constraints

In the classical time optimal control problem, it is well known that the so-called Petrov condition is necessary and sufficient for the minimum time function to be locally Lipschitz continuous. In this paper, the same regularity result is obtained in the presence of nonsmooth state constraints. Moreover, for a special class of control systems we obtain a local semiconcavity result for the constrained minimum time function.     

Second-order analysis for optimal control problems with pure state constraints and mixed control-state constraints

This paper deals with the optimal control problem of an ordinary differential equation with several pure state constraints, of arbitrary orders, as well as mixed control-state constraints. We assume (i) the control to be continuous and the strengthened Legendre–Clebsch condition to hold, and (ii) a linear independence condition of the active constraints at their respective order to hold. We give a complete analysis of the smoothness and junction conditions of the control and of the constraints multipliers. This allows us to obtain, when there are finitely many nontangential junction points, a theory of no-gap second-order optimality conditions and a characterization of the well-posedness of the shooting algorithm. These results generalize those obtained in the case of a scalar-valued state constraint and a scalar-valued control.     

不等式约束随机非线性规划的扰动Karush-Kuhn-Tucker系统的解路径

论文聚焦概率测度发生扰动时的随机非线性规划的稳定性分析的研究.目标函数的Lipschitz连续性和可行集值映射的度量正则性条件可保证最优解集合的外半连续性和最优值的Lipschitz连续性.更重要地,本文证明了,如果原问题的极小点处线性无关约束规范和强二阶充分性条件成立,那么存在一Lipschitz连续的解路径满足扰动问题的Karush-Kuhn-Tucker条件.     

State-constrained optimal control of the three-dimensional stationary Navier-Stokes equations

In this paper, an optimal control problem for the stationary Navier-Stokes equations in the presence of state constraints is investigated. Existence of optimal solutions is proved and first order necessary conditions are derived. The regularity of the adjoint state and the state constraint multiplier is also studied. Lipschitz stability of the optimal control, state and adjoint variables with respect to perturbations is proved and a second order sufficient optimality condition for the case of pointwise state constraints is stated.     

On a variational problem with non-differentiable constraints

We study the regularity of minimizers and critical points of the Dirichlet energy under an integral constraint given by a non-differentiable function. We obtain existence of a Lipschitz continuous minimizer for a relaxed problem. In two dimensions, some regularity can also be proved for critical points.     

New approximation method in the proof of the Maximum Principle for nonsmooth optimal control problems with state constraints

Traditional proofs of the Pontryagin Maximum Principle (PMP) require the continuous differentiability of the dynamics with respect to the state variable on a neighborhood of the minimizing state trajectory, when arbitrary values of control variable are inserted into the dynamic equations. Sussmann has drawn attention to the fact that the PMP remains valid when the dynamics are differentiable with respect to the state variable, merely when the minimizing control is inserted into the dynamic equations. This weakening of earlier hypotheses has been referred to as the Lojasiewicz refinement. Arutyunov and Vinter showed that these extensions of early versions of the PMP can be simply proved by finite-dimensional approximations, application of a Lagrange multiplier rule in finite dimensions and passage to the limit. This paper generalizes the finite-dimensional approximation technique to a problem with state constraints, where the use of needle variations of the optimal control had not been successful. Moreover, the cost function and endpoint constraints are not assumed to be differentiable, but merely locally Lipschitz continuous. The Maximum Principle is expressed in terms of Michel-Penot subdifferential.     

Necessary optimality conditions for nonsmooth generalized semi-infinite programming problems

This paper is devoted to the study of nonsmooth generalized semi-infinite programming problems in which the index set of the inequality constraints depends on the decision vector and all emerging functions are assumed to be locally Lipschitz. We introduce a constraint qualification which is based on the Mordukhovich subdifferential. Then, we derive a Fritz–John type necessary optimality condition. Finally, interrelations between the new and the existing constraint qualifications such as the Mangasarian–Fromovitz, linear independent, and the Slater are investigated.     

The almost chebyshev property in linear semi-infinite programming

We consider a linear semi-infinite programming problem where the index set of the constraints is compact and the constraint functions are continuous on it. The set of all continuous functions on this index set as right hand sides are the parameter set. We investigate how large various unicity sets are.We state a condition on the objective function vector and the “matrix” of the problem which characterizes when the set of a parameters with a non-unique optimal point is a set of the first Baire category in the solvability set. This is the case if and only if the unicity set is a dense subset of the solvability set. Under the same assumptions it is even true that the interior of the strong unicity set is I also dense. If the index set of the constraints contains a dense subset with the property that each point1 is a G ₈-set, then the parameters of the strong unicity set, such that the optimal point satisfies the linear independence constraint qualification, are also dense.

We apply our results to a characterization of a unique continuous selection for the optimal set I mapping and to a one-sided L ₁-approximation problem     

Feasible Perturbations of Control Systems with Pure State Constraints and Applications to Second-Order Optimality Conditions

We propose second-order necessary optimality conditions for optimal control problems with very general state and control constraints which hold true under weak regularity assumptions on the data. In particular the pure state constraints are general closed sets, the optimal control is supposed to be merely measurable and the dynamics may be discontinuous in the time variable as well. These results are obtained by an approach based on local perturbations of the reference process by second-order tangent directions. This method allows direct and quite simple proofs.     

A characteristic finite element method for optimal control problems governed by convection-diffusion equations

In this paper we analyze a characteristic finite element approximation of convex optimal control problems governed by linear convection-dominated diffusion equations with pointwise inequality constraints on the control variable, where the state and co-state variables are discretized by piecewise linear continuous functions and the control variable is approximated by either piecewise constant functions or piecewise linear discontinuous functions. A priori error estimates are derived for the state, co-state and the control. Numerical examples are given to show the efficiency of the characteristic finite element method.     

Bounded knapsack sharing

A bounded knapsack sharing problem is a maximin or minimax mathematical programming problem with one or more linear inequality constraints, an objective function composed of single variable continuous functions called tradeoff functions, and lower and upper bounds on the variables. A single constraint problem which can have negative or positive constraint coefficients and any type of continuous tradeoff functions (including multi-modal, multiple-valued and staircase functions) is considered first. Limiting conditions where the optimal value of a variable may be plus or minus infinity are explicitly considered. A preprocessor procedure to transform any single constraint problem to a finite form problem (an optimal feasible solution exists with finite variable values) is developed. Optimality conditions and three algorithms are then developed for the finite form problem. For piecewise linear tradeoff functions, the preprocessor and algorithms are polynomially bounded. The preprocessor is then modified to handle bounded knapsack sharing problems with multiple constraints. An optimality condition and algorithm is developed for the multiple constraint finite form problem. For multiple constraints, the time needed for the multiple constraint finite form algorithm is the time needed to solve a single constraint finite form problem multiplied by the number of constraints. Some multiple constraint problems cannot be transformed to multiple constraint finite form problems.     

Optimization problems for weighted Sobolev constants

In this paper, we study a variational problem under a constraint on the mass. Using a penalty method we prove the existence of an optimal shape. It will be shown that the minimizers are Hölder continuous and that for a large class they are even Lipschitz continuous. Necessary conditions in form of a variational inequality in the interior of the optimal domain and a condition on the free boundary are derived.     

Optimal control of parabolic variational inequalities with delays and state constraint

In this paper, an optimal control problem for parabolic variational inequalities with delays and state constraint is investigated and the necessary conditions for optimal controls are derived.     

Third order convergent time discretization for parabolic optimal control problems with control constraints

We consider a priori error analysis for a discretization of a linear quadratic parabolic optimal control problem with box constraints on the time-dependent control variable. For such problems one can show that a time-discrete solution with second order convergence can be obtained by a first order discontinuous Galerkin time discretization for the state variable and either the variational discretization approach or a post-processing strategy for the control variable. Here, by combining the two approaches for the control variable, we demonstrate that almost third order convergence with respect to the size of the time steps can be achieved.     

Linearly perturbed polyhedral normal cone mappings and applications

Under a mild regularity assumption, we derive an exact formula for the Fréchet coderivative and some estimates for the Mordukhovich coderivative of the normal cone mappings of perturbed polyhedra in reflexive Banach spaces. Our focus point is a positive linear independence condition, which is a relaxed form of the linear independence condition employed recently by Henrion et al. (2010) [1], and Nam (2010) [3]. The formulae obtained allow us to get new results on solution stability of affine variational inequalities under linear perturbations. Thus, our paper develops some aspects of the work of Henrion et al. (2010) [1] Nam (2010) [3] Qui (in press) [12] and Yao and Yen (2009) [6] and [7].     

Necessary conditions for constrained optimal control problems via mathematical programming

Necessary conditions for optimal control problems with state-control variable inequality constraints are obtained via mathematical programming formulation and functional analysis in Banach space. These conditions are general ones that hold without any constraint qualifications but differentiability. Furthermore, these conditions are shown to be equivalent to the classical result in the presence of the linear independence constraint qualification.     

BV solutions of nonconvex sweeping process differential inclusion with perturbation

This paper is devoted to the study of differential inclusions, particularly discontinuous perturbed sweeping processes in the infinite-dimensional setting. On the one hand, the sets involved are assumed to be prox-regular and to have a variation given by a function which is of bounded variation and right continuous. On the other hand, the perturbation satisfies a linear growth condition with respect to a fixed compact subset. Finally, the case where the sets move in an absolutely continuous way is recovered as a consequence.     

Algorithm for constructing an optimal control strategy in a nonlinear differential game with Lipschitz compactly supported payoff

For a zero-sum differential game, we consider an algorithm for constructing optimal control strategies with the use of backward minimax constructions. The dynamics of the game is not necessarily linear, the players’ controls satisfy geometric constraints, and the terminal payoff function satisfies the Lipschitz condition and is compactly supported. The game value function is computed by multilinear interpolation of grid functions. We show that the algorithm error can be arbitrarily small if the discretization step in time is sufficiently small and the discretization step in the state space has a higher smallness order than the time discretization step. We show that the algorithm can be used for differential games with a terminal set. We present the results of computations for a problem of conflict control of a nonlinear pendulum.     

Optimal control of a nonconvex perturbed sweeping process

The paper concerns optimal control of discontinuous differential inclusions of the normal cone type governed by a generalized version of the Moreau sweeping process with control functions acting in both nonconvex moving sets and additive perturbations. This is a new class of optimal control problems in comparison with previously considered counterparts where the controlled sweeping sets are described by convex polyhedra. Besides a theoretical interest, a major motivation for our study of such challenging optimal control problems with intrinsic state constraints comes from the application to the crowd motion model in a practically adequate planar setting with nonconvex but prox-regular sweeping sets. Based on a constructive discrete approximation approach and advanced tools of first-order and second-order variational analysis and generalized differentiation, we establish the strong convergence of discrete optimal solutions and derive a complete set of necessary optimality conditions for discrete-time and continuous-time sweeping control systems that are expressed entirely via the problem data.