Anteprima
Vedrai una selezione di 5 pagine su 16
Teorema Fritz John, punti di KKT, programmazione convessa, dualità di Wolfe e Lagrange Pag. 1 Teorema Fritz John, punti di KKT, programmazione convessa, dualità di Wolfe e Lagrange Pag. 2
Anteprima di 5 pagg. su 16.
Scarica il documento per vederlo tutto.
Teorema Fritz John, punti di KKT, programmazione convessa, dualità di Wolfe e Lagrange Pag. 6
Anteprima di 5 pagg. su 16.
Scarica il documento per vederlo tutto.
Teorema Fritz John, punti di KKT, programmazione convessa, dualità di Wolfe e Lagrange Pag. 11
Anteprima di 5 pagg. su 16.
Scarica il documento per vederlo tutto.
Teorema Fritz John, punti di KKT, programmazione convessa, dualità di Wolfe e Lagrange Pag. 16
1 su 16
D/illustrazione/soddisfatti o rimborsati
Disdici quando
vuoi
Acquista con carta
o PayPal
Scarica i documenti
tutte le volte che vuoi
Estratto del documento

Condizioni di ottimalità per problemi di ottimizzazione vincolata

min f(x)

s.t. g(x) ≤ 0 h(x) = 0

F = { x ∈ Rⁿ : gᵢ(x) < 0, hⱼ(x) = 0 }

v incide ott. v : I(ε) = { x ∈ ε (x₁, ..., xₘ) : qᵢ(x) = 0 }

Teorema di Fritz-John

Scrivere f, gᵢ ∈ C¹ (Rⁿ), hⱼ ∈ C¹ (Rᵖ) per ogni i = 1, ..., m; hⱼ ∈ C¹ (Rᵖ), per ogni i, j = 1, ..., p. Se x̄ è un minimo locale di F allora esistono degli scalari λ₀, λᵢ, μⱼ (i = 1, ... m) (j = 1, ... p) non tutti nulli tali che:

λ₀ ∇f(x̄) = ∑ (i = 1, m) ∇gᵢ(x̄)λᵢ + ∑ (j = 1, p) ∇hⱼ(x̄)μⱼ = 0

gᵢ(x̄) = 0      i = 1, ... m

λ₀ ≥ 0      λᵢ ≥ 0      i = 1, ... m

La funzione di Lagrangiana

L : I, R → Rᵐ + Rᵖ → R

L(x, λ, μ) = λ₀ f(x) + q(x)ᵀλ + h(x)ᵀμ

∇ₓ L(x̄, λ₀, λ, μ) = λ₀ ∇f(x̄) + ∇g(x̄)ᵀλ + ∇h(x̄)ᵀμ = 0

λᵢʸgᵢ = 0

gᵢ(x̄) ≤ 0      hⱼ(x̄) = 0

1 ≥ 0      λ ≥ 0      (λ₀, λ, μ) > 0

Un punto x̄   ∈   Rⁿ   è   detto   punto   di   F: λ₀ se   esistono   degli   scalari   λ₀,λᵢ coni, i = 1, ..., m   μⱼ, j = 1, ..., n   tali che le condizioni trascendent sono verificate

Se l'orda intorno ad di p, dove S Tasera con disco e io soliti x l'

Un put ov io. Karush - Kuhn - Tucker (KKT) Se esistono delle solari u:

con i = 1,..., m e j = 1,..., n ci sono verifica le

seguenti condizioni:

a) ∇ƒ(x) + ∑ ∇h(x)μ ≥ 0

μ ∈ R

b) ¦(x) = 0

c) g(x) ≤ 0

λ ≥ 0

d) C(datifooli - hkh, T e t(aL)T

m i i) si N può scrivere ∇L*(x, λ, μ) ≥ 0

Per parla, peroz alche che le le di key T sono C. N. dell uk mo locale

si dole di io della che l' insieme com superé a il sufficie ted ta ("opedo"

x, i e (19.!) e, j (10) la mia, un. = ..., ... tale h ∈ Ci 207

N cer, vel per la = dive a ÷ 3 qui da a minima locale dier ja F

allo se esistra una vel ra isșa, = 1(2) tale he:

ρ ∇g(x) + ∑ ∇h(x) μ = 0

x I(x)

λ0 = 0

Se i O ll seguenti "poteľa' condiora e soddisfatte si potre dol pro'nelo du nebellel da ne

e o plen ne do un minino to (cot) doloj il a y x tale di KKT.

p) (llonderca): a, 1 2, 3 4,...m e h1 h2, ..., i 1,...p sono funconi lineov

b)Lice di Mongorolin Foroneria va consulook! desio.

∑ s. α∇ƒ(x) + ∑ B 1 ∇h (a) = 0

e cio (a) j=1

a) onde ai iponderfa nelico de t di a "pedile" de (ın del culou)

vel; d1: V o i=1

si sono resenzie indhvanrei soiðo quos o inedu

J: dinse nie i Fi la F che rinche e isz de α — s sodifae le condidi eone

del Focam sono una i

I(T(x)) = { ξ ∈ X: α∑ |α| ≥ 0}, prima degli indici di L1 c.d. decido

Lemma

Siano fi C1(ℝnℝ) g, λ ∈ C1(ℝn) Vx αi = 1,...,m e hi (x) ∈ C1(ℝn).M. p.s ) zξ è sequenza di punti interni a fissi Sλ del tutto.Supξ g(zξ) ed accumulazione delle sequenze f (xy) che soddisfa e supersio inferto :

non possono esistere quindi, poiché) zλ = 0 => z ∈ I(T(x) e βj, j = 1...p non utilizza NH ne :

i∈C(L' i ) αi ∇fi(x) = ∑j=1 βj ∇hj(x) = 0Allora x è un punto di ∗T T ∗T

Problemi di ricopertura connessa

Dato un insieme (. C ⊆ ℝ) si dica che C è un insieme connesso se per comunque scelti due punti x, y ∈ C e comunque scelto un scalare t ∈[0,1] si ha che tx + (1- 2 Obl )y ∈ C

Sia. C ⊆ ℝn un insieme connesso e 1 ; i c∼DP1 C dica che ƒ è connesso su C ∼ comunque scelti due punti x, y ∈ C e comunque scalature scalare t il ho tƒ(x) + (1 - t z ) y 2 ƒ(t) + (1 - t a) ƒ(y)

  • Strettamente connessa ++ 4, y " Concaòe "Stipulante connessa ++ 4, e i )

Sia C C ⊆ ℝn un insieme connesso operto e Ƒ ƒ è continumente. differenziable su C dolce(i) if ƒ è connessa (concave) su C se è seriaòle se va ogni x ∈ C c sino

ƒ1(y) - ƒ1(x) ≤ (σ) ∇ ƒ(x)t (y - x) (ii) sefut compromise connessa (concava) wi con m x y sino ƒ(y) - ƒ(x) ≤ (ƒ)1 (x) t (y-1)

Sia ƒ molte volte continumente differenziable se c dolce

(iii) if ƒ è connessa (concave) su C se è scromal se va ogni x ∈ C i ho Главd 3 B 4 (1)x. dⱯ B (. .

cosftesh commentd dovah ) if conposti

(iv) sintomato connessa (concaoju) w w o ) d )

2 sup(T remark zad» n ( Mediterranean )

λ ≥ 0 per definizione

L(xn, λn, μn) = f(xn) + λn q(xn)

+ μn h(xn) per definizione

λ ≥ 0, q(x)0

∀ i q(xi) ≤ 0

→ μ = ó q(xi) < 0

→ (μ − μn)T h(x)T < 0

...ψ(xn) = 0

→ −xi − μi q(xi) ≤ 0

− ∂n q(xi) = 0

Con x, x = 1 e μ, q o anche al contrario

∀ i

xiG x, q(x)i ≤ h(x)i ≤ 0

∀ δ ∈ X

L(xn, λn, μn) < L (x, λ, μ)

∀ δ = x

...f(x) + λψ q(x)i + μn q(x)i ≤ f(x)1 + λi+1 q(x1) + k μi h(x)i

...f(x)1 = f(x)i + x q(x)i ≤ 0

+ λi q(xi) + μn h(xi)

f(x)1 ≤ f(x)n

∀ δ ∈ x

q(x)i ≤ 0

h(x) ≥ 0

N.B.

  • q(x)i ≤ 0
  • h(x)i ≥ 0

∀ δ ≠ a x δ

...∃ δ0 (xi, λi+1, μi) un p.s. debole in x

∀ δ ∈ X λi ≥ 0

  • q(x)i ≤ 0
  • h(x) ≥ 0
  • λ ≥ 0
  • (xi) q(x1) ≤ 0
  • L(xn, λn, μn) = minu∈ℝ L(x, λ, μ) ≤ 0

∀ δ ∈ (xi, λi, μi) ≥

→ x δ x δ

Falso

L((1-λ)x1 + λx2) > (1-λ) f(x1) + λ f(x2)

f(x) = c (x - x1)(x - x2) + f(k)

2) e 3) per definizione

Disuguaglianza di Jensen (valida forte)

f : ℝ → C^1(ℝ) e convessa se, ∀ [x] ∈ ℝ, ∃ k ∈ (x, x'2) se c ≠ 0 allora x2 ∈ (x'1, x2) ∀ i, quindi

L(x) = L(x1, x2, ...) = q(x) = f(x1)

Parte 3

L(x1, x2, ... , xn) = 1/2 ( ∑ x'/q(x) ) + (x'/q(x)) log(β'/x'²) = f(x'/x)

si o f ∈ C1(ℝ) e convesso su (ℝ^n)^d allora f ∈ C-1(ℝ) e convesso su un punto ad ore†

Problema Quadratico

min xtQsx + ctx

Ax ≤ b

+ &exists; &Sureq; 0 c ∈ Rn, A ∈ ∃ Rm, b ∈ ℝn

C ∈ ∃ (m) &London; ℙℕℑ

b ∈ (m)

max xtQsx + ctx

ΔQ(L,x1) = ∀&Si; 𝔓

max -½QA + b + c > 0

min -½Qsx + b ⟵ 0

∾ −min xtQmx + cx ≤ b

∂xt + c = 0 ↳

Dettagli
Publisher
A.A. 2019-2020
16 pagine
SSD Scienze matematiche e informatiche MAT/09 Ricerca operativa

I contenuti di questa pagina costituiscono rielaborazioni personali del Publisher frugis di informazioni apprese con la frequenza delle lezioni di Ricerca operativa e studio autonomo di eventuali libri di riferimento in preparazione dell'esame finale o della tesi. Non devono intendersi come materiale ufficiale dell'università Università degli Studi di Roma La Sapienza o del prof Lucidi Stefano.