可微,可导,可积与连续的关系

一元函数


先从定义出发:

极限的定义

设函数 f ( x ) f(x) f(x) 在点 x 0 x_0 x0 的某一去心邻域内有定义,如果存在常数 A A A,对于给定的任意正数 ϵ \epsilon ϵ,总存在正数 δ \delta δ,使得当 x x x 满足不等式 0 < ∣ x − x 0 ∣ < δ 0<|x-x_0|<\delta 0<xx0<δ 时,对应的 f ( x ) f(x) f(x) 总满足不等式 ∣ f ( x ) − A ∣ < ϵ |f(x)-A|<\epsilon f(x)A<ϵ,那么常数 A A A 就叫做函数 f ( x ) f(x) f(x) x → x 0 x\to x_0 xx0 时的极限,记作 lim ⁡ x → x 0 f ( x ) = A \lim\limits_{x\to x_0}f(x)=A xx0limf(x)=A


连续的定义

设函数 y = f ( x ) y=f(x) y=f(x) 在点 x 0 x_0 x0 的某一邻域内有定义,如果 lim ⁡ x → x 0 f ( x ) = f ( x 0 ) \lim\limits_{x\to x_0}f(x)=f(x_0) xx0limf(x)=f(x0),那么称函数 f ( x ) f(x) f(x) 在点 x 0 x_0 x0 处连续

设函数 y = f ( x ) y=f(x) y=f(x) 在点 x 0 x_0 x0 的某一邻域内有定义。如果函数 f ( x ) f(x) f(x) 有下列三种情形之一:

  1. x = x 0 x=x_0 x=x0 有定义
  2. 虽在 x = x 0 x=x_0 x=x0 处有定义,但 lim ⁡ x → x 0 f ( x ) \lim\limits_{x\to x_0}f(x) xx0limf(x) 不存在
  3. 虽在 x = x 0 x=x_0 x=x0 处有定义,且 lim ⁡ x → x 0 f ( x ) \lim\limits_{x\to x_0}f(x) xx0limf(x) 存在,但 lim ⁡ x → x 0 f ( x ) ≠ f ( x 0 ) \lim\limits_{x\to x_0}f(x)\ne f(x_0) xx0limf(x)=f(x0)

f ( x ) f(x) f(x) 在点 x 0 x_0 x0 处不连续, x 0 x_0 x0 称为不连续点。


可微的定义

设函数 y = f ( x ) y=f(x) y=f(x) 在区间内有定义, x 0 x_0 x0 x 0 + Δ x x_0+\Delta x x0+Δx 在区间内,如果增量 Δ y = f ( x 0 + Δ x ) − f ( x 0 ) \Delta y=f(x_0+\Delta x)-f(x_0) Δy=f(x0+Δx)f(x0) 可表示为 Δ y = A Δ x + o ( Δ x ) \Delta y=A\Delta x+o(\Delta x) Δy=AΔx+o(Δx) ,其中 A A A 是不依赖于 Δ x \Delta x Δx 的常数,那么称函数 y = f ( x ) y=f(x) y=f(x) 在点 x 0 x_0 x0 处可微。 A Δ x A\Delta x AΔx 叫做函数 y = f ( x ) y=f(x) y=f(x) 在点 x 0 x_0 x0 处相应于 Δ x \Delta x Δx 的微分,记作 d y \mathrm dy dy


可积的定义

  1. f ( x ) f(x) f(x) 在区间 [ a , b ] [a,b] [a,b] 上连续,则 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b] 上可积。
  2. f ( x ) f(x) f(x) 在区间 [ a , b ] [a,b] [a,b] 上有界,且只有有限个间断点,则 f ( x ) f(x) f(x) [ a , b ] [a,b] [a,b] 上可积。


1. 可导与连续的关系:


可 导 必 然 连 续 \red{可导必然连续}

P r o o f : Proof: Proof:

设函数 f ( x 0 ) f(x_0) f(x0) 在点 x 0 x_0 x0 可导。

∵ lim ⁡ Δ x → 0 Δ y Δ x = f ′ ( x 0 ) \because\lim\limits_{\Delta x\to0}\frac{\Delta y}{\Delta x}=f^\prime(x_0) Δx0limΔxΔy=f(x0)

∴ Δ y Δ x = f ′ ( x 0 ) + α \therefore\frac{\Delta y}{\Delta x}=f^\prime(x_0)+\alpha ΔxΔy=f(x0)+α

∴ α → 0   ( Δ x → 0 ) \therefore\alpha\to0\ (\Delta x\to0) α0 (Δx0)

∵ Δ y = f ′ ( x 0 ) Δ x + α Δ x \because\Delta y=f^\prime(x_0)\Delta x+\alpha\Delta x Δy=f(x0)Δx+αΔx

∴ lim ⁡ Δ x → 0 Δ y = lim ⁡ Δ x → 0 [ f ′ ( x 0 ) Δ x + α Δ x ] = 0 \therefore\lim\limits_{\Delta x\to0}\Delta y=\lim\limits_{\Delta x\to0}[f^\prime(x_0)\Delta x+\alpha\Delta x]=0 Δx0limΔy=Δx0lim[f(x0)Δx+αΔx]=0

∵ Δ y = f ( x ) − f ( x 0 ) \because\Delta y=f(x)-f(x_0) Δy=f(x)f(x0)

∴ \therefore 可导必连续


连 续 不 一 定 可 导 \red{连续不一定可导}

如图
在这里插入图片描述

2. 可微与可导的关系:


可 微 与 可 导 是 一 样 的 \red{可微与可导是一样的}

P r o o f : Proof: Proof:

y = f ( x ) y=f(x) y=f(x) 在点 x 0 x_0 x0 可微,则有: Δ y Δ x = A + o ( Δ x ) Δ x \frac{\Delta y}{\Delta x}=A+\frac{o(\Delta x)}{\Delta x} ΔxΔy=A+Δxo(Δx)

Δ x → 0 \Delta x\to0 Δx0 时: lim ⁡ Δ x → 0 Δ y Δ x = A = f ′ ( x 0 ) \lim\limits_{\Delta x\to0}\frac{\Delta y}{\Delta x}=A=f^\prime(x_0) Δx0limΔxΔy=A=f(x0)

因此,可微必可导。

反之,如果 y = f ( x ) y=f(x) y=f(x) 在点 x 0 x_0 x0 可导,即: lim ⁡ Δ x → 0 Δ y Δ x = f ′ ( x 0 ) \lim\limits_{\Delta x\to0}\frac{\Delta y}{\Delta x}=f^\prime(x_0) Δx0limΔxΔy=f(x0) ∴ Δ y Δ x = f ′ ( x 0 ) + α \therefore\frac{\Delta y}{\Delta x}=f^\prime(x_0)+\alpha ΔxΔy=f(x0)+α

∴ Δ y = f ′ ( x 0 ) Δ x + α Δ x \therefore\Delta y=f^\prime(x_0)\Delta x+\alpha\Delta x Δy=f(x0)Δx+αΔx

其中, a → 0   ( Δ x → 0 ) a\to0\ (\Delta x\to0) a0 (Δx0),且 f ′ ( x 0 ) f^\prime(x_0) f(x0) 不依赖于 Δ x \Delta x Δx,故可导必可微


3. 可积与连续的关系:


连 续 必 然 可 积 , 可 积 不 一 定 连 续 \red{连续必然可积,可积不一定连续}

见可积的定义


4. 可导与可积的关系:


可 导 必 然 可 积 , 可 积 不 一 定 可 导 \red{可导必然可积,可积不一定可导}

因为可导必定连续,而连续一定可积,所以可导必可积。

但是可积不一定连续,也就不一定可导,所以可积不一定可导。


多元函数


可导与可微


可 微 必 然 可 导 , 可 导 不 一 定 可 微 \red{可微必然可导,可导不一定可微}

对一元函数来说,可导指的是存在导数,可微指的是存在微分。但是对于多元函数来说,可导指的是存在偏导数,可微指的是存在全微分

所以可微必可导,可导不一定可微。


可微与连续


可 微 必 然 连 续 , 连 续 不 一 定 可 微 \red{可微必然连续,连续不一定可微}

微分指的是全微分,也就是各个方向都可微,所以类似一元函数的性质。


可导与连续


可 导 不 一 定 连 续 , 连 续 不 一 定 可 导 \red{可导不一定连续,连续不一定可导}


因为在多元函数里可导指的是可以偏导,所以并不能推出在所有方向上函数连续。


偏导数连续与可微


偏 导 数 连 续 必 然 可 微 , 可 微 不 一 定 偏 导 数 连 续 \red{偏导数连续必然可微,可微不一定偏导数连续}

P r o o f : Proof: Proof:

z = f ( x , y ) z=f(x,y) z=f(x,y) 的全增量: Δ z = f ( x + Δ x , y + Δ y ) − f ( x , y ) = [ f ( x + Δ x , y + Δ y ) − f ( x , y + Δ y ) ] + [ f ( x , y + Δ y ) − f ( x , y ) ] \begin{aligned}\Delta z&=f(x+\Delta x,y+\Delta y)-f(x,y)\\&=[f(x+\Delta x,y+\Delta y)-f(x,y+\Delta y)]+[f(x,y+\Delta y)-f(x,y)]\end{aligned} Δz=f(x+Δx,y+Δy)f(x,y)=[f(x+Δx,y+Δy)f(x,y+Δy)]+[f(x,y+Δy)f(x,y)]

根据拉格朗日中值定理: Δ z = f x ( x + α Δ x , y + Δ y ) Δ x + f y ( x , y + β Δ y ) Δ y   ( 0 < α , β < 1 ) \Delta z=f_x(x+\alpha\Delta x,y+\Delta y)\Delta x+f_y(x,y+\beta\Delta y)\Delta y\ (0<\alpha,\beta<1) Δz=fx(x+αΔx,y+Δy)Δx+fy(x,y+βΔy)Δy (0<α,β<1)

由于偏导数连续: Δ z = f x ( x , y ) Δ x + ϵ 1 Δ x + f y ( x , y ) Δ y + ϵ 2 Δ y \Delta z=f_x(x,y)\Delta x+\epsilon_1\Delta x+f_y(x,y)\Delta y+\epsilon_2\Delta y Δz=fx(x,y)Δx+ϵ1Δx+fy(x,y)Δy+ϵ2Δy

∴ Δ z = A Δ x + B Δ y + o ( ρ ) \therefore\Delta z=A\Delta x+B\Delta y+o(\rho) Δz=AΔx+BΔy+o(ρ)

得到 f ( x , y ) f(x,y) f(x,y) 可微。

可微不一定偏导数连续可以参考一元函数中的含有第二类间断点(震荡间断点)的导函数。

  • 32
    点赞
  • 176
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

SP FA

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值