Sequences of Stieltjes integrals. (Q2585261)

\textit{Bezeichnungen}: Es seien \(f(x)\), \(g(x)\) und \(g_n(x)\) reelle Funktionen in \(I=[a,b]\); alle auftretenden Integrale seien als Riemann-Stieltjesintegrale erstreckt über \(I\) zu verstehen. Zur Abkürzung bezeichnen wir ferner als Bedingung (1): Die \(g_n(x)\) besitzen in \(I\) gleichmäßig beschränkte Totalvariation \(V_a^b(g_n)\); (2) \(g(x)={\lim\limits_{n\to\infty}}g_n(x)\) in \(I\); (3) \(\int f\,dg={\lim\limits_{n\to\infty}}\int f\,dg_n\); (4) \(\int f\,dg_n\) existiert; (5) \(\int f\,dg\) existiert. -- \textit{Sätze}: I. Für jede \(f (x)\) von beschränkter Variation in \(I\) folgt (3) aus (2), (4) und (5) jedenfalls dann, wenn die \(g_n(x)\) gleichmäßig beschränkt sind; II. Besitzt \(f (x)\) nur Singulari täten 1. Art, so folgt (3) aus (1), (2), (4) und (5); III. Aus [(1),] (2), (4), (5) und \(V_a^b(g) ={\lim\limits_{n\to\infty}}V_a^b(g_n)\) folgt (3); IV. Aus (1), (2) und (4) folgt (3), wenn \(\int f\, dv\) existiert für jede Limesfunktion \(v(x)\) der Folge \(\{V_a^x(g_n)\}\). V. \textit{Vor}. Es sei \(I'= [a, +\infty)\); ferner seien (2) und (4) erfüllt sowie \({\int\limits_{a}^{c}}f\,dg ={\lim\limits_{n\to\infty}} {\int\limits_{a}^{c}}f\,dg_n\) für jedes \(c\) mit \(a\leqq c <+\infty\), wobei \({\int\limits_{a}^{c}} f\,dg\) (erstreckt über \(I'\)) existieren soll. \textit{Beh}. Es gelten (3) und (5) dann und nur dann, wenn \(\bigg|{\int\limits_{e}^{\infty}}f\,dg_n\bigg|<\varepsilon\), \(\bigg|{\int\limits_{a}^{e^*}}f\,d(g_m-g)\bigg|<\varepsilon\) für alle \(e\geqq E(\varepsilon)\), \(n\geqq N(\varepsilon,e)\) bzw. \(m\geqq M (\varepsilon)\), \(e^*\geqq E^* (\varepsilon, m)\).