【数学基础篇】---详解极限与微分学与Jensen 不等式

2023-10-09 00:59

本文主要是介绍【数学基础篇】---详解极限与微分学与Jensen 不等式,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

一、前述

数学基础知识对机器学习还有深度学习的知识点理解尤为重要,本节主要讲解极限等相关知识。

二、极限

1.例子
当x趋于0的时候,sin(x)与tan(x)都趋于0。但是哪一个趋于0的速度更快一些呢?
我们考察这两个函数的商的极限,
在这里插入图片描述
所以当 x → 0 的时候,sin(x) 与 tan(x) 是同样级别的无穷小。
2.相关定理
如果三个函数满足 f(x) ≤ g(x) ≤ h(x), 而且他们都在 x0 处有极限,那么
在这里插入图片描述
重要极限:
在这里插入图片描述

三、微分学

微分学的核心思想:逼近。
1.函数导数:
如果一个函数 f(x) 在 x0 附近有定义,而且存在极限。
在这里插入图片描述
那么 f(x) 在 x0 处可导且导数 f ′ (x0) = L。
无穷小量表述:线性逼近。
在这里插入图片描述
Definition(函数的高阶导数)
如果函数的导数函数仍然可导,那么导数函数的导数是二阶导数,二阶导数函数的导数是三阶导数。
一般地记为
在这里插入图片描述
或者进一步
在这里插入图片描述
导数是对函数进行线性逼近,高阶导数是对导数函数的进一步逼近,因为没有更好的办法,所以数学家选择继续使用线性逼近。
Example (初等函数的导数)
在这里插入图片描述
2.微分学:多元函数
在这里插入图片描述
且 Lx,Ly 分别是 f 在 x, y 方向上的偏导数。一般记为
在这里插入图片描述
3.Definition (高阶偏导数)
在这里插入图片描述
并且二阶偏导数为
在这里插入图片描述
4.Example (偏导数的例子)
在这里插入图片描述
在这里插入图片描述
在这里插入图片描述
5.求导法则
在这里插入图片描述
6.总结
微分学的核心思想是逼近。
一阶导数:线性逼近
二阶导数:二次逼近
导数计算:求导法则

四、泰勒级数

1.泰勒/迈克劳林级数: 多项式逼近。
在这里插入图片描述
2.泰勒级数: 例子
在这里插入图片描述
3.应用
泰勒级数是一元微分逼近的顶峰,所以有关于一元微分逼近的问题请尽情使用。
罗比塔法则
在这里插入图片描述
证明:
因为是在 x0 附近的极限问题,我们使用泰勒级数来思考这个问题
在这里插入图片描述
在这里插入图片描述
4.小结 (泰勒级数)
泰勒级数本质是多项式逼近
特殊函数的泰勒级数可以适当记一下
泰勒级数可以应用于很多与逼近相关的问题。

五、牛顿法与梯度下降法

很多机器学习或者统计的算法最后都转化成一个优化的问题。也就是求某一个损失函数的极小值的问题,在本课范围内我们考虑可微分的函数极小值问题。
1.优化问题
对于一个无穷可微的函数f(x),如何寻找他的极小值点。
极值点条件。
全局极小值:如果对于任何 x˜, 都有 f(x∗) ≤ f(˜x),那么 x∗ 就是全局极小值点。
局部极小值:如果存在一个正数 δ 使得,对于任何满足 |x˜ − x∗| < δ 的 x˜, 都有 f(x∗) ≤ f(˜x),那么 x∗ 就是局部极 小值点。(方圆 δ 内的极小值点)
不论是全局极小值还是局部极小值一定满足一阶导数/梯度 为零,f ′ = 0 或者 ∇f = 0。
2.局部极值算法
这两种方法都只能寻找局部极值这两种方法都要求必须给出一个初始点 x0
数学原理:牛顿法使用二阶逼近(等价于使用二阶泰勒级数),梯度下降法使用一阶逼近
牛顿法对局部凸的函数找到极小值,对局部凹的函数找到极大值,对局部不凸不凹的可能会找到鞍点。
梯度下降法一般不会找到最大值,但是同样可能会找到鞍点。
当初始值选取合理的情况下,牛顿法比梯度下降法收敛速度快。
牛顿法要求估计二阶导数,计算难度更大.
3.牛顿法
首先在初始点x0处,写出二阶泰勒级数。
在这里插入图片描述在这里插入图片描述多变量函数二阶逼近
在这里插入图片描述
在这里插入图片描述
4.梯度下降法:多变量函数一阶逼近
如果函数 f(x) 是个多元函数,x 是一个向量,在 x0 处对f做线性逼近。
在这里插入图片描述
5.小结 (牛顿法与梯度下降法)
牛顿法与梯度下降法本质上都是对目标函数进行局部逼近,因为是局部逼近所以也只能寻找局部极值。
牛顿法收敛步骤比较少,但是梯度下降法每一步计算更加简单,牛顿法不仅给出梯度的方向还给出具体应该走多少。梯度法的r只能自己定义。
不同的算法之间很难说哪一个更好,选择算法还要具体问题具体分析(这也是数据科学家存在的意义之一)。
梯度本身是向着最大方向的,加个负号才是向着最小方向的。

六、凸函数与琴生不等式

1.Definition (凸函数)
在这里插入图片描述
把如上定义中的 ≤ 换成<,那么这个函数就叫做严格凸函数。
2.(凸函数判断准则)
在这里插入图片描述
如果 f 是多元函数,x 是个向量,那么 f 是凸函数的条件变为Hf 是一个半正定矩阵。
3.凸函数重要性质: 琴生不等式
在这里插入图片描述

配合视频食用,风味更佳→《人工智能必备数学基础》

TESRA超算网络旗下T-CCP社区已上线,社区由高校AI社团及AI爱好者组成,社区包含学习视频、学习笔记、数据集模型、算法竞赛等内容,新用户注册还能免费领取算力训练,欢迎前来体验。立即边学边练>>>

在这里插入图片描述

这篇关于【数学基础篇】---详解极限与微分学与Jensen 不等式的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/169219

相关文章

Redis实现延迟任务的三种方法详解

《Redis实现延迟任务的三种方法详解》延迟任务(DelayedTask)是指在未来的某个时间点,执行相应的任务,本文为大家整理了三种常见的实现方法,感兴趣的小伙伴可以参考一下... 目录1.前言2.Redis如何实现延迟任务3.代码实现3.1. 过期键通知事件实现3.2. 使用ZSet实现延迟任务3.3

C语言函数递归实际应用举例详解

《C语言函数递归实际应用举例详解》程序调用自身的编程技巧称为递归,递归做为一种算法在程序设计语言中广泛应用,:本文主要介绍C语言函数递归实际应用举例的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录前言一、递归的概念与思想二、递归的限制条件 三、递归的实际应用举例(一)求 n 的阶乘(二)顺序打印

Python Faker库基本用法详解

《PythonFaker库基本用法详解》Faker是一个非常强大的库,适用于生成各种类型的伪随机数据,可以帮助开发者在测试、数据生成、或其他需要随机数据的场景中提高效率,本文给大家介绍PythonF... 目录安装基本用法主要功能示例代码语言和地区生成多条假数据自定义字段小结Faker 是一个 python

Java Predicate接口定义详解

《JavaPredicate接口定义详解》Predicate是Java中的一个函数式接口,它代表一个判断逻辑,接收一个输入参数,返回一个布尔值,:本文主要介绍JavaPredicate接口的定义... 目录Java Predicate接口Java lamda表达式 Predicate<T>、BiFuncti

详解如何通过Python批量转换图片为PDF

《详解如何通过Python批量转换图片为PDF》:本文主要介绍如何基于Python+Tkinter开发的图片批量转PDF工具,可以支持批量添加图片,拖拽等操作,感兴趣的小伙伴可以参考一下... 目录1. 概述2. 功能亮点2.1 主要功能2.2 界面设计3. 使用指南3.1 运行环境3.2 使用步骤4. 核

一文详解JavaScript中的fetch方法

《一文详解JavaScript中的fetch方法》fetch函数是一个用于在JavaScript中执行HTTP请求的现代API,它提供了一种更简洁、更强大的方式来处理网络请求,:本文主要介绍Jav... 目录前言什么是 fetch 方法基本语法简单的 GET 请求示例代码解释发送 POST 请求示例代码解释

详解nginx 中location和 proxy_pass的匹配规则

《详解nginx中location和proxy_pass的匹配规则》location是Nginx中用来匹配客户端请求URI的指令,决定如何处理特定路径的请求,它定义了请求的路由规则,后续的配置(如... 目录location 的作用语法示例:location /www.chinasem.cntestproxy

CSS will-change 属性示例详解

《CSSwill-change属性示例详解》will-change是一个CSS属性,用于告诉浏览器某个元素在未来可能会发生哪些变化,本文给大家介绍CSSwill-change属性详解,感... will-change 是一个 css 属性,用于告诉浏览器某个元素在未来可能会发生哪些变化。这可以帮助浏览器优化

Python基础文件操作方法超详细讲解(详解版)

《Python基础文件操作方法超详细讲解(详解版)》文件就是操作系统为用户或应用程序提供的一个读写硬盘的虚拟单位,文件的核心操作就是读和写,:本文主要介绍Python基础文件操作方法超详细讲解的相... 目录一、文件操作1. 文件打开与关闭1.1 打开文件1.2 关闭文件2. 访问模式及说明二、文件读写1.

详解C++中类的大小决定因数

《详解C++中类的大小决定因数》类的大小受多个因素影响,主要包括成员变量、对齐方式、继承关系、虚函数表等,下面就来介绍一下,具有一定的参考价值,感兴趣的可以了解一下... 目录1. 非静态数据成员示例:2. 数据对齐(Padding)示例:3. 虚函数(vtable 指针)示例:4. 继承普通继承虚继承5.