La relación matemática entre una formulación primaria (primal) y su formulación dual asociada que enlaza condiciones de optimalidad, multiplicadores de Lagrange o variables conjugadas y que con frecuencia proporciona cotas, información de sensibilidad o algoritmos alternativos.

Principio

Formar el lagrangiano o el conjugado convexo para derivar un problema dual cuyos variables (multiplicadores) codifican restricciones o sensibilidades; aprovechar la dualidad débil/fuerte y la holgura complementaria cuando proceda.

Demostración

En optimización convexa con restricción minimizar f(x) sujeto a Ax=b, las variables primales x y los multiplicadores duales λ aparecen en el lagrangiano L(x,λ)=f(x)+λᵀ(Ax−b); resolver el dual puede dar una cota inferior o, bajo dualidad fuerte, el mismo valor óptimo y la información de multiplicadores.

Aplicación incorrecta

Asumir dualidad fuerte o intercambiabilidad primal‑dual sin verificar convexidad, calificaciones de restricciones o regularidad, lo que puede llevar a conclusiones erróneas sobre cotas o factibilidad.

Consecuencia

El uso correcto genera certificados de optimalidad, algoritmos eficientes (métodos primal‑dual), derivadas de sensibilidad respecto a restricciones y precondicionadores estructurados para sistemas lineales.

Inversión

Visto a la inversa, la correspondencia dual→primal muestra cómo los multiplicadores o la información adjunta reconstruyen correcciones primales; centrar únicamente en el dual oculta la estructura de factibilidad primal.

Límite

Se aplica a problemas con lagrangiano o conjugado bien definidos; excluye formulaciones sin convexidad o donde la interpretación de multiplicadores es no estándar (p. ej., no convexas, no diferenciables sin calificaciones).

Tensión semántica

Hay tensión entre ver las variables duales como meras herramientas computacionales (optimización) y como cantidades físicamente significativas (presiones, fuerzas), lo cual afecta decisiones de modelado e interpretación.

Síntesis

La relación primal‑dual es la descripción acoplada que vincula un problema primario con su dual mediante el lagrangiano o la conjugación, posibilitando cotas, análisis de sensibilidad y diseños algorítmicos que explotan ambas representaciones.