CC BY
38
Bl-i и ql-i, см. (2.17) и (4.1), порождают центроаф-финное преобразование ГГ: Lm^Lm: для прямой x=(A,sa)X?eLm полярой является та (т-1)-пло-
СПИСОК ЛИТЕРАТУРЫ
1. Лаптев Г.Ф. К инвариантной теории дифференцируемых отображений // Труды геометрического семинара. - М.: ВИНИТИ АН СССР, 1974. - Т. 6. - С. 37-42.
2. Рыжков В.В. Дифференциальная геометрия точечных соответствий // Итоги науки. Вып. Геометрия. - 1963. - М.: ВИНИТИ АН СССР, 1965. - С. 65-107.
3. Павлюченко Ю.В., Рожков В.В. Об изгибании точечных соответствий между проективными пространствами // Труды геометрического семинара. - М.: ВИНИТИ АН СССР, 1969. -Т. 2. - С. 263-275.
4. Павлюченко Ю.В. О характеристической системе точечных соответствий // Труды геометрического семинара. - М.: ВИНИТИ АН СССР, 1971. - Т. 2. - С. 221-233.
5. Рыжков В.В. Характеристические направления точечного отображения Рт в Рп // Труды геометрического семинара. - М.: ВИНИТИ АН СССР, 1971. - Т. 2. - С. 235-241.
6. Рыжков В.В.Дифференциальная геометрия точечных соответствий между пространствами // Итоги науки. Вып. Алгебра. Топология. Геометрия. - 1970. - М.: ВИНИТИ АН СССР, 1971. - С. 153-174.
скость в Ьт относительно конуса Дт_1сХт, полюсом
которой является прямая у=ПхсХт относительно
конуса д2т-1^Ьт.
7. Фиников С. П. Метод внешних форм Картана в дифференциальной геометрии. - М.: ГИТТЛ, 1948. - 432 с.
8. Лаптев Г.Ф. Дифференциальная геометрия погруженных многообразий // Труды Московского математического общества. -М., 1953. - Т. 2. - С. 275-382.
9. Акивис М.А. Фокальные образы поверхности ранга г // Известия вузов. Сер. Математика. - 1957. - № 1. - С. 9-19.
10. Акивис М.А. Об одном классе тангенциально вырожденных поверхностей // Доклады АН СССР. - 1962. - Т. 146. - № 3. -С. 515-518.
11. Ивлев Е.Т. О многообразии ДДДТО+О в я-мерном проективном пространстве // Сибирский математический журнал. -1967. - Т. 8. - № 6. - С. 1307-1320.
12. Ивлев Е.Т. Об одной нормализации многомерной поверхности пространства проективной связности // Дифференциальная геометрия многообразия фигур. Вып. 4. - Калининград, 1974. - С. 6-28.
Поступила 05.02.2009 г.
УДК 517.3
ПРОГРАММА И ПРИНЦИПЫ ПОСТРОЕНИЯ ДРОБНОГО АНАЛИЗА
В.А. Чуриков
Томский политехнический университет E-mail: vachurikov@list.ru
Предложена программа построения анализа с нецелочисленными порядками интегрирования и дифференцирования. Показано, что для каждого вещественного порядка s можно построить внутренне замкнутую теорию (ветвь) анализа, если функции в данной теории выражаются через ряды с дробными степенями с соответствующим дробным шагом s. Каждая ветвь будет иметь свой индивидуальный набор элементарных и других важных функций.
Ключевые слова:
Оператор Адамара, ветви дробного анализа, родственные ветви, модельные ветви, дробностепенные ряды с шагом s, маркирующие функции.
Под дробным анализом (или дробным исчислением) будем понимать направление в анализе, в котором исследуются аналитические операции дифференцирования и интегрирования любых конечных вещественных порядков, как целочисленных, так и нецелочисленных, что обобщает «стандартный» анализ, в основе которого лежат производные и интегралы первого порядка или порядков, кратных единице.
Путей такого обобщения известно много [1]. Наиболее простой из них предложил Адамар на основе введённого им оператора дробного интегро-дифференцирования функций, которые выражаются через степенные ряды [2]
dJf amxm 1 = У a,»^^ xm. m J m Г (m +1 + s)
Здесь dsx оператор Адамара порядка s, действующий над множеством степенных функций Xт, s, x, eR, meZ, s=const, Г(...) - гамма-функция Эйлера.
Случаи s < 0 соответствует операторам дробного дифференцирования порядка s, которые обозначим как d-sx. При s>0 - операторы дробного интегрирования порядка s. При s=0 оператор Адамара становится единичным оператором.
Оператор Адамара носит алгебраический характер, что делает его более простым, чем другие операторы дробного интегродифференцирования [1].
Подход, основанный на построении дробного анализа с помощью оператора Адамара над множеством степенных рядов, был назван программой Адамара.
Подход Адамара не получил должного развития, хотя он представляется естественным и интуитивно понятным. Простота и логичность данного подхода даёт основание предполагать, что в нём заложен большой потенциал для развития и самых разных обобщений.
Аналитическое и численное рассмотрение показало, что свойства элементарных функций, используемых в стандартном анализе, при действии на них операторов Адамара, порядки которых отличны от единицы, теряют свойства, которые имеют место в стандартном анализе [3, 4]. Например, стандартная экспонента не является инвариантной при дробном дифференцировании и интегрировании, как это имеет место при дифференцировании и интегрировании первого порядка.
С другой стороны, было показано, что каждая пара дробных порядков ±5 операторов Адамара d ±5, имеют свою частную экспоненту - ехрх, отличную от экспонент операторов Адамара других порядков
[3].
Аналогичные выводы можно сделать и для других функций, в частности, элементарных.
Из сказанного следует необходимость сформулировать другую программу построения дробного анализа, отличную от программы Адамара, в которой два пункта.
1. Каждая отдельная пара взаимно обратных операторов Адамара (интегрирования и дифференцирования), с порядками ±5 (ле К), задают частную теорию дробного анализа, которую будем называть ветвью дробного анализа порядка л.
2. Степенные ряды, которые необходимо использовать при построении каждой отдельной ветви дробного анализа порядка л, должны иметь показатели степеней переменных, кратные порядку л, которые задают ветвь дробного анализа порядка л
да
£ апхш+', ап, 5,' е м, п0,п е Ъ.
я=я0
В более общем случае, когда центр ряда находится в точке х
да
£ ап(х- хо)5п+', хо е к.
п=п0
Такие ряды будем называть дробностепенными рядами с шагом л.
Из второго положения следует то, что каждая ветвь дробного анализа должна иметь свой, индивидуальный набор элементарных, специальных и других важных функций, которые, в общем случае, отличны от соответствующих наборов функций остальных ветвей дробного анализа. Это хорошо видно уже из сравнения ветвей 5=1 и 5=1/2 [4].
Каждая ветвь является внутренне замкнутой и самодостаточной теорией, отличной и независимой от остальных ветвей дробного анализа.
Другими словами, под дробным анализом будем понимать бесконечное множество ветвей дробного анализа, в основе которых лежат операторы дробного интегродифференцирования всех конечных порядков л, которые действуют в пространствах функций, представляемых в виде степенных рядов с соответствующим дробным шагом л.
Отличие предлагаемой программы от программы, предложенной Адамаром, заключается в том, что последняя не предполагает разбиение дробного анализа на множество независимых ветвей, а само дробное интегродифференцирование развивается в рамках стандартного анализа, расширяя его аналитические возможности.
Данная программа может быть изменена или расширена в нескольких направлениях. Например, при построении отдельных ветвей дробного анализа могут использоваться операторы разных типов, а не только оператор Адамара. Возможно построение ветвей дробного анализа, в основе которых лежат различные возможные обобщения оператора Адамара, а также операторы дробного интегродиф-ференцирования других типов.
Кроме разработки отдельных («чистых») ветвей возможно развитие смешанного дробного анализа, в основе которого лежат различные комбинации операторов дробного интегродифференцирования разных порядков. При этом для отдельных порядков могут использоваться как один, так и несколько типов дробных операторов.
Модели смешанного анализа представляются более сложными, чем отдельные ветви дробного анализа. В этом случае встаёт, в частности, вопрос о возможности построения замкнутых моделей смешанного дробного анализ. Если это возможно, то в каких случаях?
Дробный анализ может развиваться так, что ветвь порядка л=1 будет соответствовать стандартному анализу. В этом случае будем говорить, что в данном дробном анализе выполнятся принцип соответствия.
Также возможна ситуация, когда принцип соответствия выполняться не будет, т. е. в таком дробном анализе ни одна ветвь (включая 5=1) не будет соответствовать стандартному анализу.
Дробный анализ, в котором выполняется принцип соответствия, представляется более естественным, чем возможные направления дробного анализа, в которых данный принцип не выполняется. Но не исключено, что и такие направления могут найти применение в математике и в приложениях.
Для реализации предложенной программы построения отдельных ветвей дробного анализа необходимы следующие формальные шаги. 1. Замена операторов, которая заключается в том,
что ветвь, определяемая взаимно обратными операторами порядков ±5, или просто - ветвь 5, стро-
а_
(х
ится по аналогии со стандартным анализом, где степени операторов дифференцирования и интегрирования степени 1 заменяется оператором дробного интегродифференцирования степени 5
= (-1 х ^ ' х и |/(х) (Зх = (1х : /(х) ^ х : /(х).
ехр х = ехр!х = £ х = £
1(п -1)! П=1 Г(п)
I (х) = /1(х) = £
I (х) = £
т0, п0,q,т, п е Z; ат, ап, ',I е М.
Таким способом можно получить дробную экспоненту порядка 5, ехрх, полученную другим способом в [3]
ехр,х=£
1 Г(п')
В случае, когда имеется не одна, а несколько переменных, тогда частные производные первого порядка необходимо заменить частными производными дробных порядков
М-Т^М-Т
дх ^Зх) ду ^Зу)
Здесь для примера взяты две переменные х и у. Частные производные второго порядка нужно заменить на частные производные дробных порядков
АА^ГАТ (АУ =э-,х: з-ч
дх дх ^Зх) \дх)
^М^Т ("Т =д- 'х: 3-'у.
дх ду ^дх) \ду)
Для функции двух переменных /(х, у) операторы интегрирования запишем в виде
1I(х, у)(х = (1х: I(х, у) ^ д" х: I(х, у), 11(х, у)(у = (1у: I(х, у) ^ д'у : I(х, у). Двойной повторный интеграл:
ЛI(х, у)(х(х = ('х: ('х: I(х, у) ^ ^ д'х: д'х: I(х, у).
Двойной интеграл со смешанным интегрированием:
ИI(х, у)(х(у = (Хх: (1у : I(х, у) ^
х: 3' у: I (х, у).
Заметим, что при 5*1 для операторов Адамара в общем случае справедливы неравенства
3'х: 3'х: I(х, у) * х: I(х, у).
2. Замена рядов заключается в замене целочисленных степеней аргумента в степенных рядах стандартного анализа, через которые выражаются функции стандартного анализа /(х)=/1(х) на дробностепенные ряды с шагом 5, через которые выражаются функции /(х) ветви порядка 5
Такая непосредственная и формальная замена возможна не для всех функций. В этом случае необходимы более сложные преобразования.
Упростить исследования дробного анализа можно путём разбиения множества всех его ветвей на отдельные множества ветвей, похожих между собой, которые будем называть родственными ветвями. Критерием схожести ветвей можно установить, например, схожесть некоторых стандартных функций, которые будем называть маркирующими функциями. В качестве маркирующих функций удобно выбрать частные экспоненты разных порядков. Такой выбор производится по причине фундаментального значения экспонент для математики и по причине того, что через них выражаются многие важные функции, например, элементарные, специальные и другие.
Если среди родственных ветвей выбрать по одной или несколько ветвей, которые будем называть модельными ветвями, и подробно их исследовать, то по ним можно составлять качественные представления о других родственных ветвях.
Одной из задач дробного анализа будет разбиение множества всех ветвей дробного анализа на множества ветвей с родственными свойствами.
Прежде всего, множество ветвей дробного анализа можно разделить на множества ветвей с иррациональными и рациональными порядками. Рациональные ветви можно разделить на целочисленные (первого порядка, чётных и нечётных порядков) и дробные, с порядками больше и меньше единицы.
Построение ветвей иррациональных порядков является задачей более сложной, чем рациональных.
Исследования в области дробного анализа должны проводиться как аналитически, так и численно. Для численных исследований необходимо создание компьютерных программ, а сама роль численных расчётов в дробном анализе представляется относительно более важной, чем в стандартном.
Дробный анализ в последнее время всё шире используется в приложениях, см., например, [1, 5, 6]. Для практических целей могут применяться разные операторы дробного интегродифференцирования. Поэтому встаёт вопрос об адекватности описания реального мира на основе разных подходов дробного анализа, основанных на альтернативных операторах дробного интегродифференцирования.
Кроме этого, в дробном анализе важно сравнение подходов, основанных на разных операторах дробного интегродифференцирования, и, в частности, с анализом на основе оператора Адамара.
п' -1
п=
т+q
ах ^
СПИСОК ЛИТЕРАТУРЫ
1. Самко С.Г., Килбас А.А., Маричев О.И. Интегралы и производные дробного порядка. - Минск: Наука и техника, 1987. -687 с.
2. Hadamar J. Essai sur l'etude des fonctions donnees par leur development de Taylor // J. math. pures et appl. Ser. 4. - 1892. - V. VIII. -P. 101-186.
3. Чуриков В.А. Дробный анализ на основе оператора Адамара // Известия Томского политехнического университета. - 2008. -Т. 312 - № 2. - С. 16-20.
4. Чуриков В.А. Дробный анализ порядка 1/2 на основе подхода Адамара // Известия Томского политехнического университета. - 2008. - Т. 312. - № 2. - С. 21-23.
5. Гук И.Л. Формализм Лагранжа для частиц, движущихся в пространстве фрактальной размерности // Журнал технической физики. - 1998. - Т. 68. - № 4. - С. 7-11.
6. Нахушев A.M. Дробное исчисление и его применение. - М.: Физматлит, 2003. - 272 с.
Поступила 01.12.2008 г.
УДК 517.3
ВНУТРЕННЯЯ АЛГЕБРА ОПЕРАТОРОВ ДРОБНОГО ИНТЕГРОДИФФЕРЕНЦИРОВАНИЯ
В.А. Чуриков
Томский политехнический университет E-mail: vachurikov@list.ru
Вводятся пространства операторов Адамара и операторных векторов. Определены операции умножения на число, сложения и умножения, выяснена их алгебраическая структура. Рассмотрены топологические свойства пространства операторов Адамара.
Ключевые слова:
Внутренняя алгебра операторов Адамара внешняя алгебра операторов Адамара, пространство операторов Адамара, операторные вектора.
В работе [1] были рассмотрены некоторые свойства оператора Адамара дробного интегродиффе-ренцирования. Далее рассмотрим свойства оператора Адамара более подробно.
Оператор Адамара носит скорее алгебраический, чем аналитический характер, в отличие от большинства других операторов дробного интегродифферен-цирования, которые, как правило, являются более сложными с математической точки зрения интегральными преобразованиями [2]. Выясним общие алгебраические свойства операторов Адамара.
Алгебраическую структуру операторов Адамара будем делить на две составляющие: на внутреннюю и на внешнюю алгебру операторов Адамара.
Внутренняя алгебра рассматривает алгебраическую структуру, которая возникает только между операторами Адамара, а внешняя - при взаимодействии операторов Адамара и функциями, на которые они действуют.
Вначале введем понятие пространств, основанных на операторах Адамара.
Определение. Операторы Адамара dSix всех конечных вещественных порядков, К, s¡<ж, образуют множество, которое будем называть пространством операторов Адамара, которое будем обозначать как ¿А(К).
Пространство DA(R) представляет объединение трёх множеств
DA(R)=D +a(R)^D A(R)^D a(R).
Здесь DA(R) - множество всех операторов интегрирования; D a(R) - множество всех операторов дифференцирования; DA(R)={d°x} - множество, состоящее из одного элемента - единичного оператора d °x=1.
Очевидно, что каждому вещественному числу s соответствует единственный оператор Адамара dnx порядка п. В силу этого, между множеством вещественных чисел R и пространством операторов Адамара имеет место взаимнооднозначное (биективное) отображение «о-»
RoDA(R).
Биекцию между пространством DA(R) и множеством вещественных чисел R можно осуществить бесконечным числом способов. Наиболее подходящим из таких отображений является одно.
Определение. Биекцию между пространством DA(R) и множеством вещественных чисел R будем называть тривиальной, если каждому оператору Адамара cfx будем ставить в соответствие число s, которое определяет порядок данного оператора.
Далее будем рассматривать только тривиальную биекцию между DA(R) и К.
Биекция RoDA(R) значительно упрощает исследование алгебраических и топологических свойств пространства DA(R).
В частности, очевидна
