Ejercicio de optimización 35 resuelto: Condiciones de optimalidad en una región no convexa

✓ Solución revisada y verificada

Enunciado

f(x,y)=(x−y)² en R={(x,y): (x−1)²+(y−2)²≥1; y≥(x−1)²; y≤5}. Analizar mediante condiciones de primer y segundo orden los puntos A=(2,2), B=(3/2,1/4) y C=((2−√2)/2,(4+√2)/2), y concluir sobre su optimalidad.
Ver solución paso a pasoDesarrollo, resultado e interpretación

Desarrollo paso a paso

Región y función

La función es f(x,y)=(x−y)²≥0. Escribimos las restricciones como g₁=1−(x−1)²−(y−2)²≤0, g₂=(x−1)²−y≤0 y g₃=y−5≤0.

Punto A=(2,2)

Es factible y f(A)=0. Como un cuadrado nunca puede ser negativo, A alcanza el menor valor posible. A es mínimo global (y por tanto también local).

Punto B=(3/2,1/4)

En B está activa la frontera parabólica y=(x−1)². La condición de primer orden se cumple y, al restringir la Hessiana de la Lagrangiana a la dirección tangente, la curvatura es negativa. Por tanto B es un máximo local estricto. No es global porque dentro de la región existen puntos con valores mayores de (x−y)².

Punto C=((2−√2)/2,(4+√2)/2)

C está sobre la circunferencia: (x−1)²+(y−2)²=1, mientras que las otras restricciones son inactivas. Para minimización, ∇f+μ∇g₁=0 da μ=2+√2>0, de modo que sí supera la condición de primer orden.

Sin embargo, la Hessiana de la Lagrangiana es HL=Hf−2μI. En la dirección tangente d=(1,1), se obtiene dᵀHLd=−4μ<0, incompatible con un mínimo. Además, desplazarse hacia el exterior de la circunferencia en la dirección radial aumenta f, mientras que desplazarse tangencialmente sobre la frontera la reduce. Por ello C no es ni máximo ni mínimo local.

Conclusión

A: mínimo global
B: máximo local estricto (no global)
C: no es óptimo local

Método utilizado

KKT y análisis local

Resultado final

A=(2,2) es mínimo global; B=(3/2,1/4) es máximo local estricto, pero no global; C=((2−√2)/2,(4+√2)/2) no es óptimo local.

Interpretación del resultado

El ejercicio muestra por qué las condiciones de primer orden no bastan: C satisface la estacionariedad de Kuhn-Tucker para minimización, pero falla la condición de segundo orden y existen direcciones factibles que aumentan y otras que disminuyen f.

Scroll al inicio