引言

不懂数学是学不好人工智能的,本系列文章就汇总了人工智能所需的数学知识。本文是高等数学篇。

另有线代篇和概率论篇。

函数与极限

函数

人工智能数学基础之高等数学_高等数学

函数极限

人工智能数学基础之高等数学_数学基础_02人工智能数学基础之高等数学_高等数学_03无限接近于人工智能数学基础之高等数学_AI的数学基础_04时,人工智能数学基础之高等数学_极值_05无限接近于常数A。

人工智能数学基础之高等数学_高等数学_03趋于人工智能数学基础之高等数学_AI的数学基础_04有三种写法:

人工智能数学基础之高等数学_极值_08

第一种是人工智能数学基础之高等数学_高等数学_03无限趋近于人工智能数学基础之高等数学_AI的数学基础_04,解释是它们相差的绝对值是无穷小的;
第二种是从大于人工智能数学基础之高等数学_AI的数学基础_04的方向趋近(从右侧);
第二种是从小于人工智能数学基础之高等数学_AI的数学基础_04的方向趋近(从左侧);

人工智能数学基础之高等数学_AI的数学基础_13也有三种写法:

人工智能数学基础之高等数学_数学基础_14

第一种表示人工智能数学基础之高等数学_AI的数学基础_15是无穷大的,同样也可能是正数或负数;
第二种表示趋向于正无穷大;
第三种表示趋向于负无穷大;

函数极限的定义:

如果人工智能数学基础之高等数学_高等数学_16(对于任意的人工智能数学基础之高等数学_AI的数学基础_17大于0),人工智能数学基础之高等数学_高等数学_18(存在人工智能数学基础之高等数学_高等数学_19大于0),当人工智能数学基础之高等数学_高等数学_20时,总有人工智能数学基础之高等数学_高等数学_21,则称人工智能数学基础之高等数学_数学基础_02

人工智能数学基础之高等数学_高等数学_23

我们可以通过图形来理解极限,如上图,该函数的极限为0(人工智能数学基础之高等数学_数学基础_24人工智能数学基础之高等数学_数学基础_25 ,都趋向于0,因此说人工智能数学基础之高等数学_AI的数学基础_13

该图形对应的代码为:

import numpy as np
import matplotlib.pyplot as plt

fig = plt.figure()
x = np.linspace(-100, 100, 100)
y = 1/x

ax = fig.add_subplot(111)
ax.plot(x, y)
ax.spines['left'].set_position('zero')
ax.spines['right'].set_color('none')
ax.spines['bottom'].set_position('zero')
ax.spines['top'].set_color('none')

# remove the ticks from the top and right edges
ax.xaxis.set_ticks_position('bottom')
ax.yaxis.set_ticks_position('left')

plt.axhline(0,color = 'red',linestyle = '--',alpha = 0.5)

plt.show()

无穷小与无穷大

无穷小

极限为零的变量称为无穷小。

若有人工智能数学基础之高等数学_极值_05,当人工智能数学基础之高等数学_高等数学_28(或人工智能数学基础之高等数学_AI的数学基础_13) 极限为零,则称人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_高等数学_28(或人工智能数学基础之高等数学_AI的数学基础_13) 时的无穷小

例如 人工智能数学基础之高等数学_数学基础_33,函数人工智能数学基础之高等数学_高等数学_34是当人工智能数学基础之高等数学_数学基础_35时的无穷小。

人工智能数学基础之高等数学_AI的数学基础_36

import numpy as np
import matplotlib.pyplot as plt

fig = plt.figure()
x = np.linspace(-np.pi, np.pi, 100)
y = np.sin(x)

ax = fig.add_subplot(111)
ax.plot(x, y)
ax.spines['left'].set_position('zero')
ax.spines['right'].set_color('none')
ax.spines['bottom'].set_position('zero')
ax.spines['top'].set_color('none')

# remove the ticks from the top and right edges
ax.xaxis.set_ticks_position('bottom')
ax.yaxis.set_ticks_position('left')

#plt.axhline(0,color = 'red',linestyle = '--',alpha = 0.5)

plt.show()

无穷大

若有人工智能数学基础之高等数学_极值_05,当人工智能数学基础之高等数学_高等数学_28(或人工智能数学基础之高等数学_AI的数学基础_13) 人工智能数学基础之高等数学_高等数学_40无限增大,则称人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_高等数学_28(或人工智能数学基础之高等数学_AI的数学基础_13) 时的无穷大

记作人工智能数学基础之高等数学_数学基础_44人工智能数学基础之高等数学_高等数学_45

无穷大和无穷小都是有条件的,即趋于某一点或无穷大时。

人工智能数学基础之高等数学_极值_46

同样是人工智能数学基础之高等数学_数学基础_47这个函数,当人工智能数学基础之高等数学_数学基础_35时(从两个方向),人工智能数学基础之高等数学_高等数学_49都是无限增大的。

极限的四则运算

人工智能数学基础之高等数学_高等数学_50,人工智能数学基础之高等数学_极值_51,则

  1. 人工智能数学基础之高等数学_AI的数学基础_52
  2. 人工智能数学基础之高等数学_数学基础_53
  3. 人工智能数学基础之高等数学_高等数学_54,其中人工智能数学基础之高等数学_AI的数学基础_55不等于人工智能数学基础之高等数学_极值_56
  • 两个无穷小的和是无穷小
  • 有界函数和无穷小的乘积是无穷小

常见函数的极限

1.求 人工智能数学基础之高等数学_极值_57

人工智能数学基础之高等数学_高等数学_58
由于分母的极限为0,不能用法则3,但是可以约分,因此先约分再求极限。
2.人工智能数学基础之高等数学_数学基础_59
3.人工智能数学基础之高等数学_AI的数学基础_60
4.人工智能数学基础之高等数学_数学基础_61人工智能数学基础之高等数学_高等数学_62

函数连续

设函数人工智能数学基础之高等数学_高等数学_63,在人工智能数学基础之高等数学_AI的数学基础_04的邻域内有定义,若人工智能数学基础之高等数学_AI的数学基础_65,则称人工智能数学基础之高等数学_极值_05在点人工智能数学基础之高等数学_AI的数学基础_04处连续。

人工智能数学基础之高等数学_极值_68


上图左边的函数是连续的,而右边的函数不是连续的。

举例

人工智能数学基础之高等数学_数学基础_69

解:
函数在人工智能数学基础之高等数学_AI的数学基础_70处有定义,
人工智能数学基础之高等数学_极值_71 = 2

人工智能数学基础之高等数学_AI的数学基础_72 = -2
因此极限不存在,该函数在0处不连续。

连续函数的和差积商也是连续的;连续函数的符合函数是连续的;基本初等函数在其定义域内都连续。

导数

人工智能数学基础之高等数学_极值_73


人工智能数学基础之高等数学_高等数学, 人工智能数学基础之高等数学_AI的数学基础_75,则人工智能数学基础之高等数学_极值_76,

人工智能数学基础之高等数学_高等数学_77 存在,则称人工智能数学基础之高等数学_高等数学在点人工智能数学基础之高等数学_AI的数学基础_04处可导。

人工智能数学基础之高等数学_AI的数学基础_04处的导数值,简称为导数,记作 人工智能数学基础之高等数学_数学基础_81

导数的理解:

  1. 指的是该点的变化率,可能是变大(导数为正),也可能变小(导数为负)
  2. 从几何意义上,是该点切线的斜率

怎么理解导数是变化率:

  1. 就是如果自变量x继续增加,因变量y的变化。
  2. 如果导数大于0,则y变大;如果导数小于0,则y变小。
  3. 自变量x沿着导数地方向变化,就是沿着因变量y增加的方向变化

可导和连续

先来看一下连续和可导的几何意义

人工智能数学基础之高等数学_AI的数学基础_82

连续就是不间断,人工智能数学基础之高等数学_极值_83点左极限等于右极限等于人工智能数学基础之高等数学_AI的数学基础_84的值;如果自变量增量趋于0时,因变量增量不趋于0,那么也就是说 人工智能数学基础之高等数学_AI的数学基础_85不等于0,那么也就是说在人工智能数学基础之高等数学_极值_83点左极限或者右极限不等于人工智能数学基础之高等数学_AI的数学基础_84那么这种情况只能是间断的,所以自变量趋于0时,因变量一定也要趋于0时,才连续。

连续几何上看就是函数的图形不间断;可导的几何意义是曲线在该点处有斜率且斜率存在。

那么可导和连续的关系,我们可以通过一个图形来理解:

人工智能数学基础之高等数学_极值_88


由于在人工智能数学基础之高等数学_高等数学_89人工智能数学基础之高等数学_高等数学_90处是断开的,不连续,无法做出切线,就没有切线的斜率一说了,因此不可导。

人工智能数学基础之高等数学_极值_91chu处是连续的,但是图形在人工智能数学基础之高等数学_极值_91处不光滑,没有办法做出唯一的切线,因此该点是不可导的。

人工智能数学基础之高等数学_高等数学_93处斜率不存在,不可导。

光滑函数:曲线不尖锐,必光滑。连续光滑的曲线,必然处处有切线,这点是必然的,没有切线(或没有唯一的切线)的地方,就不光滑。

由上可知,不连续一定不可导;可导则必然连续;连续不一定可导。

最后以一个图片作为总结:

人工智能数学基础之高等数学_高等数学_94

导数的四则运算

设函数人工智能数学基础之高等数学_高等数学_95人工智能数学基础之高等数学_高等数学_96在点人工智能数学基础之高等数学_高等数学_03处可导,则其和、差、积、商在人工智能数学基础之高等数学_高等数学_03处也可导,有以下法则和推论:

  1. 人工智能数学基础之高等数学_高等数学_99
  2. 人工智能数学基础之高等数学_数学基础_100
  3. 人工智能数学基础之高等数学_数学基础_101(人工智能数学基础之高等数学_AI的数学基础_102

推论:

  1. 人工智能数学基础之高等数学_极值_103(人工智能数学基础之高等数学_高等数学_104人工智能数学基础之高等数学_高等数学_105相加)
  2. 人工智能数学基础之高等数学_AI的数学基础_106

我们来利用这些法则求导人工智能数学基础之高等数学_数学基础_107

人工智能数学基础之高等数学_数学基础_108
人工智能数学基础之高等数学_极值_109

复合函数求导法

设函数人工智能数学基础之高等数学_数学基础_110均可导,则复合函数人工智能数学基础之高等数学_高等数学_111的导数

人工智能数学基础之高等数学_AI的数学基础_112

人工智能数学基础之高等数学_高等数学 可导,则人工智能数学基础之高等数学_极值_05连续,则有 人工智能数学基础之高等数学_极值_115 ,可推出 人工智能数学基础之高等数学_数学基础_116

那么人工智能数学基础之高等数学_数学基础_117人工智能数学基础之高等数学_数学基础_118是等效的,上式有:

人工智能数学基础之高等数学_数学基础_119

由上可得复合函数求导法则

设函数人工智能数学基础之高等数学_数学基础_110均可导,则复合函数人工智能数学基础之高等数学_高等数学_111也可导,且人工智能数学基础之高等数学_高等数学_122 或写成 人工智能数学基础之高等数学_极值_123

高阶导数

定义:如果函数人工智能数学基础之高等数学_极值_05的导数人工智能数学基础之高等数学_AI的数学基础_125人工智能数学基础之高等数学_高等数学_03点处可导,则称人工智能数学基础之高等数学_数学基础_127为函数人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_高等数学_03处的二阶导数,记为:人工智能数学基础之高等数学_极值_130

同理,二阶导数的导数称为函数人工智能数学基础之高等数学_极值_05的三阶导数,记为:人工智能数学基础之高等数学_极值_132

人工智能数学基础之高等数学_高等数学_133阶导数的导数称为函数人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_高等数学_135阶导数,记作:人工智能数学基础之高等数学_极值_136

二阶及二阶以上的导数称为高阶导数。

记法说明:

  • 人工智能数学基础之高等数学_AI的数学基础_137
  • 人工智能数学基础之高等数学_极值_138

偏导数

要学习偏导数,先要了解二元函数的概念

二元函数

所谓二元函数,即因变量有两个的函数。例如圆柱体体积计算公式为 人工智能数学基础之高等数学_AI的数学基础_139
相应的,n元函数就是有n个因变量的函数。

偏导数的概念

设函数人工智能数学基础之高等数学_数学基础_140在点人工智能数学基础之高等数学_AI的数学基础_141的某一邻域内有定义,当人工智能数学基础之高等数学_高等数学_49固定人工智能数学基础之高等数学_数学基础_143人工智能数学基础之高等数学_高等数学_03人工智能数学基础之高等数学_AI的数学基础_04处有增量人工智能数学基础之高等数学_高等数学_146时,相应地函数有偏增量

人工智能数学基础之高等数学_极值_147,

如果人工智能数学基础之高等数学_高等数学_148存在,则称此极限为函数人工智能数学基础之高等数学_数学基础_140在点人工智能数学基础之高等数学_AI的数学基础_141处对人工智能数学基础之高等数学_高等数学_03偏导数

记为

人工智能数学基础之高等数学_极值_152

人工智能数学基础之高等数学_数学基础_153

人工智能数学基础之高等数学_高等数学_49的偏导数同理。

要注意的是, 函数在一点处偏导存在,则函数在这点不一定连续

偏导数的几何意义

人工智能数学基础之高等数学_AI的数学基础_155

练习一下,我们来求人工智能数学基础之高等数学_极值_156

人工智能数学基础之高等数学_数学基础_157,人工智能数学基础之高等数学_极值_158
人工智能数学基础之高等数学_数学基础_159
人工智能数学基础之高等数学_数学基础_160

注意,求偏导的时候,把其他因变量看成常量

微分

对于函数人工智能数学基础之高等数学_AI的数学基础_161,
因变量增量为人工智能数学基础之高等数学_数学基础_162

导数(变化率)有 人工智能数学基础之高等数学_数学基础_163充分小时,人工智能数学基础之高等数学_高等数学_164
也就是说,人工智能数学基础之高等数学_极值_165充分小时,人工智能数学基础之高等数学_高等数学_166

我们称人工智能数学基础之高等数学_数学基础_167为函数的微分,记为人工智能数学基础之高等数学_极值_168

微分的意义是因变量增量的近似值(函数变化的程度)

人工智能数学基础之高等数学_数学基础_169

人工智能数学基础之高等数学_极值_170充分小时,人工智能数学基础之高等数学_极值_171

微分 人工智能数学基础之高等数学_极值_168人工智能数学基础之高等数学_高等数学_173
因此,微分也可以表示为 人工智能数学基础之高等数学_极值_174
将两边同除人工智能数学基础之高等数学_极值_175得:
人工智能数学基础之高等数学_数学基础_176
导数从微分的角度看可以表示成因变量的微分比上自变量的微分,所以导数还有个别名叫微商。

由此也可以看出可微和可导是等价的,因此求微分时可以先求导数,再改写为微分。

中值定理

罗尔定理

如果函数人工智能数学基础之高等数学_高等数学满足条件

  1. 在[a,b]上连续;
  2. 在(a,b)内可导;
  3. 人工智能数学基础之高等数学_AI的数学基础_178

则那么至少存在一点人工智能数学基础之高等数学_AI的数学基础_179,使得 人工智能数学基础之高等数学_数学基础_180

人工智能数学基础之高等数学_AI的数学基础_181

(找不到高清图,只有这种了,人工智能数学基础之高等数学_数学基础_182就是人工智能数学基础之高等数学_极值_183)

几何意义:如果连续曲线除端点外处处具有不垂直于x轴的切线,且两个端点处的纵坐标相等,那么其上至少有一点处的切线平行于x轴

其应用是判断方程根的存在性。

拉格朗日中值定理

该定理反反映了可导函数在闭区间上整体的平均变化率与区间内某点的局部变化率的关系。

人工智能数学基础之高等数学_数学基础_184


从这个函数图形来看,是不是很像罗尔定理的图形旋转了一下。并且可以看出,人工智能数学基础之高等数学_数学基础_182点处的切线虽然不再平行于x轴,但是平行于AB两点的连线。即它们的斜率是相等的,有:

人工智能数学基础之高等数学_高等数学_186

得到拉格朗日中值定理
如果函数人工智能数学基础之高等数学_高等数学满足条件

  1. 在[a,b]上连续;
  2. 在(a,b)内可导;

则那么至少存在一点人工智能数学基础之高等数学_AI的数学基础_179,使得
人工智能数学基础之高等数学_AI的数学基础_189人工智能数学基础之高等数学_极值_190

几何意义:如果连续曲线除端点外处处具有不垂直于ox轴的切线,那么其上至少有这样一点存在,在该点处曲线的切线平行于连接两端点的直线,即两者斜率相同。

我们来应用一下吧,用拉格朗日中值定理证明,当人工智能数学基础之高等数学_高等数学_191时,人工智能数学基础之高等数学_数学基础_192

人工智能数学基础之高等数学_极值_193

证明 构造辅助函数人工智能数学基础之高等数学_数学基础_194
人工智能数学基础之高等数学_高等数学_195在[0,x]上满足朗格朗日中值定理的条件,那么根据定理,存在点人工智能数学基础之高等数学_高等数学_196,满足
人工智能数学基础之高等数学_数学基础_197
由于 人工智能数学基础之高等数学_AI的数学基础_198,人工智能数学基础之高等数学_高等数学_199
人工智能数学基础之高等数学_数学基础_200

因此,①式可化为 人工智能数学基础之高等数学_数学基础_201
又因为 人工智能数学基础之高等数学_极值_202
人工智能数学基础之高等数学_高等数学_203 (分母越大,分数值越小)
人工智能数学基础之高等数学_数学基础_192

柯西中值定理

是拉格朗日中值定理的推广

在拉格朗日中值定理中,若函数由参数方程:

人工智能数学基础之高等数学_数学基础_205

表示,如图所示

人工智能数学基础之高等数学_极值_206

则连接两个端点A,B的直线斜率为

人工智能数学基础之高等数学_AI的数学基础_207

而曲线在点人工智能数学基础之高等数学_高等数学_208处的切线T斜率为

人工智能数学基础之高等数学_高等数学_209

则由曲线在点P的切线T与直线L平行可知:

人工智能数学基础之高等数学_极值_210

得到柯西中值定理
如果函数人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_极值_212满足

  1. 在[a,b]上连续;
  2. 在(a,b)内可导,且人工智能数学基础之高等数学_AI的数学基础_213人工智能数学基础之高等数学_极值_56;

则至少存在一点人工智能数学基础之高等数学_极值_215,使得

人工智能数学基础之高等数学_AI的数学基础_216

几何意义:曲线弧AB上至少有一点人工智能数学基础之高等数学_高等数学_217,在该点处的切线平行于弦AB.

洛必达法则

设函数人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_高等数学_219满足:

  1. 人工智能数学基础之高等数学_数学基础_220; (极限无穷小或无穷大)
  2. 人工智能数学基础之高等数学_高等数学_221内,人工智能数学基础之高等数学_AI的数学基础_222人工智能数学基础之高等数学_AI的数学基础_223都存在,且人工智能数学基础之高等数学_AI的数学基础_223人工智能数学基础之高等数学_极值_56;
  3. 人工智能数学基础之高等数学_高等数学_226,(求导之后的极限存在)


人工智能数学基础之高等数学_高等数学_227

我们称人工智能数学基础之高等数学_极值_228人工智能数学基础之高等数学_高等数学_229为未定式,而洛必达法则可用于求这种未定式的极限。

泰勒展开式

推荐看这篇文章​​怎样更好地理解并记忆泰勒展开式?​

如果两个连续的曲线想要相同,那么它们在某一点的一阶导数要相同,二阶导数也要相同,…,n阶导数也要相同,这是泰勒展开的核心思想。(曲线的变化率的变化率的变化率…都相同)

假设给定函数人工智能数学基础之高等数学_数学基础_230,我们想用一个多项式函数人工智能数学基础之高等数学_高等数学_219去拟合它。
因为人工智能数学基础之高等数学_极值_05能无限求导 人工智能数学基础之高等数学_高等数学_233,所以我们的拟合函数也要能无限求导,
所以必须要是一个无限多项的多项式:

人工智能数学基础之高等数学_极值_234

假设人工智能数学基础之高等数学_高等数学_235,我们取人工智能数学基础之高等数学_AI的数学基础_236点,
人工智能数学基础之高等数学_极值_237 得到 人工智能数学基础之高等数学_极值_238
人工智能数学基础之高等数学_AI的数学基础_239
人工智能数学基础之高等数学_AI的数学基础_240

人工智能数学基础之高等数学_极值_241

我们再来看人工智能数学基础之高等数学_极值_242,它的n阶导数是和它的最高项n有关,前面的小于n项的n阶导数都会变为0。

人工智能数学基础之高等数学_极值_243的n阶导数为:人工智能数学基础之高等数学_极值_244

也就是人工智能数学基础之高等数学_高等数学_245得到人工智能数学基础之高等数学_AI的数学基础_246

我们将人工智能数学基础之高等数学_数学基础_247带入 ①式:
人工智能数学基础之高等数学_极值_248

以上是选取人工智能数学基础之高等数学_AI的数学基础_236点时的泰勒展开,一般的,我们选取人工智能数学基础之高等数学_高等数学_250点的泰勒展开即为:
人工智能数学基础之高等数学_AI的数学基础_251

如何理解人工智能数学基础之高等数学_高等数学_03变成了人工智能数学基础之高等数学_数学基础_253了呢?从人工智能数学基础之高等数学_数学基础_254点改到人工智能数学基础之高等数学_AI的数学基础_255点,相当于函数图像向右平移人工智能数学基础之高等数学_AI的数学基础_255个单位,即变成了人工智能数学基础之高等数学_数学基础_253

得到泰勒展开式为:

人工智能数学基础之高等数学_高等数学_258


如果想要等式左右两边相等,光到人工智能数学基础之高等数学_高等数学_135项是不够的,后面还有人工智能数学基础之高等数学_AI的数学基础_260无穷多项,

人工智能数学基础之高等数学_高等数学_135后的无穷多项通过人工智能数学基础之高等数学_数学基础_262来表示。

不定积分

原函数:在区间人工智能数学基础之高等数学_数学基础_263上函数人工智能数学基础之高等数学_极值_212可导,人工智能数学基础之高等数学_高等数学_265人工智能数学基础之高等数学_数学基础_266,那么人工智能数学基础之高等数学_极值_212就是人工智能数学基础之高等数学_极值_05在这个区间上的一个原函数。

连续函数一定有原函数

在区间人工智能数学基础之高等数学_数学基础_263上函数人工智能数学基础之高等数学_极值_05的全体原函数人工智能数学基础之高等数学_极值_271称为人工智能数学基础之高等数学_极值_05不定积分,记为人工智能数学基础之高等数学_数学基础_273

不定积分是全体原函数(常数人工智能数学基础之高等数学_高等数学_104的导数为0)

人工智能数学基础之高等数学_AI的数学基础_275积分号,人工智能数学基础之高等数学_极值_05被积函数,人工智能数学基础之高等数学_数学基础_277被积表达式,人工智能数学基础之高等数学_高等数学_03积分变量

微分运算与不定积分运算互为逆运算。

不定积分的性质

  1. 人工智能数学基础之高等数学_高等数学_279
  2. 人工智能数学基础之高等数学_高等数学_280(人工智能数学基础之高等数学_AI的数学基础_281为常数,且不为零)

定积分

定义人工智能数学基础之高等数学_AI的数学基础_282

几何意义:曲边图形的面积人工智能数学基础之高等数学_高等数学_283

人工智能数学基础之高等数学_极值_284

人工智能数学基础之高等数学_极值_285时,积分人工智能数学基础之高等数学_数学基础_286在集合上表示由人工智能数学基础之高等数学_高等数学_63人工智能数学基础之高等数学_高等数学_250人工智能数学基础之高等数学_AI的数学基础_289人工智能数学基础之高等数学_高等数学_03轴所围成的曲边梯形的面积;
人工智能数学基础之高等数学_AI的数学基础_291时,由人工智能数学基础之高等数学_高等数学_63人工智能数学基础之高等数学_高等数学_250人工智能数学基础之高等数学_AI的数学基础_289人工智能数学基础之高等数学_高等数学_03轴所围成的曲边梯形位于人工智能数学基础之高等数学_高等数学_03轴下方,积分人工智能数学基础之高等数学_数学基础_286在几何上表示上述曲边梯形面积的负值;

如果人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_AI的数学基础_299上的连续函数,并且有人工智能数学基础之高等数学_高等数学_300,那么
人工智能数学基础之高等数学_高等数学_301

也就是说,一个定积分式的值,就是原函数在上限的值与原函数在下限的值的差。

函数单调性与极值

函数单调性

设函数人工智能数学基础之高等数学_高等数学_63人工智能数学基础之高等数学_数学基础_303内可导,对人工智能数学基础之高等数学_高等数学_304

  1. 人工智能数学基础之高等数学_AI的数学基础_305人工智能数学基础之高等数学_AI的数学基础_306内单调递增;
  2. 人工智能数学基础之高等数学_AI的数学基础_307人工智能数学基础之高等数学_AI的数学基础_306内单调递减;

我们来证明第一条:
已知人工智能数学基础之高等数学_极值_309
人工智能数学基础之高等数学_高等数学_310,设人工智能数学基础之高等数学_AI的数学基础_311,
由拉格朗日中值定理可知,存在人工智能数学基础之高等数学_AI的数学基础_312,使得 人工智能数学基础之高等数学_极值_313
由已知人工智能数学基础之高等数学_数学基础_314
可得 人工智能数学基础之高等数学_AI的数学基础_315
人工智能数学基础之高等数学_数学基础_316的任意性,所以人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_数学基础_303内单调递增

函数极值

设函数人工智能数学基础之高等数学_高等数学_63人工智能数学基础之高等数学_AI的数学基础_04的某一邻域人工智能数学基础之高等数学_高等数学_321内有定义,对于人工智能数学基础之高等数学_AI的数学基础_322,且人工智能数学基础之高等数学_高等数学_03人工智能数学基础之高等数学_AI的数学基础_04,均有

  1. 人工智能数学基础之高等数学_AI的数学基础_325,称人工智能数学基础之高等数学_AI的数学基础_84极大值人工智能数学基础之高等数学_极值_83为极大值点
  2. 人工智能数学基础之高等数学_极值_328,称人工智能数学基础之高等数学_AI的数学基础_84极小值人工智能数学基础之高等数学_极值_83为极小值点

极大值和极小值统称为极值;极大值点和极小值点统称为极值点。

人工智能数学基础之高等数学_数学基础_331

要注意是:

  1. 极值是局部性概念
  2. 可以有多个极大值或极小值
  3. 端点不是极值点(极值只在区间内部取得)

极值点处若人工智能数学基础之高等数学_极值_332,这样的点称为驻点,若导数不存在,则称为尖点

我们可以注意到,极值点两侧单调性不同,也就是导数符号不同,
根据这点,我们可以得到极值判定第一充分条件:

极值判定(极值判定第一充分条件)
若函数人工智能数学基础之高等数学_极值_05可导,人工智能数学基础之高等数学_极值_332 ,且 人工智能数学基础之高等数学_数学基础_335人工智能数学基础之高等数学_极值_336人工智能数学基础之高等数学_极值_337(或 人工智能数学基础之高等数学_高等数学_338)同时, 人工智能数学基础之高等数学_高等数学_339人工智能数学基础之高等数学_高等数学_338(或 人工智能数学基础之高等数学_极值_337 ),则人工智能数学基础之高等数学_AI的数学基础_04 是函数人工智能数学基础之高等数学_极值_05

人工智能数学基础之高等数学_AI的数学基础_344


我们看上图,大概人工智能数学基础之高等数学_高等数学_03取-3点处的函数值是极大值,该点出的切线斜率(导数)为0,左则切线斜率大于0,右侧切线斜率小于0。

也就是说,一阶导数在单调递减,因此二阶导数小于0。得出极值判定第二充分条件:

极值判定(极值判定第二充分条件)
设函数人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_高等数学_321二阶可导,且人工智能数学基础之高等数学_极值_332

  1. 人工智能数学基础之高等数学_AI的数学基础_349极大值
  2. 人工智能数学基础之高等数学_AI的数学基础_350极小值
  3. 人工智能数学基础之高等数学_极值_351,无法判定

曲线的凹凸与拐点

凹凸

设函数人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_数学基础_303内可导:

  1. 若曲线人工智能数学基础之高等数学_高等数学_40上任一点切线位于曲线的下方,则称曲线在人工智能数学基础之高等数学_AI的数学基础_306内是凹的,区间人工智能数学基础之高等数学_AI的数学基础_306称为凹区间;
  2. 若曲线人工智能数学基础之高等数学_高等数学_40上任一点切线位于曲线的上方,则称曲线在人工智能数学基础之高等数学_AI的数学基础_306内是凸的,区间人工智能数学基础之高等数学_AI的数学基础_306称为凸区间;

人工智能数学基础之高等数学_数学基础_360

但是这是在给定了函数图像的情况下,若没有函数图像,我们该如何通过函数表达式来判断呢?

我们在曲线上去取三个点人工智能数学基础之高等数学_数学基础_361,过这三个点做切线,这些曲线与人工智能数学基础之高等数学_高等数学_03轴的夹角依次为人工智能数学基础之高等数学_AI的数学基础_363

人工智能数学基础之高等数学_数学基础_364

可以看到,导函数人工智能数学基础之高等数学_数学基础_365是单调递增的,也就是人工智能数学基础之高等数学_高等数学_366

同理,凸函数的二阶导数人工智能数学基础之高等数学_高等数学_367

函数的凹凸性判断
如果函数人工智能数学基础之高等数学_极值_05人工智能数学基础之高等数学_数学基础_303具有二阶导数人工智能数学基础之高等数学_AI的数学基础_370

  1. 若在人工智能数学基础之高等数学_AI的数学基础_306人工智能数学基础之高等数学_AI的数学基础_372,则人工智能数学基础之高等数学_高等数学_40人工智能数学基础之高等数学_AI的数学基础_306内是凹的;
  2. 若在人工智能数学基础之高等数学_AI的数学基础_306人工智能数学基础之高等数学_极值_376,则人工智能数学基础之高等数学_高等数学_40人工智能数学基础之高等数学_AI的数学基础_306内是凸的;

拐点

定义:连续曲线上凹弧与凸弧的分界点称为曲线的拐点。

人工智能数学基础之高等数学_高等数学_379

历经一个月,这篇文章终于更新完了,高数知识暂时告一段落了,后面的学习过程中如果碰到了相关知识会在本文中补充
在人工智能中,向量、矩阵也很重要。这些知识点尽在​​​线性代数​​中