arxiv: v1 [math.ca] 5 May 2010

Transcription

1 arxiv: v1 [math.ca] 5 May 2010 A CALDERÓN ZYGMUND ESTIMATE WITH APPLICATIONS TO GENERALIZED RADON TRANSFORMS AND FOURIER INTEGRAL OPERATORS MALABIKA PRAMANIK KEITH M. ROGERS ANDREAS SEEGER Abstract. We prove a Calderón Zygmund type estimate which can be applied to sharpen nown regularity results on spherical means, Fourier integral operators, generalized Radon transforms and singular oscillatory integrals. The main theme in this paper is to strengthen various sharp L p Sobolev regularity results for integral operators. To illustrate this we consider the example of spherical means. Let σ denote surface measure on the unit sphere. Since σ(ξ) C(1+ ξ ) d 1 2 the convolution operator f f σ maps L 2 to the Sobolev space L 2 (d 1)/2. By complex interpolation with an L BMO estimate, Fefferman and Stein [4] proved that the operator maps L p to L p (d 1)/p for 2 < p < ; here the regularity parameter α = (d 1)/p is optimal. It turns out, however, that the L p Sobolev result can be improved within the scale of Triebel Lizorin spaces [23] in two ways. We recall the definition of the quasinorm ( f F p α,q = ) 1/q 2 αq Π f q p =0 which we will use for 1 < p < and 0 < q <. Here the operators Π are defined by the standard smooth Littlewood Paley cutoffs, so that Π f is supported in {2 1 ξ 2 +1 } for > 1 and in a neighborhood of the origin for = 0; we assume that =0 Π f = f for all Schwartz functions. It is well nown, and immediate from Littlewood Paley theory and embeddings for sequence spaces, that L p F p 0,p Bp 0,p, 2 p < 1991 Mathematics Subject Classification. 42B20, 42B35, 35S30. Key words and phrases. Regularity of integral operators, Radon transforms, singular integrals, Fourier integral operators, Triebel-Lizorin spaces. M.P. supported in part by NSERC grant 22R K.R. supported in part by MEC grant MTM A.S. supported in part by NSF grant

2 2 M. PRAMANIK K. ROGERS A. SEEGER and, for all p (1, ), Fα,r p Fp α,s Fp α,2 = Lp α if 0 < r s 2. Thus the inequalities (1) f σ F p C p,r f d 1 F p, r > 0, 2 < p <, p,r 0,p strengthen the standard regularity result. The case r = 1 also implies an F p 0, F p α,p estimate for 1 < p < 2 and α = (d 1)/p, by duality and composition with Bessel derivatives (I ) α/2. Related phenomena have recently been observed in articles on space time (or local smoothing) estimates for Schrödinger equations [17] and wave equations [6]. In 1 we formulate a general result which covers the spherical means and many other related applications. These are discussed in A Calderón Zygmund estimate For each N, we consider operators T defined on the Schwartz functions S(R d ) by ˆ T f(x) = K (x,y)f(y)dy, where each K is a continuous and bounded ernel (this qualitative assumption is made to avoid measurability questions). Let ζ S(R d ). Define ζ = 2 d ζ(2 ) and P f = ζ f. Inapplicationsthe operatorsp oftenarise fromdyadic frequency decompositions, however we emphasize that no cancellation condition on ζ is needed in the following result. Theorem 1.1. Let 0 < a < d, ε > 0, and 1 < q < p <. Assume the operators T satisfy (2) sup2 a/p T L p Lp A. >0 (3) sup2 a/q T L q L q B 0. >0 Furthermore let Γ 1, and assume that for each cube there is a measurable set E so that (4) E Γmax{ 1 a/d, }, and for every N and every cube with 2 diam() 1, ˆ (5) sup K (x,y) dy B 1 max {( 2 diam() ) ε,2 ε}. x R d \E

3 Let A CALDERÓN ZYGMUND ESTIMATE WITH APPLICATIONS 3 (6) B := B q/p 0 (AΓ 1/p +B 1 ) 1 q/p. Then there is a C (depending only on d,ζ,a,ε,p,q,r) so that ( ) 1/r [ (7) 2 ar/p P T f r p CA log ( 3+ B ) ] 1/r 1/p( 1/p. f p A p) In some interesting applications A B so that the logarithmic growth in (7) is helpful. The power of the logarithm is sharp (see [8], [22], [23] for a relevant counterexample and [18], [1] for positive results on families of translation invariant and pseudo-differential operators). To prove Theorem 1.1 we begin with a standard L bound. In what follows the notation ffl f will be used for the average f. 1 Lemma 1.2. Assuming (2), (4) and (5), the following statements hold true. (i) If 2 diam() 1, then (8) (9) P T h dy C ( AΓ 1/p( 2 diam() ) a/p ( +B 1 2 diam() ) ε) h. (ii) If diam() 1, then P T h dy C ( AΓ 1/p 2 a/p +B 1 2 ε) h. Proof. We split h = hχ E + hχ R d \E. By Hölder s inequality, (2), and then (4), 1 T [hχ E ] dx 1/p (ˆ T [hχ E ] p dx ) 1/p 1/p A2 a/p hχe p A2 a/p 1/p E 1/p h AΓ 1/p 2 a/p max{diam() a/p,1} h. On the other hand, by (5), T [hχ ] ˆ dx sup K R d (x,y) h(y)dy \E x R d \E B 1 max {( 2 diam() ) ε,2 ε} h. A combination of these two bounds shows that the stated estimates hold with P T replaced by T. 1 The expression A B denotes A CB, where the value of the positive constant C will vary from line to line.

4 4 M. PRAMANIK K. ROGERS A. SEEGER We now use straightforward estimates to incorporate the operators P. In view of the rapid decay of ζ we have ˆ 2 d P T h(x) dx C N (1+2 x w ) N T h(w) dwdx. Now for m = 0,1,2,... we let m denote the cube parallel to with the same center, but with sidelength equal to 2 m+1 times the sidelength of. Then the last estimate (with N d) implies P T h(x) dx C N T h(w) dw+ 0 ( 2 diam( m )) d N m=1 m T h(w) dw The term corresponding to m = 0 has already been estimated and, also by the bounds above applied to m, the mth term is controlled by 2 m(n d)( 2 diam() ) ( ) d N AΓ 1/p 2 ma/p ( 2 diam() ) + B2 ( mε a/p 2 diam() ) ε h if 2 m diam() 1, and by 2 m(n d)( 2 diam() ) d N( AΓ 1/p 2 a/p +B2 ε) h if 2 m diam() > 1. We sum in m to obtain the claimed result. Proof of Theorem 1.1. We first note that the asserted inequality for r = p follows by assumption (2) and Fubini s theorem. We prove the theorem for r 1 and the intermediate cases 1 < r < p follow by interpolation. By the monotone convergence theorem it suffices to prove (7) for all finite sequences F = {f } N, i.e., we may assume that f = 0 for large. We use the Fefferman Stein theorem [4] for the # maximal operator. The left hand side of (7) is then rewritten and estimated as 2 a/p P T f r 1/r p/r sup :x sup :x 2 a/p P T f (y) r 2 ar/p 2 a/p P T f (z) r dz dy P T f (y) P T f (z) r dzdy 1/r L p/r (dx) 1/r L p/r (dx) In the last step we simply use u r v r u v r for nonnegative u,v and 0 < r 1, combined with the triangle inequality..

5 A CALDERÓN ZYGMUND ESTIMATE WITH APPLICATIONS 5 Note that the application of the Fefferman-Stein inequality is valid because of our a priori assumption involving finite sums. Given a sequence f we can choose cubes (x) depending measurably on x so that the supremum in can be up to a factor of two realized by the choice of (x). This means that it suffices to prove the inequality (10) 2 ar/p (x) (x) P T f (y) P T f (z) r dzdy 1/r L p/r (dx) [ CA log ( 3+ B ) ] 1/r 1/p( A f p p ) 1/p where C does not depend on the choice of x (x). We define L(x) to be the integer L for which the sidelength of (x) belongs to [2 L,2 L+1 ). Let X = {x : L(x) 0}. We shall first estimate the L p/r norm over X (the main and more interesting part) and then provide the bound on L p/r (R d \X) separately. Define ( ) 1/r G h(x) = P T h(y) P T h(z) r dzdy (x) (x) so that the left hand side of (10) is equal to 2ar/p G f r 1/r p/r. Let N be a positive integer (it will later be chosen as Clog ( 3 + A) B with a large C). For x X we split the sum into three pieces acting on F = {f }, 2 ar/p G f (x) r = S low [F](x) r + S mid [F](x) r + S high [F](x) r where ( ) 1/r S low [F](x) = 2 ar/p G f (x) r +L(x)<0 ( S mid [F](x) = 0 +L(x) N ( S high [F](x) = +L(x)>N 2 ar/p G f (x) r ) 1/r 2 ar/p G f (x) r ) 1/r. We need to bound the L p norms of the three terms by the right hand side of (10). The terms S low [F] and S mid [F] will be estimated by using just hypothesis (2).

6 6 M. PRAMANIK K. ROGERS A. SEEGER To bound S low [F] we first consider the expression P T f (y) P T f (z) = ˆ 1 ˆ 2 (y z),2 d ζ(2 (z w+s(y z)) T f (w)dwds. 0 For y,z (x) we have 2 y z 2 +L(x), and by Hölder s inequality and the rapid decay of ζ, ( ) 1/r G f (x) P T f (y) P T f (z) r dzdy (x) (x) 2 +L(x) M HL [T f ](x). HereM HL denotesthestandardhardy Littlewoodmaximal operator. Now, by Hölder s inequality with respect to the summation, ( ) 1/r ( ) 1/p. 2 a/p G f (x) r 2 a/p M HL [T f ](x) p +L(x) 0 Thus (11) ( S low [F] p 2 a M HL [T f ] p p ) 1/p ( ) 1/p ( 1/p. 2 a T f p p A f p) p Next we tae care of S mid [F](x) which may often be considered the main term but is also estimated using just (2). Now G f (x) r 2 and therefore 2 ar/p G f (x) r 0 +L(x) N (x) N 1 r/p ( P T f (y) r dy (x) 0 +L(x) N 2 a/p P T f (y) p ) r/pdy. By Hölder s inequality, this implies [( S mid [F](x) N 1/r 1/p M HL 2 a/p P T f p) 1/p] (x),

7 so that (12) A CALDERÓN ZYGMUND ESTIMATE WITH APPLICATIONS 7 S mid [F] p N 1/r 1/p MHL [( 2 a/p P T f p) 1/p] p N 1/r 1/p( 2 a P T f p p AN 1/r 1/p( f p) p 1/p. We now turn to the expression S high which we estimate for L(x) 0. Again by Hölder s inequality, ( ) 1/r S high [F](x) 2 P T f (y) r dy ( 2 >N L(x)2 ar/p (x) >N L(x)2 ar/p( (x) ) 1/p P T f (y) dy) r ) 1/r. If r < 1 then we choose a small δ > 0 and use Hölder s inequality with respect to the summation to get (13) S high [F](x) C(r,δ) P T f (y) dy where C(r,δ) = 2 1/r ( >N L(x) >N L(x)2 a/p 2 (+L(x))δ (x) 1 r 2 1 r) (+L(x))δ r 2 Nδr (rδ) r 1, so that C(r,δ) (rδ) r 1. In order to estimate the expression (13) it suffices to bound the L p norm of T lin [F](x) = ω (x,y)p T f (y)dy >N L(x)2 a/p 2 (+L(x))δ (x) where ω (x,y) are measurable functions satisfying sup x,y, ω (x,y) 1, with the constants in the estimates independent of the particular choice of the ω. We now fix one such choice. Write n = +L(x), so that n > N, and define, for 0 Re(z) 1, (14) S z n F(x) = 2(n L(x))a(1 z)/q (x)ω n L(x) (x,y)p n L(x) T n L(x) f n L(x) (y)dy. Observe that (15) T lin [F](x) = n>n 2 nδ S θ nf(x) for θ = 1 q p.

8 8 M. PRAMANIK K. ROGERS A. SEEGER We estimate the L p norm of Sn z F for z = θ by interpolating between an Lq bound for Re(z) = 0 and an L bound for Re(z) = 1. For z = iτ, τ R we obtain Sn iτ F(x) sup2 a/q P T f (y) dy (x) [ M HL ( 2 a/q P T f q) 1/q] (x) and therefore, by the L q estimate for M HL, Fubini, and assumption (3), ( ) 1/q ( 1/q. Sn iτ F q 2 a P T f q q B0 f q) q The L estimate for Re(z) = 1 follows from Lemma 1.2; for L(x) 0, we get Sn 1+iτ F(x) P n L(x) T n L(x) f n L(x) (y) dy (x) (AΓ 1/p 2 na/p +B 1 2 nε ) f n L(x) and of course f n L(x) sup f. Interpolating the two bounds yields, ( ) 1/p (16) Sn θ F L p (X) 2 ε0n(1 q/p) B f p p with ε 0 := min{a/p,ε} and B as in (6). Choosing δ = (1 q/p)ε 0 /2, this yields T lin [F] L p (X) 2 nδ Sn θ F L p (X) n>n ( ε 1 0 (1 q/p) 1 B2 N(1 q/p)ε 0/2 f p p ) 1/p and then, by suitably choosing ω, ( 1/p. S high F L p (X) ε 2 0 (1 q/p) 2 B2 N(1 q/p)ε 0/2 f p) p We combine the three bounds for S high, S mid and S low and get 2 ar/p G f r 1/r L p/r (X) ( C r AN 1/r 1/p +ε 2 0 (1 q/p) 2 B2 )( N(1 q/p)ε 0/2 f p p ) 1/p

9 A CALDERÓN ZYGMUND ESTIMATE WITH APPLICATIONS 9 and choosing N = C large log(3 + B/A) (with C large depending on p and q) we obtain the bound (17) 2 ar/p G f r 1/r [ CA log ( 3+ B ) ] 1/r 1/p( 1/p. f p L p/r (X) A p) It remains to give the estimation on R d \ X (the set where L(x) > 0) which is similar in spirit, but more straightforward. We first single out the terms for N and by an estimate similar to the one for S mid above we get (18) 2 ar/p G f r 1/r ( 1/p. AN 1/r 1/p f p) p L p/r N On the other hand, by assumption (3) and by (9) 2 a/q G f q B 0 f q G f L (R d \X) (AΓ 1/p 2 a/p +B 1 2 ε ) f. Thus, with ε 0 = min{a/p,ε} we get by interpolation, 2 a/p G f L p (R d \X) 2 ε 0(1 q/p) B f p. By a straightforward application of Hölder s inequality, (19) 2 ar/p G f r 1/r 0 (1 q/p) 1/r 2 Nε0(1 q/p)/2 Bsup f p, >N ε 1/r Lp/r which is slightly better than the l p (L p ) bound that we are aiming for. Combining (18) and (19), choosing N as before, yields 2 ar/p G f r 1/r [ A log ( 3+ B ) ] 1/r 1/p( ) 1/p f p L p/r (R d p \X) A which concludes the proof. 2. Applications Integrals over hypersurfaces. Consider the example of spherical means. For N, let P be a Littlewood Paley cutoff operator Π (localizing to frequencies of size 2 as in the introduction) such that Π Π = Π. Tae T f = σ Π f and f = Π f. If is a cube satisfying 2 diam() 1, with center x, then the exceptional set E is the tubular neighborhood of the unit sphere centered at x, with width Cdiam(); if diam() > 1 we can simply choose the double cube. Then the hypotheses of Theorem 1.1

10 10 M. PRAMANIK K. ROGERS A. SEEGER are easily verified with a = d 1, q = 2, any p > 2, and with A, B 0, B 1, Γ all comparable. Then (1) is implied by Theorem 1.1. One can extend this observation to more general averaging operators over hypersurfaces which are not necessarily translation invariant. Let χ C c (Rd \ {0}) and let (x,y) Φ(x,y) be a smooth function defined in a neighborhood of suppχ and assume that x Φ(x,y) 0 and y Φ(x,y) 0. Let δ be the Dirac measure on the real line and define the generalized Radon transform R as the integral operator with Schwartz ernel K R (x,y) = χ(x,y)δ(φ(x,y)). As shown in [21] (cf. also [7]), regularity properties of R are determined by the rotational curvature ( ) Φxy Φ κ(x,y) = det x. Φ y 0 Strengthening the results in [21] slightly we obtain Corollary 2.1. (i) Suppose that κ(x,y) 0 on supp(χ). Then R maps F p 0,p (Rd ) F p d 1 p,r(rd ), for 2 < p <, r > 0. (ii) Suppose that κ(x,y) 0 vanishes only of finite order on suppχ, i.e. there is n such that γ n γ yκ(x,y) 0, then there is p 0 (n,d) < so that R maps F p 0,p (Rd ) F p d 1 p,r(rd ), for p 0 (n,d) < p <, r > 0. The proof of (i) is essentially the same as for the spherical means. One decomposes R = =0 R where for > 0 the Schwartz ernel of R is given by ˆ (20) R (x,y) = η(2 τ )χ(x,y)e iτφ(x,y) dτ with a suitable η supported in (1/2,2). One may then write R = Π R Π + E, =0 where E is negligible, i.e. mapping L p to any Sobolev space L p N with norm C N 2 N ; this decomposition follows by an integration by parts argument in [7], and uses only the assumptions Φ x 0 and Φ y 0 (see also 2 in [19] for an exposition of this ind of argument). To estimate the main operator =1 Π R Π we use Theorem 1.1, setting P = Π, f = Π f, T = R, andchooseallparametersasintheexample forthespherical means. Forthe exceptional sets E we choose a tubular neighborhood of width Cdiam() of the surface {y : Φ(x,y) = 0}. =0

11 A CALDERÓN ZYGMUND ESTIMATE WITH APPLICATIONS 11 For part (ii) one decomposes the operators R according to the size of κ, using a suitable cutoff function of the form β 1 (2 l κ(x,y) ) where β 1 is supported in (1/2,2). Let R l be defined as in (20) but with χ(x,y) replaced by χ(x,y)β 1 (2 l κ(x,y) ). Then the proof of Proposition 2.2 in [21] shows that the operators R l are bounded on L2 with operator norm 2 lm 2 d 1 2 (in fact with M = 5d/2+(d 1)/2). By the finite type assumption on κ (and a standard sublevel set estimate related to van der Corput s lemma) the operator R l is bounded on L with operator norm 2 l/n. Hence for p > q > (2Mn + 1) hypothesis (2) and (3) are satisfied with A = 2 lε(p), B 0 = 2 lε(q) for some ε(p) > 0, ε(q) > 0. We choose the exceptional set as in part (i) and (4), (5) hold as well with some B 1, Γ independent of l. Fourier integral operators. Another application concerns general Fourier integral operators associated to a canonical graph. Let χ C0 (R d ), let a be a standard smooth symbol supported in {ξ : ξ 1}. Let ˆ Sf(x) = χ(x) a(x,ξ) f(ξ)e iφ(x,ξ) dξ where φ is smooth in R d \{0} and ξ φ(x,ξ) is homogeneous of degree 1. We assume that detφ xξ 0 on the support of the symbol. The following statement sharpens the L p estimates of [11], [9] for the wave equation and of [20] for more general Fourier integral operators. One can use general facts about Fourier integral operators [7] to see that it implies part (i) of Corollary 2.1. Corollary 2.2. Let d 2, 2 < p <, r > 0, and let a be a standard symbol of order (d 1)( p ). Then S : Fp 0,p (Rd ) F p 0,r (Rd ) is bounded. The statement is equivalent with the F p 0,p Fp (d 1)/p,r boundedness of a similar Fourier integral operator T of order (d 1)/2. We use the dyadic decomposition in ξ to split T = T 0 + =1 T where T 0 is smoothing to arbitraryorder. Exceptional sets arealso constructed asin[20]. Given a cube with center x and diameter d 1 one chooses a maximal d separated set of unit vectors ξ ν, thus this set has cardinality O(d (d 1)/2 ). For each ν consider the rectangle let π ν be the orthogonal projection to the hyperplane perpendicular to ξ ν. Form for large C the rectangle ρ ν () consisting of y for which y φ ξ (x,ξ ν ),ξ ν Cd and π ν (y φ ξ (x,ξ ν )) Cd 1/2. The exceptional set E for < 1 is then defined to be the union of the ρ ν () and has measure O( 1/d ). We refer to [20] for the arguments proving T L p L p 2 (d 1)/p, 2 < p < and the integration by parts arguments leading to (5).

12 12 M. PRAMANIK K. ROGERS A. SEEGER Strongly singular integrals. Define the convolution operator S b,γ by Ŝ b,γ f(ξ) = exp(i ξ γ ) f(ξ) (1+ ξ 2 ) b/2 We assume 0 < γ < 1 and 1 < p <. The classical result [4] states that S b,γ is bounded on L p (R d ) if and only if b γd 1/2 1/p. Theorem 1.1 can be used to upgrade the endpoint version to Corollary 2.3. For 2 < p <, S b,γ : F p 0,p Fp 0,r, b = b(γ) = γd(1/2 1/p), r > 0. To prove it we define T γ f(ξ) = (1+ ξ 2 ) γd 2p Sb(γ),γ f(ξ). For diam() < 1 we choose for the exceptional set E the cube with the same center but diameter C(diam()) 1 γ, for large C. Then the verification of the hypotheses with a = γd is done using the arguments in [4] or [10]. Remars. (i) For the range 2 p < s, it is nown that the operator S b(γ),γ is not bounded on F p 0,s (see [2]). (ii)therearealsocorrespondingresultsfortherangeγ > 1whichimprove on the results in [10], but they do not fit precisely our setup of Theorem 1.1 (cf. [17] for the corresponding smoothing space time estimate). Integrals over curves. We consider the generalized Radon transform associated to curves given by the equations Φ i (x,y) = 0, i = 1,...,d 1, where the x Φ i are linearly independent and the y Φ i are linearly independent, for (x,y) in a neighborhood U = X Y of the support of a C c function χ. For simplicity (and without loss of generality) we assume that Φ i (x,y) := S i (x,y d ) y i for i = 1,...,d 1, and x S i are linearly independent. An important model case arises when S i (x,y d ) = x i + (x d y d ) d+1 i (i.e. for convolution with arclength measure on the curve (t d,t d 1,...,t), for a compact t-interval). The complete sharp L p Sobolev estimates for 2 < p < are unnown in dimension d 3. However in three dimensions the sharp estimates are nown for some range of large p (see [14]), and this result is strongly related to deep questions on Wolff s inequality for decompositions of cone multipliers [24]. A variable coefficient generalization of the result in [14] is in [16]. To discuss and apply the latter result we now let δ be the Dirac measure on R d 1 and define the generalized Radon transform R as the operator with Schwartz ernel K(x,y) = χ(x,y)δ( Φ(x,y)).

13 A CALDERÓN ZYGMUND ESTIMATE WITH APPLICATIONS 13 Again we shall also consider the dyadic pieces R with Schwartz ernel ˆ (21) R (x,y) = β(2 τ )χ(x,y)e iτ Φ(x,y) dτ The analogue of the rotational curvature now depends on τ; we define it as a homogeneous of degree zero function and, for τ = 1, set ( ) τ Φxy Φx d 1 κ(x,y,τ) = det = τ i det ( ) Sxy Φ i y 0 d Sx 1 Sx d 1. Note that for d 3 there are always directions where κ(x,y,τ) vanishes. In [16] we consider the case d = 3 and refer to this paper for further discussion. Let M = {(x,y) U : Φ(x,y) = 0} and let N M be the conormal bundle. We assume that (N M) is a folding canonical relation and satisfies an additional curvature condition. To describe the latter one consider the fold surface L = {(x,τ Φ x (x,y),y, τ Φ y (x,y)) : Φ(x,y) = 0, κ(x,y,τ) = 0}, and assume that the projection L X has surjective differential. Thus for any fixed x the set Σ x = {ξ R 3 : (x,ξ,y,η) L for some (y,η)} is a twodimensional conic hypersurface, and the additional curvature assumption is that Σ x has one nonvanishing principal curvature everywhere (see [5], [16] for further discussion). For d = 3 this covers perturbation of the translation invariant model case. Fix l and, for > 3l, define ˆ R(x,y) l = η(2 τ )χ(x,y) β 1 (2 l (κ(x,y, τ ))eiτ Φ(x,y) dτ τ where β 1 is supported in {ξ : C 1 ξ C} for large C, and, for = 3l, define R l(x,y) in the same way but with β 1 replaced by β 0, a smooth cutoff function which is equal to 1 in a C-neighborhood of the origin. Let R l be the operator with Schwartz ernel R l. We then have to estimate the Lp operator norm for i=1 R l := 3lR l, for each l > 0. In [16] it is shown, based on the previously mentioned Wolff inequality, that under the above assumptions R l L p L p C(ǫ,p)2 /p 2 l(1 ǫ )/p, p > p W. Here (p W, ) is the range of Wolff s inequality (in [24] p W = 74, but this has been improved since). Standard L 2 estimates (see [13], [12]) give that

14 14 M. PRAMANIK K. ROGERS A. SEEGER for 3l the operators R l are bounded on L2 with norm O(2 (l )/2 ). By interpolation, R l L p L p 2 p 2 lǫ(p) with ǫ(p) > 0 for p > (p W +2)/2. We claim that this yields the boundedness result Corollary 2.4. The operator R maps F p 0,p (R3 ) to F p 1 ), for p W+2 < p < p,r(r3 2. To see this we use the assumption that x S i are linearly independent and thus by integration by parts one can find a constant C 0 depending on S so that Π R l Π L p L p C N min{2 N,2 N,2 N } provided that max{, } C 0, 3l. Straightforward arguments (such as those used for the error terms in the proof of Corollary 2.1) reduce matters to the inequality (22) ( ) 1/r 2 /p Π +s1 R l Π +s 2 f r p 2 lǫ (p) ( ) 1/p Π +s2 f p p >0 with ǫ (p) > 0 for p > (p W +2)/2. Here s 1 C 0 and s 2 C 0. Indeed we apply, for fixed l, Theorem 1.1 with P = Π +s1, f = Π +s2 f, and T = R l if 3l (and T = 0 otherwise). For p > q > (p W + 2)/2 assumption (2) holds with A 2 lǫ(p) and assumption (3) holds with B 1 2 lǫ(q). We chec assumption (5). By an integration by parts argument we derive the crude bound R l (x,y) C N 2 2 (1+2 l y S(x,y 3 ) ) N. Now for a given cube with center x we let >0 E := {y : y S(x,y 3 ) C2 l diam()} if diam() 1. If diam() 1 then we let E be a ball of diameter C2 l diam() centered at x. Clearly assumptions (4) and (5) are satisfied with Γ 2 3l and B 1 2 2l. By Theorem 1.1 ( ) 1/r 2 /p P R l f r p ( ) (1+l)2 ǫ (p)l 1/p, f p p W +2 p p >, 2 3l which concludes the proof of (22) and yields R l f (1+l)2 ε(p)l f F p F p. 1 0,p p,r

15 A CALDERÓN ZYGMUND ESTIMATE WITH APPLICATIONS 15 Corollary 2.4 follows by summation in l 0. Remar. A similar strengthening, with a similar argument, applies to the restricted X ray transform model in [15]. References [1] A. Carbery and A. Seeger, Conditionally convergent series of linear operators on L p -spaces and L p -estimates for pseudodifferential operators, Proc. London Math. Soc. (3) 57 (1988), no. 3, [2] M. Christ, A. Seeger, Necessary conditions for vector-valued operator inequalities in harmonic analysis, Proc. London Math. Soc. (3) 93 (2006), no. 2, [3] S. Cuccagna, L 2 estimates for averaging operators along curves with two-sided - fold singularities, Due Math. J. 89 (1997), [4] C. Fefferman and E. M. Stein, H p spaces of several variables, Acta Math. 129 (1972), [5] A. Greenleaf and A. Seeger, Fourier integral operators with fold singularities, J. reine ang. Math., 455, (1994), [6] Y. Heo, F. Nazarov and A. Seeger, Radial Fourier multipliers in high dimensions, Acta Math., to appear. [7] L. Hörmander, Fourier integral operators, I, Acta Math. 127 (1971), [8] W. Littman, C. McCarthy, N. Rivière, L p -multiplier theorems, Studia Math. 30 (1968) [9] A. Miyachi, On some estimates for the wave equation in L p and H p, J. Fac. Sci. Univ. Toyo (1)27 (1980), [10], On some singular Fourier multipliers, J. Fac. Sci. Univ. Toyo Sect. IA Math., 28 (1981), [11] J. Peral, L p estimates for the wave equation, J. Funct. Anal. 36 (1980), no. 1, [12] D.H. Phong, Singular integrals and Fourier integral operators, Essays on Fourier analysis in honor of Elias M. Stein (Princeton, NJ, 1991), , Princeton Math. Ser., 42, Princeton Univ. Press, Princeton, NJ, [13] D. H. Phong and E. M. Stein, Radon transforms and torsion, Internat. Math. Res. Notices, 1991, [14] M. Pramani and A. Seeger, L p regularity of averages over curves and bounds for associated maximal operators, Amer. J. Math. 129 (2007), no. 1, [15], L p Sobolev regularity of a restricted X-ray transform in R 3, Harmonic analysis and its applications, 47 64, Yoohama Publ., Yoohama, [16], L p Sobolev regularity of a class of generalized Radon transforms in R 3, in preparation. [17] K.M. Rogers and A. Seeger, Endpoint maximal and smoothing estimates for Schrödinger equations, Jour. reine ang. Math., 640 (2010), [18] A. Seeger, Some inequalities for singular convolution operators in L p -spaces, Trans. Amer. Math. Soc., 308 (1988) [19], Degenerate Fourier integral operators in the plane, Due Math. J. 71(1993), no. 3, [20] A. Seeger, C.D. Sogge, E.M. Stein, Regularity properties of Fourier integral operators, Ann. of Math. (2) 134 (1991), no. 2,

16 16 M. PRAMANIK K. ROGERS A. SEEGER [21] C.D. Sogge, E. M. Stein, Averages over hypersurfaces. Smoothness of generalized Radon transforms, J. Analyse Math. 54 (1990), [22] E. M. Stein, A. Zygmund, Boundedness of translation invariant operators on Hölder spaces and L p -spaces, Ann. of Math. (2) 85 (1967), [23] H. Triebel, Theory of function spaces. Monographs in Mathematics, 78. Birhäuser Verlag, Basel, [24] T. Wolff, Local smoothing type estimates on L p for large p, Geom. Funct. Anal. 10 (2000), no. 5, Malabia Pramani, Department of Mathematics, University of British Columbia, Room 121, 1984 Mathematics Road, Vancouver, B.C., Canada V6T 1Z2 address: malabia@math.ubc.ca Keith Rogers, Instituto de Ciencias Matematicas CSIC-UAM-UC3M-UCM, Madrid 28049, Spain address: eith.rogers@icmat.es Andreas Seeger, Department of Mathematics, University of Wisconsin- Madison, Madison, WI 53706, USA address: seeger@math.wisc.edu