Rockafellar, Part VI: Constrained Extremum Problems

R. T. Rockafellar, Convex Analysis (Princeton, 1970), sections 27 to 32. This module imports the six section modules and adds nothing of its own.

section	module	subject
27	Part6.Section27	The Minimum of a Convex Function
28	Part6.Section28	Ordinary Convex Programs and Lagrange Multipliers
29	Part6.Section29	Bifunctions and Generalized Convex Programs
30	Part6.Section30	Adjoint Bifunctions and Dual Programs
31	Part6.Section31	Fenchel's Duality Theorem
32	Part6.Section32	The Maximum of a Convex Function

All 63 numbered results of Part VI are formalized.

References

• R. T. Rockafellar, Convex Analysis, Princeton University Press, 1970, Part VI.