Next Article in Journal
Optimal Disturbance Observer Design for High Tracking Performance in Motion Control Systems
Previous Article in Journal
Modeling the Coronavirus Disease 2019 Incubation Period: Impact on Quarantine Policy
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

General Decay Rate of Solution for Love-Equation with Past History and Absorption

1
Department of Mathematics, College of Sciences and Arts, Qassim University, Ar-Rass 51921, Saudi Arabia
2
Laboratoire de Mathématiques Appliquées et de Modélisation, Université 8 Mai 1945 Guelma, B.P. 401, Guelma 24000, Algeria
3
Department of Mathematics and Computer Science, Faculty of Science, Port Said University, Port Said 42511, Egypt
*
Author to whom correspondence should be addressed.
Mathematics 2020, 8(9), 1632; https://doi.org/10.3390/math8091632
Submission received: 14 August 2020 / Revised: 16 September 2020 / Accepted: 17 September 2020 / Published: 21 September 2020
(This article belongs to the Section Dynamical Systems)

Abstract

:
In the present paper, we consider an important problem from the point of view of application in sciences and engineering, namely, a new class of nonlinear Love-equation with infinite memory in the presence of source term that takes general nonlinearity form. New minimal conditions on the relaxation function and the relationship between the weights of source term are used to show a very general decay rate for solution by certain properties of convex functions combined with some estimates. Investigations on the propagation of surface waves of Love-type have been made by many authors in different models and many attempts to solve Love’s equation have been performed, in view of its wide applicability. To our knowledge, there are no decay results for damped equations of Love waves or Love type waves. However, the existence of solution or blow up results, with different boundary conditions, have been extensively studied by many authors. Our interest in this paper arose in the first place in consequence of a query for a new decay rate, which is related to those for infinite memory ϖ in the third section. We found that the system energy decreased according to a very general rate that includes all previous results.

1. Introduction

The Love equation is a one-dimensional mathematical model that is used to determine a many physical phenomenon. This theory is a continuation of the Euler–Bernoulli beam theory and it was developed in 1888 by Love. This kind of systems appears in the models of nonlinear Love waves or Love type waves. It is a generalization of a model introduced by [1,2,3].
The original Love’s equation is derived in [4,5] by the energy method. Under the assumptions that the Kinetic energy per unit of length is
e 1 = 1 2 F ρ [ t u 2 + μ 2 w 2 t u x 2 ] ,
and the potential energy per unite of length is
e 2 = 1 2 E F ( u x 2 ) ,
where F is an area of cross-section and w is a cross-section radius of gyration about the central line.
Using, in (2), the corrected form of tension, we have
e 2 = 1 2 F u x ( E u x + ρ μ 2 w 2 t t u x ) .
Subsequently, the variational equation of motion is given by
δ t 1 t 2 d s 0 L ( e 1 e 2 ) d x = 0 ,
and we then obtain the equation of extensional vibrations of rods as
t t u E ρ u x x 2 μ 2 w 2 t t u x x = 0 .
The parameters in (5) have the following meaning: u is the displacement, μ is a coefficient, E is the Young modulus of the material, and ρ is the mass density.
This type of problem describes the vertical oscillations of a rod, and it was established from Euler’s variational equation of an energy functional associated with (5). A classical solution of problem (5), with null boundary conditions and asymptotic behavior are obtained using the Fourier method and method of small parameter. In this article, we consider a nonlinear Love-equation in the form
t t y y x + t y x + t t y x x + t ϖ ( t s ) y x x ( s ) d s = F [ y ] F [ y ] x + f ( x , t ) , x Ω , 0 < t < T ,
where Ω = [ 0 , L ] , L > 0 and
F [ y ] = F x , t , y , y x , t y , t y x C 1 Ω × R + × R 4 .
The given functions ϖ , f will be specified later. With F = F ( x , t , y 1 , , y 4 ) , we put D 1 F = F x , D 2 F = F t , D i + 2 F = F y i , with i = 1 , , 4 .
Equation (6) satisfies the homogeneous Dirichlet boundary conditions
y ( 0 , t ) = y ( L , t ) = 0 , t > 0 ,
and the following initial conditions
y ( x , t ) = y 0 ( x , t ) , t y ( x , 0 ) = y 1 ( x ) .
We call the Sobolev space of order 1 on Ω the space
H 1 ( Ω ) = { v L 2 ( Ω ) , x v L 2 ( Ω ) } .
The space H 1 is endowed with the norm that is associated to the inner product
u , v 1 , Ω = Ω u v + x u x v d x ,
and we note the corresponding norm
v 1 , Ω = v , v 1 , Ω = Ω | v | 2 d x + Ω | x v | 2 d x 1 / 2 .
We have the generalization of such spaces. Let m N . A function v L 2 ( Ω ) belongs to the Sobolev space of order m, denoted H m ( Ω ) , if all of the derivatives of v up to order m, in the distributional sense, belong to L 2 ( Ω ) . By convention, we note H 0 ( Ω ) = L 2 ( Ω ) .
We denote, by H 0 1 ( Ω ) , the closure of D ( Ω ) in H 1 ( Ω ) . By extension, we note H 0 m ( Ω ) the closure of D ( Ω ) in H m ( Ω ) .
In order to deal with a wave equation with infinite memory, we assume that the kernel function ϖ satisfies the following hypothesis:
Hypothesis 1.
ϖ C 1 ( R + , R + ) is a non-increasing function such that
1 0 ϖ ( s ) d s = l > 0 , ϖ ( 0 ) > 0 ,
and there exists an increasing strictly convex function H C 1 ( R + , R + ) , satisfying
H ( 0 ) = t H ( 0 ) = 0 , a n d lim t t H ( t ) = ,
such that
0 ϖ ( s ) H 1 ( t ϖ ( s ) ) d s + sup s R + ϖ ( s ) H 1 ( t ϖ ( s ) ) < ,
where H 1 is the inverse of H function.
Hypothesis 2.
y 0 ( 0 ) , y 1 H 0 1 ( Ω ) H 2 ( Ω ) . We need the following assumptions on source forces.
Hypothesis 3.
f H 1 ( Ω × ( 0 , T ) ) .
Hypothesis 4.
F C 1 Ω × [ 0 , T ] × R 4 , such that
F ( 0 , t , 0 , y 2 , 0 , y 4 ) = F ( 1 , t , 0 , y 2 , 0 , y 4 ) = 0 , t [ 0 , T ] , y 2 , y 4 R .
Hypothesis 5.
There exists a constant m 0 0 , such that
Ω | y 0 x ( . , s ) | 2 d x m 0 2 , s > 0 .
Our results are very interesting from an application point of view and, as for as, we know that there is no results for equations of Love waves or Love type waves with the presence of finite/infinite memory term ([1,2,3,6,7,8,9,10,11,12]).
Without infinite memory term, Triet et al. in [12] considered an initial boundary value problem for a nonlinear Love equation
u t t x u x + λ 1 u x t + u x t t + λ u t = F x , t , u , u x , u t , u x t x G x , t , u , u x , u t , u x t + f ( x , t ) , x Ω = ( 0 , 1 ) , 0 < t < T ,
u ( 0 , t ) = u ( 1 , t ) = 0 ,
u ( x , 0 ) = u ˜ 0 ( x ) , u t ( x , 0 ) = u ˜ 1 ( x ) ,
where λ , λ 1 > 0 are constants and u ˜ 0 , u ˜ 1 H 0 1 ( Ω ) H 2 ( Ω ) ; f, F and G are given functions. First, under suitable conditions, the existence of a unique local weak solution has been proved and a blow-up result for solutions with negative initial energy is also established. A sufficient condition ensuring the global existence and exponential decay of weak solutions is given in the last section. These results will be improved in [11,12] to the Kirchhoff type.
The existence/nonexistence, exponential decay of solutions and blow-up results for viscoelastic wave equations with finite history have been extensively studied and many authors have obtained many results (see [13,14,15,16,17,18,19,20,21]).
Concerning problems with infinite history, we mention the work [15], in which the authors onsidered the following semi-linear hyperbolic equation, in a bounded domain of R 3 ,
t t u K ( 0 ) Δ u 0 t K ( s ) Δ u ( t s ) d s + g ( u ) = f ,
with K ( 0 ) , K ( ) > 0 , t K 0 and they proved the existence of global attractors for the problem. Next, in [22], the authors considered a fourth-order suspension bridge equation with nonlinear damping term | t u | m 2 t u and source term | u | p 2 u . The authors found necessary and sufficient conditions for global existence and energy decay results without considering the relation between m and p. Moreover, when p > m , they gave a sufficient condition for finite time blow-up of solutions. The lower bound of the blow-up time is also established.
Recently, in [23], the authors studied a three-dimensional (3D) visco-elastic wave equation with nonlinear weak damping, supercritical sources, and prescribed past history
t t u k ( 0 ) Δ u 0 t k ( s ) Δ u ( t s ) d s + | t u | m 1 t u = | u | p 1 u , t 0 ,
where the relaxation function k is monotone decreasing with k ( + ) = 1 , m 1 , 1 p < 6 . When the source is stronger than the dissipation, i.e., p > max { m , k ( 0 ) } , they obtained some finite time blow-up results with positive initial energy. In particular, they obtained the existence of certain solutions, which blow-up in finite time for initial data at an arbitrary energy level (see [24]).
The outline of our work: in the next section, the existence results in Theorems 1 and 3 are obtained by using a new combined methods. A decay rate of energy, which is very general, is derived in the last section: Theorem 4 extends the results that were obtained in [20], where the authors established a general decay rate for relaxation functions satisfying
t ϖ ( t ) H ( ϖ ( t ) ) , t 0 , H ( 0 ) = 0 ,
for a positive function H C 1 ( R + ) and H is linear or strictly increasing and strictly convex C 2 function on ( 0 , r ] , 1 > r . This improves the conditions that were introduced by [13] on the relaxation functions:
t ϖ ( t ) χ ( ϖ ( t ) ) , χ ( 0 ) = t χ ( 0 ) = 0 ,
where χ is a non-negative function, strictly increasing and strictly convex on ( 0 , k 0 ] , k 0 > 0 . Furthermore, the authors required that
0 k 0 d x χ ( x ) = + , 0 k 0 x d x χ ( x ) < 1 , lim s 0 + inf χ ( s ) / s t χ ( s ) > 1 2 ,
and proved a decay result for the energy in a bounded domain. In addition to these assumptions, if
lim s 0 + sup χ ( s ) / s t χ ( s ) < 1 ,
then, in this case, an explicit decay rate is given.

2. The Existence of Solution

We define the weak solution to of (6)–(9), as follows.
Definition 1.
A function y is said to be a weak solution of (6)–(9) on [ 0 , T ] if
y , t y , t t y L ( 0 , T , H 0 1 ( Ω ) H 2 ( Ω ) ) ,
such that y satisfies the variational equation
Ω t t y w d x + Ω ( y x + t y x + t t y x ) w x d x Ω 0 ϖ ( s ) y x ( t s ) d s w x d x = Ω f w d x + Ω F [ y ] w d x + Ω F [ y ] w x d x ,
for all test function w H 0 1 ( Ω ) , for almost all t ( 0 , T ) .
The following famous and widely used technical Lemma will play an important role in the sequel.
Lemma 1.
Ref. [25] For any v C 1 0 , T , H 0 1 ( Ω ) we have
Ω 0 ϖ ( s ) v x x ( t s ) t v ( t ) d s d x = 1 2 t 0 ϖ ( s ) Ω | v x ( t s ) v x ( t ) | 2 d x d s 1 2 t 0 ϖ ( s ) d s Ω v x ( t ) 2 d x 1 2 0 t ϖ ( s ) Ω | v x ( t s ) v x ( t ) | 2 d x d s + 1 2 ϖ ( t ) Ω v x ( t ) 2 d x .
Now, we state the existence of a local solution for (6)–(9).
Theorem 1.
Ref. [25] Let y 0 ( 0 ) , y 1 H 0 1 ( Ω ) H 2 ( Ω ) be given. Assume that (Hypothesis 1)–(Hypothesis 5) hold. Subsequently, problem (6)–(9) has a unique local solution y and
y , t y , t t y L ( 0 , T * , H 0 1 ( Ω ) H 2 ( Ω ) ) ,
for some T * > 0 small enough.
Let f 0 . Here, and in the sequel, we consider problem (6) with the boundary conditions (8) and the initial conditions (9) in the following form
t t y y x + t y x + t t y x x + t ϖ ( t s ) y x x ( s ) d s = | y | p 2 y + ( | y x | p 2 y x ) x , x Ω , 0 < t < T ,
with p 2 .
We introduce the energy functional E ( t ) that is associated to our problem (23), as follows
E ( t ) = 1 2 Ω | t y | 2 d x + 1 2 Ω | t y x | 2 d x + J ( t ) ,
where
J ( t ) = 1 2 Ω 1 0 ϖ ( s ) d s | y x | 2 d x + 1 2 Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + 1 p Ω | y x | p d x 1 p Ω | y | p d x .
Now, we introduce the stable set, as follows (see [26,27])
W = { y H 0 1 ( Ω ) H 2 ( Ω ) : I ( t ) > 0 , J ( t ) < d } { 0 } ,
where
I ( t ) = Ω 1 0 ϖ ( s ) d s | y x | 2 d x + Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + Ω | y x | p d x Ω | y | p d x .
We notice that the mountain passes level d, given in (26), is defined by
d = inf { sup y H 0 1 ( Ω ) H 2 ( Ω ) \ { 0 } , ν 0 J ν y } .
Additionally, by introducing the so called “Nehari manifold
N = y H 0 1 ( Ω ) H 2 ( Ω ) \ 0 : I t = 0 .
The potential depth d is also characterized by
d = inf y N J ( t ) .
This characterization of d shows that
d i s t 0 , N = min y N y H 0 1 ( Ω ) H 2 ( Ω ) .
It is not hard to see this Lemma.
Lemma 2.
Suppose that (Hypothesis 1) holds. Let y be solution of our equation. Subsequently, the energy functional (24) is a non-increasing function, i.e., for all t 0 , ν > 0 ,
t E ( t ) = Ω | t y x | 2 d x + 1 2 Ω 0 t ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x 1 2 ϖ ( t ) Ω v x ( t ) 2 d x 0 .
Proof. 
Multiplying (23), with p 2 , by t y , integrating over Ω to obtain
1 2 t Ω | t y | 2 d x + 1 2 t Ω | y x | 2 d x + 1 2 t Ω | t y x ) d x + Ω | t y x | 2 d x + Ω t ϖ ( t s ) y x x ( s ) t y d s d x = 1 p t Ω | y | p d x 1 p t Ω | y x | p d x ,
then, using Lemma 1, we obtain
1 2 t Ω | t y | 2 d x + Ω | y x | 2 d x + Ω | t y x d x 1 p t Ω | y | p d x + 1 p t Ω | y x | p d x + 0 ϖ ( s ) Ω | y x ( t s ) y x ( t ) | 2 d x d s 0 ϖ ( s ) d s Ω y x ( t ) 2 d x ] = Ω | t y x | 2 d x 1 2 0 t ϖ ( s ) Ω | y x ( t s ) y x ( t ) | 2 d x d s 1 2 ϖ ( t ) Ω v x ( t ) 2 d x ,
which completes the proof. □
As in [25], we will prove the invariance of the set W, that is if for some t 0 > 0 we have y ( t 0 ) W , then y ( t ) W , t t 0 . The next Lemma ensures the existence of the potential depth.
Lemma 3.
Ref. [25] d is a positive constant.
Lemma 4.
Ref. [25] W is a bounded neighborhood of 0 in H 0 1 ( Ω ) H 2 ( Ω ) .
Now, we will show that our local solution y is global in time. For this purpose it suffices to prove that the norm of the solution is bounded, independently of t. This is equivalent to proving the following Theorem.
Theorem 2.
Ref. [25] Suppose that (Hypothesis 1) and
C p l ( 1 p ) 2 p p 2 E ( 0 ) ( p 2 ) < l ,
hold, where C is the best Poincaré’s constant. If y 0 ( 0 ) W , y 1 H 0 1 ( Ω ) , then the solution y W , t 0 .
The next Theorem shows that our local solution is global in time.
Theorem 3.
Suppose that (Hypothesis 1), (Hypothesis 5), p 2 and (33) hold. If y 0 ( 0 ) W , y 1 H 0 1 ( Ω ) , then the local solution y is global in time and such that y G T , where
G T = y : y L R + ; H 0 1 ( Ω ) H 2 ( Ω ) , t y L R + ; H 0 1 ( Ω ) .
Proof. 
It suffices to show that the following norm
Ω | t y | 2 d x + Ω | y x | 2 d x ,
is bounded independently of t.
To achieve this, we use (24), (26), and (31) to obtain
E ( 0 ) E ( t ) = J ( t ) + 1 2 Ω | t y | 2 d x + 1 2 Ω | t y x | 2 d x p 2 2 p Ω 1 0 ϖ ( s ) d s | y x | 2 d x + Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + 1 2 Ω | t y | 2 d x + 1 p I ( t ) = p 2 2 p l Ω | y x | 2 d x + Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + 1 2 Ω | t y | 2 d x + 1 p I ( t ) l ( p 2 ) 2 p Ω | y x | 2 d x + 1 2 Ω | t y | 2 d x ,
since I ( t ) and Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x are positive. Then there exists a constant C > 0 depending only on p and l such that
Ω | y x | 2 d x + Ω | t y | 2 d x C E ( 0 ) .
This completes the proof. □

3. General Decay Rate

Theorem 4.
Suppose that (Hypothesis 1), p 2 and (33) hold. If y 0 ( 0 ) H 0 1 ( Ω ) H 2 ( Ω ) , y 1 H 0 1 ( Ω ) . Subsequently, the energy function (24) satisfies
E ( t ) κ 1 H 1 1 ( κ t + κ 0 ) , t 0 ,
where
H 1 ( τ ) = τ 1 ( s τ H ( κ s ) ) 1 d s , κ 0 , κ 1 , κ > 0 .
We need to introduce a several Lemmas in order to prove the main Theorem 4. To this end, let us introduce the functionals
φ ( t ) = Ω y t y d x + 1 2 Ω | y x | 2 d x + Ω y x t y x d x ,
and
ξ ( t ) = Ω t y 0 ϖ ( s ) [ y ( t ) y ( t s ) ] d s d x 0 t Ω t y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d x d τ 0 t Ω t t y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d x d τ .
Lemma 5.
Assume that (Hypothesis 1), p 2 and (33) hold. Subsequently, the functional φ ( t ) introduced in (38) satisfies, along the solution, the estimate
t φ ( t ) Ω t y 2 d x + Ω t y x 2 d x l 2 C p 2 p ( p 2 ) l E ( 0 ) ( p 2 ) / 2 Ω | y x | 2 d x + ( 1 l ) 2 l Ω 0 ϖ ( s ) | y x ( t s ) y x | 2 d s d x ,
where C is the same constant defined in (33).
Proof. 
t φ ( t ) = Ω t y 2 d x + Ω t y x 2 d x Ω y x 2 d x + Ω | y | p d x Ω | y x | p d x + Ω y x 0 ϖ ( s ) y x ( t s ) d s d x .
The last term can be treated, as follows
Ω y x 0 ϖ ( s ) y x ( t s ) d s d x 1 2 Ω y x 2 d x + 1 2 Ω 0 ϖ ( s ) y x ( t s ) d s 2 d x 1 2 Ω y x 2 d x + 1 2 Ω 0 ϖ ( s ) | y x ( t s ) y x | + | y x | d s 2 d x .
By using Cauchy–Schwarz and Young’s inequalities, we obtain, for any ν > 0 ,
Ω 0 ϖ ( s ) | y x ( t s ) y x | + | y x | d s 2 d x = Ω 0 ϖ ( s ) | y x ( t s ) y x | d s 2 d x + Ω 0 ϖ ( s ) | y x | d s 2 d x + 2 Ω 0 ϖ ( s ) | y x ( t s ) y x | d s 0 ϖ ( s ) | y x | d s d x 1 + 1 ν Ω 0 ϖ ( s ) | y x ( t s ) y x | d s 2 d x + ( 1 + ν ) Ω 0 ϖ ( s ) | y x | d s 2 d x 1 + 1 ν ( 1 l ) Ω 0 ϖ ( s ) | y x ( t s ) y x | 2 d s d x + ( 1 + ν ) ( 1 l ) 2 Ω | y x | 2 d x .
Subsequently,
t φ ( t ) Ω t y 2 d x + Ω t y x 2 d x + 1 2 + 1 2 ( 1 + ν ) ( 1 l ) 2 1 Ω | y x | 2 d x + 1 2 1 + 1 ν ( 1 l ) Ω 0 ϖ ( s ) | y x ( t s ) y x | 2 d s d x + Ω | y | p d x .
By the continuous embedding for p 2 , we have
Ω | y | p d x C p Ω | y x | 2 d x p / 2 C p Ω | y x | 2 d x ( p 2 ) / 2 Ω | y x | 2 d x C p 2 p ( p 2 ) l E ( 0 ) ( p 2 ) / 2 Ω | y x | 2 d x .
Using (33) and choosing ν = l 1 l , we obtain
t φ ( t ) Ω t y 2 d x + Ω t y x 2 d x l 2 C p l 1 p / 2 2 p ( p 2 ) E ( 0 ) ( p 2 ) / 2 Ω | y x | 2 d x + ( 1 l ) 2 l Ω 0 ϖ ( s ) | y x ( t s ) y x | 2 d s d x .
 □
Lemma 6.
Assume that (Hypothesis 1), (Hypothesis 5), and p 2 hold. Subsequently, for ν < ( 1 l ) , the functional introduced in (40) satisfies, along the solution, the estimate
t ξ ( t ) a Ω | y x | 2 d x ( ( 1 l ) ν ) Ω t y 2 d x + b Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + c ϖ ( 0 ) 4 ν Ω 0 ( t ϖ ( s ) ) | y ( t ) y ( t s ) | 2 d s d x ,
where
a = c ( ν ) 1 + 2 ( 1 l ) 2 2 p ( p 2 ) l E ( 0 ) ( p 2 ) / 2 > 0 ,
and for all ν > 0
b = 1 l 4 ν + ( 2 ν + 1 4 ν ) ( 1 l ) + 2 ν ( 1 l ) p 1 c 8 l E ( 0 ) + 2 m 0 2 ( p 2 / 2 ) > 0 .
Proof. 
We have
t ξ ( t ) = Ω y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d x Ω 0 ϖ ( s ) y x ( t s ) d s 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d x Ω | y | p 2 y 0 ϖ ( s ) [ y ( t ) y ( t s ) ] d s d x + Ω | y x | p 2 y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d x Ω t y 0 t ϖ ( s ) [ y ( t ) y ( t s ) ] d s d x ( 1 l ) Ω t y 2 d x .
For any ν > 0 , we have
Ω y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d x ν Ω | y x | 2 d x + 1 l 4 ν Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x ,
and
Ω 0 ϖ ( s ) y x ( t s ) d s 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d x 2 ν ( 1 l ) 2 Ω | y x | 2 d x + ( 2 ν + 1 4 ν ) ( 1 l ) Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x .
Furthermore, by using (13), we have the following estimate
Ω | y x ( t ) y x ( t s ) | 2 d x 2 Ω | y x ( t ) | 2 d x + 2 Ω | y x ( t s ) | 2 d x 4 sup s > 0 Ω | y x ( s ) | 2 d x + 2 sup τ < 0 Ω | y x ( τ ) | 2 d x 4 sup s > 0 Ω | y x ( s ) | 2 d x + 2 sup τ > 0 Ω | y 0 x ( τ ) | 2 d x 8 E ( 0 ) + 2 m 0 2 .
Now, because p 2 , we have, by using (42) and the previous estimate,
Ω | y | p 2 y 0 ϖ ( s ) [ y ( t ) y ( t s ) ] d s d x ν Ω | 0 ϖ ( s ) | y ( t ) y ( t s ) | d s | p d x + c ( ν ) Ω | y | p d x ν ( 1 l ) p 1 Ω 0 ϖ ( s ) | y ( t ) y ( t s ) | p d s d x + c ( ν ) Ω | y | p d x ν ( 1 l ) p 1 c 0 ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x p / 2 d s + c ( ν ) Ω | y | p d x ν ( 1 l ) p 1 c 8 1 E ( 0 ) + 2 m 0 2 ( p 2 ) / 2 0 ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x + c ( ν ) Ω | y | p d x ν ( 1 l ) p 1 c 8 1 E ( 0 ) + 2 m 0 2 ( p 2 ) / 2 0 ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x + c ( ν ) 2 p ( p 2 ) l E ( 0 ) ( p 2 ) / 2 Ω | y x | 2 d x .
In the same way, we have
Ω | y x | p 2 y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d x ν Ω | 0 ϖ ( s ) | y x ( t ) y x ( t s ) | d s | p d x + c ( ν ) Ω | y x | p d x ν ( 1 l ) p 1 Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | p d s d x + c ( ν ) Ω | y x | p d x ν ( 1 l ) p 1 c 0 ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x p / 2 d s + c ( ν ) Ω | y x | p d x ν ( 1 l ) p 1 c 8 1 E ( 0 ) + 2 m 0 2 ( p 2 ) / 2 0 ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x + c ( ν ) Ω | y x | 2 d x .
The last term can be estimated, as follows
Ω t y 0 t ϖ ( s ) [ y ( t ) y ( t s ) ] d s d x ν Ω | t y | 2 d x + c ϖ ( 0 ) 4 ν Ω 0 ( t ϖ ( s ) ) | y ( t ) y ( t s ) | 2 d s d x .
A combination of all estimates gives
t ξ ( t ) ν Ω | y x | 2 d x + 1 l 4 ν Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + 2 ν ( 1 l ) 2 Ω | y x | 2 d x + ( 2 ν + 1 4 ν ) ( 1 l ) Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + ν ( 1 l ) p 1 c 8 1 E ( 0 ) + 2 m 0 2 ( p 2 / 2 ) 0 ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x + c ( ν ) 2 p ( p 2 ) l E ( 0 ) ( p 2 ) / 2 Ω | y x | 2 d x + ν ( 1 l ) p 1 c 8 1 E ( 0 ) + 2 m 0 2 ( p 2 / 2 ) 0 ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x + c ( ν ) Ω | y x | 2 d x + ν Ω | t y | 2 d x + c ϖ ( 0 ) 4 ν Ω 0 ( t ϖ ( s ) ) | y ( t ) y ( t s ) | 2 d s d x ( 1 l ) Ω t y 2 d x .
Afterwards, for ν < ( 1 l )
t ξ ( t ) a Ω | y x | 2 d x ( ( 1 l ) ν ) Ω t y 2 d x + b Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + c ϖ ( 0 ) 4 ν Ω 0 ( t ϖ ( s ) ) | y ( t ) y ( t s ) | 2 d s d x ,
where by (33), we have
a = c ( ν ) 1 + 2 ( 1 l ) 2 2 p ( p 2 ) l E ( 0 ) ( p 2 ) / 2 > 0 ,
and for all ν > 0 , we have
b = 1 l 4 ν + ( 2 ν + 1 4 ν ) ( 1 l ) + 2 ν ( 1 l ) p 1 c 8 l E ( 0 ) + 2 m 0 2 ( p 2 / 2 ) > 0 .
 □
Let us define the Lyapunov functional
L ( t ) = ε 1 E ( t ) + φ ( t ) + ε 2 ξ ( t ) , ε 1 , ε 2 > 0 .
We need the next Lemma, which means that there is an equivalence between the Lyapunov and energy functions
Lemma 7.
There exist positive real numbers c 1 and c 2 , such that
L E .
Proof. 
By (43), we have
| L ( t ) ε 1 E ( t ) | | φ ( t ) | + ε 2 | ξ ( t ) | Ω | y t y | d x + 1 2 Ω | y x | 2 d x + Ω | y x t y x | d x + ε 2 Ω | t y 0 ϖ ( s ) [ y ( t ) y ( t s ) ] d s | d x + ε 2 0 t Ω | t y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d τ | d x + ε 2 0 t Ω | t t y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d τ | d x .
Thanks to Hölder and Young’s inequalities, we have
Ω | y t y | d x Ω | y | 2 d x 1 / 2 Ω | t y | 2 d x 1 / 2 1 2 Ω | y | 2 d x + 1 2 Ω | t y | 2 d x c 2 Ω | y x | 2 d x + 1 2 Ω | t y | 2 d x .
Similarly, we have
Ω | y x t y x | d x 1 2 Ω | y x | 2 d x + 1 2 Ω | t y x | 2 d x ,
and
Ω | t y 0 ϖ ( s ) [ y ( t ) y ( t s ) ] d s | d x 1 2 Ω | t y | 2 d x + c 2 Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x .
The two last terms can be estimated, as follows
0 t Ω | t y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d τ | d x 1 2 0 t Ω | t y x | 2 d x d τ + 1 2 0 t Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x d τ ,
and
0 t Ω | t t y x 0 ϖ ( s ) [ y x ( t ) y x ( t s ) ] d s d τ | d x 1 2 0 t Ω | t t y x | 2 d x d τ + 1 2 0 t Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x d τ .
Hence, there exists a constant C > 0 , such that
| L ( t ) ε 1 E ( t ) | C E ( t ) .
Therefore, we can choose ε 1 , so that
L ( t ) E ( t ) .
 □
Lemma 8.
Assume that (Hypothesis 1) hold. Susequently, there exist strictly positive constants λ and c, such that
t L ( t ) λ E ( t ) + c Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x .
Proof. 
By Lemmas 2, 5, and 6, we have
t L ( t ) = ε 1 t E ( t ) + t φ ( t ) + ε 2 t ξ ( t ) [ ε 2 [ ( 1 l ) ν ] 1 ] Ω | t y | 2 d x ( ε 1 1 ) Ω | t y x | 2 d x l 2 2 p ( p 2 ) l E ( 0 ) ( p 2 ) / 2 ε 2 a Ω | y x | 2 d x + ( 1 l ) 2 l + b ε 2 Ω 0 ϖ ( s ) | y x ( t s ) y x | 2 d s d x + ε 1 2 ε 2 c ϖ ( 0 ) 4 ν Ω 0 t ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x ,
where, by (33), we have
a = c ( ν ) 1 + 2 ( 1 l ) 2 2 p ( p 2 ) l E ( 0 ) ( p 2 ) / 2 > 0 ,
and for all ν > 0
b = 1 l 4 ν + ( 2 ν + 1 4 ν ) ( 1 l ) + 2 ν ( 1 l ) p 1 c 8 l E ( 0 ) + 2 m 0 2 ( p 2 / 2 ) > 0 .
Now, we choose ν and, once this constant is fixed, we can select ε 1 , ε 2 small enough that give, for p 2 , the existence of constants c , λ > 0 , such that (46) holds true.
Lemma 9.
Assume that (Hypothesis 1) hold. Subsequently, there exist γ , γ 0 > 0 , such that for all t > 0
Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x γ t E ( t ) t H ( γ 0 E ( t ) ) + γ γ 0 E ( t ) .
Proof. 
Let H * be the convex conjugate of H in the sense of Young (see [28] pp. 61–64), then
H * ( s ) = s ( t H ) 1 ( s ) H [ ( t H ) 1 ( s ) ] s ( t H ) 1 ( s ) , s ( 0 , t H ( r ) ) ,
and satisfies the following Young’s inequality
A B H * ( A ) + H ( B ) , A ( 0 , t H ( r ) ) , B ( 0 , r ] ,
for
B = H 1 r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x
A = r 1 t H ( γ 0 E ( t ) ) ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x H 1 r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x .
Afterwards, for r 1 , r 2 > 0 , we have
Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x = 1 r 1 t H ( γ 0 E ( t ) ) 0 { H 1 r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x × r 1 t H ( γ 0 E ( t ) ) ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x H 1 r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x } d s r 2 r 1 t H ( γ 0 E ( t ) ) Ω 0 t ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x + 1 r 1 t H ( γ 0 E ( t ) ) 0 H * r 1 t H ( γ 0 E ( t ) ) ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x H 1 r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x d s .
By (31), (48), we have
Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x 2 r 2 r 1 t H ( γ 0 E ( t ) ) t E ( t ) + 0 { ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x H 1 r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x × t H 1 r 1 t H ( γ 0 E ( t ) ) ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x H 1 r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x } d s .
By the fact that H 1 is concave and H 1 ( 0 ) = 0 , the function h ( s ) = s H 1 ( s ) , such that, for 0 s 1 < s 2 , we have
h ( s 1 ) h ( s 2 ) .
Therefore, using (43) to obtain
t H 1 r 1 t H ( γ 0 E ( t ) ) ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x H 1 r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x = t H 1 r 1 t H ( γ 0 E ( t ) ) ϖ ( s ) r 2 t ϖ ( s ) h r 2 t ϖ ( s ) Ω | y x ( t ) y x ( t s ) | 2 d x t H 1 r 1 t H ( γ 0 E ( t ) ) ϖ ( s ) r 2 t ϖ ( s ) h r 2 t ϖ ( s ) 8 l E ( 0 ) + 2 m 0 2 t H 1 r 1 8 l E ( 0 ) + 2 m 0 2 t H ( γ 0 E ( t ) ) ϖ ( s ) H 1 r 2 t ϖ ( s ) 8 l E ( 0 ) + 2 m 0 2 .
Then,
Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x 2 r 2 r 1 t H ( γ 0 E ( t ) ) t E ( t ) + 8 l E ( 0 ) + 2 m 0 2 0 { ϖ ( s ) H 1 r 2 8 l E ( 0 ) + 2 m 0 2 t ϖ ( s ) × t H 1 r 1 8 l E ( 0 ) + 2 m 0 2 t H ( γ 0 E ( t ) ) ϖ ( s ) H 1 r 2 t ϖ ( s ) 8 1 l E ( 0 ) + 2 m 0 2 } d s .
By (Hypothesis 1), we have
sup s R + ϖ ( s ) H 1 t ϖ ( s ) = κ 1 < ,
and
0 ϖ ( s ) H 1 t ϖ ( s ) = κ 2 < .
Because t H 1 is nondecreasing, we choose r 1 , r 2 , such that
Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x 2 κ 2 t H ( γ 0 E ( t ) ) t E ( t ) + 8 l E ( 0 ) + 2 m 0 2 t H 1 t H ( γ 0 E ( t ) ) 0 ϖ ( s ) H 1 t ϖ ( s ) 2 κ 2 t H ( γ 0 E ( t ) ) t E ( t ) + 8 l E ( 0 ) + 2 m 0 2 γ 0 E ( t ) .
This completes the proof. □
Proof of Theorem 4.
Multiplying (46) by t H ( γ 0 E ( t ) ) and using results in (47)
t H ( γ 0 E ( t ) ) t L ( t ) ε 1 t H ( γ 0 E ( t ) ) E ( t ) + c t H ( γ 0 E ( t ) ) Ω 0 ϖ ( s ) | y x ( t ) y x ( t s ) | 2 d s d x [ ε 1 c γ γ 0 ] t H ( γ 0 E ( t ) ) E ( t ) c γ t E ( t ) .
We choose γ 0 small enough, so that ε 1 c γ γ 0 > 0 .
Put
g ( t ) = t H ( γ 0 E ( t ) ) L ( t ) + c γ E ( t ) E ( t ) ,
then,
t g ( t ) κ g ( t ) t H ( γ 0 g ( t ) ) ,
which implies that t ( H 1 ( g ) ) κ , where
H 1 ( τ ) = τ 1 1 s t H ( γ 0 s ) d s , 0 < τ < 1 .
Integrating t ( H 1 ( g ) ) κ over [ 0 , t ] , we get
g ( t ) H 1 1 ( κ t + κ 0 ) ,
the equivalence between E ( t ) and g ( t ) gives the result. □

4. Conclusions

By imposing a new appropriate conditions (Hypothesis 1)–(Hypothesis 5), which seems not be used in the literature, with the help of some special results, we obtained an unusual a decay rate result while using properties of convex functions combined with some estimates, extending some earlier results known in the existing literature. The main results in this manuscript are the following. Theorem 3 for the global existence of solutions and Theorem 4 for the general decay rate.
A class of symmetric regularized long wave equations, which is known in abbreviation as (SRLWEs), is given by
t t y y x x t t y x x = y t y x u x t u .
Equation (50) was proposed as a model for propagation of weakly nonlinear ion acoustic and space charge waves; it is explicitly symmetric in the x and t derivatives and is very similar to the regularized long wave equation, which describes shallow water waves and plasma drift waves. The SRLWE and its symmetric version also arises in many other areas of mathematical physics. We remark that Equation (50) is special form of the equation that is discussed in (6), in which F [ y ] = y t y x u x t u .
Our research falls within the scope of the modern Time-partial differential equations interests; it is considered among the issues that have wide applications in science and engineering that are related to the energy systems. The importance of this research, although it is theoretical, lies in the following: we found that viscoelastic damping term causing the decrease in energy and decreasing followed the infinite memory, depending on initial data. It will be very interesting if one considers numerical studies. It will be our next research project.

Author Contributions

Supervision, M.B.; Writing—original draft, K.Z. Both authors have read and agreed to the published version of the manuscript. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

For any decision, the authors would like to thank the anonymous referees and the handling editor for their careful reading and for relevant remarks/suggestions to improve the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Dutta, S. On the propagation of Love type waves in an infinite cylinder with rigidity and density varying linearly with the radial distance. Pure Appl. Geophys. 1972, 98, 35–39. [Google Scholar] [CrossRef]
  2. Paul, M.K. On propagation of Love-type waves on a spherical model with rigidity and density both varying exponentially with the radial distance. Pure Appl. Geophys. 1964, 59, 33–37. [Google Scholar] [CrossRef]
  3. Radochova, V. Remark to the comparison of solution properties of Love’s equation with those of wave equation. Appl. Math. 1978, 23, 199–207. [Google Scholar] [CrossRef]
  4. Brepta, R.; Prokopec, M. Stress Waves and Shocks in Solids; Academia: Praha, Czech Republic, 1972. (In Czech) [Google Scholar]
  5. Love, A.E.H. A Treatise on the Mathematical Theory of Elasticity; Cambridge University Press: Cambridge, UK, 1952. [Google Scholar]
  6. Chattopadhyay, A.; Gupta, S.; Singh, A.K.; Sahu, S.A. Propagation of shear waves in an irregular magneto-elastic monoclinic layer sandwiched between two isotropic half-spaces. Int. J. Eng. Sci. Technol. 2009, 1, 228–244. [Google Scholar]
  7. Ngoc, L.T.P.; Duy, N.T.; Long, N.T. A linear recursive scheme associated with the Love’s equation. Acta Math. Vietnam. 2013, 38, 551–562. [Google Scholar] [CrossRef]
  8. Ngoc, L.T.P.; Duy, N.T.; Long, N.T. Existence and properties of solutions of a boundary problem for a Love’s equation. Bull. Malays. Math. Sci. Soc. 2014, 2, 997–1016. [Google Scholar]
  9. Ngoc, L.T.P.; Duy, N.T.; Long, N.T. On a high-order iterative scheme for a nonlinear Love equation. Appl. Math. 2015, 60, 285–298. [Google Scholar] [CrossRef] [Green Version]
  10. Ngoc, L.T.P.; Long, N.T. Existence, blow-up and exponential decay for a nonlinear Love equation associated with Dirichlet conditions. Appl. Math. 2016, 61, 165–196. [Google Scholar] [CrossRef] [Green Version]
  11. Triet, N.A.; Mai, V.T.T.; Ngoc, L.T.P.; Long, N.T. A Dirichlet problem for a nonlinear wave equation of Kirchhoff-Love type. Nonlinear Funct. Anal. Appl. 2017, 22, 595–626. [Google Scholar]
  12. Triet, N.A.; Mai, V.T.T.; Ngoc, L.T.P.; Long, N.T. Existence, blow-up and exponential decay for Kirchhoff-Love equations with Dirichlet conditions. Electron. J. Differ. Equ. 2018, 2018, 1–26. [Google Scholar]
  13. Boussouira, F.A.; Cannarsa, P. A general method for proving sharp energy decay rates for memory-dissipative evolution equations. C. R. Math. Acad. Sci. Paris Ser. I 2009, 347, 867–872. [Google Scholar] [CrossRef] [Green Version]
  14. Dafermos, C.M. On the existence and the asymptotic stability of solution to the equations of linear thermo-elasticity. Arch. Ration. Mech. Anal. 1968, 29, 241–271. [Google Scholar] [CrossRef]
  15. Giorgi, C.; Muenoz Rivera, J.; Pata, V. Global Attractors for a Semilinear Hyperbolic Equation in visco-elasticity. J. Math. Anal. Appl. 2001, 260, 83–99. [Google Scholar] [CrossRef] [Green Version]
  16. Han, X.; Wang, M. Global existence and blow-up of solutions for a system of nonlinear visco-elastic wave equations with damping and source. Nonlinear Anal. 2009, 71, 5427–5450. [Google Scholar] [CrossRef]
  17. Li, G.; Wang, D.; Zhu, B. Well-posedness and decay of solutions for a transmission problem with history and delay. Electron. J. Differ. Equ. 2016, 2016, 1–21. [Google Scholar]
  18. Wenjun, L.; Chen, K.; Yu, J. Asymptotic stability for a non-autonomous full von Karman beam with thermo-viscoelastic damping. Appl. Anal. 2018, 97, 400–414. [Google Scholar]
  19. Wenjun, L.; Wang, D.; Chen, D. General decay of solution for a transmission problem in infinite memory-type thermoelasticity with second sound. J. Therm. Stress. 2018, 41, 758–775. [Google Scholar]
  20. Zennir, K. General decay of solutions for damped wave equation of Kirchhoff type with density in Rn. Ann. Univ. Ferrara 2015, 61, 381–394. [Google Scholar] [CrossRef]
  21. Zitouni, S.; Zennir, K. On the existence and decay of solution for viscoelastic wave equation with nonlinear source in weighted spaces. Rend. Circ. Mat. Palermo II. Ser 2017, 66, 337–353. [Google Scholar] [CrossRef]
  22. Wenjun, L.; Zhuang, H. Global existence, asymptotic behavior and blow-up of solutions for a suspension bridge equation with nonlinear damping and source terms. Nonlinear Differ. Equ. Appl. 2017, 24, 67. [Google Scholar]
  23. Sun, F.; Liu, L.; Wu, Y. Blow-up of solutions for a nonlinear visco-elastic wave equation with initial data at arbitrary energy level. Appl. Anal. 2019, 98, 2308–2327. [Google Scholar] [CrossRef]
  24. Sun-Hye, P. Stability of a von karman equation with infinite memory. Acta Math. Sci. 2017, 37, 965–973. [Google Scholar]
  25. Zennir, K.; Miyasita, T.; Papadopoulos, P. Local and Global nonexistence of solution for Love-equation with infinite memory. J. Int. Equ. Appl. 2020, in press. [Google Scholar]
  26. Yaojun, Y. Global existence and asymptotic stability for coupled nonlinear Klein-Gordon equations with nonlinear damping terms. Dyn. Syst. 2013, 28, 287–298. [Google Scholar]
  27. Zennir, K.; Guesmia, A. Existence of solutions to nonlinear κ-th-order coupled Klein-Gordon equations with nonlinear sources and memory terms. Appl. Math. E-Notes 2015, 15, 121–136. [Google Scholar]
  28. Arnold, V.I. Mathematical Methods of Classical Mechanics; Springer: New York, NY, USA, 1989. [Google Scholar]

Share and Cite

MDPI and ACS Style

Zennir, K.; Biomy, M. General Decay Rate of Solution for Love-Equation with Past History and Absorption. Mathematics 2020, 8, 1632. https://doi.org/10.3390/math8091632

AMA Style

Zennir K, Biomy M. General Decay Rate of Solution for Love-Equation with Past History and Absorption. Mathematics. 2020; 8(9):1632. https://doi.org/10.3390/math8091632

Chicago/Turabian Style

Zennir, Khaled, and Mohamad Biomy. 2020. "General Decay Rate of Solution for Love-Equation with Past History and Absorption" Mathematics 8, no. 9: 1632. https://doi.org/10.3390/math8091632

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop