Об асимптотических разложениях рациональных мнемофункций Текст научной статьи по специальности «Математика»

Труды БГТУ, 2018, серия 3, № 1, с. 9-11

9

УДК 517.982.45

Т. Г. Шагова

Белорусский государственный технологический университет

ОБ АСИМПТОТИЧЕСКИХ РАЗЛОЖЕНИЯХ РАЦИОНАЛЬНЫХ МНЕМОФУНКЦИЙ

В статье рассмотрена задача аппроксимации обобщенных функций семейством эквивалентных гладких рациональных функций, зависящих от малого параметра, так называемыми рациональными мнемофункциями, которые образуют подалгебру в алгебре новых обобщенных функций. Рассмотрены разложения мнемофункций в асимптотические ряды в пространстве обобщенных функций. Для рациональных мнемофункций коэффициенты таких разложений имеют специальный вид. Исследована зависимость главных членов асимптотических разложений мнемофункций от свойств порождающих их рациональных функций. Было показано, что рациональные мнемофункции ассоциированы с дельта-функцией, ее производными, степенными функциями и только ними. Ввиду этого получено разбиение множества рациональных функций на классы эквивалентности в зависимости от того, с какой обобщенной функцией они ассоциированы.

Ключевые слова: аппроксимация, мнемофункция, рациональная мнемофункция, асимптотическое разложение.

T. R. Shahava

Belarusian State Technological University

ON THE ASYMPTOTIC EXPANSIONS OF RATIONAL MNEMOFUNCTIONS

The problem of generalized functions approximation by the family of equivalent smooth rational functions depended on small parameter is considered in the article. Such families are called rational mnemofunctions. Asymptotic expansions of rational mnemofunctions in the space of generalized functions are considered and it is noted that the coefficients of such expansions have a special type. The relations between the main terms of mnemofunctions asymptotic expansions and the properties of rational functions, which generate mnemofunctions, are investigated. It was shown that the rational mnemo-functions could be associated only with Dirac 5-finction, its derivatives, and power functions. That is why the set of rational functions is divided into classes of equivalence depending on what generalized function they associated with.

Key words: approximation, mnemofunction, rational mnemofunction, asymptotic expansion.

Введение. Основным препятствием к применению теории обобщенных функций к решению нелинейных уравнений и уравнений с обобщенными коэффициентами является невозможность определения корректной операции произведения обобщенных функций. Для преодоления этого препятствия начали развиваться различные подходы, один из которых основан на рассмотрении новых объектов, которые обладают основными свойствами обобщенных функций и в то же время допускают корректно определенную операцию умножения [1]. Такие объекты называют новыми обобщенными функциями, или мнемофункциями. По своей конструкции мнемофункции представляют собой семейство эквивалентных гладких функций /¡(х), зависящих от малого параметра ¡. Если такое семейство имеет предел при ¡ ^ 0 в пространстве обобщенных функций, то говорят, что мнемо-функция и классическая обобщенная функция ассоциированы. Более детально связь с классическими обобщенными функциями устанавливается с помощью ее представления в виде ряда

/ ~ X еЧ, % е ят

к=-т

который сходится асимптотически. Технически этот ряд получается при разложении интеграла, зависящего от малого параметра, в асимптотический ряд [2]. Первые примеры асимптотических разложений мнемофункций были получены А. Н. Тихоновым и А. А. Самарским еще до развития теории новых обобщенных функций [3].

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

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

10

Об асимптотических разложениях рациональных мнемофункний

Р (х / е)

мнемофункции вида / (х) = —---, где Р(х) и

д (х / е)

0(х) - полиномы и д(х) Ф 0, хе Я, которые будем в дальнейшем называть рациональными. Такие мнемофункции наиболее естественно возникают в ряде конкретных задач квантовой механики и квантовой теории поля.

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

Осносная часть. Обобщенные функции, ассоциированные с рациональными мнемофунк-циями. Рациональные мнемофункции представляют собой особый класс новых обобщенных функций, так как они образуют подалгебру в алгебре обобщенных функций, и их асимптотические разложения имеют специальный вид, а именно: коэффициентами разложений являются 5-функция и ее производные, а также степенные функции. Возникает вопрос, от каких свойств порождающей рациональной функции зависит вид главного члена разложения в асимптотический ряд?

Любую рациональную функцию можно

Р( х)

представить в виде f (x) = R(x) +

Q( x):

где

Я(х), Р(х), д(х) есть многочлены, причем deg Р(х) < deg 2(х). Для многочлена Я(х) справедливо асимптотическое разложение

Я (х) = Я (-х ] ~ К ^ + ... + Ь х + ¿0,

где п - степень Я(х).

Поэтому ограничимся рассмотрением пра-

Р( х)

вильных рациональных дробей f (x) =

Q( x)'

При х ^^ f(x) обладает асимптотическим разложением /(х) ~ ^ апх~п, т > 1. Обозначим

п=т

через Мк моменты функцииу, Мк = | хк f (x)dx.

Теорема 1. Если функция f интегрируема, т. е. т > 1, и момент функции f отличен от нуля, т. е. М0 Ф 0, то первым членом асимптотического разложения мнемофункции ^ будет М0 е5.

Следствие. Для любой рациональной функции f такой что М0 = 1, мнемофункция вида

1 f | х | ассоциирована с 5-функцией.

е I е )

Из теории обобщенных функций известно, что функции 1/ х соответсвуют обобщенные функции вида Р(1 / х) + с5, где

(Р(1/ x), ф) = v.p. J ^ dx,

R x

константа c зависит от способа регуляризации [5].

В случае когда fx) является рациональной мнемофункцией, справедлива следующая теорема.

Теорема 2. Если m = 1, то

f (x) ~ га1Р (1/x) + ec5 +...,

где коэффициент а1 равен отношению старших коэффициентов многочленов P(x) и Q(x), а константа с определяется следующим образом:

= J

f (x) + f (-x)

dx.

Следствие 1. ЕслиДх) нечетная рациональная функция и а1 Ф 0, то первый член разложения будет а1Р (1 / х) е.

Следствие 2. Для любой нечетной рациональной функции f такой что т = 1, мнемофункция f | — | ассоциирована с Р(1/ х).

ea1 V £

Если f(x) является быстроубывающей, т. е. убывает при x ^^ как —i-—, то

f (x) ~M0б£-M16'£2 +... +

(-1)"-1 Mn-15( n-1)

(n -1)!

+ (-1)'

M "5'

(n)

n1V1n о n+1

£"+' + an+P

n!

1

n+1 ' x"+!

£n+1 + ...,

где Мп - регуляризованный момент.

Соответственно, если М0 = 0, М1 Ф 0, то, нормировав, получим мнемофункцию, ассоциированную с первой производной дельта-

функции, т. е.--f | х |. Таким образом

Mj£2

можно получить мнемофункции, ассоциированные с 5(n), а именно ( 1)n+1 f | x |, где fx)

Mn£ V £ )

убывает быстрее ^ и Mn - первый отличный от нуля момент функции f.

Если f убывает как — и Mi = 0, i = 1, n - 2,

xn

то главным членом разложения мнемофункции f будет обобщенная функция Р(1/ xn).

Следует также отметить, что если функция fx) является четной, то асимптотическое разложение будет содержать только коэффи-

x

Т. Г. Шагова

11

циенты вида б(2к) и P ^ ^ В случае когда

/х) нечетная, то 5(2k+1) и P ^ ^+1 ^. Так как любую функцию / можно представить в виде суммы четной g и нечетной к, то для определения главного члена асимптотического разложения мнемофункции, порожденной /, достаточно определить главные члены разложений мнемо-функций, порожденных функциями g и к.

Исходя из вышесказанного, получаем, что множество рациональных функций разбивается на классы эквивалентности. В класс эквивалентности попадают такие функции, что поро-

жденные ими мнемофункции ассоциированы с 5-функцией, ее производными или со степенными функциями.

Заключение. В ходе работы была исследована зависимость главного члена асимптотического разложения от свойств порождающей рациональной функции. Были сформулированы условия ассоциированности рациональных мнемофункций с основными обобщенными функциями. Получено, что множество рациональных функций разбивается на классы эквивалентности в зависимости от ассоциированности порожденных ими мнемофункций с 5-функцией, ее производными или со степенными функциями.

Литература

1. Colombeau J. F. A multiplication of distributions // Journal of mathematical analysis and applications. 1983. No. 94. P. 96-115.

2. Риекстыньш Э. Я. Асимптотические разложения интегралов. Рига: Зинатне, 1974. Т. 1. 392 с.

3. Тихонов А. Н., Самарский А. А. Асимптотическое разложение интегралов с медленно убывающим ядром // Доклады Академии наук СССР. 1959. Т. 126, № 1. С. 26-29.

4. Антоневич А. Б., Пыжкова О. Н., Третьякова Л. Г. Асимптотические разложения для произведений базовых обобщенных функций // Труды Института математики НАН Беларуси. 2000. Т. 5. С.18-31.

5. Гельфанд И. М., Шилов Г. Е. Обобщенные функции и действия над ними. М.: Государственное издательство физико-математической литературы, 1959. Т. 1. 470 с.

References

1. Colombeau J. F. A multiplication of distributions. Journal of mathematical analysis and applications, 1983, no. 94, pp. 96-115.

2. Riekstyn'sh E. Ya. Asimptoticheskiye razlozheniya integralov [Asymptotic expansions of integral]. Riga, Zinatne Publ., 1974. Vol. 1. 392 p.

3. Tikhonov A. N., Samarskiy A. A. Asymptotic expansions of integrals with slowly decreasing kernel. Doklady Akademii nauk SSSR [Reports of the USSR Academy of Sciences], 1959, vol. 126, no. 1, pp. 26-29 (In Russian).

4. Antonevich A. B., Pyzhkova O. N., Tret'yakova L. G. Asymptotic expansions for products of basic distributions. Trudy Instituta matematiki NAN Belarusi [Proceedings of mathematical institution of NASB], 2000, vol. 5, pp. 18-31 (In Russian).

5. Gel'fand I. M., Shilov G. E. Obobshchennyye funktsii i deystviya nad nimi [Generalized functions: properties and actions]. Moscow, Gosudarstvennoe izdatel'stvo fiziko-matematicheskoy literatury Publ., 1959. Vol. 1. 470 p.

Информация об авторе

Шагова Татьяна Григорьевна - аспирант. Белорусский государственный университет (220030, г. Минск, пр. Независимости, 4, Республика Беларусь). E-mail: [email protected]

Information about the author

Shahava Tatsiana Rygoraйna - PhD student. Belarusian State University (4, Nezavisimosti Ave., 220030, Minsk, Republic of Belarus). E-mail: [email protected]

Поступила 28.12.2017