Skip to content
• Research
• Open Access

# Stability analysis for optimal control problems governed by semilinear evolution equation

Advances in Difference Equations20152015:103

https://doi.org/10.1186/s13662-015-0443-5

• Received: 15 October 2014
• Accepted: 16 March 2015
• Published:

## Abstract

In this paper, the stability of solutions of optimal control for the distributed parameter system governed by a semilinear evolution equation with compact control set in the space $$L^{1}(0,T;E)$$ is discussed. The stability results for optimal control problems with respect to the right-hand side functions are obtained by the theory of set-valued mapping and the definition of essential solutions for optimal control problems.

## Keywords

• optimal control
• stability
• semilinear evolution equation
• $$C_{0}$$-semigroup
• set-valued mapping

## 1 Introduction

The stability analysis of systems governed by differential equations in modern mathematics is very important for practical applications (see [1, 2]), especially in numerical computation (see [3, 4]).

In recent years, there has been growing interest in stability analysis of optimal control problems for the ODE system or PDE system (see [5, 6]). But most of the results are based on the existence and uniqueness of an optimal control for problems, there are only a small number of articles discussing a stability analysis for optimal control problems without the uniqueness in view of set-valued analysis. In recent years, Yu et al. discussed the stability of optimal controls with respect to the right-hand side function based on set-valued mapping (see ). But all results are established under the control admissible set $$\mathcal{U} [0,T]$$ assumed as the compact set of $$C([0,T];R^{m})$$ in the optimal control problem for an ODE system. Moreover, we have done some work concerning the control admissible set $$\mathcal{U} [0,T]$$ assumed as the compact set of $$L^{1}(0,T;R^{m})$$ in order to include many cases of practical situations (see ). Therefore, it is natural for us to ask whether these results are still valid for infinite dimensional controlled systems.

This paper studies the existence and stability properties of solutions of optimal control problems governed by a semilinear evolution equation, and it is stated as follows.

Problem (P): Given $$T>0$$, $$\hat{y}(\cdot)\in L^{2}(0,T;X)$$, $$y_{0}\in X$$, and $$y_{T}\in X$$, find an optimal control $$\bar{u}\in \mathcal{U}[0,T]$$ such that
$$J (\bar{u} )\leq J (u )\quad \mbox{for all } u\in\mathcal{U}[0,T],$$
(1)
where
$$J (u )=\bigl\Vert y(T)-y_{T}\bigr\Vert ^{2}_{X}+ \int_{0}^{T} \bigl\Vert y(t)-\hat{y}(t)\bigr\Vert ^{2}_{X}\, dt$$
(2)
subject to
$$\left \{ \begin{array}{l} \dot{y}(t)=Ay(t)+f (t,y(t),u(t) ),\quad t\in[0,T], \\ y(0)=y_{0}, \end{array} \right .$$
(3)
where A is infinitesimal generator of $$C_{0}$$-semigroup on a Banach space X, the set of admissible controls in the space $$L^{1}(0,T;E)$$ is defined by
$$\mathcal{U} [0,T]=\bigl\{ u \mid u(t) \mbox{ is measurable w.r.t. } t, u(t) \in U \subset E \bigr\} ,$$
(4)
where E is another separable reflexive Banach space from which the controls u take values.

The paper is organized as follows. In Section 2, we give some properties of $$C_{0}$$-semigroup and some results as regards compact sets. In Section 3, the existence of an optimal control is obtained. In Section 4, for the reader’s convenience, the set-valued mapping theory is recalled, then we show stability results for the optimal control problem in the sense of the Baire category. In the last section, some examples demonstrate the applicability of our results.

## 2 Preliminaries

Throughout the paper, constants $$1\leq p <+\infty$$ and $$T>0$$ are given. Let X be a Banach space and $$e^{At}$$ the $$C_{0}$$-semigroup generated by a linear operator A. In this section, we recall some related results about semigroups and compact sets from [9, 10] and  which will be used in this paper.

### Proposition 2.1

()

There exist constants $$\omega\geq0$$ and $$M\geq1$$ such that
$$\bigl\Vert e^{At}\bigr\Vert \leq Me^{\omega t}\quad \textit{for } 0\leq t< +\infty.$$
Denote $$L^{p}(0,T;X)$$ the space of measurable functions from $$[0,T]$$ into X equipped with the norm
$$\|y\|_{L^{p}(0,T;X)}= \biggl(\int_{0}^{T}\bigl\Vert y(t)\bigr\Vert _{X}^{p}\, dt \biggr)^{\frac{1}{p}},$$
and $$C([0,T];X)$$ the space of continuous functions from $$[0,T]$$ into X equipped with the norm
$$\|y\|_{C([0,T];X)}=\sup_{t\in[0,T]}\bigl\Vert y(t)\bigr\Vert _{X}.$$

### Lemma 2.2

()

A set V is called totally bounded if for every $$\epsilon>0$$, there exist some $$\delta>0$$, a metric space W, and a mapping $$\Psi: V\rightarrow W$$ such that $$\Psi(V)$$ is totally bounded, and $$d(x,y)<\epsilon$$ if $$d(\Psi(x),\Psi(y))<\delta$$ whenever $$x,y\in V$$.

Denote $$(\tau_{h}u)(t)=u(t+h)$$ for $$h>0$$, the compactness of $$L^{p}(0,T;X)$$ is recalled as follows.

### Lemma 2.3

()

Suppose that S is a subset of $$L^{p}(0,T;X)$$. S is relatively compact in $$L^{p}(0,T;X)$$ if and only if:
1. (1)

The set $$\{\int_{t_{1}}^{t_{2}}u(t)\, dt \mid u\in S \}$$ is relatively compact in X, for any $$0< t_{1}<t_{2}<T$$.

2. (2)

The limit $$\|\tau_{h}u-u\|_{L^{p}(0,T-h;X)}\rightarrow0$$ as $$h\rightarrow0$$, uniformly for $$u\in S$$.

Now we consider the compactness of the admissible set (4).

### Proposition 2.4

Suppose that $$U\subseteq E$$ is compact and $$\|\tau_{h}u-u\| _{L^{1}(0,T-h;E)}\rightarrow0$$ as $$h\rightarrow0$$ uniformly for $$u\in \mathcal{U}[0,T]$$. Then $$\mathcal{U}[0,T]$$ is compact in $$L^{1}(0,T; E)$$.

### Proof

It follows from the compactness of $$U \subseteq E$$ that there exists a constant $$M>0$$ such that
$$\|\omega\|_{E}\leq M\quad \mbox{for all } \omega\in U,$$
(5)
hence for any $$0< t_{1}<t_{2}<T$$, we get
$$\biggl\Vert \int_{t_{1}}^{t_{2}}u(t)\, dt\biggr\Vert _{E}\leq\int_{t_{1}}^{t_{2}}\bigl\Vert u(t) \bigr\Vert _{E}\, dt \leq \int_{0}^{T} \bigl\Vert u(t)\bigr\Vert _{E}\, dt\leq\int_{0}^{T}M \, dt\leq TM$$
for all $$u\in\mathcal{U}[0,T]$$, this implies that $$\int_{t_{1}}^{t_{2}}\| u(t)\|_{E} \, dt$$ is bounded in $$R^{1}$$, so the set $$\{\int_{t_{1}}^{t_{2}}\| u(t)\|_{E}\, dt \mid u\in\mathcal{U}[0,T] \}$$ is relatively compact in $$R^{1}$$. Since $$\int_{t_{1}}^{t_{2}}u(t)\, dt\in E$$, by the Hahn-Banach theorem, there exists a bounded linear functional $$P\in E^{*}$$ such that
$$\|P\|=1,\qquad P(u)=\|u\|_{E}.$$
By the continuity and linearity of P, we have
$$P\biggl(\int_{t_{1}}^{t_{2}}\bigl(u_{1}(t)-u_{2}(t) \bigr)\,dt\biggr)=\int_{t_{1}}^{t_{2}}P \bigl(u_{1}(t)-u_{2}(t)\bigr)\,dt =\int_{t_{1}}^{t_{2}} \bigl\Vert u_{1}(t)-u_{2}(t)\bigr\Vert _{E}\,dt$$
and
\begin{aligned} \biggl\Vert \int_{t_{1}}^{t_{2}}(u_{1}-u_{2}) \,dt\biggr\Vert _{E} &\leq\int_{t_{1}}^{t_{2}} \|u_{1}-u_{2}\| _{E}\,dt \\ & =\int_{t_{1}}^{t_{2}}P\bigl(u_{1}(t)-u_{2}(t) \bigr)\,dt \\ & =P\biggl(\int_{t_{1}}^{t_{2}}\bigl(u_{1}(t)-u_{2}(t) \bigr)\,dt\biggr), \end{aligned}
namely,
$$\biggl\Vert \int_{t_{1}}^{t_{2}}u_{1}(t) \,dt-\int_{t_{1}}^{t_{2}}u_{2}(t)\,dt\biggr\Vert _{E} \leq \biggl\vert P\biggl(\int_{t_{1}}^{t_{2}}u_{1}(t) \,dt\biggr)-P\biggl(\int_{t_{1}}^{t_{2}}u_{2}(t) \,dt\biggr)\biggr\vert .$$
(6)
Due to $$\{\int_{t_{1}}^{t_{2}}\|u(t)\|_{E}\,dt \mid u\in\mathcal{U}[0,T] \}= \{P(\int_{t_{1}}^{t_{2}}u(t)\,dt) \mid u\in\mathcal{U}[0,T] \}$$ is relatively compact in $$R^{1}$$ and inequality (6), by Lemma 2.2, we see that $$\{\int_{t_{1}}^{t_{2}}u(t)\,dt \mid u\in\mathcal {U}[0,T] \}$$ is relatively compact in E, for any $$0< t_{1}<t_{2}<T$$.

To this end, by Lemma 2.3, $$\mathcal{U}[0,T]$$ is relatively compact in $$L^{1}(0,T; E)$$. We only need next to prove that $$\mathcal {U}[0,T]$$ is closed.

If $$\{u_{n}\}\subseteq\mathcal{U}[0,T]$$ and $$u_{n}\rightarrow u$$ in $$L^{1}(0,T; E)$$, namely,
$$\int_{0}^{T}\bigl\Vert u_{n}(t)-u(t) \bigr\Vert _{E}\,dt\rightarrow0,$$
then $$\|u(t)\|_{E}$$ is measurable in $$[0,T]$$ and there exists a subsequence of $$\{u_{n}\}$$, denoted by $$\{u_{n_{k}}\}$$, such that
$$\bigl\Vert u_{n_{k}}(t)-u(t)\bigr\Vert _{E} \rightarrow0 \quad \mbox{a.e. } t\in[0,T] \mbox{ as } k\rightarrow+\infty,$$
i.e., $$\|u_{n_{k}}(t)-u(t)\|_{E}\rightarrow0$$ for all $$t\in A$$, where A is some subset of $$[0,T]$$ and $$\mu([0,T]\backslash A)=0$$.
Since U is compact, for any fixed $$t\in A$$ and $$u_{n_{k}}(t)\in U$$, there exists $$u(t)\in U$$ such that
$$u_{n_{k}}(t)\rightarrow u(t) \quad \text{in } E \mbox{ as } k\rightarrow +\infty.$$
Without loss of generality, we define
$$\hat{u}(t) = \begin{cases} u(t), & t\in A, \\ u(t_{0}), & t\in[0,T]\backslash A, \end{cases}$$
(7)
where $$t_{0}$$ can be chosen by any point of A, then $$u(t)=\hat{u}(t)$$ a.e. $$t\in[0,T]$$. It is clear that $$\hat{u}(t)\in U$$ for all $$t\in[0,T]$$. u and $$\hat{u}$$ are equivalent in $$L^{1}(0,T; E)$$. Namely,
$$u_{n_{k}}\rightarrow\hat{u}\quad \mbox{in } L^{1}(0,T; E) \mbox{ as } k \rightarrow+\infty,$$
then $$\mathcal{U}[0,T]$$ is closed. From the above, we complete this proposition. □

We give an example of the compact set in $$L^{1}(0,T;E)$$ in the following.

### Example 2.1

Let $$u \in\mathcal{U}[0,T] \subset L^{1}(0,T;W^{1,p}(\Omega))$$. For any fixed $$x\in\Omega$$, $$u(t,x)$$ is a piecewise continuous with respect to t containing only a finite number of discontinuous points. $$S(x)=\{u(t,x) \mid t\in[0,T]\}$$, $$S(x)$$ is a bounded closed set in $$W^{1,p}(\Omega)$$, where Ω is a bounded open subset of $$R^{n}$$ and Ω is $$C^{1}$$. Then $$\mathcal{U}[0,T]$$ is compact in $$L^{1}(0,T; L^{p}(\Omega))$$.

### Proof

From the compact embedding theorem of , that is, $$W^{1,p}(\Omega)$$ is compactly embedded in $$L^{p}(\Omega)$$, written $$W^{1,p}(\Omega)\subset\subset L^{p}(\Omega)$$, since $$S(x)$$ is a bounded closed set in $$W^{1,p}(\Omega)$$, then $$S(x)$$ is compact in $$L^{p}(\Omega)$$.

Suppose that $$D=\{t_{1},\ldots, t_{N}\}\subset[0,T]$$ and $$t_{0}=0< t_{1}<t_{2}<\cdots<t_{N}<T=t_{N+1}$$. We define
$$\tilde{u}(t,x) = \begin{cases} u(t,x), & t\in[0,T] \backslash\{t_{1},\ldots,t_{N}\}, x\in\Omega, \\ u(t_{i}-0,x), & t=t_{i}, i=1,2,3,\ldots,N, x\in\Omega. \end{cases}$$
Without loss of generality, we may assume $$h>0$$, then
\begin{aligned}& \Vert \tau_{h}u-u\Vert _{L^{1}(0,T-h; L^{p}(\Omega))} \\& \quad =\int_{0}^{T-h}\bigl\Vert u(t+h)-u(t)\bigr\Vert _{L^{p}(\Omega)}\,dt \\& \quad =\sum_{i=1}^{N} \int _{t_{i-1}}^{t_{i}}\bigl\Vert u(t+h)-u(t)\bigr\Vert _{L^{p}(\Omega)}\,dt+ \int_{t_{N}}^{T-h}\bigl\Vert u(t+h)-u(t)\bigr\Vert _{L^{p}(\Omega)}\,dt \\& \quad =\sum_{i=1}^{N+1} \int _{t_{i-1}}^{t_{i}-h}\bigl\Vert \tilde{u}(t+h)-\tilde{u}(t) \bigr\Vert _{L^{p}(\Omega)}\,dt+ \sum_{i=1}^{N} \int_{t_{i}-h}^{t_{i}}\bigl\Vert \tilde{u}(t+h)- \tilde{u}(t) \bigr\Vert _{L^{p}(\Omega)}\,dt \\& \quad \leq\sum_{i=1}^{N+1} \int _{t_{i-1}}^{t_{i}-h}\bigl\Vert \tilde{u}(t+h)- \tilde{u}(t) \bigr\Vert _{L^{p}(\Omega)}\,dt+ 2MNh. \end{aligned}
It follows from the continuity of u in $$(t_{i-1},t_{i})$$ ($$i=1,2,3,\ldots,N+1$$) that, for any fixed $$h>0$$, $$\tilde{u}(\cdot)$$ is uniform continuous in $$[t_{i-1},t_{i}-h]$$ ($$i=1,2,3,\ldots,N+1$$). That is, for any $$t\in [t_{i-1},t_{i}-h]$$ and any $$\epsilon>0$$, there exists $$\delta_{i}>0$$ such that
$$\bigl\Vert \tilde{u}(t+h)-\tilde{u}(t)\bigr\Vert _{L^{p}(\Omega)}< \frac{\epsilon}{2TN}$$
holds whenever $$h<\delta_{i}$$. Let $$\delta=\min_{1\leq i\leq N+1}\delta_{i}$$, then when $$h<\delta$$, we have
$$\bigl\Vert \tilde{u}(t+h)-\tilde{u}(t)\bigr\Vert _{L^{p}(\Omega)}< \frac{\epsilon}{2TN}\quad \mbox{for all } t\in[0,T] \backslash\{t_{1}, \ldots,t_{N}\}.$$
Hence
$$\sum_{i=1}^{N+1} \int_{t_{i-1}}^{t_{i}-h} \bigl\Vert \tilde{u}(t+h)-\tilde{u}(t)\bigr\Vert _{L^{p}(\Omega )}\,dt\leq \frac{\epsilon}{2}.$$
If we take $$h<\min\{\delta,\frac{\epsilon}{4MN}\}$$, then
$$\|\tau_{h}u-u\|_{L^{1}(0,T-h; L^{p}(\Omega))} \leq \frac{\epsilon}{2} +2MNh \leq \frac{\epsilon}{2}+\frac{\epsilon}{2}=\epsilon.$$
By Proposition 2.4, $$\mathcal{U}[0,T]$$ is compact in $$L^{1}(0,T; L^{p}(\Omega))$$. □

## 3 Existence of optimal control

In order to study the optimal control problem (P), we assume that:
(H u ):
The set $$U\subseteq E$$ is compact, $$\mathcal{U}[0,T]\subset L^{1}(0,T;E)$$, and
$$\|\tau_{h}u-u\|_{L^{1}(0,T-h;E)}\rightarrow0 \quad \mbox{as }h \rightarrow0,$$
uniformly for $$u\in\mathcal{U}[0,T]$$.
(H f ):
The function $$f:[0,T]\times X \times U \rightarrow X$$ is continuous w.r.t. t and u. There exist a function $$L(t)>0$$ and constant $$C>0$$ such that
\begin{aligned}& \bigl\Vert f(t,x,u)-f(t,y,u)\bigr\Vert _{X}\leq L(t)\|x-y \|_{X}, \\& \bigl\Vert f(t,x,u)\bigr\Vert _{X}\leq C \end{aligned}
for all $$x,y\in X$$, $$t\in[0,T]$$, $$u\in U$$.
(H A ):

The operator $$A:D(A)\subseteq X\rightarrow X$$ generates a $$C_{0}$$-semigroup $$e^{At}$$ on X.

### Definition 3.1

For given $$u\in\mathcal{U}[0,T]$$, a function $$y:[0,T]\rightarrow X$$ is called a mild solution of (3) if $$y\in C([0,T];X)$$ satisfies
$$y(t)=e^{At}y_{0}+\int_{0}^{t} e^{A(t-s)}f\bigl(s,y(s),u(s)\bigr)\, ds,\quad t\in[0,T].$$
This solution is denoted by $$y(\cdot,u(\cdot))$$.

From Proposition 5.3 of , we have the following theorem.

### Theorem 3.1

Suppose assumptions (H f ), (H A ), and (H u ) hold. Then, for any $$u \in\mathcal{U}[0,T]$$, the Cauchy problem (3) has a unique mild solution $$y\in C([0,T];X)$$.

Moreover, we also have the following result.

### Theorem 3.2

Suppose assumptions (H f ), (H A ), and (H u ) hold. $$y\in C([0,T];X)$$ is the mild solution of system (3), then the map $$u(\cdot)\rightarrow y(\cdot,u(\cdot))$$ is continuous from $$L^{1}(0,T; E)$$ into $$C([0,T];X)$$.

### Proof

Suppose $$y_{k}(t)$$ and $$y(t)$$ are mild solutions of the system (3) with respect to $$u_{k}$$ and u, respectively. Then
$$y_{k}(t)=e^{At}y_{0}+\int_{0}^{t} e^{A(t-s)}f\bigl(s,y_{k}(s),u_{k}(s)\bigr)\, ds$$
and
$$y(t)=e^{At}y_{0}+\int_{0}^{t} e^{A(t-s)}f\bigl(s,y(s),u(s)\bigr)\, ds .$$
Since
$$u_{k}\rightarrow u\quad \mbox{in } L^{1}(0,T; E) \mbox{ as } k \rightarrow +\infty,$$
by the Chebyshev inequality of Theorem 2.5.3 in , we have
$$\bigl\Vert u_{k}(t)-u(t)\bigr\Vert _{E}\rightarrow0 \quad \text{for almost all }t\in[0,T] \mbox{ as } k \rightarrow+\infty,$$
and the function f is continuous w.r.t. u, it follows from Corollary 2.2.6 of  that
$$\bigl\Vert f(t,y,u_{k})-f(t,y,u)\bigr\Vert _{X} \rightarrow0 \quad \mbox{for almost all }t\in [0,T]\mbox{ as } k \rightarrow+ \infty,$$
and combining the Riesz Theorem 2.2.5(i) and Theorem 2.2.3 of , then for any subsequence $$\{u_{k'}\}$$ we can extract a further subsequence $$\{u_{k''}\}$$ such that
$$\bigl\Vert u_{k''}(t)-u(t)\bigr\Vert _{E}\rightarrow0 \quad \mbox{a.e. } t\in[0,T],$$
then
$$\bigl\Vert f\bigl(t,y(t),u_{k''}(t)\bigr)-f\bigl(t,y(t),u(t)\bigr) \bigr\Vert _{X}\rightarrow0 \quad \mbox{a.e. } t\in[0,T].$$
Also from Proposition 2.1, there exist constants $$\omega\geq 0$$ and $$M\geq1$$ such that
$$\bigl\Vert e^{At}\bigr\Vert \leq Me^{\omega t} \quad \mbox{for } 0\leq t\leq T.$$
(8)
Due to assumption (H f ) and the Lebesgue dominated convergence theorem, it follows that
$$\lim_{k''\rightarrow\infty}\int_{0}^{T} Me^{\omega T}\bigl\Vert f\bigl(s,y(s),u_{k''}(s)\bigr)-f \bigl(s,y(s),u(s)\bigr)\bigr\Vert _{X}\, ds=0.$$
(9)
Since the subsequence of $$\{u_{k'}\}$$ is arbitrary, we can conclude that
$$\lim_{k\rightarrow\infty}\int_{0}^{T} Me^{\omega T}\bigl\Vert f\bigl(s,y(s),u_{k}(s)\bigr)-f \bigl(s,y(s),u(s)\bigr)\bigr\Vert _{X}\, ds=0,$$
(10)
namely, for any $$\epsilon>0$$, there exists $$N>0$$ such that
$$\int_{0}^{T} Me^{\omega T}\bigl\Vert f \bigl(s,y(s),u_{k}(s)\bigr)-f\bigl(s,y(s),u(s)\bigr)\bigr\Vert _{X}\, ds\leq \epsilon$$
(11)
holds whenever $$k\geq N$$. So
\begin{aligned} \bigl\Vert y_{k}(t)-y(t)\bigr\Vert _{X} =&\biggl\Vert \int_{0}^{t} e^{A(t-s)}\bigl[f \bigl(s,y_{k}(s),u_{k}(s)\bigr)-f\bigl(s,y(s),u(s)\bigr) \bigr]\,ds \biggr\Vert _{X} \\ \leq&\int_{0}^{t} Me^{\omega T}\bigl\Vert \bigl[f\bigl(s,y_{k}(s),u_{k}(s)\bigr)-f \bigl(s,y(s),u_{k}(s)\bigr)\bigr]\bigr\Vert _{X}\,ds \\ &{} +\int_{0}^{T} Me^{\omega T}\bigl\Vert \bigl[f\bigl(s,y(s),u_{k}(s)\bigr)-f\bigl(s,y(s),u(s)\bigr)\bigr] \bigr\Vert _{X}\,ds \\ \leq& Me^{\omega T} \int_{0}^{t}L(t)\bigl\Vert y_{k}(t)-y(t)\bigr\Vert _{X}\,ds+\epsilon, \end{aligned}
(12)
and using the Gronwall inequality, we obtain
$$\bigl\Vert y_{k}(t)-y(t)\bigr\Vert _{X} \leq\epsilon e^{Me^{\omega T}\int _{0}^{t}L(s)\,ds}\leq\epsilon e^{MTe^{\omega T}\int_{0}^{T}L(s)\,ds}, \quad \forall t\in[0,T].$$
(13)
That is, $$y(\cdot,u_{k})\rightarrow y(\cdot,u)\in C([0,T];X)$$. □

From Proposition 2.4, we have the following lemma.

### Lemma 3.3

If assumption (H u ) holds, $$\mathcal{U}[0,T]$$ is compact in $$L^{1}(0,T; E)$$.

Now, we discuss the existence of an optimal control for problem (P).

### Theorem 3.4

Suppose assumptions (H u ), (H A ), and (H f ) hold, then problem (P) admits at least one optimal control.

### Proof

Assume that there exists a minimizing sequence of $$\{u_{k}\}\subseteq\mathcal{U}[0,T]$$ such that
$$\lim_{k\rightarrow\infty}J(u_{k})=\inf _{u\in\mathcal{U}[0,T]}J(u).$$
(14)
Since $$\mathcal{U}[0,T]$$ is compact, there exists a subsequence $$\{u_{k'}\}$$ of $$\{u_{k}\}$$ and $$\bar{u}\in \mathcal{U}[0,T]$$ such that
$$u_{k'}\rightarrow\bar{u} \quad \mbox{in } L^{1}(0,T;E) \mbox{ as } k'\rightarrow+\infty.$$
(15)
From Theorem 3.2 we have
$$y_{u_{k'}}(\cdot)\rightarrow y_{\bar{u}}(\cdot)\quad \mbox{in } C\bigl([0,T];X\bigr) \mbox{ as } k'\rightarrow+\infty,$$
(16)
where $$y_{u_{k'}}(\cdot,\cdot)$$ and $$y_{\bar{u}}(\cdot,\cdot)$$ are solutions of (3) with respect to $$u_{k'}$$ and $$\bar{u}$$, respectively. Hence
$$y_{u_{k'}}(T)\rightarrow y_{\bar{u}}(T)\quad \mbox{in } X \mbox{ as } k'\rightarrow+\infty$$
and
$$\bigl\Vert y_{u_{k'}}(T)-y_{T}\bigr\Vert _{X} \rightarrow\bigl\Vert y_{\bar{u}}(T)-y_{T}\bigr\Vert _{X}\quad \mbox{in } R^{1} \mbox{ as } k' \rightarrow+\infty,$$
then
$$\bigl\Vert y_{u_{k'}}(T)-y_{T}\bigr\Vert ^{2}_{X} \rightarrow\bigl\Vert y_{\bar{u}}(T)-y_{T} \bigr\Vert ^{2}_{X}\quad \mbox{in } R^{1} \mbox{ as } k'\rightarrow+\infty.$$
Thanks to (15), there exists a subsequence of $$\{u_{k'}\}$$, denoted by $$\{u_{k''}\}$$, such that
$$\bigl\Vert u_{k''}(t)-\bar{u}(t)\bigr\Vert _{E}\rightarrow0\quad \mbox{for almost all } t\in[0,T].$$
(17)
It follows from (16) and (17) that
$$\bigl\Vert y_{u_{k''}}(t)-\hat{y}(t)\bigr\Vert _{X} \rightarrow\bigl\Vert y_{\bar{u}}(t)-\hat {y}(t)\bigr\Vert _{X} \quad \mbox{a.e. } t\in[0,T].$$
Since $$u_{k''}(t)\in U$$ (compact set in E) and $$y_{k''}(\cdot)\in C([0,T];X)$$, the image of the compact set under y is compact (see Theorem 2.5-6 of ). For all $$k''$$, there exists a positive constant M, such that
$$\bigl\Vert y_{u_{k''}}(t)-\hat{y}(t)\bigr\Vert _{X} \leq M.$$
(18)
From the Lebesgue dominated convergence theorem (see Theorem 2.8.1 of ), we have
$$\lim_{k''\rightarrow+\infty}\int_{0}^{T} \bigl\Vert y_{u_{k''}}(t)-\hat{y}(t)\bigr\Vert _{X}^{2} \,dt=\int_{0}^{T} \bigl\Vert y_{\bar{u}}(t)- \hat{y}(t)\bigr\Vert ^{2}_{X}\,dt.$$
(19)
From all the above, we have
\begin{aligned} \begin{aligned} J(\bar{u}) & =\bigl\Vert y_{\bar{u}}(T)-y_{T}\bigr\Vert ^{2}_{X}+\int_{0}^{T} \bigl\Vert y_{\bar{u}}(t)-\hat{y}(t)\bigr\Vert ^{2}_{X} \,dt \\ &= \lim_{k''\rightarrow+\infty}\bigl\Vert y_{u_{k''}}(T)-y_{T} \bigr\Vert ^{2}_{X}+\lim_{k''\rightarrow+\infty}\int _{0}^{T} \bigl\Vert y_{u_{k''}}(t)-\hat{y}(t) \bigr\Vert ^{2}_{X}\,dt \\ &=\lim_{k''\rightarrow+\infty}J(u_{k''})=\inf_{u\in\mathcal {U}[0,T]}J(u). \end{aligned} \end{aligned}
That is, $$\bar{u}\in\mathcal{U}[0,T]$$ is an optimal control. This completes the proof of the theorem. □

## 4 Stability analysis of optimal control problems

In this section, we will use the set-valued mapping theory to study the stability of the optimal control. At first, we recall some definitions and a lemma on set-valued mappings for convenience of the reader (see [7, 8, 16]). Let W and Z be metric spaces.

### Definition 4.1

A set-valued mapping $$F:W\rightarrow2^{Z}$$ is called upper (respectively, lower) semicontinuous at $$x\in W$$ if and only if for each open set G in Z with $$G\supset F(x)$$ (respectively, $$G\cap F(x)\neq\emptyset$$), there exists $$\delta>0$$ such that $$G\supset F(x')$$ (respectively, $$G\cap F(x')\neq\emptyset$$) for any $$x'\in W$$ with $$\rho(x,x')<\delta$$. It is said to be upper (respectively, lower) semicontinuous in W if and only if it is upper (respectively, lower) semicontinuous at any point of W.

A set-valued mapping $$F:W\rightarrow2^{Z}$$ is continuous at x if it is both upper semicontinuous and lower semicontinuous at x, and that it is continuous if and only if it is continuous at every point of W.

### Definition 4.2

A set-valued mapping $$F:W\rightarrow2^{Z}$$ is called compact upper semicontinuous (called USCO) if $$F(x)$$ is nonempty compact, for each $$x\in W$$, and F is upper semicontinuous.

### Definition 4.3

A set-valued mapping $$F:W\rightarrow2^{Z}$$ is called closed if $$\operatorname{Graph}(F)$$ is closed, where $$\operatorname{Graph}(F)=\{(x,z)\in W\times Z \mid z\in F(x)\}$$ is the graph of F.

### Lemma 4.1

If the set-valued mapping $$F:W\rightarrow2^{Z}$$ is closed and Z is compact, then F is an USCO mapping.

### Definition 4.4

A subset $$Q\subset W$$ is called a residual set if it contains a countable intersection of open dense subsets of W.

If W is a complete metric space, any residual subset of W must be dense in W.

### Lemma 4.2

Let W be a complete metric space, and $$F:W\rightarrow2^{Z}$$ be an USCO mapping, then there exists a dense residual subset Q of W such that F is lower semicontinuous at each $$x\in Q$$.

Now, we consider the stability of optimal controls. Denote
$$Y=\bigl\{ f \mid f \mbox{ satisfies conditions of } (\mathrm{H}_{f}) \bigr\} .$$
For every $$f_{1},f_{2}\in Y$$, we define
$$\rho(f_{1},f_{2})=\sup_{(t,y,u)\in[0,T]\times X\times U} \bigl\Vert f_{1}(t,y,u)- f_{2}(t,y,u)\bigr\Vert _{X}.$$

Then the space $$(Y,\rho)$$ is a complete metric space .

Let
$$S(f)=\bigl\{ \bar{u} \mid \bar{u} \mbox{ is the optimal control of problem (P) associated with } f\in Y\bigr\} .$$

Then the correspondence $$f\rightarrow S(f)$$ is a set-valued mapping $$S:Y\rightarrow2^{\mathcal{U}[0,T]}$$.

From Theorem 3.4, we have the following theorem.

### Theorem 4.3

If assumptions (H u ), (H A ), and (H f ) hold, $$S(f)\neq\emptyset$$ for each $$f\in Y$$.

The following proposition is important in studying the stability of optimal controls.

### Proposition 4.4

Let $$\{f_{k}\}$$ be any sequence of Y such that $$f_{k}\rightarrow f$$ in Y and $$\{u_{k}\}$$ any sequence of $$\mathcal{U}[0,T]$$ such that $$u_{k}\rightarrow u$$ in $$L^{1}(0,T; E)$$, then $$y_{f_{k}}(\cdot,u_{k}(\cdot))\rightarrow y_{f}(\cdot,u(\cdot))$$ in $$C([0,T];X)$$ as $$k\rightarrow+\infty$$.

### Proof

By Definition 3.1 of a mild solution of Cauchy problem (3) we have
$$y(t)\triangleq y_{f}\bigl(t,u(t)\bigr)=e^{At}y_{0}+ \int_{0}^{t} e^{A(t-s)}f\bigl(s,y(s),u(s) \bigr)\,ds$$
and
$$y_{k}(t) \triangleq y_{f_{k}}\bigl(t,u_{k}(t) \bigr)=e^{At}y_{0}+\int_{0}^{t} e^{A(t-s)}f_{k}\bigl(s,y_{k}(s),u_{k}(s) \bigr)\,ds$$
for every $$t \in[0,T]$$.
It follows from $$f_{k}\rightarrow f$$ in Y that for any $$\epsilon>0$$ there exists a constant $$N_{1}>0$$ such that
$$\rho(f_{k},f)\leq\frac{\epsilon}{2MTe^{\omega T}}$$
whenever $$k\geq N_{1}$$. The inequality (8) implies that
\begin{aligned}& \int_{0}^{T} \bigl\Vert e^{A(T-s)} \bigl(f_{k}\bigl(s,y_{k}(s),u_{k}(s)\bigr)-f \bigl(s,y_{k}(s),u_{k}(s)\bigr) \bigr)\bigr\Vert _{X}\,ds \\& \quad \leq\int_{0}^{T} Me^{\omega T}\bigl\Vert f_{k}\bigl(s,y_{k}(s),u_{k}(s)\bigr)-f \bigl(s,y_{k}(s),u_{k}(s)\bigr)\bigr\Vert _{X} \,ds \\& \quad \leq\int_{0}^{T} Me^{\omega T} \frac{\epsilon}{2MTe^{\omega T}}\,ds=\frac {\epsilon}{2}. \end{aligned}
(20)
The $$u_{k} \rightarrow u$$ in $$L^{1}(0,T;E)$$ and (10) imply that there exists a constant $$N_{2}>0$$ such that
$$\int_{0}^{T} Me^{\omega T}\bigl\Vert f \bigl(s,y(s),u_{k}(s)\bigr)-f\bigl(s,y(s),u(s)\bigr)\bigr\Vert _{X}\,ds\leq \frac{\epsilon}{2}$$
(21)
whenever $$k\geq N_{2}$$.
Let $$N=\max\{N_{1},N_{2}\}$$, then
\begin{aligned} \begin{aligned}[b] \bigl\Vert y_{k}(t)-y(t)\bigr\Vert _{X} ={}&\biggl\Vert \int_{0}^{t} e^{A(t-s)} \bigl[f_{k}\bigl(s,y_{k}(s),u_{k}(s)\bigr)-f \bigl(s,y(s),u(s)\bigr)\bigr]\,ds \biggr\Vert _{X} \\ \leq{}&\int_{0}^{T} Me^{\omega T}\bigl\Vert f_{k}\bigl(s,y_{k}(s),u_{k}(s)\bigr)-f \bigl(s,y_{k}(s),u_{k}(s)\bigr)\bigr\Vert _{X} \,ds \\ &{} +\int_{0}^{t} Me^{\omega T}\bigl\Vert f \bigl(s,y_{k}(s),u_{k}(s)\bigr)-f\bigl(s,y(s),u_{k}(s) \bigr)\bigr\Vert _{X}\,ds \\ &{} +\int_{0}^{T} Me^{\omega T}\bigl\Vert f \bigl(s,y(s),u_{k}(s)\bigr)-f\bigl(s,y(s),u(s)\bigr)\bigr\Vert _{X}\,ds \\ \leq{}& Me^{\omega T} \int_{0}^{t}L(t)\bigl\Vert y_{k}(t)-y(t)\bigr\Vert _{X}\,ds+\epsilon \end{aligned} \end{aligned}
(22)
holds for any $$k\geq N$$, and it follows from the Gronwall inequality that
$$\bigl\Vert y_{k}(t)-y(t)\bigr\Vert _{X} \leq\epsilon e^{Me^{\omega T}\int _{0}^{t}L(s)\,ds}\leq\epsilon e^{MTe^{\omega T}\int_{0}^{T}L(s)\,ds}, \quad \forall t\in[0,T].$$
(23)
This implies $$y_{k}\rightarrow y$$ in $$C([0,T]; X)$$, which completes the proof of the theorem. □
We denote
$$J_{f_{k}}(u_{k})=\bigl\Vert y_{k}(T)-y_{T} \bigr\Vert ^{2}_{X}+\int_{0}^{T} \bigl\Vert y_{k}(t)-\hat{y}(t)\bigr\Vert ^{2}_{X} \,dt.$$

One can easily obtain the following proposition from Proposition 4.4.

### Proposition 4.5

Let $$\{f_{k}\}$$ be any sequence of Y such that $$f_{k}\rightarrow f$$ in Y and $$\{u_{k}\}$$ any sequence of $$\mathcal{U}[0,T]$$ such that $$u_{k}\rightarrow u$$ in $$L^{1}(0,T; E)$$. Then $$J_{f_{k}}(u_{k})\rightarrow J_{f}(u)$$ as $$k\rightarrow+\infty$$.

### Theorem 4.6

Suppose that (H u ), (H A ), and (H f ) hold. Then $$S:Y\rightarrow 2^{\mathcal{U}[0,T]}$$ is an USCO mapping.

### Proof

By the compactness of $$\mathcal{U}[0,T]$$ and Lemma 4.1, we only need to show that
$$\operatorname{Graph}(S)=\bigl\{ (f,u)\in Y\times\mathcal{U}[0,T] \mid u\in S(f) \bigr\}$$
is closed. Let $$\{f_{k}\}\subset Y$$ with $$f_{k}\rightarrow f$$ in Y and $$\{\bar{u}_{k}\}\subset S(f_{k})$$ with $$\bar {u}_{k}\rightarrow\bar{u}$$ in $$L^{1}(0,T; E)$$. Now we need to show that $$\bar{u}\in S(f)$$.
Due to $$\bar{u}_{k}\in S(f_{k})$$, we have
$$J_{f_{k}}(\bar{u}_{k})\leq J_{f_{k}}(u) \quad \mbox{for all } u\in\mathcal{U}[0,T].$$
(24)
Proposition 4.5 yields
$$J_{f_{k}}(\bar{u}_{k})\rightarrow J_{f}(\bar{u})$$
(25)
and
$$J_{f_{k}}(u)\rightarrow J_{f}(u)\quad \mbox{for all } u\in\mathcal{U}[0,T].$$
(26)
Combining (25), (26), and (24), we have
$$J_{f}(\bar{u})\leq J_{f}(u)\quad \mbox{for all } u\in\mathcal{U}[0,T],$$
(27)
namely, $$\bar{u}\in S(f)$$. The proof is completed. □

We introduce the following definition for considering the stability of solutions of an optimal control problem.

### Definition 4.5

$$u\in S(f)$$ is called an essential solution iff for any $$\epsilon>0$$ there exists $$\delta>0$$ such that for any $$f'\in Y$$ with $$\rho(f',f)<\delta$$, there is $$u'\in S(f')$$ with $$\| u-u'\|_{L^{1}(0,T;E)}<\epsilon$$. The optimal control problem (P) associated with f is called essential iff its solutions are all essential.

From , we can obtain the following theorem.

### Theorem 4.7

The optimal control problem (P) associated with f is essential if and only if $$S:Y\rightarrow2^{\mathcal{U}[0,T]}$$ is lower semicontinuous at $$f\in Y$$.

Now we need to consider that S is lower semicontinuous in Y. From Lemma 4.2 and Theorem 4.6, we have the following lemma.

### Lemma 4.8

There exists a dense residual subset $$Q\subset Y$$ such that S is lower semicontinuous at each $$f\in Q$$, namely, S is continuous at each $$f\in Q$$.

Since S is continuous at each $$f\in Q$$ and Y is a complete metric space, Q is a second category . Lemma 4.8 and Theorem 4.7 yield the generic stability in the sense of the Baire category.

### Theorem 4.9

There exists a dense residual subset Q of Y such that for any $$f\in Q$$, $$S(f)$$ is stable in the sense of Hausdorff metric and $$J_{f}$$ is robust with respect to $$f\in Q$$. So every optimal control problem associated $$f \in Y$$ can be closely approximated arbitrarily by an essential optimal control problem.

We need to note that when the solution $$S(f)$$ is a singleton, the result also holds. By Theorem 4.9 we can also see that any $$f\in Y$$ can be closely approximated by an essential optimal control problem.

### Remark 4.1

In this paper, we only discuss the stability results as regards the optimal control problem with quadratic cost functional. In fact, the results also hold for the optimal control problem with general cost functional such as Bolza problems under some assumptions.

## 5 Example

Our main result can be applied to the controlled systems of heat equations and wave equations with the $$C_{0}$$-semigroup. We will state optimal control problems with parabolic controlled systems and hyperbolic controlled systems, respectively, in the following.

Problem (P1): Given $$T>0$$, $$\hat{y}(t,x)$$, and $$y_{T}(x)$$, find an optimal control $$\bar{u}\in\mathcal{U}[0,T]$$ such that
$$J (\bar{u} )\leq J (u ) \quad \mbox{for all } u\in \mathcal{U}[0,T],$$
(28)
where
$$J (u )=\int_{\Omega}\bigl\vert y(T,x)-y_{T}(x)\bigr\vert ^{2} \,dx+\int_{0}^{T} \int _{\Omega}\bigl\vert y(t,x)-\hat{y}(t,x)\bigr\vert ^{2} \,dx\,dt$$
(29)
subject to
$$\left \{ \begin{array}{l} \frac{\partial y}{\partial t}(t,x)=\Delta y(t,x)+f (t,y(t,x),u(t,x) ),\quad t\in[0,T], x\in\Omega, \\ y(0,x)=y_{0}(x),\quad x\in\Omega, \\ y|_{\partial\Omega}=0, \end{array} \right .$$
(30)
where $$\Omega\subset R^{n}$$ is a bounded domain with a smooth boundary Ω, let $$X=L^{2}(\Omega)$$ and $$A=\Delta= \frac{\partial^{2}}{\partial x_{1}^{2}}+\cdots +\frac{\partial^{2}}{\partial x_{n}^{2}}$$ with $$D(A)=W^{2,2}(\Omega)\cap W_{0}^{1,2}(\Omega)$$. Then A is infinitesimal generator of a $$C_{0}$$-semigroup $$e^{At}$$ on the infinite dimensional Banach space X. Suppose that $$y_{0}\in X$$ and the set of admissible controls in the space $$L^{1}(0,T; E)$$ is defined by (4) where $$E=L^{2}(\Omega)$$. With the assumptions (H u ) and (H f ) holding, the stability results are valid.
Problem (P2): Given $$T>0$$, $$\hat{y}(t,x)$$, and $$y_{T}(x)$$, find an optimal control $$\bar{u}\in\mathcal{U}[0,T]$$ such that
$$J (\bar{u} )\leq J (u ) \quad \mbox{for all } u\in \mathcal{U}[0,T],$$
(31)
where
$$J (u )=\int_{\Omega}\bigl\vert y(T,x)-y_{T}(x)\bigr\vert ^{2} \,dx+\int_{0}^{T} \int _{\Omega}\bigl\vert y(t,x)-\hat{y}(t,x)\bigr\vert ^{2} \,dx\,dt$$
(32)
subject to
$$\left \{ \begin{array}{l} \frac{\partial^{2} y}{\partial t^{2}}(t,x)=\Delta y(t,x)+f (t,y(t,x),u(t,x) ), \quad t\in[0,T], x\in\Omega, \\ y(0,x)=y_{0}(x),\qquad \frac{\partial y}{\partial t} |_{t=0}=y_{1}(x),\quad x\in \Omega, \\ y|_{\partial\Omega}=0, \end{array} \right .$$
(33)
where $$\Omega\subset R^{n}$$ is a bounded domain with a smooth boundary Ω and $$X=W^{1,2}(\Omega)\times L^{2}(\Omega)$$. Let $$(y_{0},y_{1})\in X$$, $$\Delta= \frac{\partial^{2}}{\partial x_{1}^{2}}+\cdots+\frac{\partial^{2}}{\partial x_{n}^{2}}$$, $$A=\bigl({\scriptsize\begin{matrix} 0 & I \cr \Delta& 0\end{matrix}} \bigr)$$ with $$D(A)= (W^{2,2}(\Omega)\cap W_{0}^{1,2}(\Omega) )\times W^{1,2}(\Omega)$$. Then A is the infinitesimal generator of a $$C_{0}$$-semigroup $$e^{At}$$ on the infinite dimensional Banach space X, the set of admissible controls in the space $$L^{1}(0,T; E)$$ is defined by (4) where $$E=L^{2}(\Omega)$$. With the assumptions (H u ) and (H f ) holding, the stability results are also valid.

The following example is provided to show that not all optimal control problems are essential.

### Example 5.1

Let $$H=[0,1]$$, $$\Omega=[0,\pi]\subset R^{1}$$. Consider the optimal problem
$$\min_{u\in\mathcal{U}[0,1]}J(u)=\int_{0}^{\pi}\bigl(v(1,x)\bigr)^{2}\,dx$$
subject to the distributed parameter system
$$\left \{ \begin{array}{l} \frac{\partial}{\partial t}v(t,x)=\frac{\partial^{2}}{\partial x^{2}}v(t,x)+f(t,v(t,x),u(t,x)),\quad t\in H, x \in\Omega, \\ v(t,0)=v(t,\pi)=0, \quad t\in H, \\ v(0,x)=v_{0},\quad x \in\Omega, \end{array} \right .$$
where $$u \in\mathcal{U}[0,1]$$, $$X=L^{2}(\Omega)$$, $$v_{0}\in X$$, $$A=\frac {\partial^{2}}{\partial x^{2}}$$, and $$D(A)=W^{2,2}(\Omega)\cap W_{0}^{1,2}(\Omega)$$. Then the A generate a $$C_{0}$$-semigroup $$e^{At}$$. The mild solution can be given by
$$v(t,x)=e^{A t}v_{0}+\int_{0}^{t} e^{A (t-s)}f\bigl(s,v(s,x),u(s,x)\bigr)\,ds.$$
Let
$$\mathcal{U}[0,1]=\Biggl(\bigcup_{k=1}^{N} \bigl\{ u_{k}(t,x) \in\bigl\{ \sin x,-e^{-\frac {1}{2k}}\sin x\bigr\} \bigr\} \Biggr)\cup\Biggl(\bigcup_{m=1}^{+\infty}\biggl\{ u^{m}(t,x)\equiv -\frac{1}{m}\sin x\biggr\} \Biggr),$$
here we set
$$u_{k}(t,x) = \begin{cases} \sin x &\mbox{if } t \in[\frac{2l}{2k}, \frac{2l+1}{2k}), l=0,1, \ldots, k-1, \\ -e^{-\frac{1}{2k}}\sin x & \mbox{otherwise}. \end{cases}$$
Similarly to Example 2.1, $$\mathcal{U}[0,1]$$ is compact.

In order to simplify the calculation, let $$v_{0}=0$$.

(1) Let $$f(t,v(t,x),u(t,x))=u(t,x)\in\mathcal{U}[0,1]$$, we see that the A generate a $$C_{0}$$-semigroup $$T(t)=e^{-t}$$; then the mild solution is
$$v(t,x)=\int_{0}^{t} e^{-(t-s)}u(s,x)\,ds,$$
we have $$v(1,x)=0$$, for any $$u_{k}$$, $$k=1,2, \ldots,N$$, hence $$J(u_{k})=0$$, $$k=1,2, \ldots, N$$. So
$$S(f)= \arg\min_{u\in\mathcal{U}[0,1]}J_{f}(u)=\{u_{k},k=1,2, \ldots,N \}.$$
(2) Let $$f_{m}(t, v(t,x), u(t,x))=u(t,x)+\frac{1}{m}\sin x$$, $$t\in H$$, $$x\in \Omega$$, for every $$m=1,2, \ldots$$ . Then $$v(1,x)=0$$, and $$J(u_{m})=0$$, $$m=1,2, \ldots$$ , we get
$$S(f_{m})= \arg\min_{u\in\mathcal{U}[0,1]}J_{f_{m}}(u)=\bigl\{ u^{m} \bigr\} .$$
We see $$\rho(f, f_{m})=\frac{\sqrt{2\pi}}{2m} \rightarrow0$$ as $$m\rightarrow+\infty$$. For any $$u_{k} \in S(f)$$, we have
\begin{aligned}& \int_{0}^{1} \bigl\Vert u_{k}(t,x)-u^{m}(t,x) \bigr\Vert _{L^{2}(\Omega)}\,dt \\& \quad =\frac{\sqrt{2\pi}}{2}\biggl[\int_{H_{1}}\biggl(1- \frac{1}{m}\biggr)\,dt+ \int_{H_{2}}\biggl(e^{-\frac{1}{2k}}+ \frac{1}{m}\biggr)\,dt\biggr] \\& \quad =\frac{\sqrt{2\pi}}{2}\bigl(1+e^{-\frac{1}{2k}}\bigr), \end{aligned}
where $$H_{1}$$ is the union of intervals in which $$u_{k}$$ takes the value sinx and $$H_{2}$$ is the union of intervals in which $$u_{k}$$ takes the value $$-e^{-\frac{1}{2k}}\sin x$$, which shows that $$u_{k}$$ is not essential. If let $$u^{0}(t,x)\equiv0$$, we have
$$\int_{0}^{1}\bigl\Vert u^{0}(t,x)-u^{m}(t,x) \bigr\Vert _{L^{2}(\Omega)}\,dt = \frac{\sqrt{2\pi}}{2m} \rightarrow0\quad \mbox{as } m\rightarrow\infty.$$
Then all solutions in $$S(f)$$ except $$u^{0}(t,x)\equiv0$$ are not essential.

## Declarations

### Acknowledgements

This work was supported by the National Natural Science Foundation of China (Grant No. 11261011).

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

## Authors’ Affiliations

(1)
Department of Mathematics, Guizhou University, Guiyang, 550025, P.R. China
(2)
Department of Mathematics, Guizhou Minzu University, Guiyang, 550025, P.R. China

## References

Advertisement 