实变函数论6-微分与不定积分5：斯蒂尔切斯积分

5斯蒂尔切斯积分
现在我们着手推广 $L$ 积分，得到所谓 $L-S$ （
勒贝格一斯蒂尔切斯）积分，并为此在本
节先介绍一下作为 $L-S$ 积分前身的黎曼-斯蒂尔切斯积分（简称 $R-S$
积分或 $S$ 积分)，
当然 $R-S$ 积分是 $R$ 积 分的另一种推广
考虑有质量分布的线段 $[a,b],$ 设分布在线段 $[a,x]$ 上的总质量
$m(x)$ 是已知的递
增函数，从而分布在线段 $\left[x,x^{\prime }\right]$ 上的质量为
$m\left(x^{\prime }\right)-m(x),$ 则该线段 $[a,b]$
关于原点 $O$
的力矩和转动惯量分别定义为
$M={\lim }_{\delta (T)\to 0}{\sum }_{i=1}^n{x}_i\left(m\left(x_i\right)-m\left(x_{i-1}\right)\right),记为{\int }_a^{b}x\mathrm{d}m(x),$
$J={\lim }_{s(T)\to 0}{\sum }_{i=1}^n{x}_i^2\left(m\left(x_i\right)-m\left(x_{i-1}\right)\right),记为{\int }_a^b{x}^2\mathrm{d}m(x).$
这里分划
T : a = x 0 < x 1 < ⋯ < x n = b , δ ( T ) = max ⁡ k { x i − x i − 1 } . T : a = x _ { 0 } < x _ { 1 } < \cdots < x _ { n } = b , \delta ( T ) = \max _ { k } \left\{ x _ { i } - x _ { i - 1 } \right\} . T:a=x0​<x1​<⋯<xn​=b,δ(T)=maxk​{ xi​−xi−1​}.
由于物理上诸如此类问题的需要，值得将此概念一般化，便得到如下定义、
定义（ $S$ 积分）设 $f(x),\alpha (x)$ 为 $[a,b]$
上的有限函数，对 $[a,b]$ 作一分划
$T:a=x_0<x_1<\cdots <x_n=b$
及属于此分划的任一组"介点
$x_{i-1}⩽{\xi }_i⩽x_i(i=1,2,\cdots ,n)$
作和数（叫做斯蒂尔切斯和
数，简称 $S$ 和数)
${\sum }_{i=1}^{n}f\left({\xi }_i\right)\left[\alpha \left(x_i\right)-\alpha \left(x_{i-1}\right)\right].$
如果当 $\delta (T)\to 0$
时，此和数总趋于一确定的有限极限（不论 $T$ 分法如何，也不论介点取
法如何)，则称 $f(x)$ 在 $[a,b]$ 上关于 $\alpha (x)$ 为 $S$
可积的，此极限叫做 $f(x)$ 在 $[a,b]$ 上关
于 $\alpha (x)$ 的 $S$ 积分，记为
${\int }_a^{b}f(x)\mathrm{d}\alpha (x).$
易知当 $\alpha (x)=x$ 时， $S$ 积分便成为 $R$ 积分，可见 $S$ 积分是
$R$ 积 分的一种推广
又如当我们考虑曲线积分
${\int }_{c}f(x,y)\mathrm{d}x,C:x=\phi (t),y=\psi (t)(\alpha ⩽t⩽\beta ),$
${\int }_{C}f(x,y)\mathrm{d}x={\int }_a^{\beta }f(\phi (t),\psi (t))\mathrm{d}\phi (t)$
就是一种特殊的 $S$ 积分.
定理1
(1)
∫ a b [ f 1 ( x ) + f 2 ( x