Научная статья на тему 'ОБ ОПРЕДЕЛЕНИЯХ И МЕТОДАХ ТЕОРИИ ПРОСТРАНСТВ ОБОБЩЁННЫХ ПРОИЗВОДНЫХ'

ОБ ОПРЕДЕЛЕНИЯХ И МЕТОДАХ ТЕОРИИ ПРОСТРАНСТВ ОБОБЩЁННЫХ ПРОИЗВОДНЫХ Текст научной статьи по специальности «Естественные и точные науки»

CC BY
0
0
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
Функционал / основные функции / обобщенные функции / обобщённая производная. / Functional / basic functions / generalized functions / generalized derivative.

Аннотация научной статьи по естественным и точным наукам, автор научной работы — Даужанов Аиназар Шынназарович, Омаров Турар Мухиятдинович

В работе приведеныосновные понятия теории обобщённых функций, определения и свойства математических объектов, используемых в этих областях. На основании результатов и методов обобщённой производной показаны примеры нахождения производных разрывных функций.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

ON DEFINITIONS AND METHODS OF THE THEORY OF SPACES OF GENERALIZED DERIVATIVES

The paper presents the basic concepts of the theory of generalized functions, definitions and properties of mathematical objects used in these areas. Based on the results and methods of the generalized derivative, examples of finding derivatives of discontinuous functions are shown.

Текст научной работы на тему «ОБ ОПРЕДЕЛЕНИЯХ И МЕТОДАХ ТЕОРИИ ПРОСТРАНСТВ ОБОБЩЁННЫХ ПРОИЗВОДНЫХ»

ЙЕЯЙЙ®

ARTICLE INFO

EURASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES

Innovative Academy Research Support Center UIF = 8.3 | SJIF = 7.906 www.in-academy.uz

ON DEFINITIONS AND METHODS OF THE THEORY OF SPACES OF GENERALIZED DERIVATIVES

Dauzhanov Ainazar Shynnazarovich

Candidate of Physical and Mathematical Sciences, Associate Professor of the Department of Mathematical Analysis of Karakalpak State University named after. Berdakha, Nukus E-mail:aynazard@mail.ru

Omarov Turar Mukhiyatdinovich Assistant Lecturer, Department of Mathematical Analysis, Karakalpak State University. Berdakha, Nukus turaromarov400@gmail.com https://doi.org/10.5281/zenodo.12792241 ABSTRACT

Received: 18th July 2024 Accepted: 21th July 2024 Online: 22th July 2024 KEYWORDS

Functional, basic functions, generalized functions, generalized derivative.

The paper presents the basic concepts of the theory of generalized functions, definitions and properties of mathematical objects used in these areas. Based on the results and methods of the generalized derivative, examples of finding derivatives of discontinuous functions are shown.

ОБ ОПРЕДЕЛЕНИЯХ И МЕТОДАХ ТЕОРИИ ПРОСТРАНСТВ ОБОБЩЁННЫХ

ПРОИЗВОДНЫХ

Даужанов Аиназар Шынназарович

Кандидат физико-математических наук, доцент кафедры математического анализа Каракалпакского государственного университета им. Бердаха, г. Нукус Е-

mail:ауnazard@mail.ru Омаров Турар Мухиятдинович Ассистент преподаватель кафедры математического анализа Каракалпакского государственного университета им. Бердаха, г. Нукус turaromarov400@gmail.com

https://doi.org/10.5281/zenodo.12792241

ARTICLE INFO

ABSTRACT

Received: 18th July 2024 Accepted: 21th July 2024 Online: 22th July 2024 KEYWORDS

Функционал, основные функции, обобщенные функции, обобщённая производная.

В работе приведены основные понятия теории обобщённых функций, определения и свойства математических объектов, используемых в этих областях. На основании результатов и методов обобщённой производной показаны примеры нахождения производных разрывных функций.

ВВЕДЕНИЕ. К числу наиболее часто используемых математических операций

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

I EURASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES

Innovative Academy Research Support Center UIF = 8.3 | SJIF = 7.906 www.in-academy.uz

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

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

ИЗЛОЖЕНИЕ ОСНОВНОГО МАТЕРИАЛА. Известно, что производная

дифференцируемой функции в заданной точке х определяется формулой

, х) = Ит f (х + Ax) - f (х)

Ax^O ЛХ . (1.1)

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

1. Пусть C(G) класс непрерывных определенных в области G (открытый

интервал числовой оси) функций Ф' G ^ R. Если m — целое неотрицательное число,

Cm (G)

то символ ( ) означает множество всех функций, определённых по крайней мере на G , у которых существуют на G непрерывные производные до порядка m включительно. Для каждой функции Ф'G ^R определим её носитель как

suppcp |х G R.ф(х) ф . каждая функция ф(х) бесконечно дифференцируема

(фе C (R)) и финитна, т.е. все они обращаются в нуль вне конечного отрезка b], причём границы отрезка зависят от ф( х).

Через Со (G) обозначается множество финитных в G функций класса C (G), при m = 0 просто пишем C°(G).

Для 1 ~ Р< — будем обозначать через f G Lp,loc локально-суммируемую функцию и выберем неотрицательное число m, отрезок [аb] и множество функций

Ф g Com[a,b] (или Ф g D = C -).

Определение 1. Всякая непрерывная финитная функция ф(х) G Co [a b] называется основной, а совокупность основных функций называется пространством

, „ D = Cm [a, b] D = C- [a, b]

основных функций и обозначается 0 или 0 .

D = C

Таким образом, 0 множество основных, бесконечно дифференцируемых,

обращающихся в нуль вместе со всеми своими производными (финитных) функций.

I EURASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES

Innovative Academy Research Support Center UIF = 8.3 | SJIF = 7.906 www.in-academy.uz

Определение 2. Будем говорить, что на пространстве & задан функционал, если указано правило, по которому каждой функции ф£ & ставится в соответствие

( / ,ф)

определенное число .

Определение 3. Линейный непрерывный функционал ^ на & называется

обобщённой функцией, если он непрерывен на &, т.е. (/,Фт) ^0 для всякой

Ф ^ 0 п

последовательности ^т в & .

Множество всех обобщённых, бесконечно дифференцируемых и финитных

функций обозначается через В1.

Пример 1. Определение функционала интегралом или связь между

/ ( х ) -

непрерывными и обобщёнными функциями. Пусть функция ■> к > обычная в смысле

определения непрерывная функция, заданная на отрезке Ь]. Его можно считать

также обобщённой функцией порядка т = 0, если использовать следующее правило

/ , Ф £ Б = С [а,Ь]:

действия на основные функции 0

Ь

(/,Ф) = | /(х)Ф( х) ах,

а (1.2)

так как интеграл от непрерывной функции по отрезку всегда определён, то

равенство (1.2) переводит каждую функцию ф £ Ь] в определенное число (/,ф), т.е. функционал. Такая обобщённая функция называется регулярной.

Обобщённая функция, не являющаяся регулярной (т.е., локально интегрируемой), называется сингулярной.

3(Х) € ь -

Пример 2. Функция Дирака 4 ' 11ос это пример сингулярной обобщённой функции:

\д(х)ф(х)ах = ф(0),Уф £ дя)

я .

А функция Хевисайда ^(х) вводится как регулярный функционал:

Г1, х > 0, в( х) = \

[0, х < 0.

2. Если заданная функция /(х) для любого ф(х) £ D(a,Ь) удовлетворяет

/(х)ф(х) £ Ь (а, Ь) (1 < р <(ю) / £ Ь , (а, Ь)

соотношению р , то пишут р ,1ос . Поэтому

ЬрМ(а,Ь) = { /: /ф£ Ьр(а,Ь),Уф £ Да,Ь) }.

Ь , (а, Ь)

В частности, классу р ,10 принадлежит любая непрерывная или имеющая

точки разрыва 1-го рода в интервале (а Ь) функция. Например, функция

EURASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES

Innovative Academy Research Support Center UIF = 8.3 | SJIF = 7.906 www.in-academy.uz

, x Ф 0,

r

1 , x = 0.

Определение 4. Если f G Lp,loc b и для любого справедливо

равенство

b b J f ( x)ç{ n\ x)dx = (-1)" J g ( x)ç{ x)dx, n = 1,2,...

то

g ( x)

называется обобщённой производной n - го порядка функции

(1.3)

f ( x)

(а Ь) 2(х) = Г(п)(х)

промежутке 4 ' ' и обозначается 64 ' 7 к

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Определение 5. Для любой обобщённой функции ^ е Я (О) положим ^еЯ(= С°(О)): (Бт/,ф) = (-1)т(/,Я», т = 1,2,... .

^е С° (О): 2,ф) = (/, 2ф)

(1.4)

Если 2(х) е С (О), то полагается Как мы видим определение обобщённой производной расширяет понятия дифференцирования и даёт возможность находить производные у некоторых функций, которые не являются дифференцируемыми в обычном смысле.

Пример 3. Сингулярная функция имеет производную, обращающуюся в бесконечность на счетном множестве точек. Конечнозначными сингулярными

функциями являются функция .8пх и 1Х1.

|х| = ХБ12ПХ , . „ „

11 ° не имеет (обычной) производной в нуле. После введения

производной в обобщённом смысле, первой производной 1Х1 будет функция сигнум: (I х|) = ^х

для второй производной получаем дельта-функцию Дирака:

(| х| )"= 28( х)

Отметим основные свойства обобщённых производных.

Свойство 1. Если функция ? в каждой точке Ь] имеет непрерывную

обобщённую производную

f( n )( x )

, то её обобщённая производная n - го порядка

g ( x)

(а, Ь) /(п)( х)

в совпадает с .

Свойство 2. Функция, не дифференцируемая в смысле равенства (1.1) может иметь обобщённую производную.

Свойство 3. Понятие обобщённой производной определяется одновременно для всякого интервала.

в

I EURASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES

Innovative Academy Research Support Center UIF = 8.3 | SJIF = 7.906 www.in-academy.uz

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

Многие свойства обобщённой производной являются аналогами свойств обычной производной, но не все.

Утверждение (связь обычной и обобщённой производных (см. [1-3, 6]). Пусть

/(х) £ С1 [а, х0 ] п С1 [х0, Ь].

/ ( х)

Тогда производная функции в смысле обобщённых функций равна сумме

производной в обычном смысле и произведения скачка на обобщённую функцию $, сосредоточенной в точке разрыва:

ЦГ = ^ + [/]х х-х0)

ах Лх° , (1.5)

где ^ производная в смысле обобщённых функций,

йх классическаяпроизводная (определённая всюду, кроме точки х = х°): /= [/'(х), х Ф х0, йх [произвольное, х = х0,

/ € С1(Я) хп , Л

заметим, что , в точке 0 функция имеет разрыв 1-го рода и величина

:[Д = f(x> + - - °) и Six - x°) -

x

скачка в точке разрыва 0: ' Jx° " и ~ v' "0/ дельта

x

функция со сдвигом аргумента на °

df

Обобщённую функцию, соответствующую функции йх по формуле (1.5), называют регулярной частью обобщённой производной ^(х) .

X

В частности, если функция непрерывна, то скачок в точке 0 равна нулю и производная в смысле теории обобщённых функций совпадает с производной в обычном смысле.

Пример 4. Правило отыскания производной в смысле обобщённых функций. Найдем производные порядка 1 и 2 разрывной функции Хевисайда, как регулярная

обобщённая функция, если /(х) = (х 1)^(х х), где ^(х) = 0 при х < 0; ®(х) = 1 при х > 0.

Решение. Пусть 1) /(х) £ ^, 8(х) £ С", тогда (/ = + ;

- /(х) £ СЧ-да, а] п С\а, а £ R; f (а ± 0) - ,,

2)7ЧУ 1 '-1 1 ' ' предельные значения конечны; 3)

обычная производная {/ (х)} является регулярной обобщённой функцией. Тогда

EURASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES

Innovative Academy Research Support Center UIF = 8.3 | SJIF = 7.906 www.in-academy.uz

согласно формуле производной в смысле обобщённых функций (1.4) и используя формулу дифференцирования сложного аргумента имеем:

Б/ = &(х2 - х) + (х -1)(2х -1)&(х2 - х)

Так как производная функции Хевисайда равна 8 - функции, поэтому &(х2 - х) = 8(х2 - х)

Теперь воспользуемся следующей формулой упрощения сложного аргумента:

, /(х) х /(х) = 0, / (х) Ф О

если функция 7 4 ' имеет простые корни 1, где ■> 4 ' •/ 4 , тогда

8(f ( x)) = £

1

\f ' ( x, )|

8(x - xi )

где равенству

f (x) = x2 - x = x(x -1), xj = 0; x2 = 1; f '(x) = 2x -1

и мы приходим к

8(x2 - x) = £ :-т 8(x - x ) = 8(x) + 8(x -1)

i=u|2x, -1|

п &(х2 - х) = 8{х) + 8{х -1) г

Отсюда следует, что . Следовательно,

Б/ = &(х2 - х) + (2х2 - 3х +1)(&(х) + 8(х -1)) = &(х2 - х) + 8(х) + + 28(х -1) - 38(х -1) + 8(х -1) = &(х2 - х) + 8(х).

Здесь применено правило умножения 8- функции на бесконечно дифференцируемую функцию, которое по определению равносильно умножению 8 -функции на число /(0) :/(х)8(х) = /(0)8(х). Производная 2-го порядка равна:

Б2/(х) = (&(х2 - х) + 8(х)) ' = (2х -1)& '(х2 - х) + 8'(х) =

= (2 х -1)(8( х) + 8( х -1)) + 8 ' (х) = 28( х -1) - 8( х) - 8(х -1) + 8 ' (х) = 8( х -1) - 8( х) + 8 ' (х).

г Б2 / = 8( х -1) - 8( х) + 8 (х)

Следовательно, .

Как мы видели, любая обобщённая функция имеет производную. Отсюда следует, что и любая локально интегрируемая функция имеет в смысле определения 5 производную.

Из формулы (1.4) следует, что производная в смысле стандартного математического анализа непрерывно дифференцируемой функции, рассматриваемая

как функционал над пространством теории обобщённых функций.

D = C

совпадает с её производной в смысле

1.

References:

Александров В.А. Обобщённые функции. Новосиб. гос. ун-т, 2005.

EURASIAN JOURNAL OF MATHEMATICAL THEORY AND COMPUTER SCIENCES

Innovative Academy Research Support Center UIF = 8.3 | SJIF = 7.906 www.in-academy.uz

2. Бельхеева Р.К. Обобщённые функции в примерах и задачах. Новосиб. гос. ун-т, 2014.

3. 3. Бутузов В.Ф., Бутузова М.В. Ряды и интеграл Фурье. Обобщённые функции. M., 2017.

4. В.П. Паламодов В.П. Обобщённые функции и гармонический анализ// Итоги науки и техн. Сер. Соврем. пробл. мат. Фундам. направления, Т.72, М.: ВИНИТИ, 1991, 5-134

5. Даужанов А.Ш. Методические изложения элементов теории обобщённых функций// «ILM SARCHASHMALARI». Научно-методический журнал Ургенчского гос. унта. 2020. №10. С. 11-25.

6. Даужанов А.Ш. и др. Методы теории обобщённых функций. Нукус «ILIMPAZ», 2021.

i Надоели баннеры? Вы всегда можете отключить рекламу.