Slater 2013
Slater 2013
AT YALE UNIVERSITY
Morton Slater
November 1, 1980
G. Giorgi and T.H. Kjeldsen (eds.), Traces and Emergence of Nonlinear Programming, 293
DOI 10.1007/978-3-0348-0439-4 14, © Springer Basel 2014
COWLES CO!>lMISSION DISCUSSION PAPER: lVITI~·lATICS: 403
by Morton Slater
November 7, 1950
1. Introdaction
The present paper was inspired by the work of Kuhn and Tucker [1] 1
uf ;; g for all x ~ 0?
294
-2-
that their theorems are true without this assumption. Is this the case?
between f and g. From this point of view, it would appear that a best
ing properties:
x some gj(x) ~ 0
2° jx such that all r 1 (x) > 0
E A1 f 1 (x 1 ) + c: r Bj
2
and E A1 r1 (x) + c; r Bj gj
295
-3-
"Ai ~ O" and "Bj -': 0" are replaced by "Ai > o" and "Bj > O" which
a priori appears to avoid the above difficulty, actually implies 3°.
296
On the credit side is that if all the fi are concave and all the
function at two points, then the concave function dominates the convex
function in between.
for x ~ 0 and having continuous first and second derivatives for x > D.
If in addition f'(x) > 0 for all x > 01 then by 8 theorem of M. M. Peixoto
g "()
x ~ d~
f'(x) f "(x) for all x > 0.
theorem of von Neumann [1) and Kakutani [1], which we shall take as
lemma 1.
297
-5-
and every real a1 the set of all 11 € L such that 'f (~ 0 , 11) ~a: is con-
vex, and if for every 11° € L and every real ~' the set of all ~ € K
1 ( ~'
such that "' >
~ o) ., ~ is convex, then 3(,'o' no)
., such that
convex.
Let K • (v v ~ 0, L: v j -= 1} ,
~ "' [x x E L, L: xi ~ N}
Using the left hand side of the equality, we see that to prove
298
-6-
that fi (i) ~ 0.
·o
We show first that f. (xl) < o. Suppose false; then j X such that
l
o ~ f1 <xl 0
< f'1 (x ) '
0
and g(xl < o. Hence jA > 0 and
0 0
B < 0 such that
299
-7-
0
so that by 3 , Af. (x) + B ~ g(x) for X
0
.:iX fi X·
1
0
B
fi (x) ~ - X> o, a contradiction.
0
g(xo) - g(xl) f.
1
(xo)g(xl) - g(xo)fi
c = ---------;- > 0' D=
0 0
c fi (xl) + D = g(x 1 )
0
1
so that c f. (x) + D~ g(x) for X
0
~X ~X •
10
In particular
c fi (X) + D ~ 0
0
300
-8-
all x ~ 0 3u e ~ = [u : u ~ o, E ui :ii M}
( 0 1 1 0
fi x )g(x ) - fi (x )g(x ) ~ 0
0 0
u =~
10 fi (xo)
0
1 1
Then fi (x ) - g(x )
0
0 1 0 l
r 1 (x )g(x } - g(x )f1 (x )
.- 0
--~---------------------- :i.O
fi (xo)
0
M = ~(~
0
Thus i f we take ) where A = glb r 1 (x0 ) the lemma is proved.
The next lemma will not be needed for the proof of theorem l, but it is
joining x1 to x2 ;
301
-9-
~---------------1
1 2
X X
Corolla!Y: If all fi(x1 ) > 0 and g(x1 ) co, then g(x) ~ 0 for all x.
The proof of theorem l is now easy.
~: Choose M as in lemma 4 and N > 0 arbitrarily. Consider
the function
302
-10-
gj{x) = gj(x 0 ),
Theorem 2. Let r 1 (x), ••• , fk(x) and g1 (x), ••• , ~(x) be real
valued continuous functions Which satisfy conditions 2° and 3° of theorem 1.
Let K be the set [x: fi(x) ~ 0 i =l 1 ••• ,·k}. Let x0 be an essential
over K.
303
-11-
If for some j, vj "'0 1 then th&t gj(x) may be deleted and x0 will,
by the above inequality, remain minimal. Hence all vj > 0. But then,
q_.e.d.
Theorem 3: Let f 1 (x), ..• , fk(x) and g1 (x), ••• , Bt(x) be con-
(1)
point at (x0 , u 0 ).
By lemma 2 we choose
304
-12-
tv~gj(x).
Now suppose f 1 (x 0 ) = ... = f~(x 0 ) = 0 and f~+ 1 (x 0 ), ••• , fk(x 0 ) > 0.
By lemma 5 g(x) ~ g(x 0 ) for all x such that f 1 (x), ... , f~(x) £ 0. (In
particular, i f all f.(x 0 ) > 0, then g(x) ~ g(x0 ) for all x). Hence by
J.
= ~ = o.
0 0
for all x ~ 0 and all u 1 ;, 0, i = 11 ••• , ~· Now take u~+l
Then
the proof,
305
-13-
References
306