arXiv:1904.00505v3 [math.AP] 20 Mar 2020 prtr n h ia operators. Dirac the and Schr¨odinger t operators discrete operator, the of theory scattering the ..that i.e. rv h smttccmltns ftewv operators: wave the of completeness asymptotic the prove h aeoeaosi lsl eae otelmtasrto principle: absorption limit the to related asymptotic closely the is theory, operators perturbation wave the smooth Kato’s the Through where (3) where (2) (1) audfnto.Asrn olfrpoig()ad()i h Mourr the is hold. (2) (2) and and (1) (1) proving that for conditions sufficient tool gives strong which A function. valued bopinpicpefrtefe Schr¨odinger operator: free the for principle absorption V aifis2 satisfies 3 sas rvdb aoadYjm 1]idpnetywe 1 Schr¨odinger when operato the independently of [18] theory Yajima scattering and the Kato to by applied proved and also is (3) d/ principle. 2 ∈ nti oe estudy we note, this In n fteitrs ntesatrn hoyo h Schr¨odinger o the of theory scattering the in interest the of One 2010 nteohrhns ei,Ri n og 1]etbihthe establish [19] Sogge and Ruiz Kenig, hands, other the On e od n phrases. and words Key IIIGASRTO RNIL ON PRINCIPLE ABSORPTION LIMITING ≤ L p p I C k ahmtc ujc Classification. Subject Mathematics ( eetn hi eutt wyfo h ult ieadw als we and line duality the from away resolvent. to subject the result the of H¨older continuity the of their scattering half extend first and we the multipliers Though Fourier the Schr¨odinger operators. of resolvent the Abstract. R ≤ ( p,q ⊂ − W / d ( ( ), ∆ (0 d d ± > +1) d/ − , 1) + r ujcin noteasltl otnossbpc of subspace continuous absolutely the onto surjections are ∞ sidpnetof independent is 0 2 z / sa nevland interval an is ) ) z ≤ − ∈ olwfo 3 n ¨le’ nqaiy odegadSha [7] Schlag and Goldberg H¨older’s and inequality. (3) from follow 2 sup ≤ nti ae,w td h apn rpryform property mapping the study we paper, this In I 1 ± < p k \ B 1 z I ∈ /p ( sup W k| L I ( ± p d V − L ± ( \ iceeSh¨dne prtr,rslet,lmtn ab limiting resolvents, operators, Schr¨odinger discrete CTEIGTHEORY SCATTERING R I 1) + p | d 1 = etmtsfrrslet fteFuirmlilesand multipliers Fourier the of resolvents for -estimates 1 2 k| ) /q ( ,L V − s q / | − + ∆ 1. ( ≤ sra-aud oeta 1 for (1) that Note real-valued. is 2 1 2 R OIH TAIRA KOUICHI ( d t 2 − →±∞ )) Introduction lim z /d ∆ V ≤ I ∈ ( , ± rmr 71,Scdr 47A40. Secndary 47A10, Primary − − C C e d 1 = p,q z z it 1) + ) ) \ ( − − − { | z [0 z 1 1 ∆+ | | | , 2 d V V ∈ / ∞ ( V 2 | | p 1 C < d 1 2 2 1 ) n (1 and ) − e k k − q 1 B B ± | ) it ( ( − L L 1 ( 1 − /p Im 2 2 z , ( ( ∆) R R d d efatoa Schr¨odinger fractional he n 1 and /p, L z , )) )) r fgeneralized of ory ∈ p ssuidi [4], in studied is ≥ SAE AND -SPACES < < C 1 /q ∞ ∞ 0 \ q< /q L } td the study o ) r , , [0 p L and − ∈ opeeesof completeness , V to p ∞ /p + ∆ tp limiting -type hoy[23], theory e (0 ( eao sto is perator ∈ L ) d V q 1 + d , , L − 1) of V p sareal- a is ( 1) /q ≥ L × where , R sorption 2 / d 3 ( (0 (2 1, = for ) R , d d 1) ). ). 2 KOUICHI TAIRA proved the Lp-type limiting absorption principle for Schr¨odinger operator ∆+ V with a real-valued potential V Lr(Rd) L3/2(Rd), r> 3/2: − ∈ ∩ d 1 1 −1 2 ( p − q )−1 sup ( ∆+ V z) B(Lp(Rd),Lq(Rd)) C(Re z) , Re z≥λ0,0<±Im z≤1 k − − k ≤ where λ0 > 0, d = 3, p = 4/3 and q = 4. The strategy of the proof in [7] is to replace the L2-trace theorem in the proof of the classical Agmon-Kato-Kuroda theorem [24, Theorem XIII. 33] by Stein-Tomas Lp-restriction theorem for the sphere [31]. Ionescu and Schlag [13] extends the result of [7] to a large class of potentials V , which contains Lp(Rd), d/2 p (d + 1)/2, the global Kato class potentials and some perturbations of first order≤ operators.≤ See also the recent works by Huang, Yao, Zheng [11] and Mizutani [23]. Moreover, in [13], it is also proved that existence and asymptotic completeness of the wave operators. We note that there are no positive eigenvalues of ∆+ V when V Lp(Rd), d/2 p (d + 1)/2 and it is false if p> (d + 1)/2 ([12]− and [20]). ∈ ≤ ≤ In this paper, for a large class of operators T (D) on Xd, we study uniform resol- vent estimates, H¨older continuity of the resolvent and Carleman type inequalities for Fourier multipliers on Xd, where X = R or X = Z. The uniform resolvent estimates for a Fourier multipliers are investigated in [4] and [5] in the duality line when X = R in order to study the Lieb-Thirring type bounds for fractional Schr¨odinger operators and Dirac operators. One of the purpose is to prove the uniform resolvent estimates away form the duality line and to extend to the case of X = Z. To prove this, we follow the argument in [9, Appendix] for the Laplacian on the Euclidean space, however, the argument in [9] does not cover the general case since in the proof of [9, Theorem 6], the spherical symmetry and the Stein- Tomas theorem for the sphere are crucial. Moreover, we study the scattering theory of the discrete Schr¨odinger operator, the fractional Schr¨odinger operators and the Dirac operators. We note that the limiting absorption principle for free discrete Schr¨odinger operators is studied in [14], [21] and [30]. In [21], the scattering theory of the discrete Schr¨odinger operators perturbed by Lp-potentials are studied for a range of p. In [30], it is proved that the range of (p, q) which the uniform resolvent estimate holds for the discrete Schr¨odinger operators differs from the one for the continuous Schr¨odinger operators when d 5. We remark that almost all results in this≥ paper can be extended to the Lorentz space Lp,r by real interpolation. For simplicity we do not mention this below. Throughout this paper, we denote Xd = Zd or Rd for an integer d 2. We denote µ by the Lebesgue measure if Xd = Rd by the counting measure if X≥ d = Zd. Moreover, we write Xd = Rd if Xd = Rd and Xd = Td = (R/Z)d if Xd = Zd. We often use [ 1/2, 1/2)d Rd as a fundamental domain of Td. − ⊂ Let T C∞(Xd,cR). Moreover, we assumecT ′(Rd) if X = R. We denote ∈ ∈ S d the set of all critical values of T by Λc(T ) and set Mλ = ξ X T (ξ)= λ for λ R. We denotec the induced surface measure by µ away{ from∈ the| critical points} ∈ λ of T . Moreover, for I R, we write I± = z C Re z I, Imcz 0 . Set ⊂ { ∈ | ∈ ± ≥ } 1 1 1 1 1 1+ k 1 1 k (4) S = ( , ) [0, 1] [0, 1] , < , < . k { p q ∈ × | q ≤ p − k +1 1+2k p q 1+2k } Assumption A. Let U Xd be a relativity compact open set and I R be ⊂ ⊂ an compact interval. Suppose ∂ξT (ξ) = 0 for ξ U¯. The Fourier transform of c 6 ∈ LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 3
∞ d the induced surface measure satisfies the following estimate: For any χ Cc (X ) supported in U, there exists C > 0 such that ∈ c (5) e2πix·ξχ(ξ)dµ (ξ) C(1 + x )−k, x Xd, λ I. | λ |≤ | | ∈ ∈ ZMλ Remark 1.1. If ∂ T = 0 on supp χ and supp χ is small enough, (5) is rewritten as ξd 6 ′ ′ ′ 2πi(x ·ξ +xdhλ(ξ )) ′ ′ ′ ′ −k d e χ(ξ ,hλ(ξ ))dξ C (1 + x ) , x X , λ I | \d−1 |≤ | | ∈ ∈ ZX ′ ′ d ′ where ξ = (ξ , ξd) and Mλ = (ξ , ξd) X ξd = hλ(ξ ) . Moreover, if (5) holds, then there exits N 0 such that{ ∈ | } ≥ c ′ ′ ′ 2πi(x ·ξ +xdhλ(ξ )) ′ ′ α ′ e b(ξ )dξ C sup ∂ξ′ b(ξ ) | \d−1 |≤ \ | | X ξ′∈Xd−1 Z |αX|≤N
∞ \d−1 ′ ′ ′ where b Cc (X ) which is supported in ξ (ξ ,hλ(ξ )) supp χ and C is independent∈ of b. { | ∈ }
Example 1. Suppose that Mλ supp χ has at least m nonvanishing principal curvature curvature at every point,∩ then (5) holds for k = m/2 by the stationary phase theorem.
Set R±(z) = (T (D) z)−1 for z z C Im z > 0 . Moreover, for 0 − ∈ { ∈ | ± } a signature , we define χ(D)R±(λ i0) if ∂ T = 0 on supp χ by the Fourier ± 0 ± ξ 6 multiplier with its symbol χ(ξ)(T (ξ) λ i0)−1. For 1 p , Lp(Xd) denotes the Lebesgue space with the Lebesgue− measure± if X =≤R and≤ ∞ with the counting measure if X = Z. Our first result is the following:
Theorem 1.2. Let T C∞(Xd, R) and let I be a compact interval of R. Suppose ∈ −1 ∞ d that T (I) is compact. Fix a signature . Let χ Cc (X ). Suppose that (5) holds for λ I and supp χ cU. ± ∈ (i) There exists∈ such that ⊂ c
± sup χ(D)R0 (z) B(Lp(Xd),Lq (Xd)) < , z∈I± k k ∞
for (1/p, 1/q) Sk. (ii) Set k = k∈ δ for 0 <δ 1 and β = (2/p 1)δ. Then δ − ≤ δ −
−βδ ± ± ∗ sup z w χ(D)(R0 (z) R0 (w)) B(Lp(Xd),Lp (Xd)) < , z,w∈I±,|z−w|≤1 | − | k − k ∞
∗ ∗ for (1/p, 1/p ) Skδ , where p = p/(p 1). (iii) Suppose X∈= R. Under Assumption− A, for (1/p, 1/q) S , there exists ∈ k CN,p,q > 0 such that
µ (x)χ(D)u q Rd ∗ C µ (x)(T (D) λ)χ(D)u p Rd k N,γ kL ( )∩B ≤ N,p,qk N,γ − kL ( )+B for u (Rd). ∈ S 4 KOUICHI TAIRA
1.1. Applications to the fractional Schr¨odinger operators and the Dirac operators. Let n = 2d/2 if d is even and n = 2(d+1)/2 if d is odd. We define the Dirac operators on Rd:
d d = α D , = α D + α , D0 j j D1 j j d+1 j=1 j=1 X X where α are n n Hermitian matrix and satisfy the Clifford relations: j × α α + α α = 2δ I j k k j − jk n×n
and Dj = ∂xj /(2πi). Note that if we define Dd+1 = mIn×n, then
d 2 = ( I D2)= ∆ I , 2 = ( ∆+1) I , D0 − n×n j − · n×n D1 − · n×n j=1 X d 2 2 where we denote ∆ = ( j=1 ∂xj )/(4π ). In this subsection, we suppose that T (D) is the one of the following operators: P T (D) = ( ∆)s/2,T (D) = ( ∆+1)s/2 1,T (D)= ,T (D)= , − − − D0 D1 where 0 s/2 0 if s> 1, s/2 Λc(( ∆) )= { } Λc(( ∆+1) 1) = 0 , − if s 1, − − { } (∅ ≤ and Λ ( )= 0 , Λ ( )= 1, 1 . c D0 { } c D1 {− } Moreover, T (D) is self-adjoint on its domain Hs(Rd) by the elliptic regularity. Let Y1, Y2 be Banach spaces such that p d q d (6) (Y1, Y2) L (R ) L (R ) , ∈ 1 1 { }×{ } ( p , q )∈S d−1 [ 2 if 2d/(d + 1) s < d and ≤ p1 d p2 d q1 d q2 d (7) (Y1, Y2) L (R )+ L (R ) L (R ) L (R ) , ∈ 1 1 { }×{ ∩ } ( p , q )∈S d−1 , 1 1[ 2 1 − 1 ≤ s p2 q2 d 2d if 0 (ii) Let (Y1, Y2) be satisfying p = q in (6) if 2d/(d + 1) s < d and p1 = q1 in (7) if 0 for any compact set I R (σpp 0 ). In particular, the singular continuous spectrum of T (D) is empty.⊂ \ For its∪{ proof,} we may mimic the argument in [13, Section 4]. However, when T (D) = 0 or T (D) = 1, the author do not know whether (8) holds or not since the differenceD of the outgoingD resolvent and incoming resolvent is not always positive definite: R+(λ) R−(λ) =( + λ)( +(λ) −(λ)), if T (D)= , 0 − 0 D0 R0 − R0 D0 R+(λ) R−(λ) =( + λ)( +(λ) −(λ)), if T (D)= , 0 − 0 D1 R1 − R1 D1 ± 2 −1 ± 2 −1 where 0 (λ) = ( ∆ (λ i0) ) and 1 (λ) = ( ∆+1 (λ i0) ) . See the argumentsR in [13,− Proof− of± Theorem 1.3 (d)R and (e)]− or [24,− Lemma± 8 in the proof of Theorem XIII.33]. Remark 1.8. Under the assumption of (iv), we can prove that each eigenfunction u of H associated with eigenvalue λ R 0 satisfies ∈ \{ } (1 + x )N u H1(Rd), N 0 | | ∈ ≥ and N 1.2. Scattering theory for the discrete Schr¨odinger oeprators. The scatter- ing theory of the discrete Schr¨odinger operators is studied in [21] for the potential V Lp(Zd), with 1 p < 6/5 if d =3 and 1 p < 3d/(2d + 1) if d 4. In this subsection,∈ we extend≤ their results to when V ≤Lp(Zd) for 1 p d/3≥ at the cost of the restriction of the dimension: d 4. ∈ ≤ ≤ We define the discrete Schr¨odinger≥ operator: H u(x)= (u(x) u(y)), x Zd. 0 − − ∈ Zd |x−y|X=1,y∈ 2 d Note that H0 is a bounded self-adjoint operator on L (Z ). We write d h (ξ)=4 sin2 πξ for ξ Td, H = h (D) 0 j ∈ 0 0 j=1 X and hence the spectrum σ(H0) of H0 is equal to [0, 4d]. Moreover, σac(H0) = [0, 4d], where σ (H ) is the absolutely continuous spectrum of H . Set R±(z) = (H z)−1 ac 0 0 0 0− for Im z > 0. Note that Λ (h (D)) = 4k d , where we recall that Λ (h (D)) ± c 0 { }k=0 c 0 is the set of all critical values of h (ξ). Moreover, if V Lp(Zd, R) for some 0 ∈ 1 p< , H = H0 + V is a bounded self-adjoint operator and σess(H) = [0, 4d] ≤ ∞ p d ∞ d since V L (Z ) L (Z ) and V (x) as x . Here σess(H) denotes the essential∈ spectrum⊂ of H. → ∞ | | → ∞ ± We define R0 (λ) for λ I by the Fourier multiplier of the distribution (h0(ξ) (λ i0))−1, where this distribution∈ is well-defined by virtue of [30, Theoerem 1.8].− Note± that we may take λ as a critical value. We recall that ± ∗ sup R0 (z) B(Lp(Zd),Lp (Zd)) < , z∈C\R k k ∞ holds for 1 p 3d ([30, Proposition 3.3]) and d 4. ≤ ≤ d+3 ≥ Theorem 1.9. Fix a signature and let d 4. ± ≥ (i) Let 1 p 3d . Then ≤ ≤ d+3 ± ∗ sup R0 (z) B(Lp(Zd),Lp (Zd)) < . z∈C± k k ∞ (ii) Let 1 p< 3d . Take 0 <δ 1 such that p< 2/(3δ/d + (d + 3)/d). Then ≤ d+3 ≤ −βδ ± ± sup z w (R0 (z) R0 (w)) B(Lp(Zd),Lq(Zd)) < . z,w∈C±,|z−w|≤1 | − | k − k ∞ (iii) Let V Lp(Zd) for 1 p < d/3 and set V 1/2 = sgnV V 1/2. Then, a ∈ 1≤/2 ± 1/2 | | map z I± V R0 (z) V is H¨older continuous. Moreover, for ∈d/3 Zd7→ | | | | 1/2 ± 1/2 V L ( ), it follows that a map z I± V R0 (z) V is continuous.∈ ∈ 7→ | | | | (iv) Let V Ld/3(Zd, R) and set H = H + V . Then the wave operators ∈ 0 itH −itH0 W± = s lim e e − t→±∞ exist and are complete, i.e. the ranges of W± are the absolutely continuous subspace (H) of H. Hac Remark 1.10. In Proposition 4.10, we prove that the range of p can be extended in the low energy or the high energy. LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 7 ∞ k ∞ Rk R We fix some notations. For an integer k 1, Cc (X ) denotes Cc ( ) if X = and the set of all finitely supported functions≥ if X = Z. For 1 p , we write ∗ ≤ ≤ ∞ p = p/(p 1). We denote t+ = max (t, 0) for t R. We define the Bezov space and ∗ by− ∈ B B ∞ j/2 u = u 2 + 2 u 2 j−1 j , k kB k kL (|x|≤1) k kL (2 ≤|x|<2 ) j=1 X −j/2 u B∗ = u L2(|x|≤1) + sup 2 u L2(2j−1 ≤|x|<2j ), k k k k j≥1 k k 2 d ∗ 2 d = u L (X ) u < , = u L (X ) u ∗ < , B { ∈ loc |k kB ∞} B { ∈ loc |k kB ∞} 1 ∗ = u ∗ lim sup u(x) 2dx =0 . B0 { ∈B | R | | } R→∞ Z|x|≤R Acknowledgment. The author was supported by JSPS Research Fellowship for Young Scientists, KAKENHI Grant Number 17J04478 and the program FMSP at the Graduate School of Mathematics Sciences, the University of Tokyo. The author would like to thank his supervisors Kenichi Ito and Shu Nakamura for encouraging to write this paper. The author also would like to gratefully thank Haruya Mizu- tani and Yukihide Tadano for helpful discussions. Moreover, the author would be appreciate Evgeny Korotyaev informing the paper [21] and Jean-Claude Cuenin for pointing out a mistake of the first draft. 2. Abstract theorem In this section, we state abstract theorems which give estimates for some integral operators. Let K L∞(Xd Xd). For x, y Xd, we denote ∈ × ∈ ′ ′ ′ ′ ′ ′ K(x, y)= K(x ,y , xd,yd)= Kxd,yd (x ,y ), x = (x , xd), y = (y ,yd), where x′,y′ Xd−1 and x ,y X. Moreover, we denote ∈ d d ∈ ′ ′ ′ ′ ′ Kf(x)= K(x, y)f(y)dy, Txd,yd g(x )= Kxd,yd (x ,y )f(y )dy d d−1 ZX ZX for f C∞(Xd) and g C∞(Xd−1). ∈ c ∈ c 2.1. Estimates for integral operators on duality line. We consider the fol- lowing assumptions: Assumption B. There exists C0, C1 > 0 such that for any xd,yd X and g ∞ d−1 ∈ ∈ Cc (X ) (9) T g 2 d−1 C g 2 d−1 , k xd,yd kL (X ) ≤ 0k kL (X ) −k (10) T g ∞ d−1 C (1 + x y ) g 1 d−1 . k xd,yd kL (X ) ≤ 1 | d − d| k kL (X ) ′ ′ Remark 2.1. Suppose that we can write K(x, y) = K1(x y , xd,yd) for some K L∞(Xd+1). Then Assumption B directly follows from the− following estimates: 1 ∈ ′ −2πix′·ξ′ ′ K1(x , xd,yd)e dx ∞ \d−1 C0, k d−1 kL (X ′ ) ≤ ZX ξ ′ −k sup K1(x , xd,yd) C1(1 + xd yd ) . x′∈Xd−1 | |≤ | − | 8 KOUICHI TAIRA Remark 2.2. By the Riesz-Thorin interpolation theorem, (9) and (10) imply 2 2 2 2− p p −1 −k( −1) (11) T g p∗ d−1 C C (1 + x y ) p g p d−1 , k xd,yd kL (X ) ≤ 0 1 | d − d| k kL (X ) for 1 p 2. ≤ ≤ Proposition 2.3. Suppose Assumption B. Then there exists a universal constant Md > 0 and Mp,k > 0 such that 1 2 1 (12) ( sup Kf(x) dx) 2 MdC0 f B, f , Rd R | | ≤ k k ∈B R>0,x0∈ Z|x−x0|≤R 2 2 2− p p −1 p d (13) Kf p∗ d M C C f p d , f L (X ) k kL (X ) ≤ p,k 0 1 k kL (X ) ∈ for 1 p 2(k + 1)/(k + 2). ≤ ≤ Remark 2.4. (13) follows from Proposition 2.8 below under the assumption of Proposition 2.8. However, the proof below is simpler than the proof of Proposition 2.8. Proof. By a density argument, we may assume f C∞(Xd). We observe ∈ c 1 2 2 (14) sup Kf(x) dx sup Kf( , xd) L2(Xd−1), d R | | ≤ R k · k R>0,x0∈X Z|x−x0| (15) Kf( ,yd) L2(Xd−1)dyd Md Kf B, R k · k ≤ k k Z with some universal constant Md > 0. Using the Minkowski inequality and (9), we obtain (12). 2 2 2− p p −1 Next, we prove (13). We set Lp = C0 C1 . By the Minkowski inequality and (11), we have p∗ d ∗ d−1 p∗ Kf L (X ) = Txd,yd (f( ,yd))dyd Lp (X ) L (Xx ) k k kk · k x′ k d ZX −k( 2 −1) p ∗ d−1 p∗ Lp (1 + xd yd ) f( ,yd) Lp (X )dyd L (Xx ) ≤ k | − | k · k y′ k d ZX M L f p d , ≤ p,k pk kL (X ) where we use the fractional integration theorem in the last line. This gives (13). 2.2. Estimates for integral operators away from duality line. For xd X, ∗ ∈ we define Txd and Txd by ′ ′ ∗ ¯ ′ ′ Txd f(x )= Kf(x , xd)= K(x, y)f(y)dy, Txd g(y)= K(x, y)g(x )dx . d d−1 ZX ZX We define ′ ¯ ′ ′ ′ Sxd (yd,zd)g(y )= K(x, y)K(x, z)g(z )dz dx . d−1 d−1 ZX ZX Note that ∗ ′ T Tx f(y)= (Sx (yd,zd)f( ,zd))(y )dzd. xd d d · ZX Next, we consider the following assumption. LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 9 Assumption C. There exists C , C > 0 such that for any x ,y ,z X 2 3 d d d ∈ 2 (16) S (y ,z )g 2 d−1 C g 2 d−1 , k xd d d kL (X ) ≤ 2 k kL (X ) 2 −k (17) S (y ,z )g ∞ d C (1 + y z ) g 1 d−1 . k xd d d kL (X ) ≤ 3 | d − d| k kL (X ) ′ ′ Remark 2.5. Suppose that we can write K(x, y) = K1(x y , xd,yd) for some K L∞(Xd+1). Then Assumption C directly follows from the− following estimates: 1 ∈ 2πiy′·ξ′ ′ ′ ′ ′ ′ 2 e K¯ (x , x ,y )K (x y , x ,z )dx dy \ C , 1 d d 1 d d L∞(Xd−1) 2 k d−1 d−1 − k ≤ ZX ZX ¯ ′ ′ ′ ′ ′ 2 −k sup K1(x y , xd,yd)K1(x z , xd,zd)dx C3 (1 + yd zd ) . ′ ′ d−1 | d−1 − − |≤ | − | y ,z ∈X ZX Remark 2.6. By the Riesz-Thorin interpolation theorem, (16) and (17) imply 2 2 2 2− p p −1 2 −k( −1) (18) S (y ,z )g p∗ d−1 (C C ) (1 + y z ) p g p d−1 , k xd d d kL (X ) ≤ 2 3 | d − d| k kL (X ) for 1 p 2. ≤ ≤ Proposition 2.7. Suppose that K satisfies Assumption C. Then there exists a ′ universal constant Mp,k > 0 such that (19) 2 2 1 1 2− p p −1 2 2 ′ p d ( sup Kf(x) dx) Mp,kC2 C3 f Lp(Xd), f L (X ), Rd R | | ≤ k k ∈ R>0,x0∈ Z|x−x0|≤R for 1 p 2(k + 1)/(k + 2). Moreover, if K∗(x, y)= K¯ (y, x) satisfies Assumption C, then≤ it≤ follows that 2 2 ∗ ′ q 1− q (20) K f q d M C C f , f , k kL (X ) ≤ q/(q−1),k 2 3 k kB ∈B for 2(k + 1)/k q . ≤ ≤ ∞ ∞ d Proof. By a density argument, we may assume f Cc (X ). First, we prove (19). Due to (14), it suffices to prove ∈ 2 2 ′ 2− p p −1 ∞ d (21) T f 2 d−1 M C C f p d , f C (X ). k xd kL (X ) ≤ p,k 2 3 k kL (X ) ∈ c By the standard T ∗T argument, this estimate is equivalent to 2 2 ∗ ′ 2− p p −1 2 T Tx f p∗ d (M C C ) f p d . k xd d kL (X ) ≤ p,k 2 3 k kL (X ) 2− 2 2 −1 p p 2 We set Lp = (C2 C3 ) . Using the Minkowski inequality and (18), we have ∗ ′ p∗ d ∗ d−1 p∗ Txd Txd f L (X ) = (Sxd (yd,zd)f( ,zd))(y )dzd Lp (X ) L (Xy ) k k kk · k y′ k d ZX 2 −k( p −1) ∗ L (1 + y z ) f( ,y ) p∗ d−1 dy p p d d d L (X ′ ) d L (Xy ) ≤ k X | − | k · k y k d ′ Z 2 (M ) L f p d , ≤ p,k pk kL (X ) where we use the fractional integration theorem (the Hardy-Littlewood-Sobolev theorem) in the last line. This proves (19). Next, we prove (20). Replacing K in (21) by K∗, we have 2− 2 2 −1 ¯ ′ p p ∞ d K(y, x)f(y)dy 2 d−1 M C C f p d , f C (X ). L (X ′ ) p,k 2 3 L (X ) c k d k x ≤ k k ∈ ZX 10 KOUICHI TAIRA By duality, we have 2 2 ′ ′ ′ q 1− q K(y, x)g(x )dx q d M C C g 2 d−1 , x X, L (Xy ) q/(q−1),k 2 3 L (X ) d k d−1 k ≤ k k ∈ ZX where q = p∗. By (15) and the Minkowski inequality, we obtain ′ Kf q d K(x, y)f(y)dy q d dy L (X ) L (Xx ) d k k ≤ X k Xd−1 k Z Z 2 2 ′ q 1− q − Mq/(q−1),kC2 C3 f( ,yd) L2(Xd 1)dyd ≤ k · k y′ ZX 2 1− 2 M ′ C q C q f . ≤ q/(q−1),k 2 3 k kB We impose the additional assumption. Assumption D. There exists C4 > 0 such that K(x, y) C (1 + x y )−k, x Xd. | |≤ 4 | − | ∈ Under Assumption C and D, we obtain the estimates similar to (13) away from the H¨older exponent. Proposition 2.8. Suppose that K and K∗(x, y) = K¯ (y, x) satisfy Assumption C ′ and D. Then there exists a universal constant Lp,,q,k > 0 such that ′ p d Kf q d L C f p d , f L (X ), k kL (X ) ≤ p,q,k p,q,k,lk kL (X ) ∈ where 1/p 1/q =1/l and − 2 2 2 p∗ p −1 1− q (k+1)(2k+1) 1+2k k+1 1 C2 C3 C4 , if 1 p k2+3k+1 ,q> k , p∗k q , 2(k+1) 1 2(k+1)−l≤ l+2≤k ≤ 2k+1 (1− l ) (2k+1)l (2k+1)l k 1 k+1 Cp,q,k,l = C C C , if 1 l k +1, < ∗ < , 2 3 4 (k+1)q p kq 2 2 2 ≤ ≤ ∗ −1 1− ∗ q q p 1+2k (2k+1)(k+1) k+1 1 C C C , if 1 p< , q , ∗ . 2 3 4 ≤ 1+k ≥ k2 kq ≤ p We prove this proposition by a series of lemmas. ∞ R2 Lemma 2.9. Suppose that K satisfies Assumption C. Let ψ Cc ( ). Define j j+1 j+1 ∈ K (x, y) = ψ((2xd zd)/2 , (2yd zd)/2 )K(x y) for j and zd X. Then for 1 p 2(k + 1)−/(k + 2) − − ∈ ≤ ≤ 2 2 j ′ ′ 2− p p −1 j/2 K f 2 d L M C C 2 ψ ∞ 2 f p d k kL (X ) ≤ p,k 2 3 k kL (X )k kL (X ) with L′ > 0 independent of z X and j. d ∈ 2 Proof. We take L> 0 such that supp ψ BL, where BL X is an open ball with radius L and with center 0. We observe⊂ ⊂ j 2 j 2 K f L2(Xd) = K f( , xd) L2(Xd−1)dxd k k j k · k Z|xd−zd/2|≤L2 Replacing K in (21) with Kj, we have 2 2 j ′ 2− p p −1 K f( , x ) 2 d−1 M C C ψ ∞ 2 f p d . k · d kL (X ) ≤ p,k 2 3 k kL (X )k kL (X ) ′ We note that there exists L > 0 independent of zd and j such that 1/2 ′ j/2 ( dxd) L 2 . j ≤ Z|xd−zd/2|≤L2 LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 11 Combining the above three inequality, we obtain the desired result. We need the following technical lemma in order to prove Lemma 2.11 below. Lemma 2.10. Let F C∞(R). Then there exists ψ C∞(R2) such that ∈ c ∈ c x y 2x z 2y z F ( d − d )=L ψ( d − d , d − d )dz , x ,y R, 2j j 2j 2j d d d ∈ ZX where L =2−j if X = R and 2−j−2 L 2−j if X = Z. j ≤ j ≤ ∞ R2 ∞ R Proof. We define ψ Cc ( ) as follows: Take χ2 Cc ( , [0, 1]) such that ∈ R ∈ R χ2(x)dx = 2 and supp χ2 ( 1/2, 1/2) if X = and such that χ2(t)=1on ⊂ − ′ ′ ′ t 1 and χ(t)=0on t 2 if X = Z. We define ψ(z,z )= F (z z )χ2(z + z ), |R |≤ | |≥ R − Then F (xd)= X ψ(xd + z,z)dz if X = and R 2xd zd 2yd zd 2xd zd 2yd zd ψ( j+1− , j−+1 )dzd = ψ( j+1− , j−+1 ) X 2 2 Z 2 2 Z zXd∈ xd yd zd =F ( −j ) χ2( j ). 2 Z 2 zXd∈ if X = Z. We note j zd j+2 2 χ2( j ) 2 . ≤ Z 2 ≤ zXd∈ R zd Z We set L = 1 if X = and L = χ ( j ) if X = and we are done. j j zd∈Z 2 2 The following lemma is a consequenceP of Lemma 2.9, however its proof is a bit technical due to the convolution type cut-off. The conclusion of the following lemma is same as [9, Lemma 1], where the uniform resolvent estimate of the Laplacian is studied. However, since their proof strongly depends on the spherical symmetry of the Laplacian and the Stein-Tomas theorem for the sphere, we cannot directly apply their argument to our cases. In order to overcome this difficulty, we borrow an idea from the proof of the Carleson-Sj¨olin theorem [10, Theorem 2.1]. ∞ R Lemma 2.11. Suppose that K satisfies Assumption C. Let F Cc ( ). Define j,conv j ∈ K (x, y) = F ((xd yd)/2 )K(x, y) for non-negative integer j. Then for 1 p 2(k + 1)/(k + 2), there− exists a universal constant M ′′ such that ≤ ≤ p,k 2 2 j,conv ′′ 2− p p −1 1 j (22) K f(x) 2 d M C C 2 2 f p d k kL (X ) ≤ p,k 2 3 k kL (X ) Proof. By Lemma 2.10, we have Kj,convf(x) 2−2j Kj,zd (x, y)dz , | |≤ | d| ZX j,z j+1 j+1 where we set K d (x, y) = K(x, y)ψ((2xd zd)/2 , (2yd zd)/2 ). Take ϕ ∞ R − − ∈ Cc ( ) such that ψ(xd,yd) = ψ(xd,yd)ϕ(yd). We take L > 0 such that supp ψ B , where B X2 is an open ball with radius L and with center 0. We note ⊂ L L ⊂ 2x z 2y z z X ψ( d − d , d − d ) =0 L2j+1. |{ d ∈ | 2j+1 2j+1 6 }| ≤ 12 KOUICHI TAIRA 2− 2 2 −1 ′ p p 2 Set M = (Mp,kC2 C3 ) . Using the Cauchy-Schwarz inequality and Lemma 2.9, we have j,zd 2 j+1 j,zd 2 K f(x)dzd dx L2 K f(x) dxdzd d | | ≤ d | | ZX ZX ZX ZX ′ 2j 2 zd 2 2LL M2 ϕ( ·− )f p d dz . ≤ k 2j+1 kL (X ) d ZX Since p 2, by using the Minkowski inequality, we have ≤ 2 zd 2 2 zd 2 2 ϕ( ·− )f p d dz ϕ( ·− ) 2 f p d k 2j+1 kL (X ) d ≤k 2j+1 kL (X)k kL (X ) ZX ′′ j 2 2 L 2 ϕ 2 f p d ≤ k kL (X)k kL (X ) with L′′ depends only on ϕ. Thus we obtain 2 2 j,conv 2 ′′ 2− p p −1 2 j 2 K f(x) dx (Mp,kC2 C3 ) 2 f Lp(Xd), d | | ≤ k k ZX ′′ 2 ′ ′′ ′ 2 2 where (M ) =2LL L (M ) ϕ 2 . p,k p,k k kL (X) Corollary 2.12. Suppose that K satisfies Assumption D. Then there exists a constant L1 > 0 which depends only on F , d and k such that j,conv −jk (23) K f ∞ d L C 2 f 1 d . k kL (X ) ≤ 1 4 k kL (X ) In addition, we suppose that K and K∗(x, y)= K¯ (y, x) satisfy Assumption C. Set ∗ ′′ 2/q 1−2/q 1/p1 =1 q/2p and L2,p,q = (M ) L . Then − p1,k 1 2 2 2 1+2k j,conv p∗ p −1 1− q j −jk (24) K f q d L C C C 2 q f p d k kL (X ) ≤ 2,p,q 2 3 4 k kL (X ) if q 2 and (k + 1)(1 1/p)/k 1/q and ≥ − ≤ 2 2 2 (1+2k) j,conv q q∗ −1 1− p∗ j ∗ −jk (25) K f q d L ∗ ∗ C C C 2 p f p d k kL (X ) ≤ 2,q ,p 2 3 4 k kL (X ) if p 2 and (k + 1)/(kq) 1 1/p. ≤ ≤ − Proof. (23) follows from j,conv j K f ∞ d F ( /2 )K ∞ d f 1 d k kL (X ) ≤k · kL (X )k kL (X ) −jk L C 2 f 1 d ≤ 1 4 k kL (X ) with some constant L1 > 0 by Assumption D. By complex interpolating (22) and (23), we obtain (24). Since K∗ also satisfies Assumption C and D, by duality, (25) holds. ∞ R Proof of Proposition 2.8. Take η Cc ( , [0, 1]) such that η(t)=1on0 t 1 and η = 0 on t 2. Set F (x∈) = η( x ) η( x /2). By Corollary 2.12,≤ for≤ ≥ | | − | | LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 13 (k + 1)(1 1/p)/k 1/q, q> (1+2k)/k, we have − ≤ ∞ ∞ j,conv j,conv Kf q d = K f q d K f q d k kL (X ) k kL (X ) ≤ k kL (X ) j=0 j=0 X X ∞ 2 2 2 p∗ p −1 1− q j/2+jd(1/q−1/2) L C C C 2 f p d ≤ 2,p,q 2 3 4 k kL (X ) j=0 X 2 2 2 ′ p∗ p −1 1− q L C C C f p d , ≤ 2,p,q 2 3 4 k kL (X ) where L′ = L ∞ 2j/2+jd(1/q−1/2). Similarly, for (k + 1)/(kq) 1 1/p, 2,p,q 2,p,q j=0 ≤ − p< (1+2k)/(1 + k), we have P 2 2 2 ′ p∗ p −1 1− p∗ Kf q d L ∗ ∗ C C C f p d . k kL (X ) ≤ 2,q ,p 2 3 4 k kL (X ) In order to prove the end point estimates, we use Bourgain’s interpolation trick ([2], [3, 6.2], [16, Lemma 3.3]). This trick is also used in [1] for the Stein-Tomas theorem§ for a large class of measures in Euclidean space. See also [6] and [9]. We denote the Lorentz space for index 1 p and 1 r by Lp,r(Xd): ≤ ≤ ∞ ≤ ≤ ∞ 1 ∞ r 1 r d p r−1 r p ( 0 µ( x X f(x) > α ) α dα) , r< , f Lp,r(Xd) = { ∈ | | | } 1 ∞ k k sup αµ( x Xd f(x) > α ) p , r = , ( α>R 0 { ∈ | | | } ∞ p,r d d L (X )= f : X C f : measurable, f p,r d < . { → | k kL (X ) ∞} Bourgain’s interpolation trick with (24) and (25) implies that for 1 p (k + 1)(2k + 1)/(k2 +3k + 1), q =(1+2k)/k, it follows that ≤ ≤ 2 2 2 ′ p∗ p −1 1− q Kf q,∞ d L C C C f p,1 d k kL (X ) ≤ 2,p,q 2 3 4 k kL (X ) with a universal constant L′ . Similarly, for p = (1+2k)/(1 + k), q (2k + 2,p,q ≥ 1)(k + 1)/k2, we have 2 2 2 ′ q q∗ −1 1− p∗ Kf q,∞ d L ∗ ∗ C C C f p,1 d . k kL (X ) ≤ 2,q ,p 2 3 4 k kL (X ) By real interpolating above estimates, we complete the proof. 3. Uniform resolvent estimates 3.1. Proof of Theorem 1.2 (i) and (ii). Proof of Theorem 1.2 (i) and (ii). We follows the argument as in [4, Lemma 3.3]. By using a partition of unity and a linear coordinate change, we may assume that ∂ξd T = 0 on supp χ. Moreover, by the implicit function theorem, we may assume that for6 λ I, M has the following graph representation: ∈ λ M supp χ (ξ′,h (ξ′)) Xd ξ′ U λ ∩ ⊂{ λ ∈ | ∈ } \d−1 for some relativity compact open set U X cand hλ which is smooth with respect to ξ′ U and λ I and ⊂ ∈ ∈ (26) T (ξ) λ = e(ξ, λ)(ξ h (ξ′)), − d − λ 14 KOUICHI TAIRA 1 ′ ′ where e(ξ, λ) = 0 (∂ξd T )(ξ , tξd + (1 t)hλ(ξ ))dt. Furthermore, we may assume min e(ξ, λ) > 0 if necessary,− we take supp χ small. Set ξ∈supp χ,λ∈A R e2πix·ξχ(ξ) Kz,±(x)= dξ, cd T (ξ) z ZX − K (x)=K (x) K (x), z,w,± z,± − w,± where λ = Re z,µ = Re w I and Im z, Im w 0. In order to prove Theorem ∈ ± ± ≥ 1.2, it suffices to show that Kz,± satisfies Assumptions C and D, and that Kz,w,± satisfies Assumption B. Lemma 3.1. Fix a signature . For any 0 δ 1, there exists C , C , C > 0 ± ≤ ≤ 0 1 1,δ such that for x = (x′, x ) Xd, z, w I with z w 1, we have d ∈ ∈ ± | − |≤ ′ ′ ′ −2πiy ·ξ ′ −k sup Kz,±(y , xd)e dy C0, Kz,±(x) C1(1 + x ) \ | d−1 |≤ | |≤ | | ξ′∈Xd−1 ZX ′ −2πiy′·ξ′ ′ sup Kz,w,±(y , xd)e dy 2C0, \ | d−1 |≤ ξ′∈Xd−1 ZX K (x) C′ z w δ(1 + x )−k+δ | z,w,± |≤ 1| − | | | 2πix ξ ′ −2πiy′·ξ′ ′ e d d χ(ξ) b Proof. Note that Xd−1 Kz,±(y , xd)e dy = X T (ξ)−z dξd. If necessary we take supp χ is small, it suffices to replace the integration region by R. Thus by R R (26), we have e2πixdξd χ(ξ) e2πixdξd χ(ξ) dξd = dξd b X T (ξ) z R T (ξ) z Z − Z − ′ 2πix (ξ +h (ξ )) ′ ′ e d d λ χ(ξ , ξd + hλ(ξ )) = ′ ′ dξd R e(ξ , ξd + hλ(ξ ), ξd)ξd iIm z Z ′ − 2πixdhλ(ξ ) ′ = : e γz,±(ξ , xd). By using [4, (3.10)] for Im z > 0 and [5, (A.6)] for Im z = 0, we have ± ± α ′ (27) ∂ ′ γ (ξ , x ) C | ξ z,± d |≤ α for α Nd−1. We will prove (27) in Lemma A.3. Thus the first inequality holds. Moreover,∈ we note that ′ ′ ′ ′ 2πi(x ·ξ +xdhλ(ξ )) ′ Kz,±(x)= γz,±(ξ )e dξ . \d−1 ZX ′ Since γz,± is compactly supported in ξ -variable, then (5) and (27) imply the second inequality. The estimates for Kz,w,±(x) follow from the estimates α ′ ′ δ δ ∂ ′ γ (ξ , x ) C z w (1 + x ) , | ξ z,± d |≤ α| − | | d| which is also proved after Lemma A.3: (51). Lemma 3.2. There exists C3 > 0 such that 2πiy′·ξ′ ¯ ′ ′ ′ ′ ′ 2 e Kz,±(x , xd yd)Kz,±(x y , xd zd)dx dy C0 | d−1 d−1 − − − |≤ ZX ZX ¯ ′ ′ ′ ′ ′ 2 −k Kz,±(x y , xd yd)Kz,±(x z , xd zd)dx C3 (1 + yd zd ) | d−1 − − − − |≤ | − | ZX where C0 > 0 is as in the proof of Lemma 3.1. LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 15 Proof. Note that 2πiy′·ξ′ ′ ′ ′ ′ ′ e K¯z,±(x , xd yd)Kz,±(x y , xd zd)dx dy Xd−1 Xd−1 − − − Z Z ′ = e2πi(yd−zd)hλ(ξ )γ (ξ′, x z )γ (ξ′, x y ), z,± d − d z,± d − d where γz,± is as in the proof of Lemma 3.1. Moreover, we have ′ ′ ′ ′ ′ K¯z,±(x y , xd yd)Kz,±(x z , xd zd)dx d−1 − − − − ZX ′ ′ ′ ′ 2πi(y −z )·ξ +2πi(yd−zd)hλ(ξ ) ′ ′ ′ = e γz,±(ξ , xd zd)γz,±(ξ , xd yd)dξ . bd−1 − − ZX Thus (5) and (27) imply the conclusion. Lemma 3.1 and 3.2 imply that Kz,± satisfies Assumptions C and D and Kz,w,± satisfies Assumption B. This completes the proof of Theorem 1.2. Remark 3.3. In order to prove (i), it is sufficient to prove (i) for Im z = 0 by using the Phragm´en-Lindel¨of principle as in [27, Section 5.3]. See also±[4, Appendix A] for the estimates of the Shatten norm of the resolvent. Here we avoid using the Phragm´en-Lindel¨of principle. Corollary 3.4. Let r , r (1, 4k + 2] satisfying 1/r +1/r 1/(k + 1). Then 1 2 ∈ 1 2 ≥ ± (28) sup W1χ(D)R0 (z)W2 B(L2(Xd)) C W1 Lr1 (Xd) W2 Lr2 (Xd) z∈I± k k ≤ k k k k r1 d r2 d r1 d for W1 L (X ) and W2 L (X ). Moreover, let W1 L (X ) and W2 r2 d ∈ ∈ ± ∈ 2 d ∈ L (X ). Then it follows that W1χ(D)R0 (z)W2 belongs to B∞(L (X )) and a ± 2 d map z I± W1χ(D)R0 (z)W2 B∞(L (X )) is continuous in z I±. In addition,∈ for r7→= r = r (1, 4k +∈ 2), we have ∈ 1 2 ∈ δ (29) ± ± βδ W χ(D)(R (z) R (w))W 2 d C z w W r d W r d k 1 0 − 0 2kB(L (X )) ≤ | − | k 1kL (X )k 2kL (X ) for z, w I , z w 1. ∈ ± | − |≤ Proof. (28) and (29) follow from Theorem 1.2 and the H¨older inequality. For prov- ing the other statements, we may assume W , W C∞(Xd) by ε/3-argument and 1 2 ∈ c (28). Since W1 and W2 are compactly supported and since the integral kernel of ± ∞ ± χ(D)R0 is in L by Lemma 3.1, then the integral kernel of W1χ(D)R0 (z)W2 is ± square integrable and hence Hilbert-Schmidt. Thus it follows that W1χ(D)R0 (z)W2 ± is compact. Moreover, by (29), we see that W1χ(D)R0 (z)W2 is continuous in r1 d r2 d z I±. The case of W1 L (X ) and W2 L (X ) follows from the ε/3- argument∈ as in the proof of∈ Lemma 4.9. ∈ 3.2. Supersmoothing, Proof of Theorem 1.2 (iii). In this subsection, we as- sume X = R. The author expect that the following proposition with X = Z holds. However, we prove this with with X = R for possibly technical reason. We recall µ (x)=(1+ x 2)N (1 + γ x 2)−N . We restate Theorem 1.2 (iii): N,γ | | | | 16 KOUICHI TAIRA Proposition 3.5. Let I R be a compact interval. Suppose T −1(I) is compact. Let χ C∞(Rd) be supported⊂ in T −1(I). Under Assumption A, for (1/p, 1/q) S , ∈ c ∈ k there exists CN,p,q > 0 such that (30) µ (x)χ(D)u q Rd ∗ C µ (x)(T (D) λ)χ(D)u p Rd k N,γ kL ( )∩B ≤ N,p,qk N,γ − kL ( )+B for u (Rd). ∈ S Lemma 3.6. Suppose that m C∞(Rd) satisfies ∈ ∂αm(ξ) C (1 + ξ 2)−|α|/2 | ξ |≤ α | | d 2 N 2 −N for α N . Let 1 =((∂xj bα)(x)+ bα(x)bej (x))µN,γ (x), Rd where (e1, ..., ed) is a standard basis in . Thus, if we set bα+ej (x) = (∂xj bα)(x)+ 2 (|α|+|β|)/2 β bα(x)bej (x), then (1 + x ) ∂x bα(x) Cα,β,N follows. This proves (31) for α = M +1. (|ii) is| easily| proved. | ≤ | | Corollary 3.8. For k R we define Λ = (I ∆)k/2. Then ∈ k − −1 −1 −1 µΛ µ Λ p Rd + µΛ µ L + µΛ µ L ∗ C , k k −kkB(L ( )) k k −kkB(B) k k −kkB(B ) ≤ N,k,p −1 −1 −1 Λ µΛ µ p Rd + Λ µΛ µ + Λ µΛ µ ∗ C , k k −k kB(L ( )) k k −k kB(B) k k −k kB(B ) ≤ N,k,p −1 with some CN,k,p > 0 independent of 0 <γ 1 for µ µN,γ,µN,γ and 1 p d q d ∗ Proof of Proposition 3.5. Let Y1 L (R ), and Y2 L (R ), . If neces- sary, we may assume supp χ is small∈ { enough.B} In fact, by∈ using { a partitionB } of unity χ M such that M χ = 1 on supp χ, we have { j}j=1 j=1 j P M µ (x)χ(D)u µ (x)(χ χ)(D)u , k N,γ kY2 ≤ k N,γ j kY2 j=1 X M µ (x)(T (D) λ)(χ χ)(D)u C µ (x)(T (D) λ)χ(D)u , k N,γ − j kY1 ≤ N,m,pk N,γ − kY1 j=1 X where we use the triangle inequality in the first line and Lemma 3.6 in the second line. Thus we may replace χ(D) by (χj χ)(D) in (30). ˆ We may supposeu ˆ and f are supported in supp χ and we may suppose ∂ξd T =0 on supp χ by rotating the coordinate and by taking supp χ small enough. We6 set + 2 + ξj = ε0ej + 1 ε0ed for j = 1, ..., d 1 and ξd = ξd, where ε0 > 0 is a small − − Rd + + constant andp (e1, ..., ed) is the standard basis of . Since (ξ1 , ..., ξd ) is the basis of Rd, then d d C−1 µ˜ (x ξ+) µ (x) C µ˜ (x ξ+) N,γ · j ≤ N,γ ≤ N,γ · j j=1 j=1 X X with some constant C > 0 independent of γ, where 2 N 2 −N µ˜N,γ(t)=(1+ t ) (1 + γt ) . Thus it suffices to prove that µ˜ (x ξ+)u C µ˜ (x ξ+)(T (D) λ)u k N,γ · j kY2 ≤ N k N,γ · j − kY1 + for each j = 1, ..., d. If ε0 > 0 is small, then ∂ξd T = 0 implies ξj T (ξ) = 2 6 · ∇ ε0∂ξ1 T + 1 ε0∂ξd T = 0 on supp χ. Thus by rotating the coordinate, we may reduce to prove− 6 p µ˜ (x )u C µ˜ (x )(T (D) λ)u . k N,γ d kY2 ≤ N k N,γ d − kY1 We remark that this reduction is the only part to miss proving this Proposition Z + when X = . In fact, there are no basis containing the normal vector of x ξj - direction when X = Z. · Set f = (T (D) λ)u. By the implicit function theorem, we have T (ξ) λ = ′ − −1 ′ − e(ξ, λ)(ξd hλ(ξ )) as in (26). Then we have e(ξ, λ) fˆ(ξ) = (ξd hλ(ξ ))ˆu(ξ) on − ′ − supp χ. We denote f˜(ξ , xd) is the Fourier transform of f with respect to ξ1, ..., ξd−1- variables and setg ˆ(ξ)= e(ξ, λ)−1fˆ(ξ). Here e(ξ, λ)−1 is well-defined on supp fˆsince supp f supp χ. Then ⊂ (D h (ξ′))˜u(ξ′, x )=˜g(ξ′, x ), xd − λ d d Sinceu ˜ andg ˜ are smooth, by using variation of parameters, we can write x d ′ ′ 2πi(xd−yd)hλ(ξ ) ′ u˜(ξ , xd)= e g˜(ξ ,yd)dyd −∞ Z ∞ ′ = e2πi(xd−yd)hλ(ξ )g˜(ξ′,y )dy . − d d Zxd 18 KOUICHI TAIRA Note that we use the first line of the above representation if x 0 and the second d ≤ line if xd 0. Taking the inverse Fourier transform and multiplyingµ ˜N,γ(xd), we have ≥ ′ ′ ′ µ˜N,γ(xd)u(x)= KN,γ(x y , xd,yd)˜µN,γ(yd)g(y)dy dyd R Rd−1 − Z Z where ′ ′ µ˜N,γ(xd) KN,γ(x y , xd,yd)= (χxd<0χxd≤yd χxd>0χxd≤yd ) − µ˜N,γ(yd) − ′ ′ ′ ′ e2πi(x −y )·ξ +2πi(xd−yd)hλ(ξ )ψ(ξ′)dξ′. × R[d−1 Z µ˜N,γ (xd) Note that (χx <0χx ≤y χx >0χx ≤y ) 1. Let R be the linear op- µ˜N,γ (yd) d d d − d d d ≤ erator on Rd with the integral kernel K . We recall supp fˆ supp χ and N,γ ⊂ gˆ = e(ξ, λ)−1fˆ(ξ). Hence we can write µ˜ (x )u(x)= K (x′ y′) (˜µ (y )ϕ(D)e(D, λ)−1µ˜−1 (y )˜µ (y )f)(x) N,γ d N,γ − ∗ N,γ d N,γ d N,γ d ∞ Rd where ϕ Cc ( ) such that ϕ = 1 on supp χ. By virtue of Lemma 3.6, it ∈ −1 −1 p d follows that the operator norms ofµ ˜N,γ(yd)χ(D)e(D, λ) µ˜N,γ(yd) on L (R ) (1 4. Applications 4.1. Fractional Schr¨odinger operators and Dirac operators. In this subsec- tion, we suppose that T (D) is the one of the following operators: T (D) = ( ∆)s/2,T (D) = ( ∆+1)s/2 1,T (D)= ,T (D)= , − − − D0 D1 where 0 (34) sup (1 χ(D))R0(z) B(Lp(Rd),Lq(Rd)) < z∈I± k − k ∞ LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 19 if 1/p 1/q s/d. In fact, if 2α = d/2+ d/p and 2β = d/q + d/2, then − ≤ − − (1 χ(D))R (z) p Rd q Rd k − 0 kB(L ( ),L ( )) −α α+β (I ∆) p Rd 2 Rd (1 χ(D))(I ∆) R (z) 2 Rd ≤k − kB(L ( ),L ( ))k − − 0 kB(L ( )) −β (I ∆) 2 Rd q Rd . ×k − kB(L ( ),L ( )) Thus (34) follows from the the Hardy-Littlewood-Sobolev inequality. Combining (33) with (34), we obtain (i). (ii) is similarly proved. Lemma 4.1. (i) Suppose 2d/(d + 1) s < d. Let 0 < δ 1, r (2d/s, 2(d + 1) 4δ] and r , r (1, 2(d + 1)] satisfying≤ ≤ ∈ − 1 2 ∈ 2 1 1 s + . d +1 ≤ r1 r2 ≤ d Then ± sup W1R0 (z)W2 B(L2(Rd)) C W1 Lr1 (Rd) W2 Lr2 (Rd) z∈I± k k ≤ k k k k ± ± βδ W (R (z) R (w))W 2 Rd C z w W r Rd W r Rd k 3 0 − 0 4kB(L ( )) ≤ | − | k 3kL ( )k 4kL ( ) r1 d r2 d r d for z, w I± with z w 1 and W1 L (R ), W2 L (R ), W3, W4 L (R ). ∈ | − |≤ ∈ ∈ ± ∈ Moreover, if W Lr1 (Rd) and W Lr2 (Rd), then W R (z)W B (L2(Rd)) 1 ∈ 2 ∈ 1 0 2 ∈ ∞ follows for z I and a map z I W R±(z)W is continuous. ∈ ± ∈ ± 7→ 1 0 2 (ii) Suppose 0 4.2. Carleman estimate, Proof of Theorem 1.3 (iv). First, we give the Car- 2 N 2 −N leman estimate for T (D). We recall µN,γ(x) = (1+ x ) (1 + γ x ) and l/2 | | | | Λl = (I ∆) . For 1 (37) µN,γ(x)ψ(D)u X∗ CN,d µN,γ(x)ψ(D)(T (D) λ)u X k k s ≤ k − k s for ψ χ ,χ ,χ . The case when ψ = χ directly follows from Proposition 3.5 ∈ { 0 1 2} 1 and Corollary 3.8. The case when ψ = χ2 follows from Corollary 3.8 and (35): µN,γ(x)χ2(D)u X∗ C µN,γ(x)χ2(D)u s/2,2 k k s ≤ k kW =C Λ µ (x)u 2 Rd , k s/2 N,γ kL ( ) −1 Λs/2µN,γ =(Λs/2µN,γΛ−s/2µN,γ) (µ Λ χ (D)(T (D) λ)−1µ−1 Λ ) × N,γ s/2 3 − N,γ s/2 Λ µ χ (D)(T (D) λ), × −s/2 N,γ 2 − ∞ d −1 where χ3 C (R ) satisfies χ3 = 1 on supp χ2 and supp χ3 T (I)= . More- ∈ 2 −1 ∩ ∅ over, the L -boundedness of Λs/2µN,γΛ−s/2µN,γ follows from Corollary 3.8 and L2-boundedness of µ Λ χ (D)(T (D) λ)−1µ−1 Λ is proved by mimicking N,γ s/2 3 − N,γ s/2 the proof of Corollary 3.8. Finally, we deal with the case of ψ = χ . (37) with T (D) = ( ∆)s/2 or T (D)= 0 6 − ( ∆)s/2 for s 2N is similarly proved as in the proof of (37) with ψ = χ . Thus − ∈ 2 we may assume T (D) = ( ∆)s/2 with s / 2N. For its proof, we need some lemmas. − ∈ Lemma 4.4. Let s> 0 and m C∞(Rd 0 ) C (Rd) satisfying ∈ \{ } ∩ c if α Mα 0, α =0, ∂ m(ξ) Cα ξ ,Mα = | ξ |≤ | | s N, if α 1. ( − | |≥ 2πix·ξ Then m(D)(x)= Rd e m(ξ)dξ satisfies R m(D)(x) C(1 + x )−s−d. | |≤ | | LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 21 ∞ R Proof. Since m is compactly supported, we may assume x 1. Let χ Cc ( ) satisfying χ(t)=1on t 1 and χ(t)=0on t 2. Set|χ ¯|=1 ≥ χ. For ∈δ > 0, by integrating by parts, we| |≤ have | |≥ − x 2πix·ξ m(D)(x)= 2 e ( Dξm(ξ))dξ x · Rd − | | Z x 2πix·ξ = 2 e (χ( ξ /δ)+¯χ( ξ /δ))( Dξm(ξ))dξ x · Rd | | | | − | | Z =:m1(x)+ m2(x). We simply obtain m (x) C x −1 ξ s−1dξ C x −1δd+s−1. | 1 |≤ | | | | ≤ | | Z|ξ|≤2δ For M s + d + 2, by integrating by parts, we have ≥ −M−1 α m2(x) C x Dξ (¯χ( ξ /δ)Dξm(ξ)) dξ | |≤ | | Rd | | | | |αX|≤M Z C x −M−1δd+s−1−M . ≤ | | We set δ = x −1 and conclude m(D)(x) C x −d−s. | | | |≤ | | Lemma 4.5. Let m be as in Lemma 4.4 and 1 Lemma 4.7. Suppose V Lp(Rd) with d/s p (d + 1)/2 for 2d/(d + 1) ∈ ≤ ≤ ≤ s < d and V L(d+1)/2(Rd) Ld/s(Rd) for 0 (39) Vu X V Y u X∗ , k k s ≤k k s k k s where Y Lp(Rd) for 2d/(d + 1) s < d and Y = L(d+1)/2(Rd) s ∈{ }d/s≤p≤(d+1)/2 ≤ s ∩ Ld/s(Rd). By the Sobolev embedding theorem, we have ∗ ∗ W ld,pd ֒ Lq (Rd),Lq(Rd) ֒ W −ld,pd → → for 2d/(d + s) q pd. For 2d/(d + 1) s < d and d/s p (d + 1)/2, we set q =2p/(p + 1).≤ We≤ note 2d/(d + s) q ≤ p . By the H¨older≤ ≤ inequality, we have p ≤ p ≤ d Vu qp Rd V p Rd u q∗ . k kL ( ) ≤k kL ( )k kL p (Rd) ∗ ∗ ld,pd −ld,pd ∗ (We use Xs ֒ W and W ֒ Xs and conclude V B(Xs ,Xs) and (39 for 2d/(d + 1)→ s < d. In order to prove→ (39) with 0 Vu q Rd V u r Rd , k kL ( ) ≤k kYs k kL ( ) ∗ where q pd, 2d/(d + s) and r pd, 2d/(d s) . This inequality follows from ∈ { (d+1)/}2 d ∈d/s { d − } the fact V Ys = L (R ) L (R ) and the complex interpolation. ∈ ∞ Rd ∩ Take χ Cc ( ) such that χ = 1 on x 1/2 and χ = 0 on x 1. For ≤ R 1, we set∈ V = Vχ(x/R). Then we use| the| ≤ inclusion ֒ X and| | have ≥ R B → s µN,γVu X V VR Y µN,γu X∗ + µN,γVRu X k k s ≤k − k s k k s k k s V VR Y µN,γu X∗ + µN,γVRu B. ≤k − k s k k s k k For each ε > 0, we take R > 0 large enough such V VR Ys < ε and we obtain (38). k − k Proof of Theorem 1.3 (iv). We recall H = T (D)+ V . Suppose that σpp(H) 0 is R ∞ \{2 R}d not discrete in 0 . Then there exist an orthonormal system uj j=1 L ( ), ∞\{ } R −1 { } ⊂ δ 1 and λj j=1 λ δ λ δ such that Huj = λj uj. We note ≥ 2 Rd{ } ∗ ⊂ { ∈ | ≤ | | ≤ } uj L ( ) 0. Let N 0 satisfying (36). Applying Proposition 4.2 with uj and∈ Lemma 4.7⊂ B with small ε>≥ 0, we have µN,γuj X∗ CN,ε uj 2 Rd k k s ≤ k kL ( ) 1/2+ε1 2 d ֒ ( with CN,ε independent of γ (0, 1]. The inclusion Λ−s/2(1 + x ) L (R ∗ ∈ | | → Xs for ε1 > 0 implies −1/2−ε1 (1 + x ) Λ µ u 2 Rd C u 2 Rd . k | | s/2 N,γ jkL ( ) ≤ N,εk jkL ( ) Taking γ 0, we have → −1/2−ε1 2 N (40) (1 + x ) Λ (1 + x ) u 2 Rd C u 2 Rd = C . k | | s/2 | | j kL ( ) ≤ N,εk jkL ( ) N,ε We take ε small enough and N 0 satisfying (36) and 2N > 1/2+ ε when 1 ≥ 1 T (D) = ( ∆)s/2 with 2s / N. Then (40) implies that u is bounded in (1 + − ∈ j ֒ (x )1/2+ε1−2N Λ L2(Rd). Since the inclusion (1 + x )1/2+ε1 −2N Λ L2(Rd | | −s/2 | | −s/2 → LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 23 2 Rd 2 Rd L ( ) is compact, there exists a subsequence ujk k such that ujk u in L ( ) 2 d { } → for some u L (R ). On the other hand, since uj converges to 0 in the weak ∈2 Rd topology of L ( ), then we have u = 0. This contradicts to uj L2(Rd) = 1. The same argument implies that the each eigenspace associatedk k with eigenvalue λ R 0 is finite dimensional. ∈ \{ } 4.3. Discrete Schr¨odinger operator. In this subsection, we consider the case of X = Z and consider the discrete Schr¨odinger operators. Proof of Theorem 1.9. Part (ii) directly follows from the following lemma. C R ± Lemma 4.8. Let d 4 and a signature . Then maps z ± R0 (z) are ≥ ∗ ± ∈ \ 7→ H¨older continuous in B(Lp(Zd),Lp (Zd)) for 1 p< 3 , where 3 =2d/(d + 3). ≤ ∗ ∗ Proof. We follow the argument in [25, Lemma 4.7]. We prove the lemma in the case of + only. The case of is similarly proved. For 1 p < 3∗, there exists 0 <δ 1 such that 1 p< 3− , where ≤ ≤ ≤ ∗,δ 2 3 = . ∗,δ 3δ/d +(3+ d)/d We use the following dispersive estimate ([29]): d 2 it∆d − ( −1) (41) e p Zd p∗ Zd C t 3 p , 1 p 2. k kB(L ( ),L ( )) ≤ ph i ≤ ≤ Moreover, ′ (42) eitz eitz 21−δ t δ z z′ δ | − |≤ | | | − | ′ itz itz′ itz itz′ ′ holds for t 0 and z,z C+ since e e 2 and e e t z z . By (41) and≥ (42), we have∈ | − |≤ | − | ≤ | || − | + + ′ R (z) R (z ) p Rd p∗ Rd k 0 − 0 kB(L ( ),L ( )) ∞ ′ = (eitz eitz )eit∆d dt − p d p∗ d Z0 B(L (R ),L (R )) ∞ 1−δ ′ δ δ − d ( 2 −1) Cp2 z z t t 3 p dt < ≤ | − | | | h i ∞ Z0 for 1 p< 3 . This completes the proof. ≤ ∗,δ Now we prove part (i). The above lemma implies that ± ± ∗ R (43) lim R (λ iε) R (λ i0) B(Lp(Zd),Lp (Zd)) =0, λ , 1 p< 3∗, ε→0,ε>0 k 0 ± − 0 ± k ∈ ≤ ± where we recall R0 (λ i0) are Fourier multipliers of the distributions (h0(ξ) (λ i0))−1. We also use the± uniform bounds ([30, Proposition 3.3]): − ± ± ∗ (44) sup R0 (z) B(L3∗ (Zd),L3 (Zd)) < , z∈C±\R k k ∞ where 3∗ =2d/(d 3). By (43) and (44), taking a limiting argument, we have − ± ∗ sup R0 (z) B(L3∗ (Zd),L3 (Zd)) < . z∈C± k k ∞ This proves part (i). 24 KOUICHI TAIRA Note that part (iii) with V Lp(Zd) for 1 p < d/3 follows from part (ii) ∈ ≤ and the H¨older inequality. Part (iii) with V Ld/3(Zd) follows from the following lemma. ∈ 2d/3 d Lemma 4.9. Let d 4 and a signature . For W1, W2 L (Z ), a map z C W R±(z)W≥ B (L2(Zd)) is continuous.± ∈ ∈ ± 7→ 1 0 2 ∈ ∞ Proof. Take sequences of finitely supported potentials W , W such that W 1,n 2,n j,n → W in L2d/3(Zd) as n for j =1, 2. For z,z′ C , the H¨older inequality implies j → ∞ ∈ ± ± ± ′ W (R (z) R (z ))W 2 Zd k 1 0 − 0 2kB(L ( )) ± ∗ 2 W1 W1,n L2d/3(Zd) W2 L2d/3(Zd) sup R0 (z) B(L3∗ (Zd),L3 (Zd)) ≤ k − k k k z∈C± k k ± ∗ +2 W2 W2,n L2d/3(Zd) sup( W1,n L2d/3(Zd)) sup R0 (z) B(L3∗ (Zd),L3 (Zd)) k − k n k k z∈C± k k ± ± ′ + W (R (z) R (z ))W 2 Zd k 1,n 0 − 0 2,nkB(L ( )) =:I1 + I2 + I3. Now we let ε> 0. We fix a large n such that I1 +I2 is smaller than 2ε/3. Since W1,n ± and W2,n are finitely supported, the previous lemma implies that W1,n(R0 (z) ± ′ 2 Zd − R0 (z ))W2,n is H¨older continuous in B(L ( )). Thus there exists δ > 0 such that z z′ <δ implies | − | ± ± ′ I = W (R (z) R (z ))W 2 Zd < ε/3. 3 k 1,n 0 − 0 2,nkB(L ( )) Thus we conclude that maps z C W R±(z)W are continuous. ∈ ± 7→ 1 0 2 It remains to prove (iv). We follow the argument as in [18] and [21]. Let d/3 d 1/2 2d/3 d V L (Z ) be a real-valued function. Set W1 = (sgnV ) V L (Z ), ∈ 1/2 2d/3 d −|1 | ∈ W2 = V L (Z ), H = H0 + V and R(z) = (H z) for z C R. We note that| | for ∈ Im z > 0 − ∈ \ ± (45) W R±(z)W W R(z)W = W R(z)W W R±(z)W . 1 0 2 − 1 2 1 2 1 0 2 ± By part (iii), it follows that W1R0 (z)W2 is continuous in z I± and hence is a ± ∈ 2 Zd compact operator . In addition, I + W1R0 (z)W2 is invertible in B(L ( )) for C R ± z due to the Birman-Schwinger principle. In fact, if I + W1R0 (z)W2 is ∈ \ C R ± not invertible at z , then the compactness of W1R0 (z)W2 implies that ± ∈ \ I + W1R0 (z)W2 has a non-trivial kernel. Then it follows that R(z) has a non- trivial kernel by the Birman-Schwinger principle. However, this contradicts to the self-adjointness of H0 + V . Moreover, if we set ± ± σ (H)= σ (H)= λ R Ker 2 Zd (I + W R (z)W ) =0 , BS BS { ∈ | L ( ) 1 0 2 6 } we see that σBS(H) is a closed set with Lebesgue measure zero by Proposition ± 2 Zd ± B.3. Since W1R0 (z)W2 B∞(L ( )) for z I±, I + W1R0 (z)W2 is a Fredholm operator with index 0. Thus∈ (45) gives ∈ W R(z)W = W R±(z)W (I + W R±(z)W )−1, z I σ (H ). 2 2 2 0 2 1 0 2 ∈ ± \ BS 0 ± −1 Let [a,b] I σBS(H0) with a Combining this with the part (i) and H¨older’s inequality, we obtain sup W2R(z)W2 B(L2(Zd)) < . z∈[a,b]± k k ∞ Since W = W , then | 1| | 2| sup Wi1 R(z)Wi2 B(L2(Zd)) < . z∈[a,b]± k k ∞ for i1,i2 = 1, 2. By [24, Theorem XIII. 30, 31], the local wave operators s itH −itH0 − limt→±∞ e e EH0 ((a,b)) exist and are complete, where EH0 (J) is the spectral projection to the interval J R associated with H . Since [0, 4d] Λ (H ) ⊂ 0 \ c 0 ∪ σBS(H) is a countable union of such interval (a,b), the wave operators W± = itH −itH0 s limt→±∞ e e exist and are complete. − As an application of Theorem 1.2, we prove the further estimates of the uniform resolvent estimates for the discrete Schr¨odinger operators. Proposition 4.10. Suppose I (0, 4) (4(d 1), 4d) if d = 2 and I (0, 2) ⊂ ∩ − ⊂ ∩ (4d 2, 4d) if d 3. If supp χ h−1(I), then − ≥ ⊂ 0 ± sup χ(D)R0 (z) B(Lp(Zd),Lq (Zd)) < . z∈I± k k ∞ holds for (1/p, 1, q) S . ∈ (d−1)/2 Proof. Let λ I. As is proved in [15, Lemma 4.3], all principal curvatures of M = h = λ ∈are non-vanishing. By Example 1, we obtain the desired result. λ { } Appendix A. Some estimates for γz,± In this section, we give proofs of the estimates for γz,± which is needed for the proof of Theorem 1.2. If necessary we take supp χ small, we may assume X = R. We recall the situation of the proof of Theorem 1.2. Set 2 ′ ′ ′ χ (ξ , ξd + hλ(ξ )) ′ ′ ′ −1 χ˜(ξ , ξd, λ)= ′ ′ , b(ξ , ξd, λ)= e(ξ , ξd + hλ(ξ ))) . e(ξ , ξd + hλ(ξ )) ′ ′ Note that b is real-valued and min(ξ ,ξd)∈supp χ(·,·,λ)χ,λ ˜ ∈I b(ξ , ξd, λ) > 0. Recall that 2πixdξd ′ ′ e χ˜(ξ , ξd, λ) γz,±(ξ , xd)= ′ dξd, Re z = λ, Im z 0. R ξ i(Im z)b(ξ , ξ , λ) ± ≥ Z d − d Here if Im z = 0, we interpret γ as ± z,± 2πixdξd 2 ′ ′ ′ e χ (ξ , ξd + hλ(ξ )) γz,±(ξ , xd)= ′ ′ dξd R e(ξ , ξ + h (ξ ))ξ i0 Z d λ d ∓ 2πix ξ ′ e d d χ˜(ξ , ξd, λ)) = dξd, R ξ i0 Z d ∓ where (ξ i0)−1 denote the distributions lim (ξ iε)−1. In order to estimate d∓ ε>0,ε→0 d∓ γz,±, we need some lemmas. 26 KOUICHI TAIRA Lemma A.1. Let ψ, ψ C∞(R) and µ ,µ R 0 . Then 1 ∈ c 1 2 ∈ \{ } 2πiydξd 2πiydξd e ˆ e ψ(µ1yd)p.v. dyd π ψ L1(R), p.v. dyd = π | R y |≤ k k | R y | Z d Z d 2πiydξd e ˆ ˆ ψ(µ1yd)ψ1(µ2yd)p.v. dyd π ψ L1(R) ψ1 L1(R), | R y |≤ k k k k Z d Proof. We leran 1 2πiydξd p.v. ψ(yd)e dyd =π sgn(ξd ηd)ψˆ( ηd)dηd | R y | | R − − | Z d Z π ψˆ 1 R . ≤ k kL ( ) 1 By scaling, we obtain the first inequality. The second equality follows from (p.v. )(ξd)= F yd iπsgn(ξd). The third inequality follows from the first inequality and the Young inequality:− ψˆψˆ 1 R = ψˆ ψˆ 1 R k 1kL ( ) k ∗ 1kL ( ) ψˆ 1 R ψˆ 1 R . ≤k kL ( )k 1kL ( ) Lemma A.2. Let µ R 0 and ϕ,a,a C∞(R) such that a,a are real-valued ∈ \{ } 1 ∈ c 1 and a,a1 > 0 on supp ϕ. (i) There exists C > 0 independent of x R, ϕ, a and µ =0 such that d ∈ 6 2πix ξ e d d ϕ(µξd) ϕ(ξd) (46) dξd C( sup + ϕˆ L1(R) + sup ϕ(ξd)a(ξd) ). | R ξ ia(µξ ) |≤ R | a(ξ ) | k k R | | Z d − d ξd∈ d ξd∈ ′ (ii) Let l 2 be an integer. Then there exists C > 0 independent of xd R, ϕ, a, l≥and µ =0 such that ∈ 6 2πixdξd e ϕ(µξd) ′ ϕ(ξd) ∞ R (47) l dξd C ( sup | |l + ϕ L ( )). | R (ξ ia(µξ )) |≤ R | a(ξ ) k k Z d − d ξd∈ | d | ′′ (iii) Let l1,l2 1 be an integer. Then there exists C > 0 independent of x R, ϕ,≥ a, l and µ =0 such that d ∈ 6 2πixdξd e ϕ(µξd) ′′ ϕ(ξd) (48) dξd C ( sup | | + ϕ L∞(R)). | R (ξ ia(µξ ))l1 (ξ ia (µξ ))l2 |≤ R | a(ξ ) l k k Z d − d d − 1 d ξd∈ | d | ∞ R Proof. (i) Take ψ Cc ( , [0, 1]) such that ψ =1 on t 1 and ψ =0 on t 2. Since a is real-valued,∈ then | |≤ | |≥ 2πix ξ e d d ϕ(µξd)ψ(ξd) ϕ(µξd)ψ(ξd) dξd | |dξd | R ξ ia(µξ ) |≤ R a(µξ ) Z d − d Z | d | ϕ(ξd) sup ψ L1(R). ≤ ξd∈R | a(ξd) |k k LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 27 We note that 2πix ξ 2πix ξ e d d ϕ(µξd)(1 ψ(ξd)) e d d ϕ(µξd)(1 ψ(ξd)) − dξd = − dξd R ξ ia(µξ ) R ξ Z d − d Z d 2πix ξ e d d ϕ(µξd)a(µξd)(1 ψ(ξd)) + i − dξd R ξ (ξ ia(µξ )) Z d d − d = : I1 + I2. By Lemma A.1, we have 2πix ξ 2πix ξ e d d ϕ(µξd) e d d ϕ(µξd)ψ(ξd) I1 = p.v. dξd p.v. dξd | | | R ξ − R ξ | Z d Z d π ϕˆ 1 R (1 + ψˆ 1 R ). ≤ k kL ( ) k kL ( ) Moreover, since a is real-valued, we have 1 ψ(ξd) I2 sup ϕ(ξd)a(ξd) − 2 dξd. | |≤ R | | R ξ ξd∈ Z d Thus we set ˆ 1 ψ(ξd) C = max( ψ L1(R), π(1 + ψ L1(R)), − 2 dξd), k k k k R ξ Z d and obtain (46). (ii) follows from (iii). (iii) Let ψ be as above. Then 2πix ξ e d d ϕ(µξd)ψ(ξd) ϕ(ξd) 1 R l l dξd sup | l | l ψ L ( ). | R (ξ ia(µξ )) 1 (ξ ia (µξ )) 2 |≤ R | a(ξ ) 1 a (ξ ) 2 k k Z d − d d − 1 d ξd∈ | d | | 1 d | Moreover, since a,a is real-valued and l + l 2, then 1 1 2 ≥ 2πix ξ e d d ϕ(µξd)(1 ψ(ξd)) 1 ψ(ξd) − dξd ϕ L∞(R) − dξd | R (ξ ia(µξ ))l1 (ξ ia (µξ ))l2 | ≤k k R ξ l1+l2 Z d − d d − 1 d Z | d| 1 ψ(ξd) ∞ R ϕ L ( ) − 2 dξd. ≤k k R ξ Z | d| ′′ 1−ψ(ξd) Thus we set C = max( ψ L1(R), R |ξ |2 dξd) and obtain (48). k k d R The main result of this section is the following proposition. Proposition A.3. Fix a signature . ± (i) For α Nd−1, there exists C > 0 such that ∈ α α ′ (49) ∂ ′ γ (ξ , x ) C | ξ z,± d |≤ α ′ d−1 for z I±, xd R and ξ R . (ii) For α∈ Nd−1,∈ there exists∈C′ > 0 such that ∈ α α ′ ′ ′ (50) ∂ ′ (γ (ξ , x ) γ (ξ , x )) C (1 + x ) z w | ξ z,± d − w,± d |≤ α | d| | − | for z, w I with z w 1, x R and ξ′ Rd−1. ∈ ± | − |≤ d ∈ ∈ Remark A.4. Let 0 δ 1. Combining (49) with (50), we have ≤ ≤ α ′ ′ 1−s ′ s δ δ (51) ∂ ′ (γ (ξ , x ) γ (ξ , x )) C (C ) (1 + x ) z w . | ξ z,± d − w,± d |≤ α α | d| | − | 28 KOUICHI TAIRA Proof. (i) We follow the argument of the proof of [4, (3.10)]. We may assume 0 Im z 1. First, we consider the case of Im z = 0. In this case, the claim follows≤ ± from≤ the fact that ± e2πixdξd ∞ dξd L (Rx ) < k R ξ i0 k d ∞ Z d ∓ d and thatχ ˜ is smooth with respect to (ξ, ξd, λ) R I and has a compact support ′ ∈ × with respect to (ξ , ξd)-variable which is bounded in λ I. We take ψ C∞(R, [0, 1]) such that ψ(ξ )=1on ξ∈ 1. We learn ∈ c d | d|≤ 2πi(Im z)xdξd ′ ′ e χ˜(ξ , (Im z)ξd, λ) γz,±(ξ , xd)= ′ dξd. R ξ ib(ξ , (Im z)ξ , λ) Z d − d α ′ We note that ∂ξ′ γ(ξ , xd) is a linear combination of the form 2πi(Im z)xdξd α0 ′ l αj ′ e (∂ξ′ χ˜)(ξ , (Im z)ξd, λ) j=1(∂ξ′ b)(ξ , (Im z)ξd, λ) dξd, R (ξ ib(ξ′, (Im z)ξ , λ))l Z d − Qd d−1 where l 1 is an integer and αj N for j = 0, ..., l. Applying Lemma A.2 ≥ ∈ α0 ′ l αj ′ (i) if l = 1 and (ii) if l > 1 with ϕ(ξd) = (∂ξ′ χ˜)(ξ , ξd, λ) j=1(∂ξ′ b)(ξ , ξd, λ), a(ξ )= b(ξ′, ξ , λ) and µ = Im z, we obtain (49) with α 1. d d Q (ii) We set λ = Re z and σ = Re w. We take 0 <ε |such|≥ that min b(ξ′, ξ , σ) > 0. ′ d (ξ ,ξd)∈supp χ(·,·,λ),|z−w|≤δ | | Then we may assume z w < ε. In fact, in order to prove (ii), we use (i) if z w ε. Note that | − | | − |≥ γ (ξ′, x ) γ (ξ′, x )=J (x )+ J (x )+ J (x ), z,± d − w,± d 1 d 2 d 3 d where we set ′ ′ 2πixdξd χ˜(ξ , ξd, λ) χ˜(ξ , ξd, λ) J1(xd)= e ( ′ ′ )dξd R ξd i(Im z)b(ξ , ξd, λ) − ξd i(Im w)b(ξ , ξd, λ) Z ′− ′ − 2πixdξd χ˜(ξ , ξd, λ) χ˜(ξ , ξd, σ) J2(xd)= e − ′ dξd R ξd i(Im w)b(ξ , ξd, λ) Z − ′ ′ 2πi(Im w)xdξd χ˜(ξ , (Im w)ξd, λ) χ˜(ξ , (Im w)ξd, σ) = e ′ − dξd R ξ ib(ξ , (Im w)ξ , λ) Z d − d 2πixdξd ′ 1 1 J3(xd)= e χ˜(ξ , ξd, σ)( ′ ′ )dξd R ξd i(Im w)b(ξ , ξd, λ) − ξd i(Im w)b(ξ , ξd, σ) Z ′ − ′ − ′ 2πi(Im w)xdξd iχ˜(ξ , (Im w)ξd, σ)(b(ξ , (Im w)ξd, λ) b(ξ , (Im w)ξd, σ)) = e − dξd. R (ξ ib(ξ′, (Im w)ξ , λ))(ξ ib(ξ′, (Im w)ξ , σ)) Z d − d d − d α ′ First, we estimate J2. Similarly to the proof of (i), ∂ξ′ J2(ξ ) is a finite sum of the form 2πi(Im w)xdξd α0 ′ α0 ′ e ((∂ ′ χ˜)(ξ , (Im w)ξ , λ) (∂ ′ χ˜)(ξ , (Im w)ξ , σ)) ξ d − ξ d R (ξ ib(ξ′, (Im w)ξ , λ))l Z d − d l αj ′ (∂ ′ b)(ξ , (Im w)ξ , λ)dξ , × ξ d d j=1 Y LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 29 d−1 where l 1 is an integer and αj N for j = 0, ..., l. We apply Lemma A.2 (i) if l = 1 and≥ (ii) l 2 and obtain ∈ ≥ α ′ ′ (52) ∂ ′ J (ξ ) C z w | ξ 2 |≤ α| − | ′ R Rd−1 with Cα > 0 independent of xd , ξd and z, w I± with z w δ. α ∈ ∈ ∈ | − |≤ Next, we estimate J3. ∂ξ′ J3 is a linear combination of the form 2πi(Im w)xdξd α0 ′ α2 ′ ′ e (∂ ′ χ˜)(ξ , (Im w)ξ , σ)∂ ′ (b(ξ , (Im w)ξ , λ) b(ξ , (Im w)ξ , σ)) ξ d ξ d − d ′ l ′ l R (ξ ib(ξ , (Im w)ξ , λ)) 1 (ξ ib(ξ , (Im w)ξ , σ)) 2 Z d − d d − d l1+l2+1 αj ′ (∂ ′ b)(ξ , (Im w)ξ , λ)dξ , × ξ d d j=2 Y d−1 where l1,l2 1 are integers and αj N for j = 0, ..., l1 + l2 + 1. We apply Lemma A.2≥ (iii) and obtain ∈ α ′ ′ (53) ∂ ′ J (ξ ) C z w | ξ 3 |≤ α| − | ′ R Rd−1 with Cα > 0 independent of xd , ξd and z, w I± with z w ε. ∈ ∈α ∈ | − |≤ Finally, we estimate J1. Note that ∂ξ′ J1(xd) 2C0 by (i). Thus it suffices to α ′ ′ | |≤ prove that ∂ ′ J (x ) C Im z Im w . We learn | ξ 1 d |≤ α| − | ′ ′ ′ J1(xd) 2πixdξd ξdχ˜(ξ , ξd, λ) ξdχ˜(ξ , ξd, λ) = e ( ′ ′ )dξd 2πi R ξd i(Im z)b(ξ , ξd, λ) − ξd i(Im w)b(ξ , ξd, λ) Z − ′ − ′ 2πixdξd i(Im z Im w)ξdχ˜(ξ , ξd, λ)b(ξ , ξd, λ) = e − ′ ′ dξd R (ξd i(Im z)b(ξ , ξd, λ))(ξd i(Im w)b(ξ , ξd, λ)) Z − ′− ′ 2πi(Im w)xdξd i(Im z Im w)ξdχ˜(ξ , (Im w)ξd, λ)b(ξ , (Im w)ξd, λ) = e Im−z dξd. R (ξ i b(ξ′, (Im w)ξ , λ))(ξ ib(ξ′, (Im w)ξ , λ)) Z d − Im w d d − d α ′ Thus ∂ ′ J (x )/( 2π Im z Im w ) is a linear combination of the form ξ 1 1 − | − | α0 ′ α2 ′ ξd∂ ′ χ˜(ξ , (Im w)ξd, λ)∂ ′ b(ξ , (Im w)ξd, λ) Im z l1 2πi(Im w)xdξd x ξ ( ) e Im z Im w R (ξ i b(ξ′, (Im w)ξ , λ))l1 (ξ ib(ξ′, (Im w)ξ , λ))l2 Z d − Im w d d − d l1+l2+1 αj ′ ∂ ′ b(ξ , ξ , λ)dξ , × ξ d d j=2 Y d−1 where l1,l2 1 are integers, αj N for j =1, ..., l1 + l2 + 1. Applying Lemma A.2 (i) and≥ (ii) with ∈ α0 ′ α2 ′ ξd∂ ′ χ˜(ξ , (Im w)ξd, λ)∂ ′ b(ξ , (Im w)ξd, λ) l1 x ξ ϕ(ξd) = (Im z) , (ξ i(Im z)b(ξ′, ξ , λ))l1 d − d ′ α ′ ′ a(ξd) = b(ξ , ξd, λ), l = l2 and µ = Im w, we have ∂ξ′ J1(xd) Cα Im z Im w . This completes the proof. | | ≤ | − | Appendix B. Complex analysis We define log+ t = log t if 1 t, log+ t = 0 if 0 Proof. We follow the argument of [26, Theorem 17.17]. By the mean value proper- ties of the harmonic function, we have 1 π (54) log f(0) = log f(reiθ) dθ | | 2π | | Z−π 1 π 1 π = log+ f(reiθ) dθ log− f(reiθ) dθ 2π | | − 2π | | Z−π Z−π for 0 Corollary B.2. Let J = (a,b) be an open interval and r = (b a)/2. Let f : z C z (a + b)/2 r, Im z 0 C be a continuous function− which is holomorphic{ ∈ | | − and has no| zero ≤ on± z ≥(a +}b →)/2 < r, Im z > 0 . Then f(λ) =0 for almost everywhere λ J. {| − | } 6 ∈ Proof. For simplicity, we assume a = 1 and b = 1. Define κ : D = z < − 1 {| | 1, Im z > 0 Im z > 0 and κ2 : Im z > 0 z < 1 by κ1(z) = (1+ 2 2}→{ } { } → {| | } z) /(1 z) and κ2(z) = (z i)/(z + i). Then κ = κ2 κ1 is biholomorphic from z < −1, Im z > 0 to z <− 1 and homeomorphic from◦ z 1, Im z 0 to {|z| 1 . Moreover,} since{| | } {| | ≤ ≥ } {| |≤ } 1+w i 1−w 1 κ−1(w)= − q 1+w i 1−w +1 q −1 ¯ where we take a branch such that Im √z > 0, then κ |z|=1 : z = 1 D D −1 | {| | } → \ is H¨older continuous. Thus κ |z|=1 maps sets of Lebesgue measure zero to sets of Lebesgue measure zero. By Lemma| B.1, we obtain the desired result. Next proposition is a variant of [17, Lemma 4.20]. See also [21, Proposition 4.6]. Proposition B.3. Let Z be a Banach space and fix a sgnature. For J R be an ⊂ open set, we denote J± = z C Re z J, Im z 0 . Let K : J± B∞(Z) be continuous and holomorphic{ on∈ | Im z∈ > 0±. If I ≥+ K}(z) has a inverse→ in B(Z) {± } for each z Im z > 0 , then Γ0 = λ R I + K(λ) is not invertible is a closed set with∈ {± Lebesgue measure} zero. { ∈ | } Proof. Since the set of all invertible operators in B(Z) is open and since K is continuous, then Γ0 is closed. Thus it suffices to prove that the Lebesgue measure of Γ is zero. Note that I +K(λ) is not invertible if and only if 1 is in the spectrum 0 − of K(λ) for λ Γ0. Fix λ Γ0. Since K(λ) is compact, there exists a circle Cλ enclosing 1 such∈ that C ∈is contained in the resolvent set of K(λ). Since K is − λ LIMITING ABSORPTION PRINCIPLE ON Lp-SPACES AND SCATTERING THEORY 31 continuous, there exists rλ > 0 such that Cλ is contained in the resolvent set of ± ± K(z) for z Br (λ) where B (λ)= z C Im z 0, z λ < rλ . We define ∈ λ rλ { ∈ |± ≥ | − | } 1 P = (w K(z))−1dw, z 2πi − ZCλ ± ± R ± then z Brλ (λ) Pz B(Z) is analytic in Brλ (λ) and continuous in Brλ (λ). ∈ 7→ ∈ \ ± Note that n = dim Ran P < is independent of z Br (λ). Set Z = Ran P 0 z ∞ ∈ λ z z and fix a linear isomorphism Π : Cn0 Z . We choose r smaller such that λ → λ λ I + Pλ(Pz Pλ) has an inverse in B(Zλ). Then Θz = Pz Zλ : Zλ Zz is a linear isomorphism− with its inverse | → (I + P (P P ))−1P : Z Z . λ z − λ λ z → λ Now we set −1 −1 X(z) = Πλ Θz (I + K(z))ΘzΠλ ± ± ± for z Br (λ). Then X is continuous on Br (λ) and analytic in B (λ). More- ∈ λ λ rλ ± ± over, det X(z) is also continuous on Brλ (λ) and analytic in Brλ (λ). We note that det X(z) = 0 if and only if 1 is in the spectrum of K(z). By Corollary B.2 and − the compactness argument, we conclude that the Lebesgue measure of Γ0 is zero. References [1] J.G. Bak, A. Seeger, Extensions of the Stein-Tomas theorem. Math. Res. Lett. 18 (2011), no. 4, 767–781. [2] J. Bourgain, Estimations de certaines fonctions maximales. (French) [Estimates of some max- imal operators] C. R. Acad. Sci. Paris S´er. I Math. 301 (1985), no. 10, 499–502. [3] A. Carbery, A. Seeger, S. Wainger, J. Wright, Classes of singular integral operators along variable lines. J. Geom. Anal. 9 (1999), no. 4, 583–605. [4] J.C. Cuenin, Eigenvalue bounds for Dirac and fractional Schr¨odinger operators with complex potentials. J. Funct. Anal. 272 (2017), no. 7, 2987–3018. [5] J.C. Cuenin, Eigenvalue Estimates for Bilayer Graphene. Ann. Henri Poincar´e13 (2019), 1-16. [6] R. L. Frank, L. Schimmer, Endpoint resolvent estimates for compact Riemannian manifolds. J. Funct. Anal. 272 (2017), no. 9, 3904–3918. [7] M. Goldberg, W. Schlag, A limiting absorption principle for the three-dimensional Schr¨odinger equation with Lp potentials. Int. Math. Res. Not. (2004), no. 75, 4049–4071. [8] L. Grafakos, Classical Fourier analysis. Second edition, Graduate Texts in Mathematics, 249. Springer, New York, (2008). [9] Guti´errez, Susana Non trivial Lq solutions to the Ginzburg-Landau equation. Math. Ann. 328 (2004), no. 1-2, 1–25. [10] L. H¨ormander, Oscillatory integrals and multipliers on FLp. Ark. Mat. 11, 1–11. (1973). [11] S. Huang, X. Yao, Q. Zheng, Remarks on Lp-limiting absorption principle of Schr¨odinger operators and applications to spectral multiplier theorems. Forum Math. 30 (2018), no. 1, 43–55. [12] A. D. Ionescu, D. Jerison, On the absence of positive eigenvalues of Schr¨odinger operators with rough potentials. Geom. Funct. Anal. 13 (2003), no. 5, 1029–1081. [13] A. D. Ionescu, W. Schlag, Agmon-Kato-Kuroda theorems for a large class of perturbations. Duke Math. J. 131 (2006), no. 3, 397–440. [14] H. Isozaki, E. Korotyaev, Inverse problems, trace formulae for discrete Schr¨odinger operators. Ann. Henri Poincar´e13 (2012), no. 4, 751-788. [15] H. Isozaki, H. Morioka, Inverse scattering at a fixed energy for discrete Schr¨odinger operators on the square lattice. Ann. Inst. Fourier (Grenoble) 65 (2015), no. 3, 1153–1200. 32 KOUICHI TAIRA [16] E. Jeong, Y. Kwon, S. Lee, Uniform Sobolev inequalities for second order non-elliptic differ- ential operators. Adv. Math. 302 (2016), 323–350. [17] T. Kato, S. Kuroda, The abstract theory of scattering. Rocky Mountain J. Math. 1 (1971), no. 1, 127–171. [18] T. Kato, K. Yajima, Some examples of smooth operators and the associated smoothing effect. Rev. Math. Phys. 1 (1989), no. 4, 481–496. [19] C. E. Kenig, A. Ruiz, C. D. Sogge, Uniform Sobolev inequalities and unique continuation for second order constant coefficient differential operators. Duke Math. J. 55 (1987), no. 2, 329–347. [20] H. Koch, D. Tataru, Carleman estimates and absence of embedded eigenvalues. Comm. Math. Phys. 267 (2006), no. 2, 419–449. [21] E. Korotyaev, J. Møller Weighted estimates for the discrete Laplacian on the cubic lattice. Preprint. https://arxiv.org/abs/1701.03605. (2017). [22] H. Mizutani, Uniform Sobolev estimates for Schr¨odinger operators with scaling-critical po- tentials and applications. Preprint. https://arxiv.org/abs/1609.03253. (2016). [23] E. Mourre, Absence of singular continuous spectrum for certain selfadjoint operators. Comm. Math. Phys. 78 (1980/81), no. 3, 391–408. [24] M. Reed, B. Simon, The Methods of Modern Mathematical Physics, Vol. I–IV. Academic Press, 1(972–1980). [25] I. Rodnianski, W. Schlag, Time decay for solutions of Schr¨odinger equations with rough and time-dependent potentials. Invent. Math. 155 (2004), no. 3, 451–513. [26] W. Rudin, Real and complex analysis. Third edition, McGraw-Hill Book Co., New York, (1987). [27] A. Ruiz, Harmonic analysis and inverse problem. Lecture notes, (2002). https://www.uam.es/gruposinv/inversos/publicaciones/Inverseproblems.pdf. [28] C. Sogge, Fourier integrals in classical analysis, Cambridge Tracts in Mathematics, 105. Cambridge University Press, Cambridge, (1993). [29] A. Stefanov, P. G. Kevrekidis, Asymptotic behaviour of small solutions for the discrete non- linear Schr¨odinger and Klein-Gordon equations. Nonlinearity 18 (2005), no. 4, 1841–1857. [30] Y. Tadano, K. Taira, Uniform bounds of discrete Birman-Schwinger operators. Accepted in Trans. Amer. Math. Soc. (DOI: https://doi.org/10.1090/tran/7882). [31] P.A. Tomas, A restriction theorem for the Fourier transform. Bull. Amer. Math. Soc. 81 (1975), 477–478. Graduate School of Mathematical Sciences, University of Tokyo, 3-8-1 Komaba, Meguroku, Tokyo, Japan 153-8914 E-mail address: [email protected]