Función de valor
# Función de valor

La función de valor de un problema de optimización proporciona el valor alcanzado por la función de pérdida de una solución, siempre y cuando solo dependa de los parámetros del problema.

## Propiedades

En un sistema dinámico controlado, la función de valor representa el resultado óptimo del sistema en el intervalo [t, $t_1]$ cuando se inicia la variable de estado en el momento t x(t)=x. Si la función objetivo representa algún costo que debe minimizarse, la función de valor puede interpretarse como el costo para terminar el programa óptimo y, por lo tanto, se la denomina "función de costo pendiente". En un contexto económico, donde la función objetivo generalmente representa la utilidad obtenida, la función de valor es conceptualmente equivalente a la función de utilidad indirecta.

En un problema de control óptimo, la función de valor se define como el elemento supremo e ínfimo de la función objetivo tomada sobre el conjunto de controles admisibles. Dado $(t_{0},x_{0})\in [0,t_{1}]\times \mathbb {R} ^{d}$, un problema típico de control óptimo es:

    ${\text{maximize}}\quad J(t_{0},x_{0};u)=\int _{t_{0}}^{t_{1}}I(t,x(t),u(t))\,\mathrm {d} t+\phi (x(t_{1}))$

sujeto a

    ${\frac {\mathrm {d} x(t)}{\mathrm {d} t}}=f(t,x(t),u(t))$

con variable de estado inicial $x(t_{0})=x_{0}$. La función objetivo $J(t_{0},x_{0};u)$ debe maximizarse sobre todos los controles admisibles $u\in U[t_{0},t_{1}]$, donde $u$ es una función medible de Lebesgue dependiente de $[t_{0},t_{1}]$ sobre algún conjunto arbitrario prescrito en $\mathbb {R} ^{m}$. La función de valor se define entonces como:

    $V(t,x(t))=\max _{u\in U}\int _{t}^{t_{1}}I(\tau ,x(\tau ),u(\tau ))\,\mathrm {d} \tau +\phi (x(t_{1}))$

con $V(t_{1},x(t_{1}))=\phi (x(t_{1}))$, donde $\phi (x(t_{1}))$ es el "valor residual". Si el par óptimo de trayectorias de control y estado es $(x^{\ast },u^{\ast })$, entonces $V(t_{0},x_{0})=J(t_{0},x_{0};u^{\ast })$. La función $h$ que proporciona el control óptimo $u^{\ast }$ en función del estado actual $x$ se denomina política de control de retroalimentación, o simplemente función de política.

El principio de optimización de Bellman establece aproximadamente que cualquier política óptima en el momento $t$, tomando $t_{0}\leq t\leq t_{1}$ como el estado actual $x(t)$ tratado como condición inicial "nueva" debe ser óptima para el problema restante. Si la función de valor resulta ser continuamente diferenciable, esto da lugar a una ecuación en derivadas parciales importante, conocida como ecuación de Hamilton-Jacobi-Bellman

    $-{\frac {\partial V(t,x)}{\partial t}}=\max _{u}\left\{I(t,x,u)+{\frac {\partial V(t,x)}{\partial x}}f(t,x,u)\right\}$

donde el maximizador en el lado derecho de la ecuación también se puede reescribir como un hamiltoniano, $H\left(t,x,u,\lambda \right)=I(t,x,u)+\lambda (t)f(t,x,u)$, como

    $-{\frac {\partial V(t,x)}{\partial t}}=\max _{u}H(t,x,u,\lambda )$

con $\partial V(t,x)/\partial x=\lambda (t)$ desempeñando el papel de las variables de costo. Dada esta definición, se tiene además que $\mathrm {d} \lambda (t)/\mathrm {d} t=\partial ^{2}V(t,x)/\partial x\partial t+\partial ^{2}V(t,x)/\partial x^{2}\cdot f(x)$, y después de diferenciar ambos lados de la ecuación de Hamilton-Jacobi-Bellman con respecto a $x$,

    $-{\frac {\partial ^{2}V(t,x)}{\partial t\partial x}}={\frac {\partial I}{\partial x}}+{\frac {\partial ^{2}V(t,x)}{\partial x^{2}}}f(x)+{\frac {\partial V(t,x)}{\partial x}}{\frac {\partial f(x)}{\partial x}}$

que, tras reemplazar los términos apropiados, recupera la ecuación de costes

    $-{\dot {\lambda }}(t)=\underbrace {{\frac {\partial I}{\partial x}}+\lambda (t){\frac {\partial f(x)}{\partial x}}} _{={\frac {\partial H}{\partial x}}}$

donde ${\dot {\lambda }}(t)$ se expresa según la notación de Newton de la derivada con respecto al tiempo.

La función de valor es la única solución de viscosidad de la ecuación de Hamilton-Jacobi-Bellman. En un control óptimo aproximado de bucle cerrado online, la función de valor también es una Función de Liapunov que establece la estabilidad asintótica global del sistema de bucle cerrado.

