Abrir menú principal

En matemática, la conjugación convexa es una generalización de la transformada de Legendre. También se la conoce como transformada de Legendre-Fenchel o transformada de Fenchel.

Índice

DefiniciónEditar

Para una función

 

que toma valores en la recta real extendida, la conjugada convexa se define como

 
 

donde

 

es el producto escalar sobre Rn.

EjemplosEditar

La conjugada convexa de una función afín

 

es

 

La conjugada convexa de la función valor absoluto

 

es

 

La conjugada convexa de la función exponencial es

 

La conjugada convexa y la transformada de Legendre de la función exponencial coinciden excepto en que el dominio de la conjugada es estrictamente mayor ya que la transformada de Legendre sólo está definida para números reales positivos.

PropiedadesEditar

La conjugada convexa de una función convexa cerrada es también convexa cerrada. La conjugada convexa de una función convexa poliédrica (una función convexa con epígrafe poliédrico) es también convexa poliédrica.

La conjugación convexa invierte el orden: si fg entonces f*g*. Aquí, fg si y sólo si f(x) ≤ g(x) para toda x.

BiconjugadaEditar

La conjugada convexa de una función es siempre semicontinua inferiormente. La biconjugada f** (la conjugada convexa de la conjugada convexa) también es el contorno convexo cerrado, es decir, la función convexa semicontinua inferiormente más grande que es menor que f. Por tanto, f = f** si y sólo si f es convexa y semicontinua inferiormente.

Desigualdad de FenchelEditar

Para cualquier función convexa propia f y su conjugada convexa f*, la desigualdad de Fenchel (conocida también como desigualdad de Fenchel-Young) mantiene que:

 

Comportamiento ante transformaciones linealesEditar

Sea A una transformación lineal de Rn en Rm. Para cualquier función convexa f sobre Rn, tenemos

 


donde A* es el adjunto de A definido por

 

Una función convexa cerrada f es simétrica con respecto a un conjunto dado G de transformaciones lineales ortogonales,

 

si y sólo si su conjugada convexa f* es simétrica con respecto a G.

Convolución infimalEditar

La convolución infimal de dos funciones f y g se define como

 

Sean f1, …, fm funciones convexas propias sobre Rn. Entonces

 

ReferenciasEditar