Skip to main content
LibreTexts - Ukrayinska

6.6: темп

Інтеграл Рімана - Штілтьєса

FIXME: нам потрібно було б переробити купу речей з інтеграла Riemann. Можливо, корисно, але ті відсутні нижче, і начебто зробити це все більше і більше поза сферою книги.

Загальним корисним узагальненням інтеграла Рімана є інтеграл Рімана — Штілтьєса 1. Якщо ми думаємо про інтеграл Рімана як про суму, де всі члени зважуються однаково, природно, що ми можемо захотіти зробити зважену суму. Тобто ми, можливо, побажаємо надати деяким пунктам «більшу вагу», ніж іншим пунктам. Конкретний простий приклад того, що ми могли б хотіти досягти є інтеграл, який оцінює функцію в точці. Можливо, ви бачили цю концепцію у своєму класі обчислення як дельта-функцію.

Ми знову визначимо цей інтеграл, використовуючи підхід Дарбу для простоти.

f:[a,b]\RДозволяти бути обмеженою функцією і нехайα:[a,b]\R бути монотонна зростаюча функція. ДозволятиP бути розділом[a,b], потім визначити\ [\ begin {вирівняний} & m_i: =\ inf\ {f (x): x_ {i-1}\ leq x\ leq x_i\},\\ & m_i: =\ sup\ {f (x): x_ {i-1}\ leq x\ leq x_i\},\\ & L (P, f,\ альфа) := \ sum_ {i=1} ^n m_i\ bigl (\ альфа (x_i) -\ альфа (x_ {i-1})\ великий),\\ & U ( P, f,\ альфа) := \ sum_ {i=1} ^n m_i\ bigl (\ альфа (x_i) -\ альфа (x_ {i-1})\ бігр). \ end {aligned}\]L(P,f,α) U(P,f,α)Викликаємо і. Потім визначте\ [\ begin {вирівняний} &\ підкреслення {\ int_a^b} f~d\ альфа: =\ sup\ {L (P, f,\ альфа): P\ text { розділ $ [a, b] $}\},\\ &\ overline {\ int_a^b} f~d\ alpha: =\ inf\ {U (P, f,\ alpha): P\ text { розділ $ [a, b] $}\}. \ end {aligned}\] І ми_¯ називаємо і. Нарешті, якщоba_f dα=¯baf dα.

Тоді ми говоримо, щоf це стосовноα.

Коли нам потрібно вказати змінну інтеграції, ми можемо написатиbaf(x) dα(x).

Коли миα(x):=x встановимо, ми відновлюємо інтеграл Рімана. Позначенняdα передбачає похідну, в цьому випадкуα(x)=1 і, як ми вже говорили, інтеграл Рімана - це коли всі точки зважуються однаково.

Якщоα(x):=x, то обмежена функціяf:[a,b]\R є інтегровною Рімана тоді і тільки тоді, коли вона є інтегровною по Ріманна-Стілтьєсу відносноα. В даному випадкуbaf=baf dα.

Простоα(x)=x підключіть до визначення і зверніть увагу, що визначення тепер точно таке ж, як для інтеграла Рімана.

Припустимо, щоf:[a,b]\R це безперервно. Заданоc(a,b), нехай\ [\ альфа (x) := \ begin {випадки} 1 &\ text {якщо $x\ geq c$,}\\ 0 &\ text {якщо $x < c$.} \ end {cases}\] Ми стверджуємо,f що Riemann-Stieltjes диференційований відносноα і щоbaf dα=f(c).

Доказ: Даноϵ>0 взятиδ>0 таке, що\absf(x)f(c)<ϵ для всіхx[a,b] с\absxc<δ. Візьмемо розділ\ (P =\ {a, c-\ дельта, c+\ дельта, b\}\). Потім\ [\ почати {спліт} L (P, f,\ альфа) & = m_1\ bigl (\ альфа (c-\ дельта) -\ альфа (a)\ bigr) + m_2\ bigl (\ альфа (c+\ дельта) -\ альфа (c-\ дельта)\ bigr) + m_3\ bigl (\ альфа (b) -\ альфа (c+\ дельта)) \ великий)\\ & = m_2\ bigl (1 - 0) = m_2 =\ inf\ {f (x): х\ in [c-\ дельта, с+\ дельта] \} \\ & > f (c) -\ епсилон. \ end {split}\] АналогічноU(P,f,α)<f(c)+ϵ. ТомуU(P,f,α)L(P,f,α)<2ϵ.

Поняття про інтеграбельність дійсно залежить відα. Для дуже тривіального прикладу неважко побачити, що якщоα(x)=0, то всі обмежені функціїf на[a,b] інтегруються щодо цьогоα іbaf dα=0.

αЦе дуже приємно, ми можемо відновити інтеграл Ріманна-Штієса, використовуючи інтеграл Рімана.

Припустимо, щоf:[a,b]\R це інтегровна Рімана іα:[a,b]\R є постійно диференційованою зростаючою функцією. Тодіf є Rieman-Stieltjes інтегрується стосовноα іbaf(x) dα(x)=baf(x)α(x) dx.

ФІКСУВАТИ

Вправи

Безпосередньо з визначення інтеграла Ріманна-Стілтьеса доводятьp0, що якщоα(x)=px для деяких, то Iff є інтегровним Ріманом, то він є інтегровним по відношенню доα іpbaf=baf dα.

β:[a,b]\RДозволятиα:[a,b]\R і бути збільшення функцій і припустимо, щоα(x)=β(x)+C для деякої константиC. Якщоf:[a,b]\R інтегрується по відношенню доα, показати, що він інтегрується по відношенню доβ іbaf dα=baf dβ.


  1. Названий на честь...