In this paper, we consider the approximation of second order evolution equations. It is well known that the approximated system by finite element or finite difference is not uniformly exponentially or polynomially stable with respect to the discretization parameter, even if the continuous system has this property. Our goal is to damp the spurious high frequency modes by introducing numerical viscosity terms in the approximation scheme. With these viscosity terms, we show the exponential or polynomial decay of the discrete scheme when the continuous problem has such a decay and when the spectrum of the spatial operator associated with the undamped problem satisfies the generalized gap condition. By using the Trotter-Kato Theorem, we further show the convergence of the discrete solution to the continuous one. Some illustrative examples are also presented.
Classification : 65M60, 35L05, 35L15
Mots clés : stability, wave equation, numerical approximations
@article{COCV_2013__19_3_844_0, author = {Abdallah, Farah and Nicaise, Serge and Valein, Julie and Wehbe, Ali}, title = {Uniformly exponentially or polynomially stable approximations for second order evolution equations and some applications}, journal = {ESAIM: Control, Optimisation and Calculus of Variations}, pages = {844--887}, publisher = {EDP-Sciences}, volume = {19}, number = {3}, year = {2013}, doi = {10.1051/cocv/2012036}, zbl = {1275.65059}, mrnumber = {3092365}, language = {en}, url = {http://archive.numdam.org/articles/10.1051/cocv/2012036/} }
TY - JOUR AU - Abdallah, Farah AU - Nicaise, Serge AU - Valein, Julie AU - Wehbe, Ali TI - Uniformly exponentially or polynomially stable approximations for second order evolution equations and some applications JO - ESAIM: Control, Optimisation and Calculus of Variations PY - 2013 DA - 2013/// SP - 844 EP - 887 VL - 19 IS - 3 PB - EDP-Sciences UR - http://archive.numdam.org/articles/10.1051/cocv/2012036/ UR - https://zbmath.org/?q=an%3A1275.65059 UR - https://www.ams.org/mathscinet-getitem?mr=3092365 UR - https://doi.org/10.1051/cocv/2012036 DO - 10.1051/cocv/2012036 LA - en ID - COCV_2013__19_3_844_0 ER -
Abdallah, Farah; Nicaise, Serge; Valein, Julie; Wehbe, Ali. Uniformly exponentially or polynomially stable approximations for second order evolution equations and some applications. ESAIM: Control, Optimisation and Calculus of Variations, Tome 19 (2013) no. 3, pp. 844-887. doi : 10.1051/cocv/2012036. http://archive.numdam.org/articles/10.1051/cocv/2012036/
[1] Indirect internal stabilization of weakly coupled evolution equations. J. Evol. Equ. 2 (2002) 127-150. | MR 1914654 | Zbl 1011.35018
, and ,[2] Linear and Quasilinear Parabolic Problems: abstract linear theory,Springer-Verlag. Birkhäuser 1 (1995). | MR 1345385 | Zbl 0819.35001
,[3] Stabilization of second order evolution equations by a class of unbounded feedbacks. ESAIM: COCV 6 (2001) 361-386. | Numdam | MR 1836048 | Zbl 0992.93039
and ,[4] Eigenvalue problems, in Handbook of Numerical Analysis II Finite Element Methods. Edited by P.G. Ciarlet and J.L. Lions. North-Holland, Amsterdam (1991). | MR 1115240 | Zbl 0875.65087
and ,[5] Ingham-Beurling type theorems with weakened gap conditions. Acta Math. Hungar. 97 (2002) 55-95. | MR 1932795 | Zbl 1012.42022
, and ,[6] Exponentially stable approximations of weakly damped wave equations, in Estimation and control of distributed parameter systems (Vorau, 1990), Internat. Ser. Numer. Math., vol. 100. Birkhäuser, Basel (1991) 1-33. | MR 1155634 | Zbl 0850.93719
, and ,[7] Polynomial stability of operator semigroups. Math. Nachr. 279 (2006) 1425-1440. | MR 2269247 | Zbl 1118.47034
, , and ,[8] Non-uniform stability for bounded semi-groups on Banach spaces. J. Evol. Equ. 8 (2008) 765-780. | MR 2460938 | Zbl 1185.47043
and ,[9] Optimal polynomial decay of functions and operator semigroups. Math. Ann. 347 (2010) 455-478. | MR 2606945 | Zbl 1185.47044
and ,[10] Boundary controllability of a linear semi-discrete 1-D wave equation derived from a mixed finite element method. Numer. Math. 102 (2006) 413-462. | MR 2207268 | Zbl 1102.93004
and ,[11] Numerical approximation of the boundary control for the wave equation with mixed finite elements in a square. IMA J. Numer. Anal. 28 (2008) 186-214. | MR 2387911 | Zbl 1139.93005
, and ,[12] The finite element method for elliptic problems. North-Holland, Amsterdam (1978). | MR 520174 | Zbl 0511.65078
,[13] One-parameter semigroups for linear evolution equations. Encyclopedia of Mathematics and its Applications. Springer-Verlag, New York (2000). | MR 1721989 | Zbl 0952.47036
and ,[14] Spectral conditions for admissibility and observability of wave systems: applications to finite element schemes. Numer. Math. 113 (2009) 377-415. | MR 2534130 | Zbl 1170.93013
,[15] Uniformly exponentially stable approximations for a class of damped systems. J. Math. Pures Appl. 91 (2009) 20-48. | MR 2487899 | Zbl 1163.74019
and ,[16] Ensuring well-posedness by analogy: Stokes problem and boundary control for the wave equation. J. Comput. Phys. 103 (1992) 189-221. | MR 1196839 | Zbl 0763.76042
,[17] A mixed finite element formulation for the boundary controllability of the wave equation. Internat. J. Numer. Methods Engrg. 27 (1989) 623-635. | MR 1036928 | Zbl 0711.65084
, and ,[18] A numerical approach to the exact boundary controllability of the wave equation. I. Dirichlet controls: description of the numerical methods. Japan J. Appl. Math. 7 (1990) 1-76. | MR 1039237 | Zbl 0699.65055
, and ,[19] Exact and approximate controllability for distributed parameter systems, in Acta numerica, Cambridge Univ. Press, Cambridge (1995) 159-333. | MR 1352473 | Zbl 0838.93014
and ,[20] Real and Abstract Analysis. Springer-Verlag, New York (1965). | MR 367121 | Zbl 0137.03202
and ,[21] Characteristic conditions for exponential stability of linear dynamical systems in Hilbert spaces. Ann. Differ. Equ. 1 (1985) 43-56. | MR 834231 | Zbl 0593.34048
,[22] Boundary observability for the space semi-discretizations of the one-dimensional wave equation. ESAIM: M2AN 33 (1999) 407-438. | EuDML 197593 | Numdam | MR 1700042 | Zbl 0947.65101
and ,[23] The Trotter-Kato theorem and approximation of PDEs. Math. Comput. 67 (1998) 21-44. | MR 1443120 | Zbl 0893.47025
and ,[24] Hyperbolicity of semigroups and Fourier multipliers, in Systems, approximation, singular integral operators, and related topics (Bordeaux, 2000), Oper. Theory Adv. Appl. 129 (2001) 341-363. | MR 1882702 | Zbl 1036.47026
and ,[25] Boundary controllability of the finite-difference space semi-discretizations of the beam equation. ESAIM: COCV 8 (2002) 827-862. A tribute to J.L. Lions. | EuDML 245824 | Numdam | MR 1932975 | Zbl 1063.93025
and ,[26] Semigroups associated with dissipative systems, volume 398 of Chapman and Hall/CRC Research Notes in Mathematics. Chapman and Hall/CRC, Boca Raton, FL (1999). | MR 1681343 | Zbl 0924.73003
and ,[27] A uniformly controllable and implicit scheme for the 1-D wave equation. ESAIM: M2AN 39 (2005) 377-418. | EuDML 194266 | Numdam | Zbl 1130.93016
,[28] A 2-grid algorithm for the 1-d wave equation, in Mathematical and numerical aspects of wave propagation-WAVES 2003. Springer, Berlin (2003) 213-217. | Zbl 1050.65068
and ,[29] Stabilization of second order evolution equations with unbounded feedback with delay. ESAIM: COCV 16 (2010) 420-456. | EuDML 250719 | Numdam | MR 2654201 | Zbl 1217.93144
and ,[30] Semigroups of linear operators and applications to partial differential equations, Applied Math. Sciences. Springer-Verlag, New York 44 (1983). | MR 710486 | Zbl 0516.47023
,[31] Uniformly exponentially stable approximations for a class of second order evolution equations-application to LQR problems. ESAIM: COCV 13 (2007) 503-527. | EuDML 250005 | Numdam | MR 2329173 | Zbl 1126.93050
, and ,[32] Introduction l'analyse des équations aux dérivies partielles. Dunod, Paris (1998).
and ,[33] Characteristic conditions of the generation of C0 semigroups in a Hilbert space. J. Math. Anal. Appl. 247 (2000) 356-376. | MR 1769082 | Zbl 1004.47026
and ,[34] Uniform exponential long time decay for the space semi-discretization of a locally damped wave equation via an artificial numerical viscosity. Numer. Math. 95 (2003) 563-598. | MR 2012934 | Zbl 1033.65080
and ,[35] Boundary observability for the finite-difference space semi-discretizations of the 2-d wave equation in the square. J. Math. pures et appl. 78 (1999) 523-563. | MR 1697041 | Zbl 0939.93016
,Cité par Sources :