First and second-order necessary and sufficient optimality conditions for infinite-dimensional programming problems

First-order and second-order necessary and sufficient optimality conditions are given for infinite-dimensional programming problems with constraints defined by arbitrary closed convex cones. The necessary conditions are immediate generalizations of those known for the finite-dimensional case. However, this does not hold for the sufficient conditions as illustrated by a counterexample. Here, to go from finite to infinite dimensions, causes an essential change in the proof-techniques and the results. We present modified sufficient conditions of first-order and of second-order which are based on a strengthening of the usual assumptions on the derivative of the objective function and on the second derivative of the Lagrangian.     

Limit theorems for weighted sums of random elements in separable Banach spaces

Let a_nk, n ≥ 1, k ≥ 1, be a double array of real numbers and let V_n, n ≥ 1, be a sequence of random elements taking values in a separable Banach space. In this paper, we examine under what conditions the sequence Σ_k≥1a_nkV_k, n ≥ 1, has a limit either in probability or almost surely.     

Comments on a selector theorem in Banach spaces

Recently, Cole (Ref. 1) presented a selection theorem in reflexive Banach spaces under certain convexity assumptions. In this paper, we present a proof of Cole's selection theorem without imposing the convexity condition. This makes the result more powerful for application in optimal control theory.The authors would like to thank Professor L. Cesari for pointing out a critical misprint in the original version of this note.     

On the existence and nonexistence of Lagrange multipliers in Banach spaces

The paper deals with the existence of Lagrange multipliers for a general nonlinear programming problem. Some regularity conditions are formulated which are, in a sense, the weakest to assure the existence of multipliers. A number of related conditions are discussed. The connection between the choice of suitable function spaces and the existence of multipliers is analyzed.This work was partly supported by the National Science Foundation, Grant No. GF-37298, to the Institute of Automatic Control, Technical University of Warsaw, Warsaw, Poland, and the Department of Computer and Control Sciences, University of Minnesota, Minneapolis, Minnesota.The author wishes to thank Professor A. P. Wierzbicki for many important remarks concerning the subject of this paper.     

Optimal control of systems governed by a class of nonlinear evolution equations in a reflexive Banach space

The paper presents a closure theorem for the attainable trajectories of a class of control systems governed by a large class of nonlinear evolution equations in reflexive Banach spaces. Several existence theorems for optimal controls are proven that include a terminal control problem, a time-optimal control problem, and a special Bolza problem. Some results of independent interest are also presented.This work was supported in part by the National Research Council of Canada under Grant No. 7109.The authors would like to thank Professor L. Cesari for pointing out that joint continuity off is required for the setsG andR to satisfy the upper semicontinuity property (Theorems 5.1 and 5.2).     

K-Theory for the Banach Algebra of Operators on James''s Quasi-reflexive Banach Spaces

We prove that the K-groups of the Banach algebra of bounded, linear operators on the pth James space , where 1 < p < , are given by and . Moreover, for each Banach space and each non-zero, closed ideal contained in the ideal of inessential operators, we show that and . This enables us to calculate the K-groups of for each Banach space which is a direct sum of finitely many James spaces and -spaces.     

Nonstandard topologies with bases that consist only of standard sets

Let be an infinite set, a set of pseudo-metrics on and If is limited (finite) for every and every then, for each we can define a pseudo-metric on by writing st We investigate the conditions under which the topology induced on by has a basis consisting only of standard sets. This investigation produces a theory with a variety of applications in functional analysis. For example, a specialization of some of our general results will yield such classical compactness theorems as Schauder's theorem, Mazur's theorem, and Gelfand-Philips's theorem.

     

On Some Structural Properties of Banach Function Spaces and Boundedness of Certain Integral Operators

In this paper the notions of uniformly upper and uniformly lower -estimates for Banach function spaces are introduced. Further, the pair (X, Y) of Banach function spaces is characterized, where X and Y satisfy uniformly a lower -estimate and uniformly an upper -estimate, respectively. The integral operator from X into Y of the form

Invariant functionals and the uniqueness of invariant norms

Let τ be a representation of a compact group G on a Banach space (X,||·||). The question we address is whether X carries a unique invariant norm in the sense that ||·|| is the unique norm on X for which τ is a representation. We characterize the uniqueness of norm in terms of the automatic continuity of the invariant functionals in the case when X is a dual Banach space and τ is a -continuous representation of G on X such that τ(G) consists of -continuous operators. We illustrate the usefulness of this characterization by studying the uniqueness of the norm on the spaces Lp(Ω), where Ω is a locally compact Hausdorff space equipped with a positive Radon measure and G acts on Ω as a group of continuous invertible measure-preserving transformations.