arxiv: v2 [math.ca] 23 Jun 2017

Size: px
Start display at page:

Download "arxiv: v2 [math.ca] 23 Jun 2017"

Transcription

1 A SHARP k-plane STRICHARTZ INEQUALITY FOR THE SCHRÖDINGER EQUATION arxiv: v [math.ca] 3 Jun 017 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU Abstract. We prove that X( u ) L 3 t,l C f L (R ), where u(x,t) is the solution to the linear time-dependent Schrödinger equation on R with initial datum f, and X is the (spatial) X-ray transform on R. In particular, we identify the best constant C and show that a datum f is an extremiser if and only if it is a gaussian. We also establish bounds of this type in higher dimensions d, where the X-ray transform is replaced by the k-plane transform for any 1 k d 1. In the process we obtain sharp L (µ) bounds on Fourier extension operators associated with certain high-dimensional spheres, involving measures µ supported on natural co-k-planarity sets. 1. Introduction The purpose of this paper is to expose a natural interplay between the solution to the timedependent free Schrödinger equation on R d and the (spatial) k-plane transform for 1 k d 1. Intheinterests of expositionwebeginby describingourresultsinr, wherematters are particularly simple, and where the k-plane transform reduces to the classical X-ray transform. Let u(x, t) be the solution to the linear time-dependent two-dimensional Schrödinger equation { i t u+ x u = 0 u(,0) = f L (R ) and let X denote the X-ray transform Xf(l) := f, where l belongs to the manifold L of affine lines in R, endowed with the natural invariant measure (see Section ). In two dimensions our main result is the following: l This work was supported by the European Research Council [grant number ] (Bennett, Flock, Iliopoulou) and JSPS Grant-in-Aid for Young Scientists (A) [grant number 16H05995] (Bez). 1

2 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU Theorem 1.1. (1) X( u ) L 3 t,l (R L) ( π ) 1/3 f L (R ), with equality if and only if f(x) = e a x +b x+c for some Re(a) < 0, b C d and c C. At first sight this inequality might seem rather unusual, and so some contextual remarks are in order. The first point to make is that (1) with a suboptimal constant C may be seen quickly by an application of the well-known ([18], [], [6]) X-ray transform estimate Xf L 3 (L) f L 3/ (R ), followed by the Strichartz estimate u L 6 t L3 x (R R ) f ; the latter following by interpolating energy conservation with the L L 4 t,x Strichartz inequality. Thus the main content of Theorem 1.1 is the identification of the best constant and the characterisation of extremisers. It is perhaps curious to note that the L 3/ L 3 inequality for X is known in sharp form, where the extremisers are quite different from gaussian (see [8]). On the other hand, the L L 6 tl 3 x Strichartz inequality is not known in sharp form, yet is (tentatively) conjectured to have only gaussian extremisers (see [9] for the related observation that gaussians are critical points for such a Strichartz inequality). Our forthcoming higher-dimensional generalisations of (1) are rather deeper, and do not appear to permit such interpretations. It should be pointed out that norm estimates involving X( u(,t) ), and more generally R( u(,t) ) where R denotes the Radon transform on R d, have arisen before in work of Planchon and Vega ([0], [3]). In particular, when d = they observe that () X( u(,t) ) L t L ωl,1 s f L,1/, where L,σ denotes the standard L homogeneous Sobolev space of order σ (often denoted Ḣ σ ) in the variables dictated by context. Here a line l L is parametrised by its direction ω S 1 and its (signed) distance s R from the origin in the standard way. The similar estimate (3) X( u(,t) ) L t L ω L,1/ s f L, is also true, as can be seen by sequentially applying the L L ωls,1/ bound on X (see []) followed by the L 4 t,x Strichartz estimate mentioned above. However, as is pointed out in [3], being on L, both of these estimates only involve the X-ray transform on a superficial level, as the elementary formula Xf L ω L,σ+1/ s = C f L,σ reveals (both () and (3) are known with sharp constant and identification of extremisers; see [] for further discussion). As may be expected, non-l inequalities, such as (1), are quite different in this respect. In particular, it is perhaps natural to expect a variety of (mixed-norm) estimates on X( u(,t) ) which cannot be obtained by concatenating X-ray and classical Strichartz estimates, although we do not pursue this point here. Our proof of (1), and its various multidimensional generalisations, will pass through a simple reduction to certain sharp L inequalities for Fourier extension operators, which we now

3 A SHARP k-plane STRICHARTZ INEQUALITY 3 describe. Inequality (1) is easily seen to have an equivalent trilinear formulation X( u 1 (,t) )(l)x( u (,t) )(l)x( u 3 (,t) )(l)dldt R L π f 1 L (R ) f L (R ) f 3 L (R ), and using an identity of Drury [10] (which, after a suitable parametrisation of L, amounts to an application of Fubini s theorem), this becomes (4) u 1 (x 1,t) u (x,t) u 3 (x 3,t) δ(ρ(x))dxdt R (R ) 3 where π f 1 L (R ) f L (R ) f 3 L (R ), ( ) ρ(x) = det ; x 1 x x 3 here x = (x 1,x,x 3 ) R R R, and we observe that ρ(x) = 0 if and only if x 1,x, and x 3 are co-linear points in R. While the methods and motivations are quite different, it seems worthwhile to note that a trilinear weighted inequality with the closely related weight ρ 1 appeared recently in [13]. The ostensibly multilinear inequality (4) is a special case of the following more general linear inequality for the solution U of the Schrödinger equation in spatial dimension 6 with initial datum F. Theorem 1.. (5) with equality when F is radial. (R ) 3 R U(x,t) δ(ρ(x))dxdt π F, Passing from (5) to (4) merely requires us to take F = f f f, and note that this yields U = u u u. However, unlike in Theorem 1.1, we do not claim a characterisation of the identified extremisers here. One may wish to interpret (5) as the t-integrability of H(t) := U(x,t) δ(ρ(x))dx, (R ) 3 which, informally, is a measure of the likelihood of three quantum particles in the plane being close to collinear at time t. As usual in the setting of Strichartz inequalities, the time integrability of a spatial expression such as H is a manifestation of the dispersive nature of the Schrödinger equation. This physical perspective, and indeed much of this paper, is inspired by the analysis of linear and bilinear virials in [0]; see also [3]. A further source of motivation for our work may be found in the multilinear restriction theory developed in [3] and [5], where the quantity ρ(x) and its variants play a decisive role.

4 4 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU As we shall see, Theorem 1. is equivalent to the following sharp theorem for the Fourier extension operator ĝdσ(x) = e ix ω g(ω)dσ(ω), S 5 where dσ denotes surface measure on the unit sphere in R 6. Theorem 1.3. (6) ĝdσ(x) δ(ρ(x))dx 1 R 6 (π)6 g, with equality when g is a constant function. We conclude this section with some further contextual remarks. Inequality (6) belongs to a much broader class of weighted inequalities for the extension operator taking the form { } (7) ĝdσ(rx) dν(x) R β ν(br ) sup R d r>0 r α g, where R is a large parameter and the supremum is taken over all euclidean balls B r of radius r in R d. This family of inequalities has been studied extensively, with the object being to establish the best decay exponent β as a function of the dimension parameter α. Inequalities of this type are responsible for the best known results in the direction of the Falconer distance set problem, and have had applications in the setting of Schrödinger maximal estimates. Testing (7) on characteristic functions of small caps raises the possibility that (7) might hold for α = β = d for every d. This turns out to be elementary for d =,3, and false for d 5; see [15] and [17]. (The case d = 4 is less clear, but the analogous inequality where the sphere is replaced by a piece of paraboloid is false; see [1].) Despite this failure for general measures ν, our inequality (6) establishes that (7) nonetheless holds (and has content) in the special case ν = δ ρ when d = 6 and α = β = 4; in particular, it is straightforward to see that { } ν(br ) <. sup r>0 r 4 Weremarkthatthehomogeneityofδ ρallowstheparameterrin(7)tofactoroutinthiscase, reducing it to (6). On a superficial level, (6) is reminiscent of elements of Guth s polynomial partitioning approach to the restriction problem [14]; see also [4], where L p estimates for extension operators restricted to other varieties are considered.. Results in higher dimensions In this section we present our extension of Theorem 1.1 to general dimensions d. For d 3, it is natural to consider not just the X-ray transform, but more generally the k-plane transform for any 1 k d 1. As we shall see, this will also involve multidimensional extensions of both Theorems 1. and 1.3. The statements of our results in general dimensions require us to first establish some notation.

5 A SHARP k-plane STRICHARTZ INEQUALITY 5 Notation. The Grassmann manifold of all k-dimensional subspaces of R d will be denoted by G d,k. The uniform measure on G d,k is the measure which is invariant under the action of the orthogonal group; this measure is unique up to a constant. Motivated by the realisation of G d,k as a homogeneous space, we normalise dµ G by dµ G = Sd 1 S d k G d,k S k 1 S 0 where, for every n, S n denotes the surface area of the n-sphere. Further, define n 1 ( ) 1 z j (8) γ n (z) = π (z j)/γ. Then j=0 G d,k dµ G = γ k(k) γ k (d) The manifold of all affine k-dimensional subspaces of R d will be denoted by M d,k ; this should not be confused with Mat(d,k) which we shall use to denote the space of d by k matrices. We write µ M for the uniform measure on M d,k ; since all elements of M d,k can be described by an element of G d,k and a perpendicular translation, we may express µ M as the product of µ G and Lebesgue measure on the perpendicular (n k)-plane. The k-plane transform T d,k is given by T d,k f(π) = f for Π M d,k. Evidently, T d,1 is the X-ray transform denoted earlier by X, while T d,d 1 is the Radon transform denoted earlier by R. The Stiefel manifold of orthonormal k-frames in R d is given by V d,k = {A Mat(d,k) : A T A = I}. We write µ V for the uniform measure on V d,k which we normalise by dµ V = 1 V d,k γ k (d). We shall take the following version of the Fourier transform f(ξ) = f(x)e ix ξ dx R n for appropriate functions on R n (where n = d or n = d(d+1)). These conventions allow us to explicitly display various optimal constants which appear below. In order to display these constants succinctly, it is helpful to introduce the notation and C d.k = (π) d(k+1) (d+1) d(d k)+k 3 S d(d k) 1 D d,k = Π 1 γ k (k)γ d k (d k).

6 6 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU Finally, for ξ = (ξ 1,...,ξ d+1 ) R d(d+1) with each ξ i R d, we shall use V ξ to denote the covariance matrix of the vector-valued random variable taking the values {ξ i } d+1 with equal probability. Thus the jth diagonal element of V ξ is the variance of the jth coordinate of this random variable, and (V ξ ) j,l is the covariance between the jth and lth coordinates. We may write this covariance matrix as V ξ = 1 (d+1) d+1 (ξ i ξ j )(ξ i ξ j ) T. i,j=1 Statements of results in general dimensions. It is natural to try to generalise (1) by taking the L d+1 t,π (R M d,k) norm of T d,k ( u(,t) ), where u : R d R C is a solution to the d-dimensional Schrödinger equation. More generally one might consider the L 1 t,π (R M d,k) norm of T d,k ( u 1 (,t) ) T d,k ( u d+1 (,t) ), for solutions u 1,...,u d+1. While this distinction is entirely superficial when d =, in higher dimensions it acquires some content as certain geometric weight factors emerge in the resulting sharp bounds which encode nontrivial d(d + 1)-dimensional structure. For example, for the Radon transform in R 4 we shall establish the sharp inequality R M 4,3 5 R( u i (,t) )(Π)dµ M (Π)dt π 4 (π) 0 (R 4 ) 5 5 ( 5 f i (ξ i ) ξ i ξ j )dξ, with equality if and only if f 1,...,f 5 are scalar multiples of the same gaussian function. Theweight d+1 i,j=1 ξ i ξ j appearingabove has a very simpleprobabilistic interpretation; up to a dimensional constant, it is simply the trace of the covariance matrix V ξ. More precisely, one can check that (9) trv ξ = 1 (d+1) d+1 i,j=1 ξ i ξ j. Powers of (trv ξ ) have appeared previously as weights in related sharp inequalities for solutions to the Schrödinger equation; see Carneiro [7]. Typically, the controlling weight functions may be rather more complicated than this simple variance expression, however a clear statistical flavour is retained. For example, in either the case of the 3-dimensional X-ray transform or the 6-dimensional Radon transform, the resulting weight turns out to be a constant multiple of (10) (trv ξ ) +trv ξ = 1 4(d+1) 4 d+1 i,j,k,l=1 i,j=1 ξ i ξ j ξ k ξ l + ξ i ξ j,ξ k ξ l. For a general pair d, k such closed form expressions hide an interesting geometric structure and the controlling weight is defined as follows. Denoting by P Π Mat(d,d) the orthogonal

7 A SHARP k-plane STRICHARTZ INEQUALITY 7 projection onto Π M d,d k, we define (11) I d,k (ξ) := (tr(p Π V ξ )) d(d k) dµ G. G d,d k An important feature of I d,k is that it is homogeneous of degree d(d k). It may also be of interest to note that tr(p Π V ξ ) is equal to the trace of the covariance matrix of the vectorvalued random variable taking the values {P Π ξ i } d+1 with equal probability. Therefore, I d,k (ξ) = ( ( d+1 )d(d k) (d+1) ) d(d k) P Π (ξ i ξ j ) dµ G. G d,d k Although these weights differ from powers of the simplest variance expression (9), we shall see that they are in fact comparable; see Proposition.4. While these more sophisticated weights may have some independent interest, the main purpose for identifying them is to obtain sharp estimates and characterise the cases of equality, as follows. i,j=1 Theorem.1. Suppose d and 1 k d 1. Then d+1 (1) T d,k ( u i (,t) )(Π)dµ M (Π)dt πc d,k (π) d(d+1) R M d,k (R d ) d+1 d+1 f i (ξ i ) I d,k (ξ)dξ, where the constant is optimal and is attained if and only if f i (x) = e a x +b x+c i for some Re(a) < 0, b C d and c i C. Of course Theorem.1 reduces to Theorem 1.1 on setting (d, k) = (, 1). Some further context for this theorem is available on formally taking k = 0, interpreting T d,0 as the identity operator, and observing that I d,0 (ξ) = (trv ξ ) (d )/. In the case d = 1, inequality (1) thus becomes the well-known (and elementary) bilinear Strichartz estimate u 1 (x,t) u (x,t) f 1 (ξ 1 ) f (ξ ) dxdt C dξ 1 dξ, ξ 1 ξ R R which is in fact an identity for initial data with disjoint Fourier supports. On formally taking k = 0 in higher dimensions, Theorem.1 reduces to a sharp inequality of Carneiro [7]. Theorem.1 will follow from a similar statement for a general solution U to the Schrödinger equation in R d(d+1), as with Theorem 1.1. In order to formulate this linear statement we shall need to identify the appropriate singular distributions which generalise δ ρ. To this end, consider the analytic family of distributions: A s = 1 γ d (s) ρ d+s, where (13) ρ(x) = det R ( ) x 1 x x d+1 The function γ d (s) defined in (8) is chosen to cancel the poles of the function ρ d+s. R

8 8 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU The connection between the two-dimensional X-ray transform and δ ρ described in the previous section extends to higher dimensions through the identity d+1 (14) A k,f 1 f d+1 = D d,k T d,k f i (Π)dµ M (Π). M d,k Drury proves this formula in [10] without identifying the constant. We shall give a short proof of (14) using a formula of Rubin [1] in Section 3. The resulting extension of Theorem 1. is the following. Theorem.. Suppose d and 1 k d 1. Then (15) A k, U(,t) dt πc d,kd d,k R (π) d(d+1) F(ξ) I d,k (ξ)dξ, R d(d+1) where the constant is optimal and is attained if F is radial. Again mimicking the line of reasoning in two dimensions, we have that Theorem. is equivalent to the following statement in terms of the extension operators. Theorem.3. Suppose d and 1 k d 1. Then (16) A k, ĝdσ C d,k D d,k S d(d+1) 1 g(ω) I d,k (ω)dσ(ω), where the constant is optimal and is attained if g is a constant function. Remark. Theorem.3 also leads to sharp estimates as in Theorem., for the extension operator associated with more general surfaces produced by revolution of a curve. In particular, the analog of Theorem. holds for the extension operator associated to the surface S whenever there exists a monotone function Σ such that S = {(y,σ( y )) : y R d(d+1) } in R d(d+1). For example, if S is the light cone in R d(d+1)+1 corresponding to Σ(r) = r, the above inequality gives A k, U(,t) dt C d,kd d,k (π) d(d+1) 1 F(ξ) I d,k (ξ) ξ dξ, R d(d+1) R where U is the solution to the (one-sided) wave equation with initial data F : R d(d+1) C. However, the tensor product of solutions to a low-dimensional wave equation is not a solution to a high-dimensional wave equation. For this reason, lower dimensional estimates for the wave equation cannot be derived from the above inequality. We end this section with some further structural remarks on the weight I d,k defined by (11). First we establish comparability between our weights and the simpler family trv ξ raised to the appropriate power. Proposition.4. Suppose d and 1 k d 1. Then there exists constants 0 < c d,k C d,k < such that c d,k (trv ξ ) d(d k) I d,k (ξ) C d,k (trv ξ ) d(d k)

9 for all ξ R d(d+1), where trv ξ is given by (9). A SHARP k-plane STRICHARTZ INEQUALITY 9 Secondly, we note that when d(d k) is even the average over G d,d k can be evaluated to produce closed-form expressions for I d,k such as (10). However, in higher dimensions the resulting constants are quite complicated. Proposition.5. Suppose d and 1 k d 1. If either d is even or k is odd, then I d,k (ξ) is a linear combination of terms of the form (trv α 1 ξ )β 1 (trv α ξ )β (trv ακ ξ )βκ where α 1 β 1 +α β + +α κ β κ = d(d k) and each of the α i and β i are nonnegative integers. 3. Preliminaries regarding the family of distributions A s We will understand the analytic family of distributions A s defined in Section in terms of the more standard family of distributions ζ s = 1 γ d (s) det(x) d+s where as before γ d (s) is the normalised product of gamma functions (8). Here X Mat(d,d) which we implicitly identify throughout with R d. In particular we take the inner product of X,Y Mat(d,d) to be the Frobenius inner product. For all s C, it is known that ζ s is a well-defined tempered distribution, understood in the sense of analytic continuation, and (17) ζs = (π)ds γ d (d s) det(x) s = (π) ds ζ d s (see Rubin [1] and the references therein). Rubin ([1], Corollary 4.5) additionally proves the identity 1 (18) ζ k,f = f(vy)dydµ V, γ d k (d k) for the singular cases 1 k d. V d,k To relate this to A s, we let L be the linear map Mat(k,d) L(x 1,...,x d+1 ) = (x 1 x d+1,...,x d x d+1,x d+1 ). Recalling the definition of ρ in (13), it follows that and hence ρ(x 1,...,x d+1 ) = det L(x 1,...,x d+1 ), (19) A s = (ζ s 1) L.

10 10 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU Lemma 3.1. For all s C, A s is a well-defined tempered distribution and (0) Â s = (π)ds γ d (d s) det(ξ 1,...,ξ d ) s δ ( d+1 ) ξ i = (π) ds ζ d s δ In particular, Âk is positive whenever 1 k d 1 is an integer. ( d+1 ) ξ i. Proof. Since detl = 1, it follows from (19) that where Therefore, by (17), Â s = (ζ s 1) L T = ( ζ s δ) L T ( d+1 L T (x 1,...,x d+1 ) = x 1,...,x d, x i ). Â s = (π)d(s+1) γ d (d s) det(ξ 1,...,ξ d ) s δ ( d+1 ) ξ i = (π) d(s+1) ζ d s δ ( d+1 ) ξ i. Positivity of Âk for integers 1 k d 1 can now be seen via Rubin s formula (18). We end this section by using the characterisation of A s in (19) and Rubin s formula (18) to give a short proof of Drury s formula (14). Proof of (14). By (19) and (18), A k,f 1 f d+1 = ζ k 1,(f 1 f d+1 ) L 1 1 d k = i( v j y ji +x d+1 )f d+1 (x d+1 ) dx d+1 dydµ V. γ d k (d k) V d,k Mat(k,d) f j=1 Here v j R d denotes the j-th column of V and y ji is the (j,i)-th entry of Y Mat(k,d). Writing x d+1 in terms of orthonormal vectors {v j } k j=1, there exist {y j,d+1} k j=1, and x satisfying x,v j = 0 for each 1 j k such that x d+1 = k v j y j(d+1) +x. j=1 Let Π denote the k-plane spanned by the {v j } k j=1, thus x Π. Making the further change variables y ji +y j,k+1 y ji, yields A k,f 1 f d+1 = d+1 1 k i( v j y ji +x )d γ d k (d k) V d,k Mat(k,d+1) f Π (x )dydµ V. j=1

11 A SHARP k-plane STRICHARTZ INEQUALITY 11 Observe that the families {v j } k j=1 range over all orthonormal bases of all k-planes through origin and that x, which depends on {v j } k j=1, is a translation perpendicular to this k-plane. From this we may deduce (14), noting that the factor of (γ k (k)) 1 results from the change of variables from µ V to µ G. 4. Proof of Theorems. and Proof of Theorem.3. By expanding the square, we have A k, ĝdσ = g(ω)g(ω )Âk(ω ω )dσ(ω)dσ(ω ) S d(d+1) 1 S d(d+1) 1 and using the fact that Âs( ξ) = Âs(ξ) (which can be seen quickly from Lemma 3.1) we can write A k, ĝdσ = g(ω)  k (ω ω )dσ(ω )dσ(ω) S d(d+1) 1 S d(d+1) 1 1 g(ω) g(ω )  k (ω ω )dσ(ω)dσ(ω ). S d(d+1) 1 S d(d+1) 1 Since Âk is nonnegative (Lemma 3.1), we immediately obtain the sharp inequality A k, ĝdσ g(ω)  k dσ(ω)dσ(ω) S d(d+1) 1 with equality when g is a constant function. In order to complete the proof of Theorem.3, it remains to prove the following. Proposition 4.1. Suppose d and 1 k d 1. Then (1)  k dσ(ω) = C d,k D d,k (tr(p Π V ω )) d(d k) dµ G G d,d k for all ω S d(d+1) 1. Proof. Firstly, we observe that Âk dσ is a well-defined distribution as dσ is compactly supported and Âk is well-defined by Lemma 3.1. In order to obtain the claimed identity in Proposition 4.1, we use Lemma 3.1 to write and hence  k dσ(ω) = (π)d(k+1) γ d (d k)  k dσ(ω) = (π)d(k+1) γ d (d k) (R d ) d δ R d(d+1) δ(1 ω η ) det(η 1,...,η d ) k δ ( η i + i,η j i<j η where N Mat(d,d) has i-th column equal to η i. ( d+1 η i )dη, ) ω i ω d+1,η i detn k dη 1 dη d,

12 1 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU Next we claim that if M := I +( d+1 1)11 T with 1 denoting the unit vector in the direction (1,1,...,1), then () 1 ξ i = η i + i,η j i<j η holds, where X = NM and X Mat(d,d) denotes the matrix whose i-th column is ξ i. To see this, observe that M = I +d11 T, the matrix with each diagonal element equal to and every other element equal to 1. We have ξ i = d j=1 M ijη j and thus, by construction, ξ i = ( j=1 M ij ) η j + ( M ij M ik ) η j,η k = j<k η j + j=1 η j,η k. j<k Computing the eigenvalues of M shows that detm = d+1, and therefore the change of variables X = NM yields (d+1)k 1 (π) d(k+1)  k dσ(ω) = δ( 1 γ d (d k) (R d ) d X Ω M 1,X ) det(x) k dx. Here, Ω Mat(d,d) has i-th column equal to ω i ω d+1, and the inner product of two matrices is the Frobenius inner product, as we freely identify Mat(d,d) with (R d ) d here and in what follows. In what follows we set Ω M = Ω M 1. Switching to polar coordinates in R d, (d+1)k 1 (π) d(k+1)  k dσ(ω) = δ((r Θ,Ω M ) Θ,Ω M ) rd kd 1 γ d (d k) S d 1 0 detθ k drdσ(θ) (d+1)k 1 d(d k) (π) d(k+1) = Θ,Ω M d(d k) detθ k dσ(θ). γ d (d k) Next we apply (18) which yields  k dσ(ω) = C d,k where V d,d k Mat(d k,d) S d 1 VY,Ω M d(d k) δ( Y 1)dYdµ V, ( ) C d,k = (d+1) k 1 1 d(d k) 1 (π) d(k+1). γ k (k) Here we used that VY = Y for all V V d,d k. By a further polar coordinates change of variables and using the explicit integral Θ,V p dσ(θ) = π n 1 S n 1 Γ( p+1 ) Γ( p+n ) V p

13 valid for n and p > n, we obtain Now, A SHARP k-plane STRICHARTZ INEQUALITY 13 Â k dσ(ω) = (d+1) k 1 (π) d(k+1) Sd(d k) 1 γ k (k) V d,d k V T Ω M d(d k) dµ V. V T Ω M = tr(v T Ω M Ω T M V) = tr(vvt Ω M Ω T M ) and we observe that the matrix VV T is the orthogonal projection onto the (d k)-plane, Π, spanned by the columns of V. In particular, VV T depends only on this (d k)-plane. By defining P Π = VV T we have (3) V T Ω M d(d k) dµ V = V d,d k As the integrand depends only Π, we have V T Ω M d(d k) 1 dµ V = V d,d k γ d k (d k) V d,d k (tr(p Π Ω M Ω T M ))d(d k) dµ V. G d,d k (tr(p Π Ω M Ω T M ))d(d k) dµ G. Finally, using the forthcoming Lemma 6.1 which says that Ω M Ω T M = (d+1)v ω, we obtain (1). 4.. Proof of Theorem.. We use an argument of Vega (see, for example, [4]) to show that Theorem.3 implies Theorem.. Despite this argument being well-known, since the statements of these theorems contain explicit constants, we provide some details. First, by simple changes of variables, we may write U(x,t) = 1 (π) d(d+1) 0 e itr ĝ r dσ( rx)r d(d+1) dr where g r (ω) := F( rω). We now apply Plancherel s theorem in the t variable, along with the fact that A k is homogeneous of degree d(k d), to obtain A k, U(,t) π dt = (π) d(d+1) A k, ĝ r dσ r d(d k) r d(d+1) 1 dr. R 0 Applying Theorem.3, along with the fact that I d,k is homogeneous of degree d(d k) and reversing the polar coordinates change of variables, we deduce the claimed inequality in Theorem.. Also, it is clear that if F is radial theneach g r is a constant function. Therefore, the fact that constant functions give equality in Theorem.3 implies that radial functions give equality in Theorem.. We end this section by proving Propositions.4 and.5 concerning the structure of the weight I d,k. Proof of Proposition.4. First, we observe that when d = we only consider k = 1 in which case I,1 is identically equal to one, and therefore there is nothing to prove. For d 3, we

14 14 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU note that V ξ is positive semidefinite and therefore V 1/ ξ is well-defined for every ξ R d. Using this and (3) (along with homogeneity) yields, I d,k (ξ) = c d,k V T V 1/ ξ d(d k) dµ V V d,d k for some constant c d,k. The map ( M V T M d(d k) dµ V V d,d k ) 1 d(d k) is a norm on R d since d(d k) 1, and since all norms on finite dimensional vector spaces are equivalent, we immediately obtain the desired conclusion in Proposition.4 by comparison with the Hilbert Schmidt norm. Proof of Proposition.5. Let {λ 1,...,λ d } denote the eigenvalues of V 1/ ξ. Then I d,k (ξ) = c d,k V d,d k ( d k j=1 λ j v i,j )d(d k) for some constant c d,k. Since either d is even or k is odd it follows that d(d k) is even and therefore dµ V ( d k j=1 λ jvi,j )d(d k) = (α 1,1 + +α d k,d )=l d k c l,α j=1 d (λ j v i,j ) α i,j where l = d(d k). Therefore, I d,k (ξ) = c d,k (α 1,1 + +α d k,d )=l (c l,α d k V d,d k d j=1(v i,j ) αi,j dµ V) d j=1 λ d k α i,j j. The advantages of this expression is that it is a symmetric polynomial in the λ j (that is, it is invariant under reordering of the eigenvalues). Since symmetric polynomials are generated by the power-sum polynomials, then j=1 λ β j = tr((v ξ ) β ) and we deduce that I d,k (ξ) is a linear combination of terms of the form (trv α 1 ξ )β 1 (trv α ξ )β (trv ακ ξ )βκ where α 1 β 1 +α β + +α κ β κ = l/ and each of the α i and β i are nonnegative integers.

15 A SHARP k-plane STRICHARTZ INEQUALITY Proof of Theorem.1 The sharp inequality in Theorem.1 is a consequence of Theorem.; however, in order to obtain the claimed characterisation of cases of equality, it is necessary to enter into the argument which gives this implication. Proof of Theorem.1. Arguing as in the proof of Theorem.3, we have (π) d(d+1) T d,k ( U(,t) )(Π)dµ M (Π)dt π R M d,k = C d,k F(ξ) I d,k (ξ)dξ 1 F(ξ) (R d ) d+1 D F(η) dσ ξ (η)dξ, d,k (R d ) d+1 where F = f 1 f d+1 and dσ ξ (η) = Âk(ξ η)δ( ξ η )dη. This yields the claimed estimate with optimal constant, and equality holds if and only if F(ξ) = F(η) for almost every ξ and η in the support of the measure dσ ξ (η)dξ. By Lemma 3.1 the support of this measure, which we denote by S, is characterised by those ξ and η for which d+1 d+1 ξ = η, ξ i = η i, and the points ξ i η i, for 1 i d+1, are co-k-planar. Recalling that F = f 1 f d+1, the characterisation of extremisers follows once we show that d+1 f i (ξ i ) = d+1 f i (η i ) for almost every (ξ,η) S implies that f i (ξ) = e a ξ +b ξ+c i, where Re(a) < 0, b C d and c 1,c C. Indeed, it is clear that this class is invariant under the Fourier transform, and such f i satisfy the above functional equation. First, we argue that the f i are mutually parallel. For this, for each i, fix ξi such that f i (ξi ) 0 and note that, clearly, (ξ,η) S if ξ = (ξ 1,ξ,ξ 3,...,ξ d+1 ), η = (ξ,ξ 1,ξ 3,...,ξ d+1 ). The functional equation implies that f 1 (ξ 1 ) f (ξ ) = f 1 (ξ ) f (ξ 1 ) for almost every ξ 1 R d, and hence f 1 = λ f for some λ 0 (since each f j is assumed to be a nonzero function). In this way, we may argue that all f i are mutually parallel, and thus without loss of generality, we take f i = f for each 1 i d+1.

16 16 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU Next, we argue that f must satisfy the well-studied Maxwell Boltzmann functional equation; that is, (4) f(ξ1 ) f(ξ ) = f(η 1 ) f(η ) for almost every ξ 1,ξ,η 1,η R d such that ξ 1 + ξ = η 1 + η and ξ 1 +ξ = η 1 +η. To see why this is the case, fix such ξ 1,ξ,η 1,η and set ξ = (ξ 1,ξ,ξ 3,...,ξ d+1 ), η = (η 1,η,ξ 3,...,ξ d+1 ), where the ξ i are as above. Again it is easy to verify that (ξ,η) S, and therefore we immediately obtain (4). At this point we may now appeal to the existing literature on the Maxwell Boltzmann functional equation to deduce that f(ξ) = e a ξ +b ξ+c, where Re(a) < 0, b C d and c C. For f L 1 (R d ), this goes back at least to [16] and [19] (see also [5]); however the same conclusion holds for f which are merely locally integrable (for details of this more general statement, see [11] for d =, and [] for arbitrary d ). Thus, it remains to justify that f is locally integrable whenever the right-hand side of (1) is finite. However, this is clear from Proposition.4, since (R d ) d+1 implies f L (R d ). d+1 f(ξ i ) I d,k (ξ)dξ c d,k m n = c d,k f (d 1) d+1 (R d ) d+1 f(ξ i ) ξ m ξ n d kd dξ (R d ) f(ξ 1 ) f(ξ ) ξ 1 ξ d kd dξ 1 dξ 6. Appendix on covariance Here we establish the following fact which played a role in the proof of Proposition 4.1. Lemma 6.1. Let V ω denote the covariance matrix of a vector-valued random variable taking the values {ω i } d+1 with equal probability, and let M = I +( d+1 1)11 T. If Ω Mat(d,d) has ith column equal to ω i ω d+1, then Ω M Ω T M = (d + 1)V ω, where Ω M = Ω M 1. Proof. Let I Mat(d,d) denote the identity matrix and define P d+1 = I 1 1.

17 A SHARP k-plane STRICHARTZ INEQUALITY 17 It then follows that Ω = ΩP d+1 where the ith column of Ω Mat(d+1,d+1) is ω i, and therefore Since it follows that Ω M Ω T M = ΩP d+1m 1 M T P T d+1 ΩT. ( ) 1 M 1 = I T d+1 P d+1 M 1 M T P T d+1 = I 11T and thus it remains to show 1 d+1 Ω(I 11T )Ω T = V ω. To see this, view (Ω,µ) as a probability space, where Ω is now the set of vectors that were the columns of the matrix Ω, i.e. Ω = {ω i } d+1, and let µ be the uniform probability measure. Let X be a random variable taking values from (Ω,µ) and let E(X) denote the expected value of X. As X is a vector-valued random variable, we express its variance in a matrix. The ith diagonal element being the variance of the ith coordinate and the (i,j)th element being the covariance between the ith and jth coordinates. Specifically, Now, V ω = E((X E(X))(X E(X)) T ) = E(XX T ) E(X)E(X) T. E(X) = 1 d+1 d+1 ω i = 1 d+1 Ω1 and consequently E(X)E(X) T = 1 d+1 Ω11T Ω T. Direct computations for each component show that E(XX T ) = 1 d+1 ΩΩT and therefore as claimed. V ω = 1 d+1 Ω(I 11T )Ω T, References [1] J. A. Barceló, J. Bennett, A. Carbery, A. Ruiz, M. C. Vilela, Some special solutions of the Schrödinger equation, Indiana Univ. Math. J. 56 (007), [] J. Bennett, N. Bez, C. Jeavons, N. Pattakos, On sharp bilinear Strichartz estimates of Ozawa Tsutsumi type, J. Math. Soc. Japan 69 (017), [3] J. Bennett, A. Carbery, T. Tao, On the multilinear restriction and Kakeya conjectures, Acta Math. 196 (006), [4] J. Bennett, A. Seeger, The Fourier extension operator on large spheres and related oscillatory integrals, Proc. Lond. Math. Soc. 98 (009), [5] J. Bourgain, L. Guth, Bounds on oscillatory integral operators based on multilinear estimates, Geom. Funct. Anal. 1 (011), [6] A. P. Calderón, On the Radon transform and some of its generalizations, Conference on Harmonic Analysis in Honor of Antoni Zygmund, Vol. I, II, pp (1983). [7] E. Carneiro, A sharp inequality for the Strichartz norm, Int. Math. Res. Not. 16 (009),

18 18 J. BENNETT, N. BEZ, T. C. FLOCK, S. GUTIÉRREZ AND M. ILIOPOULOU [8] M. Christ, Extremizers of a Radon transform inequality, Advances in Analysis: The Legacy of Elias M. Stein, Princeton University Press (014), [9] M. Christ, R. Quilodrán, Gaussians rarely extremize adjoint Fourier restriction inequalities for paraboloids, Proc. Amer. Math. Soc. 14 (014), [10] S. W. Drury, Generalizations of Riesz potentials and L p estimates for certain k-plane transforms, Illinois J. Math. 8 (1984), [11] D. Foschi, Maximizers for the Strichartz inequality, J. Eur. Math. Soc. 9 (007), [1] S. S. Gelbart, Fourier analysis on matrix space, Memoirs of the American Mathematical Society, No. 108, American Mathematical Society, Providence, R.I., [13] P. Gressman, D. He, V. Kovač, B. Street, C. Thiele, P. L. Yung, On a trilinear singular integral form with determinantal kernel, Proc. Amer. Math. Soc. 144 (016), [14] L. Guth, A restriction estimate using polynomial partitioning, J. Amer. Math. Soc. 9 (016), [15] A. Iosevich, M. Rudnev, Distance measures for well-distributed sets, Discrete Comput. Geom. 38 (007), [16] P. L. Lions, Compactness in Boltzmann s equation via Fourier integral operators and applications, I, J. Math. Kyoto Univ. 34 (1994), [17] R. Lucà, K. M. Rogers, Average decay of the Fourier transform of measures with applications, arxiv: , to appear in J. Eur. Math. Soc. [18] D. M. Oberlin, E. M. Stein. Mapping properties of the Radon transform, Indiana Univ. Math. J. 31 (198), [19] B. Perthame, Introduction to the collision models in Boltzmann s theory, Modeling of Collisions, 33 P.-A. Raviart, ed., Masson, Paris (1997). [0] F. Planchon, L. Vega, Bilinear virial identities and applications, Ann. Sci. Éc. Norm. Supér. (4) 4 (009), [1] B. Rubin, Riesz potentials and integral geometry in the space of rectangular matrices, Adv. Math. 05 (006), [] R. S. Strichartz L p estimates for Radon transforms in Euclidean and non-euclidean spaces, Duke Math. J. 48 (1981), [3] L. Vega, Bilinear virial identities and oscillatory integrals, Harmonic analysis and partial differential equations, 19 3, Contemp. Math., 505, Amer. Math. Soc., Providence, RI, 010. [4] L. Vega, Schrödinger equations: Pointwise convergence to the initial data, Proc. Amer. Math. Soc. 10 (1988), [5] C. Villani, Entropy methods for the Boltzmann equation, Lecture Notes in Mathematics, Volume 1916, 008, Jonathan Bennett, Taryn C. Flock, and Susana Gutiérrez: School of Mathematics, The Watson Building, University of Birmingham, Edgbaston, Birmingham, B15 TT, England. address: J.Bennett@bham.ac.uk, T.C.Flock@bham.ac.uk, s.gutierrez@bham.ac.uk Neal Bez: Department of Mathematics, Graduate School of Science and Engineering, Saitama University, Saitama , Japan address: nealbez@mail.saitama-u.ac.jp Marina Iliopoulou: Department of Mathematics, University of California, Berkeley, CA , USA address: m.iliopoulou@berkeley.edu

Sharp Sobolev Strichartz estimates for the free Schrödinger propagator

Sharp Sobolev Strichartz estimates for the free Schrödinger propagator Sharp Sobolev Strichartz estimates for the free Schrödinger propagator Neal Bez, Chris Jeavons and Nikolaos Pattakos Abstract. We consider gaussian extremisability of sharp linear Sobolev Strichartz estimates

More information

On sharp bilinear Strichartz estimates of Ozawa Tsutsumi type

On sharp bilinear Strichartz estimates of Ozawa Tsutsumi type c 2017 The Mathematical Society of Japan J. Math. Soc. Japan Vol. 69, No. 2 (2017) pp. 459 476 doi: 10.2969/jmsj/06920459 On sharp bilinear Strichartz estimates of Ozawa Tsutsumi type By Jonathan Bennett,

More information

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.

DS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra. DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1

More information

Derivatives of Harmonic Bergman and Bloch Functions on the Ball

Derivatives of Harmonic Bergman and Bloch Functions on the Ball Journal of Mathematical Analysis and Applications 26, 1 123 (21) doi:1.16/jmaa.2.7438, available online at http://www.idealibrary.com on Derivatives of Harmonic ergman and loch Functions on the all oo

More information

SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE

SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid

More information

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )

A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 ) Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE

More information

Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields

Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields Doowon Koh and Chun-Yen Shen Abstract. In this paper we study extension problems, averaging problems,

More information

A survey on l 2 decoupling

A survey on l 2 decoupling A survey on l 2 decoupling Po-Lam Yung 1 The Chinese University of Hong Kong January 31, 2018 1 Research partially supported by HKRGC grant 14313716, and by CUHK direct grants 4053220, 4441563 Introduction

More information

A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION

A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION A PHYSICAL SPACE PROOF OF THE BILINEAR STRICHARTZ AND LOCAL SMOOTHING ESTIMATES FOR THE SCHRÖDINGER EQUATION TERENCE TAO Abstract. Let d 1, and let u, v : R R d C be Schwartz space solutions to the Schrödinger

More information

arxiv: v4 [math.ca] 3 Mar 2017

arxiv: v4 [math.ca] 3 Mar 2017 arxiv:603.065v [math.ca] 3 Mar 07 Conjecture and improved extension theorems for paraboloids in the finite field setting Doowon Koh Abstract. We study the extension estimates for paraboloids in d-dimensional

More information

. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES

. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES . A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES FABIO NICOLA Abstract. A necessary condition is established for the optimal (L p, L 2 ) restriction theorem to hold on a hypersurface S,

More information

MATH 205C: STATIONARY PHASE LEMMA

MATH 205C: STATIONARY PHASE LEMMA MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)

More information

Daniel M. Oberlin Department of Mathematics, Florida State University. January 2005

Daniel M. Oberlin Department of Mathematics, Florida State University. January 2005 PACKING SPHERES AND FRACTAL STRICHARTZ ESTIMATES IN R d FOR d 3 Daniel M. Oberlin Department of Mathematics, Florida State University January 005 Fix a dimension d and for x R d and r > 0, let Sx, r) stand

More information

THE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES. Alex Iosevich and Misha Rudnev. August 3, Introduction

THE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES. Alex Iosevich and Misha Rudnev. August 3, Introduction THE MATTILA INTEGRAL ASSOCIATED WITH SIGN INDEFINITE MEASURES Alex Iosevich and Misha Rudnev August 3, 005 Abstract. In order to quantitatively illustrate the role of positivity in the Falconer distance

More information

Why do Solutions of the Maxwell Boltzmann Equation Tend to be Gaussians? A Simple Answer

Why do Solutions of the Maxwell Boltzmann Equation Tend to be Gaussians? A Simple Answer Documenta Math. 1267 Why do Solutions of the Maxwell Boltzmann Equation Tend to be Gaussians? A Simple Answer Dirk Hundertmark, Young-Ran Lee Received: December 20, 2016 Communicated by Heinz Siedentop

More information

arxiv: v1 [math.ca] 15 Dec 2017

arxiv: v1 [math.ca] 15 Dec 2017 arxiv:705549v [mathca] 5 Dec 07 Finite field restriction estimates for the paraboloid in high even dimensions Alex Iosevich, Doowon Koh, and Mark Lewko Abstract We prove that the finite field Fourier extension

More information

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms

More information

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED

BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis

More information

The discrete Fourier restriction phenomenon: the non-lattice case

The discrete Fourier restriction phenomenon: the non-lattice case The discrete Fourier restriction phenomenon: the non-lattice case November 2, 2013 Let S n 1 be the sphere of radius 1 in R n and let P n 1 = {(x 1,...,x n 1,x 2 1 +...x2 n 1 ) : 1 x i 1} be the truncated

More information

Decouplings and applications

Decouplings and applications April 27, 2018 Let Ξ be a collection of frequency points ξ on some curved, compact manifold S of diameter 1 in R n (e.g. the unit sphere S n 1 ) Let B R = B(c, R) be a ball with radius R 1. Let also a

More information

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some

More information

On John type ellipsoids

On John type ellipsoids On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to

More information

Research in Mathematical Analysis Some Concrete Directions

Research in Mathematical Analysis Some Concrete Directions Research in Mathematical Analysis Some Concrete Directions Anthony Carbery School of Mathematics University of Edinburgh Prospects in Mathematics, Durham, 9th January 2009 Anthony Carbery (U. of Edinburgh)

More information

STRONGLY SINGULAR INTEGRALS ALONG CURVES. 1. Introduction. It is standard and well known that the Hilbert transform along curves: f(x γ(t)) dt

STRONGLY SINGULAR INTEGRALS ALONG CURVES. 1. Introduction. It is standard and well known that the Hilbert transform along curves: f(x γ(t)) dt STRONGLY SINGULAR INTEGRALS ALONG CURVES NORBERTO LAGHI NEIL LYALL Abstract. In this article we obtain L 2 bounds for strongly singular integrals along curves in R d ; our results both generalise and extend

More information

The following definition is fundamental.

The following definition is fundamental. 1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic

More information

The oblique derivative problem for general elliptic systems in Lipschitz domains

The oblique derivative problem for general elliptic systems in Lipschitz domains M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T

More information

Vector spaces. DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis.

Vector spaces. DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis. Vector spaces DS-GA 1013 / MATH-GA 2824 Optimization-based Data Analysis http://www.cims.nyu.edu/~cfgranda/pages/obda_fall17/index.html Carlos Fernandez-Granda Vector space Consists of: A set V A scalar

More information

Spectral Continuity Properties of Graph Laplacians

Spectral Continuity Properties of Graph Laplacians Spectral Continuity Properties of Graph Laplacians David Jekel May 24, 2017 Overview Spectral invariants of the graph Laplacian depend continuously on the graph. We consider triples (G, x, T ), where G

More information

Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations

Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations Global Maxwellians over All Space and Their Relation to Conserved Quantites of Classical Kinetic Equations C. David Levermore Department of Mathematics and Institute for Physical Science and Technology

More information

Lecture 2: Linear Algebra Review

Lecture 2: Linear Algebra Review EE 227A: Convex Optimization and Applications January 19 Lecture 2: Linear Algebra Review Lecturer: Mert Pilanci Reading assignment: Appendix C of BV. Sections 2-6 of the web textbook 1 2.1 Vectors 2.1.1

More information

UNIONS OF LINES IN F n

UNIONS OF LINES IN F n UNIONS OF LINES IN F n RICHARD OBERLIN Abstract. We show that if a collection of lines in a vector space over a finite field has dimension at least 2(d 1)+β, then its union has dimension at least d + β.

More information

RANDOM PROPERTIES BENOIT PAUSADER

RANDOM PROPERTIES BENOIT PAUSADER RANDOM PROPERTIES BENOIT PAUSADER. Quasilinear problems In general, one consider the following trichotomy for nonlinear PDEs: A semilinear problem is a problem where the highest-order terms appears linearly

More information

arxiv: v3 [math.ap] 1 Sep 2017

arxiv: v3 [math.ap] 1 Sep 2017 arxiv:1603.0685v3 [math.ap] 1 Sep 017 UNIQUE CONTINUATION FOR THE SCHRÖDINGER EQUATION WITH GRADIENT TERM YOUNGWOO KOH AND IHYEOK SEO Abstract. We obtain a unique continuation result for the differential

More information

arxiv: v1 [math.ap] 18 May 2017

arxiv: v1 [math.ap] 18 May 2017 Littlewood-Paley-Stein functions for Schrödinger operators arxiv:175.6794v1 [math.ap] 18 May 217 El Maati Ouhabaz Dedicated to the memory of Abdelghani Bellouquid (2/2/1966 8/31/215) Abstract We study

More information

Lecture Notes 1: Vector spaces

Lecture Notes 1: Vector spaces Optimization-based data analysis Fall 2017 Lecture Notes 1: Vector spaces In this chapter we review certain basic concepts of linear algebra, highlighting their application to signal processing. 1 Vector

More information

A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE

A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 A DECOMPOSITION THEOREM FOR FRAMES AND THE FEICHTINGER CONJECTURE PETER G. CASAZZA, GITTA KUTYNIOK,

More information

Chapter One. The Calderón-Zygmund Theory I: Ellipticity

Chapter One. The Calderón-Zygmund Theory I: Ellipticity Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere

More information

Principal Component Analysis

Principal Component Analysis Machine Learning Michaelmas 2017 James Worrell Principal Component Analysis 1 Introduction 1.1 Goals of PCA Principal components analysis (PCA) is a dimensionality reduction technique that can be used

More information

GAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. 2π) n

GAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. 2π) n GAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. A. ZVAVITCH Abstract. In this paper we give a solution for the Gaussian version of the Busemann-Petty problem with additional

More information

An integral formula for L 2 -eigenfunctions of a fourth order Bessel-type differential operator

An integral formula for L 2 -eigenfunctions of a fourth order Bessel-type differential operator An integral formula for L -eigenfunctions of a fourth order Bessel-type differential operator Toshiyuki Kobayashi Graduate School of Mathematical Sciences The University of Tokyo 3-8-1 Komaba, Meguro,

More information

ALMOST ORTHOGONALITY AND A CLASS OF BOUNDED BILINEAR PSEUDODIFFERENTIAL OPERATORS

ALMOST ORTHOGONALITY AND A CLASS OF BOUNDED BILINEAR PSEUDODIFFERENTIAL OPERATORS ALMOST ORTHOGONALITY AND A CLASS OF BOUNDED BILINEAR PSEUDODIFFERENTIAL OPERATORS Abstract. Several results and techniques that generate bilinear alternatives of a celebrated theorem of Calderón and Vaillancourt

More information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms (February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops

More information

On multivariable Fejér inequalities

On multivariable Fejér inequalities On multivariable Fejér inequalities Linda J. Patton Mathematics Department, Cal Poly, San Luis Obispo, CA 93407 Mihai Putinar Mathematics Department, University of California, Santa Barbara, 93106 September

More information

ANALYSIS CLUB. Restriction Theory. George Kinnear, 7 February 2011

ANALYSIS CLUB. Restriction Theory. George Kinnear, 7 February 2011 ANALYSIS CLUB Restriction Theory George Kinnear, 7 February 011 The content of this note is base on [Tao10] an [Tao03]. 1 Restriction an extension Our setting is a smooth compact hypersurface S in R (e.g.

More information

2 A Model, Harmonic Map, Problem

2 A Model, Harmonic Map, Problem ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or

More information

Course Description for Real Analysis, Math 156

Course Description for Real Analysis, Math 156 Course Description for Real Analysis, Math 156 In this class, we will study elliptic PDE, Fourier analysis, and dispersive PDE. Here is a quick summary of the topics will study study. They re described

More information

On stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form

On stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form On stable inversion of the attenuated Radon transform with half data Jan Boman We shall consider weighted Radon transforms of the form R ρ f(l) = f(x)ρ(x, L)ds, L where ρ is a given smooth, positive weight

More information

On positive positive-definite functions and Bochner s Theorem

On positive positive-definite functions and Bochner s Theorem On positive positive-definite functions and Bochner s Theorem Aicke Hinrichs Mathematisches Institut, Universität Jena Ernst-Abbe-Platz, 07740 Jena, Germany email: a.hinrichs@uni-jena.de Jan Vybíral RICAM,

More information

Gaussian Measure of Sections of convex bodies

Gaussian Measure of Sections of convex bodies Gaussian Measure of Sections of convex bodies A. Zvavitch Department of Mathematics, University of Missouri, Columbia, MO 652, USA Abstract In this paper we study properties of sections of convex bodies

More information

Solutions to Tutorial 11 (Week 12)

Solutions to Tutorial 11 (Week 12) THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/

More information

arxiv: v1 [math.ca] 24 Aug 2009

arxiv: v1 [math.ca] 24 Aug 2009 Extension and averaging operators for finite fields arxiv:09083266v1 [mathca] 24 Aug 2009 Doowon Koh Abstract In this paper we study L p L r estimates of both extension operators and averaging operators

More information

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing. 5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint

More information

CHAPTER 3 Further properties of splines and B-splines

CHAPTER 3 Further properties of splines and B-splines CHAPTER 3 Further properties of splines and B-splines In Chapter 2 we established some of the most elementary properties of B-splines. In this chapter our focus is on the question What kind of functions

More information

Remarks on Extremization Problems Related To Young s Inequality

Remarks on Extremization Problems Related To Young s Inequality Remarks on Extremization Problems Related To Young s Inequality Michael Christ University of California, Berkeley University of Wisconsin May 18, 2016 Part 1: Introduction Young s convolution inequality

More information

Kernel Method: Data Analysis with Positive Definite Kernels

Kernel Method: Data Analysis with Positive Definite Kernels Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University

More information

Weighted norm inequalities for singular integral operators

Weighted norm inequalities for singular integral operators Weighted norm inequalities for singular integral operators C. Pérez Journal of the London mathematical society 49 (994), 296 308. Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid,

More information

Analysis in weighted spaces : preliminary version

Analysis in weighted spaces : preliminary version Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.

More information

Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and

Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and Decoupling course outline Decoupling theory is a recent development in Fourier analysis with applications in partial differential equations and analytic number theory. It studies the interference patterns

More information

SCATTERING FOR THE TWO-DIMENSIONAL NLS WITH EXPONENTIAL NONLINEARITY

SCATTERING FOR THE TWO-DIMENSIONAL NLS WITH EXPONENTIAL NONLINEARITY SCATTERING FOR THE TWO-DIMENSIONAL NLS WITH EXPONENTIAL NONLINEARITY S. IBRAHIM, M. MAJDOUB, N. MASMOUDI, AND K. NAKANISHI Abstract. We investigate existence and asymptotic completeness of the wave operators

More information

Unimodular Bilinear multipliers on L p spaces

Unimodular Bilinear multipliers on L p spaces Jotsaroop Kaur (joint work with Saurabh Shrivastava) Department of Mathematics, IISER Bhopal December 18, 2017 Fourier Multiplier Let m L (R n ), we define the Fourier multiplier operator as follows :

More information

The Fourier transform and Hausdorff dimension. Pertti Mattila. Pertti Mattila. University of Helsinki. Sant Feliu de Guíxols June 15 18, 2015

The Fourier transform and Hausdorff dimension. Pertti Mattila. Pertti Mattila. University of Helsinki. Sant Feliu de Guíxols June 15 18, 2015 University of Helsinki Sant Feliu de Guíxols June 15 18, 2015 The s-al measure H s, s 0, is defined by H s (A) = lim δ 0 H s δ (A), where, for 0 < δ, H s δ (A) = inf{ j d(e j ) s : A j E j, d(e j ) < δ}.

More information

Harmonic Polynomials and Dirichlet-Type Problems. 1. Derivatives of x 2 n

Harmonic Polynomials and Dirichlet-Type Problems. 1. Derivatives of x 2 n Harmonic Polynomials and Dirichlet-Type Problems Sheldon Axler and Wade Ramey 30 May 1995 Abstract. We take a new approach to harmonic polynomials via differentiation. Surprisingly powerful results about

More information

ENTANGLED STATES ARISING FROM INDECOMPOSABLE POSITIVE LINEAR MAPS. 1. Introduction

ENTANGLED STATES ARISING FROM INDECOMPOSABLE POSITIVE LINEAR MAPS. 1. Introduction Trends in Mathematics Information Center for Mathematical Sciences Volume 6, Number 2, December, 2003, Pages 83 91 ENTANGLED STATES ARISING FROM INDECOMPOSABLE POSITIVE LINEAR MAPS SEUNG-HYEOK KYE Abstract.

More information

arxiv: v1 [math.ca] 7 Jan 2015

arxiv: v1 [math.ca] 7 Jan 2015 Inertia of Loewner Matrices Rajendra Bhatia 1, Shmuel Friedland 2, Tanvi Jain 3 arxiv:1501.01505v1 [math.ca 7 Jan 2015 1 Indian Statistical Institute, New Delhi 110016, India rbh@isid.ac.in 2 Department

More information

Scattered Data Interpolation with Polynomial Precision and Conditionally Positive Definite Functions

Scattered Data Interpolation with Polynomial Precision and Conditionally Positive Definite Functions Chapter 3 Scattered Data Interpolation with Polynomial Precision and Conditionally Positive Definite Functions 3.1 Scattered Data Interpolation with Polynomial Precision Sometimes the assumption on the

More information

Chapter 8 Integral Operators

Chapter 8 Integral Operators Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,

More information

Microlocal Methods in X-ray Tomography

Microlocal Methods in X-ray Tomography Microlocal Methods in X-ray Tomography Plamen Stefanov Purdue University Lecture I: Euclidean X-ray tomography Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Methods

More information

STABILITY RESULTS FOR THE BRUNN-MINKOWSKI INEQUALITY

STABILITY RESULTS FOR THE BRUNN-MINKOWSKI INEQUALITY STABILITY RESULTS FOR THE BRUNN-MINKOWSKI INEQUALITY ALESSIO FIGALLI 1. Introduction The Brunn-Miknowski inequality gives a lower bound on the Lebesgue measure of a sumset in terms of the measures of the

More information

A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen

A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients.

More information

ON THE KAKEYA SET CONJECTURE

ON THE KAKEYA SET CONJECTURE ON THE KAKEYA SET CONJECTURE J.ASPEGREN Abstract. In this article we will prove the Kakeya set conjecture. In addition we will prove that in the usual approach to the Kakeya maximal function conjecture

More information

Nonlinear aspects of Calderón-Zygmund theory

Nonlinear aspects of Calderón-Zygmund theory Ancona, June 7 2011 Overture: The standard CZ theory Consider the model case u = f in R n Overture: The standard CZ theory Consider the model case u = f in R n Then f L q implies D 2 u L q 1 < q < with

More information

A NOTE ON THE HEAT KERNEL ON THE HEISENBERG GROUP

A NOTE ON THE HEAT KERNEL ON THE HEISENBERG GROUP A NOTE ON THE HEAT KERNEL ON THE HEISENBERG GROUP ADAM SIKORA AND JACEK ZIENKIEWICZ Abstract. We describe the analytic continuation of the heat ernel on the Heisenberg group H n (R. As a consequence, we

More information

On pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa)

On pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa) On pointwise estimates for maximal and singular integral operators by A.K. LERNER (Odessa) Abstract. We prove two pointwise estimates relating some classical maximal and singular integral operators. In

More information

ORTHOGONAL EXPONENTIALS, DIFFERENCE SETS, AND ARITHMETIC COMBINATORICS

ORTHOGONAL EXPONENTIALS, DIFFERENCE SETS, AND ARITHMETIC COMBINATORICS ORTHOGONAL EXPONENTIALS, DIFFERENCE SETS, AND ARITHMETIC COMBINATORICS ALEX IOSEVICH & PHILIPPE JAMING Abstract. We prove that if A is a set of exponentials mutually orthogonal with respect to any symmetric

More information

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus

MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let

More information

TOOLS FROM HARMONIC ANALYSIS

TOOLS FROM HARMONIC ANALYSIS TOOLS FROM HARMONIC ANALYSIS BRADLY STADIE Abstract. The Fourier transform can be thought of as a map that decomposes a function into oscillatory functions. In this paper, we will apply this decomposition

More information

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics

More information

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES JOEL A. TROPP Abstract. We present an elementary proof that the spectral radius of a matrix A may be obtained using the formula ρ(a) lim

More information

Michael Lacey and Christoph Thiele. f(ξ)e 2πiξx dξ

Michael Lacey and Christoph Thiele. f(ξ)e 2πiξx dξ Mathematical Research Letters 7, 36 370 (2000) A PROOF OF BOUNDEDNESS OF THE CARLESON OPERATOR Michael Lacey and Christoph Thiele Abstract. We give a simplified proof that the Carleson operator is of weaktype

More information

TWO GEOMETRIC COMBINATORIAL PROBLEMS IN VECTOR SPACES OVER FINITE FIELDS

TWO GEOMETRIC COMBINATORIAL PROBLEMS IN VECTOR SPACES OVER FINITE FIELDS TWO GEOMETRIC COMBINATORIAL PROBLEMS IN VECTOR SPACES OVER FINITE FIELDS EMMETT WYMAN Abstract. First, we show that the number of ordered right triangles with vertices in a subset E of the vector space

More information

Largest dual ellipsoids inscribed in dual cones

Largest dual ellipsoids inscribed in dual cones Largest dual ellipsoids inscribed in dual cones M. J. Todd June 23, 2005 Abstract Suppose x and s lie in the interiors of a cone K and its dual K respectively. We seek dual ellipsoidal norms such that

More information

Integral Jensen inequality

Integral Jensen inequality Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a

More information

An introduction to Birkhoff normal form

An introduction to Birkhoff normal form An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an

More information

arxiv: v2 [math.fa] 17 May 2016

arxiv: v2 [math.fa] 17 May 2016 ESTIMATES ON SINGULAR VALUES OF FUNCTIONS OF PERTURBED OPERATORS arxiv:1605.03931v2 [math.fa] 17 May 2016 QINBO LIU DEPARTMENT OF MATHEMATICS, MICHIGAN STATE UNIVERSITY EAST LANSING, MI 48824, USA Abstract.

More information

Semidefinite Programming

Semidefinite Programming Semidefinite Programming Notes by Bernd Sturmfels for the lecture on June 26, 208, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra The transition from linear algebra to nonlinear algebra has

More information

CONSTRUCTIVE PROOF OF THE CARPENTER S THEOREM

CONSTRUCTIVE PROOF OF THE CARPENTER S THEOREM CONSTRUCTIVE PROOF OF THE CARPENTER S THEOREM MARCIN BOWNIK AND JOHN JASPER Abstract. We give a constructive proof of Carpenter s Theorem due to Kadison [14, 15]. Unlike the original proof our approach

More information

1 Directional Derivatives and Differentiability

1 Directional Derivatives and Differentiability Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=

More information

x i y i f(y) dy, x y m+1

x i y i f(y) dy, x y m+1 MATRIX WEIGHTS, LITTLEWOOD PALEY INEQUALITIES AND THE RIESZ TRANSFORMS NICHOLAS BOROS AND NIKOLAOS PATTAKOS Abstract. In the following, we will discuss weighted estimates for the squares of the Riesz transforms

More information

Linear Ordinary Differential Equations

Linear Ordinary Differential Equations MTH.B402; Sect. 1 20180703) 2 Linear Ordinary Differential Equations Preliminaries: Matrix Norms. Denote by M n R) the set of n n matrix with real components, which can be identified the vector space R

More information

A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.

A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1. A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion

More information

A Sharpened Hausdorff-Young Inequality

A Sharpened Hausdorff-Young Inequality A Sharpened Hausdorff-Young Inequality Michael Christ University of California, Berkeley IPAM Workshop Kakeya Problem, Restriction Problem, Sum-Product Theory and perhaps more May 5, 2014 Hausdorff-Young

More information

Stability of an abstract wave equation with delay and a Kelvin Voigt damping

Stability of an abstract wave equation with delay and a Kelvin Voigt damping Stability of an abstract wave equation with delay and a Kelvin Voigt damping University of Monastir/UPSAY/LMV-UVSQ Joint work with Serge Nicaise and Cristina Pignotti Outline 1 Problem The idea Stability

More information

CS 468 (Spring 2013) Discrete Differential Geometry

CS 468 (Spring 2013) Discrete Differential Geometry CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product

More information

MAXIMAL AVERAGE ALONG VARIABLE LINES. 1. Introduction

MAXIMAL AVERAGE ALONG VARIABLE LINES. 1. Introduction MAXIMAL AVERAGE ALONG VARIABLE LINES JOONIL KIM Abstract. We prove the L p boundedness of the maximal operator associated with a family of lines l x = {(x, x 2) t(, a(x )) : t [0, )} when a is a positive

More information

Mathematical Research Letters xxx, NN (2008) FINITE BOUNDS FOR HÖLDER-BRASCAMP-LIEB MULTILINEAR INEQUALITIES

Mathematical Research Letters xxx, NN (2008) FINITE BOUNDS FOR HÖLDER-BRASCAMP-LIEB MULTILINEAR INEQUALITIES Mathematical Research Letters xxx, 10001 100NN (2008) FINITE BOUNDS FOR HÖLDER-BRASCAMP-LIEB MULTILINEAR INEQUALITIES Jonathan Bennett, Anthony Carbery, Michael Christ, and Terence Tao Abstract. A criterion

More information

RESTRICTED WEAK TYPE VERSUS WEAK TYPE

RESTRICTED WEAK TYPE VERSUS WEAK TYPE PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 133, Number 4, Pages 1075 1081 S 0002-9939(04)07791-3 Article electronically published on November 1, 2004 RESTRICTED WEAK TYPE VERSUS WEAK TYPE

More information

#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS

#A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS #A28 INTEGERS 13 (2013) ADDITIVE ENERGY AND THE FALCONER DISTANCE PROBLEM IN FINITE FIELDS Doowon Koh Department of Mathematics, Chungbuk National University, Cheongju city, Chungbuk-Do, Korea koh131@chungbuk.ac.kr

More information

Monotonicity formulas for variational problems

Monotonicity formulas for variational problems Monotonicity formulas for variational problems Lawrence C. Evans Department of Mathematics niversity of California, Berkeley Introduction. Monotonicity and entropy methods. This expository paper is a revision

More information

Decoupling Lecture 1

Decoupling Lecture 1 18.118 Decoupling Lecture 1 Instructor: Larry Guth Trans. : Sarah Tammen September 7, 2017 Decoupling theory is a branch of Fourier analysis that is recent in origin and that has many applications to problems

More information