Convex Semi-Infinite Parametric Programming: Uniform Convergence of the Optimal Value Functions of Discretized Problems

The continuity of the optimal value function of a parametric convex semi-infinite program is secured by a weak regularity condition that also implies the convergence of certain discretization methods for semi-infinite problems. Since each discretization level yields a parametric program, a sequence of optimal value functions occurs. The regularity condition implies that, with increasing refinement of the discretization, this sequence converges uniformly with respect to the parameter to the optimal value function corresponding to the original semi-infinite problem. Our result is applicable to the convergence analysis of numerical algorithms based on parametric programming, for example, rational approximation and computation of the eigenvalues of the Laplacian.     

非可微参数规划极值函数方向导数的表示

参数规划的极值函数一般是非可微的且没有显示表示。为了讨论极值函数的变化性质，研究其方向导数有重要作用。本文对两类非可微函数（凸函数和拟可微函数）构成的参数规划问题的极值函数，给出了其普通方向导数的等式表示。     

一类广义半无限规划问题的一阶最优性条件

本文利用一个精确增广Lagrange函数研究了一类广义半无限极小极大规划问题。在一定的条件下将其转化为标准的半无限极小极大规划问题。研究了这两类问题的最优解和最优值之间的关系,利用这种关系和标准半无限极小极大规划问题的一阶最优性条件给出了这类广义半无限极小极大规划问题的一个新的一阶最优性条件。     

一类二层凸规划的对偶二层规划

本文讨论上层目标函数以下层子系统目标函数的最优值作为反馈的一类二层凸规划的对偶规划问题 ,在构成函数满足凸连续可微等条件的假设下 ,建立了二层凸规划的 Lagrange对偶二层规划 ,并证明了基本对偶定理 .     

关于半无限规划的对偶间隙

该文对半无限凸规划（Ｐ）提出了一个对偶问题（Ｄ１），证明了（Ｄ１）与（Ｐ）无对偶间隙当且仅当Ｌａｇｒａｎｇｅ对偶问题（Ｄ）与（Ｐ）之间无对偶间隙，作者还利用方向导数给出一个新的刻划鞍点准则的方法。     

An Approximation Approach to Non-strictly Convex Quadratic Semi-infinite Programming

We present in this paper a numerical method for solving non-strictly-convex quadratic semi-infinite programming including linear semi-infinite programming. The proposed method transforms the problem into a series of strictly convex quadratic semi-infinite programming problems. Several convergence results and a numerical experiment are given.     

半局部凸多目标半无限规划的最优性

研究半局部凸函数在多目标半无限规划下的最优性.利用半局部凸函数,讨论了在多目标半无限规划下的择一定理,最优性条件.使半局部凸函数运用的范围更加广泛.     

A Branch-and-Bound Approach for Solving a Class of Generalized Semi-infinite Programming Problems

A nonconvex generalized semi-infinite programming problem is considered, involving parametric max-functions in both the objective and the constraints. For a fixed vector of parameters, the values of these parametric max-functions are given as optimal values of convex quadratic programming problems. Assuming that for each parameter the parametric quadratic problems satisfy the strong duality relation, conditions are described ensuring the uniform boundedness of the optimal sets of the dual problems w.r.t. the parameter. Finally a branch-and-bound approach is suggested transforming the problem of finding an approximate global minimum of the original nonconvex optimization problem into the solution of a finite number of convex problems.     

半无限规划与方向导数

本文对半无限凸规划提出一个用方向导数表述的对偶问题，其对偶间隙为零．     

Conditions for the uniqueness of the optimal solution in linear semi-infinite programming

In this paper, we establish different conditions for the uniqueness of the optimal solution of a semi-infinite programming problem. The approach here is based on the differentiability properties of the optimal value function and yields the corresponding extensions to the general linear semi-infinite case of many results provided by Mangasarian and others. In addition, detailed optimality conditions for the most general problem are supplied, and some features of the optimal set mapping are discussed. Finally, we obtain a dimensional characterization of the optimal set, provided that a usual closedness condition (Farkas-Minkowski condition) holds.     

Sensitivity analysis in linear semi-infinite programming: Perturbing cost and right-hand-side coefficients

This paper analyzes the effect on the optimal value of a given linear semi-infinite programming problem of the kind of perturbations which more frequently arise in practical applications: those which affect the objective function and the right-hand-side coefficients of the constraints. In particular, we give formulae which express the exact value of a perturbed problem as a linear function of the perturbation.     

Extending the mixed algebraic-analysis Fourier–Motzkin elimination method for classifying linear semi-infinite programmes

Motivated by a recent Basu–Martin–Ryan paper, we obtain a reduced primal-dual pair of a linear semi-infinite programming problem by applying an amended Fourier–Motzkin elimination method to the linear semi-infinite inequality system. The reduced primal-dual pair is equivalent to the original one in terms of consistency, optimal values and asymptotic consistency. Working with this reduced pair and reformulating a linear semi-infinite programme as a linear programme over a convex cone, we reproduce all the theorems that lead to the full eleven possible duality state classification theory. Establishing classification results with the Fourier–Motzkin method means that the two classification theorems for linear semi-infinite programming, 1969 and 1974, have been proved by new and exciting methods. We also show in this paper that the approach to study linear semi-infinite programming using Fourier–Motzkin elimination is not purely algebraic, it is mixed algebraic-analysis.     

区间值函数的可微性及其在区间值规划中的应用

利用实值函数的全微分思想,讨论了区间值函数的可微性,建立了区间值函数的$D$-可微性的概念及其一些基本性质. 通过讨论无约束区间规划的最优性条件,给出了一类约束函数为实值函数的约束区间值规划问题取得最优解的必要条件. 同时给出了具有实值函数约束的凸区间值规划问题取得最优解的充分条件.     

A direct method of linearization for continuous minimax problems

We consider the problem of minimizing a nondifferentiable function that is the pointwise maximum over a compact family of continuously differentiable functions. We suppose that a certain convex approximation to the objective function can be evaluated. An iterative method is given which uses as successive search directions approximate solutions of semi-infinite quadratic programming problems calculated via a new generalized proximity algorithm. Inexact line searches ensure global convergence of the method to stationary points.This work was supported by Project No. CPBP-02.15/2.1.1.     

First-Order Optimality Conditions in Generalized Semi-Infinite Programming

In this paper, we consider a generalized semi-infinite optimization problem where the index set of the corresponding inequality constraints depends on the decision variables and the involved functions are assumed to be continuously differentiable. We derive first-order necessary optimality conditions for such problems by using bounds for the upper and lower directional derivatives of the corresponding optimal value function. In the case where the optimal value function is directly differentiable, we present first-order conditions based on the linearization of the given problem. Finally, we investigate necessary and sufficient first-order conditions by using the calculus of quasidifferentiable functions.     

A Dual Parametrization Method for Convex Semi-Infinite Programming

We formulate convex semi-infinite programming problems in a functional analytic setting and derive optimality conditions and several duality results, based on which we develop a computational framework for solving convex semi-infinite programs.     

Solving semi-infinite programs by smoothing projected gradient method

In this paper, we study a semi-infinite programming (SIP) problem with a convex set constraint. Using the value function of the lower level problem, we reformulate SIP problem as a nonsmooth optimization problem. Using the theory of nonsmooth Lagrange multiplier rules and Danskin’s theorem, we present constraint qualifications and necessary optimality conditions. We propose a new numerical method for solving the problem. The novelty of our numerical method is to use the integral entropy function to approximate the value function and then solve SIP by the smoothing projected gradient method. Moreover we study the relationships between the approximating problems and the original SIP problem. We derive error bounds between the integral entropy function and the value function, and between locally optimal solutions of the smoothing problem and those for the original problem. Using certain second order sufficient conditions, we derive some estimates for locally optimal solutions of problem. Numerical experiments show that the algorithm is efficient for solving SIP.     

Generalized semi-infinite programming: A tutorial

This tutorial presents an introduction to generalized semi-infinite programming (GSIP) which in recent years became a vivid field of active research in mathematical programming. A GSIP problem is characterized by an infinite number of inequality constraints, and the corresponding index set depends additionally on the decision variables. There exist a wide range of applications which give rise to GSIP models; some of them are discussed in the present paper. Furthermore, geometric and topological properties of the feasible set and, in particular, the difference to the standard semi-infinite case are analyzed. By using first-order approximations of the feasible set corresponding constraint qualifications are developed. Then, necessary and sufficient first- and second-order optimality conditions are presented where directional differentiability properties of the optimal value function of the so-called lower level problem are used. Finally, an overview of numerical methods is given.     

具有(F,α,ε)-G凸的分式半无限规划问题的ε-最优性

首次引入了（F,α,ε）-G凸函数,（F,α,ε）-G拟凸函数和（F,α,ε）-G伪凸函数等概念,对已有的凸函数进行了推广,研究了涉及这类函数的一类分式半无限规划的ε-最优性条件,得到了一些有意义的结果．这些结果不仅是现有某些结果的推广,而且为诸如资源分配,投资组合等问题的研究提供了依据,也为理论上研究分式规划提供了参考．     

对称弧式连通凸多目标半无限规划的最优性

以弧式连通函数和对称梯度为基础,研究新函数在多目标半无限规划下的最优性理论.定义了一类新的弧式连通函数,对称弧式连通函数、对称拟弧式连通函数、对称弱拟弧式连通函数、对称伪弧式连通函数、对称严格伪弧式连通函数,讨论了这些函数在多目标半无限规划下的最优性.给出更加广义的弧式连通函数,将它们运用到多目标半无限规划.