Documente Academic
Documente Profesional
Documente Cultură
LECTURE OUTLINE
Recession cones and lineality space
All figures are courtesy of Athena Scientific, and are used with permission.
1
x C, 0
Recession Cone RC
C
d
x+ d
C
x + d1
z3
x + d2
z2
z1 = x + d
x + d3
x+d
x
Let d =
0 be such that there exists a vector
x C with x + d C for all 0. We fix
x C and > 0, and we show that x + d C.
By scaling d, it is enough to show that x + d C.
For k = 1, 2, . . ., let
(zk x)
d
dk =
zk x
zk = x + kd,
We have
dk
zk x d
xx
zk x
xx
1,
0,
=
+
,
d
zk x d zk x zk x
zk x
LINEALITY SPACE
The lineality space of a convex set C, denoted by
LC , is the subspace of vectors d such that d RC
and d RC :
LC = RC (RC )
x
S
S
d
0
DIRECTIONS OF RECESSION OF A FN
We aim to characterize directions of monotonic
decrease of convex functions.
Some basic geometric observations:
The horizontal directions in the recession
cone of the epigraph of a convex function f
are directions along which the level sets are
unbounded.
Along these
directions the level sets x |
f (x) are unbounded and f is monotonically nondecreasing.
These are the directions of recession of f .
epi(f)
Recession
Cone of f
RV = d | (d, 0) Repi(f )
!"#$%$& '(
f (x + d)
!"#(
f (x)
f (x + d)
!"#(
rf (d) = 0
f (x)
rf (d) < 0
&
&
"&(
")(
!"#$%$& '(
!"#$%$& '(
f (x + d)
f (x + d)
!"#(
f (x)
!"#(
f (x)
rf (d) = 0
rf (d) = 0
&
&
"+(
"*(
!"#$%$& '(
!"#$%$& '(
f (x + d)
f (x + d)
rf (d) > 0
!"#(
f (x)
rf (d) > 0
!"#(
f (x)
&
&
"!(
",(
0
Level Sets of f
Terminology:
d Rf : a direction of recession of f .
Lf = Rf (Rf ): the lineality space of f .
d Lf : a direction of constancy of f .
RECESSION FUNCTION
Function rf : n (, ] whose epigraph
is Repi(f ) is the recession function of f .
Characterizes the recession cone:
f (x + d) f (x)
f (x + d) f (x)
= lim
x, d n
if f is dierentiable.
Calculus of recession functions:
rf1 ++fm (d) = rf1 (d) + + rfm (d),
rsupi2I fi (d) = sup rfi (d)
iI
10
f
0
11
)f (x)
x + (1
)x
12
Vk = x | f (x) k .
Then the set of minima of f over X is
X = k=1 (X Vk ).
The sets X Vk are nonempty and have RX Rf
as their common recession cone, which is also the
. It follows
recession cone of X , when X =
that X is nonempty and compact if and only if
RX Rf = {0}. Q.E.D.
13
14
MIT OpenCourseWare
http://ocw.mit.edu
For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.