CC BY
37
УДК 517
дополнительные свойства интеграла в смысле главного значения и вариант сведения интеграла лебега-стилтьеса к интегралу римана-стилтьеса
Н.В. ШИПОВ, доц., МГУЛ, канд. физ.-мат. наук(Г>, О.М. ПОЛЕЩУК, проф., МГУЛ, д-р техн. наук(1>, А.В. ШМАКОВ, доц., МГУЛ, канд. физ.-мат. наук(Г>
rubinshtein_aleksandr@mail.ru, caf-math@mgul.ac.ru (1) ФГБОУ ВО «Московский государственный университет леса» 141005, Московская обл., г. Мытищи-5, ул.1-я Институтская, д. 1, МГУЛ.
Найдена в явном виде альтернативная формула представления функционала - обобщенной функции P(1/x) (и всех его производных) в пространстве обобщенных функций медленного роста. Наиболее широким классом производящих функций для меры множеств в интеграле Лебега-Стилтьеса, а также производящих функций в интеграле Римана-Стилтьеса, является множество функций с ограниченной вариацией. Функции с ограниченной вариацией представляются, как известно, в виде разности двух монотонных неубывающих функций. Каждая из этих двух монотонных неубывающих функций является в общем случае разрывной функцией (разрывной как слева, так и справа). Для целей изложения свойств меры Лебега-Стилтьеса и соответствующих свойств интеграла Лебега-Стилтье-са удобно считать, что монотонная производящая функция является непрерывной слева (или непрерывной только справа). При использовании интеграла Лебега-Стилтьеса в ряде случаев предлагается переопределить, в случае необходимости, каждую из двух монотонных неубывающих функций так, чтобы они стали непрерывными слева, что снижает общность изложения и применения. Разрывная производящая функция с ограниченным изменением представлена на отрезке в виде суммы непрерывной функции с ограниченным изменением, непрерывной слева функции скачков и непрерывной справа функции скачков. Обусловленная этими тремя функциями мера Лебега-Стилтьеса множества, а также соответствующий интеграл Лебега-Стилтьеса для разрывной (как справа, так и слева) производящей функции представлены в виде суммы трех слагаемых, каждое из которых определяется одной из указанных выше функций. Исходный интеграл Лебега-Стилтьеса оказывается независящим от значений производящей функции в точках разрыва. В методическом плане проиллюстрировано, что из полученных разложений непосредственно следует, что если подынтегральная функция непрерывна на отрезке [a, b], то интеграл Лебега-Стилтьеса по отрезку [a, b] совпадает с соответствующим интегралом Римана-Стилтьеса по отрезку [a, b]. Ранее этот факт был доказан на полуинтервале [a, b) для непрерывной слева производящей функции.
Ключевые слова: функционал обобщенная функция P(l/x) функции скачков, интеграл Лебега-Стилтьеса, интеграл Римана-Стилтьеса.
В теории обобщенных функций функционал Р(1/х) возникает так же часто (например при преобразованиях Фурье), как и другие общеизвестные универсальные функции, такие как функция Хевисайда, дельта-функция 5 (х), функция знака sign(x) и ряд других [1-10]. В свзи с этим представляется интересным более подробное изучение свойств функционала Р(1/х) в пространстве S' обобщённых функций медленного роста. Пространство S основных функций состоит из бесконечно дифференцируемых функций ф(х), убывающих при | х | ^ ю вместе со всеми производными быстрее любой степени
1/| х |,
Функция
Лх) = 1п(х), (1)
локально суммируема (интегрируема по Лебегу на любом ограниченном борелевском мно-
жестве), и на всей числовой оси для неё (при некотором п > 0) выполнено неравенство
Лх)|(1+1 х |)-" dx < ю. (2)
Таким образом функция 1п(х) определяет регулярную обобщённую функцию медленного роста (линейный непрерывный функционал на множестве S), причём из свойств этого функционала следует, что все производные этой функции (как обобщенные функции) существуют и непрерывны [2]. Для регулярных обобщенных функций, имеющих разрывы первого рода, существует универсальная формула, выражающая производную обобщенной функции через скачки в точках разрыва [2]. Для функций с разрывами второго рода универсальной формулы нет, так что вычисление производной от 1п(х) проводим исходя из общего определения производной обобщенной функции
(1п(х)', ф(х))= - (1п\х\, ф'(х) ) =
= Шп (ф(в) 1пв - ф(-5) 1п 5 +
5->0,£->0
+
у V* у
(3)
х ; х
—«« е
где 8 > 0, 5 > 0.
Поскольку функционал в левой части существует, то конечное значение в правой части возможно при 5 = 8. Отсюда получаем выражение
^
(4)
(1п(х)', ф(х)) =
Выделяя на действительной оси симметричный интервал интегрирования (-Я, Я), где Я > 0, и переходя к пределу, получаем окончательное выражение
(Р(1/х) , ф(х)) = (1п(х)', ф(х)) =
= Цт|(ф(*Ьр(0))^ (5)
Д-Х» •) у*
-я Л
Используя формулу (5), для производной Р '(1/х) имеем
(Р'(1/х), ф) = -(Р(1/х), ф') =
я.
Д-хю Л
-я
Вводя функцию у(х) = ф(х) - хф'(0)-- ф(0), после интегрирования по частям получаем
(Р'(1/х), ф) = -(Р (1/х2 ), ф), (6)
где
(Р (1/х2 ), ф) = Итйг(ф(*)^(0)-*ф'(0))^ (7)
Я—ко J V2
-Я
Аналогичным образом продолжая процесс, приходим к окончательному выражению для функционала производной порядка п ( п = 0, 1, 2, 3... )
(Р(п)(1/х), ф) = (-1)" п!(Р (1/х п+1), ф), (8)
л
Шп Г
Я->00 J
-Я
(Р (1/х п), ф(х)) =
(ф(х)^р(о)-хфхо)-... х ф _("-!)!
х"
. (9)
Полученные выражения могут быть использованы в расчётах для оценок производных функционала, а также для установления и проверки различных соотношений между обобщёнными функциями в пространстве S\ Например, функционал (8) удовлетворяет в S' уравнению
х" Р(1/хп ) = 1,
(10)
поскольку все производные от функции х" ф(х) порядка не выше п - 1 обращаются в ноль при х = 0.
Ортонормальные функции Эрмита (волновые функции гармонического осциллятора) принадлежат пространству S и могут быть представлены в виде [5]
Н7КЛх) =
\22К+1у/к)
М /О _.\2ЛГ-2М+1
,(-1Г(2х)
ехр(-х2/2). (11) ££ М\(2к-2М+Х)\
Для произвольной обобщенной функции f из S' числа
Л Л = Л Нп ), (12)
называются коэффициентами Фурье, а формальный ряд
Еа п Л) Н п (х), (13)
называется рядом Фурье по ортонормальной системе функций Эрмита.
Для того, чтобы f принадлежала S', необходимо и достаточно, чтобы её коэффициенты Фурье удовлетворяли условию: существуют числа р > 0 и С такие, что
\а п Л) I < С (1 + п)р, п = 0, 1, ... (14)
При этом ряд Фурье f единственен, сходится к Л в S ' (в смысле слабой сходимости) [2].
Как следует из формул (5), (12), при вычислении коэффициентов Фурье а2К + 1(/) для функции А(х) = Р(1/х), только нечётные степени будут обеспечивать ненулевой вклад в интеграл по действительной оси. По этой причине в (11) приведены только нечётные функции Эрмита, содержащие конечное число нечетных степеней х. Опуская детали ин-
тегрирования, приведём окончательный результат
аж„(Р(1/х)) = ((2к + 1)№Т'2х
М-Щ, к = 0, 1, 2 (15)
где для унификации удобно считать (-1)! = 1.
Отметим, что число слагаемых в сумме для а 2К + 1 ограничено и не превышает индекс к.
Выражения (14), (15) могут быть использованы для вычисления коэффициентов Фурье по ортонормальной системе функций Эрмита для других обобщенных функций, связанных с Р(1/х), а также для установления принадлежности этих обобщенных функций пространству S'.
Далее кратко приведем другой вариант доказательства теоремы о независимости интеграла Римана-Стилтьеса от значений производящей функции (с ограниченным изменением) Д(х) в её точках разрыва, если интегрируемая функция Л(х) непрерывна на отрезке [а, Ь] [1]. Для этого используем утверждение [1]. о том, что Д(х) может быть представлена суммой функции скачков у(х) и непрерывной функции ф(х). Выразив константы функции у(х) через скачки неубывающей Д(х) в точках разрыва справа и слева
К = Д(х. + 0) - Д(х. ), gI = Д(х.) - Д(х. - 0), (16)
Иы = 0 в точке хы = Ь, g0 = 0 в точке х0 = а, приходим к следующему разложению
Д(х) = ф(х) + А(х) + g(x), (17)
где функции скачков
К(х) = g(x) = 2>ь (18)
будут неубывающими непрерывными соответственно слева и справа.
В случае монотонно возрастающей непрерывной слева Д(х) меры интервалов (отрезков) определены [1]
т(а, в) = Д(Р) - Д(а + 0), (19а) т[а, в] = Д(Р+0) - Д(а), (19б) т(а, в] = Д(Р +0) - Да + 0), (19в)
т[а, Р) = Д(Р) - Да). (19г)
Для неубывающей функции F(x), непрерывной справа, меру определяем по формулам
т(а, Р) = ДР - 0) - Д(а), (20д) т[а, Р] = Д(Р) - Да - 0), (20е) т(а, Р] = Д(Р) - Да). (20ж) т[а, Р) = ДР - 0) - Да - 0). (20з)
Таким образом интеграл лебега-Стилтьеса по мере, определяемой каждым из трех слагаемых в (17), представляется в виде
¡Ах^(х) = | ДхУф(х) +
[ам [о,г.]
++(21)
где ряды предполагаются сходящимися абсолютно.
Объединяя ряды и оставляя скачки функции Дх) в граничных точках а, Ь за знаком суммы ряда, приходим к окончательному выражению
|/(*ЬДх) = |/№ф(х) + X /и)х
[аМ
х(Д(хг + 0) - Д(х. - 0 )) + Д(а)(Д(а + 0) -
- Д(а)) + Д(Ь)(Д(Ь) - Д(Ь - 0)). (22)
Пусть теперь Д(х) функция с ограниченным изменением. Поэтому она может быть представлена в виде разности двух монотонных неубывающих функций, для каждой из которых справедлива формула (22). Объединяя множество точек разрыва этих двух функций в единое множество, приходим снова к формуле (22) для произвольной функции Д(х) с ограниченным изменением. Для этой функции скачки в формуле (22) могут быть разных знаков. Непрерывная функция ф (х) с ограниченным изменением в (22) определяется по исходной функции Д(х) и также может быть представлена в виде разности монотонных, но уже непрерывных функций.
Поскольку интеграл лебега-Стилтьеса в (22) не зависит от значений производящей
функции Д(х) в её точках разрыва, лежащих внутри интервала (а, Ь), остается доказать, что для непрерывной функции Д(х) он совпадает с интегралом Римана-Стилтьеса. Существование обоих интегралов очевидно.
Для интеграла Римана-Стилтьеса достаточно для заданного 8 выбрать такое 5, что в любом промежутке с длиной, меньшей 5, колебание ю функции Д(х) будет меньше 8 / [ Д(Ь) - Fа)] для монотонной Д(х). Пусть далее отрезок [а, Ь] разбит на отрезки [х. , х. +1] длиной меньше 5 , где х. - произвольная монотонно возрастающая последовательность из п + 1 точек. Тогда
) - Р(х) ] < 8, (23)
откуда следует существование интеграла Ри-мана-Стилтьеса для неубывающей функции Д(х), а значит и для функции Д(х) с ограниченным изменением [5].
Поскольку предел интегральной суммы (интеграла Римана-Стилтьеса при тах Ах. ^ 0)
ЕЖ)№г+1 ) - Д(х.)], (24)
¿=о
существует и не зависит от выбора промежуточных точек ^ [5], то можно считать х . < < х Но тогда сумму (24) можно рассматривать как интеграл Лебега-Стилтьеса от простой ступенчатой функции
¥п (х) = ^ X х. < х < х^ (25)
где производящая функция Д(х) считается непрерывной слева, первые два слагаемые в (17). Мера полуинтервала [х. , х . +1 ) выражается формулой (19г). Функция (25) при п ^ го равномерно сходится к Д(х). Поэтому при переходе к пределу сумма (24) даёт интеграл Лебега-Стилтьеса от функции Д(х) по полуинтервалу [а,Ь), то есть первые два слагаемых интеграла по отрезку [а, Ь] в (21), поскольку Иы = 0 в точке Ь.
Третье слагаемое в (17) есть непрерывная справа функция скачков g(x). Поскольку для неё интеграл Римана-Стилтьеса также существует, то справедливы предыдущие рассуждения, но уже для полуинтервала
(x. , x.+1], для которого мера определяется формулой (20ж),
gCxJ - g(x) = g(x!+i) - g(x+i - 0) = g+i.
Переходя к пределу, получаем третье слагаемое в (21). После объединения рядов в (21) для интеграла Римана-Стилтьеса снова приходим к формуле (22), где все интегралы должны быть заменены на интегралы Рима-на-Стилтьеса, а функция F(x) является функцией с ограниченным изменением.
Одновременное включение в производящую функцию F(x) функций скачков, непрерывных отдельно справа и слева, позволяет исключить определения интеграла Римана-Стилтьеса по различным полуинтервалам [1] и использовать общее определение интеграла Римана-Стилтьеса по отрезку [5,6], в котором промежуточная точка может принимать все значения из отрезка [x., x . +1].
Использование для производящей функции интеграла Римана-Стилтьеса упрощенной функции скачков ([11], с.119) приводит к тому, что функция 9(x) в соответствующем разложении (3) оказывается разрывной (с устранимыми разрывами). Однако в случае непрерывности F(x) интеграл Римана-Стилтьеса не зависит от значений производящей функции в точках её разрыва, так что окончательные выражения для интеграла Римана-Стилтьеса совпадают с (22).
Библиографический список
1. Колмогоров, А.Н. Элементы теории функций и функционального анализа / А.Н. Колмогоров, С.В. Фомин. - М.: Физматлит, 2006. - 542 с.
2. Натансон, И.П. Теория функций действительной переменной / И.П. Натансон. — М.: Гостехиздат, 1957. -552 с.
3. Свешников, А.Г., Альшин А.Б., Корпусов М.О. Нелинейный функциональный анализ и его приложения к уравнениям в частных производных / А.Г. Свешников, А.Б. Альшин, М.О. Корпусов. - М.: Научный мир, 2008. - 399 с.
4. Богачев, В.И. Основы теории меры. В 2 т. Т. 2 Основы теории меры / В.И. Богачев. - М.: Научный мир, 2003. - 520 с.
5. Фихтенгольц, Г.М. Курс дифференциального и интегрального исчисления. В 3 т. Т. 3. Курс дифференциального и интегрального исчисления / Г.М. Фихтенгольц. -М.: Наука, 1970. - 656 с.
6. Никольский, С.М. Курс математического анализа. В 2 т. Т.2 Курс математического анализа / С.М. Никольский. -М.: Наука, 1973. - 391 с.
7. Никольский, С.М. Приближение функций многих переменных и теоремы вложения / С.М. Никольский.. - М.: Наука, 1969. - 480 с.
8. Владимиров, В.С. Уравнения математической физики / В.С. Владимиров. - М.: Наука, 1971. - 512с.
9. Владимиров, В.С. Обобщенные функции в математической физике / В.С. Владимиров. - М.: Наука, 1971. - 318с.
10. Шипов, Н.В. О свойствах функционала Р(1/х) в пространстве обобщенных функций медленного роста / Н.В. Шипов // Вестник МГУЛ - Лесной Вестник. -2010. - Т. 75. - Вып. 6. - С. 183-185.
11. Покорный,Ю.В. Осцилляционная теория Штурма-Лиувилля для импульсных задач / Ю.В. Покорный, М.Б. Зверев, С.А. Шабров // Успехи мат. наук. -2008. - Т. 63. - Вып. 1. - С. 111-153.
ADDITIONAL PROPERTIES OF THE FUNCTIONAL P(1/x) AMD LEBESGUE-STIELTJES INTEGRAL CONNECTION WITH RIEMANN-STIELTJES INTEGRAL
Shipov N.V., Assoc. Prof., MSFU, Ph.D. (Physics and Mathematics)«; Poleshchuk O.M., Prof., MSFU, Dr. Sci.(Tech.) (1);
Shmakov A.V., Assoc. Prof., MSFU, Ph.D. (Physics and Mathematics) (1)
caf-math@mgul.ac.ru, nvshi@mail.ru (1) Moscow State Forest University (MSFU), 1st Institutskaya st., 1, 141005, Mytischi, Moscow reg., Russia
The functional P(1/x) and its derivatives are represented in the alternative form. The most wide 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 is turned out to be continuous from the left. Discontinuous generating function of bounded variation over the segment [a, b] is decomposed in the sum of continuous function of bounded variation, jump function (continuous from the left) and jump function (continuous from the right). Lebesgue - Stieltjes measure of the set with respect to these three functions and appropriate Lebesgue - Stieltjes Integral decomposition are represented by relevant three terms in the sum. Lebesgue - Stieltjes Integral does not depend on the values of generating function at the jump dots. It follows from these decompositions that if the function under 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).
Key words: Functional P(1/x), 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. Teoriyafunktsiy deystvitel'noyperemennoy [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. V21. T. 2 Osnovy teorii mery. V.I. Bogachev [Bases of the theory of a measure. In 2 t. T. 2 Bases of the theory of a measure. V.I. Bogachev ], Moscow, Nauchnyy mir Publ., 2003. 520 p.
5. Fikhtengol'ts G.M. Kurs differentsial'nogo i integral'nogo ischisleniya. V 3 t. T. 3. Kurs differentsial'nogo i integral'nogo ischisleniya. [Course of differential and integral calculus. In 3 t. T. 3. Course of differential and integral calculus]. Moscow, Nauka Publ., 1970. 656 p.
6. Nikol'skiy S.M. Kurs matematicheskogo analiza. V21. T.2 Kurs matematicheskogo analiza [Course of the mathematical analysis. In 2 t. T.2 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 matematicheskoyfizike [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] Moscow State Forest University Bulletin - Lesnoy Vestnik. 2010. Vol. 75, № 6. pp. 183 - 185.
11. Pokornyy Yu.V., Zverev M.B., Shabrov S.A. Ostsillyatsionnaya teoriyaShturma-Liuvillyadlyaimpul 'snykhzadach [The oscillation theory of Storm Liouville for pulse tasks]. Usp. Mat. Nauk [Achievements of Mathematical Sciences], 2008, vol. 63, № 1, pp. 111-153.
