A Lagrange multiplier rule with small convex-valued subdifferentials for nonsmooth problems of mathematical programming involving equality and nonfunctional constraints

It is shown that a Lagrange multiplier rule involving the Michel-Penot subdifferentials is valid for the problem: minimizef ₀(x) subject tof _i (x) 0,i = 1, ,m;f _i (x) = 0,i = m + 1,,n;x Q where all functionsf are Lipschitz continuous andQ is a closed convex set. The proof is based on the theory of fans.     

Moser-type inequalities in Lorentz spaces

Moser-type estimates for functions whose gradient is in the Lorentz space L(n, q), 1q, are given. Similar results are obtained for solutions uH _inf0 ^sup1 of Au=(f _i ) _{x i} , where A is a linear elliptic second order differential operator and |f|L(n, q), 2q.Work partially supported by MURST (40%).     

A Classification of Quasi-Newton Methods

In this paper, we consider quasi-Newton methods of the form x _k+1=x _k + _k f(x _k ), k=0,1,. . ., for the solution of the system of nonlinear equations f(x)=0. We present a classification of such methods based on different structures for the matrix _k and various criteria for its computation, issued from three different formulae. Many known methods can be put into this framework and new methods are also obtained.     

A general minimax theorem

This paper is concerned with minimax theorems for two-person zero-sum games (X, Y, f) with payofff and as main result the minimax equality inf supf (x, y)=sup inff (x, y) is obtained under a new condition onf. This condition is based on the concept of averaging functions, i.e. real-valued functions defined on some subset of the plane with min {x, y}< (x, y)x, y} forx y and (x, x)=x. After establishing some simple facts on averaging functions, we prove a minimax theorem for payoffsf with the following property: Forf there exist averaging functions and such that for any x₁, x₂ X, > 0 there exists x₀ X withf (x₀, y) > f (x₁,y),f (x₂,y))– for ally Y, and for any y₁, y₂ Y, > 0 there exists y₀ Y withf (x, y₀) (f (x, y₁),f (x, y₂))+. This result contains as a special case the Fan-König result for concave-convex-like payoffs in a general version, when we take linear averaging with (x, y)=x+(1–)y, (x, y)=x+(1–)y, 0 <, < 1.Then a class of hide-and-seek games is introduced, and we derive conditions for applying the minimax result of this paper.

---

Zusammenfassung In dieser Arbeit werden Minimaxsätze für Zwei-Personen-Nullsummenspiele (X, Y,f) mit Auszahlungsfunktionf behandelt, und als Hauptresultat wird die Gültigkeit der Minimaxgleichung inf supf (x, y)=sup inff (x, y) unter einer neuen Bedingung an f nachgewiesen. Diese Bedingung basiert auf dem Konzept mittelnder Funktionen, d.h. reellwertiger Funktionen, welche auf einer Teilmenge der Ebene definiert sind und dort der Eigenschaft min {x, y} < < (x, y)x, y} fürx y, (x, x)=x, genügen. Nach der Herleitung einiger einfacher Aussagen über mittelnde Funktionen beweisen wir einen Minimaxsatz für Auszahlungsfunktionenf mit folgender Eigenschaft: Zuf existieren mittelnde Funktionen und, so daß zu beliebigen x₁, x₂ X, > 0 mindestens ein x₀ X existiert mitf (x₀,y) (f (x ₁,y),f (x₂,y)) – für alley Y und zu beliebigen y₁, y₂ Y, > 0 mindestens ein y₀ Y existiert mitf (x, y₀) (f (x, y₁),f (x, y ₂))+ für allex X. Dieses Resultat enthält als Spezialfall den Fan-König'schen Minimaxsatz für konkav-konvev-ähnliche Auszahlungsfunktionen in einer allgemeinen Version, wenn wir lineare Mittelung mit (x, y)=x+(1–)y, (x, y)= x+(1–)y, 0 <, < 1, betrachten.Es wird eine Klasse von Suchspielen eingeführt, welche mit dem vorstehenden Resultat behandelt werden können.

     

Optimal accuracy approximation of functions and their derivatives

We consider the approximation of the function (x) and its derivative '(x) on [a, b] given that (x)C _2,N, i.e., belongs to the class of functions f(x) that satisfy the conditions f(x)L, f(x_i)=y_i, i=1,,N, where L and y_i are given real numbers and x_i are the nodes of an arbitrary grid, a=x₁<x₂<<X_N=b. A solution algorithm on the class of functions C_2,L,N is proposed which has optimal accuracy with a constant not exceeding 2. A bound on the approximation error of the function and its derivative is derived.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 56, pp. 57–61, 1985     

Quadratic spline interpolation on uniform meshes

The interpolation problem at uniform mesh points of a quadratic splines(x _i)=f _i,i=0, 1,...,N ands(x ₀)=f₀ is considered. It is known that s–f=O(h ³) and s–f=O(h ²), whereh is the step size, and that these orders cannot be improved. Contrary to recently published results we prove that superconvergence cannot occur for any particular point independent off other than mesh points wheres=f by assumption. Best error bounds for some compound formulae approximatingf _i andf _i ⁽³⁾ are also derived.     

Decomposing symmetric exchanges in matroid bases

LetB,B be bases of a matroid, withX B, X B. SetsX,X are asymmetric exchange if(B – X) X and(B – X) X are bases. SetsX,X are astrong serial B-exchange if there is a bijectionf: X X, where for any ordering of the elements ofX, sayx _i ,i = 1, , m, bases are formed by the sets B₀ = B, B_i = (B_i–1 – x_i) f(x _i), fori = 1, , m. Any symmetric exchangeX,X can be decomposed by partitioning X = _i=1 ^m Y_i, X = _i=1 ^m Y_i, X, where (1) bases are formed by the setsB ₀ =B, B _i = (B _i–1 –Y _i ) Y _i ; (2) setsY _i ,Y _i are a strong serialB _i–1 -exchange; (3) properties analogous to (1) and (2) hold for baseB and setsY _i ,Y _i .     

On the ω-limit Set Dichotomy of Cooperating Kolmogorov Systems

The authors study the -limit set dichotomy of the Kolmogorov systems _i=x_i f _i(x)x _i0, 1in with the cooperative and irreducible hypotheses and obtain the quasiconvergence almost everywhere when n=3, which gives an affirmative answer to the open problem by Smith [9, p.72] in the case of n=3.     

Efficiency and the uniform linear minorization of convex functions

LetX be a Banach space, and let {f _i:iI} be a family of proper lower semicontinuous convex functions defined onX, each of whose epigraphs meets a fixed bound subset ofX×. We say that {f _i:iI} is uniformly linearly minorized if there exists a positive scalar such that for alliI andxX, we havef _i(x)–(1+x). We present two very different characterizations of uniform linear minorization for such a family. Using one of these, we show that either strong or weak epi-convergence of a sequence of convex functions at some point in the effective domain of the limit implies, uniform linear minorization for the entire sequence.With 1 Figure     

Generalised Holley-Preston inequalities on measure spaces and their products

Summary It is shown that if (X, ) is a product of totally ordered measure spaces andf _j (j=1,2,3,4) are measurable non-negative functions onX satisfyingf ₁(x)f₂(y)f₃(xy)f₄(xy), where (, ) are the lattice operations onX, then (f ₁ d)(f ₂ d)(f ₃ d)(f ₄ d). This generalises results of Ahlswede and Daykin (for counting measure on finite sets) and Preston (for special choices off _j).     

A Local Approach to 1-Homogeneous Graphs

Let bea distance-regular graph with diameter d. For vertices x and y of at distancei, 1 i d, we define the setsC _i(x,y) = i–1(x) (y), A _i (x,y) = _i (x) (y) and B _i (x,y) = _i+1(x) (y).Then we say has the CAB_j property,if the partition CAB _i (x,y) = {C _i (x,y),A _i (x,y),B _i (x,y)}of the local graph of y is equitable for each pairof vertices x and y of at distance i j. We show that in with the CAB_j property then the parameters ofthe equitable partitions CAB i(x,y) do not dependon the choice of vertices x and y atdistance i for all i j. The graph has the CAB property if it has the CAB _d property. We show the equivalence of the CAB property and the1-homogeneous property in a distance-regular graph with a ₁ 0. Finally, we classify the 1-homogeneous Terwilligergraphs with c ₂ 2.     

The evolution of a population for a certain viability system

Summary For the Fisher-Wright-Haldane selection model with fitness parametersf _ij =1+ _{i ij} ( _i –1) a complete global analysis is performed.

---

Zusammenfassung Für das Fisher-Wright-Haldane-Selektionsmodell mit den Fitneßparameternf _ij =1+ _{i ij} ( _i –1) wird eine vollständige globale Analyse, durchgeführt.

     

Intuitionistic weak arithmetic

We construct -framed Kripke models of i₁ and i₁ non of whose worlds satisfies xy(x=2yx=2y+1) and x,yzExp(x, y, z) respectively. This will enable us to show that i₁ does not prove ¬¬xy(x=2yx=2y+1) and i₁ does not prove ¬¬x, yzExp(x, y, z). Therefore, i₁¬¬lop and i₁¬¬i₁. We also prove that HAl₁ and present some remarks about i₂. Mathematics Subject Classification (2000):03F30, 03F55, 03H15.     

The generalized order complementarity problem

Given an ordered Banach Space (E,K) andm functionsf ₁,f ₂,...,f _m:EE, the generalized order complementarity problem associated with {f _i} andK is to findx ₀K such thatf _i(x ₀)K,i=1,...,m, and (x ₀,f ₁(x ₀),...,f _m(x ₀))=0. The problem is shown to be equivalent to several fixed-point problems and equivalent to the order complementarity problem studied by Borwein and Dempster and by Isac. Existence and uniqueness of solutions and least-element theory are shown in the spacesC(, ) andL _p(, ). For general locally convex spaces, least-element theory is derived, existence is proved, and an algorithm for computing a solution is presented. Applications to the mixed lubrication theory of fluid mechanics are described.     

On the Uniform Summability of Multiple Walsh-Fourier Series

In this paper we prove that if f C (0, 1 ^N ) and the function f is of bounded partial variation, then the N-dimensional Walsh-Fourier series of the function f is uniformly (C,–) summable (₁ +...+ _N < 1, _i > 0, i = 1,...,N) in the sense of Pringsheim. If ₁ +...+ _N = 1, _i > 0, i = 1,2,...,N, then there exists a continuous function f ₀ of bounded partial variation on [0, 1] ^N such that the Cesàro (C,–) means _m ^– (f₀,Õ) of the N-dimensional Walsh-Fourier series of f ₀ diverge over cubes.     

Extension of the Zorn lemma to general nontransitive binary relations

Let be an irreflexive (strict) binary relation on a nonempty setX. Denote the completion of by , i.e.,yx ifxy does not hold. An elementx ^* X is said to be a maximal element of onX ifx ^* x, xX. In this paper, an extension of the Zorn lemma to general nontrasitive binary relations (may lack antisymmetry) is established and is applied to prove existence of maximal elements for general nontrasitive (reflexive or irreflexive) binary relations on nonempty sets without assuming any topological conditions or linear structures. A necessary and sufficient condition has been also established to completely characterize the existence of maximal elements for general irreflexive nontrasitive binary relations. This is the first such result available in the literature to the best of our knowledge. Many recent known existence sults in the literature for vector optimization are shown to be special cases of our result.This work was supported in part by AFSOR Grant 91-0097.The author is grateful to the referees and Professor P. L. Yu for their comments and suggestions that led to this improved paper.     

The Logarithmic Frequency of Values of Additive Functions

We consider the weak convergence of distribution functions (_mx 1/ m)^-1 _{m x},f_x(m)x is a set (x 2) of strongly additive functions such that f_x(p){0,1} for each prime number p.     

A Comparative Result for Multiplicative Functions

In this paper, we compare the asymptotic behavior of _nx f(n) and _nx g(n) for multiplicative functions f and g, respectively, where |f| g. Our results extend relevant theorems by E. Wirsing and G. Hal@aacute;sz. The methods we use are elementary.     

ExplicitN-polynomials of 2-power degree over finite fields,I

For an odd prime powerq the infinite field GF(q ² )= _n0 GF (q ²ⁿ ) is explicitly presented by a sequence (f _n)₁ ofN-polynomials. This means that, for a suitably chosen initial polynomialf ₁, the defining polynomialsf _nGF(q)[x] of degrees2 ⁿ are constructed by iteration of the transformation of variablexx+1/x and have linearly independent roots over GF(q). In addition, the sequences are trace-compatible in the sense that the relative traces map the corresponding roots onto each other. In this first paper the caseq1 (mod 4) is considered and the caseq3 (mod 4) will be dealt with in a second paper. This specific construction solves a problem raised by A. Scheerhorn in [11].     

The Ramsey property for collections of sequences not containing all arithmetic progressions

A family of sequences has the Ramsey property if for every positive integerk, there exists a least positive integerf (k) such that for every 2-coloring of {1,2, ...,f (k)} there is a monochromatick-term member of . For fixed integersm > 1 and 0 q < m, let _q(m) be the collection of those increasing sequences of positive integers {x ₁,..., x_k} such thatx _i+1 – x_i q(modm) for 1 i k – 1. Fort a fixed positive integer, denote byA _t the collection of those arithmetic progressions having constant differencet. Landman and Long showed that for allm 2 and 1 q < m, _q(m) does not have the Ramsey property, while _q(m) A _m does. We extend these results to various finite unions of _q(m) 's andA _t 's. We show that for allm 2, _q=1 ^m–1 _q(m) does not have the Ramsey property. We give necessary and sufficient conditions for collections of the form _q(m) ( _{t T} A _t) to have the Ramsey property. We determine when collections of the form _a(m₁) _b(m₂) have the Ramsey property. We extend this to the study of arbitrary finite unions of _q(m)'s. In all cases considered for which has the Ramsey property, upper bounds are given forf .