General Decay of a Nonlinear Viscoelastic Wave Equation with Balakrishnân-Taylor Damping and a Delay Involving Variable Exponents
Abstract
This paper was aimed at investigating the stability of the following viscoelastic problem with Balakrishnân-Taylor damping and variable-exponent nonlinear time delay term where Ω is a bounded domain of ℝn, is a measurable function, g > 0 is a memory kernel that decays exponentially, α ≥ 0 is the potential, and for some constants a > 0, b ≥ 0, and σ > 0. Under some assumptions on the relaxation function, we use some suitable Lyapunov functionals to derive the general decay estimate for the energy. The problem considered is novel and meaningful because of the presence of the flutter panel equation and the spillover problem including memory and variable-exponent time delay control. Our result generalizes and improves previous conclusion in the literature.
1. Introduction
In recent years, much attention has been paid to the study systems with variable exponents of nonlinearities which are models of hyperbolic, parabolic, and elliptic equations. These models may be nonlinear over the gradient of unknown solutions and have nonlinear variable exponents. Researches of these systems usually use the imbedding of Lebesgue and Sobolev spaces with variable exponents (see, e.g., [1, 2]). Or see [3–14] and the references therein for more details of relevant problems.
There are many important results, such as the local solutions in time, well-posedness, and solvability; for the Kirchhoff type, equation (2) in general dimensions and domains has been obtained in lots of articles (see, e.g., [16–24] and the references therein).
When p > 1 identically equals to a constant, problem (1) with the Balakrishnân-Taylor damping term (σ > 0) is related to the flutter panel equation and the spillover problem involving time delay term. Balakrishnân and Taylor in [25] and Bass and Zes in [26] introduced Balakrishnân-Taylor damping, which arises from a wind tunnel experiment at supersonic speeds (see, e.g., [22, 27–32]).
On damping terms, we point out several excellent works: Lian and Xu in [33] studied a class of nonlinear wave equations with weak and strong damping terms, and they established the existence of weak solutions and related blow-up results under three different initial energy levels and different conditions. Yang et al. [34] investigated the exponential stability of a system with locally distributed damping. Lian et al. [35] were interested in a fourth-order wave equation with strong and weak damping terms; they obtained the local solution, the global existence, asymptotic behavior, and blow-up of solutions under some condition.
This paper devotes to generalize some previous results. In particular, in this case, we will use the relaxation function, the specified initial data, and a special Lyapunov functional, which depends on the behavior of the relation function and is not necessary to decay in some polynomial or exponential form, to get a general decay estimate of the energy.
In addition to the introduction, this paper is divided into two parts. In Section 2, we review some basic definitions about Lebesgue and Sobolev spaces with variable exponentials and give some related properties. At the end of this section, we present our main results. In Section 3, we prove our results, showing that a solution of (1) possesses a general decay with small initial values (u0, u1).
2. Functional Setting and Main Results
In this section, we will give some preliminaries and our main results.
In addition, ‖.‖q and denote the usual Lq(Ω) norm and H1(Ω) norm.
In order to obtain the main results, we give the following lemma firstly.
Lemma 1 (see [1].)
- (1)
If
(11)then(12)for any u ∈ Lp(.)(Ω) - (2)
Assume that are measurable functions satisfying
(13)
Then, for all functions u ∈ Lp(.)(Ω) and v ∈ Ln(.)(Ω), we have uv ∈ Lm(.)(Ω) with
Lemma 2. Suppose that p : Ω⟶[p−, p+] ⊂ [1, +∞) is a measurable function satisfying
We assume that the relaxation function g and the potential α satisfy the following assumptions:
By the standard methods as in Section 3 of [50], we can easily prove the well-posedness of problem (1) presented as follows.
3. Main Asymptotic Theorem
Next, we will give the proof of Theorem 4.
The most important key to solve problem (1) is to obtain a result that concerns the asymptotic stability of solutions.
The main result is as follows.
Theorem 4. Suppose (17)–(20) and (28) hold. Then, there exists positive constants C0, C, and t1 > 0 such that
To prove this theorem, the following technical lemmas are necessary.
Lemma 5. If u is a solution of problem (25). Then,
Proof. Using the same idea as in [50], multiply the first equation in (25) by ut and then integrate in Ω. Similarly, multiply the second equation in (25) by ξze−λτρ and integrate in (0, 1) × Ω. Summarizing the above, we can obtain
By z(1, t) = ut(t − τ) and the Young inequality, we get
From (23), we have
Comparing (31) and (32), we obtain
Setting
Remark 6. If
Proof. From (27) and (30), we have
Integrating the above inequality in (0, t), we get
Now, we give a modified functional:
Lemma 8. There exists C1, C2 > 0 such that
Proof. By the Poincaré theorem and Young inequality, we have the following results through integrating by parts:
Lemma 9. There exists cε, Cε > 0 fulfilling
Proof. By the first equation of (25), we differentiate (42), and then we have
By the Hölder inequality, Sobolev-Poincaré inequalities, and (17), we estimate the second part of the right-hand side in (47).
For every η > 0, using the Young inequality and (17), we deduce
Summarizing the above estimates, (48) and (49), we obtain
Setting η = l/(a − l), it is easy to obtain
Substituting (51)–(53) into (47), we deduce
Lemma 10. There exists positive constants δ and cδ satisfying
Proof. Similar to Lemma,9 by the first equation (25), we differentiate (43), and it yields
By the Hölder inequality, Sobolev-Poincaré inequalities, and (17), we estimate the second part of the right-hand side in (56).
Similarly,
Comparing these above estimates (57)–(61), we have
Lemma 11. There exists positive constants C3, C4, and t0 satisfying
Proof. Since g > 0 and is continuous, then for any t ≥ t0 > 0, we get
Differentiate (41), and using Lemmas 9 and 10, we get
Indeed,
Thus,
Fix δ > 0 such that
Select ε1 and ε2 small enough to make (44) and (67) hold, and moreover
Hence, for a generic positive constant c, (67) is equal to the following results:
Noticing that limt⟶∞ − α′(t)/ξ(t)α(t) = 0, so choose t1 > t0, we see
Now, we are in the position to prove Theorem 4.
Proof of Theorem 4. According to Lemma 5, Lemma 11, and (17), we have
Since ζ(t) is nonincreasing, by assumption (17) and the definition of E(t), we get
Since limt⟶∞ − α′(t)/α(t)ζ(t) = 0, we can choose t1 ≥ t0 such that C3 + 2C4l0α′(t)/lα(t)ζ(t) > 0 for t ≥ t1. Hence, if we let
Consequently, to integrate (77) over (t1, t), it yields
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
The work is supported by the Fundamental Research Funds for the Central Universities (2019B44914).
Open Research
Data Availability
No data is used in the manuscript.