Continuity properties of the normal cone to the level sets of a quasiconvex function

Two main properties of the subgradient mapping of convex functions are transposed for quasiconvex ones. The continuity of the functionxf(x)^–1f(x) on the domain where it is defined is deduced from some continuity properties of the normal coneN to the level sets of the quasiconvex functionf. We also prove that, under a pseudoconvexity-type condition, the normal coneN(x) to the set {x:f(x)f(x)} can be expressed as the convex hull of the limits of type {N(x _n)}, where {x _n} is a sequence converging tox and contained in a dense subsetD. In particular, whenf is pseudoconvex,D can be taken equal to the set of points wheref is differentiable.This research was completed while the second author was on a sabbatical leave at the University of Montreal and was supported by a NSERC grant. It has its origin in the doctoral thesis of the first author (Ref. 1), prepared under the direction of the second author.The authors are grateful to an anonymous referee and C. Zalinescu for their helpful remarks on a previous version of this paper.     

Limiting Lagrangians: A primal approach

In this paper, we consider a convex program with either a finite or an infinite number of constraints and its formal Lagrangian dual. We show that either the primal program satisfies a general condition which implies there is no duality gap or that there is a nonzero vectord with the following properties: First, wheneverd is added to the objective function, where is a positive number not greater than one, the resulting program satisfies the general sufficient condition cited above for no duality gap. Second, the optimal value of this perturbed program is attained and tends to the optimal value of the original program as tends to zero. Third, the optimal solutions of the perturbed programs form a minimizing sequence of the original program. As a consequence of the above, we derive the limiting Lagrangian theory of Borwein, Duffin, and Jeroslow.The authors are indebted to an unknown referee who suggested the very short and elegant proofs of Lemma 2.3 and Theorem 2.3.This work was completed while the first author was a member of the College of Management, Georgia Institute of Technology, Atlanta, Georgia.     

On intermediate inquisitive and dependence logics: An algebraic study

This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete for all intermediate inquisitive and dependence logics. To this end, we define inquisitive and dependence algebras and we investigate their model-theoretic properties. We then focus on finite, core-generated, well-connected inquisitive and dependence algebras: we show they witness the validity of formulas true in inquisitive algebras, and of formulas true in well-connected dependence algebras. Finally, we obtain representation theorems for finite, core-generated, well-connected, inquisitive and dependence algebras and we prove some results connecting team and algebraic semantics.     

Prox-regular functions in variational analysis

The class of prox-regular functions covers all l.s.c., proper, convex functions, lower- functions and strongly amenable functions, hence a large core of functions of interest in variational analysis and optimization. The subgradient mappings associated with prox-regular functions have unusually rich properties, which are brought to light here through the study of the associated Moreau envelope functions and proximal mappings. Connections are made between second-order epi-derivatives of the functions and proto-derivatives of their subdifferentials. Conditions are identified under which the Moreau envelope functions are convex or strongly convex, even if the given functions are not.

     

A discrete method of optimal control based upon the cell state space concept

A discrete method of optimal control is proposed in this paper. The continuum state space of a system is discretized into a cell state space, and the cost function is discretized in a similar manner. Assuming intervalwise constant controls and using a finite set of admissible control levels (u) and a finite set of admissible time intervals (), the motion of the system under all possible interval controls (u, ) can then be expressed in terms of a family of cell-to-cell mappings. The proposed method extracts the optimal control results from these mappings by a systematic search, culminating in the construction of a discrete optimal control table.The possibility of expressing the optimal control results in the form of a control table seems to give this method a means to make systems real-time controllable.Dedicated to G. LeitmannThe material is based upon work supported by the National Science Foundation under Grant No. MEA-82-17471. The author is also indebted to Professor G. Leitmann for his many helpful comments.     

Scaling properties of ℤ k- 1 actions on the circle

We derive universal scaling properties for ^k–1 actions on the circle whose generators have rotation numbers algebraic of degreek. As fork=2 these properties can be explained for arbitraryk in terms of a renormalization group transformation. It has at least one trivial fixed point corresponding to an action whose generators are pure rotations. The spectrum of the linearized transformation in this fixed point is analyzed completely. The fixed point is hyperbolic with a (k–1)-dimensional unstable manifold. In the casek=2 the known results are therefore recovered.     

Topological degree of a family of convex functions and localization of nash equilibrium points

We define the degree of a family of convex functionsf _x, wherex , and prove that, if this degree is different from zero, one has at least one Nash equilibrium point in . This is a criterion of localization of such equilibrium points.     

一致空间的理想导集映射

本文介绍一致空间的理想导集映射,并对这些映射的像展开研究.同时,介绍I-Hurewicz有界性的概念,研究I-Hurewicz有界性的基础拓扑运算性质.最后,得到一致空间中I-Hurewicz有界性的一个等价刻画.