- Research
- Open access
- Published:
Blow-up of solution for an integro-differential equation with arbitrary positive initial energy
Boundary Value Problems volume 2015, Article number: 96 (2015)
Abstract
In this paper, we consider the integro-differential equation \(u_{tt}-M(\|\nabla u\|^{2}_{2})\Delta u+ \int_{0}^{t} g(t-\tau)\Delta u(\tau)\, d\tau+ u_{t}=f(u)\), \((x,t)\in\Omega\times(0,T)\), with initial and Dirichlet boundary conditions. Under suitable assumptions on the functions g and the initial data, a blow-up result with arbitrary positive initial energy is established.
1 Introduction
In this paper we study the following nonlinear integro-differential equations:
where Ω is a bounded domain in \(\mathbb{R}^{n}\) with a smooth boundary ∂Ω, M is a positive \(C^{1}\)-function like \(M(s)=m_{0}+bs^{\gamma}\), \(m_{0}>0\), \(b\geq0\), \(\gamma\geq1\), and \(s\geq0\), g represents the kernel of the memory term and f is a nonlinear function like \(f(u)=|u|^{p-2}u\), \(p>2\), they will be specified later.
Before going further, (1.1) without the viscoelastic term, that is, \(g\equiv0\), for the case that \(M\equiv1\), (1.1) becomes a nonlinear wave equation which has been extensively studied and several results concerning existence and nonexistence have been established [1–5]. When M is not a constant function, a special case of (1.1) is Kirchhoff equation which has been introduced in order to describe the nonlinear vibrations of an elastic string. Kirchhoff [6] was the first one to study the oscillations of stretched strings and plates. In this case the existence and nonexistence of solutions have been discussed by many authors; see [7–11] and the references cited therein.
For (1.1) with \(g \neq0\), in the case that \(M \equiv 1\), (1.1) becomes a semilinear viscoelastic equation which has been extensively studied and many results concerning global existence and blow-up in finite time have been proved. See in this regard [12–16]. For instance, Messaoudi [13] studied (1.1) with damping term \(a|u_{t}|^{m-2}u_{t}\) and \(f(u)=b|u|^{p-2}u\) and proved a blow-up result for solutions with negative initial energy if \(p>m\geq2\) and a global result for \(2\leq p\leq m\). This result has later been improved by the same author in [14] to accommodate certain solutions with positive initial energy. In [15], Song and Zhong considered (1.1) with strong damping \(-\Delta u_{t}\) and \(f(u)=|u|^{p-2}u\) and proved a blow-up result for solutions with positive initial energy by using the ideas of the ‘potential well’ theory introduced by Payne and Sattinger [5].
For \(g\neq0\) and M is not a constant function, (1.1) is a model to describe the motion of deformable solids as hereditary effect is incorporated. It may also be used to describe the dynamics of an extensible string with fading memory. This equation states that the dynamic equilibrium of a body depends not only on the present state of deformation, but also on the previous history of the deformation [17]. Also, (1.1) is applied to the theory of the heat conduction with memory; see [18, 19]. Therefore, the dynamics of (1.1) is of great importance and interest as they have wide applications in natural sciences.
This type of problem have been considered by many authors and several results concerning existence, nonexistence, and asymptotic behavior have been established. Equation (1.1) was first studied by Torrejón and Young [20], who proved the existence of weakly asymptotic stable solution for a large analytical datum. Later, Munoz Rivera [17] showed the existence of global solutions for small datum and the total energy decays to zero exponentially under some restrictions. In [11], Wu and Tsai studied (1.1) for a strong damping \(-\Delta u_{t}\) and proved the global existence, decay result, and blow-up properties. Recently, they [21] discussed the local existence and blow-up of solutions with positive initial energy for nonlinear damping under some conditions.
In this paper, we consider problem (1.1) and will establish a blow-up result for (1.1) with arbitrary positive initial energy under suitable assumptions on the functions g and the initial data. This result extends earlier ones [11, 21], in which only some a positive initial energy is considered. The main tool in proving blow-up result is the ‘concavity method’ where the basic idea of the method is to construct a positive defined functional \(F(t)\) of the solution by the energy inequality and show that \(F^{-\alpha}(t)\) is a concave function of t.
The rest of this paper is organized as follows. In Section 2, we give some preliminaries and state the main result. In Section 3, we prove the blow-up result by a concavity method. Section 4 is devoted to a simple discussion of the main result.
2 Preliminaries
First, let us introduce some notation used throughout this paper. We denote by \(\|\cdot\|_{q}\) the \(L^{q}(\Omega)\) norm for \(1\leq q\leq\infty\) and by \(\|\nabla\cdot\|_{2}\) the Dirichlet norm in \(H^{1}_{0}(\Omega)\), which is equivalent to the \(H^{1}(\Omega)\) norm. Moreover, we set
as the usual \(L^{2}(\Omega)\) inner product.
We next state some assumptions on f, M, and g:
-
(A1)
\(f(0)=0\) and there are two positive constants \(c_{1}\) and δ such that
$$\bigl\vert f(s)-f \bigl(s' \bigr) \bigr\vert \leq c_{1} \bigl\vert s-s' \bigr\vert \bigl(|s|^{p-2}+ \bigl\vert s' \bigr\vert ^{p-2} \bigr) $$and
$$sf(s)\geq(2+4\delta)F(s) $$for \(s, s'\in\mathcal{R}\), \(2< p\leq\frac{2(n-1)}{n-2}\) if \(n>2\) and \(2< p<\infty\) if \(n\leq2\), where \(F(s)=\int^{s}_{0} f(\tau)\, d\tau\).
-
(A2)
M is a positive \(C^{1}\)-function like \(M(s)=m_{0}+bs^{\gamma}\), \(m_{0}>0\), \(b\geq0\), \(\gamma\geq1\), and \(s\geq0\), and it satisfies
$$(2\delta+1)\overline{M}(s)- \bigl(M(s)+2\delta m_{0} \bigr)s\geq0, \quad \forall s\geq0, $$where \(\overline{M}(s)=\int_{0}^{s} M(\tau)\, d\tau\) and δ is the constant appeared in (A1).
-
(A3)
Assume \(g(t):\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}\) belongs to \(C^{1}(\mathbb{R}_{+})\) and satisfy
$$g(t)\geq0, \qquad g'(t)\leq0\quad \mbox{for } t\geq0 $$and
$$l=\int_{0}^{\infty}g(s)\, ds< \frac{2\delta m_{0}}{1+2\delta}. $$ -
(A4)
The function \(e^{\frac{t}{2}}g(t)\) is of positive type in the following sense:
$$\int_{0}^{t} \upsilon(s)\int_{0}^{s} e^{\frac{s-\tau}{2}}g(s-\tau)\, d\tau\, ds\geq0, $$\(\forall\upsilon\in C^{1} ([0,\infty) )\) and \(\forall t>0\).
Remark 2.1
It is clear that \(f(u)=|u|^{p-2}u\), \(p\geq2\gamma+2\), and \(m(s)=m_{0}+bs^{\gamma}\), where \(m_{0}>0\), \(b\geq0\), \(\gamma\geq1\) satisfy the assumptions (A1) and (A2) with \(\alpha/2\leq\delta\leq(p-2)/4\). It is also obvious that \(g(t)=\epsilon e^{-t}\) with \(0<\epsilon<m_{0}\) satisfies the assumptions (A3) and (A4).
Now we are ready to state the local existence of problem (1.1), whose proof can be found in [21].
Theorem 2.1
Assume that (A1)-(A3) hold, and that \(u_{0}\in H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\), \(u_{1}\in L^{2}(\Omega)\), then there exists a unique solution u of (1.1) satisfying
Moreover, at least one of the following statements holds true:
-
(i)
\(T=\infty\),
-
(ii)
\(\|u_{t}(t)\|_{2}^{2}+\|\Delta u(t)\|_{2}^{2}\rightarrow\infty\) as \(t\rightarrow T^{-}\).
We introduce the energy functional \(E(t)\) associated to our equation,
where
As in [21], we see that
which implies
Let
for \(u\in H^{1}_{0}(\Omega)\). We finally state our main blow-up result for problem (1.1).
Theorem 2.2
Assume (A1)-(A4) hold. If \(u_{0}\in H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\), \(u_{1}\in L^{2}(\Omega)\), satisfy the following conditions:
and
where δ is the constant appeared in (A1) and λ is the constant of the Poincaré inequality on Ω, then the corresponding solution \(u(t)\) of problem (1.1) blows up in a finite time \(T^{*}>0\).
3 Proof of Theorem 2.2
In this section, we deal with the blow-up solutions of equation (1.1). Before we prove our blow-up result, we need the following lemmas.
Lemma 3.1
(see [16], Lemma 2.1)
Assume that \(g(t)\) satisfies the assumptions (A3) and (A2), and \(\Lambda(t)\) is a function that is twice continuously differentiable, satisfying
for every \(t\in[0,T_{0})\), where \(u(t)\) is the corresponding solution of (1.1) with \(u_{0}\) and \(u_{1}\). Then the function \(\Lambda(t)\) is strictly increasing on \([0,T_{0})\).
Lemma 3.2
Assume \(u_{0}\in H_{0}^{1}(\Omega)\cap H^{2}(\Omega)\), \(u_{1}\in L^{2}(\Omega)\), satisfy
If the local solution \(u(t)\) of (1.1) satisfies
then \(\|u(t)\|_{2}^{2}\) is strictly increasing on \([0,T)\).
Proof
Since \(u(t)\) is the local solution of (1.1), by a simple computation we have
where the last inequality uses \(I(u)<0\), which implies
Therefore, this lemma comes from Lemma 3.1. □
Proof of Theorem 2.2
We next prove Theorem 2.2 in two steps. First, by a contradiction argument we claim that
and
for every \(t\in[0,T)\). If this was not the case, then there would exist a time \(t_{1}\) such that
By the continuity of the solution \(u(t)\) as a function of t, we see that \(I (u(t) )<0\) when \(t\in(0,t_{1})\) and \(I (u(t_{1}) )=0\). Thus by Lemma 3.1 we have
for every \(t\in[0,t_{1})\). In addition, it is obvious that \(\|u(t)\|^{2}_{2}\) is continuous on \([0, t_{1}]\). Thus the following inequality is obtained:
On the other hand, it follows from the definition of \(E(t)\) and (2.2) that
Using the assumptions (A1) and (A2), we have
Noting the fact that \(I (u(t_{1}) )=0\), we then have
Thus, by the Poincaré inequality, we have
Obviously, there is a contradiction between (3.4) and (3.6). Thus, we have proved that (3.1) is true for every \(t\in[0,T)\). Furthermore, by Lemma 3.2 we see that (3.2) is also valid on \(t\in[0,T)\).
Secondly, we prove that the solution of problem (1.1) blows up in a finite time. Assume by contradiction that the solution u is global. Then, for sufficiently large \(T>0\), we consider \(H(t):[0,T]\rightarrow\mathbb{R}_{+}\) defined by
where \(t_{0}\) and α are positive constants, which will be determined in the sequel. A direct computation yields
and
Therefore, we have
where \(\Psi(t),G(t):[0,T]\rightarrow\mathbb{R}_{+}\) are the functions defined by
and
Using the Schwarz inequality, we have
and
and
Similarly, we have
The previous inequalities entail \(G(t)\geq0\) for every \([0,T]\). Using (3.7), we get
where
Using Young’s inequality, we have
Inserting (3.10) into (3.9), we have
Using the assumptions (A1) and (A2), we have
where the last inequality follows from Lemma 3.2 and the Poincaré inequality. From (2.4), we have
Thus, we can let α satisfy
which implies that there exists \(\theta>0\) (independent of T) such that
By (3.8) and (3.11), it follows that
Moreover, we let \(t_{0}\) satisfy
which means \(H'(0)>0\). Thus by \(H''(t)>0\) we see that \(H(t)\) and \(H'(t)\) are strictly increasing on \([0,T]\).
Setting \(y(t)=H(t)^{-\delta}\), then we have
and
for all \(t\in[0,T]\), which implies that \(y(t)\) reaches 0 in finite time, say as \(t\rightarrow T^{*}\). Since \(T^{*}\) is independent of the initial choice of T, we may assume that \(T^{*} < T\). This tells us that
□
4 Conclusions
In this paper, we consider the integro-differential equation
with initial and Dirichlet boundary conditions which arises in the dynamics of an extensible string with fading memory. Under suitable assumptions on the relax function g and the initial data, we establish a blow-up result with arbitrary positive initial energy. The main tool in proving the blow-up result is the ‘concavity method’ where the basic idea of the method is to construct a positive defined functional \(F(t)\) of the solution by the energy inequality and show that \(F^{-\alpha}(t)\) is a concave function of t.
References
Ball, J: Remarks on blow up and nonexistence theorems for nonlinear evolutions equations. Q. J. Math. 28(2), 473-486 (1977)
Haraux, A, Zuazua, E: Decay estimates for some semilinear damped hyperbolic problems. Arch. Ration. Mech. Anal. 150, 191-206 (1988)
Kalantarov, VK, Ladyzhenskaya, OA: The occurrence of collapse for quasilinear equations of parabolic and hyperbolic type. J. Sov. Math. 10, 53-70 (1978)
Messaoudi, SA: Blow up in a nonlinearly damped wave equation. Math. Nachr. 231, 1-7 (2001)
Payne, L, Sattinger, D: Saddle points and instability on nonlinear hyperbolic equations. Isr. J. Math. 22, 273-303 (1975)
Kirchhoff, G: Vorlesungen über Mechanik. Teubner, Leipzig (1883)
Hosoya, M, Yamada, Y: On some nonlinear wave equations II: global existence and energy decay of solutions. J. Fac. Sci., Univ. Tokyo, Sect. IA, Math. 38, 239-250 (1991)
Ikehata, R: A note on the global solvability of solutions to some nonlinear wave equations with dissipative terms. Differ. Integral Equ. 8, 607-616 (1995)
Ono, K: On global existence, asymptotic stability and blowing up of solutions for some degenerate nonlinear wave equations of Kirchhoff type with a strong dissipation. Math. Methods Appl. Sci. 20, 151-177 (1997)
Ono, K: On global solutions and blow-up solutions of nonlinear Kirchhoff strings with nonlinear dissipation. J. Math. Anal. Appl. 216, 321-342 (1997)
Wu, S-T, Tsai, L-Y: Blow-up of solutions for some nonlinear wave equations of Kirchhoff type with some dissipation. Nonlinear Anal. 65, 243-246 (2006)
Kafini, M, Messaoudi, SA: A blow-up result in a Cauchy viscoelastic problem. Appl. Math. Lett. 21, 549-553 (2008)
Messaoudi, SA: Blow up and global existence in a nonlinear viscoelastic wave equation. Math. Nachr. 260, 58-66 (2003)
Messaoudi, SA: Blow up of positive-initial-energy solutions of a nonlinear viscoelastic hyperbolic equation. J. Math. Anal. Appl. 320, 902-915 (2006)
Song, HT, Zhong, CK: Blow-up of solutions of a nonlinear viscoelastic wave equation. Nonlinear Anal. 11, 3877-3883 (2010)
Wang, YJ: A global nonexistence theorem for viscoelastic equations with arbitrarily positive initial energy. Appl. Math. Lett. 22, 1394-1400 (2009)
Munoz Rivera, JE: Global solution on a quasilinear wave equation with memory. Boll. Unione Mat. Ital., B 7(8), 289-303 (1994)
Barbu, V, Iannelli, M: Controllability of the heat equation with memory. Differ. Integral Equ. 13, 1393-1412 (2000)
Giorgi, C, Gentili, G: Thermodynamic properties and stability for the heat flux equation with linear memory. Q. Appl. Math. 51, 343-362 (1993)
Torrejón, RM, Young, J: On a quasilinear wave equation with memory. Nonlinear Anal. 16, 61-78 (1991)
Wu, S-T, Tsai, L-Y: Blow-up of positive-initial-energy solutions for an integro-differential equation with nonlinear damping. Taiwan. J. Math. 14, 2043-2058 (2010)
Acknowledgements
The authors are indebted to the referee for giving some important suggestions which improved the presentation of this paper. This work is supported in part by the scientific research program funded by Shanxi Provincial Education Department No. 14JK1474, the Shanxi Province Postdoctoral Science Foundation, the China Postdoctoral Science Foundation Grant No. 2013M540767, the China NSF Grant No. 11402194 and the doctor scientific research start fund project of Xi’an University of Science and Technology Grant No. 2014QDJ042.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The article is a joint work of the two authors who contributed equally to the final version of the paper. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Jie, L., Fei, L. Blow-up of solution for an integro-differential equation with arbitrary positive initial energy. Bound Value Probl 2015, 96 (2015). https://doi.org/10.1186/s13661-015-0361-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0361-1