数学分析_Tom M.Apostol 定理7.6 用阿贝尔变换证明Riemann-Stieltjes积分的分部积分公式
2012-11-13 17:38
731 查看
如果$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)$$(为什么?)
现在用阿贝尔变换证明它:$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)$$(为什么?)
相关文章推荐
- 数学分析_Tom M.Apostol 定理7.6 用阿贝尔变换证明Riemann-Stieltjes积分的分部积分公式
- 关于数学分析的证明题I(积分)
- 中英文对照 —— 数学定律定理(公式及其描述)
- 数学定理证明机械化的中国学派(I)
- 数学分析原理 定理 6.8
- 数学分析原理 定理 6.10
- 理解不看任何数学公式的情况下傅里叶分析
- 数学分析原理 定理 6.8
- 数学分析原理 定理 6.12
- 高等数学积分公式大全
- 高等数学积分公式大全
- 弧长积分公式的证明_20160414
- 数学分析 反函数存在性定理,连续性定理与求导定理
- [再寄小读者之数学篇](2014-05-20 一个分部积分)
- Riemann-Stieltjes积分存在的充分条件(按照Tom M.Apostol的《数学分析》上的定义)
- 数学分析原理 定理 6.12
- 复分析学习6——Cauchy积分理论2(Cauchy-Goursat定理)
- Newton冷却定理微分数学公式推导
- Riemann-Stieltjes积分存在的充分条件(按照Tom M.Apostol的《数学分析》上的定义)
- (原)学以致用:用数学公式'幂函数'支持生产经营分析