Está en la página 1de 2

Funciones convexas

Fernando Villena Delgado


january 21, 2016
Problema 1.
Sea I un intervalo abierto y f : I R es una funcion que satisface la propiedad


x+y
f (x) + f (y)
f

x, y I
2
2

(1)

Entonces decimos que la funci


on f (x) es convexa en el punto medio (del ingles midpoint
convex ). Demostrar que si f (x) es convexa de punto medio y continua, entonces f (x)
satisface la propiedad
f (tx + (1 t)y) tf (x) + (1 t)f (y)

x, y I,

t : 0 t 1

(2)

Soluci
on.
La idea para resolver este problema es demostrar la desigualdad (2) para los coeficientes t de la forma t = m/2n , donde m, n son enteros positivos. Procedemos a realizar
la demostraci
on por inducci
on sobre n N. Para n = 1 no hay nada que hacer, ya esta
hecho por hip
otesis, f cumple la propiedad (1) que es para n = 1. Supongamos que (2)
se da para un entero positivo n y para m = 1, 2, . . . , 2n 1, entonces

 m

m

m  
m y
x
+
1

y
=
f
x
+
2

=
n
2n+1
2n+1
2n 2 
m x 2 

m y y
f n + 1 n
+

2 2
2
2 2




1
m
m
1
f n x + 1 n y + f (y)
2
2
2 
2 
m
m
f (x) + 1 n+1 f (y)
2n+1
2

(3)
(4)
(5)
(6)

Hay un peque
no detalle, y es que (6) en principio debe verificarse para todo m =
1, 2, . . . , 2n+1 1, pero como los papeles de las variables x, y son intercambiables, hay
n+1
simetria, entonces basta que se de la desigualdad para m 2 2 1 = 2n 21 < 2n 1
con lo cual se puede aplicar bien el paso por la hipotesis de induccion en (5).
1

Por lo tanto queda demostrada la propiedad (2). Veamos que la continuidad de f y


la propiedad (2) son suficientes para que la funcion f (x) sea convexa. Si 0 < t < 1
entonces, como sabemos, t se puede representar como
t=

d0 d1
dk
+ 2 + ... + k + ...
2
2
2

donde empleamos las cifras dk = 0, 1


mk
Por tanto, t : 0 < t < 1 existe un sucesion de n
umeros k = n , tales que {k }
2 k
converge a t. Entonces, suponiendo que f es continua y tomando lmites


f (tx + (1 t)y) = f
lim f (k x + (1 k ) y) lim
k


lim k x + lim (1 k ) y
k

mk
mk
f (x) + lim (1 n ) f (y) =
n
k
2 k
2 k
= t f (x) + (1 t) f (y)

También podría gustarte