Riemann-Stieltjes integral

Riemann-Stieltjes integral, även kallad Stieltjesintegral, är inom matematisk analys en speciell integral, som kan ses som en generalisering av Riemannintegralen, uppkallad efter matematikern Thomas Joannes Stieltjes. Vid vanlig Riemannintegrering integrerar man med hänsyn till $x$ -axeln, men vid Riemann-Stieltjes-integrering integrerar man med hänsyn till en annan funktion.

Definition och existens

Konstruktion av integralen

Ett intervall av reella tal kallat $[a,b]$ kan delas in i flera delintervall med en partition, $P$ , som består av ändligt många punkter $x_{0},x_{1},...,x_{n}$ sådana att

a=x_{0}\leq x_{1}\leq x_{2}\leq ...\leq x_{n-1}\leq x_{n}=b

.

För två begränsade funktioner på intervallet, $f(x)$ och $\alpha (x)$ inför vi differensoperatorn:

\Delta \alpha _{k}=\alpha (x_{k})-\alpha (x_{k-1})\,

.

Då $f(x)$ är begränsad på $[a,b]$ kan vi hitta ett supremum respektive infimum för funktionsvärdena på dessa intervall och inför beteckningarna:

M_{k}=\sup f(x)~~~(x_{k-1}\leq x\leq x_{k})

m_{k}=\inf f(x)~~~~(x_{k-1}\leq x\leq x_{k})

Vi får nu två summor, beroende på partitionen $P$ och funktionerna $f$ samt $\alpha$ :

U(P,f,\alpha )=\sum _{k=1}^{n}M_{k}\Delta \alpha _{k}

L(P,f,\alpha )=\sum _{k=1}^{n}m_{k}\Delta \alpha _{k}

$U(P,f,\alpha )\geq L(P,f,\alpha )$ (då $M_{i}\geq m_{i}$ ).

Låt vidare ${\mathcal {P}}$ vara mängden av alla partitioner av $[a,b]$ och om

\inf _{P\in {\mathcal {P}}}U(P,f,\alpha )=\sup _{P\in {\mathcal {P}}}L(P,f,\alpha )

säger man att integralen existerar, vilket betecknas med $f\in {\mathfrak {R}}(\alpha )$ , och betecknar värdet med:

\int _{a}^{b}f\,d\alpha

eller

\int _{a}^{b}f(x)\,d\alpha (x)

.

Om man väljer $\alpha (x)=x$ fås den vanliga Riemannintegralen.

Existens med epsilon

$f\in {\mathfrak {R}}(\alpha )$ om och endast om det för varje $\epsilon >0$ existerar en partition $P$ så att

U(P,f,\alpha )-L(P,f\alpha )<\epsilon \,

.

Egenskaper

För strängt ökande $\alpha$ och $f,f_{1},f_{2}\in {\mathfrak {R}}(\alpha )$ och $c\in \mathbb {R}$ har integralen följande egenskaper:

$f_{1}+f_{2}\in {\mathfrak {R}}(\alpha )$ och $\int _{a}^{b}(f_{1}+f_{2})\,d\alpha =\int _{a}^{b}f_{1}\,d\alpha +\int _{a}^{b}f_{2}\,d\alpha$ .
$cf\in {\mathfrak {R}}(\alpha )$ och $\int _{a}^{b}cf\,d\alpha =c\int _{a}^{b}f\,d\alpha$ .
Om $f_{1}\leq f_{2}$ är $\int _{a}^{b}f_{1}\,d\alpha \leq \int _{a}^{b}f_{2}\,d\alpha$ .
Om $a<c<b$ är $\int _{a}^{c}f\,d\alpha +\int _{c}^{b}f\,d\alpha =\int _{a}^{b}f\,d\alpha$

Om $\alpha _{1}$ och $\alpha _{2}$ är strängt ökande och $f\in {\mathfrak {R}}(\alpha _{1})$ och $f\in {\mathfrak {R}}(\alpha _{2})$ och $c\in \mathbb {R}$ så:

$\int _{a}^{b}f\,d(\alpha _{1}+\alpha _{2})=\int _{a}^{b}f\,d\alpha _{1}+\int _{a}^{b}f\,d\alpha _{2}$ .
$\int _{a}^{b}f\,d(c\alpha )=c\int _{a}^{b}f\,d\alpha$