Schema Risolutivo per l’Ottimizzazione
Vincolata
Passo 1: Formalizzazione (Forma Standard)
Prima di calcolare, porta il problema nella forma standard.
1. Obiettivo: Identifica se è un problema di max o min.
2. Vincoli di Disuguaglianza: Trasforma tutto in gj (x) ≤ 0.
• Se hai g(x) ≤ c =⇒ g(x) − c ≤ 0.
• Se hai g(x) ≥ c =⇒ c − g(x) ≤ 0.
3. Vincoli di Uguaglianza: Scrivi come hi (x) = 0.
Passo 2: Analisi Preliminare (Esistenza)
Verifica il Teorema di Weierstrass:
• Se f (x) è continua;
• Se l’insieme dei vincoli D è chiuso e limitato (compatto);
Allora esistono sicuramente Massimo e Minimo globali. Nota: Questo ti permette alla
fine di confrontare semplicemente i valori dei candidati.
Passo 3: Ricerca dei Candidati (I 3 Gruppi)
Bisogna cercare i punti x∗ in tre insiemi distinti.
Gruppo A: Punti Critici Interni (Vincoli Inattivi)
Cerca i punti stazionari all’interno del dominio come se non ci fossero vincoli.
∇f (x) = 0
Check: Scarta i punti che non soddisfano i vincoli rigorosi (es. se trovi un punto dove
g(x) > 0).
1
Gruppo B: Punti Irregolari (NDCQ fallita)
Cerca i punti dove il metodo dei moltiplicatori non può essere applicato (es. cuspidi).
∇gj (x) = 0 (oppure ∇hi (x) = 0)
Verifica se questi punti sono ammissibili (rispettano i vincoli).
Gruppo C: Punti di KKT / Lagrange
Costruisci la funzione Lagrangiana. Per un problema di Max standard:
X X
L(x, λ, µ) = f (x) − λi hi (x) − µj gj (x)
i j
Imposta il Sistema KKT (Condizioni del Primo Ordine):
(Stazionarietà)
P P
∇x L = ∇f (x) − λi ∇hi (x) − µj ∇gj (x) = 0
(Ammiss. Uguaglianza)
hi (x) = 0
gj (x) ≤ 0 (Ammiss. Disuguaglianza) (1)
(Complementary Slackness)
µj · gj (x) = 0
µj ≥ 0 (per Max) / µj ≤ 0 (per Min) (Ammiss. Duale)
Passo 4: Risoluzione Strategica
Non risolvere il sistema tutto insieme. Usa la condizione di Complementary Slackness
(µj gj = 0) per dividere in casi.
Esempio con un solo vincolo g(x) ≤ 0:
Caso 1 (Vincolo Inattivo): Poni µ = 0.
• Risolvi ∇f (x) = 0.
• Verifica alla fine che g(x) ≤ 0.
Caso 2 (Vincolo Attivo): Poni g(x) = 0.
• Il sistema diventa un classico Lagrange con uguaglianza.
• Trovi la coppia (x∗ , µ∗ ).
• Check Fondamentale: Verifica il segno di µ∗ .
– Se cerchi MAX e µ∗ < 0, scarta il punto (il vincolo "tira" dalla parte
sbagliata).
2
Passo 5: Confronto Finale
Hai ottenuto una lista finita di candidati x1 , x2 , . . . dai passaggi precedenti.
1. Calcola f (xk ) per ogni candidato.
2. Se vale Weierstrass:
• Il valore più alto è il Massimo Globale.
• Il valore più basso è il Minimo Globale.