 Research
 Open Access
 Published:
Constrained extremal solutions of multivalued linear inclusions in Banach spaces
Journal of Inequalities and Applications volume 2016, Article number: 138 (2016)
Abstract
Let X and Y be Banach spaces, L be a linear manifold in \(X\times Y\), or, equivalently, the graph of a multivalued linear operator from X to Y, and let S be a prescribed hyperplane in X, i.e. \(S=g+N\). A central problem in our general setting is to determine, for a given \(y\in Y\), a vector \(w\in S\cap D ( L )\) such that, for some \(z\in L ( w )\), \(\ zy\ =\operatorname{dist} ( y, L ( S\cap D ( L ) ) )\), such a vector w is called the constrained extremal solution of multivalued linear inclusions \(y\in L ( x )\) in Banach spaces. We establish three equivalent characterizations of constrained extremal solution of linear inclusions in Banach spaces by means of the algebraic operator parts, the metric generalized inverse of multivalued linear operator L, and the dual mapping of the spaces. As follows from the main results in this paper, we may get the constrained extremal solution of multivalued linear inclusions, by using the extremal solution of some interrelated multivalued linear inclusions in the same spaces. The setting in this paper includes large classes of constrained extremal problems and optimal control problems subject to generalized boundary conditions.
Introduction
For convenience, we first recall some related notations. Throughout this paper, X and Y denote Banach spaces and A denotes a linear manifold in the product space \(X\times Y\). We may view A as a multivalued linear operator from X to Y by taking \(A ( x ) = \{ y: \{ x, y \} \in A \}\). The domain, range, and null space of A are defined, respectively, by
It is well known that the quadratic control problem subject to a certain class of boundary conditions can be equivalently formulated as the problem of finding a leastsquares solutions (or extremal solutions) of an appropriate linear operator equations in Hilbert spaces (or Banach spaces). When the generalized quadratic cost function and the generalized boundary conditions are involved, the problem can be reformulated as a constrained leastsquares solution (or extremal solution) of multivalued linear operators \(y\in A ( x )\) between Hilbert spaces (or Banach spaces) X and Y (see [1]). If X and Y are Hilbert spaces, the orthogonal operator parts, the orthogonal generalized inverse of a linear manifold A in \(X\times Y\) and the leastsquares solutions or the constrained leastsquares solutions of multivalued linear operators \(y\in A ( x )\) were investigated by Lee and Nashed [1–3]. If X and Y are Banach spaces, Lee and Nashed [4] also introduced a concept of a generalized inverse \(A^{\#}\) for the linear manifold A in \(X\times Y\) by means of algebraic projection and topological projection. In order to give the characterization of the set of all extremal solutions or leastextremal solutions of a linear inclusion \(y\in A (x )\) in Banach space, in 2005, Wang and Liu [5] introduced the concept of the metric generalized inverse \(A^{\#}\) by means of the metric projection, which is nonlinear in general. In 2012, Wang et al. [6] also gave the criteria for the metric generalized inverse of multivalued linear operators in Banach space.
Let L be a linear manifold in \(X\times Y\), or, equivalently, the graph of a multivalued linear operator from X to Y and let S be a prescribed hyperplane in X, i.e. \(S=g+N\), we denote \(A:=L_{N}\). The problem in our general setting is to determine, for a given \(y\in Y\), a vector \(\omega \in S\cap D ( A )\) such that, for some \(z\in A_{S} ( \omega )\), \(\ zy\ =\operatorname{dist} ( y,R ( A_{S} ) )\), such a vector w is called the constrained extremal solution of multivalued linear inclusions \(y\in A ( x )\) in Banach space. The main purpose of this paper is to investigate the constrained extremal solution problem in Banach spaces in an abstract general setting. We first establish three equivalent characterizations of a constrained extremal solution of linear inclusions in Banach spaces by means of the algebraic operator parts, the metric generalized inverse of multivalued linear operator, and the dual mapping of the spaces. It follows from the main results in this paper that we may get the constrained extremal solution of multivalued linear inclusions, by using the extremal solution of some interrelated multivalued linear inclusions in the same spaces, which are well investigated by using the algebraic operator parts, the metric generalized inverse of multivalued linear operator in [5] and [6]. The setting in this paper includes large classes of constrained extremal problems and optimal control problems subject to generalized boundary conditions [7].
In this paper, X, Y, and Z denote Banach spaces. The following are standard notations (see [1–3, 7]), but for convenience, we recall them again. For \(A, B\subset X\times Y\), \(C\subset Z\times X\),
The main mathematics tools in this investigation are the algebraic operator part and metric generalized inverse of linear manifold in Banach spaces, we recall and describe them in Section 2 (see [5] and [6]). The other mathematics method is the generalized orthogonal decomposition theorem in Banach space, which is given by one of the authors in another paper (see Lemma 2.4 in Section 2).
Preliminaries and basic notions
Let X and Y be Banach spaces, and A be a linear manifold (or linear subspace) in the product space \(X\times Y\). The inverse relation \(A^{1}\), which is the graph inverse of A, always exists and is given by
If S is a set in X, then
It is possible that \(A ( S )\) is empty. The restriction of A to S will be denoted by
If \(T:X\rightarrow Y\) is a singlevalued operator from X to Y with domain \(D ( T ) \), then the gragh of T, denote \(Gr ( T )\), defined by
For a multivalued linear operator A from X into Y, we may introduce a singlevalued operator from \(D ( A )\) into Y, denoted \(A_{S,P}\), which is defined as follows.
Definition 2.1
[2]
Let X and Y be Banach spaces, A be a linear manifold in the product space \(X\times Y\) and P be an algebraic projection from Y onto \(A ( \theta )\). Then the composite relation
where I is the identity operator on Y, is called an algebraic operator part of A.
In this case, for any \(x\in D ( A )\), we may have \(A ( x ) =A_{S,P} ( x ) +A ( \theta )\) and express the variational set \(A ( x )\) as a variable \(A_{S,P} ( x )\) plus the fixed set \(A ( \theta )\). Since \(A ( \theta ) \) is a fixed subspace of Y, then there forever is an algebraic operator part of A.
Next, we introduce the concept of a constrained extremal solution of multivalued linear inclusions in Banach spaces.
Definition 2.2
Let X, Y be Banach spaces, A be a linear manifold in the product space \(X\times Y\), S be a set in X and \(y\in Y\). Then \(u\in X\) is called a constrained extremal solution of the linear inclusion \(y\in A ( x )\) with respect to S if

(i)
\(u\in D ( A ) \cap S\);

(ii)
there exists \(z\in A_{S} ( u ) \) such that
$$ \ yz\ =\operatorname{dist} \bigl( y,R ( A_{S} ) \bigr), $$where \(\operatorname{dist} ( y,R ( A_{S} ) ) =\inf_{z\in R ( A_{S} ) }\ yz\ \).
If \(S=X\), the constrained extremal solution of the linear inclusion \(y\in A ( x )\) with respect to S is just the extremal solution or the extremal solution, which was defined in [5].
Now we recall some notions and results in [5], which were used in this paper on many occasions.
A subset G in a Banach space X is said to be proximal if every element \(x\in X\) has at least one element of best approximation in G, i.e.
G is said to be a semiChebyshev set, if every element \(x\in X\) has at most one element of best approximation in G, i.e. \(x\in X\), \(x_{1}, x_{2}\in \mathcal{P}_{G} ( x )\) implies \(x_{1}=x_{2}\). G is said a Chebyshev set if it is simultaneously a proximal and a semiChebyshev set (see [8]). When G is a Chebyshev set, we denote \(\mathcal{P}_{G} ( x ) = \{ \pi_{G} ( x ) \} \), where \(\pi_{G}\) is called the metric projector from X onto G.
It is well known that if X is a reflexive Banach space and \(G\subset X \) is a convex closed set, then G is a proximal set, while if X is a strictly convex Banach space and G is a convex closed set, then G is a semiChebyshev set (see [8]).
We may use some properties of the metric projector, now we recall them.
Proposition 2.3
[8]
Let X be a Banach space and G a Chebyshev subspace of X. Then

(i)
\(\pi_{G} ( x ) =x\) if \(x\in G\);

(ii)
\(\pi_{G}^{2} ( x ) =\pi_{G} ( x ) \) for any \(x\in X\);

(iii)
\(\pi_{G} ( \lambda x ) =\lambda\pi _{G} ( x ) \) for any \(x\in X\) and \(\lambda\in R^{1}\);

(iv)
\(\pi_{G} ( x+y ) =\pi_{G} ( x ) +y\) for any \(x\in X\), \(y\in G\).
Proof
See Theorem 4.1 in [8]. □
We also use the dual mapping of Banach space, let us recall it.
Let X be a Banach space, the setvalued mapping \(F_{X}:X\rightarrow 2^{X^{\ast}}\), defined by
for \(x\in X\), is called the dual mapping of X, where \(\langle x^{\ast }, x\rangle\) denotes the value of the functional \(x^{\ast}\in X^{\ast }\) on \(x\in X\) (see [9]).
In Banach space, there is no the concept of the orthogonal property just as in Hilbert space. By using the dual mapping of the Banach space X and the Chebyshev property of subspace G, we can extend the Riesz orthogonal decomposition theorem from Hilbert space into Banach space.
Lemma 2.4
[10] (Generalized orthogonal decomposition theorem)
Let G be a Chebyshev subspace. Then for any \(x\in X\), we have a unique decomposition
where \(G^{\bot}= \{ x^{\ast}\in X^{\ast}:\langle x^{\ast}, x\rangle =0, \forall x\in G \}\), \(F_{X}^{1} ( G^{\bot} ) = \{ x:F_{X} ( x ) \cap G^{\bot}\neq\phi \}\), \(\pi_{G}\) is the metric projector. In other words, we have
Proof
See Lemma 2.2 in [5], also see [10] and [11]. □
Remark 2.5
In the above lemma, if \(X=H\) is a Hilbert space, \(X^{\ast}=X\), for any closed subspace G, it must be a Chebyshev space, the metric projector \(\pi _{G} \) is just the orthogonal projector \(P_{G}\), and \(F_{X}=I_{X}\), the identity of X, then \(X=G\dotplus F_{X}^{1} ( G^{\bot} ) \) become
which is just Riesz orthogonal decomposition theorem.
Next, we recall the concept of the metric generalized inverse \(A^{\#}\), which is a singlevalued operator of a multivalued linear operator A from X into Y. By means of the metric generalized inverse \(A^{\#}\), we can express the constrained extremal solution of multivalued linear inclusions \(y\in A ( x )\) in Banach space.
Definition 2.6
[5]
Let X and Y be Banach spaces, \(A\subset X\times Y\) be a linear manifold, \(N ( A )\) and \(R ( A ) \) be Chebyshev subspaces in X and Y, respectively, \(\pi_{N ( A ) }:X\rightarrow N ( A ) \) and \(\pi_{R ( A ) }:Y\rightarrow R ( A ) \) be the metric projectors. The metric generalized inverse \(A^{\#}\) of A is defined by
Remark 2.7
If both X and Y are Hilbert spaces, the metric generalized inverse \(A^{\#}\) of A is just the orthogonal generalized inverse (see [1–3, 7]).
Remark 2.8
If X and Y are Banach spaces, \(T:X\rightarrow Y\) is a linear operator, and \(N ( T )\), \(R ( T )\) are Chebyshev subspaces in X and Y, respectively, then \(T^{\#}\) is just the MoorePenrose metric generalized inverse of T, denoted by \(T^{M}\).
For convenience we list them as the following propositions the results in [5].
Proposition 2.9
[5]
Let X and Y be Banach spaces, \(A\subset X\times Y\) be a linear manifold, \(N ( A ) \) and \(R ( A ) \) be Chebyshev subspaces in X and Y, respectively. Then, for any \(y\in Y\backslash R ( A )\), the following statements are equivalent:

(i)
\(u\in D ( A ) \) is the extremal solution of linear inclusion \(y\in A ( x )\);

(ii)
\(u\in D ( A ) \) and \(\pi_{R ( A ) } ( y ) \in A ( u )\);

(iii)
\(u\in D ( A ) \) and \(y\in A ( u ) \dotplus F_{Y}^{1} ( R ( A ) ^{\bot} )\).
Proof
See Theorem 5.1 in [5]. □
Proposition 2.10
[5]
Let X and Y be Banach spaces, \(A\subset X\times Y\) be a linear manifold, \(N ( A ) \) and \(R ( A ) \) be Chebyshev subspaces in X and Y, respectively. Then we have the following:

(i)
Let K be any algebraic operator part of \(A^{1}\), then the coset
$$ K \bigl( \pi_{R ( A ) } ( y ) \bigr) +N ( A ) $$is the set of all extremal solutions of \(y\in A ( x ) \).

(ii)
Let \(A^{\#}\) be the metric generalized inverse of A, then the coset
$$ A^{\#} ( y ) +N ( A ) $$is the set of all extremal solutions of \(y\in A ( x ) \).

(iii)
\(u=A^{\#} ( y ) \) is the unique least extremal solution of \(y\in A ( x ) \).
Proof
Main theorems
In this section, we consider the constrained extremal problems for a linear inclusions restricted to a hyperplane in Banach space. By using Proposition 2.3, we establish several equivalent characterizations of the constrained extremal solution of linear inclusions in Banach spaces by means of the algebraic operator parts, the metric generalized inverse of multivalued linear operator, and the dual mapping of the spaces. It follows from these results that we may get the constrained extremal solution of multivalued linear inclusions by using the extremal solution of some interrelated multivalued linear inclusions in the same space, which are well investigated in [5] and [6]. These characterizations involve algebraic operator parts, the metric generalized inverse, and the dual mapping of the spaces.
Theorem 3.1
Let X and Y be Banach spaces, \(L\subset X\times Y\) be a multivalued linear operator from X to Y, \(N\subset X\) be a subspace, P be an algebraic projector from Y onto the subspace \(L ( \theta)\), \(L_{S,P}\) be any fixed algebraic operator part of L with respect to the projector P. Let
where \(g\in D ( L )\). Suppose that \(N ( A ) \) and \(R ( A ) \) are Chebyshev subspaces in X and Y, respectively. Then the following are equivalent:

(1)
\(w\in D ( L ) \cap S\) is a constrained extremal solution of the linear inclusion \(y\in L ( x ) \) with respect to S;

(2)
\(k:=gw\in D ( L ) \cap N\) is an extremal solution of the linear inclusion \(L_{S,P} ( g ) y\in A ( x )\);

(3)
\(w\in D ( L ) \cap S\) and
$$ L_{S,P} ( w ) y\in L ( \theta ) +F_{Y}^{1} \bigl( R ( A ) ^{\bot} \bigr); $$(3.1) 
(4)
\(g\in D ( L ) \) such that
$$ L_{S,P} ( g ) y\in R ( A ) \dotplus F_{Y}^{1} \bigl( R ( A ) ^{\bot} \bigr). $$(3.2)
Proof
(1) ⇔ (2) From Definition 2.2, \(w\in D ( L ) \cap S\) is a constrained extremal solution of the linear inclusion \(y\in L ( x )\) if and only if there exists \(z\in Y\) such that
and
We will characterize (3.3) and (3.4).
Now, by definition, (3.3) holds if and only if
Equivalently, we see that (3.3) holds if
Since \(g\in D ( L )\) and \(w\in D ( L )\), \(k=gw\in D ( L ) \cap N\). Hence, we see that (3.3) holds if and only if \(w=gk\) for some \(k\in D ( L ) \cap N\) such that
Next, we characterize (3.4). Note first that
and
Note that, from \(s\in L ( \theta ) \) and \(k=gw\in D ( L ) \cap N\), we have \(L ( k ) =L_{N} ( k ) =A ( k )\) and
From (3.6) and (3.7), we see that (3.4) holds if and only if (3.8) holds and
Hence, it follows that (3.4) holds if and only if k is an extremal solution,
Consequently, it follows from (3.3) and (3.4) that \(w\in D ( L ) \cap S\) is a constrained extremal solution of the linear inclusion \(y\in L ( x ) \) with respect to S if and only if \(w=gk\) for some \(k\in D ( L ) \cap N\) such that k is an extremal solution of \(L_{S, P} ( g ) y\in A ( x )\). This proves that (i) and (ii) are equivalent.
(2) ⇒ (3). Assume that \(k:=gw\in D ( L ) \cap N\) is an extremal solution of the linear inclusion \(y+L_{S,P} ( g ) \in A ( x )\). From (i) ⇔ (ii) in Proposition 2.9, we have \(w=gk\) for some \(k\in D ( L ) \cap N\) and
Let us write
where \(x\in A ( k )\), \(z\in F_{Y}^{1} ( R ( A ) ^{\bot} )\). Note that \(A=L_{N}\), it follows that \(k\in D ( L ) \cap N\) and \(\{ k,x \} \in L\). Thus we obtain
Consequently, we have \(w\in D ( L ) \cap S\) and
It follows that (2) ⇒ (3).
Next, we intend to prove that (3) ⇒ (2). Assume (3) is true, we want to show that there exists \(k\in D ( L ) \cap N\) such that
From (i) ⇔ (iii) in Proposition 2.9, we have showed that (2) holds. Indeed, from (3), we write
Note that \(w\in D ( L ) \cap S\) and \(w=gk\) for some \(k\in D ( L ) \cap N=D ( A )\). Then
since \(s+L_{S,P} ( k ) \in L ( \theta ) +L_{S,P} ( k ) =A ( \theta ) +A_{S,P} ( k ) =A ( k )\). Thus (3) ⇒ (2). It follows that (2) ⇔ (3).
(2) ⇔ (4) Assume (2) is true, i.e. \(k:=gw\in D ( L ) \cap N\) is an extremal solution of the linear inclusion \(L_{S,P} ( g ) y\in A ( x )\). By (i) ⇔ (iii) in Proposition 2.9, we have \(L_{S,P} ( g ) y\in A ( k ) \dotplus F_{Y}^{1} ( R ( A ) ^{\bot} ) \subset R ( A ) \dotplus F_{Y}^{1} ( R ( A ) ^{\bot} )\). This proves that (2) ⇒ (4). Conversely, we assume (4) is true, i.e. \(L_{S,P} ( g ) y\in R ( A ) \dotplus F_{Y}^{1} ( R ( A ) ^{\bot} )\), then there exist \(y_{1}\in R ( A )\) and \(y_{2}\in F_{Y}^{1} ( R ( A ) ^{\bot} ) \) such that \(L_{S,P} ( g ) y=y_{1}+y_{2}\). By the definition, from \(y_{1}\in R ( A )\), we have a \(k\in D ( A ) =D ( L ) \cap N\) such that \(y_{1}\in A ( k )\), hence
Again, by (i) ⇔ (iii) in Proposition 2.9, \(k\in D ( L ) \cap N\) is an extremal solution of the linear inclusion \(L_{S,P} ( g ) y\in A ( x ) \). Thus (4) ⇒ (2). □
Theorem 3.2
Let the assumptions of Theorem 3.1 hold. Then, for any \(y\in Y\), the set of all constrained extremal solution of the linear inclusion \(y\in L ( x ) \) with respect to S, denoted by \(\Omega_{y}\), is not empty and is given by
where \(A^{\#}\) is the metric generalized inverse of the multivalued linear operator A, \(A=L_{N}\), \(S=g+N\).
Proof
(i) Since \(R ( A )\) is a Chebyshev subspace in Y, by Lemma 2.4, we have
For any \(y\in Y\), we must have \(L_{S,P} ( g ) y\in R ( A ) \dotplus F_{Y}^{1} ( R ( A ) ^{\bot} )\). From (1) ⇔ (4) in Theorem 3.1, we see that \(\Omega_{y}\neq\emptyset\).
(ii) For any \(y\in Y\), we see that \(L_{S,P} ( g ) y\in R ( A ) \dotplus F_{Y}^{1} ( R ( A ) ^{\bot } )\), hence \(\Omega_{y}\neq\emptyset\) by (i).
For any \(w\in\Omega_{y}\), i.e. \(w\in D ( L ) \cap S\) is a constrained extremal solution of the linear inclusion \(y\in L ( x ) \) with respect to S. By (1) ⇔ (2) in Theorem 3.1, we have \(w\in\Omega_{y}\) if and only if \(k:=gw\in D ( L ) \cap N\) is an extremal solution of the linear inclusion \(L_{S,P} ( g ) y\in A ( x )\). By (ii) in Proposition 2.10, we see that \(w\in\Omega_{y}\Leftrightarrow\)
where \(A^{\#}\) is the metric generalized inverse of the multivalued linear operator A. Hence, it follows that
□
Corollary 3.3
Let X, Y, and Z be reflexive strictly convex Banach spaces. Let \(A\subset X\times Z\) be a linear relation and \(L\subset X\times Y\) be a singlevalued linear operator. Assume that \(N ( A )\) is closed in X. Let \(z\in R ( A ) \dotplus F_{Z}^{1} ( R ( A ) ^{\bot} ) \) and \(y\in Y\) be given. Define
Assume that \(A^{\#} ( z ) \in D ( L )\). Then we have the following:
(I) The following statements are equivalent:

(i)
\(w \in D ( L ) \cap S\) is a constrained extremal solution of the linear operator equation \(L(x)=y\) with respect to S;

(ii)
\(k:=A^{\#} ( z ) w \in D ( L ) \cap N ( A ) \) is an extremal solution of the linear operator equation
$$ L \bigl(A^{\#} ( z ) \bigr)y=T ( x ); $$ 
(iii)
\(w\in D ( L ) \cap S\) and
$$ L ( w ) y\in F_{Y}^{1} \bigl( R ( T ) ^{\bot } \bigr). $$
(II) \(L ( x ) =y\) has a constrained extremal solution with respect to S if and only if
In particular, if \(R ( T ) \) is closed in Y, then \(L ( x ) =y\) always has a constrained extremal solution with respect to S.
(III) Assume that (3.12) and that \(N ( T ) =N ( A ) \cap N ( L ) \) is closed in X. Then the set of all constrained extremal solution of \(L ( x ) =y\) with respect to S is given by
The main results, (i)(iii) in Theorem 3.1 and (i)(ii) in Theorem 3.2 in [7], will be especial cases of Theorem 3.1 and Theorem 3.2. We express them as the following corollary.
Corollary 3.4
[7]
Let \(H_{1}\) and \(H_{2}\) be Hilbert spaces. Let \(L\subset H_{1}\times H_{2}\) and \(N\subset H_{1}\) be linear manifolds. Let \(L_{S,P}\) be an arbitrary, but fixed algebraic operator part of L corresponding to an algebraic projector P of \(H_{1}\) onto \(L ( \theta )\). Let
where \(g\in D ( L )\). Then we have:
(I) for fixed \(h\in H_{2}\), the following statements are equivalent:

(i)
w is a restricted leastsquares solution (LSS) of the linear inclusion \(y\in L ( x ) \) with respect to S.

(ii)
\(k:=gw\) is an LSS of
$$ L_{S,P} ( g ) h\in M ( x ). $$ 
(iii)
\(w\in S\cap D ( L ) \) and
$$ L_{S,P} ( g ) h\in L ( \theta ) +N \bigl( M^{\ast } \bigr), $$where \(M^{\ast}:= \{ ( x,y ) : ( y,x ) \in M^{\bot } \} \) is the adjoint subspace of the linear manifold \(M\subset H_{1}\times H_{2}\), and \(M^{\bot}\) is the orthogonal complement of M in Hilbert space \(H_{1}\times H_{2}\).

(iv)
\(g\in D ( L ) \) such that
$$ L_{S,P} ( g ) h\in R ( M ) \dotplus N \bigl( M^{\ast } \bigr). $$In particular, if \(R ( M )\) is closed, then a restricted LSS exists for each \(h\in H_{2}\).
(II) The set of all restricted LSS of the linear inclusion \(y\in L ( x ) \) with respect to S, denoted by \(\Omega _{y}\), is not empty and is given by
Proof
In Theorem 3.1, take \(X=H_{1}\) and \(Y=H_{2}\), \(A=M=L_{N}\), since \(H_{1}\), \(H_{2}\), and \(H_{1}\times H_{2}\) are Hilbert spaces, \(F_{Y}=I\) the identity operator of \(H_{2}\), and \(N ( M^{\ast} ) =R ( M ) ^{\bot}=R ( A ) ^{\bot}\) (see [13]). (I) in Corollary 3.4 follows from Theorem 3.1, and (II) in Corollary 3.4 follows from Theorem 3.2. □
Remark 3.5
In [7], the authors gave an application of Theorem 3.1, i.e. Corollary 3.4, to concrete cases of singular optimal control problems involving ordinary differential equations with general boundary conditions where both the control space and the state space are Hilbert space \(L_{2}^{m}=L_{2}([a,b],\mathbb{C}^{m})\) and \(L_{2}^{n}=L_{2}([a,b],\mathbb{C}^{n})\), but for the same problem with the control space \(L_{p}^{m}=L_{p}([a,b],\mathbb{C}^{m})\) and the state space \(L_{p}^{n}=L_{p}([a,b],\mathbb{C}^{n})\) (\(1< p<\infty\)), we cannot apply Theorem 3.1 in [7], while we can apply Theorem 3.1, and Theorem 3.2, in this paper.
Remark 3.6
In Theorem 3.1, the three equivalent characterizations of a constrained extremal solution of the linear inclusion \(y\in L ( x ) \) with respect to S are expressed in terms of algebraic operator parts and the generalized orthogonal complement of \(R ( A )\). In characterization (2) of Theorem 3.1, the constrained extremal solution is equivalent to an unconstrained, but modified extremal solution. Characterization (3) is a generalized form of the normal equation; we call
the ‘normal inclusion’ for the given inclusion \(y\in L ( x )\). In the case of a singlevalued operator with domain \(H_{1}\) (\(X=H_{1}\), \(Y=H_{2} \) are Hilbert spaces with \(( H_{2} ) ^{\ast }=H_{2}\)), \(g=\theta\), \(N=H_{1}\), \(A=L\), \(R ( L ) \) is closed in \(H_{2}\). Then \(F_{Y}^{1} ( R ( A ) ^{\bot} ) =R ( A ) ^{\bot }=N ( A^{\ast} ) \) by the Banach closed range theorem (see the theorem in [13]), \(L ( \theta ) =\theta \), hence the ‘normal inclusion’ reduces to
which gives the normal equation.
References
Lee, SJ, Nashed, MZ: Leastsquares solutions of multivalued linear operator equations in Hilbert spaces. J. Approx. Theory 38, 380391 (1983)
Lee, SJ: Boundary conditions for linear manifold. J. Math. Anal. Appl. 73, 366380 (1980)
Lee, SJ, Nashed, MZ: Generalized inverses for linear manifolds and applications to boundary value problems in Banach spaces. C. R. Math. Acad. Sci. Soc. R. Can. 4, 347352 (1982)
Lee, SJ, Nashed, MZ: Algebraic and topological selections of multivalued linear relations. Ann. Sc. Norm. Super. Pisa, Cl. Sci. 17, 111126 (1990)
Wang, YW, Liu, J: Metric generalized inverse for linear manifolds and extremal solutions of linear inclusions in Banach spaces. J. Math. Anal. Appl. 302, 360371 (2005)
Wang, YW, Zhang, J, Cui, YA: Criteria for the singlevalued metric generalized inverse multivalued linear operators in Banach spaces. Acta Math. Sin. Engl. Ser. 28(3), 637644 (2012)
Lee, SJ, Nashed, MZ: Constrained leastsquares solutions of linear inclusions and singular control problems in Hilbert spaces. Appl. Math. Optim. 19, 225242 (1989)
Singer, I: The Theory of Best Approximation and Functional Analysis. Regional Conf. Ser. in Appl. Math. SIAM, Philadelphia (1974)
Barbu, V, Precpuan, T: The Convexity and Optimization in Banach Spaces. Acad. Rep. Soc., Bucuresti (1978)
Wang, H, Wang, YW: Metric generalized inverses of linear operators in Banach spaces. Chin. Ann. Math., Ser. B 24(4), 509520 (2003)
Hudzik, H, Wang, YW, Sha, RL: Orthogonally complemented subspaces in Banach spaces. Numer. Funct. Anal. Optim. 29, 779790 (2008)
Wang, YW: Operator Generalized Inverses in Banach Spaces and Applications. Science Press, Beijing (2005)
Yosida, K: Functional Analysis. Springer, New York (1978)
Acknowledgements
This research was supported by the National Natural Science Foundation of China (No. 11471091).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
ZW and BW conceived and designed the study. ZW wrote and edited the manuscript. BW and YW examined all the steps of the proofs in this research and gave some advice. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wang, Z., Wu, B. & Wang, Y. Constrained extremal solutions of multivalued linear inclusions in Banach spaces. J Inequal Appl 2016, 138 (2016). https://doi.org/10.1186/s1366001610081
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366001610081
MSC
 47A05
Keywords
 Banach space
 linear manifold
 constrained extremal solution
 metric generalized inverse
 algebraic operator part