arxiv: v2 [math.ca] 23 Jun 2017
|
|
- Kristian Watts
- 5 years ago
- Views:
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 Neal Bez, Chris Jeavons and Nikolaos Pattakos Abstract. We consider gaussian extremisability of sharp linear Sobolev Strichartz estimates
More informationOn 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 informationDS-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 informationDerivatives 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 informationSCALE 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 informationA 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 informationHarmonic 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 informationA 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 informationA 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 informationarxiv: 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 FABIO NICOLA Abstract. A necessary condition is established for the optimal (L p, L 2 ) restriction theorem to hold on a hypersurface S,
More informationMATH 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 informationDaniel 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 informationTHE 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 informationWhy 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 informationarxiv: 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 informationFinite-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 informationSHARP 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 informationBLOWUP 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 informationThe 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 informationDecouplings 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 informationTHE 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 informationOn 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 informationResearch 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 informationSTRONGLY 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 informationThe 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 informationThe 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 informationVector 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 informationSpectral 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 informationGlobal 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 informationLecture 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 informationUNIONS 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 informationRANDOM 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 informationarxiv: 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 informationarxiv: 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 informationLecture 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 informationA 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 informationChapter 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 informationPrincipal 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 informationGAUSSIAN 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 informationAn 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 informationALMOST 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 information08a. 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 informationOn 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 informationANALYSIS 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 information2 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 informationCourse 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 informationOn 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 informationOn 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 informationGaussian 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 informationSolutions 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 informationarxiv: 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 information5 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 informationCHAPTER 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 informationRemarks 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 informationKernel 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 informationWeighted 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 informationAnalysis 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 informationDecoupling 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 informationSCATTERING 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 informationUnimodular 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 informationThe 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 informationHarmonic 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 informationENTANGLED 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 informationarxiv: 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 informationScattered 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 informationChapter 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 informationMicrolocal 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 informationSTABILITY 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 informationA 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 informationON 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 informationNonlinear 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 informationA 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 informationOn 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 informationORTHOGONAL 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 informationMATH 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 informationTOOLS 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 informationON 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 informationAN 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 informationMichael 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 informationTWO 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 informationLargest 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 informationIntegral 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 informationAn 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 informationarxiv: 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 informationSemidefinite 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 informationCONSTRUCTIVE 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 information1 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 informationx 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 informationLinear 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 informationA 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 informationA 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 informationStability 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 informationCS 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 informationMAXIMAL 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 informationMathematical 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 informationRESTRICTED 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 Doowon Koh Department of Mathematics, Chungbuk National University, Cheongju city, Chungbuk-Do, Korea koh131@chungbuk.ac.kr
More informationMonotonicity 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 informationDecoupling 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