牛顿-莱布尼茨公式

news/2024/10/22 18:42:40/

前置知识:黎曼积分的概念

牛顿-莱布尼茨公式

f f f [ a , b ] [a,b] [a,b]上可积,令

F ( x ) = ∫ a x f ( t ) d t F(x)=\int_a^xf(t)dt F(x)=axf(t)dt

(1) F F F [ a , b ] [a,b] [a,b]上连续
(2)若 f f f在点 x 0 ∈ [ a , b ] x_0\in[a,b] x0[a,b]处连续,则 F F F x 0 x_0 x0处可导,且 F ′ ( x 0 ) = f ( x 0 ) F'(x_0)=f(x_0) F(x0)=f(x0)
(3)若 f f f [ a , b ] [a,b] [a,b]上连续,则 F F F f f f [ a , b ] [a,b] [a,b]上的一个原函数。如果 G G G f f f的任意一个原函数,则有
∫ a b f ( x ) d x = G ( b ) − G ( a ) \int_a^bf(x)dx=G(b)-G(a) abf(x)dx=G(b)G(a)

证明:
(1)因为 f f f [ a , b ] [a,b] [a,b]上可积,所以 f f f [ a , b ] [a,b] [a,b]上有界。令 M M M ∣ f ( x ) ∣ |f(x)| f(x)的最大值,任取 x 0 ∈ [ a , b ] x_0\in[a,b] x0[a,b],当 x ∈ [ a , b ] x\in[a,b] x[a,b]时,有

∣ F ( x ) − F ( x 0 ) ∣ = ∣ ∫ a x f ( t ) d t − ∫ a x 0 f ( t ) d t ∣ |F(x)-F(x_0)|=|\int_a^xf(t)dt-\int_a^{x_0}f(t)dt| F(x)F(x0)=axf(t)dtax0f(t)dt

= ∣ ∫ x 0 x f ( t ) d t ∣ ≤ M ∣ ∫ x 0 x d x ∣ = M ∣ x − x 0 ∣ =|\int_{x_0}^xf(t)dt|\leq M|\int_{x_0}^xdx|=M|x-x_0| =x0xf(t)dtMx0xdx=Mxx0

\qquad 由连续函数的定义,当 x → x 0 x\to x_0 xx0时, ∣ x − x 0 ∣ → 0 |x-x_0|\to 0 xx00 M ∣ x − x 0 ∣ → 0 M|x-x_0|\to 0 Mxx00,所以 F F F在点 x 0 x_0 x0处连续

\qquad 因为 x 0 x_0 x0可以取 [ a , b ] [a,b] [a,b]上的任何值,所以 F F F [ a , b ] [a,b] [a,b]上连续

(2)依题意, x 0 x_0 x0 f f f的连续点,则 ∀ ε > 0 , ∃ δ > 0 \forall\varepsilon>0,\exist\delta>0 ε>0,δ>0,当 t ∈ [ a , b ] t\in[a,b] t[a,b] ∣ t − x 0 ∣ < δ |t-x_0|<\delta tx0<δ时,都有

∣ f ( t ) − f ( x 0 ) ∣ < ε |f(t)-f(x_0)|<\varepsilon f(t)f(x0)<ε

\qquad 于是,当 x ∈ [ a , b ] x\in[a,b] x[a,b] ∣ x − x 0 ∣ < δ |x-x_0|<\delta xx0<δ时,

∣ F ( x ) − F ( x 0 ) x − x 0 − f ( x 0 ) ∣ = ∣ 1 x − x 0 ∫ x 0 x [ f ( t ) − f ( x 0 ) ] d t ∣ < ∣ 1 x − x 0 ∫ x 0 x ε d t ∣ = ε |\dfrac{F(x)-F(x_0)}{x-x_0}-f(x_0)|=|\dfrac{1}{x-x_0}\int_{x_0}^x[f(t)-f(x_0)]dt|<|\dfrac{1}{x-x_0}\int_{x_0}^x\varepsilon dt|=\varepsilon xx0F(x)F(x0)f(x0)=xx01x0x[f(t)f(x0)]dt<xx01x0xεdt=ε

\qquad 由此可得

F ′ ( x 0 ) = F ( x ) − F ( x 0 ) x − x 0 = f ( x 0 ) F'(x_0)=\dfrac{F(x)-F(x_0)}{x-x_0}=f(x_0) F(x0)=xx0F(x)F(x0)=f(x0)

(3)因为 f f f [ a , b ] [a,b] [a,b]上连续,由 ( 2 ) (2) (2) F ( x ) F(x) F(x) f f f [ a , b ] [a,b] [a,b]上的一个原函数。

\qquad G G G f f fD 的任意一个原函数,则

[ G ( x ) − F ( x ) ] ′ = G ′ ( x ) − F ′ ( x ) = f ( x ) − f ( x ) = 0 [G(x)-F(x)]'=G'(x)-F'(x)=f(x)-f(x)=0 [G(x)F(x)]=G(x)F(x)=f(x)f(x)=0

\qquad 所以 G ( x ) − F ( x ) = C G(x)-F(x)=C G(x)F(x)=C,由此可得 ∀ x ∈ [ a , b ] \forall x\in[a,b] x[a,b],有

∫ a x f ( t ) d t = F ( x ) = F ( x ) − F ( a ) = G ( x ) − G ( a ) \int_a^xf(t)dt=F(x)=F(x)-F(a)=G(x)-G(a) axf(t)dt=F(x)=F(x)F(a)=G(x)G(a)

\qquad 特别地,有

∫ a b f ( t ) d t = G ( b ) − G ( a ) \int_a^bf(t)dt=G(b)-G(a) abf(t)dt=G(b)G(a)

\qquad 这个式子就是牛顿-莱布尼茨公式,这是一种用被积函数的原函数来求定积分的方法。


例题

f f f [ a , b ] [a,b] [a,b]上连续, u ( x ) u(x) u(x) v ( x ) v(x) v(x) [ a , b ] [a,b] [a,b]上可导,且 u ( x ) u(x) u(x) v ( x ) v(x) v(x)的值域包含于 [ a , b ] [a,b] [a,b],求下列函数的导数:

G ( x ) = ∫ v ( x ) u ( x ) f ( t ) d t G(x)=\int_{v(x)}^{u(x)}f(t)dt G(x)=v(x)u(x)f(t)dt

解:
\qquad F ( x ) = ∫ a x f ( t ) d t F(x)=\int_a^xf(t)dt F(x)=axf(t)dt,则 F ′ ( u ) = f ( u ) F'(u)=f(u) F(u)=f(u),所以

G ( x ) = ∫ a u ( x ) f ( t ) d t − ∫ a v ( x ) f ( t ) d t = F ( u ( x ) ) − F ( v ( x ) ) G(x)=\int_a^{u(x)}f(t)dt-\int_a^{v(x)}f(t)dt=F(u(x))-F(v(x)) G(x)=au(x)f(t)dtav(x)f(t)dt=F(u(x))F(v(x))

\qquad 那么

G ′ ( x ) = F ′ ( u ( x ) ) u ′ ( x ) − F ′ ( v ( x ) ) v ′ ( x ) = f ( u ( x ) ) u ′ ( x ) − f ( v ( x ) ) v ′ ( x ) G'(x)=F'(u(x))u'(x)-F'(v(x))v'(x)=f(u(x))u'(x)-f(v(x))v'(x) G(x)=F(u(x))u(x)F(v(x))v(x)=f(u(x))u(x)f(v(x))v(x)


http://www.ppmy.cn/news/90688.html

相关文章

如何清理harbor的磁盘空间

博客主页&#xff1a;https://tomcat.blog.csdn.net 博主昵称&#xff1a;农民工老王 主要领域&#xff1a;Java、Linux、K8S 期待大家的关注&#x1f496;点赞&#x1f44d;收藏⭐留言&#x1f4ac; 目录 registry garbage-collectharbor自带的清理工具docker image prune -a…

基于SSM的校园办公管理系统的设计与实现(源码完整)

项目描述 临近学期结束&#xff0c;还是毕业设计&#xff0c;你还在做java程序网络编程&#xff0c;期末作业&#xff0c;老师的作业要求觉得大了吗?不知道毕业设计该怎么办?网页功能的数量是否太多?没有合适的类型或系统?等等。这里根据你想解决的问题&#xff0c;今天给…

ROS学习——利用电脑相机标定

一、 安装usb-cam包和标定数据包 sudo apt-get install ros-kinetic-usb-cam sudo apt-get install ros-kinetic-camera-calibration 要把kinetic改成你自己的ros版本 。 二、启动相机 roslaunch usb_cam usb_cam-test.launch 就会出现一个界面 可以通过下面命令查看相机…

Flutter 可冻结的侧滑表格 sticky-headers-table 结合 NestedScrollView 吸顶悬浮的使用实践

最近在做flutter web的开发&#xff0c;需要做一个类似云文档中表格固定顶部栏和左侧栏的需求&#xff0c;也就是冻结列表的功能 那么在pub上呢也有不少的开源库&#xff0c;比如&#xff1a; table_sticky_headers data_table_2 如果说只是简单的表格和吸顶&#xff0c;那么这…

vue3前台查询使用多个字典项并且和后台交互

目录 一、前端使用 1.前台vue3接口使用 dictManege.ts 2.前台使用该接口地方 3.前台反显地方 其他几个都一样&#xff0c;这里使用在state中定义的idTypeList,在上面赋值&#xff0c;在这里使用 二、后端使用 4.后端controller接口实现 其中使用字典String[]来接收 放…

对于大流量请求的处理方案(NATNginx)

情况描述&#xff1a; 如图所示&#xff0c;厂家的A服务器&#xff0c;到客户的C服务器不通&#xff0c;需要我这边通过B服务器做一次流量转发。 由于&#xff0c;每次请求数据流都太大&#xff0c;怕HTTPS方式&#xff0c;会出现请求超时&#xff0c;断开连接。 解决方案&am…

目标检测数据预处理——非宫格与宫格混合拼图(大宽高比图片)

之前一直用的是宫格的正方形拼图&#xff0c;但比如对“人”框的截图是这种高宽高比的长方形图片&#xff0c;按照最大边resize最小边等比例缩放后放入宫格中对造成最小边resize太多&#xff0c;整体图片缩小很多。所以本片专门针对高宽高比的图片拼图进行编辑。 本篇的拼图方式…

Node框架 【Koa】开发框架、路由

文章目录 &#x1f31f;前言&#x1f31f;开发框架&#x1f31f;应用程序&#x1f31f;应用程序Koa类&#x1f31f;应用对象(app)的方法&#x1f31f;app.use(function)&#x1f31f;app.listen(...) &#x1f31f;应用程序设置 &#x1f31f;上下文(Context) &#x1f31f;路由…