La desigualdad de Young

Enunciado

Sean a, b, p, q números reales tales que

Se cumple:
 Demostración

La función exponencial 𝑓(𝑥) = 𝑒 𝑥 satisface 𝑓(𝑥)′′ = 𝑒 𝑥 , para

todo x real y es convexa en R. Por tanto, para todo 𝑥, 𝑦 reales y
para todo 𝛼 ≥ 0, 𝛽 ≥ 0 reales con 𝛼 + 𝛽 = 1 se verifica

𝑓(𝛼𝑥 + 𝛽𝑦) ≤ 𝛼𝑓(𝑥) + 𝛽𝑓(𝑦), 𝑜 𝑏𝑖𝑒𝑛 𝑒 𝑎𝑥+𝛽𝑦 ≤ 𝛼𝑒 𝑥 + 𝛽𝑒 𝑦 (*)

Si 𝑎 = 0 𝑜 𝑏 = 0, la desigualdad de Young se satisface
trivialmente. Si 𝑎 > 0 𝑦 𝑏 > 0,llamemos

1 1
α= , β= , 𝑥 = p log 𝑎 , 𝑦 = q log 𝑏 .
𝑝 𝑞
 Con lo que la primera parte de (*)

plog 𝑎 qlog 𝑏
+ 𝑞
𝑒 𝑎𝑥+𝛽𝑦 = 𝑒 𝑝 = 𝑒 log 𝑎+log 𝑏
= 𝑒 log 𝑎 𝑒 log 𝑏 = ab (**=
 Y la segunda:

1 𝑝 log 𝑎 1 𝑞 log 𝑏
𝛼𝑒 𝑥 + 𝛽𝑒 𝑦
= 𝑒 + 𝑒
𝑝 𝑞
1 log 𝑎𝑝 1 log 𝑏𝑞
= 𝑒 + 𝑒
𝑝 𝑞
𝑎𝑝 𝑏𝑞
= + (***)
𝑝 𝑞
Entonces sólo sustituimos: (**) y (***) en (*)

𝑒 𝑎𝑥+𝛽𝑦 ≤ 𝛼𝑒 𝑥 + 𝛽𝑒 𝑦

𝑒 𝑎𝑥+𝛽𝑦 = 𝑎𝑏
𝑝 𝑞
𝑎 𝑏
𝛼𝑒 𝑥 + 𝛽𝑒 𝑦 = +
𝑝 𝑞
𝑎𝑝 𝑏 𝑞
𝑎𝑏 ≤ + ∎
𝑝 𝑞