Theory and Modern Applications

# On a Kirchhoff diffusion equation with integral condition

## Abstract

This paper is devoted to Kirchhoff-type parabolic problem with nonlocal integral condition. Our problem has many applications in modeling physical and biological phenomena. The first part of our paper concerns the local existence of the mild solution in Hilbert scales. Our results can be studied into two cases: homogeneous case and inhomogeneous case. In order to overcome difficulties, we applied Banach fixed point theorem and some new techniques on Sobolev spaces. The second part of the paper is to derive the ill-posedness of the mild solution in the sense of Hadamard.

## 1 Introduction

Kirchhoff problems have been considerably investigated recently, see [1â€“6]. The topic of Kirchhoff-type models arises from their contributions to the modeling of many physical and biological phenomena. Kirchhoff-type problems also appear in reactionâ€“diffusion equations that concern population density. For more applications of such modeling and Kirchhoff-type problems, we refer to [7]. In our paper, we consider the following Kirchhoff-type problem for parabolic equation:

\begin{aligned} \textstyle\begin{cases} \partial _{t} u(x,t) = \mathcal{M}( \Vert u \Vert _{L^{2}} ) \Delta u + F(x,t) , & (x,t) \in \Omega \times (0,T), \\ u(x,t) = 0, & x \in \partial \Omega , t \in (0,T], \end{cases}\displaystyle \end{aligned}
(1.1)

with the following nonlocal condition:

\begin{aligned} \alpha u(x,0)+ \beta \int _{0}^{T} u(x,t)\,dt = \psi (x), \quad x \in \Omega . \end{aligned}
(1.2)

Here $$\mathcal{M} \in C^{1}(\mathbb{R})$$ is a function satisfying $$m_{0} \le \mathcal{M}(s) \le \overline{m}_{0}$$ $$\forall s \in \mathbb{R}$$. Moreover, we assume that there exists $$K >0$$ such that $$|\mathcal{M}(s) - \mathcal{M}(t)| \le K|s-t|$$, $$s,t \in \mathbb{R}$$. The nonlocal problem as above was first considered in [8], where Chipot et al. focused on the following equation:

\begin{aligned} \partial _{t} u(x,t) = \mathcal{M} \biggl( \int _{\Omega }u \,dx \biggr) \Delta u + F(x,t). \end{aligned}
(1.3)

One application of equation (1.3) is to model the density of a population of bacteria; it also appears when investigating heat propagation or in epidemic theory.

In [8], the authors also studied a nonlocal problem as follows:

\begin{aligned} \textstyle\begin{cases} u_{t}(x,t)-\mathcal{M}(\ell (u)(t))\Delta u =F(x,t), & \text{in } \Omega \times (0,T), \\ u=0, & \text{on } \Sigma , \\ u(x,0)=u_{0}(x), & \text{in } \Omega \times \{T\}. \end{cases}\displaystyle \end{aligned}
(1.4)

Here $$\ell : L^{2}(\Omega ) \to \mathbb{R}$$ is a continuous linear form. The function u is here the density of a population located at x at the time t, F is the external source, $$\mathcal{M}$$ is the diffusion rate. Very recently, Ferreira et al. [9] have studied a model with nonlocal coupled diffusivity terms

\begin{aligned} \textstyle\begin{cases} u_{t}-\mathcal{D}_{1}(p(u)(t),q(v)(t))\Delta u= f_{1}(u,v), & \text{in } Q_{T}, \\ v_{t}-\mathcal{D}_{2}(r(u)(t),s(v)(t))\Delta v =f_{2}(u,v), & \text{in } Q_{T}, \\ u=u_{0},\quad v=v_{0}, & \text{in } \Omega \times \{0\}. \end{cases}\displaystyle \end{aligned}

Although initial problems have been investigated by many authors, there are very few papers for the inverse problems of a nonlocal parabolic equation. In [10], the authors consider the backward in time nonlocal nonlinear parabolic equation as follows

\begin{aligned} \textstyle\begin{cases} u_{t}(x,t)-\mathcal{D}(\ell (u)(t))\Delta u =F(u,x,t), & \text{in } \Omega \times (0,T), \\ \frac{\partial u}{\partial \sigma }=0, & \text{on } \Sigma , \\ u(x,T)=g(x), & \text{in } \Omega \times \{T\}. \end{cases}\displaystyle \end{aligned}
(1.5)

Very recently, Tuan, Nam, and Nhat [11] first studied a terminal value problem for Kirchhoffâ€™s model of parabolic type as follows:

\begin{aligned} \textstyle\begin{cases} \partial _{t} u(x,t) = \mathcal{M}( \Vert u \Vert _{L^{2}} ) \Delta u + F(x,t) ,& (x,t) \in \Omega \times (0,T), \\ u(x,t) = 0, & x \in \partial \Omega , t \in (0,T], \\ u(x,T)=g(x) & x \in \partial \Omega . \end{cases}\displaystyle \end{aligned}
(1.6)

If $$\alpha =0$$, $$\beta =1$$, problem (1.1) and some similar models have been recently considered by N. Dokuchaev [12, 13], S.I. Volodymyr et al. [14], S.L. Pulkina et al. [15], and in the references therein. Besides, there are many works which focused on this topic; see, e.g., [16â€“27].

For the two problems above, the authors showed that they are ill-posed and then focused on their regularization methods. Our paper is motivated by the recent paper [12] in which the authors considered the nonlocal in time condition replacing the usual Cauchy conditions, that is,

$$\alpha u(x,0)+\beta \int _{0}^{T}u(x,t)\,dt=\psi (x).$$
(1.7)

The problem for this equation with the Cauchy condition $$u(x,0) \equiv g(x)$$ at the initial time $$t= 0$$ is well-posed in the usual classes of solutions. In contrast, the problem with the Cauchy condition $$u(x,T) \equiv g(x)$$ at the terminal time $$t=T$$ is ill-posed. This means that a prescribed profile of temperature at time $$t=T$$ cannot be achieved via an appropriate selection of the initial temperature. Respectively, the initial temperature profile cannot be recovered from the observed temperature at the terminal time. In particular, the process is not robust with respect to small deviations of its terminal profile $$u(\cdot ,T)$$. This makes this problem ill-posed, despite the fact that solvability and uniqueness can still be achieved for some very smooth analytical boundary data or for a special selection of the domains. We can interpret this as the existence of a diffusion with a prescribed average over a time interval. In addition, this can be interpreted as solvability of the following inverse problem: given $$\int ^{T}_{0} u(x,t)\,dt$$ for all $$x \in \Omega$$, recover the entire process $$u(x,t)$$ on $$\Omega \times (0,T)$$.

Our main results in this paper are described as follows:

• The first part focuses on the local existence of a mild solution.

• The second part gives the ill-posedness of our problem in the simple case $$F=0$$, $$\alpha =0$$.

To the best of our knowledge, our results concerning the nonlocal condition for Kirchhoff diffusion equation have not been investigated, yet.

This paper is organized as follows. SectionÂ 2 introduces some preliminaries and mild solutions of our problem. SectionÂ 3 derives the well-posedness of the mild solution in the homogeneous case. In Sect.Â 4, we extend the results of Sect.Â 3 to the inhomogeneous case. Finally, in Sect.Â 5, we show the ill-posedness of the mild solution.

## 2 Preliminaries

Let us introduce a few properties of the eigenvalues of the operator âˆ’Î”, see [6]. We have the following equality:

\begin{aligned} -\Delta \varphi _{n} (x) = -\lambda _{n} \varphi _{n}(x), \quad x \in \Omega ; \qquad \varphi _{n} =0, \quad x \in \partial \Omega , n \in \mathbb{N}, \end{aligned}
(2.1)

where $$\{\lambda _{n} \}_{n=1}^{\infty }$$ is called the set of eigenvalues of âˆ’Î” satisfying

\begin{aligned} 0 < \lambda _{1} \le \lambda _{2} \le \cdots \le \lambda _{n} \le \cdots , \end{aligned}
(2.2)

and $$\lim_{n \to \infty } \lambda _{n} = \infty$$. For any $$q \ge 0$$, we also define the space

\begin{aligned} H^{q}(\Omega ) = \Biggl\{ u \in L_{2}(\Omega ) : \sum _{n=1}^{\infty } \lambda _{n}^{2q} \bigl\vert (u,\varphi _{n} ) \bigr\vert ^{2} < \infty \Biggr\} , \end{aligned}
(2.3)

then $$H^{q}(\Omega )$$ is a Hilbert space endowed with the norm

\begin{aligned} \Vert u \Vert _{H^{q}(\Omega )} = \Biggl( \sum_{n=1}^{\infty } \lambda _{n}^{2q} \bigl\vert (u,e_{n}) \bigr\vert ^{2} \Biggr)^{\frac{1}{2}} \cdot \end{aligned}
(2.4)

### Lemma 2.1

The following inclusions hold true:

\begin{aligned} \left . \textstyle\begin{array}{l} L^{p}(\Omega ) \hookrightarrow D(\mathcal{A}^{\sigma }),\quad \textit{if } - \frac{d}{4} < \sigma \le 0, p \ge \frac{2d}{d-4\sigma }, \\ D(\mathcal{A}^{\sigma }) \hookrightarrow L^{p}(\Omega ), \quad \textit{if } 0\le \sigma < \frac{d}{4}, p \le \frac{2d}{d-4\sigma }. \end{array}\displaystyle \right \} \end{aligned}
(2.5)

For $$r\ge 0$$ and $$v \in L^{\infty }((0,T); D(\mathcal{A}^{r}))$$, we denote

$$\Vert v \Vert _{r}= \mathop{\operatorname{esssup}}_{0\le t \le T} \bigl\Vert v(t) \bigr\Vert _{D(\mathcal{A}^{r})}.$$

### 2.1 The mild solution of our problem

Let us assume that problem (1.1) has a unique solution u. Assume that the exact u is given by a Fourier series

\begin{aligned} u(t,x) = \sum_{n=1}^{\infty }u_{n}(t) \varphi _{n}(x), \quad \text{with } u_{n}(t) = \big\langle u(t,\cdot ), \varphi _{n}(\cdot ) \big\rangle . \end{aligned}
(2.6)

Multiplying both sides of (1.1) by the term $$\exp ( \int _{0}^{t} \lambda _{n} \mathcal{M} (\|u(\cdot ,s)\|_{L^{2}})\,ds )$$, we get that

\begin{aligned} u_{n}(t)={}& \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u( \cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr) u_{n} (0) \\ &{}+ \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds. \end{aligned}
(2.7)

From the condition $$\alpha u(x,0)+ \beta \int _{0}^{T} u(x,t)\,dt = \psi (x)$$, we know that

\begin{aligned} \alpha u_{n}(0)+ \beta \int _{0}^{T} u_{n}(t)\,dt= \psi _{n}. \end{aligned}
(2.8)

Therefore, we obtain that

\begin{aligned} & \biggl( \alpha + \beta \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt \biggr) u_{n} (0) \\ &\quad {}+ \beta \int _{0}^{T} \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt= \psi _{n} . \end{aligned}
(2.9)

This gives that

\begin{aligned} u_{n}(0)= \frac{ \psi _{n} - \beta \int _{0}^{T} \int _{0}^{t} \exp ( - \lambda _{n} \int _{s}^{t} \mathcal{M} ( \Vert u(\cdot ,\eta ) \Vert _{L^{2}})\,d\eta ) F_{n}(s)\,ds \,dt}{ \alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt }. \end{aligned}
(2.10)

The latter equality, together with expression (2.7), yields that

\begin{aligned} u_{n}(t)={}& \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) \psi _{n}}{\alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \\ &{}- \beta \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) \int _{0}^{T} \int _{0}^{t} \exp ( - \lambda _{n} \int _{s}^{t} \mathcal{M} ( \Vert u(\cdot ,\eta ) \Vert _{L^{2}})\,d\eta ) F_{n}(s)\,ds \,dt }{\alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \\ &{}+ \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds. \end{aligned}
(2.11)

Let us define the following operators:

\begin{aligned}& \Phi _{1} u (t)= \sum_{n=1}^{\infty } \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) \psi _{n}}{\alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \varphi _{n}, \end{aligned}
(2.12)
\begin{aligned}& \Phi _{2} u (t) \\& \quad = \beta \sum_{n=1}^{\infty } \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) \int _{0}^{T} \int _{0}^{t} \exp ( - \lambda _{n} \int _{s}^{t} \mathcal{M} ( \Vert u(\cdot ,\eta ) \Vert _{L^{2}})\,d\eta ) F_{n}(s)\,ds \,dt }{\alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \varphi _{n}, \end{aligned}
(2.13)

and

\begin{aligned} \Phi _{3} u (t)= \sum_{n=1}^{\infty } \biggl( \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \biggr) \varphi _{n}. \end{aligned}
(2.14)

The above three definitions lead to

\begin{aligned} u(t)= \Phi _{1} u (t)+ \Phi _{2} u (t)+ \Phi _{3} u (t). \end{aligned}
(2.15)

## 3 The existence of a mild solution in the homogeneous case

In this section, we derive the existence and uniqueness of the mild solution in the case of $$F=0$$. We will show that the following integral equation:

$$u(t) = \sum_{n=1}^{\infty } \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) \psi _{n}}{\alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \varphi _{n}$$
(3.1)

has a unique solution.

### Theorem 3.1

1. (a)

Let $$\alpha >0$$, $$\beta >0$$, and $$\psi \in D(\mathcal{A}^{r+1})$$. If T is small enough, problem (3.1) has a unique solution $$u \in L^{\infty }(0,T; D(\mathcal{A}^{r}))$$.

2. (b)

Let $$\alpha =0$$, $$\beta >0$$, and $$\psi \in D(\mathcal{A}^{r+2})$$. If T is small enough, problem (3.1) has a unique solution $$u \in L^{\infty }(0,T; D(\mathcal{A}^{r}))$$.

### Remark 3.1

The property of global existence for the mild solution of problem (3.1) is an open problem and is more difficult. We will discuss it in future works.

### Proof

We will show that

$$\Phi _{1} u=u$$

by using Banach fixed point theorem. Now, we divide the proof into two parts.

Part 1. Estimate the term $$\|\Phi _{1} u- \Phi _{1} v \|_{ L^{\infty }_{a} (0,T;D(\mathcal{A}^{r} ) )}$$ in the case $$\alpha >0$$, $$\beta >0$$

First, we get that

\begin{aligned} & \Vert \Phi _{1} u- \Phi _{1} v \Vert _{D(\mathcal{A}^{r} )}^{2} \\ &\quad = \sum_{n=1}^{\infty }\lambda _{n}^{2r} \biggl( \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) }{\alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \\ &\qquad {} - \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds ) }{\alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \biggr)^{2} \psi _{n}^{2} \\ &\quad \le 2 \alpha ^{2} \\ &\qquad {}\times \sum_{n=1}^{\infty } \lambda _{n}^{2r} \frac{ ( \mathcal{H}_{1}(u,v) )^{2} }{ ( \alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt )^{2} ( \alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt )^{2} } \psi _{n}^{2} \\ &\qquad {}+ 2 \beta ^{2} \\ &\qquad {}\times \sum_{n=1}^{\infty } \lambda _{n}^{2r} \frac{ ( \mathcal{H}_{2}(u,v) )^{2} }{ ( \alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) \,dt )^{2} ( \alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds ) \,dt )^{2} } \psi _{n}^{2} \\ &\quad =J_{1}+ J_{2}, \end{aligned}
(3.2)

where we denote

\begin{aligned} &\mathcal{H}_{1,n}(u,v)= \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr) - \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert v(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr) \end{aligned}
(3.3)
\begin{aligned} &\mathcal{H}_{2,n}(u,v) \\ &\quad = \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr) \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert v(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt \\ &\qquad {} - \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert v(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr) \int _{0}^{T} \\ &\qquad {}\times \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt . \end{aligned}
(3.4)

First, applying the inequality $$|e^{-y}- e^{-z}| \le |y-z|$$, we estimate $$\mathcal{H}_{1}$$ as follows:

\begin{aligned} \bigl\vert \mathcal{H}_{1,n}(u,v) \bigr\vert & \le \lambda _{n} \int _{0}^{t} \bigl( \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr) - \mathcal{M} \bigl( \bigl\Vert v(\cdot ,s) \bigr\Vert _{L^{2}}\bigr) \bigr)\,ds \\ &\le K \lambda _{n} \int _{0}^{t} \Vert u-v \Vert ^{2}_{L^{2}}\,ds. \end{aligned}
(3.5)

\begin{aligned} J_{1} &\le \frac{2}{\alpha ^{2}} \sum _{n=1}^{\infty } \bigl\vert \mathcal{H}_{1,n}(u,v) \bigr\vert ^{2} \lambda _{n}^{2r} \psi _{n}^{2} \\ &\le \frac{2K^{2}}{\alpha ^{2}} \sum_{n=1}^{\infty } \lambda _{n}^{2r+2} \psi _{n}^{2} \biggl( \int _{0}^{t} \Vert u-v \Vert ^{2}_{L^{2}}\,ds \biggr) \\ & \le \frac{2K^{2}T}{\alpha ^{2}} \Vert \psi \Vert _{D(\mathcal{A}^{r+1})}^{2} \Vert u-v \Vert ^{2}_{r}. \end{aligned}
(3.6)

Noting that $$m_{0} \le \mathcal{M}(z) \le \overline{m}_{0}$$, we get that

\begin{aligned} &\mathcal{H}_{2,n}(u,v) \\ &\quad \le \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr) \\ &\qquad {}\times \biggl( \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert v(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt \\ &\qquad {}- \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt \biggr) \\ &\qquad {}+ \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt \\ &\qquad {}\times \biggl( \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)- \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert v(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr) \biggr) \\ &\quad \le \int _{0}^{T} \lambda _{n} \int _{0}^{t} \bigl(\mathcal{M} \bigl( \bigl\Vert v( \cdot ,s) \bigr\Vert _{L^{2}}\bigr) - \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr) \bigr)\,ds \,dt \\ &\qquad {}+ T \lambda _{n} \int _{0}^{t} \bigl(\mathcal{M} \bigl( \bigl\Vert v(\cdot ,s) \bigr\Vert _{L^{2}}\bigr) - \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr) \bigr)\,ds. \end{aligned}
(3.7)

Since $$\mathcal{M}$$ is globally Lipschitz and noting the Sobolev embedding $$D(\mathcal{A}^{r}) \hookrightarrow L^{2}(\Omega )$$, we derive that

\begin{aligned} & \bigl\vert \mathcal{H}_{2,n}(u,v) \bigr\vert ^{2} \\ &\quad \le K^{2} \lambda _{n}^{2} \biggl( \int _{0}^{T} \int _{0}^{t} \bigl\Vert u(\cdot ,s)-v(\cdot ,s) \bigr\Vert _{L^{2}}\,ds \,dt \biggr)^{2}+ T^{2} \lambda _{n}^{2} \biggl( \int _{0}^{t} \bigl\Vert u( \cdot ,s)-v(\cdot ,s) \bigr\Vert _{L^{2}}\,ds \biggr)^{2} \\ &\quad \le \bigl( K^{2} \lambda _{n}^{2} T^{3}+ T^{3} \lambda _{n}^{2} \bigr) \Vert u-v \Vert ^{2}_{r}. \end{aligned}
(3.8)

Here we have applied HÃ¶lder inequality. Combining (3.2), (3.6), and (3.8), we get that

\begin{aligned} \Vert \Phi _{1} u- \Phi _{1} v \Vert _{D(\mathcal{A}^{r} )}^{2} \le \overline{C}_{1}(T) \Vert \psi \Vert _{D(\mathcal{A}^{r+1})}^{2} \Vert u-v \Vert ^{2}_{a,r}, \end{aligned}
(3.9)

where we denote $$\overline{C}_{1}(T)=2\beta ^{2} (K^{2} T^{3}+T^{3})+ \frac{2K^{2}T}{\alpha ^{2}}$$. Since the left-hand side of (3.9) is independent of t, we know that

\begin{aligned} \Vert \Phi _{1} u- \Phi _{1} v \Vert ^{2}_{r} \le \overline{C}_{1}(T) \Vert \psi \Vert _{D(\mathcal{A}^{r+1})}^{2} \Vert u-v \Vert ^{2}_{r}. \end{aligned}
(3.10)

By choosing T small enough, we can deduce that $$\Phi _{1}$$ is a contraction on $$L^{\infty }(0,T; D(\mathcal{A}^{r}))$$. We only show that if $$v_{0}=0$$ then $$\Phi _{1} v_{0} \in L^{\infty }(0,T; D(\mathcal{A}^{r}))$$. Indeed,

\begin{aligned} \Phi _{1} v_{0}&= \sum_{n=1}^{\infty } \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds ) \psi _{n}}{\alpha + \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \varphi _{n} \\ &=\frac{1}{\alpha +\beta T} \sum_{n=1}^{\infty } \psi _{n} \varphi _{n}=\frac{ \psi }{\alpha +\beta T}. \end{aligned}
(3.11)

Since $$\psi \in D(\mathcal{A}^{r+1})$$, we know that $$\Phi _{1} v_{0} \in L^{\infty }(0,T; D(\mathcal{A}^{r}))$$. Based on the previous observations, we deduce that $$\Phi _{1} v=v$$ has a fixed point u. So, we conclude that problem (3.1) has a unique solution $$u \in L^{\infty }(0,T; D(\mathcal{A}^{r}))$$.

Part 2. Estimate the term $$\|\Phi _{1} u- \Phi _{1} v \|_{ L^{\infty }_{a} (0,T;D(\mathcal{A}^{r} ) )}$$ in the case $$\alpha =0$$, $$\beta >0$$.

First, we get that

\begin{aligned} & \Vert \Phi _{1} u- \Phi _{1} v \Vert _{D(\mathcal{A}^{r} )}^{2} \\ &\quad = \sum_{n=1}^{\infty }\lambda _{n}^{2r} \biggl( \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) }{ \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \\ &\qquad {}- \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds ) }{ \beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \biggr)^{2} \psi _{n}^{2} \\ &\quad \le \frac{2\alpha ^{2}}{\beta ^{4}} \\ &\qquad {}\times \sum_{n=1}^{\infty } \lambda _{n}^{2r} \frac{ ( \mathcal{H}_{1}(u,v) )^{2} }{ ( \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt )^{2} ( \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt )^{2} } \psi _{n}^{2} \\ &\qquad {}+\frac{ 2}{ \beta ^{2}} \\ &\qquad {}\times \sum_{n=1}^{\infty } \lambda _{n}^{2r} \frac{ ( \mathcal{H}_{2}(u,v) )^{2} }{ ( \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt )^{2} ( \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert v(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt )^{2} } \psi _{n}^{2} \\ &\quad =\overline{J}_{1}+ \overline{J}_{2}. \end{aligned}
(3.12)

Since $$\mathcal{M}(z) \le \overline{m}_{0}$$, we get two following estimates:

\begin{aligned} \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u( \cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt &\ge \overline{m}_{0} \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t}\,ds \biggr)\,dt \\ &= \overline{m}_{0} \int _{0}^{T} e^{-\lambda _{n} t}\,dt= \frac{\overline{m}_{0} (1- e^{-T \lambda _{n}}) }{\lambda _{n}} \end{aligned}
(3.13)

and

\begin{aligned} \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert v( \cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt \ge \frac{\overline{m}_{0} (1- e^{-T \lambda _{n}}) }{\lambda _{n} }. \end{aligned}
(3.14)

From two estimates above, we find that

\begin{aligned} \overline{J}_{1} &\le \frac{2\alpha ^{2} \overline{m}_{0}^{2} }{\beta ^{4}} \Biggl( \sum_{n=1}^{\infty }\frac{\lambda _{n}^{2r+4}}{ (1- e^{-T \lambda _{n}})^{2} } \psi _{n}^{2} \Biggr) \biggl( \int _{0}^{t} \Vert u-v \Vert ^{2}_{L^{2}}\,ds \biggr) \\ &\le \frac{2\alpha ^{2} \overline{m}_{0}^{2} }{\beta ^{4} (1-e^{-T\lambda _{1}})^{2}} \Vert \psi \Vert _{D(\mathcal{A}^{r+2})}^{2} \Vert u-v \Vert ^{2}_{r} \\ &\le T C_{2}^{2} \Vert \psi \Vert _{D(\mathcal{A}^{r+2})}^{2} \Vert u-v \Vert ^{2}_{r}. \end{aligned}
(3.15)

By a similar argument as above, we can obtain that

\begin{aligned} \overline{J}_{2} \le T C_{3}^{2} \Vert \psi \Vert _{D(\mathcal{A}^{r+2})}^{2} \Vert u-v \Vert ^{2}_{r}. \end{aligned}
(3.16)

Combining (3.12), (3.15), and (3.16) yields that

\begin{aligned} \bigl\Vert \Phi _{1}(t) u- \Phi _{1}(t) v \bigr\Vert _{D(\mathcal{A}^{r} )}^{2} \le T \bigl( C_{2}^{2}+ C_{3}^{2} \bigr) \Vert \psi \Vert _{D( \mathcal{A}^{r+2})}^{2} \Vert u-v \Vert ^{2}_{r}. \end{aligned}
(3.17)

Since the left-hand side of (3.17) is independent of t, we arrive at

\begin{aligned} \Vert \Phi _{1} u- \Phi _{1} v \Vert ^{2}_{r} \le T \bigl( C_{2}^{2}+ C_{3}^{2} \bigr) \Vert \psi \Vert _{D(\mathcal{A}^{r+2})}^{2} \Vert u-v \Vert ^{2}_{r}. \end{aligned}
(3.18)

By letting T be small enough, we get that $$\Phi _{1}$$ is a contraction mapping on $$L^{\infty }(0,T; D(\mathcal{A}^{r}))$$. By a similar argument as in Part 1, we can conclude that problem (3.1) has a unique solution $$u \in L^{\infty }(0,T; D(\mathcal{A}^{r}))$$.â€ƒâ–¡

## 4 The existence of a mild solution in the inhomogeneous case

In this section, we focus on the existence of the mild solution of the inhomogeneous problem in the simple case $$\alpha =0$$, $$\beta >0$$. The proof of the second case $$\alpha >0$$, $$\beta >0$$ is more delicate, and we can treat it in a similar way. Hence, we do not consider it here.

### Theorem 4.1

Let $$\alpha =0$$, $$\beta >0$$ and $$\psi \in D(\mathcal{A}^{r+2})$$. If T is small enough, problem (3.1) has a unique solution $$u \in L^{\infty }(0,T; D(\mathcal{A}^{r}))$$.

### Proof

Now, we estimate the term $$\|\Phi _{2} u- \Phi _{2} v \|_{ L^{\infty }(0,T;D(\mathcal{A}^{r} ) )}$$ in the case $$\alpha =0$$, $$\beta >0$$. Let us set

\begin{aligned} &\overline{H}_{1,n}(u)= \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr), \\ &\overline{H}_{2,n}(u)= \int _{0}^{T} \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt, \\ &\overline{H}_{3,n}(u)= \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt . \end{aligned}
(4.1)

It is easy to see that

\begin{aligned} & \Vert \Phi _{2} u- \Phi _{2} v \Vert _{D(\mathcal{A}^{r} )}^{2} \\ &\quad = \sum_{n=1}^{\infty }\lambda _{n}^{2r} \biggl( \frac{\overline{H}_{1,n}(u) \overline{H}_{2,n}(u)}{\overline{H}_{3,n}(u)}- \frac{\overline{H}_{1,n}(v) \overline{H}_{2,n}(v)}{\overline{H}_{3,n}(v)} \biggr)^{2} \\ &\quad = \sum_{n=1}^{\infty }\lambda _{n}^{2r} \biggl( \frac{\overline{H}_{1,n}(u) \overline{H}_{2,n}(u) \overline{H}_{3,n}(v)- \overline{H}_{1,n}(v) \overline{H}_{2,n}(v)\overline{H}_{3,n}(u)}{ \overline{H}_{3,n}(u) \overline{H}_{3,n}(v) } \biggr)^{2}. \end{aligned}
(4.2)

From (3.13) and (3.14), we deduce that

\begin{aligned} \overline{H}_{3,n}(u) \overline{H}_{3,n}(v) \ge \biggl( \frac{\overline{m}_{0} (1- e^{-T \lambda _{n}}) }{\lambda _{n} } \biggr)^{2}, \end{aligned}
(4.3)

which allows us to obtain that

\begin{aligned} & \Vert \Phi _{2} u- \Phi _{2} v \Vert _{D(\mathcal{A}^{r} )}^{2} \\ &\quad \le \frac{1}{ \overline{m}_{0}^{2} (1- e^{-T \lambda _{1}})^{2} } \sum_{n=1}^{\infty } \lambda _{n}^{2r+2} \bigl( \overline{H}_{1,n}(u) \overline{H}_{2,n}(u) \overline{H}_{3,n}(v)- \overline{H}_{1,n}(v) \overline{H}_{2,n}(v) \overline{H}_{3,n}(u) \bigr)^{2} \\ &\quad \le \frac{2}{ \overline{m}_{0}^{2} (1- e^{-T \lambda _{1}})^{2} } \sum_{n=1}^{\infty } \lambda _{n}^{2r+2} \vert \overline{J}_{1,n} \vert ^{2}+ \frac{2}{ \overline{m}_{0}^{2} (1- e^{-T \lambda _{1}})^{2} } \sum_{n=1}^{\infty } \lambda _{n}^{2r+2} \vert \overline{J}_{2,n} \vert ^{2}, \end{aligned}
(4.4)

where we note that

\begin{aligned} & \bigl\vert \overline{H}_{1,n}(u) \overline{H}_{2,n}(u) \overline{H}_{3,n}(v)- \overline{H}_{1,n}(v) \overline{H}_{2,n}(v)\overline{H}_{3,n}(u) \bigr\vert \\ &\quad \le \underbrace{ \bigl\vert \overline{H}_{1,n}(u) \overline{H}_{2,n}(u) \bigr\vert \bigl\vert \overline{H}_{3,n}(v)- \overline{H}_{3,n}(u) \bigr\vert }_{ \overline{J}_{1,n}} \\ &\qquad {}+ \underbrace{ \bigl\vert \overline{H}_{3,n}(u) \bigr\vert \bigl\vert \overline{H}_{1,n}(u) \overline{H}_{2,n}(u)- \overline{H}_{1,n}(v) \overline{H}_{2,n}(v) \bigr\vert }_{ \overline{J}_{2,n}}. \end{aligned}
(4.5)

First, we have the following estimate:

\begin{aligned} & \bigl\vert \overline{H}_{3,n}(v)- \overline{H}_{3,n}(u) \bigr\vert \\ &\quad = \biggl\vert \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt \\ &\qquad {}- \int _{0}^{T} \exp \biggl( - \lambda _{n} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert v(\cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr)\,dt \biggr\vert \\ &\quad \le K \lambda _{n} \biggl( \int _{0}^{T} \int _{0}^{t} \bigl\Vert u(\cdot ,s)-v( \cdot ,s) \bigr\Vert _{L^{2}}\,ds \,dt \biggr). \end{aligned}
(4.6)

Hence, we easily see that

\begin{aligned} \lambda _{n}^{2r+2} \vert \overline{J}_{1,n} \vert ^{2}\le{}& \lambda _{n}^{2r+4} \bigl\vert \overline{H}_{2,n}(u) \bigr\vert ^{2} K^{2} \biggl( \int _{0}^{T} \int _{0}^{t} \bigl\Vert u(\cdot ,s)-v(\cdot ,s) \bigr\Vert _{L^{2}}\,ds \,dt \biggr)^{2} \\ \le {}&\frac{K^{2}T^{2}}{2} \Vert u-v \Vert ^{2}_{r} \lambda _{n}^{2r+4} \bigl\vert \overline{H}_{2,n}(u) \bigr\vert ^{2} \\ \le{}& \frac{K^{2}T^{2}}{2} \Vert u-v \Vert ^{2}_{r} \lambda _{n}^{2r+4} \\ &{}\times \biggl\vert \int _{0}^{T} \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \biggr\vert ^{2}, \end{aligned}
(4.7)

where we observe that

$$\bigl\vert \overline{H}_{1,n}(u) \bigr\vert \le 1.$$

It is not difficult to check that

\begin{aligned} & \biggl\vert \int _{0}^{T} \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \biggr\vert ^{2} \\ &\quad \le T \int _{0}^{T} \biggl( \int _{0}^{t} \exp \biggl(-2\lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr)\,ds \biggr) \biggl( \int _{0}^{t} F_{n}^{2}(s) \,ds \biggr)\,dt \\ &\quad \le T^{2} \int _{0}^{T} \biggl( \int _{0}^{t} F_{n}^{2}(s) \,ds \biggr)\,dt. \end{aligned}
(4.8)

Combining (4.7) and (4.8), we get

\begin{aligned} \sum_{n=1}^{\infty }\lambda _{n}^{2r+2} \vert \overline{J}_{1,n} \vert ^{2} &\le \frac{K^{2}T^{4}}{2} \Vert u-v \Vert ^{2}_{r} \int _{0}^{T} \Biggl( \int _{0}^{t} \sum _{n=1}^{\infty }\lambda _{n}^{2r+2} F_{n}^{2}(s)\,ds \Biggr)\,dt \\ &\le \frac{K^{2}T^{5}}{2} \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D( \mathcal{A}^{r+1}))}. \end{aligned}
(4.9)

Now it is obvious that

\begin{aligned} \bigl\vert \overline{H}_{1,n}(u) \overline{H}_{2,n}(u)- \overline{H}_{1,n}(v) \overline{H}_{2,n}(v) \bigr\vert \le{}& \bigl\vert \overline{H}_{1,n}(u) \bigr\vert \bigl\vert \overline{H}_{2,n}(u)- \overline{H}_{2,n}(v) \bigr\vert \\ &{}+ \bigl\vert \overline{H}_{2,n}(v) \bigr\vert \bigl\vert \overline{H}_{1,n}(u)- \overline{H}_{1,n}(v) \bigr\vert . \end{aligned}
(4.10)

So, since $$\overline{H}_{3,n}(u) \le T$$ and $$\overline{H}_{1,n}(u) \le 1$$, by using $$(a+b)^{2} \le 2 a^{2} + 2 b^{2}$$, we derive

\begin{aligned} \lambda _{n}^{2r+2} \vert \overline{J}_{2,n} \vert ^{2}\le{}& T^{2} \lambda _{n}^{2r+2} \bigl\vert \overline{H}_{1,n}(u) \overline{H}_{2,n}(u)- \overline{H}_{1,n}(v) \overline{H}_{2,n}(v) \bigr\vert ^{2} \\ \le{}& 2T^{2} \lambda _{n}^{2r+2} \bigl\vert \overline{H}_{2,n}(u)- \overline{H}_{2,n}(v) \bigr\vert ^{2} \\ &{}+ 2T^{2} \lambda _{n}^{2r+2} \bigl\vert \overline{H}_{2,n}(v) \bigr\vert ^{2} \bigl\vert \overline{H}_{1,n}(u)- \overline{H}_{1,n}(v) \bigr\vert ^{2} . \end{aligned}
(4.11)

Let us continue and give the following bound:

\begin{aligned} & \bigl\vert \overline{H}_{2,n}(u)- \overline{H}_{2,n}(v) \bigr\vert ^{2} \\ &\quad = \biggl\vert \int _{0}^{T} \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(.,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \\ &\qquad {}- \int _{0}^{T} \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert v(., \eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \biggr\vert ^{2} \\ &\quad \le T \lambda _{n}^{2} \int _{0}^{T} \biggl( \int _{0}^{t} \bigl\Vert u( \cdot ,s)-v(\cdot ,s) \bigr\Vert ^{2}_{L^{2}}\,ds \biggr) \biggl( \int _{0}^{t} F_{n}^{2}(s) \,ds \biggr)\,dt \\ &\quad \le T^{2} \Vert u-v \Vert ^{2}_{r} \int _{0}^{T} \int _{0}^{t} \lambda _{n}^{2} F_{n}^{2}(s)\,ds\,dt. \end{aligned}
(4.12)

This implies that

\begin{aligned} \sum_{n=1}^{\infty }\lambda _{n}^{2r+2} \bigl\vert \overline{H}_{2,n}(u)- \overline{H}_{2,n}(v) \bigr\vert ^{2} &\le T^{2} \Vert u-v \Vert ^{2}_{r} \int _{0}^{T} \int _{0}^{t} \bigl\Vert F(\cdot ,s) \bigr\Vert _{D(\mathcal{A}^{r+1})}^{2}\,ds \,dt \\ &\le T^{3} \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D(\mathcal{A}^{r+1}))}. \end{aligned}
(4.13)

From (3.5), we recall the following estimate:

\begin{aligned} \bigl\vert \overline{H}_{1,n}(u)- \overline{H}_{1,n}(v) \bigr\vert ^{2} \le T K^{2} \lambda _{n}^{2} \Vert u-v \Vert ^{2}_{r}, \end{aligned}
(4.14)

which allows us to get that

\begin{aligned} &\sum_{n=1}^{\infty }\lambda _{n}^{2r+2} \bigl\vert \overline{H}_{2,n}(v) \bigr\vert ^{2} \bigl\vert \overline{H}_{1,n}(u)- \overline{H}_{1,n}(v) \bigr\vert ^{2} \\ &\quad \le T K^{2} \lambda _{n}^{2r+4} \Vert u-v \Vert ^{2}_{r} \biggl\vert \int _{0}^{T} \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u( \cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \biggr\vert ^{2} \\ &\quad \le T^{2} K^{2} \lambda _{n}^{2r+4} \Vert u-v \Vert ^{2}_{r} \\ &\qquad {}\times \int _{0}^{T} \biggl( \int _{0}^{t} \exp \biggl( - 2\lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr)\,ds \biggr) \biggl( \int _{0}^{t} F_{n}^{2}(s) \,ds \biggr)\,dt \\ &\quad \le T^{3} K^{2} \Vert u-v \Vert ^{2}_{r} \int _{0}^{T} \Biggl( \sum _{n=1}^{\infty }\lambda _{n}^{2r+4} \int _{0}^{t} F_{n}^{2}(s) \,ds \Biggr)\,dt \\ &\quad \le T^{4} K^{2} \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D(\mathcal{A}^{r+2}))}. \end{aligned}
(4.15)

Combining (4.11), (4.13), and (4.15), we find that

\begin{aligned} \sum_{n=1}^{\infty }\lambda _{n}^{2r+2} \vert \overline{J}_{2,n} \vert ^{2}\le{}& 2T^{2} \sum_{n=1}^{\infty } \lambda _{n}^{2r+2} \bigl\vert \overline{H}_{2,n}(u)- \overline{H}_{2,n}(v) \bigr\vert ^{2}+ \\ &{}+ T^{2} \sum_{n=1}^{\infty } \lambda _{n}^{2r+2} \bigl\vert \overline{H}_{2,n}(v) \bigr\vert ^{2} \bigl\vert \overline{H}_{1,n}(u)- \overline{H}_{1,n}(v) \bigr\vert ^{2} \\ \le {}&2T^{5} \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D(\mathcal{A}^{r+1}))} \\ &{}+ T^{6} K^{2} \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D(\mathcal{A}^{r+2}))}. \end{aligned}
(4.16)

It follows from (4.4) that

\begin{aligned} \Vert \Phi _{2} u- \Phi _{2} v \Vert _{D(\mathcal{A}^{r} )}^{2}\le{}& \frac{2}{ \overline{m}_{0}^{2} (1- e^{-T \lambda _{1}})^{2} } \sum _{n=1}^{\infty }\lambda _{n}^{2r+2} \vert \overline{J}_{1,n} \vert ^{2}+ \frac{2}{ \overline{m}_{0}^{2} (1- e^{-T \lambda _{1}})^{2} } \sum_{n=1}^{\infty } \lambda _{n}^{2r+2} \vert \overline{J}_{2,n} \vert ^{2} \\ \le{}& \frac{4 T^{5}}{ \overline{m}_{0}^{2} (1- e^{-T \lambda _{1}})^{2} } \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D(\mathcal{A}^{r+1}))} \\ &{}+ \frac{4 T^{6} K^{2}}{ \overline{m}_{0}^{2} (1- e^{-T \lambda _{1}})^{2} } \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D(\mathcal{A}^{r+2}))}. \end{aligned}
(4.17)

The inequality $$\sqrt{a^{2}+b^{2}} \le a+b$$ for any $$a, b \ge 0$$ implies that

\begin{aligned} \Vert \Phi _{2} u- \Phi _{2} v \Vert _{D(\mathcal{A}^{r} )}\le{}& \frac{2 T^{5/2}}{ \overline{m}_{0} (1- e^{-T \lambda _{1}}) } \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D(\mathcal{A}^{r+1}))} \\ &{}+ \frac{2 T^{3} K}{ \overline{m}_{0} (1- e^{-T \lambda _{1}}) } \Vert u-v \Vert _{r} \Vert F \Vert _{L^{2}(0,T; D(\mathcal{A}^{r+2}))}. \end{aligned}
(4.18)

Next, we continue to estimate the term $$\| \Phi _{3} u- \Phi _{3} v \|_{D(\mathcal{A}^{r} )}$$. It is obvious that

\begin{aligned} & \biggl\vert \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \\ &\qquad {}- \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert v( \cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \biggr\vert ^{2} \\ &\quad \le \lambda _{n}^{2} \biggl( \int _{0}^{t} \bigl\Vert u(\cdot ,s)-v(\cdot ,s) \bigr\Vert ^{2}_{L^{2}}\,ds \biggr) \biggl( \int _{0}^{t} F_{n}^{2}(s) \,ds \biggr)\,dt \\ &\quad \le T^{2} \Vert u-v \Vert ^{2}_{r} \int _{0}^{t} \lambda _{n}^{2} F_{n}^{2}(s)\,ds. \end{aligned}
(4.19)

Hence, we derive the following estimate:

\begin{aligned} & \Vert \Phi _{3} u- \Phi _{3} v \Vert _{D(\mathcal{A}^{r} )}^{2} \\ &\quad = \sum_{n=1}^{\infty }\lambda _{n}^{2r} \biggl\vert \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert u(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \\ &\qquad {}- \int _{0}^{t} \exp \biggl( - \lambda _{n} \int _{s}^{t} \mathcal{M} \bigl( \bigl\Vert v(\cdot ,\eta ) \bigr\Vert _{L^{2}}\bigr)\,d\eta \biggr) F_{n}(s)\,ds \,dt \biggr\vert ^{2} \\ &\quad \le T^{2} \Vert u-v \Vert ^{2}_{r} \int _{0}^{t} \sum _{n=1}^{\infty }\lambda _{n}^{2r+2} F_{n}^{2}(s)\,ds \\ &\quad = T^{2} \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D( \mathcal{A}^{r+1}))}, \end{aligned}
(4.20)

which allows us to obtain that

\begin{aligned} \Vert \Phi _{3} u- \Phi _{3} v \Vert _{D(\mathcal{A}^{r} )} \le T \Vert u-v \Vert _{r} \Vert F \Vert _{L^{2}(0,T; D(\mathcal{A}^{r+1}))}. \end{aligned}
(4.21)

Combining (3.18), (4.18), and (4.21), we find that

\begin{aligned} \Vert \Phi u- \Phi v \Vert _{r}\le{}& \Vert \Phi _{1} u- \Phi _{1} v \Vert _{D(\mathcal{A}^{r} )} + \Vert \Phi _{2} u- \Phi _{2} v \Vert _{D( \mathcal{A}^{r} )}+ \Vert \Phi _{3} u- \Phi _{3} v \Vert _{D( \mathcal{A}^{r} )} \\ \le{}& \sqrt{ T \bigl( C_{2}^{2}+ C_{3}^{2} \bigr)} \Vert \psi \Vert _{D(\mathcal{A}^{r+2})} \Vert u-v \Vert _{r}+ T \Vert u-v \Vert _{r} \Vert F \Vert _{L^{2}(0,T; D(\mathcal{A}^{r+1}))} \\ &{}+\frac{2 T^{5/2}}{ \overline{m}_{0} (1- e^{-T \lambda _{1}}) } \Vert u-v \Vert ^{2}_{r} \Vert F \Vert ^{2}_{L^{2}(0,T; D(\mathcal{A}^{r+1}))} \\ &{}+ \frac{2 T^{3} K}{ \overline{m}_{0} (1- e^{-T \lambda _{1}}) } \Vert u-v \Vert _{r} \Vert F \Vert _{L^{2}(0,T; D(\mathcal{A}^{r+2}))}. \end{aligned}
(4.22)

From the latter estimate, we can find T small enough such that $$\Phi _{1}$$ is a contraction mapping on $$L^{\infty }(0,T; D(\mathcal{A}^{r}))$$.â€ƒâ–¡

## 5 Ill-posedness of the mild solution

If $$\alpha =0$$ and if $$\psi \in D(\mathcal{A})$$, the mild solution of problem (1.1) is given by the integral equation

\begin{aligned} u(t)= \sum_{n=1}^{\infty } \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds ) \langle \psi , \varphi _{n} \rangle }{\beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \varphi _{n}. \end{aligned}
(5.1)

Assume that $$\psi ^{0} =0$$ then $$u^{*}=0$$. For $$m \in \mathbb{N}$$, let $$\overline{\psi }_{m}$$ be measured data which satisfy

$$\overline{\psi }_{m} (x)= \psi ^{0}(x)+ \frac{1}{\sqrt{\lambda _{m}}} \varphi _{m}(x)= \frac{1}{\sqrt{\lambda _{m}}} \varphi _{m}(x).$$

It is easy to see that $$\overline{\psi }_{m} \in D(\mathcal{A})$$ and the following fact holds:

\begin{aligned} \bigl\Vert \overline{\psi }^{m}- \psi ^{0} \bigr\Vert _{L^{2}} = \frac{1}{\sqrt{\lambda _{m}}} \to 0, \quad m \to \infty . \end{aligned}
(5.2)

The mild solution of problem (1.1) corresponding to $$\overline{\psi }_{m}$$ is

\begin{aligned} u_{m}(t)&= \sum_{n=1}^{\infty } \frac{ \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u_{m}(\cdot ,s) \Vert _{L^{2}})\,ds ) \langle \overline{\psi }^{m}, \varphi _{n} \rangle }{\beta \int _{0}^{T} \exp ( - \lambda _{n} \int _{0}^{t} \mathcal{M} ( \Vert u_{m}(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \varphi _{n} \\ &= \frac{ \exp ( - \lambda _{m} \int _{0}^{t} \mathcal{M} ( \Vert u_{m}(\cdot ,s) \Vert _{L^{2}})\,ds ) }{\beta \sqrt{\lambda _{m}} \int _{0}^{T} \exp ( - \lambda _{m} \int _{0}^{t} \mathcal{M} ( \Vert u_{m}(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt } \varphi _{m}. \end{aligned}
(5.3)

It implies immediately that

\begin{aligned} \bigl\Vert u_{m}(\cdot ,0) \bigr\Vert _{L^{2}}= \frac{1}{ \beta \sqrt{\lambda _{m}} \int _{0}^{T} \exp ( - \lambda _{m} \int _{0}^{t} \mathcal{M} ( \Vert u_{m}(\cdot ,s) \Vert _{L^{2}})\,ds )\,dt }. \end{aligned}
(5.4)

Let us emphasize that

\begin{aligned} \int _{0}^{T} \exp \biggl( - \lambda _{m} \int _{0}^{t} \mathcal{M} \bigl( \bigl\Vert u_{m}( \cdot ,s) \bigr\Vert _{L^{2}}\bigr)\,ds \biggr) \,dt &\ge \int _{0}^{T} \exp \biggl( - \lambda _{m} \int _{0}^{t} \overline{m}_{0}\,ds \biggr)\,dt \\ &= \frac{ 1-e^{-\overline{m}_{0} \lambda _{m} T} }{ m_{0} \lambda _{m}}. \end{aligned}
(5.5)

Hence, we get the following estimate:

\begin{aligned} \bigl\Vert u_{m}(\cdot ,0) \bigr\Vert _{L^{2}} &= \bigl\Vert u_{m}(\cdot ,0)-u^{*}(0) \bigr\Vert _{L^{2}} \\ &\ge \frac{ m_{0} \lambda _{m}}{ 1-e^{-\overline{m}_{0} \lambda _{m} T} } \frac{1}{\beta \sqrt{\lambda _{m}}} \\ &= \frac{m_{0} \sqrt{\lambda _{m}} }{\beta (1-e^{-\overline{m}_{0} \lambda _{m} T} ) }. \end{aligned}
(5.6)

From the fact that

$$\lim_{m \to \infty } \frac{m_{0} \sqrt{\lambda _{m}} }{\beta (1-e^{-\overline{m}_{0} \lambda _{m} T} ) }= \infty ,$$

we deduce

\begin{aligned} \lim_{m \to \infty } \bigl\Vert u_{m}(\cdot ,0)-u^{*}(0) \bigr\Vert _{L^{2}}= \infty . \end{aligned}
(5.7)

Not applicable.

## References

1. Gobbino, M.: Quasilinear degenerate parabolic equations of Kirchhoff type. Math. Methods Appl. Sci. 22(5), 375â€“388 (1999)

2. Gobbino, M.: Quasilinear degenerate parabolic equation of Kirchhoff type. Math. Methods Appl. Sci. 22, 375â€“388 (1999)

3. Tudorascu, A., Wunsch, M.: On a nonlinear, nonlocal parabolic problem with conservation of mass, mean and variance. Commun. Partial Differ. Equ. 36, 1426â€“1454 (2011)

4. Ghist, M., Gobbino, M.: Hyperbolic-parabolic singular perturbation for mildly degenerate Kirchhoff equations: time-decay estimates. J.Â Differ. Equ. 245, 2979â€“3007 (2008)

5. Hashimoto, M., Yamazaki, T.: Hyperbolic-parabolic singular perturbation for quasilinear equations of Kirchhoff type. J.Â Differ. Equ. 237, 491â€“525 (2007)

6. Autuori, G., Pucci, P., Salvatori, M.C.: Asymptotic stability for anisotropic Kirchhoff systems. J.Â Math. Anal. Appl. 352, 149â€“165 (2009)

7. Chang, N.H., Chipot, M.: Nonlinear nonlocal evolution problems. Rev. R. Acad. Cienc. Exactas FÃ­s. Nat., Ser. AÂ Mat. 97, 393â€“415 (2003)

8. Chipot, M., Lovat, B.: Some remarks on nonlocal elliptic and parabolic problems. In: Proceedings of the Second World Congress of Nonlinear Analysts, Part 7, Athens, 1996, vol. 30, pp. 4619â€“4627 (1997)

9. Jorge, J.F., de Oliveira, H.B.: Parabolic reaction-diffusion systems with nonlocal coupled diffusivity terms. Discrete Contin. Dyn. Syst. 37(5), 2431â€“2453 (2017)

10. Tuan, N.H., Au, V.V., Khoa, V.A., Lesnic, D.: Identification of the population density of a species model with nonlocal diffusion and nonlinear reaction. Inverse Probl. 33, 5 (2017)

11. Tuan, N.H., Nam, D.H.Q., Nhat, V.T.M.: On a backward problem for the Kirchhoffâ€™s model of parabolic type. Comput. Math. Appl. 77(1), 15â€“33 (2019)

12. Dokuchaev, N.: On recovering parabolic diffusions from their time-averages. Calc. Var. Partial Differ. Equ. 58(1), 27 (2019)

13. Dokuchaev, N.: Regularity of complexified hyperbolic wave equations with integral conditions. https://arxiv.org/abs/1907.03527

14. Volodymyr, S.I., Nytrebych, Z.M., Pukach, P.Y.: Boundary-value problems with integral conditions for a system of LamÃ© equations in the space of almost periodic functions. Electron. J. Differ. Equ. 2016(304), 1 (2016)

15. Pulkina, S.L., Savenkova, A.E.: A problem with a nonlocal, with respect to time, condition for multidimensional hyperbolic equations. Russ. Math. 60(10), 33â€“43 (2016)

16. Agarwal, P., Baltaeva, U., Alikulov, Y.: Solvability of the boundary-value problem for a linear loaded integro-differential equation in an infinite three-dimensional domain. Chaos Solitons Fractals 140, 110108 (2020)

17. Agarwal, P., Akbar, M., Nawaz, R., Jleli, M.: Solutions of system of Volterra integro-differential equations using optimal homotopy asymptotic method. Math. Methods Appl. Sci. https://doi.org/10.1002/mma.6783

18. Kaur, D., Agarwal, P., Rakshit, M., Chand, M.: Fractional calculus involving $$(p, q)$$-Mathieu type series. Appl. Math. Nonlinear Sci. 5(2), 15â€“34 (2020)

19. Agarwal, P., Attary, M., Maghasedi, M., Kumam, P.: Solving higher-order boundary and initial value problems via Chebyshev spectral method: application in elastic foundation. Symmetry 12, 987 (2020)

20. Caraballo, T., Cobos, M.H., Rubio, P.M.: Long-time behavior of a non-autonomous parabolic equation with nonlocal diffusion and sublinear terms. Nonlinear Anal. 121, 3â€“18 (2015)

21. Cao, C., Rammaha, M.A., Titi, E.S.: The Navierâ€“Stokes equations on the rotating 2-D sphere: Gevrey regularity and asymptotic degrees of freedom. Z. Angew. Math. Phys. 50, 341â€“360 (1999)

22. Dawidowski, L.: The quasilinear parabolic Kirchhoff equation. Open Math. 15, 382â€“392 (2017)

23. Ferreira, J., Oliveira, B.H.: Parabolic reactionâ€“diffusion systems with nonlocal coupled diffusivity terms. Discrete Contin. Dyn. Syst. 37(5), 2431â€“2453 (2017)

24. Figueiredo, M.G., Ikoma, S.N., Santos, R.J.J.: Existence and concentration result for the Kirchhoff type equations with general nonlinearities. Arch. Ration. Mech. Anal. 213(3), 931â€“979 (2014)

25. Fu, Y., Xiang, M.: Existence of solutions for parabolic equations of Kirchhoff type involving variable exponent. Appl. Anal. 95(3), 524â€“544 (2016)

26. Tuan, N.H., Baleanu, D., Thach, T.N., Oâ€™Regan, D., Can, N.H.: Final value problem for nonlinear time fractional reaction-diffusion equation with discrete data. J.Â Comput. Appl. Math. 376, 112883 (2020)

27. Caraballo, T., Herrera-Cobos, M.C., Marin, P.R.: Global attractor for a nonlocal p-Laplacian equation without uniqueness of solution. Discrete Contin. Dyn. Syst., Ser. B 22(5), 1801â€“1816 (2017)

Not applicable.

## Funding

This research is funded by Thu Dau Mot University under grant number DT.20.2-039.

## Author information

Authors

### Contributions

All authors contributed equally. All the authors read and approved the final manuscript.

### Corresponding author

Correspondence to Nguyen Huu Can.

## Ethics declarations

### Competing interests

The authors declare no conflict of interest.

## Rights and permissions

Reprints and permissions

Nam, D.H.Q., Baleanu, D., Luc, N.H. et al. On a Kirchhoff diffusion equation with integral condition. Adv Differ Equ 2020, 617 (2020). https://doi.org/10.1186/s13662-020-03077-y