族谱网 头条 人物百科

微积分基本定理

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:458
转发:0
评论:0
正式表述微积分基本定理(FTC)有两个部分,第一部分是关于原函数的导数,第二部分描述了原函数和定积分之间的关系。第一部分/第一基本定理设a,b∈∈-->R{displaystylea,bin

正式表述

微积分基本定理(FTC)有两个部分,第一部分是关于原函数的导数,第二部分描述了原函数和定积分之间的关系。

第一部分 / 第一基本定理

设 a , b ∈ ∈ --> R {\displaystyle a,b\in \mathbb {R} } ,设 f : [ a , b ] ⟶ ⟶ --> R {\displaystyle f:[a,b]\longrightarrow \mathbb {R黎曼} 为黎曼可积的函数,定义

如果 f 在[a,b]连续,则

F 在闭区间[a,b]连续,在开区间(a,b)可导

∀ ∀ --> x ∈ ∈ --> ( a , b ) F ′ ( x ) = f ( x ) {\displaystyle \forall x\in (a,b)\quad F"(x)=f(x)}

如果 G 是 f 的原函数,则 G − − --> F {\displaystyle G-F} 是一个常数

第二部分 / 第二基本定理

设 a , b ∈ ∈ --> R a R {\displaystyle f,F:[a,b]\longrightarrow \mathbb {R} } ,满足

F 连续

f 是 F 的导函数,即 ∀ ∀ --> x ∈ ∈ --> ( a , b ) F ′ ( x ) = f ( x ) {\displaystyle \forall x\in (a,b)\quad F"(x)=f(x)}

那么,若 f 黎曼可积(例如 f 连续),则我们有

证明

第一部分

假设有

设 x 1 和 x 1 + Δ x 为区间[ a , b ]中的两个数。我们有

两式相减,得

可以证明

整理,得

把上式代入(1),得

根据积分第一中值定理,在区间( x 1 , x 1 + Δ x )存在一个 c ,使得

把上式代入(2),得

两边除以Δ x ,得

两边取Δ x → 0的极限,

左边的表达式是 F 在 x 1 处的导数的定义。

我们用夹挤定理来求另一个极限。 c 在区间[ x 1 , x 1 + Δ x ]内,因此 x 1 ≤ c ≤ x 1 + Δ x 。

另外 lim Δ Δ --> x → → --> 0 x 1 = x 1 {\displaystyle \lim _{\Delta x\to 0}x_{1}=x_{1}} and lim Δ Δ --> x → → --> 0 x 1 + Δ Δ --> x = x 1 . {\displaystyle \lim _{\Delta x\to 0}x_{1}+\Delta x=x_{1}\,.}

所以,根据夹挤定理,

代入(3),可得

函数 f 在 c 处连续,所以极限可以在函数里面进行。因此,我们有

证明完毕。

第二部分

设 f 在区间[ a , b ]上连续,并设 F 为 f 的原函数。我们从以下表达式开始

设有数

使得

可得

我们加上 F ( x i )及其相反数,这样等式仍成立:

以上表达式可用以下的和表示:

我们将使用均值定理。就是:

设 F 在闭区间[ a , b ]连续,在开区间( a , b )可导,则开区间( a , b )内一定存在 c 使得

可得

函数 F 在区间[ a , b ]可导,所以在每一个区间 x i -1 也是可导和连续的。因此,根据介值定理,

把上式代入(1),得

根据第一部分的结论,我们有 F ′ ( c i ) = f ( c i ) {\displaystyle F"(c_{i})=f(c_{i})} 。另外, x i − − --> x i − − --> 1 {\displaystyle x_{i}-x_{i-1}} 可表示为第 i {\displaystyle i} 个小区间的 Δ Δ --> x {\displaystyle \Delta x} 。

微积分基本定理

一个黎曼和的收敛数列。右上角的数是灰色矩形的面积。它们收敛于函数的积分。

注意到我们正在描述矩形的面积(长度乘以宽度),并把这些面积相加起来。每一个矩形都描述了一部分曲线的估计。同时也注意到, Δ Δ --> x i {\displaystyle \Delta x_{i}} 并不需要对于任何 i {\displaystyle i} 都是相同的,换句话说,矩形的长度可以变化。我们要做的,是要用 n {\displaystyle n} 个矩形来近似代替曲线。现在,当n增加而每一个矩形越来越小时,它的面积就越来越接近曲线的真实面积。

当矩形的宽度趋近于零时取极限,便得出黎曼积分。也就是说,我们取最宽的矩形趋于零,而矩形的数目趋于无穷大时的极限。

所以,我们把(2)式的两边取极限,得

F ( b )和 F ( a )都不依赖于||Δ||,所以左面的极限仍然是 F ( b ) - F ( a )。

右边的表达式定义了 f 从 a 到 b 的积分。这样,我们有

证明完毕。

例子

计算以下积分:

在这里, f ( x ) = x 2 {\displaystyle f(x)=x^{2}} , F ( x ) = x 3 3 {\displaystyle F(x)={x^{3} \over 3}} 是一个原函数。因此:

推广

我们不需要假设 f 在整个区间是连续的。这样定理的第一部分便说明:如果 f 是区间[ a , b ]内的任何一个勒贝格可积的函数, x 0 是[ a , b ]内的一个数,使得 f 在 x 0 连续,则

在 x = x 0 是可导的,且 F" ( x 0 ) = f ( x 0 )。我们可以把 f 的条件进一步降低,假设它仅仅是可积的。这种情况下,我们便得出结论: F 几乎处处可导,且 F" ( x )几乎处处等于 f ( x )。这有时称为 勒贝格微分定理 。

定理的第一部分对于任何具有原函数 F 的勒贝格可积函数 f 都是正确的(不是所有可积的函数都有原函数)。

泰勒定理中把误差项表示成一个积分的形式,可以视为微积分基本定理的一个推广。

对于复数函数,也有一个类似的形式:假设 U 是 C 的一个开集, f : U → C 是一个在 U 处具有全纯原函数 F 的函数。那么对于所有曲线γ: [ a , b ] → U ,曲线积分可以用下式来计算:

微积分基本定理可以推广到多维空间的曲线和曲面积分,也可以推广到流形。

这个方向上的一个有力的表述是斯托克斯定理:设 M 为一个可定向分段光滑 n 维流形,并设 ω ω --> {\displaystyle \omega } 为 n −1阶 M 上的C 类紧支撑微分形式。如果∂ M 表示 M边界的边界,并以 M 的方向诱导的方向为边界的方向,则

这里 d {\displaystyle \mathrm {d} \!\,} 是外导数,它仅仅用流形的结构来定义。斯托克斯定理将德拉姆上同调和奇异链的同调联系起来。

参看

极限

微分

积分

参考文献

Larson, Ron, Bruce H. Edwards, David E. Heyd. Calculus of a single variable . 7th ed. Boston: Houghton Mifflin Company, 2002.

Leithold, L. (1996). The calculus 7 of a single variable . 6th ed. New York: HarperCollins College Publishers.

Malet, A, Studies on James Gregorie (1638-1675) (PhD Thesis, Princeton, 1989).

Stewart, J. (2003). Fundamental Theorem of Calculus. In Integrals. In Calculus: early transcendentals . Belmont, California: Thomson/Brooks/Cole.

Turnbull, H W (ed.), The James Gregory Tercentenary Memorial Volume (London, 1939)


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 同构基本定理
历史同构基本定理最早由埃米·诺特(EmmyNoether)在她于1927在德国数学期刊数学分析(MathematischeAnnalen)发表的论文AbstrakterAufbauderIdealtheorieinalgebraischenZahl-undFunktionenkörpern中明确阐述。群同态基本定理我们首先叙述群论中的同态基本定理,他们的形式相对简单,却表达了商群的重要性质。定理的叙述中用到了关于正规子群的等价类概念。群同构基本定理群同构第一定理给定一个群同态f:G→→-->G′{\displaystylef:G\toG"},根据群同态第一基本定理,我们可以把G{\displaystyleG}除以G{\displaystyleG}的核,使f{\displaystylef}变成单射。直观来讲,把一个群G{\displaystyleG}除以G{\displaystyleG}的子...
· 算术基本定理
证明算术基本定理的最早证明是由欧几里得给出的。准确的说,欧几里得证明了在一般整环上看与算术基本定理等价的命题:若质数p|ab{\displaystylep|ab},则不是p|a{\displaystylep|a},就是p|b{\displaystylep|b}。然而,在欧几里得的时代,并没有发展出幂运算和指数的写法,甚至连四个整数的乘积这种算式都被认为是没有意义的,所以欧几里得并没有给出算术基本定理的现代陈述。大于1的自然数必可写成素数之积用反证法:假设存在大于1的自然数不能写成质数的乘积,把最小的那个称为n。自然数可以根据其可除性(是否能表示成两个不是自身的自然数的乘积)分成3类:质数、合数和1。首先,按照定义,n大于1。其次,n不是质数,因为质数p可以写成质数乘积:p=p,这与假设不相符合。因此n只能是合数,但每个合数都可以分解成两个严格小于自身而大于1的自然数的积。设n=a&time...
· 代数基本定理
证明所有的证明都包含了一些数学分析,至少是实数或复数函数的连续性概念。有些证明也用到了可微函数,甚至是解析函数。定理的某些证明仅仅证明了任何实系数多项式都有复数根。这足以推出定理的一般形式,这是因为,给定复系数多项式p(z),以下的多项式就是一个实系数多项式,如果z是q(z)的根,那么z或它的共轭复数就是p(z)的根。许多非代数证明都用到了“增长引理”:当|z|足够大时,首系数为1的n次多项式函数p(z)的表现如同z。一个更确切的表述是:存在某个正实数R,使得当|z|>R时,就有:复分析证明证明一寻找一个中心为原点,半径为r的闭圆盘D,使得当|z|≥r时,就有|p(z)|>|p(0)|。因此,|p(z)|在D内的最小值(一定存在,因为D是紧致的),是在D的内部的某个点z0取得,但不能在边界上取得。于是,根据最小模原理,p(z0)=0。也就是说,z0是p(z)的一个零点(根)。证明二由于在D...
· 时标微积分
动力方程关于微分方程的很多结果能够轻而易举地延伸到差分方程中相对应的结果,然而其他的一些结果却在二者中看起来非常不同。。时标动力方程的研究揭示了这种差异,并且有助于避免将类似的结果证明两次——在微分方程中证明一次,在差分方程中又证明一次。一般的想法是证明一个动力方程的结果,其中未知函数的定义域叫做时标(又叫做时集),它可以是实数集中的任意闭子集。用这种方式定义以后,结果就不仅能应用于实数集或者整数集,还能应用在更一般的时标,例如康托尔集。时标的最广泛的三种应用是微分学、有限差分和量子微积分。时标动力方程在诸如群族动力学等领域有潜在应用。例如,我们可以建立一种昆虫的种群模型,在生长季节种群数量是连续变化的,在冬季这种昆虫死亡,但是它们的卵处在孕育或者休眠的状态,然后在春季孵化出来,进而导致了一个不重叠的种群数量。精确定义时标或称度量链T{\displaystyle\mathbb{T}}是实数...
· 微积分学
历史古代在古代数学中,产生了一些引申出后来积分学的思想,但当时对该些思想的探讨方式并不严格、系统。埃及的莫斯克纸莎草手卷(c.1820BC)记载了对不同种类的体积和面积的计算,而这即是积分学的目标之一。不过它的公式只属简单指示,没有提及推导方法,有的公式也只是粗疏的估算。积分的起源很早,古希腊时期欧多克索斯(c.408-355BC)就曾用穷举法来求面积与体积。阿基米德(c.287-212BC)用内接正多边形的周长来穷尽圆周长,而求得圆周率的近似值;也用一连串的三角形来填充抛物线的图形,以求得其面积。这些都是穷尽法的古典例子。中国的刘徽在公元三世纪也应用穷举法求圆的面积。在公元五世纪,祖冲之采用祖暅原理计算出球体积,该原理后来也被称之为卡瓦列里原理。现代文艺复兴之后,基于实际的需要及理论的探讨,积分技巧有了进一步的发展。譬如为了航海的方便,杰拉杜斯·麦卡托发明了所谓的麦卡托投影法,使得地图上...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信