Skip to main content

Null controllability of a semilinear degenerate parabolic equation with a gradient term

Abstract

This paper concerns the null controllability of a semilinear control system governed by degenerate parabolic equation with a gradient term, where the nonlinearity of the problem is involved with the first derivative. We first establish the well-posedness and prove the approximate null controllability of the linearized system, then we can get the approximate null controllability of the semilinear control system by a fixed point argument. Finally, the semilinear control system with a gradient term is shown to be null controllable.

Introduction

In this paper, we investigate the null controllability of the following semilinear degenerate system:

$$\begin{aligned}& u_{t}-\bigl(x^{\alpha}u_{x}\bigr)_{x}+g(x,t,u,u_{x})=h(x,t) \chi_{\omega}, \quad(x,t)\in{Q_{T}}, \end{aligned}$$
(1.1)
$$\begin{aligned}& u(0,t)=u(1,t)=0 \quad\mbox{if }0< \alpha< 1, t\in(0,T), \end{aligned}$$
(1.2)
$$\begin{aligned}& x^{\alpha}u_{x}(0,t)=u(1,t)=0 \quad\mbox{if }1\le\alpha< 2, t \in(0,T), \end{aligned}$$
(1.3)
$$\begin{aligned}& u(x,0)=u_{0}(x), \quad x\in(0,1), \end{aligned}$$
(1.4)

where \(Q_{T}=(0,1)\times(0,T)\), ω is a nonempty open subset of (0,1), \(u_{0}\in L^{2}(0,1)\), \(h(x,t)\in L^{2}(Q_{T})\) is a control function, \(g(x,t,s,p)\) is Lebesgue measurable in \(Q_{T}\times\mathbb {R}\times\mathbb {R}\) and \(C^{1}\) continuous with respect to s, p uniformly for \((x,t)\in Q_{T}\). Furthermore, we assume that g satisfies \(g(\cdot,\cdot,0,0)=0\) and

$$\begin{aligned} \bigl\vert g_{s}(x,t,s,p) \bigr\vert +x^{-\alpha/2} \bigl\vert g_{p}(x,t,s,p) \bigr\vert \le K, \quad\forall (x,t,s,p)\in Q_{T}\times\mathbb {R}\times\mathbb {R}, \end{aligned}$$
(1.5)

where \(K>0\) is a constant. Equation (1.1) is degenerate at the boundary \(x=0\), and it can be used to describe some physical models, for example, in [6, 8], we can find a motivating example of a Crocco-type equation coming from the study on the velocity field of a laminar flow on a flat plate.

In the last forty years, many authors have been devoted to studying control systems, the interested readers can refer to [126] and the references therein. For instance, Wang in [2729] studied the approximate controllability of a class of systems governed by degenerate parabolic equations. In 2013, Du and Wang in [11] investigated the null controllability of a class of coupled degenerate systems. Later, Du and Xu in [13] studied the boundary controllability of a semilinear degenerate system with convection term. Recently, Xu, Wang and Nie in [30] considered the Carleman estimate and null controllability of a cascade control system with convection terms. For degenerate equations, one must overcome some technical difficulties to get some necessary estimates for controllability theory. In particular, the following system governed by a single degenerate parabolic equation has been widely studied:

$$\begin{aligned}& w_{t}-\bigl(x^{\alpha}w_{x} \bigr)_{x}+k(x,t)w=h(x,t)\chi_{\omega}, \quad(x,t)\in Q_{T}, \end{aligned}$$
(1.6)
$$\begin{aligned}& w(0,t)=0 \quad\mbox{if } 0< \alpha< 1, \qquad\bigl(x^{\alpha}w_{x} \bigr) (0,t)=0 \quad\mbox{if } \alpha\geq 1, t\in(0,T), \end{aligned}$$
(1.7)
$$\begin{aligned}& w(1,t)=0,\quad t\in(0,T), \end{aligned}$$
(1.8)
$$\begin{aligned}& w(x,0)=w_{0}(x), \quad x\in(0,1), \end{aligned}$$
(1.9)

where \(k\in L^{\infty}(Q_{T})\). The system is null controllable if \(0<\alpha<2\) [8, 9, 26], while not if \(\alpha\ge2\) [7]. It is noted that the degeneracy of (1.6) is weak if \(0<\alpha<1\) and strong if \(\alpha\geq1\). The null controllability of system (1.6)–(1.9) for \(0<\alpha<2\) is based on the Carleman estimate for solutions to its conjugate problem

$$\begin{aligned}& {-}W_{t}-\bigl(x^{\alpha}W_{x} \bigr)_{x}+k(x,t)W=F(x,t), \quad(x,t)\in Q_{T}, \end{aligned}$$
(1.10)
$$\begin{aligned}& W(0,t)=0 \quad\mbox{if } 0< \alpha< 1, \qquad\bigl(x^{\alpha}W_{x} \bigr) (0,t)=0 \quad\mbox{if } 1\leq\alpha< 2, t\in(0,T), \end{aligned}$$
(1.11)
$$\begin{aligned}& W(1,t)=0, \quad t\in(0,T), \end{aligned}$$
(1.12)
$$\begin{aligned}& W(x,T)=W_{T}(x), \quad x\in(0,1). \end{aligned}$$
(1.13)

Since the problem may be not null controllable, the authors introduced some new concepts on controllability, the regional null controllability and the persistent regional null controllability, which is weaker than the null controllability [7]. They proved that the problem is regional null controllable and persistent regional null controllable for all \(\alpha>0\). For semilinear problem (1.1)–(1.4), the authors also showed the regional and persistent regional null controllability in [3, 5]. Moreover, the approximate controllability of degenerate equation (1.1) with suitable boundary and initial conditions has been proved in [12, 2729] for all \(\alpha>0\). In [1, 19], the authors proved the null controllability of problem (1.1)–(1.4) with

$$g(x,t,u,u_{x})=f(x,t,u) $$

and

$$\begin{aligned} g(x,t,u,u_{x})=x^{\alpha/2}b(x,t)u_{x}+c(x,t)u, \end{aligned}$$
(1.14)

respectively.

In this paper, we investigate the null controllability of semilinear problem (1.1)–(1.4). First, we prove the approximate null controllability of linear problem (1.1)–(1.4) with (1.14). Next, we prove the approximate null controllability of semilinear problem (1.1)–(1.4) by using the Schauder fixed point theorem. At last, we state the null controllability of semilinear problem (1.1)–(1.4) with the method inspired by [3]. The paper is organized as follows: In Sect. 2, we introduce function spaces that are needed for the well-posedness and prove the well-posedness of system (1.1)–(1.4). In Sect. 3, we prove that the semilinear system is null controllable.

Well-posedness

In this section, we first consider the linear problem

$$\begin{aligned}& u_{t}-\bigl(x^{\alpha}u_{x}\bigr)_{x}+x^{\alpha/2}b(x,t)u_{x}+c(x,t)u =f(x,t), \quad(x,t)\in{Q_{T}}, \end{aligned}$$
(2.1)
$$\begin{aligned}& u(0,t)=u(1,t)=0\quad \mbox{if }0< \alpha< 1, t\in(0,T), \end{aligned}$$
(2.2)
$$\begin{aligned}& x^{\alpha}u_{x}(0,t)=u(1,t)=0\quad \mbox{if }1\le\alpha< 2, t \in(0,T), \end{aligned}$$
(2.3)
$$\begin{aligned}& u(x,0)=u_{0}(x), \quad x\in(0,1), \end{aligned}$$
(2.4)

where \(b,c\in L^{\infty}(Q_{T})\), \(f\in L^{2}(Q_{T})\), and \(u_{0}\in L^{2}(0,1)\).

Define that \(H_{\alpha}^{1}(0,1)\) and \(H_{\alpha}^{2}(0,1)\) are the closure of \(C^{\infty}_{0}(0,1)\) with respect to the following norm:

$$\Vert u \Vert _{H_{\alpha}^{1}(0,1)}= \biggl( \int_{0}^{1}\bigl(u^{2}+x^{\alpha}u_{x}^{2}\bigr)\,dx \biggr)^{1/2},\quad u\in H_{\alpha}^{1}(0,1) $$

and

$$\Vert u \Vert _{H_{\alpha}^{2}(0,1)}= \biggl( \int_{0}^{1}\bigl(u^{2}+x^{\alpha}u_{x}^{2}+\bigl(x^{\alpha}u_{x} \bigr)_{x}^{2}\bigr)\,dx \biggr)^{1/2},\quad u\in H_{\alpha}^{2}(0,1), $$

respectively.

For readers’ convenience, we denote

$$\mathcal{M}=C\bigl(0,T;L^{2}(0,1)\bigr)\cap L^{2} \bigl(0,T;H_{\alpha}^{1}(0,1)\bigr) $$

and

$$\mathcal{N}=H^{1}\bigl(0,T;L^{2}(0,1)\bigr)\cap L^{2}\bigl(0,T;H_{\alpha}^{2}(0,1)\bigr). $$

Lemma 2.1

\(\mathcal{N}\)is compactly imbedded in\(\mathcal{M}\).

Proof

Using Aubin’s theorem ([3], Theorem 4.3) with \(r_{0}=r_{1}=2\), \(X_{0}=H^{2}_{\alpha}(0,1)\), \(X_{1}=H^{1}_{\alpha}(0,1)\), \(X_{2}=L^{2}(0,1)\), and \(a=0\), \(b=T\), one can get that \(\mathcal{N}\) is compactly imbedded in \(L^{2}(0,T;H^{1}_{\alpha}(0,1))\).

Since \(H^{1}(0,T;L^{2}(0,1))\) is compactly imbedded in \(C(0,T;L^{2}(0,1))\) and \(\mathcal{N}\) is continuously imbedded in \(H^{1}(0,T;L^{2}(0,1))\), one has that \(\mathcal{N}\) is compactly imbedded in \(C(0,T;L^{2}(0,1))\).

Moreover, since \(\mathcal{N}\) is compactly imbedded in \(L^{2}(0,T;H^{1}_{\alpha}(0,1))\) and \(C(0,T;L^{2}(0,1))\), respectively, it is obvious that \(\mathcal{N}\) is compactly imbedded in \(\mathcal {M}=C(0,T;L^{2}(0,1))\cap L^{2}(0,T;H_{\alpha}^{1}(0,1))\), the proof is complete. □

Due to the degeneracy of the coefficient \(x^{\alpha}\), problem (2.1)–(2.4) may not have classical solutions, so we need to give the definition of weak solutions.

Definition 2.1

If \(u\in \mathcal{M}\), for any function \(\varphi\in\mathcal{M}\) with \(\varphi_{t}\in L^{2}(Q_{T})\) and \(\varphi(\cdot,T) |_{(0,1)}=0\), it holds that

$$\begin{aligned} \iint_{Q_{T}} \bigl(-u\varphi_{t}+x^{\alpha}u_{x}\varphi_{x}+x^{\alpha/2}b u_{x} \varphi+cu\varphi \bigr)\,dx\,dt = \iint_{Q_{T}}f\varphi\,dx\,dt+ \int_{0}^{1} u_{0}(x)\varphi(x,0)\,dx, \end{aligned}$$

then the function u is called the weak solution of the system (2.1)–(2.4).

On the basis of Theorem 2.4 [3] and Lemma 2.1 [12], the problem (2.1)–(2.4) is well posed. Furthermore, we can get the following proposition.

Proposition 2.1

If\(\|b\|_{L^{\infty}(Q_{T})}\le C_{1}\), \(\|c\|_{L^{\infty}(Q_{T})}\le C_{2}\), \(f\in L^{2}(Q_{T})\), and\(u_{0}\in L^{2}(0,1)\), then the problem (2.1)(2.4) uniquely admits a weak solution\(u\in\mathcal{M}\). Furthermore, usatisfies that

  1. (i)
    $$\sup_{t\in(0,T]} \int_{0}^{1}u^{2}(x,t)\,dx+ \iint_{Q_{T}}x^{\alpha}u_{x}^{2}\,dx \,dt \leq C \biggl( \iint_{Q_{T}}f^{2}(x,t)\,dx\,dt+ \int_{0}^{1}u_{0}^{2}(x)\,dx \biggr), $$

    where\(C>0\)is a constant depending onT, \(C_{1}\), and\(C_{2}\).

  2. (ii)

    If\(u_{0}\in H_{\alpha}^{1}(0,1)\), then\(u\in\mathcal{N}\)and it holds that

    $$\begin{aligned}& \iint_{Q_{T}} \bigl(u_{t}^{2}+ \bigl(x^{\alpha}u_{x}\bigr)_{x}^{2} \bigr) \,dx\,dt\\& \quad \leq C \biggl( \iint_{Q_{T}}f^{2}(x,t)\,dx\,dt+ \int_{0}^{1} \bigl(u_{0}^{2}(x)+x^{\alpha}\bigl(u_{0}'\bigr)^{2}(x) \bigr)\,dx \biggr), \end{aligned}$$

    where\(C>0\)is a constant depending onT, \(C_{1}\), and\(C_{2}\).

Similar to the linear problem (2.1)–(2.4), one can give the definition of weak solution to the following semilinear problem:

$$\begin{aligned}& u_{t}-\bigl(x^{\alpha}u_{x}\bigr)_{x}+g(x,t,u,u_{x})=f(x,t), \quad(x,t)\in{Q_{T}}, \end{aligned}$$
(2.5)
$$\begin{aligned}& u(0,t)=u(1,t)=0\quad \mbox{if }0< \alpha< 1, t\in(0,T), \end{aligned}$$
(2.6)
$$\begin{aligned}& x^{\alpha}u_{x}(0,t)=u(1,t)=0\quad \mbox{if }1\le\alpha< 2, t \in(0,T), \end{aligned}$$
(2.7)
$$\begin{aligned}& u(x,0)=u_{0}(x), \quad x\in(0,1). \end{aligned}$$
(2.8)

Definition 2.2

A function u is called the weak solution of the problem (2.5)–(2.8) if \(u\in \mathcal{M}\), and for any function \(\varphi\in\mathcal{M}\) with \(\varphi_{t}\in L^{2}(Q_{T})\) and \(\varphi(\cdot,T) |_{(0,1)}=0\), the following integral equality holds:

$$\begin{aligned} \iint_{Q_{T}} \bigl(-u\varphi_{t}+x^{\alpha}u_{x}\varphi _{x}+g(x,t,u,u_{x})\varphi \bigr) \,dx\,dt = \iint_{Q_{T}}f\varphi\,dx\,dt+ \int_{0}^{1} u_{0}(x)\varphi(x,0)\,dx. \end{aligned}$$

The semilinear problem (2.5)–(2.8) is well posed, which is proved in Theorem 3.1 [12] and Theorem 3.7 [3].

For any \(w\in L^{2}(0,T;H_{\alpha}^{1}(0,1))\), define the functions

$$\begin{gathered} c(x,t,w)= \int_{0}^{1}g_{s}(x,t,\lambda w,\lambda w_{x})\,d\lambda, \\ b(x,t,w)=x^{-\alpha/2} \int_{0}^{1}g_{p}(x,t,\lambda w,\lambda w_{x})\,d\lambda.\end{gathered} $$

Then (1.5) yields that

$$\begin{aligned} \bigl\Vert c(x,t,w) \bigr\Vert _{L^{\infty}(Q_{T}\times\mathbb{R})}\leq K, \bigl\Vert b(x,t,w) \bigr\Vert _{L^{\infty}(Q_{T}\times\mathbb{R})}\leq K. \end{aligned}$$
(2.9)

Moreover, we can obtain that

$$\begin{aligned} g(x,t,u,u_{x})-g(x,t,0,0) &= \int_{0}^{1}\frac{\partial g(x,t,\lambda u,\lambda u_{x})}{\partial \lambda}\,d\lambda \\ &= \int_{0}^{1}\frac{\partial g(x,t,\lambda u,\lambda u_{x})}{\partial s}u\,d\lambda+ \int_{0}^{1}\frac{\partial g(x,t,\lambda u,\lambda u_{x})}{\partial p}u_{x}\,d \lambda \\ &=c(x,t,u)u+x^{\alpha/2}b(x,t,u) u_{x}. \end{aligned}$$

Furthermore, \(c(x,t,w)\) and \(b(x,t,w)\) satisfy the following property.

Lemma 2.2

Assume that\(\{w_{k}\}_{k=1}^{\infty}\)converges towin\(L^{2}(0,T;H_{\alpha}^{1}(0,1))\), then

$$\begin{aligned} c\bigl(x,t,w_{k}(x,t)\bigr)\rightharpoonup c\bigl(x,t,w(x,t)\bigr) \textit{ weakly }{*} \textit{ in }L^{\infty}(Q_{T}),\quad\textit{as } k\to \infty, \end{aligned}$$
(2.10)
$$\begin{aligned} b\bigl(x,t,w_{k}(x,t)\bigr)\rightharpoonup b\bigl(x,t,w(x,t)\bigr) \textit{ weakly }{*} \textit{ in }L^{\infty}(Q_{T}),\quad\textit{as } k\to \infty \end{aligned}$$
(2.11)

and

$$\begin{aligned} (c(x,t,w_{k}(x,t)-c\bigl(x,t,w(x,t)\bigr)^{2} \rightharpoonup0\textit{ weakly }{*} \textit{ in } L^{\infty}(Q_{T}),\quad \textit{as } k\to\infty, \end{aligned}$$
(2.12)
$$\begin{aligned} (b(x,t,w_{k}(x,t)-b\bigl(x,t,w(x,t)\bigr)^{2} \rightharpoonup0\textit{ weakly }{*} \textit{ in } L^{\infty}(Q_{T}),\quad \textit{as } k\to\infty. \end{aligned}$$
(2.13)

Proof

For convenience, we denote

$$c[w](x,t)=c\bigl(x,t,w(x,t)\bigr),\quad\quad b[w](x,t)=b\bigl(x,t,w(x,t)\bigr), \quad w\in L^{2}\bigl(0,T;H^{1}_{\alpha}(0,1)\bigr). $$

First, we will prove

$$\begin{aligned} \lim_{k\rightarrow\infty} \iint_{Q_{T}} \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt=0. \end{aligned}$$
(2.14)

For each \(\delta>0\), let

$$E_{\delta}=\bigl\{ (x,t)\in Q_{T}:x^{\alpha}\leq\delta\bigr\} ,\qquad F_{\delta}=\bigl\{ (x,t)\in Q_{T}:x^{\alpha}>\delta\bigr\} . $$

Combined \(\lim\limits_{\delta\rightarrow0}\operatorname{meas}E_{\delta}=0\) with (2.9), we only need to prove

$$\begin{aligned} \lim_{k\rightarrow\infty} \iint_{F_{\delta}} \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt=0,\quad \delta>0. \end{aligned}$$
(2.15)

Fix \(\delta>0\), since \(\{w_{k}\}_{k=1}^{\infty}\) converges to w in \(L^{2}(0,T;H^{1}_{\alpha}(0,1))\), then

$$\begin{aligned} \lim_{k\rightarrow\infty} \iint_{F_{\delta}}(w_{k}-w)^{2}\,dx\,dt=0,\qquad \lim _{k\rightarrow\infty} \iint_{F_{\delta}}(w_{kx}-w_{x})^{2}\,dx \,dt=0. \end{aligned}$$
(2.16)

For any integers \(m, j>0\), denote

$$F_{\delta,m}= \bigl\{ (x,t)\in F_{\delta}, \bigl\vert w(x,t) \bigr\vert + \bigl\vert w_{x}(x,t) \bigr\vert >m \bigr\} $$

and

$$F_{\delta,m,j}=\bigl\{ (x,t)\in F_{\delta}:\mbox{there exsits } k\geq j, \mbox{such that } \bigl\vert w_{k}(x,t) \bigr\vert + \bigl\vert w_{kx}(x,t) \bigr\vert >m+1\bigr\} , $$

then

$$\begin{aligned} \lim_{m\rightarrow\infty}\operatorname{meas}F_{\delta,m}=0. \end{aligned}$$
(2.17)

Furthermore, (2.16) shows that

$$\begin{aligned} \lim_{j\rightarrow\infty}\operatorname{meas}(F_{\delta ,m,j} \setminus F_{\delta,m})=0,\quad m=1,2,\cdots. \end{aligned}$$
(2.18)

It follows from the definition of \(c[w](x,t)\) and (2.9) that

$$\begin{aligned}& \iint_{F_{\delta}} \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt \\& \quad= \iint_{F_{\delta}\setminus(F_{\delta,m}\cup F_{\delta,m,j})} \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt+ \iint_{F_{\delta,m}} \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt \\& \quad\quad{}+ \iint_{F_{\delta,m,j}\setminus F_{\delta,m}} \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt \\& \quad\leq \iint_{F_{\delta}\setminus(F_{\delta,m}\cup F_{\delta ,m,j})} \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt \\& \quad\quad{}+2K\operatorname{meas}F_{\delta,m}+2K \operatorname{meas}(F_{\delta ,m,j}\setminus F_{\delta,m}). \end{aligned}$$
(2.19)

Since \(g(x,t,s,p)\) is \(C^{1}\) continuous with respect to s, p uniformly for \((x,t)\in Q_{T}\), then

$$ \begin{aligned}[b] &\lim_{k\rightarrow\infty} \iint_{F_{\delta}\setminus(F_{\delta ,m}\cup F_{\delta,m,j})} \biggl\vert \frac{\partial g}{\partial s}(x,t,\lambda w_{k},\lambda w_{kx})-\frac{\partial g}{\partial s}(x,t,\lambda w, \lambda w_{x})\,d\lambda \biggr\vert \,dx\,dt=0,\\&\quad m, j=1,2,\cdots.\end{aligned} $$
(2.20)

Let \(k\rightarrow\infty\), \(j\rightarrow\infty\), \(m\rightarrow\infty\) in turn in (2.19), one can deduce (2.15) from (2.17), (2.18), (2.20), and thus (2.14) holds.

Fix \(\varphi(x,t)\in L^{1}(Q_{T})\), for any integer \(n>0\), we can deduce from (2.9) that

$$\begin{aligned}& \iint_{Q_{T}}\bigl(c[w_{k}](x,t)-c[w](x,t)\bigr) \varphi(x,t)\,dx\,dt \\& \quad= \iint_{\{(x,t)\in Q_{T}: \vert \varphi(x,t) \vert >n\}}\bigl(c[w_{k}]-c[w]\bigr)\varphi (x,t)\,dx \,dt\\& \qquad{} + \iint_{\{(x,t)\in Q_{T}: \vert \varphi(x,t) \vert \leq n\}}\bigl(c[w_{k}]-c[w]\bigr)\varphi (x,t)\,dx \,dt \\& \quad\leq 2K \iint_{\{(x,t)\in Q_{T}: \vert \varphi(x,t) \vert >n\}} \bigl\vert \varphi(x,t) \bigr\vert \,dx\,dt\\& \qquad{} +n \iint_{\{(x,t)\in Q_{T}: \vert \varphi(x,t) \vert \leq n\} } \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt \end{aligned}$$
(2.21)

and

$$\begin{aligned}& \iint_{Q_{T}}\bigl(c[w_{k}](x,t)-c[w](x,t) \bigr)^{2}\varphi(x,t)\,dx\,dt \\& \quad= \iint_{\{(x,t)\in Q_{T}: \vert \varphi(x,t) \vert >n\}}\bigl(c[w_{k}]-c[w]\bigr)^{2} \varphi (x,t)\,dx\,dt\\& \qquad{}+ \iint_{\{(x,t)\in Q_{T}: \vert \varphi(x,t) \vert \leq n\} }\bigl(c[w_{k}]-c[w]\bigr)^{2} \varphi(x,t)\,dx\,dt \\& \quad\leq4K^{2} \iint_{\{(x,t)\in Q_{T}: \vert \varphi(x,t) \vert >n\}} \bigl\vert \varphi(x,t) \bigr\vert \, dx\,dt\\& \qquad{}+2nK \iint_{\{(x,t)\in Q_{T}: \vert \varphi(x,t) \vert \leq n\} } \bigl\vert c[w_{k}](x,t)-c[w](x,t) \bigr\vert \,dx\,dt. \end{aligned}$$
(2.22)

Let \(k\rightarrow\infty\) and then \(n\rightarrow\infty\) in (2.21) and (2.22), it follows from \(\varphi\in L^{1}(Q_{T})\) and (2.14) that

$$\lim_{k\rightarrow\infty} \iint_{Q_{T}}\bigl(c[w_{k}](x,t)-c[w](x,t)\bigr)\varphi (x,t)\,dx\,dt=0 $$

and

$$\lim_{k\rightarrow\infty} \iint _{Q_{T}}\bigl(c[w_{k}](x,t)-c[w](x,t) \bigr)^{2}\varphi(x,t)\,dx\,dt=0. $$

The convergence for \(b[w](x,t)\) can be proved similarly, the proof is complete. □

Theorem 2.1

For any\(f\in L^{2}(Q_{T})\)and\(u_{0}\in L^{2}(0,1)\), the problem (2.5)(2.8) has a unique weak solution.

Proof

We divide the proof into two steps.

Step 1. Let us prove the existence of the weak solution to the problem by using the Schauder fixed point theorem. It follows from Proposition 2.1 that the problem

$$\begin{aligned}& u_{t}-\bigl(x^{\alpha}u_{x} \bigr)_{x}+x^{\alpha /2}b(x,t,w)u_{x}+c(x,t,w)u=f(x,t)-g(x,t,0,0), \quad(x,t)\in Q_{T}, \end{aligned}$$
(2.23)
$$\begin{aligned}& u(0,t)=u(1,t)=0\quad \mbox{if } 0< \alpha< 1, t\in(0,T), \end{aligned}$$
(2.24)
$$\begin{aligned}& x^{\alpha/2}u_{x}(0,t)=u(1,t)=0\quad \mbox{if } 1\leq\alpha< 2, t \in(0,T), \end{aligned}$$
(2.25)
$$\begin{aligned}& u(x,0)=0, \quad x\in(0,1) \end{aligned}$$
(2.26)

admits a unique weak solution. Define an operator Λ:

$$\varLambda(w)=u,\quad w\in L^{2}\bigl(0,T;H_{\alpha}^{1}(0,1) \bigr), $$

where u is the weak solution to problem (2.23)–(2.26). For any \(\{w_{k}\}_{k=1}^{\infty}\subset L^{2}(0,T;H_{\alpha}^{1}(0,1))\), it follows from (1.5) that \(\{c(x,t,w_{k})\}_{k=1}^{\infty}\) and \(\{ b(x,t,w_{k})\}_{k=1}^{\infty}\) are uniformly bounded in \(L^{\infty }(Q_{T})\), respectively. Therefore, there exists a subsequence of the integer set k, denoted by itself for convenience, such that \(\{ c(x,t,w_{k})\}_{k=1}^{\infty}\) and \(\{b(x,t,w_{k})\}_{k=1}^{\infty}\) converge weakly in \(L^{\infty}(Q_{T})\), respectively. Then, it is deduced from Corollary 2.3 in [12] that there exists a subsequence of \(\{\varLambda(w_{k})\}_{k=1}^{\infty}\), which converges in \(L^{2}(0,T;H_{\alpha}^{1}(0,1))\), hence Λ is precompact.

Now we assume that \(\{w_{k}\}_{k=1}^{\infty}\) converges to w in \(L^{2}(0,T;H_{\alpha}^{1}(0,1))\), it follows from Lemma 2.2 that

$$\begin{aligned} \bigl(c\bigl(x,t,w_{k}(x,t)\bigr)-c\bigl(x,t,w(x,t)\bigr) \bigr)^{2}\rightharpoonup0\mbox{ weakly $*$ in }L^{\infty}(Q_{T}), \\ \bigl(b\bigl(x,t,w_{k}(x,t)\bigr)-b\bigl(x,t,w(x,t)\bigr) \bigr)^{2}\rightharpoonup0 \mbox{ weakly $*$ in }L^{\infty}(Q_{T}). \end{aligned}$$

From the convergence above and Corollary 2.4 in [12], \(\varLambda(w_{k})\) converges to \(\varLambda(w)\) in \(L^{2}(0,T;H_{\alpha}^{1}(0,1))\), therefore Λ is continuous.

According to the discussion above, we know that Λ is precompact and continuous on the closed and convex hull of its range, then Λ satisfies the hypotheses of the Schauder fixed point theorem. Therefore, there exists a function \(u\in L^{2}(0,T;H_{\alpha}^{1}(0,1))\) such that \(u=\varLambda(u)\in\mathcal{M}\) is the weak solution to the problem (2.5)–(2.8).

Step 2. Let us prove the uniqueness of the weak solution. Assume that u and v are two weak solutions to the problem (2.5)–(2.8) and set

$$w(x,t)=u(x,t)-v(x,t),\quad (x,t)\in Q_{T}. $$

Note that

$$\begin{aligned} g(x,t,u,u_{x})-g(x,t,v,v_{x}) ={}& \int_{0}^{1}\frac{\partial}{\partial\lambda}g\bigl(x,t,\lambda u+(1-\lambda)v,\lambda u_{x}+(1-\lambda)v_{x}\bigr)\,d\lambda \\ ={}& \int_{0}^{1}(u-v)\frac{\partial}{\partial s}g\bigl(x,t,\lambda u+(1-\lambda )v,\lambda u_{x}+(1-\lambda)v_{x}\bigr)\,d \lambda \\ &+ \int_{0}^{1}(u-v)_{x}\frac{\partial}{\partial p}g \bigl(x,t,\lambda u+(1-\lambda)v,\lambda u_{x}+(1-\lambda)v_{x} \bigr)\,d\lambda \\ ={}&w \int_{0}^{1}\frac{\partial}{\partial s}g\bigl(x,t,\lambda u+(1-\lambda )v,\lambda u_{x}+(1-\lambda)v_{x}\bigr)\,d \lambda \\ &+w_{x} \int_{0}^{1}\frac{\partial}{\partial p}g\bigl(x,t,\lambda u+(1-\lambda )v,\lambda u_{x}+(1-\lambda)v_{x}\bigr)\,d \lambda \\ ={}&\theta(x,t)w+x^{\alpha/2}\psi(x,t)w_{x},\quad(x,t)\in Q_{T}, \end{aligned}$$

where

$$\begin{aligned}& \theta(x,t)= \int_{0}^{1}\frac{\partial}{\partial s}g\bigl(x,t,\lambda u+(1-\lambda)v,\lambda u_{x}+(1-\lambda)v_{x}\bigr)\,d \lambda, \\& \psi(x,t)=x^{-\alpha/2} \int_{0}^{1}\frac{\partial}{\partial p}g\bigl(x,t,\lambda u+(1-\lambda)v,\lambda u_{x}+(1-\lambda)v_{x}\bigr)\,d \lambda. \end{aligned}$$

Then \(w(x,t)\) is the solution to the following problem:

$$\begin{aligned}& w_{t}-\bigl(x^{\alpha}w_{x}\bigr)_{x}+ \theta(x,t)w+x^{\alpha/2}\psi(x,t)w_{x}=0, \quad(x,t)\in Q_{T}, \\& w(0,t)=w(1,t)=0\quad \mbox{if } 0< \alpha< 1, t\in(0,T), \\& x^{\alpha}w_{x}(0,t)=w(1,t)=0\quad \mbox{if } 1\leq\alpha< 2, t \in(0,T), \\& w(x,0)=0, \quad x\in(0,1). \end{aligned}$$

It follows from Proposition 2.1 that

$$w(x,t)=0,\quad(x,t)\in Q_{T}, $$

which yields

$$u(x,t)=v(x,t),\quad(x,t)\in Q_{T}. $$

The proof is complete. □

Null controllability

In this section, we first consider the approximate null controllability of the linear problem

$$\begin{aligned}& u_{t}-\bigl(x^{\alpha}u_{x}\bigr)_{x}+x^{\alpha/2}b(x,t)u_{x}+c(x,t)u =h(x,t)\chi_{\omega},\quad(x,t)\in{Q_{T}}, \end{aligned}$$
(3.1)
$$\begin{aligned}& u(0,t)=u(1,t)=0\quad \mbox{if }0< \alpha< 1,t\in(0,T), \end{aligned}$$
(3.2)
$$\begin{aligned}& x^{\alpha}u_{x}(0,t)=u(1,t)=0\quad \mbox{if }1\le\alpha< 2, t \in(0,T), \end{aligned}$$
(3.3)
$$\begin{aligned}& u(x,0)=u_{0}(x), \quad x\in(0,1), \end{aligned}$$
(3.4)

where \(b, c\in L^{\infty}(Q_{T})\), \(h\in L^{2}(Q_{T})\), and \(u_{0}\in H_{\alpha}^{1}(0,1)\).

Theorem 3.1

The problem (3.1)(3.4) is approximately null controllable, which means that, for any\(\varepsilon>0\), there exists a function\(h_{\varepsilon}\in L^{2}(Q_{T})\)such that

$$\begin{aligned} \int_{0}^{T} \int_{\omega}h_{\varepsilon}^{2}\,dx\,dt\le C \int_{0}^{1}u_{0}^{2}(x)\, dx,\quad \bigl\Vert u_{\varepsilon}(x,T) \bigr\Vert _{L^{2}(0,1)}\leq\varepsilon, \end{aligned}$$
(3.5)

where\(C>0\)is a constant independent ofεand\(u_{\varepsilon}\)is the solution of (3.1)(3.4) with\(h=h_{\varepsilon}\).

Proof

Define a functional

$$J_{\varepsilon}(h)=\frac{1}{2} \int_{0}^{T} \int_{\omega}h^{2}\,dx\,dt+\frac {1}{2\varepsilon} \int_{0}^{1}u^{2}(x,T)\,dx,\quad h\in L^{2}(Q_{T}), $$

where u is the solution to problem (3.1)–(3.4). It is not hard to prove that the functional has a unique minimum point

$$\begin{aligned} h_{\varepsilon}=-\varphi_{\varepsilon}\chi_{\omega}, \end{aligned}$$
(3.6)

where \(\varphi_{\varepsilon}\) is the solution to the conjugate problem

$$\begin{aligned}& (\varphi_{\varepsilon})_{t}+\bigl(x^{\alpha}( \varphi_{\varepsilon})_{x}\bigr)_{x}+\bigl(x^{\alpha/2}b \varphi_{\varepsilon}\bigr)_{x}-c\varphi =0,\quad(x,t) \in{Q_{T}}, \end{aligned}$$
(3.7)
$$\begin{aligned}& \varphi_{\varepsilon}(0,t)=\varphi_{\varepsilon}(1,t)=0\quad \mbox{if }0< \alpha< 1,t\in(0,T), \end{aligned}$$
(3.8)
$$\begin{aligned}& x^{\alpha}(\varphi_{\varepsilon})_{x}(0,t)= \varphi_{\varepsilon}(1,t)=0\quad \mbox{if }1\le\alpha< 2, t\in(0,T), \end{aligned}$$
(3.9)
$$\begin{aligned}& \varphi_{\varepsilon}(x,T)=\frac{1}{\varepsilon}u_{\varepsilon}(x,T),\quad x\in(0,1). \end{aligned}$$
(3.10)

Multiplying (3.7) by \(u_{\varepsilon}\) and then integrating by parts, one can get that

$$\begin{aligned}& \int_{0}^{1}u_{\varepsilon}(x,T) \varphi_{\varepsilon}(x,T)\,dx- \int _{0}^{1}u_{0}(x) \varphi_{\varepsilon}(x,0)\,dx \\& \quad = \iint_{Q_{T}}\bigl((u_{\varepsilon})_{t}- \bigl(x^{\alpha}(u_{\varepsilon})_{x}\bigr)_{x}+x^{\alpha/2}b(x,t) (u_{\varepsilon})_{x}+c(x,t)u_{\varepsilon}\bigr) \varphi_{\varepsilon}\,dx\,dt \\& \quad= \int_{0}^{T} \int_{\omega}h_{\varepsilon}\varphi_{\varepsilon}\,dx\,dt. \end{aligned}$$
(3.11)

A combination of (3.6), (3.10) and (3.11) implies that

$$\begin{aligned} \int_{0}^{T} \int_{\omega}h_{\varepsilon}^{2}\,dx\,dt+ \frac{1}{\varepsilon}\int _{0}^{1}u^{2}_{\varepsilon}(x,T) \,dx= \int_{0}^{1}u_{0}(x)\varphi_{\varepsilon}(x,0)\,dx. \end{aligned}$$
(3.12)

As shown in Lemma 3.1 [19], there exists a constant C such that

$$\begin{aligned} \int_{0}^{1} \varphi_{\varepsilon}^{2}(x,0) \,dx\le C \int_{0}^{T} \int_{\omega}(\varphi_{\varepsilon})^{2}(x,t)\,dx\,dt. \end{aligned}$$
(3.13)

Using Hölder’s inequality with (3.12) and (3.13), one has

$$\begin{aligned} \int_{0}^{T} \int_{\omega}h^{2}_{\varepsilon} &\leq \int_{0}^{1}u_{0}(x) \varphi_{\varepsilon}(x,0)\,dx \\ &\leq \biggl( \int_{0}^{1}u_{0}^{2}(x)\,dx \biggr)^{1/2} \biggl( \int _{0}^{1}\varphi^{2}_{\varepsilon}(x,0) \,dx \biggr)^{1/2} \\ &\leq \biggl( \int_{0}^{1}u_{0}^{2}(x)\,dx \biggr)^{1/2} \biggl(C \int_{0}^{T} \int _{\omega}\varphi^{2}_{\varepsilon}(x,t)\,dx\,dt \biggr)^{1/2} \\ &\leq C^{1/2} \biggl( \int_{0}^{1}u_{0}^{2}(x)\,dx \biggr)^{1/2} \biggl( \int _{0}^{T} \int_{\omega}h^{2}_{\varepsilon}(x,t)\,dx\,dt \biggr)^{1/2} \end{aligned}$$

and

$$\begin{aligned} \int_{0}^{1}u^{2}_{\varepsilon}(x,T)\,dx &\leq\varepsilon \int_{0}^{1}u_{0}(x)\varphi_{\varepsilon}(x,0) \,dx \\ &\leq\varepsilon \biggl( \int_{0}^{1}u_{0}^{2}(x)\,dx \biggr)^{1/2} \biggl( \int _{0}^{1}\varphi^{2}_{\varepsilon}(x,0) \,dx \biggr)^{1/2} \\ &\leq\varepsilon \biggl( \int_{0}^{1}u_{0}^{2}(x)\,dx \biggr)^{1/2} \biggl(C \int _{0}^{T} \int_{\omega}h^{2}_{\varepsilon}\,dx \biggr)^{1/2},\end{aligned} $$

thus (3.5) holds and the proof is complete. □

Theorem 3.2

If\(u_{0}\in H_{\alpha}^{1}(0,1)\), then the semilinear system (1.1)(1.4) is approximately null controllable, it means that, for any\(\varepsilon>0\), there exists a control function\(h_{\varepsilon}\in L^{2}(Q_{T})\)such that

$$\begin{aligned} \int_{0}^{T} \int_{\omega}h_{\varepsilon}^{2}\,dx\,dt\le C \int_{0}^{1}u_{0}^{2}(x)\, dx,\quad \bigl\Vert u_{\varepsilon}(x,T) \bigr\Vert _{L^{2}(0,1)}\leq\varepsilon, \end{aligned}$$
(3.14)

where\(C>0\)is a constant independent ofεand\(u_{\varepsilon}\)is the solution of (1.1)(1.4) with\(h=h_{\varepsilon}\).

Proof

For any \(w\in\mathcal{M}\), we first consider the following problem:

$$\begin{aligned}& u_{t}-\bigl(x^{\alpha}u_{x}\bigr)_{x}+x^{\alpha/2}b \bigl(x,t,w(x,t)\bigr)u_{x}+c\bigl(x,t,w(x,t)\bigr)u =h \chi_{\omega},\quad(x,t)\in{Q_{T}}, \end{aligned}$$
(3.15)
$$\begin{aligned}& u(0,t)=u(1,t)=0\quad \mbox{if }0< \alpha< 1,t\in(0,T), \end{aligned}$$
(3.16)
$$\begin{aligned}& x^{\alpha}u_{x}(0,t)=u(1,t)=0\quad \mbox{if }1\le\alpha< 2, t \in(0,T), \end{aligned}$$
(3.17)
$$\begin{aligned}& u(x,0)=u_{0}(x),\quad x\in(0,1). \end{aligned}$$
(3.18)

For any \(h\in L^{2}(Q_{T})\), we denote \(u[w]\) to be the solution to the problem (3.15)–(3.18). Theorem 3.1 shows that, for any \(\varepsilon>0\), there exists a function \(h_{\varepsilon}[w]=\min\limits_{h\in L^{2}(Q_{T})} J_{\varepsilon}[w](h)\) such that

$$\begin{aligned} \int_{0}^{T} \int_{\omega}\bigl(h_{\varepsilon}[w]\bigr)^{2}\,dx\,dt \le C \int _{0}^{1}u_{0}^{2}(x)\,dx,\quad \bigl\Vert u_{\varepsilon}[w](x,T) \bigr\Vert _{L^{2}(0,1)}\leq \varepsilon, \end{aligned}$$
(3.19)

where

$$J_{\varepsilon}[w](h)=\frac{1}{2} \int_{0}^{T} \int_{\omega}h^{2}\,dx\,dt+\frac {1}{2\varepsilon} \int_{0}^{1}u^{2}[w](x,T)\,dx,\quad h\in L^{2}(Q_{T}) $$

and \(u_{\varepsilon}[w]\) is the solution to problem (3.15)–(3.18) with \(h=h_{\varepsilon}\). Define an operator as follows:

$$\varGamma:w\in\mathcal{M}\mapsto u_{\varepsilon}[w]\in\mathcal{M}. $$

It is easy to prove that Γ is a bounded and compact operator from Proposition 2.1 and Lemma 2.1.

Now we will focus on proving the continuity of Γ. If \(\{w_{k}\} _{k=1}^{\infty}\) converges to w in \(\mathcal{M}\), then we have (2.10) and (2.11) from Lemma 2.2. Since \(h_{\varepsilon}[{w_{k}}]\) is bounded due to (3.19), then there exists a subsequence of \(\{h_{\varepsilon}[{w_{k}}]\} _{k=1}^{\infty}\), denoted by itself for convenience, such that \(\{h_{\varepsilon}[{w_{k}}]\}_{k=1}^{\infty}\) converges weakly to \(\bar {h}_{\varepsilon}\) in \(L^{2}(Q_{T})\). Moreover, it follows from Proposition 2.1 and Lemma 2.1 that there exists a subsequence of \(\{u_{\varepsilon}[{w_{k}}]\} _{k=1}^{\infty}\), denoted by itself for convenience, such that \(\{ u_{\varepsilon}[{w_{k}}]\}_{k=1}^{\infty}\) converges to \(\bar {u}_{\varepsilon}\) in \(\mathcal{M}\). Similarly, we can get that, for any \(h\in L^{2}(Q_{T})\), \(\{u[{w_{k}}]\}_{k=1}^{\infty}\) converges to \(u[w]\) in \(\mathcal{M}\). From Definition 2.1, we know that, for any function \(\varphi\in\mathcal{M}\) with \(\varphi_{t}\in L^{2}(Q_{T})\) and \(\varphi(\cdot,T) |_{(0,1)}=0\), the following integral equality holds:

$$\begin{aligned}& \iint_{Q_{T}} \bigl(-u_{\varepsilon}[w_{k}] \varphi_{t}+x^{\alpha}\bigl(u_{\varepsilon}[w_{k}] \bigr)_{x}\varphi_{x}+x^{\alpha/2}b(x,t,w_{k}) \bigl(u_{\varepsilon}[w_{k}]\bigr)_{x} \varphi\\& \qquad{}+c(x,t,w_{k})u_{\varepsilon}[w_{k}]\varphi \bigr) \,dx\,dt \\& \quad= \iint_{Q_{T}}h_{\varepsilon}[w_{k}]\chi_{\omega}\varphi\,dx\,dt+ \int _{0}^{1} u_{0}(x)\varphi(x,0)\,dx. \end{aligned}$$
(3.20)

Letting \(k\to\infty\) in (3.20), we have

$$\begin{aligned}& \iint_{Q_{T}} \bigl(-\bar{u}_{\varepsilon}\varphi_{t}+x^{\alpha}( \bar {u}_{\varepsilon})_{x}\varphi_{x}+x^{\alpha/2}b(x,t,w) (\bar{u}_{\varepsilon})_{x}\varphi+c(x,t,w)\bar{u}_{\varepsilon}\varphi \bigr)\,dx\,dt \\& \quad= \iint_{Q_{T}}\bar{h}_{\varepsilon}\chi_{\omega}\varphi\,dx \,dt+ \int _{0}^{1} u_{0}(x)\varphi(x,0)\,dx, \end{aligned}$$

which means that \(\bar{u}_{\varepsilon}\) is the weak solution to the problem (3.15)–(3.18) with \(h=\bar {h}_{\varepsilon}\). To prove the continuity of Γ, we only need to prove \(\bar{h}_{\varepsilon}=h_{\varepsilon}[w]\). Since \(h_{\varepsilon}[{w_{k}}]\) is the minimum of \(J_{\varepsilon}[{w_{k}}]\), then for all \(h\in L^{2}(Q_{T})\), it is obvious that

$$\begin{aligned}& \frac{1}{2} \int_{0}^{T} \int_{\omega}\bigl(h_{\varepsilon}[{w_{k}}] \bigr)^{2}\,dx\,dt+\frac {1}{2\varepsilon} \int_{0}^{1}\bigl(u_{\varepsilon}[{w_{k}}] \bigr)^{2}(x,T)\,dx \\& \quad\le\frac{1}{2} \int_{0}^{T} \int_{\omega}h^{2}\,dx\,dt+\frac{1}{2\varepsilon } \int_{0}^{1}\bigl(u[{w_{k}}] \bigr)^{2}(x,T)\,dx. \end{aligned}$$
(3.21)

Note that

$$\begin{gathered} h_{\varepsilon}[{w_{k}}]\rightharpoonup\bar{h}_{\varepsilon}\mbox{ in } L^{2}(Q_{T}), \quad u_{\varepsilon}[{w_{k}}] \rightarrow\bar{u}_{\varepsilon}\mbox{ in } \mathcal{M},\quad u[{w_{k}}] \rightarrow u[w] \mbox{ in } \mathcal{M}, \quad\mbox{as } k\rightarrow\infty.\end{gathered} $$

Let \(k\rightarrow\infty\) in (3.21), we obtain that

$$\begin{aligned}& \frac{1}{2} \int_{0}^{T} \int_{\omega}(\bar{h}_{\varepsilon})^{2}\,dx\,dt+ \frac {1}{2\varepsilon} \int_{0}^{1}(\bar{u}_{\varepsilon})^{2}(x,T) \,dx \\& \quad\le\frac{1}{2} \int_{0}^{T} \int_{\omega}h^{2}\,dx\,dt+\frac{1}{2\varepsilon } \int_{0}^{1}\bigl(u[{w}]\bigr)^{2}(x,T) \,dx. \end{aligned}$$

Thus, \(\bar{h}_{\varepsilon}=h_{\varepsilon}[w]=\min\limits_{h\in L^{2}(Q_{T})} J_{\varepsilon}[w](h)\), so Γ is continuous.

From the discussion above, one can get that Γ satisfies the hypotheses of the Schauder fixed point theorem. Therefore, there exists a fixed point \(u\in\mathcal {M}\) such that \(\varGamma(u)=u\), it means that u is the solution to problem (1.1)–(1.4) and satisfies (3.14). The proof is complete. □

Inspired by the proof of Theorem 3.6 and Theorem 3.8 in [3], one can prove the null controllability of system (1.1)–(1.4).

Theorem 3.3

The problem (1.1)(1.4) is null controllable. More precisely, for any\(u_{0}\in L^{2}(0,1)\), there exists a control function\(h\in L^{2}(Q_{T})\)such that the solutionuto the problem (1.1)(1.4) satisfies

$$u(x,T)=0,\quad\textit{a.e. } x\in(0,1). $$

References

  1. 1.

    Alabau-Boussouira, F., Cannarsa, P., Fragnelli, G.: Carleman estimates for degenerate parabolic operators with applications to null controllability. J. Evol. Equ. 6(2), 161–204 (2006)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Cannarasa, P., Tort, J., Yamamoto, M.: Unique continuation and approximate controllability for a degenerate parabolic equation. Appl. Anal. 91(8), 1409–1425 (2012)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Cannarsa, P., Fragnelli, G.: Null controllability of semilinear degenerate parabolic equations in bounded domains. Electron. J. Differ. Equ. 2006, Article ID 136 (2006)

    MathSciNet  MATH  Google Scholar 

  4. 4.

    Cannarsa, P., Fragnelli, G., Vancostenoble, J.: Linear degenerate parabolic equations in bounded domains: controllability and observability. In: Systems, Control, Modeling and Optimization. IFIP Int. Fed. Inf. Process., vol. 202, pp. 163–173. Springer, New York (2006)

    Google Scholar 

  5. 5.

    Cannarsa, P., Fragnelli, G., Vancostenoble, J.: Regional controllability of semilinear degenerate parabolic equations in bounded domains. J. Math. Anal. Appl. 320(2), 804–818 (2006)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Cannarsa, P., Martinez, P., Vancostenoble, J.: Persistent regional null controllability for a class of degenerate parabolic equations. Commun. Pure Appl. Anal. 4, 607–635 (2004)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Cannarsa, P., Martinez, P., Vancostenoble, J.: Persistent regional controllability for a class of degenerate parabolic equations. Commun. Pure Appl. Anal. 3(4), 607–635 (2004)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Cannarsa, P., Martinez, P., Vancostenoble, J.: Null controllability of degenerate heat equations. Adv. Differ. Equ. 2, 153–190 (2005)

    MathSciNet  MATH  Google Scholar 

  9. 9.

    Cannarsa, P., Martinez, P., Vancostenoble, J.: Carleman estimates for a class of degenerate parabolic operators. SIAM J. Control Optim. 47(1), 1–19 (2008)

    MathSciNet  Article  Google Scholar 

  10. 10.

    Du, R.: Approximate controllability of a class of semilinear degenerate systems with boundary control. J. Differ. Equ. 256, 3141–3165 (2014)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Du, R., Wang, C.: Null controllability of a class of systems governed by coupled degenerate equations. Appl. Math. Lett. 26(1), 113–119 (2013)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Du, R., Wang, C., Zhou, Q.: Approximate controllability of a semilinear system involving a fully nonlinear gradient term. Appl. Math. Optim. 70, 165–183 (2014)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Du, R., Xu, F.: On the boundary controllability of a semilinear degenerate system with the convection term. Appl. Math. Comput. 303, 113–127 (2017)

    MathSciNet  MATH  Google Scholar 

  14. 14.

    Du, R., Xu, F.: Null controllability of a coupled degenerate system with the first order terms. J. Dyn. Control Syst. 24, 83–92 (2018)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Fabre, C.: Uniqueness results for Stokes equations and their consequences in linear and nonlinear control problems. ESAIM Control Optim. Calc. Var. 1, 267–302 (1996)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Fabre, C., Puel, J., Zuazua, E.: Approximate controllability of a semilinear heat equation. Proc. R. Soc. Edinb., Sect. A 125(1), 31–61 (1995)

    MathSciNet  Article  Google Scholar 

  17. 17.

    Fernández-Cara, E., Zuazua, E.: The cost of approximate controllability for heat equations: the linear case. Adv. Differ. Equ. 5, 465–514 (2000)

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Fernández-Cara, E., Zuazua, E.: Null and approximate controllability for weakly blowing up semilinear heat equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 17(5), 583–616 (2000)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Flores, C., Teresa, L.: Carleman estimates for degenerate parabolic equations with first order terms and applications. C. R. Acad. Sci. Paris, Ser. I 348, 391–396 (2010)

    MathSciNet  Article  Google Scholar 

  20. 20.

    Fursikov, A.V., Imanuvilov, O.Y.: Controllability of Evolution Equations. Lecture Notes Series, vol. 34. Seoul National University, Seoul (1996)

    Google Scholar 

  21. 21.

    Gao, H., Hou, X., Pavel, N.H.: Optimal control and controllability problems for a class of nonlinear degenerate diffusion equations. Panam. Math. J. 13(1), 103–126 (2003)

    MathSciNet  MATH  Google Scholar 

  22. 22.

    Lin, P., Gao, H., Liu, X.: Some results on controllability of a nonlinear degenerate parabolic system by bilinear control. J. Math. Anal. Appl. 326(2), 1149–1160 (2007)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Lions, J.L.: Remarques sur la contrôlabilité approchée. In: Proceedings of “Jornadas Hispano-Francesas sobre Control de Sistemas Distribuidos”, University of Málaga, Spain (1990)

    Google Scholar 

  24. 24.

    Lions, J.L.: Remarks on approximate controllability. J. Anal. Math. 59, 103–116 (1992)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Martinez, P., Raymond, J.P., Vancostenoble, J.: Regional null controllability of a linearized Crocco-type equation. SIAM J. Control Optim. 42(2), 709–728 (2003)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Martinez, P., Vancostenoble, J.: Carleman estimates for one-dimensional degenerate heat equations. J. Evol. Equ. 6(2), 325–362 (2006)

    MathSciNet  Article  Google Scholar 

  27. 27.

    Wang, C.: Approximate controllability of a class of degenerate systems. Appl. Math. Comput. 203(1), 447–456 (2008)

    MathSciNet  MATH  Google Scholar 

  28. 28.

    Wang, C.: Approximate controllability of a class of semilinear systems with boundary degeneracy. J. Evol. Equ. 10(1), 163–193 (2010)

    MathSciNet  Article  Google Scholar 

  29. 29.

    Wang, C., Du, R.: Approximate controllability of a class of semilinear degenerate systems with convection term. J. Differ. Equ. 254(9), 3665–3689 (2013)

    MathSciNet  Article  Google Scholar 

  30. 30.

    Xu, J., Wang, C., Nie, Y.: Carleman estimate and null controllability of a cascade degenerate parabolic system with general convection terms. Electron. J. Differ. Equ. 2018, Article ID 195 (2018)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees for their valuable comments and suggestions which improved the original manuscript.

Availability of data and materials

No applicable.

Funding

This work is supported by the National Nature Science Foundation of China (No. 11601182, Yuanyuan Nie), by the National Nature Science Foundation of China (No. 11801211, Qian Zhou), by the Science and Technology Development Project of Jilin Province (20180520213JH, Yuanyuan Nie), and by the Scientific and Technological Project of Jilin Provinces’s Education Department in Thirteenth-five-Year (JJKH20180114KJ, Yuanyuan Nie).

Author information

Affiliations

Authors

Contributions

All the authors contributed to each part of this study equally, read and approved the final version of the manuscript.

Corresponding author

Correspondence to Qian Zhou.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Xu, F., Zhou, Q. & Nie, Y. Null controllability of a semilinear degenerate parabolic equation with a gradient term. Bound Value Probl 2020, 55 (2020). https://doi.org/10.1186/s13661-020-01351-2

Download citation

Keywords

  • Null controllability
  • The semilinear problem
  • Degenerate parabolic equation