极限
- 上界存在,则上确界存在
- 数列极限
- 定义
- 性质:唯一、有界(保序、夹逼、不等式性质)、保号、四则运算
- 判定:
- 单侧:单调有界
- 双侧:闭区间套
- 增量:柯西审敛
- 归并和收敛子列
- 聚点
- 有限覆盖原理
- 函数极限
- 定义
x → A x \rightarrow A x→A,那么 x ≠ A x \neq A x=A
A ≠ ± ∞ A \neq \pm \infty A=±∞, x x x从两侧逼近 A A A
这主要与复合函数的极限传递有关 - 性质:唯一、有界(保序、夹逼、不等式性质)、保号、四则运算
- 判定:
- 单侧:单调有界
- 双侧:闭区间套
- 增量:柯西审敛
- 归并
- 聚点
- 有限覆盖原理 #亲,建议用反证法代替这个定理呢
- 定义
- 无穷小及其阶数
- 等价无穷的可代换性
函数和级数
函数
- 连续性
- 一点连续
1.一点间断(左右极限正常:第一类) - 处处连续
- 有界(有限覆盖原理/反证)、最值(确界原理)、零点、介值
- 一直连续
- 一点连续
- 微分和导函数
- 可导的定义、与连续的关系、与可微的等价
- 求导法则:四则运算+复合+反;高阶导数:递归;高阶的:线性+莱布尼兹类组合数的形式;隐函数求导;参数方程求导。
- 中值定理:费马引理、罗尔定理、达布定理(介值,未必连续)、拉格朗日-柯西中值定理、洛必达法则、泰勒公式(皮亚诺余项-n阶导数点存在;拉格朗日余项-n+1阶导数区间存在(相当于给出了皮亚诺的具体形式))
- 形态:单调性与导数的正负性(非严格等价、严格不等价)、极值与导函数零点(结合两侧导数正负性 <-免去高阶求导的方法/高阶导数)、凹凸性与导数&导函数的关系。
- 积分和原函数
1.黎曼可积(有界、定义域有界函数)(达布上和==达布下和)(可积条件:第一类间断点测度为0)
2. 线性、保号、三角不等式、区间可加;中值定理:Ⅰ连续x保号Ⅱ略
3. 换元积分(复合)、分部积分(乘积):凑初等形式
4. 无穷积分、无限函数积分收敛判定:比较法则及其极限形式(比较函数,推断积分的收敛性);绝对收敛/柯西收敛。
级数(不含傅里叶级数)
- 分类
- 数项
- 正项
- 任意项
- 函数项
- 数项
- 运算次序
- 加法结合律:归并原理
- 加法交换律
1.黎曼定理:条件收敛趋向任何值;绝对收敛不变 - 对于两个级数:构成线性空间(可两两结合);对于绝对级数构成欧式空间(柯西乘积,乘法分配,新角标是 c k = Σ i + j = k a i b j c_{k} = \Sigma_{i+j=k}a_ib_j ck=Σi+j=kaibj)
- 正项的收敛判别
- 定义 lim n → + ∞ S n \lim_{n\rightarrow +\infty} S_n limn→+∞Sn
- 单调有界则收敛:衍生为比较判别
- b > a ; b a > 1 ; b>a; \frac{b}{a}\gt 1; b>a;ab>1;事实上,只要和1比较就OK;更强的条件(ab差距逐步加大) b n + 1 a n + 1 > b n a n ↔ b n + 1 b n > a n + 1 a n \frac{b_{n+1}}{a_{n+1}}\gt \frac{b_n}{a_n}\leftrightarrow \frac{b_{n+1}}{b_n}\gt\frac{a_{n+1}}{a_n} an+1bn+1>anbn↔bnbn+1>anan+1。极限是 0 , ∞ 0,\infty 0,∞!如果是非零常数,则敛散性相同。
- 与几何级数比较:柯西 a n n \sqrt[n]{a_n} nan,达朗贝尔 a n + 1 a n a_{n+1}\over a_{n} anan+1。及其极限形式。注意极限为1的的时候需要用初等方法进一步判断
- 与 x n = n n + 1 x_n = \frac{n}{n+1} xn=n+1n比较:拉贝。发散方向:调和级数 a n + 1 a n > 1 n + 1 1 n = n n + 1 \frac{a_{n+1}}{a_n}\gt\frac{\frac{1}{n+1}}{\frac{1}{n}}=\frac{n}{n+1} anan+1>n1n+11=n+1n, 1 − a n + 1 a n < 1 − n n + 1 = 1 n + 1 1-\frac{a_{n+1}}{a_n}\lt 1-\frac{n}{n+1}=\frac{1}{n+1} 1−anan+1<1−n+1n=n+11。收敛方向:朴素比较 x n = n n + 1 x_n = \frac{n}{n+1} xn=n+1n。 判别式 : n ( 1 − a n + 1 a n ) = p + θ n n 1 + ε 判别式:n(1-\frac{a_{n+1}}{a_n})=p+\frac{\theta_n}{n^{1+ε}} 判别式:n(1−anan+1)=p+n1+εθn
- 柯西审敛原理的推论:
- 迪利克雷(含莱布尼茨) cos n 1 n \cos{n}\frac{1}{\sqrt{n}} cosnn1(和有界)(单调趋于0)
- 阿贝尔 e − n ( A + 1 n ) e^{-n}(A+\frac{1}{\sqrt{n}}) e−n(A+n1)(和收敛)(单调趋于0+A)
- 夹逼/保号/保序:积分
- 无穷乘积 :Π(t+1)<=>Σln(t+1)(不是大小关系;见阿贝尔定理);t正负性不变时,或Σt²<∞,Σln(t+1)<=>Σt;Σt²=∞,Σt→A,Σln(t+1)发散到0。
- 绝对收敛:Π(|t|+1)收敛
(多变量)微积分
点列的收敛
- ∣ ∣ A − X ∣ ∣ < ϵ ||A-X|| \lt \epsilon ∣∣A−X∣∣<ϵ或者 X ∈ B ϵ ( A ) X \in B_\epsilon(A) X∈Bϵ(A),注意模(长度)的意义。(同样的定义有界 等等。)向量不仅有大小,还有方向。在定义基本列 等等概念时,仅仅限制了大小,而对任意方向成立。#柯西收敛与实数公理等价,因此证明过程中会用到相关知识 <!- 实数公理的相关形式都在n维欧式空间有对应形式。最简单的拓展方式是用下面提到的按分量收敛。>
- 按分量收敛 ↔ \leftrightarrow ↔收敛。//这一类证明用到了三角不等式/柯西不等式。 /*其本质是: Σ ∣ x i ∣ \Sigma|x_i| Σ∣xi∣与 ∣ ∣ X ∣ ∣ ||X|| ∣∣X∣∣同阶。*/
- 核心知识:开集&闭集
- 内点(性质类似:确界);开集 ↔ 内点集 S o = S \leftrightarrow 内点集S^o=S ↔内点集So=S,闭集 S 为开集,则 S C 为闭集 S为开集,则S^C为闭集 S为开集,则SC为闭集;并约定: Φ 、 R n × n \Phi、R^{n \times n} Φ、Rn×n都是开集(也都是闭集)。
- 聚点(性质类似:函数极限;注意:互不相同 的点); 导集 S ′ ;闭包 S — = S ′ ⋃ S 导集S';闭包S^— = S' \bigcup S 导集S′;闭包S—=S′⋃S;闭集 ↔ 闭包集 S — = S \leftrightarrow 闭包集S^—=S ↔闭包集S—=S。
- 构造开闭集: S o , S — S^o,S^— So,S—
- 直径 d i a m ( S ) = m a x { ∣ ∣ A − B ∣ ∣ : A , B ∈ S } diam(S)=max\{||A-B||:A,B\in S\} diam(S)=max{∣∣A−B∣∣:A,B∈S}。之前讨论的实数公理的推广,其中闭区间套;后期的积分;定义中都用到了。
- 边界: ∂ S = S — ⋂ ( S o ) C \partial S = S^— \bigcap (S^o)^C ∂S=S—⋂(So)C。( B r V ( X ) ⋃ S ≠ Φ B_r^V(X) \bigcup S \neq \Phi BrV(X)⋃S=Φ 且 B r V ( X ) ⋃ S C ≠ Φ B_r^V(X) \bigcup S^C \neq \Phi BrV(X)⋃SC=Φ)
多元函数的极限
首先讨论
f
:
D
(
R
n
)
→
R
f:D(R^n) \rightarrow R
f:D(Rn)→R。每少一个自由度(多一个方程),就降一个维度。
问题的难点就在于方向/路径。收敛的方向必须具有任意性。
- 0 0 0 \over 0 00型趋于0:分母阶数明显小于分子,且变量的阶数分步均匀。 x 2 y 4 x 2 + y 4 x^2 y^4 \over x^2 + y^4 x2+y4x2y4
- 可以转化成多个一元函数极限的关系 x y = e x ln y x^y = e^{x \ln y} xy=exlny
证明不存在的反例:特殊路径。极限不存在,或者随路径变化
- 阶数相同的分式 sin x + y 2 x 2 \sin{x+y^2 \over x^2} sinx2x+y2
累次极限 与 重极限的区别
-
重…存在,累次…不一定存在(可能个别不存在,也可能一个都不能存在)。
-
重…不存在,累次…不一定不存在。
- 重…存在,累次…若存在,未必相等 。
-
重极限存在,若某一个累次极限存在 ,那么这个累次极限与重极限相等。
连续性
- 在一点连续
- 有界、最值:闭集
- 零点、介值:折线联通性的开集或者区域。并入边界为闭区域。利用折线和向量的首尾相连,化成单变量情形。
- 对某个变量连续
- 处处连续&一致连续
向量值函数
f
:
D
(
R
n
)
→
R
m
f:D(R^n) \rightarrow R^m
f:D(Rn)→Rm。
u
=
F
(
x
)
=
[
u
1
u
2
…
u
m
]
=
[
f
1
(
x
)
f
2
(
x
)
…
f
m
(
x
)
]
u=F(x)= \left[ \begin{matrix} u_1 \\ u_2 \\ … \\ u_m \end{matrix} \right] = \left[ \begin{matrix} f_1(x) \\ f_2(x) \\ … \\ f_m(x) \end{matrix} \right]
u=F(x)=
u1u2…um
=
f1(x)f2(x)…fm(x)
{
x
=
r
sin
ϕ
cos
θ
y
=
r
sin
ϕ
sin
θ
z
=
r
cos
ϕ
\begin{cases} x = r\sin \phi \cos \theta \\ y = r\sin \phi \sin \theta \\ z = r \cos \phi \end{cases}
⎩
⎨
⎧x=rsinϕcosθy=rsinϕsinθz=rcosϕ
拓展:极限、连续(处处连续)、分量
示例:复合函数的连续性的定义和证明。
微分
- 导数,只有偏导数。例如 f ( x , y ) 在 M 0 = ( x 0 , y 0 ) 处的导数 f(x,y)在M_0=(x_0,y_0)处的导数 f(x,y)在M0=(x0,y0)处的导数,与累次极限不同, y y y取到了 y 0 y_0 y0。记号 ∂ f ∂ x ∣ ( x , y ) = M 0 = f x ′ ( M 0 ) {\partial f \over \partial x}|_{(x,y)=M_0} = f'_x(M_0) ∂x∂f∣(x,y)=M0=fx′(M0)因此导数的摄动,仅限于正交方向。(实质上还是单变量微商。物理意义:正交切面的曲线斜率)
- 导函数,仍是二元函数。对 x x x偏导, y y y视为参数。 ∂ ∂ x f ( x , y ) = f x ′ ( x , y ) {\partial \over \partial x}f(x,y)=f'_x(x,y) ∂x∂f(x,y)=fx′(x,y)
- 微分形式不变性 :仅限于一次微分。体现:一元的复合函数(链式法则)、反函数的求导,n元的(偏)导数与微分的等价性【尤其n元函数的
d
u
du
du可以逐层展开,并用到乘法、加法的运算律合并同类项】。
- 偏微分和全微分: d f ( x , y ) = [ ∂ ∂ x f ] ( x , y ) d x + [ ∂ ∂ y f ] ( x , y ) d y d f(x,y) = [{\partial \over \partial x}f](x,y) dx +[{\partial \over \partial y}f](x,y)dy df(x,y)=[∂x∂f](x,y)dx+[∂y∂f](x,y)dy = f x ′ ( x , y ) d x + f y ′ ( x , y ) d y =f'_x(x,y)dx+f'_y(x,y)dy =fx′(x,y)dx+fy′(x,y)dy
- 严格定义: Δ u = A Δ x + B Δ y + o ( ( Δ x ) 2 + ( Δ y ) 2 ) \Delta u=A\Delta x+B\Delta y+o(\sqrt{(\Delta x)^2+(\Delta y)^2}) Δu=AΔx+BΔy+o((Δx)2+(Δy)2)注意:一元函数情形下微分与导数等价,是极限运算律的体现;n元情形下, 微分存在,则偏导都存在 微分存在,则偏导都存在 微分存在,则偏导都存在; 偏导都存在,微分未必存在 偏导都存在,微分未必存在 偏导都存在,微分未必存在。事实上, 偏导连续时可微 偏导连续时可微 偏导连续时可微。
- 为什么累次极限和重极限不同步?(因为函数极限是取不到 M 0 M_0 M0的,像 x sin 1 y x\sin {\frac{1}{y}} xsiny1的性质发生改变)为什么偏微分和偏导数不同步?(因为极限除了我们讨论的分量都集中在了 M 0 M_0 M0,使得类似 x 2 y 2 4 \sqrt[4]{x^2y^2} 4x2y2的性质改变。) //这两个反例的问题都不是出在方向上,而是一个 0 0 0的乘积项能否取到(以掩盖非零的特殊性质),这是一元函数碰不到的问题,毕竟 y y y对于 x x x不是超参数,而是变量;方向更多的是影响极限的值。 //偏导连续,则可微;函数连续,则累次极限与重极限同时存在且相等。连续代表着,去心邻域的性质与该点的性质相同。一个 0 0 0的乘积项是否为 0,都不影响;不连续,例如以上两反例分别出现的震荡、无穷,使得 0 0 0的乘积项不为 0的时候相应的出现了震荡、无穷,进而是否取到 0成了决定性的因素;连续,则即使取不到 0 也会趋于0。
- 高阶微分,出现了组合复杂度和求导次序问题。次序不同的高阶偏导数,若连续,则相等
- 链式法则
u
=
u
(
x
,
y
)
=
u
(
x
(
a
,
b
)
,
y
(
a
,
b
)
)
u=u(x,y)=u(x(a,b),y(a,b))
u=u(x,y)=u(x(a,b),y(a,b))
- 角度1 ∂ u ∂ a = ∂ u ∂ x ∂ x ∂ a + ∂ u ∂ y ∂ y ∂ a {\partial u \over \partial a}={\partial u \over \partial x}{\partial x \over \partial a}+{\partial u \over \partial y}{\partial y \over \partial a} ∂a∂u=∂x∂u∂a∂x+∂y∂u∂a∂y
- 角度2 d u = u x ′ d x + u y ′ d y du=u'_xdx+u'_ydy du=ux′dx+uy′dy = u x ′ ( x a ′ d a + x b ′ d b ) + u y ′ ( y a ′ d a + y b ′ d b ) =u'_x(x'_ada+x'_bdb)+u'_y(y'_ada+y'_bdb) =ux′(xa′da+xb′db)+uy′(ya′da+yb′db) = ( u x ′ x a ′ + u y ′ y a ′ ) d a + ( u x ′ x b ′ + u y ′ y b ′ ) d b =(u'_xx'_a+u'_yy'_a)da+(u'_xx'_b+u'_yy'_b)db =(ux′xa′+uy′ya′)da+(ux′xb′+uy′yb′)db
- 【例题】:求u对a的二阶偏导数。 ⋆ \star ⋆注意都是函数!最基本的单元是导函数;我们的任务说白了也就是,把式子拆分成基本单元,每个单元的
- 一些记号。 z = f ( x , g ( x , t ) ) z=f(x,g(x,t)) z=f(x,g(x,t))中 ∂ z ∂ x {\partial z \over \partial x} ∂x∂z有歧义。 ∂ z ∂ x {\partial z \over \partial x} ∂x∂z= ∂ z ∂ x {\partial z \over \partial x} ∂x∂z+ ∂ z ∂ g {\partial z \over \partial g} ∂g∂z· ∂ g ∂ x {\partial g \over \partial x} ∂x∂g。实际上,标准的写法应该是 ∂ f ∂ x {\partial f \over \partial x} ∂x∂f= ∂ f ∂ x {\partial f \over \partial x} ∂x∂f· ∂ x ∂ x {\partial x \over \partial x} ∂x∂x+ ∂ z ∂ g {\partial z \over \partial g} ∂g∂z· ∂ g ∂ x {\partial g \over \partial x} ∂x∂g。正如我们已经讨论的,第一个 ∂ z ∂ x {\partial z \over \partial x} ∂x∂z实际上是 [ ∂ ∂ x z ] ( x , t ) [{\partial \over \partial x}z](x,t) [∂x∂z](x,t)的函数;第二个 ∂ z ∂ x {\partial z \over \partial x} ∂x∂z实际上是 [ ∂ ∂ x z ] ( x , g ( x , t ) ) [{\partial \over \partial x}z](x,g(x,t)) [∂x∂z](x,g(x,t))的函数。z是(x,t)的函数也是(x,g)的函数,但只居其一,不居其二。为了表示清晰,所有跟 ∂ \partial ∂ 号结合的,不是自变量,就是函数名。 ∂ ∂ t \partial \over \partial t ∂t∂和 ( ) t ′ ()'_t ()t′是针对函数的算子,仅仅作用于直接的自变量。
- 记住莱布尼兹形式和以下形式 d n u = ( d x ∂ ∂ x + d y ∂ ∂ y + d z ∂ ∂ z + … ) n u d^nu=(dx\frac{\partial}{\partial x}+dy\frac{\partial}{\partial y}+dz\frac{\partial}{\partial z}+…)^nu dnu=(dx∂x∂+dy∂y∂+dz∂z∂+…)nu
- 泰勒公式 f ( x + a , y + b ) = Σ i = 0 n 1 i ! [ ( a ∂ ∂ x + b ∂ ∂ y ) i f ( x , y ) ] f(x+a,y+b)=\Sigma_{i=0}^{n}\frac{1}{i!}[(a\frac{\partial}{\partial x}+b\frac{\partial}{\partial y})^if(x,y)] f(x+a,y+b)=Σi=0ni!1[(a∂x∂+b∂y∂)if(x,y)]
- u = F ( x ) = [ u 1 , u 2 , … , u m ] = [ f 1 ( x ) , f 2 ( x ) , … , f m ( x ) ] u=F(x)=[u_1,u_2,…,u_m]=[ f_1(x), f_2(x), … ,f_m(x)] u=F(x)=[u1,u2,…,um]=[f1(x),f2(x),…,fm(x)] ∂ ∂ x 1 F = [ ∂ ∂ x 1 f 1 ( x ) ∂ ∂ x 1 f 2 ( x ) … ∂ ∂ x 1 f m ( x ) ] {\partial \over \partial {x_1}}F= \left[ \begin{matrix} {\partial \over \partial {x_1}}f_1(x) \\{\partial \over \partial {x_1}} f_2(x) \\ … \\{\partial \over \partial {x_1}} f_m(x) \end{matrix} \right] ∂x1∂F= ∂x1∂f1(x)∂x1∂f2(x)…∂x1∂fm(x) J F = [ ∂ ∂ x 1 F , ∂ ∂ x 2 F , … , ∂ ∂ x n F ] JF=[{\partial \over \partial {x_1}}F,{\partial \over \partial {x_2}}F,…,{\partial \over \partial {x_n}}F] JF=[∂x1∂F,∂x2∂F,…,∂xn∂F] m = n : J F 记作 ∂ ( f 1 , f 2 , … , f n ) ∂ ( x 1 , x 2 , … , x n ) m=n:JF记作{\partial (f_1,f_2,…,f_n) \over \partial (x_1,x_2,…,x_n)} m=n:JF记作∂(x1,x2,…,xn)∂(f1,f2,…,fn) 这就是大名鼎鼎的雅可比矩阵/行列式。具有线性。 n = 1 : J F 记作 D F n=1:JF记作DF n=1:JF记作DF。由微分不变性,有如下矩阵变换: ∂ ( f 1 , f 2 , … , f m ) ∂ ( x 1 , x 2 , … , x n ) ⋅ ∂ ( x 1 , x 2 , … , x n ) ∂ ( t 1 , t 2 , … , t k ) {\partial (f_1,f_2,…,f_m) \over \partial (x_1,x_2,…,x_n)}·{\partial (x_1,x_2,…,x_n) \over \partial(t_1,t_2,…,t_k) } ∂(x1,x2,…,xn)∂(f1,f2,…,fm)⋅∂(t1,t2,…,tk)∂(x1,x2,…,xn) = ∂ ( f 1 , f 2 , … , f m ) ∂ ( t 1 , t 2 , … , t k ) ={\partial (f_1,f_2,…,f_m) \over \partial(t_1,t_2,…,t_k) } =∂(t1,t2,…,tk)∂(f1,f2,…,fm) 因此 ∂ F ∂ X = ∂ X ∗ ∂ _ F _ − 1 {\partial F \over \partial X}={\partial X* \over \partial \_F\_ }^{-1} ∂X∂F=∂_F_∂X∗−1我的传统,理顺函数与自变量。左侧, F = F ( X ) F=F(X) F=F(X)正常;右侧, X = X ∗ ( _ F _ ) X=X*(\_F\_) X=X∗(_F_)中 X ∗ X* X∗是 使得项 _ F _ 能映射成自变量项 X 的函数 使得项\_F\_能映射成自变量项X的函数 使得项_F_能映射成自变量项X的函数。 d F ( X ) = J F ⋅ d X dF(X)=JF·dX dF(X)=JF⋅dX Δ F ( X ) = J F ⋅ Δ X + K m ( X ) , ∣ ∣ K m ( X ) ∣ ∣ = o ( ∣ ∣ Δ X ∣ ∣ ) \Delta F(X)=JF·\Delta X + K_m(X),||K_m(X)||=o(||\Delta X||) ΔF(X)=JF⋅ΔX+Km(X),∣∣Km(X)∣∣=o(∣∣ΔX∣∣) J { x = r sin ϕ cos θ y = r sin ϕ sin θ z = r cos ϕ = r 2 sin ϕ J\begin{cases} x = r\sin \phi \cos \theta \\ y = r\sin \phi \sin \theta \\ z = r \cos \phi \end{cases} = r^2\sin \phi J⎩ ⎨ ⎧x=rsinϕcosθy=rsinϕsinθz=rcosϕ=r2sinϕ J { x = cos θ y = sin θ = r J\begin{cases} x = \cos \theta \\ y = \sin \theta \end{cases} = r J{x=cosθy=sinθ=r
- 隐函数:注意自变量、因变量关系。本质,等式两侧导数相同。 K ( u , x , y ) = 0 K(u,x,y)=0 K(u,x,y)=0求 ∂ u ∂ x \partial u \over \partial x ∂x∂u和 ∂ u ∂ y \partial u \over \partial y ∂y∂u。