Search arXiv⌕ Search

arXiv subjects

Jonathan Bennett

Publications and source records attributed to Jonathan Bennett.

At least 19 recordsLinked to original sources
arXiv2026

Rectangles, triangles and Schr\"{o}dinger waves

Can a finite set of lattice points determine many rectangles and few isosceles triangles? This turns out to be a surprisingly interesting question in combinatorial geometry that we answer using basic analytic number theory combined with a finite-field construction. The result is useful because it gives obstructions to Mizohata--Takeuchi-type estimates in the setting of the paraboloid. Specifically, we establish transference between Euclidean and periodic weighted $\mathrm{L}^2$ estimates for solutions to the Schr\"{o}dinger equation, and then relate the failure of the latter to quantities tied to combinatorial problems, such as the one above. By completing this programme we give new explicit combinatorial counterexamples to the paraboloid case of the Mizohata--Takeuchi conjecture, which was recently shown to be false by Cairo for curved hypersurfaces.

math.CA↗
arXiv2025

Tangential approach in the Dirichlet problem for elliptic equations

It is well-known that solvability of the $\mathrm{L}^{p}$-Dirichlet problem for elliptic equations $Lu:=-\mathrm{div}(A\nabla u)=0$ with real-valued, bounded and measurable coefficients $A$ on Lipschitz domains $\Omega\subset\mathbb{R}^{1+n}$ is characterised by a quantitative absolute continuity of the associated $L$-harmonic measure. We prove that this local $A_{\infty}$ property is sufficient to guarantee that the nontangential convergence afforded to $\mathrm{L}^{p}$ boundary data actually improves to a certain \emph{tangential} convergence when the data has additional (Sobolev) regularity. Moreover, we obtain sharp estimates on the Hausdorff dimension of the set on which such convergence can fail. This extends results obtained by Dorronsoro, Nagel, Rudin, Shapiro and Stein for classical harmonic functions in the upper half-space.

math.AP↗
arXiv2025

Mizohata-Takeuchi inequalities for orthonormal systems

We establish some weighted $L^2$ inequalities for Fourier extension operators in the setting of orthonormal systems. In the process we develop a direct approach to such inequalities based on generalised Wigner distributions, complementing the Schatten space approach that is prevalent in the wider context of estimates for such orthonormal systems. Our results are set within a broader family of tentatively suggested ($L^p$) inequalities of Mizohata--Takeuchi type. For $p$ an even integer we see that such weighted inequalities may be recast as questions of co-positivity of tensor forms, and for $p\leq 1$ we provide some evidence that they may hold in reverse provided the orthonormal sequence is complete.

math.CA↗
arXiv2024

Brascamp--Lieb inequalities on locally compact abelian groups

We establish a structure theorem for the Brascamp--Lieb constant formulated in the general setting of locally compact abelian groups. This extends and unifies the finiteness characterisations previously known for euclidean spaces and for finitely generated groups and their duals. We place particular emphasis on Fourier invariance throughout, reflecting the fundamental Fourier invariance of Brascamp--Lieb multilinear forms in this context.

math.FA↗
arXiv2024

A phase-space approach to weighted Fourier extension inequalities

The purpose of this paper is to expose and investigate natural phase-space formulations of two longstanding problems in the restriction theory of the Fourier transform. These problems, often referred to as the Stein and Mizohata--Takeuchi conjectures, assert that Fourier extension operators associated with rather general (codimension 1) submanifolds of Euclidean space, may be effectively controlled by the classical X-ray transform via weighted $L^2$ inequalities. Our phase-space formulations, which have their origins in recent work of Dendrinos, Mustata and Vitturi, expose close connections with a conjecture of Flandrin from time-frequency analysis, and rest on the identification of an explicit ``geometric" Wigner transform associated with an arbitrary (smooth strictly convex) submanifold $S$ of $\mathbb{R}^n$. Our main results are certain natural ``Sobolev variants" of the Stein and Mizohata--Takeuchi conjectures, and involve estimating the Sobolev norms of such Wigner transforms by geometric forms of classical bilinear fractional integrals. Our broad geometric framework allows us to explore the role of the curvature of the submanifold in these problems, and in particular we obtain bounds that are independent of any lower bound on the curvature; a feature that is uncommon in the wider restriction theory of the Fourier transform. Finally, we provide a further illustration of the effectiveness of our analysis by establishing a form of Flandrin's conjecture in the plane with an $\varepsilon$-loss. While our perspective comes primarily from Euclidean harmonic analysis, the procedure used for constructing phase-space representations of extension operators is well-known in optics.

math.CA↗
arXiv2023

Adjoint Brascamp-Lieb inequalities

The Brascamp-Lieb inequalities are a generalization of the H\"older, Loomis-Whitney, Young, and Finner inequalities that have found many applications in harmonic analysis and elsewhere. In this paper we introduce an "adjoint" version of these inequalities, which can be viewed as an $L^p$ version of the entropy Brascamp-Lieb inequalities of Carlen and Cordero-Erausquin. As applications, we reprove a log-convexity property of the Gowers uniformity norms, and establish some reverse $L^p$ inequalities for various tomographic transforms. We conclude with some open questions.

math.CA↗
arXiv2022

Tomographic Fourier Extension Identities for Submanifolds of $\mathbb{R}^n$

We establish identities for the composition $T_{k,n}(|\widehat{gd\sigma}|^2)$, where $g\mapsto \widehat{gd\sigma}$ is the Fourier extension operator associated with a general smooth $k$-dimensional submanifold of $\mathbb{R}^n$, and $T_{k,n}$ is the $k$-plane transform. Several connections to problems in Fourier restriction theory are presented.

math.CA↗
arXiv2022

Higher order transversality in harmonic analysis

In differential topology two smooth submanifolds $S_1$ and $S_2$ of euclidean space are said to be transverse if the tangent spaces at each common point together form a spanning set. The purpose of this article is to explore a much more general notion of transversality pertaining to a collection of submanifolds of euclidean space. In particular, we show that three seemingly different concepts of transversality arising naturally in harmonic analysis, are in fact equivalent. This result is an amalgamation of several recent works on variants of the Brascamp--Lieb inequality, and we take the opportunity here to briefly survey this growing area. This is not intended to be an exhaustive account, and the choices made reflect the particular perspectives of the authors.

math.CA↗
arXiv2020

Fourier duality in the Brascamp-Lieb inequality

It was observed recently in work of Bez, Buschenhenke, Cowling, Flock and the first author, that the euclidean Brascamp-Lieb inequality satisfies a natural and useful Fourier duality property. The purpose of this paper is to establish an appropriate discrete analogue of this. Our main result identifies the Brascamp-Lieb constants on (finitely-generated) discrete abelian groups with Brascamp-Lieb constants on their (Pontryagin) duals. As will become apparent, the natural setting for this duality principle is that of locally compact abelian groups, and this raises basic questions about Brascamp-Lieb constants formulated in this generality.

math.CA↗
arXiv2020

Tomography bounds for the Fourier extension operator and applications

We explore the extent to which the Fourier transform of an $L^p$ density supported on the sphere in $\mathbb{R}^n$ can have large mass on affine subspaces, placing particular emphasis on lines and hyperplanes. This involves establishing bounds on quantities of the form $X(|\widehat{gd\sigma}|^2)$ and $\mathcal{R}(|\widehat{gd\sigma}|^2)$, where $X$ and $\mathcal{R}$ denote the X-ray and Radon transforms respectively; here $d\sigma$ denotes Lebesgue measure on the unit sphere $\mathbb{S}^{n-1}$, and $g\in L^p(\mathbb{S}^{n-1})$. We also identify some conjectural bounds of this type that sit between the classical Fourier restriction and Kakeya conjectures. Finally we provide some applications of such tomography bounds to the theory of weighted norm inequalities for $\widehat{gd\sigma}$, establishing some natural variants of conjectures of Stein and Mizohata--Takeuchi from the 1970s. Our approach, which has its origins in work of Planchon and Vega, exploits cancellation via Plancherel's theorem on affine subspaces, avoiding the conventional use of wave-packet and stationary-phase methods.

math.CA↗
arXiv2019

A supersolutions perspective on hypercontractivity

The purpose of this article is to expose an algebraic closure property of supersolutions to certain diffusion equations. This closure property quickly gives rise to a monotone quantity which generates a hypercontractivity inequality. Our abstract argument applies to a general Markov semigroup whose generator is a diffusion and satisfies a curvature condition.

math.FA↗
arXiv2018

On the nonlinear Brascamp-Lieb inequality

We prove a nonlinear variant of the general Brascamp-Lieb inequality. Instances of this inequality are quite prevalent in analysis, and we illustrate this with substantial applications in harmonic analysis and partial differential equations. Our proof consists of running an efficient, or "tight", induction on scales argument, which uses the existence of gaussian near-extremisers to the underlying linear Brascamp-Lieb inequality (Lieb's theorem) in a fundamental way. A key ingredient is an effective version of Lieb's theorem, which we establish via a careful analysis of near-minimisers of weighted sums of exponential functions.

math.CA↗
arXiv2018

The nonlinear Brascamp-Lieb inequality for simple data

We establish a nonlinear generalisation of the classical Brascamp-Lieb inequality in the case where the Lebesgue exponents lie in the interior of the finiteness polytope. As a corollary we show that the best constant in Young's convolution inequality in a small neighbourhood of the identity of a general Lie group, approaches the euclidean constant as the size of the neighbourhood approaches zero, answering a question of Cowling, Martini, M\"uller and Parcet. Our proof consists of running an efficient, or "tight", induction on scales argument which uses the existence of gaussian extremisers to the underlying linear Brascamp-Lieb inequality in a fundamental way.

math.CA↗
arXiv2017

A multilinear Fourier extension identity on $\mathbb{R}^n$

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. The perspective we present has its origins in work of Drury.

math.CA↗
arXiv2016

A sharp $k$-plane Strichartz inequality for the Schr\"odinger equation

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$. In the process we obtain sharp $L^2(\mu)$ bounds on Fourier extension operators associated with certain high-dimensional spheres, involving measures $\mu$ supported on natural "co-$k$-planarity" sets.

math.CA↗
arXiv2016

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 $\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. 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↗
arXiv2016

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↗