* Данный текст распознан в автоматическом режиме, поэтому может содержать ошибки
66
ГЛ. .
ФУНКЦИИ
ДЕЙСТВИТЕЛЬНОГО
ПЕРЕМЕННОГО
[5.7
Если f{x) абсолютно непрерывна, а ср(лг) суммируема на [а, Ь] и Ф{х) означает неопределенный интеграл от ср(лг), то справедлива формула интегрирования по частям ь ь (х) Ф (х) dx. fix) с? (х) dx = lf(x) Ф (*)]
J - 5 /&
6. Если функция ср (х) обращается в нуль вне отрезка [а, Ь] вместе со своей первообразной Ф(х) (включая концы отрезка), а функция f(x) дифференцируема, то проинтегрированный член исчезает и формула интегрирования по частям приобретает вид ь ъ f(x)(x)dx = — lf&(x)Q(*)dx или, иначе, ь f{x) ь Ф& (х) dx = —[f (х) Ф (х) dx.
Эта формула была положена С. Л. Соболевым в основу определения обобщенной производной, используемой при решении ряда задач математической физики. Именно, функция (O(JC) называется обобщенной производной в смысле Соболева от f{x), если для любой функции Ф(х бесконечно дифференцируемой и обращающейся в нуль вне некоторого отрезка [а, Ь имеет место равенство ь ь fix) Ф& (х) dx = — $ u (х) Ф (х) dx. >
J
Подробнее об обобщенном дифференцировании и о других операциях над обобщенными функциями см. следующий выпуск СМБ. 7. Приведенные выше определения интегралов Римана, Стилтьеса и Лебега являются конструктивными, т. е. они указывают действия, которые следует проделать для нахождения этих интегралов. В противоположность этому дескриптивное определение указывает лишь свойства, которыми должен обладать определяемый объект. Так, определение первообразной как функ-