For all $k \in \mathbb{N}$, we introduce the function $f_k : \mathbb{R}^n \rightarrow \mathbb{R}$ defined by $$f_k(x) = f(x) + k\Psi(x) \text{ for all } x \in \mathbb{R}^n$$ where $\Psi : \mathbb{R}^n \rightarrow \mathbb{R}$ is the function defined by $\Psi(x) = \sum_{i=1}^{p} \max(0, g_i(x))^2$ for all $x \in \mathbb{R}^n$, and $x_k$ denotes the unique minimizer of $f_k$ on $\mathbb{R}^n$, and $x^\star$ the unique minimizer of $f$ on $K$. We consider a subsequence $(x_{\varphi(k)})_{k \in \mathbb{N}}$ of $(x_k)_{k \in \mathbb{N}}$ that converges to $\bar{x} \in \mathbb{R}^n$. a. Show that $\bar{x} \in K$. b. Deduce that $\bar{x} = x^{\star}$.
For all $k \in \mathbb{N}$, we introduce the function $f_k : \mathbb{R}^n \rightarrow \mathbb{R}$ defined by
$$f_k(x) = f(x) + k\Psi(x) \text{ for all } x \in \mathbb{R}^n$$
where $\Psi : \mathbb{R}^n \rightarrow \mathbb{R}$ is the function defined by $\Psi(x) = \sum_{i=1}^{p} \max(0, g_i(x))^2$ for all $x \in \mathbb{R}^n$, and $x_k$ denotes the unique minimizer of $f_k$ on $\mathbb{R}^n$, and $x^\star$ the unique minimizer of $f$ on $K$.\\
We consider a subsequence $(x_{\varphi(k)})_{k \in \mathbb{N}}$ of $(x_k)_{k \in \mathbb{N}}$ that converges to $\bar{x} \in \mathbb{R}^n$.\\
a. Show that $\bar{x} \in K$.\\
b. Deduce that $\bar{x} = x^{\star}$.