Professional Documents
Culture Documents
Pascal Gourdel Pascal Gourdel: Weierstrass's Theorem
Pascal Gourdel Pascal Gourdel: Weierstrass's Theorem
dimensional dimensional
results results
Pascal Pascal
Gourdel Gourdel The main starting point of existence results is Weierstrass’s
Existence Existence Theorem and its corollaries.
results results
Weierstrass’s
Theorem 1 (Weierstrass)
First order
condition The one dimensional results Theorem
coercivity
Convex and First order If the domain is compact, and if f is continuous then f is
concave condition
functions bounded and the extremum are reached.
Pascal Gourdel1 Convex and
concave
functions
Université Paris 11
October 18, 2008 The proof is based on the notion of maximizing sequence
(respectively minimizing). When the domain is not bounded,
numerous problems can be solved using the coercivity
condition.
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 1 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 3 / 26
coercivity coercivity
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 4 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 5 / 26
The one The one
dimensional dimensional
results results
Pascal
By extension, we can adapt this definition for example for Pascal Proposition 1
Gourdel Gourdel
functions defined on [0, +∞[ by requiring that Let −∞ ≤ a < b ≤ ∞, we let I = [a, b] ∩ R and we consider
Existence Existence
results results f : I → R differentiable on I, if we assume that the problem
Weierstrass’s
lim f (x) = +∞. First order
Theorem
coercivity
x→+∞ condition
maxx∈I f (x) has a local solution x ∈ R, then
if x ∈ ]a, b[, then f 0 (x) = 0,
Necessary condition
First order Alternative
1
condition We can also use a change of variable in order to study a formulation in terms
if x = a, then f 0 (x) ≤ 0,
of multipliers
2
Convex and
concave
problem defined on ]1, +∞[. qualification
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 6 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 8 / 26
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 9 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 10 / 26
The one The one
dimensional dimensional
results results Definition 3
Pascal Pascal
Gourdel
Be careful, if we consider the optimization problem, Gourdel Let us consider the following domain, the set O is open and
Existence Existence gi are continuous on O.
results results
max 3x
First order (P) (1) First order
x ∈O
condition g1 (x) = x 2 ≤ 0 condition
g1 (x) ≤ 0
Necessary condition Necessary condition
Alternative Alternative
formulation in terms
of multipliers It is easy to prove that x = 0 is the unique solution of (P) formulation in terms
of multipliers
...
qualification qualification
but nevertherless the system gp (x) ≤ 0
Convex and Convex and
concave 0 concave
functions
f (x) = λ1 g10 (x) functions
W say that the Slater condition is satisfied for this list of
λ ≥0 constraints if there exists a feasible point x̂ such that x̂ ∈ O,
1
λ1 g1 (x) = 0 and for each i = 1, . . . , p,
has no solution.
either gi is an affine function and gi (x̂) ≤ 0
or
gi is a convex function and gi (x̂) < 0
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 11 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 12 / 26
First order
Let f : [a, b] → R, let us consider the optimization problems First order
Exercise 5
condition condition
Necessary condition
Necessary condition Let us consider again the problem
Alternative
formulation in terms
max f (x) ∈ R max f (x) Alternative
formulation in terms
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 13 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 14 / 26
The one The one
dimensional dimensional
In this part, f is a real-valued function defined on U convex
results
Proposition 3
results
subset (interval) of R.
Pascal Pascal
Gourdel Gourdel
Definition 4
Let x be a local solution of the optimization problem:
Existence Existence
results results The function f is convex (resp. concave) if for all (x, y ) ∈ U × U
First order
max f (x) First order
and for all λ ∈ [0, 1],
condition
x ∈O condition
Necessary condition
Convex and
Alternative
formulation in terms
(P) g1 (x) ≤ 0 concave f (λx + (1 − λ)y ) ≤ λf (x) + (1 − λ)f (y ).
of multipliers
functions
...
qualification
Definitions
gp (x) ≤ 0
Convex and
concave
(respectively ) f (λx + (1 − λ)y ) ≥ λf (x) + (1 − λ)f (y ).
functions
Let us assume that the Slater condition is satisfied and that The function f is strictly convex if for all (x, y ) ∈ U × U such
each function is differerentiable on O, then, there exists that x 6= y and for all λ ∈ ]0, 1[,
(λi )pi=1 ∈ Rp+ such that f (λx + (1 − λ)y ) < λf (x) + (1 − λ)f (y ).
H(f )
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 18 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 19 / 26
The one The one
dimensional dimensional
Proposition 4
results results
Pascal
Examples: Pascal if f is convex (resp. concave) and if x < x 0 < x 00 are
Gourdel Gourdel
elements of I, then (figure 2),
Existence
1 Let us recall that an affine function is a function R → R, Existence
results such that results
f (x) − f (x 0 ) f (x) − f (x 00 ) f (x 00 ) − f (x 0 )
First order
f (x) = αx + β. First order ≤ ≤
condition condition x − x0 x − x 00 x 00 − x 0
Convex and Convex and
concave Any affine function is both convex and concave, but not concave .
functions functions
Definitions
strictly. It can be easily proved that if f is convex and Definitions b
concave on U, then it is the restriction on U of an affine
function.
2 |.| is a convex function. b
3 If C is a nonempty convex convex subset of R, the
distance to C defined by dC (x) = inf{|x − c| such that
c ∈ C} is convex. b
O x x′ x′′
2) The right and left derivatives exist on the interior of U and In particular f is lipschitz on [a, b]
moreover if x1 < x2 are interior points, then
f (x2 ) − f (x1 )
fr0 (x1 ) ≤ ≤ f`0 (x2 ). Corollary 9
x2 − x1
3) The right and left derivatives are non decreasing on the Let f be a differentiable function on the interval U, f is
interior of U, and more over if x is an interior point, convex on U if and only if f 0 is non decrasing on U.
f`0 (x1 ) ≤ fr0 (x1 ).
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 22 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 23 / 26
The one The one
dimensional dimensional
results results
Pascal Pascal
Gourdel Gourdel Exercise 6
Existence
Corollary 10 Existence 1) Show that the function f defined by f (x) = x 4 is strictly
results results
Let f be a twice differentiable function on the interval U, f is convex on R but nevertheless the second derivative is not
First order First order
condition
convex if and only if for all x ∈ U, f 00 (x) ≥ 0. condition always positive on R since f 00 (0) = 0.
Convex and Convex and
concave concave
functions
Be careful, f may be discontinuous on the boundary of the functions 2) Let f be a twice differentiable function on the interval U.
Show that if for all x ∈ U, f 00 (x) > 0, then f is strictly convex
Definitions Definitions
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 24 / 26 Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 25 / 26
Existence
results 0,16
First order
condition
0,08
0,04
Pascal Gourdel (Université Paris 1) The one dimensional results October 18, 2008 26 / 26