如果$f\in R(\alpha)[a,b]$,则有$\alpha\in R(f)[a,b]$,而且$$\int_a^bfd\alpha+\int_a^b\alpha df=f(b)\alpha(b)-f(a)\alpha(a)$$.
现在用阿贝尔变换证明它:$f\in R(\alpha)[a,b]$说明存在实数$L$,使得对于任意给定的正实数$\varepsilon$,都存在$[a,b]$的分割$P$,使得对于$P$的任何加细$P'$,都有
$$|S(P',\alpha,f)-L|<\varepsilon$$
$$|\sum_{i=0}^{n-1}f(x_{ti})(\alpha(x_{i+1})-\alpha(x_i))-L|<\varepsilon$$
其中$x_{ti}$是在区间$[x_i,x_{i+1}]$上的任意一个数,$\{x_0,\cdots,x_n\}=P'$.根据阿贝尔变换,
$$\sum_{i=0}^{n-1}f(x_{ti})(\alpha(x_{i+1})-\alpha(x_i))=f(x_{t,n-1})[\alpha(x_n)-\alpha(x_0)]-\sum_{i=0}^{n-2}(\alpha(x_{i+1})-\alpha(x_0))(f(x_{t,i+1})-f(x_{ti}))$$
$$\sum_{i=0}^{n-1}f(x_{ti})(\alpha(x_{i+1})-\alpha(x_i))=f(x_{t,n-1})[\alpha(x_n)-\alpha(x_0)]-\sum_{i=0}^{n-2}\alpha(x_{i+1})(f(x_{t,i+1})-f(x_{ti}))+\alpha(x_0)(f(x_{t,n-1})-f(x_{t0}))$$
$$\sum_{i=0}^{n-1}f(x_{ti})(\alpha(x_{i+1})-\alpha(x_i))=f(x_{t,n-1})[\alpha(b)-\alpha(a)]-\sum_{i=0}^{n-2}\alpha(x_{i+1})(f(x_{t,i+1})-f(x_{ti}))+\alpha(a)(f(x_{t,n-1})-f(x_{t0}))$$
我们令$x_{t,n-1}=b$,$x_{t0}=a$,(为什么可以这样令?).则
$$\sum_{i=0}^{n-1}f(x_{ti})(\alpha(x_{i+1})-\alpha(x_i))+\sum_{i=0}^{n-2}\alpha(x_{i+1})(f(x_{t,i+1})-f(x_{ti}))=f(b)(\alpha(b)-\alpha(a))+\alpha(a)(f(b)-f(a))=f(b)\alpha(b)-f(a)\alpha(a)$$
我们很高兴地发现,$\{x_{t0},\cdots,x_{t,n-1}\}$是$[a,b]$的一个分割$Q'$,而且$x_{t,i-1}\leq x_i\leq x_{t,i}$.因此
$$\int_a^bfd\alpha+\int_a^b\alpha df=f(b)\alpha(b)-f(a)\alpha(a)$$(为什么?)

转载于:https://www.cnblogs.com/yeluqing/archive/2012/11/13/3828143.html

数学分析_Tom M.Apostol 定理7.6 用阿贝尔变换证明Riemann-Stieltjes积分的分部积分公式...相关推荐

  1. 数学分析(Tom M.Apostol) 定理6.7

    如果$f$在$[a,b]$上是有界变差函数,即对于$[a,b]$的全部[分划]都有$\sum|\Delta f_k|\leq M$,则$f$在$[a,b]$上是有界的,事实上对于$[a,b]$内的一切 ...

  2. 数学分析_Tom Apostol_定理7.48:黎曼可积的充要条件

    设$f$在$[a,b]$上定义且有界,$D$表示$f$在$[a,b]$内的间断点(即不连续的点)集.$f$在$[a,b]$上黎曼可积当且仅当$D$是零测集. 证明:只要理解了开集的构造和黎曼积分的推广 ...

  3. Dedekind切割定理,以及用它证明确界存在定理

    Dedekind切割定理,以及用它证明确界存在定理 Dedekind分割:设A/BA/BA/B是有理数集合Q\mathbb QQ的一个切割,即将Q\mathbb QQ中的元素分为两个集合A,BA,BA ...

  4. 【数学分析】闭区间套定理及其证明

    文章目录 闭区间套定理描述 闭区间套定理理解 闭区间套定理证明 业余爱好者学习温故数学知识,做个记录. 闭区间套定理描述 如果数列{an},{bn}\{a_n\}, \{ b_n \}{an​},{b ...

  5. 一张图带你看完图论第一章(包含定义、定理、公式、推导证明和例题)

    1.1 图的基本描述 几种特殊图 有限图 复合图 简单图(无环无重边) 完全图   Kn 边数最多的简单图             同构下 唯一             边数Cn2=n(n-1)/2 ...

  6. 戴维宁(也叫戴维南)定理是什么?如何证明?_戴维宁定理等效电路求解_戴维宁定理习题

    用这个实例体验下等效转换的过程和参数理解 叠加定理 电路的叠加定理(Superposition theorem)指出:对于一个线性系统,一个含多个独立源的双边线性电路的任何支路的响应(电压或电流),等 ...

  7. Hall定理及其充要性证明

    Hall定理: 若二分图GGG中两部分的点的集合分别为X,YX,YX,Y下设∣X∣≤∣Y∣|X| \leq |Y|∣X∣≤∣Y∣ 则二分图存在完备匹配当且仅当XXX中的任意kkk个点至少与YYY中的k ...

  8. 费马小定理与欧拉定理 原理与证明

    一.欧拉定理 1.定义 若a与n互质,则aφ(n)≡1a^{\varphi (n)} \equiv 1aφ(n)≡1 (mod n). 其中φ(n)\varphi (n)φ(n)指欧拉函数:小于n的正 ...

  9. 扩展欧几里得定理基础讲解 代码及证明

    知识储备 1 . 朴素欧几里得原理:gcd(a,b) == gcd(b,a % b) 2 . 负数取模:忽略符号返回绝对值就好了 3 . 模数原理:对于整数a,b必然存在整数k使得a % b == a ...

最新文章

  1. python之路_Python之路【第二篇】:Python基础(一)
  2. Android C组件的经济意义
  3. VTK:Points之RadiusOutlierRemoval
  4. 有用过PHP SPL的吗,不知道这主要用来干嘛
  5. python正则表达式匹配模式屠夫之桥_Python 编程快速上手 第 7章 模式匹配与正则表达式...
  6. Spring笔记——使用Spring进行面向切面(AOP)编程
  7. 先有电脑然后才有手机,为什么当时手机不叫“手脑”呢?
  8. 180多个web和desktop测试用例清单
  9. 对instance进行二次封装
  10. atitit knowmng知识管理 索引part2
  11. 关于在android平台使用nanohttpd实现的http服务在WIFI环境下响应明显太慢的问题
  12. linux内核将新驱动添加到menuconfig菜单
  13. modbus软件开发linux,Linux C开发之用modbus实现串口通讯
  14. 推广的euclid_问题引导的代数学: Euclid 空间 III
  15. java登录界面圆形头像_Bootstrap实现圆角、圆形头像和响应式图片
  16. Java微信开发(通过java程序获取用户个人信息)
  17. Python math 模块与 cmath 模块
  18. 表示微型计算机系统稳定性,计算机选择题
  19. yum安装报错:“Could not resolve host: mirrors.aliyun.com; Unknown error“--:-- ETA Trying
  20. lx2160a - uart2(ttyAMA1)调试

热门文章

  1. AFM技术原理及相关测试模式
  2. Docker 容器技术(史上最强总结)
  3. html 气泡上升效果,css气泡效果
  4. 《金融时报》:技术的“可为”与“不可为”
  5. 为什么p元素内不能嵌套Div元素(随笔)
  6. 查看wifi连接路由器的MAC地址
  7. 0926物体检测和数据集
  8. 不想学习的小颓靡怎么解决
  9. 机电信息杂志机电信息杂志社机电信息编辑部2022年第13期目录
  10. 自己动手打造深度学习服务器