分析之【一元微分学】
这一部分主要集中讨论定义在闭区间上的一元实函数.
导数定义与性质
在此先给出定义在RR的子集上的可微函数的定义, 并给出计算导数的基本法则.
[定义][导数]
令D⊂RD⊂R,称函数f:D→R在点x0∈D可微, 若满足:f′(x0):=limx→x0 x∈D∖x0f(x)−f(x0)x−x0=limh→0 h≠0 x0+h∈Df(x0+h)−f(x0)h
存在. 有时也用符号dfdx(x0)替代f′(x0), 称为函数f在点x0处的\textbf{导数(微商)}.
若∀x∈D, f皆可微, 则称函数f在D上是可微的.
上面的定义中可以考虑单侧极限, 进而得到单侧导数的定义.函数在一点未必有定义但可以在这一点处有导数.
导数的几何意义是明显的.考虑函数f在x0附近的图像, 经过图像上的两点(x0,f(x0)),(x,f(x)),可以做一条割线.x→x0时, 若f在点x0处可导 , 则这条割线的极限位置, 就是f在x0处的切线,斜率为f′(x0). 导数与切线
其实切线可以视为函数f在x0处的线性近似,从这里,我们引入微分学的主要工具之一,有限增量公式, 也就是微分的概念.
[定义][微分]
设f是在x0附近有定义的函数,如果存在常数A使得f(x)=f(x0)+A(x−x0)+o(x−x0),x→x0,
其中o(x−x0)为无穷小量.则称f在x0处可微, x0处的线性映射x⟼Ax称为f在x0处的微分,记为df(x0).
导数和微分的关系,表现为有限增量公式,即
[定理][有限增量公式]
设f在x0附近有定义,f在x0处可导,当且仅当f在x0处可微. 并且有A=f′(x0),即
Δy=f(x)−f(x0)=f′(x0)Δx+o(Δ),x→x0.
上式也可以写成另一个形式
Δy=f′(x0)Δx+ω(x)Δx
其中函数ω(x)满足limx→x0ω(x)=ω(x0)=0.
由此可立得
[定理]
若函数f:D→R在x0∈D上可微,则函数f在x0点连续.
以上命题得逆命题并不成立. 在整个定义域上处处连续单数处处不可微的一个例子是 Weiestrass 给出的函数.
由极限的运算和导数的定义, 容易得到导数的运算性质:
设函数f,g:D→R, 均在点x∈D可微,则f+g,fg,f/g均在x点可微, 且
- (f+g)′(x)=f′(x)+g′(x);
- (fg)′(x)=f′(x)g(x)+f(x)g′(x);
- 若g(x)≠0, (fg)′(x)=g(x)f′(x)−g′(x)f(x)g2(x).
下面是重要的\textbf{链式法则}.用导数的定义容易证明.
[定理][链式法则]
设f:D1→R在点x∈D1可微, 同时f(D1)⊂D2. 再设g:D2→R,在点y:=f(x)可微. 那么两个函数的复合函数g∘f在x可微. 且(g∘f)′=g′(f(x))f′(x).
接下来是另一个重要的结果, 使得我们在知道一个函数的导数的情况下, 可以计算这个函数的反函数的导数. 当然, 反函数的存在是有条件的, 为此先给出函数单调的定义.
[定义][单调]
我们称函数f:I→R(I为区间)\textbf{单调增加(减少)},当∀x1,x2∈I,x1<x2时, 有f(x1)⩽(⩾)f(x2). 称函数f:I→R(I为区间)\textbf{严格单调增加(减少)},当∀x1,x2∈I,x1<x2时, 有f(x1)<(>)f(x2).
于是关于反函数存在及求导规则, 有以下结果:
[定理][反函数求导法则]
令I⊂R为一开区间,而函数f:I→R是严格单调递增(递减)的,那么,存在连续函数φ:f(I)→R, 其满足∀x∈I,φ∘f(x)=x, ∀y∈f(I),f∘φ(y)=y. φ称之为\textbf{函数f在区间I上的反函数}, 用符号f−1表示.若函数f:I→R在x∈I上可微, 并且f′(x)≠0, 那么φ在点y:=f(x)可微, 并且
φ′(y)=1f′(x)=1f′(φ(y)).
接下来给出高阶导数的定义.
[定义]
如果函数f:D→R是可微的, 而其导函数f′在D上又是可微的, 则记f′的导函数数为f″, 称为f的二阶导数. 如此继续定义, 可以得到
f,f″,f(3),⋯,f(n)
这一系列函数, 每一个都是前一个的导函数. f(n)称为函数f的n阶导函数. 也可以用符号dnfdxn来表示.
另外我们用符号Ck(D,R)表示由D上的k-重连续可微的实函数构成的向量空间. 定义C∞(D,R)=C∞(D):=⋂k∈NCk(D)为D上无限阶连续可微的实函数构成的向量空间.
对于高阶导数的计算, 一个主要的工具就是莱布尼茨(Leibniz)公式:
(uv)(n)=C0nu0vn+C1nu′v(n−1)+C2nu″v(n−2)+⋯+Cnnu(n)v(0)=∑nk=0Cknu(k)v(n−k).
例3.1的f(x)的函数图像
这里举一个数学分析中的重要而且有趣的例子. 我们知道函数ex是C∞(R)的, 可以借此构造一个不那么平凡的C∞(R)函数的例子,其中的辅助函数,在解决一些问题时有用.
[举例]
定义函数
f(x):={e−1x2,x≠0, 0,x=0,.
显然这是一个R上的非常值函数.而事实上利用链式法则和数学归纳法,可以证明这个函数在x=0处的任意阶导数都等于0.
可微函数性质
关于可微函数典型的一些性质, 我们从微分中值定理开始介绍, 并给出一些应用. 还有重要的泰勒公式. 这些内容构成了微分学的核心部分.
中值定理
先引入局部极大值(极小值)的定义
[定义]
设f是定义在度量空间X上的实值函数,称f在点p∈X取得**局部极大值(极小值),若∃δ>0,当d(p,q)<δ而且q∈X时, 有f(q)⩽(⩾)f(p).
[定理][Taylor]
设函数f:(a,b)→R在x0∈(a,b)取得局部极大(小)值, 而f在x0处可微, 则f′(x0)=0.
我们常见的中值定理有三个, Rolle, Lagrange, Cauchy,这三个中值定理一个比一个更一般.
[定理][Cauchy 中值定理]
连续实函数f,g:[a,b]→R, 它们在(a,b)中可微(端点不要求), 则∃ξ∈(a,b), 使得
[g(b)−g(a)]f′(ξ)=[f(b)−f(a)]g′(ξ).
若在上面的定理中取g(x)=x, 则得到:
[定理][Lagrange 中值定理]
连续实函数f:[a,b]→R, 其在(a,b)中可微(端点不要求), 则∃ξ∈(a,b), 使得
f(b)−f(a)b−a=f′(ξ).
进一步的, 若函数f在两端点的函数值相等,即f(a)=f(b),则有以下定理:
[定理][Rolle 中值定理]
连续实函数f:[a,b]→R, 它们在(a,b)中可微(端点不要求), 同时f(a)=f(b),则∃ξ∈(a,b), 使得
f′(ξ)=0.
一个函数可以有处处存在(但可能在某些点间断的)导函数, 但并非每个函数都是某一个函数的导函数.作为中值定理的一个应用, 我们可以得到关于导函数的两个重要的基本定理.
[定理][达布(Darboux)定理]
设f在区间I上可微, 则f′具有介值性.
[定理][导函数极限定理]
设函数f在点a的某邻域U(a)内连续, 在U(a)∖a内可导. 若导函数f′在a存在极限,则函数f在a点可导, 且f′(x)在a连续.
由以上定理推论得知: 若函数f在区间I上可微, 那么其导函数f′不存在第一类间断点.
应用Cauchy中值定理, 还可以证明得到一个求极限很有用的定理:
[定理][洛必达(L’Hospital)法则]
设f,g在(a,b)内可导(−∞⩽a<b⩽+∞), 且∀x∈(a,b),g′(x)≠0.
再设
limx→a+f(x)=limx→a+g(x)=0,
或是
limx→a+g(x)=∞,
而,极限
limx→a+f′(x)g′(x)=A
存在(或为∞), 那么
limx→a+f(x)g(x)=limx→a+f′(x)g′(x)=A.
中值定理的应用是很丰富的, 这里再给出几个有意思的结果.下面这个结果由 Lagrange 中值定理导出.
[引理1]
设函数f:[a,b]→R, 在[a,b]上连续, 在(a,b)中可微. 若∀x∈(a,b),有μ⩽f′(x)⩽η, 那么有结论: 对于a⩽x1⩽x2⩽b, 有
μ(x2−x1)⩽f(x2)−f(x1)⩽η(x2−x1).
特别的, 我们进一步得到判断可微函数单调性的简单方法:
[引理2]
设函数f:(a,b)→R是可微的, 若∀x∈(a,b),f(x)⩾(⩽)0, 那么f在(a,b)上单调增加(单调减少).
若函数在点x0处有f′(x0)=0, 且其\textbf{二阶可微}, 则有以下结果, 可用于判断x0是否是函数的局部极大值(局部极小值):
[定理]
设函数f:(a,b)→R是二阶可微的. 对于点x0∈(a,b), 若有
f′(x0)=0,f″(x0)<(>)0
则f在x0处取到严格的局部极大值(局部极小值).
由(???)还可得到以下结果:
[引理3]
设函数f1,f2:[a,b]→R, 均在[a,b]上连续, 在(a,b)中可微.若有f1(a)=f2(a),∀x∈(a,b),f′1(x)⩽f′2(x), 则∀x∈(a,b),f1(x)⩽f2(x).
泰勒公式
前面谈到研究函数性态的工具, 函数f在定义域上一点x0处可微, 那么在x0的近旁可以用一个线性函数去近似. 若一个函数高阶可微, 在局部我们可以考虑用多项式来逼近, 以方便研究函数在局部的性态.这就是可以称为\textbf{微分学顶峰}的\textbf{Taylor 展开公式(定理)}.
[定理][(带Peano余项的)Taylor 公式]
若函数f在x0处n阶可微,则有
f(x)=n∑k=01k!f(k)(x0)(x−x0)k+o((x−x0)n),(x→x0).
其中Rn(x):=f(x)−n∑k=0f(k)(x0)(x−x0)k=o((x−x0)n)称为\textbf{Peano余项}.
上述定理中, 余项Rn(x)是一个无穷小量. 实际应用中,我们往往需要对逼近的误差进行更精确的估计, 这要求函数拥有更强一点的条件. 以下结果又称为Taylor 中值定理.
[定理][Taylor 中值定理]
设函数f在(a,b)上有直到n+1阶的导数,对于x0,x∈(a,b), 存在点ξ,ζ∈(x0,x)(或者ξ,ζ∈(x0,x), 这取决于x0,x的大小关系), 有
f(x)=n∑k=01k!f(k)(x0)(x−x0)k+1(n+1)!f(n+1)(ξ)(x−x0)n+1
以及
f(x)=n∑k=01k!f(k)(x0)(x−x0)k+1n!f(n+1)(ζ)(x−ζ)n(x−x0).
这两个展开式的余项分别称为Lagrange余项与Cauchy余项.
应用:关于微分方程的一些结论
这一节的主题是微分学, 作为这一主题的延伸应用, 最后我们谈论一点微分方程.
微分方程是数学方程的一种,用来描述某一类函数与其导数之间的关系.微分方程的解是一个符合方程的函数.(在初等数学的代数方程里,其解是常数值.)微分方程的应用十分广泛,可以解决许多与导数有关的问题,比如:物理中许多涉及变力的运动学、动力学问题;如空气的阻力为速度函数的落体运动等问题. 此外,微分方程在化学、工程学、经济学和人口统计等领域都有应用.
下面给出几个关于微分方程的结论.
我们用a⩽x⩽b,α⩽y⩽β表示平面上的矩形区域R,设ϕ为定义在R上的实函数.所谓初值问题
y′=ϕ(x,y),y(a)=c
的解,是[a,b]上的一个函数f,其满足f(a)=c,α⩽f(x)⩽β,并且f′(x)=ϕ(x,f(x)),(a⩽x⩽b).
[定理]
设函数ϕ:R→R是Lipschitz连续的, 那么初值问题最多只有一个解.
\begin{proof}
为证明这个命题,我们先证明一个引理:
[引理]
可微函数F:[a,b]→R满足∀x∈[a,b],|F′(x)|⩽A|F(x)|, A>0为一个常数. 若∃x0∈[a,b],F(x0)=0,则在[a,b]上F≡0.
定义δ:=12A.在I:=[a,b]∩[x0−δ,x0+δ]中取点x1,满足|F(x1)|=supx∈I|F(x)|.
由F的连续性,这样的x1是取得到的.由推论(???),有
|F(x1)|=|F(x1)−F(x0)|⩽|x1−x0|supξ∈I|F′(x)|⩽Asupξ∈I|F(x)||x1−x0|⩽Aδ|F(x1)|=12|F(x1)|.
这说明F(x1)=0,进而有F(x)=0 (∀x∈I).
于是我们便证明了这样一件事:存在δ>0, 当F(x0)=0,则∀x∈[a,b]∩[x0−δ,x0+δ],F(x)=0.
如果函数F在[a,b]上不完全等于0,那么总是存在或最小的ξ1∈(a,b],F(ξ1)=0,或是最大的ξ2∈[a,b),F(ξ2)=0.而这与我们前面证明的事情是矛盾的.于是引理便得到了证实.
现在假设f1,f2均为初值问题的解,满足f1(a)=f2(a)=c. 那么函数F=f1−f2满足
F(a)=0.
由ϕ为 Lipschitz 连续, 故存在一个常数A,满足
|F′(x)|=|ϕ(x,f1(x))−ϕ(x,f2(x))|⩽A|f1(x)−f2(x)|.
由以上引理, 显然F≡0, 也就是说f1=f2.命题得证.
\end{proof}
现在,为了对常微分方程的解的增长”形态”有一个定性的了解. 考察以下微分不等式:
f′(x)⩽γf(x)β
其中f为一个正函数, γ为某一常数,而0⩽β<1.
设对于x⩾a, 函数f满足以上不等式. 令g:=f1−β,则有
g′(x)=(1−β)f−β(x)f′(x)⩽γ(1−β).
设g(a)=c, 那么结合前面的推论(???), 容易验证,对于x⩾a, 有
g(x)⩽γ(1−β)(x−a)+c.
那么对于函数f,就有f(x)⩽(γ(1−β)(x−a)+c)11−β.
这里可以看到,f渐进增长的趋势类似于幂函数x11−β.
具体的可以总结为以下几类:
- f′=γf.这种情况,f(x)正比于函数eγx, 也就是说这个解函数成指数级增长(exponential growth);
- f′=γfα(α>1).这种情况下, 正的解函数呈现爆炸式的增长,也就是说在某些有限的区间上,函数值可以向无穷大增长.有时也称其双曲增长(Hyperbolic growth).
- f′=γfβ(β<1).这种情况下, 解函数最多呈多项式增长(Polynominal growth).
- 当然,最简单的情况就是f′=γ.此时, 解函数呈线性增长(Linear growth).
未找到相关的 Issues 进行评论
请联系 @zengfk 初始化创建