5
$\begingroup$

My questions are regarding a constrained problem, $\min_{x \in X \subseteq \mathbb{R}^n} f(x),$ subject to $g(x) \leq 0 \in \mathbb{R}^m, h(x) =0 \in \mathbb{R}^k$. Its dual problem is $\sup_{u \geq 0 \in \mathbb{R}^m,v \in \mathbb{R}^k} \theta(u,v),$ where $\theta(u,v):= \inf_{x \in X} \, f(x) + u^T g(x) + v^T h(x)$.

Suppose $x^*$ is primal feasible, and $(u^*,v^*)$ is dual feasible i.e. $u^* \geq 0, v^* \in \mathbb{R}^k$. Define:

Proposition $P$: $f(x^*) = \theta(u^*, v^*)$,

Proposition $Q$: $x^*$ optimizes the primal problem, and $(u^*,v^*)$ optimizes the dual problem.

I was wondering:

  1. Bazaraa's p263 Corollary 2 says: $P \longrightarrow Q$. Is $Q \longrightarrow P$ also true, or when?
  2. When $P$ is true, will $x^*$ solve the inner subproblem of the dual problem when $(u,v)$ is fixed at $(u^*, v^*)$, i.e., $ f(x^*) + u^{*T} g(x^*) + v^{*T} h(x^*) = \inf_{x \in X} \, f(x) + u^{*T} g(x) + v^{*T} h(x)?$
  3. When $Q$ is true, will $x^*$ solve the inner subproblem of the dual problem when $(u,v)$ is fixed at $(u^*, v^*)$? If not always, possible to tell when this will happen?

Thanks and regards!

  • 0
    @Dominique: I think I was talking about the general case, and there is no such assumption on f,$g$and h. See the Bazaraa's book link.2011-11-01

0 Answers 0