Instruction: Write an abstract for the following acadamic paper.

Input:
Paper: we have recorded the flight of a fly during take off and landing using digital high speed photography . it is shown that the dynamics of flexible wings are different for these procedures . during this observation fly flew freely in a big box and it was not tethered .
Abstract: in this fluid dynamics video , we demonstrated take off and landing of a fly . the deformation of wings is in focus in this video .

Paper: though well - studied for over fifty years , the spectral theory of hyperbolic surfaces still presents basic unresolved questions @xcite . for example , does there exist a noncompact , finite area hyperbolic surface whose laplacian has no nonconstant square - integrable eigenfunctions ? this question has been the subject of many investigations including @xcite , @xcite , @xcite , @xcite , @xcite , @xcite , and @xcite . the triangle @xmath0 defined by @xmath1 and @xmath2 . ]    as a model problem , phillips and sarnak @xcite suggested studying the neumann eigenvalue problem on the domain @xmath3 pictured in figure [ trisect ] . in this paper , we prove the following :    [ thm : main ] for all but at most countably many @xmath40,1[$ ] , the neumann laplacian on the geodesic triangle @xmath0 in the hyperbolic plane has no nonconstant ( square - integrable ) eigenfunction . the group @xmath5 of hyperbolic isometries generated by reflections in the geodesic arcs that bound @xmath0 is discrete if and only if @xmath6 for @xmath7 an integer . for example , if @xmath8 , then @xmath5 contains an index two subgroup that is naturally isomorphic to @xmath9 . it follows from the seminal work of a. selberg @xcite that if @xmath10 or @xmath11 , then the neumann laplacian has infinitely many nonconstant eigenfunctions . in particular , for some special @xmath12 , there do exist square - integrable solutions to the neumann problem . is an integer not equal to @xmath13 , or @xmath11 , phillips and sarnak asked whether the domain @xmath14 has no nonconstant neumann eigenfunctions @xcite . we should point out that since theorem [ thm : main ] allows for countably many exceptional @xmath12 , it does not directly answer their question . ]    in @xcite , theorem [ thm : main ] was verified under an additional  and as of yet unjustified  assumption concerning the spectral multiplicities of the neumann laplacian acting on @xmath15 . the proof consisted of studying the singular perturbation problem associated with letting @xmath12 tend to @xmath16 . similar singular perturbations were studied in the context of degenerating hyperbolic surfaces @xcite and unitary characters over a fixed hyperbolic surface @xcite . in @xcite , @xcite , @xcite , and all prior work on this problem , it was necessary to make assumptions about the multiplicities of the spectrum of the limiting surface . the angles of a geodesic triangle in the hyperbolic plane determine the isometry class of the triangle . the angles of @xmath0 are @xmath17 . it is not difficult to extend theorem [ thm : main ] to triangles with angles @xmath18 ( see  [ section : alltriangles ] ) . [ thm : gennocf ] the set of @xmath19 for which the hyperbolic triangle with angles @xmath20 admits a nonconstant neumann laplace eigenfunction has lebesgue measure zero and is contained in a countable union of nowhere dense sets . in other words , the generic hyperbolic triangle with one cusp has no non - constant neumann eigenvalue where ` generic ' can be taken in both a topological and a measurable sense . theorem [ thm : main ] gives the existence of a triple of angles @xmath18 for which there are no nonconstant neumann eigenfunctions . theorem [ thm : gennocf ] then results from applying a general and well - understood principle concerning analytic perturbations ( see , for example , @xcite ) . on the other hand , the proof of theorem [ thm : main ] is much more involved . in particular , the proof will rely upon a refined analysis of ` crossings ' of eigenvalue branches .    to prove theorem 1.1 , we further develop the method of ` asymptotic separa- tion of variables ' that we introduced in [ hlrjdg11 ] to study generic simplicity of eigenvalues . this method facilitates the study of real - analytic eigenvalue branches in situations where a geometric domain degenerates onto a lower dimensional domain . there is a vast literature  for instance , @xcite , @xcite , @xcite  concerning perturbations involving degeneration onto lower dimensional domains , but most of these studies do not address analytic eigenvalue branches . in contrast , our results depend crucially on a study of real - analytic eigenbranches and their crossings . we now describe the content of each section .    in  [ section : prelim ] , we establish notation and recall basic features of the spectral theory of the laplacian acting on functions on a domain in the hyperbolic plane having one cusp . we describe the fourier decomposition associated to the cusp . the zeroth fourier mode is responsible for an essential spectrum of @xmath21 . following @xcite and @xcite , we will replace the dirichlet quadratic form @xmath22 with a modification @xmath23 obtained by ` truncating ' the zeroth fourier coefficient above @xmath24 . an eigenfunction @xmath25 of @xmath23 corresponds to an eigenfunction of @xmath26 if and only if the zeroth fourier coefficient of @xmath25 vanishes identically . we will call such an eigenfunction a _ cusp form_. , these are ` cusp forms ' in the sense of the theory of automorphic forms , but otherwise there is no discrete group , and hence they are not cusp forms in the traditional sense . in this paper we will always be considering ` even ' cusp forms , that is , eigenfunctions satisfying neumann conditions . ] the operator associated to @xmath23 has compact resolvent and hence discrete spectrum . this makes @xmath23 a much better candidate for the application of methods from spectral perturbation theory .    in  [ sec : generic ] , we recall and make precise some ideas familiar in the perturbational study of cusp form existence . we consider a real - analytic family , @xmath27 , of quadratic forms that have the same domain as @xmath23 . we say that a real - analytic family @xmath28 of eigenfunctions of @xmath29 is a _ cusp form eigenbranch _ if and only @xmath30 is a cusp form for each @xmath12 . we demonstrate a dichotomy : either the family @xmath27 has a real - analytic cusp form eigenbranch or the set of @xmath12 such that @xmath29 has a cusp form is countable .    in  [ section : alltriangles ] , we consider arbitrary real - analytic paths in the space of hyperbolic triangles with one cusp . we apply the results of  [ sec : generic ] to deduce theorem [ thm : gennocf ] under the assumtption that there exists a triangle with no nonconstant neumann eigenfunction . the remainder of the paper is devoted to proving theorem [ thm : main ] which will give the existence of such a triangle . in  [ section : expansion ] we specialize to the family @xmath0 . after renormalizing by a factor of @xmath31 , we find that for each @xmath25 , the function @xmath32 has a taylor expansion at @xmath33 . we compute the leading order terms of this expansion .    in  [ section : approx ] we show that the method of the asymptotic separation of variables introduced in @xcite may be used to analyse the family of quadratic forms @xmath34 . in particular , we define a reference quadratic form @xmath35 to which separation of variables applies and that is asymptotic to @xmath34 at ` first order ' . by separation of variables we mean that each eigenfunction of @xmath35 is of the form @xmath36 with @xmath37 and @xmath38 a solution to a renormalized form of the equation for a modified bessel function with imaginary parameter . we show that one may deduce a non - concentration estimate ( proposition [ prop : noncon ] ) .    in  [ section : branches ] we use the non - concentration estimate to derive information concerning the real - analytic eigenbranches @xmath39 of @xmath34 . first , we show that there exists an integer @xmath40 so that @xmath41 limits to @xmath42 as @xmath12 tends to zero . second , we find that if the spectral projection of @xmath30 onto the space @xmath43 spanned by functions of the form the @xmath44 is relatively small , then the derivative @xmath45 is of order @xmath46 . finally , we show that if @xmath47 is a cusp form eigenbranch , then @xmath41 can not limit to zero .    in  [ sec : proof ] we prove theorem [ thm : main ] . by the dichotomy of  [ sec : generic ] , it suffices to show that real - analytic cusp form eigenbranches do not exist . we suppose to the contrary that the real - analytic family @xmath34 has a cusp form eigenbranch @xmath47 . by the results of  [ section : branches ] , we have that @xmath41 limits to @xmath42 where @xmath48 . by improving the analysis of @xcite , we show that there exists an eigenbranch , @xmath49 , of @xmath35 that ` tracks ' @xmath41 at order @xmath12 in the sense that @xmath50 we will obtain a contradiction to this estimate by estimating @xmath51 from below .    indeed , we show that when the norm of the projection @xmath52 of @xmath30 onto @xmath43 is relatively large with respect to @xmath53 , the function @xmath54 is of order @xmath55 , whereas when @xmath56 is relatively small , the function @xmath54 is of order @xmath57 . by controling the sizes of the sets where @xmath56 is respectively small and large relative to @xmath53 and by integrating , we will contradict ( [ trackingestimate ] ) . the key observation is the following : since @xmath41 limits to @xmath58 , it has to ` cross ' each of the eigenbranches of @xmath35 that limit to zero . we show that near such a crossing , the branch @xmath30 must ` interact ' with the functions in @xmath59 to such an extent that the projection onto @xmath43 can not be too large . the effect of each interaction is made precise by careful estimates of the off - diagonal terms in the quadratic form @xmath60 ( appendix a ) . by summing the effects of these interactions , we eventually prove that there exists @xmath61 so that @xmath62 thus contradicting ( [ trackingestimate ] ) . in this section , we describe some basic spectral theory of the neumann laplace operator acting on the square - integrable functions on domains in the hyperbolic plane with a cusp . we define the laplacian and associated dirichlet quadratic form , describe the fourier decomposition of eigenfunctions along horocycles , construct a modification of the dirichlet form whose eigenfunctions include the eigenfunctions ( cusp forms ) of the standard laplacian but whose spectrum is discrete . the half - plane @xmath63 equipped with the riemannian metric @xmath64 is the poincar - lobachevsky model for the @xmath65-dimensional hyperbolic space @xmath66 . the measure associated to the riemannian metric @xmath67 is given by integrating @xmath68 in the present context , a _ cusp of width @xmath69 and height @xmath70 _ is the subset @xmath71 \times [ y_0 , \infty[$ ] of the upper half plane . a domain @xmath72 is said to _ have one cusp _ if @xmath73 is the union of a cusp and a compact set . we will assume that the boundary of @xmath73 is the the union of finitely many geodesic arcs and that the interior of @xmath73 is connected . let @xmath74 denote the set of functions @xmath75 such that @xmath25 is the restriction to @xmath73 of a compactly supported smooth function defined on some neighbourhood of @xmath73 . the @xmath76-inner product of two functions @xmath25 and @xmath77 in @xmath74 is defined by @xmath78 abusing notation slightly , we will often write @xmath79 in place of @xmath80 . let @xmath81 denote the completion of @xmath74 with respect to the norm @xmath82 .    to define the neumann laplacian we consider the bilinear form defined on @xmath74 by @xmath83 where @xmath84 satisfies @xmath85 for all vector fields @xmath86 and smooth functions @xmath87 . let @xmath88 denote the value of the quadratic form @xmath89 . one computes that @xmath90 let @xmath91 denote the completion of @xmath74 with respect to the norm @xmath92 . we will consider @xmath26 as a nonnegative symmetric bilinear form on @xmath93 with domain @xmath91 . as such it is densely defined and closed , and hence there exists a unique , densely defined , self - adjoint operator @xmath94 on @xmath93 such that for each @xmath95 and @xmath25 in the domain of @xmath94 we have @xmath96 the operator @xmath94 is called the _ neumann laplacian_. it can be shown that @xmath97 if and only if @xmath98 and @xmath99 where in the definition of @xmath26 the partial derivatives are to be taken in the distributional sense . it is well - known that @xmath94 has essential spectrum equal to @xmath100 . ( for example , see @xcite or @xcite ) . apart from this essential spectrum , @xmath94 may also have eigenvalues either smaller than @xmath101 or embedded in the continuous spectrum .    from ( [ laplacian ] ) we see that @xmath25 is an eigenfunction of @xmath94 with eigenvalue @xmath102 if and only if @xmath97 and for each @xmath95 @xmath103      for each integer @xmath104 , define @xmath105 and define @xmath106 . the collection @xmath107 is an orthonormal basis for @xmath108)$ ] . hence , the functions @xmath109 provide an orthonormal basis of @xmath110)$ ] .    for positive @xmath111 , let @xmath112 \times [ y_0 , \infty[$ ] be a cusp of width @xmath69 and height @xmath70 .    for each @xmath25 in @xmath113 and almost every @xmath114 , the function @xmath115 belongs to @xmath110)$ ] . thus we can write @xmath116 where @xmath117 belongs to @xmath118 . we refer to @xmath119 as the @xmath120 fourier coefficient of @xmath25 . more generally , if @xmath73 is a domain with a cusp @xmath121 , then we define the @xmath120 fourier coefficient of a function @xmath122 to be the @xmath120 fourier coefficient restriction of @xmath77 to @xmath121 . parseval s theorem gives @xmath123 where @xmath124 denotes the characteristic function of a set @xmath86 . [ lem : ode ] if @xmath125 is a neumann eigenfunction of @xmath26 with eigenvalue @xmath102 , then for each @xmath126 and each @xmath127 , the fourier coefficient @xmath119 satisfies @xmath128    if @xmath77 is a smooth function on @xmath73 , then since @xmath25 is a neumann eigenfunction of @xmath26 , integration by parts gives @xmath129 by letting @xmath130 where @xmath131 is a smooth function with compact support in @xmath132y_0,\infty[$ ] , we find that @xmath133 it follows that @xmath119 satisfies ( [ eq : oden ] ) in the distributional sense in @xmath134 by elliptic regularity , @xmath119 is actually smooth and satisfies ( [ eq : oden ] ) in the strong sense .    in particular , @xmath135 for some constants @xmath136 and @xmath137 with @xmath138 . if @xmath139 , then the real part of @xmath140 equals @xmath141 , and hence @xmath142 does not belong to @xmath118 unless both @xmath136 and @xmath137 equal zero . therefore , we have the following . [ coro : cuspform ] if @xmath25 is a neumann eigenfunction with eigenvalue @xmath143 , then the zeroth fourier coefficient @xmath142 vanishes identically on @xmath144 .    in the classical spectral theory of a quotient of @xmath145 by a lattice in @xmath146 , a laplace eigenfunction @xmath25 with vanishing zeroth fourier coefficient in each cusp is called a _ ( weight zero ) maass cusp form_. even though most of the domains that we will consider are not fundamental domains for discrete groups of isometries , we will adapt this terminology . if @xmath25 is an eigenfunction for the neumann laplacian on a domain with a cusp , and @xmath147 , then we will call @xmath25 a _ cusp form_.    traditionally , the neumann eigenfunctions for @xmath14 are called _ even cusp forms _ whereas the solutions to the dirichlet eigenvalue problem are called _ odd cusp forms_. we will not consider odd cusp forms in this paper . we wish to apply analytic perturbation theory to study the behavior of eigenfunctions of @xmath26 on @xmath0 as we vary @xmath12 . because the eigenvalues of @xmath26 might lie inside the essential spectrum , standard perturbation theory does not apply directly . following @xcite and @xcite , we will use a modification of @xmath26 first constructed by p. lax and r. phillips @xcite @xcite . in this section , we recall the construction , show that the eigenvalues of the modification are isolated , and relate the eigenfunctions of the modification to those of @xmath26 . for @xmath148 , let @xmath149 denote the set of @xmath150 such that for each @xmath151 we have @xmath152 . let @xmath153 denote the hilbert space completion of @xmath149 with respect to @xmath154 . let @xmath155 denote the restriction of @xmath156 to @xmath157 . let @xmath158 denote the hilbert space completion of @xmath149 with respect to the norm @xmath159 . the restriction , @xmath23 , of @xmath26 to @xmath158 is a closed , densely defined quadratic form on @xmath157 . a simple argument shows that @xmath160 and @xmath161 in the sequel it will be more convenient to replace @xmath162 by the following other set . [ def : wbet ] define @xmath163 to be the set of functions @xmath25 in @xmath164 such that    * @xmath25 extends to a continuous function on the closure @xmath165 of @xmath166 * @xmath25 is smooth on @xmath167    observe that since @xmath168 , the closure of @xmath163 with respect to the norm @xmath159 is @xmath169 the latter assertion says that @xmath163 is a core of the quadratic form @xmath170    let @xmath171 denote the unique operator such that @xmath172 and that satisfies @xmath173 for each @xmath174 . [ lem : relation ] for each @xmath148 , the resolvent of @xmath171 is compact . hence , the spectrum of @xmath23 with respect to @xmath155 is discrete and each eigenspace is finite dimensional .    using the fourier decomposition , one shows that for each @xmath175 , the set of @xmath176 such that @xmath177 and @xmath178 is compact in @xmath157 ( see lemma 8.7 @xcite ) . it follows that @xmath171 has compact resolvent . hence , by standard spectral theory , the spectrum is discrete and the eigenspaces are finite dimensional . [ def : cf ] we will say that an eigenfunction @xmath25 of @xmath23 with respect to @xmath155 is a _ cusp form _ if and only for each @xmath127 we have @xmath152 .    [ lem : betacf ] the following assertions are equivalent :    1 . @xmath25 is a cusp form of @xmath26 with respect to @xmath156 . there exists @xmath148 such that @xmath25 is a cusp form of @xmath23 with respect to @xmath155 . 3 .   for each @xmath148 , the function @xmath25 is a cusp form for @xmath23 with respect to @xmath155 . @xmath179 : if @xmath25 is an eigenfunction of @xmath26 with eigenvalue @xmath102 , then by lemma [ lem : ode ] the zeroth fourier coefficient @xmath142 satisfies the differential equation @xmath180 . since @xmath181 vanishes for @xmath182 , it must vanish for @xmath183 . @xmath184 : fix a smooth function @xmath185 such that @xmath186 for @xmath187 and @xmath188 for @xmath189 if @xmath152 for each @xmath182 , then @xmath190 and @xmath191 for each @xmath95 . thus , if @xmath192 , then @xmath193 . @xmath194 : follows from the equivalence of ( 1 ) and ( 2 ) . not every eigenfunction @xmath25 of @xmath23 is an eigenfunction of @xmath26 . for example , if @xmath195 and @xmath196 is an eisenstein series whose zeroth fourier coefficient vanishes at @xmath24 , then @xmath197 is an eigenfunction of @xmath23 . this function is not smooth across @xmath24 , but elliptic regularity implies that each eigenfunction of @xmath26 is smooth . let @xmath198\times [ y_0,\infty)$ ] and let @xmath199 in this section , we consider a fixed domain @xmath73 that contains the cusp @xmath200 and a real - analytic family @xmath27 of quadratic forms defined on @xmath201 that represents the cusp of width @xmath202 for @xmath182 and some real - analytic function @xmath203 ( see definition [ def : represent ] below ) . we prove the following dichotomy : either there exists a real - analytic eigenfunction branch consisting of ` cusp forms ' or the set of @xmath12 such that @xmath29 has a ` cusp form ' eigenfunction is countable . this fact is fundamental to the proofs of both theorem [ thm : main ] and theorem [ thm : gennocf ] . let @xmath198\times   [ y_0 , \infty[$ ] and let @xmath204 . for any @xmath205 , we can define a transformation @xmath206 between @xmath207 and @xmath208 by asking that , for any @xmath209 the function @xmath210 is defined by @xmath211 since , in the sequel @xmath70 will be fixed , we will drop the index @xmath70 and denote by @xmath212 the cusp of width @xmath213    it is straighforward that @xmath206 is an isometry between @xmath207 and @xmath214 moreover @xmath206 also preserves @xmath164 in the sense that @xmath215 if and only if @xmath216    we may thus define @xmath217 the quadratic form obtained by pulling - back @xmath170 on @xmath212 using @xmath218 this quadratic form is then closed on the domain @xmath219 , and for each @xmath220 @xmath221    [ def : represent ] let @xmath73 be a domain that has @xmath200 as a cusp and @xmath222 let @xmath223 be a quadratic form closed over the domain @xmath224 we will say that @xmath223 represents the cusp of width @xmath69 for @xmath225 if , for any @xmath226 that is supported in @xmath227 we have @xmath228 for such a quadratic form , we will say that an eigenfunction @xmath25 is a cuspform if @xmath181 vanishes on @xmath229    the aim of this section is to prove that being a cuspform is a real - analytic condition . to make this statement precise we have to consider a family @xmath29 of quadratic forms that satisfies the following assumptions .    [ ass : qt ] let @xmath230 and @xmath231 . for each @xmath232t_- , t_+[$ ] , let @xmath202 be a positive real - analytic function on @xmath233 let @xmath29 denote a nonnegative , closed quadratic form with domain @xmath234 that represents the cusp of width @xmath202 for @xmath235 lastly , we assume that the family @xmath27 is real - analytic of type ( a ) in the sense of @xcite . that is , for each @xmath236 , the map @xmath32 is real - analytic . a straightforward application of analytic perturbation theory@xcite  vii  gives the following . [ thm : eigenbasis_exist ] let @xmath27 satisfy the assumptions above [ ass : qt ] . then there exist a collection of real - analytic paths @xmath237 and a collection of real - analytic functions @xmath238 so that for each @xmath12 , the set @xmath239 is an orthonormal basis for @xmath153 , and for each @xmath240 , the function @xmath241 is an eigenfunction of @xmath29 with eigenvalue @xmath242 since the embedding from @xmath243 into @xmath244 is compact , for any @xmath12 the spectrum of @xmath29 consists only in eigenvalues . the proof is then similar to the proof of theorem 3.9 in @xcite  viii.3.5 .    for @xmath245 , define @xmath246    [ lem : nocf_deriv_criterion ] an eigenfunction @xmath25 of @xmath29 is a cusp form if and only if @xmath247 . @xmath248 is the left - sided derivative of @xmath142 at @xmath249 . since @xmath25 is an eigenfunction , @xmath245 and @xmath142 is a solution to a second order ordinary differential equation on @xmath250 $ ] with @xmath251 . thus , @xmath142 vanishes identically on @xmath250 $ ] if and only if @xmath247 .    for real - analytic eigenbranches we have the following .    [ lem : lanalytic ] let @xmath252 be an analytic eigenbranch of @xmath29 then the mapping @xmath253 is analytic on @xmath132t_-,t_+[.$ ]    the zeroth mode @xmath254 of @xmath30 is a solution to the ode @xmath255 on @xmath256 $ ] with dirichlet boundary condition at @xmath257 denote by @xmath258 the unique solution to this ordinary differential equation that satisfies @xmath259 since the coefficients of the ordinary differential equation depend analytically on the parameter @xmath260 , the mapping @xmath261 is analytic ( with values in @xmath262)$ ] for instance ) . moreover , for each compact set @xmath263t_-,t_+[$ ] we can find @xmath264 such that , for each @xmath265 , @xmath266 . since @xmath30 is a multiple of @xmath267 , we then have @xmath268 analyticity on @xmath269 then follows from the analyticity of @xmath270 and @xmath271 and the choice of @xmath272 . we will say that real - analytic eigenfunction branch @xmath30 of @xmath29 is _ a cusp form eigenbranch _ if and only if for each @xmath273 , the eigenfunction @xmath30 is a cusp form ( see definition [ def : represent ] ) . using the real - analyticity proved in lemma [ lem : nocf_deriv_criterion ] we obtain the following    [ coro : cf_discrete ] if @xmath30 is a real - analytic eigenfunction branch that is not a cusp form eigenbranch , then the set of @xmath273 such that @xmath30 is a cusp form is discrete . we now proceed to prove that if @xmath29 has no real - analytic cusp form eigenbranch then , for a generic @xmath12 , the form @xmath29 has no cusp form . as it turns out , we will actually first prove that the spectrum of @xmath29 is generically simple . let @xmath274 denote the set of @xmath273 such that @xmath29 has an eigenspace of dimension at least two . [ prop : mult ] if @xmath29 does not have a real - analytic cusp form eigenbranch , then @xmath274 is countable . let @xmath275 and @xmath276 be as in theorem [ thm : eigenbasis_exist ] . for each @xmath277 , let @xmath278 . since each eigenspace of @xmath29 is spanned by a finite collection of @xmath279 , the union @xmath280 equals @xmath274 . the function @xmath281 is analytic , and hence @xmath278 is either countable or equals @xmath282 . thus to prove the claim , it suffices to show that it is not possible for @xmath283 to equal @xmath282 . suppose that there exists @xmath284 and @xmath40 so that @xmath241 and @xmath285 are real - analytic eigenbranches so that @xmath286 for each @xmath287 . to prove the proposition , it suffices to produce a linear combination @xmath30 of @xmath241 and @xmath285 so that for each @xmath273 , the function @xmath30 is a real - analytic cusp form eikgenbranch .    by hypothesis , neither @xmath241 nor @xmath285 are cusp form eigenbranches . by corollary [ coro : cf_discrete ] , the set @xmath288 of @xmath12 such that either @xmath241 or @xmath285 is a cusp form is discrete .    for each @xmath289 , define @xmath290 its suffices to show that @xmath291 extends to a real - analytic function on @xmath282 . indeed , since @xmath292 is linear , we have @xmath293 for each @xmath289 . by corollary [ lem : lanalytic ] , the real - analytic extension would satisfy @xmath294 . the order of vanishing of @xmath295 ( resp . @xmath296 ) is finite at each @xmath297 . if the order of vanishing of @xmath298 at @xmath299 is at least the order of vanishing of @xmath300 at @xmath301 , then the ratio @xmath302 has a real - analytic extension near @xmath301 . hence , factorizing @xmath300 we obtain that @xmath303 have real - analytic extensions near @xmath301 . if the order of vanishing of @xmath298 at @xmath301 is at most the order of vanishing of @xmath300 at @xmath301 , then a similar argument applies by factorizing @xmath298 everywhere . thus , @xmath30 extends to a real - analytic cusp form eigenbranch . let @xmath304 denote the set of @xmath273 such that @xmath29 has at least one cusp form eigenfunction . [ alt : alt ] if @xmath29 has no real - analytic cusp form eigenbranch , then @xmath304 is countable . if there exists a cusp form eigenbranch , then @xmath305 . therefore , we have the following dichotomy : either the set @xmath304 countable or the family @xmath27 has a real - analytic cusp form eigenbranch . let @xmath306 be as in theorem [ thm : eigenbasis_exist ] . by corollary [ coro : cf_discrete ] , the zero set @xmath307 is countable . if each eigenspace @xmath102 of @xmath29 is one - dimensional , then there exists a unique @xmath284 such that @xmath102 equals the span of @xmath241 . thus , if @xmath12 does not belong to @xmath274 or to any @xmath308 , then @xmath12 does not belong to @xmath304 . in other words , @xmath309 . by proposition [ prop : mult ] , the set @xmath274 is countable , and hence so is @xmath304 . in this section we use the results of the previous section to explain how theorem [ thm : gennocf ] can be deduced from the existence of a triangle with a cusp that has no nonconstant neumann eigenfunctions . this fact may probably be considered as folklore and follows the general philosophy of using analyticity to prove generic spectral results ( see @xcite ) . the main task here is thus construct a real - analytic family of quadratic forms that is associated with each real - analytic path in the moduli space of triangles . first , we discuss the parametrization of the set of triangles with one cusp . the statement of theorem [ thm : gennocf ] makes use of the fact that hyperbolic triangles with one cusp are parametrized by the two nonzero vertex angles . but in order to prove theorem [ thm : gennocf ] , it will be more convenient to use an alternate set of parameters .    for each geodesic triangle @xmath310 in the hyperbolic upper half plane @xmath66 having ( exactly ) one cusp , there exists a unique @xmath3110,1[$ ] and @xmath312 so that @xmath310 is isometric to the domain @xmath313 see figure [ trigeneric ] . the triangle @xmath314 in the upper half plane . ]    in this way , the set of hyperbolic triangles may be identified with the euclidean triangle @xmath315 we say that a subset of the set of triangles has measure zero if and only if the corresponding subset of @xmath316 has measure zero . similarly , a subset of the set of triangles is said to be a real - analytic curve if and only if the corresponding subset of @xmath316 is a real - analytic curve . these notions are equivalent to those used in the statement of theorem [ thm : gennocf ] because the relationship between the angles @xmath19 and the parameters @xmath317 is real - analytic . indeed , we have @xmath318 and @xmath319 . see figure [ trigeneric ] .    to prove theorem [ thm : gennocf ] , we will apply perturbation theory . the following fact makes this approach feasible . [ prop : allcuspform ] each nonconstant neumann eigenfunction on @xmath314 is a cusp form and hence an eigenfunction of the modified quadratic form @xmath23 . the eigenvalue of a nonconstant neumann eigenfunction on @xmath310 is at least 1/4 @xcite . thus , the claim follows from corollary [ coro : cuspform ] and lemma [ lem : relation ] . let @xmath320 denote the set of @xmath321 such that there exists @xmath322 so that the modified quadratic from @xmath23 has a cusp form . to prove theorem [ thm : gennocf ] it will suffice to show that @xmath320 has measure zero and is a countable collection of nowhere dense sets .      to show that @xmath320 is non - generic , we will use analytic perturbation theory and proposition [ alt : alt ] . in order to use analytic perturbation theory we will have to normalize the hilbert space and the domains of the quadratic forms . to accomplish this , we let @xmath323 \times [ 1 , \infty[$ ] and for each @xmath317 we define a @xmath324 diffeomorphism @xmath325 such that onto @xmath200 . the mapping that we define here is more complicated because it must preserve the notion of zeroth fourier coefficient for all @xmath326 above some point . in particular , the vertical displacement of vertical lines should not depend on @xmath327 for large @xmath326 . in @xcite , we considered dirichlet boundary conditions , and in that context there is no need to truncate the zeroth fourier coefficient . ]    1 . the restriction of @xmath328 is the identity for @xmath329 . 2 .   for each path @xmath330 , the family @xmath331 is a real - analytic path .    to construct @xmath328 , we use the fact that the map @xmath332 defines a fibration of @xmath314 over @xmath333 $ ] and a fibration of @xmath200 over @xmath334 $ ] . we define @xmath328 by sending the fiber over @xmath335 onto the fiber over @xmath336 . [ lem : defnb ] for each @xmath3370,{\underline{\alpha}}[$ ] , there exists a unique cubic polynomial @xmath338 so that    * @xmath339 , * @xmath340 . * @xmath341 , * @xmath342    the coefficients of @xmath338 are real analytic for @xmath3430,{\underline{\alpha}}[$ ] . moreover if @xmath344 then , for all @xmath345,$ ] and @xmath346 $ ] , we have @xmath347 .    since @xmath348 satisfying the two conditions on @xmath349 is equivalent to the existence of some @xmath136 such that @xmath350 denote by @xmath351 the cubic polynomial defined by @xmath352 by integration , there exists some @xmath353 such that @xmath354 evaluating at @xmath355 and using the condition on @xmath356 we find @xmath357 observe that @xmath358 if @xmath359 and , under this condition , we can solve the last equation on @xmath338 to find @xmath360 we obtain @xmath361\\ & = \frac{1-{\alpha}}{2{\underline{\alpha } } } \left [ { \alpha}^2+{\underline{\alpha}}^2 - 2{\underline{\alpha}}({\alpha}+1)\right],\\ & = \frac{(1-{\alpha})\left [ { \alpha}^2 -2 { \underline{\alpha}}{\alpha}+ { \underline{\alpha}}^2 - 2{\underline{\alpha}}\right ] } { 2{\underline{\alpha } } } \end{split}\ ] ]    it follows that we have a unique solution provided @xmath362 and @xmath363 and that the coefficients are real - analytic in @xmath364    we now check the last statement . for @xmath365 , we have @xmath366 so that the claim follows . for @xmath367 we observe that the numerator of @xmath136 is a cubic polynomial that has three roots at @xmath368 thus , if @xmath369 then @xmath16 is the smallest root . since this cubic polynomial is positive for large negative @xmath355 and the denominator also is positive , it follows that @xmath136 is positive for @xmath370 so @xmath371 is a concave function , and by construction @xmath372 and @xmath373 . the claim follows . we will use the notation @xmath374 as well as the notation @xmath375    define @xmath376 by @xmath377 where @xmath378 define @xmath379 by @xmath380 observe that the conditions on @xmath137 imply that @xmath381 and @xmath382 are continuous on @xmath314 so that @xmath328 is @xmath383    we will use this function @xmath328 to normalize the triangle @xmath384 this is made possible by the following lemma . [ lem : bprop ] suppose that @xmath385 for each @xmath386 then the map @xmath328 is a @xmath324 diffeomorphism from @xmath314 onto @xmath200 . + in particular , for each @xmath387 and each @xmath388 , the mapping @xmath328 is a @xmath324 diffeomorphism from @xmath314 onto @xmath389    it suffices to show that the map @xmath390 is a @xmath324 diffeomorphism from @xmath391 onto @xmath392 . by assumption @xmath393 for each @xmath327 . we have @xmath394 , @xmath395 and @xmath396 . since @xmath390 is the identity for @xmath397 , we find that @xmath390 is a @xmath324 diffeomorphism from @xmath391 onto @xmath398 $ ] .    for each @xmath399 and each @xmath400 , we define @xmath401 and @xmath402 by @xmath403    we then have    [ lem : phi_analytic ] for each @xmath404 , each of the following maps is analytic on @xmath401 :    1 . @xmath405 2 . @xmath406 3 . @xmath407    if , for each @xmath408 the assumption of lemma [ lem : bprop ] holds then the map @xmath409 is also analytic on @xmath402 . + moreover , each restriction extends analytically to an open neighbourhood . the coefficients of the cubic polynomial @xmath338 depend analytically on @xmath410 and hence @xmath411 is analytic . the map @xmath412 is analytic and hence it follows that map ( 1 ) is analytic . maps ( 2 ) and ( 3 ) are therefore analytic . since @xmath411 is analytic and @xmath413 for @xmath414 , the implicit function theorem ( theorem 2.1.2 in @xcite ) implies that there exists a function @xmath415 which is analytic and a solution to @xmath416 we then have @xmath417 and , since @xmath418 is analytic , the claim follows .    in the rest of the section , @xmath387 will be fixed so that we can use lemmas [ lem : bprop ] and [ lem : phi_analytic ] . we use the family of diffeomorphisms @xmath328 to define a quadratic form @xmath29 with domain @xmath419 that is unitarily equivalent to @xmath23 on @xmath420 . define @xmath421 by @xmath422 where @xmath423 is the operator that returns the jacobian matrix of a map . [ lem : domain ] the isometry @xmath424 is a unitary isomorphism from @xmath425 onto @xmath426 and it maps @xmath234 onto @xmath427 . + on functions that are supported in @xmath428 , @xmath424 coincides with @xmath218    we have @xmath429 it follows that @xmath424 is a unitary isomorphism from @xmath425 onto @xmath426 . let @xmath430 since @xmath328 is a @xmath431 diffeomorphism and @xmath432 is continuous on @xmath314 and smooth away from @xmath24 , then @xmath433 is continuous and in @xmath434 . the jump formula implies that @xmath435 + since , for @xmath436 , @xmath437 , the last statement is a direct verification . define the quadratic form @xmath438 on @xmath439 by @xmath440    [ lem : cuspequivalence ] @xmath25 is a cusp form for @xmath438 if and only if @xmath441 is a cusp form for @xmath26 on @xmath314 .    if @xmath442 , then @xmath443 . it follows that if @xmath442 , then @xmath152 if and only if @xmath444 . for @xmath445 , the function @xmath446 is a solution to a second order ordinary differential equation , and hence @xmath444 for @xmath447 if and only if @xmath444 for @xmath448 .    it will be convenient to have the following alternate form for @xmath29 . [ prop : alternate ] we have @xmath449 where @xmath450 is defined by @xmath451 and @xmath452 is defined by @xmath453 moreover , @xmath438 represents the cusp of width @xmath69 for @xmath235    this is a straightforward calculation using the chain rule and the change of variables formula . let @xmath454t_-,t_+[$ ] and let @xmath330 be a real - analytic path . [ thm : analyticity ] the family quadratic forms @xmath455 is analytic of type ( a ) in the sense of @xcite .    for each @xmath12 , the quadratic form @xmath456 is a closed form with domain @xmath457 . it suffices to show that for each @xmath236 , the function @xmath458 is real - analytic .    by proposition [ prop : alternate ] , we have @xmath459 where @xmath460 if @xmath461 \times [ \underline{\alpha } , \infty[$ ] , then the matrix @xmath462 is given by @xmath463 and @xmath464 . thus , the second integral on the right of ( [ eq : splitintegral ] ) depends analytically on @xmath12 . it remains to consider the integral over @xmath334\times [ 1,\underline{\alpha}]$ ] . the integrand @xmath465 can be expanded into a finite sum of terms of the form @xmath466 where @xmath467 is a function that is obtained by multiplying @xmath468 or its derivatives and the entries of @xmath469 and @xmath69 is one of the @xmath470 functions obtained by making the product @xmath471 where both @xmath472 are either @xmath25 or one of its partial derivatives .    by lemma [ lem : phi_analytic ] , the coordinates of @xmath328 and @xmath473 are analytic functions of @xmath317 . it follows that @xmath474 and @xmath475 are analytic ( in a neighborhood of @xmath476 \times [ 1 , \underline{\alpha}]$ ] ) . in all possible choices , the function @xmath467 then is analytic . the analyticity of @xmath458 follows from lemma [ lem : intanalytic ] below . [ lem : intanalytic ] if @xmath477 \times [ 1 , \underline{\alpha}]$ ] is analytic , then for each @xmath478 \times [ 1 , \underline{\alpha}])$ ] , the function @xmath479 is analytic on @xmath282 . there exists an open neighborhood @xmath480 of @xmath476 \times [ 1 , \underline{\alpha}]$ ] such that the map @xmath481 extends to a holomorphic function on @xmath482 . since @xmath334 \times [ 1,\underline{\alpha}]$ ] is compact , @xmath483 converges uniformly to @xmath484 as @xmath12 approaches @xmath140 . it follows that the ( complex ) @xmath12-derivative of the map in ( [ eq : intanalytic ] ) exists at each @xmath485 . given theorem [ thm : analyticity ] , we now explain why the generic triangle @xmath314 has no cusp forms provided that one triangle has none . if there exists a point @xmath486 such that @xmath26 on @xmath487 has no nonconstant eigenfunction , then @xmath320 has measure zero and is a countable union of nowhere dense sets . by proposition [ prop : allcuspform ] , the quadratic form @xmath23 on @xmath487 has no cusp form , and hence by lemma [ lem : cuspequivalence ] , the quadratic form @xmath488 has no cusp form .    to show that @xmath320 has measure zero , we apply fubini s theorem in a fashion similar to @xcite : let @xmath489 and apply lemma [ alt : alt ] to find that the set @xmath137 of @xmath69 such that @xmath490 is countable . for each @xmath491 , let @xmath492 and apply lemma [ alt : alt ] to find that the intersection @xmath493 of the line @xmath494 with @xmath320 is countable . hence for each @xmath491 , the set @xmath493 has measure zero with respect to the linear measure @xmath495 . hence , the measure of @xmath320 equals the measure of @xmath496 . since @xmath137 is countable , the measure equals zero .    for @xmath497 , let @xmath498 be the set of @xmath321 such that @xmath26 on @xmath499 has a cusp form with eigenvalue at most @xmath500 . using the continuity of @xmath501 and the continuity of linear functional @xmath292 , one can show that @xmath498 is a closed . thus , it suffices to show that @xmath498 is nowhere dense .    given a point @xmath502 , let @xmath503 \rightarrow { { \mathcal m}}$ ] be a real - analytic path joining @xmath504 to @xmath317 . since @xmath23 on @xmath487 has no cusp forms , the family @xmath455 has no cusp form eigenfunction branch . it follows from lemma [ alt : alt ] , that for each open neighborhood @xmath482 of @xmath317 , there exists @xmath505 $ ] such that @xmath506 and @xmath507 has no cusp forms . hence @xmath498 is nowhere dense . in the remainder of this paper we consider the specific family of triangles @xmath508 defined in the introduction . in particular , we will study the spectral properties of @xmath509 for small @xmath12 . the family @xmath509 of quadratic forms does not converge as @xmath12 tends to zero nor do its real - analytic eigenbranches . but a simple renormalization will give convergence . fix @xmath322 and @xmath399 such that @xmath510 . let @xmath137 be the function defined in lemma [ lem : defnb ] . when @xmath355 tends to @xmath16 , the function @xmath511 converges to @xmath16 uniformly for @xmath512.$ ] thus , there exists @xmath513 such that if @xmath514 and @xmath515 then @xmath516 choose @xmath301 such that @xmath517 then , for each @xmath518 and each @xmath519 @xmath520 so that @xmath521 we may thus use lemmas [ lem : bprop ] and [ lem : phi_analytic ] . the methods and results of section [ subsec : analyticity ] then apply and we define the quadratic form @xmath509 as previously .    for each @xmath522 , define the renormalized quadratic form by @xmath523 with domain @xmath234 . by theorem [ thm : analyticity ] , the family @xmath27 is real - analytic of type ( a ) for @xmath40,1[$ ] . in particular , the results of  [ subsec : generic ] apply .    to study the limiting properties of the family @xmath29 , we re - express @xmath29 in a more convenient form : for each @xmath324 function @xmath524 define @xmath525 recall that @xmath526 is the inverse of @xmath338 and set @xmath527 . define @xmath528 and @xmath529    where the subscript ( or first argument ) in each @xmath530 and @xmath137 is @xmath531 . when comparing @xmath532 and @xmath533 ( @xmath469 and @xmath534 ) we see that we only miss some powers of @xmath12 than eventually cancel in the computation leading to proposition [ prop : alternate ] . this shows that for each @xmath236 @xmath535 where @xmath536\times [ 1 , \underline{\alpha}]$ ] and @xmath537\times [ \underline{\alpha } , \infty]$ ] .    by arguing as in the proof of theorem [ thm : analyticity ] , one can show that @xmath538 is analytic at @xmath33 . is not closed on the domain @xmath234 , the family @xmath29 is _ not _ analytic at @xmath33 in the sense of @xcite . ]    we will now compute the first few terms in the taylor series in @xmath12 for @xmath539 and @xmath540 these functions are analytic on a neighbourhood of @xmath541 in particular , in the following , the expressions like @xmath542 are uniform with respect to @xmath543 and may be differentiated with respect to @xmath544 and @xmath545 . we first compute @xmath546 and @xmath547 since @xmath548 is analytic and @xmath549 , it follows from ( [ eq : fexp ] ) that @xmath550 moreover , using analyticity , this asymptotic expansion may be differentiated with respect to @xmath551 we thus obtain , @xmath552 substituting these into ( [ defn : rhotilde ] ) , and differentiating , we find that @xmath553 using ( [ eq : fexp ] ) , ( [ eq : fderivexp ] ) , ( [ exp : yalpha ] ) , and ( [ exp : yderivalpha ] ) we find that @xmath554 where @xmath282 is the identity matrix , @xmath542 is a matrix whose operator norm is bounded by a constant times @xmath31 as @xmath12 tends to zero , and @xmath555 is the polynomial @xmath556    to prove theorem [ thm : main ] we will need to know that @xmath557 .    [ lem : p_positive ] @xmath558 . by construction we have @xmath559 by differentiating with respect to @xmath355 and setting @xmath365 we get @xmath560 since @xmath561 the claim follows . in this section we apply the method of asymptotic separation variables developed in @xcite to the family @xmath29 . using the small @xmath12 asymptotics derived in  [ section : expansion ] , we approximate @xmath29 to first order with a family of quadratic forms @xmath35 for which separation of variables apply . we also derive a non - concentration estimate for eigenfunctions of @xmath29 .    in this section and the following sections , we will use @xmath562 in place of @xmath563 as coordinates for @xmath564 \times [ 1 , \infty[$ ] and unless it is specified otherwise @xmath565 is the norm in @xmath566      we begin by using the expansions obtained in  [ section : expansion ] to determine the forms used to approximate @xmath29 . in particular , by substituting the expansions ( [ exp : rho ] ) and ( [ exp : q ] ) into ( [ eq : qdefn ] ) we are led to define @xmath567 and @xmath568 where the operator @xmath569 is defined by ( [ eq : gradient ] ) , @xmath536 \times [ 1 , \underline{\alpha}]$ ] , and @xmath570    we wish to show that @xmath29 is asymptotic to @xmath35 at first order in the sense of @xcite . it will also be used to help derive a key estimate for crossing eigenbranches . however , although @xmath35 is a positive quadratic form , the bottom of its spectrum tends to @xmath571 so that it is more convenient to use the quadratic form @xmath572 that we now define to control quantities . [ def : tildea ] the quadratic form @xmath572 is defined on @xmath573 by @xmath574    the following proposition can be seen as the beginning of an asymptotic expansion for @xmath575    [ prop : q - a - tb ] there exists @xmath353 such that for each @xmath576 @xmath577    we have @xmath578 if @xmath579 , then @xmath580 is identically equal to @xmath16 and @xmath581 is identically equal to @xmath282 . hence , by subsituting ( [ eq : nablarhow ] ) into ( [ eq : qdefn ] ) , we find that @xmath582 is the sum of the following four terms @xmath583 in order to estimate these four terms , we use the asymptotic expansions of  [ section : expansion ] . for example , by ( [ exp : q ] ) we have that ( [ leading ] ) is equal to @xmath584 since the operator norm of the matrix @xmath542 is bounded by a constant @xmath353 times @xmath31 , we can apply the cauchy - schwarz inequality to find that the norm of ( [ exp : q ] ) is bounded by @xmath585 . similar arguments show that there is a constant @xmath353 so that    * ( [ mixed ] ) is bounded above by @xmath586 * ( [ mixed2 ] ) is bounded above by @xmath587 * ( [ uv ] ) is bounded above by @xmath588    the claim follows . we recall the fourier decomposition of section [ sec : fourier ] . since now @xmath589 we thus have , for each @xmath590 @xmath591 where the latter makes sense for almost every @xmath326 and defines an element of @xmath592    as above , let @xmath593 denote the set of functions @xmath594 such that @xmath77 is the restriction of a compactly supported , smooth function defined in a neighborhood of @xmath200 . if @xmath595 , then each @xmath119 is smooth , and a straightforward computation shows that is the operation defined by @xmath596 . ] @xmath597 we define @xmath598 to be the set of compactly supported , smooth functions defined on @xmath599 . for @xmath600 , each integer @xmath40 , and each @xmath601 , we define @xmath602    for @xmath603 in @xmath604 , the inner product is defined by @xmath605 let @xmath606 denote the subspace consisting of those functions whose support lies in @xmath607 $ ] .    for each @xmath126 , the quadratic form @xmath608 extends to a closed , densely defined form on the completion of @xmath609 with respect to @xmath610 . for @xmath611 , we will restrict the domain of @xmath608 to be the completion of those smooth functions whose support lies in @xmath607 $ ] . if @xmath25 is an eigenfunction of @xmath35 with eigenvalue @xmath260 , then for each @xmath77 in the domain of @xmath608 , we have @xmath612 and hence @xmath119 is an eigenfunction of @xmath608 with eigenvalue @xmath260 with respect to @xmath613 . thus , each eigefunction @xmath25 of @xmath35 may be written uniquely as @xmath614 where the @xmath120 fourier coefficient @xmath119 is an eigenfunction of @xmath608 . moreover , the spectrum of @xmath35 with respect to @xmath615 is the union of the spectra of @xmath608 with respect to @xmath613 . in what follows we will often suppress the subscript @xmath326 from the notation . the next two lemmas identify the eigenfunctions of @xmath608 for each @xmath40 . we begin with the nonzero modes . [ lem : nonzero_fourier ] for each @xmath12 and @xmath40 and eigenvalue @xmath260 of @xmath608 with respect to @xmath613 , the associated eigenspace consists of functions of the form @xmath616 such that @xmath617    moreover , when @xmath12 varies , the spectrum is organized into eigenvalues branches @xmath618 each of these is a growing function of @xmath12 and @xmath619    integrate by parts as in the proof of lemma [ zerolemma ] , make the change of variables @xmath620 , and use the boundary conditions . the second part follows from theorem [ thm : eigenbasis_exist ] . the zero modes are given by the following lemma . [ zerolemma ] the spectrum of @xmath621 with respect to @xmath613 is the set @xmath622 the eigenspace associated to @xmath623 is spanned by the eigenvector @xmath624    suppose that @xmath77 is an eigenfunction , that is @xmath625 for all @xmath69 . this implies first that @xmath626 holds in the distributional sense . ellipticity then yield that @xmath77 is smooth . moreover , by integrating by parts against a smooth function that is identically equal to @xmath16 near @xmath627 , we also find that @xmath628 let @xmath140 be such that @xmath629 . then two linearly independent solutions are given by @xmath630 and @xmath631 if @xmath632 and by @xmath633 and @xmath634 if @xmath635 . the condition that @xmath636 is real and nonnegative implies either that @xmath637 with @xmath638 , that @xmath639 or that @xmath635 . if @xmath640 , then the boundary conditions @xmath641 and @xmath642 imply that the solutions take the form given in in ( [ zeroeigenvector ] ) with @xmath643 . if @xmath644 $ ] , then there are no solutions that satisfy the boundary conditions .    as a consequence of the identification of the eigenfunctions we have the following poincar type inequality . [ lem : poincare ] for each @xmath645 and each @xmath220 we have @xmath646    we have @xmath647 lemmas [ lem : nonzero_fourier ] and [ zerolemma ] imply @xmath648 and @xmath649 for @xmath650 .    in the sequel we will use different kind of projections associated either with the fourier decomposition @xmath651 or with the spectral decomposition of @xmath652    more precisely , for each @xmath653 define the orthogonal projection @xmath654 by @xmath655 and let @xmath656 denote the image of @xmath657 . for each @xmath658 , we define @xmath659 the projection onto @xmath660 . we also define @xmath661 to be the orthogonal projection onto the eigenspace of @xmath35 associated to the eigenvalue @xmath260 of @xmath35 . for a fixed interval @xmath282 , define the @xmath35-spectral projection in the energy interval @xmath282 to be @xmath662 for each eigenvalue @xmath260 of @xmath35 , the associated @xmath35-eigenspace @xmath663 is the orthogonal direct sum @xmath664 where @xmath665 is the @xmath260-eigenspace of @xmath666 and @xmath667 is the span of @xmath668 . it follows that @xmath669    more generally , for a quadratic form @xmath545 the notation @xmath670 will always denote the spectral projection onto the interval @xmath233      we prove that @xmath35 and @xmath29 are asymptotic at first order in the sense of @xcite . in the following , we let @xmath671 ( resp . @xmath672 ) denote the derivative of @xmath29 ( resp . @xmath35 ) in @xmath12 . [ prop : q - a_asymp ]    there exists a constant @xmath353 and @xmath301 such that , for all @xmath673 and all @xmath674 @xmath675    one argues as in the proof of proposition [ prop : q - a - tb ] paying a little more attention to the terms ( [ mixed ] ) , ( [ mixed2 ] ) , and ( [ uv ] ) . for example , to estimate ( [ mixed ] ) , use the cauchy - schwarz inequality and ( [ exp : rho ] ) to obtain @xmath676 the cauchy - schwarz inequality and lemma [ zerolemma ] give @xmath677 by combining ( [ est : nabla_rho ] ) and ( [ est : v_nabla ] ) and using ( [ exp : rho ] ) we find that @xmath678 switching the roles of @xmath25 and @xmath77 , we obtain the same bound for the expression in ( [ mixed2 ] ) . similar methods apply to bound the other terms . the estimate for @xmath679 is obtained in a similar way . since @xmath29 is asymptotic to @xmath35 at first order and @xmath35 and @xmath672 are nonnegative quadratic forms , each real - analytic eigenvalue branch @xmath41 of @xmath29 converges to a finite limit @xmath680 as @xmath12 tends to zero ( theorem 3.4 of @xcite ) . for the dirichlet eigenvalue problem on @xmath0 , we showed in @xcite that each limit @xmath680 has the form @xmath42 where @xmath40 is an integer . the methods of @xcite can be applied to show that the same fact is true in the present context . in this section we highlight the necessary modifications . we also show that if the eigenvalue branch is associated to a cusp form , then @xmath40 must be positive . this latter fact will be used crucially in the proof of theorem [ thm : main ] . the proof of convergence depends crucially on the following ` non - concentration ' result proved for the dirichlet problem in @xcite . we will denote by @xmath681 the domain of the quadratic form @xmath682 and by @xmath683 the quadratic form defined for @xmath684 by @xmath685    [ prop : real_noncon](compare proposition 9.1 of @xcite ) let @xmath653 , let @xmath269 be a compact subset of @xmath132(\pi \ell)^2 , \infty[$ ] , and let @xmath686 . there exist positive constants @xmath301 and @xmath687 ( that only depend on @xmath688 and @xmath353 ) so that if @xmath689 , if @xmath518 , and if for each @xmath690 , the function @xmath691 satisfies @xmath692 then @xmath693    if @xmath694 this is proposition 9.1 of @xcite with @xmath695 and @xmath696 . if @xmath697 and we let @xmath698 , then ( [ nonconcentrate ] ) holds .    in the language of semi - classical analysis , propostion [ prop : real_noncon ] asserts that a quasimode @xmath77 of order @xmath12 at energy @xmath102 does not concentrate at @xmath699 if @xmath700 . in  12 of @xcite , we used non - concentration to derive indirect estimates for @xmath701 . the following proposition and corollary make these estimates more transparent and simpler to apply . [ prop : noncon ] let @xmath653 and let @xmath702 ( \pi \ell)^2,\infty[$ ] be compact . for each @xmath703 , there exists @xmath704 and @xmath705 such that for each @xmath691 and @xmath518 @xmath706 where @xmath707    from ( [ defn : ak ] ) we find that @xmath708 and hence @xmath709 if the claim is not true , then for each @xmath704 , there exists a sequence @xmath710 tending to zero and sequences @xmath711 @xmath712 such that @xmath713 in particular , since @xmath714 , we have @xmath715 . it follows that for each @xmath716 @xmath717 we fix @xmath718 such that @xmath719+k \subset ( ( \ell \pi)^2 , \infty),$ ] and we set @xmath720}(\tilde{v}_n ) = p_{{\widetilde{a}_t^\ell}}^{[e_n+1-\delta , e_n+1+\delta]}(\tilde{v}_n).$ ] reasoning as in the proof of lemma 2.3 in @xcite we find that @xmath721 observe that the sequences @xmath722 and @xmath723 depend on the initial choice of @xmath724 but the preceding estimate gives a constant @xmath353 that is independent of @xmath724 such that @xmath725 this implies in particular @xmath726 so that , for @xmath727 large enough we have @xmath728    in equation ( [ eq : tvnisqm ] ) we replace the test function @xmath69 by @xmath729}(w)$ ] and use that the spectral projector is self - adjoint and commutes with @xmath730 we obtain that for each @xmath731 , @xmath732}(w ) \right)^{\frac{1}{2}}\\ & \leq c \cdot t_n \cdot \| v_n\| \|w\| , \end{split}\ ] ] where we have used that @xmath733 is controlling @xmath734 and that @xmath735}(w)\right ) \,\leq\ , ( \sup(k)+\delta)\|w\|^2\ ] ] by definition of a spectral projector . since @xmath736 and @xmath737 is a non - negative quadratic form , we also have @xmath738    equation ( [ eq : vnisqm ] ) implies that we may use proposition [ prop : real_noncon ] to find @xmath739 since ( [ eq : vnisqm ] ) also implies @xmath740 using ( [ eq : adot_express ] ) we find that @xmath741 on the other hand , the contradiction assumption implies that @xmath742 the implied constant @xmath353 does not depend on @xmath724 so if we take @xmath743 then choosing @xmath744 small enough yields the contradiction . this proposition yields an estimate for @xmath745 from below in terms of the projection @xmath746    [ coro : noncon ] let @xmath48 and let @xmath747 be a compact subset of @xmath132(\pi k)^2 , \infty[$ ] . for each @xmath748 , there exists @xmath749 @xmath705 such that if @xmath689 , @xmath750 , and @xmath751 , then @xmath752 where @xmath753    the functional @xmath754 is equivalent to the @xmath755-norm of @xmath756 where here @xmath757 is the operator such that @xmath758 for each @xmath759 . since @xmath672 is block diagonal with respect to the sum @xmath760 and @xmath761 , we have @xmath762 we may apply proposition [ prop : real_noncon ] with @xmath763 to each term on the right hand side to find that @xmath764 where @xmath687 is the minimum of the @xmath724 coming from proposition [ nonconcentrate ] . for each @xmath765 , and @xmath766 , we have @xmath767 and hence @xmath768 . we also have , @xmath769 , and the claim follows . the bounds proved in  [ sec : noncon ] depend on a bound on @xmath770 . in this subsection , we show that if @xmath69 is an @xmath35-spectral projection of a @xmath29-eigenfunction in an interval containing the eigenvalue @xmath102 , then @xmath770 is of order @xmath12 . we start with a real - analytic eigenfunction branch @xmath30 for @xmath29 with associated real - analytic eigenvalue branch @xmath41 . we let @xmath771 denote the associated spectral projection . let @xmath680 denote the limit of @xmath41 as @xmath12 tends to zero . the following two lemmas express the fact that the projection @xmath772 is an order @xmath12 quasimode for @xmath35 at energy @xmath41 . first we have a lemma that is comparable to lemma 2.3 in @xcite . [ lem : u_w_close ] if @xmath282 is a compact interval whose interior contains @xmath680 , then there exist @xmath705 and @xmath353 such that if @xmath518 , then @xmath773    using the fact that @xmath30 is an eigenfunction of @xmath29 and that @xmath35 and @xmath29 are asymptotic at first order , for each @xmath774 @xmath775 observe that letting @xmath776 yields that @xmath777 moreover the former equation can be rewritten as @xmath778 where $ \tilde{e}_t:= e_t+1.$ we may now follow the proof of lemma 2.3   in \cite{hj10 } observing that $ p_{a_t}^i = p_{{\widetilde{a}_t}}^{i+\{1\}}.$   this yields a constant $ c$ such that   \begin{equation * } \begin{split } a_t(u_t - w_t^i)\,+\,\|u_t - w_t^i\|^2\ , & \leq \ , c\cdot t^2 \cdot { \widetilde{a}_t}(u_t)\\ & \leq \frac{c\cdot t^2}{1-c\cdot t^2 } \|u_t\|^2,\\ & \leq c'\cdot t^2 \|u_t\|^2 . \end{split}\ ] ] the claim follows . observe that by orthogonality the preceding lemma also imples the following estimate that roughly expresses the fact that all the mass of @xmath30 is supported by @xmath779 @xmath780    [ lem : quasimode ] if @xmath282 is a compact interval whose interior contains @xmath680 , then there exist @xmath705 and @xmath353 such that if @xmath518 , then @xmath781    for each @xmath782 we have @xmath783 so that the cauchy - schwarz inequality and the preceding lemma imply @xmath784 we also have using cauchy - schwarz and the preceding lemma . @xmath785 we now start again from ( [ eq : afo ] ) . first in the bounding term , we have already seen that we could replace @xmath786 by @xmath787 thus from the triangle inequality , ( [ eq : afo ] ) and the two preceding estimates we obtain @xmath788 the claim follows using ( [ eq : normwequivnormu ] ) . lemma [ lem : quasimode ] has the following corollary that expresses , in the language of semiclassical analysis , that @xmath779 is an order @xmath12 quasimode . [ coro : wisqm ] if @xmath282 is a compact interval that contains @xmath680 there exists @xmath353 and @xmath705 such that , for @xmath518 and each @xmath789 , we have @xmath790    since @xmath791 is a spectral projector , we have @xmath792 and hence lemma [ lem : quasimode ] implies @xmath793 since @xmath794 , the claim follows .      by combining lemma [ lem : quasimode ] with corollary [ coro : noncon ] we prove the following . [ thm : limitsq ] let @xmath47 be an eigenbranch of @xmath29 then there exists @xmath795 such that @xmath796    suppose to the contrary that @xmath680 is not of the form @xmath797 where @xmath40 is an integer . let @xmath798 . choose a compact interval @xmath799(n-1)^2\pi^2,n^2\pi^2[$ ] whose interior contains @xmath680 . let @xmath30 be a real - analytic eigenfunction branch of @xmath29 associated to @xmath41 . let @xmath800 be the projection of @xmath30 onto the modes of @xmath35 that have energy lying in @xmath282 . if @xmath801 , then each eigenvalue of @xmath666 is at least @xmath802 . ( this follows from lemma [ lem : lambda_asymp ] or simply the nonnegativity of @xmath672 . ) thus , since @xmath803 , equation ( [ eq : projection_relation ] ) implies that @xmath804 let @xmath353 be as in lemma [ lem : quasimode ] , and apply lemma [ coro : noncon ] with @xmath805 to obtain @xmath687 so that @xmath806 it follows that @xmath807 is not integrable . this contradicts theorem 4.2 of @xcite .    the next proposition will be the starting point of the contradiction argument in the following sections . it says that a cusp form eigenbranch can not limit to @xmath571 . heuristically , the zeroth fourier coefficient of a cusp form vanishes identically whereas an eigenvalue branche that limit to @xmath571 must eventually live have nontrivial zeroth fourier mode . however , because we have made a nontrivial change of variable , this fact requires an argument . [ prop : cflimnot0 ] if @xmath41 is a real - analytic cusp form eigenvalue branch of @xmath29 , then the integer @xmath40 appearing in ( [ eq : elimit ] ) is positive . suppose to the contrary that @xmath808 . set @xmath809 $ ] and consider @xmath810 defined in ( [ defn : wti ] ) . if @xmath694 , the restriction of @xmath811 to @xmath656 is bounded below by @xmath812 , thus we have @xmath813 on the other hand , the projection of @xmath30 onto @xmath814 equals @xmath815 . let @xmath816 denote the projection of @xmath817 onto @xmath59 . since each @xmath656 is a direct sum of eigenspaces of @xmath811 , we have @xmath818 the quadratic form @xmath811 is nonnegative and the restriction of @xmath35 to @xmath814 is bounded below by @xmath819 . hence @xmath820 . by lemma [ lem : u_w_close ] we have @xmath821 therefore , @xmath822 , and hence @xmath823 for small @xmath12 . lemma [ lem : cuspequivalence ] implies that @xmath824 is a cusp form for @xmath26 . in particular , for each @xmath825 $ ] @xmath826 where @xmath827 and @xmath828 . inspection shows that there exists @xmath353 such that @xmath829\times[1,\beta]\right \ } \ , \leq \ , c \cdot t \ ] ] for small @xmath12 . therefore , using the cauchy - schwarz inequality we find that @xmath830 using the fundamental theorem of calculus and the cauchy - schwarz inequality we find that @xmath831 thus , since there exists @xmath832 so that @xmath833\times[1,\beta]\right \ } \leq c ' \cdot t\ ] ] for small @xmath12 , we have @xmath834 since @xmath35 and @xmath29 are asymptotic at first order @xmath835 for sufficiently small @xmath12 . by combining these estimates , we find that @xmath836 since @xmath837 we can combine ( [ eq : zero_zero ] ) , ( [ est : etaminus1 ] ) and ( [ est : gradient ] ) to find that @xmath838 squaring and integrating over @xmath825 $ ] , we find that @xmath839 without loss of generality , we have @xmath840 . therefore , if @xmath41 limits to zero , then ( [ est : zerosmall ] ) will contradict ( [ est : zerolarge ] ) for small @xmath12 . we can also use the nonconcentration of the spectral projection to give an @xmath841 lower bound on the first variation @xmath842 in the case that the projection onto the small modes is significant . [ prop : adotbound ] let @xmath282 be a compact interval whose interior contains @xmath680 and @xmath843 . for each @xmath844 , there exists @xmath704 and @xmath705 so that if @xmath845 and @xmath846 then @xmath847    using the cauchy - schwarz inequality and the nonnegativity of @xmath672 we have @xmath848 it follows from ( [ eq : defa_t ] ) that for all @xmath849 @xmath850 and hence @xmath851 . moreover , by combining this with lemma [ lem : u_w_close ] we find @xmath852    thus , from ( [ est : adotu_adotw ] ) we obtain @xmath853 hence by applying lemma [ lem : u_w_close ] we have @xmath854 for @xmath12 sufficiently small .    as in the proof of theorem [ thm : limitsq ] , we have @xmath855 . since @xmath701 is non - negative and ` block - diagonal ' we have @xmath856 let @xmath353 be as in lemma [ lem : quasimode ] , and apply lemma [ coro : noncon ] with @xmath857 to obtain @xmath687 so that @xmath858 for @xmath12 sufficiently small . estimate ( [ eq : normwequivnormu ] ) implies that @xmath859 for @xmath12 small , and therefore by combining the above inequalities , we prove the claim . in contrast to proposition [ prop : adotbound ] , we have the following . [ edotupperestimate ] there exists @xmath705 and @xmath353 such that if @xmath845 , then @xmath860    it follows from ( [ eq : defa_t ] ) that for all @xmath849 @xmath850 from ( [ eq : q - a ] ) , there exists @xmath353 so that for sufficiently small @xmath12 @xmath861 and @xmath862 thus , if @xmath30 is the real - analytic eigenfunction branch of @xmath29 associated to @xmath41 , then @xmath863 by choosing @xmath301 sufficiently small , we obtain the claim . proposition [ alt : alt ] reduces the proof of theorem [ thm : main ] to the following . [ thm : nobranch ] the family @xmath27 does not have a real - analytic cusp form eigenbranch .    the proof of theorem [ thm : nobranch ] will be by contradiction . we will assume that there exists a real - analytic cusp form eigenvalue branch , @xmath41 . by the results of  [ section : branches ] , we have @xmath864 where @xmath40 is positive . we aim to contradict the positivity of @xmath40 . the proof of theorem [ thm : nobranch ] will rely on the estimates of solutions to ordinary differential equations made in appendix [ appendix : airyb ] . to make the estimates less tedious , we will choose @xmath249 to be sufficiently close to 1 , where ` sufficiently close ' will be determined by the integer @xmath40 that appears in ( [ eq : limitk ] ) . however , the construction of the quadratic form @xmath29 depends on @xmath249 . therefore , the integer @xmath40 that appears in ( [ eq : limitk ] ) depends a priori on @xmath249 . in order to avoid circularity of reasoning , we will prove the following . [ prop : choosebeta ] let @xmath41 be a real - analytic eigenvalue branch associated to a real - analytic cusp form eigenfunction branch of @xmath865 . for each @xmath866 , the family @xmath867 has a real - analytic cusp form eigenfunction branch with associated eigenvalue branch @xmath41 .. ]    for each fixed @xmath12 , since @xmath41 corresponds to a cusp form , it belongs to the spectrum of @xmath868 for all @xmath869 ( see lemma [ lem : betacf]).by theorem [ thm : eigenbasis_exist ] , there exists a real - analytic eigenvalue branch @xmath870 of @xmath871 such that @xmath872 . since @xmath873 has only countably many real - analytic eigenvalue branches , there exists some branch @xmath870 such that the set of @xmath874 with @xmath875 has an accumulation point . thus , by real - analyticity , we have @xmath875 for all @xmath874 .    if for each @xmath12 , the dimension of the eigenspace @xmath876 of @xmath877 associated to @xmath878 is greater than one , then one can argue as in the proof of proposition [ prop : mult ] to obtain a real - analytic cusp form eigenfunction branch of @xmath877 associated to @xmath41 . otherwise , by real - analyticity , for each @xmath12 in the complement of discrete set @xmath136 of @xmath12 we have @xmath879 . let @xmath880 be a real - analytic eigenfunction branch of @xmath877 associated to @xmath41 . let @xmath881 denote a real - analytic eigenfunction branch of @xmath882 associated to @xmath41 . for each @xmath12 , the pull - back of @xmath30 by the diffeomorphism @xmath883 is a cusp form of @xmath26 on @xmath0 . in turn , for each @xmath12 , the pull - back of @xmath884 by @xmath885 is a cusp form eigenfunction of @xmath877 . hence , if @xmath886 , then the eigenfunction @xmath887 is a cusp form for @xmath886 . thus , by corollary [ coro : cf_discrete ] , the branch @xmath880 is a real - analytic cusp form eigenbranch of @xmath877 .    as a consequence of proposition [ prop : choosebeta ] , we may fix @xmath249 to satisfy is most probably not necessary but it will simplify the arguments in the appendix . in particular it implies that , on @xmath888 $ ] and for @xmath889 , the sturm - liouville equations associated with @xmath890 have no turning point . ] @xmath891 it follows that for each @xmath889 and @xmath892 $ ] we have @xmath893 as soon as @xmath12 is small enough .    in what follows , we will drop @xmath249 from the notation for @xmath882 .      in this section we show that there exists a real - analytic eigenvalue branch @xmath894 of @xmath608 such that @xmath895 is at most of order @xmath12 . in  [ sec : relative ] , we will show to the contrary that @xmath895 is at least of order @xmath896 . this will provide the desired contradiction . [ tracking ] if @xmath41 is a cusp form eigenvalue branch with positive limit @xmath58 , then there exists @xmath705 , @xmath686 , and a real - analytic eigenvalue branch @xmath49 of @xmath608 so that for each @xmath518 , @xmath897~ = ~ \{\lambda^*_t\}.   \ ] ]    it suffices to show that there exist positive constants @xmath301 and @xmath353 so that the distance from @xmath41 to the spectrum of @xmath608 is at most @xmath898 for @xmath518 . indeed , if this were so , then for each @xmath12 we would have an eigenvalue @xmath894 of @xmath608 so that @xmath899 . suppose that there existed a sequence @xmath900 and eigenvalues @xmath901 of @xmath902 so that @xmath903 . then we would have @xmath904 this would contradict the ` super - separation ' of eigenvalues given in theorem 10.4 in @xcite . hence there exists @xmath905 such that if @xmath906 , then at most one eigenvalue @xmath894 of @xmath608 satisfies @xmath899 . since the eigenvalues of the family @xmath608 belong to real - analytic branches , the function @xmath907 would be real - analytic . we first proceed to prove that there exists a sequence @xmath744 going to @xmath571 such that @xmath41 is at a distance of order @xmath12 of the spectrum of @xmath908    let @xmath30 denote a real - analytic eigenfunction branch associated to @xmath41 . by corollary [ coro : wisqm ] and the fact that @xmath909 is an orthogonal projection that commutes with @xmath35 there exists constants @xmath910 and @xmath301 such that for each @xmath77 and @xmath911 then @xmath912 let @xmath137 denote the set of @xmath601 so that the distance from @xmath41 to spectrum of @xmath608 is at least @xmath913 , where @xmath910 is the constant that appears in ( [ quasimodetrack ] ) . by the remark above , we want to show that there exists @xmath914 so that @xmath9150,t[$ ] is empty .    for each @xmath9160,s[$ ] , we apply a resolvent estimate to ( [ quasimodetrack ] ) and obtain @xmath917 . orthogonality then implies that for each @xmath9160,s[$ ] , there exists @xmath918 such that @xmath919 by applying corollary [ coro : noncon ] and using the fact that @xmath701 is both nonnegative and ` block - diagonal ' with respect to @xmath920 , we find that @xmath921 for all @xmath9220 , t_3[\ , \cap b$ ] .    by theorem 4.2 in @xcite , the function @xmath923 is integrable over @xmath1320 , t_3[$ ] . thus , by ( [ adotbound ] ) , the function @xmath46 is integrable over @xmath9150,t_3[$ ] . it follows that there exists a sequence @xmath924 with @xmath900 . let @xmath925 be a real - analytic eigenbranch of @xmath902 with @xmath926 . suppose that there exists a sequence @xmath927 with @xmath928 . we claim that there exists another constant @xmath353 and another sequence @xmath929 with @xmath930 so that @xmath931 . to see this , first note that by taking subsequences if necessary , we may assume that @xmath932 for each @xmath727 . let @xmath933 $ ] be the connected component of @xmath934)$ ] that contains @xmath744 . the graph of @xmath925 must cross the lines @xmath935 , and hence @xmath936 this establishes the existence of the desired sequence @xmath937 .    by lemma 4.3 in @xcite , the function @xmath938 is bounded . thus , since @xmath939 , we can apply ( [ adotbound ] ) to find a constant @xmath749 so that @xmath940 for all sufficiently large @xmath727 . hence , @xmath941 , and thus @xmath942 but this contradicts lemma [ lambdadot ] below .    [ lambdadot ] let @xmath650 and let @xmath744 be a sequence converging to zero . for each @xmath943 , let @xmath925 be a real - analytic eigenbranch of the family @xmath608 . if @xmath944 , then @xmath945    lemma [ lem : lambda_asymp ] as stated does not directly apply since the eigenvalue branch @xmath925 depends on @xmath727 . by keeping track of the constants in the proof of lemma [ lem : lambda_asymp ] , one can produce a version that directly implies lemma [ lambdadot ] . we prefer to give a direct proof here . let @xmath946 be a unit norm eigenfunction of @xmath902 with eigenvalue @xmath947 . by the standard variational formula @xmath948 since @xmath946 is an eigenfunction of @xmath902 with eigenvalue @xmath947 , we have @xmath949 it suffices to show that the right hand side of ( [ variation ] ) tends to zero as @xmath727 tends to infinity . let @xmath703 . since @xmath947 tends to @xmath42 , there exists @xmath844 so that if @xmath950 , then @xmath951 and thus @xmath952 to estimate the remaining integral over @xmath953 , we will apply a standard convexity estimate from the theory of ordinary differential equations . if @xmath727 is sufficiently large , @xmath954 , and hence there exists @xmath955 so that if @xmath956 , then @xmath957 it follows that there exists @xmath301 so that if @xmath751 , then @xmath958 since @xmath959 for sufficiently large @xmath727 , we may combine ( [ deltaplus ] ) with ( [ delta ] ) to show that ( [ variation ] ) is less than the given @xmath960 for sufficiently large @xmath727 .      in this subsection , we show that @xmath961 is smaller than @xmath962 for @xmath140 near a _ crossing time _ , a value of the parameter @xmath12 such that @xmath41 belongs to the spectrum of @xmath621 . then we show that there exists a sequence of crossing times @xmath744 and intervals of width @xmath963 about the crossing times on which @xmath56 is smaller than @xmath53 . the proof of the first result depends on the analysis contained in appendix [ appendix : airyb ] . [ prop : xings - kpart ] given @xmath964 , there exists @xmath955 and @xmath705 such that if @xmath518 and @xmath965 then @xmath966    let @xmath967 be an eigenfunction of @xmath621 with eigenvalue @xmath968 satisfying @xmath969 . we have @xmath970 and hence @xmath971 in appendix [ appendix : airyb ] , we prove that there exists @xmath972 so that @xmath973 hence by applying the cauchy - schwarz inequality to the left hand side of ( [ eq : brhs ] ) , we find that @xmath974 let @xmath975 , and use ( [ dist53 ] ) to find that @xmath976 the claim follows by choosing @xmath301 sufficiently small . [ prop : xings ] for all @xmath977 there exists @xmath978 such that if @xmath979 , @xmath980 , and @xmath981 $ ] , then @xmath982    let @xmath983 be the eigenvalue branch of @xmath621 such that @xmath984 . by lemma [ zerolemma ] , we have @xmath985 for some @xmath61 , and hence @xmath986 . using the fact that @xmath35 and @xmath29 are asymptotic and the fact that @xmath701 is non negative , there exists a constant @xmath353 such that @xmath987 for all sufficiently small @xmath12 . thus , for even smaller @xmath12 we obtain @xmath988 since @xmath989 , integration over @xmath990 $ ] and exponentiation gives @xmath991 if @xmath992 , then @xmath993 where the last inequality holds for @xmath994 . by combining this with ( [ est : ratio_eigen ] ) , one finds that for @xmath995 $ ] , we have @xmath996    using lemma [ edotupperestimate ] , and @xmath997 , we have that @xmath998 an argument similar to the one above gives that @xmath999 for @xmath1000 $ ] . since by assumption @xmath1001 , there exists @xmath1002 so that if @xmath1003 , then @xmath1004 . therefore , by ( [ est : lambda_first ] ) , we have that @xmath1005 is bounded above by @xmath1006 for @xmath1007 . in sum , if @xmath1008 and @xmath995 $ ] , then @xmath1009 the claim follows by chosing @xmath718 carefully . we wish to estimate from below the size of the set of @xmath12 for which ( [ dist53 ] ) holds true . this is accomplished by the following proposition . [ prop : seqxings ] let @xmath844 . there is a sequence @xmath744 of crossing times such that @xmath1010 and if @xmath1011 are large enough , then the intervals @xmath1012 $ ] and @xmath1013 $ ] are disjoint .    by lemma [ lem : lambda_asymp ] , there exists , @xmath1014 so that @xmath1015 . it also follows from proposition [ tracking ] that there exists @xmath1016 so that @xmath1017 for sufficiently small @xmath12 . by lemma [ zerolemma ] , the eigenvalues of @xmath621 have the form @xmath1018 where @xmath1019 and @xmath1020 is the increasing sequence of positive solutions to the equation @xmath1021 . standard asymptotic analysis shows that @xmath1022    fix @xmath1023 for each @xmath1024 $ ] and each @xmath1025 , there exists a unique @xmath1026 so that @xmath1027 we drop the dependence in @xmath1028 from the notation for a moment . if we set @xmath1029 and @xmath1030 then ( [ eqn : imp_+ ] ) becomes @xmath1031 by the analytic implicit function theorem , for @xmath327 near @xmath571 , there exist a unique analytic function @xmath1032 so that @xmath1033 by inspecting of the first few coefficients in the taylor expansion of @xmath1034 , we find that @xmath1035 thus , since @xmath1036 , and @xmath1037 we find that @xmath1038 where @xmath1039 . choose @xmath703 so that if @xmath1040 , then @xmath1041 . define @xmath1042 . by applying the intermediate value theorem to @xmath1043 , there exists @xmath1044t_n^- , t_n^+[$ ] so that @xmath1045 . see figure [ intermediate ] . since @xmath1046 is increasing to infinity , the sequence @xmath744 is decreasing to zero .    . [ intermediate ] ]    moreover , since @xmath1047 @xmath1048 where @xmath1049 . from ( [ eqn : r_n_asymp ] ) we have @xmath1050 where @xmath1051 . by substituting this into ( [ eq : tn+_asymp ] ) and ( [ eq : tn_asymp ] ) we find that @xmath1052 and @xmath1053 the first claim follows . moreover , since @xmath1054 , we have @xmath1055 it follows that , for all sufficiently large @xmath727 , we have @xmath1056\subset [ t_n^-,t_n^+]$ ] . since the intervals @xmath1057\}$ ] are disjoint , the claim is proven .      in this section we derive the desired contradiction . in particular , we prove the following .    [ prop : dt ] if @xmath41 is a cusp form eigenvalue branch with a positive limit , then there exists @xmath705 and @xmath1058 so that if @xmath845 , then @xmath1059    the proof will consist of two types of lower estimates . the first depends on the fact that near each crossing the ` relative variation ' @xmath1060 is at least of order @xmath841 . the second shows that away from the crossings the relative variation is not too negative . define @xmath10610,t]~ \left|~     \left\| w_s^k \right\|~ \leq~ \rho \cdot \|u_s\| \right . \right\}.\ ] ] if @xmath964 , then it follows from proposition [ prop : adotbound ] that there exists @xmath749 so that for @xmath1062 we have @xmath1063 hence , since @xmath1064 , there exists @xmath1065 so that if @xmath1066 and @xmath964 , then @xmath1067 for each @xmath1062 . we will integrate this estimate near the crossings to obtain the following . [ lem : onk ] for each @xmath964 , there exists @xmath705 and @xmath1068 so that for each @xmath518 , we have @xmath1069    by ( [ eq : edotkappa ] ) the integrand is positive on @xmath1070 , it suffices to show the same estimate holds for a subset @xmath1071 of @xmath1070 .    to define this subset , we first combine proposition [ prop : xings - kpart ] , proposition [ prop : xings ] , and proposition [ prop : seqxings ] to find @xmath844 , @xmath1072 , and a monotone sequence @xmath1073 so that for each @xmath727 @xmath1074 \ ] ] belongs to @xmath1075 , the intervals @xmath1076 and @xmath1077 are disjoint , and for each @xmath1078 @xmath1079 where @xmath1080 . the subset @xmath1071 will be defined as a union of @xmath1081 over sufficiently large @xmath727 . we have @xmath1082 and hence there exists @xmath1083 so that if @xmath1084 we have @xmath1085 thus , from ( [ t_n_bound ] ) we find that if @xmath1086 , then @xmath1087 since the intervals @xmath1088 are disjoint , by combining ( [ eq : edotkappa ] ) , ( [ eq : intoveri ] ) , and ( [ eq : sumn53 ] ) , we find that @xmath1089 where @xmath1090 and @xmath1091    let @xmath1092 . if @xmath845 , then @xmath1093 $ ] for some @xmath1086 . we have @xmath1094 and hence @xmath1095 and @xmath1096 . therefore , ( [ est : int_g ] ) implies the claim .    to bound the relative variation on the complement of @xmath1070 , we will use the following . [ prop : fdotbetweenxings ] there exists @xmath353 and @xmath705 such that , if @xmath518 , then @xmath1097    by arguing as in ( [ est : e_dot_lower ] ) we have @xmath1098 let @xmath1099 denote the orthogonal projection of @xmath52 onto the eigenfunction branch of @xmath35 that corresponds to @xmath1100 from theorem [ tracking ] . let @xmath1101 . we have @xmath1102 , @xmath1103 and @xmath1104 where @xmath1105 is an eigenfunction of @xmath608 with eigenvalue @xmath1100 .    using the cauchy - schwarz inequality and the nonnegativity of @xmath672 we have @xmath1106 since @xmath1107 is an eigenfunction , we have @xmath1108 . using ( [ defn : ak ] ) and the fact that @xmath1107 is an eigenfunction that is orthogonal to @xmath1109 , we find that @xmath1110 since @xmath1111 , we have @xmath1112 the large @xmath326 asymptotics of @xmath1113 and @xmath1114 can be analysed using the same methods used in appendix [ appendix : airyb ] for @xmath1115 . in particular , the estimate proven in lemma [ prop : expdecay ] holds with @xmath1116 estimated in lemma [ lem : restimate ] . in particular , for each @xmath1117 , there exists a constant @xmath353 so that for sufficiently small @xmath12 @xmath1118 and @xmath1119 if @xmath1120 , then @xmath1121 for sufficiently small @xmath12 . therefore , by splitting the domain of integration into @xmath1122 $ ] and @xmath1123 and using the cauchy - schwarz inequality , we find that @xmath1124 for sufficiently small @xmath12 . we claim that @xmath1125 . indeed , by applying lemma [ lem : quasimode ] with @xmath1126 , we have @xmath1127 for some constant @xmath353 . thus , since the eigenvalue @xmath1128 satisfies @xmath1129 we find that @xmath1130 by definition , @xmath1109 is a projection onto eigenspaces of @xmath608 whose associated eigenvalues are distinct from @xmath1128 . by lemma [ lem : lambda_asymp ] , there exists @xmath844 so that such eigenvalues differ from @xmath1128 by at least @xmath1131 . because of ( [ est : preresolv ] ) , we can thus apply a resolvent estimate ( e.g. lemma 2.1 @xcite ) to find that @xmath1132 by substituting ( [ est : resolvent_est ] ) into ( [ est : pre_resolvent ] ) and setting @xmath1133 , we find a constant @xmath832 so that @xmath1134 by combining this estimate with ( [ eq : at_ak_inner ] ) , ( [ est : adot ] ) , and ( [ eq : edot ] ) , we obtain a constant @xmath1135 so that @xmath1136 by orthogonality @xmath1137 , and hence by ( [ est : resolvent_est ] ) and lemma [ lem : lambda_asymp ] , we have a constant @xmath1138 so that @xmath1139 the desired result follows . [ coro : nottoonegative ] there exists @xmath832 such that for each @xmath11400,1[$ ] , there exists @xmath705 such that if @xmath1141 , then @xmath1142 \setminus k(t,\rho ) } \left(\dot{e}_s~ -~ \dot{\lambda}^*_s\right)~ ds~     \geq~   c ' \cdot \left(\rho^2- 1 \right ) \cdot t^{{\frac{2}{3}}}.    \ ] ]    by definition , if @xmath1143\setminus k(t,\rho)$ ] , then @xmath1144 and hence from lemma [ prop : fdotbetweenxings ] , we find that @xmath1145 by using lemma [ lem : lambda_asymp ] , we find @xmath832 and @xmath301 so that for @xmath518 @xmath1146 the claim follows from integration . finally , we use lemma [ lem : onk ] and corollary [ coro : nottoonegative ] to prove theorem [ prop : dt ] . this will complete the proof of the main theorem . apply lemma [ lem : onk ] with @xmath1147 . then apply corollary [ coro : nottoonegative ] with @xmath1148 such that @xmath1149 since @xmath1150 is positive on @xmath1151 , we find that @xmath1152 since @xmath1153 , we have the desired conclusion . in this appendix , we compute the asymptotics of each real - analytic eigenvalue branch of @xmath890 for each @xmath1154 .    [ lem : lambda_asymp ] let @xmath1155 and let @xmath907 be a real - analytic eigenvalue branch of @xmath666 for @xmath601 . then @xmath1156 where @xmath1157 and @xmath1158 is a zero of the derivative of the airy function @xmath1159 defined in ( [ eq : airy_asymp ] ) . moreover , @xmath1160    to prove proposition ( [ lem : lambda_asymp ] ) , we will first transform the eigenvalue problem into an eigenvalue problem that is easier to analyse . if @xmath77 is an eigenfunction of @xmath666 with respect to @xmath1161 with eigenvalue @xmath260 , then for each @xmath1162 and @xmath601 , we have @xmath1163 where we have set @xmath1164    hence @xmath1165 by making the change of variable @xmath1166 , letting @xmath1167 and @xmath1168 , and dividing by @xmath1169 , we find that @xmath1170 where @xmath1171 and @xmath1172 this leads us to set @xmath1173 and define for each @xmath1174 the quadratic forms @xmath1175 and @xmath1176 define @xmath1177 and @xmath1178)$ ] ( i.e. the set of functions @xmath1179 such that the distributional derivative also is in @xmath76 ) .    then for each @xmath1180 , the form @xmath1181 is a bounded quadratic form on @xmath1182 and @xmath1183 is a closed quadratic form on @xmath1182 with domain @xmath1184 .    since @xmath1185 maps bijectively @xmath1186)$ ] onto @xmath1187)$ ] , the function @xmath1188 is an eigenfunction of @xmath1183 with respect to @xmath1181 with eigenvalue @xmath1189 . it follows from the perturbation theory of generalized eigenvalue problems ( see  vii.6 in @xcite ) that the eigenvalues of @xmath1183 with respect to @xmath1181 can be organized into real - analytic eigenvalue branches for @xmath1180 . the domains of @xmath1183 and @xmath1181 change , and hence analytic perturbation theory can not be applied . ] since the generalized eigenvalue problem @xmath1190 corresponds to a sturm - liouville problem with neumann condition at @xmath1191 , the eigenspaces are 1-dimensional . hence , we may enumerate the real - analytic eigenvalue branches @xmath1192 so that for each @xmath1193 and @xmath1180 we have @xmath1194    [ lem : bounded_branches ] for each @xmath1195 , there exists @xmath1196 and @xmath353 so that if @xmath979 then @xmath1197 in particular , there exists @xmath811 so that for small @xmath1180 @xmath1198 moreover , @xmath1199 is a zero of the derivative of the airy function @xmath1159 . first , we show that each @xmath1200 is bounded . to this end , define @xmath1201 since @xmath1202 is bounded above by 2 , we have @xmath1203 for each @xmath1180 and @xmath1174 . note that for each @xmath1204 , we have @xmath1205 and hence @xmath1206 integration by parts shows that the eigenfunctions of @xmath1207 with respect to @xmath1208 are solutions to the sturm - liouville problem @xmath1209 standard convexity estimates on solutions to ordinary differential equations imply that each eigenfunction belongs to the domain @xmath1184 of @xmath1183 for each @xmath1180 . in particular , the sum of the first @xmath1195 eigenspaces of @xmath1207 with respect to @xmath1208 belongs to @xmath1184 . therefore , using ( [ est : btoa ] ) , the minimax principle , and ( [ order ] ) we find that @xmath1192 is bounded by the @xmath1210 eigenvalue of @xmath1207 with respect to @xmath1208 .    in the remainder of the argument we drop the superscript @xmath1195 and focus on an individual real - analytic eigenfunction branch @xmath1211 with eigenvalue @xmath1212 . for @xmath1180 , we have @xmath1213 where @xmath1214 indicates differentiation with respect to @xmath140 . a computation gives that for each @xmath69 @xmath1215 and @xmath1216 let @xmath1211 be a real - analytic eigenfunction branch of @xmath1183 with respect to @xmath1181 associated to the real - analytic eigenvalue branch @xmath1212 . integration by parts gives @xmath1217 let @xmath1016 be the upper bound on @xmath1212 proven above . if @xmath1204 and @xmath1218 , then @xmath1219 and hence @xmath1220 for @xmath1204 . it follows that @xmath1221 for @xmath1222 . thus , since @xmath1223 is finite , we find that for @xmath1224 @xmath1225 integrating from @xmath1226 to @xmath1227 , we find a constant @xmath353 ( that depends on @xmath1226 ) such that , for @xmath1228 we have @xmath1229 from this we find constants @xmath353 such that that @xmath1230 a similar argument shows that @xmath1231 therefore , ( [ est : nu_dot ] ) holds , and via integration we find @xmath811 so that ( [ eq : nu_asymp ] ) holds true . continuity of solutions to ordinary differential equations with respect to coefficients applies to ( [ eq : a - n - ode ] ) with fixed initial conditions @xmath1232 and @xmath1233 . in particular , we have a solution @xmath1234 to @xmath1235 it follows that @xmath1236 is a solution to @xmath1237 . estimate ( [ a - n - convexity ] ) applies to @xmath1234 , and hence it follows from ( [ eq : airy_asymp ] ) that @xmath77 is a multiple of @xmath1159 . the function @xmath25 satisfies the neumann condition @xmath1238 and hence @xmath1239 as desired . if @xmath1240 is a real - analytic eigenfunction branch of of @xmath666 associated to the eigenvalue branch @xmath894 , then @xmath1241 is a real - analytic eigenfunction branch of @xmath1183 with eigenvalue branch @xmath1242 . lemma [ lem : bounded_branches ] implies that @xmath1243 by differentiating @xmath1244 , we find that @xmath1245 by lemma [ lem : bounded_branches ] , both @xmath1246 and @xmath1212 are bounded . therefore , @xmath1247 and hence @xmath1248 . let @xmath39 be a real - analytic eigenbranch of @xmath29 such that @xmath1249 for some positive integer @xmath40 . for a fixed constant @xmath686 , let @xmath1250.\ ] ] as in  [ sec : nota ] , let @xmath202 denote the orthogonal projection of @xmath30 onto the sum of the eigenspaces of @xmath35 whose eigenvalues lie in @xmath282 . [ prop : blower ] let @xmath955 . there exists @xmath749 , @xmath1251 and @xmath705 such that , if @xmath518 and if @xmath1252 is an eigenfunction of @xmath621 with eigenvalue @xmath1253 satisfying @xmath1254 then @xmath1255      the quadratic form @xmath1257 is controlled by @xmath35 meaning that there exists a constant @xmath353 such that for @xmath1258 @xmath1259 thus , proposition [ lem : u_w_close ] and the fact that @xmath1260 imply that      observe also that proposition [ lem : u_w_close ] also implies that @xmath1263 in the limit @xmath1264 so that we can freely replace @xmath53 by @xmath1265 and vice - versa in each ( multiplicative ) estimate .    by the discussion  [ subsec : separation ] and  [ sec : nota ] , for each @xmath12 we can uniquely write @xmath1266 where each @xmath1267 is an eigenfunction of @xmath666 with eigenvalue @xmath1268 . set @xmath1269 and @xmath1270 by linearity @xmath1271    from ( [ eq : defb_t ] ) we have @xmath1272 where @xmath1273 $ ] and @xmath1274 is defined in ( [ defn : p ] ) . since @xmath1275 , and @xmath1276 , we find that @xmath1277 if @xmath1278 , then @xmath1279 , and so @xmath1280 . for @xmath1281 , apply lemma [ lem : bwellpsi ] below to find that @xmath1282 since @xmath1283 and @xmath1284 are orthogonal if @xmath1285 , we have @xmath1286 thus , by summing ( [ eq : vlower ] ) over @xmath1287 , we obtain @xmath1288    for @xmath1289 , we have @xmath1290 thus , from lemma [ lem : bwkpsi ] and lemma [ lem : p_positive ] , there exists @xmath704 so that @xmath1291 for some @xmath704 . the latter estimate , combined with ( [ eq : linearity ] ) , ( [ eq : sumvl ] ) , and the triangle inquality , yield the claim .                multiply both sides of ( [ eq : rdefn ] ) by a smooth function with compact support @xmath1302 and integrate over @xmath1303 , then integrate by parts to obtain @xmath1304 observe that @xmath1305 so that by applying lemma [ coro : wisqm ] to the test function @xmath1306 , there exists @xmath705 and @xmath832 such that for @xmath518 , we have @xmath1307 recalling that the @xmath76-norm on the right hand side has the weight @xmath1308 this implies that @xmath1309 the claim follows since @xmath1310 on the interval over which we integrate . the strategy of the proof of lemma [ lem : bwellpsi ] is as follows . by ( [ eq : rdefn ] ) , the function @xmath1311 is a solution to the inhomogeneous equation @xmath1312 where @xmath1313 and @xmath1314 the function @xmath1315 is a solution to the homogeneous equation @xmath1316 where @xmath1317 . our choice of @xmath249 in ( [ eq : beta ] ) implies that @xmath1318 is bounded below by a constant @xmath1319 for all small @xmath12 , @xmath889 , and @xmath1320 . hence we can use wkb type estimates to find a basis @xmath1321 of solutions to the homogeneous equation ( [ eq : homoode ] ) . we will then use ` variation of parameters ' to express each solution to to ( [ eq : inhomoode ] ) in terms of this basis , and we use lemma [ lem : restimate ] to provide control of the inhomogeneous term @xmath1116 . finally , we will estimate the integral in ( [ eq : ellsmall ] ) using a riemann - lebesgue type estimate .    for @xmath889 and @xmath1320 , we have @xmath1322 , and hence we can apply theorem 6.2.1 in @xcite , to obtain a basis @xmath1323 of solutions to the homogeneous equation ( [ eq : homoode ] ) that satisfy @xmath1324 and @xmath1325 where , for @xmath1320 and @xmath889 , the smooth functions @xmath1326 and @xmath1327 have @xmath1328 norm that is uniformly @xmath1329 . observe that @xmath1330 have @xmath1331)$ ] norms that are uniformly bounded above and away from @xmath1332 moreover , since @xmath1333 and @xmath1334 are highly oscillatory for small @xmath12 , an integration by parts argument shows that the @xmath1331)$ ] inner product @xmath1335 is @xmath1329 . it follows that there exists @xmath1336 such that if @xmath1337 , then @xmath1338 for all sufficiently small @xmath12 . here @xmath1339 denotes the @xmath1331)$ ] norm . in particular , for each @xmath765 and each @xmath12 , there exists @xmath1345 so that the function @xmath38 of ( [ eq : vt ] ) satisfies @xmath1346 the eigenfunction @xmath1252 of @xmath1347 satisfies ( [ eq : generic_inhomo ] ) with @xmath1348 , and hence there exists @xmath1349 so that @xmath1350    the integral in ( [ eq : ellsmall ] ) is equal to @xmath1351 by expanding the product of sums , one obtains a sum of @xmath1352 integrals . by substituting the expressions ( [ eq : wkbderivate ] ) and ( [ eq : wkb ] ) , integration by parts , and applying standard estimates , we find that each integral is @xmath1329 .    for example , consider the terms of the form @xmath1353 since @xmath694 , an elementary computation shows that there exists @xmath844 so that if @xmath1354 $ ] and @xmath12 is sufficiently small , then @xmath1355 thus , we may integrate by parts to find a constant @xmath353 so that the integral in ( [ eq : aa ] ) is at most @xmath1356 . it follows that all the terms of this form are bounded above by        from ( [ eq : wkb ] ) and ( [ eq : wkbderivate ] ) we find that there exists @xmath1360 so that if @xmath1361 , then @xmath1362 . from ( [ eq : wkb ] ) and ( [ eq : ftl - defn ] ) we find that for each @xmath765 @xmath1363}~ \left|v_{e_t,\mp}^{\ell}(y ) \right|~ \leq~ \frac{2}{\sqrt{\delta_1 } } \ ] ] for all sufficiently small @xmath12 . hence , using the cauchy - schwarz inequality and lemma [ lem : restimate ] we have , for all @xmath1364 $ ] , @xmath1365 for all sufficiently small @xmath12 . for the derivative of @xmath1366 , we have @xmath1367 applying cauchy - schwarz and lemma [ lem : restimate ] gives @xmath1368    finally , we apply integration by parts to ( [ eq : aa ] ) . the resulting terms that do not contain @xmath1369 have uniformly bounded @xmath1328 norm . the term that contains @xmath1369 can be bounded using ( [ eq : boundadotpm ] ) . it follows that all the term of this form are bounded by @xmath1370 the final step consists in bounding @xmath1371 by @xmath1372 to control the terms of eq . ( [ eq : type1 ] ) .    using ( [ eq : basis_equivalence ] ) and ( [ eq : defv_var ] ) we have @xmath1373}\{|h_+(y)|+|h_-(y)|\}\ ] ] by orthogonality we have @xmath1374 and , using the bound on @xmath1375 we finally obtain @xmath1376 this finishes the proof .      as in the previous subsection , the function @xmath1377 is a solution to the inhomogeneous equation ( [ eq : inhomoode ] ) with @xmath1313 and @xmath1116 defined by ( [ eq : rdefn ] ) . however , for @xmath1289 , the function @xmath1378 is negative for large @xmath326 . in fact , since @xmath41 decreases to @xmath42 , the function @xmath1379 changes sign nearer and nearer to @xmath627 . since the solution @xmath1377 belongs to @xmath1380 , we expect it to decay exponentially as soon as @xmath326 moves away from @xmath16 . for @xmath326 near 1 , we will approximate @xmath38 using airy functions . in this subsection we will make these approximations precise and use them to give a proof of lemma [ lem : bwkpsi ]      by lemma [ zerolemma ] , @xmath1252 is a constant multiple of @xmath1381 defined in ( [ zeroeigenvector ] ) . because both sides of the estimate in lemma [ lem : bwkpsi ] are homogeneous functions of degree 1 in @xmath1252 , it suffices to assume that @xmath1382 . we have @xmath1388 where @xmath1389 @xmath1390 and @xmath1391 . in particular , for sufficiently small @xmath12 @xmath1392 thus , since @xmath1393 and @xmath1394 the triangle inequality applied to ( [ eq : psi_0_decomp ] ) implies that ( [ est : psi_0_sup ] ) holds for sufficiently small @xmath12 .                by proposition [ tracking ] and lemma [ lem : lambda_asymp ] , there exists @xmath353 so that if @xmath12 is sufficiently small , then @xmath1402 hence , for @xmath1403 , one finds that @xmath1404 thus , since @xmath1405 , there exists @xmath905 such that if @xmath1406 then for all @xmath1407 we have @xmath1408    for each smooth function @xmath1409 with support in @xmath1321+t^{\alpha } , \infty[$ ] , define @xmath1410 extend @xmath1411 to a self - adjoint operator on @xmath1412 . it follows from ( [ eq : lowerbound ] ) that the spectrum of @xmath1411 lies in @xmath1413 . hence @xmath1411 is invertible and the operator norm of @xmath1414 is bounded above by @xmath1415 therefore @xmath1416    the function @xmath1417 is a solution to ( [ eq : inhomoode ] ) on @xmath1418 , and hence @xmath1419 is a solution to the homogeneous equation ( [ eq : homoode ] ) . it follows from ( [ eq : lowerbound ] ) that @xmath1420 if @xmath1421 . in particular , @xmath1422 is convex , moreover @xmath1422 is non - negative and in @xmath1423 since @xmath1424 and @xmath1425 this implies that @xmath1426 . indeed , since @xmath1422 is convex , @xmath1427 has a limit @xmath1428 in @xmath1429 if this limit is positive then it implies that @xmath1430 for large @xmath326 and this contradicts the fact that @xmath1431 is integrable . in particular , @xmath1427 is bounded so that by integrating ( [ est : w2convex ] ) we find that @xmath1432 the argument also shows that @xmath1427 is non positive for large @xmath326 so that @xmath1422 has a limit when @xmath1433 since @xmath1422 is integrable , this limit is @xmath1332    for each @xmath1434 the function @xmath1435 that is defined by @xmath1436 satisfies @xmath1437 with @xmath1438 and @xmath1439 . therefore , by comparison with ( [ est : w2convex ] ) , and using the maximum principle , we find that if @xmath1440 , then @xmath1441 . applying this to @xmath1442 we find that for each @xmath1443 @xmath1444                    for small @xmath12 , the function @xmath1455 has a simple zero near @xmath627 . thus , to approximate solutions of @xmath1456 near @xmath627 we will use solutions to airy s differential equation @xmath1457 where @xmath1458 . we first describe the link to airy s equation . if we define @xmath1459 , then we have @xmath1460 where @xmath1461 . let @xmath532 be the smooth function that satisfies @xmath1462 by substituting the latter expression into ( [ eq : ode2 ] ) and by dividing by @xmath1463 , we find that @xmath1464 setting @xmath1465 we have @xmath1466 where @xmath1467 we have @xmath1472 , and hence by lemma [ lem : restimate ] , @xmath1473 let @xmath1474 be the tracking eigenvalue branch associated to @xmath1475 . the eigenvalue @xmath49 corresponding to @xmath1476 is in a @xmath1329 neighbourhood of @xmath1477 moreover , when @xmath12 tends to @xmath571 , proposition ( [ lem : lambda_asymp ] ) implies that @xmath894 is at a distance of order @xmath896 of the rest of the spectrum . using ( [ eq : lambda_asymp ] ) , ( [ eq : rdefn ] ) , lemma [ lem : restimate ] and a resolvent estimate , we have @xmath1478 , and hence @xmath1479 the tracking eigenfunction @xmath1476 satisfies ( [ eq : inhomoode ] ) with @xmath1348 . hence by proposition [ prop : expdecay ] , if @xmath1480 , then @xmath1481 observe that , by orthogonality , @xmath1482 , hence @xmath1483 since @xmath1484 ( because @xmath1470 ) , we may thus take @xmath1485 and the biggest term is then of order @xmath1486 . the claim follows . we first construct solutions to the associated homogeneous equation @xmath1489 using airy functions . in particular , it is well - known that there exists a basis @xmath1490 of solutions to @xmath1491 such that @xmath1492 and @xmath1493 one checks that @xmath1494 defines a basis of solutions to ( [ eq : homoairy ] ) . it follows from well - known identities that the wronskian of @xmath1495 is @xmath65 . hence the wronskian of @xmath1496 is @xmath1497 . therefore , by the method of variation of constants , for each @xmath1498 , the function @xmath1499 is a solution to ( [ eq : inhomoairy ] ) . [ lem : estwp ] for each compact set @xmath1500 , there exists @xmath353 such that , for each @xmath1498 , if @xmath1501 and @xmath1502 $ ] , then @xmath1503 and @xmath1504 where @xmath1505 denotes the @xmath76 norm of @xmath1506 over @xmath1507 $ ] . moreover , there exists @xmath1016 so that if @xmath1508$],then @xmath1509 and @xmath1510    using the cauchy - schwarz inequality , we have for @xmath1511 $ ] @xmath1512 and @xmath1513 thus , from ( [ eq : wparticular ] ) and the triangle inequality , we have @xmath1514 estimate ( [ est : wparticular ] ) then follows from lemma [ lem : wdt ] below .          the proof is a straightforward consequence of the continuity and known asymptotics of @xmath1525 and @xmath1526 . from ( [ eq : airy_asymp ] ) and integration by parts we find that @xmath1527 as @xmath25 tends to @xmath1528 .    thus there exists @xmath1529 so that if @xmath1530 , then @xmath1531 therefore , for @xmath1530 , @xmath1532 and , using ( [ eq : airy_deriv_asymp ] ) , @xmath1533 the expressions on the left hand sides of ( [ est : aplusaminus ] ) and ( [ est : aplusaminusderiv ] ) are continuous in @xmath25 , and hence are bounded by a constant @xmath353 for @xmath1534 where @xmath1535 . moreover , from ( [ est : aplusaminus ] ) and ( [ est : aplusaminusderiv ] ) we have @xmath1541 and @xmath1542 provided @xmath1543 . let @xmath1544 . if @xmath1545 , then @xmath1546 and @xmath1547 . the desired estimates in the @xmath1548/@xmath1549 case follow . the estimates in the @xmath1549/@xmath1548 case are proved in a similar fashion . the function @xmath1555 satisfies the inhomogeneous equation ( [ eq : inhomoairy ] ) with @xmath1556 , and the inhomogeneity @xmath1469 satisfies ( [ eq : boundaw ] ) . to estimate @xmath1555 and hence ( [ eq : small_x_integral ] ) we write @xmath1557 where @xmath1558 is the particular solution to ( [ eq : inhomoairy ] ) defined by ( [ eq : wparticular ] ) for @xmath1559 . the function @xmath1560 is a solution to the associated homogeneous equation . integration by parts gives @xmath1562 using lemmas [ lem : airyapprox ] and [ lem : estwp ] , one finds that there exists @xmath353 such that , for @xmath1563 $ ] @xmath1564 thus , using ( [ lem_psi_0_bound ] ) , we conclude that the first term on the right side of ( [ eq : wpt_integral ] ) is @xmath1565 .    to bound the second term on the right side of ( [ eq : wpt_integral ] ) , we take @xmath1566 and estimate the integrals over @xmath1567 $ ] and @xmath1568 $ ] separately . observe that since @xmath1569 then @xmath1570 using lemmas [ lem : airyapprox ] and [ lem : estwp ] , we find @xmath353 so that for all sufficiently small @xmath12 @xmath1571 and @xmath1572 by combining these estimates and using ( [ eq : psi_zero_deriv ] ) , we find that @xmath1573 the claim will follow provided we can choose @xmath1574 and @xmath1575 so that each power of @xmath12 appearing on the righthand side is greater than @xmath1576 . this gives us a solution set which is the open triangle in @xmath1577 bounded by the lines @xmath1578 , @xmath1579 , and @xmath1580 . the two latter lines intersect for @xmath1581 the claim follows . as above we consider @xmath1586 and take some @xmath1587 using lemmas [ lem : airyapprox ] and [ lem : estwp ] , one finds that @xmath1588 }   & \leq c \cdot t^{\frac{5{\alpha}}{2}-\frac{3{\widetilde{\alpha}}}{4}-\frac{1}{6 } } \|u_t\| \\ \| w_{p , t}\|_{[t^{{\widetilde{\alpha}}},3t^{\alpha } ] } & \leq c \cdot t^{2{\alpha}-\frac{{\widetilde{\alpha}}}{2}-\frac{2}{3 } } \|u_t\| . \end{split}\ ] ]    the claim will follow provided we can find @xmath1589 and @xmath1590 such that @xmath1591 and @xmath1592 the solution set is here a quadrilateral whose projection on the @xmath355-axis is the interval @xmath132\frac{7}{33},{\frac{1}{3}}[.$ ]    finally , we consider the integral corresponding to the homogeneous part @xmath1560 of @xmath1555 : @xmath1593 there exist constants @xmath1594 , @xmath1595 , depending on @xmath12 , such that @xmath1596 where @xmath1597 and @xmath1598 are as defined in ( [ eq : defn_w ] ) with the parameter @xmath140 and @xmath1599 defined in ( [ eq : s_z_s ] ) . [ lem : norms ] for all @xmath1400\frac{7}{33 } , \frac{1}{3}[,$ ] there exists @xmath1584 such that @xmath1602}~ = ~ o(t^\infty ) \cdot \| u_t\|   \ ] ] where @xmath1603 is a function that is of order @xmath1604 for each @xmath727 , and @xmath1605}~ \geq~ { \frac{1}{2}}\cdot \left ( \|w_t^k\| -c\cdot t^\delta \|u_t\|\right ) . \ ] ]    using the behavior of the norm of @xmath1606 we find that @xmath1607}~ = ~ o(t^\infty ) \cdot \|a_+w_+\|_{[2t^{\alpha},3t^{\alpha } ] } \ ] ] and @xmath1608}~ \leq~ c \cdot \|a_- w_-\|_{[0,2t^{\alpha}]}. \ ] ] we thus have @xmath1609 } & = & o(t^\infty ) \cdot \|a_+w_+\|_{[2t^{\alpha},3t^{\alpha}]}\\ & \leq & o(t^\infty ) \cdot \left ( \|w\|_{[2t^{\alpha},3t^{\alpha}]}\,+\ , \|a_-    w_-\|_{[2t^{\alpha},3t^{\alpha}]}\,+\,\|w_{p , t}\|_{[2t^{\alpha},3t^{\alpha}]}\right )      \\    & \leq & o(t^\infty ) \cdot \left ( \|u_t\| \,+\,\|w_-\|_{[0,2t^{\alpha } ] } \,+\ ,    t^\delta \|u_t\|\right ) \\ & \leq & o(t^\infty ) \cdot \left ( \|u_t\| \,+\ , \|w\|_{[0,2t^{\alpha}]}\,+\ ,    \|a_+w_+\|_{[0,2t^{\alpha}]}\,+\,\|w_{p , t}\|_{[0,2t^{\alpha}]}\right ) \\    & \leq & o(t^\infty)\left ( \|a_+w_+\|_{[0,2t^{\alpha}]}\,+\,\|u_t\|\right ) .    \ ] ] estimate ( [ est : a+w+ ] ) then follows by absorbing the norm of @xmath1610 into the left hand side .    to prove estimate ( [ est : a - w- ] ) , we first observe that by using the triangle inequality we find that @xmath1611 } \leq \|w_{p , t}\|_{[0,2t^{\alpha } ] } \,+\,\|a_- w_-\|_{[0,2t^{\alpha}]}\,+\,\|a_+w_+\|_{[0,2t^{\alpha}]}.\ ] ] the first term on the righta hand side is @xmath1612 and the last one is @xmath1613 so that we obtain @xmath1614 } \geq \left ( \|w\|_{[0,2t^{\alpha } ] } -      o(t^\delta ) \|u_t\|\right ) .\ ] ] the claim then follows by observing that corollary [ coro : normlocal ] implies that @xmath1615 } \geq { \frac{1}{2}}\left ( \|w_t^k\| - o(t^{1-{\alpha } } )    \|u_t\|\right).\ ] ]      from ( [ eq : psi_prime ] ) , we have @xmath1617 thus , the integral we want to estimate can be written as @xmath1618 where we have set @xmath1619 denote by @xmath1620 the integral @xmath1621 integration by parts shows that @xmath1622 where we have set @xmath1623    since @xmath1624 and @xmath140 is of order @xmath12 , and since @xmath1159 is rapidly decreasing , the boundary term at @xmath1625 is @xmath1626 observe that we have a global @xmath1627 prefactor in front of the integral term . thus , when the @xmath1628 is applied to @xmath1629 , we gain @xmath1630 , that is , something of order @xmath1631 when @xmath1628 hits the airy function , we lose a @xmath1632 so that the global prefactor is of order @xmath1633 which is @xmath1634 . summarizing , integrating by parts gains at least a prefactor @xmath1635    by repeated integration by parts we thus observe that we can write , for each @xmath500 @xmath1636 where the @xmath1637 are some constants and the remainder term @xmath1638 can be written @xmath1639 for some smooth functions @xmath1640 if we fix some order @xmath1641 then , using that @xmath1159 and all its derivatives are rapidly decreasing we can find @xmath500 such that the remainder @xmath1638 is @xmath1642 this tells us that @xmath1620 admits a complete asymptotic expansion of the form @xmath1643 from the first integration by parts we see that @xmath1644 and the second term is then of order @xmath1635 the claim follows by taking the imaginary part .            let @xmath1158 be the zero of @xmath1159 that comes from lemma [ lem : nonzero ] . since @xmath1159 is a nontrivial solution to a second order differential equation , @xmath1159 can not vanish at a zero of the derivative @xmath1649 . hence , for sufficiently for small @xmath12 , we have @xmath1652 .    by arguing as in the proof of lemmas [ lem : nonzero ] and [ lem : wdt ] and using @xmath1653 , we find @xmath1654 so that @xmath1655 where @xmath1656 and @xmath12 is sufficiently small . in particular , @xmath1657 hence the claim follows from lemma [ w- ] . c. m. judge . _ small eigenvalues and maximal laminations on complete surfaces of negative curvature . _ in the tradition of ahlfors - bers . iv , 93 - 105 , contemp . , 432 , amer . , providence , ri , 2007 .
Abstract:

Answer: we consider the neumann laplacian acting on square - integrable functions on a triangle in the hyperbolic plane that has one cusp . we show that the generic such triangle has no eigenvalues embedded in its continuous spectrum . to prove this result we study the behavior of the real - analytic eigenvalue branches of a degenerating family of triangles . in particular , we use a careful analysis of spectral projections near the crossings of these eigenvalue branches with the eigenvalue branches of a model operator .