Matemática
Matemática
Matemática
José R. Berrendero
Departamento de Matemáticas
Universidad Autónoma de Madrid
Contenidos del tema 4
f (x + λd) − f (x)
f 0 (x, d) = lim .
λ→0 λ
I Matriz Hessiana:
00 (x)
f11 ··· 00 (x)
f1n
.. .. ..
Hf (x) =
. . .
00 (x)
fn1 ··· 00
fnn (x)
Propiedades básicas
I f tiene derivadas parciales continuas ⇒ f es diferenciable ⇒ f tiene derivadas
parciales.
I f es diferenciable en x̄ si y solo si
1
f (x) = f (x̄) + ∇f (x̄)> (x − x̄) + (x − x̄)> Hf (x̄)(x − x̄) + kx − x̄k2 R(x̄; x − x̄),
2
I Si f es diferenciable en x̄ y ∇f (x̄)> d < 0 (resp. > 0), entonces existe δ > 0 tal
que f (x̄) > f (x̄ + λd) (resp. <) si 0 < λ < δ.
Condiciones para óptimos locales
I f (x) = x 2 es convexa.
I Si S es convexo, la distancia a S,
para todo x, x̄ ∈ D.
Demostración:
(⇒) Si x, x̄ ∈ D y f es convexa en D,
f (λx + (1 − λ)x̄) ≤ λf (x) + (1 − λ)f (x̄) ⇔ [f x̄ + λ(x − x̄) − f (x̄)]/λ ≤ f (x) − f (x̄).
Casos particulares:
I Optimización lineal.
I Optimización cuadrática.
I Mı́nimos cuadrados.
Teorema local-global
Demostración:
I Sea x̄ un mı́nimo local. Existe R > 0 tal que f (x̄) ≤ f (x), para todo
x ∈ S ∩ B(x̄, R).
I Spg. que existe y ∈ S tal que f (y ) < f (x̄).
I Consideramos z = (1 − θ)x̄ + θy , para θ > 0 suficientemente pequeño.
I z ∈ S ∩ B(x̄, R) pero f (z) < f (x̄).
Mı́nimos globales bajo convexidad y diferenciabilidad
Teorema: Consideremos el problema (1) en el que se supone
además que f es diferenciable. Un punto x̄ ∈ S es mı́nimo global
de (1) si y solo si
Demostración:
(⇐) Por la convexidad de f , para todo x ∈ S,
(⇒)
1. Spg. existe x ∈ S con ∇f (x̄)> (x − x̄) < 0. Entonces, x − x̄ es una dirección de
descenso local.
2. Existe 0 < λ < 1 tal que f (x̄) > f x̄ + λ(x − x̄) = f (λx + (1 − λ)x̄).
3. λx + (1 − λ)x̄ ∈ S porque S es convexo.
4. Por lo tanto, x̄ no es un mı́nimo global.
Observaciones
1. Si S es abierto (por ejemplo, S = Rn ) entonces la condición
del teorema anterior se reduce a ∇f (x̄) = 0.
(Considera x = x̄ − λ∇f (x̄), para λ > 0 suf. pequeño.)
minimizar f (x)
s.a. fi (x) ≤ 0, i = 1, . . . , m
ai> x = bi , i = 1, . . . , p,