{"id":"arxiv/2608.23963","url":"https://arxiv.org/abs/2608.23963","tags":["math.CA","math.AP","math.FA","math.MG","math.PR"],"score":0,"title":"Borell--Brascamp--Lieb inequality with finitely many output functions","domain":"math.CA","source":"arxiv","authors":["Takashi Satomi"],"reviews":0,"subject":"math.CA","summary":"The classical Borell--Brascamp--Lieb inequality for multiple functions is an integral inequality relating finitely many input functions to a single output function. In this paper, we give an extension that allows a distinct output function for each input function. More precisely, we establish the following inequality. For a weight $ λ= ( λ_1 , \\dots , λ_m ) $, we set $ z_λ( x ) := \\sum_{ i = 1 }^m λ_i x_i $ and denote by $ M_p^λ$ the weighted power mean of power $ p $. In addition, the power transform $ Q_d $ is defined as the continuous extension of $ p \\mapsto p / ( 1 - d p ) $. We…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-25","reactions":{}}