• 为什么局部下降最快的方向就是梯度的负方向?


    https://blog.csdn.net/red_stone1/article/details/80212814
    什么是梯度?
    对于梯度下降算法(Gradient Descent Algorithm),我们都已经很熟悉了。无论是在线性回归(Linear Regression)、逻辑回归(Logistic Regression)还是神经网络(Neural Network)等等,都会用到梯度下降算法。我们先来看一下梯度下降算法的直观解释:

    假设我们位于黄山的某个山腰处,山势连绵不绝,不知道怎么下山。于是决定走一步算一步,也就是每次沿着当前位置最陡峭最易下山的方向前进一小步,然后继续沿下一个位置最陡方向前进一小步。这样一步一步走下去,一直走到觉得我们已经到了山脚。这里的下山最陡的方向就是梯度的负方向。

    首先理解什么是梯度?通俗来说,梯度就是表示某一函数在该点处的方向导数沿着该方向取得最大值,即函数在当前位置的导数。

    ∇=df(θ)dθ
    ∇=df(θ)dθ
    上式中,θθ是自变量,f(θ)f(θ)是关于θθ的函数,θθ表示梯度。

    梯度下降算法
    如果函数f(θ)f(θ)是凸函数,那么就可以使用梯度下降算法进行优化。梯度下降算法的公式我们已经很熟悉了:

    θ=θ0−η⋅∇f(θ0)
    θ=θ0−η⋅∇f(θ0)
    其中,θ0θ0是自变量参数,即下山位置坐标,ηη是学习因子,即下山每次前进的一小步(步进长度),θθ是更新后的θ0θ0,即下山移动一小步之后的位置。

    梯度下降算法的公式非常简单!但是”沿着梯度的反方向(坡度最陡)“是我们日常经验得到的,其本质的原因到底是什么呢?为什么局部下降最快的方向就是梯度的负方向呢?也许很多朋友还不太清楚。没关系,接下来我将以通俗的语言来详细解释梯度下降算法公式的数学推导过程。

    一阶泰勒展开式
    这里需要一点数学基础,对泰勒展开式有些了解。简单地来说,泰勒展开式利用的就是函数的局部线性近似这个概念。我们以一阶泰勒展开式为例:

    f(θ)≈f(θ0)+(θ−θ0)⋅∇f(θ0)
    f(θ)≈f(θ0)+(θ−θ0)⋅∇f(θ0)
    不懂上面的公式?没有关系。我用下面这张图来解释。

    凸函数f(θ)f(θ)的某一小段[θ0,θ][θ0,θ]由上图黑色曲线表示,可以利用线性近似的思想求出f(θ)f(θ)的值,如上图红色直线。该直线的斜率等于f(θ)f(θ)在θ0θ0处的导数。则根据直线方程,很容易得到f(θ)f(θ)的近似表达式为:

    f(θ)≈f(θ0)+(θ−θ0)⋅∇f(θ0)
    f(θ)≈f(θ0)+(θ−θ0)⋅∇f(θ0)
    这就是一阶泰勒展开式的推导过程,主要利用的数学思想就是曲线函数的线性拟合近似。

    梯度下降数学原理
    知道了一阶泰勒展开式之后,接下来就是重点了!我们来看一下梯度下降算法是如何推导的。

    先写出一阶泰勒展开式的表达式:

    f(θ)≈f(θ0)+(θ−θ0)⋅∇f(θ0)
    f(θ)≈f(θ0)+(θ−θ0)⋅∇f(θ0)
    其中,θ−θ0θ−θ0是微小矢量,它的大小就是我们之前讲的步进长度ηη,类比于下山过程中每次前进的一小步,ηη为标量,而θ−θ0θ−θ0的单位向量用vv表示。则θ−θ0θ−θ0可表示为:

    θ−θ0=ηv
    θ−θ0=ηv
    特别需要注意的是,θ−θ0θ−θ0不能太大,因为太大的话,线性近似就不够准确,一阶泰勒近似也不成立了。替换之后,f(θ)f(θ)的表达式为:

    f(θ)≈f(θ0)+ηv⋅∇f(θ0)
    f(θ)≈f(θ0)+ηv⋅∇f(θ0)
    重点来了,局部下降的目的是希望每次θθ更新,都能让函数值f(θ)f(θ)变小。也就是说,上式中,我们希望f(θ)<f(θ0)f(θ)<f(θ0)。则有:

    f(θ)−f(θ0)≈ηv⋅∇f(θ0)<0
    f(θ)−f(θ0)≈ηv⋅∇f(θ0)<0
    因为ηη为标量,且一般设定为正值,所以可以忽略,不等式变成了:

    v⋅∇f(θ0)<0
    v⋅∇f(θ0)<0
    上面这个不等式非常重要!vv和∇f(θ0)∇f(θ0)都是向量,∇f(θ0)∇f(θ0)是当前位置的梯度方向,vv表示下一步前进的单位向量,是需要我们求解的,有了它,就能根据θ−θ0=ηvθ−θ0=ηv确定θθ值了。

    想要两个向量的乘积小于零,我们先来看一下两个向量乘积包含哪几种情况:

    AA和BB均为向量,αα为两个向量之间的夹角。AA和BB的乘积为:

    A⋅B=||A||⋅||B||⋅cos(α)
    A⋅B=||A||⋅||B||⋅cos(α)
    ||A||||A||和||B||||B||均为标量,在||A||||A||和||B||||B||确定的情况下,只要cos(α)=−1cos(α)=−1,即AA和BB完全反向,就能让AA和BB的向量乘积最小(负最大值)。

    顾名思义,当vv与∇f(θ0)∇f(θ0)互为反向,即vv为当前梯度方向的负方向的时候,能让v⋅∇f(θ0)v⋅∇f(θ0)最大程度地小,也就保证了vv的方向是局部下降最快的方向。

    知道vv是∇f(θ0)∇f(θ0)的反方向后,可直接得到:

    v=−∇f(θ0)||∇f(θ0)||
    v=−∇f(θ0)||∇f(θ0)||
    之所以要除以∇f(θ0)∇f(θ0)的模||∇f(θ0)||||∇f(θ0)||,是因为vv是单位向量。

    求出最优解vv之后,带入到θ−θ0=ηvθ−θ0=ηv中,得:

    θ=θ0−η∇f(θ0)||∇f(θ0)||
    θ=θ0−η∇f(θ0)||∇f(θ0)||
    一般地,因为||∇f(θ0)||||∇f(θ0)||是标量,可以并入到步进因子ηη中,即简化为:

    θ=θ0−η∇f(θ0)
    θ=θ0−η∇f(θ0)
    这样,我们就推导得到了梯度下降算法中θθ的更新表达式。

    总结
    我们通过一阶泰勒展开式,利用线性近似和向量相乘最小化的思想搞懂了梯度下降算法的数学原理。也许你之前很熟悉梯度下降算法,但也许对它的推导过程并不清楚。看了本文,你是否有所收获呢?

    更多机器学习资源,请关注公众号:AI有道(ID:redstonewill
    -

    萍水相逢逢萍水,浮萍之水水浮萍!
  • 相关阅读:
    string数组批量转换成Int数组
    TCP/IP 、 HTTP 、HTTPS
    静态布局、自适应布局、流式布局、响应式布局、弹性布局等的概念和区别
    Vue源码学习02 初始化模块init.js
    IOS8白屏
    VUE 源码学习01 源码入口
    http状态码
    vue全家桶(Vue+Vue-router+Vuex+axios)(Vue+webpack项目实战系列之二)
    Vue实战Vue-cli项目构建(Vue+webpack系列之一)
    module.exports,exports,export和export default,import与require区别与联系【原创】
  • 原文地址:https://www.cnblogs.com/AIBigTruth/p/10528541.html
Copyright © 2020-2023  润新知