Table of Contents
Fetching ...

A Nonlinear Variant of Ball's Inequality

Jennifer Duncan

TL;DR

The paper advances global nonlinear Brascamp--Lieb inequalities on manifolds with bounded geometry by proving a nonlinear Ball-type near-monotonicity under a geodesic heat-flow. It introduces a heat-flow operator $H_{x,\tau,j}$ and constructs near-extremising Gaussians $G_{x,\tau}$ via a regularised, differentiable Lieb framework, enabling a tight induction-on-scales analysis. A key contribution is a quantitative, smooth map $Y_{\delta}$ producing $\delta$-near extremisers with controlled norms, together with Gaussian and geometric lemmas that allow precise perturbations and localisation. The results yield explicit $\tau$-dependent error terms (via a $1+\tau^{\beta}$ factor) and show stability under bounded perturbations of the Brascamp--Lieb data, providing tools toward a general theory of global nonlinear Brascamp--Lieb inequalities. Overall, the work broadens the nonlinear BL toolkit beyond symmetric or homogeneous cases and connects semigroup methods with a robust geometric–analytic framework.

Abstract

We adapt an induction-on-scales argument of Bennett, Bez, Buschenhenke, Cowling, and Flock to establish a global near-monotonicity statement for the nonlinear Brascamp-Lieb functional under a certain heat-flow, from which follows a stability result for the finiteness of global nonlinear Brascamp-Lieb inequalities.

A Nonlinear Variant of Ball's Inequality

TL;DR

The paper advances global nonlinear Brascamp--Lieb inequalities on manifolds with bounded geometry by proving a nonlinear Ball-type near-monotonicity under a geodesic heat-flow. It introduces a heat-flow operator and constructs near-extremising Gaussians via a regularised, differentiable Lieb framework, enabling a tight induction-on-scales analysis. A key contribution is a quantitative, smooth map producing -near extremisers with controlled norms, together with Gaussian and geometric lemmas that allow precise perturbations and localisation. The results yield explicit -dependent error terms (via a factor) and show stability under bounded perturbations of the Brascamp--Lieb data, providing tools toward a general theory of global nonlinear Brascamp--Lieb inequalities. Overall, the work broadens the nonlinear BL toolkit beyond symmetric or homogeneous cases and connects semigroup methods with a robust geometric–analytic framework.

Abstract

We adapt an induction-on-scales argument of Bennett, Bez, Buschenhenke, Cowling, and Flock to establish a global near-monotonicity statement for the nonlinear Brascamp-Lieb functional under a certain heat-flow, from which follows a stability result for the finiteness of global nonlinear Brascamp-Lieb inequalities.

Paper Structure

This paper contains 14 sections, 23 theorems, 106 equations.

Key Result

Theorem 1.1

Given any Brascamp--Lieb datum $(\textnormal{L},\textnormal{p})$, the set of centred gaussians $\mathcal{G}$, exhausts the associated Brascamp--Lieb inequality, that is to say $\sup_{\textnormal{G}\in \mathcal{G}}\textnormal{BL}(\textnormal{L},\textnormal{p};\textnormal{G})=\textnormal{BL}(\textnormal{L},\textnormal{p})$.

Theorems & Definitions (39)

  • Theorem 1.1: Lieb's Theorem lieb1990gaussian
  • Definition 1.2
  • Definition 1.3
  • Theorem 1.4: Bennett, Carbery, Christ, Tao (2007)bcct
  • Theorem 1.5: Bennett, Bez, Cowling, Flock (2016) bennett2017behaviour
  • Theorem 1.6: Valdimarsson (2010) valdimarsson2011geometric
  • Theorem 1.7: Local Nonlinear Brascamp--Lieb Inequality (2018)bennett2020nonlinear
  • Lemma 1.8: Ball's inequality barthe1998optimalbennett2010some
  • Lemma 1.9
  • proof
  • ...and 29 more