Abstract
Viscoelastic damping phenomena are ubiquitous in diverse kinds of wave motions of nonlinear media. This arouses extensive interest in studying the existence, the finite time blow-up phenomenon and various large time behaviors of solutions to viscoelastic wave equations. In this paper, we are concerned with a class of variable coefficient coupled quasi-linear wave equations damped by viscoelasticity with a long-term memory fading at very general rates and possibly damped by friction but provoked by nonlinear interactions. We prove a local existence result for solutions to our concerned coupled model equations by applying the celebrated Faedo-Galerkin scheme. Based on the newly obtained local existence result, we prove that solutions would exist globally in time whenever their initial data satisfy certain conditions. In the end, we provide a criterion to guarantee that some of the global-in-time-existing solutions achieve energy decay at general rates uniquely determined by the fading rates of the memory. Compared with the existing results in the literature, our concerned model coupled wave equations are more general, and therefore our theoretical results have wider applicability. Modified energy functionals (can also be viewed as certain Lyapunov functionals) play key roles in proving our claimed general energy decay result in this paper.
Keywords:
existence results; general energy decay; quasi-linear wave equations; variable coefficient wave equations; viscoelastic damping MSC:
35L05; 35L15; 35L70
1. Introduction
We are concerned, in this paper, with the initial boundary value problem (IBVP) for a coupled system of two quasi-linear space-variable coefficient wave equations whose energy is inhibited by viscoelastic dampings with long-term memories and possibly inhibited by frictional dampings, but provoked by nonlinear interactions. More precisely, we consider
in which: and , , are the unknowns of IBVP (1); is a nonempty bounded open subset of the N-dimensional Euclidean space , of which, the boundary, denoted by (i.e., ), is smooth enough (say, is in the class); N is a given positive integer; and , as well as and , are given positive constants; and are given -valued functions depending merely on space variables; , , and are given functions which depend merely on space variables; and , the so-called relaxation functions, are given functions mapping (throughout this paper, denotes the closed interval ; see our notational conventions at the rear of this section) into itself; and are given real-valued functions defined in ; the given functions , , and are initial data of the unknowns of IBVP (1); denotes the partial differential operator ; ∇ denotes, as usual, the gradient operator on the N-dimensional Euclidean space , with denoting the partial differential operator , ; denotes formally the divergence of the vector field
that is, . We shall explain later the sense in which the coupled quasi-linear viscoelastic variable coefficient wave Equations (1) and (1), as well as the homogeneous Dirichlet boundary condition ‘ on ’ (i.e., (1)) are satisfied.
As with coupled parabolic equations (see [1,2] and the references cited therein), the coupled wave equations in IBVP (1) have important implications in Physics. The assumption that the coefficients and depend on space variables indicates that the underlying media/material is inhomogeneous. The assumption that the constants and are positive indicates that some of the structural properties of the concerned media/material are influenced significantly by the vibrating velocity. To include the terms
in the model Equation (1) and (1), we stress that, in our concerned scenario in this paper, the wave motions of the concerned media/material are suppressed by its viscoelasticity (the kinetic energy is inhibited, the viscosity is influenced by the velocity, and the aftereffect or memory of sustains for infinitely long time in the media/material); see Reference [3] for the description of viscoelasticity phenomenon and the explanation of the inducing mechanism of this phenomenon. The terms , , and are incorporated to emphasize that the waves u and v are ‘strongly’ coupled to a certain extent; we shall impose some suitable conditions on the coefficients , , and (see Assumption 5) to ensure that the term , together with the term , plays a role as frictional damping.
Partial differential equations describing the dynamics of viscoelastic materials have enormous implications to applications of these materials in engineering and scientific communities; the governing equations incorporate hereditary terms to stress that the aftereffect in the materials can not be neglected (see References [3,4,5,6]). In theoretical study or engineering applications, the aftereffect of some materials could be neglected for sufficiently large time, while the aftereffect of the other materials could last in infinitely long time periods. Let us point out again that, as indicated by the structure of the model equations in IBVP (1), the aftereffect of the material concerned in this paper could last in infinitely long time periods.
Since viscoelastic materials play important roles in diverse application areas (as alluded before), many experts in mathematical communities have been, in the last two decades, attracted into studying the dynamics of viscoelastic materials from mathematical perspectives. Muñoz Rivera [4] studied the large time behaviour of a class of viscoelastic equation, defined in bounded open subset of Euclidean spaces, in which the aftereffect in large time was neglected, and proved that the associated energy decays exponentially as time approaches infinity. Muñoz Rivera, Lapa and Barreto [5] established later some similar energy decaying results for plate equations. Aassila, Cavalcanti and Soriano [7] established exponentially decaying and polynomially decaying estimates for the energy of a constant-coefficient wave equation governing the vibration of materials occupying a domain whose boundary is of viscoelasticity under different conditions, respectively; in the meanwhile, they justified that the assertion that the energy approaches zero as time goes to infinity holds for all linear viscoelastic wave equations on bounded domains subject to homogeneous Dirichlet boundary condition. The idea in References [5,7] is strikingly illuminating for later study of problems for viscoelastic wave equations; see References [8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27] and the vast references cited therein. For example, Cavalcanti, Domingos Cavalcanti and Ferreira [8] considered the following initial boundary value problem
they proved, under certain conditions on the relaxation function g, that IBVP (2) admits global weak solutions in whenever , and that the energy associated to the corresponding u decays exponentially whenever , where
The (quasi-)linear wave equation (when , the model Equation (2) is linear) in IBVP (2) includes two damping terms, namely, the viscoelastic damping and the frictional damping . If , these two dampings seem to be equivalent in the sense that the energy of both IBVP (2) incorporating merely viscoelastic damping and IBVP (2) incorporating merely frictional damping decays exponentially. Hence it is interesting to compare the intensity of these two terms in inhibiting the energy of solutions IBVP (2) with . In this direction, Cavalcanti and Portillo Oquendo [9] obtained some interesting results. Berrimi and Messaoudi [10] studied viscoelastic equations including nonlinear source terms, and proved that the associated energy decays to zero as time goes to infinity whenever the initial values is sufficiently small. Cavalcanti, Domingos Cavalcanti and Martinez [11] extended in a certain sense the results in Reference [8] and proved that the energy of viscoelastic equations with general relaxation function g (which has a slow decaying rate compared to the one in Reference [8]) could also approach zero as time goes to infinity. The system of coupled viscoelastic wave equations has also been studied by several mathematicians in recent years. Han and Wang [12] studied the initial boundary value problem for a coupled system of viscoelastic wave equations with two nonlinear frictional damping terms, that is
they proved, under some additional conditions, that IBVP (3) is globally well-posed and provided a blow up criterion for IBVP (3) under some other conditions; as alluded above, the nonlinear terms and , playing roles as frictional dampings, bring in dissipation mechanism in the energy of the system (3). Said-Houari, Messaoudi and Guesmia [13] and Mustafa [14] extended the results in References [8,9,10,11] to IBVP (3) with the nonlinear frictional dampings removed. As could be seen evidently from IBVP (3), the structural properties of the concerned materials do not depend on the velocity of the vibration of the materials. Liu [15] considered an initial boundary value problem which is more close to IBVP (1), our working model problem in this paper, namely
with ; he established under certain additional conditions some uniform decaying estimates for the energy of IBVP (4). He [16] reported some uniform decaying results for the energy associated to IBVP (4) under some other conditions. The other more interesting existence and stability results concerning viscoelastic (quasi-)linear wave equations could be seen in References [17,18,19,20,21,22,23,24,25,26,27,28,29] and the references therein.
As can be infered from the above review: The model equations considered in the aforementioned references only reflect that the concerned materials are homogeneous in all directions and that the aftereffect is all neglected for large time. But it seems to be more realistic that the materials are inhomogeneous in directions and that the aftereffect could influence the materials all the time. This motivates us to study space-varying viscoelastic wave equations with infinitely long memory of which both improve the mathematical difficulty of the paper. As could be seen later, we shall not assume that ; it is obvious that has significant physical implications. Aside from these innovations, the nonlinearity in IBVP (1) seems to be more general than those studied in the existing references. Our goal in this paper is to prove under some conditions that solutions to IBVP (1) exist globally in time whenever their initial values are sufficiently small, and prove under some additional conditions that the energy associated to some of the global in time solutions approaches zero as time escapes to infinity.
Assumption 1.
For , , the set of uniformly continuous functions of which partial derivatives whose orders not exceeding 2 are all uniformly continuous Ω. For every , the matrix is symmetric, . And is assumed to be strictly positive, where the constant is given by
Assumption 2.
The relaxation function is strictly monotonically decreasing, maps the closed interval into itself and satisfies
The derivative function , of the relaxation function , is locally Lebesgue integrable in (in other words, the function is absolutely continuous in the interval ), . There exists a nonincreasing absolutely continuous function mapping into itself and a function (with a given positive constant not less than ), which is strictly increasing and strictly convex, and satisfies , such that
that
and that there exists a positive constant satisfying
with denoting the inverse of the derivative of the function .
Assumption 3.
The constants and satisfy and .
Assumption 4.
is locally Lipschitz continuous in , and satisfies , . There exists a function , defined in the whole space , such that
or equivalently , u, . satisfies the growth condition at infinity: There exist four absolute constants , , and satisfying and , such that, for every pair , it holds always that
Assumption 5.
For every : ; and the matrix
is semi-positive definite. belongs to the Banach space , the totality of uniformly continuous real-valued functions defined in Ω, i, .
For the sake of convenience of our later presentation, we write
and write for every satisfying :
For every given , we denote henceforth
Hereafter, we associate to (i, ) the following constant
To improve the readability, we would like to give some remarks on our list of five standing assumptions (see Assumptions 1–5 for the details) of this paper.
Remark 1.
By applying the celebrated Sobolev–Poincaré inequality (see [1], THEOREM 1, p. 292), we can conclude that given by (10) is a positive constant. In light of Assumption 1 on the coefficient matrix , the term is well-defined and given by (9) is also a positive constant obeying
where is given by (5), and tr denotes the trace operator of square matrice, .
Remark 2.
By imposing the restriction (6) in Assumption 2, our principal aim in this paper is to guarantee the twice continuous differentiability of the function in the interval . The restriction (6) can be probably removed via introducing the notion of subdifferential in convex analysis, or via utilizing Dini’s derivatives, together with some complicated calculations techniques.
Remark 3.
Lemma 1.
Let , and be three functions given as in Assumption 4. For every pair , it holds always that
where is exactly the one given in (8) in Assumption 4, .
Remark 4.
By some routine calculations, we have immediately that
Notational Conventions.
is the field of real numbers; ; . For , we write formally . For , denotes, as usual, the classical Lebesgue space. The Hilbert space , equipped with the inner product
denotes the totality of square-integrable functions defined in whose first order partial derivatives, in the distributional sense, are all square-integrable functions in . denotes the totality of functions in having zero as their boundary values in the trace sense, or equivalently, is the completion of the totality of infinitely differentiable functions defined in having compact support in the Hilbert space ; inheriting the inner product (13) from , is also a Hilbert space. We write and for the norms induced by inner products of the Hilbert spaces and . Let H be an inner product space, we write for the inner product of the space H. Let X be a Banach space with its topological dual, and J an interval; we write for the duality pairing (of the Banach space X and its dual ) and denote by the following space
The rest of this paper is organized as follows. In Section 2, we prove that solutions to IBVP (1) exist globally in time whenever their initial data are sufficiently small. In Section 3, we provide a general decaying estimate on global-in-time solutions to IBVP (1); the estimate implies that global-in-time solutions to IBVP (1) decrease to zero as time goes to infinity, whenever their initial data satisfy some additional conditions. In Section 4, we provide several concluding remarks.
2. Global Existence Results Concerning Solutions to IBVP (1)
In this section, our main aim is to prove the global existence of solutions, whose initial data belonging to a certain function space, to IBVP (1). We shall first demonstrate the local existence of solutions to IBVP (1) via utilizing the Faedo-Galerkin method, and shall then prove the desired global existence by establishing a priori estimates and a standard continuation argument. For the sake of convenience of our later presentation, we write, in the sequel, for every :
and for every , we write similarly
Definition 1.
Let . The pair is said to be a local weak solution, in the interval , to IBVP (1) provided that the following two equalities hold for every pair of test functions:
and
Definition 2.
Let . is said to be a weak solution to IBVP (1), in the interval , if for every , is a local weak solution, in the interval , to IBVP (1). In the case that (or equivalently, ; see (15) for the definition of ), is called a global weak solution to IBVP (1); otherwise, is still called a local weak solution to IBVP (1).
To every solution pair (see (15) for the definition of ), with , to IBVP (1), we associate the following functional (a certain Lyapunov functional candidate)
where F is given by (7), and the operation “⋄”, associated to two given functions and , is defined, in a formal way, as follows: For every ,
Lemma 2.
Let , . For every
satisfying , it holds that
Proof.
Conduct some routine calculations, to obtain
in which the “=” in the second line follows immediately from the very definition of the expression (see (19) for the detail). □
The differential identity in Lemma 2 is of great importance in our later calculations and will be used frequently in proving our main results in this paper. For example, we shall employ Lemma 2 as one of the main ingredients in the procedure of deducing an a priori inequality which plays a key role in proving the following local existence theorem.
Theorem 1.
Suppose that Assumptions 1–4 hold true, and that the space-varying coefficient belongs to the Banach space , i, . Then for every initial datum pair
and every initial datum pair , IBVP (1) admits a local weak solution (see (14) for the detailed definition of the notation ), in the interval , in which is a certain postive time instant depending merely on Ω, , , , , , , , , , , , , , , and .
Please notice that we do not use Assumption 5 in Theorem 1 temporarily, instead, we used a weaker condition that ‘ belongs to the Banach space , i, ’. We shall prove Theorem 1 via the very standard Faedo-Galerkin procedure.
Proof.
Thanks to Assumption 1, by recalling theory on elliptic partial differential equations, one can find: One orthonormal basis, designated by , of the Hilbert space is composed of the solutions of the following eigenvalue problems
By using mainly the divergence theorem, we have
Since (see Assumption 1), for any positive integer n, we have , , 2. Let us introduce the following two sequences of approximate solutions
As with (20), to construct sequences of approximate solutions is one of the main steps in applying the Faedo-Galerkin scheme to prove local existence result of evolution partial differential equations. After some calculations, we can find that given by (20) is approximate solution pair to IBVP (1) if and only if
is the solution to the following Cauchy problem
In accordance with (21), we write
Then the Cauchy problem (22) can be recast into the following Cauchy problem for a functional differential equation
where , , and is locally Lipschitz continuous. Then by a variant of the classical Cauchy–Lipschitz existence theory, the Cauchy problem (23), or equivalently, the Cauchy problem (22) is locally well-posed in Hadamard’s sense. As a consequence, by applying a standard continuation argument, we can prove, based on the aforementioned local well-posedness result, that the Cauchy problem (22) (for system of ordinary differential equations) admits a unique solution
in the classical sense in , the maximal interval of existence. Thus the pair in the form (20) is well-defined. Let us now introduce the following auxilliary functional
Differentiate and simplify further the obtained result, to yield
Before continuing our proof, it is worth noticing that the unique existence of solutions to the Cauchy problem (22) and solutions to the Cauchy problem (22) depending continuously on their initial data are both attributed to the local Lipschitz continuity of in the right hand side of the partial differential equation in the Cauchy problem (22), and that the maximal existence time instant , independent of k, depends on , , , , , , , , , , , , , , , and .
Thanks to
by the Fenchel–Young inequality, it holds that
from which it follows further that
And similarly, we have
In view of the Fenchel–Young inequality
which follows directly from the identity
with the aid of the experience gained in the procedure of deriving (26) and (27), we have, after some routine but careful calculations, that
And analogously, we have
By utilizing the growth condition (8) upon the nonlinearity () in Assumption 4, we obtain immediately
By virtue of observing
inspired by the experience gained in deducing (26)–(29), we have, by applying also the Fenchel–Young inequality, immediately that
In view of the coercivity condition on (see Assumption 1), we have by applying the Sobolev–Poincaré inequality (see Remark 1) that
see (9) and (10) for the detailed explanations on the notations and , respectively. Combine (31) and (32), to arrive at
in which the positive constant is given by
With the help of the experience of deriving (33), we conlude similarly that
in which the positive constant is given by
With the help of the experience of deriving (33) and (34), we arrive at
in which the positive constant is given by
With the help of the experience of deriving (33)–(35), we conlude that
in which the positive constant is given by
Based on the algebraic identity (30), we apply the Fenchel–Young inequality, to obtain
Mimicking steps in deriving (32), having the notations in (9) and (10) at our disposal, and based on the coercivity condition on (see Assumption 1), we apply the Sobolev–Poincaré inequality (see Remark 1), to arrive at
which, together with (37), implies directly
in which the positive constant is given by
With the aid of the experience of deriving (33)–(36), we conlude that
in which the positive constant is given by
Mimicking the steps as in deducing (40) from (33)–(39), we could prove similarly that
in which the positive constants , , , , and are given by
and
respectively. Plug (26), (27), (28), (29), (40) and (41) into (25) and simplify the obtained result further, to arrive at finally
in which the positive constant is given by
With the aid of the definition (see (24) for the details), by some routine but careful calculations, we arrive at
in which the positive constant is given by
see (11) for the detailed explanation on the notation and see Remark 3 for its applications. Take similar steps as in deriving (43), to get
in which the positive constant is given by
see (11) for the detailed explanation on the notation and see Remark 3 for its applications. Take similar steps as in deriving (43) and (44), to get
in which the positive constant is given by
see (11) for the detailed explanation on the notation and see Remark 3 for its applications. Take similar steps as in deriving (43), (44) and (45), to get
in which the positive constant is given by
see (11) for the detailed explanation on the notation and see Remark 3 for its applications. By the Fenchel–Young inequality, we have
Plug (43), (44), (45), (46) and (47) into (42) and perform some simple computations, to arrive at finally the semi-linear differential inequality
in which , , , , and are given by
and
respectively. By careful calculations, we have
where the nonnegative constant is given by
Let us introduce an auxiliary Cauchy problem
Since the right hand side of the differential equation in the problem (49) is smooth (and hence, is locally Lipschitz continuous), by the classical Cauchy–Lipschitz existence theory of ordinary differential equations, the Cauchy problem (49) admits a unique solution, denoted by , in an interval , where is a certain constant fulfilling . It is not difficult to conclude: Both and are uniquely determined by , , , , , , , , , , , , , , , and ; is strictly increasing in the interval ; and can be chosen arbitrarily in the interval with given by
in which with given by
϶ given by
and given by
Thanks to , by standard comparison theory of ordinary differential equations, we deduce from (48) and (49) that
Now let us put . In light of (50), we have by recalling that the function is strictly increasing in the interval
and have further by recalling (24) and performing some more elementary calculations
in which: the positive constant is given by
and , a constant in the sense that it is independent of k and t, depends on , , , , , , , , , , , , , , , and .
Since and (see Assumptions 3 and 4), we have
This, together with Assumptions 3 and 4, and the Rellich–Kondrachov theorem (see [1], Theorem 1, p. 286), implies that the Sobolev embeddings
are both compact, , 2. By applying the Banach–Alaoglu theorem (see [30], Theorem 3.16, p. 66), we can prove, via utilizing (51) and by applying the aforementioned compact embeddings and , , 2, that there exists a pair (whose restriction to could be proved to be weakly continuous with respect to time t in the Hilbert space ), and a subsequence of (that is, a strictly increasing sequence in ) such that
and such that
In addition, for every pair , it holds that
and
By recalling that
we could conclude, based on the idea of passing to the limit of (53) and (54), that , the limit of , satisfies (16), (17), (1) and (1).
Lastly, we can mimick steps in [9,23], to show that . To summarize, , the limit of , is indeed a local solution, in the interval , to IBVP (1) in the sense of Definition 1. The proof is complete. □
Remark 5.
Illuminated by the integral identity
and by the integral identity
we conclude that
Besides, enlightened by the integral identity
and by the integral identity
we conclude that
To sum up, the solution (see (14) for the definition of ) in the sense of Definition 1 whose existence justified by Theorem 1 satisfies automatically
Remark 6.
By re-checking the proof of Theorem 1, we may find that the restriction on the symmetric matrices-valued function, defined in the domain Ω, (see Assumption 1 for the details) could be weakened to: satisfies
and may find that the restriction that on the coefficient in Assumption 5 could be weakened to , i, . For the sake of convenience of our calculations, unless stated otherwise, we abide by Assumptions 1 and 5 in the rest of the paper.
Theorem 2.
Suppose that Assumptions 1–5 hold true. For every pair
and every pair , IBVP (1) admits a solution in the sense of Definition 2, in which , is the maximal existence time interval of the solution pair with the maximal existence time instant independent of but depending on Ω, , , , , , , , , , , , , , , and .
Proof.
Theorem 2 can be proved by a standard continuation procedure. And therefore we choose to leave out the detailed steps in this paper. □
Lemma 3.
Proof.
Mimicking steps conducted in (25), we have
which, together with Assumptions 2 and 5, implies immediately that is indeed non-increasing in the interval . The proof is complete. □
Theorem 2, having Theorem 1 as its basis, states that to every initial-datum pair
and every initial-datum pair , there corresponds a weak solution pair in the sense of Definition 2 to IBVP (1), in which is the maximal existence time interval of the solution pair . Now it is natural to start to investigate the global existence of solutions to IBVP (1).
To make it convenient to present our other results in the rest of this paper, let us introduce two auxilliary functionals
and
We shall see below that our global existence and general energy decay results hold true only for solutions to IBVP (1) having small initial data. To measure such smallness, we need introduce the following two constants
and
in which the constants , , , , , , and are given by
and
respectively, where the constant is given as in (9), , 2, and can be formulated explicitly as
Please consult (18) for the detailed expression of .
Lemma 4.
Proof.
Thanks to the assumption that and to the continuity of the function , there exists a time , such that
By the very definition of (see (56) for the details), we have
where the functional , associated to the solution to IBVP (1), is defined as in (57). Combine (68) and (69), to arrive at directly
In light of the definition (57) of the functional , we have
where the second ‘⩽’ follows from the non-increasing monotonicity (see Lemma 3 for the details). Substitute (71) into (70), to arrive at immediately
By Lemma 1, we have
Having the notations in (9) and (10) at our disposal and based on the coercivity condition on (see Assumption 1), mimicking steps in deducing (32), we apply the Sobolev–Poincaré inequality (see Remark 1), to conclude
And similarly, we have
and
Having the notations in (9) and (10) at our disposal and based on the coercivity condition on (see Assumption 1), mimicking steps in deducing (32) and (74)–(77), we apply the Sobolev–Poincaré inequality (see Remark 1), to obtain
And analogously, we have
and
Plug (74)–(81) into (73), to obtain
where the constants and are defined as in (58) and (59), respectively. Owing to the assumption that , it follows that
This, together with the definition (56) of , implies that
Lastly, to finish the proof, we introduce
Obviously, does not exceed T. By a contradiction argument, we shall show that coincides actually with T. We assume to the contrary that , then by the definition of as well as the continuity of , we have immediately that . Enlightened by the procedure of deriving (83) from (68), we have therefore . Thanks to the continuity of , there exists a such that holds for all . This contradicts the definition of . This implies indeed that coincides actually with T. In other words, holds for all . □
Theorem 3.
Suppose that Assumptions 1–5 hold true. For every weak solution pair to IBVP (1) with the maximal existence interval of , if the associated functional given by (56) satisfies and the associated constants and , given by (58) and (59), respectively, satisfy , then . In other words, weak solutions to IBVP (1) exist globally in time whenever their initial data satisfy and .
Proof.
We shall prove, by a contradiction argument, that T is exactly . Let us assume that . Following the idea used to obtain (72) in the proof of Lemma 4, we have
This, together with (9) (see Remark 1 for the details), implies that
which, together with (10) (see also Remark 1 for the details), implies further
where the positive constant , given by (52), is independent of the time variable t. Now, by a standard continution procedure, we could obtain a time such that IBVP (1) admits a solution in . This contradicts the assumption that is the maximal existence interval of IBVP (1). This implies immediately that , the maximal existence time interval of the solution , coincides actually with . In other words, the solution exists globally in time. The proof is complete. □
3. General Energy Decay Results Concerning Solutions to IBVP (1)
Let us now associate to every solution to IBVP (1) the functional
As we shall see, plays a role of the energy perturbation, and one differential inequality concerning the functional plays an important role in proving our main results in this paper. This inequality can only be established for those solutions whose initial data are small. To give a precise sense by which we mean the smallness, we need to introduce two useful constants and :
Lemma 5.
Suppose that Assumptions 1–5 hold true. If the associated functional given by (56) satisfies , the associated constants and , given by (58) and (59), respectively, satisfy , and the associated constants and , given by (86) and (87), respectively, satisfy , then weak solutions to IBVP (1) exist globally in time, and render the associated functional given by (85) to satisfy
where G is a positive constant yet to be determined later.
Proof.
As mentioned in Lemma 5, thanks to the assumptions and , it follows from Theorem 3 that exists globally in time. Recalling (85), we differentiate , to arrive at
By some routine calculations, we have
Since satisfies the coercivity condition that with given by (5) (see Assumption 1 for the details), from the Cauchy–Schwarz inequality it follows that
which, together with (90), implies
where G is a sufficiently large positive constant. Since satisfies the coercivity condition that with given by (5) (see Assumption 1 for the details), it follows by mimicking steps in deducing (91) that
By recalling Assumption 4 (especially (8)), by recalling the experience of deriving (31), (33)–(36), and by utilizing mainly the Fenchel–Young inequality, we have
With the aid of (74), (75), (76), (77), (78), (79), (80) and (81), we combine (89), (91), (92) and (93), to obtain
This, together with the assumption
implies that the proof of Lemma 5 is complete. □
As with defined by (85), the following energy perturbation functional associated to each solution pair to IBVP (1) is of great importance:
As with what we did in Lemma 5 for , we shall establish a useful differential inequality for in the following lemma.
Lemma 6.
Suppose that Assumptions 1–5 hold true. If the associated functional given by (56) satisfies , the associated constants and , given by (58) and (59), respectively, satisfy , then weak solutions to IBVP (1) exist globally in time, and render the associated functional given by (94) to satisfy
where the positive constant δ is given arbitrarily, the positive constants , , and are given respectively by
and
Proof.
As pointed in Lemma 6, in view of the assumptions and , we conclude by Theorem 3 that exists globally in time. Differentiate both sides of the Equation (94), to yield
We shall split (100) into several parts, and we shall treat each part separately. By some routine calculations, it is not difficult to find that
But by exploiting the positive definiteness of (see Assumption 1, especially (5), for the details) and by mainly utilizing the Cauchy–Schwarz inequality, we have
This implies immediately
Besides, by using again the positive definiteness of , as in (102), and by employing Jensen’s inequality, we have
which implies directly
And similarly, we have also
where the positive constant is given by
Thanks to the positive definiteness of (see Assumption 1, especially (5)), taking steps similar to those in the derivation of (102), we can prove
and
Apply the Fenchel–Young inequality, use the notations introduced in (9) and (10), and conduct some routine calculations, to obtain
with the positive constant given by
To proceed further, we need the help of the following inequality
which can be proved via applying Lemma 4 and using (56) as well as (57). With the help of (112), we can prove easily
This, together with (110), implies
With this at our hand, we can use the idea similar to the one utilized to establish the inequality (114), to prove successfully that
where the positive constant is given by
With the help of Assumption 5 and the notations in (9), (10) and (12), by mainly exploiting the Cauchy–Schwarz inequality and Jensen’s inequality, we have
where the positive constants and are given respectively by
and
With the growth condition (8) in Assumption 4 at our hand, we can prove via applying the Cauchy–Schwarz inequality and using the notations in (9) and (10) that
In view of the assumptions and , we conclude by Theorem 3 the inequality (72) holds true in . This, together with the notations in (9) and (10), implies
and
Plug (121), (122), (123), (124), (125) and (126) into (120), to get
where the positive constant is given in an arbitrary way, the positive constants and are given respectively by
and
Pick and so that
to yield
Remark 7.
To this end, we actually have several different approaches. For example, by using the Cauchy–Schwarz inequalities (in several different forms), we have
where the positive constants and , slightly different from and in (117) (see (118) and (119) for the details), are given by
and
As mentioned above, compared to the estimate (117), the last three lines of the sequence (131) of inequalities do not include the term (130). As will be seen, this could be beneficial to relatively wide choice of portions of the energy functional (see (18)), in the procedure of constructing modified energy functionals.
As with and (see (85) and (94), respectively), the following energy perturbation functional will be useful in our later presentation: To every pair (see (15) for the definition of ), we associate the functional
Lemma 7.
Proof.
By direct calculations, we have
And we have analogously
Thanks to Assumptions 1 and 2, it holds that
which, together with (138), implies that the proof of Lemma 7 is complete. □
To obtain our claimed general energy decay result, we need to design various modified (perturbed) energy functionals by adding energy perturbation functionals to the conventional energy functional (see (18) for the precise definition). Here, we are in a position to introduce the modified energy functional
where is a positive constant yet to be determined later, .
Lemma 8.
Suppose that Assumptions 1–5 hold true. Then there exists a triple
such that each solution to IBVP (1) makes the following differential inequality hold:
whenever its initial datum render the associated functional given by (56) to satisfy , the associated constants and , given by (58) and (59), respectively, to satisfy , the associated constants and , given by (86) and (87), respectively, satisfy , and the constants and , given by (96) and (98), respectively, to satisfy
Proof.
Thanks to (139), it follows that
where , as in (139), is yet to be determined later. By Lemmas 3, 5 and 6, this, together with (55), (88) and (95), implies
Since is strictly decreasing, is of bounded variation and is therefore Lebesgue measurable, . For any , it is easy to show that
It is also obvious to see that
By recalling the limit theory of one-variable functions and in view of (145), we conclude that there exists a such that
With (146) as one of the main tools, we have here by some routine computations
Now we are ready to choose appropriate values of the parameters and , . Actually, there are many ways to accomplish this goal. For instance, we can pick
and
It is not difficult to find that when the parameters and , , take the values shown above, it holds that
Theorem 4.
Suppose that Assumptions 1–5 hold true. For every quadruple
of initial datum, if it renders the associated functional given by (56) to satisfy , the associated constants and , given respectively by (58) and (59), to satisfy , the associated constants and , given respectively by (86) and (87), to satisfy , and the associated constants and , given respectively by (96) and (98), to satisfy (141), then the corresponding global in time solution (see (15) for the definition of ) to IBVP (1) makes the associated energy , given by (18), satisfy
where the positive constants and , depending on , is independent of the time variable t, and is the inverse function of which is given by
Remark 8.
By Assumption 2 (in particular, the restriction (6)), we conclude that the , given by (153), is well-defined as a continuous function, that it takes non-negative real numbers as its values, and that it obeys
This implies, in particular, that the function is strictly monotonically decreasing in the interval . We have directly by applying the definition (153) of
We apply Assumption 2 again and the definition (153) of , to get . In conclusion, , given by (153), is a strictly decreasing continuous function mapping the interval onto the closed interval . This implies, among other things, the inverse function of , appearing in (152), is well-defined, and actually maps the closed interval onto the interval .
Proof of Theorem 4.
Case I. and are both linear.
By some routine but tedious calculations, we have
or equivalently, we have
, more precisely, there exist two positive constants and , such that
Therefore, we deduce from (158) immediately that
This, together with Gronwall’s Lemma, implies
By recalling the afore-mentioned equivalence (159), we realize that this implies
where the positive constant is given by
Case II. or is non-linear.
We combine (with and , given as in (149), (150) and (151), respectively) and , to associate with each solution to IBVP (1) a new functional
Obviously, for all . Besides, by Lemmas 7 and 8, there exists a positive constant such that
For example, we could put with
In this situation, we have
which implies directly
This, in turn, implies
Fix provisionally t (sufficiently large if necessary) in the interval , write
and pick a such that
We assume first that and . In this case, we deduce from (154) that
This, together with the equivalence , implies that the energy associated to the system (1) the decays exponentially as time t escapes to infinity. Let us now assume that and when t is sufficiently large. Without loss of generality, we assume that and for all . With Jensen’s inequality as one of our main tools, by some routine but tedious computations, we arrive at
Since is strictly increasing (see Assumption 2 for the details), it follows immediately
And analogously, we can prove
Let us define a new function by giving
It is not difficult to check that is strictly increasing and strictly convex. Put
where the positive constant is suitably chosen so that
By applying Assumption 2, we have
By applying the method of change variable, we have furthermore
By recalling the limit theory of one-variable functions, we conclude that there exists a positive constant , such that
whenever the positive variable does not exceed ℘. With (171) as one of our main tools, by applying mainly the Fenchel–Young inequality, we have
By analogy to (172), we have
With Lemma 3 (in particular, (55)) and (174) as our main tools, we perform some routine computations, to arrive at
in which, , and are given respectively by
and
The strict increasing monotonicity of , the strict convexity of and the continuity of imply that the function is strictly increasing. For the sake our later presentation, we introduce the auxiliary functional
Since , . More exactly, there exists, as with (159), positive constants and , such that
With the help of (175) and the definition (177) of , we have
which, together with the equivalence (178), implies
where the positive constant is appropriately picked so that
Based on the differential inequality (179), we perform some routine calculations, to yield
where the function is defined as in (153). It is not difficult to observe that
where the function is given as in (176). By recalling that the function is strictly decreasing (see Remark 8 for the detailed explanation), we deduce from (180) that
which, together with the equivalence (178), implies directly
This, together with (160), implies that the proof of Theorem 4 is complete. □
4. Conclusions
In this paper, we studied the initial boundary value problem (that is, IBVP (1)) for a coupled system of two quasi-linear viscoelastic space-variable coefficient wave equations. We proved (see Theorems 1 and 2 for the details), under some seemingly natural conditions on , , , , , , , , , , , , and , via the celebrated Faedo–Galerkin method, that IBVP (1) admits a local solution in the sense of Definitions 1 and 2 for every initial datum in the space
Based on our new obtained local existence results, we proved, via establishing a priori inequalities, a global existence result for solutions, having small initial data, to IBVP (1) (see Theorem 3 for the details). Based on our new established global existence result, we proved via constructing various modified energy functionals (functionals, equivalent to the energy functional , defined by (18), of IBVP (1) and can be seen as Lyapunov functional from other perspectives), that if the initial data satisfy some additional conditions, then global in time solutions would decrease to zero, at the optimal decaying rate in a sense given by Remark 2.3 in Reference [22], as time escapes to infinity; see Theorem 4.
Author Contributions
Conceptualization, C.W. (Chengqiang Wang), X.Z. and Z.L.; methodology, C.W. (Chengqiang Wang), X.Z. and Z.L.; validation, C.W. (Chengqiang Wang) and X.Z.; formal analysis, C.W. (Chengqiang Wang); investigation, C.W. (Chengqiang Wang), C.W. (Can Wang), X.Z. and Z.L.; resources, C.W. (Chengqiang Wang), C.W. (Can Wang), X.Z. and Z.L.; writing—original draft preparation, C.W. (Chengqiang Wang), C.W. (Can Wang); writing—review and editing, C.W. (Chengqiang Wang), X.Z. and Z.L.; supervision, C.W. (Can Wang), X.Z. and Z.L.; funding acquisition, C.W. (Chengqiang Wang). All authors have read and agreed to the published version of the manuscript.
Funding
Chengqiang Wang is supported partially by KJZD Programme(#CS19ZA10) of Chengdu Normal University, by Startup Foundation for Newly Recruited Employees and Xichu Talents Foundation of Suqian University (#2022XRC033), NSFC (#11701050), and Jiangsu Qin–Lan Project of Fostering Excellent Teaching Team ‘University Mathematics Teaching Team’.
Data Availability Statement
Our results are theoretical, therefore we have no data to offer.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Evans, L. Partial Differential Equations, 2nd ed.; American Mathematical Society: Providence, RI, USA, 2010. [Google Scholar]
- Ali, I.; Saleem, M.T. Spatiotemporal dynamics of reaction–diffusion system and its application to turing pattern formation in a gray–scott model. Mathematics 2023, 11, 1459. [Google Scholar] [CrossRef]
- Creus, G.J. Viscoelasticity–Basic Theory and Applications to Concrete Structures; Springer: New York, NY, USA, 1986. [Google Scholar]
- Muñoz Rivera, J.E. Asymptotic behaviour in linear viscoelasticity. Quart. Appl. Math. 1994, 52, 628–648. [Google Scholar] [CrossRef]
- Muñoz Rivera, J.E.; Lapa, E.C.; Barreto, R. Decay rates for viscoelastic plates with memory. J. Elast. 1996, 44, 61–87. [Google Scholar] [CrossRef]
- Durdiev, D.K.; Totieva, Z.D. Kernel Determination Problems in Hyperbolic Integro-Differential Equations; Springer: Singapore, 2023. [Google Scholar]
- Aassila, M.; Cavalcanti, M.M.; Soriano, J.A. Asymptotic stability and energy decay rates for solutions of the wave equation with memory in a starsd shaped domain. SIAM J. Control Optim. 2000, 38, 1581–1602. [Google Scholar] [CrossRef]
- Cavalcanti, M.M.; Domingos Cavalcanti, V.N.; Ferreira, J. Existence and uniform decay for nonlinear viscoelastic equation with strong damping. Math. Methods Appl. Sci. 2001, 24, 1043–1053. [Google Scholar] [CrossRef]
- Cavalcanti, M.M.; Portillo Oquendo, H. Frictional versus viscoelastic damping in a semilinear wave equation. SIAM J. Control Optim. 2003, 42, 1310–1324. [Google Scholar] [CrossRef]
- Berrimi, S.; Messaoudi, S.A. Existence and decay of solutions of a viscoelastic equation with a nonlinear source. Nonlinear Anal. Theory Methods Appl. 2006, 64, 2314–2331. [Google Scholar] [CrossRef]
- Cavalcanti, M.M.; Domingos Cavalcanti, V.N.; Martinez, P. General decay rate estimates for viscoelastic dissipative systems. Nonlinear Anal. Theory Methods Appl. 2008, 68, 177–193. [Google Scholar] [CrossRef]
- Han, X.; Wang, M. Global existence and blow up of solutions for a system of nonlinear viscoelastic equation with damping and source. Nonlinear Anal. Theory Methods Appl. 2009, 71, 5427–5450. [Google Scholar] [CrossRef]
- Said-Houari, B.; Messaoudi, S.A.; Guesmia, A. General decay of solutions of a nonlinear system of viscoelastic wave equations. Nonlinear Differ. Equ. Appl. NoDEA 2011, 18, 659–684. [Google Scholar] [CrossRef]
- Mustafa, M. Well posedness and asymptotic behavior of a coupled system of nonlinear viscoelastic equations. Nonlinear Anal. Real World Appl. 2012, 13, 452–463. [Google Scholar] [CrossRef]
- Liu, W. Uniform decay of solutions for a quasilinear system of viscoelastic equations. Nonlinear Anal. Theory Methods Appl. 2009, 71, 2257–2267. [Google Scholar] [CrossRef]
- He, L. On decay of solutions for a system of coupled viscoelastic equations. Acta Appl. Math. 2020, 167, 171–198. [Google Scholar] [CrossRef]
- Guesmia, A.; Messaoudi, S.A. A general decay result for a viscoelastic equation in the presence of past and finite history memories. Nonlinear Anal. Real World Appl. 2012, 13, 476–485. [Google Scholar] [CrossRef]
- Park, J.Y.; Park, S.H. General decay for a quasilinear system of viscoelastic equations with nonlinear damping. Acta Math. Sci. 2012, 32, 1321–1332. [Google Scholar] [CrossRef]
- Feng, B.; Qin, Y.; Zhang, M. General decay for a system of nonlinear viscoelastic wave equations with weak damping. Bound. Value Probl. 2012, 2012, 146. [Google Scholar] [CrossRef][Green Version]
- Araujo, R.D.; Ma, T.F.; Qin, Y. Long-time behavior of a quasilinear viscoelastic equation with past history. J. Differ. Equ. 2013, 254, 4066–4087. [Google Scholar] [CrossRef]
- Messaoudi, S.A.; Al-Khulaifi, W. General and optimal decay for a quasilinear viscoelastic equation. Appl. Math. Lett. 2017, 66, 16–22. [Google Scholar] [CrossRef]
- Mustafa, M.I. General decay result for nonlinear viscoelastic equations. J. Math. Anal. Appl. 2018, 457, 134–152. [Google Scholar] [CrossRef]
- Li, F.; Jia, Z. Global existence and stability of a class of nonlinear evolution equations with hereditary memory and variable density. Bound. Value Probl. 2019, 2019, 37. [Google Scholar] [CrossRef]
- Gheraibia, B.; Boumaza, N. General decay result of solutions for viscoelastic wave equation with Balakrishnan-Taylor damping and a delay term. Z. Angew. Math. Phys. 2020, 71, 198. [Google Scholar] [CrossRef]
- Kelleche, A.; Feng, B. On general decay for a nonlinear viscoelastic equation. Appl. Anal. 2021, 102, 1582–1600. [Google Scholar] [CrossRef]
- Li, C.; Jin, K. General decay results for viscoelastic systems with memory and time-varying delay. Math. Methods Appl. Sci. 2022, 45, 4397–4407. [Google Scholar] [CrossRef]
- Youkana, A.; Al-Mahdi, A.M.; Messaoudi, S.A. General energy decay result for a viscoelastic swelling porous-elastic system. Z. Angew. Math. Phys. 2022, 73, 88. [Google Scholar] [CrossRef]
- Liang, F.; Gao, H. Exponential energy decay and blow-up of solutions for a system of nonlinear viscoelastic wave equations with strong damping. Bound. Value Probl. 2011, 2011, 22. [Google Scholar] [CrossRef][Green Version]
- Lv, M.; Hao, J. General decay and blow-up for coupled Kirchhoff wave equations with dynamic boundary conditions. Math. Control. Relat. Fields 2021, 13, 303–329. [Google Scholar] [CrossRef]
- Brezis, H. Functional Analysis, Sobolev Spaces and Partial Differential Equations; Springer: New York, NY, USA, 2011. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).