Abstract
In this paper, we consider the biparabolic problem under nonlocal conditions with both linear and nonlinear source terms. We derive the regularity property of the mild solution for the linear source term while we apply the Banach fixed-point theorem to study the existence and uniqueness of the mild solution for the nonlinear source term. In both cases, we show that the mild solution of our problem converges to the solution of an initial value problem as the parameter epsilon tends to zero. The novelty in our study can be considered as one of the first results on biparabolic equations with nonlocal conditions.
Similar content being viewed by others
1 Introduction
Let Ω be a bounded domain in \(\mathbb{R}^{N}\) \((N \ge 1)\) with sufficiently smooth boundary ∂Ω. In this paper, we consider the following biparabolic equation:
under temporal nonlocal condition
Here \(u(x, t)\) is a function of temperature or concentration, \(F(u)\) is a source function, ε is a parameter, and \(f \in L^{2}(\Omega ) \cap \mathbb{H}^{ s}(\Omega )\). When \(\varepsilon = 0\), the problem becomes an initial conditional problem.
The main equation of problem (1.1) is equivalent to
where P is the main operator for the classical parabolic equation,
As mentioned by Fushchich, Galitsyn, and Polubinskii [9], the new fourth-order partial differential equation (1.1) is invariant with respect to the Galilei group. From the results in [9] we realize that the classical heat equations
do not completely describe heat and mass transfer processes. Therefore, in many situations of heat conduction, it tends to replace the classical thermal equation by one of the hyperbolic form, such as problem (1.1). Problem (1.1) is a form of quadratic PDEs equations, which have a wide range of applications in various scientific and engineering disciplines, such as conduction of heat [7, 9, 24, 33], dynamics of filtration consolidation [6, 8], strongly damped wave equations [14, 23, 34], ice formulation and accretion problems on structures, ships, and aircraft [19–21], the transport of liquids and insoluble surfactant through the lung airways [11, 12], brain imaging for the detection and mapping of subtle abnormalities of shape and volume in the brains of patients with metastatic tumors [18, 26, 27], and so on.
Whereas there were a number of studies focused on parabolic equations [1–4, 10, 13, 15, 22, 25, 28], the studies on biparabolic equations are still limited. Let us mention previous works related to biparabolic equation (1.1). Lakhdari and Boussetila [16] applied Kozlov–Maz’ya iteration method for approximating the final value problem for biparabolic equation. Bulavatsky [7] studied some boundary value problems for biparabolic equations with nonlocal boundary conditions. Besma et al. [5] considered the problem of approximating a solution of an ill-posed biparabolic problem in the abstract Hilbert space. They introduced a modified quasi-boundary value method to get stable solutions for regularizing the ill-posedness of a biparabolic equation. Tuan et al. [32] studied the problem of finding the initial distribution for a linear inhomogeneous or nonlinear biparabolic equation. Recently, Phuong et al. [25] studied an inverse source problem of the biparabolic equation. Very recently, Tuan et al. [31] investigated two terminal value problems for stochastic biparabolic equations perturbed by a standard Brownian motion or a fractional Brownian motion.
The nonlocal problem focused in this paper is considered as one of the most interesting areas for the readers in various applications, such as chaos, chemistry, biology, and physics; see [30]. In comparison with the initial or final conditions, the nonlocal conditions are more difficult to handle. The novelty of our problem is the presence of condition of nonlocal type (1.2). In many real-world applications, it is difficult to collect accurate data at the beginning or at the end of a process. In addition, many processes happen so fast and in a short period, in which we only can observe the data at the beginning and the end of a process, not the data at a specific time in the range of (0,T). Therefore studies on nonlocal conditional problems can help us to track down a process in more detail and in an effective way.
To the best of our knowledge, up to date, there is still no any study considering problem (1.1) under the nonlocal condition (1.2). This motivates us to focus on problems (1.1)–(1.2). The main contributions of the paper are as follows.
-
For the linear source function, we give the well-posedness and investigate the convergence of the mild solution to problem (1.1)–(1.2) as ε approaches 0. In more detail, we prove that the solution of problem (1.1)–(1.2) converges to a mild solution with the initial value problem for (1.1).
-
For nonlinear source functions, we prove the existence and uniqueness of mild solutions. In the main analysis, we apply the Banach fixed point theorem. Our next aim is to demonstrate the convergence of the mild solution as the parameter ε tends to 0.
The main techniques to handle the above problem are based on the ideas of some recent publications [17, 29, 30]. We overcome some difficulties by setting up complex evaluations on Hilbert scale spaces. Choosing the right spaces for the input f and for the solution is also not simple task.
This paper is organized as follows. In Sect. 2, we provide some useful notations and the definition of a solution in the mild sense. In Sect. 3, we focus on the well-posed results for the linear case and discuss on what happens as \(\varepsilon \to 0\). The well-posed results for the nonlinear source term are introduced in Sect. 4. Eventually, the results are summarized in Sect. 5.
2 Preliminary results and mild solution
In this section, we introduce the notation and the functional setting used in our paper. Recall that the spectral problem
admits eigenvalues \(0 < \lambda _{1} \leq \lambda _{2} \leq \cdots \leq \lambda _{n} \leq \cdots \) with \(\lambda _{n} \to \infty \) as \(n \to \infty \). The corresponding eigenfunctions are \(\psi _{n} \in H_{0}^{1}(\Omega )\).
Definition 2.1
(Hilbert scale space)
We recall the Hilbert scale space given as follows:
for \(s \geq 0\). It is well known that \(\mathbb{H}^{s} (\Omega )\) is the Hilbert space corresponding to the norm
Let us give an explicit formula of the mild solution. First, taking the inner product of both sides of (1.1) with \(\psi _{n} (x) \), we find that
It is easy to see that the latter problem has a solution given by
The condition \(u(x,0)+ \varepsilon u(x,T) = f(x)\) implies that
We rewrite it as
Combining (2.2) and (2.4), we find that
For any \(f \in L^{2}(\Omega )\), we define
and
From (2.5) we give an explicit formula of the solution to problem (1.1)–(1.2) in the mild setting:
3 Well-posed results for linear case
In this section, we focus on the case \(F(t, u)= F(t)\). Under the linear case, we recall the mild solution \(u_{\varepsilon }\) to problem (1.1)–(1.2):
Lemma 3.1
Let \(f\in \mathbb{H}^{s} (\Omega )\).
a) If \(s< m+1\), then
b) If \(s< m\), then
Proof
Using Parseval’s equality, we find that
In view of the inequality \(e^{-z} \le C_{\nu }z^{-\nu }\) for all \(\nu >0\), we know that
It follows from (3.4) that
which gives the estimate
Setting \(\nu = m+1-s>0\), we know that
Using again \(e^{-z} \le C_{\nu }z^{-\nu }\) for all \(\nu >0\), we find that
Setting \(\nu = m-s\) for \(s< m\), we get
□
Theorem 3.1
Let \(F \in L^{\infty }(0,T; \mathbb{H}^{s-1}(\Omega ))\) and \(f \in \mathbb{H}^{s} (\Omega )\). Then
Proof
Applying Lemma 3.1 and noting that \(m< s< m+1\), we find that
Let μ be such that \(1< \mu < \frac{1}{m+1-s}\). The first term \(I_{1}\) is bounded by
For the second term \(I_{2}\), we easily observe that
Then we get the bound
For the third term \(I_{3}\), using Lemma (3.1), we have that
This immediately implies that
Combining (3.11), (3.12), (3.14), and (3.16), we find that
Let us recall the formula
Since (3.1), we get that
From (3.16) we know that
Our next aim is estimating the term \(( {\mathbf{Q}}_{\varepsilon }(t) - {\mathbf{S}} (t) ) f\). We clearly see that
Parseval’s equality implies that
Using the inequality \(e^{-z} \le C_{\nu }z^{-\nu }\) for all \(\nu >0\), we arrive at
It is obvious that
It follows from (3.21) that
This implies that
where we recall that \(1< \mu < \frac{1}{m+1-s}\). Combining (3.19), (3.20), and (3.24), we arrive at
□
4 Well-posed results for nonlinear case
Theorem 4.1
Let \(f \in \mathbb{H}^{s} (\Omega )\) for \(s \ge p\). Let F be such that
for all \(\varphi , \psi \in \mathbb{H}^{p} (\Omega )\) and \(p< q< p+1\). Then for any \(\varepsilon >0\) and \(K_{f}\) small enough, problem (1.1)–(1.2) has a unique mild solution in \({\mathbf{X}}^{a, \infty } ((0,T]; {\mathbb{H} }^{p}(\Omega ))\), which satisfies
where
In addition,
for \(1<\mu < \frac{1}{a}\).
Proof
We look for the solution in the space \({\mathbf{X}}^{a, \infty } ((0,T]; {\mathbb{H} }^{p}(\Omega ))\). Let us define the function
If \(\psi =0\), then by the assumption \(F(0)=0\) we have that
Since \(s < p+1\), we set \(\nu = p+1-s\). Then it follows from (4.6) that
Under the assumption \(p+1 \le s+a\), if \(\psi =0\), then we find that for any \(0\le t \le T\),
which allows us to derive that \(B_{\varepsilon } \psi \) belongs to the space \({\mathbf{X}}^{a, \infty } ((0,T]; {\mathbb{H} }^{p}(\Omega ))\) if \(\psi =0\).
Let \(\varphi , \psi \in {\mathbf{X}}^{a, \infty } ((0,T]; {\mathbb{H} }^{p}( \Omega ))\). It is obvious that
By the second part of Lemma 3.1 the term \(J_{1}\) is bounded by
where we note that \(p >q\). Since F is globally Lipschitz as in (4.1), we infer that
where we note that \(q+2>p\) and \(a<1\). This implies that
The right-hand side of this expression is independent of t, and we deduce that
Since \(q < p+1\) and \(a>0\), we can choose a real number \(s'\) such that
Then we find that
Since \(s'>q\), we get that
Combining (4.14) and (4.15) and noting that \(s'+a\ge p+1\), we obtain that
The condition \(q+1>p\) ensures that the right-hand side is defined. Therefore we can deduce that
Combining (4.9), (4.13), and (4.17), we arrive at
Let \(K_{f}\) be small enough such that
It follows from (4.7) that
and together with (4.18), we find that \(B_{\varepsilon } \) is a contraction mapping. By using the Banach fixed point theorem we deduce that roblem (1.1)–(1.2) has a unique solution \(u_{\varepsilon }\in {\mathbf{X}}^{a, \infty } ((0,T]; {\mathbb{H} }^{p}( \Omega )) \).
It follows from (4.8) that
Therefore we get that
This estimate implies that
Since \(a<1\), we can find that \(0<\mu <\frac{1}{a}\). Thus we arrive at
which allows us to get that
The proof is completed. □
Theorem 4.2
Let F be as in (4.1). Let \(f \in \mathbb{H}^{s} (\Omega )\) for \(p< s< p+1\). Let \(K_{f}\) be small enough such that \(K_{f} T^{q-p+2} \le \frac{1}{2}\). Then
where \(1< \mu < \frac{1}{p+1-s}\).
Proof
Let us recall that
where we recall that
By (4.2) we immediately have the result on the difference between \(u_{\varepsilon }(t)\) and \(u(t)\) which is split as the sum of three terms
Let us first treat the first term \(H_{1} (t)\). By applying (3.24) we find that
where we recall that \(p+1>s > p\) and \(1< \mu < \frac{1}{p+1-s}\).
The second term \(H_{2} (t)\) by the second part of Lemma 3.1 is bounded by
where we note that \(p >q\). Since F is globally Lipschitz as in (4.1), we infer that
This implies that
Thus we obtain that
For the third term \(H_{3} (t)\), we apply Lemma 3.1 (noting that \(s< p+1\)) to get that
Since \(s>q\), it follows from this estimate that
where in the last line, we have used that F is globally Lipschitz. Recalling (4.21), we find that the right-hand side of (4.32) is bounded by
Combining (4.31), (4.32), and (4.33), we arrive at
This leads to
where we recall that \(p+1>s > p\) and \(1< \mu < \frac{1}{p+1-s}\). Combining (4.26), (4.27), (4.30), and (4.35), we deduce that
Let \(K_{f}\) be small enough such that \(K_{f} T^{q-p+2} \le \frac{1}{2}\). Then from (4.36) the desired result follows. The proof is completed. □
5 Conclusion
In this paper, we considered a biparabolic equation under temporal nonlocal conditions with linear and nonlinear source terms. We derived the regularity of the mild solution for the linear source term and applied the Banach fixed point theorem to study the existence and uniqueness of a mild solution for the nonlinear source term. In both cases, we demonstrated that the mild solution of our problem converges to the solution of an initial value problem as the parameter \(\varepsilon \to 0\). The most compelling findings of our study can be considered as one of the first results on biparabolic equations with nonlocal conditions.
Availability of data and materials
Not applicable.
References
Adigüzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci., 1–12 (2020). https://doi.org/10.1002/mma.6652
Adigüzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: On the solutions of fractional differential equations via Geraghty type hybrid contractions. Appl. Comput. Math. 20(2), 313–333 (2021)
Adigüzel, R.S., Aksoy, U., Karapinar, E., Erhan, I.M.: Uniqueness of solution for higher-order nonlinear fractional differential equations with multi-point and integral boundary conditions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 115(3), 155 (2021)
Alaoui, A.L., Azroul, E., Hamou, A.A.: Monotone iterative technique for nonlinear periodic time fractional parabolic problems. Adv. Theory Nonlinear Anal. Appl. 4(3), 194–213 (2020) 2020
Besma, K., Nadji, B., Faouzia, R.: A modified quasi-boundary value method for an abstract ill-posed biparabolic problem. Open Math. 15, 1649–1666 (2017)
Bulavatsky, V.M.: Mathematical modeling of filtrational consolidation of soil under motion of saline solutions on the basis of biparabolic model. J. Autom. Inf. Sci. 35(8), 13–22 (2003)
Bulavatsky, V.M.: Fractional differential analog of biparabolic evolution equation and some its applications. Cybern. Syst. Anal. 52(5), 337–347 (2016)
Bulavatsky, V.M., Skopetsky, V.V.: Generalized mathematical model of the dynamics of consolidation processes with relaxation. Cybern. Syst. Anal. 44(5), 646–654 (2008)
Fushchich, V.L., Galitsyn, A.S., Polubinskii, A.S.: A new mathematical model of heat conduction processes. Ukr. Math. J. 42, 210–216 (1990)
Georgiev, S.G., Zennir, K.: New results on IBVP for class of nonlinear parabolic equations. Adv. Theory Nonlinear Anal. Appl. 2(4), 202–216 (2018)
Halpern, D., Grotberg, J.B.: Dynamics and transport of a localized soluble surfactant on a thin film. J. Fluid Mech. 237, 1–11 (1992)
Halpern, D., Jensen, O.E., Grotberg, J.B.: A theoretical study of surfactant and liquid delivery into the lung. J. Appl. Physiol. 85, 333–352 (1998)
Hammou, M.A., Azroul, E.: Existence of weak solution for a nonlinear parabolic equations by topological degree. Adv. Theory Nonlinear Anal. Appl. 4(4), 292–298 (2020)
Kalantarov, V., Zelik, S.: Finite-dimensional attractors for the quasi-linear strongly-damped wave equation. J. Differ. Equ. 247(4), 1120–1155 (2009)
Karapinar, E., Binh, H.D., Luc, N.H.: On continuity of the fractional derivative of the time-fractional semilinear pseudo-parabolic systems. Adv. Differ. Equ. 2021, 70 (2021)
Lakhdari, A., Boussetila, N.: An iterative regularization method for an abstract ill-posed biparabolic problem. Bound. Value Probl. 2015, 55, 1–17 (2015)
Luc, N.H., Long, L.D., Van, H.T.K., Nguyen, V.T.: A nonlinear fractional Rayleigh–Stokes equation under nonlocal integral conditions. Adv. Differ. Equ. 2021, 388 (2021)
Memoli, F., Sapiro, G., Thompson, P.: Implicit brain imaging. Hum. Brain Mapp. 23, 179–188 (2004)
Myers, T.G.: Extension to the Messinger model for aircraft icing. AIAA J. 39(2), 211–218 (2001)
Myers, T.G., Charpin, J.P.F.: A mathematical model for atmospheric ice accretion and water flow on a cold surface. Int. J. Heat Mass Transf. 47(25), 5483–5500 (2004)
Myers, T.G., Charpin, J.P.F., Chapman, S.J.: The flow and solidification of a thin fluid film on an arbitrary three-dimensional surface. Phys. Fluids 14(8), 2788–2803 (2002)
Nam, D.H.Q., Baleanu, D., Luc, N.H., Can, N.H.: On a Kirchhoff diffusion equation with integral condition. Adv. Differ. Equ. 2020(1), 617, 1–15 (2020)
Pata, V., Squassina, M.: On the strongly damped wave equation. Commun. Math. Phys. 253(3), 511–533 (2005)
Payne, L.E.: On a proposed model for heat conduction. IMA J. Appl. Math. 71, 590–599 (2006)
Phuong, N.D., Luc, N.H., Long, L.D.: Modified quasi boundary value method for inverse source problem of the bi-parabolic equation. Adv. Theory Nonlinear Anal. Appl. 4(3), 132–142 (2020). https://doi.org/10.31197/atnaa.752335
Thompson, P., Toga, A.W.: A surface-based technique for warping three-dimensional images of the brain. IEEE Trans. Med. Imaging 15(4), 402–417 (1996)
Toga, A.: Brain Warping. Academic Press, New York (1998)
Triet, N.A., Binh, T.T., Phuong, N.D., Baleanu, D., Can, N.H.: Recovering the initial value for a system of nonlocal diffusion equations with random noise on the measurements. Math. Methods Appl. Sci. 44(6), 5188–5209 (2021)
Tuan, N.A., Hammouch, Z., Karapinar, E., Tuan, N.H.: On a nonlocal problem for a Caputo time-fractional pseudoparabolic equation. Math. Methods Appl. Sci. (2021). https://doi.org/10.1002/mma.7743
Tuan, N.A., O’Regan, D., Baleanu, D., Tuan, N.H.: On time fractional pseudo-parabolic equations with nonlocal integral conditions. Evol. Equ. Control Theory (2020). https://doi.org/10.3934/eect.2020109
Tuan, N.H., Caraballo, T., Thach, T.N.: On terminal value problems for bi-parabolic equations driven by Wiener process and fractional Brownian motions. Asymptot. Anal. 123(3–4), 335–366 (2021)
Tuan, N.H., Kirane, M., Nam, D.H.Q., Au, V.V.: Approximation of an inverse initial problem for a biparabolic equation. Mediterr. J. Math. 15, 18, 18 pages (2018)
Wang, L., Zhou, X., Wei, X.: Heat Conduction: Mathematical Models and Analytical Solutions. Springer, Berlin (2008)
Yang, Y., Salik Ahmed, M., Qin, L., Xu, R.: Global well-posedness of a class of fourth-order strongly damped nonlinear wave equations. Opusc. Math. 39(2), 297–313 (2019)
Acknowledgements
The authors would like to thank the supports from the National Research Foundation of Korea under grant number NRF-2020K1A3A1A05101625 and from the Institute of Construction and Environmental Engineering at Seoul National University. The authors also would like to thank the handling editor and two anonymous referees for their valuable and constructive comments to improve our manuscript.
Funding
This research was funded by the National Research Foundation of Korea under grant number NRF-2020K1A3A1A05101625 and the support from Institute of Construction and Environmental Engineering at Seoul National University.
Author information
Authors and Affiliations
Contributions
The authors contributed equally. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Long, L.D., Binh, H.D., Thi, K.V.H. et al. Well-posed results for nonlocal biparabolic equation with linear and nonlinear source terms. Adv Differ Equ 2021, 434 (2021). https://doi.org/10.1186/s13662-021-03602-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-021-03602-7