﻿ Some Properties of Solution to Semidefinite Complementarity Problem

Journal of Applied Mathematics and Physics
Vol.06 No.01(2018), Article ID:81757,8 pages
10.4236/jamp.2018.61012

Some Properties of Solution to Semidefinite Complementarity Problem

Yu Chen*, Cuiling Chen, Caihong Han

College of Mathematics and Statistics, Guangxi Normal University, Guilin, China

Received: December 3, 2017; Accepted: January 13, 2018; Published: January 16, 2018

ABSTRACT

In this paper, we discuss the nonemptyness and boundedness of the solution set for ${P}_{*}$ -semidefinite complementarity problem by using the concept of exceptional family of elements for complementarity problems over the cone of semidefinite matrices, and obtain a main result that if the corresponding problem has a strict feasible point, then its solution set is nonemptyness and boundedness.

Keywords:

Semidefinite Complementarity Problem, ${P}_{*}$ -Mapping, Nonemptyness, Boundedness

1. Introduction

This paper deals with semidefinite complementarity problem (SDCP). Let $\chi$ denote the space of $n×n$ block-diagonal real matrices with m blocks of sizes ${n}_{1},{n}_{2},\cdots ,{n}_{m}\left(n={\sum }_{i=1}^{m}\text{ }\text{ }{n}_{i}\right)$ . We endow $\chi$ with the inner product and norm:

$〈X,Y〉=tr\left[{X}^{\text{T}}Y\right],\text{\hspace{0.17em}}\text{\hspace{0.17em}}‖X‖=\sqrt{〈X,X〉}=\sqrt{\underset{i=1}{\overset{n}{\sum }}\text{ }\text{ }{\lambda }_{i}{\left(X\right)}^{2}},$ (1.1)

where $X,Y\in \chi$ and $tr\left[\cdot \right]$ denotes the matrix trace, $‖X‖$ is the Frobenius-norm of X and ${\lambda }_{i}\left(X\right)$ stands for the i-eigenvalue of X. Let $\mathbb{S}$ denote the subspace comprising those $X\in \chi$ that are symmetric, i.e., ${X}^{\text{T}}=X$ . We denote by ${S}_{+}\left({S}_{++}\right)$ the cone of symmetric positive semidefinite (positive definite) matrices in $\mathbb{S}$ , We use the symbol $X\succcurlyeq \left(\succ \right)0$ to say that $X\in {S}_{+}\left({S}_{++}\right)$ . To facilitate the presentation, let ${X}_{j},{Y}_{j}$ is the j-th block of $X,Y\in \chi$ , respectively. The SDCP is to find, for given mapping $F:\mathbb{S}\to \mathbb{S}$ , an $\left(X,Y\right)\in \mathbb{S}×\mathbb{S}$ satisfying

$\begin{array}{l}X\succcurlyeq 0,\text{\hspace{0.17em}}Y\succcurlyeq 0,\text{\hspace{0.17em}}〈X,Y〉=0,\text{\hspace{0.17em}}Y=F\left(X\right).\hfill \end{array}$ (1.2)

The problem was firstly introduced in a slightly different form by Kojima, Shindoh and Hara [1] as a model unifying various problems arising from system and control theory and combinatorial optimization. It can be regarded as a generalization of standard complementarity problem (CP).

Recently, there has been growing interest in searching for solutions methods for SDCP [1] [2] [3] , but the assumption that SDCP has a solution is necessary for these solutions methods. It follows that the research of solution conditions for SDCP has played a very important role in both theory and practical applications. Among them, the concept of exceptional family is a powerful tool to study existence of the solution to CP. The concept of exceptional family of elements for a continuous function was first introduced by Smith [4] . Subsequently, Isac et al. [5] introdued a more general notion of exceptional family of elements. Using this notation, some existence theorems of a solution to nonlinear complementarity problems were presented in [5] [6] [7] . Zhao, Han et al. extended it to study existence conditions of a solution to variational inequality problems [8] [9] [10] [11] . Recently, this notation was extended to study existence conditions of a solution to semidefinite complementarity problems and copositive cone complementarity problem [12] [13] [14] .

In this paper, Motivated by the previous researches, we discuss the nonemptyness and boundedness of the solution set for ${P}_{*}$ -semidefinite complementarity problem by using the concept of exceptional family of elements for complementarity problems over the cone of semidefinite matrices, and we prove that if the corresponding problem has a strict feasible point, then its solution set is nonemptyness and boundedness.

The remainder of this paper is organized as follows. The preliminary results which will be used in this paper are stated in Section 2. In Section 3, we discuss the nonemptyness and boundedness of the solution set for ${P}_{*}$ -semidefinite complementarity problem by using the concept of exceptional family of elements for complementarity problems over the cone of semidefinite matrices. Conclusions are drawn in Section 4.

2. Preliminaries

In this section, we firstly recall some matrix properties that we shall employ throughout this paper. Their proofs and mores details can be found for instance in [15] [16] .

Proposition 2.1 (Von Neumman-Theobald’s inequality) For any $X,Y\in {S}_{+}^{n}$ , it holds that $〈X,Y〉\le \lambda {\left(X\right)}^{\text{T}}\lambda \left(Y\right)$ , with equality if and only if $X$ and $Y$ are simultaneously diagonalizable, where $\lambda \left(X\right),\lambda \left(Y\right)$ is the eigenvalue vector of $X$ and $Y$ , respectively.

Proposition 2.2 Let $X,Y\in {S}_{+}^{n}$ , if $〈X,Y〉=0$ , then $X$ and $Y$ commute, i.e., $X$ and $Y$ are simultaneously diagonalizable.

Proposition 2.3 (Fejer’s theorem) Let $X\in {S}^{n}$ , it holds that $〈X,Y〉\ge 0$ for all $Y\succcurlyeq 0$ if and only if $X\succcurlyeq 0$ . Moreover, $〈X,Y〉>0$ for all $Y\succ 0$ if and only if $X\succ 0$ .

Now, we present the definition and the property of ${P}_{*}$ -mapping and exceptional family of elements for SDCP on the subspace $\mathbb{S}$ .

Definition 2.1 A mapping $F:\mathbb{S}\to \mathbb{S}$ is said to be a ${P}_{*}$ -mapping, if there exists a nonnegative constant $\gamma$ such that the following inequality holds for any distinct $X,Y\in \mathbb{S}$ ,

$\begin{array}{l}\left(1+\gamma \right)\underset{j\in {I}_{+}\left(X,Y,F\right)}{\sum }〈{X}_{j}-{Y}_{j},{F}_{j}\left(X\right)-{F}_{j}\left(Y\right)〉\\ +\underset{j\in {I}_{-}\left(X,Y,F\right)}{\sum }〈{X}_{j}-{Y}_{j},{F}_{j}\left(X\right)-{F}_{j}\left(Y\right)〉\ge 0,\end{array}$ (2.1)

where ${I}_{+}\left(X,Y,F\right)=\left\{j\in I:〈{X}_{j}-{Y}_{j},{F}_{j}\left(X\right)-{F}_{j}\left(Y\right)〉>0\right\}$ , ${I}_{-}\left(X,Y,F\right)=\left\{j\in I:〈{X}_{j}-{Y}_{j},{F}_{j}\left(X\right)-{F}_{j}\left(Y\right)〉\le 0\right\}$ and $I=\left\{1,2,\cdots ,m\right\}$ .

Definition 2.2 [2] A sequence ${\left\{{X}^{r}\right\}}_{r>0}={\left\{diag\left({X}_{1}^{r},{X}_{2}^{r},\cdots ,{X}_{m}^{r}\right)\right\}}_{r>0}\subseteq {S}_{+}$ is

said to an exceptional family of elements for SDCP if and only if for any $r$ and every $i\in I$ , there exists a real number ${\mu }_{i}^{r}>0$ such that

${F}_{i}\left({X}^{r}\right)+{\mu }_{i}^{r}{X}_{i}^{r}\succcurlyeq 0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}〈{F}_{i}\left({X}^{r}\right)+{\mu }_{i}^{r}{X}_{i}^{r},{X}_{i}^{r}〉=0,$ (2.2)

$\underset{i=1}{\overset{m}{\sum }}{‖{X}_{i}^{r}‖}^{2}\to +\infty ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}r\to +\infty .$ (2.3)

Theorem 2.1 [12] If $F:\mathbb{S}\to \mathbb{S}$ is a continuous mapping, then SDCP has either a solution or an exceptional family.

3. Main Result

To obtain our main results, we firstly present the following three lemmas in this section.

Lemma 3.1 If ${X}_{i}^{r}\succcurlyeq 0$ , ${C}_{i}\succ 0$ is a matrix of size ${n}_{i}×{n}_{i}$ and $\underset{r\to +\infty }{lim}‖{X}_{i}^{r}‖\to +\infty$ , then there exists a subsequence $\left\{{X}_{i}^{{r}_{n}}\right\}$ such that $\left\{〈{X}_{i}^{{r}_{n}},{C}_{i}〉\right\}$ has no a upper boundedness.

Proof. Suppose that the spectral decomposition of ${X}_{i}^{r}$ and ${C}_{i}$ is as follows, respectively.

${X}_{i}^{r}=\underset{j=1}{\overset{{n}_{i}}{\sum }}\text{ }\text{ }{\lambda }_{j}^{r}{\xi }_{j}^{r}{\xi }_{j}^{r}{}^{\text{T}},\text{\hspace{0.17em}}\text{\hspace{0.17em}}{C}_{i}=\underset{l=1}{\overset{{n}_{i}}{\sum }}\text{ }\text{ }{\gamma }_{l}{\eta }_{l}{\eta }_{l}^{\text{T}},$ (3.1)

where ${\lambda }_{j}^{r},\text{\hspace{0.17em}}{\gamma }_{l}$ is the eigenvalue of ${X}_{i}^{r},\text{\hspace{0.17em}}{C}_{i}$ , respectively. ${\xi }_{j}^{r},\text{\hspace{0.17em}}{\eta }_{l}$ is the corresponding eigenvector, respectively. Noting that ${X}_{i}^{r}\succcurlyeq 0,{C}_{i}\succ 0$ , we have that

${\lambda }_{j}^{r}\ge 0,\text{\hspace{0.17em}}{\gamma }_{l}>0.$ (3.2)

In view of $\underset{r\to +\infty }{lim}‖{X}_{i}^{r}‖\to +\infty$ and $‖{X}_{i}^{r}‖=\sqrt{\underset{j=1}{\overset{{n}_{i}}{\sum }}{\left({\lambda }_{j}^{r}\right)}^{2}}$ , thus, there exists a ${j}_{0}$

such that $\left\{{\lambda }_{{j}_{0}}^{r}\right\}$ is unbounded. The above relation also show that there exists a

subsequence $\left\{{r}_{k}\right\}$ such that $\underset{{r}_{k}\to +\infty }{lim}‖{\lambda }_{{j}_{0}}^{{r}_{k}}‖\to +\infty$ .

The next object is to show that there exists ${l}_{*}$ such that ${\xi }_{{j}_{0}}^{r\text{T}}{\eta }_{{l}_{*}}\ne 0$ .

Assume that ${\xi }_{{j}_{0}}^{r\text{T}}{\eta }_{l}=0$ for any $l$ , one gets

$A{\xi }_{{j}_{0}}=0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}A=\left[\begin{array}{c}{\eta }_{1}^{\text{T}}\\ {\eta }_{2}^{\text{T}}\\ ⋮\\ {\eta }_{{n}_{i}}^{\text{T}}\end{array}\right].$ (3.3)

Since A is a nonsingular, then we have ${\xi }_{{j}_{0}}^{r}=0$ . This is a contradiction. Combining the above relations, we have

${\lambda }_{{j}_{0}}^{{r}_{k}}{\gamma }_{{l}_{*}}{\left({\xi }_{{j}_{0}}^{{r}_{k}}{}^{\text{T}}{\eta }_{{l}_{*}}\right)}^{2}\to +\infty ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{as}\text{\hspace{0.17em}}{r}_{k}\to +\infty .$ (3.4)

Hence

$\begin{array}{c}〈{X}_{i}^{r},{C}_{i}〉=\underset{j=1}{\overset{{n}_{i}}{\sum }}\underset{l=1}{\overset{{n}_{i}}{\sum }}\text{ }\text{ }{\lambda }_{j}^{r}{\gamma }_{l}{\left({\xi }_{j}^{r}{}^{\text{T}}{\eta }_{l}\right)}^{2}\\ ={\lambda }_{{j}_{0}}^{{r}_{k}}{\gamma }_{{l}_{*}}{\left({\xi }_{{j}_{0}}^{{r}_{k}}{}^{\text{T}}{\eta }_{{l}_{*}}\right)}^{2}+\underset{j=1,j\ne {j}_{0}}{\overset{{n}_{i}}{\sum }}\underset{l=1,l\ne {l}_{*}}{\overset{{n}_{i}}{\sum }}{\lambda }_{j}^{r}{\gamma }_{l}{\left({\xi }_{j}^{r}{}^{\text{T}}{\eta }_{l}\right)}^{2}\\ \ge {\lambda }_{{j}_{0}}^{{r}_{k}}{\gamma }_{{l}_{*}}{\left({\xi }_{{j}_{0}}^{{r}_{k}}{}^{\text{T}}{\eta }_{{l}_{*}}\right)}^{2}\to +\infty ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{as}\text{\hspace{0.17em}}{r}_{k}\to +\infty .\end{array}$ (3.5)

The proof is complete.

From Proposition 2.1 and Proposition 2.2, we can get the following lemma.

Lemma 3.2 If $U\succ 0$ , $V\succcurlyeq 0$ and $〈U,V〉=0$ , then $V=0$ .

The proof of the following lemma is elementary, and omitted.

Lemma 3.3 If $\left\{{U}^{r}\right\}\in {S}_{+}$ and $\underset{r\to +\infty }{lim}‖{U}^{r}‖\to +\infty$ , and $\stackrel{^}{U}$ is a cluster point of $\left\{\frac{{U}^{r}}{‖{U}^{r}‖}\right\}$ , then $\stackrel{^}{U}\in {S}_{+}$ and $‖\stackrel{^}{U}‖=1$ .

Now, we present our main results as follows.

Theorem 3.1 If $F:\mathbb{S}\to \mathbb{S}$ is a continuous ${P}_{*}$ mapping and there exists a strict feasible point for SDCP, i.e., ${X}^{0}\succcurlyeq 0,F\left({X}^{0}\right)\succ 0$ , then the solution set of SDCP is nonempty.

Proof. Suppose that there exists no solution for SDCP, then from Theorem 2.1, we have that there exists an exceptional family of elements

${\left\{{X}^{r}\right\}}_{r>0}={\left\{diag\left({X}_{1}^{r},{X}_{2}^{r},\cdots ,{X}_{m}^{r}\right)\right\}}_{r>0}\subseteq {S}_{+}$ for SDCP, and for every $i\in I$ , there exists a real number ${\mu }_{i}^{r}>0$ such that

${F}_{i}\left({X}^{r}\right)+{\mu }_{i}^{r}{X}_{i}^{r}\succcurlyeq 0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}〈{F}_{i}\left({X}^{r}\right)+{\mu }_{i}^{r}{X}_{i}^{r},{X}_{i}^{r}〉=0,$ (3.6)

$\underset{i=1}{\overset{m}{\sum }}{‖{X}_{i}^{r}‖}^{2}\to +\infty ,\text{\hspace{0.17em}}\text{\hspace{0.17em}}r\to +\infty .$ (3.7)

Let ${U}_{i}^{r}={F}_{i}\left({X}^{r}\right)+{\mu }_{i}^{r}{X}_{i}^{r}$ . From the above first equation, one gets ${U}_{i}^{r}\succcurlyeq 0$ . Thus, for any $i\in I$ , taking into account the above second equation and Proposition 2.3, we have

$\begin{array}{l}〈{X}_{i}^{r}-{X}_{i}^{0},{F}_{i}\left({X}^{r}\right)-{F}_{i}\left({X}^{0}\right)〉\\ =〈{X}_{i}^{r}-{X}_{i}^{0},{U}_{i}^{r}-{\mu }_{i}^{r}{X}_{i}^{r}-{F}_{i}\left({X}^{0}\right)〉\\ =-{\mu }_{i}^{r}{‖{X}_{i}^{r}‖}^{2}-〈{X}_{i}^{0},{U}_{i}^{r}〉-{\mu }_{i}^{r}〈{X}_{i}^{r},-{X}_{i}^{0}〉-〈{X}_{i}^{r}-{X}_{i}^{0},{F}_{i}\left({X}^{0}\right)〉\\ \le -{\mu }_{i}^{r}{‖{X}_{i}^{r}‖}^{2}-{\mu }_{i}^{r}〈{X}_{i}^{r},-{X}_{i}^{0}〉-〈{X}_{i}^{r}-{X}_{i}^{0},{F}_{i}\left({X}^{0}\right)〉\\ \le -{\mu }_{i}^{r}‖{X}_{i}^{r}‖\left(‖{X}_{i}^{r}‖-‖{X}_{i}^{0}‖\right)-〈{X}_{i}^{r}-{X}_{i}^{0},{F}_{i}\left({X}^{0}\right)〉.\end{array}$ (3.8)

Denote by ${I}^{1}=\left\{i\in I:‖{X}_{i}^{r}‖\to +\infty ,r\to +\infty \right\}$ , ${I}^{2}=I\{I}^{1}$ . Obviously, ${I}^{1}\ne \varnothing$ and

$\begin{array}{l}〈{X}^{r}-{X}^{0},F\left({X}^{r}\right)-F\left({X}^{0}\right)〉\\ =\underset{i\in {I}^{1}}{\sum }〈{X}_{i}^{r}-{X}_{i}^{0},{F}_{i}\left({X}^{r}\right)-{F}_{i}\left({X}^{0}\right)〉+\underset{i\in {I}^{2}}{\sum }〈{X}_{i}^{r}-{X}_{i}^{0},{F}_{i}\left({X}^{r}\right)-{F}_{i}\left({X}^{0}\right)〉.\end{array}$ (3.9)

When $i\in {I}^{2}$ , we have that there exists a upper boundedness for $\left\{〈{X}_{i}^{r}-{X}_{i}^{0},{F}_{i}\left({X}^{r}\right)-{F}_{i}\left({X}^{0}\right)〉\right\}$ from the formula (3.8).

When $i\in {I}^{1}$ , one gets $‖{X}_{i}^{r}‖>‖{X}_{i}^{0}‖$ for sufficient large k. Noticing that ${X}^{r}\succcurlyeq 0,\text{\hspace{0.17em}}{F}_{i}\left({X}^{0}\right)\succ 0$ , from Lemma 3.1, we have that for any $i\in {I}^{1}$ , there exists a subsequence $\left\{{X}_{i}^{{r}_{n}}\right\}$ such that $\underset{{r}_{n}\to +\infty }{lim}〈{X}_{i}^{{r}_{n}},{F}_{i}\left({X}^{0}\right)〉\to +\infty$ . Thus, $\underset{{r}_{n}\to +\infty }{lim}〈{X}_{i}^{{r}_{n}}-{X}_{i}^{0},{F}_{i}\left({X}^{0}\right)〉\to +\infty$ . In view of the formula (3.8), one gets

$\underset{{r}_{n}\to +\infty }{lim}〈{X}_{i}^{{r}_{n}}-{X}_{i}^{0},{F}_{i}\left({X}^{r}\right)-{F}_{i}\left({X}^{0}\right)〉\to -\infty ,$ (3.10)

which implies that

$\underset{{r}_{n}\to +\infty }{lim}〈{X}^{{r}_{n}}-{X}^{0},F\left({X}^{r}\right)-F\left({X}^{0}\right)〉\to -\infty .$ (3.11)

This is a contradiction with F being a ${P}_{*}$ -mapping. The proof is complete.

Theorem 3.2 If $F:\mathbb{S}\to \mathbb{S}$ is a continuous ${P}_{*}$ -mapping and there exists a strict feasible point for SDCP, i.e., ${X}^{0}\succcurlyeq 0,\text{\hspace{0.17em}}F\left({X}^{0}\right)\succ 0$ , then the solution set of SDCP is bounded.

Proof. Suppose that the solution set of SDCP is unbounded, i.e., there exists a

solution sequence $\left\{{X}^{k}\right\}$ such that $\underset{k\to +\infty }{lim}‖{X}^{k}‖\to +\infty$ . Obviously,

${X}^{k}\succcurlyeq 0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}F\left({X}^{k}\right)\succcurlyeq 0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}〈{X}^{k},F\left({X}^{k}\right)〉=0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\forall k.$ (3.12)

Noting that F is a ${P}_{*}$ mapping, we have that for any k,

$\begin{array}{l}\left(1+\gamma \right)\underset{j\in {I}_{+}\left({X}^{0},{X}^{k},F\right)}{\sum }〈{X}_{j}^{0}-{X}_{j}^{k},{F}_{j}\left({X}^{0}\right)-{F}_{j}\left({X}^{k}\right)〉\\ +\underset{j\in {I}_{-}\left({X}^{0},{X}^{k},F\right)}{\sum }〈{X}_{j}^{0}-{X}_{j}^{k},{F}_{j}\left({X}^{0}\right)-{F}_{j}\left({X}^{k}\right)〉\ge 0,\end{array}$ (3.13)

i.e.,

$\begin{array}{l}〈{X}^{0}-{X}^{k},F\left({X}^{0}\right)-F\left({X}^{k}\right)〉\\ \ge -\gamma \underset{j\in {I}_{+}\left({X}^{0},{X}^{k},F\right)}{\sum }〈{X}_{j}^{0}-{X}_{j}^{k},{F}_{j}\left({X}^{0}\right)-{F}_{j}\left({X}^{k}\right)〉.\end{array}$ (3.14)

From the formula (3.12), one gets

$\begin{array}{l}〈{X}^{0},F\left({X}^{k}\right)〉+〈F\left({X}^{0}\right),{X}^{k}〉\\ +\text{\hspace{0.17em}}\gamma \underset{j\in {I}_{+}\left({X}^{0},{X}^{k},F\right)}{\sum }\left[〈{X}_{j}^{0},{F}_{j}\left({X}^{k}\right)〉+〈{X}_{j}^{k},{F}_{j}\left({X}^{0}\right)〉\right]\\ \le 〈{X}^{0},F\left({X}^{0}\right)〉+\gamma \underset{j\in {I}_{+}\left({X}^{0},{X}^{k},F\right)}{\sum }〈{X}_{j}^{0},{F}_{j}\left({X}^{0}\right)〉.\end{array}$ (3.15)

Taking into account Proposition 2.3 and the formula (3.15), we get

$〈F\left({X}^{0}\right),{X}^{k}〉\le 〈{X}^{0},F\left({X}^{0}\right)〉+\gamma \underset{j\in {I}_{+}\left({X}^{0},{X}^{k},F\right)}{\sum }〈{X}_{j}^{0},{F}_{j}\left({X}^{0}\right)〉.$ (3.16)

Noting that $\left\{\frac{{X}^{k}}{�{X}^{k}�}\right\}$ is bounded. Hence, there exists a subsequence $\left\{{X}^{{k}_{n}}\right\}$ such that

$\underset{{k}_{n}\to +\infty }{\mathrm{lim}}\frac{{X}^{{k}_{n}}}{‖{X}^{{k}_{n}}‖}=\stackrel{¯}{X}.$ (3.17)

From Lemma 3.3, we have that $\stackrel{¯}{X}±0,\text{\hspace{0.17em}}‖\stackrel{¯}{X}‖=1$ .

On the other hand, from (3.16), one gets for any ${k}_{n}$

$\begin{array}{c}〈F\left({X}^{0}\right),\frac{{X}^{{k}_{n}}}{‖{X}^{{k}_{n}}‖}〉=\frac{〈F\left({X}^{0}\right),{X}^{{k}_{n}}〉}{‖{X}^{{k}_{n}}‖}\\ \le \frac{〈{X}^{0},F\left({X}^{0}\right)〉+\gamma \underset{j\in {I}_{+}\left({X}^{0},{X}^{k},F\right)}{\sum }〈{X}_{j}^{0},{F}_{j}\left({X}^{0}\right)〉}{‖{X}^{{k}_{n}}‖}.\end{array}$ (3.18)

Since $\underset{{k}_{n}\to +\infty }{\mathrm{lim}}‖{X}^{{k}_{n}}‖\to +\infty$ , then

$〈F\left({X}^{0}\right),\stackrel{¯}{X}〉\le 0.$ (3.19)

Obviously, $〈F\left({X}^{0}\right),\stackrel{¯}{X}〉\ge 0$ . Thus, $〈F\left({X}^{0}\right),\stackrel{¯}{X}〉=0$ , which implies that $\stackrel{¯}{X}=0$ from Lemma 3.2. This is a contradiction with $‖\stackrel{¯}{X}‖=1$ . The proof is complete.

4. Conclusion

In this paper, the nonemptyness and boundedness of the solution set for ${P}_{*}$ -semidefinite complementarity problem have been discussed by using the concept of exceptional family of elements for complementarity problems over the cone of semidefinite matrices, and a main result has been shown that if the corresponding problem has a strict feasible point, then its solution set is nonemptyness and boundedness.

Acknowledgements

This work is supported by National Natural Science Foundation of China (No.11761014, 11461015), Guangxi Natural Science Foundation (No. 2015GXNSFAA139010, 2017GXNSFAA198243) and Guangxi Colleges and Universities Key Laboratory of Mathematical and Statistical Model (No. 2016GXKLMS010), Guangxi basic ability improvement project for the Middle-aged and young teachers of colleges and universities (2017KY0068, KY2016YB069).

Cite this paper

Chen, Y., Chen, C.L. and Han, C.H. (2018) Some Properties of Solution to Semidefinite Complementarity Problem. Journal of Applied Mathematics and Physics, 6, 122-129. https://doi.org/10.4236/jamp.2018.61012

References

1. 1. Kojima, M., Shindoh, S. and Hara, S. (1997) Interior Point Methods for The Monotone Semidefinite Linear Complementarity Problem. SIAM Journal on Optimization, 7, 86-125. https://doi.org/10.1137/S1052623494269035

2. 2. Chen, X. and Tseng, P. (2003) Noninterior Point Continuation Methods for Solving Semidefinite Complementarity Problem. Mathematical Programming, 95, 431-474. https://doi.org/10.1007/s10107-002-0306-1

3. 3. Tseng, P. (1998) Merit Functions for Semidefinite Complementarity Problem. Mathematical Programming, 83, 159-185. https://doi.org/10.1007/BF02680556

4. 4. Smith, T.E. (1984) A Solution Condition for Complementarity Problems: With an Application to Spatial Price Equilibrium. Applied Mathematics and Computation, 15, 61-69. https://doi.org/10.1016/0096-3003(84)90053-5

5. 5. Isac, G., Bulavaski, V. and Kalashnikov, V. (1997) Exceptional Families, Topological Degree and Complementarity Problems. Journal of Global Optimization, 10, 207-225. https://doi.org/10.1023/A:1008284330108

6. 6. Isac, G. and Carbone, A. (1999) Exceptional Families of Elements for Continous Functions: Some Applications to Complementarity Theory. Journal of Global Optimization, 15, 181-196. https://doi.org/10.1023/A:1008376709933

7. 7. Isac, G. Obuchowska, W.T. (1998) Functions without Exceptional Family of Elements and Complementarity Problems. Journal of Optimization Theory and Applications, 99, 147-163. https://doi.org/10.1023/A:1021704311867

8. 8. Zhao, Y.B. Han, J.Y. and Qi, H.D. (1999) Exceptional Families and Existence Theorems for Variational Inequality Problems. Journal of Optimization Theory and Applications, 101, 475-495. https://doi.org/10.1023/A:1021701913337

9. 9. Zhao, Y.B. and Han, J.Y. (1999) Exceptional Families of Elements for a Variational Inequality Problem and Its Applications. Journal of Global Optimization, 14, 313-330. https://doi.org/10.1023/A:1008202323884

10. 10. Zhang, L.P., Han, J.Y. and Xu, D.C. (2001) Existence Theorems of Solution to Variational Inequality Problems. Science in China Series A: Mathematics, 44, 212-219. https://doi.org/10.1007/BF02874423

11. 11. Zhao, Y.B. (1997) Exceptional Families and Finite Dimensional Variational Inequalities over Polyhedral Convex Sets. Applied Mathematics and Computation, 87, 111-126. https://doi.org/10.1016/S0096-3003(96)00224-X

12. 12. Zhang, L.P. (2008) Solvability of Semidefinite Complementarity Problems. Applied Mathematics and Computation, 196, 86-93. https://doi.org/10.1016/j.amc.2007.05.052

13. 13. Hu, Q.J., Ouyang, Z.S. and Wang, Z.M. (2012) Exceptional Family and Solvability of Copositive Complementarity Problems. Journal of Mathematical Analysis and Applications, 388, 519-524. https://doi.org/10.1016/j.jmaa.2011.10.028

14. 14. Hu, Q.J., Chen, Y., Wang, J.T. and Ouyang, Z.S. (2013) Generalization of an Existence Theorem for Complementarity Problems. Journal of Computational and Applied Mathematics, 253, 158-162. https://doi.org/10.1016/j.cam.2013.04.017

15. 15. Horn, R.A. and Johnson, C.R. (1985) Matrix Analysis. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511810817

16. 16. Horn, R.A. and Johnson, C.R. (1991) Topics in Matrix Analysis. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511840371