English

The functional volume product under heat flow

Functional Analysis 2024-03-21 v2 Analysis of PDEs Classical Analysis and ODEs Metric Geometry Probability

Abstract

We prove that the functional volume product for even functions is monotone increasing along the Fokker--Planck heat flow. This in particular yields a new proof of the functional Blaschke--Santal\'{o} inequality by K. Ball and also Artstein-Avidan--Klartag--Milman in the even case. This result is the consequence of a new understanding of the regularizing property of the Ornstein--Uhlenbeck semigroup. That is, we establish an improvement of Borell's reverse hypercontractivity inequality for even functions and identify the sharp range of the admissible exponents. As another consequence of successfully identifying the sharp range for the inequality, we derive the sharp LpL^p-LqL^q inequality for the Laplace transform for even functions. The best constant of the inequality is attained by centered Gaussians, and thus this provides an analogous result to Beckner's sharp Hausdorff--Young inequality. Our technical novelty in the proof is the use of the Brascamp--Lieb inequality for log-concave measures and Cram\'{e}r--Rao's inequality in this context.

Keywords

Cite

@article{arxiv.2401.00427,
  title  = {The functional volume product under heat flow},
  author = {Shohei Nakamura and Hiroshi Tsuji},
  journal= {arXiv preprint arXiv:2401.00427},
  year   = {2024}
}

Comments

In this update, we have mentioned about the "detropicalised" approach that has been proposed in the discussion of Klartag and Tao in Tao's blog post as it is closely related this work. We have mentioned works of Berndtsson--Mastrantonis--Rubinstein and Kolesnikov--Werner. Also, we have split the result on the stability from this version. This part will be in the forthcoming paper

R2 v1 2026-06-28T14:05:28.240Z