579. Вычисление интегралов Стилтьеса.

Докажем следующую теорему:

1°. Если функция интегрируема в смысле а на в промежутке представлена интегралом

где функция абсолютно интегрируема в то

Интеграл справа существует [298, 482]. Существование интеграла Стилтьеса при сделанных предположениях уже было доказано [676, III].

Остается лишь установить равенство (11).

Без умаления общности можно предположить функцию положительной [ср. стр. 94].

Составим, как обычно, сумму Стилтьеса

Так как, с другой стороны, можно написать

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

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

Но мы уже знаем [575, III], что при последняя сумма стремится к 0, следовательно,

что и доказывает формулу (11).

В частности, из доказанной теоремы вытекает [если учесть замечание в конце п° 575] такое следствие, удобное для непосредственного применения на практике:

2°. При прежних предположениях относительно функции допустим, что функция непрерывна во всем промежутке и имеет в нем, исключая разве лишь конечное число точек,

производную которая в абсолютно интегрируема. Тогда

Интересно отметить, что интеграл справа в формуле (12) формально получается из интеграла слева, если, понимая символ буквально как дифференциал, заменить его выражением

Обращаясь к случаям, когда функция оказывается разрывной (что для практики, как увидим, представляет особый интерес), начнем с рассмотрения «стандартной» разрывной функции определяемой равенствами

Она имеет разрыв первого рода — скачок — в точке справа, причем величина скачка равна 1; в точке слева и в остальных точках функция непрерывна, функция будет иметь такой же разрыв в точке справа; наоборот, будет иметь подобный разрыв в точке слева, причем величина скачка будет равна — 1.

Предположим, что функция непрерывна в точке и вычислим интеграл , где (при этот интеграл равен нулю).

Составим сумму Стилтьеса:

Пусть точка с попадет, скажем, в промежуток, так что . Тогда а при очевидно, . Таким образом, вся сумма а сводится к одному слагаемому: Пусть теперь . По непрерывности Следовательно, существует (при )

Аналогично можно убедиться в том, что

(при c = a этот интеграл обращается в нуль).

Теперь мы в состоянии доказать теорему, в некотором смысле более общую чем 2°, а именно, отказаться от требования непрерывности функции

3°. Пусть функция в промежутке непрерывна, а имеет в этом промежутке, исключая разве лишь конечное число точек, производную которая абсолютно интегрируема в При этом пусть функция в конечном числе точек

терпит разрыв первого рода. Тогда существует интеграл Стилтьеса и выражается формулой

Характерно здесь наличие внеинтегральной суммы, где фигурируют скачки функции в точках а или — односторонние

Для упрощения записи введем обозначения для скачков функции справа и слева:

очевидно, для

Составим вспомогательную функцию:

которая как бы вбирает в себя все разрывы функции так что разность как мы сейчас установим, оказывается уже непрерывной.

Для значений х, Отличных от всех непрерывность функции не вызывает сомнений, ибо для этих значений непрерывны обе функции Докажем теперь непрерывность в точке с права. Все слагаемые суммы кроме члена непрерывны при справа; поэтому достаточно изучить поведение выражения . При оно имеет значение но таков же и его предел при

Аналогично проверяется и непрерывность функции в точке слева.

Далее, если взять точку х (отличную от всех в которой функция имеет производную, то вблизи этой точки сохраняет постоянное значение, следовательно, в ней и функция имеет производную, причем

Для непрерывной функции по предыдущей теореме, существует интеграл Стилтьеса

Точно так же легко вычислить и интеграл [см. (13), (14)]

Складывая почленно эти два равенства, мы и придем к равенству (15); существование интеграла Стилтьеса по функции устанавливается попутно [576, 3°].