You are on page 1of 47

ДЕРЖАВНИЙ ВИЩИЙ НАВЧАЛЬНИЙ ЗАКЛАД

«УЖГОРОДСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ»


КАФЕДРА ТЕОРІЇ ЙМОВІРНОСТЕЙ І МАТЕМАТИЧНОГО АНАЛІЗУ

КУРСОВА РОБОТА

на тему: «Інтеграл Стільтьєса»

Студентки II курсу Фетько О.В.


Галузь знань: Математика та статистика
Спеціальність: 111 Математика
Освітня програма: Комп’ютерна та
бізнес-математика
Керівник: Боярищева Т.В

Національна шкала__________
Кількість балів_____Оцінка EСTS_______

____________ _____________________
(підпис)   (прізвище та ініціали)

___________ ______________________
(підпис) (прізвище та ініціали)

Ужгород 2022
2

ЗМІСТ

ВСТУП ………………………………………………...………………………… 3
РОЗДІЛ 1 ВИЗНАЧЕННЯ ІНТЕГРАЛУ РИМАНА ТА ЙОГО
РОЗШИРЕННЯ В ФОРМІ ІНТЕГРАЛУ
СТІЛТЬЄСА …………………… 5
РОЗДІЛ 2 ІСНУВАННЯ ІНТЕГРАЛУ
СТІЛТЬЄСА …………………….. 11
2.1 Загальні умови існування інтегралу Стілтьєса ………………………..
….. 11
2.2 Класи випадків існування інтегралу
Стілтьєса …………………………… 12
РОЗДІЛ 3 ВЛАСТИВОСТІ ІНТЕГРАЛУ СТІЛТЬЄСА …………….
…… 17
РОЗДІЛ 4 ІНТЕГРУВАННЯ ЗА ЧАСТИНАМИ ………………………..
… 20
РОЗДІЛ 5 ЗВЕДЕННЯ ІНТЕГРАЛА СТІЛТЬЄСА ДО ІНТЕГРАЛУ
РИМАНА ………………………………………………………………………. 22
РОЗДІЛ 6 ОБЧИСЛЕННЯ ІНТЕГРАЛІВ СТІЛТЬЄСА ……………...
….. 25
РОЗДІЛ 7 ПРИКЛАДИ ОБЧИСЛЕННЯ ІНТЕГРАЛА
СТІЛТЬЄСА ………………………………………………………………...… 31
ВИСНОВКИ …………………………………………………………………… 34
СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ ТА ЛІТЕРАТУРИ ……………. 35
3

ВСТУП

Актуальність дослідження. Томас Іоаннес Стілтьєс (1856) —


нідерландський математик, запропонував в 1894 р. узагальнення визначеного
інтеграла Римана, член-кореспондент Петербургської Академії наук з 1894 р.
Інтеграл Стилтьєса виник як одне з математичних рішень фізичної
„проблеми виміру моментів”. Сутність проблеми полягає в задачі
вимірювання моментів маси, розподіленої за певною функціональною
залежністю в точках уздовж осі. Така задача при пошуку моментів (момент
статичний, момент інерції та моменти вищих порядків) приводить до пошуку
приросту моментів при зростанні відстані x від начального значення a до
кінцевого значення b у вигляді визначеного інтегралу з двома
підінтегральними функціями.

Нехай задана послідовність чисел c 0 , c 1 , .. . , c k ,. . . ; потрібно знайти таку

функцію розподілу ϕ ( x ) , щоб члени заданої послідовності були моментами,


b
c k =∫ x k dϕ ( x )
тобто a . Якщо a і b кінцеві, то поставлена задача називається

проблемою моментів у кінцевому інтервалі; якщо a=0 , b =+∞ , те одержуємо


проблему моментів Стільєса.
Дана тема представлена в інтегральному численні і вивчається як
додатковий розділ курсу математичного аналізу.
Метою роботи є вивчення умов існування, властивостей, методів
обчислення інтеграла Стілтьєса. Відповідно до мети поставлені наступні
завдання:
1. Ввести означення інтегралу Стілтьєса.
2. Визначити умови його існування та класи інтегрованих за
Стілтьєсом функцій.
3. Вивчити процес зведення інтегралу Стілтьєса до інтегралу
4

Рімана.
4. Розглянути приклади обчислення інтегралу Стілтьєса
Структура роботи. Курсова робота складається зі вступу, семи
розділів, висновків та списку використаних джерел і літератури.
5

РОЗДІЛ 1
ВИЗНАЧЕННЯ ІНТЕГРАЛУ РИМАНА ТА ЙОГО РОЗШИРЕННЯ В
ФОРМІ ІНТЕГРАЛУ СТІЛТЬЄСА

Інтеграл Стілтьєса (Th.J. Stieltjes) – є безпосереднім узагальненням


звичайного інтегралу Римана, теорію якого викладемо в короткому стилі
основних визначень.
Інтеграл Римана заснований на визначенні „верхніх” та „нижніх” сум
Дарбу ( геометричне трактування наведене на рис.1.1 [3]).

Нехай функція f (x ) визначена на проміжку [a ,b] , при цьому

{xi }
i=n
λ= i=0
- певне розбиття проміжка [a ,b] де:

Δxi =x i−x i−1 ;i=1,2 , .. . ,n (1)

Рис.1.1. Геометричне трактування визначеного інтеграла Римана через


поняття „верхніх” та „нижніх” сум Дарбу
6

Тоді, згідно рис.1.1, „верхня” та „нижня” суми Дарбу визначаються як:

n
S λ=S λ ( f )=∑ M i Δx i
i=1 - „верхня сума” (2)
n
s λ=s λ ( f )=∑ mi Δx i
i =1 - „нижня сума” (3)

де
M i= sup f ( x )
xi−1≤ x≤x i
- найбільше значення функції f (x ) на проміжку Δxi
(4)
m i= inf f ( x)
xi−1≤ x≤x i
- найменше значення функції f (x ) на проміжку Δxi (5)

Визначення 1. Функція f (x ) називається інтегровна (за Риманом) на

проміжку [a ,b] , якщо існує таке число A , що для любої послідовності

{xi }
i=n
lim Δx i =0
розбиттів проміжка [a ,b] - λ= i=0
, при якому n→∞ та при любому

вибору на інтервалі розбиття Δxi функції f (ξi ) , де x i−1≤ξi ≤x i , виконується


рівність

n
lim ∑ f (ξ i ) Δx i = A
n→∞ i=1 (6)

При виконанні умов (6) число A називається визначеним інтегралом


b

∫ f ( x)dx
(за Риманом) функції f (x ) на проміжку [a ,b] та визначається як a .
Таким чином, визначений інтеграл Римана дорівнює [3]:
7

b n
∫ f ( x )dx= A= n→∞
lim ∑ f (ξi ) Δx i
a i=1 (7)

n
∑ f (ξ i ) Δxi
Суми i=1 в виразі (7) називаються інтегральними сумами
Римана.
Зв’язок інтегральних сум Римана та „верхніх” и „нижніх” сум Дарбу
існує через теорему:

Для того, щоб обмежена на деякому проміжку функція f (x ) була


інтегрувальна на цьому проміжку необхідно та достатньо, щоб:

lim ( S λ −s λ )=0
Δxi →0
(8)

Наслідком чого є твердження, що якщо функція f (x ) інтегровна на

проміжку [a ,b] , то не тільки її інтегральні суми Римана, але і інтегральні


суми Дарбу прагнуть до її визначеного інтеграла на цьому проміжку, якщо

проміжок розбиття Δx i →0 .
Геометрична інтерпретація визначеного інтегралу Римана (рис.1.1)
через інтегральні суми (формула (7)) дає наступні властивості інтегралу
Римана [3]:

а) якщо функція f (x )=1 , то

b b

∫ f ( x )dx=∫ 1∗dx=b−a
a a (9)

б) Якщо функція f (x ) інтегровна на проміжках [a ,c ] та [c ,b] , при

цьому проміжок [a ,b] формується як a< c< b , то функція f (x ) інтегровна на

проміжку [a ,b] , при чому


8
9

b c b

∫ f ( x )dx=∫ f (x )dx +∫ f ( x )dx


a a c (10)

в) Якщо функції f (x ) та g( x) інтегровна на проміжку [a ,b] , то їх сума


f (x )+g (x ) також інтегровна на проміжку [a ,b] , при чому

b b b

∫ [ f ( x )+g( x )]dx=∫ f (x )dx +∫ g( x )dx


a a a (11)

г) Якщо функція f (x ) інтегрувальна на проміжку [a ,b] і с - постійна,

то функція с* f (x ) також інтегровна на проміжку [a ,b] , при чому

b b

∫ c∗f ( x )dx=c∗∫ f (x )dx


a a (12)

д) Якщо функції f (x ) та g( x) інтегровні на проміжку [a ,b] , то їх

додаток f (x )∗g( x ) також інтегрований на проміжку [a ,b] , при чому

∫ [ f ( x )∗g( x )]dx=?
a (13)

Теоретичне доведення існування визначеного інтегралу (13) через


інтегральні суми Риманом було виконане, але визначити форму інтегралу
добутку функцій через комбінацію інтегралів окремих функцій він не зміг.
Інтеграл Стілтьєса (або інтеграл Рімана-Стілтьєса) — це узагальнення

визначеного інтегралу Римана для однієї функції f (x ) на визначеному


проміжку [a,b], дане в 1894 році голландським математиком Томасом
10

Стілтьєсом для двох обмежених функцій f (x ) і g( x) на визначеному


проміжку [a,b].
Інтеграл Стілтьєса визначається він наступним чином [5].
Нехай на проміжку [a,b] задані дві обмежені функції f(x) і g(x).
Здійснимо розбиття:

x 0=a< x 1 < x 2 <. . .< xn−1 < x n =b (14)

проміжок [a,b] на частини і покладемо λ=max Δx i . Обравши у кожній

з частин [ x i , x i+1 ] (i=0,1,…,n-1) за точкою ξ i обрахуємо значення ( i )


f ξ

функції f(x) і помножимо його на відповідний проміжку [ x i , x i+1 ] приріст


функції g(x)

Δg ( xi )=g ( x i+1 ) −g ( xi )

Нарешті, складемо суму всіх таких добутків:

n−1
σ =∑ f ( ξ ) Δg ( x i )
i=0
i
(15)

Ця сума має назву суми Стілтьєса.

Скінченна границя суми Стілтьєса σ , коли λ=max Δx i прямує до нуля


називається інтегралом Стілтьєса функції f(x) no функції g(x) и позначається
символом

b n−1
∫ f ( x ) dg ( x )= lim
λ →0
∑ f ( ξ i ) Δg ( x i )
a i=0 (16)
11

Іноді, коли необхідно підкреслити, що інтеграл розглядається у сенсі


Стілтьєса, вживають позначення (S) перед інтегралом
12

∫ f ( x ) dg ( x )=I
(S) a

Границя тут розуміється в тому ж сенсі, що і у випадку зі звичайним


визначеним інтегралом. Точніше кажучи, число I називається інтегралом
Стілтьєса, якщо для будь-якого числа ε > 0 існує таке число δ >0, що як
тільки проміжок [a,b] розбитий на частини так, що λ< δ , одразу ж

виконується нерівність , яким би чином не обиралися точки у


відповідних проміжках.

При існуванні інтеграла (16) також говорять, що функція на

проміжку інтегрувальна по функції g( x) . Очевидно, що єдина відміна


даного визначення від звичайного визначення інтегралу Римана полягає в

тому, що множиться не на приріст незалежної змінної, а на приріст

другої функції.
Таким чином, інтеграл Римана є частковим випадком інтегралу

Стілтьєса, коли в якості функції g( x) взято саму незалежну змінну : =


[4].
13

РОЗДІЛ 2
ІСНУВАННЯ ІНТЕГРАЛУ СТІЛТЬЄСА

2.1 Загальні умови існування інтегралу Стілтьєса

Встановимо загальні умови існування інтегралу Стілтьєса,

обмежуючись припущенням, що функція монотонно зростає.

Звідси слідує, що при тепер всі , подібно тому, як раніше

було . Це дозволяє послідовно замінюючи лише на


повторити всі побудови.
Аналогічно до сум Дарбу, і тут доцільно ввести суми

n−1
s= ∑ mi Δg ( x i )
i=0 , ,

де mi і Mi означають, відповідно, нижню і верхню точні межі функції

в - тому проміжку . Ці суми будемо називати нижньою і


верхньою сумами Дарбу-Стілтьєса. Перш за все, ясно, що (при одному й
тому самому розбитті) , причому і служать точними межами для
стілтьєсових сум . Самі ж суми Дарбу-Стілтьєса мають дві наступні
властивості:
1. Якщо до наявних двох точок розбиття додати нові точки, то нижня
сума Дарбу-Стілтьєса може від цього лише зрости, а верхня сума – лише
зменшитися.
2. Кожна нижня сума Дарбу-Стілтьєса не перебільшує кожної верхньої
суми, хоча б і такій, що відповідає іншому розбиттю проміжку.
Якщо ввести нижній і верхній інтеграли Дарбу-Стілтьєса:
14

I ¿ =sup{s} і I∗¿ inf {S}

то виявляється, що .
Нарешті, за допомогою сум Дарбу-Стілтьєса легко встановити для
випадку, що розглядається, основну ознаку існування інтегралу Стілтьєса:
Теорема. Для існування інтегралу Стілтьєса необхідно і достатньо, щоб
виконувалося

, або , (17)

якщо під , як зазвичай, розуміти коливання функції в -

му проміжку .

2.2 Класи випадків існування інтегралу Стілтьєса

1. Якщо функція а функція має обмежену зміну, то інтеграл


Стілтьєса

(S) (18)

існує.

Спочатку припустимо, що монотонно зростає, тоді за довільно

заданим , враховуючи рівномірну неперервність функції ,


знайдеться таке , що на будь-якому проміжку, довжина якого менше ,

коливання буде менше за . Нехай тепер проміжок


15

розбитий на частини так, що .


Тоді всі
16

< і ,

звідки й слідує виконання умови (17), а, отже, і існування інтеграла


також.

У загальному випадку, якщо функція має обмежену зміну, її


можна представити у вигляді двох зростаючих обмежених функцій:

. У відповідності до цього, перетворюється і сума Стілтьєса,

що відповідає функції :

Так, за вже доведеним, кожна із сум і при прямує до


граничної межі, це справедливо і відносно суми , що і треба було довести.

Можна послабити умови, що накладаються на функцію якщо

одночасно посилити вимоги до функції :

2. Якщо функція інтегровна на проміжку за Риманом, а


задовольняє умові Ліпшиця [5]:

(19)

то інтеграл (18) існує.


Для того, щоб знов мати можливість застосувати встановлений вище

критерій, припустимо спочатку функцію як таку, що не лише


задовольняє умові (19), але і монотонно зростаючу.
17

Враховуючи (19), очевидно , так, що


18

Але остання сума при і сама прямує до нуля, як наслідок

інтегровності (за Риманом) функції , а тоді прямує до нуля і перша сума,


що доводить існування інтеграла (18).

У загальному випадку функції , що задовольняє умові Ліпшиця


(19), представимо її у вигляді різниці

= .

Функція = , очевидно, задовольняє умові Ліпшиця, і в той же час

монотонно зростає. Теж саме справедливо і для функції = , так

як в силу (19), при

У такому випадку міркування завершено, як і в попередньому випадку.

3. Якщо функція інтегровна за Риманом, а функцію можна


представити у вигляді інтеграла зі змінною верхнею межею інтегрування:

, (20)

де абсолютно інтегрувальна на проміжку , то інтеграл (18)


існує.
19

Нехай , так, що монотонно зростає. Якщо інтегрована

за власним змістом, і виходячи з цього, обмежена: , то для


маємо

Таким чином, у цьому випадку задовольняє умові Ліпшиця, та


інтеграл існує в силу (15). Припустимо тепер, що інтегрована у
невласному сенсі. Обмежимося випадком однієї особливої точки, скажімо .
Перш за все, за довільно взятим вибираємо так, щоб було

, (21)

де - загальне коливання функції на аналізуємому нами


проміжку.
Розіб’ємо проміжок довільно на частини і складемо суму

Вона розкладається на дві суми , з яких перша відповідає

проміжкам, що цілком містяться в проміжку , а друга – решті


проміжків. Останні, скоріш за все, містяться в проміжку , якщо тільки

; тоді в силу (21),


20
21

З іншого боку, так як на проміжку функція інтегрувальна у

власному сенсі, то за доведеним, при достатньо малому і сума стане

меншою за . Звідси слідує (17), що і потрібно було довести.


У загальному випадку, коли функція абсолютно інтегрувальна на
проміжку , ми розглянемо функції

очевидно, невід’ємні і інтегрувальні на даному проміжку. Так як

то питання зводиться до вже розглянутого випадку.

Зауваження. Нехай функція неперервна на проміжку і має,


виключаючи лише скінчене число точок, похідну , причому ця похідна
інтегрувальна (у власному чи невласному змісті) від до ; тоді, як відомо,
має місце формула (20):

Якщо абсолютно інтегрувальна, то до функції повністю


справедливо все викладене.
22
23

РОЗДІЛ 3
ВЛАСТИВОСТІ ІНТЕГРАЛУ СТІЛТЬЄСА

З визначення інтегралу Стілтьєса безпосередньо випливають такі його


властивості [2]:

1. ;

2. ;

3. ;

При цьому у випадках 2, 3 з існування інтегралів у правій частині


випливає існування інтеграла у лівій частині. Далі маємо

4. ,

у припущенні, що і існують всі три інтеграли.


Для доведення цієї формули достатньо включити точку с в число точок

розбиття проміжку , при складанні суми Стілтьєса для інтегралу .

Перш за все, з існування інтеграла уже випливає існування обох

інтегралів і .
Для своєрідного граничного процесу, за допомогою якого для
стілтьєсової суми отримується інтеграл Стілтьєса, має місце принцип
24

збіжності Больцано-Коші. Таким чином по заданому враховуючи

існування інтеграла знайдеться таке , що будь-які дві суми і ,

яким відповідають і , різняться менш ніж на . Якщо при цьому у


склад точок розбиття включити точку с, а точки розбиття, що припадають на
проміжок , брати в обох випадках одними й тими самими, то різниця

зведеться до різниці двох сум Стілтьєса, що належать вже


проміжку , бо решта доданків взаємно скорочуються. Застосовуючи до
проміжку і обрахованим для нього стілтьєсовим сумам той же принцип

збіжності, зробимо висновок про існування інтеграла . Аналогічним

чином встановлюється і існування інтегралу . Але, важливо відмітити,

що з існування обох інтегралів і , взагалі кажучи, не випливає

існування інтегралу . Щоб упевнитися в цьому, достатньо розглянути


приклад. Нехай на проміжку функції і задані наступними
рівностями:

Легко побачити, що інтеграли


обидва існують і рівні 0, бо відповідні суми Стілтьєса всі рівні 0: для
першого це випливає з того, що завжди =0, для другого – з постійності

функції , завдяки чому =0.


25

У той же час інтеграл не існує. Дійсно, розіб’ємо проміжок


так, щоб точка 0 не потрапила у склад точок розбиття, і складемо суму:
26

Якщо точка 0 потрапляє в проміжок , так, що , то в


сумі залишиться лише один -й доданок; решта будуть нулі, тому що

для . Отже,

В залежності від того, чи буде або , виявиться або


, так що границі не має. Вказана своєрідна умова пов’язана з
наявністю розривів у точці для обох функцій і [5].
27

РОЗДІЛ 4
ІНТЕГРУВАННЯ ЗА ЧАСТИНАМИ

Для інтегралів Стілтьєса має місце формула [5]

b b
∫ f ( x)dg( x )=f ( x ) g( x)|ba ∫ g( x)df ( x),
a – a (22)

в припущенні, що існує один з цих інтегралів; існування іншого звідси


вже випливає. Ця формула носить назву формули інтегрування за частинами.
Доведемо її.
b

∫ gdf
Нехай існує інтеграл a . Розклавши проміжок [а, b] на частини [xi ,

xi+1] (i = 0, 1, ..., n — 1), оберемо в цих частинах довільно по точці ξ i таким


чином, що
a=x 0≤ξ0 ≤x 1 ≤.. .≤x i −1 ≤ξ i−1 ≤x i≤ξ i ≤xi +1 ≤.. .≤x n−1≤ξ n−1≤x n =b .
b

∫ fdg
Суму Стілтьєса для інтеграла a

n−1
σ =∑ f ( ξi ) [ g ( xi+1 )−g( x i ) ]
i=0

можна представити у вигляді

{ }
n n−1 n−1
σ =∑ f (ξi −1 ) g( x i )−∑ f ( ξ i )g( x i )=− g( a ) f (ξ 0 )+ ∑ g( x i ) [ f ( ξi )−f ( ξ i−1 )]−g( b )f ( ξ i−1 ) .
i=1 i=0 i=1

Якщо додати або відняти справа вираз


28

b
f (x )g( x)|a =f (b)g(b)−f ( a) g(a), то σ перепишеться так:

{ }
n−1
σ =f ( x ) g( x )|ba − g( a ) [ f ( ξ 0 )−f ( a ) ] + ∑ g( x i ) [ f ( ξ i )−f ( ξi −1 ) ] + g ( b ) [ f ( b )−f ( ξ n−1 ) ] .
i =1 (23)

Вираз у фігурних дужках представляє собою стілтьесову суму для


b

∫ gdf
інтеграла a (існування якого припущено!). Вона відповідає розбиттю

проміжку [а, b] точками ділення a≤ξ 0 ≤ξ 1≤ξi−1 ≤ξ i ≤.. .≤ξ n−1≤b , якщо в

якості обраних з проміжків [ ξ i−1 , ξ i ] ( i=1 , .. . , n−1 ) точок узяти xi, а для

проміжків [ a , ξ 0 ] i [ ξ n−1 , b ] , відповідно, а і b. Якщо, як зазвичай, покласти


λ=max ( x i +1 −x i ) ,
то тепер довжини всіх частинних проміжків не перевищать
2λ .
b

∫ gdf
При λ→ 0 сума у квадратних дужках прямує до a , з чого слідує,
b

∫ fdg
що існує границя і для σ , тобто інтеграл a і цей інтеграл визначається
формулою (23) [ ].
29

РОЗДІЛ 5
ЗВЕДЕННЯ ІНТЕГРАЛА СТІЛТЬЄСА ДО ІНТЕГРАЛУ РИМАНА

Нехай функція f(x) неперервна на проміжку [a, b], a g(x) монотонно


зростає в цьому проміжку, і притому в суворому сенсі. Тоді, як показав Лебег
b

∫ f ( x)dg( x)
(Н. Lebesgue) [2], інтеграл Стілтьеса (S) a за допомогою

підстановки v =g ( x) безпосередньо зводиться до інтегралу Римана (R).


Доведемо тепер, що

b V
(S ) ∫ f ( x )dg( x )= ( R ) ∫ f (g−1( v ))dv ,
a v0
(24)

де останній інтеграл береться у звичайному сенсі, його існування


забезпечено, так як функція g(v), а з нею і складна функція f(g -1(v))
неперервні.
Для цього розіб’ємо проміжок [а, b] на частини за допомогою точок
ділення

a=x0<x1<…<xi<xi+1<…<xn=b

и складемо стілтьесову суму

n−1
σ =∑ f ( x i ) [ g (x i +1 )−g( x i ) ]
i=0

Якщо покласти vi = g(xi) (i = 0, 1, . . ., n), то будемо мати


30

v0<v1< ... <vi< vi+1 < ... <vn = V.

Так як хi = g-1 (vi), то

n−1
σ =∑ f ( g−1 ( v i )) Δv i ( Δv i =v i +1−v i )
i=0

Цей вираз має вигляд риманової суми для інтеграла

∫ f (g−1( v))dv .
v0

Маємо

V v
n−1 i+1

∫ f (g −1
( v ))dv=∑ ∫ f ( g−1 (v ))dv
v0 i =0 v
i і
v
n−1 i+1
σ =∑ ∫ f ( xi )dv i ,
i=0 v
i

так що

V v
n−1 i+1

[
σ −∫ f ( g−1 ( v ) )dv=∑ ∫ f (x i )−f ( g−1 ( v ) ) dv .
i=0 v
]
v0
i

Припустимо тепер Δxi настільки малими, щоб коливання функції f(x) у


всіх проміжках [xі, хі+1] були менше довільно наперед заданого числа ε > 0.

Так як при v i ≤v ≤v i+1 , очевидно, x i≤g−1 (v )≤v i +1 , то одночасно і

|f ( xi )−f ( g−1 ( v ))| < ε .


31

В такому випадку
32

V
|σ −∫ f (g−1 ( v ) )dv|
v0
< ε(V −v 0 ).

Цим доведено, що

V
lim σ =∫ f ( g−1 (v ))dv ,
λ →0 v0

звідки и слідує (24) [5].


33

РОЗДІЛ 6
ОБЧИСЛЕННЯ ІНТЕГРАЛІВ СТІЛТЬЄСА

Доведемо наступну теорему [5]:


1. Якщо функція f(x) інтегрована в сенсі Рімана на проміжку [a, b], a
g(x) представлена інтегралом

x
g( x )=c+∫ ϕ(t )dt ,
a

де функція ϕ ( t ) абсолютно інтегрувальна в [а,b], то

b b
( S ) ∫ f ( x)dg (x )= ( R ) ∫ f ( x )ϕ( x )dx .
a a (25)

Існування інтеграла Стілтьєса при зроблених припущеннях уже було


доведено вище.
Залишається лише з’ясувати рівність (25).

Без зменшення загальності можна припустити, що функція ϕ ( x )


додатна.
Складемо суму Стілтьєса

n−1 x
n−1 i +1
σ =∑ f ( ξi ) [ g ( xi +1 )−g( x i ) ]=∑ ∫ f (ξ i )ϕ ( x )dx .
i=0 i=0 x
i

Так як, з іншого боку, можна написати

b x
n−1 i+1

∫ f ( x )ϕ(x )dx =∑ ∫ f ( x)ϕ(x )dx ,


a i=0 x
i
34

то будемо мати

b x
n−1 i +1
σ −∫ f ( x ) ϕ ( x ) dx=∑ ∫ [ f (ξ i )−f ( x ) ] ϕ ( x ) dx .
a i=0 x
i

x i≤x≤x i+1 |f ( ξ i )−f ( x ) ≤ωi| ωi означає


Очевидно, для буде , де
коливання функції f(x) на проміжку [xі, xі+1]. Звідси витікає така оцінка
записаної вище різниці:

b xi+1
n−1 n−1
|σ −∫ f (x )ϕ( x )dx|≤∑ ωi ∫ ϕ ( x ) dx=∑ ω i Δg ( x i ) .
a i=0 xi i=0

Нам відомо, що при λ→0 остання сума прямує до 0, з чого слідує, що

b
lim σ =∫ f ( x ) ϕ ( x ) dx
λ →0 a ,

що і доводить формулу (25).


2. При тих самих припущеннях стосовно функції f(x) припустимо, що
функція g(x) неперервна на всьому проміжку [а, b] і має в ньому, за
виключенням лише скінченої кількості точок, похідну g'(x), яка на [а, b]
абсолютно інтегрована. Тоді

b b
( S ) ∫ f ( x )dg (x )= ( R ) ∫ f ( x )g' ( x )dx .
a a (26)

Звертаючись до випадків, коли функція g(x) є розривною розглянемо


спочатку «стандартну» розривну функцію р(х), яка визначається рівностями
35
36

ρ(x)=¿ {0 при x≤0,¿¿¿¿


Вона має розрив першого роду — стрибок — у точці х= 0 справа,
причому величина стрибка ρ (+0) – ρ (0) дорівнює 1; в точці х =0 зліва і в

решті точок функція ρ( x) неперервна. Функція ρ (x – c) буде мати такий

самий розрив у точці x=c справа; навпаки, ρ(c−x ) буде мати подібний
розрив у точці x=c зліва, причому величина стрибка дорівнює – 1.
Припустимо, що функція f(x) неперервна в точці х = с, і обчислимо
b
( S )∫ f ( x )dρ( x−c )
інтеграл a , де (при інтеграл рівний
нулю).
Складемо суму Стілтьєса:

Нехай точка потрапляє, скажімо в -ий проміжок, так що .

Тоді , а при , очевидно . Таким чином, уся сума

зводиться до одного доданку . Нехай тепер . По неперервності

. Виходячи з цього, існує (при )

(27)

Аналогічно можна упевнитися в тому, що (при )


37

(28)

(при цей інтеграл перетворюється на нуль).


Тепер ми можемо довести дещо узагальнену на відміну від 2, а саме
відмовимося від вимоги неперервності функції :
3. Нехай функція f(x) на проміжку неперервна,a g(x) має на цьому
проміжку, виключаючи хіба лише скінчене число точок, похідну яка
абсолютно інтегрувальна на . При цьому нехай функція g(x) у

скінченому числі точок має розрив першого роду.


Тоді існує інтеграл Стілтъєса, який виражається формулою

. (29)

Характерна тут наявність позаінтегральної суми, де фігурують скачки


функції g(x) в точках або — односторонні. (Якщо на будь-якій з цих
функцій стрибка немає, то відповідний доданок суми перетворюється на
нуль).
Для спрощення запису введемо позначення для стрибків функції g(x)
cправа и зліва:

очевидно, для , .
Складемо допоміжну функцію:
38
39

Яка як би вбирає у себе усі розриви функції g(x), так що різниця

, як ми зараз встановимо, виявляється вже неперервною.

Для значень відмінних від усіх , неперервність функції не

викликає сумнівів, бо для цих значень неперервні обидві функції и .

Доведемо тепер неперервність у точці справа. Усі доданки

суми , окрім члена , неперервну при справа, тому

достатньо вивчити поведінку виразу . При воно має

значення ; але така ж і його границя при :

Аналогічно перевіряється неперервність функції в точці


зліва.

Далі, якщо взяти точку х (відмінну від усіх ), в якій функція має

похідну, то поблизу цієї точки зберігає постійне значення, виходячи з

цього, у ній і функція має похідну, причому .

Для неперервної функції , за попередньою теоремою, існує


інтеграл Стілтьєса

Так само легко обрахувати і інтеграл


40
41

= .

Додаючи почлено ці дві рівності, ми і прийдемо до рівності (29);

існування інтеграла Стілтьєса від по функції


встановлюється попутно [5].
42

РОЗДІЛ 7
ПРИКЛАДИ ОБЧИСЛЕННЯ ІНТЕГРАЛА СТІЛТЬЄСА

1) Обчислити за формулою (25) інтеграл:

Розв’язок,

2) Обчислити за формулою (29) інтеграли:

(а) , де

(б) , де

Розв’язок.
(а) Функція має стрибок 1 при і стрибок —2 при ; в
3

∫ xdg( x )=1∗(−1 )+2∗(−2 )=−5


решті точок . Тому (S) −1 .
43

(б) Стрибок 1 при и при (значення функції при не


впливає на результат); у решті точок g(x) = 0.
Маємо:

∫ x 2 dg ( x )=( 12 )2∗1+( 32 )2∗(−2)=−174


(S) −0 .

3) Обрахувати за формулою (29) інтеграли:

(а) , (б) , (в) ,

де

Розв’язок. Функція має скачки рівні 1, при і . Похідна

Тому для варіанта а) відповідь:

2 −1 2
∫ xdg( x )=∫ xdx +2 ∫ x 2 dx +(−1)∗1+ 0∗1=
−2 −2 0
2 3
x x 2 1 4 8 17 5
¿ |−1
−2 +2 |0 −1= − +2∗ −1= =2
(S) 2 3 2 2 3 6 6

Аналогічно, для варіантів б) та в) відповіді:


44
45

2 −1 2
∫x 2
dg( x )=∫ x dx+2 ∫ x 3 dx +(+1 )∗1+0∗1=
2

−2 −2 0
3 4
x −1 x 2 1 8 16 1
¿ |−2 +2 |0 −1=− + +2∗ +1=11
(S) 3 4 3 3 4 3
2 2 2
∫ ( x +1)dg( x )=∫ x
3 3
dg ( x )+ ∫ 1∗dg( x )=
−2 −2 −2
−1 2 −1 2
¿ [ ∫ x dx +2∫ x dx +(−1)∗1+0∗1]+[ ∫ dx +2∫ xdx+(−1)∗1+0∗1 ]=
3 4

−2 0 −2 0
4 5 2
x −1 x 2 x
¿[ |−2 +2 |0 −1 ]+[ 1∗(−1 )+2∗1+2 |20 +1 ]=
4 5 2
1 16 32 4 1
¿ [ − +2∗ −1 ]+[2∗ +3 ]=15
(S) 4 4 5 2 20
46

ВИСНОВКИ

У даній роботі розглянуто означення і основні властивості інтеграла


Стілтьєса, його зв’язок, особливості і відмінності від інших визначених
інтегралів.

В ході виконання курсової роботи були з’ясовані загальні умови


існування інтегралу Стілтьєса та 3 класи випадків його існування, а також
вивчено порядок зведення інтегралу Стілтьєса до інтегралу Рімана.

У даній роботі досліджено 4 основних властивостей, формулу, за якою


здійснюється інтегрування за частинами цього інтегралу.

Були розглянуті приклади застосування інтеграла Стілтьєса для


розв’язку різних класів задач, зокрема, можливість об’єднання однією
інтегральною формулою різнорідних випадків неперервно розподілених и
зосереджених має за допомогою інтеграла Стілтъєса.

Отже, слід зазначити, що інтеграл Стілтьєса має специфічні властивості


і є не тільки узагальненням інтегралу Рімана, але й самостійним
інструментом для розв’язку певного класу задач.
47

СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ ТА ЛІТЕРАТУРИ

1. Гливенко В.И. Интеграл Стилтьеса / В.И. Гливенко. - М.-Л.: Объеди-


ненное научно-техническое издательство НКТИ СССР, 1936. – 217 с.
2. Гохман Э.Х. Интеграл Стилтьеса и его приложения / Э.Х. Гохман. – М. :
Физматгиз, 1958. – 191 с.
3. Кудрявцев Л.Д. Курс математического анализа, т.1. / Л.Д. Кудрявцев. - М.:
Высшая школа, 1965. – 568 с.
4. Смирнов В.И. Курс высшей математики (В 5-ти т.) том 5. / В.И.Смирнов -
М.-Л.: Госиздательство физ.-мат. литературы, 1959 – 655с.
5. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления
(В 3-х томах) т.3. / Г.М. Фихтенгольц. - М.: Издательство «Наука»,
Физматгиз, 1966 – 662 с.

You might also like