Clculo de Variaciones

Ren J. Meziat y Jorge Villalobos

Departamento de Matemticas
Universidad de los Andes
Problemas Geomtricos
Braquistocrona: encontrar
la curva que se recorre en
el menor tiempo posible por
una partcula que parte del
reposo bajo la accin de la
gravedad


Catenaria: encontrar la
curva (fija en dos extremos)
que da la mnima superficie
de revolucin
Mtodos del Clculo de Variaciones (1)
En su forma unidimensional
el problema se puede ver
como:
Se tiene una funcin
Definida en un camino y = y(t)
entre dos valores t
1
y t
2
Se quiere encontrar un
camino y(t) tal que la integral
de lnea I de f entre t
1
y t
2

tenga un valor estacionario
Se consideran, solamente,
variaciones entre caminos
para los que y(t
1
) = y
1
y y(t
2
) =
y
2
( ) dt t y y f I
dt
dy
y
t
t
}
=
=
2
1
, ,

Mtodos del Clculo de Variaciones (2)

f debe ser estacionario para el camino correcto
relativo a cualquier camino vecino
Tomamos un conjunto de caminos vecinos
identificados por un parmetro infinitesimal o:
{y(x,o)} con y(x,0) el camino correcto, y se utiliza
una funcin q(x) llamada variacin, que toma el
valor 0 en x = x
1
y x = x
2


Ahora I es un funcional de o
( ) ( ) ( ) x x y x y oq o + = 0 , ,
( ) ( ) ( ) | | dx x x y x y f I
x
x
}
=
2
1
, , , , o o o
Mtodos del Clculo de Variaciones (3)
La condicin para
obtener un punto
estacionario es


Que nos lleva a la
siguiente ecuacin
diferencial para y
0
0
=
|
.
|

\
|
= o
o d
dI
0 =
|
|
.
|

\
|
c
c

c
c
y
f
dx
d
y
f

Deduccin de las ecuaciones de

Euler-Lagrange (1)
La variacin de I con respecto a o se puede escribir
como:

( ) ( ) | | { }
( )
( )
( )
0
; , ; ,
2
1
2
1
2
1
2
1
=
)
`

|
|
.
|

\
|
c
c

c
c
=
)
`

c
c
+
c
c
=
)
`

c
c
c
c
+
c
c
c
c
=
=
}
}
}
}
dx x
y
f
dx
d
y
f
dx
dx
x d
y
f
x
y
f
dx
y
y
f y
y
f
dx x x y x y f
d
d
d
dI
x
x
x
x
x
x
x
x
q
q
q
o o
o o
o o

Deduccin de las ecuaciones de

Euler-Lagrange (2)
Por lo tanto la variacin
de I con respecto a o es




Puesto que q(x) es arbitrario
obtenemos las ecuaciones
diferenciales de Euler-
Lagrange
( )
0
2
1
=
|
|
.
|

\
|
c
c

c
c
=
}
dx x
y
f
dx
d
y
f
d
dI
x
x
q
o
0 =
|
|
.
|

\
|
c
c

c
c
y
f
dx
d
y
f

Mtodos del Clculo de Variaciones

Sistemas de Varias Variables
f puede depender de varias
variables independientes y
i

y sus derivadas

Para este caso se debe
cumplir el sistema de las
ecuaciones diferenciales de
Euler-Lagrange
Las soluciones de stas
ecuaciones representan
curvas para las que la
variacin del integrando I
es cero
( ) ( ) ( ) ( ) | | dx x x y x y x y x y f I
}
=
2
1
2 1 2 1
; , , ; , ,
0 =
|
|
.
|

\
|
c
c

c
c
i i
y
f
dx
d
y
f

Solucin de Problemas Geomtricos

Braquistocrona (1)
Si v es la velocidad de la
partcula, el tiempo que le
toma caer una longitud ds es
ds/v
El problema es, entonces,
encontrar el mnimo de


Si se mide x hacia abajo desde
1 podemos escribir


Adems
( )
dx
gx
y
t
}
'
+
=
2
1
2
12
2
1
}
=
2
1
12
v
ds
t
gx v 2 =
( ) dx y dx
dx
dy
dy dx ds
2
2
2 2
1 1 ' + =
|
.
|

\
|
+ = + =
Solucin de Problemas Geomtricos
Braquistocrona (2)
Identificamos f como


La ecuacin de Euler-
Lagrange es
Que tiene como solucin
(parametrizada) la
cicloide
( )
( ) | |
a
y x
y
y d
f
dx
d
dy
f
2
1
1
0
2
2
=
'
+
'
=
'
c

c
( )
2 / 1
2
1
|
|
.
|

\
|
'
+
=
x
y
f
( )
( ) u u
u
sin
cos 1
=
=
a y
a x
Solucin de Problemas Geomtricos
Catenaria (1)
Tenemos una curva fija en
dos extremos (x
1
,y
1
) y (x
2
,y
2
)
queremos que el rea que se
genera al dar una revolucin
alrededor del eje y sea
mnima
El rea del segmento
sombreado de la figura es
2txds =
El rea total est dada por la
integral de la derecha, este
es el integrando del problema
variacional
( )
( )
2
2
1
1 2
2
1
y x f
dx y x
x
x
'
+ =
'
+
}
t
( ) dx y x
2
1 2 ' + t
Solucin de Problemas Geomtricos
Catenaria (2)
Las ecuaciones de Euler-
Lagrange nos dan la
ecuacin diferencial

Que tiene solucin

Esta es la ecuacin de
una catenaria
La grfica de la curva
es (en el plano xy)
|
.
|

\
|

=

=
a
b y
a x
a x
a
dx
dy
cosh
2 2
Formalismo Variacional de la Mecnica
Terica (1)
Principio de Hamilton:
Describe el movimiento de un sistema mecnico
Para sistemas monognicos (toda fuerza es derivable a partir
de un potencial escalar):
El movimiento de un sistema del tiempo t
1
al tiempo t
2
es
tal que la integral de lnea


donde L = T V, tiene un valor estacionario para el
camino corrrecto del movimiento.
T es la energa cintica del sistema y V el potencial al que
este est sujeto
I se conoce como la accin o integral de accin

,
2
1
dt L I
t
t
}
=
Formalismo Variacional de la Mecnica
Terica(2)
El principio de Hamilton se puede expresar
diciendo que el movimiento es tal que la
variacin de la integral de lnea I es cero
para t
1
y t
2
fijos

q
i
se llaman coordenadas generalizadas y sus
derivadas son las velocidades generalizadas
Siempre y cuando las restricciones del
sistema sean holonmicas
Este es un problema variacional
( ) 0 ; , ; ,
2
1
1 1
= =
}
dt t q q q q L I
t
t
n n
o o
Formalismo Variacional de la Mecnica
Terica(3)
En mecnica las
ecuaciones de Euler-
Lagrange son
Cada coordenada genera-
lizada representa un grado
de libertad
Se debe resolver un
sistema de ecuaciones
diferenciales ordinarias de
segundo orden
Los momentos generali-
zados se definen como
0 =
|
|
.
|

\
|
c
c

c
c
i i
q
L
dt
d
q
L

i
i
q
L
p

c
c
=
Ventajas de la Formulacin Variacional
Involucra cantidades fsicas (energa cintica y
potencial) independientes de las coordenadas con
que se especifique el sistema. Esto hace que la
formulacin sea invariante con respecto a los
sistemas de coordenadas.
El Lagrangiano es indeterminado a una derivada
total temporal de cualquier funcin de coordenadas
y tiempo.
Se puede extender a sistemas que no se
consideran en la dinmica de partculas
La imposicin de la conservacin de la energa lleva
a la formulacin Hamiltoniana de la mecnica
Consecuencias Inmediatas de la
Formulacin Variacional
Teoremas de Conservacin
Si el Lagrangiano de un sistema es independiente de una
coordenada q
j
pero s depende de la velocidad
correspondiente, entonces el momento correspondiente es
independiente del tiempo (se conserva)


Propiedades de Simetra
La simetra del sistema con respecto a sus coordenadas
generalizadas est ntimamente ligada con la conservacin
de los momentos con respecto a los ejes de simetra
cte , 0 = =
j
j
p
dt
dp
Ejemplos Fsicos
Oscilador Armnico (1)
Masa m conectada a un resorte de
constante k.
La coordenada generalizada es el
desplazamiento x de m con res-
pecto a la posicin de equilibrio
del resorte
La energa cintica T y la
energa potencial U son
El Lagrangiano del sistema es

La ecuacin de Euler-Lagrange
para la coordenada x es
( ) ( )
( )
( ) t x
m
k
dt
t x d
x m kx
x
L
dt
d
x
L
kx x m U T L
t kx U t x m T
=
= =
c
c

c
c
= =
= =
2
2
2 2
2 2
0
2
1
2
1
2
1
;
2
1

Ejemplos Fsicos
Oscilador Armnico (2)
La solucin de la ecuacin de
movimiento para la posicin de
la masa es
La amplitud A del movimiento y
la fase | dependen de las con-
diciones iniciales del sistema

Para e = 1/s, A = 1m y | = t/2
(posicin inicial = 1m, velocidad
inicial = 0 m/s) el movimiento es
oscilatorio con periodo T = 2t s
( ) ( )
m
k
t A t x
=
+ =
e
| e sin
Ejemplos Fsicos
Pndulo Simple
Masa m colgada del techo de una
cuerda de longitud l, restringida a
moverse en el plano xy
La coordenada generalizada es el
ngulo u de l con respecto al eje y


La energa cintica T y la energa
potencial U son


El Lagrangiano del sistema es

La ecuacin de Euler-Lagrange
para la coordenada u es

Para ngulos u pequeos la
solucin es idntica a la del
oscilador armnico

( )
( ) t
l
g
dt
t d
ml mgl
L
dt
d L
mgl l
m
U T L
mgl U l
m
T
u
u
u u
u u
u u
u u
sin
0 sin
cos
2
cos ;
2
2
2
2
2 2
2 2
=
= =
c
c

c
c
+ = =
= =

Ejemplos Fsicos
Movimiento Dentro de un Cono (1)
Masa m restringida a moverse en
la superficie interior de un cono de
ngulo medio o. La partcula est
sujeta a una fuerza gravitacional.
Las coordenadas generalizadas
son: la distancia r al eje z y el
ngulo u con el eje x. La altura z =
r cot o

La energa cintica T y la
energa potencial U son

El Lagrangiano del sistema es


( ) ( )
o
u o u
cot
csc
2 2
2 2 2 2 2 2 2 2
mgr mgz U
r r
m
z r r
m
T
= =
+ = + + =

( ) o u o cot csc
2
1
2 2 2 2
mgr r r m L + =

Ejemplos Fsicos
Movimiento Dentro de un Cono (2)
Para la coordenada u
tenemos
u es una coordenada cclica
mr
2
e es el momentum angular del
sistema que debe conservarse
Para la coordenada r
tenemos
La grfica es para
r
2
e=1
r(0)=1



cte
0
2
= =
c
c
=
c
c
u
u
u

mr
L
L
dt
d
0 cos sin sin
2 2
= + o o o u g r r


( ) 0 0 = r
Ejemplos Fsicos
Pndulo Soportado en un Aro (1)
El punto de soporte de un
pndulo simple de longitud b
se mueve sobre un aro (sin
masa) de radio a que rota con
velocidad angular constante e.
La coordenada generalizada
es el ngulo u que hace el
pndulo con el eje y
La energa cintica T y la
potencial U son (tomando
U=0 en el centro del crculo)

El Lagrangiano del sistema
( ) ( )
( ) ( )
( ) ( )
( ) ( ) u e
e u e u u e
u e
e u e u u e
cos sin
sin 2
2
cos sin
sin 2
2
2
1
2
1
2 2 2 2
2 2 2 2
2 2
b t a mg
t a b b a
m
L
b t a mg U
t a b b a
m
y m x m T

+ + =
=
+ + =
+ =



Ejemplos Fsicos
Pndulo Soportado en un Aro (2)
La ecuacin de Euler-
Lagrange para la
coordenada u es
Que se reduce a la
ecuacin del pndulo
simple si tomamos e = 0
Tomando e = 1/s, b = 2a
= 1m y g = 10 m/s
2
, u(0) =
0,

u Vs. t
x(t), y(t) (paramtrico)
( )
u u
u e u
e
u
e
sin
sin cos
0
2
b
g
b
g
t
b
a
=
=
=


( ) 0 = t u

Ejemplos Fsicos
Pndulos Acoplados (1)
Dos masas iguales se
ponen en una cuerda, una a
a, la otra a 2a. El extremo O
de la cuerda est fijo
Las coordenadas
generalizadas son los
ngulos u y de la figura
La energa cintica y
potencial del sistema son

El Lagrangiano del sistema

( )
( )
( )
( ) u
u u u
u
u u u
cos cos 2
cos
2
1
cos cos 2
cos
2
1
2 2 2
2 2 2
+
|
.
|

\
|
+ + =
+ =
|
.
|

\
|
+ + =
mga
ma L
mga U
ma T

a
a
u

Ejemplos Fsicos
Pndulos Acoplados (2)
Las ecuaciones de Euler-
Lagrange para u y son
Tomando:
a = 0.5 m,
g = 10 m/s
2
,
u(0) = 0, u(0) = 0,
(0) = 0.5 rad y (0) = 0

u Vs. t

Vs. t

( ) ( ) ( )
( ) ( ) ( ) u u u u
u u u u
+ =
=
cos sin sin
cos sin sin 2 2
2
2




a a g a
a a g a
Otras reas de la Fsica
Teora de Campos
La formulacin Lagrangiana de partculas se puede
extender a la descripcin de campos.
Se trabaja con la densidad Lagrangiana del sistema

Las ecuaciones de campo que se deducen de esta
formulacin son

Esta formulacin tiene aplicaciones en
electromagnetismo, relatividad, mecnica cuntica,
etc
( ) ( ) ( ) x x x L L ; ,
~

'

o
o
o
o

o
x
L L
x
A
A
A A
c
c
= = =
c
c

c
c
c
c
3 , 2 , 1 , 0
~ ~
Principio Variacional en Elasticidad
En elasticidad se puede
aplicar un principio variacional
sobre el siguiente
planteamiento
La energa de carga es, en
general, un trmino no
convexo que favorece la
formacin de microestructuras
en el material
Microestructura: estructura
observada en un espcimen
con una magnificacin ptica ~
x25 a x1500
La energa de superficie es
una funcin que penaliza
cambios fuertes en la funcin
que minimiza la energa total
superficie de energa
carga de energa
dominio del
geometra
+
= mn E
Dificultad y Motivacin de Problemas
No Convexos (1)
Qu caractersticas debe tener el integrando
(Lagrangiano) para que existan minimizadores para
I en un espacio de funciones? D. Hilbert, 1900
I debe ser dbil inferiormente semicontinuo
Requisito: convexidad de f en la derivada de y(x). Tonelli,
1930.
Si el integrando f no es convexo en la derivada no
se puede garantizar la existencia de minimizadores
de I. Dacorogna, 1980
Las ecuaciones de Euler-Lagrange no son un mtodo
efectivo para buscar estos minimizadores
Dificultad y Motivacin de Problemas
No Convexos (2)
El principio variacional para la elasticidad es no
convexo, el trmino de la energa de superficie hace
que el problema tenga solucin
La no convexidad de la energa de carga es la
responsable de la formacin de la microestructura
en el material
Se presenta a continuacin el mtodo de los
momentos
Permite encontrar la solucin de algunos problemas
variacionales no convexos
En caso que el problema no tenga solucin, da informacin
sobre el comportamiento de las sucesiones minimizantes
Problema de Bolza
Balance de Energa Para una Barra
Simplificacin de un problema
de balance energtico para
una barra unidimensional de
longitud 1
Energa de superficie = 0
La barra est bajo el efecto de
algunas cargas externas
u(x) es la deformacin que
experimenta el punto x
sobre la barra
u(x) la deformacin unitaria
( ) ( ) ( ) ( )
( ) ( ) 0 1 0
1
1
0
2
2
2
= =
+
'
=
}
u u
dx x u x u u I
: s.a
Problema de Bolza
Dificultad y Motivacin
El balance energtico que
propone el problema de Bolza
impone condiciones difciles
de cumplir
I(u) > 0
u(x) ~ 0
u(x) 1
Estas condiciones no son
compatibles
La ecuacin de Euler-
Lagrange para u presenta
soluciones inestables al utilizar
los mtodos numricos
convencionales
Adems esta ecuacin no
caracteriza el minimizador
( ) ( ) ( ) ( )
( ) ( ) 0 1 0
1
1
0
2
2
2
= =
+
'
=
}
u u
dx x u x u u I
: s.a
( )
( )
( ) | | 1 3 2
'
=
' '
x u
x u
x u
Problema de Bolza
Relajacin
Encuentra la solucin o, en
caso que esta no exista, da
informacin sobre las
sucesiones minimizantes de
problemas no convexos
Problema variacional
problema de optimizacin
No convexidad en la derivada
se remplaza el integrando
por su envolvente convexa
Los minimizadores de esta
relajacin convexa son los
lmites dbiles de las
sucesiones minimizantes del
problema original
( ) ( )
( )
( )
( )
( )
( )
( )dx x y y f u I
dx x y y f u I
dx x y y f u I
c
x y
x y
}
}
}
' =
' =
' =
'
'
, , mn
, , mn
, ,
Relajacin
Problemas Variacionales No Convexos
Relajacin Convexa
La relacin entre el problema original y el relajado es

Sea u
n
una sucesin minimizante de I, entonces ella
converge dbilmente a un minimizador de

Teorema de Caratheodory: Dada una funcin f
coerciva y continua f: R
n
R su envolvente convexa
est definida como

el ptimo se obtendr en una combinacin convexa de
n+1 puntos a lo sumo.
( )
( ) ( ) y I y I
y x y
inf mn =
u u
n
n

I
( ) ( ) ( )
t t
n n c
n
k
k k
t f t f t f
=

+ + =
=1
1 1
min

Problemas Variacionales No Convexos
Relajacin en Medidas (1)
Para lograr la relajacin
convexa del funcional I se
introduce un nuevo funcional
en medidas
v es una familia de medidas
de probabilidad
x

parametrizada por los puntos
x del dominio del problema
(medida de Young)
Cada medida parametrizada
debe cumplir

( ) ( ) | | ( ) { }
{ } O e =
=
} }
O
x
dx d x x y f I
x
x
:
; ,
~
v
v
( ) ( )
x
d x y
}
=
'
Problemas Variacionales No Convexos
Resultados de Relajacin (Pedregal)
El teorema de Caratedory
implica que el mnimo de
se obtiene en las medidas
ptimas
x
* que determi-
nan la envolvente convexa
de f(y*,y*;x) respecto a
y*(x) es minimizador de
Adems se tiene que:

Notacin: * solucin buscada
( ) ( ) | | ( ) | | ( )
( ) ( )

*
*
*
; , * ; * , *
x
x c c
d x y
d x x y f x x y x y f
}
}
= '
= '
I I I
y y y
~
min min inf = =
Problemas Variacionales No Convexos
Relajacin en Medidas (Pedregal)
La medida de Young ptima v* contiene la informacin
sobre el comportamiento lmite de las sucesiones
minimizantes de I
Si todos los miembros
x
* de v* estn soportados en un
nico punto, I tiene minimizador en el espacio de
funciones correspondientes y

Si alguna de las medidas ptimas parametrizadas
x
*
tiene soporte en dos o ms puntos, I no tiene solucin.
Pero el soporte de cada
x
* nos indica los valores que
puede tomar el gradiente y*(x) en cada x e O y para
cualquier sucesin minimizante u
n
de I


( )
}
=
'
*
*
x
d x y
Problemas Variacionales No Convexos
Relajacin Semidefinida (Meziat)
Problema variacional
generalizado:
f puede ser no convexo
sobre pero debe tener
estructura polinomial


Si f tiene esta estructura
su envoltura convexa
est dada por :


( ) ( ) | | ( )
( ) ( )
( ) ( )
v
x
x
x
x
d x y
y x y y x y
dx d x x y f I
}
} }
= '
= =
|
.
|

\
|
=
1 1 0 0
a . s
; ,
~ 1
0
( ) | | ( )

=
=
n
k
k
k
x y a x x y f
2
0
, ; ,
( ) | | ( ) ( )

=
=
n
k
k k c
x m x y a x x y f
2
0
*
*, ; , *
Problemas Variacionales No Convexos
Relajacin Semidefinida (Meziat) (2)
Con m*(x) la solucin al
programa matemtico:
Las nuevas variables de
diseo deben formar una
matriz de Hankel, ya que
m
k
(x) representa el
momento de orden k de
la medida parametrizada
La matriz H(x) es
cuadrada (n+1)(n+1),
simtrica y los elementos
sobre las diagonales
secundarias coinciden

( )
( ) ( )
( ) 0
a . s
, min
2
0
>

=
x H
x m x y a
n
k
k k
x m
k
( ) 0
1
2 1
1 2 1
1
>
|
|
|
|
|
.
|

\
|
=
+
+
n n n
n
n
m m m
m m m
m m
x H

Problemas Variacionales No Convexos

Relajacin Semidefinida (Meziat) (3)
El problema variacional original
se transforma en un problema
de optimizacin (se ha
discretizado x)
Este problema se resuelve con
mtodos de optimizacin
numrica
De los momentos algebraicos
m
k
(x
i
) se puede extraer la
informacin sobre el soporte y
los pesos en los que est
soportada la medida en cada x
i
.
Soporte unitario (
1
= 1 para todo x)
implica que el problema original tiene
solucin
Soporte doble (
1
< 1 para algn x)
implica que el problema original no
tiene solucin
( ) ( ) ( )
( ) ( )
( ) 0
a . s
, min
1
1 0
1
2
0
>
A + =
A |
.
|

\
|

=
= =
x H
x x m y x y
x x m x x y a
j
i
j
j i
i
N
i
n
k
i k i i k
m
( ) ( ) ( ) ( ) ( )
( ) ( )
i i
i t i i t i i
x x
x x x x x u
1 2
2 1
1
*
2 1

o o
=
+ =
Problemas Variacionales No Convexos
Relajacin Semidefinida (Meziat) (4)
Los puntos de soporte de la
medida t
1
y t
2
se encuentran
a partir de los tres primeros
momentos; son las races
del polinomio P(x)
Soporte unitario (t
1
= t
2
para
todo x
i
): el problema tiene
solucin
Soporte doble: el problema
no tiene solucin
Los pesos
1,2
(x
i
) se
encuentran con

( )
( ) ( )
( ) ( )
( )
( ) ( )
( ) ( )
i i
i i
i
i i
i i
i
x t x t
x t x m
x
x t x t
x m x t
x
1 2
1
*
1
2
1 2
*
1 2
1

( ) ( ) ( ) ( ) ( )
( ) ( )
( )
( ) ( )
( ) ( ) ( )
( ) ( )
i i
i i i
i i
i i
i t i i t i i
x t x t
t t
x m x m x m
x m x m
t P
x x
x x x x x u
2 1
2
*
3
*
2
*
1
*
2
*
1
1 2
2 1
1
1
1
*
2 1
<
=
=
+ =

o o
Problemas Variacionales No Convexos
Comportamiento de las Sucesiones Minimizantes
Soporte unitario: Las
sucesiones minimizantes {u
n
}
para I no presentan
alternancia en la derivada
Si esto se presenta para todo
punto de la malla, I tiene
minimizador y
i
* = u*(x
i
)
Soporte doble: Las sucesiones
minimizantes presentan
alternancia en la derivada
entre los valores t
1
y t
2
. El
problema I carece de solucin.
La alternancia entre los valores
t
1
y t
2
est regida por los pesos

1
y
2
respectivamente

( )
( )
i i
y i
x u y
x
i
*
*
'
=
= o
( ) ( ) ( ) ( ) ( )
i t i i t i i
x x x x x
2 1
2 1
* o o + =
Problema de Bolza
Solucin con Medidas (1)
Problema de Bolza:
No convexo en u(x)
Tiene forma polinomial en
la variable derivada

El problema relajado en
momentos es
( ) ( ) ( ) ( )
( ) ( )
( )
2 4 2
1
0
2
2
2
2 1 , ,
0 1 0
. a . s
1
u u x f
u u
dx x u x u u I
+ + =
= =
+ ' =
}

( ) ( ) ( ) ( )
( ) ( )
( )
( )
( ) ( )
( ) ( ) ( )
( ) ( ) ( )
0
1
0
. a . s
2 1
~
4 3 2
3 2 1
2 1
1
0
1
0
1
1
0
2
4 2
>
|
|
|
.
|

\
|
=
=
=
+ + =
}
}
}
x m x m x m
x m x m x m
x m x m
x H
ds s m
ds s m x u
dx x u x m x m m I
x
Problema de Bolza
Solucin con Medidas (2)
Los momentos que se
encuentran son

Que llevan a



La sucesin minimizante
tiene la forma
( )
1 1
2
1
2
1
* o o + =

x
m
1
m
4
m
2
m
3
Envolvente Convexa de una Funcin

Una funcin es convexa si
cumple la desigualdad de
Jensen
La envoltura convexa es la
mxima funcin convexa que
acota inferiormente a la
funcin
En la grfica se ve, en rojo, la
envoltura convexa de
(1-u(x)
2
)
2
.

La lnea azul muestra una
violacin de la desigualdad de
Jensen
( ) ( ) ( )
0
1
, ,
1
1
1
1
1
>
= + +
e
+ + s + +
i
k
n k
k
k
k
k
a a
a f a f a a f