 Research
 Open Access
 Published:
Structure of the solution set for a partial differential inclusion
Advances in Difference Equations volume 2015, Article number: 380 (2015)
Abstract
In this paper, we consider the biharmonic problem of a partial differential inclusion with Dirichlet boundary conditions. We prove existence theorems for related partial differential inclusions with convex and nonconvex multivalued perturbations, and obtain an existence theorem on extremal solutions, and a strong relaxation theorem. Also we prove that the solution set is compact \(R_{\delta}\) if the perturbation term of the related partial differential inclusion is convex, and its solution set is pathconnected if the perturbation term is nonconvex.
1 Introduction
In this paper, we examine the following biharmonic problem of the partial differential inclusion:
Here Ω is a bounded domain in \(R^{N}\) with a smooth boundary ∂Ω, and \(H: \Omega\times R\times R^{N}\times R\rightarrow2^{R}\setminus\{\emptyset\}\) is a setvalued map. Biharmonic equations with Dirichlet boundary conditions were studied by LionsMagenes [1, 2], MozolevskiSüli [3, 4], AmroucheFontes [5], and AmroucheRaudin [6, 7]. Boundary value problems involving partial differential equations with discontinuous nonlinearities which may be reduced to boundary value problems for partial differential inclusions were studied by CarlHeikkilä [8, 9] and Chang [10, 11] (we refer the reader also to the work of Marano [12, 13]). In [14], XueCheng studied periodic problems for a nonlinear evolution inclusion, defined on an evolution triple of spaces, driven by a monotone operator, and with a perturbation term which is multivalued. They established existence theorems for periodic solutions, extremal periodic solutions and a strong relaxation theorem in Banach spaces, which are similar to those in XueYu [15] in infinite dimensional spaces. In [16], ChengCongXue considered the following boundary value problem:
and they established the existence of solutions for inclusions with convex and nonconvexvalued perturbations, extremal solutions, and a strong relaxation theorem in a strong solution sense. The multivalued term in problem (1.1) that we consider contains not only the gradient but also a Laplacian item, and we obtain results in a weak solution sense. The Lipschitz condition (\(H(F)_{4}\)(iv) in [16]) with respect to the second variable u of the multifunction G is essential to get a strong relaxation theorem in ChengCongXue [16]. However, we only need a onesided Lipschitz condition to get this result. Furthermore, the topological structure of the solution set is discussed (this is not considered in [16] and [14]).
Inspired by ChengCongXue [16], in this paper we prove existence theorems for both ‘convex’ and ‘nonconvex’ cases by using techniques from multivalued analysis and fixed point theory. For related works on this subject, we refer the reader to [14, 17–20] and the references therein. Based on the Baire category method, De Blasi and Pianigiani in [21] gave an existence result for the following problem:
In this paper, we will also consider the differential inclusion in which \(H(x,u,\nabla u,\Delta u)\) will be replaced by its extreme point set \(\operatorname{ext}H(x,u,\nabla u,\Delta u)\). We show that the resulting problem always has a solution (‘extremal solutions’) and the solution set is dense in the solution set of the convexified version of the problem (‘strong relaxation theorem’). Also we address the structural properties of the solution sets for this type of biharmonic inclusion problem. In [22], Himmelberg and Van Vleck studied the topological structure of the solution set in \(R^{N}\) for the ordinary differential inclusions:
and proved that the solution set is an \(R_{\delta}\)set. For Cauchy problems the topological structure of the solution set of evolution inclusions was examined by Bothe [23], AndresPavlackova [24], GaborGrudzka [25], and ChenWangZhou [26] in a Banach space, BakowskaGabor [27], and O’Regan [28] in Fréchet spaces.
We also refer the reader to the works of PapageorgiouShahzad [29] for the firstorder evolution inclusion and PapageorgiouYannakakis [30] for the secondorder evolution inclusion where the structure of solution sets was discussed. Following their lead, in this paper, we obtain the \(R_{\delta}\)structure of the solution set for a biharmonic differential inclusion based on the space variable \(x\in\Omega\). We prove that the solution set of the biharmonic inclusion problem in the convexvalued case is compact \(R_{\delta}\) in \(C(\overline{\Omega})\), and the solution set is pathconnected in the case of a nonconvexvalued orientor field.
The plan of our paper is as follows. In Section 2, we collect some preliminary results which will be used in this work. In Section 3, we present some basic assumptions and existence theorems for the both convex and nonconvex multivalued terms. Here, our results are based on the LeraySchauder alternative. In Section 4, a relaxation theorem is established. Finally the properties of the solution set is given in Section 5.
2 Preliminaries
In this section, we introduce some basic definitions and facts which are essential tools in the later sections; see HuPapageorgiou [31] for details.
Let \(R^{N}\) (\(N\geq1\)) be the Ndimensional real Euclidean space. Throughout this paper the symbol Ω denotes a nonempty, bounded, open set of \(R^{N}\), with a smooth boundary ∂Ω. Moreover, from now on, ‘measurable’ simply means Lebesgue measurable. Given two nonnegative constants \(k, p\geq1\), we denote by \(W^{k,p}(\Omega)\) the space of all realvalued functions defined on Ω whose weak partial derivatives up to the order k lie in \(L^{p}(\Omega)\), equipped with \(W^{k,p}(\Omega)\) the usual norm \(\\cdot\_{k,p}\). If \(u\in W^{2,p}(\Omega)\), we set \(\Delta u=\sum^{n}_{i=1}\frac{\partial^{2}u}{\partial{x_{i}}^{2}}\), \(\nabla{u}=\operatorname{grad}{u}=(\frac{\partial u}{\partial{x_{i}}})_{i=1}^{N}\). For any real number \(p> 1\), we denote by q the dual exponent of p (and throughout the paper we assume \(p>1\)).
Let V be a Hausdorff topological space and a multifunction \(F:\Omega\rightarrow2^{V}\setminus\{\emptyset\}\). We introduce the following notations:
Definition 2.1
Let X be a Banach space. A multifunction \(F: \Omega\rightarrow{\mathcal{P}}_{f}(X)\) is said to be ‘measurable’, if for all \(y\in X\), the \(R_{+}\)valued function \(x\rightarrow d(y,F(x))=\inf\{\yv\,v\in F(x)\}\) is measurable.
The above definition of measurability is equivalent to saying that
with \({B}(X)\) being the Borel σfield of X, Σ is Lebesgue σfield of Ω, that is, \(x\rightarrow F(x)\) is graph measurable. In general, however, we can only say that measurability implies graph measurability.
Definition 2.2
A generalized metric known in the literature as the ‘Hausdorff metric’, is obtained by setting
for all \(A, B\in{\mathcal{P}}_{kc}(V)\).
Definition 2.3
Let Y, Z be Hausdorff topological spaces and \(\beta:Y\rightarrow2^{Z}\setminus\{\emptyset\}\). \(\beta(\cdot)\) is called ‘upper semicontinuous (USC)’ (resp., ‘lower semicontinuous (LSC)’), if for any nonempty closed set \(C\subseteq Z\), \(\beta^{}(C)=\{y\in Y : \beta(y)\cap C\neq\emptyset\}\) (resp., \(\beta^{+}(C)=\{y\in Y:\beta (y)\subseteq C\}\)) is closed in Y.
A multifunction which is both USC and LSC is said to be continuous. From Theorem 2.1 and Remark 2.6 of [32], we note the following result.
Theorem 2.1
Let X be a Banach Space with the weak topology, and \(D\subseteq X\) a weakly compact, convex subset of X, Then any weakly sequentially upper semicontinuous map \(F:D\rightarrow{\mathcal{P}}_{wkc}(D)\) has a fixed point, i.e., there exists \(x\in D\), such that \(x\in F(x)\).
Remark 2.1
Recall \(F:D\rightarrow{\mathcal{P}}_{wkc}(D)\) is weakly sequentially upper semicontinuous if for any weakly closed set A of D, \(F^{1}(A)\) is sequentially closed for the weak topology on D.
We now use Theorem 2.1 to obtain the following result.
Lemma 2.1
Let Ω be a nonempty, closed, convex subset of a Banach space X. Suppose \(F:\Omega\rightarrow{\mathcal{P}}_{c}(\Omega)\) has a weakly sequentially closed graph and \(F(\Omega)\) is weakly relatively compact. Then F has a fixed point.
Proof
Let \(D=\overline{\operatorname{co}}(F(\Omega))\). It follows from the KreinŠmulian theorem that D is a weakly compact convex set. Note \(F(\Omega)\subseteq D \subseteq\Omega\). Notice also that \(T=F_{D}:D\rightarrow{\mathcal{P}}_{c}(D)\). First we prove that GrT is weakly compact. Since \((X\times X)_{w} = X_{w}\times X_{w}\) (\(X_{w}\) is the space X endowed its weak topology), it follows that \(D\times D\) is a weakly compact subset of \(X\times X\). Also, \(\operatorname{Gr}T =\{(x,y)\in D\times X:y\in T(x)\}\subset D\times D\), so, GrT is weakly relatively compact. Let \((x,y) \in D\times D\) be weakly adherent to GrT. Then from the EberleinŠmulian theorem we can find \(\{ (\{x_{n}\}, \{y_{n}\})\}_{n}\subseteq \operatorname{Gr}T\) such that \(y_{n}\in T(x_{n})\), \(x_{n}\rightarrow x\) weakly and \(y_{n}\rightarrow y\) weakly in X. Because F has weakly sequentially closed graph, \(y \in T(x)\) and so \((x,y)\in \operatorname{Gr}T\). Therefore, GrT is a weakly closed subset of \(D \times D\) and so weakly compact. Consequently \(T(x)\) is weakly closed and so a weakly compact subset of D for every \(x \in D\). In view of Theorem 2.1 it suffices to show that T is weakly sequentially upper semicontinuous. First we note that GrT is weakly closed and therefore is sequentially weakly closed. Let \(A\subset D\) be a weakly closed set and let \(x_{n}\in T^{1}(A)\) with \(x_{n} \rightarrow x\) weakly. Now since \(T(x_{n})\cap A \neq \emptyset\) and \(T(x_{n})\subset D\), then for \(y_{n}\in T(x_{n})\cap A\) we may assume \(y_{n}\rightarrow y\) weakly for some \(y\in A\). Since \((x_{n}, y_{n})\in \operatorname{Gr}T\) and GrT is sequentially weakly closed, we have \(y\in T(x)\cap A\) and so \(x\in T^{1}(A)\). Thus \(T^{1}(A)\) is sequentially weakly closed. Applying Theorem 2.1, we see that T has a fixed point \(x \in D \subset\Omega\). Therefore F has a fixed point. □
Let X be a Banach space and \(L^{p}(\Omega,X)\) be the Banach space of all functions \(u:\Omega\rightarrow X\) which are Bochner integrable. Let \(D(L^{p}(\Omega,X))\) be the collection of nonempty decomposable subsets of \(L^{p}(\Omega,X)\). Next is the BressanColombo continuous selection theorem.
Lemma 2.2
(see, e.g., [33])
Let X be a separable metric space and let \(F:X\rightarrow D(L^{p}(\Omega,X))\) be a LSC multifunction with closed decomposable values. Then F has a continuous selection.
Let X be a separable Banach Space and \(C(\Omega,X)\) be the Banach space of all continuous functions. A multifunction \(F:\Omega\times X\rightarrow{\mathcal{P}}_{wkc}(X)\) is said to be of Carathéodory type, if for every \(u\in X\), \(F(\cdot,u)\) is measurable, and for almost all \(x\in\Omega\), \(F(x,\cdot)\) is hcontinuous. A nonempty subset \(\eta_{0}\subset C(\Omega,X)\) is called σcompact if there is a sequence \(\{\eta_{k}\}_{k\geq1}\) of compact subsets \(\eta_{k}\) such that \(\eta_{0}=\bigcup_{k\geq1}\eta_{k}\). Let \(\eta_{0}\subset \eta\), such that \(\eta_{0}\) is dense in η and σcompact. The following continuous selection theorem in the extreme point case is due to Tolstonogov [34].
Lemma 2.3
(see, e.g., [34])
Let the multifunction \(F:\Omega\times X\rightarrow{\mathcal{P}}_{wkc}(X)\) be of Carathéodory type and be integrably bounded. Then there exists a continuous function \(g:\eta\rightarrow L^{p}(\Omega,X)\) such that for almost \(x\in\Omega\), if \(u(\cdot)\in\eta_{0}\), then \(g(u)(x)\in \operatorname{ext}F(x,u(x))\), and if \(u(\cdot)\in\eta\setminus\eta_{0}\), then \(g(u)(x)\in \overline{\operatorname{ext}}\, F(x,u(x))\).
Definition 2.4
A nonempty subset D of Y is said to be contractible if there exist a point \(y_{0}\in D\) and a continuous function \(h:[0,1]\times D\rightarrow D\) such that \(h(0,y)=y_{0}\) and \(h(1,y)=y\) for every \(y\in D\).
Definition 2.5
A subset D of a metric space is called an \(R_{\delta}\)set if there exists a decreasing sequence \(\{D_{n}\}\) of compact and contractible sets such that
Note that a compact \(R_{\delta}\) set D is nonempty, compact, and connected. However, in contrast to contractible sets, a compact \(R_{\delta}\) set D need not be pathconnected. We also need the following approximation result that can be proved from Proposition 4.1 of [29] with minor modifications to accommodate the presence of \(x\in\Omega\).
Lemma 2.4
Let \(G:\Omega\times R\times R^{N}\rightarrow{\mathcal{P}}_{fc}(R)\) be a multifunction such that

(i)
\(\forall(u,s)\in R\times R^{N} \), \(x\rightarrow G(x,u,s)\) is measurable;

(ii)
\(\forall x\in\Omega\), \((u,s)\rightarrow G(x,u,s)\) is USC;

(iii)
\(\forall(x,u,s)\in\Omega\times R\times R^{N}\), \(G(x,u,s)\leq \varphi(x)\) a.e. with \(\varphi(x)\in L_{+}^{q}(\Omega)\).
Then there exists a sequence of multifunctions \(G_{n}:\Omega\times R\times R^{N}\rightarrow{\mathcal{P}}_{fc}(R)\), \(n\geq1\) with the following properties:

(a)
For every \(x\in\Omega\), and \((u,s)\in R\times R^{N}\) there exist \(\mu_{n}(u,s)> 0\) and \(\varepsilon _{n}> 0\) such that if \(u_{1}, u_{2}\in B_{\varepsilon _{n}}(u)=\{y\in R:uy\leq \varepsilon _{n}\}\), \(s_{1}, s_{2}\in B_{\varepsilon _{n}}(s)\), then \(h(G_{n}(x,u_{1},s_{1}), G_{n}(x,u_{2},s_{2}))\leq\mu _{n}(x,u,s)\varphi(x)(u_{1}u_{2}+\s_{1}s_{2}\)\) a.e. (i.e., \(G_{n}(x,u,s)\) is locally hLipschitz with respect to \((u,s)\)).

(b)
\(G(x,u,s)\subseteq\cdots \subseteq G_{n}(x,u,s)\subseteq G_{n1}(x,u,s)\subseteq\cdots\), \(G_{1}(x,u,s)\leq\varphi(x)\) a.e. \(n\geq1\), \(G_{n}(x,u,s)\rightarrow G(x,u,s)\) as \(n\geq1\) for every \((x,u,s)\in\Omega\times R\times R^{N}\), and finally there exists \(g_{n}: \Omega\times R\times R^{N}\rightarrow R\), measurable in x, locally Lipschitz in \((u,s)\) and \(g_{n}(x,u,s)\in G_{n}(x,u,s)\) for every \((x,u,s)\in\Omega\times R\times R^{N}\). Moreover, if \(G(x,\cdot,\cdot)\) is hcontinuous, then \(x\rightarrow G_{n}(x,u,s)\) is measurable (hence \((x,u,s)\rightarrow G_{n}(x,u,s)\) is measurable too; see [35]).
Theorem 2.2
(see, e.g., [36])
Let X and Y be two normed spaces. If \(T:X\rightarrow Y\) is a compact linear operator and \(\{x_{n}\}_{n}\) is a sequence in X such that \(x_{n}\rightarrow x\) weakly then \(T(x_{n})\rightarrow T(x)\) strongly.
3 Existence theorems of solutions
Definition 3.1
A function \(u\in{W}_{0}^{2,p}(\Omega)\) is called a solution of problem (1.1) if
where \(f(x)\in H(x,u,\nabla u,\Delta u)\) and \(\langle \cdot,\cdot\rangle\) denotes (here and in the sequel) the duality pairing between \(W_{0}^{2,p}(\Omega )\) and \(W_{0}^{2,q}(\Omega)\).
Consider the kernel \(D^{p}_{0}(\Omega)\) of a biharmonic operator with Dirichlet boundary conditions:
where n is the unit vector normal to ∂Ω pointing outside Ω. Then \(W_{p}(\Omega):=W^{2,p}(\Omega)/ D^{p}_{0}(\Omega)\) is a reflexive Banach space, with norm \(\\cdot\_{W}\), which is equivalent to the quotient norm \(\\cdot\_{W^{2,p}}\). From Theorem 2.7 of [5], \(D^{p}_{0}(\Omega)=0\) when \(p< N\). We prove an existence theorem for nonconvex problems under the following assumptions:
 \(H(F)_{1}\)::

\(H:\Omega\times R\times R^{N}\times R\rightarrow{\mathcal{P}}_{k}(R)\) is a multifunction satisfying the following properties:

(a)
\((x,u,s,t)\rightarrow H(x,u,s,t)\) is graph measurable.

(b)
For almost all \(x\in\Omega\), \((u,s,t)\rightarrow H(x,u,s,t)\) is LSC.

(c)
For every \((u,s,t)\in R\times R^{N}\times R\), there exist \(\omega _{0}(x)\in L^{p}(\Omega)\), \(\omega_{1}(x)\in L^{\frac{p}{1\alpha }}(\Omega)\), \(\omega_{2}(x)\in L^{\frac{p}{1\beta}}(\Omega)\), \(\omega_{3}(x)\in L^{\frac{p}{1\gamma}}(\Omega)\) such that
$$\begin{aligned} \bigl\vert H(x,u,s,t)\bigr\vert =&\bigl\{ v:v\in H(x,u,s,t)\bigr\} \\ \leq& \omega_{0}(x)+\omega_{1}(x)u^{\alpha}+ \omega_{2}(x)\s\ ^{\beta}+\omega_{3}(x)t^{\gamma}\quad \mbox{a.e. } x\in\Omega, \end{aligned}$$where \(0\leq\alpha,\beta,\gamma<1\).

(a)
Theorem 3.1
If assumption \(H(F)_{1}\) holds, then the partial differential inclusion (1.1) has a solution \(u\in W_{p}(\Omega)\).
Proof
Following [5], we define the biharmonic operator \(L:=\Delta^{2}:W_{p}(\Omega)\rightarrow W_{0}^{2,p}(\Omega)\), and then \(L:W_{p}(\Omega)\rightarrow W^{2,p}(\Omega)\) is a linear mapping. According to Theorem 2.12 of [5], for each \(f\in W_{0}^{2,p}(\Omega)\) the following problem:
has only one solution \(u\in W_{p}(\Omega)\), and
where the constant C depends only on N, p, and Ω. Thus \(L:W_{p}(\Omega)\rightarrow W_{0}^{2,p}(\Omega)\) is one to one and surjective, which implies \(L^{1}:W_{0}^{2,p}(\Omega)\rightarrow W_{p}(\Omega)\) is well defined. Thus, \(u=L^{1}(f)\), and from (3.3), we have \(\L^{1}(f)\_{W}\leq C\f\_{2,p}\). Then we see that \(L^{1}:W_{0}^{2,p}(\Omega)\rightarrow W_{p}(\Omega)\) is a bounded linear operator, which implies \(L^{1}\) is continuous from \(W_{0}^{2,p}(\Omega)\) to \(W_{p}(\Omega)\). Let \(K\subset W_{0}^{2,p}(\Omega)\) be a bounded subset, and then we find that \(L^{1}(K)\) is also bounded in \(W_{p}(\Omega)\). From the Sobolev embedding theorem, we see that the embedding \(W^{2,p}(\Omega)\subset W_{0}^{2,p}(\Omega)\) is compact. Now since \(W^{2,p}(\Omega)\) is compactly embedded in \(W_{0}^{2,p}(\Omega)\), it follows that \(L^{1}(K)\) is relatively compact in \(W_{0}^{2,p}(\Omega)\). Hence, \(L^{1}:W_{0}^{2,p}(\Omega)\rightarrow W_{0}^{2,p}(\Omega)\) (\(W_{p}(\Omega)\subset W_{0}^{2,p}(\Omega)\)) is completely continuous.
Now let \(S^{p}_{H}: W_{p}(\Omega)\rightarrow 2^{W_{0}^{2,p}(\Omega)}\) (\(L^{p}(\Omega)\subset W_{0}^{2,p}(\Omega)\)) be the multivalued Nemytskii operator corresponding to H defined by
We show that \(S^{p}_{H}(\cdot)\) has nonempty, closed, decomposable values in \(L^{p}(\Omega)\) and is LSC. The closedness and decomposability of the values of \(S^{p}_{H}(\cdot)\) are easy to check. For the nonemptiness, note that if \(u\in{W_{p}(\Omega)}\), by hypothesis \(H(F)_{1}\)(i), \((x,u,s,t)\rightarrow H(x,u,s,t)\) is graph measurable, so we can apply Aumann’s selection theorem and get a measurable map \(v:\Omega\rightarrow R\) such that \(v(x)\in H(x,u,s,t)\) a.e. on Ω. By hypothesis \(H(F)_{1}\)(iii), \(v\in L^{p}(\Omega)\). Thus for every \(u\in W_{p}(\Omega)\), \(S^{p}_{H}(u)\neq \emptyset\). To prove the lower semicontinuity of \(S^{p}_{H}(\cdot)\), it is sufficient to show that for every \(w\in L^{p}(\Omega)\), \(u\rightarrow d(w,S^{p}_{H}(u))\) is an USC \(R_{+}\)valued function. Note that
We claim that for every \(\lambda\geq0\), the superlevel set \(R_{\lambda}=\{u\in L^{p}(\Omega):d(w,S^{p}_{H}(u))\geq\lambda\}\) is closed in \(L^{p}(\Omega)\). Let \(\{u_{n}\}_{n\geq1}\subseteq R_{\lambda}\) and assume that \(u_{n}\rightarrow u\) in \(L^{p}(\Omega)\). By passing to a subsequence if necessary, we may assume that \(u_{n}(x)\rightarrow u(x)\) a.e. on Ω as \(n\rightarrow\infty\). By hypothesis \(H(F)_{1}\)(ii), \((u,s,t)\rightarrow d(w,H(x,u,s,t))\) is an upper semicontinuous \(R_{+}\)valued function. Thus via Fatou’s lemma, we have
Therefore \(u\in R_{\lambda}\) and this proves the LSC of \(S^{p}_{H}(\cdot)\).
Hence, by Lemma 2.2, there exists a continuous map \(g:W_{p}(\Omega)\rightarrow L^{p}(\Omega)\subset W_{0}^{2,p}(\Omega)\) such that \(g(u)\in S^{p}_{H}(u)\). To complete the proof, we need to consider the fixed point problem: \(u=L^{1}\circ g(u)\).
To this aim, we show that the set \(\Gamma=\{u\in W_{0}^{2,p}(\Omega):u=\sigma L^{1}\circ g(u),\sigma\in(0,1)\}\) is bounded. Let \(u\in\Gamma\), then \(Lu=\sigma g(u)\) and so \(\Lu\_{p}=\sigma\g(u)\_{p}\). By hypothesis \(H(F)_{1}\)(iii), we derive
and then
Thus by (3.3), it follows that
for some \(\theta\in(0,1)\). Now since \(0<\theta<1\), we can find a constant \(M_{2}>0\) such that \(\u\_{W}\leq M_{2}\). Thus in view of the continuity of the embedding \(W_{p}(\Omega)\rightarrow W_{0}^{2,p}(\Omega)\), it follows that Γ is bounded in \(W_{0}^{2,p}(\Omega)\). Apply the LeraySchauder alternative, and we find that there exists \(u\in W_{p}(\Omega)\) such that \(u=L^{1}\circ g(u)\), i.e., u is a solution of problem (1.1). This completes the proof. □
The assumptions we need for convex problems are as follows:
 \(H(F)_{2}\)::

\(H:\Omega\times R\times R^{N}\times R\rightarrow {\mathcal{P}}_{kc}(R)\) is a multifunction satisfying the following properties:

(a)
\((x,u,s,t)\rightarrow H(x,u,s,t)\) is graph measurable.

(b)
For almost all \(x\in\Omega\), \((u,s,t)\rightarrow H(x,u,s,t)\) is USC; and \(H(F)_{1}\)(iii) holds.

(a)
Theorem 3.2
If assumption \(H(F)_{2}\) holds, then the solution set of the partial differential inclusion (1.1) is nonempty in \(W_{p}(\Omega)\). Moreover, the solution set is weakly compact in \(W_{p}(\Omega)\).
Proof
In view of the proof of Theorem 3.1, we only need to emphasis those steps where the proofs differ.
In this case the multivalued Nemytskii operator \(S^{p}_{H}:W_{p}(\Omega)\rightarrow 2^{L^{p}(\Omega)}\) has nonempty convex values in \(L^{p}(\Omega)\). The convexity of the values of \(S^{p}_{H}(\cdot)\) are clear. To prove the nonemptiness, let \(u\in W_{p}(\Omega)\), and let \(\{s_{n}\}_{n\geq1}\), \(\{r_{n}\}_{n\geq1}\), \(\{t_{n}\}_{n\geq1}\) be three sequences of step functions such that
and
Then by virtue of hypothesis \(H(F)_{2}\)(i), for every \(n\geq1\), \(x\rightarrow H(x,s_{n},r_{n},t_{n})\) admits a measurable selector \(g_{n}(x)\). From hypothesis \(H(F)_{1}\)(iii) and (3.4), we have
Now \(p>1\), and the set \(\{g_{n}, n\geq1\}\) is bounded in the reflexive space \(L^{p}(\Omega)\), so it is relatively weakly compact in \(L^{p}(\Omega)\). Consequently by EberleinŠmulian’s theorem and passing to a subsequence if necessary, we may assume that \(g_{n}\rightarrow g\) weakly in \(L^{p}(\Omega)\). Then from Theorem 3.1 in [37], we find
here, the last inclusion being a consequence of hypothesis \(H(F)_{2}\)(ii). Thus \(g\in S^{p}_{H}(u)\), which shows that \(S^{p}_{H}(\cdot)\) is nonempty.
As in Theorem 3.1, we obtain the a priori bound for the solution set of problem (1.1). Let
where \(M>0\) is a constant (constructed as in Theorem 3.1). Note that the set \({\mathcal{D}}\) is closed, convex, and bounded in \(W_{p}(\Omega)\) (which is reflexive), so it is compact in a weak topology. Due to the convexity of the values of \(S_{H}^{p}(\cdot)\) and \(L^{1}\) being a linear map, it follows that \(L^{1}\circ S_{H}^{p}(u)\) is convex for every \(u\in{\mathcal{D}} \). Using an argument similar to that in (3.4), we obtain \(L^{1}\circ S_{H}^{p}({\mathcal{D}})\subseteq{\mathcal{D}}\). Next we show that \(L^{1}\circ S^{p}_{H}:{\mathcal{D}} \rightarrow{\mathcal{P}}_{c}({\mathcal{D}})\) has weakly sequentially closed graph. Let \((u_{n},v_{n}) \in{\mathcal{D}} \times{\mathcal{D}}\), \(n \geq1\), be in the graph of \(L^{1}\circ S_{H}^{p}\) with \((u_{n},v_{n})\) converging weakly to \((u,v)\). Note
and passing to a subsequence, we note that \(u_{n}(x)\rightarrow u(x)\) a.e. on Ω. Now for every \(n\in N\) there exists \(f_{n}\in S^{p}_{H}(u_{n})\) such that \(v_{n}=L^{1}(f_{n})\). Again from hypothesis \(H(F)_{1}\)(iii) and (3.4), we have
Now \(p>1\), and the set \(\{f_{n}, n\geq1\}\) is bounded in the reflexive space \(L^{p}(\Omega)\), so it is relatively weakly compact in \(L^{p}(\Omega)\). Consequently by the EberleinŠmulian theorem and passing to a subsequence if necessary, we may assume that \(f_{n}\rightarrow f\) weakly in \(L^{p}(\Omega)\). As above we have
and thus \(f\in S^{p}_{H}(u)\). Let \(w=L^{1}(f)\), and note \(w\in L^{1}\circ S^{p}_{H}(u)\). From Theorem 3.1, we know that \(L^{1}:W^{2,p}(\Omega)\rightarrow W_{p}(\Omega)\) is continuous. Since the embedding \(L^{p}(\Omega)\subseteq W^{2,p}(\Omega)\) is compact, we get (see Theorem 2.2) that \(f_{n}\rightarrow f\) in \(W^{2,p}(\Omega)\). Thus, \(v_{n}=L^{1}(f_{n})\rightarrow w=L^{1}(f)\). Therefore, \(v\in L^{1}\circ S_{H}^{p}(u)\), and so \(L^{1}\circ S^{p}_{H}:{\mathcal{D}} \rightarrow{\mathcal{P}}_{c}({\mathcal{D}})\) has weakly sequentially closed graph.
Invoking Lemma 2.1, there exists \(u\in{\mathcal{D}}\) such that \(u\in L^{1}\circ S^{p}_{H}(u)\). Evidently this is a solution of problem (1.1). Let S denote the solution set of problem (1.1). Again, as in Theorem 3.1, we have
where \(M>0\). Since S is bounded and \(W_{p}(\Omega)\) is reflexive, it follows that \(\overline{S}^{w}\) is weakly compact. Let \(u \in W_{p}(\Omega )\) be weakly adherent to S. Since \(\overline{S}^{w}\) is weakly compact, by EberleinŠmulian’s theorem there exists a sequence \(\{ u_{n}\}_{n} \subseteq S\) such that \(u_{n}\rightarrow u\) weakly in \(u\in{\mathcal{D}} \subset W_{p}(\Omega)\). Since \(L^{1}\circ S^{p}_{H}\) has weakly sequentially closed graph, it follows that \(u \in L^{1}\circ S^{p}_{H}(u)\) which implies that \(u\in S\). Hence \(\overline{S}^{w}=S\) and S is weakly closed. Therefore S is weakly compact in \(W_{p}(\Omega )\). □
4 Relation theorem of solutions
In this section, we are concerned with the following extremal problem:
where \(\operatorname{ext}H(x,u,\nabla u,\Delta u)\) denotes the extremal point set of \(H(x,u,\nabla u,\Delta u)\).
The precise assumptions on the data of problem (4.1) are the following:
 \(H(F)_{3}\)::

\(H:\Omega\times R\times R^{N}\times R\rightarrow {\mathcal{P}}_{kc}(R)\) is multifunction such that for almost all \(x\in\Omega\), \((u,s,t)\rightarrow H(x,u,s,t)\) is hcontinuous, and \(H(F)_{1}\)(i), (iii) holds, where \(p>\frac{N}{2}\geq 2\).
In the following let S denote the solution set of (1.1), and \(S_{e}\) denote the solution set of (4.1).
Theorem 4.1
If assumption \(H(F)_{3}\) holds, then the partial differential inclusion (4.1) has a solution \(u\in W_{p}(\Omega)\cap C(\overline{\Omega})\).
Proof
As H is replaced by extH, we also obtain an a priori bound for \(S_{e}\). Let
for some constant \(M>0\). By virtue of hypothesis \(H(F)_{1}\)(iii) and (3.3), there exists \(a(x)\in L_{+}^{p}(\Omega)\) such that for every \(u\in S_{e}\), \(H(x,u,\nabla u, \Delta u )\leq a(x)\). Let
and we now show that \(\widehat{Q}=L^{1}(V)\) is a compact convex subset in \(C(\overline{\Omega})\). The closedness and convexity of Q̂ are clear. We only need to show its compactness. To this aim, since \(\widehat{Q}\subseteq W_{0}^{2,p}(\Omega)\) and \(p>\frac{N}{2}\), the embedding \(W_{0}^{2,p}(\Omega)\hookrightarrow C(\overline{\Omega})\) is compact, and hence \(\widehat{Q}\subseteq C(\overline{\Omega})\) is compact. From Lemma 2.3, we can find a continuous map: \(g:\widehat{Q}\rightarrow L^{p}(\Omega)\) such that \(g(u)\in \operatorname{ext}H(x,u,\nabla u,\Delta u)\) a.e. Ω for all \(u\in\widehat{Q}\). Thus \(L^{1}\circ g\) is a compact operator. Hence, Schauder’s fixed point theorem is applicable, and there exists a \(u\in\widehat{Q}\) such that \(u=L^{1}\circ g(u)\), which is a solution of (4.1). Therefore \(S_{e}\neq\emptyset\) in \(W_{p}(\Omega)\cap C(\overline{\Omega})\). This complete the proof. □
To prove our next result, we need the following definition.
Definition 4.1
(see [38])
The multifunction \(H:\Omega \times R\times R^{N}\times R\rightarrow{\mathcal{P}}_{k}(R)\) is called ‘onesided Lipschitz (OSL)’ continuous if there is an integrable function \({\mathcal{L}}:\Omega \rightarrow R\) such that for every \(u_{1}, u_{2}\in R\), \(x\in\Omega\), \(s\in R^{N}\), \(t\in R\), and \(v_{1}\in H(x, u_{1}, s, t)\) there exists \(v_{2}\in H(x, u_{2}, s, t)\) such that \((v_{2}v_{1})\cdot (u_{2}u_{1})\leq{\mathcal{L}}(x)u_{2}u_{1}^{2}\).
We also recall Poincaré’s inequality: there exists a constant \(\lambda>0\) depending on N, p, Ω such that
for every \(u\in W_{p}(\Omega)\).
Theorem 4.2
If the hypothesis \(H(F)_{3}\) holds, and

(i)
H is onesided Lipschitz (OSL) continuous;

(ii)
\({\mathcal{L}}(x)\leq\alpha<{\frac{1}{\lambda}}\), where \({\mathcal{L}}\) is from Definition 4.1 and λ from (4.2);
then \(\overline{S}_{e}^{C(\overline{\Omega})}=S\), the closure is taken in \(C(\overline{\Omega})\).
Proof
Let \(u_{g}\in S\), then there exist \(g\in L^{p}(\Omega)\) and \(g(x)\in H(x,u,\nabla u,\Delta u)\) a.e. on Ω, such that
As earlier, we let \(V=\{v\in L^{p}(\Omega): v(x)\leq a(x) \mbox{ a.e. on } \Omega\}\) and \(\widehat{Q}=L^{1}(V)\), and then Q̂ is a compact convex subset of \(C(\overline{\Omega})\). For any \(u\in\widehat{Q}\) and \(\varepsilon>0\), we define the multifunction
Clearly, for every \(x\in\Omega\), \(Q_{\varepsilon}(x)\neq\emptyset \), and it is graph measurable. On applying Aumann’s selection theorem, we get a measurable function \(v:x\rightarrow R\) such that \(v(x)\in Q_{\varepsilon}(x)\) almost everywhere on Ω. We define the multifunction
It is clear that \(R_{\varepsilon}:\widehat{Q}\rightarrow 2^{L^{p}(\Omega)}\) has nonempty and decomposable values. Moreover, from Theorem 3 of [39] \(R_{\varepsilon}(\cdot)\) is LSC. Therefore \(u\rightarrow\overline{R_{\varepsilon}(u)}\) is LSC where \(\overline{R_{\varepsilon}(u)}\) is the closed hull of \(R_{\varepsilon}(u)\), and has closed and decomposable values. Thus in view of Lemma 2.2 there exists a continuous map \(f_{\varepsilon}:\widehat{Q}\rightarrow L^{p}(\Omega)\) such that \(f_{\varepsilon}(u)\in\overline{R_{\varepsilon}(u)}\) for all \(u\in \widehat{Q}\). Now invoking the Relaxation Theorem in [40], we can find a continuous map \(g_{\varepsilon}:\widehat{Q}\rightarrow L^{p}(\Omega)\) such that \(g_{\varepsilon}(u)(x)\in \operatorname{ext} H(x,u,\nabla u,\Delta u)\) almost everywhere on Ω, and \(\f_{\varepsilon}(u)g_{\varepsilon}(u)\_{p}\leq\varepsilon\) for all \(u\in\widehat{Q}\).
Next let \(\varepsilon=\frac{1}{n}\), \(g_{\varepsilon}=g_{n}\), \(f_{\varepsilon}=f_{n}\), and consider the following biharmonic boundary value problem:
It is easy to see that \(L^{1}\circ g_{n}:\widehat{Q}\rightarrow\widehat{Q}\) is a compact operator, and hence by the Schauder fixed point theorem, there exists a solution \(u_{n}\in W_{p}(\Omega)\) of (4.4). It is clear that \(\{u_{n}\}_{n\geq1}\subseteq\widehat{Q}\) and \(\{u_{n}\}_{n\geq1}\) is uniformly bounded. Thus on passing to a subsequence if necessary, we may assume that \(u_{n}\rightarrow\hat{u}\) weakly in \(W_{p}(\Omega)\). From an earlier argument, we know that \(u_{n}\rightarrow\hat{u}\) in \(C(\overline{\Omega})\) as \(n\rightarrow+\infty\), and hence
and
Since \(u_{n}u_{g}\in W_{p}(\Omega)\), the embedding \(W_{0}^{2,p}(\Omega)\subseteq W_{0}^{2,2}(\Omega)\) is continuous when \(p\geq2\). Thus
and
Now since
it follows that
as \(n\rightarrow\infty\). Also, we have
as \(n\rightarrow\infty\). Hence, from (4.5), (4.6), and (4.7), we find
Finally since \(\frac{1}{\lambda}>\alpha\), it follows that \(u_{g}=\hat{u}\), i.e., \(u_{n}\rightarrow u_{g}\) and \(u_{n}\in S_{e}\) for \(n\geq1\), and hence \(S\subseteq\overline{S}_{e}\). Also, S is closed in \(C(\overline{\Omega})\) (see the proof of Theorem 3.2), and thus \(S=\overline{S}_{e}^{C(\overline{\Omega})}\). □
5 Properties of the solutions set
In this section, keeping our above hypotheses on the orientor field \(H(x,u,s)\), we will establish the topological regularity of the solution set S for the following biharmonic problem:
Remark 5.1
The results obtained above for the problem (1.1) hold for the partial differential inclusion (5.1).
From Theorem 3.1, it is easy to show that for every \(f\in H(x,u,\nabla u)\subseteq L^{p}(\Omega)\), problem (5.1) has at least one weak solution \(u=L^{1}(f)\in W_{p}(\Omega )\) and \(\u\_{W}\leq C\f\_{p}\), where C is a constant independent of u and f. Let \(L^{p}(\Omega)_{w}\) denote the LebesgueBochner space furnished with the weak topology. From the proof of Theorem 3.1, it follows that the map \(P=L^{1}:L^{p}(\Omega )_{w}\rightarrow W_{p}(\Omega)\) is sequentially continuous.
Remark 5.2
Since the embedding of \(W_{p}(\Omega)\hookrightarrow C^{1}(\overline{\Omega})\) is compact when \(p\geq N\), \(P:L^{p}(\Omega)_{w}\rightarrow C^{1}(\overline{\Omega})\) is completely continuous.
Next we introduce the following hypothesis:
 \(H(F)_{4}\)::

\(H:\Omega\times R\times R^{N} \rightarrow{\mathcal{P}}_{kc}(R)\) is a multifunction satisfying the following properties:

(i)
\((x,s,t)\rightarrow H(x,s,t)\) is graph measurable.

(ii)
For almost all \(x\in\Omega\), \((s,t)\rightarrow H(x,s,t)\) is USC.

(iii)
For every \((s,t)\in R\times R^{N}\), there exist \(\xi_{0}(x)\in L^{p}(\Omega)\), \(\xi_{1}(x)\in L^{\frac{p}{1\gamma}}(\Omega)\), \(\xi_{2}(x)\in L^{\frac{p}{1\eta}}(\Omega)\), such that
$$\bigl\vert H(x,s,t)\bigr\vert =\sup\bigl\{ v:v\in H(x,s,t)\bigr\} \leq \xi_{0}(x)+\xi_{1}(x)u^{\gamma}+\xi_{2}(x)s^{\eta}$$for a.e. \(x\in\Omega\), where \(0\leq\gamma, \eta<1\).

(i)
Theorem 5.1
If hypothesis \(H(F)_{4}\) holds and \(p\geq N\), then the solution set S of problem (5.1) is an \(R_{\delta}\) set in \(C(\overline{\Omega})\).
Proof
Similar reasoning as in the proof of Theorem 3.1, for almost all \(x\in\Omega\), all \(u\in S\), and all \(v\in H(x,u,\nabla u)\), we may assume that \(v\leq a(x)\) where \(a(x)\in L_{+}^{p}(\Omega)\). From Lemma 2.4, we obtain a sequence of multifunctions \(H_{n} : \Omega\times R\times R^{N}\rightarrow{\mathcal{P}}_{fc}(R)\). For every \(n\geq1\), consider the following biharmonic problem of the partial differential inclusion:
Now from the proof of Theorem 3.2 and Remark 5.2, we find that problem (5.2) has a nonempty solution set \(S_{n}\subseteq W_{p}(\Omega)\) which is compact in \(C(\overline{\Omega})\).
First, we prove that the set \(S_{n}\) is contractible. Let \(g_{n}(x,u,\nabla u)\) be locally Lipschitz with respect to u, measurable selector of \(H_{n}(x,u,\nabla u)\) postulated from Lemma 2.4. Let \(d=\operatorname{dist}(\Omega',\partial\Omega)\) where \(\operatorname{dist}(\Omega',\partial\Omega)\) denotes the distance from \(\Omega'\) to ∂Ω and \(\Omega'\subseteq\Omega\), then \(d\in I:=[0,\tau]\) where \(\tau=\max_{x\in\Omega}\{\operatorname{dist}(x,\partial\Omega)\}\). Let
For \(\delta\in[0,\tau]\), given \(z\in S_{n}\), there exists a \(g_{n}\in H_{n}(x,u,\nabla u)\) such that \(z=P(g_{n})\). For each \(u\in S_{n}\), let \(z_{u}(\delta)(x)\in W_{p}(\Omega)\) be the unique solution of
Define \(\mu:I\times S_{n}\rightarrow S_{n}\) by
Evidently \(\mu(0,u)=z\), and \(\mu(\tau,u)=u\) for every \(u\in S_{n}\). In the following we show that \(\mu(\delta,u)\in S_{n}(u)\) for each \((\delta,u)\in I\times S_{n}\). Note that for each \(u\in S_{n}(u)\) there exists \(f_{n}\in H_{n}(x,u,\nabla u)\), such that \(u=P(f_{n})\). Set \(\overline{g}_{n}(x)=f_{n}\chi_{[0,\delta]}(x)+g_{n}\chi_{(\delta,\tau]}(x)\) for each \(x\in\Omega\) where χ is the characteristic function. It is easy to see that \(\overline{g}_{n}(x)\in H_{n}(x,u,\nabla u)\). Thus \(P(\overline{g}_{n})=u(x)\) for all \(\Omega\setminus{\Omega_{\delta}}\), \(P(\overline{g}_{n})=z_{u}(x)\) for all \(x\in\Omega_{\delta}\), which implies that \(P(\overline{g}_{n})=\mu(\delta,u)(x)\), and thus \(\mu(\delta ,u)(x)\in S_{n}\). In order to prove that \(S_{n}\) is contractible in \(C(\overline{\Omega})\), we only need to show that \(\mu(\delta,u)\) is continuous in \(I\times C(\overline{\Omega})\). To this aim, we let \((\delta_{m},u_{m})\rightarrow(\delta,u)\) in \(I\times S_{n}\), and consider the following two distinct cases.
Case 1: \(\delta_{m}\geq\delta\) for every \(m\geq1\), and then \(\Omega_{\delta_{m}}\subseteq\Omega_{\delta}\). Let \(v_{m}(x)=\mu(\delta_{m},u_{m})(x)\), \(x\in\Omega\). Evidently, \(v_{m}(x)\in S_{n}\), \(m\geq1\), and hence passing to a subsequence if necessary, we may assume that \(v_{m}\rightarrow v\) in \(C(\overline{\Omega})\) as \(m\rightarrow\infty\). Clearly, \(v(x)=u(x)\) for a.e. \(\Omega\setminus\Omega_{\delta}\). Also let \(w\in W_{p}(\Omega)\) be the unique solution of
Let \(N\geq1\), \(m\geq N\), then for m large enough \(v_{m}(\cdot)\) satisfies \(\Delta^{2} v_{m}=g_{n}(x,v_{m},\nabla v_{m})\) a.e. on \(\Omega _{\delta_{m}}\), and \(v_{m}=u_{m}\), \(\frac{\partial v_{m}}{\partial n}=\frac{\partial u_{m}}{\partial n}\) on \(\partial\Omega_{\delta_{m}}\). From (5.5) and \(\Omega_{\delta_{m}}\subseteq\Omega_{\delta}\), we have
From \((\delta_{m},u_{m})\rightarrow(\delta,u)\), we have
as \(m\rightarrow\infty\). Passing to the limit in (5.6) as \(m\rightarrow\infty\), and recalling that \(\delta_{m}\rightarrow\delta\), \(v_{m}\rightarrow v\) in \(S_{n}\), we get
Clearly, \(vw=0\) a.e. on \(\Omega_{\delta}\). Thus \(v(x)=w(x)\) for every \(x\in\Omega_{\delta}\). Hence, from (5.6) we obtain
Therefore \(v=\mu(\delta,u)\), and we can conclude that \(\mu(\delta _{m},u_{m})\rightarrow\mu(\delta,u)\) in \(I\times C(\overline{\Omega})\).
Case 2: \(\delta_{m}\leq\delta\) for every \(m\geq1\), and then \(\Omega_{\delta}\subseteq\Omega_{\delta_{m}}\). Keeping the notation used in Case 1, from \((\delta_{m},u_{m})\rightarrow(\delta,u)\), we find \(u_{m}_{\partial\Omega_{\delta_{m}}}\rightarrow u_{\partial\Omega_{\delta}}\), \(\frac{\partial u_{m}}{\partial n}_{\partial\Omega_{\delta_{m}}}\rightarrow\frac{\partial u}{\partial n}_{\partial\Omega_{\delta}}\) as \(m\rightarrow\infty\). Hence, \(v_{m}\rightarrow v\), in \(C^{1}(\overline{\Omega})\) and \(v(x)=u(x)\) for a.e. \(\Omega\setminus\Omega_{\delta}\). Also using the same argument as in Case 1, we have
From \(v_{m}\rightarrow v\) in \(C^{1}(\overline{\Omega})\), \(\nabla v_{m}\rightarrow\nabla v\) in \(C(\overline{\Omega})\), and \(g_{n}(x,u,\nabla u)\) is locally Lipschitz continuous in u, it follows that \(g_{n}(x,v_{m},\nabla v_{m})\rightarrow g_{n}(x,v,\nabla v)\) as \(m\rightarrow\infty\). Thus
for \(m\rightarrow\infty\). Now since \(v=u\) and \(\frac{\partial v}{\partial n}=\frac{\partial u}{\partial n}\) on \(\partial\Omega _{\delta}\), we have \(w=v\), i.e., \(v_{m}\rightarrow v\) in \(C(\overline{\Omega})\). Hence, \(v=\mu(\delta,u)\), and thus \(\mu(\delta_{m},u_{m})\rightarrow \mu(\delta,u)\) as \(m\rightarrow\infty\).
In general we can always get a subsequence of \(\{\delta_{m}\}_{m\geq1}\) satisfying either Case 1 or Case 2. Thus in conclusion, \(\mu(\delta,u)\) is continuous, and hence for every \(n\geq1\), \(S_{n}\subseteq C(\overline{\Omega}) \) is compact and contractible.
Next we claim that \(S=\bigcap_{n\geq1}S_{n}\). Obviously, \(S\subseteq\bigcap_{n\geq1}S_{n}\). Let \(u\in\bigcap_{n\geq1}S_{n}\). Then from definition \(u=P(v_{n})\), \(v_{n}\in S^{p}_{H_{n}(\cdot, u_{n},\nabla u_{n})}\) for some \(n\geq1\). On passing to a subsequence if necessary we may assume that \(v_{n}\rightarrow v\) weakly in \(L^{p}(\Omega)\). Then \(v\in S^{p}_{H(\cdot, u,\nabla u)}\) (see Theorem 3.2). Thus \(u=P(v)\) with \(v\in S^{p}_{H_{n}(\cdot, u,\nabla u)}\), from which we can conclude that \(u\in S\) i.e., \(S=\bigcap_{n\geq1}S_{n}\). Finally from Hyman’s result [41] we see that S is an \(R_{\delta}\) set in \(C(\overline{\Omega})\). □
The following remark is given as an immediate consequence of Theorem 5.1 for the multivalued problem (5.1).
Remark 5.3
If hypothesis \(H(F)_{4}\) holds, then for every \(x\in\Omega\), \(S(x)=\{u(x)u\in S\}\) (the reachable set at \(x\in\Omega\)) is compact and connected in R.
When \(H(x,u,\nabla u)\) has nonconvex values, an analogous result for the topological structure can be obtained if we modify our hypothesis on the continuity of \(H(x,u,\nabla u)\). Therefore, in this case we can prove that the solution set is pathconnected. In our next result we prove that the solution set of (5.1) is pathconnected under the following assumption:
 \(H(F)_{5}\)::

\(H:\Omega\times R\times R^{N}\rightarrow {\mathcal{P}}_{k}(R)\) is a multifunction such that for almost all \(x\in \Omega\), \((u,s)\rightarrow H(x,u,s)\) is LSC, and \(H(F)_{4}\)(i), (iii) holds.
Theorem 5.2
If hypothesis \(H(F)_{5}\) holds and there exists a function \(b(x)\in L^{\infty}_{+}(\Omega)\), such that
where \({C}\b\_{\infty}<1\) with C in (3.3), then \(S\subseteq C(\overline{\Omega})\) is nonempty and pathconnected.
Proof
As in Theorem 3.1, a priori estimates for the problem (5.1) can be obtained easily. Thus we may assume that \(H(x,u,\nabla u)\leq a(x)\) a.e. Ω with \(a(x)\in L_{+}^{p}(\Omega)\) for all \(u\in S\). Let
and consider the multifunction \(N:O_{\alpha}\rightarrow{\mathcal{P}}_{f}(L^{p}(\Omega))\) defined by \(N(g)=S^{p}_{H(\cdot,P(g),\nabla P(g))}\) (here \(P(g)\) is the solution map as before). Let \(f,g\in O_{\alpha}\) and let \(v\in N(g)\). Let \(\varepsilon >0\) and define
Set \(\chi(x,u)= d(v(x),H(x,P(f),\nabla P(f)))v(x)u(x)+\varepsilon \). Clearly, for every \(x\in\Omega\), \(D_{\varepsilon }(x)\neq\emptyset\) and \(\operatorname{Gr}D_{\varepsilon }=\{(x,u)\in \operatorname{Gr}H(\cdot,P(f),\nabla P(f)):0\leq \chi(x,u)\}\). By \(H(F)_{5}\), \((x,u,s)\rightarrow H(x,u,s)\) is measurable, thus \(x\rightarrow H(x,P(f),\nabla P(f))\) is measurable. Since \((x,u)\rightarrow\chi(x,u)\) is a Carathéodory function, it is jointly measurable. Hence, \(\operatorname{Gr}D_{\varepsilon }\in\Sigma\times B(R)\). Applying Aumann’s selection theorem we find \(u: \Omega\rightarrow R\) measurable and \(u(x)\in D_{\varepsilon }(x)\) a.e. on Ω. Thus it follows that
As \(\varepsilon \rightarrow0\), we find \(d(v,N(f))\leq\b\_{\infty}C\ f(x)g(x)\_{p}\). Exchanging the roles of f and g we also have \(d(u,N(g))\leq\b\_{\infty}C\f(x)g(x)\_{p}\). Thus \(h(N(f),N(g))\leq\b\_{\infty}C\f(x)g(x)\_{p}\) with \(\b\_{\infty}C<1\). Let \(\Theta:=\{g\in O_{\alpha}:g\in N(g)\}\). By Nadler’s fixed point theorem [42] we find that \(\Theta\neq\emptyset\) and from [43] we know that 0 is an absolute retract in \(L^{p}(\Omega)\). Since an absolute retract is pathconnected, Θ is pathconnected. Thus \(P(\Theta)\) is pathconnected in \(C(\overline{\Omega})\). Since \(P(\Theta)=S\), we see that S is nonempty and pathconnected in \(C(\overline{\Omega})\). This completes the proof. □
References
Lions, JL, Magenes, E: Problemi ai limiti non homogenei (III). Ann. Sc. Norm. Super. Pisa, Cl. Sci. 15, 41103 (1961)
Lions, JL, Magenes, E: Problemi ai limiti non homogenei (V). Ann. Sc. Norm. Super. Pisa, Cl. Sci. 16, 144 (1962)
Mozolevski, I, Süli, E: A priori error analysis for the hpversion of the discontinuous Galerkin finite element method for the biharmonic equation. Comput. Methods Appl. Math. 4, 596607 (2003)
Mozolevski, I, Süli, E, Bösing, P: hpVersion of a priori error analysis of interior penalty discontinuous Galerkin finite element approximations to the biharmonic equation. J. Sci. Comput. 30, 465491 (2007)
Amrouche, C, Fontes, M: Biharmonic problem in exterior domains of \(R^{n}\): an approach with weighted Sobolev spaces. J. Math. Anal. Appl. 304, 552571 (2005)
Amrouche, C, Raudin, Y: The biharmonic problem in the halfspace with traces in weighted Sobolev spaces. C. R. Acad. Sci. Paris, Sér. I 344, 553558 (2007)
Amrouche, C, Raudin, Y: Nonhomogeneous biharmonic problem in the halfspace, \(L^{p}\) theory and generalized solutions. J. Differ. Equ. 236, 5781 (2007)
Carl, S, Heikkilä, S: On extremal solutions of an elliptic boundary value problem involving discontinuous nonlinearities. Differ. Integral Equ. 5, 581589 (1992)
Carl, S, Heikkilä, S: Existence of solutions for discontinuous functional equations and elliptic boundaryvalue problems. Electron. J. Differ. Equ. 2002, 61 (2002)
Chang, KC: The obstacle problem and partial differential equations with discontinuous nonlinearities. Commun. Pure Appl. Math. 33, 117146 (1980)
Chang, KC: Variational methods for nondifferentiable functionals and their applications to partial differential equations. J. Math. Anal. Appl. 80, 102129 (1981)
Marano, SA: Implicit elliptic boundaryvalue problems with discontinuous nonlinearities. SetValued Anal. 4, 287300 (1996)
Marano, SA: Elliptic eigenvalue problems with highly discontinuous nonlinearities. Proc. Am. Math. Soc. 125, 29532961 (1997)
Xue, X, Cheng, Y: Existence of periodic solutions of nonlinear evolution inclusions in Banach spaces. Nonlinear Anal., Real World Appl. 11, 459471 (2010)
Xue, X, Yu, J: Periodic solutions for semilinear evolution inclusions. J. Math. Anal. Appl. 331, 12461262 (2007)
Cheng, Y, Cong, F, Xue, X: Boundary value problems of a class of nonlinear partial differential inclusions. Nonlinear Anal., Real World Appl. 12, 30953102 (2011)
Papageorgiou, NS, Yannakakis, N: Second order nonlinear evolution inclusions I: existence and relaxation results. Acta Math. Sin. 21, 977996 (2005)
Papageorgiou, EH, Papageorgiou, NS: Nonlinear boundary value problems involving the pLaplacian and pLaplacianlike operators. J. Anal. Appl. 24, 691707 (2005)
Kyritsi, S, Matzakos, N, Papageorgiou, NS: Periodic problems for strongly nonlinear secondorder differential inclusions. J. Differ. Equ. 183, 279302 (2002)
Qin, S, Xue, X: Periodic solutions for nonlinear differential inclusions with multivalued perturbations. J. Math. Anal. Appl. 424, 9881005 (2015)
De Blasi, FS, Pianigiani, G: Baire category and boundary value problems for ordinary and partial differential inclusions under Carathéodory assumptions. J. Differ. Equ. 243, 558577 (2007)
Himmelberg, CJ, Van Vleck, FS: A note on the solution sets of differential inclusions. Rocky Mt. J. Math. 12, 621626 (1982)
Bothe, D: Multivalued perturbations of maccretive differential inclusions. Isr. J. Math. 108(1), 109138 (1998)
Andres, J, Pavlackova, M: Topological structure of solution sets to asymptotic boundary value problems. J. Differ. Equ. 248, 127150 (2010)
Gabor, G, Grudzka, A: Structure of the solution set to impulsive functional differential inclusions on the halfline. NoDEA Nonlinear Differ. Equ. Appl. 19, 609627 (2012)
Chen, D, Wang, R, Zhou, Y: Nonlinear evolution inclusions: topological characterizations of solution sets and applications. J. Funct. Anal. 265, 20392073 (2013)
Bakowska, A, Gabor, G: Topological structure of solution sets to differential problems in Fréchet spaces. Ann. Pol. Math. 95, 1736 (2009)
O’Regan, D: Topological structure of solution sets in Fréchet spaces: the projective limit approach. J. Math. Anal. Appl. 324, 13701380 (2006)
Papageorgiou, NS, Shahzad, N: Properties of the solution set of nonlinear evolution inclusions. Appl. Math. Optim. 36, 120 (1997)
Papageorgiou, NS, Yannakakis, N: Second order nonlinear evolution inclusions II: structure of the solution set. Acta Math. Sin. 22, 195206 (2006)
Hu, S, Papageorgiou, NS: Handbook of Multivalued Analysis. Volume I: Theory. Kluwer Academic, Dordrecht (1997)
Agarwal, RP, O’Regan, D, Liu, X: A LeraySchauder alternative for weaklystrongly sequentially continuous weakly compact maps. Fixed Point Theory Appl. 2005(1), 110 (2005)
Bressan, A, Colombo, G: Extensions and selection of maps with decomposable values. Stud. Math. 90, 6986 (1988)
Tolstonogov, AA: Continuous selectors of multivalued maps with closed, nonconvex, decomposable values. Russ. Acad. Sci. Sb. Math. 187, 121142 (1996)
De Blasi, FS, Pianigiani, G: Hausdorff measurable multifunctions. J. Math. Anal. Appl. 228, 115 (1998)
Griffel, DH: Applied Functional Analysis. Dover, New York (2002)
Papageorgiou, NS: Convergence theorems for Banach space valued integrable multifunctions. Int. J. Math. Sci. 10, 433442 (1987)
Donchev, T, Farkhi, E: Stability and Euler approximation of onesided Lipschitz differential inclusions. SIAM J. Control Optim. 136, 780796 (1998)
Donchev, T: Qualitative properties of a class of differential inclusions. Glas. Mat. 31, 269276 (1996)
Tolstonogov, AA: Existence and relaxation theorems for extreme continuous selectors of multifunctions with decomposable values. Topol. Appl. 155, 898905 (2008)
Hyman, DM: On decreasing sequences of compact absolute retracts. Fundam. Math. 64, 9197 (1969)
Nadler, S: Multivalued contraction mappings. Pac. J. Math. 30, 475488 (1969)
Bressan, A, Cellina, A, Fryszkowski, A: A class of absolute retracts in spaces of integrable functions. Proc. Am. Math. Soc. 112, 413418 (1991)
Acknowledgements
This work is partially supported by National Natural Science Foundation of China (No. 11401042).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors read and approved the final manuscript. Each of the authors YC, RPA, ABA, and DO contributed to each part of this work equally and read and approved the final version of the 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
Cheng, Y., Agarwal, R.P., Ben Amar, A. et al. Structure of the solution set for a partial differential inclusion. Adv Differ Equ 2015, 380 (2015). https://doi.org/10.1186/s1366201507230
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201507230
MSC
 34B15
 34B16
 37J40
Keywords
 biharmonic problem
 differential inclusion
 setvalued mapping
 pathconnected
 compact \(R_{\delta}\)