SearcharxivSearch

arXiv subjects

Jonathan Bennett

Publications and source records attributed to Jonathan Bennett.

35 records · Page 2Linked to original sources

Estimates for the kinetic transport equation in hyperbolic Sobolev spaces

We establish smoothing estimates in the framework of hyperbolic Sobolev spaces for the velocity averaging operator $ρ$ 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 $β_+$ and $β_-$, except possibly for an endpoint case, for which $D_+^{β_+}D_-^{β_-} ρ$ 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. In fact, we shall provide an argument which unifies these velocity domains and the velocity averaging estimates in either case are shown to be equivalent to mixed-norm bounds on the cone multiplier operator acting on $L^2$. We develop our ideas further in several ways, including estimates for initial data lying in certain Besov spaces, for which a key tool in the proof is the sharp $\ell^p$ decoupling theorem recently established by Bourgain and Demeter. We also show that the level of permissible smoothness increases significantly if we restrict attention to initial data which are radially symmetric in the spatial variable.

math.AP

On sharp bilinear Strichartz estimates of Ozawa-Tsutsumi type

We provide a comprehensive analysis of sharp bilinear estimates of Ozawa-Tsutsumi type for solutions u of the free Schrödinger 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. We also make a connection to certain sharp estimates on $u^2$ involving certain dispersive Sobolev norms.

math.AP

Behaviour of the Brascamp--Lieb constant

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.

math.CA

Subdyadic square functions and applications to weighted harmonic analysis

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ödinger equation, and other highly oscillatory convolution operators that fall well beyond the scope of the Calderón-Zygmund theory.

math.CA

Aspects of Multilinear Harmonic Analysis Related to Transversality

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.

math.CA

Optimal control of singular Fourier multipliers by maximal operators

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|ξ|^α}$ for both $α$ 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. Some applications are given to the theory of $L^p-L^q$ multipliers, oscillatory integrals and dispersive PDE, along with natural extensions to higher dimensions.

math.CA

Weighted norm inequalities for oscillatory integrals with finite type phases on the line

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.

math.CA

Some nonlinear Brascamp-Lieb inequalities and applications to harmonic analysis

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.

math.CA

Heat-flow monotonicity of Strichartz norms

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

math.CA

Heat-flow monotonicity related to the Hausdorff--Young inequality

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. Such considerations are natural given the celebrated theorem of Beckner concerning the gaussian extremisability of the Hausdorff--Young inequality.

math.CA

Closure properties of solutions to heat inequalities

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.

math.CA

The Fourier extension operator on large spheres and related oscillatory integrals

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$. Two appendices are included, one concerning an application to Lorentz space bounds for averaging operators along curves in $R^3$, and one on bilinear estimates.

math.CA

The Brascamp-Lieb inequalities: finiteness, structure, and extremals

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. We also analyse the inequalities from a structural perspective. We obtain two new proofs of Lieb's fundamental theorem concerning exhaustion by gaussians. Our techniques are partly based upon monotonicity formulas for positive solutions to heat equations in linear and multilinear settings.

math.MG

On the Multilinear Restriction and Kakeya conjectures

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<d$.

math.CA

Finite bounds for Holder-Brascamp-Lieb multilinear inequalities

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.

math.CA