Conjugada convexa

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.

Contenido

1 Definición
2 Ejemplos
3 Propiedades
4 Referencias

Definición

Para una función

$f:\mathbb{R}^n\rightarrow\mathbb{R}\cup\{+\infty\}$

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

$f^\star:\mathbb{R}^n\rightarrow\mathbb{R}\cup\{+\infty\}$

$f^{\star}\left(x^\star\right) = \sup\left\{\left\langle x^\star,x\right\rangle - f\left(x\right) : x \in \mathbb{R}^n \right\} = - \inf\left\{f\left(x\right) - \left\langle x^\star,x\right\rangle : x \in \mathbb{R}^n \right\}$

donde

$\left\langle u,v\right\rangle = \sum_{k=1}^{n}u_{k} \cdot v_{k}$

es el producto escalar sobre Rⁿ.

Ejemplos

La conjugada convexa de una función afín

$f(x) = \left\langle a,x \right\rangle - b,\, a \in \mathbb{R}^n, b \in \mathbb{R}$

$f^\star\left(x^\star\right) = \begin{cases} b, & x^\star = a \\ \infty, & x^\star \ne a \end{cases}$

La conjugada convexa de la función valor absoluto

$f(x) = \left| x \right|$

$f^\star\left(x^\star\right) = \begin{cases} 0, & \left|x^\star\right| \le 1 \\ \infty, & \left|x^\star\right| > 1 \end{cases}$

La conjugada convexa de la función exponencial es

$\exp^\star\left(x^\star\right) = \begin{cases} x^\star \ln x^\star - x^\star, & x^\star > 0 \\ 0 , & x^\star = 0 \\ \infty , & x^\star < 0 \end{cases}$

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.

Propiedades

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 f ≤ g entonces f^* ≥ g^*. Aquí, f ≤ g si y sólo si f(x) ≤ g(x) para toda x.

Biconjugada

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 Fenchel

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:

$\left\langle p,x \right\rangle \le f(x) + f^\star(p)$

Comportamiento ante transformaciones lineales

Sea A una transformación lineal de Rⁿ en R^m. Para cualquier función convexa f sobre Rⁿ, tenemos

$\left(A f\right)^\star = f^\star A^\star$

donde A^* es el adjunto de A definido por

$\left \langle Ax, y^\star \right \rangle = \left \langle x, A^\star y^\star \right \rangle$

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

$f\left(A x\right) = f(x), \; \forall x, \; \forall A \in G$

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

Convolución infimal

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

$\left(f \star_\inf g\right)(x) = \inf \left \{ f(x-y) + g(y) \, | \, y \in \mathbb{R}^n \right \}$

Sean f₁, …, f_m funciones convexas propias sobre Rⁿ. Entonces

$\left( f_1 \star_\inf \cdots \star_\inf f_m \right)^\star = f_1^\star + \cdots + f_m^\star$

Referencias

Arnol'd, Vladimir Igorevich (1989). Mathematical Methods of Classical Mechanics (second edition). Springer. ISBN 0-387-96890-3.
Rockafellar, Ralph Tyrell (1996). Convex Analysis. Princeton University Press. ISBN 0-691-01586-4.

Categorías:

Análisis real
Teorías de dualidad

Wikimedia foundation. 2010.

Игры ⚽ Поможем сделать НИР

Mira otros diccionarios:

Transformada de Legendre — Interpretación geométrica de la Transformada de Legendre. En matemática se dice que dos funciones diferenciables f y g son una transformada de Legendre si cada una de sus primeras derivadas son función inversa de la otra: Se dice entonces de f … Wikipedia Español
Efecto Schlieren — Saltar a navegación, búsqueda Para consultar otros usos del término schlieren, véase Schlieren (desambiguación). Fotografía schlieren en color, que muestra las diferencias de densidades del aire caliente sobre la punta de un soldador caliente … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Conjugada convexa

Contenido

Definición

Ejemplos