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.
Similar content being viewed by others
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:
with the following nonlocal condition:
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:
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:
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
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
Very recently, Tuan, Nam, and Nhat [11] first studied a terminal value problem for Kirchhoff’s model of parabolic type as follows:
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,
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:
where \(\{\lambda _{n} \}_{n=1}^{\infty }\) is called the set of eigenvalues of −Δ satisfying
and \(\lim_{n \to \infty } \lambda _{n} = \infty \). For any \(q \ge 0\), we also define the space
then \(H^{q}(\Omega )\) is a Hilbert space endowed with the norm
Lemma 2.1
The following inclusions hold true:
For \(r\ge 0\) and \(v \in L^{\infty }((0,T); D(\mathcal{A}^{r}))\), we denote
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
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
From the condition \(\alpha u(x,0)+ \beta \int _{0}^{T} u(x,t)\,dt = \psi (x) \), we know that
Therefore, we obtain that
This gives that
The latter equality, together with expression (2.7), yields that
Let us define the following operators:
and
The above three definitions lead to
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:
has a unique solution.
Theorem 3.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}))\).
-
(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
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
where we denote
First, applying the inequality \(|e^{-y}- e^{-z}| \le |y-z|\), we estimate \(\mathcal{H}_{1} \) as follows:
The latter inequality leads to
Noting that \(m_{0} \le \mathcal{M}(z) \le \overline{m}_{0}\), we get that
Since \(\mathcal{M}\) is globally Lipschitz and noting the Sobolev embedding \(D(\mathcal{A}^{r}) \hookrightarrow L^{2}(\Omega ) \), we derive that
Here we have applied Hölder inequality. Combining (3.2), (3.6), and (3.8), we get that
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
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,
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
Since \(\mathcal{M}(z) \le \overline{m}_{0}\), we get two following estimates:
and
From two estimates above, we find that
By a similar argument as above, we can obtain that
Combining (3.12), (3.15), and (3.16) yields that
Since the left-hand side of (3.17) is independent of t, we arrive at
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
It is easy to see that
From (3.13) and (3.14), we deduce that
which allows us to obtain that
where we note that
First, we have the following estimate:
Hence, we easily see that
where we observe that
It is not difficult to check that
Combining (4.7) and (4.8), we get
Now it is obvious that
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
Let us continue and give the following bound:
This implies that
From (3.5), we recall the following estimate:
which allows us to get that
Combining (4.11), (4.13), and (4.15), we find that
It follows from (4.4) that
The inequality \(\sqrt{a^{2}+b^{2}} \le a+b\) for any \(a, b \ge 0\) implies that
Next, we continue to estimate the term \(\| \Phi _{3} u- \Phi _{3} v \|_{D(\mathcal{A}^{r} )} \). It is obvious that
Hence, we derive the following estimate:
which allows us to obtain that
Combining (3.18), (4.18), and (4.21), we find that
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
Assume that \(\psi ^{0} =0\) then \(u^{*}=0\). For \(m \in \mathbb{N}\), let \(\overline{\psi }_{m}\) be measured data which satisfy
It is easy to see that \(\overline{\psi }_{m} \in D(\mathcal{A})\) and the following fact holds:
The mild solution of problem (1.1) corresponding to \(\overline{\psi }_{m} \) is
It implies immediately that
Let us emphasize that
Hence, we get the following estimate:
From the fact that
we deduce
Availability of data and materials
Not applicable.
References
Gobbino, M.: Quasilinear degenerate parabolic equations of Kirchhoff type. Math. Methods Appl. Sci. 22(5), 375–388 (1999)
Gobbino, M.: Quasilinear degenerate parabolic equation of Kirchhoff type. Math. Methods Appl. Sci. 22, 375–388 (1999)
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)
Ghist, M., Gobbino, M.: Hyperbolic-parabolic singular perturbation for mildly degenerate Kirchhoff equations: time-decay estimates. J. Differ. Equ. 245, 2979–3007 (2008)
Hashimoto, M., Yamazaki, T.: Hyperbolic-parabolic singular perturbation for quasilinear equations of Kirchhoff type. J. Differ. Equ. 237, 491–525 (2007)
Autuori, G., Pucci, P., Salvatori, M.C.: Asymptotic stability for anisotropic Kirchhoff systems. J. Math. Anal. Appl. 352, 149–165 (2009)
Chang, N.H., Chipot, M.: Nonlinear nonlocal evolution problems. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 97, 393–415 (2003)
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)
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)
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)
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)
Dokuchaev, N.: On recovering parabolic diffusions from their time-averages. Calc. Var. Partial Differ. Equ. 58(1), 27 (2019)
Dokuchaev, N.: Regularity of complexified hyperbolic wave equations with integral conditions. https://arxiv.org/abs/1907.03527
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)
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)
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)
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
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)
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)
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)
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)
Dawidowski, L.: The quasilinear parabolic Kirchhoff equation. Open Math. 15, 382–392 (2017)
Ferreira, J., Oliveira, B.H.: Parabolic reaction–diffusion systems with nonlocal coupled diffusivity terms. Discrete Contin. Dyn. Syst. 37(5), 2431–2453 (2017)
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)
Fu, Y., Xiang, M.: Existence of solutions for parabolic equations of Kirchhoff type involving variable exponent. Appl. Anal. 95(3), 524–544 (2016)
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)
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)
Acknowledgements
Not applicable.
Funding
This research is funded by Thu Dau Mot University under grant number DT.20.2-039.
Author information
Authors and Affiliations
Contributions
All authors contributed equally. All the authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no conflict of interest.
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/.
About this article
Cite this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03077-y