CC BY
42
УДК 517
ЭКСПОНЕНЦИАЛЬНОЕ ВЫРОЖДЕНИЕ В СЛУЧАЕ НЕЦЕЛОЧИСЛЕННЫХ ПОРЯДКОВ В ЛОКАЛЬНОМ ДРОБНОМ АНАЛИЗЕ НА ОСНОВЕ d-ОПЕРАТОРА
В.А. Чуриков
Томский политехнический университет E-mail: vachurikov@list.ru
Вводятся и рассматриваются свойства экспонент в дробном анализе нецелочисленных порядков. Показано, что для нецелочисленных порядков в разных случаях возможно вырождение различных степеней, когда для различных порядков имеется более одной экспоненты. Получено, что число экспонент для рациональных порядков конечно, а для иррациональных - бесконечно.
Ключевые слова:
Дробный анализ нецелочисленных порядков, дробный анализ целочисленных порядков, d-оператор, главная экспонента, дополнительные экспоненты, экспоненты вещественные, экспоненты комплексные, экспоненциальное вырождение.
Key words:
Fractional analysis of not-integral orders, fractional analysis of integral order, d-operator, main exponent, additional exponential functions, exponential functions of a real variable, exponential functions of a complex variable, exponential degeneration.
Введение
В стандартном анализе имеется одна экспонента с точностью до сложения аргумента с константой. Под экспонентой в стандартном анализе понимается функция инвариантная относительно операций дифференцирования и интегрирования, но последняя, с точностью до сложения с константой интегрирования.
В работе [1] для оператора Адамара была получена дробная экспонента любого конечного вещественного порядка s, названая в дальнейшем главной экспонентой
™ Х™-1 Х^ + -1
exp s (x)=£т^—= £
= r(ns) m=o Г(( m +1) s)
x 1+s x 1+ 2s x
- +---------------+ -
- +...
(*)
Г(5) Г(27) Г(37)
Данная функция инвариантна относительно дифференцирования и интегрирования порядка s, но интегрирование с точностью до сложения с полиномом интегрирования С/х). Данная инвариантность выполняется как для оператора Адамара, так и для локального ¿-оператора порядка s дробного интегродифференцирования [1]
й- 7х : ехр7 (х) = ехр7 (х);
^х :ехра (х) = ехра (х) + С, (х).
Полиномы интегрирования определяются [1]
(х) =
С0 (х) = 0; а є К; а < 0;
к в случае целочисленных порядков и бесконечное счётное множество для нецелочисленных порядков.
В работах [1, 2] было показано, что в локальном дробном анализе для каждого целочисленного порядка к>1 имеется более одной экспоненты, а именно к2 экспонент. Среди экспонент одна -главная экспонента, а остальные - дополнительные экспоненты. Из всех к2 экспонент к являются основными, вместе с главной экспонентой и к—1 вещественными экспонентами, а другие, к2-к - комплексные экспоненты.
Наличие нескольких экспонент в целочисленном локальном дробном анализе называется экспоненциальным вырождением.
В случае нецелочисленных порядков экспоненциальное вырождение тоже имеет место. Для нецелочисленных порядков экспоненциальное вырождение имеет ряд особенностей, отличных от вырождения в случае целочисленных порядков.
Экспоненциальное вырождение
нецелочисленных порядков
Рассмотрим первый из двух типов экспоненциального вырождения, которые были рассмотрены в случае целочисленных порядков [2].
Заменим в ряду дробной экспоненты порядков s(*) выражение т на ws-q+1, где q - целое число, д>1 и найдём её производную порядка s
d- sx: £
= r(ns - q +1)
Cs(x) = £ akx - k+s; ak = const;
k =1
а = s; s Ф1, 2, 3, ...;
m-1
Cm (x) = £ akxk; ak = const; а = m; m є N.
Здесь неопределённые коэффициенты ак являются константами интегрирования, которых будет
T(ns - q +1)
( n-1) s-q
= £
И=1 Г((и-1)5 - q +1) Г(и5 - q +1)
® „.(И-1)
= ^^ГссИ-1)7-7+Г).
Число #>1 будем называть сдвигом порядка, а экспоненциальное вырождение, связанное с ним, будем называть сдвиговым вырождением.
ns —q
x
k=0
При п=1 у первого элемента ряда после дифференцирования аргумент гамма-функции будет попадать в полюс, что будет приводить к тому, что первый элемент ряда будет обращаться в ноль, а у остальных порядок уменьшится на s. Переобозна-
чив индекс m=w-1, получим ряд £-
r(ms - q +1)
Найдём неопределённый интеграл порядка s
данного ряда
dsx: £
= r(ns - q +1)
= £ r(ns - q +1) x(n+1)s-q + ¿ ( =
£Г((и +1) s - q +1) r(ns - q +1) s ()
® гО+Г) s-q
= £----------------------+ C (x) =
£ГГ((л +1)s - q +1) s ( )
= £
^ :-------+ С (х).
„=1 Г(т5 - q +1)
Здесь произведена замена индекса п+1=т, и сделано переобозначение полинома интегрирования в силу произвольности его коэффициентов
Cs (x) =
r(s - q +1)
+ (x).
Слагаемое
становится первым эле-
Г(5 - q +1)
ментом (т=1) ряда после переобозначений.
Получили, что дробностепенные ряды
порядка s инвариантны относи-
V* ” ^
х
т=1 Г(т - q +1) тельно дифференцирования и интегрирования порядка s. Результат интегрирования получается с точностью до сложения с полиномом интегрирования С/х). Функции, задаваемые такими рядами, будем называть экспонентами порядка s.
Такие экспоненты порядка s могут существовать, когда ни один элемент ряда с п>1, и д>1 не обращается в ноль, что возможно, когда значения аргумента гамма-функции не попадают в её нули, которые определяются равенствами: ш—+1=0,-1,-2,...
Рассмотрим случаи, когда порядок является рациональным s=r/p (г,реМ), тогда нули возможны при выполнении равенств
И = ^(д -1) ^ - 2) ^ -3)
Г Г Г
Для рациональных порядков всегда найдутся такие значения п>1 и д>1, когда будет выполняться хотя бы одно из возможных равенств. Поэтому сдвиговая инвариантность для рациональных порядков невозможна.
Если порядок s является иррациональным, то нули возможны при выполнении равенств
g -1 д q - 2 q - 3 И = , , , , ...
5 5 5 7
Для иррациональных порядков s и q>1 нет таких значений и>1, при которых эти равенства выполняются. Это значит, что сдвиговая инвариантность имеется для иррациональных порядков, причём степень этого вырождения будет бесконечной. Поэтому множество экспонент иррационального порядка со сдвиговым вырождением образуют бесконечное счётное множество в случае любых целых чисел q>1.
Экспоненту с q=1 будем называть главной экспонентой порядка s, а остальные экспоненты с q>1 будем называть дополнительными вещественными экспонентами порядка s. Все эти экспоненты будем называть основными экспонентами, которые будут вещественными функциями.
Второй тип экспоненциального вырождения связан с правилами дробного дифференцирования функций, у которых аргумент умножается на константу а
d-sx : exps(ах) = as exps (ах); dsx : exps(x) = а-s exps (ax) + Cs (x).
Инвариантность относительно дифференцирования и интегрирования здесь будет выполняться, если справедливо уравнение, которое называется уравнением инвариантности порядка s [2, 3]
а = 1.
Решения уравнения инвариантности порядка s будем называют корнями инвариантности и обозначать а8{Ь+1)=а^г'(/=к+1;к=0,1,2,3,.), которые определяются формулой
(i 2nh'
а =аА+1 =1s = exp I ——
(2nh^ . . (2nh
= cos I---I + i sin I--
Здесь возможны два важных случая. Когда порядок s - рациональное число или иррациональное число.
Если s - рациональное, то его можно представить в виде s=r/p (r,peN; p>1) , r и p не имеют общих делителей, неравных 1, тогда число корней инвариантности будет r.
Корень инвариантности а5ш=1, когда h=0, всегда равен 1, назван главным корнем инвариантности. Остальные корни инвариантности
а№+п=аМ(й=0,1,2,3,...) будем называть комплексными корнями инвариантности. Комплексные корни инвариантности в частном случае могут быть мнимыми или действительными.
Введённые обозначения корней инвариантности выбраны для согласования с нумерацией экспонент целочисленных порядков [2, 3].
Таким образом, для нецелочисленных порядков при вырождении корней инвариантности имеется одна вещественная экспонента, она же - главная экспонента (*), при h=0, а остальные - дополнительные комплексные экспоненты.
В случае ветвей дробного анализа рациональных порядков экспоненциальное вырождение, связанное с корнями инвариантности, даёт конечное число комплексных экспонент, а для ветвей
ms-q
x
ns-q
x
x
с иррациональными порядками - бесконечное счётное множество комплексных экспонент.
Возможны различные способы обозначения всех экспонент нецелочисленных порядков 5, которые в общем случае можно записать, при условии, что #,/еМ; /=к+1
ехр,д|1}( х) = ехр,д!(а{! х) =
= ехр,д|А+1!( х) = ехр,д!(а{А+1! х) =
(а{1}хГ-д = ^ х)(т+1),-д =
_ r(ns - q +1) „=0 Г((т + 1)s - q +1)
(af x)s-q + (af x)2s-q + (afx)3q
Г(, - д +1) Г(2, - д +1) Г(3, - д +1) +'”
При вырождении, связанном с корнями инвариантности, возможны три частных случая.
1. Когда порядки рациональные и равны 5=1/р, то нет сдвигового вырождения, и нет вырождения корней инвариантности (имеется один корень инвариантности а*1! = 1). Тогда для каждого
Р
порядка 5=1/р будет только одна, главная экспонента (#=/=1)
ехр1 (х) = ехр*1!( х) = ехр*1|1!( х) =
Здесь каждому значению l будет соответствовать отдельная экспонента. Все эти экспоненты можно представить в виде вектора
( \
exp *7 }(х) = exp{r1}
af! х
P p V p _
( \
_ exp{r11} (x) exp{r1|2}( x) . . exp{r1|r}( x) _
V P P P _
( ( ^ ( ^ (
exp{r1} af1} x C. 1 {p x <D af2} x {pr x <D ar) x
V P V p _ P V p P V p _ _
3. Когда порядок s=X иррациональный, то имеется бесконечное вырождение корней инвариантности бесконечное сдвиговое вырождение и #=1,2,3,...; /=1,2,3,...; l=h+1
exp^ql0( x) = exp}q!(af x) =
= expiq|A+1!( x) = exp|q !(af+1! x) =
_i
(af x )-fq (af x )(m+1)fq
-_i
_ Г (nf-q +1) m_0 r((m + 1)f-q +1)
(af x )f-q + (af! x )2f-q , (af x)3f
Щ-q +1) Г(2А-q +1) Г(3Я-q +1)
■ + ...
-_1 ГI —
m_0 г I „ + 1
P J
4
xP
ГІІ
1 ( 2 ^ '3 ^ 4 ^
Г | - r| r|
V p _ ,p _ ,P _
a{ } x
= expf h+1} (x) = exp
P P
{q}
a?+1} x
V -P
_z
af} x)
V p_______
ГІ nr
\ --1
P
■_z
af x)
V p _
\ (m + 1)—1 P
“0 г J („ + 1)r
_
3r
( ^ 1 P ( ^ P ( ^ —1 p
af x) a'f x) af} x)
V p _ V p _ V p _
( 2r ^ ( 3r ^
Г | — Г | —
V p _ V p)
Здесь каждой паре значений # и / будет соответствовать отдельная экспонента. Все эти экспоненты можно представить в виде матрицы с бесконечным числом строк и столбцов
exp
{q|1}(x) = expf}(af}x) _
+...
2. В случае рациональных порядков s=r/p (r>1) нет сдвигового вырождения, и имеется r корней инвариантности. Тогда степень вырождения экспонент в этом случае будет равна r и их можно записать в виде ряда, где /=1,2,3,.r; l=h+1
f л
exp<r1|'>(x) = expf
p p
(exp flll} (x) expfll2i( x) expfll/i(x) ..."
e xp (x) expf|2}( x) rapf^x) ...
iexpi?|li (x) expf?l2i( x) .. x : о
V... ... ...
/expfi(af x) expfli(af'i x) ... expf(af}x) ...
expf(af x) expi2i(af'i x) ... expf}(a/}x)
expf?i(af} x) expff i(af} x) p .. x : о
V... ... _
Полученные экспоненты ехр5|?и(х) нецелочисленного порядка 5 инвариантны относительно дробного интегродифференцирования порядка 5, а относительно интегрирования, как обычно, с точностью до сложения экспонент с полиномом интегрирования С(х)
й- “х :ехр,д1 }(х) = ехр,д 1 }(х); й'х : ехр,д1 }(х) = ехр,д 1 }(х) + С, (х).
При сдвиговом вырождении экспоненты связаны между собой через дифференцирование и интегрирование целочисленного порядка Ь<#+1. В этом случае при дифференцировании сдвиг # уменьшается на Ь, а при интегрировании увеличивается на Ь
r
d bx:expSq|1}(x) = exp{q+b 1 }(x); dbx :expSq1!(x) = expSq -1 }(x) + Cs (x). Это легко показать
d±bx: У---------x-----------=
„=i r(ns - q ± 1 +1)
У r(ns - q +1) x”-q±b + C (x) = ~1 r(ns - q ± b +1) r(ns - q +1) s
m ns-q ±1
-C (x).
„=1 Г(да - q ± Ъ +1)
Отсюда следует, что соседние элементы ряда переходят друг в друга при дифференцировании и интегрировании порядка 1.
Инвариантные функции
Экспоненциальное вырождение в локальном дробном анализе приводит к возможности введения инвариантных функций, которые были рассмотрены для целочисленных порядков [1, 2].
Рассмотрим инвариантные функции нецелочисленных порядков.
Определение. Функцию, инвариантную относительно дифференцирования порядка 5 и инвариантную относительно интегрирования порядка 5, причём интегрирование с точностью до сложения с полиномом интегрирования порядка 5, будем называть инвариантной функцией порядка 5 [1, 2].
Тривиальным случаем инвариантной функции для любого вещественного порядка является нулевая функция (ноль).
Очевидно, что всё функции, пропорциональные экспонентам порядка 5, являются инвариантными функциями того же порядка, которые будем называть простыми инвариантными функциями порядка 5.
Определение. Инвариантную функцию порядка 5 будем называть сложной инвариантной функцией порядка 5, если она состоит из суперпозиции более чем одной экспоненты порядка 5.
Суперпозиция экспонент нецелочисленного рационального порядка 5=г/р будет сложной инвариантной функцией порядка 5, которую без учёта сдвигов можно записать
f r f ^
Invf r a,, af+1} x II M x <D al arx
p k P J /=1 P k p J
{1}
a h+1} x
Для частных случаев порядков s=1/p, когда отсутствует экспоненциальное вырождение, инвариантная функция будет простой и будет состоять из одного слагаемого
Invf 1 (a; x) = a exp 1 (x); a e C; a = const.
P P
В случае стандартного анализа, когда порядок s=1, инвариантные функции тоже будет состоять из одного слагаемого
Invf1(a; x) = aexp1(x + в); a, в e C; a, в = const.
Здесь для общности добавлен сдвиг аргумента в, который тоже сохраняет инвариантность функций при интегродифференцировании порядка 1.
В случае иррационального порядка s суперпозиция бесконечного числа экспонент порядка s будет образовывать ряд, который будем называть рядом экспонент порядка s
InvfА (aq, 1 , «Г; x) = У У aq ,1 e^г!(x) =
=УУ
q=1 1=1
af+1}
Здесь p - корни инвариантности порядка r/p; a, - произвольные коэффициенты разложения,
a,, af+1} = const; a, a{h+1} e C; /=1,2,3,...r, leN, l=h+1.
P P
Такие функции будем называть экспоненциальными полиномами порядка r/p.
Здесь а,! - произвольные коэффициенты разложения, а4/,аЯ№=соп81; а4/,аЯ|#еС; #,/=1,2,3,...,да; /=й+1.
Условия инвариантности для функций 1пу^(а/,а5{#;х) будут
d-“х: 1пу^ (а,, аамх) = 1пу^ (а, а/1х);
^х: 1пу^ (а,, а/“*1}; х) = 1пу^ (а, а*п; х) + С (х).
Из сказанного справедлива теорема.
Теорема. Любая линейная комбинация инвариантных функций порядка 5 является инвариантной функцией порядка 5.
Инвариантные функции образуют пространство инвариантных функций порядка 5, которое будем обозначать Щ.
Определение. Размерностью пространства будем называть степень экспоненциального вырождения порядка 5 и обозначать ШшЩ.
Размерность пространства инвариантных функций рационального порядка г/р будет г, или ёипЩ. = г; г,р = 1,2,3,...
Р
В частности, для порядков 1/р, когда отсутствует экспоненциальное вырождение, будет ёипП^ = 1; р = 1,2, 3, ...
Р
Если порядок Я - число иррациональное, то Ш-ш№Я=да.
Из сказанного следует утверждение.
Теорема. Все экспоненты нецелочисленных порядков 5 образуют линейно независимую систему функций, которая образует линейное пространство размерности 1, когда 5=1/р, линейное пространство размерности г<да, если 5=г/р и бесконечномерное линейное пространство, если порядок 5 является иррациональным числом.
Элементами данного линейного пространства являются инвариантные функции порядка 5.
h=0
СПИСОК ЛИТЕРАТУРЫ
1. Чуриков В.А. Дробный анализ на основе оператора Адамара // Известия Томского политехнического университета. - 2008. -Т 312. - № 2. - С. 16-20.
2. Чуриков В.А. Экспоненты в дробном анализе целочисленных порядков на основе ¿-оператора // Известия Томского политехнического университета. - 2012. - Т. 320. - № 2. - С. 16-20.
3. Чуриков В.А. Краткое введение в дробный анализ целочисленных порядков. - Томск: Изд-во ТПУ, 2011. - 72 с.
Поступила 28.06.2012 г.
УДК 517.3
ИНТЕГРИРОВАНИЕ И ДИФФЕРЕНЦИРОВАНИЕ БИНОМИАЛЬНЫХ РАЗЛОЖЕНИЙ В ЛОКАЛЬНОМ ДРОБНОМ АНАЛИЗЕ
В.А. Чуриков
Томский политехнический университет E-mail: vachurikov@list.ru
Рассмотрено дробное интегродифференцирование биномиальных разложений в локальном дробном анализе на основе d-оператора.
Ключевые слова:
Дробный анализ, d-оператор, биномиальное разложение.
Key words:
Fractional analysis, d-operator, binomial decomposition.
В стандартном анализе справедлива формула дифференцирования степенных рядов в окрестности центра aeR; a=const<<»
га га
d-1 x: ^ bn (x ± a )” = ^ nb„ (x ± a )”_1; bn = const <га.
n=0 n=0
Эта формула часто используется в дробном анализе для дифференцирования нецелочисленных порядков, например [1].
Но при простом распространении данной формулы на случай дробных производных она уже не является справедливой. Покажем это на простом примере для второго члена разложения ряда.
Найдём производную нецелочисленного порядка s с помощью локального ¿-оператора [2], когда скобки не раскрываются, тогда по формуле можно записать
J-s I I \2 Г(2 + 1) 2 -
d x :(x ± a) =--------------- ------------- — (x ± a)
(1)
Г(2 - 5 +1)
Здесь Г(...) - гамма-функция Эйлера.
Найдём производную такого же порядка, но уже раскрыв скобки
ё-5х:(х ±а)2 = ё-5х:(х2 + 2ах +а2) =
= Г(2 +1) -х2-5 ± 2а Г(1 +1) ХІ-5 +
Г(2 - s +1)
Г(1 - s +1)
+а2 Г(0 + 1 х0-5.
Г(-5 +1)
Полученные результаты не равны между собой, если йФ0. Последний полученный результат явля-
ется правильным. Из этого следует, что в дробном анализе формула дифференцирования степенных рядов (1), обобщающая формулу стандартного анализа, не применима в дробном анализе.
Поэтому имеет смысл получить для дробного анализа общие формулы интегродифференцирова-ния дробных порядков биномиальных разложений как для случаев с целочисленными порядками, так и с нецелочисленными порядками разложения.
Для целочисленных порядков т справедливо разложение
(x ± a)m = £ (±1)
n=0
n=m
=Е (±1)
m
n
m!
n=o n !(m - n)
n!
m!( n — m)!
; m, n Є N; m > n > 0 .
Здесь
- биномиальные коэффициенты, ко-
торые в общем случае вещественных коэффициентов будут
Г a Г(Ь +1)
; a, b є ’
Г(а + 1)Г(Ь - а +1)
Когда показатель степени #>0, #*1,2,3,... не является целочисленным, будет справедливо разложение в ряд, сходящийся для значений, когда выполняются условия: -1<х±а<1; а*0
