Hola
Bienvenido al foro.
Recuerda leer y seguir las
reglas del mismo así como el
tutorial del LaTeX para escribir las fórmulas matemáticas correctamente.
Por esta vez hemos corregido el mensaje desde la administración.
Alguien podría ayudarme con esta demostración ,
Probar que si \( x* \) es un mínimo local de la función \( f:\mathbb{R}^N\to \mathbb{R} \) dos veces diferenciable con continuidad sobre el conjunto convexo \( X \), entonces
\( (x-x^*)^t\nabla^2f(x^*)(x-x^*)\geq 0 \)
para todo \( x \) tal que \( (\nabla f(x))^t(x-x^*)=0 \).
Muchas gracias.
Considera la aplicación:
\( g:I\subset \mathbb{R}\to \mathbb{R} \)
\( g(t)=f(x^* +t(x-x^*)) \)
Está definida en un entorno del cero, dado que \( X \) es convexo. Es de clase dos por ser composición de funciones de clase dos.
Por ser \( x^* \) un mínimo local \( t_0=0 \) es un mínimo local de \( g \). Entonces:
\( g''(0)\geq 0 \)
Comprueba aplicando dos veces la regla de la cadena que:
\( g''(t_0)=(x-x^*)^t\nabla^2f(x^*)(x-x^*) \)
Completa los detalles.
Saludos.
P.D. No veo que haga falta esta condición:
\( (\nabla f(x))^t(x-x^*)=0 \)
Verifica que el enunciado está bien escrito.
