2023/12/31 by Shohei Nakamura, Nakamura, Shohei, Hiroshi Tsuji +1 · 2 citations
Mathematics · #52A38 #52A40 (primary) #80A19 (secondary) #Analysis of PDEs (math.AP) #Classical Analysis and ODEs (math.CA) #FOS: Mathematics #Functional Analysis (math.FA) #Geometric Analysis and Curvature Flows #Metric Geometry (math.MG) #Nonlinear Partial Differential Equations #Numerical methods in inverse problems #Probability (math.PR) #{39B62
paper · pdf · doi:10.48550/arxiv.2401.00427
openalex publication_date 2023/12/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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ó 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 Lp-Lq 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ér--Rao's inequality in this context.