Next Article in Journal
New μ-Synchronization Criteria for Nonlinear Drive–Response Complex Networks with Uncertain Inner Couplings and Variable Delays of Unknown Bounds
Next Article in Special Issue
Advances in Dynamical Systems and Control
Previous Article in Journal
On a Sum of Two Akash Distributions: Inference and Applications
Previous Article in Special Issue
Dynamics of a Fractional-Order Eco-Epidemiological Model with Two Disease Strains in a Predator Population Incorporating Harvesting
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Exponential Stability for a Degenerate/Singular Beam-Type Equation in Non-Divergence Form

1
CERAMATHS-Laboratoire, INSA Hauts-de-France, University Polytechnique Hauts-de-France, F-59313 Valenciennes, France
2
Dipartimento di Ingegneria dell’Informazione e Scienze Matematiche, Università degli Studi di Siena, Via Roma 56, 53100 Siena, Italy
3
MISI Laboratory, Faculty of Sciences and Technology, Hassan First University of Settat, B.P. 577, Settat 26000, Morocco
*
Author to whom correspondence should be addressed.
Axioms 2025, 14(3), 159; https://doi.org/10.3390/axioms14030159
Submission received: 19 January 2025 / Revised: 16 February 2025 / Accepted: 19 February 2025 / Published: 23 February 2025
(This article belongs to the Special Issue Advances in Dynamical Systems and Control)

Abstract

:
The paper deals with the stability of a degenerate/singular beam equation in non-divergence form. In particular, we assume that the degeneracy and the singularity are at the same boundary point and we impose clamped conditions where the degeneracy occurs and dissipative conditions at the other endpoint. Using the energy method, we provide some conditions to obtain the stability for the considered problem.
MSC:
35L80; 35L81; 93D23; 93D15

1. Introduction

This paper is devoted to studying the stability of a beam-type degenerate equation with a small singular perturbation through a linear boundary feedback. To be more precise, we consider the following problem:
y t t ( t , x ) + a y x x x x ( t , x ) λ d y ( t , x ) = 0 , ( t , x ) ( 0 , + ) × ( 0 , 1 ) , y ( t , 0 ) = 0 , y x ( t , 0 ) = 0 , t > 0 , β y ( t , 1 ) y x x x ( t , 1 ) + y t ( t , 1 ) = 0 , t > 0 , γ y x ( t , 1 ) + y x x ( t , 1 ) + y t x ( t , 1 ) = 0 , t > 0 , y ( 0 , x ) = y 0 ( x ) , y t ( 0 , x ) = y 1 ( x ) , x ( 0 , 1 ) ,
where β and γ are non-negative constants and the function a is such that a ( 0 ) = 0 and a ( x ) > 0 for all x ( 0 , 1 ] . In particular, for the function a, we consider two types of degeneracy according to the following definitions:
Definition 1. 
The function g : [ 0 , 1 ] R is weakly degenerate, (WD) for short, at 0 if g ∈ C 0 [ 0 , 1 ] C 1 ( 0 , 1 ] is such that g ( 0 ) = 0 , g > 0 on ( 0 , 1 ] , and if
sup x ( 0 , 1 ] x g ( x ) g ( x ) : = K g ,
then K g ( 0 , 1 ) .
Definition 2. 
The function g : [ 0 , 1 ] R is strongly degenerate, (SD) for short, at 0 if g ∈ C 1 [ 0 , 1 ] is such that g ( 0 ) = 0 , g > 0 on ( 0 , 1 ] and in (2) we have K g [ 1 , 2 ) .
Roughly speaking, when g ( x ) x K , it is (WD) if K ( 0 , 1 ) and (SD) if K [ 1 , 2 ) .
Problems similar to (1) are considered in several papers (see, for example, [1,2,3,4,5,6,7]). In particular, in [3,5], the following Euler–Bernoulli beam equation is considered:
m y t t ( t , x ) + E I y x x x x ( t , x ) = 0 , x ( 0 , 1 ) , t > 0 ,
with clamped conditions at the left end
y ( t , 0 ) = 0 , y x ( t , 0 ) = 0 ,
and with dissipative conditions at the right end
E I y x x x ( t , 1 ) + μ 1 y t ( t , 1 ) = 0 , μ 1 0 , E I y x x ( t , 1 ) + μ 2 y t x ( t , 1 ) = 0 , μ 2 0 .
Here, y is the vertical displacement, y t is the velocity, y x is the rotation, y t x is the angular velocity, m is the mass density per unit length, E I is the flexural rigidity coefficient, E I y x x is the bending moment, and E I y x x x is the shear. In particular, the boundary conditions (5) mean that the shear is proportional to the velocity and the bending moment is negatively proportional to the angular moment. Observe that if we consider β = γ = 0 in (1), then we have boundary conditions analogous to those in (5). Thus, the dissipative conditions at 1 are not surprising. We remark that the conditions β , γ 0 are necessary to study the well-posedness of the problem and to prove equivalence among all the norms introduced in this paper and that are crucial to obtain the stability result.
The qualitative behavior of (3)–(5) is studied in [4], where it is proved that if μ 1 2 > 0 and μ 2 2 0 , the energy E ( t ) of the vibration of the beam decays exponentially in a uniform way
E ( t ) k e μ t E ( 0 )
for some k , μ > 0 .
Observe that in all the references above, the equation is non-degenerate; however, there are some papers where the equation is degenerate in the sense that a degenerate damping appears in the equation of (3) (see, for example, [8,9,10]). The first paper where the equation is degenerate in the sense that the fourth-order operator degenerates in a point as in (1) is [11]. However, to the best of our knowledge, [12] is the first paper where the stability for (1) with λ = 0 is considered. On the other hand, for a degenerate wave-equation, we refer to [13] (see also the arxiv version of 2015) for a problem in divergence form and to [14] for a problem in non-divergence form.
A position-dependent restoring force is introduced using the modified Euler–Bernoulli equation that includes a coefficient-dependent drift term. High stiffness, concentrated forces, or material discontinuities can be modeled by the term λ d ( x ) y , which produces a single behavior at x = 0 , suggesting a highly localized effect. Additionally, it denotes pre-stress or non-homogeneous stiffness, which applies to beams on uneven elastic foundations. Furthermore, if d ( x ) is a distance function, the term affects tension in pre-stressed structures by acting like an inverse square law, similar to electrostatic or gravitational potentials. Additionally, the equation resembles singular potential quantum wave equations, which cause localized resonance effects in structural dynamics. All things considered, this formulation captures strong localized effects, pre-stress changes, and non-uniform limitations that are pertinent to practical physics and engineering (see [15]).
As far as we know, for beam-type equations simultaneously admitting degeneracy and singularity, only controllability problems have been faced (see the recent paper [16]), while nothing has been undertaken for stability. For this reason, in this paper, we focus on such a problem, proving that (1) permits boundary stabilization, provided that the singular term has a small coefficient (see Theorem 2 below). Hence, we may regard this result as a natural continuation of [12] and a perturbation of the related one in [16]. Clearly, the presence of the singular term y d introduces several difficulties with respect to [12], which let us treat only the case of a function d with weak degeneracy, according to the definition above. For a stability result for a degenerate/singular wave equation, we refer to [17].
Strategy method. In order to prove (6) for (1), we use a multiplier method. In particular, after defining the energy associated with the problem, we prove an estimate on it using a multiplier method (see Proposition 6). Obviously, the presence of a degenerate fourth-order operator brings more difficulties with respect to the ones for the second-order case. These difficulties are related to some new terms that we have to face; for example, we have to estimate from above s T y 2 ( t , 1 ) d t + s T y x 2 ( t , 1 ) d t for every 0 < s < T using the energy associated with the original problem. This is carried out in Proposition 7 thanks to a suitable fourth-order variational problem (see Proposition 3). Thanks to the estimates proved in Propositions 6 and 7 and using a result given in [18], we prove the main result of the paper, i.e. Theorem 2.
This paper is organized as follows: In Section 2, we give the functional setting and some preliminary results that we will use in the rest of the paper, together with the existence of solutions. In Section 3, we introduce the energy associated with a solution for the problem and we show that it decays exponentially as time diverges. In particular, we prove that if λ is small and a , d are not too degenerate (in the sense of Definitions 1 or 2), the energy satisfies (6), as in [4] for the non-degenerate and non-singular case. The last section is devoted to the conclusions and to some open problems.

2. Preliminary Results and Well-Posedness

In this section, we introduce the functional setting needed to treat (1). However, here, our assumptions are more general than those required to obtain the stability result in the next section.
We start by assuming a very modest requirement.
Hypothesis 1. 
The functions a , d C 0 [ 0 , 1 ] are such that
  • a ( 0 ) = d ( 0 ) = 0 , a , d > 0 on ( 0 , 1 ] ,
  • there are K a , K d ( 0 , 2 ) such that the functions
    x x K a a ( x )
    and
    x x K d d ( x )
    are non-decreasing in a right neighborhood of x = 0 .
It is clear that, if Hypothesis 1 holds, then
lim x 0 x γ a ( x ) = 0 ,
for all γ > K a , and
lim x 0 x γ d ( x ) = 0 ,
for all γ > K d .
Let us state that if a is (WD) or (SD), then (2) implies that (7) holds on the whole domain ( 0 , 1 ] analogously for d.
In order to treat (1), let us introduce the following Hilbert spaces with the related inner products and norms given by the following:
L 1 a 2 ( 0 , 1 ) : = u L 2 ( 0 , 1 ) u 1 a < ,
u , v 1 a : = 0 1 u v 1 a d x , u 1 a 2 = 0 1 u 2 a d x ,
for all u , v L 1 a 2 ( 0 , 1 ) ;
H 1 a i ( 0 , 1 ) : = L 1 a 2 ( 0 , 1 ) H i ( 0 , 1 ) , i = 1 , 2 ,
u , v i , 1 a : = u , v 1 a + k = 1 i 0 1 u ( k ) ( x ) v ( k ) ( x ) d x
and
u H 1 a i ( 0 , 1 ) 2 : = u 1 a 2 + k = 1 i u ( k ) L 2 ( 0 , 1 ) 2 ,
u , v H 1 a i ( 0 , 1 ) , i = 1 , 2 . In addition to the previous ones, we introduce the following important Hilbert spaces:
H 1 a , 0 1 ( 0 , 1 ) : = u H 1 a 1 ( 0 , 1 ) : u ( 0 ) = 0 and
H 1 a , 0 2 ( 0 , 1 ) : = u H 1 a , 0 1 ( 0 , 1 ) H 2 ( 0 , 1 ) : u ( 0 ) = 0 ,
with the previous inner products · , · i , 1 a and norms · H 1 a i ( 0 , 1 ) , i = 1 , 2 . Now, consider the scalar product
u , v i , : = 0 1 u ( i ) ( x ) v ( i ) ( x ) d x
for all u , v H 1 a i ( 0 , 1 ) , which induces the norm
u i , : = u ( i ) L 2 ( 0 , 1 ) , u H 1 a i ( 0 , 1 ) ,
i = 1 , 2 . Observe that, if a is continuous, a ( 0 ) = 0 and (7) is satisfied, then the norms · H 1 a i ( 0 , 1 ) , · i and · i , are equivalent in H 1 a , 0 i ( 0 , 1 ) . Here,
u i 2 : = u 1 a 2 + u ( i ) L 2 ( 0 , 1 ) 2 , u H 1 a , 0 i ( 0 , 1 ) ,
i = 1 , 2 (see, e.g., [11]). Clearly, if i = 1 , the previous equivalence is obviously satisfied. Indeed, · H 1 a 1 ( 0 , 1 ) and · 1 coincide and, for ([19], Proposition 2.6), one proves that there is C > 0 such that
0 1 u 2 a d x C 0 1 ( u ) 2 d x ,
for all u H 1 a , 0 1 ( 0 , 1 ) . Let
C H P be the best constant of ( 11 ) .
Now, assume i = 2 and fix u H 1 a , 0 2 ( 0 , 1 ) . Proceeding as for i = 1 and applying the classical Hardy’s inequality to z : = u (observing that z H 1 a , 0 1 ( 0 , 1 ) ), we have
0 1 ( u ) 2 d x 0 1 z 2 x 2 d x 4 0 1 ( z ) 2 d x = 4 0 1 ( u ) 2 d x = 4 u 2 , 2 .
Hence, · H 1 a 2 ( 0 , 1 ) and · 2 are equivalent in H 1 a , 0 2 ( 0 , 1 ) (actually, they are equivalent in H 1 a 2 ( 0 , 1 ) , see, e.g., [11]). Moreover, by the previous inequality,
0 1 u 2 a d x C H P 0 1 ( u ) 2 d x 4 C H P u 2 , 2
and the thesis follows. In particular, u 1 2 ( C H P + 1 ) u 1 , 2 for all u H 1 a , 0 1 ( 0 , 1 ) and
u 2 2 4 C H P + 1 u 2 , 2
for all u H 1 a , 0 2 ( 0 , 1 ) (see ([12], Proposition 2.1)).
As in ([16], Proposition 2.3), one can prove the next result
Proposition 1. 
Assume Hypothesis 1 and take K a , K d such that K a + K d 2 . If u H 1 a , 0 2 ( 0 , 1 ) , then for u a d L 2 ( 0 , 1 ) , there is a positive constant C > 0 such that
0 1 u 2 ( x ) a ( x ) d ( x ) d x C 0 1 ( u ( x ) ) 2 d x .
Let
C ˜ H P be the best constant of ( 15 ) .
As in ([20], Chapter V), we assume the next hypothesis:
Hypothesis 2. 
The constant λ R is such that λ 0 and
λ < 1 C ˜ H P .
Observe that the case λ = 0 is already considered in [12]. Thus, it is not restrictive to assume λ 0 .
Moreover, if λ 0 , 1 C ˜ H P , we can take ϵ ( 0 , 1 ) such that
λ = 1 ϵ C ˜ H P > 0 .
Hence, as a consequence of Proposition 1, one has the next estimate (see ([16], Proposition 2.4)).
Proposition 2. 
Assume Hypothesis 1 and λ 0 , 1 C ˜ H P . If u H 1 a , 0 2 ( 0 , 1 ) , then
0 1 ( u ( x ) ) 2 d x λ 0 1 u 2 ( x ) a ( x ) d ( x ) d x ϵ 0 1 ( u ( x ) ) 2 d x .
Under Hypotheses 1 and 2, one can consider in H 1 a , 0 2 ( 0 , 1 ) also the product
u , v 2 , : = u , v 2 , λ 0 1 u v a d d x ,
which induces the norm
u 2 , 2 = u 2 , 2 λ 0 1 u 2 a d d x .
By Propositions 1 and 2, one can prove the following equivalence:
Corollary 1. 
Assume Hypotheses 1 and 2 and K a + K d 2 . Then, the norms · H 1 a 2 ( 0 , 1 ) , · 2 , · 2 , , and · 2 , are equivalent in H 1 a 2 ( 0 , 1 ) .
In order to study the well-posedness of (1), we introduce the operator A : D ( A ) L 1 a 2 ( 0 , 1 ) L 1 a 2 ( 0 , 1 ) by A u : = a u , for all u D ( A ) : = u H 1 a , 0 2 ( 0 , 1 ) : a u L 1 a 2 ( 0 , 1 ) , where the next Gauss–Green formula holds
0 1 u v d x = u ( 1 ) v ( 1 ) u ( 1 ) v ( 1 ) + 0 1 u v d x
for all ( u , v ) D ( A ) × H 1 a , 0 2 ( 0 , 1 ) (see [12]). Moreover, consider
A λ u : = A u λ d u , u D ( A λ ) ,
where
D ( A λ ) : = u H 1 a , 0 2 ( 0 , 1 ) | A λ u L 1 a 2 ( 0 , 1 ) .
Observe that if u H 1 a , 0 2 ( 0 , 1 ) and K a + 2 K d 2 , one proves that u d L 1 a 2 ( 0 , 1 ) ; hence, u D ( A λ ) if and only if u D ( A ) , i.e., D ( A λ ) = D ( A ) (for more details, we refer to [16]). For this reason, in the following, we assume the next assumption:
Hypothesis 3. 
Assume Hypothesis 1 and K a + 2 K d 2 .
Under this assumption, it is clear that d cannot be (SD). On the other hand, a can be (SD), but in this case, K d has to be very small.
Finally, to prove the well-posedness of (1), we need to introduce the last Hilbert space H 0 : = H 1 a , 0 2 ( 0 , 1 ) × L 1 a 2 ( 0 , 1 ) , with inner product and norm given by
( u , v ) , ( u ˜ , v ˜ ) H 0 : = u , u ˜ 2 , + v , v ˜ 1 a + β u ( 1 ) u ˜ ( 1 ) + γ u ( 1 ) u ˜ ( 1 )
and
( u , v ) H 0 2 : = u L 2 ( 0 , 1 ) 2 + v 1 a 2 + β u 2 ( 1 ) + γ ( u ( 1 ) ) 2
for every ( u , v ) , ( u ˜ , v ˜ ) H 0 , where β , γ 0 , and the matrix operator A : D ( A ) H 0 H 0 given by
A : = 0 I d A λ 0
with domain
D ( A ) : = { ( u , v ) D ( A ) × H 1 a , 0 2 ( 0 , 1 ) : β u ( 1 ) u ( 1 ) + v ( 1 ) = 0 , γ u ( 1 ) + u ( 1 ) + v ( 1 ) = 0 } .
Thanks to (19), one can prove the next theorem that contains the main properties of the operator ( A , D ( A ) ) . Since the proof is similar to the one of [21] or [22], we omit it.
Theorem 1. 
Assume a (WD) or (SD). Then, the operator ( A , D ( A ) ) is non-positive with a dense domain and generates a contraction semigroup ( S ( t ) ) t 0 .
Thanks to the previous theorem, one has the next result, which can be proved as in ([16], Theorem 2.7).
Theorem 2. 
Hypotheses 2 and 3 hold. If y 0 , y 1 H 1 a , 0 2 ( 0 , 1 ) × L 1 a 2 ( 0 , 1 ) , then there is a unique mild solution
y C 1 [ 0 , + ) ; L 1 a 2 ( 0 , 1 ) C [ 0 , + ) ; H 1 a , 0 2 ( 0 , 1 )
of (1), which depends continuously on the initial data. In addition, if y 0 , y 1 D ( A 1 ) , then the solution y is classical in the sense that
y C 2 [ 0 , + ) ; L 1 a 2 ( 0 , 1 ) C 1 [ 0 , + ) ; H 1 a , 0 2 ( 0 , 1 ) C [ 0 , + ) ; D ( A )
and the equation of (1) holds for all t 0 .
Remark 1. 
Due to the reversibility in time of the equation, solutions exist with the same regularity for t < 0 . We will use this fact in the proof of the controllability result by considering a backward problem whose final time data will be transformed in initial data: this is the reason for the notation of the initial data in problem (1).
The last important result of this section is given by the next proposition. Let us start with
Hypothesis 4. 
Assume a (WD) or (SD), d (WD) with K a + 2 K d 2 , λ 0 with λ < 1 C ˜ H P and β , γ 0 .
Proposition 3. 
Assume Hypothesis 4 and define
| | | z | | | 2 : = 0 1 ( z ) 2 d x λ 0 1 z 2 a d d x + β z 2 ( 1 ) + γ ( z ( 1 ) ) 2
for all z H 1 a , 0 2 ( 0 , 1 ) . Then, the norms | | | · | | | and | | · | | 2 , are equivalent in H 1 a , 0 2 ( 0 , 1 ) . Moreover, for every ρ , μ R , the variational problem
0 1 z φ d x λ 0 1 z φ a d + β z ( 1 ) φ ( 1 ) + γ z ( 1 ) φ ( 1 ) = ρ φ ( 1 ) + μ φ ( 1 ) , φ H 1 a , 0 2 ( 0 , 1 ) ,
admits a unique solution z H 1 a , 0 2 ( 0 , 1 ) , which satisfies the estimates
| | z | | 1 a 2 4 C H P C ϵ ( | ρ | + | μ | ) 2 , and | | | z | | | 2 ( | ρ | + | μ | ) 2 ,
where
C ϵ : = 1 , λ < 0 , ϵ , λ > 0 .
In addition, z D ( A λ ) and solves
A λ z = 0 , β z ( 1 ) z ( 1 ) = ρ , γ z ( 1 ) + z ( 1 ) = μ .
Proof. 
As a first step, observe that for all z H 1 a , 0 2 ( 0 , 1 ) , one has
| z ( x ) | = 0 x z ( t ) d t z L 2 ( 0 , 1 ) = z 2 , ,
and
| z ( x ) | = 0 x z ( t ) d t = 0 x 0 t z ( τ ) d τ d t z L 2 ( 0 , 1 ) = z 2 ,
for all x [ 0 , 1 ] . Thus, | | | · | | | and · 2 , are equivalent. Indeed, for all z H 1 a , 0 2 ( 0 , 1 ) , if λ < 0 , one proves immediately that
z 2 , 2 = z L 2 ( 0 , 1 ) 2 | | | z | | | 2 .
If λ 0 , 1 C ˜ H P , by Proposition 2, one has
0 1 ( z ( x ) ) 2 d x λ 0 1 z 2 ( x ) a ( x ) d ( x ) d x ϵ 0 1 ( z ( x ) ) 2 d x .
for all z H 1 a , 0 2 ( 0 , 1 ) , and so
z 2 , 2 1 ϵ | | | z | | | 2 ,
for all z H 1 a , 0 2 ( 0 , 1 ) . In conclusion, we have
z 2 , 2 1 C ϵ | | | z | | | 2 .
Now, we prove that there is C > 0 such that
| | | z | | | 2 C z 2 , 2 ,
for all z H 1 a , 0 2 ( 0 , 1 ) . Clearly, (25) and (24) imply β z 2 ( 1 ) β z 2 , 2 and γ ( z ( 1 ) ) 2 γ z 2 , 2 , respectively; hence, if λ > 0 , one proves immediately that | | | z | | | 2 ( 1 + β + γ ) z 2 , 2 ; if λ < 0 , by (15), then
| | | z | | | 2 ( 1 λ C ˜ H P + β + γ ) z 2 , 2 .
In any case, the claim holds.
Now, consider the bilinear and symmetric form Λ : H 1 a , 0 2 ( 0 , 1 ) × H 1 a , 0 2 ( 0 , 1 ) R such that
Λ ( z , φ ) : = 0 1 z φ d x λ 0 1 z φ a d d x + β z ( 1 ) φ ( 1 ) + γ z ( 1 ) φ ( 1 ) .
As in [22] or in [17], one can easily prove that Λ is coercive and continuous. Now, consider the linear functional
L ( φ ) : = ρ φ ( 1 ) + μ φ ( 1 ) ,
with φ H 1 a , 0 2 ( 0 , 1 ) and ρ , μ R . Clearly, L is continuous and linear. Thus, by the Lax-Milgram Theorem, there is a unique solution z H 1 a , 0 2 ( 0 , 1 ) of
Λ ( z , φ ) = L ( φ )
for all φ H 1 a , 0 2 ( 0 , 1 ) . In particular,
| | | z | | | 2 = Λ ( z , z ) = 0 1 ( z ) 2 d x λ 0 1 z 2 a d d x + β z 2 ( 1 ) + γ ( z ( 1 ) ) 2 = ρ z ( 1 ) + μ z ( 1 ) .
Concerning the other estimates, by (24)–(26) and (31), we have | | | z | | | 2 = ρ z ( 1 ) + μ z ( 1 ) ( | ρ | + | μ | ) | | | z | | | ; thus,
| | | z | | | | ρ | + | μ | .
Moreover, by the equivalence of the norms in H 1 a , 0 2 ( 0 , 1 ) , Proposition 2, and (13), one has
| | | z | | | 2 = z 2 , 2 λ 0 1 z 2 a d d x + β z 2 ( 1 ) + γ ( z ( 1 ) ) 2 C ϵ z 2 , 2 C ϵ 4 C H P z 1 a 2 ,
where C ϵ is as in (22). Thus, by (32), z 1 a 2 4 C H P C ϵ | | | z | | | 2 4 C H P C ϵ ( | ρ | + | μ | ) 2 .
Now, we will prove that z belongs to D ( A ) and solves (23). To this end, consider (30) again; clearly, it holds for every φ C c ( 0 , 1 ) , so that 0 1 z φ d x λ 0 1 z φ a d d x = 0 for all φ C c ( 0 , 1 ) . Thus, z = λ z φ a d a.e. in ( 0 , 1 ) (see, e.g., ([23], Lemma 1.2.1)) and so a z λ z φ d = 0 a.e. in ( 0 , 1 ) , in particular A λ z = 0 L 1 a 2 ( 0 , 1 ) ; this implies that z D ( A ) .
Now, coming back to (30) and using (19) and the fact that A λ z = 0 , we have
0 1 z φ d x λ 0 1 z φ a d d x + β z ( 1 ) φ ( 1 ) + γ z ( 1 ) φ ( 1 ) = ρ φ ( 1 ) + μ φ ( 1 ) z ( 1 ) φ ( 1 ) + ( z φ ) ( 1 ) + β z ( 1 ) φ ( 1 ) + γ ( z φ ) ( 1 ) = ρ φ ( 1 ) + μ φ ( 1 )
for all φ H 1 a , 0 2 ( 0 , 1 ) . Thus, z ( 1 ) + β z ( 1 ) = ρ and γ z ( 1 ) + z ( 1 ) = μ , that is, z solves (23). □

3. Energy Estimates and Exponential Stability

In this section, we prove the main result of this paper. In particular, proving some estimates of the energy associated with (1), we obtain the exponential stability.
To begin with, we give the next definition:
Definition 3. 
For a mild solution y of (1), we define its energy as the continuous function
E y ( t ) : = 1 2 0 1 y t 2 ( t , x ) a ( x ) + y x x 2 ( t , x ) λ a d y 2 ( t , x ) d x + β 2 y 2 ( t , 1 ) + γ 2 y x 2 ( t , 1 ) , t 0 .
Recalling that β , γ 0 , one proves that if y is a mild solution and if β , γ 0 , then
y 2 ( t , 1 ) 2 β E y ( t ) and y x 2 ( t , 1 ) 2 γ E y ( t ) ;
on the other hand, thanks to Equations (24)–(26), for all β 0 and γ 0 ,
y 2 ( t , 1 ) 2 C ϵ E y ( t ) and y x 2 ( t , 1 ) 2 C ϵ E y ( t ) ,
where C ϵ is as in (22). Thus, we have
y 2 ( t , 1 ) C β E y ( t ) and y x 2 ( t , 1 ) C γ E y ( t ) ,
where C β : = 2 min 1 C ϵ , 1 β , β 0 , 2 C ϵ , β = 0 and C γ : = 2 min 1 C ϵ , 1 γ , γ 0 , 2 C ϵ , γ = 0 .
Observe that if β > 1 , being 1 β < 1 and 1 C ϵ 1 (recall that ϵ ( 0 , 1 ) ), min 1 C ϵ , 1 β = 1 β . Analogously for γ .
As in ([21], Thoerem 3.1), it is possible to prove that the energy is a non-increasing function.
Theorem 1. 
Assume Hypothesis 4 and let y be a classical solution of (1). Then, the energy is non-increasing. In particular,
d E y ( t ) d t = y t 2 ( t , 1 ) y t x 2 ( t , 1 ) , t 0 .
Actually, one can prove that the previous monotonicity result also holds under weaker assumptions on the functions a and d.
Proposition 4. 
Assume Hypothesis 4. For the fixed T > 0 , if y is a classical solution of (1), then
0 = 2 0 1 y t x a y x t = s t = T d x 1 a ( 1 ) s T y t 2 ( t , 1 ) d t + Q s y t 2 a 1 x a a d x d t λ a ( 1 ) d ( 1 ) 0 T y 2 ( t , 1 ) d t + 3 Q s y x x 2 d x d t + 2 β s T y x ( t , 1 ) y ( t , 1 ) d t + 2 s T y x ( t , 1 ) y t ( t , 1 ) d t + 2 γ s T y x 2 ( t , 1 ) d t + 2 s T y x ( t , 1 ) y t x ( t , 1 ) d t s T y x x 2 ( t , 1 ) d t + λ Q s 1 x a a x d d y 2 a d d x d t ,
for every 0 < s < T . Here, Q s : = ( s , T ) × ( 0 , 1 ) .
Proof. 
Since some computations are similar to the ones of ([21], Proposition 4.7), we sketch them. Fix s ( 0 , T ) . Multiplying the equation in (1) by x y x a and integrating over Q s , we have
0 = Q s y t t x y x a d x d t + Q s a y x x x x x y x a d x d t λ Q s x y y x a d d x d t .
As in [21], one proves that
Q s y t t x y x a d x d t + Q s a y x x x x x y x a d x d t = 0 1 y t x y x a t = s t = T d x 1 2 a ( 1 ) s T y t 2 ( t , 1 ) d t + 1 2 Q s y t 2 a 1 x a a d x d t + 3 2 Q s y x x 2 d x d t + β s T y x ( t , 1 ) y ( t , 1 ) d t + s T y x ( t , 1 ) y t ( t , 1 ) d t + γ s T y x 2 ( t , 1 ) d t + s T y x ( t , 1 ) y t x ( t , 1 ) d t 1 2 s T y x x 2 ( t , 1 ) d t .
Hence, it remains to compute λ Q s x y y x a d d x d t . As in [17], one proves
λ Q s x y y x a d d x d t = λ 2 s T x y 2 a d x = 0 x = 1 d t + λ 2 Q s a d x ( a d + a d ) ( a d ) 2 y 2 d x d t = λ 2 s T x y 2 a d x = 0 x = 1 d t + λ 2 Q s 1 x a a x d d y 2 a d d x d t .
By ([17], Lemma 1)
λ 0 T y 2 x a d x = 0 x = 1 = λ a ( 1 ) d ( 1 ) 0 T y 2 ( t , 1 ) d t
and the thesis follows. □
As a consequence of the previous equality, we have the next relation:
Proposition 5. 
Assume Hypothesis 4 and fix T > 0 . If y is a classical solution of (1), then for every 0 < s < T , we have
Q s y t 2 a K a 2 + 1 x a a d x d t + Q s y x x 2 3 K a 2 d x d t + λ Q s 1 x a a x d d + K a 2 y 2 a d d x d t = ( B . T . ) ,
where
( B . T . ) = K a 2 0 1 y y t a t = s t = T d x 2 0 1 y t x a y x t = s t = T d x + K a β 2 s T y 2 ( t , 1 ) d t + K a 2 s T y ( t , 1 ) y t ( t , 1 ) d t + γ K a 2 2 s T y x 2 ( t , 1 ) d t + K a 2 2 s T y x ( t , 1 ) y t x ( t , 1 ) d t + s T y t 2 ( t , 1 ) a ( 1 ) d t 2 β s T y x ( t , 1 ) y ( t , 1 ) d t 2 s T y x ( t , 1 ) y t ( t , 1 ) d t + s T y x x 2 ( t , 1 ) d t + λ a ( 1 ) d ( 1 ) s T y 2 ( t , 1 ) d t .
Proof. 
Let y be a classical solution of (1) and fix s ( 0 , T ) . Multiplying the equation in (1) by y a , integrating by parts over Q s , and using (19), we obtain
0 = 0 1 y t y a t = s t = T d x Q s y t 2 a d x d t + s T ( y y x x x ) ( t , 1 ) d t s T ( y x y x x ) ( t , 1 ) d t + Q s y x x 2 d x d t λ Q s y 2 a d d x d t .
Obviously, all the previous integrals make sense, and by multiplying (38) by K a 2 , one has
0 = K a 2 Q s y t 2 a + y x x 2 λ y 2 a d d x d t + K a 2 0 1 y t y a t = s t = T d x + K a 2 s T y ( t , 1 ) y x x x ( t , 1 ) d t K a 2 s T y x ( t , 1 ) y x x ( t , 1 ) d t .
By summing (35) and (39) and using the boundary conditions at 1, we obtain the thesis. □
An immediate consequence of (37) is the next result. However, to prove it, we assume an additional hypothesis on functions a and d.
Hypothesis 5. 
Assume a (WD) or (SD), d (WD) with K a + 2 K d < 2 , λ 0 with λ < 1 C ˜ H P and β , γ 0 .
Observe that this hypothesis is more restrictive than Hypothesis 4; indeed, in Hypothesis 5, we exclude the case K a + 2 K d = 2 . In fact, as we can see already from the next result, the condition K a + 2 K d < 2 is important for the technique used in the following proposition:
Proposition 6. 
Assume Hypothesis 5, fix T > 0 and let y be a classical solution of (1). Then, for every 0 < s < T and for all ε 0 ( 0 , 2 K a 2 K d ) , one proves
ε 0 2 Q s y t 2 a + y x x 2 λ y 2 a d d x d t 4 ϑ + ϱ + C γ 2 2 K a 2 E y ( s ) + K a 4 + β + K a β 2 + λ a ( 1 ) d ( 1 ) s T y 2 ( t , 1 ) d t + ( β + 1 + 2 γ 2 ) s T y x 2 ( t , 1 ) d t ,
if λ > 0 , and
ε 0 2 Q s y t 2 a + y x x 2 λ y 2 a d d x d t 4 ϑ + ϱ + C γ 2 2 K a 2 E y ( s ) + K a 4 + β + K a β 2 s T y 2 ( t , 1 ) d t + ( β + 1 + 2 γ 2 ) s T y x 2 ( t , 1 ) d t 4 λ C ˜ H P 1 + 3 2 K a + K d s T E y ( t ) d t ,
if λ < 0 .
Here, ϑ : = max 1 ϵ 4 a ( 1 ) + K a C H P , 1 + K a 4 and ϱ : = max 2 , K a 4 + 1 + 1 a ( 1 ) .
Proof. 
By assumption, we can take ε 0 ( 0 , 2 K a 2 K d ) ; thus,
1 x a a + K a 2 > ε 0 2 , 3 K a 2 > ε 0 2 1 x a a x d d + K a 2 ε 0 2 .
Now, we distinguish between the cases λ > 0 and λ < 0 .
Case  λ > 0 .
In this case, the distributed terms in (37) can be estimated from below in the following way:
Q s y t 2 a K a 2 + 1 x a a d x d t + Q s y x x 2 3 K a 2 d x d t + λ Q s 1 x a a x d d + K a 2 y 2 a d d x d t ε 0 2 Q s y t 2 a + y x x 2 + λ y 2 a d d x d t ε 0 2 Q s y t 2 a + y x x 2 λ y 2 a d d x d t .
Now, we estimate the boundary terms in (37) from above. First of all, consider the integral 0 1 2 y t x a y x + K a 2 y y t a ( τ , x ) d x for all τ [ s , T ] . Using the fact that x 2 a ( x ) 1 a ( 1 ) , together with the classical Hardy inequality (12) and proceeding as in ([12], Proposition 3.3), one proves
0 1 2 y t x a y x + K a 2 y y t a ( τ , x ) d x 4 a ( 1 ) 0 1 y x x 2 ( τ , x ) d x + 1 + K a 4 0 1 y t 2 a ( τ , x ) d x + K a C H P 0 1 y x x 2 ( τ , x ) d x .
Hence, by Proposition 2,
0 1 2 y t x a y x + K a 2 y y t a ( τ , x ) d x 4 a ( 1 ) + K a C H P 0 1 y x x 2 ( τ , x ) d x + 1 + K a 4 0 1 y t 2 a ( τ , x ) d x 1 ϵ 4 a ( 1 ) + K a C H P 0 1 y x x 2 ( τ , x ) d x λ 0 1 y 2 a d ( τ , x ) d x + 1 + K a 4 0 1 y t 2 a ( τ , x ) d x 2 max 1 ϵ 4 a ( 1 ) + K a C H P , 1 + K a 4 E y ( τ ) ,
for all τ [ s , T ] . Hence, since the energy is non-increasing,
0 1 2 y t x a y x + K a 2 y y t a t = s t = T d x 4 max 1 ϵ 4 a ( 1 ) + K a C H P , 1 + K a 4 E y ( s ) .
Now, based on (34) and the fact that K a < 2 , we have
γ K a 2 2 s T y x 2 ( t , 1 ) d t + K a 2 2 s T y x ( t , 1 ) y t x ( t , 1 ) d t K a 2 2 1 2 2 T ( y x ( t , 1 ) 2 ) t d t = K a 2 2 1 2 ( y x 2 ( T , 1 ) y x 2 ( s , 1 ) ) 2 K a 2 1 2 y x 2 ( s , 1 ) 2 K a 2 C γ 2 E y ( s ) .
Obviously,
K a 2 s T y ( t , 1 ) y t ( t , 1 ) d t K a 4 s T y 2 ( t , 1 ) d t + K a 4 s T y t 2 ( t , 1 ) d t ,
β s T 2 y x ( t , 1 ) y ( t , 1 ) d t β s T 2 | y x ( t , 1 ) y ( t , 1 ) | d t β s T y x 2 ( t , 1 ) d t + β s T y 2 ( t , 1 ) d t
and
s T 2 y x ( t , 1 ) y t ( t , 1 ) d t s T 2 | y x ( t , 1 ) y t ( t , 1 ) | d t s T y x 2 ( t , 1 ) d t + s T y t 2 ( t , 1 ) d t .
Furthermore, recalling that γ y x ( t , 1 ) + y x x ( t , 1 ) + y t x ( t , 1 ) = 0 ,
s T y x x 2 ( t , 1 ) d t 2 γ 2 s T y x 2 ( t , 1 ) d t + 2 s T y t x 2 ( t , 1 ) d t .
Hence, by (37), (41)–(47) and Theorem 1, we have
ε 0 2 Q s y t 2 a + y x x 2 λ y 2 a d d x d t 4 max 1 ϵ 4 a ( 1 ) + K a C H P , 1 + K a 4 E y ( s ) + 2 K a 2 C γ 2 E y ( s ) + K a 4 + 1 + 1 a ( 1 ) s T y t 2 ( t , 1 ) d t + 2 s T y t x 2 ( t , 1 ) d t + K a 4 + β + K a β 2 + λ a ( 1 ) d ( 1 ) s T y 2 ( t , 1 ) d t + ( β + 1 + 2 γ 2 ) s T y x 2 ( t , 1 ) d t 4 max 1 ϵ 4 a ( 1 ) + K a C H P , 1 + K a 4 E y ( s ) + 2 K a 2 C γ 2 E y ( s ) + max 2 , K a 4 + 1 + 1 a ( 1 ) s T d d t E y ( t ) d t + K a 4 + β + K a β 2 + λ a ( 1 ) d ( 1 ) s T y 2 ( t , 1 ) d t + ( β + 1 + 2 γ 2 ) s T y x 2 ( t , 1 ) d t 4 max 1 ϵ 4 a ( 1 ) + K a C H P , 1 + K a 4 E y ( s ) + 2 K a 2 C γ 2 E y ( s ) + max 2 , K a 4 + 1 + 1 a ( 1 ) E y ( s ) + K a 4 + β + K a β 2 + λ a ( 1 ) d ( 1 ) s T y 2 ( t , 1 ) d t + ( β + 1 + 2 γ 2 ) s T y x 2 ( t , 1 ) d t .
Hence,
ε 0 2 Q s y t 2 a + y x x 2 λ y 2 a d d x d t 4 ϑ + ϱ + 2 K a 2 C γ 2 E y ( s ) + K a 4 + β + K a β 2 + λ a ( 1 ) d ( 1 ) s T y 2 ( t , 1 ) d t + ( β + 1 + 2 γ 2 ) s T y x 2 ( t , 1 ) d t
and the thesis follows.
Case  λ < 0 . In this case, based on the definition of energy and (15), one proves
Q s y 2 a d d x d t C ˜ H P Q s y x x 2 ( t , x ) d x d t 2 C ˜ H P s T E y ( t ) d t ;
hence,
λ Q s y 2 a d d x d t 2 λ C ˜ H P s T E y ( t ) d t .
Moreover, by (37) and (40), one has
ε 0 2 Q s y t 2 a + y x x 2 λ y 2 a d d x d t Q s y t 2 a K a 2 + 1 x a a d x d t + Q s y x x 2 3 K a 2 d x d t λ Q s 1 x a a x d d + K a 2 y 2 a d d x d t = ( B . T . ) 2 λ Q s 1 x a a x d d + K a 2 y 2 a d d x d t ,
where (B.T.) is the boundary terms in (37). Now, by (48),
2 λ Q s 1 x a a x d d + K a 2 y 2 a d d x d t 4 λ C ˜ H P 1 + 3 2 K a + K d + M s T E y ( t ) d t .
Proceeding as for the case λ > 0 and using the fact that λ a ( 1 ) d ( 1 ) < 0 , one can estimate the boundary terms in the following way:
( B . T . ) 4 max 1 ϵ 4 a ( 1 ) + K a C H P , 1 + K a 4 E y ( s ) + max 2 , K a 4 + 1 + 1 a ( 1 ) + 2 K a 2 C γ 2 E y ( s ) + K a 4 + β + K a β 2 s T y 2 ( t , 1 ) d t + ( β + 1 + 2 γ 2 ) s T y x 2 ( t , 1 ) d t .
Hence,
ε 0 2 Q s y t 2 a + y x x 2 λ y 2 a d d x d t 4 ϑ + ϱ 2 K a 2 C γ 2 E y ( s ) + K a 4 + β + K a β 2 s T y 2 ( t , 1 ) d t + ( β + 1 + 2 γ 2 ) s T y x 2 ( t , 1 ) d t 4 λ C ˜ H P 1 + 3 2 K a + K d s T E y ( t ) d t
and the thesis follows. □
In the next proposition, we will find an estimate from above for s T y 2 ( t , 1 ) d t + s T y x 2 ( t , 1 ) d t . To this end, set
C ˜ β : = 1 β , β 0 , for all considered λ , 1 C ϵ , β = 0 , for all considered λ ,
C ˜ γ : = 1 γ , γ 0 , for all considered λ , 1 C ϵ , γ = 0 , for all considered λ ,
and
ν : = 1 C ˜ β + C ˜ γ .
Proposition 7. 
Assume Hypothesis 5 and fix T > 0 . If y is a classical solution of (1), then for every 0 < s < T and for every δ ( 0 , ν ) , we have
s T y 2 ( t , 1 ) d t + s T y x 2 ( t , 1 ) d t δ C δ s T E y ( t ) d t + 1 C δ 2 C ϵ 1 + 2 C H P C β + C γ + 1 δ 4 C H P C ϵ + 1 2 E y ( s ) ,
where
C δ : = 1 δ ( C ˜ β + C ˜ γ ) .
Proof. 
Set ρ = y ( t , 1 ) , μ = y x ( t , 1 ) , where t [ s , T ] , and let z = z ( t , · ) H 1 a , 0 2 ( 0 , 1 ) be the unique solution of
0 1 z x x φ d x λ 0 1 z φ a d d x + β z ( t , 1 ) φ ( 1 ) + γ z ( t , 1 ) φ ( 1 ) = ρ φ ( 1 ) + μ φ ( 1 ) ,
for all φ H 1 a , 0 2 ( 0 , 1 ) . By Proposition 3, z ( t , · ) D ( A λ ) for all t and solves
A λ z = 0 , β z ( t , 1 ) z x x x ( t , 1 ) = ρ , γ z x ( t , 1 ) + z x x ( t , 1 ) = μ .
By (21), we also have
| | z ( t ) | | L 1 a 2 ( 0 , 1 ) 2 8 C H P C ϵ ( y 2 ( t , 1 ) + y x 2 ( t , 1 ) ) and | | | z ( t ) | | | 2 2 ( y 2 ( t , 1 ) + y x 2 ( t , 1 ) ) ,
where C ϵ is defined in (22). Moreover, if β 0 and γ 0 , then by Proposition 2 if λ > 0 , one proves
z 2 ( t , 1 ) 1 β | | | z | | | 2 2 β ( y 2 ( t , 1 ) + y x 2 ( t , 1 ) )
and
z x 2 ( t , 1 ) 1 γ | | | z | | | 2 2 γ ( y 2 ( t , 1 ) + y x 2 ( t , 1 ) ) .
On the other hand, if β = 0 and γ = 0 , then by (24), (25) and (29), it results in z 2 ( t , 1 ) , z x 2 ( t , 1 ) z 2 , 2 1 C ϵ | | | z | | | 2 1 C ϵ ( | ρ | + | μ | ) 2 2 C ϵ ( y 2 ( t , 1 ) + y x 2 ( t , 1 ) ) . In every case, for all considered λ , we have
z 2 ( t , 1 ) 2 C ˜ β ( y 2 ( t , 1 ) + y x 2 ( t , 1 ) ) ,
and
z x 2 ( t , 1 ) 2 C ˜ γ ( y 2 ( t , 1 ) + y x 2 ( t , 1 ) ) .
Finally, observe that for all considered λ and all t > 0 , we have
1 2 0 1 1 a y t 2 ( t , x ) + y x x 2 ( t , x ) d x 1 C ϵ E y ( t ) .
Indeed, consider, first of all, λ < 0 , then
1 2 0 1 1 a y t 2 ( t , x ) + y x x 2 ( t , x ) d x E y ( t ) .
If λ 0 , 1 C ˜ H P and ϵ ( 0 , 1 ) is as in (18), we obtain (27), which implies that
2 E y ( t ) ϵ 0 1 y x x 2 ( t , x ) d x + 0 1 y t 2 ( t , x ) a ( x ) d x + β y 2 ( t , 1 ) + γ y x 2 ( t , 1 ) ϵ 0 1 y x x 2 ( t , x ) d x + 0 1 y t 2 ( t , x ) a ( x ) d x + β y 2 ( t , 1 ) + γ y x 2 ( t , 1 ) ;
in particular,
1 2 0 1 1 a y t 2 ( t , x ) + y x x 2 ( t , x ) d x 1 ϵ E y ( t ) ,
for all t 0 .
Now, multiplying the equation in (1) by z a and integrating over Q s , we have
0 = Q s y t t z a d x d t + Q s z y x x x x d x d t λ Q s y a d z d x d t = 0 1 y t z a t = s t = T d x Q s y t z t a d x d t + s T z ( t , 1 ) y x x x ( t , 1 ) d t s T z x ( t , 1 ) y x x ( t , 1 ) d t + Q s z x x y x x d x d t λ Q s y a d z d x d t .
Hence, (56) reads
0 1 y t z a t = s t = T d x Q s y t z t a d x d t λ Q s y a d z d x d t = s T z ( t , 1 ) y x x x ( t , 1 ) d t + s T z x ( t , 1 ) y x x ( t , 1 ) d t Q s z x x y x x d x d t .
On the other hand, multiplying the equation in (51) by y a and integrating over Q s , we have Q s z x x x x y d x d t = 0 . By (19), we obtain Q s z x x y x x d x d t = s T z x x x ( t , 1 ) y ( t , 1 ) d t + s T y x ( t , 1 ) z x x ( t , 1 ) d t . Substituting in (57), using the fact that z x x x ( t , 1 ) = β z ( t , 1 ) ρ , z x x ( t , 1 ) = γ z x ( t , 1 ) + μ , ρ = y ( t , 1 ) , μ = y x ( t , 1 ) and proceeding as in [12], we have
0 1 y t z a t = s t = T d x Q s y t z t a d x d t λ Q s y a d z d x d t = s T z ( t , 1 ) y x x x ( t , 1 ) d t + s T z x ( t , 1 ) y x x ( t , 1 ) d t + s T y ( t , 1 ) [ β z ( t , 1 ) ρ ] d t s T y x ( t , 1 ) [ γ z x ( t , 1 ) + μ ] d t = s T z ( t , 1 ) [ β y ( t , 1 ) y x x x ( t , 1 ) ] d t + s T z x ( t , 1 ) [ y x x ( t , 1 ) + γ y x ( t , 1 ) ] d t s T y 2 ( t , 1 ) d t s T y x 2 ( t , 1 ) d t .
Then,
s T y 2 ( t , 1 ) d t + s T y x 2 ( t , 1 ) d t = s T ( y t z ) ( t , 1 ) d t s T ( z x y t x ) ( t , 1 ) d t 0 1 y t z a t = s t = T d x + Q s y t z t a d x d t + λ Q s y a d z d x d t .
Thus, in order to estimate s T y 2 ( t , 1 ) d t + s T y x 2 ( t , 1 ) d t , we have to consider the four terms in the previous equality.
So, by (21), (34), and Theorem 1, we have, for all τ [ s , T ] ,
0 1 y t z a ( τ , x ) d x 1 2 0 1 y t 2 ( τ , x ) a ( x ) d x + 1 2 0 1 z 2 ( τ , x ) a ( x ) d x 1 2 0 1 y t 2 ( τ , x ) a ( x ) d x + 2 C H P C ϵ y 2 ( τ , 1 ) + y x 2 ( τ , 1 ) 1 C ϵ E y ( τ ) + 2 C H P C ϵ C β + C γ E y ( τ ) 1 + 2 C H P C β + C γ 1 C ϵ E y ( s ) .
By Theorem 1, we have
0 1 y t z a t = s t = T d x 2 1 + 2 C H P C β + C γ 1 C ϵ E y ( s ) .
Moreover, for any δ > 0 , we have
s T | ( y t z ) ( t , 1 ) | d t 1 2 δ s T y t 2 ( t , 1 ) d t + δ 2 s T z 2 ( t , 1 ) d t 1 2 δ s T y t 2 ( t , 1 ) d t + δ C ˜ β s T ( y 2 + y x 2 ) ( t , 1 ) d t ,
by (53). In a similar way, using (54), it is possible to find the next estimate
s T | ( z x y t x ) ( t , 1 ) | d t 1 2 δ s T y t x 2 ( t , 1 ) d t + δ C ˜ γ s T ( y 2 + y x 2 ) ( t , 1 ) d t .
Therefore, by summing (60) and (61) and applying Theorem 1, we obtain
s T | ( y t z ) ( t , 1 ) | d t + s T | ( z x y t x ) ( t , 1 ) | d t 1 2 δ s T d d t E y ( t ) d t + δ C ˜ β + C ˜ γ s T ( y 2 + y x 2 ) ( t , 1 ) d t E y ( s ) 2 δ + δ C ˜ β + C ˜ γ s T ( y 2 + y x 2 ) ( t , 1 ) d t .
Finally, we estimate the integral Q s y t z t a d x d t . To this end, consider again the problem (23) and differentiate with respect to t. Thus,
a ( z t ) x x x x λ z t d = 0 , β z t ( t , 1 ) ( z t ) x x x ( t , 1 ) = y t ( t , 1 ) , γ ( z t ) x ( t , 1 ) + ( z t ) x x ( t , 1 ) = ( y x ) t ( t , 1 ) .
Clearly, z t satisfies (52), in particular
z t ( t ) L 1 a 2 ( 0 , 1 ) 2 8 C H P C ϵ ( y t 2 ( t , 1 ) + y t x 2 ( t , 1 ) )
and
| | | z t ( t ) | | | 2 2 ( y t ( 2 t , 1 ) | + y t x 2 ( t , 1 ) ) .
Thus, by (55) and the previous estiamte, for δ > 0 , we find
Q s y t z t a d x d t δ 2 Q s y t 2 a d x d t + 1 2 δ Q s z t 2 a d x d t δ s T E y ( t ) d t + 4 C H P δ C ϵ s T ( y t 2 ( t , 1 ) + y t x 2 ( t , 1 ) ) d t = δ s T E y ( t ) d t + 4 C H P δ C ϵ s T d d t E y ( t ) d t δ s T E y ( t ) d t + 4 C H P δ C ϵ E y ( s ) .
Coming back to (58) and using (59), (62), and (63), we find
s T ( y 2 + y x 2 ) ( t , 1 ) d t 2 1 C ϵ + 2 C H P C ϵ C β + C γ E y ( s ) + E y ( s ) 2 δ + δ C ˜ β + C ˜ γ s T ( y 2 + y x 2 ) ( t , 1 ) d t + δ s T E y ( t ) d t + 4 C H P δ C ϵ E y ( s ) .
Hence, for every δ ( 0 , ν ) ,
C δ s T ( y 2 ( t , 1 ) + y x 2 ( t , 1 ) ) d t 2 1 C ϵ + 2 C ˜ H P C ϵ C β + C γ E y ( s ) + δ s T E y ( t ) d t + 1 δ 4 C H P C ϵ + 1 2 E y ( s ) ,
and the thesis follows. □
As a consequence of Propositions 6 and 7, we can formulate the main result of the paper, whose proof is based on ([18], Theorem 8.1).
Set
C 1 : = 1 C δ 2 C ϵ 1 + 2 C H P C β + C γ + 1 δ 4 C H P C ϵ + 1 2 ,
C 2 : = 4 ϑ + ϱ + C γ 2 2 K a 2 ,
C 3 : = K a β 2 + K a 4 + β + ε 0 β 2 + λ a ( 1 ) d ( 1 ) , λ > 0 , K a 4 + β + K a β 2 + ε 0 β 2 , λ < 0 ,
and
C 4 : = β + 1 + 2 γ 2 + ε 0 γ 2 .
Theorem 2. 
Assume Hypothesis 5, fix T > 0 and if λ < 0 , then λ ε 0 4 C ˜ H P 1 + 3 2 K a + K d , 0 . Let y be a mild solution for (1). Then, for all t > 0 and for all δ 0 , min ν , μ
E y ( t ) E y ( 0 ) e 1 t M ,
where
μ : = ε 0 C δ max { C 3 , C 4 } , λ > 0 , ε 0 + 4 λ C ˜ H P 1 + 3 2 K a + K d max { C 3 , C 4 } + ( ε 0 + 4 λ C ˜ H P 1 + 3 2 K a + K d ) ( C ˜ β + C ˜ γ ) , λ < 0
and
M : = C δ ( C 2 + max { C 3 , C 4 } C 1 ) ε 0 C δ δ max { C 3 , C 4 } , λ > 0 , C δ ( C 2 + max { C 3 , C 4 } C 1 ) C δ ε 0 + 4 λ C H P 1 + 3 2 K a + K d δ max { C 3 , C 4 } , λ < 0 .
Here, ν is defined as in (50).
Proof. 
As a first step, consider y a classical solution of (1) and λ > 0 . Take δ 0 , min ν , ε 0 C δ max { C 3 , C 4 } . Then, based on the definition of E y and Propositions 6 and 7, we have
ε 0 s T E y ( t ) d t = ε 0 2 Q s y t 2 ( t , x ) a ( x ) + y x x 2 ( t , x ) λ a d y 2 ( t , x ) d x d t + ε 0 β 2 s T y 2 ( t , 1 ) d t + ε 0 γ 2 s T y x 2 ( t , 1 ) d t C 2 E y ( s ) + C 3 s T y 2 ( t , 1 ) d t + C 4 s T y x 2 ( t , 1 ) d t C 2 E y ( s ) + max { C 3 , C 4 } s T y 2 ( t , 1 ) + y x 2 ( t , 1 ) d t C 2 E y ( s ) + max { C 3 , C 4 } δ C δ s T E y ( t ) d t + max { C 3 , C 4 } C 1 E y ( s ) .
This implies ε 0 max { C 3 , C 4 } δ C δ s T E y ( t ) d t ( C 2 + max { C 3 , C 4 } C 1 ) E y ( s ) . Hence, we can apply ([18], Theorem 8.1) with M : = C δ ( C 2 + max { C 3 , C 4 } C 1 ) ε 0 C δ δ max { C 3 , C 4 } and (64) holds.
Now, consider λ < 0 . By Propositions 6 and 7, we have
ε 0 s T E y ( t ) d t = ε 0 2 Q s y t 2 ( t , x ) a ( x ) + y x x 2 ( t , x ) λ a d y 2 ( t , x ) d x d t + ε 0 β 2 s T y 2 ( t , 1 ) d t + ε 0 γ 2 s T y x 2 ( t , 1 ) d t C 2 E y ( s ) + max { C 3 , C 4 } s T y 2 ( t , 1 ) d t + s T y x 2 ( t , 1 ) d t 4 λ C ˜ H P 1 + 3 2 K a + K d s T E y ( t ) d t C 2 + max { C 3 , C 4 } C 1 E y ( s ) + max { C 3 , C 4 } δ C δ s T E y ( t ) d t 4 λ C ˜ H P 1 + 3 2 K a + K d s T E y ( t ) d t .
Hence,
ε 0 + 4 λ C ˜ H P 1 + 3 2 K a + K d max { C 3 , C 4 } δ C δ s T E y ( t ) d t C 2 + max { C 3 , C 4 } C 1 E y ( s ) .
Recalling that C δ : = 1 δ ( C ˜ β + C ˜ γ ) , where δ < μ , one proves that
ε 0 + 4 λ C ˜ H P 1 + 3 2 K a + K d max { C 3 , C 4 } δ C δ > 0 .
Hence, again by ([18], Theorem 8.1) with M : = C δ ( C 2 + max { C 3 , C 4 } C 1 ) C δ ( ε 0 + 4 λ C H P 1 + 3 2 K a + K d ) δ max { C 3 , C 4 } , (64) holds.
If y is the mild solution for the problem, we can proceed as in [22], obtaining the thesis. □

4. Conclusions and a Open Problems

In this paper, we study the exponential stability of the energy related to (1). In particular, in Theorem 2, we show that
If λ is small and a , d are not too degenerate , then the energy of the solution to ( 1 ) converges exponentially to 0 as time diverges
This result leads to some open problems. The first one is to prove the stability if K a + 2 K d 2 . As we have seen, the condition K a + 2 K d < 2 is crucial in Proposition 6 and the condition K a + 2 K d 2 is important for finding that the two domains D ( A ) and D ( A λ ) coincide. On the other hand, K a + K d 2 is crucial to obtain the estimate given in Proposition 1.
Another important open problem is to prove the stability of (1), when λ ε 0 4 C ˜ H P 1 + 3 2 K a + K d .

Author Contributions

Investigation, validation: M.A., G.F. and A.S.; conceptualization, methodology, formal analysis, G.F. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The data presented in this study are available on request from the corresponding author.

Acknowledgments

G. Fragnelli is a member of Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM), UMI “Modellistica Socio-Epidemiologica (MSE)”, and UMI “CliMath". She is partially supported by INdAM GNAMPA Project Mathematical Methods for Climate Impacts: Control, Game Theory, and Inverse Problems for EBCM (CUP E5324001950001) and by the FFABR Fondo per il finanziamento delle attività base di ricerca 2017.

Conflicts of Interest

The authors have no competing interests to declare that are relevant to the content of this article.

References

  1. Behn, C.; Steigenberger, J.; Will, C. Effects of Boundary Damping on Natural Frequencies in Bending Vibrations of Intelligent Vibrissa Tactile Systems. Int. J. Adv. Intell. Syst. 2015, 8, 245–254. [Google Scholar]
  2. Biselli, A.; Coleman, M.P. The Exact Frequency Equations for the Euler-Bernoulli Beam Subject to Boundary Damping. Int. J. Acoust. Vib. 2020, 25, 183–189. [Google Scholar] [CrossRef]
  3. Chen, G.; Krantz, S.G.; Ma, D.W.; Wayne, C.E.; West, H.H. The Euler-Bernoulli Beam Equation with Boundary Energy Dissipation; Operator Methods for Optimal Control Problems (New Orleans, LA, 1986), Lecture Notes in Pure and Applied Mathematics; Dekker: New York, NY, USA, 1987; Volume 108, pp. 67–96. [Google Scholar]
  4. Chen, G.; Delfour, M.C.; Krall, A.M.; Payre, G. Modeling, stabilization and control of serially connected beams. SIAM J. Control Optim. 1987, 25, 526–546. [Google Scholar] [CrossRef]
  5. Chen, G.; Zhou, J. The wave propagation method for the analysis of boundary stabilization in vibrating structures. SIAM J. Appl. Math. 1990, 50, 1254–1283. [Google Scholar] [CrossRef]
  6. Coleman, M.P.; McSweeney, L.A. The Exact Frequency Equations for the Rayleigh and Shear Beams with Boundary Damping. Int. J. Acoust. Vib. 2020, 25, 3–8. [Google Scholar] [CrossRef]
  7. Sandilo, S.H.; Horssen, W.T.V. On Boundary Damping for an Axially Moving Tensioned Beam. J. Vib. Acoust. 2012, 134, 8. [Google Scholar] [CrossRef]
  8. Cavalcanti, M.M.; Cavalcanti, V.N.D.; Silva, M.A.J.; Narciso, V. Stability for extensible beams with a single degenerate nonlocal damping of Balakrishnan-Taylor type. J. Differ. Equ. 2021, 290, 197–222. [Google Scholar] [CrossRef]
  9. Cong, Z.; Chunyou, S. Stability for a Class of Extensible Beams with Degenerate Nonlocal Damping. J. Geom. Anal. 2023, 33, 295. [Google Scholar] [CrossRef]
  10. Narciso, V.; Ekinci, D.; Piskin, E. On a beam model with degenerate nonlocal nonlinear damping. Evol. Equ. Control Theory 2023, 12, 732–751. [Google Scholar] [CrossRef]
  11. Camasta, A.; Fragnelli, G. Fourth-order differential operators with interior degeneracy and generalized Wentzell boundary conditions. Electron. J. Differ. Equ. 2022, 2022, 87. [Google Scholar] [CrossRef]
  12. Camasta, A.; Fragnelli, G. A stability result for a degenerate beam equation. SIAM J. Control Optim. 2024, 62, 630–649. [Google Scholar] [CrossRef]
  13. Alabau-Boussouira, F.; Cannarsa, P.; Leugering, G. Control and stabilization of degenerate wave equations. SIAM J. Control Optim. 2017, 55, 2052–2087. [Google Scholar] [CrossRef]
  14. Fragnelli, G.; Mugnai, D. Carleman estimates for singular parabolic equations with interior degeneracy and non smooth coefficients. Adv. Nonlinear Anal. 2017, 6, 61–84. [Google Scholar] [CrossRef]
  15. Dias, N.; Jorge, C.; Prata, J. Vibration modes of the Euler–Bernoulli beam equation with singularities. J. Differ. Equ. 2024, 381, 185–208. [Google Scholar] [CrossRef]
  16. Akil, M.; Fragnelli, G.; Sbai, A. Degenerate/Singular Beam-Type Equations: A Controllability Result. submitted for publication. Available online: https://hal.science/hal-04901715 (accessed on 18 January 2025).
  17. Fragnelli, G.; Mugnai, D.; Sbai, A. Stabilization for degenerate equations with drift and small singular term. Math. Meth. Appl. Sci. 2025, 48, 5086–5109. [Google Scholar] [CrossRef]
  18. Komornik, V. Exact Controllability and Stabilization: The Multiplier Method, RAM: Research in Applied Mathematics Volume 36; Masson: Paris, France; John Wiley: Chichester, UK, 1994. [Google Scholar]
  19. Cannarsa, P.; Fragnelli, G.; Rocchetti, D. Controllability results for a class of one-dimensional degenerate parabolic problems in nondivergence form. J. Evol. Equ. 2008, 8, 583–616. [Google Scholar] [CrossRef]
  20. Fragnelli, G.; Mugnai, F. Control of Degenerate and Singular Parabolic Equations. Carleman Estimates and Observability; SpringerBriefs in Mathematics; Springer International Publishing: Cham, Switzerland, 2021. [Google Scholar]
  21. Camasta, A.; Fragnelli, G. Boundary controllability for a degenerate beam equation. Math. Meth. Appl. Sci. 2024, 47, 907–927. [Google Scholar] [CrossRef]
  22. Fragnelli, G.; Mugnai, D. Linear Stabilization for a Degenerate Wave Equation in Non Divergence Form with Drift. Bulletin of Mathematical Sciences. Available online: https://www.worldscientific.com/doi/10.1142/S1664360725500018 (accessed on 4 February 2025).
  23. Jost, J.; Li-Jost, X. Calculus of Variations; Cambridge University: Cambridge, UK, 1998. [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.

Share and Cite

MDPI and ACS Style

Akil, M.; Fragnelli, G.; Sbai, A. Exponential Stability for a Degenerate/Singular Beam-Type Equation in Non-Divergence Form. Axioms 2025, 14, 159. https://doi.org/10.3390/axioms14030159

AMA Style

Akil M, Fragnelli G, Sbai A. Exponential Stability for a Degenerate/Singular Beam-Type Equation in Non-Divergence Form. Axioms. 2025; 14(3):159. https://doi.org/10.3390/axioms14030159

Chicago/Turabian Style

Akil, Mohammad, Genni Fragnelli, and Amine Sbai. 2025. "Exponential Stability for a Degenerate/Singular Beam-Type Equation in Non-Divergence Form" Axioms 14, no. 3: 159. https://doi.org/10.3390/axioms14030159

APA Style

Akil, M., Fragnelli, G., & Sbai, A. (2025). Exponential Stability for a Degenerate/Singular Beam-Type Equation in Non-Divergence Form. Axioms, 14(3), 159. https://doi.org/10.3390/axioms14030159

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