Home Exact controllability for nonlinear thermoviscoelastic plate problem
Article Open Access

Exact controllability for nonlinear thermoviscoelastic plate problem

  • Taoufik Moulahi ORCID logo , Moncef Aouadi ORCID logo and Saad Althobaiti ORCID logo EMAIL logo
Published/Copyright: November 26, 2024
Become an author with De Gruyter Brill

Abstract

In this article, we consider a problem of exact controllability in the processes described by a nonlinear damped thermoviscoelastic plate. First, we prove the global well-posedness result for the nonlinear functions that are continuous with respect to time and globally Lipschitz with respect to space variable. Next, we perform a spectral analysis of the linear and uncontrolled problem. Then, we prove that the corresponding solutions decay exponentially to zero at a rate determined explicitly by the physical constants. Finally, we prove the exact controllability of the linear and the nonlinear problems by proving that the corresponding controllability mappings are surjective.

MSC 2010: 34D20; 93B05; 81Q10

1 Introduction

In the last decades, the theory of control has gained great importance as a discipline for engineers, mathematicians, and other scientists. Examples of control problems range from simple cases, such as driving from heat through a bar, to more complex cases, such as the landing of a vehicle on the Moon, the control of the economy of a nation, and the control of epidemics, among others. There is an extensive literature on control theory for continuous systems.

We study the exact controllability of the following nonlinear damped thermoelastic Kirchhoff-Love plate with controls acting in the whole domain Ω

(1.1) w t t γ Δ w t t + Δ 2 w α Δ w t + ν Δ θ = u 1 + f 1 ( t , w , θ , u 1 ) , in Ω × [ 0 , ) , θ t Δ θ ν Δ w t = u 2 + f 2 ( t , w , θ , u 2 ) , in Ω × [ 0 , ) ,

with Dirichlet boundary conditions

(1.2) w ( x , t ) = Δ w ( x , t ) = θ ( x , t ) = 0 , x Ω , t 0 ,

and initial conditions

(1.3) w ( x , 0 ) = w 0 ( x ) , w t ( x , 0 ) = w 1 ( x ) , θ ( x , 0 ) = θ 0 ( x ) , x Ω ,

where Ω is a bounded domain in R d and Δ = i = 1 d x i 2 is the Laplace operator.

The function w represents the vertical displacement of the mid-plane of the plate from its equilibrium position, while θ the temperature at this middle plane. The vibrations of the plate are described by the Kirchhoff model, which takes into account the rotational inertia through the second term in the first equation of system (1.1). The rotational inertia parameter γ 0 , related to the thickness of the plate, and therefore, it is usually small. The coupling term ν Δ w t ( ν 0 ) takes into account the heat induced by the high-frequency vibrations of the plate, and α Δ w t ( α > 0 ) is a viscoelastic damping term.

In (1.1), the distributed controls u 1 , u 2 L 2 ( 0 , τ ; L 2 ( Ω ) ) and the nonlinear functions f i : [ 0 , τ ] × R 3 R , ( i = 1 , 2 ) are continuous functions on t and globally Lipschitz in the other variables, i.e., there exist constants l i > 0 such that for all x 1 , x 2 , y 1 , y 2 , u 1 , u 2 R , we have

f i ( t , x 2 , y 2 , u 2 ) f i ( t , x 1 , y 1 , u 1 ) l i ( x 2 x 1 + y 2 y 1 + u 2 u 1 ) , t [ 0 , τ ] .

Control problems for system (1.1) have attracted considerable attention in the literature over the past several years. In particular, many efforts have been devoted to study the controllability problem under varying boundary conditions, with different choices of control domain and with different values of γ .

In the case γ = 0 , which corresponds to neglecting rotational inertia in the vibration of the plate, the null controllability of the linear thermoelastic plate system with hinged boundary conditions was proved by Lasiecka and Triggiani [1] with a single control either on the mechanical component or in the thermal one. The controls are assumed to be supported on the whole set Ω with regularity L 2 ( ( 0 , T ) × Ω ) . These results were extended to other types of boundary conditions in [2]. Some problems were studied by Benabdallah and Naso [3]. They proved that when the control functions act on the whole domain for any T > 0 and for any initial data ( w 0 , w 1 , θ 0 ) ( H 2 ( Ω ) H 0 1 ( Ω ) ) × L 2 ( Ω ) × L 2 ( Ω ) , there exists a control function f L 2 ( ( 0 , T ) × Ω ) such that the problem of linear thermoelastic plate is null controllable. This result was found by Lasiecka and Triggiani [1] by a different method. The same result was obtained when the control function f acts on a small subset ω of Ω [3]. The proof of this theorem follows from the procedure developed by Lebeau and Robbiano in [4]. De Terasa and Zuazua [5] proved the exact approximate controllability of linear thermoelastic plate system subject to clamped boundary conditions with interior control acting only on the Kirchoff plate component. Based on the Kalman criterion, Leiva and Zambrano [6] established a necessary and sufficient algebraic condition for the approximate controllability for thermoelastic plate equations with Dirichlet boundary conditions. Chang and Triggiani [7] performed a spectral analysis of an abstract thermoelastic plate equations with different boundary conditions. They provided interesting spectral properties and proved that the resulting semigroup of contractions is neither compact nor differentiable, which contradicts the case γ = 0 . Recently, Triggiani and Zhang [8] proved analyticity, sharp location of the spectrum, and exponential decay with sharp decay rate for a two-dimensional heat-damping viscoelastic plate interaction.

In the case γ > 0 , Lasiecka and Seidman [9] proved observability inequalities for either the thermal component or the elastic one with hinged boundary conditions. The observation is in the whole set Ω , and it is valid for any T > 0 . Avalos [2] proved the null controllability with a single control acting in the thermal component only under clamped boundary conditions. Another null controllability result was given by Castro and Teresa [10] for linear thermoelastic plate systems with controls written in series form. The result is then obtained by combining the null controllability of these new systems with the convergence of the series. Hansen and Zhang [11] proved that a linear thermoelastic beam may be controlled exactly to zero in a finite time by a single boundary control. Moreover, they showed that the optimal time of controllability becomes arbitrarily small if γ = 0 , as in the case of Euler-Bernoulli beam. Eller et al. [12,13] studied the exact-approximate boundary controllability of thermoelastic plates with variable thermal coefficient, under three boundary controls active in the hinged mechanical/Dirichlet thermal boundary conditions and clamped mechanical/Dirichlet thermal boundary conditions, respectively. Yang and Yao [14] studied the exact-approximate controllability of system (1.1) by the multiplier technique and the Riemannian geometry approach inspired from the work by Avalos and Lasiecka [15].

Because of the smoothing effects associated with analyticity, the null controllability is a more natural question than for the hyperbolic problems. On the contrary, in this article, we consider a hyperbolic model, and we want to show that the nonlinear system (1.1) is exact controllable. The exact controllability is a hard problem even for linear systems; for that reason, there are few results on nonlinear systems. The difficulty here lies in the nonlinear functions that depend on all variables appearing in the considered system, including the control. For exact controllability of non-coupled semilinear equation, one can see, for example, the articles credited by Leiva [1618]. In this work, we generalize Lieva’s works [1618] on semilinear single equations to coupled thermoviscoelastic plate equations. Our procedure is quite different. In particular, we do not assume that the operator K (defined by (5.25)) is a contraction; but we prove it under a suitable condition, which makes the control holds (see the condition (5.9)). In addition, we show the surjectivity of the controllable mapping differently. In fact, thanks to a result due to Carrasco et al. [19], we prove the exact controllability of the nonlinear problem by showing that the nonlinear controllability mapping G F (given by (5.3)) is surjective. For this end, we first need to prove that the linear controllability mapping G (given by (5.1)) is surjective. According to Curtain and Zwart [20], this is equivalent to the exact controllability of the linear problem. This is done by proving that the Gramian mapping (defined by (5.4)) is invertible. Nevertheless, our work is very general and can be applied to many systems of coupled partial differential equations. For a more careful review of some known results on analogous problems, we refer to our previous study [21], where the linear thermoelastic model (1.1) is studied for α = f 1 = f 2 = 0 . When the controls act in the whole domain, we proved the exact and approximate controllability. In the second case, we prove the interior approximate controllability when the controls act only on a subset of the domain. The distributed controls are determined explicitly by the physical constants of the plate in the first case, while this is no longer possible in the second case.

In this article, and through a simple, powerful, and systematic approach based on the spectral analysis of semigroups, we prove the exponential stability, approximate, and exact controllability of the nonlinear thermoviscoelastic plate system given by (1.1)–(1.3). Moreover, we provide the explicit expressions of the optimal decay rate and the distributed controls by the physical constants of the plate. In fact, these expressions have never been given explicitly in the literature. The spirit of this approach is very different from the traditional methods used to study these topics for thermoviscoelastic plate. Our approach is more detailed and complete since it is based on the explicit expressions of the eigenvalues of the corresponding linear operator. The spirit of our approach is very different from the traditional methods used to study these topics for thermoviscoelastic plate. In fact, our spectral analysis gives more precise bounds that allow us to provide the explicit expressions of the optimal decay rate and the distributed controls.

This article is organized as follows. In Section 2, we describe briefly a global well-posedness of the nonlinear problem. In Section 3, we perform the spectral analysis of the linear and uncontrolled problem. In particular, we establish conditions on the physical constants of the plate to guarantee that the roots of the characteristic equation are simple. In Section 4, we prove the exponential stability of the solutions at an optimal rate determined explicitly by the physical constants of the plate. In Section 5, we prove the exact controllability of the considered problem and the explicit expressions of the distributed controls.

2 Preliminaries and well-posedness

Before starting the analysis of problems (1.1)–(1.3), let us summarize the main properties of some operators that will be useful to us. Consider the positive operators A and A 2 on X = L 2 ( Ω ) defined by A ϕ = Δ ϕ and A 2 ϕ = Δ 2 ϕ with domains D ( A ) = ( H 2 H 0 1 ) ( Ω ) , D ( A 2 ) = { w H 4 ( Ω ) with w = Δ w = 0 on Ω } . The operator A has the following very well-known properties [22].

  1. The spectrum of A = Δ consists of only eigenvalues

    (2.1) 0 < λ 1 < λ 2 < < λ n < ,

    with finite multiplicity equal to the dimension of the corresponding eigenspace.

  2. The eigenfunctions of A with Dirichlet boundary condition are real analytic functions.

  3. There exists a complete orthonormal set { ϕ n } of eigenvectors of A .

  4. For all x D ( A ) , we have

    A x = n = 1 λ n x , ϕ n ϕ n = n = 1 λ n E n x ,

    where , is the inner product in X = L 2 ( Ω ) and

    E n x = x , ϕ n ϕ n .

    So { E n } is a complete family of orthogonal projections in X and

    (2.2) x = n = 1 E n x , x X .

  5. The operator A generates an analytic semigroup { e A t } t 0 given by

    e A t x = n = 1 e λ n t E n x .

  6. The fractional power spaces X r are given by

    X r = D ( A r ) = x X , n = 1 ( λ n ) 2 r E n x 2 < , r 0 ,

    with the norm

    (2.3) x X r = A r x = n = 1 λ n 2 r E n x 2 1 2 , x X r ,

    and

    A r x = n = 1 λ n r E n x .

Setting Z = ( z 0 , z 1 , z 2 ) , we have

z 0 = Δ w z 1 = w t , and z 2 = θ .

Let the state space be

Z γ = X × V γ × X , where V γ = H 0 1 ( Ω ) , if  γ > 0 , L 2 ( Ω ) , if  γ = 0 ,

equipped with the inner product

(2.4) Z 1 , Z 2 Z γ = y 0 , z 0 X + y 1 , z 1 V γ + y 2 , z 2 X ,

where Z 1 = ( y 0 , y 1 , y 2 ) and Z 2 = ( z 0 , z 1 , z 2 ) . In view of (2.4), the corresponding norm in Z γ is given by

(2.5) z 0 z 1 z 2 Z γ 2 = z 0 X 2 + z 1 V γ 2 + z 2 X 2 .

Let us introduce the inertia operator ( I γ Δ ) with the domain ( H 2 H 0 1 ) ( Ω ) , where H 0 1 ( Ω ) = { u H 1 ( Ω ) u = 0 on Ω } . It is well known that the operator ( I γ Δ ) is positive and self-adjoint in L 2 ( Ω ) . Then, one has

V γ = D ( ( I γ Δ ) 1 2 ) = z X : n = 1 ( 1 + γ λ n ) E n z 2 < ,

endowed with the norm

(2.6) z V γ 2 = ( I γ Δ ) 1 2 z , ( I γ Δ ) 1 2 z X = n = 1 ( 1 + γ λ n ) E n z 2 .

System (1.1)–(1.3) can be written, respectively, as a nonlinear evolution equation of the form

(2.7) d d t Z ( t ) = A Z ( t ) + F ( t , Z , U ) , Z ( 0 ) = Z 0 , U = ( u 1 , u 2 ) ,

where the nonlinear function F : [ 0 , τ ] × Z γ × Y Z γ is given by

(2.8) F ( t , Z , U ) = B U + F ( t , Z , U ) ,

where Y = L 2 ( 0 , τ ; L 2 ( Ω ) ) × L 2 ( 0 , τ ; L 2 ( Ω ) ) and the function F : [ 0 , τ ] × Z γ × Y Z γ is given by

(2.9) F ( t , Z , U ) = 0 J γ f 1 ( t , Z , u 1 ) f 2 ( t , Z , u 2 ) ,

where J γ = ( I γ Δ ) 1 : X V γ . We assume that F is a strict contraction on [ 0 , τ ] × Z γ × Y , i.e., there exists a constant L < 1 such that for all Z 1 , Z 2 Z γ corresponding to the controls U 1 , U 2 Y , we have

(2.10) F ( t , Z 2 , U 2 ) F ( t , Z 1 , U 1 ) L ( Z 2 Z 1 + U 2 U 1 ) , t [ 0 , τ ] .

The operator B : X × X Z γ in (2.8) is defined by

(2.11) B = 0 0 J γ 0 0 I .

The linear operator A : D ( A ) Z γ Z γ is given by

(2.12) A z 0 z 1 z 2 = A z 1 J γ A ( z 0 α z 1 + ν z 2 ) A ( ν z 1 + z 2 ) ,

with the domain

D ( A ) = H 0 1 ( Ω ) × ( H 2 ( Ω ) H 0 1 ( Ω ) ) 2 , if γ > 0 , ( H 2 ( Ω ) H 0 1 ( Ω ) ) 3 , if γ = 0 .

The adjoint operator of A is easily calculated and given by

(2.13) A z 0 z 1 z 2 = A z 1 J γ A ( z 0 α z 1 ν z 2 ) A ( ν z 1 z 2 ) ,

for z D ( A ) = D ( A ) .

Our first result is the following.

Theorem 1

Let the operator A defined by (2.12) generate a C 0 -semigroup of contractions ( T ( t ) ) t 0 on Z γ . Suppose that F : [ 0 , τ ] × Z γ × Y Z γ is a strict contraction satisfying (2.10). Then, for any Z 0 Z γ , U Y , there exists a unique local solution to (2.7) such that Z ( t ) C ( 0 , τ ; Z γ ) satisfies

(2.14) Z ( t ) = T ( t ) Z 0 + 0 t T ( t s ) B U ( s ) d s + 0 t T ( t s ) F ( s , Z ( s ) , U ( s ) ) d s ,

for some τ > 0 and for t [ 0 , τ ) .

Moreover, there exists a unique global solution Z ( t ) C ( 0 , ; Z γ ) to (2.7) satisfying (2.14) with τ = + .

The proof of Theorem 1 will be completed through several lemmas.

Now, we show that the operator B given by (2.11) is bounded in Z γ .

Lemma 2.1

The operator B given by (2.11) is bounded in Z γ , and satisfies

(2.15) B 1 .

Proof

First, we need to show that J γ : X V γ is bounded. From (2.6)1, we have

J γ x V γ 2 = ( I γ Δ ) 1 2 ( J γ x ) , ( I γ Δ ) 1 2 ( J γ x ) X = ( I γ Δ ) 1 2 x , ( I γ Δ ) 1 2 x X = x , J γ x X .

Since

J γ x = ( I γ Δ ) 1 x = n = 1 + 1 1 + γ λ n E n x ,

we have

(2.16) J γ x V γ 2 = x , n = 1 + 1 1 + γ λ n E n x X ( use ( 2.2 ) ) = n = 1 + E n x , n = 1 + 1 1 + γ λ n E n x X = n = 1 + 1 1 + γ λ n E n x 2 n = 1 + E n x 2 = x 2 .

Therefore, J γ is bounded. Consequently, the operator B : X × X V γ is defined by

(2.17) B y Z γ 2 = 0 J γ y 1 y 2 Z γ 2 = J γ y 1 V γ 2 + y 2 X 2 ( use ( 2.6 ) ) y 1 X 2 + y 2 X 2 = y 2 .

Thus, the operator B is bounded, and relation (2.15) holds.□

Remark 2.1

By the aforementioned argument, one can deduce that the adjoint operator B : V γ X × X defined by

B = 0 I 0 0 0 I

is bounded and satisfies

(2.18) B 1 .

The following result shows to be useful to prove Theorem 1.

Lemma 2.2

The operator A defined by (2.12) generates a C 0 -semigroup of contractions e A t on Z γ .

Proof

Obviously, D ( A ) is dense in Z γ . We show now that A is dissipative. For any Z D ( A ) , we have

A Z , Z Z γ = ( A z 1 , z 0 ) X + ( J γ A ( z 0 α z 1 + ν z 2 ) , z 1 ) V γ + ( A ( ν z 1 + z 2 ) , z 2 ) X = ( Δ w t , Δ w ) X + ( Δ ( Δ w α w t + ν θ ) , w t ) X + ( Δ ( ν w t + θ ) , θ ) X = ( Δ w t , Δ w ) X ( Δ w , Δ w t ) X ν ( Δ θ , w t ) X + ν ( w t , Δ θ ) X + α ( Δ w t , w t ) X + ( Δ θ , θ ) X .

Then,

e A Z , Z Z γ = α w t 2 θ 2 < 0 .

Thus, the operator A is dissipative.

To show that A is maximal, we need to prove that I A : D ( A ) Z γ is onto. Let Z * = ( z 0 * , z 1 * , z 2 * ) Z γ . We must prove that

(2.19) Z A Z = Z *

has a solution Z = ( z 0 , z 1 , z 2 ) in D ( A ) . This equation leads to the system

(2.20) z 0 * = z 0 + A z 1 , z 1 * = z 1 J γ A ( z 0 α z 1 + ν z 2 ) , z 2 * = z 2 + A ( ν z 1 + z 2 ) .

This can be solved by the following many references in the literature [23].

Then, we conclude that operator A is maximal in Z γ . Since D ( A ) is densely defined in Z γ , the lemma follows from the well-known Lumer-Phillips Theorem (see Theorem 1.4.2 in [24]).□

Remark 2.2

It is well known that if ( T ( t ) ) t 0 is a C 0 - semigroup of contractions with infinitesimal generator A , then ( T * ( t ) ) t 0 is a C 0 -semigroup of contractions with infinitesimal generator A * .

Proof of Theorem 1

We need to prove first that the nonlinear function F : Z γ × Y Z γ defined in (2.8) is locally Lipschitz in Z γ . To this end, let us suppose that Z 1 , Z 2 Z γ corresponding to the controls U 1 , U 2 Y , respectively. Then, we have

(2.21) F ( Z 2 , U 2 ) F ( Z 1 , U 1 ) = B ( U 2 U 1 ) + F ( Z 2 , U 2 ) F ( Z 1 , U 1 ) ( use ( 2.15 ) and ( 2.10 ) ) U 2 U 1 + L ( Z 2 Z 1 + U 2 U 1 ) ( L + 1 ) ( Z 2 Z 1 + U 2 U 1 ) .

It follows that F is locally Lipschitz in Z γ . Combining this with Lemma 2.2, we have from a classical result (see [24], Theorem 6.1.4) that the Cauchy problem (2.7) has a unique local mild solution given by (2.14) and defined in a maximal interval ( 0 , t max ) .

Next, we prove that the solution is global, i.e., t max = . Let [ 0 , τ ) be the maximal interval of existence of the solution of (2.7). Obviously, it suffices to show that τ = + . Assuming τ < , it follows that for t [ 0 , τ ) ,

(2.22) Z ( t ) Z γ T ( t ) Z 0 + 0 t T ( t s ) B U ( s ) d s + 0 t T ( t s ) F ( s , Z ( s ) , U ( s ) ) d s ( use ( 2.10 ) ) T ( t ) Z 0 + 0 t T ( t s ) B U ( s ) d s + L 0 t ( Z ( s ) + U ( s ) ) d s .

By the Cauchy-Schwartz inequality, we have

(2.23) 0 t U ( s ) d s 0 t d s 1 2 0 t U ( s ) 2 d s 1 2 t U ( s ) .

Plugging (2.23) into (2.22), we obtain

(2.24) Z ( t ) Z γ max 0 t τ T ( t ) Z 0 + 0 t T ( t s ) B U ( s ) d s + L t U ( s ) + L 0 t Z ( s ) d s

which using Gronwall’s inequality yields

Z ( t ) Z γ max 0 t τ T ( t ) Z 0 + 0 t T ( t s ) B U ( s ) d s + L t U ( s ) e L τ ,

i.e., Z ( t ) is uniformly bounded on Z γ over [ 0 , τ ] . Thus, if τ < , similar to the proof of the existence of local solution, we can prove that (2.7) has a unique solution on [ 0 , τ + t 0 ) for some t 0 > 0 . This is a contradiction. Therefore, (2.7) admits a unique global solution.□

3 Spectral analysis

In this section, we are interested to study some spectral properties of the operator A defined by (2.12). This proves to be useful in the following sections, in particular in determining explicitly the optimal decay rate.

Let Z D ( A ) , computing A Z yields

(3.1) A Z = n = 1 λ n E n z 2 n = 1 λ n 1 + γ λ n E n z 1 α n = 1 λ n 1 + γ λ n E n z 2 + ν n = 1 λ n 1 + γ λ n E n z 3 ν n = 1 λ n E n z 2 n = 1 λ n E n z 3 = n = 1 0 λ n 0 λ n 1 + γ λ n α λ n 1 + γ λ n ν λ n 1 + γ λ n 0 ν λ n λ n E n 0 0 0 E n 0 0 0 E n z 1 z 2 z 3 = n = 1 A n P n Z ,

where { P n } n 1 is a complete family of orthogonal projections in Z γ

(3.2) P n = E n 0 0 0 E n 0 0 0 E n ,

satisfying

(3.3) P j P n = P n , if  j = n 0 , if  j n , n 1 P n = I ,

and

(3.4) A n = R n P n = 0 λ n 0 λ n 1 + γ λ n α λ n 1 + γ λ n ν λ n 1 + γ λ n 0 ν λ n λ n P n , n 1 .

We can also easily verify that

A n P n = P n A n , n 1 .

The characteristic equation of R n is given by

(3.5) σ 3 + λ n 1 + α c n 2 σ 2 + λ n 2 c n 2 ( 1 + α + ν 2 ) σ + λ n 3 c n 2 = 0 ,

where

(3.6) c n = 1 + γ λ n .

Remark 3.1

  1. The characteristic equation (3.5) is the same obtained in [11,21] for α = 0 . Moreover, Hansen and Zhang [11] proved that the roots of (3.5) for α = 0 are simple if 0 < ν 1 2 . Aouadi and Moulahi [21] have improved this result by proving that the roots are simple if 0 < ν 2 19 8 .

  2. The eigenvalues of R n are given by

    (3.7) σ i ( n ) = c n 1 λ n ϱ i ( n ) , i = 0 , 1 , 2 ,

where ϱ i ( n ) are the roots of the following equation:

(3.8) ϱ 3 + c n ( 1 + α c n 2 ) ϱ 2 + ( 1 + α + ν 2 ) ϱ + c n = 0 .

The roots of (3.8), ϱ i ( n ) , i = 0 , 1 , 2 , are given by the following.

Proposition 3.1

Let us suppose that condition

(3.9) 0 ν < ( 1 + α ) ( 2 19 8 ) .

holds and

(3.10) δ 0 ( n ) = c n 2 ( 1 + α c n 2 ) 2 3 ( 1 + α + ν 2 ) , δ 1 ( n ) = 2 c n 3 ( 1 + α c n 2 ) 3 9 c n ( 1 + α c n 2 ) ( 1 + α + ν 2 ) + 27 c n , C ( n ) = 1 2 ( δ 1 ( n ) + δ 1 2 ( n ) 4 δ 0 3 ( n ) ) 3 ,

where . and . 3 stand for the main branch of complex square and cubic roots, respectively. The spectrum of (3.8) consists of a sequence of conjugate pairs { σ 1 ( n ) } n = 1 , { σ 2 ( n ) = σ 1 ¯ ( n ) } n = 1 and a real sequence { σ 0 ( n ) } n = 1 , where

(3.11) ϱ i ( n ) = 1 3 c n ( 1 + α c n 2 ) + C ( n ) e 2 i π 3 + δ 0 ( n ) C ( n ) e 2 i π 3 , i = 0 , 1 , 2 , n 1 ,

where is the imaginary unit ( 2 = 1 ). Moreover, we have

(3.12) e ϱ i ( n ) < 0 , for a l l i = 0 , 1 , 2 , n 1 .

Proof

Denote by Γ n the discriminant of the characteristic polynomial (3.8). For Γ n < 0 , we know that (3.8) possesses three distinct roots: one real and two (non-real) complex conjugate ones [25].

(3.13) Γ n = 18 c n 2 ( 1 + α c n 2 ) ( 1 + α + ν 2 ) 4 c n 4 ( 1 + α c n 2 ) 3 + c n 2 ( 1 + α c n 2 ) 2 ( 1 + α + ν 2 ) 2 4 ( 1 + α + ν 2 ) 3 27 c n 2 .

If Γ n < 0 , then (3.8) possesses three distinct roots: one real and two (non-real) complex conjugate ones. Since a b 1 2 ( a 2 + b 2 ) a 2 + b 2 , by a direct computation, we obtain

4 c n 2 ( 1 + α c n 2 ) ( 1 + α + ν 2 ) 4 c n 4 ( 1 + α c n 2 ) 2 + 4 ( 1 + α + ν 2 ) 2 ,

with a = c n 2 ( 1 + α c n 2 ) and b = 1 + α + ν 2 . Using c n 2 ( 1 + α c n 2 ) > 1 and 1 + α + ν 2 > 1 since α > 0 , we obtain

4 c n 2 ( 1 + α c n 2 ) ( 1 + α + ν 2 ) 4 c n 4 ( 1 + α c n 2 ) 3 + 4 ( 1 + α + ν 2 ) 3 .

Hence,

Γ n 14 c n 2 ( 1 + α c n 2 ) ( 1 + α + ν 2 ) + c n 2 ( 1 + α c n 2 ) 2 ( 1 + α + ν 2 ) 2 27 c n 2 .

Therefore, to have δ ( n ) < 0 for n 1 , it suffices that

( 1 + α + ν 2 ) = ( 1 + α c n 2 ) 2 ( 1 + α + ν 2 ) 2 + 14 ( 1 + α c n 2 ) ( 1 + α + ν 2 ) 27 < 0 ,

or, solving for 1 + α + ν 2 , if

(3.14) 0 1 + α + ν 2 < inf n 1 2 19 7 1 + α c n 2 ,

where ± 2 19 7 1 + α c n 2 are the roots of ( 1 + α + ν 2 ) = 0 . Then, it follows that

inf n 1 2 19 7 1 + α c n 2 = 2 19 7 sup n 1 { 1 + α c n 2 } ( use c n = 1 + γ λ n ) = 2 19 7 1 + α 1 + γ inf n 1 { λ n } ( use ( 2.1 ) ) = 2 19 7 1 + α 1 + γ λ 1 = 2 19 7 1 + α c 1 2 .

Therefore, from (3.14), we infer that

0 ν 2 < 2 19 7 1 + α c 1 2 ( 1 + α ) .

As 1 1 + α c 1 2 < 1 < 1 + α c 1 2 1 + α , then we have

(3.15) 0 ν < ( 1 + α ) ( 2 19 8 ) .

Hence, we conclude that (3.8) possesses one real and two complex conjugate roots if the condition (3.9) holds. By following the same procedure as in [21,26], we can show that these roots are given by (3.11).

To prove (3.12), we apply the Routh and Hurwitz theorem. From Theorem 2.4 (iii) on p. 33 of [27], the polynomial p ( ϱ ) = ϱ 3 + a ϱ 2 + b ϱ + d , with real coefficients, is stable if and only if a > 0 , b > 0 , d > 0 and a b d > 0 . From the polynomial (3.8), we note that a = c n ( 1 + α c n 2 ) > 0 , b = ( 1 + α + ν 2 ) > 0 , d = c n > 0 . The last condition a b d = c n [ α + ν 2 + α c n 2 ( 1 + α + ν 2 ) ] > 0 since α , ν > 0 and c n > 0 for all n N .

Since under condition (3.9), the coefficients of the polynomial (3.8) satisfy these inequalities, we obtain e ϱ i ( n ) < 0 , i = 0 , 1 , 2 , n 1 .

It is well known that for Ω a bounded subset of R n , the eigenvalues of the Dirichlet problem,

Δ u = λ u , u Ω , u = 0 , u Ω ,

form an infinite sequence { λ n } such that λ n to as n .

Lemma 3.1

We suppose that condition (3.9) holds. The asymptotic expressions of the eigenvalues ϱ i ( n ) , i = 0 , 1 , 2 , n 1 , of (3.8) are given by

(3.16) ϱ 0 ( n ) = c n 2 3 ν 2 + 1 α 6 1 c n + O ( c n 2 ) , a s n , ϱ 1 ( n ) = 1 2 ( ν 2 + α ) 1 c n + 3 2 1 c n + ( ( α + ν 2 ) 2 + 6 α + 14 ν 2 + 4 ) 1 c n 2 + O ( c n 2 ) , a s n .

Proof

From (3.11), we have

(3.17) ϱ 0 ( n ) = 1 3 c n ( 1 + α c n 2 ) + C ( n ) + δ 0 ( n ) C ( n ) , ϱ 1 ( n ) = 1 3 c n ( 1 + α c n 2 ) 1 2 C ( n ) + δ 0 ( n ) C ( n ) + 3 2 C ( n ) δ 0 ( n ) C ( n ) .

The characteristic polynomial (3.8) p ( ϱ ) = ϱ 3 + a ϱ 2 + b ϱ + d , we note that a = c n ( 1 + α c n 2 ) > 0 , b = ( 1 + α + ν 2 ) > 0 , and d = c n > 0 and we set ϱ = ρ a 3 , (3.8) becomes

(3.18) ρ 3 + p n ρ + q n = 0 .

By setting

p n = 3 c n 2 ( 1 + α c n 2 ) 2 + 9 ( 1 + α + ν 2 ) = δ 0 3 , q n = 1 27 [ 2 c n 3 ( 1 + α c n 2 ) 3 9 c n ( 1 + α c n 2 ) ( 1 + α + ν 2 ) + 27 c n ] = δ 1 27 ,

the discriminant of (3.18) (or equivalently (3.8)) is given by

(3.19) Γ n = 4 p n 3 27 q n 2 = 108 q n 2 4 + p n 3 27 = 1 27 ( δ 1 2 ( n ) 4 δ 0 3 ( n ) ) = 4 c n 4 + c n 2 [ ( α + ν 2 ) ( α + ν 2 + 8 ) + 4 ( 3 ν 2 2 ) ] + [ 18 α ( 1 + α + ν 2 ) 12 α 2 + 2 α ( 1 + α + ν 2 ) 2 4 ( 1 + α + ν 2 ) 3 ] + c n 2 [ α 2 ( 1 + α + ν 2 ) 2 4 α 3 ] .

Using equations (3.10)3 and (3.19)3, we obtain

C ( n ) = 1 2 ( δ 1 ( n ) + 27 Γ n ) 3 , δ 0 ( n ) C ( n ) = 1 2 ( δ 1 ( n ) 27 Γ n ) 3 ,

which reads

(3.20) C ( n ) + δ 0 ( n ) C ( n ) = 1 2 ( δ 1 ( n ) + 27 Γ n ) 3 + 1 2 ( δ 1 ( n ) 27 Γ n ) 3 , C ( n ) δ 0 ( n ) C ( n ) = 1 2 ( δ 1 ( n ) + 27 Γ n ) 3 1 2 ( δ 1 ( n ) 27 Γ n ) 3 ,

where Γ n and δ 1 ( n ) are given by (3.13) and (3.10)2, respectively. Then, the asymptotic expressions of the eigenvalues ϱ i ( n ) , i = 0 , 1 , 2 , are given by the asymptotic expression of C ( n ) + δ 0 ( n ) C ( n ) and

(3.21) 27 Γ n = 108 c n 4 ( 1 Φ n ) ,

where

Φ n = c n 2 [ ( α + ν 2 ) ( α + ν 2 + 8 ) + 4 ( 3 ν 2 2 ) ] + c n 4 [ 18 α ( 1 + α + ν 2 ) 12 α 2 + 2 α ( 1 + α + ν 2 ) 2 4 ( 1 + α + ν 2 ) 3 ] + c n 6 [ α 2 ( 1 + α + ν 2 ) 2 4 α 3 ] .

Since Φ n tends to zero as n , we obtain

(3.22) 27 Γ n = 6 3 c n 2 1 1 2 ( α + ν 2 ) ( α + ν 2 + 8 ) + 2 ( 3 ν 2 2 ) 1 c n 2 + O ( c n 3 ) ,

and by (3.10)2,

(3.23) δ 1 ( n ) = 6 3 c n 2 1 3 3 c n + 6 α 3 ν 2 2 3 1 c n α 2 + 3 α + 3 α ν 2 2 3 1 c n 3 + α 3 3 3 1 c n 5 .

From equations (3.22) and (3.23), we obtain

(3.24) δ 1 ( n ) 27 Γ n = 2 c n 3 1 3 3 1 c n + A 1 c n 2 + B 1 c n 3 + O ( c n 3 ) , δ 1 ( n ) + 27 Γ n = 2 c n 3 1 + 3 3 1 c n + A 1 c n 2 B 1 c n 3 + O ( c n 3 ) ,

where

(3.25) A = 3 2 ( 6 α 3 ν 2 ) , B = 3 3 2 ( ( α + ν 2 ) ( α + ν 2 + 8 ) + 4 ( 3 ν 2 2 ) ) .

From (3.24)2, we note that

(3.26) δ 1 ( n ) + 27 Γ = 2 c n 3 [ 1 + Ψ ] ,

where

Ψ = 3 3 1 c n + A 1 c n 2 B 1 c n 3 + O ( c n 3 ) .

By setting n + , we have Ψ that tends to zero.

Hence, by (3.26), note that

(3.27) ( 1 + Ψ ) 1 3 = 1 + Ψ 3 Ψ 2 9 + O ( Ψ 2 ) .

Consequently, from (3.24), we obtain

(3.28) 1 2 ( δ 1 ( n ) + 27 Γ ) 3 = c n 1 + 3 1 c n + A 9 3 1 c n 2 B + 2 3 A 3 1 c n 3 + O ( c n 3 )

and

(3.29) 1 2 ( δ 1 ( n ) 27 Γ ) 3 = c n 1 3 1 c n + A 9 3 1 c n 2 + B + 2 3 A 3 1 c n 3 + O ( c n 3 ) .

By adding and subtracting equations (3.28) and (3.29), (3.20) becomes

(3.30) C ( n ) + δ 0 ( n ) C ( n ) = 2 c n + 2 A 9 3 1 c n + O ( c n 2 ) , C ( n ) δ 0 ( n ) C ( n ) = 2 3 1 c n 2 B + 2 3 A 3 1 c n 2 + O ( c n 2 ) .

By plugging (3.30)1 into (3.17)1, we obtain

σ 0 ( n ) = 1 3 c n ( 1 + α c n 2 ) + C ( n ) + δ 0 ( n ) C ( n ) = c n 1 3 2 3 ( A 9 ) + α 1 c n + O ( c n 2 ) = c n 2 3 ν 2 + 1 α 6 1 c n + O ( c n 2 ) .

Similarly, plugging (3.30)1,2 into (3.17)2 yields (3.16)2. Hence, the lemma is proved.□

In the following, we use Lemma 3.1 to show that e σ i ( n ) is strictly monotone.

Lemma 3.2

We suppose that condition (3.9) holds. Then, { e σ i ( n ) } n 1 is strictly decreasing with

(3.31) e σ i ( n ) < e σ i ( n 1 ) < < e σ i ( 1 ) < 0 .

Proof

We rewrite (3.5) into the form

(3.32) σ 3 + λ σ 2 ( 1 + α c 2 ) + λ 2 c 2 ( 1 + α + ν 2 ) σ + λ 3 c 2 = 0 .

Actually, σ = c 1 ( λ ) λ ϱ with c ( λ ) = 1 + γ λ for λ > 0 , i.e., c is a function of λ with c ( λ ) > 0 .

Let σ i ( λ ) C , i = 1 , 2 , 3 , denote the roots of (3.32) for arbitrary λ > 0 . To prove that the minimum of e σ i ( λ ) is attained at the smallest λ , for i = 1 , 2 , 3 , we need to show e σ i ( λ ) λ = e σ i ( λ ) λ 0 . To compute the later derivative, we apply the implicit function theorem to (3.32).

Since the dependence on λ in equation (3.32) is quite nontrivial, instead of considering σ i ( λ ) λ , one can adopt the equivalent equation (3.8) and prove ϱ i ( c ) c 0 for

(3.33) ϱ 3 + c ( 1 + α c 2 ) ϱ 2 + ( 1 + α + ν 2 ) ϱ + c = 0 .

Differentiating equation (3.33) with respect to c and letting ϱ = ϱ c , we obtain

3 ϱ 2 ϱ + ( 1 α c 2 ) ϱ 2 + 2 c ( 1 + α c 2 ) ϱ ϱ + ( 1 + α + ν 2 ) ϱ + 1 = 0 ,

or, solving for ϱ ,

(3.34) ϱ = 1 + ( 1 α c 2 ) ϱ 2 3 ϱ 2 + 2 c ( 1 + α c 2 ) ϱ + ( 1 + α + ν 2 ) .

One can easily verify that the denominator on the right-hand side of (3.34) cannot be 0. Indeed, recalling (3.33), we obtain the algebraic system for “unknown” ϱ

(3.35) ϱ 3 + c ( 1 + α c 2 ) ϱ 2 + ( 1 + α + ν 2 ) ϱ + c = 0 , 3 ϱ 2 + 2 c ( 1 + α c 2 ) ϱ + ( 1 + α + ν 2 ) = 0 .

Equations (3.35) are equivalent to saying that the polynomial P ( ϱ ) = ϱ 3 + c ( 1 + α c 2 ) ϱ 2 + ( 1 + α + ν 2 ) ϱ + c has a second-order zero (i.e., P ( ϱ ) = 0 , P ( ϱ ) = 0 ). But according to Proposition 3.1, we know it is impossible.

Hence, ϱ ( c ) is smooth for any c 1 . Furthermore, ϱ ( c ) can only be zero if the numerator on the right-hand side of (3.34) turns zero, which is equivalent to

1 + ( 1 α c 2 ) ϱ 2 = 0 .

We conclude

ϱ = ± c c 2 α ,

which is impossible according to condition (3.9) ( e ϱ < 0 ). Therefore, both e ϱ and m ϱ do not change their sign for c 1 . Hence, it suffices to prove ϱ ( 1 ) 0 . Plugging c = 1 into (3.33), solving it for ϱ = ϱ ( 1 ) , and plugging the result into (3.34), we will obtain e ϱ ( 1 ) 0 . Therefore, e ϱ ( c ) is monotonically decreasing for c 1 . Hence, e σ ( λ ) is monotonically decreasing as well.

From (3.17) and (3.20), we infer that

σ 0 ( n ) e σ 1 ( n ) = 1 6 ( C ( n ) + δ 0 ( n ) C ( n ) ) < 0 .

Using this together with the aforementioned results on the strictly monotocity of σ 0 ( λ ) and e σ 1 ( λ ) , we conclude (3.31) (see Lemma 2.7 of [21] for more details).□

Remark 3.2

Using same argument as in [21], one can prove that the supremum of n max i = 0 , 1 , 2 e σ i ( n ) over n 1 is attained at n = 1 . In fact, from (3.31), one can easily deduce that

(3.36) sup n 1 max i = 0 , 1 , 2 e σ i ( n ) = sup n 1 e σ 1 ( n ) = e σ 1 ( 1 ) < 0 .

4 Exponential decay of linear and uncontrolled problem

In this section, we study the exponential decay of the linear and uncontrolled problem ( u 1 = u 2 = f 1 = f 2 = 0 ). In this case, according to Lemma 2.2, the operator A defined by (2.12) generates a C 0 -semigroup of contractions { T ( t ) } t 0 = { e t A } t 0 . In view of (3.1), the C 0 -semigroup has the following representation:

(4.1) T ( t ) Z = n = 1 e A n t P n Z , t 0 , Z Z γ ,

where P n and A n are defined by (3.2) and (3.4), respectively.

Following the procedure from [28], one can prove

Lemma 4.1

The operator R n defined by (3.4) can be written as

R n = i = 0 2 σ i ( n ) q i n ,

where { q i n } i = 0 2 R 3 is a complete family of complementarily projections defined by

(4.2) q i n = k = 0 k i 2 R n σ k ( n ) I 3 σ i ( n ) σ k ( n ) = 1 ϒ ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 c n ( c n + ϱ i ) ν c n 1 ( c n + ϱ i ) ϱ i 2 + c n ϱ i ν c n 1 ϱ i ν ν c n ϱ i ϱ i 2 + α c n 1 ϱ i + 1 ,

where c n is defined by (3.6), σ i ( n ) is defined by (3.7), and

(4.3) ϒ = 3 ϱ i 2 + 2 ϱ i c n ( 1 + α c n 2 ) + ( 1 + α + ν 2 ) .

Moreover, we have

(4.4) e R n t = i = 0 2 e t σ i ( n ) q i n .

Remark 4.1

From (3.4) and (4.4), the family of linear operators given by (4.1) can be written as

(4.5) e A n t = i = 0 2 e t σ i ( n ) P n i , T ( t ) Z = n = 1 i = 0 2 e t σ i ( n ) P n i Z , Z Z γ ,

where

(4.6) P n i = q i n P n , i = 0 , 1 , 2 ,

is a complete family of orthogonal projections in Z γ .

Here, we are interested in determining explicitly the optimal decay rate of (1.1)–(1.3) when u 1 = u 2 = f 1 = f 2 = 0 .

Theorem 2

Let condition (3.9) holds, and then, the semigroup { T ( t ) } t 0 given by (4.1) decays exponentially to zero,

(4.7) T ( t ) N e μ 1 t , t 0 ,

where N is a positive constant and μ 1 is the optimal decay rate given by

(4.8) μ 1 = λ 1 3 1 + γ λ 1 1 + α + γ λ 1 1 + γ λ 1 C ( 1 ) 2 δ 0 ( 1 ) 2 C ( 1 ) < 0 .

Proof

Using P n 2 = P n , we obtain from (4.5) and (4.6)

(4.9) T ( t ) Z 2 n = 1 i = 0 2 e σ i ( n ) t q i n P n Z γ 2 P n Z Z γ 2 .

Consider Z = ( z 0 , z 1 , z 2 ) Z γ , such that Z Z γ = 1 , it follows from (2.6) that

z 0 X 2 = j = 1 E j z 0 2 1 , z 1 V γ 2 = j = 1 c j 2 E j z 1 2 1 , and z 2 X 2 = j = 1 E j z 2 2 1 ,

which immediately implies

(4.10) E j z 0 1 , c j E j z 1 1 , E j z 2 1 , j 1 .

From (3.2) and (4.2), we have for i = 1 , 2 , 3

e σ i ( n ) t q i n P n Z Z γ 2 = Λ ( ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 ) E n z 0 c n ( c n + ϱ i ) E n z 1 ν E n z 2 c n 1 ( c n + ϱ i ) E n z 0 + ( ϱ i 2 + c n ϱ i ) E n z 1 + ν c n 1 ϱ i E n z 2 ν E n z 0 ν c n ϱ i E n z 1 + ( ϱ i 2 + α c n 1 ϱ i + 1 ) E n z 2 Z γ 2 ,

where

(4.11) σ i ( n ) = c n 1 λ n ϱ i ( n ) and Λ = e 2 c n 1 λ n ϱ i ( n ) t ϒ .

Then, using (2.5) yields

e σ i ( n ) t q i n P n Z Z γ 2 = Λ ( ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 ) E n z 0 c n ( c n + ϱ i ) E n z 1 ν E n z 2 X 2 + Λ c n 1 ( c n + ϱ i ) E n z 0 + ( ϱ i 2 + c n ϱ i ) E n z 1 + ν c n 1 ϱ i E n z 2 V γ 2 + Λ ν E n z 0 ν c n ϱ i E n z 1 + ( ϱ i 2 + α c n 1 ϱ i + 1 ) E n z 2 X 2 .

Hence, from (2.3) and (2.6), we obtain

e σ i ( n ) t q i n P n Z Z γ 2 = Λ j = 1 E j ( ( ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 ) E n z 0 c n ( c n + ϱ i ) E n z 1 ν E n z 2 ) 2 + Λ j = 1 c j 2 E j ( c n 1 ( c n + ϱ i ) E n z 0 + ( ϱ i 2 + c n ϱ i ) E n z 1 + ν c n 1 ϱ i E n z 2 ) 2 + Λ j = 1 E j ( ν E n z 0 ν c n ϱ i E n z 1 + ( ϱ i 2 + α c n 1 ϱ i + 1 ) E n z 2 ) 2 .

Using the fact that { E n } is a complete family of orthogonal projections in Z γ , i.e.,

E j E n = E n , if  j = n , 0 , if  j n ,

we obtain

e σ i ( n ) t q i n P n Z Z γ 2 = Λ ( ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 ) E n z 0 c n ( c n + ϱ i ) E n z 1 ν E n z 2 2 + Λ c n 2 c n 1 ( c n + ϱ i ) E n z 0 + ( ϱ i 2 + c n ϱ i ) E n z 1 + ν c n 1 ϱ i E n z 2 2 + Λ ν E n z 0 ν c n ϱ i E n z 1 + ( ϱ i 2 + α c n 1 ϱ i + 1 ) E n z 2 2 .

Thus,

e σ i ( n ) t q i n P n Z Z γ 2 Λ ( ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 E n z 0 + c n + ϱ i c n E n z 1 + ν E n z 2 ) 2 + Λ ( c n + ϱ i E n z 0 + ϱ i 2 + c n ϱ i c n E n z 1 + ν ϱ i E n z 2 ) 2 + Λ ( ν E n z 0 + ν ϱ i c n E n z 1 + ϱ i 2 + α c n 1 ϱ i + 1 E n z 2 ) 2 .

From (4.10) and (4.11), the last inequality becomes

(4.12) e σ i ( n ) t q i n P n Z Z γ 2 ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 + c n + ϱ i + ν 3 ϱ i 2 + 2 ϱ i c n ( 1 + α c n 2 ) + 1 + α + ν 2 2 e 2 c n 1 λ n ϱ i ( n ) t + c n + ϱ i + ϱ i 2 + c n ϱ i + ν ϱ i 3 ϱ i 2 + 2 ϱ i c n ( 1 + α c n 2 ) + 1 + α + ν 2 2 e 2 c n 1 λ n ϱ i ( n ) t + ν + ν ϱ i + ϱ i 2 + α c n 1 ϱ i + 1 3 ϱ i 2 + 2 ϱ i c n ( 1 + α c n 2 ) + 1 + α + ν 2 2 e 2 c n 1 λ n ϱ i ( n ) t .

Now, we prove that each term between bracket is bounded by a constant, which does not depend on n . From (2.1) and (3.11), we have ϱ i = C i ( γ , ν , α ) λ n + O ( λ n ) for all i = 0 , 1 , 2 . So

(4.13) ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 = C i ( γ , ν , α ) λ n + O ( λ n ) , c n + ϱ i = C i ( γ , ν , α ) λ n + O ( λ n ) , 3 ϱ i 2 + 2 ϱ i c n ( 1 + α c n 2 ) + ( 1 + α + ν 2 ) = C i ( γ , ν , α ) λ n + O ( λ n ) ,

where all the constants C i appearing in (4.13) are generic. Consequently,

ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 + c n + ϱ i + ν 3 ϱ i 2 + 2 ϱ i c n ( 1 + α c n 2 ) + 1 + α + ν 2 C i ( γ , ν , α ) + O ( 1 ) .

We obtain the same estimation for the second and third terms between brackets in (4.12). Thus,

e σ i ( n ) t q i n P n Z Z γ 2 C i ( γ , ν , α ) e 2 c n 1 λ n ϱ i ( n ) t , t 0 , i = 0 , 1 , 2 .

Therefore,

(4.14) i = 0 2 e σ i ( n ) t q i n P n Z γ N e μ 1 t , t 0 ,

where

(4.15) N = max i = 0 , 1 , 2 C i ( γ , ν , α ) 0 ,

and from (4.11)1 and Lemma 3.2, we have

μ 1 = sup n 1 max i = 0 , 1 , 2 e σ i ( n ) = max i = 0 , 1 , 2 e σ i ( 1 ) < 0 .

By (3.7) and (3.11), we obtain

μ 1 = λ 1 3 1 + γ λ 1 min i = 0 , 1 , 2 e 1 + α + γ λ 1 1 + γ λ 1 + C ( 1 ) e 2 i π 3 + δ 0 ( 1 ) C ( 1 ) e 2 i π 3 .

According to Remark 3.2, the minimum of the last expression is given by i = 0 , and consequently, (4.8) follows. We conclude from (4.14) and (4.9) that

T ( t ) Z 2 N 2 e 2 μ 1 t n = 1 P n Z 2 .

Finally, following [28], we obtain

n = 1 P n Z 2 = Z Z γ 2 .

Therefore (4.7) follows immediately.□

5 Exact controllability of the nonlinear problem

In this section, we show the exact controllability of the nonlinear problem (2.7), where the controls U = ( u 1 , u 2 ) Y act on the whole domain. In this case, the nonlinear problem (2.7) has a unique mild solution given by (2.14).

Now, we are going to give the definition of the exact controllability [20,22].

Definition 5.1

We say that the nonlinear system (2.7) is exact controllable on [ 0 , τ ] ; if for all Z 0 , Z 1 Z γ there exists a control U Y such that the solution Z ( t ) given by (2.14) satisfies

Z ( τ ) = Z 1 .

Following the standard approach (see, e.g., [20]), we define the following concepts:

  1. The linear controllability mapping G : Y Z γ

    (5.1) G U = 0 τ T ( τ s ) B U ( s ) d s ,

    whose adjoint operator G : Z γ Y , is given by

    (5.2) ( G Z ) ( s ) = B T ( τ s ) Z , s [ 0 , τ ] , Z Z γ .

  2. The nonlinear controllability mapping G F : Y Z γ given by

    (5.3) G F U = G U + 0 t T ( t s ) F ( s , Z ( s ) , U ( s ) ) d s ,

    where Z ( t ) = Z ( t , Z 0 , U ( t ) ) is given by (2.14).

  3. The Gramian mapping W : Z γ Z γ is given by W = G G , that is to say

    (5.4) W ( τ ) Z = ( G G Z ) ( τ ) = 0 τ T ( s ) B B * T ( s ) Z d s .

Following the same argument presented in [21], we obtain from (5.4) and the representation (4.1) of T ( t ) that

(5.5) W ( τ ) Z = n = 1 W n ( τ ) P n Z ,

where W n ( τ ) : R ( P n ) R ( P n ) is defined by

(5.6) W n ( τ ) = 0 τ e A n s B B * e A n * s d s = P n B n ( τ ) P n ,

while R ( P n ) = Range ( P n ) and

(5.7) B n ( τ ) = 0 τ e R n s B B * e R n * s d s .

Remark 5.1

  1. Curtain and Zwart [20] proved the equivalence between the exact controllability of the linear problem

    (5.8) d Z d t = A Z + B U , Z ( 0 ) = Z 0 ,

    and the surjectivity of the linear controllability mapping G given by (5.1).

  2. Carrasco et al. [19] generalized this equivalence to the nonlinear case. They proved the equivalence between the exact controllability of the nonlinear problem (2.7) and the surjectivity of the nonlinear controllability mapping G F given by (5.3).

Recalling that L < 1 , where L is the Lipschitz constant of the function F (2.10), we state the main result of this section.

Theorem 3

Let condition (3.9) hold and τ 0 be a positive number satisfying

(5.9) τ 0 e τ 0 < 1 L

and τ τ 0 , then the nonlinear problem (2.7) is exact controllable on [ 0 , τ ] .

To show that the nonlinear controllability mapping G F (defined by (5.3)) is surjective, we need first to prove that the linear controllability mapping G (defined by (5.1)) is surjective. According to Curtain and Zwart [20], this is equivalent to the exact controllability of the linear problem (5.8). Moreover, we have the following result proved in [19,20].

Lemma 5.1

The linear problem (5.8) is exact controllable on [ 0 , τ ] if and only if the operator W given by (5.4) is continuous invertible.

The following result, which can be shown by using the same argument used in [21], proves to be useful in showing the continuous invertibility of W given by (5.4).

Lemma 5.2

Let condition (3.9) hold. Then,

  1. there exists a positive constant Λ 2 depending on ν , α , and γ such that

    (5.10) W ( τ ) Λ 2 ( ν , γ , α ) .

  2. Moreover, the operator W is invertible in Z γ , and its inverse W 1 ( τ ) : Z γ Z γ is defined by

    (5.11) W 1 ( τ ) Z = n = 1 1 Ξ n i = 0 2 b i 1 c n 1 b i 2 b i 3 c n b i 2 b i 4 c n b i 5 b i 3 c n 1 b i 5 b i 6 P n Z ,

    where

    (5.12) Ξ n = i = 0 2 e 2 τ σ i ( n ) 1 2 σ i ( n ) ( a i 1 a i 4 a i 6 a i 1 a i 5 2 a i 6 a i 2 2 a i 4 a i 3 2 2 a i 2 a i 3 a i 5 ) , n 1 ,

    and

    (5.13) b i 1 = a i 5 2 + a i 4 a i 6 , b i 2 = a i 2 a i 6 + a i 5 a i 3 , b i 3 = a i 2 a i 5 a i 3 a i 4 , b i 4 = a i 6 a i 1 a i 3 2 , b i 5 = a i 1 a i 5 + a i 2 a i 3 , b i 6 = a i 2 2 + a i 1 a i 4 ,

    (5.14) a i 1 = ( Θ i 2 2 J γ + Θ i 3 2 ) , a i 2 = ( Θ i 4 Θ i 2 J γ + Θ i 5 Θ i 3 ) , a i 3 = ( Θ i 5 Θ i 2 J γ + Θ i 6 Θ i 3 ) , a i 4 = ( Θ i 4 2 J γ + Θ i 5 2 ) , a i 5 = ( Θ i 4 Θ i 5 J γ Θ i 5 Θ i 6 ) , a i 6 = ( Θ i 5 2 J γ + Θ i 6 2 ) ,

    (5.15) Θ i 1 = 1 ϒ ( ϱ i 2 + c n ϱ i ( 1 + α c n 2 ) + α + ν 2 ) , Θ i 2 = 1 ϒ ( c n + ϱ i ) , Θ i 3 = ν ϒ , Θ i 4 = 1 ϒ ( ϱ i 2 + c n ϱ i ) , Θ i 5 = ν ϱ i ϒ , and Θ i 6 = 1 ϒ ( ϱ i 2 + α c n 1 ϱ i + 1 ) .

Remark 5.2

  1. From Lemma 5.1, one deduce that the linear problem (5.8) is exact controllable on [ 0 , τ ] , which implies that the operator G is surjective (according to Curtain and Zwart [20]).

  2. For τ 0 , the operator W is nonnegative ( W 0 ) , and hence,

    (5.16) ( ω , W ) = ( ω I + W ) 1

    is the well-defined bounded linear operator for all τ 0 and ω > 0 . ( ω , W ) is called the resolvent of W . If W > 0 , then ( ω , W ) is defined for ω = 0 as well. Then, for all Z Z γ and ω 0 ,

    Z , ( ω I + W ) Z ( ω + k ) Z 2 ,

    where k > 1 is a constant. Therefore,

    ( ω , W ) = ( ω I + W ) 1 1 ω + k 1 k .

    We obtain that ( ω , W ) is bounded with respect to ω . Furthermore,

    ( ω , W ) W 1 = ( ω I + W ) 1 W 1 = W 1 ( W ω I W ) ( ω I + W ) 1 ω W 1 ( ω I + W ) 1 ω k 2 .

    Thus, the operator ( ω , W ) converges to the operator W 1 as ω 0 . Consequently, as ω 0 , we have

    (5.17) W 1 Z γ 1 .

We need the following result to prove Theorem 3.

Lemma 5.3

Let τ > 0 and Z 1 , Z 2 be the solutions to problem (2.7) given by (2.14) corresponding to the control functions U 1 , U 2 Y , respectively. Then, the following estimate holds:

(5.18) Z 1 ( t ) Z 2 ( t ) Z γ Γ ( τ ) U 1 U 2 Y ,

where t [ 0 , τ ] and

(5.19) Γ ( τ ) = ( 1 + L ) τ e L τ .

Proof

Let Z 1 and Z 2 be the solutions to problem (2.7) given by (2.14) corresponding to U 1 and U 2 , respectively. Then,

(5.20) Z 1 ( t ) Z 2 ( t ) Z γ 0 t T ( t s ) B U 1 ( s ) U 2 ( s ) d s + 0 t T ( t s ) F ( s , Z 1 ( s ) , U 1 ( s ) ) F ( s , Z 2 ( s ) , U 2 ( s ) ) d s ( use ( 2.10 ) ) sup 0 s t τ { T ( t s ) } B 0 t U 1 ( s ) U 2 ( s ) d s + L 0 t { Z 1 ( s ) Z 2 ( s ) + U 1 ( s ) U 2 ( s ) } d s ( use ( 0 t τ ) ) sup 0 s t τ { T ( τ s ) } ( B + L ) 0 τ U 1 ( s ) U 2 ( s ) d s + L 0 τ Z 1 ( s ) Z 2 ( s ) d s .

According to Lemmas 2.1 and 2.2, we obtain

(5.21) Z 1 ( t ) Z 2 ( t ) Z γ ( 1 + L ) 0 τ U 1 ( s ) U 2 ( s ) d s + L 0 τ Z 1 ( s ) Z 2 ( s ) d s .

Using the Cauchy-Schwartz inequality, we obtain

Z 1 ( t ) Z 2 ( t ) Z γ ( 1 + L ) 0 τ d s 1 2 0 τ U 1 ( s ) U 2 ( s ) 2 d s 1 2 + L 0 τ Z 1 ( s ) Z 2 ( s ) d s ( 1 + L ) τ U 1 U 2 + L 0 τ Z 1 ( s ) Z 2 ( s ) d s .

Using Gronwall’s inequality, we obtain

Z 1 ( t ) Z 2 ( t ) Z γ ( 1 + L ) τ e L τ U 1 U 2 Y .

Now, we are ready to prove the main result of this section.

Proof of Theorem 3

Recall that according to the first assertion of Remark 5.2, the operator G is surjective. Thus, given Z Z γ , there exists a control U L 2 ( 0 , τ ; L 2 ( Ω ) ) such that

(5.22) G U = Z .

Since W = G G is invertible, G is injective and consequently, the operator G is injective. Hence, G is invertible. Combining (5.2) and (5.4), the inverse of G can be expressed as

(5.23) G 1 = G ( G G ) 1 = G W 1 .

Our goal is to prove the surjectivity of G F . First, showing that the following mapping G ˜ F : Z γ Z γ defined by

G ˜ F = G F G 1

is surjective. Using (5.3), the operator G ˜ F can be written as

(5.24) G ˜ F ξ = G F G 1 ξ = ξ + K ξ , for 0 t τ and ξ Z γ ,

where the operator K : Z γ Z γ is defined by

(5.25) K ξ = 0 τ T ( τ s ) F ( s , Z ξ ( s ) , G 1 ξ ( s ) ) d s ,

with Z = Z ξ being the solution given by (2.14) corresponding to the control U defined by

(5.26) U ( t ) = ( G 1 ξ ) ( t ) = G ( G G ) 1 ξ = G W 1 ξ = B * T * ( τ t ) W 1 ξ , t [ 0 , τ ] .

To show the surjectivity of G ˜ F , we need to show that K defined by (5.25) is a contraction operator. For this, let us suppose that Z 1 and Z 2 are the solutions to (2.7) corresponding to the controls U 1 ( s ) = G 1 ξ 1 ( s ) and U 2 ( s ) = G 1 ξ 2 ( s ) , respectively. Then, using (2.10) and Lemma 2.2, we obtain

(5.27) K ξ 1 K ξ 2 0 τ T ( τ s ) F ( s , Z 1 ( s ) , ( G 1 ξ 1 ) ( s ) ) F ( s , Z 2 ( s ) , ( G 1 ξ 2 ) ( s ) ) d s L 0 τ ( Z 1 ( s ) Z 2 ( s ) + ( G 1 ξ 1 ) ( s ) ( G 1 ξ 2 ) ( s ) ) d s .

The last integral in (5.27) can be written as follows:

(5.28) 0 τ ( Z 1 ( s ) Z 2 ( s ) + ( G 1 ξ 1 ) ( s ) ( G 1 ξ 2 ) ( s ) ) d s = 0 τ Z 1 ( s ) Z 2 ( s ) d s + 0 τ U 1 ( s ) U 2 ( s ) d s ( use ( 5.18 ) ) τ Γ ( τ ) U 1 U 2 + 0 τ U 1 ( s ) U 2 ( s ) d s ,

where Γ ( τ ) is given by (5.19). By the Cauchy-Schwartz inequality, the last integral in (5.28) becomes

(5.29) 0 τ U 1 ( s ) U 2 ( s ) d s 0 τ d s 1 2 0 τ U 1 ( s ) U 2 ( s ) 2 d s 1 2 τ U 1 U 2 .

Plugging (5.29) and (5.28) into (5.27), we obtain

(5.30) K ξ 1 K ξ 2 L τ ( τ Γ ( τ ) + 1 ) U 1 U 2 ( use ( 5.26 ) ) L τ ( τ Γ ( τ ) + 1 ) B * T * ( τ s ) W 1 ξ 1 ξ 2 L τ ( τ Γ ( τ ) + 1 ) sup 0 s t τ { T ( t s ) } B * W 1 ξ 1 ξ 2 .

As ( T ( t ) ) t 0 is a semigroup of contractions (Remark 2.2) and using (5.17) and (2.18), (5.30) becomes

(5.31) K ξ 1 K ξ 2 L τ ( τ Γ ( τ ) + 1 ) ξ 1 ξ 2 .

Therefore, K is the Lipschitz operator with a Lipschitz constant

(5.32) L K = L τ ( τ Γ ( τ ) + 1 ) ( use ( 5.26 ) ) = τ L e L τ ( e L τ + τ ( 1 + L ) ) .

As τ e τ < 1 L , we have

τ L e L τ < e ( L 1 ) τ .

Using L < 1 , (5.32) becomes

(5.33) L K < e ( L 1 ) τ ( e L τ + τ ( 1 + L ) ) .

Hence, L K < 1 for τ satisfying τ e τ < 1 L .

Now, we are ready to prove the surjectivity of G ˜ F . For any y Z γ , we define the mapping φ y : Z γ Z γ by

(5.34) φ y ξ = y K ξ .

Then, for any ξ 1 , ξ 2 Z γ , we have

φ y ξ 1 φ y ξ 2 = K ξ 2 K ξ 1 L K ξ 1 ξ 2 .

As L K < 1 , then φ y is a contraction, i.e, there exists ξ y * Z γ such that φ y ξ y * = ξ y * . So, for any y Z γ , we infer from (5.34) that

φ y ξ y * = ξ y * = y K ξ y *

and y = ξ y * + K ξ y * = G ˜ F ξ y * . Thus, for any y Z γ , there exists ξ y * Z γ , such that G ˜ F ξ y * = y = ξ y * + K ξ y * .

Hence, G ˜ F is surjective. Using (5.23), the operator G F can be written as

G F = G ˜ F G ,

which implies the surjectivity of G F (as being composed of two surjective operators), that is to say

G F ( L 2 ( 0 , τ ; L 2 ( Ω ) ) ) = R ( G F ) = Z γ .

Thus, according to the second assertion of Remark 5.1, the nonlinear problem (2.7) is exact controllable on [ 0 , τ ] .□

Finally, we give the explicit form of the distributed controls U = ( u 1 , u 2 ) of problem (2.7) acting on the whole domain.

Theorem 4

Under the assumptions of Theorem 3, given Z Z γ , the distributed controls of problem (2.7) are given by

(5.35) U ( t ) = k = 1 n k = 1 p i = 0 2 e ( τ t ) σ i ( k ) Ξ k d i 1 k d i 2 k d i 3 k d i 4 k d i 5 k d i 6 k P k ( I + K ) 1 Z , t [ 0 , τ ] ,

where Ξ k is defined by (5.12) and

(5.36) d i 1 k = c k 1 Θ i 2 b i 1 + c k Θ i 4 b i 2 c k 1 Θ i 5 b i 3 , d i 2 k = c k 2 Θ i 2 b i 2 + Θ i 4 b i 4 + c k 2 Θ i 5 b i 5 , d i 3 k = c k 1 Θ i 2 b i 3 + c k Θ i 4 b i 5 c k 1 Θ i 5 b i 6 , d i 4 k = Θ i 3 b i 1 c k 2 Θ i 5 b i 2 + Θ i 6 b i 3 , d i 5 k = c k 1 Θ i 3 b i 2 + c k Θ i 5 b i 4 c k 1 Θ i 6 b i 5 , d i 6 k = Θ i 3 b i 3 + c k 2 Θ i 5 b i 5 + Θ i 6 b i 6 .

Proof

By virtue of Theorem 3, given Z Z γ there exists a control U L 2 ( 0 , τ ; L 2 ( Ω ) ) such that

(5.37) G F U = Z .

We claim that the operator G F is invertible. Using (5.24))1 it is sufficient to prove that the operator G ˜ F is invertible. Since we have already proved that G ˜ F is surjective, it remains to show that G ˜ F is injective. For this, let us suppose that ξ 1 , ξ 2 Z γ such that G ˜ F ξ 1 = G ˜ F ξ 2 . Then, using (5.24)2 we obtain ξ 1 + K ξ 1 = ξ 2 + K ξ 2 , where K is defined by (5.25). This implies

ξ 1 ξ 2 = K ξ 2 K ξ 1 L K ξ 1 ξ 2 .

Hence, ( 1 L K ) ξ 1 ξ 2 0 , and as ( 1 L K ) > 0 , then ξ 1 = ξ 2 . Thus, G ˜ F is injective, and consequently, the operator G F is invertible.

Hence, from (5.37), the control U can be expressed as

(5.38) U ( t ) = G F 1 Z = ( G ˜ F G ) 1 Z = G 1 G ˜ F 1 Z ( use ( 5.24 ) and G 1 = G W 1 ) = G W 1 ( I + K ) 1 Z ( use ( 5.2 ) ) = B T ( τ s ) W 1 ( I + K ) 1 Z .

Following the same argument presented in [21], we find that the control U is given by (5.35) and (5.36).□

6 Conclusion

In this work, and through a simple, powerful, and systematic approach based on the spectral analysis of semigroups, we prove the exponential stability and the exact controllability for a thermoviscoelastic plate system given by (1.1)–(1.3). Moreover, we provide the explicit expressions of the optimal decay rate and the distributed controls by the physical constants of the system. In fact, these expressions have never been given explicitly in the literature. The spirit of this approach is very different from the traditional methods used to study these topics for thermoviscoelastic plate. But our approach is more detailed and complete since it is based on the explicit expressions of the eigenvalues of the corresponding linear operator. Therefore, our spectral analysis gives more precise bounds and explicit expressions of the optimal decay rate and distributed controls.

Acknowledgments

This study is supported via funding from Prince Sattam bin Abdulaziz University project number (PSAU/2024/R/1446).

  1. Funding information: This study was supported via funding from Prince Sattam bin Abdulaziz University Project Number (PSAU/2024/R/1446).

  2. Author contributions: All authors have contributed equally.

  3. Conflict of interest: The authors state no conflict of interest.

  4. Ethical approval: The conducted research is not related to either human or animal use.

  5. Data availability statement: Data sharing not applicable to this article as no data sets were generated or analysed during the current study.

References

[1] I. Lasiecka and R. Triggiani, Exact null controllability of structurally damped and thermoelastic parabolic models, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 9 (1998), no. 1, 43–69. Search in Google Scholar

[2] G. Avalos, Exact controllability of a thermo elastic system with control in the thermal component only, Differential Integral Equations 13 (2000), no. 4–6, 613–630, https://doi.org/10.57262/die/1356061241. Search in Google Scholar

[3] A. Benabdallah and M. G. Naso, Null controllability of a thermo elastic plate, Abstr. Appl. Anal. 7 (2002), no. 11, 585–599, https://doi.org/10.1155/S108533750220408X. Search in Google Scholar

[4] G. Lebeau and L. Robbiano, Exact control of the heat equation, Comm. Partial Differential Equations 20 (1995), no. 1–2, 335–356, https://doi.org/10.1080/03605309508821097. Search in Google Scholar

[5] L. Teresa and E. Zuazua, Controllability of the linearsystem of thermoelastic plates, Adv. Differential Equations 1 (1996), no. 3, 369–402, https://doi.org/10.57262/ade/1366896044. Search in Google Scholar

[6] H. Leiva and H. Zambrano, Rank condition for the controllability of a linear time-varying system, Internat. J. Control 72 (1999), no. 10, 929–931, https://doi.org/10.1080/002071799220669. Search in Google Scholar

[7] S. K. Chang and R. Triggiani, Spectral Analysis of Thermoelastic Plates, Optimal Control: Theory, Algorithms and Applications, Springer, Kluwer, 1998. 10.1007/978-1-4757-6095-8_5Search in Google Scholar

[8] R. Triggiani and J. Zhang, Heat-viscoelastic plate interaction: Analyticity, spectral analysis, exponential decay, Evol. Equ. Control Theory 7 (2018), no. 1, 153–182, https://doi.org/10.3934/eect.2018008. Search in Google Scholar

[9] I. Lasiecka and T. Seidman, Blowup estimates for observability of a thermoelastic system, Asymptot. Anal. 50 (2006), no. 1–2, 93–120, https://content.iospress.com/articles/asymptotic-analysis/asy789. Search in Google Scholar

[10] C. Castro and L. Teresa, Null controllability of the linear system of thermoelastic plates, Aust. J. Math. Anal. Appl. 428 (2015), no. 2, 772–793, https://doi.org/10.1016/j.jmaa.2015.03.014. Search in Google Scholar

[11] S. Hansen and B. Y. Zhang, Boundary controllability of a linear thermoelastic beam, Aust. J. Math. Anal. Appl. 210 (1997), no. 1, 282–205, https://doi.org/10.1006/jmaa.1997.5437. Search in Google Scholar

[12] M. Eller, I. Lasiecka, and R. Triggiani, Simultaneous exact/approximate boundary controllability of thermo-elastic plates with variable thermal coefficient and moment control, Aust. J. Math. Anal. Appl. 251 (2000), no. 2, 452–478, https://doi.org/10.1006/jmaa.2000.7015. Search in Google Scholar

[13] M. Eller, I. Lasiecka, and R. Triggiani, Exact/approximate controllability of thermoelastic plates with variable thermal coefficients, Discrete Contin. Dyn. Syst. 7 (2001), no. 2, 283–302, https://doi.org/10.3934/dcds.2001.7.283. Search in Google Scholar

[14] F. Yang and P. Yao, Boundary controllability of a thermo elastic plate, 2016 35th Chinese Control Conference (CCC), 2016, pp. 1317–1322, https://doi.org/10.1109/chicc.2016.7553271. Search in Google Scholar

[15] G. Avalos and I. Lasiecka, The null controllability of thermoelastic plates and singularity of the associated minimal energy function, Aust. J. Math. Anal. Appl. 294 (2004), no. 1, 34–61, https://doi.org/10.1016/j.jmaa.2004.01.035. Search in Google Scholar

[16] H. Leiva, Controllability of the strongly damped wave equation with impulsesand delay, Nonauton. Dyn. Syst. 4 (2017), no. 1, 31–39, https://doi.org/10.1515/msds-2017-0004. Search in Google Scholar

[17] H. Leiva, Exact controllability of semilinear evolution equation and applications, Int. J. Syst. Control Commun. 1 (2008), no. 1, 1–12, https://doi.org/10.1504/IJSCC.2008.019580. Search in Google Scholar

[18] H. Leiva, Exact controllability of the suspension bridge model proposed by Lazer and McKenna, Aust. J. Math. Anal. Appl. 309 (2005), no. 2, 404–419, https://doi.org/10.1016/j.jmaa.2004.07.025. Search in Google Scholar

[19] A. Carrasco, H. Leiva, and J. Uzcátegui, Controllability of Semilinear Evolution Equations, Caracas, Venezuela, ISBN 978-980-261-162-1, 2015. 10.1155/2015/797439Search in Google Scholar

[20] R. Curtain and H. Zwart, An Introduction to Infinite-Dimensional Linear Systems Theory, vol. 21, Springer, New York, 1995. 10.1007/978-1-4612-4224-6Search in Google Scholar

[21] M. Aouadi and T. Moulahi, The controllability of a thermo elastic plate problem revisited, Evol. Equ. Control Theory 7 (2018), no. 2, 1–31, https://doi.org/10.3934/eect.2018001. Search in Google Scholar

[22] R. Curtain and A. Pritchard, Infinite Dimensional Linear Systems, Lecture Notes in Control and Information Sciences, Springer, Berlin, 1978. 10.1007/BFb0006761Search in Google Scholar

[23] M. Aouadi, I. Mahfoudhi, and T. Moulahi, Boundary stabilization of a thermoelastic diffusion system of type II, Acta Appl. Math. 169 (2020), no. 2, 1–24, https://doi.org/10.1007/s10440-019-00308-7. Search in Google Scholar

[24] A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, Springer Science & Business Media, Berlin, 1983. 10.1007/978-1-4612-5561-1Search in Google Scholar

[25] W. Press, S. Teukolsky, W. Vetterling, and B. Flannery, Numerical Recipes in Fortran 77, Citeseer by the Press Syndicate of the University, Cambridge, 1997. Search in Google Scholar

[26] D. Ya. Khusainov and M. Pokojovy, Solving the linear 1D thermoelasticity equations with pure delay, Int. J. Math. Sci. 2015 (2015), 1–12, https://doi.org/10.1155/2015/479267. Search in Google Scholar

[27] J. Zabczyk, Mathematical Control Theory: An Introduction, Reprint of the 1995 edition, Birkhäuser, USA, 1995.Search in Google Scholar

[28] M. Aouadi and T. Moulahi, Approximate controllability of abstract nonsimple thermoelastic problem, Evol. Equ. Control Theory 4 (2015), no. 2, 373–389, https://doi.org/10.3934/eect.2015.4.373. Search in Google Scholar

Received: 2024-01-12
Revised: 2024-05-04
Accepted: 2024-07-20
Published Online: 2024-11-26

© 2024 the author(s), published by De Gruyter

This work is licensed under the Creative Commons Attribution 4.0 International License.

Articles in the same Issue

  1. Regular Articles
  2. On the p-fractional Schrödinger-Kirchhoff equations with electromagnetic fields and the Hardy-Littlewood-Sobolev nonlinearity
  3. L-Fuzzy fixed point results in -metric spaces with applications
  4. Solutions of a coupled system of hybrid boundary value problems with Riesz-Caputo derivative
  5. Nonparametric methods of statistical inference for double-censored data with applications
  6. LADM procedure to find the analytical solutions of the nonlinear fractional dynamics of partial integro-differential equations
  7. Existence of projected solutions for quasi-variational hemivariational inequality
  8. Spectral collocation method for convection-diffusion equation
  9. New local fractional Hermite-Hadamard-type and Ostrowski-type inequalities with generalized Mittag-Leffler kernel for generalized h-preinvex functions
  10. On the asymptotics of eigenvalues for a Sturm-Liouville problem with symmetric single-well potential
  11. On exact rate of convergence of row sequences of multipoint Hermite-Padé approximants
  12. The essential norm of bounded diagonal infinite matrices acting on Banach sequence spaces
  13. Decay rate of the solutions to the Cauchy problem of the Lord Shulman thermoelastic Timoshenko model with distributed delay
  14. Enhancing the accuracy and efficiency of two uniformly convergent numerical solvers for singularly perturbed parabolic convection–diffusion–reaction problems with two small parameters
  15. An inertial shrinking projection self-adaptive algorithm for solving split variational inclusion problems and fixed point problems in Banach spaces
  16. An equation for complex fractional diffusion created by the Struve function with a T-symmetric univalent solution
  17. On the existence and Ulam-Hyers stability for implicit fractional differential equation via fractional integral-type boundary conditions
  18. Some properties of a class of holomorphic functions associated with tangent function
  19. The existence of multiple solutions for a class of upper critical Choquard equation in a bounded domain
  20. On the continuity in q of the family of the limit q-Durrmeyer operators
  21. Results on solutions of several systems of the product type complex partial differential difference equations
  22. On Berezin norm and Berezin number inequalities for sum of operators
  23. Geometric invariants properties of osculating curves under conformal transformation in Euclidean space ℝ3
  24. On a generalization of the Opial inequality
  25. A novel numerical approach to solutions of fractional Bagley-Torvik equation fitted with a fractional integral boundary condition
  26. Holomorphic curves into projective spaces with some special hypersurfaces
  27. On Periodic solutions for implicit nonlinear Caputo tempered fractional differential problems
  28. Approximation of complex q-Beta-Baskakov-Szász-Stancu operators in compact disk
  29. Existence and regularity of solutions for non-autonomous integrodifferential evolution equations involving nonlocal conditions
  30. Jordan left derivations in infinite matrix rings
  31. Nonlinear nonlocal elliptic problems in ℝ3: existence results and qualitative properties
  32. Invariant means and lacunary sequence spaces of order (α, β)
  33. Novel results for two families of multivalued dominated mappings satisfying generalized nonlinear contractive inequalities and applications
  34. Global in time well-posedness of a three-dimensional periodic regularized Boussinesq system
  35. Existence of solutions for nonlinear problems involving mixed fractional derivatives with p(x)-Laplacian operator
  36. Some applications and maximum principles for multi-term time-space fractional parabolic Monge-Ampère equation
  37. On three-dimensional q-Riordan arrays
  38. Some aspects of normal curve on smooth surface under isometry
  39. Mittag-Leffler-Hyers-Ulam stability for a first- and second-order nonlinear differential equations using Fourier transform
  40. Topological structure of the solution sets to non-autonomous evolution inclusions driven by measures on the half-line
  41. Remark on the Daugavet property for complex Banach spaces
  42. Decreasing and complete monotonicity of functions defined by derivatives of completely monotonic function involving trigamma function
  43. Uniqueness of meromorphic functions concerning small functions and derivatives-differences
  44. Asymptotic approximations of Apostol-Frobenius-Euler polynomials of order α in terms of hyperbolic functions
  45. Hyers-Ulam stability of Davison functional equation on restricted domains
  46. Involvement of three successive fractional derivatives in a system of pantograph equations and studying the existence solution and MLU stability
  47. Composition of some positive linear integral operators
  48. On bivariate fractal interpolation for countable data and associated nonlinear fractal operator
  49. Generalized result on the global existence of positive solutions for a parabolic reaction-diffusion model with an m × m diffusion matrix
  50. Online makespan minimization for MapReduce scheduling on multiple parallel machines
  51. The sequential Henstock-Kurzweil delta integral on time scales
  52. On a discrete version of Fejér inequality for α-convex sequences without symmetry condition
  53. Existence of three solutions for two quasilinear Laplacian systems on graphs
  54. Embeddings of anisotropic Sobolev spaces into spaces of anisotropic Hölder-continuous functions
  55. Nilpotent perturbations of m-isometric and m-symmetric tensor products of commuting d-tuples of operators
  56. Characterizations of transcendental entire solutions of trinomial partial differential-difference equations in ℂ2#
  57. Fractional Sturm-Liouville operators on compact star graphs
  58. Exact controllability for nonlinear thermoviscoelastic plate problem
  59. Improved modified gradient-based iterative algorithm and its relaxed version for the complex conjugate and transpose Sylvester matrix equations
  60. Superposition operator problems of Hölder-Lipschitz spaces
  61. A note on λ-analogue of Lah numbers and λ-analogue of r-Lah numbers
  62. Ground state solutions and multiple positive solutions for nonhomogeneous Kirchhoff equation with Berestycki-Lions type conditions
  63. A note on 1-semi-greedy bases in p-Banach spaces with 0 < p ≤ 1
  64. Fixed point results for generalized convex orbital Lipschitz operators
  65. Asymptotic model for the propagation of surface waves on a rotating magnetoelastic half-space
  66. Multiplicity of k-convex solutions for a singular k-Hessian system
  67. Poisson C*-algebra derivations in Poisson C*-algebras
  68. Signal recovery and polynomiographic visualization of modified Noor iteration of operators with property (E)
  69. Approximations to precisely localized supports of solutions for non-linear parabolic p-Laplacian problems
  70. Solving nonlinear fractional differential equations by common fixed point results for a pair of (α, Θ)-type contractions in metric spaces
  71. Pseudo compact almost automorphic solutions to a family of delay differential equations
  72. Periodic measures of fractional stochastic discrete wave equations with nonlinear noise
  73. Asymptotic study of a nonlinear elliptic boundary Steklov problem on a nanostructure
  74. Cramer's rule for a class of coupled Sylvester commutative quaternion matrix equations
  75. Quantitative estimates for perturbed sampling Kantorovich operators in Orlicz spaces
  76. Review Articles
  77. Penalty method for unilateral contact problem with Coulomb's friction in time-fractional derivatives
  78. Differential sandwich theorems for p-valent analytic functions associated with a generalization of the integral operator
  79. Special Issue on Development of Fuzzy Sets and Their Extensions - Part II
  80. Higher-order circular intuitionistic fuzzy time series forecasting methodology: Application of stock change index
  81. Binary relations applied to the fuzzy substructures of quantales under rough environment
  82. Algorithm selection model based on fuzzy multi-criteria decision in big data information mining
  83. A new machine learning approach based on spatial fuzzy data correlation for recognizing sports activities
  84. Benchmarking the efficiency of distribution warehouses using a four-phase integrated PCA-DEA-improved fuzzy SWARA-CoCoSo model for sustainable distribution
  85. Special Issue on Application of Fractional Calculus: Mathematical Modeling and Control - Part II
  86. A study on a type of degenerate poly-Dedekind sums
  87. Efficient scheme for a category of variable-order optimal control problems based on the sixth-kind Chebyshev polynomials
  88. Special Issue on Mathematics for Artificial intelligence and Artificial intelligence for Mathematics
  89. Toward automated hail disaster weather recognition based on spatio-temporal sequence of radar images
  90. The shortest-path and bee colony optimization algorithms for traffic control at single intersection with NetworkX application
  91. Neural network quaternion-based controller for port-Hamiltonian system
  92. Matching ontologies with kernel principle component analysis and evolutionary algorithm
  93. Survey on machine vision-based intelligent water quality monitoring techniques in water treatment plant: Fish activity behavior recognition-based schemes and applications
  94. Artificial intelligence-driven tone recognition of Guzheng: A linear prediction approach
  95. Transformer learning-based neural network algorithms for identification and detection of electronic bullying in social media
  96. Squirrel search algorithm-support vector machine: Assessing civil engineering budgeting course using an SSA-optimized SVM model
  97. Special Issue on International E-Conference on Mathematical and Statistical Sciences - Part I
  98. Some fixed point results on ultrametric spaces endowed with a graph
  99. On the generalized Mellin integral operators
  100. On existence and multiplicity of solutions for a biharmonic problem with weights via Ricceri's theorem
  101. Approximation process of a positive linear operator of hypergeometric type
  102. On Kantorovich variant of Brass-Stancu operators
  103. A higher-dimensional categorical perspective on 2-crossed modules
  104. Special Issue on Some Integral Inequalities, Integral Equations, and Applications - Part I
  105. On parameterized inequalities for fractional multiplicative integrals
  106. On inverse source term for heat equation with memory term
  107. On Fejér-type inequalities for generalized trigonometrically and hyperbolic k-convex functions
  108. New extensions related to Fejér-type inequalities for GA-convex functions
  109. Derivation of Hermite-Hadamard-Jensen-Mercer conticrete inequalities for Atangana-Baleanu fractional integrals by means of majorization
  110. Some Hardy's inequalities on conformable fractional calculus
  111. The novel quadratic phase Fourier S-transform and associated uncertainty principles in the quaternion setting
  112. Special Issue on Recent Developments in Fixed-Point Theory and Applications - Part I
  113. A novel iterative process for numerical reckoning of fixed points via generalized nonlinear mappings with qualitative study
  114. Some new fixed point theorems of α-partially nonexpansive mappings
  115. Generalized Yosida inclusion problem involving multi-valued operator with XOR operation
  116. Periodic and fixed points for mappings in extended b-gauge spaces equipped with a graph
  117. Convergence of Peaceman-Rachford splitting method with Bregman distance for three-block nonconvex nonseparable optimization
  118. Topological structure of the solution sets to neutral evolution inclusions driven by measures
  119. (α, F)-Geraghty-type generalized F-contractions on non-Archimedean fuzzy metric-unlike spaces
  120. Solvability of infinite system of integral equations of Hammerstein type in three variables in tempering sequence spaces c 0 β and 1 β
  121. Special Issue on Nonlinear Evolution Equations and Their Applications - Part I
  122. Fuzzy fractional delay integro-differential equation with the generalized Atangana-Baleanu fractional derivative
  123. Klein-Gordon potential in characteristic coordinates
  124. Asymptotic analysis of Leray solution for the incompressible NSE with damping
  125. Special Issue on Blow-up Phenomena in Nonlinear Equations of Mathematical Physics - Part I
  126. Long time decay of incompressible convective Brinkman-Forchheimer in L2(ℝ3)
  127. Numerical solution of general order Emden-Fowler-type Pantograph delay differential equations
  128. Global smooth solution to the n-dimensional liquid crystal equations with fractional dissipation
  129. Spectral properties for a system of Dirac equations with nonlinear dependence on the spectral parameter
  130. A memory-type thermoelastic laminated beam with structural damping and microtemperature effects: Well-posedness and general decay
  131. The asymptotic behavior for the Navier-Stokes-Voigt-Brinkman-Forchheimer equations with memory and Tresca friction in a thin domain
  132. Absence of global solutions to wave equations with structural damping and nonlinear memory
  133. Special Issue on Differential Equations and Numerical Analysis - Part I
  134. Vanishing viscosity limit for a one-dimensional viscous conservation law in the presence of two noninteracting shocks
  135. Limiting dynamics for stochastic complex Ginzburg-Landau systems with time-varying delays on unbounded thin domains
  136. A comparison of two nonconforming finite element methods for linear three-field poroelasticity
Downloaded on 13.9.2025 from https://www.degruyterbrill.com/document/doi/10.1515/dema-2024-0071/html
Scroll to top button