En matemáticas , la desigualdad de Brascamp-Lieb es cualquiera de dos desigualdades. El primero es un resultado en geometría sobre funciones integrables en el espacio euclidiano de n dimensiones . Generaliza la desigualdad de Loomis-Whitney y la desigualdad de Hölder . El segundo es un resultado de la teoría de probabilidad que da una desigualdad de concentración para distribuciones de probabilidad logarítmicamente cóncavas. Ambos llevan el nombre de Herm Jan Brascamp y Elliott H. Lieb .
Otra forma de afirmar esto es que la constante D es lo que se obtendría restringiendo la atención al caso en el que cada una es una función gaussiana centrada, es decir, . [1]
La desigualdad geométrica de Brascamp-Lieb es un caso especial de lo anterior, [2] y fue utilizada por Keith Ball , en 1989, para proporcionar límites superiores para los volúmenes de las secciones centrales de los cubos. [3]
La desigualdad geométrica de Brascamp-Lieb se deriva de la desigualdad de Brascamp-Lieb como se indicó anteriormente tomando n i = 1 y B i ( x ) = x · u i . Entonces, para z i ∈ R ,
Como otro caso especial, tome n i = n , B i = id, el mapa de identidad en , reemplazando f i por f1/ c yo
yo, y sea c yo = 1 / pag yo por 1 ≤ yo ≤ metro . Luego
y la log-concavidad del determinante de una matriz definida positiva implica que D = 1. Esto produce la desigualdad de Hölder en :