Abstract
In this paper, the Rayleigh beam system with two dynamical boundary controls is treated. Theoretically, the well-posedness of the weak solution is obtained. Later, we discretize the system by using the Implicit Euler scheme in time and the \(P^3\) Hermite finite element in space. In addition, we show the decay of the discrete energy and we establish some a priori error estimates. Finally, some numerical simulations are presented.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [1], Wehbe considered the Rayleigh beam equation with two dynamical boundary controls and the energy decay was theoretically established. In [2], the authors consider a clamped Rayleigh beam equation subject to only one dynamical boundary feedback. First, they considered the Rayleigh beam equation subject to only one dynamical boundary control moment, and later, they considered the Rayleigh beam equation subject to only one dynamical boundary control force and established in both cases a theoretical energy decay.
In [3], Rao considered the exact controllability of a hybrid system consisting of an elastic beam, clamped at one end and attached at the other end to a rigid antenna. Such a system is governed by one partial differential equation and two ordinary differential equations. Using the HUM method, they proved that the hybrid system is exactly controllable in an arbitrarily short time in the usual energy space.
In [4], the authors established, using a multiplier method, the polynomial energy decay rate for the smooth solutions of Kirchhoff plates equations. Consequently, they obtained the strong stability in the absence of compactness of the infinitesimal operator.
In [5], Rincon and Copetti studied numerically a locally damped wave equation. Error estimates for the semi-discrete and fully discrete schemes in the energy norm were provided.
In [6], a dynamic contact problem between a viscoelastic beam and a deformable obstacle is considered. The classical Timoshenko beam model is used and the contact is modeled using the well-known normal compliance contact condition. Fully discrete approximations were introduced, A priori error estimates were proved to obtain the linear convergence of the algorithm under an additional regularity condition. A numerical analysis for Bresse system is done in [8] and [7].
The aim of this paper is to study numerically the equation of Rayleigh beam, which is clamped at one end and subjected to two dynamical boundary controls at the other end. At an instant time t, the position y(x, t) of a given point x of the beam is governed by the following system of equations:
where \(\gamma >0\) is a physical constant, and \(\xi \) and \(\eta \) designate, respectively, the dynamical boundary force and moment controls applied at the free end of the beam. The dynamical controls \(\xi \) and \(\eta \) are given by the following integral system:
where \(0<x<1, ~t>0\) and the following initial conditions:
Let y be a smooth solution of the system (1)–(2). The associated energy E(t) is defined by:
A straightforward calculations yields:
Hence, system (1)–(2) is dissipative in the sense that the energy E(t) is a decreasing function of the time.
The notion of a dynamical control has been studied for the first time by the automaticians in the finite-dimensional case (see Francis [9]). While, in the infinite-dimensional case, the notion of dynamical controls was studied by Russell [10].
Our purpose is to use the finite-element method and to obtain error estimates for the approximation of (1). Moreover, a fully discrete implicit scheme is proposed and analyzed. An outline of the contents of this paper is as follows. In Sect. 2, we show the well-posedness using the Faedo–Galerkin method (see[11]), as well as some regularity results. In Sect. 3, a semi-discrete Galerkin approximation to the solution of (1.1) is analyzed, and in Sect. 4, a fully discrete scheme is considered. We use the \(P^3\) Hermite functions in space and the backward Euler method in time. We show that the fully discrete energy decays and derive some stability and error estimates. Finally, the results of numerical experiments illustrating the theoretical results are presented in the last section.
2 Existence and uniqueness
Denote by |.| and (., .) the norm and scalar product in \(L^2(0,1)\), respectively, and introduce the energy space:
Denote also by
Multiply (1)\(_1\) by a test function \(\upsilon \in H^2_E(0,1)\), and then use Green’s formula with the initial and boundary conditions to obtain the weak form of (1).
Find \(y(.,t) \in H^2_E(0,1)\), \(\xi (t)\in \mathbb {R}\) and \(\eta (t)\in \mathbb {R}\), such that, for all \(\upsilon \in H^2_E(0,1)\):
The next theorem provides us with the existence and uniqueness of the solution of (1)–(2) using the Faedo–Galerkin method.
Theorem 2.1
Assume that \(y_0,y_1\in H_E^2(0,1)\). Then, for each \(T>0\), there exist a unique solution to (1)–(2) under the following regularity:
-
(1)
\(y\in L^\infty (0,T,H^2_E(0,1)\cap H^3(0,1)),\)
-
(2)
\(y_t \in L^\infty (0,T,H^2_E(0,1)),\)
-
(3)
\(y_{tt} \in L^\infty (0,T,H^1_E(0,1)),\)
-
(4)
\(\xi , \xi _t, \eta , \eta _t \in L^\infty (0,T)\cap L^2(0,T),\)
-
(5)
\( \left( \gamma y_{tt}-y_{xx}\right) _{xx}=y_{tt}\in L^\infty (0,T,H^1_E(0,1)),\)
-
(6)
\(y_{tt}-\gamma y_{xxtt}+y_{xxxx}=0 \, a.e\, in \, (0,1)\times (0,T),\)
-
(7)
\(y_{xx}(1,t)+\eta (t)=0,\)
-
(8)
\(y_{xxx}(1,t)-\gamma y_{xtt}(1,t)=\xi (t),\)
-
(9)
\(y(0)=y_0, \,y_t(0)=y_1,\, \xi (0)=\xi _0, \, and \, \eta (0)=\eta _0.\)
Proof
Let \(V_m\) be the subspace spanned by \(\{\phi _1, \phi _2,...,\phi _m\}\), where \(\{\phi _i\}_{i=1}^\infty \) is a smooth basis for V.
There exist two sequences (see [11] p. 513) \((y_0^m)\) and \((y_1^m)\), such that:
Hence, we have to find \(y^m(x,t)=\displaystyle \sum _{i=1}^{m} d_\mathrm{im}(t)\phi _i(x)\), \(\xi ^m\) and \(\eta ^m \in \mathbb {R},\) satisfying \(\forall \upsilon \in V_m\):
with the initial conditions \(y^m(x,0)=y_0^m, y^m_t(x,0)=y_1^m, \xi ^m(0)=\xi _0, \eta ^m(0)=\eta _0\) and \(\upsilon \in V_m.\) This initial value problem has a local solution on \([0,T_m]\times [0,T_m]\times [0,T_m]\) by the standard ODE theory. The a priori estimates established below allow us to extend the solution to \([0,T]\times [0,T]\times [0,T]\) for any given T.
Estimate I:
Take \(\upsilon =2y_t^m\) in (7)\(_1\) to get:
Using (7)\(_2\) and (7)\(_3\), we obtain:
Integrating from 0 to t yields:
The assumption on the initial data gives the following:
\(y^m\) is bounded in \(L^\infty (0,T,H^2_E(0,1))\),
\(y^m_t\) is bounded in \(L^\infty (0,T,H^1_E(0,1))\),
\(\xi ^m\) and \(\eta ^m\) are bounded in \(L^\infty (0,T)\cap L^2(0,T)\),
and the solution can be extended to \([0,T]\times [0,T]\times [0,T]\). Also, there exist three sub-sequences still denoted by \((y^m), (\xi ^m), (\eta ^m),\) such that
\(y^m\longrightarrow y\) weak-star in \(L^\infty (0,T,H^2_E(0,1)),\)
\(y^m_t\longrightarrow y_t\) weak-star in \(L^\infty (0,T,H^1_E(0,1)),\)
\(\xi ^m\longrightarrow \xi \) weak-star in \(L^\infty (0,T),\)
\(\xi ^m\longrightarrow \xi \) weak in \(L^2(0,T),\)
\(\eta ^m\longrightarrow \eta \) weak-star in \(L^\infty (0,T),\) and
\(\eta ^m\longrightarrow \eta \) weak in \(L^2(0,T).\)
Estimate II:
Differentiating (7) with respect to t and let \(\hat{y}^m=y_t^m\), we get:
Take \(\upsilon =2\hat{y}^m_t\) in (8)\(_1\):
use (8)\(_2\) and (8)\(_3\) to obtain:
Integrating from 0 to t, we get:
We have to bound \(|y^m_{tt}(0)|\), \(|y^m_{xtt}(0)|\), \(|\xi ^m_t(0)|\), and \(|\eta ^m_t(0)|\).
Use after integrating by parts (7)\(_1)\) with \(\upsilon =y^m_{tt}(0)\) and \(t=0\), we get:
hence:
Now, use (7)\(_2\) for \(t=0\) to obtain:
\(\eta _t^m(0)=y^m_{xt}(1,0)-\eta ^m(0)=y^m_{1x}(1)-\eta _0.\)
Note that
and the regularity on the initial data gives:
In the same way, we get:
Combine these results with (9) to get:
therefore:
\(\hat{y}^m\) is bounded in \(L^\infty (0,T,H^2_E(0,1))\),
\(\hat{y}^m_t\) is bounded in \(L^\infty (0,T,H^1_E(0,1))\), and
\(\xi ^m_t\) and \(\eta ^m_t\) are bounded in \(L^\infty (0,T)\cap L^2(0,T)\).
We conclude that
\(y^m_t\longrightarrow y_t\) weak star in \(L^\infty (0,T,H^2_E(0,1)),\)
\(y^m_{tt}\longrightarrow y_{tt}\) weak star in \(L^\infty (0,T,H^1_E(0,1)),\)
\(\xi ^m_t\longrightarrow \xi _t\) weak star in \(L^\infty (0,T),\)
\(\xi ^m_t\longrightarrow \xi _t\) weak in \(L^2(0,T),\)
\(\eta ^m_t\longrightarrow \eta _t\) weak star in \(L^\infty (0,T),\) and
\(\eta ^m_t\longrightarrow \eta _t\) weak in \(L^2(0,T).\)
Using the convergence results, we can pass to the limit \(m\rightarrow +\infty \) in (7) to obtain:
Using (10)\(_1\) for \(\upsilon \in D(0,1)\), we get:
and since, \(y_{tt}\in L^\infty (0,T,H^1_E(0,1)),\) we get:
\(\gamma y_{tt}-y_{xx}\in H^3(0,1),\) a.e \(t\in [0,T],\) and:
However, \(y_{tt}(.,t) \in H^1(0,1)\), so
\(y_{xx}(.,t)\in H^1(0,1)\); that is, \(y(.,t)\in H^3(0,1).\)
Using Greens formula to Eq. (10)\(_1\), we get \(\forall \upsilon \in V:\)
hence:
use (11) with \(\upsilon \in V\) such that \(\upsilon (1)=0,\, \upsilon _x(1)\ne 0\), we get:
use (11) again with \(\upsilon \in V\), such that \(\upsilon (1)\ne 0,\, \upsilon _x(1)=0\), we get:
and so, \((y,\xi ,\eta )\) verify the boundary conditions.
Uniqueness:
let \((y_1,\xi _1,\eta _1)\) and \((y_2,\xi _2,\eta _2)\) be two solutions and take
\(w=y_1-y_2,\, \sigma =\xi _1-\xi _2\) and \(\lambda =\eta _1-\eta _2\), and then, we have:
Take \(\upsilon =2w_t\), and then integrate from 0 to t to obtain:
Therefore, \(w_t=w_{xt}=w_{xx}=0\); therefore, \(w=\sigma =\lambda =0.\) \(\square \)
3 Semi-discrete approximation
Let \(0=x_0<x_1<\cdots <x_{s+1}=1\) be a uniform partition of the interval \(I=(0,1)\) into sub-intervals \(I_j=(x_{j-1},x_j),j=1,...,s+1\) of length \(h=\frac{1}{s+1}\), and we denote by \(V_E^h\subset H^2_E(I)\) the space:
and by \(\pi ^h_E\), the elliptic projection \(\pi ^h_E: H^2_E(I)\longrightarrow V_E^h\), defined by:
and satisfying the following estimate (see [12]):
Moreover, for all \(\psi \in H^2_E(I)\cap H^3(I)\), we have:
We admit the following lemma:
Lemma 3.1
For all \(\psi \in H^2_E(I)\) and \(\chi \in V_E^h\), we have:
The semi-discrete finite element to (5) is to find for all \(0 \le t\le T,\) \(y^h(t)\in V_E^h\) and \(\xi ^h(t),\eta ^h(t)\in \mathbb {R}\), such that
\(\forall W\in V_E^h\), with \(y^h(0)=\pi ^h_Ey_0\), \(y^h_t(0)=\pi ^h_Ey_1\), \(\xi ^h(0)=\xi _0,\) and \(\eta ^h(0)=\eta _0\).
Lemma 3.2
\(|(\pi ^h_Ey_i)_{xx}|^2=|y_{ixx}|^2\), \(|(\pi ^h_Ey_i)_x|^2\le C|y_{ixx}|^2\), and
\(|\pi ^h_Ey_i|^2\le C|y_{ixx}|^2\), for \(i=0,1.\)
Proof
\(\forall \chi \in V_E^h\), we have by lemma (3.1):
choose \(\chi =\pi ^h_Ey_i \in V_E^h\), and use lemma (3.1) again, we get:
Now:
\(|(\pi ^h_Ey_i)_x|^2=|y_{ix}-(\pi ^h_Ey_i)_x+y_{ix}|^2\le 2|y_{ix}-(\pi ^h_Ey_i)_x|^2+2|y_{ix}|^2\).
Using (12) and the Poincare inequality, we get:
\(|(\pi ^h_Ey_i)_x|^2\le C|y_{ixx}|^2\),
Poincare inequality again yields:
\(|\pi ^h_Ey_i|^2\le C|(\pi ^h_Ey_i)_x|^2\le C|y_{ixx}|^2\). \(\square \)
Define the semi-discrete energy by:
To show that the semi-discrete energy decays, we choose \(W=2y^h_t\), as a test function in (14), and
hence:
Using (14)\(_2\) and (14)\(_3\) to obtain:
Therefore, we have:
Finally, integrating from 0 to t to get stability:
Where we used lemma (3.2) and the regularity on the initial data, and hence:
The next theorem provides us with an error bounds for the piecewise linear approximation (14).
Theorem 3.3
Under the assumption of Theorem (2.1), the estimate
holds for all \(0\le t\le T.\)
Proof
Introducing \(\hat{y}=y_t\) and \(\hat{y}^h=y^h_t\), hence the continuous (5) and the semi-discrete (14) problems can be written as:
and
for all \(W\in V_E^h\) and \(\upsilon \in H^2_E(I)\).
In particular, the first equality is true \(\forall W \in V_E^h.\)
Take \(\upsilon =W\in V_E^h\) and subtract the two equalities to get:
that is:
Let \(\hat{e}^h=\hat{y}^h-\pi ^h_E\hat{y}\) and \(e^h=y^h-\pi ^h_Ey\), and we get:
Take \(W=\hat{e}^h\in V_E^h\) and use (13), to obtain:
\((\pi ^h_E\hat{y})(1)=(\pi ^h_E\hat{y})(x_s)=y_t(x_s)=y_t(1)=\xi _t+\xi \),
\((\pi ^h_E\hat{y})_x(1)=(\pi ^h_E\hat{y}_x)(x_s)=y_{xt}(x_s)=y_{xt}(1)=\eta _t+\eta \), and
hence \(W(1)=\hat{e}^h(1)=\hat{y}^h(1)-(\pi ^h_E\hat{y})(1)=(\xi ^h_t-\xi _t)+(\xi ^h-\xi )\),
also, \(W_x(1)=(\eta ^h_t-\eta _t)+(\eta ^h-\eta );\)
therefore:
Using (12), we have:
\((\hat{y}_t-\pi ^h_E\hat{y}_t,\hat{e}^h)\le 2|\hat{y}_t-\pi ^h_E\hat{y}_t|^2+2|\hat{e}^h|^2 \le 2Ch^2|\hat{y}_{tx}|^2+2|\hat{e}^h|^2,\)
and \((\hat{y}_{xt}-\pi ^h_E\hat{y}_{xt},\hat{e}^h_x)\le 2Ch^2|\hat{y}_{xxt}|^2+2|\hat{e}^h_x|^2.\)
Lemma (3.1) yields:
\((y_{xx}-\pi ^h_Ey_{xx},\hat{e}^h_{xx})=0.\)
Combining these results with (15) to obtain:
Integrating from 0 to t, we find:
Use (12) to obtain:
\(\left| \hat{e}^h(0)\right| =|\hat{y}^h(0)-\pi ^h_E\hat{y}(0)|=|\pi ^h_Ey_1-\hat{y}(0)|=|\pi ^h_Ey_1-y_1|\le Ch|y_{1xx}|\),
and
\(|\hat{e}^h_x(0)|\le Ch|y_{1xx}|\).
By (13), we have:
\(|e^h_{xx}(0)|=|y^h_{xx}(0)-\pi ^h_Ey_{xx}(0)|=|y_{0xx}-\pi ^h_Ey_{0xx}|\le Ch|y_{0xxx}|\).
Use the above estimates with the fact that:
we get:
The regularity on \(y_0, y_1\), and y, gives:
Applying Gronwall inequality, to obtain:
Therefore:
\(|\hat{e}^h|^2+\gamma |\hat{e}^h_x|^2+|e^h_{xx}|^2+|\xi -\xi ^h|^2+|\eta -\eta ^h|^2\le Ch^2.\)
Finally:
where we used the regularity on y. \(\square \)
4 Fully discrete approximation
In this section, we introduce a fully discrete finite-element method to (11).
Given an integer \(N>0\), our numerical scheme can be stated as find \(y^n\), \(n=2,...,N\) and \(\xi ^n, \eta ^n\), \(n=1,...,N,\) such that, \(\forall W\in V_E^h\), we have:
where \(\Delta t={T}/{N}\) is the time step, \(y^0=\pi ^h_Ey_0\), \(y^1=y^0+\Delta t\pi ^h_Ey_1\), \(\xi ^0=\xi _0\), and \(\eta ^0=\eta _0\).
Writing \(y^n(x)=\displaystyle \sum _{i=1}^{2s+2}c_i^n\mu _i(x)\), where \(\{\mu _i\}_{i=1}^{2s+2}\) is a \(\mathbb {P}^3\) Hermite basis for \(V_E^h\), which will be defined in Sect. 5. We find that the method defined requires the linear system of \((2s+4)\) algebraic equations which can be written in the matrix form as:
Here:
with
And \(C^n=(c^n_1,c^n_2,...,c^n_{2s+2},\eta ^n,\xi ^n)^T\), is the vector to be determined at each time step. Since the matrix M is non-singular, the system has a unique solution.
In a similar manner to the continuous case, the decay of the energy associated with the fully discrete problem and stability estimates are proved.
Let
define the energy of the fully discrete problem by:
Taking, \(W=\hat{y}^{n+1}\) in (16)\(_1\), we get:
Using (16)\(_2\) and (16)\(_3\), we get:
\(\hat{y}_x^{n+1}(1)=\hat{\eta }^{n+1}+\eta ^{n+1},\) and
\(\hat{y}^{n+1}(1)=\hat{\xi }^{n+1}+\xi ^{n+1}:\)
Using the elementary equality:
We get:
Therefore:
For the stability, we multiply (21) by \(2\Delta t\) and sum from \(i=1\) to n, to get:
Use lemma (3.2) and the definitions of \(y^1\) and \(\hat{y}^1\), to obtain:
and
Using lemma (3.2), we get:
\(|y^1_{xx}|=|(\pi ^h_Ey_0)_{xx}+\Delta t(\pi ^h_Ey_1)_{xx}|\le |(\pi ^h_Ey_0)_{xx}|+|\Delta t(\pi ^h_Ey_1)_{xx}|=|y_{0xx}+\Delta ty_{1xx}|\le C\).
To bound \(\eta ^1\), we use (16)\(_2\) for \(n=0\) , the second part of (13) with \(x_s=1\), the definition of \(y^1\), and the fact that \(\displaystyle y_1(1)\le |y_{1x}|\).
Therefore, we have:
In the same way, we use (16)\(_3\) to get \(|\xi ^1|\le C\).
Therefore:
4.1 Error Estimate
Theorem 4.1
Assume that the assumption of theorem 2.1 holds, and then, if \(y\in H^3(0,T,L^2(I))\cap H^2(0,T,H^2(I))\) and \(\eta , \xi \in H^2(0,T)\) we have:
where C is independent of t and h.
Proof
We use the standard decompositions:
where:
Let us rewrite (16)\(_1\) as:
therefore:
Using lemma (3.1), we get:
Using (5) with \(t=t_{n+1}\) and \(\upsilon =W\), we get:
therefore:
hence:
Take \(W=\hat{e}^{n+1}\), and use the fact that:
and
we get:
Note that:
therefore:
where
Therefore, (20) gives:
where we used Young’s Inequality \(\Big (\pm ab\le \delta a^2+\frac{1}{4\delta }b^2\Big )\), with \(\delta =\Delta t\). In the same way, we show that:
where
Combine the above with (22) to obtain:
Using the definition of \(\hat{\rho }\) and (12), we get:
hence:
Moreover:
We have to bound \(I_{1}\) and \(I_{2}\):
and
again
hence:
Young’s Inequality with \(\delta =\Delta t\) gives:
Using the Cauchy–Schwarz inequality, we get:
hence:
also:
The above estimates together with (23) give:
Multiply by \(2\Delta t\) and sum from \(i=1\) to n:
We have to bound \(|e^1_{xx}|\), \(|\hat{e}^1_x|\), \(|\hat{e}^1|\), \(|b^1|\), and \(|d^1|\):
where we used the definition of \(\pi ^h_E, y^1\) and \(y^0\).
However:
so:
Choosing \(\upsilon =e^1\), we get:
To bound \(|\hat{e}^1|\) and \(|\hat{e}^1_x|\), we will bound \(|\hat{e}^1_{xx}|\), and then, we use the Poincare inequality.
Knowing that, \(\hat{y}^1=({y^1-y^0})/{\Delta t}\) and \(y^1=y^0+\Delta t\pi ^h_Ey_1.\)
We have:
but, \(y_{xxt}(t_1)=y_{xxt}(0)+\Delta ty_{xxtt}(\tau _2)\), so, \((\hat{e}^1_x,\upsilon _x)=-\Delta t(y_{ttx}(\tau _2),\upsilon _x).\)
Choose \(\upsilon =\hat{e}^1\), we get:
Using Poincare inequality, we get \(|\hat{e}^1|\le C|\hat{e}^1_x|\le C|\hat{e}^1_{xx}|\le \Delta t.\)
To bound \(|b^1|\), we use the fact:
therefore, we have:
Also, \(|d^1|\le C \Delta t\).
Using (24) and the above estimates, we get:
Applying the discrete Gronwall inequality to obtain:
Now:
Using (12), we have:
also \(|\hat{\rho }^n_x|\le Ch\) and \(|\rho ^n_{xx}|\le Ch.\) Hence:
Finally:
5 Finite-element method
In the finite-element method, the basis functions are usually polynomials of any degree, defined in each finite element. In this paper, we are going to use the Hermite finite element (see [12] Page 168).
To define a basis for \(V^h_E\), we introduce the two reference functions:
and
Define the following bases functions by:
and
Note that, for all \(1\le i,j\le s+1\), we have:
With the above, \(V^h_E\) becomes a subspace of \(H^2_E(I)\) of dimension \(2s+2\), and for all \(y^h\in V^h_E\), \(y^h\) can be written in the form:
let us rename the basis as \(\{\mu _i\}_{i=1}^{2s+2}\), where:
5.1 Numerical simulations
The numerical analysis is performed for \(\gamma =0.1\), \(\Delta t=0.05\), \(h=1/15\), \(y_0(x)=x^2(1-x)\), \(y_1(x)=-x^2(1-x)\), \(\eta _0=3/(1+\Delta t)\), \(\eta _1=(4(20+\Delta t))/(5(1+\Delta t))\), \(\xi _0=1\), and \(\xi _1=1/(1 + \Delta t)\).
The graphs in Figs. 1, 2, 3, and 4 represent, respectively, the time evolution of the beam’s position \(y^n(x,t)\), moment control \(\eta ^n\), force control \(\xi ^n\), and the discrete energy \(E^n\).
References
Allaire, G.: Numerical analysis and optimization, an introduction to mathematical modelling and numerical simulation. Oxford University Press. First edition, USA (2007)
El Arwadi, T., Youssef, W.: On the stabilization of the Bresse beam with Kelvin Voigt damping. Appl. Math. Optim. (2019)
Copetti, M.I.M.; Fernandez, J.R.: A dynamic contact problem involving a Timoshenko beam model. Appl. Numer. Math. 63, 117–128 (2013)
Dautray, R., Lions, J.: Mathematical analysis and numerical methods for science and technology, vol. 5 of Evolution Problems I, Springer-Verlag, (2000)
El Arwadi, T.; Copetti, M.I.M.; Youssef, W.: On the theoretical and numerical stability of the thermoviscoelastic Bresse system. Z. Angew. Math. Mech. 99, 120 (2019)
Francis, B.A.: \(H^{\infty }\)control theory, Lecture Notes in Control and Sciences, (1986)
Rao, B.: Exact boundary controllability of a hybrid system of elasticity by the HUM method, ESIAM: COCV, 6 (2001), 183199
Rao, B.; Wehbe, A.: Polynomial energy decay rate and strong stability of Kirchhoff plates with non-compact resolvent. J. Evol. Equ. 5, 137152 (2005)
Rincon, M.; Copetti, M.I.M.: Numerical analysis for a locally damped wave equation. J. Appl. Anal. Comput. 3, 169–182 (2013)
Russell, D.L.: A General framework for the study of indirect damping mechanisms in elastic systems. J. Math. Anal. Appl. (1993)
Sammoury, M.A.; Nicaise, S.; Mercier, D.; Wehbe, A.: Optimal energy decay rate for rayleigh beam equation with only one dynamic boundary control. Boletim da Sociedade Paranaense de Matematica. 35, 131–171 (2017). https://doi.org/10.5269/bspm.v35i3.29266
Wehbe, A.: Optimal energy decay rate in the Rayleigh beam equation with boundary dynamical controls. Bull. Belg. Math. Soc. 12, 1–16 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bzeih, M., El Arwadi, T. & Hindi, M. Numerical analysis and simulation for Rayleigh beam equation with dynamical boundary controls. Arab. J. Math. 10, 331–349 (2021). https://doi.org/10.1007/s40065-021-00310-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40065-021-00310-8