об интеграле лебега-стилтьеса с разрывной производящей функцией и его связи с интегралом римана-стилтьеса
Н.В. ШИПОВ, доц. МГУЛ, канд. физ.-мат. наук(Г>
[email protected], nvshi@mai 1.ги (1>ФГБОУ ВПО «Московский государственный университет леса» 141005, Московская обл., г. Мытищи-5, ул. 1-я институтская, д. 1, МГУЛ
Наиболее широким классом производящих функций для меры множеств в интеграле Лебега-Стилтьеса, а также производящих функций в интеграле Римана-Стилтьеса, является множество функций с ограниченной вариацией. Функции с ограниченной вариацией, которые в общем случае являются разрывными как слева, так и справа, представляются, как известно, в виде разности двух монотонных неубывающих функций. Каждая из этих двух монотонных неубывающих функций является в общем случае разрывной функцией (разрывной как слева, так и справа). Для целей изложения свойств меры Лебега-Стилтьеса и соответствующих свойств интеграла Лебега-Стилтьеса удобно считать, что монотонная производящая функция является непрерывной слева (или непрерывной только справа). При использовании интеграла Лебега-Стилтьеса в ряде случаев предлагается переопределить в случае необходимости каждую из двух монотонных неубывающих функций так, чтобы они стали непрерывными слева, что снижает общность изложения и применения. Разрывная производящая функция с ограниченным изменением представлена на отрезке в виде суммы непрерывной функции с ограниченным изменением, непрерывной слева функции скачков и непрерывной справа функции скачков. Обусловленная этими тремя функциями мера Лебега-Стилтьеса множества, а также соответствующий интеграл Лебега-Стилтьеса для разрывной (как справа, так и слева) производящей функции представлены в виде суммы трех слагаемых, каждое из которых определяется одной из указанных функций. Исходный интеграл Лебега-Стилтьеса оказывается независящим от значений производящей функции в точках разрыва. В методическом плане проиллюстрировано, что из полученных разложений непосредственно следует, что если подынтегральная функция непрерывна на отрезке [а, Ь], то интеграл Лебега-Стилтьеса по отрезку [а, Ь] совпадает с соответствующим интегралом Римана-Стилтьеса по отрезку [а, Ь]. Ранее этот факт был доказан на полуинтервале [а, Ь] для непрерывной слева производящей функции.
Ключевые слова: производящая функция, функции скачков, мера Лебега-Стилтьеса, интеграл Лебега-Стилтьеса, интеграл Римана-Стилтьеса
Как хорошо известно [1-10], наиболее широким классом производящих функций для меры множеств в интеграле Лебега-Стилтьеса, а также производящих функций в интеграле Римана-Стилтьеса [1-5], является множество функций с ограниченной вариацией. Последние, в свою очередь, представляются в виде разности двух монотонных неубывающих функций, каждая из которых является в общем случае разрывной функцией [1-5]. Для целей изложения свойств меры и интеграла Лебега-Стилтьеса [1], удобно считать монотонную производящую функцию непрерывной слева (или справа). При использовании интеграла в ряде случаев предлагается переопределить, в случае необходимости, каждую из двух монотонных неубывающих функций так, чтобы они стали непрерывными слева на интервале (а, Ь) [3, 11], что снижает общность изложения и применения. Целью настоящего краткого сообщения (для производящей функции разрывной как справа, так и слева) является выделение дискретных составляющих меры (и соответственно интеграла), отвечающих скачкам функции отдельно слева и справа.
В качестве производящей функции для меры Лебега-Стилтьеса будем использовать
сначала монотонную неубывающую разрывную справа и слева функцию F(x), имеющую на отрезке [а, Ь] не более чем счетное число точек разрыва х Обозначим скачки функции F(x) в токе х.
К = F(xl + 0) - F(x), gr F(x) - F(xl - 0), (1) Иы = 0 в точке xN = Ь, g0 = 0 в точке x0 = а. (2) Неубывающую разрывную справа и слева функцию F(x) представим в виде суммы трех слагаемых
F(x) = ф + И + g (3)
где функции скачков
М*)= (4>
Х1<Х %<х
будут неубывающими непрерывными соответственно слева и справа. Поскольку Иф ) = = - 0), +0) = + И,, g(xl -0) = = g(x) - gP g(xl + 0) = g(x.), то в представлении (3) функция ф ф) оказывается непрерывной неубывающей функцией на отрезке [а, Ь]. Доказательство непрерывности справа и слева функции ф^) здесь полностью аналогично доказательству непрерывности слева соответствующей функции ф^) в [1], где F(x) считалась непрерывной слева.
Для каждой из трех неубывающих функций в (3) определены меры отрезков и
полуинтервалов. На полукольце интервалов, отрезков полуинтервалов для функции F(x), непрерывной слева, имеем [1]
m (а, в) = F(P) - F(a + 0), (5а) m [а, в] = F(p+0) - F(a), (5б) m (а, в] = F(e +0) - F(a + 0), (5в) m [а, в) = F(e) - F(a). (5г)
На полукольце интервалов, отрезков полуинтервалов для функции F(x), непрерывной справа, меру определяем по формулам
m(a, в) = F0 - 0) - F(a), (5д) m [а, в] = F0) - F(a - 0), (5е) m (а, в] = F$) - F(a). (5ж)
m [а, в) = - 0) - F(a - 0). (5з) Таким образом, мера Лебега-Стилтьеса |F , ввиду (3), представлена в виде суммы трех мер Лебега-Стилтьеса множества А œ [a, b]
IF (А) = |Дф (А) + |ДД (А) + | (А). (6) Сумма дискретных мер в (6) множества A œ [a, b] , ввиду G-аддитивности этих мер, сразу находится из определений (1), (2), (4), поскольку множество точек разрыва не более чем счетно
ця (А) + |ug (А) = £ k + Z & (7)
XjtzA XjŒÂ
Таким образом, в общем случае равенство (6) справедливо на пересечении g - алгебр мер IH, | и в том числе для всех открытых и замкнутых множеств отрезка [a, b], а также их счетных сумм и пересечений, включая все борелевские множества отрезка [a, b].
Последнее замечание существенно при определении измеримости и суммируемости функций по мере |F.
Пусть функция f(x) измерима, то есть измерима по классической мере Лебега. Тогда прообраз любого борелевского множества есть борелевское множество, а это последнее (ввиду изложенного в предыдущем абзаце) |д-измеримо и ^-измеримо. Таким образом, измеримая функция будет ^.-измеримой.
Предполагая выполненными условия суммируемости fx) по мере а также считая ряды в точках разрыва x сходящимися абсолютно, интеграл Лебега-Стилтьеса по мере |F представляется в виде суммы трех слагаемых | /0)4^= |/(х)фф +
["М [о,г>] (8)
Объединяя ряды и оставляя скачки функции р(х) в граничных точках а, Ь за знаком суммы ряда, приходим к окончательному выражению
|/о)41ф+ £ /(х.)х
[а,Ь] [а,Ь] **<=(а,Ь)
х(Р(х . + 0) - Г(хг - 0 )) + / (а) ф(а + 0) -- Р(а)) + /(Ь) (Р(Ь) - Р(Ь - 0)). (9) Для непрерывной неубывающей функции ф(х) меры всех отрезков и полуинтервалов совпадают с выражением ф(в) - ф(а) в (5г), (5ж).
Для неубывающей функции Р(х), имеющей разрывы справа и слева, меры всех отрезков и полуинтервалов получаются по формулам (6) с использованием выражений (5) для ^х) и g(x). Так, если интервал (а, в) не содержит точек разрыва, то разность ф(в) - ф(а), задающая меру первого слагаемого в (6), совпадает с изменением р(в - 0) -- р(а + 0) функции р(х) на указанном интервале, а второе и третье слагаемые в (6) для интервала равны нулю, т(а, в) = р(в - 0) - р(а + 0). Аналогично находим меру точки разрыва х
^ (хг) = т (хг ) = т [хр х] =
= Г(хг + 0) - Г(хг - 0). (10)
Меры отрезков и полуинтервалов получаются по аддитивности прибавлением к т(а, в) = Р(в - 0) - Р(а + 0) мер граничных точек (10).
В итоге для неубывающей функции р(х), имеющей разрывы справа и слева в точках а и в, определяем меры всех отрезков, интервалов и полуинтервалов
т(а, в) = Р(в - 0) - Р(а + 0), т [а, в] = Р(в + 0) - Р(а - 0), т [а, в) = р(в - 0) - Р(а - 0), т(а, в] = Р(в + 0) - Р(а + 0). (11) Пусть теперь р(х) есть разрывная (справа и слева в отдельных точках) функция с ограниченным изменением. Поэтому она может быть представлена в виде разности двух монотонных неубывающих разрывных (справа и слева в отдельных точках) функций, для каждой из которых справедлива формула (9). Объединяя множество точек разрыва этих двух функций в единое множество, приходим снова к формуле (9) для произвольной функции р(х) с ограниченным изменением. Для
этой функции скачки в формуле (9) могут быть разных знаков. Непрерывная функция ф(х) с ограниченным изменением в (9) определяется по исходной функции F(x) и также может быть представлена в виде разности монотонных, но уже непрерывных функций.
Как следствие (10), интеграл Лебега-Стилтьеса в (9) не зависит от значений производящей функции F(x) в ее точках разрыва, лежащих внутри интервала (а, b).
С помощью формулы (9) теорему о совпадении интеграла Лебега-Стилтьеса с интегралом Римана-Стилтьеса можно доказать не только на полуинтервале [1], с. 362, но и на отрезке. Автоматически отпадает необходимость доказательства ряда свойств и теорем, связанных с независимостью интеграла Римана-Стилтьеса от значений производящей функции в точках ее разрыва [1].
Теорема 1. Если функция fx) непрерывна на отрезке [a, b], а F(x) имеет ограниченное изменение на [a, b], то ее интеграл Римана-Стилтьеса существует, совпадает с соответствующим интегралом Лебега-Стилтье-са и не зависит от значений функции F(x) в ее точках разрыва внутри интервала (a, b).
Существование обоих интегралов очевидно. Для интеграла Римана-Стилтьеса достаточно для заданного 8 выбрать такое 5, что в любом промежутке с длиной, меньшей 5, колебание ю функции fx) будет меньше 8 / [F(b) -- Fa)] для монотонной F(x). Пусть далее отрезок [a, b] разбит на отрезки [x x ] длиной меньше 5 , где x . - произвольная монотонно возрастающая последовательность из n + 1 точек. Тогда
- F(x.)] < 8 , (12)
i
откуда следует существование интеграла Ри-мана-Стилтьеса для неубывающей функции F(x), а значит и для функции F(x) с ограниченным изменением [5].
Поскольку предел интегральной суммы (интеграла Римана-Стилтьеса при max Д x . ^ 0)
Z/(^)[F(x!+1) - F(x.)] (13) i'=0
существует и не зависит от выбора промежуточных точек [5], то можно считать x . < < x Но тогда сумму (13) можно рас-
сматривать как интеграл Лебега-Стилтьеса от простой -измеримой ступенчатой функции Vn(x) = XQx < x < x^ (M) где производящая функция F(x) считается непрерывной слева, первые две составляющие меры в (3), (6). Мера полуинтервала [x., x.+1] выражается формулой (5г). Функция (14) при n ^ да равномерно сходится к fx). Поэтому при переходе к пределу (по определению интеграла Лебега с мерой + сумма (13) дает интеграл Лебега-Стилтьеса от функции fx) по полуинтервалу [a, b], то есть первые два слагаемых интеграла по отрезку [a, b] в (8), поскольку hN = 0 в точке b.
Третья составляющая меры (3),(6) есть непрерывная справа функция скачков g(x). Поскольку для нее интеграл Римана-Стилтье-са также существует, то справедливы предыдущие рассуждения, но уже для полуинтервала (x., x.+1), для которого мера определяется фор-мулойй (5жХ g(x.+i) - g(x) = g(x.+i) - g(x+i - 0) = = g.+1. Переходя к пределу, получаем третье слагаемое в (8) при производящей функции g(x). После объединения рядов в (8), для интеграла Римана-Стилтьеса снова приходим к формуле (9), где все интегралы должны быть заменены на интегралы Римана-Стилтьеса, а функция F(x) является функцией с ограниченным изменением. Теорема доказана.
Одновременное включение в производящую функцию F(x) функций скачков, непрерывных отдельно справа и слева, позволяет в условиях теоремы исключить определения интеграла Римана-Стилтьеса по различным полуинтервалам [1], а также использовать общее определение интеграла Римана-Стилтье-са по отрезку [5], в котором промежуточная точка может принимать все значения из отрезка [x, x.+1].
Формула (9) также включает в себя ряд утверждений и теорем [1] о независимости интеграла Римана-Стилтьеса от значений F(x) в точках ее разрыва, если интегрируемая функция непрерывна.
Использование для производящей функции интеграла Римана-Стилтьеса упрощенной функции скачков [11] приводит к тому, что функция 9(x) в соответствующем разложении (3) оказывается разрывной
(с устранимыми разрывами). Однако в условиях теоремы 1 интеграл Римана-Стилтьеса не зависит от значений производящей функции в точках ее разрыва, так что окончательные выражения для интеграла Римана-Стилтьеса совпадают с (9).
Библиографический список
1. Колмогоров, А.Н. Элементы теории функций и функционального анализа / А.Н. Колмогоров, С.В. Фомин. - М.: Наука, 1976. - 542 с.
2. Натансон, И.П. Теория функций действительной переменной / И.П. Натансон. - М.: Гостехиздат, 1957. - 552 с.
3. Свешников, А.Г. Нелинейный функциональный анализ и его приложения к уравнениям в частных производных / А.Г. Свешников, А.Б. Альшин, М.О. Корпусов. - М.: Научный мир, 2008. - 399 с.
4. Богачев, В.И. Основы теории меры. В 2 т. Т. 2 Основы теории меры / В.И. Богачев. - М.: Научный мир, 2003. - 520 с.
5. Фихтенгольц, Г.М. Курс дифференциального и интегрального исчисления. Т. 3. Курс дифференциального и интегрального исчисления / Г.М. Фихтенгольц. - М.: Наука, 1970. - 656 с.
6. Никольский, С.М. Курс математического анализа. Т. 2. Курс математического анализа / С.М. Никольский. - М.: Наука, 1973. - 391 с.
7. Никольский, С.М. Приближение функций многих переменных и теоремы вложения / С.М. Никольский. - М.: Наука, 1969. - 480 с.
8. Владимиров, В.С. Уравнения математической физики /
B.С. Владимиров. - М.: Наука, 1971. - 512 с.
9. Владимиров, В.С. Обобщенные функции в математической физике / В.С. Владимиров. - М.: Наука, 1971.
- 318 с.
10. Шипов, Н.В. О свойствах функционала Р(1/х) в пространстве обобщенных функций медленного роста / Н.В. Шипов // Математика в ВУЗе, 2010. - Вып. 19. -
C. 1-8. http://■w■w■w.spЬstu/puЫгc/m_v/гndex.html
11. Покорный, Ю.В. Осцилляционная теория Штурма-Ли-увилля для импульсных задач / Ю.В. Покорный, М.Б. Зверев, С.А. Шабров // Успехи мат. наук., 2008. - Т. 63.
- Вып. 1.- С. 111-153.
ABOUT LEBESGUE-STIELTJES INTEGRAL WITH DISCONTINUOUS GENERATING FUNCTION AND ITS CONNECTION WITH RIEMANN-STIELTJES INTEGRAL Shipov N.V., Accoc. Prof. Ph.D. (Physics and Mathematics) (1)
[email protected], [email protected] (1)Moscow Forest State University (MSFU), 1st Institutskaya st., 1, 141005 Mytishchi, Moscow reg., Russia The widest class of generating functions for the Lebesgue-Stieltjes measure of the set and for the Lebesgue-Stieltjes Integral is the class of bounded variation functions. It is known, that the function of bounded variation can be written in the form of difference of two discontinuous monotone nondecreasing functions. It is convenient to explain the properties of Lebesgue - Stieltjes Integral and the properties of Lebesgue-Stieltjes measure in the case, when the monotone nondecreasing generating function is continuous from the left. It is offered sometimes to overdetermine the discontinuous generating function (discontinuous from the left and discontinuous from the right). Then the resulting generating function turns out to be continuous from the left. Discontinuous generating function of a bounded variation over the segment [a, b] is decomposed in the sum of continuous functions of bounded variation, a jump function (continuous from the left) and a jump function (continuous from the right). Lebesgue-Stieltjes measure of the set with respect to these three functions and the appropriate Lebesgue-Stieltjes integral decomposition are represented by the three relevant terms in the sum. Lebesgue-Stieltjes Integral is not depending on the values of the generating function at the jump dots. It follows from these decompositions that if the function under the integral is continuous over the segment [a, b], then the appropriate Lebesgue-Stieltjes Integral over the segment [a, b] is the same as the appropriate Riemann- Stieltjes Integral over the segment [a, b], not only over the half-interval [a, b].
Keywords: generating function, jump function, Lebesgue-Stieltjes measure, Lebesgue-Stieltjes Integral, Riemann-Stieltjes Integral
References
1. Kolmogorov, A.N., Fomin, S.V. Elementy teorii funktsiy i funktsionaVnogo analiza [Elements of the theory of functions and functional analysis]. Moscow: Nauka Publ., 1976. 542 p.
2. Natanson, I.P. Teoriya funktsiy deystvitel'noy peremennoy [Theory of functions of the valid variable]. Moscow: Gostekhizdat Publ., 1957. 552 p.
3. Sveshnikov A.G., Al'shin A.B., Korpusov M.O. Nelineynyy funktsional'nyy analiz i egoprilozheniya k uravneniyam v chastnykh proizvodnykh [The nonlinear functional analysis and its annexes to the equations in private derivatives]. Moscow: Nauchnyy mir Publ., 2008. 399 p.
4. Bogachev V.I. Osnovy teorii mery [Bases of the theory of a measure]. Moscow, Nauchnyy mir Publ., 2003. T. 2. 520 p.
5. Fikhtengol'ts G.M. Kurs differentsial'nogo i integral'nogo ischisleniya. T. 3. Kurs differentsial'nogo i integral'nogo ischisleniya [Course of differential and integral calculus.]. Moscow: Nauka Publ., 1970. 656 p.
6. Nikol'skiy S.M. Kurs matematicheskogo analiza [Course of the mathematical analysis]. Moscow: Nauka Publ., 1973. 391 p.
7. Nikol'skiy S.M. Priblizhenie funktsiy mnogikh peremennykh i teoremy vlozheniya [Approach of functions of many variables and theorem of an investment]. Moscow: Nauka Publ., 1969. 480 p.
8. Vladimirov V.S. Uravneniya matematicheskoy fiziki [Equations of mathematical physics]. Moscow, Nauka Publ., 1971. 512 p.
9. Vladimirov, V.S. Obobshchennyefunktsii v matematicheskoy fizike [The generalized functions in mathematical physics]. Moscow, Nauka Publ., 1971. 318 p.
10. Shipov, N.V. O svoystvakh funktsionala P(1/x) v prostranstve obobshchennykh funktsiy medlennogo rosta [About properties of functionality of P(1/x) in space of the generalized functions of slow growth]. Mathematics in higher education institution. St. Petersburg state polytechnical university, 2010. № 19. pp. 1-8. http://www.spbstu/public/m_v/index.html (Accessed 20 April 2010).
11. Pokornyy Yu.V., Zverev M.B., Shabrov S.A. Ostsillyatsionnaya teoriyaShturma-Liuvillyadlyaimpul 'snykhzadach [The oscillation theory of Storm Liouville for pulse tasks]. Achievements of Mathematical Sciences, 2008, Vol. 63, № 1, pp. 111-153.