A lagrange multiplier theorem for control problems with state constraints

We prove an existence theorem of Lagrange multipliers for an abstract control problem in Banach spaces. This theorem may be applied to obtain optimality conditions for control problems governed by partial differential equations in the presence of pointwise state constraints.     

Inequality constraints with elastic impacts in deformable bodies. The convex case

Summary The aim of the present paper is to present some new results for problems when impacts occur. We prove, in the framework of linear elastic body, certain equivalent form of the d'Alembert's principle, including velocity discontinuity. We show that the theorem of stationary action still holds as an inequality. The consideration of the variation of the unknown impact time implies for the impact problem certain new variational expressions in inequality form. Received 13 August 1998; accepted for publication 6 May 1999     

Bifractional inequalities and convex cones

In this paper we give a systematic study of a class of linear inequalities related to convex cones in linear spaces. In particular, Chebyshev and Andersson type inequalities are discussed. Some classical and new inequalities are derived from the results.     

非线性最优化一个可行序列等式约束二次规划算法

本文针对非线性不等式约束优化问题,提出了一个新的可行序列等式约束二次规划算法．在每次迭代中,该算法只需求解三个相同规模且仅含等式约束的二次规划(必要时求解一个辅助的线性规划),因而其计算工作量较小．在一般的条件下,证明了算法具有全局收敛及超线性收敛性．数值实验表明算法是有效的．     

一个广义Bihari型不等式及其应用

本文对定义于一定有序局部紧空间上的向量值函数建立一个Ｂｉｈａｒｉ型积分不等式，并给出其对于非线性Ｖｏｌｔｅｒｒａ型积分方程的若干应用。     

不确定离散模糊随机系统的鲁棒方差约束输出反馈控制

对一类具有范数有界不确定性的离散T-S模糊随机系统。研究不仅使整个闭环模糊系统全局渐近稳定。而且每个模糊子系统的稳态状态方差满足给定上界性能指标约束的输出反馈鲁棒方差控制律的设计问题。利用线性矩阵不等式(LMI)技术，导出输出反馈鲁棒方差控制律的存在条件，并基于矩阵相似变换给出其可解性条件，同时用一组线性矩阵不等式的可行解。给出输出反馈鲁棒方差控制律的一个参数化表达形式。     

关于Lovász不等式的几类超图

本文证明了下面的定理:若超图H=(X;E_1,E_2,…,E_m)中存在浓度为k长为m的圈,则有     

测度链上的柯西不等式

研究了测度链上的柯西不等式,给出测度链上柯西不等式的具体形式.此外,还对测度链上的柯西不等式作了推广.     

An efficient algorithm for solving inequalities

An efficient algorithm for solving a finite system of inequalities in a finite number of iterations is described and analyzed.This work was supported by the UK Science and Engineering Research Council