Stability analysis of split equality and split feasibility problems

Vu Thi Huong,Hong-Kun Xu,Nguyen Dong Yen

2024-10-22

Abstract:In this paper, for the first time in the literature, we study the stability of solutions of two classes of feasibility (i.e., split equality and split feasibility) problems by set-valued and variational analysis techniques. Our idea is to equivalently reformulate the feasibility problems as parametric generalized equations to which set-valued and variational analysis techniques apply. Sufficient conditions, as well as necessary conditions, for the Lipschitz-likeness of the involved solution maps are proved by exploiting special structures of the problems and by using an advanced result of B.S. Mordukhovich [J. Global Optim. 28, 347--362 (2004)]. These conditions stand on a solid interaction among all the input data by means of their dual counterparts, which are transposes of matrices and regular/limiting normal cones to sets. Several examples are presented to illustrate how the obtained results work in practice and also show that the existence of nonzero solution assumption made in the necessity conditions cannot be lifted.

Optimization and Control

What problem does this paper attempt to address?

### Problems the paper attempts to solve

This paper aims to study for the first time the stability of solutions to two types of feasibility problems (i.e., the split equality problem and the split feasibility problem). Specifically, through set - valued analysis and variational analysis techniques, the author reformulates these feasibility problems as parametric generalized equations and studies the Lipschitz - like properties of their solution mappings.

#### Split Equality Problem (SEP) and Split Feasibility Problem (SFP)

1. **Split Equality Problem (SEP)**:
- Given two non - empty closed convex sets \(C\subset\mathbb{R}^n\) and \(Q\subset\mathbb{R}^m\), as well as two matrices \(A\in\mathbb{R}^{l\times n}\) and \(B\in\mathbb{R}^{l\times m}\).
- The goal is to find a pair of points \((x, y)\) such that \(x\in C\), \(y\in Q\), and \(Ax = By\).

2. **Split Feasibility Problem (SFP)**:
- Given a non - empty closed convex set \(C\subset\mathbb{R}^n\) and another non - empty closed convex set \(Q\subset\mathbb{R}^m\), and a matrix \(A\in\mathbb{R}^{m\times n}\).
- The goal is to find a point \(x\) such that \(x\in C\) and \(Ax\in Q\).

#### Goals of Stability Analysis

The main goal of the paper is to study the stability of solutions to these problems when the matrices \(A\) and \(B\) are perturbed. Specifically:

- Define the solution mapping \(S:\mathbb{R}^{l\times n}\times\mathbb{R}^{l\times m}\Rightarrow\mathbb{R}^n\times\mathbb{R}^m\) of \((SEP)\) as:
\[
S(A, B):=\{(x, y)\in C\times Q:Ax = By\}, \quad(A, B)\in\mathbb{R}^{l\times n}\times\mathbb{R}^{l\times m}
\]

- Define the solution mapping \(S_1:\mathbb{R}^{m\times n}\Rightarrow\mathbb{R}^n\) of \((SFP)\) as:
\[
S_1(A):=\{x\in C:Ax\in Q\}, \quad A\in\mathbb{R}^{m\times n}
\]

#### Main Results

1. **Sufficient Conditions**: If the condition
\[
(\bar{A}^T)^{-1}(-N(\bar{x}; C))\cap(\bar{B}^T)^{-1}(N(\bar{y}; Q)) = \{0\}
\]
is satisfied, then the solution mapping \(S(\cdot)\) of \((SEP)\) is Lipschitz - like at the given point \((( \bar{A}, \bar{B}), (\bar{x}, \bar{y}))\).

2. **Necessary Conditions**: If \(S(\cdot)\) is Lipschitz - like at the given point \((( \bar{A}, \bar{B}), (\bar{x}, \bar{y}))\) and \((\bar{x}, \bar{y})\neq(0, 0)\), then the above condition holds.