Logarithmi L2 deay rate for the damped wave equation Kim Dang PHUNG 1 Introdution and main result The purpose of this note is to prove the following result: Theorem .Let be a bounded onneted C 2 domain in Rn , n > 1, and ! be a non-empty open subset of . Let 2 C01 (! ) be a non-negative funtion. Let us onsider the following damped wave equation in (0; +1), with initial data and homogeneous Dirihlet boundary ondition: 8 < t2 u u + (x) t u = 0 in (0; +1) u = 0 on (0; +1) (1.1) : u (; 0) = u0 , t u (; 0) = u1 in . Then, there exists a onstant C > 0 suh that for all initial data (u0 ; u1 ) 2 H01 ( ) L2 ( ), the solution u of ( 1.1) satises the following L2 deay estimate : ku (; t) ; t u (; t)k2L2 ( )H 1 ( ) 2 ln (2 + t) k(u0; u1)kH01 ( )L2( ) , 8t 0 . C (1.2) Similar kind of deay estimate already appears in [ LR℄, [ A℄ and [ L℄ in the framework of boundary stabilization for hyperboli equations and for the H01 deay rate of the solution of damped wave equation with H 2 ( ) \ H01 ( ) H01 ( ) initial data (whih means that our result is not new). 2 Proof of Theorem We begin to prove the following result: Proposition 1 .Let be a bounded onneted C 2 domain in Rn , n > 1, and ! be a nonempty open subset of . Let 2 C01 (! ) be a non-negative funtion. Let us onsider the following damped wave equation in (0; +1), with smooth initial data and homogeneous Dirihlet boundary ondition: 8 < t2 u : u + (x) tu = 0 in (0; +1) u = 0 on (0; +1) u (; 0) = u0 , t u (; 0) = u1 in . 1 (2.1) Then, there exists a onstant C > 0 suh that for all initial data the solution u of ( 2.1) satises the following deay estimate : (u0; u1) 2 H 2 ( ) \ H01 ( ) H01 ( ), ku (; t) ; t u (; t)k2H01 ( )L2 ( ) ln (2C+ t) k(u0 ; u1 )k2H 2 ( )\H01 ( )H01 ( ) , 8t 0 . (2.2) Indeed, we know the following result. Proposition 2 .Let be a bounded onneted C 2 domain in Rn , n > 1, and !o ! be a non-empty open subset of . Let us onsider the following wave equation in R, with initial data (u0; u1) 2 H01 ( ) L2 ( ) and homogeneous Dirihlet boundary ondition : 8 t2 z z = f in R < z = 0 on R (2.3) : z (; 0) = u0 , t z (; 0) = u1 in . Then, there exist a onstant > 0 and a time T > 0 suh that for all f 2 L2 ( (0; T )), for all (u0; u1) 2 H 2 ( ) \ H01 ( ) H01 ( ), the solution z of ( 2.3) satises the following estimate : R R R R k(u0 ; u1)k2H01 ( )L2( ) e=" 0T !o jt z (x; t)j2 dxdt + 0T jf (x; t)j2 dxdt +" k(u0; u1)k2H2 ( )\H01 ( )H01 ( ) , 8" > 0 . (2.4) Now, we apply it with z = u and f = tu. We obtain that there exist a onstant > 0 and a time T > 0, suh that for all (u0; u1) 2 H 2 ( ) \ H01 ( ) H01 ( ), the solution u of the damping wave equation (2.1) satises the following estimate : )k2 1 Z T Z ( ) j ( )j2 dxdt + " k(u0; u1)k2H2 ( )\H01 ( )H01 ( ) , 8" > 0 . 0 (2.5) Clearly, reproduing the proof, we also have that there exist a onstant > 0 and a time T > 0, suh that for all (u0; u1) 2 H 2 ( ) \ H01 ( ) H01 ( ), the solution u of the damping wave equation (2.1) satises the following estimate : for all 0, R R k(u (; ) ; t u (; ))k2H01 ( )L2 ( ) e=" +T (x) jt u (x; t)j2 dxdt (2.6) +" k(u0; u1)k2H2 ( )\H01 ( )H01 ( ) , 8" > 0 . that is R k(u (; ) ; t u (; ))k2H01 ( )L2 ( ) e=" +T dtd k(u (; t) ; t u (; t))k2H01 ( )L2 ( ) dt (2.7) +" k(u0; u1)k2H2 ( )\H01 ( )H01 ( ) , 8" > 0 . k(u0 ; u1 H0 ( ) L2 ( ) e =" x t u x; t Let us denote for some onstant o > 0, only depending on , k(u (; ) ; t u (; ))k2H01 ( )L2 ( ) L ( ) = 1 (2.8) 2 o k(u0 ; u1 )kH 2 ( )\H 1 ( )H 1 ( ) 0 0 Consequently from (2.7), there exist a onstant > 0 and a time T > 0, suh that for all 0, . L ( + T ) (2.9) ln 3 + L() L1 (+T ) 2 Let t > 0, we write t = nT + s with 0 s < T , so nT t < (n + 1) T . From the non-inreasing property of L, we hek that L (t) L (nT ). Now we hoose = (n 1) T 0 and we get the following estimate: . L (nT ) (2.10) ln 3 + L((n 1)T1) L(nT ) Suppose that 0 < L ((n 1) T ) L (nT ) n1 , then L (nt) ln (3+ n) , Suppose that L ((n 1) T ) L (nT ) > n1 , then L (nT ) 1 < L ((n 1) T ) L (nT ), so L (nT ) < (2.11) + 1 L ((n 1) T ) , n) for n > 1, we obtain and using the dereasing property of n 7 ! ln(2+ n n n ln(3+n) L (nT ) < < Then we have for all n > 1, either ln(3+n) n L ((n n+1 ln(3+(n 1)) L ((n n n 1) T ) ln(3+(n 1) T ) . ln(3+n) L (nT ) 1 ln(3+ n) L (nT ) < ln(3+(n 1)) L ((n or Then indutively, we onlude that for all n > 1, ln (3 + n) L (nT ) 1 , 1)) ln(3+(n 1)) 1) T ) . whih gives for all t T k(u (; t) ; t u (; t))k2H01 ( )L2 ( ) = L (t) L (nT ) ln (3+ n) ln (2 + t=T ) , 2 o k(u0 ; u1 )kH 2 ( )\H 1 ( )H 1 ( ) 0 0 that is for all t 1 k(u (; tT ) ; t u (; tT ))k2H01 ( )L2( ) o ln (2+ t) k(u0 ; u1 )k2H 2 ( )\H01 ( )H01 ( ) , (2.12) (2.13) (2.14) (2.15) (2.16) (2.17) that is for all t T 2 k(u (; t) ; t u (; t))k2H01 ( )L2( ) o ln (22+ t) k(u0 ; u1 )k2H 2 ( )\H01 ( )H01 ( ) . (2.18) Now we onludeR tthe proof of the L2 deay as follows. let v (x; t) = 0 u (x; `) d` 1 (u1 (x) + (x) u0 (x)), then v (x; t) = R0t u (x; `) d` + u1 (x)+ (x) u0 (x) and t v (x; t) = u (x; t), t2 v (x; t) + (x) t v (x; t) = t u (x; t) + (x) u (x; t) = tu (x; 0) + R0t t2u (x; `R) td` + (x) u (x; 0) + (x) R0t tu (x; `) d` = u1 (x) + (x) u0 (x) + 0 u (x; `) d` = v (x; t) (2.19) 3 Also, v (x; 0) = 1 (u1 (x) + (x) u0 (x)), tv (x; 0) = u0 (x), and the homogeneous Dirihlet boundary ondition is satised. Consequently, there exists a onstant C > 0 suh that for all t 0, ku (; t) ; t u (; t) + u (; t)k2L2 ( )H 1 ( ) k(v (; t) ; t v (; t)) k2H01 ( )L2 ( ) C 1 (u1 + u0 ) ; u0 2H2 ( )\H01 ( )H01 ( ) , ln(2+ t) (2.20) but 1 (u1 + u0)H2 ( ) is bounded by k(u0; u1)kH01 ( )L2( ). This ompletes the proof. Referenes [ A℄ K. Ammari, Dirihlet boundary stabilization of the wave equation, Asymptoti Analysis 30 (2002) 117-130. [ L℄ G. Lebeau, Equation des ondes amorties, in Algebrai and Geometri Methods in Mathematial Physis, Math. Phys. Stud. 19, Kluwer Aad. Publ., Dordreht, 1996,p.73-109. [ LR℄ G. Lebeau and L. Robbiano, Stabilisation de l'equation des ondes par le bord, Duke Math. J. 86 (1997) 465-491. 4