微积分笔记:修订间差异
小无编辑摘要 |
小无编辑摘要 |
||
| (未显示同一用户的6个中间版本) | |||
| 第98行: | 第98行: | ||
:这样我们可以得到 <math>x_{n+1} = xn - \frac{f(x_n)}{f'(xn)}</math> | :这样我们可以得到 <math>x_{n+1} = xn - \frac{f(x_n)}{f'(xn)}</math> | ||
:一般情况下,<math>x_{n+1}</math> 对应的 <math>f(x_{n+1})</math> 是比 <math>f(x_n)</math>更接近于 0的,如此迭代,则能无限逼近 <math>f(x)=0</math>的解 <math>x</math>. | :一般情况下,<math>x_{n+1}</math> 对应的 <math>f(x_{n+1})</math> 是比 <math>f(x_n)</math>更接近于 0的,如此迭代,则能无限逼近 <math>f(x)=0</math>的解 <math>x</math>. | ||
==洛必达法则== | |||
如果<math>f(a)=g(a)=0</math>,则有 <math>\lim_{x \to a} \frac {f(x)}{g(x)} = \lim_{x \to a} \frac {f'(x)}{g'(x)}</math>,假设等式右边的极限存在。 | |||
==积分== | ==积分== | ||
| 第153行: | 第156行: | ||
::::::<math>\int_{a}^\infty f(x)dx = \lim_{N \to \infty}\int_{a}^N f(x)dx</math> | ::::::<math>\int_{a}^\infty f(x)dx = \lim_{N \to \infty}\int_{a}^N f(x)dx</math> | ||
::::::<math>\int_{-\infty}^b f(x)dx = \lim_{N \to -\infty}\int_{N}^b f(x)dx</math> | ::::::<math>\int_{-\infty}^b f(x)dx = \lim_{N \to -\infty}\int_{N}^b f(x)dx</math> | ||
===极限比较判别法=== | |||
如果 <math>\lim_{x \to a} \frac{f(x)}{g(x)}=1</math>,我们说当 <math>a \to b</math>时,<math>f(x)</math> 和 <math>g(x)</math> 是渐近等价的,即 <math>f(x) \sim g(x)</math>。 | |||
'''极限比较判别法''' 定义: | |||
:如果 <math>a \to b</math>时 <math>f(x) \sim g(x)</math>,且这两个函数 [a,b]上没有其他瑕点了,那么积分 <math>\int_{a}^b f(x)dx</math> 与 <math>\int_{a}^b g(x)dx</math>是同时收敛或同时发散的。 | |||
===p判别法=== | |||
:*<math>\int_{}^\infty </math>的情况:对于任何有限值 <math>a > 0</math>,积分 <math>\int_{a}^\infty \frac{1}{x^p}dx</math>,在 <math>p>1</math> 时是收敛的,在 <math>p\le1</math>时是发散的。 | |||
:*<math>\int_{0}</math>的情况:对于任何有限值 <math>a > 0</math>,积分 <math>\int_{0}^a \frac{1}{x^p}dx</math>,在 <math>p<1</math> 时是收敛的,在 <math>p\ge1</math>时是发散的。 | |||
===绝对收敛判别法=== | |||
:如果<math>\int_{a}^b|f(x)|dx</math>是收敛的,那么 <math>\int_{a}^bf(x)dx</math>也是收敛的。 | |||
==泰勒多项式、泰勒级数和幂级数导论== | |||
==复数== | |||
===欧拉公式=== | |||
::::::<math>x+iy=re^{iθ}</math> | |||
2018年3月21日 (三) 03:10的最新版本
函数
- 反函数与原函数关于 y=x镜面对称
- 函数的复合
可表示为 ,即f是g与h的复合。
- 有理函数
- 三角函数
“互余”:
- 解析失败 (语法错误): {\displaystyle 三角函数(x)=co-三角函数(\frac{\pi}{2}-x)} ,如:
其他公式:
极限导论
三明治定理(又称作 夹逼定理):如果一个函数 f 被夹在函数 g 和 h 之间, 当 x → a 时, 这两个函数 g 和 h 都收敛于同一个极限 L, 那么当 x → a 时, f 也收敛于极限 L.
多项式
立方差公式:
函数的导数
乘积法则:
- 解析失败 (语法错误): {\displaystyle 如果h(x)=f(x)g(x),那么h'(x)=f'(x)g(x)+f(x)g'(x)}
- 解析失败 (语法错误): {\displaystyle 如果 y=uvw,那么 \frac{dy}{dx}=\frac{du}{dx}vw + u\frac{dv}{dx}w + uv\frac{dw}{dx}}
商法则:
- 解析失败 (语法错误): {\displaystyle 如果 h(x)=\frac{f(x)}{g(x)},那么 h'(x)=\frac{f'(x)g(x)-f(x)g'(x)}{(g(x))^2}}
链式求导法则:
- 解析失败 (语法错误): {\displaystyle 如果 h(x)=f(g(x)),那么 h'(x)=f'(g(x))g'(x)}
三角函数
三角函数关键公式:
指数函数和对数函数
如果,即a的x次方等于N(a>0,且a≠1),那么数x叫做以a为底N的对数(logarithm),记作。其中,a叫做对数的底数,N叫做真数,x叫做“以a为底N的对数”。
- 特别地,我们称以10为底的对数叫做常用对数(common logarithm),并记为lg。
- 称以无理数e(e=2.71828...)为底的对数称为自然对数(natural logarithm),并记为ln。
- 零没有对数。
- 在实数范围内,负数无对数; 在复数范围内,负数是有对数的。
对数法则
...略
复利极限
令 (e=2.718...),则:
- 和
导数
和
指数增长/衰减方程
,k为增长/衰减常数,k>0时为增长方程,相应地,k<0为衰减方程。
双曲函数
定义:
有:
最优化和线性化
线性化
对于函数 在 上的值 ,可以选取一个接近于 的 (使得 可以轻易计算),再对 求导得出 ,则可利用线性化计算出 :
误差方程:
取绝对值:
解析失败 (语法错误): {\displaystyle |误差|=\frac{1}{2}|f''(c)||x-a|^2}
对 取最大值 M:
解析失败 (语法错误): {\displaystyle |误差|\le\frac{1}{2}M|x-a|^2}
牛顿法
对于某些函数 ,我们想取其与 轴交点,即 时对应的 ,直接计算非常困难,我们则可以尝试用牛顿法逼近:
洛必达法则
如果,则有 ,假设等式右边的极限存在。
积分
求的值:
- 我们知道 = ,我们令其和为 S,则:
- ,而
- ,即:
伸缩求和法
求的值:
这样的级数我们称为伸缩级数,有:
同样,对于 ,我们将 进行分解,得到:
- ,代入伸缩级数求和的值 ,可以同样得出:
- ,代入伸缩级数求和的值 ,可以同样得出:
类似地,可以得出:
微积分
令,有:
微积分第一基本定理:
-
- 如此,在计算 时,由于 ,我们只要求出对应的 即可,而 ,故只要思考得到什么函数的导数是,则可得到 ,再代入即可求出常量 。
-
微积分第二基本定理:
不定积分
- 解析失败 (语法错误): {\displaystyle ∫f(x)d(x)}
表示函数的反导数集合,如果 ,则:
- 解析失败 (语法错误): {\displaystyle ∫f(x)d(x) = F(x) + C}
- 解析失败 (语法错误): {\displaystyle ∫f(x)d(x)}
表示函数的反导数集合,如果 ,则:
分部积分法
- 解析失败 (语法错误): {\displaystyle ∫udv = uv - ∫vdu}
反常积分
定义
如果出现下面三种情况,积分 就是反常积分:
- 函数在 内是无界的
收敛or发散
如果仅仅在 x接近于 a点该函数 f(x)是无界的,则定义:
如果积分存在,我们说这个反常积分收敛,否则则为发散。
无穷区间上的积分
极限比较判别法
如果 ,我们说当 时, 和 是渐近等价的,即 。
极限比较判别法 定义:
- 如果 时 ,且这两个函数 [a,b]上没有其他瑕点了,那么积分 与 是同时收敛或同时发散的。
p判别法
- 的情况:对于任何有限值 ,积分 ,在 时是收敛的,在 时是发散的。
- 的情况:对于任何有限值 ,积分 ,在 时是收敛的,在 时是发散的。
绝对收敛判别法
- 如果是收敛的,那么 也是收敛的。
泰勒多项式、泰勒级数和幂级数导论
复数
欧拉公式
- 解析失败 (语法错误): {\displaystyle x+iy=re^{iθ}}