Stieltjesův integrál
Stieltjesův integrál je v matematice zobecněním Riemannova (pak jej označujeme jako Riemannův-Stieltjesův integrál), popř. Lebesgueova integrálu (pak jej označujeme jako Lebesgueův-Stieltjesův integrál).
Obsah |
[editovat] Definice
Uvažujme dvě konečné funkce f(x) a g(x) na intervalu
. Tento interval rozdělíme body xi, kde a = x0 < x1 < x2 < ... < xn − 1 < xn = b, na podintervaly, a v každém z nich vybereme libovolný bod
. Sestrojíme součet
Délku největšího podintervalu (při daném dělení d) označíme jako normu dělení d, tedy ν(d) = maxi(xi − xi − 1). Konverguje-li suma σ pro
k nějakému číslu I, jehož hodnota nezávisí na způsobu dělení intervalu
a volbě bodů ξi, pak I nazýváme Stieltjesovým (popř. Riemannovým-Stieltjesovým) integrálem funkce f podle funkce g a zapisujeme
Při volbě g(x) = x přechází Stieltjesův integrál na integrál Riemannův.
[editovat] Existence integrálu
Stieltjesův integrál existuje, je-li funkce f na intervalu
spojitá a pokud má funkce g na tomto intervalu konečnou variaci. Stieltjesův integrál tedy existuje i v případě, kdy funkce g obsahuje body nespojitosti prvního druhu, tzn. skoky.
Pokud je funkce f na
spojitá a funkce g má na tomto intervalu spojitou derivaci, pak Riemannův-Stieltjesův integrál existuje a platí
Riemannův-Stieltjesův integrál existuje také v případě, pokud je funkce f na intervalu
spojitá a funkce g a
jsou na tomto intervalu po částech spojité. Označme v takovém případě body nespojitosti funkce g jako xk a velikost skoku funkce g v daném bodě nespojitosti xk jako sk, tzn.
Stieltjesův integrál lze pak zapsat ve tvaru
,
kde p je počet bodů nespojitosti.
[editovat] Zobecnění
Stieltjesův integrál lze založit také na definici Lebesqueovy míry, což vede k zobecnění Stieltjesova integrálu, tzv. Lebesqueovu-Stieltjesovu integrálu.
Podobně lze zobecněním Kurzweilova integrálu získat Kurzweilův-Stieltjesův integrál.
[editovat] Související články
[editovat] Externí odkazy
Podrobný matematický popis Stieltjesova integrálu

![\sigma = \sum_{i=1}^n f(\xi_i)[g(x_i)-g(x_{i-1})]](/math/4/2/7/42711da3f97b5bfa440a6ec048cf59c1.png)


