Académique Documents
Professionnel Documents
Culture Documents
methods
Proper local minimum Local minimum and global minimum of a function f(x)
∧
∧ The point x determines a local minimum of a function f(x) in Rn space,
f(x) has a proper local minimum in point x , if there exists
Function f(x) δ >0 When: there exists E ⊂ R
n
∧
for point x , that
such,
such, that for ∀x ∈ E )
f (x ) < f (x )
∧
∀x ∈ E f ( x) ≤ f ( x)
where:
where: E = X ∩∆ ∧
∧
When f ( x) < f ( x) for x ≠ x then the proper local minimum exists.
∆ = {x : 0 < x − x < δ }
)
∧
∧
Week localx minimum The point x determines a global minimum of a function f(x) in Rn space,
∧
Function f(x)
f(x) has a week local minimum in point x , if there exists δl > 0 ∧
when ∀x ∈ R n f ( x) ≤ f ( x)
such that,
that, for ∀x ∈ El ) )
f ( x )≤ f (xl )
where: ∧ ∧
When f ( x) < f ( x) for x≠x then the proper global minimum exists.
El = X ∩ ∆ l
∆ l = {x : 0 < x − x < δ l }
)
Optimization theory and advanced Faculty of Electronics Optimization theory and advanced Faculty of Electronics
computing methods Ph.D. Ewa Szlachcic computing methods Ph.D. Ewa Szlachcic
is bounded on this set and obtains its bounds.: two points exist, x1 , x2 ∈ X
{
X = x : x = λx1 + (1 − λ )x 2 , 0 ≤ λ ≤ 1 }
such that for each x∈ X
( ) ( )
f λx1 + (1 − λ )x 2 ≤ λ f x1 + (1 − λ ) f x 2 ( )
Optimization theory and advanced Faculty of Electronics Optimization theory and advanced Faculty of Electronics
computing methods Ph.D. Ewa Szlachcic computing methods Ph.D. Ewa Szlachcic
( ) ( )
f λx1 + (1 − λ )x 2 ≥ λ f x1 + (1 − λ ) f x 2 ( ) her hessian A(x) is positive half-definite for each x∈ X .
Optimization theory and advanced Faculty of Electronics Optimization theory and advanced Faculty of Electronics
computing methods Ph.D. Ewa Szlachcic computing methods Ph.D. Ewa Szlachcic
Optimization theory and advanced computing
methods
Optimization theory and advanced Faculty of Electronics Optimization theory and advanced Faculty of Electronics
computing methods Ph.D. Ewa Szlachcic computing methods Ph.D. Ewa Szlachcic
Optimization theory and advanced Faculty of Electronics Optimization theory and advanced Faculty of Electronics
computing methods Ph.D. Ewa Szlachcic computing methods Ph.D. Ewa Szlachcic
Optimization theory and advanced computing
methods
Convex function
Theorem 2 Theorem 4
Let our set X X ⊂ R n will be convex set and let function f(x) wil be differentiable.
Then function f(x) will be convex ∀x, x 0 ∈ X , if and only if Let X ⊂ R n is a convex set . When f i : X → R1 for i=1,...,k are convex
functions and if scalar value
αi ≥ 0
f ( x) ≥ f ( x 0 ) + < ∇f ( x 0 ), x − x 0 >
for i=1,...,k then function f(x)
f(x)
Function f(x) is a convex function on a range (a,b) if and only if the function diagram lays above the k
diagram of a tangent to a curve for each point x0 from a range (a,b). f ( x) = ∑α i f i (x )
i =1
Is a convex function.
Theorem 3
Let a function f : X → R1, for X ⊂ R n will be convex function, than for each real value α
the set
X α = {x : f ( x) ≤ α }
is convex.
Theorem 5
The local minimum of a convex function on a convex set X ⊂ R n of admissible
solutions, is global minimum of that function on the set X. ( )
f x2 ≥
( )
f λx1 + (1 − λ )x 2 − λf x1
≥
( )
f x 1 − λ f x1 ( )
= f x1
( ) ( )
1− λ 1− λ
Proof:
Let the function f(x) has his local minimum in point x1 ∈ X .
which completes the proof.
It means that there exists such ε >0 , that:
( )
f x = min f ( x )
1
x∈V
where: {
V = x ∈ X , x − x1 ≤ ε } Theorem 6
Assume, that x2 ∈ X , x1 ≠ x 2 . Let us consider 0 < λ <1 and Strictly convex function f(x) defined on a convex set of admissible solutions
λ f (x1 ) + (1 − λ ) f (x 2 ) ≥ f (λx1 + (1 − λ )x 2 )
Optimization theory and advanced Faculty of Electronics Optimization theory and advanced Faculty of Electronics
computing methods Ph.D. Ewa Szlachcic computing methods Ph.D. Ewa Szlachcic
Theorem 7
Example When
Let c ∈ Rn , d ∈ R1 . Try to show, that function f(x) f ( x ) : R n → R1 f (x ) : R n → R
defined as follows: Is concave function and X is a bounded, closed and convex set,
f ( x ) = cT x + d there exists extreme point of a set X, where the function f(x) achieves the minimum
value on this set.
Is simultaneously convex and concave function on a set of Rn.
Colorary
The linear function f(x) defined on a polyhedron (the convex set of admissible
solutions) achieves it’s bounds on extreme points of a polyhedron.
Optimization theory and advanced Faculty of Electronics Optimization theory and advanced Faculty of Electronics
computing methods Ph.D. Ewa Szlachcic computing methods Ph.D. Ewa Szlachcic