Sea una función convexa de valor real definida en un intervalo abierto de la recta real. Una función de este tipo no necesita ser diferenciable en todos los puntos: por ejemplo, la función de valor absoluto no es diferenciable cuando . Sin embargo, como se ve en el gráfico de la derecha (donde en azul tiene puntos de inflexión no diferenciables similares a la función de valor absoluto), para cualquier punto del dominio de la función se puede trazar una recta que pase por el punto y que esté en todas partes tocando o por debajo del gráfico de f . La pendiente de dicha recta se llama subderivada .
Definición
Rigurosamente, una subderivada de una función convexa en un punto en el intervalo abierto es un número real tal que
para todo . Por el inverso del teorema del valor medio , el conjunto de subderivadas en para una función convexa es un intervalo cerrado no vacío , donde y son los límites unilaterales
El intervalo de todas las subderivadas se llama subdiferencial de la función en , denotado por . Si es convexo, entonces su subdiferencial en cualquier punto no es vacío. Además, si su subdiferencial en contiene exactamente una subderivada, entonces es diferenciable en y . [2]
Ejemplo
Consideremos la función que es convexa. Entonces, el subdiferencial en el origen es el intervalo . El subdiferencial en cualquier punto es el conjunto singleton , mientras que el subdiferencial en cualquier punto es el conjunto singleton . Esto es similar a la función de signo , pero no es univaluada en , sino que incluye todas las subderivadas posibles.
Propiedades
Una función convexa es diferenciable en si y solo si el subdiferencial es un conjunto singleton, que es .
Un punto es un mínimo global de una función convexa si y solo si el subdiferencial contiene cero. Por ejemplo, en la figura anterior, se puede trazar una "línea subtangente" horizontal al gráfico de en . Esta última propiedad es una generalización del hecho de que la derivada de una función diferenciable en un mínimo local es cero.
Si y son funciones convexas con subdiferenciales y siendo el punto interior de una de las funciones, entonces el subdiferencial de es (donde el operador de adición denota la suma de Minkowski ). Esto se lee como "el subdiferencial de una suma es la suma de los subdiferenciales". [3]
El subgradiente
Los conceptos de subderivada y subdiferencial se pueden generalizar a funciones de varias variables. Si es una función convexa de valor real definida en un conjunto abierto convexo en el espacio euclidiano , un vector en ese espacio se llama subgradiente en si para cualquier uno tiene que
donde el punto denota el producto escalar . El conjunto de todos los subgradientes en se denomina subdiferencial en y se denota . El subdiferencial es siempre un conjunto compacto convexo no vacío .
El conjunto de todos los subgradientes en se denomina subdiferencial en y se denota nuevamente como . El subdiferencial es siempre un conjunto cerrado convexo . Puede ser un conjunto vacío; considere por ejemplo un operador ilimitado , que es convexo, pero no tiene subgradiente. Si es continuo, el subdiferencial no está vacío.
Historia
El subdiferencial sobre funciones convexas fue introducido por Jean Jacques Moreau y R. Tyrrell Rockafellar a principios de la década de 1960. El subdiferencial generalizado para funciones no convexas fue introducido por FH Clarke y RT Rockafellar a principios de la década de 1980. [4]
Borwein, Jonathan; Lewis, Adrian S. (2010). Análisis convexo y optimización no lineal: teoría y ejemplos (2.ª ed.). Nueva York: Springer. ISBN978-0-387-31256-9.
Zălinescu, C. (2002). Análisis convexo en espacios vectoriales generales . World Scientific Publishing Co., Inc. pp. xx+367. ISBN981-238-067-1.Señor 1921556 .
Enlaces externos
"Usos de lim h → 0 f ( x + h ) − f ( x − h ) 2 h {\displaystyle \lim \limits _{h\to 0}{\frac {f(x+h)-f(xh)}{2h}}}". Stack Exchange . 18 de septiembre de 2011.