Young Inequality Presentation Es

Desigualdad de Young
(un tema de la unidad “Funciones convexas”)
Egor Maximenko
https://www.egormaximenko.com
Instituto Politécnico Nacional

Escuela Superior de Fı́sica y Matemáticas
México
8 de octubre de 2022
Objetivos:
demostrar la desigualdad de Young usando la convexidad de la función exponencial;
demostrar la desigualdad de Young estricta.
Prerrequisitos:
criterio de función convexa en términos de su segunda derivada;
la segunda derivada y funciones estrı́ctamente convexas.
Aplicaciones:
la desigualdad de Hölder;
el criterio de igualdad en la desigualdad de Hölder.
La función exponencial definida en R
Denotamos por expR a la función exponencial definida en R:

∞
X xk
expR : R → R, expR (x ) := .
k=0
k!
La función exponencial definida en R
Denotamos por expR a la función exponencial definida en R:

∞
X xk
expR : R → R, expR (x ) := .
k=0
k!
Es fácil ver que

exp′R = expR , exp′′R = expR ,
y que
∀x ∈ R expR (x ) > 0.
Repaso: funciones convexas
Por simplicidad, consideramos solamente el caso cuando el dominio de f es R.

Definición
Una función f : R → R se llama convexa , si

∀x , y ∈ R ∀α ∈ [0, 1] f (1 − α)x + αy ≤ (1 − α)f (x ) + αf (y ).
Definición
Una función f : R → R se llama convexa , si

∀x , y ∈ R ∀α ∈ [0, 1] f (1 − α)x + αy ≤ (1 − α)f (x ) + αf (y ).
Proposición
Sea f : R → R dos veces derivable. Entonces las siguientes condiciones son equivalentes:
f es convexa;
f ′′ (x ) ≥ 0 para cada x en R.
Repaso: funciones estrictamente convexas
Definición
Una función f : R → R se llama estrictamente convexa , si
!

∀x , y ∈ R ∀α ∈ (0, 1) x ̸= y =⇒ f (1 − α)x + αy < (1 − α)f (x ) + αf (y ) .
Repaso: funciones estrictamente convexas
Definición
Una función f : R → R se llama estrictamente convexa , si
!

∀x , y ∈ R ∀α ∈ (0, 1) x ̸= y =⇒ f (1 − α)x + αy < (1 − α)f (x ) + αf (y ) .
Proposición
Sea f : R → R dos veces derivable. Supongamos que f ′′ (x ) > 0 para cada x en R.
Entonces f es estrictamente convexa.
Convexidad estricta de la función exponencial
Proposición
La función expR es estrictamente convexa,
esto es, para cada x , y en R con x ̸= y y cada α en (0, 1),

expR (1 − α)x + αy < (1 − α) expR (x ) + α expR (y ).
Demostración: la propiedad exp′′R > 0 y la proposición anterior.

Exponentes conjugados
Proposición
Sean p, q > 1. Entonces
1 1
+ =1 ⇐⇒ (p − 1)q = p ⇐⇒ (q − 1)p = q.
p q
Proposición
1 1
+ =1 ⇐⇒ (p − 1)q = p ⇐⇒ (q − 1)p = q.
p q
Demostración: ejercicio simple.

Proposición
1 1
+ =1 ⇐⇒ (p − 1)q = p ⇐⇒ (q − 1)p = q.
p q
Demostración: ejercicio simple.
Los pares p, q con estas propiedades se llaman exponentes conjugados o

exponentes complementarios .
Desigualdad de Young
Proposición
1 1
Sean p, q > 1 tales que + = 1, y sean a, b ≥ 0. Entonces
p q
ap bq
ab ≤ + .
p q
Demostración de la desigualdad de Young, el caso trivial
Supongamos que a = 0 o b = 0. Entonces
ab = 0
Demostración de la desigualdad de Young, el caso trivial
Supongamos que a = 0 o b = 0. Entonces
ab = 0
y
ap bq
+ ≥ 0.
p q
Demostración de la desigualdad de Young, el caso principal
Supongamos que a > 0, b > 0. Pongamos
1
x := p ln(a), y := q ln(b), α := .
q
1
x := p ln(a), y := q ln(b), α := .
q
Entonces
1
x := p ln(a), y := q ln(b), α := .
q
Entonces 1−α
1
x := p ln(a), y := q ln(b), α := .
q
Entonces 1−α=
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy =
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b)

1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) =

1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) = ln(ab).
Como expR es convexa,
ab
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) = ln(ab).
ab =
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

ab = exp (1 − α)x + αy
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

ab = exp (1 − α)x + αy ≤
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

ab = exp (1 − α)x + αy ≤ (1 − α) exp(x ) + α exp(y )
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

ab = exp (1 − α)x + αy ≤ (1 − α) exp(x ) + α exp(y ) =
1
x := p ln(a), y := q ln(b), α := .
q
1
Entonces 1−α= ,
p
(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

ap bq
ab = exp (1 − α)x + αy ≤ (1 − α) exp(x ) + α exp(y ) = + .
p q
La desigualdad de Young estricta
Proposición
1 1
Sean p, q > 1 tales que + = 1. Sean a, b ≥ 0 tales que
p q
ap ̸= b q .
Entonces
ap bq
ab < + .
p q
Demostración de la desigualdad de Young estricta, casos triviales
Estamos suponiendo que

ap ̸= b q .

ap ̸= b q .
Si a = 0, entonces b ̸= 0.

ap ̸= b q .
Si b = 0, entonces a ̸= 0.

ap ̸= b q .
Si b = 0, entonces a ̸= 0.
En cada uno de estos casos,

ap bq
ab = 0 < + .
p q
Demostración de la desigualdad de Young estricta, el caso principal
Sean a > 0, b > 0 tales que ap ̸= b q .
Sean a > 0, b > 0 tales que ap ̸= b q . Pongamos
1
x := p ln(a), y := q ln(b), α := .
q
1
x := p ln(a), y := q ln(b), α := .
q
Entonces 1 − α = p1 ,
1 1
(1 − α)x + αy = px + qy = ln(a) + ln(b) = ln(ab).
p q
1
x := p ln(a), y := q ln(b), α := .
q
Entonces 1 − α = p1 ,
1 1
(1 − α)x + αy = px + qy = ln(a) + ln(b) = ln(ab).
p q
Aplicamos la convexidad estricta de expR :
ap bq
ab = expR (1 − α)x + αy < (1 − α) expR (x ) + α expR (y ) = + .
p q
Criterio de igualdad en la desigualdad de Young
Proposición
1 1
p q
ap bq
ab = + ⇐⇒ ap = b q .
p q
Proposición
1 1
p q
ap bq
ab = + ⇐⇒ ap = b q .
p q
Hemos mostrado =⇒ de manera contrapositiva.

Proposición
1 1
p q
ap bq
ab = + ⇐⇒ ap = b q .
p q
Hemos mostrado =⇒ de manera contrapositiva.
Ejercicio: demostrar ⇐=.

Problema adicional
Encontrar otras demostraciones de la desigualdad de Young

y del criterio de igualdad en la desigualdad de Young.

Young Inequality Presentation Es

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Young Inequality Presentation Es

Cargado por

Copyright:

Formatos disponibles

Desigualdad de Young

(un tema de la unidad “Funciones convexas”)

Instituto Politécnico Nacional

Denotamos por expR a la función exponencial definida en R:

Denotamos por expR a la función exponencial definida en R:

Es fácil ver que

Por simplicidad, consideramos solamente el caso cuando el dominio de f es R.

Por simplicidad, consideramos solamente el caso cuando el dominio de f es R.

Por simplicidad, consideramos solamente el caso cuando el dominio de f es R.

Demostración: la propiedad exp′′R > 0 y la proposición anterior.

Demostración: ejercicio simple.

Demostración: ejercicio simple.

Los pares p, q con estas propiedades se llaman exponentes conjugados o

Supongamos que a = 0 o b = 0. Entonces

Supongamos que a = 0 o b = 0. Entonces

(1 − α)x + αy = ln(a) + ln(b)

(1 − α)x + αy = ln(a) + ln(b) =

(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

Como expR es convexa,

(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

Como expR es convexa,

(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

Como expR es convexa,

(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

Como expR es convexa,

(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

Como expR es convexa,

(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

Como expR es convexa,

(1 − α)x + αy = ln(a) + ln(b) = ln(ab).

Como expR es convexa,

Estamos suponiendo que

Estamos suponiendo que

Estamos suponiendo que

Estamos suponiendo que

En cada uno de estos casos,

Aplicamos la convexidad estricta de expR :

Hemos mostrado =⇒ de manera contrapositiva.

Hemos mostrado =⇒ de manera contrapositiva.

Ejercicio: demostrar ⇐=.

Encontrar otras demostraciones de la desigualdad de Young

También podría gustarte