there has been important progress in the question of local energy decay for the solution of the wave equation in black hole type space - times other the last years .
the best results are now known in the schwarzschild space - time .
we refer to the papers of blue
soffer @xcite , blue  sterbenz @xcite , and dafermos
rodnianski @xcite and references therein for an overview .
see also the paper of finster
kamran  smoller
yau for the kerr space - time @xcite .
results on the decay of local energy are believed to be a prerequisite for a possible proof of the global nonlinear stability of these space - times .
today global nonlinear stability is only known for the minkowski space - time ( see @xcite ) .    from our point of view one of the most efficient approaches to the question of local energy decay
is the theory of resonances .
resonances correspond to the frequencies and rates of dumping of signals emitted by the black hole in the presence of perturbations ( see ( * ? ? ?
* chapter 4.35 ) ) . on the one hand
these resonances are today an important hope of effectively detecting the presence of a black hole as we are theoretically able to measure the corresponding gravitational waves . on the other hand ,
the distance of the resonances to the real axis reflects the stability of the system under the perturbation : larger distances correspond to more stability . in particular the knowledge of the localization of resonances
permits to answer the question if there is decay of local energy and at which rate .
the aim of the present paper is to show how this method applies to the simplest model of a black hole : the de sitter  schwarzschild black hole .    in the euclidean space , such results
are already known , especially in the non trapping geometry .
the first result is due to lax and phillips ( see their book ( * ? ? ?
* theorem iii.5.4 ) ) . they have proved that the cut - off propagator associated to the wave equation outside an obstacle in odd dimension @xmath1 ( more precisely the lax
phillips semi - group @xmath2 ) has an expansion in terms of resonances if @xmath3 is compact for one @xmath4 .
in particular , the local energy decays exponentially uniformly . from melrose
sjstrand @xcite , this assumption is true for non trapping obstacles .
vanberg @xcite has obtained such results for general , non trapping , differential operators using different techniques . in the trapping case , we know , by the work of ralston @xcite , that it is not possible to obtain uniform decay estimates without loss of derivatives . in the exterior domain of two strictly convex obstacles
, the local energy decays exponentially with a loss of derivatives , by the work of ikawa @xcite .
this situation is close to the one treated in this paper .
we also mention the works tang
zworski @xcite and burq
zworski @xcite concerning the resonances close to the real line .
thanks to the work of s barreto and zworski ( @xcite ) we have a very good knowledge of the localization of resonances for the wave equation in the de sitter  schwarzschild metric . using their results we can describe an expansion of the solution of the wave equation in the de sitter  schwarzschild metric in terms of resonances . the main term in the expansion is due to a zero resonance .
the error term decays polynomially if we permit a logarithmic derivative loss in the angular directions and exponentially if we permit an @xmath0 derivative loss in the angular directions . for initial data in the complement of a one - dimensional space
the local energy is integrable if we permit a @xmath5 derivative loss with @xmath6 .
this estimate is almost optimal in the sense that it becomes false for @xmath7 .
the method presented in this paper does not directly apply to the schwarzschild case .
this is not linked to the difficulty of the photon sphere which we treat in this paper , but to the possible accumulation of resonances at the origin in the schwarzschild case .
the exterior of the de sitter  schwarzschild black hole is given by @xmath8 r_{- } , r_{+ }   [ _ { r } \times \s^{2}_{\omega } \label{a1 }   \\ g = \alpha^{2 } d t^{2 } - \alpha^{-2 } d r^{2 } - r^{2 } \vert d \omega \vert^{2 } , \quad \alpha = \big ( 1 - \frac{2 m}{r } - \frac{1}{3 } \lambda r^{2 } \big)^{1/2 } ,   \label{a2}\end{gathered}\ ] ] where @xmath9 is the mass of the black holes and @xmath10 is the cosmological constant .
@xmath11 and @xmath12 are the two positive roots of @xmath13 .
we also denoted by @xmath14 the standard metric on @xmath15 .
the corresponding dalembertien is @xmath16 where @xmath17 and @xmath18 is the positive laplacian on @xmath15 .
we also denote @xmath19 the operator on @xmath20 which governs the situation on @xmath21 .
we define @xmath22 on @xmath23 , and , in the coordinates @xmath24 , we have @xmath25    we introduce the regge
wheeler coordinate given by @xmath26 in the coordinates @xmath27 , the operator @xmath28 is given by @xmath29 on @xmath30 .
let @xmath31 and @xmath32 be the potentials appearing in the previous operator . as stated in proposition 2.1 of @xcite , the work of mazzeo
melrose @xcite implies that for @xmath33 @xmath34 has a meromorphic extension from the upper half plane to @xmath35 .
the poles @xmath36 of this meromorphic extension are called resonances .
we recall the principal result of @xcite :    _ [ a52 ] there exists @xmath37 and @xmath38 such that for any @xmath39 there exists an injective map , @xmath40 , from the set of pseudo - poles @xmath41 into the set of poles of the meromorphic continuation of @xmath42 such that all the poles in @xmath43 are in the image of @xmath40 and for @xmath44 , @xmath45 if @xmath46 , @xmath47 , @xmath48 , then the corresponding pole , @xmath49 , has multiplicity @xmath50 . _
( 0,0 ) near the real axis.,title="fig : " ]    # 1#2#3#4#5 @font    ( 12044,3419)(-21,-3158 ) ( 6976,-361)(0,0)[lb ]    the natural energy space @xmath51 for the wave equation is given by the completion of @xmath52 in the norm @xmath53 it turns out that this is not a space of distributions .
the problem is very similar to the problem for the wave equation in dimension @xmath54 .
we therefore introduce another energy space @xmath55 defined as the completion of @xmath52 in the norm @xmath56 note that for any @xmath57 the norms @xmath58 and @xmath59 are equivalent .
we will therefore only work with the space @xmath59 in the future and note it from now on @xmath60 .
let us write the wave equation as a first order equation in the following way : @xmath61 let @xmath62 be the scale of sobolev spaces associated to @xmath28 .
we note @xmath63 the completion of @xmath64 in the norm @xmath65 then @xmath66 is selfadjoint on @xmath51 .
we note @xmath67 the scale of sobolev spaces associated to @xmath68 . note that because of @xmath69 we can define a meromorphic extension of the cut - off resolvent of @xmath68 by using the meromorphic extension of the cut - off resolvent of @xmath28 and the resonances of @xmath68 coincide with the resonances of @xmath28 .
recall that @xmath70 is a selfadjoint operator with compact resolvent .
its eigenvalues are the @xmath71 with multiplicity @xmath72 .
we denote @xmath73 the operator restricted to @xmath74 where @xmath75 is the eigenspace to the eigenvalue @xmath76 . in the following
, @xmath77 will be identify with the operator on @xmath78 given by .
the spaces @xmath79 are defined in an analogous way to the spaces @xmath80 .
let @xmath81 be the orthogonal projector on  @xmath82 . for @xmath83 , the space @xmath84 and @xmath85 are the same and the norms are uniformly equivalent with respect to @xmath86 .    using proposition ii.2 of bachelot and motet - bachelot @xcite , the group @xmath87 preserves the space @xmath60 and there exists @xmath88 such that @xmath89 from the previous discussion , the same estimate holds with @xmath90 uniformly in @xmath83 .
in particular , @xmath91 is bounded on @xmath60 for @xmath92 , and we note @xmath93 for @xmath48 .
we first need a result on @xmath28 :    _ [ a50 ] for @xmath83 , the operator @xmath94 has no resonance and no eigenvalue on the real axis . _    for @xmath95
, @xmath96 has no eigenvalue in @xmath97 and no resonance in @xmath98 .
but , @xmath99 is a simple resonance of @xmath96 , and , for @xmath100 closed to @xmath99 , we have @xmath101 where @xmath1020 , + \infty [ $ ] and @xmath103 is a holomorphic ( bounded ) operator near @xmath99 .
equation is an equality between operators from @xmath104 to @xmath105 .
the proof of proposition [ a50 ] is given in section [ a51 ] .
for @xmath33 we put in the following : @xmath106 for a resonance @xmath107 we define @xmath108 by the laurent expansion of the cut - off resolvent near @xmath107 : @xmath109 we also define @xmath110 by @xmath111 the main result of this paper is the following :    _ [ mainth ] let @xmath33 .
_    @xmath112 let @xmath113 such that there is no resonance with @xmath114 .
then there exists @xmath9 with the following property .
let @xmath115 such that @xmath116 .
then we have : @xmath117 with @xmath118 and the sum is absolutely convergent in the sense that @xmath119    @xmath120 there exists @xmath121 with the following property .
let @xmath122 , positive , strictly decreasing with @xmath123 for @xmath124 large .
let @xmath125 be such that @xmath126 .
then we have @xmath127 with @xmath128    [ a69 ] a ) by the results of s barreto and zworski we know that there exists @xmath129 such that @xmath99 is the only resonance in @xmath130 .
choosing this @xmath131 in @xmath112 the sum on the right hand side contains a single element which is @xmath132    \b ) again by the paper of s barreto and zworski we know that @xmath133 for all the @xmath107 s outside a compact set ( see theorem [ a52 ] ) . for such @xmath134 , we have @xmath135 and @xmath136 is an operator of rank @xmath72 .
\c ) let @xmath137 . by part @xmath120 of the theorem , for @xmath138 ,
the local energy is integrable if @xmath139 , for some @xmath140 , and decays exponentially if @xmath141 for some @xmath142 .
\d ) in fact , we can replace @xmath143 by @xmath144 in the first part of the theorem . and , by an interpolation argument
, we can obtain the following estimate : for all @xmath142 , there exists @xmath145 such that @xmath146 with @xmath147    in the schwarzschild case the potential @xmath148 is only polynomially decreasing at infinity and we can not apply the result of mazzeo  melrose . therefore we can not exclude a possible accumulation of resonances at @xmath99 .
this difficulty has nothing to do with the presence of the photon sphere which is treated by the method presented in this paper .
let @xmath149 such that @xmath150 for some @xmath6
. then we have from part @xmath120 of the theorem , for @xmath151 , @xmath152 this estimate is almost optimal since it becomes false for @xmath7 .
indeed we have ( @xmath151 ) : @xmath153 thus from ( [ lee ] ) we obtain the resolvent estimate @xmath154 it is easy to see that this entails the resolvent estimate @xmath155 we introduce the semi - classical parameter @xmath156 and @xmath157 as in section [ a65 ] . then , for @xmath158 , the above estimate gives the semi - classical estimate : @xmath159 for @xmath160 ( see and ) .
such estimate is known to be false for @xmath7 and @xmath161 , the maximum value of the potential @xmath148 ( see ( * ? ? ? * proposition 2.2 ) ) .
the proof of the theorem is based on resolvent estimates . using ( [ rl ] )
we see that it is sufficient to prove resolvent estimates for @xmath162 .
this is the purpose of the next section .
* acknowledgments : * we would like to thank a. bachelot for fruitful discussions during the preparation of this article .
this work was partially supported by the anr project jc0546063 `` equations hyperboliques dans les espaces temps de la relativit gnrale : diffusion et rsonances '' .
in this section , we obtain estimates for the cut - off resolvent of @xmath94 , the operator @xmath28 restricted to the spherical harmonic @xmath86 .
we will use the description of the resonances given in s  barreto
zworski @xcite . recall that @xmath163 has a meromorphic extension from the upper half plane to @xmath35 .
the resonances of @xmath28 are defined as the poles of this extension .
we treat only the case @xmath164 since we can obtain the same type of estimates for @xmath165 using @xmath166 .    _
[ a44 ] let @xmath167 be fixed .
the operators @xmath168 satisfy the following estimates uniformly in @xmath86 .
_    \i ) for all @xmath158 , the number of resonances of @xmath28 is bounded in @xmath169 .
moreover , there exists @xmath39 such that @xmath170 for all @xmath171 .
\ii ) for @xmath172 large enough , @xmath94 has no resonance in @xmath173 + i [ - c_{0 } , 0]$ ]
. moreover , there exists @xmath39 such that @xmath174 for @xmath175 + i [ - c_{0 } , c_{0 } ] $ ] .
\iii ) let @xmath172 be fixed . for @xmath86 large enough , the resonances of @xmath94 in @xmath176 + i[-c_{0 } , 0]$ ] are the @xmath177 given in theorem [ a52 ] ( in particular their number is bounded uniformly in @xmath86 )
. moreover , there exists @xmath39 such that @xmath178 for @xmath179 + i [ - c_{0 } , c_{0 } ] $ ] .
furthermore , @xmath94 has no resonance in @xmath180 + i [ - \varepsilon , 0]$ ] , for some @xmath142 , and we have @xmath181 for @xmath179 + i [ - \varepsilon , 0]$ ] .
\iv ) let @xmath182 be fixed . for @xmath172 large enough
, @xmath94 has no resonance in @xmath183 .
moreover , there exists @xmath39 such that @xmath184 for @xmath185 and @xmath186 .
the results concerning the localization of the resonances in this theorem are proved in @xcite and @xcite , the following figure summaries the different estimates of the resolvent .
( 0,0).,title="fig : " ]    # 1#2#3#4#5 @font    ( 12591,6655)(418,-6769 ) ( 9601,-5686)(0,0)[lb ] ( 976,-2911)(0,0)[lb ] ( 4276,-2911)(0,0)[lb ] ( 7876,-2911)(0,0)[lb ] ( 10351,-2911)(0,0)[lb ] ( 3151,-5011)(0,0)[lb ] ( 2026,-3211)(0,0)[lb ] ( 3001,-1861)(0,0)[lb ] ( 5476,-1786)(0,0)[lb ] ( 8626,-1786)(0,0)[lb ] ( 6601,-1936)(0,0)[lb ]    in zone _
i _ which is compact , the result of mazzeo
melrose @xcite gives a bound uniform with respect to @xmath86 ( outside of the possible resonances ) . in particular , part _
i ) _ of theorem [ a44 ] is a direct consequence of this work .    in zone
_ ii _ , the result of zworski @xcite gives us a good ( uniform with respect to @xmath86 ) estimate of the resolvent .
here , we use the exponential decay of the potential at @xmath187 and @xmath188 . by comparison , the equivalent potential for the schwarzschild metric does not decay exponentially , and our present work can not be extended to this setting .
please note that this problem concerns only the zones _
i _ and _ ii _ , but the zones _ iii _ and _ iv _ can be treated the same way .    in zone
_ iii _ , we have to deal with the so called `` photon sphere '' .
the estimate follows from a general polynomial bound of the resolvent in dimension @xmath54 ( see @xcite ) .    in zone
_ iv _ , the potentials @xmath189 and @xmath190 are very small in comparison to @xmath191 .
so they do nt play any role , and we obtain the same estimate as in the free case @xmath192 ( or as in the non trapping geometry ) .
@xmath193    [ a51 ]    this part is devoted to the proof of proposition [ a50 ] and of part _
i ) _ of theorem [ a44 ] . since @xmath194 has a meromorphic extension to @xmath35 , the number of resonance in @xmath195 is always bounded and point _
i ) _ of theorem [ a44 ] is clear .
it is a classical result ( see theorem xiii.58 in @xcite ) that @xmath94 has no eigenvalue in @xmath98 . on the other hand , from proposition ii.1 of the work of bachelot and motet - bachelot @xcite ,
@xmath99 is not an eigenvalue of the operators @xmath94 .
moreover , from the limiting absorption principle @xcite , @xmath196 for @xmath197 and any @xmath198 , we know that @xmath94 has no resonance in @xmath98 .
we now study the resonance @xmath99 using a technique specific to the one dimensional case .
we start with recalling some facts about outgoing jost solutions .
let @xmath199 be a schrdinger operator with @xmath200 decaying exponentially at infinity .
for @xmath201 , there exists a unique couple of functions @xmath202 such that @xmath203 the function @xmath204 is called the outgoing jost solution at @xmath205 . since @xmath206 decays exponentially at infinity ,
the functions @xmath204 can be extended , as a @xmath207 function in @xmath124 , analytically in a strip @xmath208 , for some @xmath142 . moreover , in such a strip , they satisfy @xmath209 for some @xmath145 .
all these properties can be found in theorem xi.57 of @xcite .
using these jost solutions , the kernel of @xmath210 , for @xmath201 takes the form @xmath211 where @xmath212 is the heaviside function @xmath213 and @xmath214 is the wronskian between @xmath215 and @xmath216 ( the right hand side of does not depend on @xmath124 ) .
in particular , @xmath217 is an analytic function on @xmath35 .
since the @xmath204 are always non - zero thanks to , the resonances are the zeros of @xmath218 . such a discussion can be found in the preprint of tang
zworski @xcite .
remark that @xmath94 is of the form .
if @xmath99 is a resonance of one of the @xmath94 s with @xmath83 , the jost solutions @xmath219 are collinear . in particular , from and , the @xmath220 function @xmath221 converge to two non zero limits at @xmath205 and @xmath222 goes to @xmath99 as @xmath223 . since @xmath224 we get , by an integration by parts , @xmath225_{-r}^{r } .
\label{b1}\end{aligned}\ ] ] since @xmath226 , the last term in goes to @xmath99 as @xmath172 goes to @xmath187 .
thus , if @xmath83 , gives @xmath227 and @xmath99 is not a resonance of @xmath94 .
we study now the case @xmath95 . if @xmath228 satisfies @xmath229 , we get from @xmath230 where @xmath231 is a constant
. then @xmath232 where @xmath233 are constants .
note that @xmath234 as @xmath223 .
since @xmath235 are @xmath220 functions bounded at @xmath205 from which satisfy @xmath229 , the two functions @xmath235 are collinear to @xmath236 and then @xmath237 which means that @xmath99 is a resonance of @xmath96 .
the resolvent of @xmath96 has thus the form @xmath238 where @xmath239 is an analytic family of bounded operators near @xmath99 and @xmath240 .    for all @xmath241 with @xmath142
, we have @xmath242 from the functional calculus .
this inequality implies that @xmath243 and @xmath244 if @xmath245 is in the range of @xmath246 , we have @xmath247 and @xmath248 .
then , @xmath249 for all @xmath250 and @xmath251 is an eigenvector of @xmath96 for the eigenvalue @xmath99 .
this point is impossible because @xmath96 has no eigenvalue .
thus @xmath252 and @xmath253 .
so @xmath218 has a zero of order @xmath54 at @xmath254 .
since @xmath255 , implies that the kernel of @xmath256 is given by @xmath257 finally , since @xmath258 as @xmath259 and since @xmath260 is a strictly positive operator , we get @xmath261 for all @xmath262 . in particular , @xmath263 and then @xmath102 0 , + \infty [ $ ] .
@xmath193    in this section , we give an upper bound for the cut - off resolvent for @xmath264 + i [ - c_{0 } , c_{0 } ] $ ] .
we assume that @xmath265 + i [ -c_{0 } , c_{0 } ] $ ] with @xmath266 $ ] , and define a new semi - classical parameter @xmath267 , a new spectral parameter @xmath268 + i[- 4 c_{0 } h , 4 c_{0 } h]$ ] and @xmath269 with these notations , we have @xmath270 we remark that @xmath271 in our window of parameters . the potentials @xmath272 and @xmath190 have a holomorphic extension in a sector @xmath273 for some @xmath274 . from the form of @xmath275 ( see ) , there exist @xmath276 and functions @xmath277)$ ] , @xmath278 , analytic in @xmath279 such that @xmath280 for @xmath281 and @xmath282 . moreover ,
@xmath283 have a ( non zero ) limit for @xmath223 , @xmath281 .    under these hypotheses , and
following proposition 4.4 of @xcite , we can use the specific estimate developed by zworski in @xcite for operators like with @xmath272 satisfying . in the beginning of section 4 of @xcite
, zworski defines a subtle contour @xmath284 briefly described in the following figure .
( 0,0 ) and the contour @xmath284.,title="fig : " ]    # 1#2#3#4#5 @font    ( 13844,6066)(-21,-5794 ) ( 8251,-1861)(0,0)[lb ] ( 9601,-3361)(0,0)[lb ] ( 10426,-3361)(0,0)[lb ] ( 2101,-2386)(0,0)[lb ] ( 1276,-2386)(0,0)[lb ] ( 976,-1711)(0,0)[lb ] ( 9526,-4036)(0,0)[lb ] ( 6301,-211)(0,0)[lb ] ( 7801,-1336 ) ( 12076,-2311)(0,0)[lb ] ( 7951,-3211)(0,0)[lb ] ( 12301,-961)(0,0)[lb ]    recall that the distorted operator @xmath285 is defined by @xmath286 for all @xmath287 analytic in @xmath279 and then extended as a differential operator on @xmath288 by means of almost analytic functions .
the resonances of @xmath289 in the sector @xmath2900 , + \infty [ \ } = e^{2 i ] - \theta , 0 ] } ] 0 , + \infty [ $ ] are then the eigenvalues of @xmath291 in that set .
for the general theory of resonances , see the paper of sjstrand @xcite or his book @xcite .
for @xmath292 large enough , proposition 4.1 of @xcite proves that @xmath289 has no resonances in @xmath293 + i[- 4 c_{0 } h , 4 c_{0 } h]$ ] .
moreover , for @xmath100 in that set , this proposition gives the uniform estimate @xmath294 since @xmath284 coincides with @xmath97 for @xmath295 , we have @xmath296 from lemma 3.5 of @xcite .
using , we immediately obtain @xmath297 which is exactly .
@xmath193    [ a65 ]    in this part , we study the cut - off resolvent for the energy @xmath298 + i [ - c_{0 } , c_{0 } ] $ ] . in that zone
, we have to deal with the photon sphere .
we define the new semi - classical parameter @xmath299 and @xmath300 as previously , we have @xmath301 where @xmath302 + i [ - 3 r c_{0 } h , 0 ] = [ a , b ] + i [ -c , c ] , \ ] ] with @xmath303 and @xmath304 . note that @xmath272 is of the form :    ( 0,0).,title="fig : " ]    # 1#2#3#4#5 @font    ( 10844,4244)(1179,-3983 ) ( 3751,-361)(0,0)[lb ] ( 8551,-1411)(0,0)[lb ] ( 7051,-3136)(0,0)[lb ] ( 11776,-2536)(0,0)[lb ]    in particular , @xmath272 has a non - degenerate maximum at energy @xmath305 . on the other hand , for @xmath306 , @xmath307 , the energy level
@xmath100 is non trapping for @xmath308 , the principal semi - classical symbol of @xmath289 .
we defined @xmath291 by standard distortion ( see sjstrand @xcite ) and can apply the following general upper bound on the cut - off resolvent in dimension one .    _ [ a29 ] we assume that @xmath309 and that the critical points of @xmath310 on the energy level @xmath311 are non - degenerate ( i.e. the points @xmath312 such that @xmath313 satisfy @xmath314 is invertible ) .
then , there exists @xmath142 such that , for @xmath315 $ ] and @xmath316 with @xmath317 large enough , @xmath318 for @xmath319 and some @xmath9 which depends on @xmath320 . _
note that there is a slight error in the statement of the lemma in @xcite .
indeed , @xmath321 depends on @xmath320 , and in the proof of this lemma , the right hand side of ( 6.18 ) , @xmath322 , must be replaced by @xmath323 .
recall that , from proposition 4.3 @xcite , which is close to the work of sjstrand @xcite on the the resonances associated to a critical point , there exists an injective map @xmath324 from @xmath325 into the set of resonances of @xmath289 such that @xmath326 and such that all the resonances in @xmath327 + i [ - c , c ] $ ] are in the image of @xmath324 . in particular , the number of resonances of @xmath289 is bounded in @xmath327 + i [ - c , c]$ ] .
furthermore , the operator @xmath289 has no resonance in @xmath328 + i [ - ( \mu_{0 } - \varepsilon h ) , ( \mu_{0 } - \varepsilon h ) ] , \ ] ] for any @xmath142 and @xmath329 small enough .
using a compactness argument , we get for all @xmath330 + i [ - c , c]$ ] .
thus , from , , @xmath331 , the estimate @xmath332 for @xmath298 + i [ - c_{0 } , 0]$ ] , lemma [ a29 ] and the previous discussion , we get @xmath333 for @xmath298 + i [ - c_{0 } , c_{0}]$ ] and follows .
on the other hand , @xmath289 has no resonance in @xmath334 and in that set @xmath335 we can now applied the following version of the so - called `` semi - classical maximum principle '' introduced by tang  zworski @xcite .    _ [ a35 ] suppose that @xmath336 is a family of holomorphic functions defined for @xmath337 in a neighborhood of @xmath338 + i [ - c h , c h ] , \ ] ] with @xmath339 and @xmath304 , such that @xmath340 then , there exists @xmath341 such that , for any @xmath342 , @xmath343 for @xmath344+i [ -c h , 0]$ ] . _    this lemma is strictly analogous to lemma 4.7 of the paper of burq @xcite .
combining , , @xmath345 with this lemma , we obtain @xmath346 for @xmath298 + i [ - \varepsilon , 0]$ ] , for some @xmath142 .
@xmath193    here , we study the resolvent for @xmath347 .
more precisely , we assume that @xmath348 + i [ - c \ln n , c_{0 } ] , \ ] ] for some @xmath39 fixed and @xmath349 .
we define the new semi - classical parameter @xmath267 and @xmath350 + i h^{2 } [ - 4 c n \ln n , 4 c_{0 } n^{-1 } ] \subset [ a , b ] + i [ - c h \vert \ln h \vert , c h ] , \ ] ] for some @xmath339 and @xmath304 .
then , @xmath94 can be written @xmath351 where @xmath352 with @xmath353 , @xmath354 . for @xmath349 ,
the coefficients @xmath355 are small , and the operator @xmath289 is uniformly non trapping for @xmath344 $ ] . we can expect a uniform bound of the cut - off resolvent in @xmath356 + i [ - c h \vert
\ln h \vert , 0]$ ] .
such a result is proved in the following lemma .
_ [ a21 ] for all @xmath357 , there exist @xmath358 such that , for all @xmath359 , @xmath360 and @xmath361 , @xmath289 has no resonance in @xmath356 + i [ c h \ln h , c h]$ ] .
moreover @xmath362 for all @xmath363 + i [ - c h \vert \ln h \vert , c h]$ ] .
_    assume first lemma [ a21 ] .
for @xmath364 + i [ - c \ln n , c_{0}]$ ] , we have @xmath365 and the estimate follows .    for @xmath131 and @xmath366 small and fixed , the estimate is already know .
the proof can be found in the book of vanberg @xcite in the classical case and in the paper of nakamura  stefanov
zworski @xcite in our semi - classical setting . to obtain lemma [ a21 ] , we only have to check the uniformity ( with respect to @xmath131 and @xmath366 ) in the proof of ( * ? ? ?
* proposition 3.1 ) .
_ @xmath367 limiting absorption principle . _ the point is to note that @xmath368 is a conjugate operator for all @xmath369 . let @xmath370 ; [ 0,1])$ ] be equal to @xmath54 near @xmath371 $ ] . the operator @xmath372 is well defined on @xmath373 , and its closure , @xmath374 , is self - adjoint . the operator @xmath289 is of class @xmath375 .
recall that @xmath289 is of class @xmath376 if there exists @xmath377 such that @xmath378 is @xmath379 for the strong topology of @xmath380 ( see ( * ? ? ?
* section 6.2 ) for more details ) .
we have @xmath381 = 4 \widetilde{p } - 4 \mu v - 4 \nu w - 2 \mu x v ' - 2 \nu x w ' .\ ] ] in particular , for @xmath131 and @xmath366 small enough , we easily obtain @xmath382 } ( \widetilde{p } ) i [ \widetilde{p } , \ca ] 1_{[a/2 , 2b ] } ( \widetilde{p } ) \geq a h 1_{[a/2 , 2b ] } ( \widetilde{p } ) .   \label{a26}\ ] ] note that this mourre estimate is uniform with respect to @xmath355 .
it is also easy to check that @xmath383 \vert \leq c h     \\
\vert ( \widetilde{p } + i)^{-1 } [ [ \widetilde{p } , a ] , a ] \vert \leq c h^{2 } \\ \vert ( \widetilde{p } + i)^{-1 } [ \widetilde{p } , [ \widetilde{p }   , a ] ] \vert \leq c h^{2 } \\
\vert ( \widetilde{p } + i)^{-1 } a [ \widetilde{p } , [ \widetilde{p }   , a ] ] \vert \leq c h^{2 } , \end{gathered}\ ] ] uniformly in @xmath355 .    the regularity @xmath384 , the mourre estimate and the upper bound are the key assumptions for the limiting absorption principle . in particular , from , by example , the proof of proposition 3.2 in @xcite which is an adaptation of the theorem of mourre @xcite , we obtain the following estimate : for @xmath385 , there exist @xmath386 , such that @xmath387 for all @xmath359 , @xmath360 , @xmath361 and @xmath388 + i ] 0 , c h ] $ ] . in particular , @xmath389 for @xmath388 + i [ 0 , c h ] $ ] .    _
@xmath367 polynomial estimate in the complex .
_ the second point of the proof is to obtain a polynomial bound of the distorted resolvent . to obtain such bounds
, we use the paper of martinez @xcite . in this article , the author studies the resonance of @xmath390 where @xmath391 is a @xmath392 function which can be extended analytically in a domain like @xmath279 ( see ) and decays in this domain .
if the energy level @xmath393 is non trapped for the symbol @xmath394 , the operator @xmath395 has no resonance in @xmath396 + i [ a h \ln h , 0]$ ] for a @xmath397 small enough and any @xmath398 .
moreover , @xmath399 for @xmath400 + i [ a h \ln h , 0]$ ] .
here @xmath401 denotes the distorted operator outside of a large ball of angle @xmath402 , with @xmath403 .    of course
, @xmath289 satisfies the previous assumption on @xmath395 , for @xmath131 and @xmath366 fixed small enough .
but , following the proof of in ( * ? ? ?
* section 4 ) from line to line , one can prove that is uniformly true for @xmath369 .
this means that there exist @xmath386 such that @xmath404 for all @xmath359 , @xmath360 , @xmath361 and @xmath405 + i [ c h \ln h , 0]$ ] .    _
@xmath367 semi - classical maximum principle . _
to finish the proof , we use a version of the semi - classical maximum principle .
this argument can be found in ( * ? ? ?
* proposition 3.1 ) , but we give it for the convenience of the reader .
we can construct a holomorphic function @xmath406 with the following properties : @xmath407 + i [ c h \ln h , 0 ] , \\ & \vert f \vert \geq 1 \quad \text { for } z \in [ a , b ] + i [ c h \ln h , 0 ] ,   \\ & \vert f \vert \leq h^{m } \quad \text { for } z \in [ a/2 , 2b ] \setminus [ 2a/3 , 3b/2 ] + i [ c h \ln h , 0 ] , \end{aligned}\ ] ] where @xmath321 is the constant @xmath408 given in .
we can then apply the maximum principle in @xmath409 + i [ c h \ln h , 0]$ ] to the subharmonic function @xmath410 proving the lemma with and .
using theorem [ a44 ] , , the equivalence of the norms @xmath414 as well as the fact that we can always replace @xmath287 by @xmath415 we see that it is sufficient to show : @xmath416 using complex interpolation we see that it is sufficient to show : @xmath417 we start with ( [ 2.4.6 ] ) which follows from @xmath418}u.\end{aligned}\ ] ] let us now observe that @xmath419 } ( p_{\ell } - z^2)^{-1 } \chi+\chi ( p_{\ell } - z^2)^{-1 } p_{\ell}\chi u\\ = & \widetilde{\chi}(p_{\ell}+i)^{-1}{[}p_{\ell},{[}p_{\ell},\chi { ] } { ] } ( p_{\ell } - z^2)^{-1 } \chi u\\ & + \widetilde{\chi}(p_{\ell}+i)^{-1}{[}p_{\ell},\chi { ] } ( p_{\ell } - z^2)^{-1 } ( p_{\ell}+i)\chi u+\chi ( p_{\ell } - z^2)^{-1 } p_{\ell}\chi u.\end{aligned}\ ] ] from this identity we obtain ( [ 2.4.4 ] ) and ( [ 2.4.5 ] ) using ( [ 2.4.6 ] ) ( for ( [ 2.4.4 ] ) ) and that @xmath420}{]}$ ] is uniformly bounded .        for the proof of the main theorem
we follow closely the ideas of vanberg ( * ? ? ?
* chapter x.3 ) .
if @xmath421 is a hilbert space we will note @xmath422 the space of all functions @xmath423 with values in @xmath421 such that @xmath424 .
let @xmath425 and @xmath426 then @xmath427 for all @xmath428 .
we can define @xmath429 as an element of @xmath51 for all @xmath430 with @xmath431 .
the function @xmath432 depends analytically on @xmath430 when @xmath431 .
also , on the line @xmath433 the function belongs to @xmath434 .
we have the inversion formula : @xmath435 and the integral converges in @xmath436 for all @xmath428 . from the functional calculus we know that @xmath437 for all @xmath430 with @xmath431 .
we therefore obtain for all @xmath438 : @xmath439 where the integral is convergent in @xmath436 . in the following ,
we denote @xmath440 the meromorphic extension of @xmath441 .
( 13319,5969)(-621,-4883 ) ( 3601,-4561)(0,0)[lb ] ( 5551,-661)(0,0)[lb ] ( 5326,-2236)(0,0)[lb ] ( 10726,-2461)(0,0)[lb ] ( 751,-2461)(0,0)[lb ] ( 6676,-2911)(0,0)[lb ] ( 8851,239)(0,0)[lb ] ( 2551,-136)(0,0)[lb ] ( 2401,-3811)(0,0)[lb ] ( 9076,-3811)(0,0)[lb ] ( 11476,-1336)(0,0)[lb ] ( -149,-1336)(0,0)[lb ] ( 3676,-1336)(0,0)[lb ] ( 7576,-1261)(0,0)[lb ]      let @xmath470 .
we have , for @xmath471 large enough , @xmath472 we now take the limit @xmath20 goes to @xmath187 in the @xmath468 sens in .
the integrals @xmath473 and @xmath474 go to @xmath99 thanks to and , in the integrals @xmath475 and @xmath476 , the paths @xmath477 are replaced by paths which extend @xmath477 in a natural way and which go to @xmath478 .
we note them again @xmath477 .
we remark that @xmath479 where the integral is absolutely convergent in @xmath468 . on the other hand
, we have the estimate , for @xmath471 large enough , @xmath480 and a similar estimate holds for @xmath481 .
since all these estimates hold in @xmath482 , and give the estimate of the rest with @xmath483 .
the estimate follows from , theorem [ a44 ] _ iii ) _ and proposition [ prop2.4 ] .
let us now show part @xmath120 of the theorem .
we choose @xmath484 and the integration path as in part @xmath112 of the theorem .
we first suppose @xmath485 for some @xmath486 to be chosen later . then the estimate for @xmath487 can be replaced by @xmath488 let us now suppose @xmath489 . on the one hand we have the inequality : @xmath490 since the norms on @xmath84 and on @xmath85 are uniformly equivalent for @xmath83 . on the other hand by the hypotheses on @xmath491 we have @xmath492 for @xmath493 and @xmath471 large enough .
it follows : @xmath494 this finishes the proof of the theorem if we choose @xmath495 sufficiently small and put @xmath496 .
we note that for @xmath497 , we have @xmath498 and then @xmath499 estimate can be written @xmath500 with @xmath501 and @xmath502 .
let @xmath503 , @xmath504 with @xmath505 for @xmath506 .
remark that there exists @xmath39 such that @xmath507 on the support of @xmath508 . using the radial decomposition @xmath509 , we get @xmath510 finally , for the interpolation argument , we use the fact that @xmath511 for @xmath83 .
j.  sjstrand , _ a trace formula and review of some estimates for resonances _ , microlocal analysis and spectral theory ( lucca , 1996 ) , nato adv .
490 , kluwer acad .
publ . , 1997 , pp
.  377437 .