# Jonathan Bennett

## Publications Authored By Jonathan Bennett

We prove an elementary multilinear identity for the Fourier extension operator on $\mathbb{R}^n$, generalising to higher dimensions the classical bilinear extension identity in the plane. In the particular case of the extension operator associated with the paraboloid, this provides a higher dimensional extension of a well-known identity of Ozawa and Tsutsumi for solutions to the free time-dependent Schr\"odinger equation. We conclude with a similar treatment of more general oscillatory integral operators whose phase functions collectively satisfy a natural multilinear transversality condition. Read More

We prove that $$ \|X(|u|^2)\|_{L^3_{t,\ell}}\leq C\|f\|_{L^2(\mathbb{R}^2)}^2, $$ where $u(x,t)$ is the solution to the linear time-dependent Schr\"odinger equation on $\mathbb{R}^2$ with initial datum $f$, and $X$ is the (spatial) X-ray transform on $\mathbb{R}^2$. 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\leq k\leq d-1$. Read More

We establish smoothing estimates in the framework of hyperbolic Sobolev spaces for the velocity averaging operator $\rho$ of the solution of the kinetic transport equation. If the velocity domain is either the unit sphere or the unit ball, then, for any exponents $q$ and $r$, we find a characterisation of the exponents $\beta_+$ and $\beta_-$, except possibly for an endpoint case, for which $D_+^{\beta_+}D_-^{\beta_-} \rho$ is bounded from space-velocity $L^2_{x,v}$ to space-time $L^q_tL^r_x$. Here, $D_+$ and $D_-$ are the classical and hyperbolic derivative operators, respectively. Read More

Recent progress in multilinear harmonic analysis naturally raises questions about the local behaviour of the best constant (or bound) in the general Brascamp--Lieb inequality as a function of the underlying linear transformations. In this paper we prove that this constant is continuous, but is not in general differentiable. Read More

Through the study of novel variants of the classical Littlewood-Paley-Stein $g$-functions, we obtain pointwise estimates for broad classes of highly-singular Fourier multipliers on $\mathbb{R}^d$ satisfying regularity hypotheses adapted to fine (subdyadic) scales. In particular, this allows us to efficiently bound such multipliers by geometrically-defined maximal operators via general weighted $L^2$ inequalities, in the spirit of a well-known conjecture of Stein. Our framework applies to solution operators for dispersive PDE, such as the time-dependent free Schr\"odinger equation, and other highly oscillatory convolution operators that fall well beyond the scope of the Calder\'on-Zygmund theory. Read More

The purpose of this article is to expose and further develop a simple yet surprisingly far-reaching framework for generating monotone quantities for positive solutions to linear heat equations in euclidean space. This framework is intimately connected to the existence of a rich variety of algebraic closure properties of families of sub/super-solutions, and more generally solutions of systems of differential inequalities capturing log-convexity properties such as the Li--Yau gradient estimate. Various applications are discussed, including connections with the general Brascamp--Lieb inequality and the Ornstein--Uhlenbeck semigroup. Read More

We prove that the best constant in the general Brascamp-Lieb inequality is a locally bounded function of the underlying linear transformations. As applications we deduce certain very general Fourier restriction, Kakeya-type, and nonlinear variants of the Brascamp-Lieb inequality which have arisen recently in harmonic analysis. Read More

We identify complete monotonicity properties underlying a variety of well-known sharp Strichartz inequalities in euclidean space. Read More

The purpose of this article is to survey certain aspects of multilinear harmonic analysis related to notions of transversality. Particular emphasis will be placed on the multilinear restriction theory for the euclidean Fourier transform, multilinear oscillatory integrals, multilinear geometric inequalities, multilinear Radon-like transforms, and the interplay between them. Read More

We provide a comprehensive analysis of sharp bilinear estimates of Ozawa-Tsutsumi type for solutions u of the free Schr\"odinger equation, which give sharp control on $|u|^2$ in classical Sobolev spaces. In particular, we provide a generalization of their estimates in such a way that provides a unification with some sharp bilinear estimates proved by Carneiro and Planchon-Vega, via entirely different methods, by seeing them all as special cases of a one parameter family of sharp estimates. We show that the extremal functions are solutions of the Maxwell-Boltzmann functional equation and provide a new proof that this equation admits only Gaussian solutions. Read More

We show that the endpoint Strichartz estimate for the kinetic transport equation is false in all dimensions. We also present a new approach to proving the non-endpoint cases using multilinear analysis. Read More

We control a broad class of singular (or "rough") Fourier multipliers by geometrically-defined maximal operators via general weighted $L^2(\mathbb{R})$ norm inequalities. The multipliers involved are related to those of Coifman--Rubio de Francia--Semmes, satisfying certain weak Marcinkiewicz-type conditions that permit highly oscillatory factors of the form $e^{i|\xi|^\alpha}$ for both $\alpha$ positive and negative. The maximal functions that arise are of some independent interest, involving fractional averages associated with tangential approach regions (related to those of Nagel and Stein), and more novel "improper fractional averages" associated with "escape" regions. Read More

We obtain two-weighted $L^2$ norm inequalities for oscillatory integral operators of convolution type on the line whose phases are of finite type. The conditions imposed on the weights involve geometrically-defined maximal functions, and the inequalities are best-possible in the sense that they imply the full $L^p(\mathbb{R})\rightarrow L^q(\mathbb{R})$ mapping properties of the oscillatory integrals. Our results build on work of Carbery, Soria, Vargas and the first author. Read More

We use the method of induction-on-scales to prove certain diffeomorphism invariant nonlinear Brascamp--Lieb inequalities. We provide applications to multilinear convolution inequalities and the restriction theory for the Fourier transform, extending to higher dimensions recent work of Bejenaru--Herr--Tataru and Bennett--Carbery--Wright. Read More

Most notably we prove that for $d=1,2$ the classical Strichartz norm $$\|e^{i s\Delta}f\|_{L^{2+4/d}_{s,x}(\mathbb{R}\times\mathbb{R}^d)}$$ associated to the free Schr\"{o}dinger equation is nondecreasing as the initial datum $f$ evolves under a certain quadratic heat-flow. Read More

It is known that if $q$ is an even integer then the $L^q(\mathbb{R}^d)$ norm of the Fourier transform of a superposition of translates of a fixed gaussian is monotone increasing as their centres "simultaneously slide" to the origin. We provide explicit examples to show that this monotonicity property fails dramatically if $q > 2$ is not an even integer. These results are equivalent, upon rescaling, to similar statements involving solutions to heat equations. Read More

We prove that if $u_1,u_2 : (0,\infty) \times \R^d \to (0,\infty)$ are sufficiently well-behaved solutions to certain heat inequalities on $\R^d$ then the function $u: (0,\infty) \times \R^d \to (0,\infty)$ given by $u^{1/p}=u_1^{1/p_1} * u_2^{1/p_2}$ also satisfies a heat inequality of a similar type provided $\tfrac{1}{p_1} + \tfrac{1}{p_2} = 1 + \tfrac{1}{p}$. On iterating, this result leads to an analogous statement concerning $n$-fold convolutions. As a corollary, we give a direct heat-flow proof of the sharp $n$-fold Young convolution inequality and its reverse form. Read More

We obtain new estimates for a class of oscillatory integral operators with folding canonical relations satisfying a curvature condition. The main lower bounds showing sharpness are proved using Kakeya set constructions. As a special case of the upper bounds we deduce optimal $L^p(mathbb{S}^2)\to L^q(R \mathbb{S}^2)$ estimates for the Fourier extension operator on large spheres in $\mathbb{R}^3$, which are uniform in the radius $R$. Read More

We prove $d$-linear analogues of the classical restriction and Kakeya
conjectures in $\R^d$. Our approach involves obtaining monotonicity formulae
pertaining to a certain evolution of families of gaussians, closely related to
heat flow. We conclude by giving some applications to the corresponding
variable-coefficient problems and the so-called "joints" problem, as well as
presenting some $n$-linear analogues for $n

A criterion is established for the validity of multilinear inequalities of a class considered by Brascamp and Lieb, generalizing well-known inequalities of Holder, Young, and Loomis-Whitney. This is a companion to a recent paper by the same authors, containing a different proof and discussing certain variants. Read More

We consider the Brascamp--Lieb inequalities concerning multilinear integrals of products of functions in several dimensions. We give a complete treatment of the issues of finiteness of the constant, and of the existence and uniqueness of centred gaussian extremals. For arbitrary extremals we completely address the issue of existence, and partly address the issue of uniqueness. Read More