Showing 1–24 of 24 results for author: Carbery, A

On some integral-geometric quantities related to transversality, curvature and visibility

Authors: Silouanos Brazitikos, Anthony Carbery, Finlay McIntyre

Abstract: We consider some integral-geometric quantities that have recently arisen in harmonic analysis and elsewhere, derive some sharp geometric inequalities relating them, and place them in a wider context. We consider some integral-geometric quantities that have recently arisen in harmonic analysis and elsewhere, derive some sharp geometric inequalities relating them, and place them in a wider context. △ Less

Submitted 6 April, 2024; v1 submitted 19 October, 2023; originally announced October 2023.

MSC Class: 52A22; 52A39

Some sharp inequalities of Mizohata--Takeuchi-type

Authors: Anthony Carbery, Marina Iliopoulou, Hong Wang

Abstract: Let $Σ$ be a strictly convex, compact patch of a $C^2$ hypersurface in $\mathbb{R}^n$, with non-vanishing Gaussian curvature and surface measure $dσ$ induced by the Lebesgue measure in $\mathbb{R}^n$. The Mizohata--Takeuchi conjecture states that \begin{equation*} \int |\widehat{gdσ}|^2w \leq C \|Xw\|_\infty \int |g|^2 \end{equation*} for all $g\in L^2(Σ)$ and all weights… ▽ More Let $Σ$ be a strictly convex, compact patch of a $C^2$ hypersurface in $\mathbb{R}^n$, with non-vanishing Gaussian curvature and surface measure $dσ$ induced by the Lebesgue measure in $\mathbb{R}^n$. The Mizohata--Takeuchi conjecture states that \begin{equation*} \int |\widehat{gdσ}|^2w \leq C \|Xw\|_\infty \int |g|^2 \end{equation*} for all $g\in L^2(Σ)$ and all weights $w:\mathbb{R}^n\rightarrow [0,+\infty)$, where $X$ denotes the $X$-ray transform. As partial progress towards the conjecture, we show, as a straightforward consequence of recently-established decoupling inequalities, that for every $ε>0$, there exists a positive constant $C_ε$, which depends only on $Σ$ and $ε$, such that for all $R \geq 1$ and all weights $w:\mathbb{R}^n\rightarrow [0,+\infty)$ we have \begin{equation*} \int_{B_R} |\widehat{gdσ}|^2w \leq C_εR^ε\sup_T \left(\int _T w^{\frac{n+1}{2}}\right)^{\frac{2}{n+1}}\int |g|^2, \end{equation*} where $T$ ranges over the family of all tubes in $\mathbb{R}^n$ of dimensions $R^{1/2} \times \dots \times R^{1/2} \times R$. From this we deduce the Mizohata--Takeuchi conjecture with an $R^{\frac{n-1}{n+1}}$-loss; i.e., that \begin{equation*} \int_{B_R} |\widehat{gdσ}|^2w \leq C_εR^{\frac{n-1}{n+1}+ ε}\|Xw\|_\infty\int |g|^2 \end{equation*} for any ball $B_R$ of radius $R$ and any $ε>0$. The power $(n-1)/(n+1)$ here cannot be replaced by anything smaller unless properties of $\widehat{gdσ}$ beyond 'decoupling axioms' are exploited. We also provide estimates which improve this inequality under various conditions on the weight, and discuss some new cases where the conjecture holds. △ Less

Submitted 17 December, 2023; v1 submitted 23 February, 2023; originally announced February 2023.

Comments: Minor modifications. To appear in Rev. Mat. Iberoam

Non-Transversal Multilinear Duality and Joints

Authors: Anthony Carbery, Michael Chi Yung Tang

Abstract: We develop a framework for a duality theory for general multilinear operators which extends that for transversal multilinear operators which has been established in arXiv:1809.02449. We apply it to the setting of joints and multijoints, and obtain a "factorisation" theorem which provides an analogue in the discrete setting of results of Bourgain and Guth (arXiv:0811.2251 and arXiv:1012.3760) from… ▽ More We develop a framework for a duality theory for general multilinear operators which extends that for transversal multilinear operators which has been established in arXiv:1809.02449. We apply it to the setting of joints and multijoints, and obtain a "factorisation" theorem which provides an analogue in the discrete setting of results of Bourgain and Guth (arXiv:0811.2251 and arXiv:1012.3760) from the Euclidean setting. △ Less

Submitted 8 April, 2022; v1 submitted 4 March, 2022; originally announced March 2022.

Comments: 19 pages, references updated

MSC Class: 46A20; 47H60; 47N99; 42Bxx; 52C99

A variational proof of a disentanglement theorem for multilinear norm inequalities

Authors: Anthony Carbery, Timo S. Hänninen, Stefán Ingi Valdimarsson

Abstract: The basic disentanglement theorem established by the present authors states that estimates on a weighted geometric mean over (convex) families of functions can be disentangled into quantitatively linked estimates on each family separately. On the one hand, the theorem gives a uniform approach to classical results including Maurey's factorisation theorem and Lozanovskiĭ's factorisation theorem, and… ▽ More The basic disentanglement theorem established by the present authors states that estimates on a weighted geometric mean over (convex) families of functions can be disentangled into quantitatively linked estimates on each family separately. On the one hand, the theorem gives a uniform approach to classical results including Maurey's factorisation theorem and Lozanovskiĭ's factorisation theorem, and, on the other hand, it underpins the duality theory for multilinear norm inequalities developed in our previous two papers. In this paper we give a simple proof of this basic disentanglement theorem. Whereas the approach of our previous paper was rather involved - it relied on the use of minimax theory together with weak*-compactness arguments in the space of finitely additive measures, and an application of the Yosida-Hewitt theory of such measures - the alternate approach of this paper is rather straightforward: it instead depends upon elementary perturbation and compactness arguments. △ Less

Submitted 4 July, 2023; v1 submitted 30 June, 2021; originally announced June 2021.

Comments: Abstract and introduction revised. 16 pages, 1 diagram

Disentanglement, Multilinear Duality and Factorisation for non-positive operators

Authors: Anthony Carbery, Timo S. Hänninen, Stefán Ingi Valdimarsson

Abstract: In previous work we established a multilinear duality and factorisation theory for norm inequalities for pointwise weighted geometric means of positive linear operators defined on normed lattices. In this paper we extend the reach of the theory for the first time to the setting of general linear operators defined on normed spaces. The scope of this theory includes multilinear Fourier restriction-t… ▽ More In previous work we established a multilinear duality and factorisation theory for norm inequalities for pointwise weighted geometric means of positive linear operators defined on normed lattices. In this paper we extend the reach of the theory for the first time to the setting of general linear operators defined on normed spaces. The scope of this theory includes multilinear Fourier restriction-type inequalities. We also sharpen our previous theory of positive operators. Our results all share a common theme: estimates on a weighted geometric mean of linear operators can be disentangled into quantitative estimates on each operator separately. The concept of disentanglement recurs throughout the paper. The methods we used in the previous work - principally convex optimisation - relied strongly on positivity. In contrast, in this paper we use a vector-valued reformulation of disentanglement, geometric properties (Rademacher-type) of the underlying normed spaces, and probabilistic considerations related to p-stable random variables. △ Less

Submitted 1 November, 2021; v1 submitted 6 March, 2020; originally announced March 2020.

Comments: 32 pages, 3 diagrams. Final version, incorporating referees' comments, to appear in Analysis & PDE

MSC Class: 46A20; 46B10; 46G25; 47H60; 47N99; 42Bxx

Journal ref: Analysis & PDE 16 (2023) 511-543

On affine invariant and local Loomis-Whitney type inequalities

Authors: David Alonso-Gutiérrez, Julio Bernués, Silouanos Brazitikos, Anthony Carbery

Abstract: We prove various extensions of the Loomis-Whitney inequality and its dual, where the subspaces on which the projections (or sections) are considered are either spanned by vectors $w_i$ of a not necessarily orthonormal basis of $\mathbb{R}^n$, or their orthogonal complements. In order to prove such inequalities we estimate the constant in the Brascamp-Lieb inequality in terms of the vectors $w_i$.… ▽ More We prove various extensions of the Loomis-Whitney inequality and its dual, where the subspaces on which the projections (or sections) are considered are either spanned by vectors $w_i$ of a not necessarily orthonormal basis of $\mathbb{R}^n$, or their orthogonal complements. In order to prove such inequalities we estimate the constant in the Brascamp-Lieb inequality in terms of the vectors $w_i$. Restricted and functional versions of the inequality will also be considered. △ Less

Submitted 30 June, 2020; v1 submitted 13 February, 2020; originally announced February 2020.

MSC Class: Primary 52A23; Secondary 60D05

Joints formed by lines and a $k$-plane, and a discrete estimate of Kakeya type

Authors: Anthony Carbery, Marina Iliopoulou

Abstract: Let $\mathcal{L}$ be a family of lines and let $\mathcal{P}$ be a family of $k$-planes in $\mathbb{F}^n$ where $\mathbb{F}$ is a field. In our first result we show that the number of joints formed by a $k$-plane in $\mathcal{P}$ together with $(n-k)$ lines in $\mathcal{L}$ is $O_n(|\mathcal{L}||\mathcal{P}|^{1/(n-k)}$). This is the first sharp result for joints involving higher-dimensional affine… ▽ More Let $\mathcal{L}$ be a family of lines and let $\mathcal{P}$ be a family of $k$-planes in $\mathbb{F}^n$ where $\mathbb{F}$ is a field. In our first result we show that the number of joints formed by a $k$-plane in $\mathcal{P}$ together with $(n-k)$ lines in $\mathcal{L}$ is $O_n(|\mathcal{L}||\mathcal{P}|^{1/(n-k)}$). This is the first sharp result for joints involving higher-dimensional affine subspaces, and it holds in the setting of arbitrary fields $\mathbb{F}$. In contrast, for our second result, we work in the three-dimensional Euclidean space $\mathbb{R}^3$, and we establish the Kakeya-type estimate \begin{equation*}\sum_{x \in J} \left(\sum_{\ell \in \mathcal{L}} χ_\ell(x)\right)^{3/2} \lesssim |\mathcal{L}|^{3/2}\end{equation*} where $J$ is the set of joints formed by $\mathcal{L}$; such an estimate fails in the setting of arbitrary fields. This result strengthens the known estimates for joints, including those counting multiplicities. Additionally, our techniques yield significant structural information on quasi-extremisers for this inequality. △ Less

Submitted 27 December, 2020; v1 submitted 20 November, 2019; originally announced November 2019.

Comments: 45 pages, 4 figures. Published in Discrete Analysis

Multilinear Duality and Factorisation for Brascamp-Lieb-type Inequalities with applications

Authors: Anthony Carbery, Timo S. Hänninen, Stefán Ingi Valdimarsson

Abstract: We initiate the study of a duality theory which applies to norm inequalities for pointwise weighted geometric means of positive operators. The theory finds its expression in terms of certain pointwise factorisation properties of function spaces which are naturally associated to the norm inequality under consideration. We relate our theory to the Maurey-Nikisin-Stein theory of factorisation of oper… ▽ More We initiate the study of a duality theory which applies to norm inequalities for pointwise weighted geometric means of positive operators. The theory finds its expression in terms of certain pointwise factorisation properties of function spaces which are naturally associated to the norm inequality under consideration. We relate our theory to the Maurey-Nikisin-Stein theory of factorisation of operators, and present a fully multilinear version of Maurey's fundamental theorem on factorisation of operators through $L^1$. The development of the theory involves convex optimisation and minimax theory, functional-analytic considerations concerning the dual of $L^\infty$, and the Yosida-Hewitt theory of finitely additive measures. We consider the connections of the theory with the theory of interpolation of operators. We discuss the ramifications of the theory in the context of concrete families of geometric inequalities, including Loomis-Whitney inequalities, Brascamp-Lieb inequalities and multilinear Kakeya inequalities. △ Less

Submitted 2 October, 2020; v1 submitted 7 September, 2018; originally announced September 2018.

Comments: Title shortened. Accepted for publication in Jour. Eur. Math. Soc. Paper streamlined and restructured. Several results now have more succinct and general statements and proofs. References added

MSC Class: 46A20; 46B10; 46G25; 47H60; 47N99; 49J35; 42Bxx

A Remark on reverse Littlewood-Paley, restriction and Kakeya

Authors: Anthony Carbery

Abstract: We show that a certain conjectured optimal reverse Littlewood- Paley inequality would, if true, imply sharp results for the Kakeya maximal function, the Bochner-Riesz means and the Fourier restriction operator. We show that a certain conjectured optimal reverse Littlewood- Paley inequality would, if true, imply sharp results for the Kakeya maximal function, the Bochner-Riesz means and the Fourier restriction operator. △ Less

Submitted 9 July, 2015; originally announced July 2015.

Comments: The argument presented here has been communicated to many people over the years and the author receives requests for it to be made public from time to time. This submission satisfies such requests

MSC Class: 42B25

On the magnitudes of compact sets in Euclidean spaces

Authors: Juan Antonio Barcelo, Anthony Carbery

Abstract: The notion of the magnitude of a metric space was introduced by Leinster in [8] and developed in [10], [9], [11] and [16], but the magnitudes of familiar sets in Euclidean space are only understood in relatively few cases. In this paper we study the magnitudes of compact sets in Euclidean spaces. We first describe the asymptotics of the magnitude of such sets in both the small and large-scale regi… ▽ More The notion of the magnitude of a metric space was introduced by Leinster in [8] and developed in [10], [9], [11] and [16], but the magnitudes of familiar sets in Euclidean space are only understood in relatively few cases. In this paper we study the magnitudes of compact sets in Euclidean spaces. We first describe the asymptotics of the magnitude of such sets in both the small and large-scale regimes. We then consider the magnitudes of compact convex sets with nonempty interior in Euclidean spaces of odd dimension, and relate them to the boundary behaviour of solutions to certain naturally associated higher order elliptic boundary value problems in exterior domains. We carry out calculations leading to an algorithm for explicit evaluation of the magnitudes of balls, and this establishes the convex magnitude conjecture of Leinster and Willerton [9] in the special case of balls in dimension three. In general we show that the magnitude of an odd-dimensional ball is a rational function of its radius. In addition to Fourier-analytic and PDE techniques, the arguments also involve some combinatorial considerations. △ Less

Submitted 13 July, 2016; v1 submitted 9 July, 2015; originally announced July 2015.

Comments: Final version, to appear in Amer. J. Math

MSC Class: 51F99; 35J40; 31B15; 42B99; 05A10

Colouring multijoints

Authors: Anthony Carbery, Stefán Ingi Valdimarsson

Abstract: Let L_1, ..., L_d be pairwise disjoint collections of lines in a d-dimensional vector space over some field. If the collections are sufficiently generic we prove that there exists a d-colouring of the set of multijoints J such that for each j, for each line in L_j, the number of points on it of colour j is O(|J|^{1/d}). Let L_1, ..., L_d be pairwise disjoint collections of lines in a d-dimensional vector space over some field. If the collections are sufficiently generic we prove that there exists a d-colouring of the set of multijoints J such that for each j, for each line in L_j, the number of points on it of colour j is O(|J|^{1/d}). △ Less

Submitted 25 March, 2014; originally announced March 2014.

Comments: We welcome comments on how this result relates to others in discrete geometry

MSC Class: 5A99; 52C99

Counting joints in vector spaces over arbitrary fields

Authors: Anthony Carbery, Marina Iliopoulou

Abstract: We give a proof of the "folklore" theorem that the Kaplan--Sharir--Shustin/Quilodrán result on counting joints associated to a family of lines holds in vector spaces over arbitrary fields, not just the reals. We also discuss a distributional estimate on the multiplicities of the joints in the case that the family of lines is sufficiently generic. We give a proof of the "folklore" theorem that the Kaplan--Sharir--Shustin/Quilodrán result on counting joints associated to a family of lines holds in vector spaces over arbitrary fields, not just the reals. We also discuss a distributional estimate on the multiplicities of the joints in the case that the family of lines is sufficiently generic. △ Less

Submitted 28 May, 2014; v1 submitted 25 March, 2014; originally announced March 2014.

Comments: Not intended for publication. References added and other minor edits in this version

MSC Class: 52C99; 5A99

The endpoint multilinear Kakeya theorem via the Borsuk--Ulam theorem

Authors: Anthony Carbery, Stefan Ingi Valdimarsson

Abstract: We give an essentially self-contained proof of Guth's recent endpoint multilinear Kakeya theorem which avoids the use of somewhat sophisticated algebraic topology, and which instead appeals to the Borsuk-Ulam theorem. We give an essentially self-contained proof of Guth's recent endpoint multilinear Kakeya theorem which avoids the use of somewhat sophisticated algebraic topology, and which instead appeals to the Borsuk-Ulam theorem. △ Less

Submitted 29 May, 2012; originally announced May 2012.

MSC Class: 42B25

The Brouwer fixed point theorem and the Borsuk--Ulam theorem

Authors: Anthony Carbery

Abstract: These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone with a knowledge of basic point-set topology and several variable calculus. Some of the argument relies upon previous ideas of Shchepin. These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone with a knowledge of basic point-set topology and several variable calculus. Some of the argument relies upon previous ideas of Shchepin. △ Less

Submitted 21 May, 2012; originally announced May 2012.

MSC Class: 55M20

The Integrability of Negative Powers of the Solution of the Saint Venant Problem

Authors: Anthony Carbery, Vladimir Maz'ya, Marius Mitrea, David J. Rule

Abstract: We initiate the study of the finiteness condition $\int_Ωu(x)^{-β}\,dx\leq C(Ω,β)<+\infty$ where $Ω\subseteq{\mathbb{R}}^n$ is an open set and $u$ is the solution of the Saint Venant problem $Δu=-1$ in $Ω$, $u=0$ on $\partialΩ$. The central issue which we address is that of determining the range of values of the parameter $β>0$ for which the aforementioned condition holds under various hypotheses… ▽ More We initiate the study of the finiteness condition $\int_Ωu(x)^{-β}\,dx\leq C(Ω,β)<+\infty$ where $Ω\subseteq{\mathbb{R}}^n$ is an open set and $u$ is the solution of the Saint Venant problem $Δu=-1$ in $Ω$, $u=0$ on $\partialΩ$. The central issue which we address is that of determining the range of values of the parameter $β>0$ for which the aforementioned condition holds under various hypotheses on the smoothness of $Ω$ and demands on the nature of the constant $C(Ω,β)$. Classes of domains for which our analysis applies include bounded piecewise $C^1$ domains in ${\mathbb{R}}^n$, $n\geq 2$, with conical singularities (in particular polygonal domains in the plane), polyhedra in ${\mathbb{R}}^3$, and bounded domains which are locally of class $C^2$ and which have (finitely many) outwardly pointing cusps. For example, we show that if $u_N$ is the solution of the Saint Venant problem in the regular polygon $Ω_N$ with $N$ sides circumscribed by the unit disc in the plane, then for each $β\in(0,1)$ the following asymptotic formula holds: % {eqnarray*} \int_{Ω_N}u_N(x)^{-β}\,dx=\frac{4^βπ}{1-β} +{\mathcal{O}}(N^{β-1})\quad{as}\,\,N\to\infty. {eqnarray*} % One of the original motivations for addressing the aforementioned issues was the study of sublevel set estimates for functions $v$ satisfying $v(0)=0$, $\nabla v(0)=0$ and $Δv\geq c>0$. △ Less

Submitted 4 September, 2013; v1 submitted 20 April, 2012; originally announced April 2012.

Comments: To appear, Annali Della Scuola Normale Superiore, Part 2, Vol. XIII, series V, June 2014

MSC Class: 35J05

Restriction for homogeneous polynomial surfaces in R^3

Authors: A. Carbery, C. Kenig, S. Ziesler

Abstract: We prove an optimal restriction theorem for an arbitrary homogeneous polynomial hypersurface (of degree at least 2) in R^3, with affine curvature introduced as mitigating factor. We prove an optimal restriction theorem for an arbitrary homogeneous polynomial hypersurface (of degree at least 2) in R^3, with affine curvature introduced as mitigating factor. △ Less

Submitted 20 August, 2011; originally announced August 2011.

Comments: To apppear, Trans.Amer.Math.Soc

MSC Class: 42B99; 42B25

Heat-flow monotonicity of Strichartz norms

Authors: Jonathan Bennett, Neal Bez, Anthony Carbery, Dirk Hundertmark

Abstract: 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. 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. △ Less

Submitted 27 September, 2008; originally announced September 2008.

Comments: 11 pages

MSC Class: 35Q40; 35K05

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

Authors: Jonathan Bennett, Neal Bez, Anthony Carbery

Abstract: 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 rescali… ▽ 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. Such considerations are natural given the celebrated theorem of Beckner concerning the gaussian extremisability of the Hausdorff--Young inequality. △ Less

Submitted 26 June, 2008; originally announced June 2008.

Comments: 10 pages

MSC Class: 42A38

Some special solutions of the Schroedinger equation

Authors: J. A. Barcelo, J. M. Bennett, A. Carbery, A. Ruiz, M. C. Vilela

Abstract: We describe a certain "self-similar" family of solutions to the free Schroedinger equation in all dimensions, and derive some consequences of such solutions for two specific problems. We describe a certain "self-similar" family of solutions to the free Schroedinger equation in all dimensions, and derive some consequences of such solutions for two specific problems. △ Less

Submitted 20 April, 2006; originally announced April 2006.

Comments: 10 pages, 2 figures

MSC Class: 42B10

On the Multilinear Restriction and Kakeya conjectures

Authors: Jonathan Bennett, Anthony Carbery, Terence Tao

Abstract: 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$-lin… ▽ 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<d$. △ Less

Submitted 12 September, 2005; originally announced September 2005.

Comments: 38 pages, no figures, submitted

MSC Class: 42B10

Finite bounds for Holder-Brascamp-Lieb multilinear inequalities

Authors: Jonathan Bennett, Anthony Carbery, Michael Christ, Terence Tao

Abstract: 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. 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. △ Less

Submitted 31 May, 2005; originally announced May 2005.

Comments: 15 pages

MSC Class: 44A35; 26D20

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

Authors: Jonathan Bennett, Anthony Carbery, Michael Christ, Terence Tao

Abstract: 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 th… ▽ 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. 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. △ Less

Submitted 15 November, 2005; v1 submitted 4 May, 2005; originally announced May 2005.

Comments: This is the final version, incorporating referee's comments

MSC Class: 44A35; 35K05; 26D20

The Calderón Commutator Along a Parabola

Authors: Anthony Carbery, Steve Hofmann, James Wright

Abstract: We introduce an analogue of Calderón's first commutator along a parabola, and establish its $L^2$ boundedness under essentially sharp hypotheses. We introduce an analogue of Calderón's first commutator along a parabola, and establish its $L^2$ boundedness under essentially sharp hypotheses. △ Less

Submitted 23 November, 1997; originally announced November 1997.

Report number: MSRI 1997-105

Homogeneous Fourier multipliers of Marcinkiewicz type

Authors: Anthony Carbery, Andreas Seeger

Abstract: This 1995 paper contains a sharp version of the classical Marcinkiewicz multiplier theorem for the class of homogeneous Fourier multipliers in two dimensions; here a one-dimensional Marcinkiewicz condition is sufficient. Examples are given to show that the straightforward extension of this statement to higher dimensions does not hold. We provide appropriate versions in higher dimensions which rely… ▽ More This 1995 paper contains a sharp version of the classical Marcinkiewicz multiplier theorem for the class of homogeneous Fourier multipliers in two dimensions; here a one-dimensional Marcinkiewicz condition is sufficient. Examples are given to show that the straightforward extension of this statement to higher dimensions does not hold. We provide appropriate versions in higher dimensions which rely on a Fefferman-Stein weighted norm inequality for a relevant Córdoba type square function. The proof of this inequality is given by an early version of an induction on scales argument. For $p<1$ we prove a multiplier theorem on product-type $H^p$-spaces. △ Less

Submitted 26 April, 2020; v1 submitted 31 January, 1995; originally announced February 1995.

Comments: 28 pages. The online version of the journal issue provided by the current publisher has faulty typesetting. A 1995 posting on arXiv shows only 7 pages. We therefore post the original preprint version of the paper

MSC Class: 42B15; 42B20; 42B25

Journal ref: Arkiv för Matematik, 33 (1995), no. 1, 45-80