The generalized Mangasarian-Fromowitz constraint qualification and optimality conditions for bilevel programs (Q630017): Difference between revisions

From MaRDI portal
Normalize DOI.
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/S10957-010-9744-8 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S10957-010-9744-8 / rank
 
Normal rank

Latest revision as of 22:53, 9 December 2024

scientific article
Language Label Description Also known as
English
The generalized Mangasarian-Fromowitz constraint qualification and optimality conditions for bilevel programs
scientific article

    Statements

    The generalized Mangasarian-Fromowitz constraint qualification and optimality conditions for bilevel programs (English)
    0 references
    0 references
    0 references
    10 March 2011
    0 references
    The authors introduce a bilevel programming problem in terms of an upper level problem \[ \min F(x, y) \quad\text{ s. t. } (x, y)\in X \times \mathbb R^m,\;y \in\Psi(x)\tag{ULP} \] where \(X\) is a closed subset of \(\mathbb R^n\) and \(\Psi(x)\) is the solution set of the lower level problem defined as: \[ \min f(x, y)\quad\text{ s. t. }y \in K(x). \] The functions \(F, f : \mathbb R^n \times \mathbb R^m \to\mathbb R\) are continuous, \(X = \{ x \mid G(x) \leq 0, H(x) = 0\}\), \(K(x) = \{ y\mid g(x, y) \leq 0, h(x, y) = 0\}\), where the functions \(G : \mathbb R^n \to \mathbb R^k\), \(H : \mathbb R^n \to \mathbb R^l\), \(g : \mathbb R^n\times \mathbb R^m \to \mathbb R^p\), \(h : \mathbb R^n \times \mathbb R^m \to \mathbb R^q\) are all continuous. Assuming feasibility of (ULP) the optimal value reformulation is \[ \min F(x, y)\quad \text{ s. t. } x \in X, \;y\in K(x),\;f(x, y) \leq \phi(x)\tag{OV} \] where \(\phi(x)\) is defined as: \(\phi(x) = \min \{ f(x, y) \mid y \in K(x)\}\). The authors contend that the problems (ULP) and (OV) are locally and globally equivalent. It is shown that the Mangasarian-Fromowitz constraint qualification in terms of basic generalized differentiation constructions of Mordukhovich fails and a weakened form of the same is used to derive Karush-Kuhn-Tucker optimality conditions for (ULP). They also suggest new sufficient conditions for the partial calmness based on a more general notion of the weak sharp minimum.
    0 references
    0 references
    bilevel programming
    0 references
    optimal value function
    0 references
    basic generalized differentiation
    0 references
    constraint qualification
    0 references
    optimality conditions
    0 references

    Identifiers