К вопрсу сведенияинтегралалебега-стилтьесакинтегралуримана-стилтьеса и дополнительныесвойства интеграла в смысле главногозначения Текст научной статьи по специальности «Математика»

6. Ставки по налогу на прибыль // Онлайн журнал для бухгалтера http://buhguru.com/nalog-na-pribyl/stav-nalog-prib.html Электронный ресурс (дата доступа 20.01.2015)

7. Хачатрян А. Г. Налоговые проверки как деятельность налоговой политики страховой организации и вопросы правового регулирования / А.Г. Хачатрян. - М.: Юрист. 2013. - 154 с.

8. Худиев Н.Н. Совершенствование механизма налогообложения в страховых организациях / Н.Н. Худиев. - М.: Финансы. 2015. - 287 с.

К ВОПРСУ СВЕДЕНИЯ ИНТЕГРАЛА ЛЕБЕГА-СТИЛТЬЕСА К ИНТЕГРАЛУ РИМАНА-СТИЛТЬЕСА И ДОПОЛНИТЕЛЬНЫЕ СВОЙСТВА ИНТЕГРАЛА В СМЫСЛЕ ГЛАВНОГО ЗНАЧЕНИЯ

Шипов Николай Викторович

кандидат физико-математических наук, доцент Московский государственный технический университет им.

Н.Э.Баумана, МФ, РФ, г. Мытищи

LEBESGUE-STIELTJES INTEGRAL CONNECTION WITH RIEMANN- STIELTJES INTEGRAL АОТ ADDITIONAL PROPERTIES

OF THE FUNCTIONAL P(1/x)

Shipov Nirolay

Ph. D (Physics and Mathematics), Assoc. Prof., Moscow State Technical University

Аннотация

Найдена в явном виде альтернативная формула представления функционала - обобщенной функции P(1/x) (и всех его производных) в пространстве обобщенных функций медленного роста, которая использована для установления новых свойств функционала.

Разрывная производящая функция с ограниченным изменением представлена на отрезке [a, b] в виде суммы непрерывной функции с ограниченным изменением, непрерывной слева функции скачков и непрерывной справа функции скачков. Соответствующий интеграл Лебега-Стилтьеса представлен в виде суммы трех слагаемых, каждое из которых определяется одной из указанных выше функций, и оказывается независящим от значений производящей функции в точках разрыва. Из полученных разложений на отрезке [a, b] непосредственно следует известный факт, что если подынтегральная функция непрерывна на отрезке, то интеграл Лебе-га-Стилтьеса совпадает с соответствующим интегралом Римана-Стилтьеса.

Abstract

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 is not depending 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).

Ключевые слова: функционал, обобщенная функция медленного роста, обобщенная функция P(1/x).

Keywords: Functional P(1/x), Lebesgue - Stieltjes measure, Lebesgue -Stieltjes Integral, Riemann- Stieltjes Integral.

В теории обобщенных функций функционал P(1/x) возникает так же часто (например, при преобразованиях Фурье) как и другие общеизвестные универсальные функции, такие как функция Хевисайда, дельта-функция 5 (x), функция знака sign(x) и ряд других [1-3]. В свзи с этим представляется интересным более подробное изучение свойств функционала P(1/x) в пространстве S' обобщённых функций медленного роста. Пространство S основных функций состоит из бесконечно дифференцируемых функций 9(x), убывающих при | x | ^ да вместе со всеми производными быстрее любой степени 1/| x |,

Функция /(x) = ln (x) локально суммируема (интегрируема по Лебегу на любом ограниченном борелевском множестве), и на всей числовой оси для неё (при некотором n > 0 ) выполнено неравенство

j | /(x)|(1+| x |) - n dx < да. (2)

Таким образом функция ln(x) определяет регулярную обобщённую функцию медленного роста (линейный непрерывный функционал на множестве S ), причём из свойств этого функционала следует, что все производные этой функции (как обобщенные функции) существуют и непрерывны [2]. Для регулярных обобщенных функций, имеющих разры-

вы первого рода, существует универсальная формула, выражающая производную обобщенной функции через скачки в точках разрыва [2]. Для функций с разрывами второго рода универсальной формулы нет, так что вычисление производной от ln (x) проводим исходя из общего определения производной обобщенной функции:

(ln(x)', 9(x))= - (ln| x |, 9'(x) ) = lim ( ф(е) ln е-ф(-5) ln 5+ + {)(3)

J x J x

—f s

5^ 0, e^ 0

где e > 0, 5 > 0. Поскольку функционал в левой части существует, то конечное значение в правой части возможно при 5 = е. Отсюда получаем выражение

(ln(x)', cp(x)) = lim [/(^ + 1. (4)

\ x x

V-f s J

e^ 0

Выделяя на действительной оси симметричный интервал интегрирования (- R, R), где R > 0, и переходя к пределу, получаем окончательное выражение

R (((x) — ((0))dx x

—R

R ^ да

Используя формулу (5), для производной P '(1/x) имеем:

R (((x) — ( (0))dx

(P(1/x) , ф(x)) = (ln(x)', фф) = lim R(((x) ((0))dx . (5)

j v

(P'(1/x), ф) = - (P(1/x), ф') = - lim f'

x

—R

R ^ да

Вводя функцию y(x) = ф(x) - x ф'(0) - ф(0), после интегрирования по частям получаем:

( P'(1/x), ф) = - (P (1/x2 ) , ф), (6)

где

(P (1/x2 ), ф) = lim f(((x) — ((0) — V(0))dx . (7)

—R x2

R ^ да

Аналогичным образом продолжая процесс, приходим к окончательному выражению для функционала производной порядка n (n = 0,1,2, 3...):

(P (n) (1/x), ф) = (-1)n n! (P (1/x n+1 ) , ф), (8)

xn—1( n—l) (0) r (((x) — ((0) — x('(0) —........( ( ))dx

(P (1/x n ), ф(x)) = lim f-n-—-. (9)

—R x

R ^ да

Полученные выражения могут быть использованы в расчётах для оценок производных функционала, а также для установления и проверки различных соотношений между обобщёнными функциями в пространстве S'. Например, функционал (8) удовлетворяет в S' уравнению

xn P(1/x п ) = 1, (10)

поскольку все производные от функции xn ф(х) порядка не выше п - 1 обращаются в ноль при x = 0.

Ортонормальные функции Эрмита (волновые функции гармонического осциллятора) принадлежат пространству S и могут быть представлены в виде [2] :

1

„ ((2К +1)!|2 * (-1)м (2 х)2К -2М+1 , 2/ол П1Л

H 2K + 1 (x) = --7=\ >-———--exp (- х2 /2 ) . (11)

1 () 122К+1у[ж\ уоМ!(2к-2М +1)! P ( ) ( )

Для произвольной обобщенной функции / из S ' числа

A п (/) = (/, H П ) (12) называются коэффициентами Фурье, а формальный ряд

^ a П (/) H П (x) (13) называется рядом Фурье по ортонормальной системе функций Эрми-

та.

Для того, чтобы / принадлежала S', необходимо и достаточно, чтобы её коэффициенты Фурье удовлетворяли условию: существуют числа p > 0 и C такие, что

|а п (/) | < C (1 + п) р, п = 0, 1, ... (14)

При этом ряд Фурье / единственен, сходится к / в S ' (в смысле слабой сходимости) [2].

Как следует из формул (5), (12), при вычислении коэффициентов Фурье a 2K + 1 (/) для функции /(х) = P(1/x), только нечётные степени будут обеспечивать ненулевой вклад в интеграл по действительной оси. По этой причине в (11) приведены только нечётные функции Эрмита, содержащие конечное число нечетных степеней x. Опуская детали интегрирования, приведём окончательный результат:

a 2K + 1 (Р(1/х)) = ((2к + 1)! п1 7 2 ) 1 7 2 У(-1)М2К-2М+1(2К-21м-1)!! , (15)

111 ^ и У У МУ М !(2К - 2М +1)! ' V У

к = 0, 1, 2,.,

где для унификации удобно считать (-1)! = 1. Отметим, что число слагаемых в сумме для а 2К + 1 ограничено и не превышает индекс к.

Выражения (14), (15) могут быть использованы для вычисления коэффициентов Фурье по ортонормальной системе функций Эрмита для других обобщенных функций, связанных с Р(1/х), а также для установления принадлежности этих обобщенных функций пространству S'.

Далее кратко приведем другой вариант доказательства теоремы о независимости интеграла Римана-Стилтьеса от значений производящей функции (с ограниченным изменением) Б(х) в её точках разрыва, если интегрируемая функция Д(х) непрерывна на отрезке [а, Ь] [1]. Для этого используем утверждение [1]. о том, что Б(х) может быть представлена суммой функции скачков у(х) и непрерывной функции ф(х). Выразив кон-

станты функции у(х) через скачки неубывающей F(x) в точках разрыва справа и слева,

h i = F(x i + 0) - F(x i ), g i = F(x i) - F( хг - 0), (16)

h n = 0 в точке x n = Ь, g 0 = 0 в точке x 0 = a, приходим к следующему разложению:

F(x) = ф (x) + h (х) + g (x), (17)

где функции скачков

h (x) = ^ i , g(x) = I g i (18)

x i < x x i < x

будут неубывающими непрерывными соответственно слева и справа. В случае монотонно возрастающей непрерывной слева F(x) меры интервалов (отрезков) определены [1] :

m (а, в) = F(в) - F(а + 0), (19а)

m [а, в] = F(P+0) - F(а), (19б)

m (а, в] = F(в +0) - F(а + 0), (19в)

m [а, в) = F(в) - F(а). (19г)

Для неубывающей функции F(x), непрерывной справа, меру определяем по формулам :

m(a, в) = F(в - 0) - F(а), (20д)

m [а, в] = F(в) - F(а - 0), (20е)

m (а, в] = F(в) - F(а). (20ж)

m [а, в) = F(в - 0) - F(а - 0). (20з)

Таким образом интеграл Лебега-Стилтьеса по мере, определяемой каждым из трех слагаемых в (17), представляется в виде

Г ед №(х) = I ф(х) + I f (х i)h i + I f (х i)g i . (21)

[а, Ь] [а, Ь] 1 1

где ряды предполагаются сходящимися абсолютно. Объединяя ряды и оставляя скачки функции F(x) в граничных точках а, Ь за знаком суммы ряда, приходим к окончательному выражению: I А(х) №(х) = I А(х) d ф(х) + I f (х 1 ) ^(х 1 + 0) - F( Хг - 0 )) + [а, Ь] [а, Ь] х 1 ^ (а, Ь)

+ f (а) (F(а + 0) - F(a)) + f (Ь) (F(b) - F(b - 0)). (22)

Пусть теперь F(x) функция с ограниченным изменением. Поэтому она может быть представлена в виде разности двух монотонных неубывающих функций, для каждой из которых справедлива формула (22). Объединяя множество точек разрыва этих двух функций в единое множество, приходим снова к формуле (22) для произвольной функции F(x) с ограниченным изменением. Для этой функции скачки в формуле (22) могут быть разных знаков. Непрерывная функция ф (х) с ограниченным изменением в (22) определяется по исходной функции F(x) и также может быть представлена в виде разности монотонных, но уже непрерывных функций.

Поскольку интеграл Лебега-Стилтьеса в (22) не зависит от значений производящей функции Б(х) в её точках разрыва, лежащих внутри интервала (а,Ь), остается доказать, что для непрерывной функции ^х) он совпадает с интегралом Римана-Стилтьеса, Существование обоих интегралов очевидно.

Для интеграла Римана-Стилтьеса достаточно для заданного е выбрать такое 5, что в любом промежутке с длиной, меньшей 5, колебание ю функции ^х) будет меньше е / [ Б(Ь) - Ба)] для монотонной Б(х). Пусть далее отрезок [а, Ь] разбит на отрезки [х 1 , х 1 +1] длиной меньше 5 , где х 1 - произвольная монотонно возрастающая последовательность из п +1 точек. Тогда

I ю 1 [ Б(х 1 +1 ) - Б(х 0 ] < е , (23)

1

откуда следует существование интеграла Римана-Стилтьеса для неубывающей функции Б(х), а значит и для функции Б(х) с ограниченным изменением [5].

Поскольку предел интегральной суммы (интеграла Римана-Стилтьеса при шах Ах 1 ^ 0 )

п -1

I 1 ) [ Б(х 1+1 ) - Б(х 1) ] (24)

1=0

существует и не зависит от выбора промежуточных точек £ 1 [5], то можно считать х 1 < £ 1 < х 1 +1 . Но тогда сумму (24) можно рассматривать как интеграл Лебега-Стилтьеса от простой ступенчатой функции

V п (х) = 1 ), х 1 < х < х 1 +1 , (25)

где производящая функция Б(х) считается непрерывной слева, первые два слагаемые в (17). Мера полуинтервала [х 1 , х 1 +1 ) выражается формулой (19г). Функция (25) при п ^ да равномерно сходится к ^х). Поэтому при переходе к пределу сумма (24) даёт интеграл Лебега-Стилтьеса от функции ^х) по полуинтервалу [а,Ь), то есть первые два слагаемых интеграла по отрезку [а,Ь] в (21), поскольку И n = 0 в точке Ь.

Третье слагаемое в (17) есть непрерывная справа функция скачков §(х). Поскольку для неё интеграл Римана-Стилтьеса также существует, то справедливы предыдущие рассуждения, но уже для полуинтервала (х 1 , х 1 +1 ], для которого мера определяется формулой (20ж), §(х 1 +1 ) - §(х 1 ) = §(х 1 +1 ) - ё(х 1 +1 - 0 ) = § 1 +1 . Переходя к пределу, получаем третье слагаемое в (21). После объединения рядов в (21), для интеграла Римана-Стилтьеса снова приходим к формуле (22), где все интегралы должны быть заменены на интегралы Римана-Стилтьеса, а функция Б(х) является функцией с ограниченным изменением.

Одновременное включение в производящую функцию Б(х) функций скачков, непрерывных отдельно справа и слева использовать общее определение интеграла Римана-Стилтьеса по отрезку, в котором промежуточная точка £ 1 может принимать все значения из отрезка [х 1 , х 1 +1 ].

Использование для производящей функции интеграла Римана-Стилтьеса упрощенной функции скачков ([4], с.119) приводит к тому, что функция ф(х) в соответствующем разложении (3) оказывается разрывной (с устранимыми разрывами). Однако, в случае непрерывности f(x) интеграл Римана-Стилтьеса не зависит от значений производящей функции в точках её разрыва, так что окончательные выражения для интеграла Римана-Стилтьеса совпадают с (22).

Литература

1. Колмогоров, А.Н., Фомин, С.В. / Элементы теории функций и функционального анализа. □ 2006. □ М. : Физматлит, - 542 с.

2. Владимиров, B.C. Обобщенные функции в математической физике.

□ М.: Наука, 1971. □ 318с.

10. Шипов, Н.В. О свойствах функционала Р(1/х) в пространстве обобщенных функций медленного роста. // Вестник МГУЛ □ Лесной Вестник. □ 2010. □ Т.75,Вып.6. □ С. 183 □ 185.

4. Покорный,Ю.В., Зверев,М.Б., .Шабров,С.А. Осцилляционная теория Штурма-Лиувилля для импульсных задач, //Усп. Матем.. Наук. □ 2008.

□ Т. 63. □ Вып. 1. □ С. 111-153 .

References

1. Kolmogorov, A.N., Fomin, S.V. Elementy teorii funktsiy i funktsion-afnogo Analiza. [Elements of the theory of functions and functional analysis]. Moscow, : Nauka Publ., 2004. 542 p. (In Russian).

2.Vladimirov, V.S. Obobshchennye funktsii v matematicheskoy fizike [The generalized functions in mathematical physics]. Moscow, Nauka Publ., 1971. 318 p. (In Russian).

3. Shipov, N.V. O svoystvakh funktsionala P(1/x) v prostranstve obob-shchennykh funktsiy medlennogo rosta. [About properties of functionality of P(l/x) in space of the generalized functions of slow growth] Vestnik MGUL □ Lesnoy Vestnik. [ MSFU announcer - the Forest annou^er ] Vol.75, no. 6. pp. 183 - 185. (In Russian).

4.Prokornyy,Yu.V., Zverev,M.B., .Shabrov,S.A. Ostsillyatsionnaya teoriya Shturma-Liuvillya impul'snykh zadach [The oscillation theory of Storm Liou-ville for pulse tasks]. Usp. Mat. Nauk [Achievements of Mathematical Sciences], 2008,. vol. 63, . no 1, pp. 111-153 . (In Russian).