最优化学习 无约束优化问题的最优性条件

Posted Real&Love

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了最优化学习 无约束优化问题的最优性条件相关的知识,希望对你有一定的参考价值。

无约束问题的最优条件

考虑无约束优化问题:
min ⁡ f ( x )  s.t.  x ∈ X ⊆ R n \\begin{aligned} \\min & f(x) \\\\ \\text { s.t. } & x \\in X \\subseteq R^{n} \\end{aligned} min s.t. f(x)xXRn
在这里插入图片描述

  • 若f(x)为凸函数 则 x ∗ x^* x是最优解 ⇔ \\Leftrightarrow ∇ f ( x ∗ ) = 0 ∘ \\nabla f\\left(x^{*}\\right)=0_{\\circ} f(x)=0
  • 若f(x)为一般函数
    • 一阶必要条件(First-Order Necessary Conditions)
      假设 f ( x ) f(x) f(x) x ∗ x^* x处是可微的,如果 x ∗ x^* x是局部最小值,那么 ∇ f ( x ∗ ) = 0 \\nabla f\\left(x^{*}\\right)=0 f(x)=0
    • 二阶必要条件(Second-Order Necessary Conditions)
      假设 f ( x ) f(x) f(x) x ∗ x^* x处是二阶可微的,如果 x ∗ x^* x是局部最小值,那么 ∇ f ( x ∗ ) = 0 \\nabla f\\left(x^{*}\\right)=0 f(x)=0 ∇ 2 f ( x ∗ ) \\nabla^{2} f\\left(\\mathbf{x}^{*}\\right) 2f(x)是半正定矩阵
    • 二阶充分条件(Second-Order Sufficient Conditions)
      假设 f ( x ) f(x) f(x) x ∗ x^* x处是二阶可微的,如果 x ∗ x^* x是局部最小值,那么 ∇ f ( x ∗ ) = 0 \\nabla f\\left(x^{*}\\right)=0 f(x)=0 ∇ 2 f ( x ∗ ) \\nabla^{2} f\\left(\\mathbf{x}^{*}\\right) 2f(x)是正定矩阵
      在这里插入图片描述

回顾泰勒定理(Taylor’s Theorem)

为了证明,我们回顾一下泰勒定理
如果f在R上连续可微,则
f ( x + p ) = f ( x ) + ∇ f ( x + t p ) ⊤ p f(x+p)=f(x)+\\nabla f(x+t p)^{\\top} p f(x+p)=f(x)+f(x+tp)p t ∈ ( 0 , 1 ) t \\in(0,1) t(0,1)

如果f在R上二次连续可微,则可以得到
f ( x + p ) = f ( x ) + ∇ f ( x ) ⊤ p + 1 2 p ⊤ ∇ 2 f ( x + t p ) p f(x+p)=f(x)+\\nabla f(x)^{\\top} p+\\frac{1}{2} p^{\\top} \\nabla^{2} f(x+t p) p f(x+p)=f(x)+f(x)p+21p2f(x+tp)p
具体推导如下
在这里插入图片描述

一阶必要条件(First-Order Necessary Conditions)

假设 f ( x ) f(x) f(x) x ∗ x^* x处是可微的,如果 x ∗ x^* x是局部最小值,那么 ∇ f ( x ∗ ) = 0 \\nabla f\\left(x^{*}\\right)=0 f(x)=0

p r o o f proof proof如下:
在这里插入图片描述

二阶必要条件(Second-Order Necessary Conditions)

假设 f ( x ) f(x) f(x) x ∗ x^* x处是二阶可微的,如果 x ∗ x^* x是局部最小值,那么 ∇ f ( x ∗ ) = 0 \\nabla f\\left(x^{*}\\right)=0 f(x)=0 ∇ 2 f ( x ∗ ) \\nabla^{2} f\\left(\\mathbf{x}^{*}\\right) 2f(x)是半正定矩阵

p r o o f proof proof如下:
在这里插入图片描述

在这里插入图片描述

二阶充分条件(Second-Order Sufficient Conditions)

假设 f ( x ) f(x) f(x) x ∗ x^* x处是二阶可微的,如果 x ∗ x^* x是局部最小值,那么 ∇ f ( x ∗ ) = 0 \\nabla f\\left(x^{*}\\right)=0 f(x)=0 ∇ 2 f ( x ∗ ) \\nabla^{2} f\\left(\\mathbf{x}^{*}\\right) 2f(x)是正定矩阵

p r o o f proof proof如下:
在这里插入图片描述
参考

  • Nocedal, Jorge, & Wright, Stephen J. (0). Numerical optimization. 2nd ed… Springer.

以上是关于最优化学习 无约束优化问题的最优性条件的主要内容,如果未能解决你的问题,请参考以下文章

优化理论08-----约束优化的最优性条件拉格朗日条件凸性约束规范二阶最优性条件(下)

PSO算法解决带约束条件的优化问题

最优化学习目录

优化理论03----优化导论和无约束问题的最优条件优化问题的类型局部全局和严格优化梯度和Hessian 黑塞矩阵和方向导数无约束问题的最优条件

SQl下划线约束问题

第八章 最优性条件