CC BY
42
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2014. № 2 (35). С. 22—32
УДК 517.956.6
ЗАДАЧА СО СМЕЩЕНИЕМ ДЛЯ ОДНОГО УРАВНЕНИЯ С ЧАСТНОЙ ДРОБНОЙ ПРОИЗВОДНОЙ
О. А. Репин,1,2
1 Самарский государственный экономический университет,
Россия, 443090, Самара, ул. Советской Армии, 141.
2 Самарский государственный технический университет,
Россия, 443100, Самара, ул. Молодогвардейская, 244.
Исследована нелокальная краевая задача для одного уравнения, которое при у > 0 содержит частную дробную производную Римана—Лиувилля и является уравнением диффузии дробного порядка, а при у < 0 является уравнением гиперболического типа с двумя перпендикулярными линиями вырождения. Сформулированы условия существования и единственности решения поставленной краевой задачи. Единственность решения исследуемой задачи доказана с помощью принципа экстремума и использования операторов обобщенного дробного интегро-диффе-ренцирования в смысле М. Сайго. Существование решения задачи эквивалентно сведено к вопросу разрешимости дифференциального уравнения дробного порядка, решение которого выписано в явном виде.
Ключевые слова: краевая задача, обобщенный оператор дробного интегро-диф-ференцирования, гипергеометрическая функция Гаусса, функция Миттаг—Леф-флера.
Введение. Рассмотрим уравнение
( пхх - Ца+,уи = 0, (у > 0, 0 < а < 1),
\ xuxx + уиуу + pux + quy = 0, (у < 0, q ^ p, 1/2 <p, q < 1),
где y — частная дробная производная Римана—Лиувилля порядка а от функции u(x,y) по второй переменной [1, c. 341]:
(Do+,y u)(x,y)
д 1 fу u(x,t)dt
ду Г(1 - а) Jo (у - t)a
(0 < а < 1, у > 0).
Ранее [2, 3] для уравнения (1) были рассмотрены нелокальная краевая задача и аналог задачи Трикоми. Данная работа является продолжением исследования отмеченных задач и их обобщением.
Уравнение (1) будем рассматривать в области Q, которая представляет собой объединение квадрата
Q+ = {^,у) : 0 ^ x/у ^ 1} ,
ISSN: 2310-7081 (online), 1991-8615 (print); doi: http://dx.doi.org/10.14498/vsgtu1318 © 2014 Самарский государственный технический университет.
Образец цитирования: О. А. Репин, “Задача со смещением для одного уравнения с частной дробной производной” // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2014. № 2(35). С. 22-32. doi: 10.14498/vsgtu1318.
Сведения об авторе: Олег Александрович Репин (д.ф.-м.н., проф.), заведующий кафедрой, каф. математической статистики и эконометрики1; профессор, каф. прикладной математики и информатики2 .
E-mail address: [email protected]
22
Задача со смещением для одного уравнения с частной дробной производной
области Q-, лежащей в нижней полуплоскости (у < 0) и ограниченной характеристиками АС : х + у = 0, ВС : у/х + у = 1 уравнения (1) и отрезком
[0,1] прямой у = 0, A(0, 0), B(1, 0).
Введём обозначения: (/0+в,пf )(х) — оператор обобщённого дробного инте-гро-дифференцирования с гипергеометрической функцией Гаусса F (a, b; c; z) в ядре, введенный в [4] (см. также [1, с. 326-327]) и имеющий при действительных а, в, П и х > 0 вид
(Itf* f )(х)
х-а-в t-х , t \
Г(а) J (х - t)a-1F[a + в, -п; а; 1 - -Jf(t) dt (а > 0),
dn 0
(/a++n,e_n,,_nf)(х) (а ( 0, п = [-а] + 1).
В частности,
(Оf)(х) = f(х), (/0“+-“’пf)(х)
(I0+f)(х), (/0-а,а’Пf)(х)
(Do+f )(х),
где /0+ и Dq+ — операторы дробного интегрирования и дифференцирования Римана—Лиувилля порядка а > 0 [1, с. 42, 44].
Задача. Найти решение и(х,у) уравнения (1) в области Q, удовлетворяющее краевым условиям
и(0, у) = <ро(у), и(1, у) = ^ч(у), 0 < у < 1, (4)
a, *=§±4,2-1 -а. "0+
q-p-l
А(/
+ Сх ^ (/0+
tq 1и[0о ^)])(х) + B(/
а+q—1,0, §=2 —а^ p+q-3 0+ ' "
t 2 u(t, 0))(х) +
Итп[(-у)вгиу(^у)])(х) = #(х) 0 <х< 1, (5)
y^0—0
3
а также условиям сопряжения
lim
У^0+0
у1 аи(х,у)
lim и(х, у),
у^0—0
0 < х < 1,
lim [у1 а(у1 “и(х,у))у] = хР 1 0 <х< 1
у^0+0 у^0—0
(6)
(7)
Здесь A, B, С — действительные константы, на которые ниже будут наложены некоторые условия, а — отрицательный параметр, причём
1 - 2q 4
< a < 0;
00 (х) — точка пересечения характеристик уравнения (1), выходящих из точек (х, 0) (0 < х < 1), с характеристикой АС; ^>0(у), ^1(у), $(х) — заданные функции, такие, что
у1—а^0(у), у1—а^1(у) е С([0,1]), ^0(0) = ^1(0) =0, 5(х) е С2([0,1]).
Будем искать решение поставленной задачи в классе дважды дифференцируемых в области Q функций и(х, у), таких, что
у1—аи(х, у) е С(Q+), и(х, у) е С(Q—),
23
О. А. Репин
y1 “(y1 “%)y е C(Q+ U {(x, y) : 0 < x < 1, y = 0}), uxx е C(Q+ U Q-), uyy е C(Q-).
1. Единственность решения задачи. Пусть существует решение исследуемой задачи. Введём обозначения
lim у1 au(x,y) = т1(х), lim u(x,y) = T2(x),
y^Q+Q y^Q-Q
limn y1 “(y1 “u(x,y))y = v1(x) li™ (-y)?uy(x,y) = v2(x).
y^Q+Q y^Q-0
Известно [5, с. 108], что решение уравнения (1) в области Q+, удовлетворяющее условию (4) и
lim y1-au(x,y) = T1(x), 0 ^ x ^ 1, y^Q+Q
записывается в виде
yy
u(x,y)= <Mn)Gg(x,y;0; y)dy - ^1 (n)G(x,y;1; y)dy+
+ r(a) / T1({)G?(x, y; £;0)d£,
Q
где
G(x,y; £,n)
(y - n)e 1 2
|x - £ + 2n| \_
(y - П)в '
_ 1,e (_ |x + £ + 2n| 61,eV (y - n)e
в
a 2 ,
(z) =
v________z_______
n=Q Г(аП + ^)Г(^ - вп) '
a > в, a > 0
— функция типа Райта [5, с. 23].
Также известно [2, 6], что функциональное соотношение между T1 (x) и V1 (x), принесённое из параболической области Q+ на линию y = 0, имеет вид
V1(x)
1
Г(1 + a)
T1/(x).
(10)
Найдём функциональное соотношение между T2(x) и V2(x), принесённое на линию y = 0 из гиперболической части Q- области Q. Используя решение задачи Коши [7]
u(x, 0) = T2(x), 0 ^ x ^ 1, lim (-y)quy(x,y) = V2(x), 0 <x< 1,
y^Q-Q
24
Задача со смещением для одного уравнения с частной дробной производной
для уравнения (1), в работе [2] найдено u[©0(x)]. В символах обобщённого оператора дробного интегрирования (3) оно имеет вид
u[©o(x)]
kix1 q(i0+
1
2 ’
p-q-1 p-q p+q-з
2 ’ 2 t -^2—
T2(t))(x) +
, §_q q-p-1 q— p-q-i ,
+ k2Xl P(/02+q’ 2’2 t 2 V2(t))(x),
где
2p—qr(2q - 1) 2P+3q—3Г(2 - 2q)
kl = r(q - 2) ' k2 =----------Г(3 - q) .
Подставляя функцию u[©0(x)] в краевое условие (5) и используя формулы композиций
(1о+в’П(1о+Й’“+П^)(t^ (x) = (1о-+7’в+Й’ПY> °,a,e,n,6 е R (11)
(/0“+b’Cte+b(/a+e’“+b+C+esev(s)^(t)^ x =
= xe(/a_+“’b+e’c+ete+c^>(t))(x), a < 0,a > 0, b, c, в, l е R, (12) полученные соответственно в работах [4,8], приходим к равенству
(Aki + B)(Cq~ 2 ’0’^ -
a p+q-
t 2
T2 (t)) (x) +
/ i? у-ч\ q p 1 ( Ta—q+
+ (Ak2 + C )x 2 (/o_—
q—P’—a— 2
1
2 v2(t))(x) = g(x). (13)
Умножив обе части равенства (13) на x
л 1±JFq
полученного соотношения оператор 1о+ 2 и (12) будем иметь
1+p - q 2
’ — 2a—
и применив к обеим частям
1
2, на основании формул (11)
(Aki + B)(/02++q— 2
1 1+p-q _2 1
о ’ о ’ 2a rj
tP lT2(t))(x) +
+ (Ak2 + C)(/(
2a—q+ § ’
о+
— 2a—1
V2(t))(x)= gl(x), (14)
где
1+p-q q 1
gi(x) = (loV^- ’— a— 2 g(t))(x).
Преобразуем функцию gl(x). Опираясь на формулу (3), с учётом известного соотношения [9, с. 44]
jxC—'F (a'b; c; x)dx
xc
—F(a, b; c + 1; x),
интегрируя по частям, а затем дифференцируя, получим
l \ ( ra+l’-—2—1 ’ —2a— 2
gl(x) = (10+ 2 2
g' (t))(x).
25
О. А. Репин
Теперь на обе части (14) подействуем обратным оператором
(T2a+q-2,i±Fq,-2a-2\-1 _ Г2-2a-q,q=f-i,q-1 lTo+ ) _ To+ •
На основании формулы композиции (11) будем иметь
(Aki + B)xp 1T2(x) + (Ak2 + C) (/
2-2 q,q-p,q-1 o+
V2(t))(x)_ g2(x), (15)
где
g2(x) _ (To2+
- a-q,- 1,q-1 /
g/(t))(x)•
Применив к обеим частям (15) оператор /J+" функции v2(x):
2q-2,p-q,1-q
, найдем явный вид
(Ak2 + C)v2(x) _ -(Ak1 + B)(/^ 2,p q,1 qtp 1T2(t))(x) +
+ (ToV-1 ,p-q-1,1-q g'(t))(x). (16)
3
Имеют место следующие утверждения.
Лемма 1. Если функция T1(x) достигает положительного максимума (отрицательного минимума) на отрезке [0,1] в точке x _ x0 (0 < x0 < 1), то V1(xo) ^ 0 (v1(xo) ^ 0).
Справедливость леммы 1 непосредственно следует из соотношения (10). Далее будем считать, что выполняются следующие условия:
Ak2 + C > 0, ^ I Ak2 + C < 0,
Ak, + B < 0, либ° 1 Ak1 + B > 0.
(17)
Лемма 2. Если функция T2(x) достигает положительного максимума (отрицательного минимума) на отрезке [0,1] в точке x _ xo (0 < xo < 1), g(x) = 0 и выполняются условия (17), то v2(xo) > 0 (v2 (xo) < 0).
Доказательство. Заметим, что справедливость леммы 2 без условия (17) в виде кратких утверждений установлена в работах [2,10]. Здесь даётся полное и достаточно подробное её доказательство.
На основании (3) имеем
d
/1(x) _ (/o+-2,p-q,1-V-1 T2(t))(x) _ dx (T02+-1,p-»-1,-q tp-1T2 (t))(x) _
1 d
. /V-1 (x - t)q-pf —)p+q 2 A
r(2q — 1) dx Jo V x /
xt
p + q — 2, q; 2q — 1; — jT2(t) dt.
Пусть
1 d Iх
Ttf (x) _ d ' -p-1
r(2q — 1) dx Jo
Г tp-1(x—«"(д—^) p+q-2
26
Задача со смещением для одного уравнения с частной дробной производной
(X — t\ p + q - 2, q; 2q — 1;——J T2(t) dt.
Воспользовавшись формулой [11, c. 110] d
— [zaF(a, b; c; z)] = aza-1F(a + 1, b; c; z) и тождеством [12, c. 1058]
cF(a, b; c; z) = (c — a)F(a, b + 1; c + 1; z) + a(1 — z)F(1 + a, 1 + b; 1 + c; z), получим
1 i /5\p+q-2
(x) = F(2qrr^(x — 5>p-1 <5>q-p( x) x
5
x F^p + q — 2,q;2q — 1; x)t2(x — 5) +
+
2q — 2
r(2q — 1^0
/* x-5
/ tp-1(x — t)2q-3x2-p-q x 0
xt
p + q — 2, q — 1; 2q — 2;—^Jt2(t) dt = /11 5 (x) + /12 5 (x). Запишем /12 5(x) следующим образом:
2 — 2q „,2— p-q Г 5 Т2 (x) — T2(tbp-1
/12 5 (x) =
r(2q — 1) J0 (x — t)3-2?
tp-1x
xt
p + q — 2, q — 1; 2q — 2;—^J dt+ r(2;qg^2i) T2(x)x2-p-q jf’ f(x — t)2q-3tp—1 x
xt
p + q — 2, q — 1; 2q — 2;-J dt.
Используя формулу автотрансформации [11, c. 76]
F(a, b; c; z) = (1 — z)c-a-bF(c — a, c — b; c; z),
можно записать гж—5
/*x 5 / x_t \
2-p-q У (x — t)2q-3tp-1 F(p + q — 2, q — 1;2q — 2; ^-J dt =
/ (x — t)2q-3F("q — p, q — 1;2q — 2; x—^ dt. (18)
0x
= x1-q
Применяя формулу [11, c. 111]
d
dz
d
— [zc-1F(a, b; c; z)] = (c — 1)zc-2F(a, b; c — 1; z),
27
О. А. Репин
t
получим соотношение
(x - t)2q—3F^q - p, q - 1; 2q - 2; =
1 2q 2 d \( x -1 \2q—2 /
= -A---^x2q 1------) Flq -p, q - 1; 2q - 1; 1
2q - 2 dt x x
Таким образом, (18) принимает вид x1-q У (x - t)2q—3F ^q - p, q - 1; 2q - 2; X—^ dt =
1
x
q—1
rx—S
2q - 2
d \(x - t\2q—2 ( x - t
) Я? - p,q - 1; 2q - 1;-------
/0 dt К x
dt =
xq 1 \( 6 \ 2q—2 ( 6 \
2 Кx) F(q- p,q- 1;2q-1; x)- F(q- p,q- 1;2q-1;1)
x
q—1 ( 6 \2q—2
/d\ 2q—2f d\
(-) F(q -p,q - 1;2q -1; -) +
xx
6 \ xq—1 r(2q - 1)r(p)
2q - 2 x
Здесь использована формула [11, c. 112]
2q - 2 Г(р + q - 1)r(q)'
F(a, b; c; 1) = цС-О)^ _ b), c = 0, -1, -2,..., Re(c) > Re(a + b).
Итак, с учётом выполненных преобразований /1 s (x) можно представить следующим образом:
/1 s (x) = /11 s (x) -
1
q q T2(x)^q - p, q - 1; 2q - 1; +
T2(x)-
r(2q - 1) Vx
xq—1r(p)
+
r(p + q - 1)r(q)
2q 2 m2-p-
xs
r(2q - 1)
x
P—q
T2 (x) - T2(t) +p- 1
/0 (x - t)3—2q
tP — ^
xt
p + q - 2, q - 1; 2q - 2;—^j dt.
С учётом формул [11, c. 76, 118]
F(a, b; c; z) = (1 - z) bF^c - a, b; c;—j-j
z
z - 1
1 ( z \21
^ ч Л z\—“ ra 1 a .
F(a, b; 2b; z) = (1-) F -, —|—; b + -•
v ’ ’ ’ ! V 2/ 1.2’ 2 2' 2'\2 - z
переходя к пределу при 6 ^ 0, имеем
/1 (x) = x
= xq 1
r(p)T2(x)
r(p + q - 1)r(q)
|
28
Задача со смещением для одного уравнения с частной дробной производной
+
(2 - 2q)2q-p х1-р r(2q - 1)
X
0
x F
T2(X) - T2(t) + x
(x -1)3-2? (t + x) '
q - p q - p + 1
2
q
2’
t - x\ 2 t + x /
dt.
Используя формулу автотрансформации
F(a, b; c; z) = (1 - z)c-a-bF(c - a,c - b; c; z),
окончательно получим
Ii(x) =
Г(Р)
Г(р + q - 1)r(q)
xq 1T2(x) +
I (2 - 2g)2P+q 2 Г T2(x) - T2(t) (t + x)2-p-qtp-1 + r(2q - 1) Jo (x -1)3-2? (t +x) 1 X
x F ( p-±lzl ,l±L-l; q - 1. ( L-x )2) dt. (19)
2 Vt + x
В работе [2] доказано, что I1(x0) > 0, если x = x0 — точка положительного максимума, и l1(xo) < 0, если x = xo —точка отрицательного минимума.
Учитывая условия (17), соотношения (16) и (19), заключаем, что лемма 2 справедлива. □
Теорема 1. Пусть выполняются условия (17),
1
2 <P, q < 1,
q ^ P,
1 - 2q
4
< a < 0.
Тогда, если существует решение исследуемой задачи для уравнения (1), то оно единственно.
Доказательство теоремы 1 следует из лемм 1 и 2, принципа экстремума для нелокального параболического уравнения [13, с. 47] и условия сопряжения (7).
2. Существование решения задачи. Существование решения исходной задачи проведем для случая p = q.
Из равенства (15) имеем
T2(x) = m1x1 - (l^_-2p,0,p 1V2 (t))(x)+ m2g2(x),
(20)
где
Ak2 + C m1 = Ak1 + B,
В силу легко проверяемых равенств
1
m2 =
Ak1 + B
xa+e+n(i0+e’n^(t))(x) = (io«+-a-n>-a-eP(t))(x), a > 0, в, П e R,
(l0+e,n<fi(t))(x) = (l0+7,dtY S<p(t))(x), a> 0,7,5 e R,
Ta, Y,S . Y-S
получим
29
О. А. Репин
x1-p (/0;2p,o,p-1 V2(i))(x) = (/0;2p,p-1,2p-2v2(t»(x) =
= (G'2p'2p-2'p-1tp-1V2 (i))(x) = (/J+^Vo (t))(x).
Следовательно, (20) принимает вид
T2 (x) = m1(/0+2ptp-1V2(t))(x) + Ш292(х). (21)
Дифференцируя дважды обе части (21) по x, учитывая (3) и равенство
d2
dX2 (ioWt))(x) = (Do+^(t))(x), имеем ( )
t2(x) = m1(D0Pp tp-1V2(t))(x) + mogO (x).
Согласно (6), ri(x) = T2(x) при 0 ^ x ^ 1, vi(x) = xp-1v2(x) при 0 < x < 1. Обозначив T1(x) = T2(x) = т(x) и v1(x) = xp-1v2(x) = v(x) и учитывая
соотношение (10), придём к дифференциальному уравнению дробного порядка 2p, 1 < 2p < 2:
(d2++ v(t))(x) - Av(x)
g2/(x) д = r(1 + op
Ak2 + C’ m1
(22)
На основании результатов монографий [1, с. 302; 14, с. 226-227] общее решение уравнения (22) имеет вид
v(x) = C1x2p 1E2p,2p(Ax2p) + C2x2p 2E2p,2p-1(Ax2p) +
+ ^ Ag°+)C (x - t)2p-1E2p,2p(A(x - t)2p)dt’ где С1 и C2 — произвольные постоянные,
Еа,в (z)
V____Z___
m=0 r(am+e)
(a > О, в e R)
— функция Миттаг—Леффлера [1, с. 33; 15, с. 117].
Используя результаты работы [2], запишем явное решение поставленной задачи:
fy dG fy dG
u(x,y) = c n^1(n)dn - t ^2(n)dn+
Jo d? ?=0 Jo d? ?=1
+ C1m1 / G(x,y; t, 0)E2p,2(At2p)dt-Jo
-f G(x,y;t,0) / (x-s)Eop,o(A(t-s)2p)g2'(s)ds dt + / G(x,y;t,0)go(t)dt, o o o
где
C1 =- mTE^ocA) (go(1)+1(1 - t)Eop,2(A(1 - .
Это завершает доказательство существования решения исследуемой задачи.
30
Задача со смещением для одного уравнения с частной дробной производной
СПИСОК ЛИТЕРАТУРЫ/ REFERENCES
1. С. Г. Самко, А. А. Килбас, О. И. Маричев, Интегралы и производные дробного порядка и некоторые их приложения. Минск: Наука и техника, 1987. 688 с. [S. G. Samko, A. A. Kilbas, O. I. Marichev, Integraly i proizvodnye drobnogo poryadka i nekotorye ikh prilozheniya [Integrals and derivatives of fractional order and some of their applications], Minsk, Nauka i Tekhnika, 1987, 688 pp. (In Russian)]
2. А. А. Килбас, О. А. Репин, “О разрешимости краевой задачи для уравнения смешанного типа с частной дробной производной Римана—Лиувилля” // Дифференц. уравнения, 2010. Т. 46, № 10. С. 1453-1460; A. A. Kilbas, O. A. Repin, “Solvability of a boundary value problem for a mixed-type equation with a partial Riemann-Liouville fractional derivative”, Differ. Equ, 2010, vol.46, no. 10, pp. 1457-1464 doi: 10.1134/S0012266110100095.
3. А. А. Килбас, О. А. Репин, “Аналог задачи Трикоми для дифференциального уравнения с частными производными, содержащего уравнение диффузии дробного порядка”// Докл. АМАН, 2010. Т. 12, №1. С. 31-39. [A. A. Kilbas, O. A. Repin, “Analog of the Tricomi problem for differential equations with partial derivatives containing fractional diffusion equation”, Dokl. AMAN, 2010, vol. 12, no. 1, pp. 31-39 (In Russian)].
4. M. Saigo, “A remark on integral operators involving the Gauss hypergeometric functions”, Math. Rep. College General Educ., Kyushu Univ., 1978, vol. 11, no. 2, pp. 135-143.
5. А. В. Псху, Уравнения в частных производных дробного порядка. М.: Наука, 2005. 199 с. [A. V. Pskhu, Uravneniya v chastnykh proizvodnykh drobnogo poryadka [Partial Differential Equations of Fractional Order], Moscow, Nauka, 2005, 199 pp. (In Russian)]
6. С. Х. Геккиева, “Аналог задачи Трикоми для уравнения смешанного типа с дробной производной”// Изв. Кабар.-Балкар. научн. центра РАН, 2001. №2(7). С. 78-80. [S. Kh. Gekkieva, “An Analog of the Tricomi Problem for an Equation of Mixed Type with a Fractional Derivative”, Izv. Kabard.-Balkar. Nauchn. Tsentra RAN, 2001, no. 2(7), pp. 78-80 (In Russian)].
7. А. М. Гордеев, “Некоторые краевые задачи для обобщенного уравнения Эйлера—Пуассона—Дарбу” // Волжск. мат. сб., 1968. №6. С. 56-61. [A. M. Gordeev, “Some Boundary Value Problems for the Generalized Euler-Poisson-Darboux Equation”, Volzh. Mat. Sb., 1968, no. 6, pp. 56-61 (In Russian)].
8. Т. В. Шувалова, “Некоторые композиционные свойства обобщенных операторов дробного дифференцирования”// Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2006. №42. С. 45-48 doi: 10.14498/vsgtu409. [T. V. Shuvalova, “Some Compositional Properties of Generalized Fractional Differentiation Operators”, Vestn. Samar. Gos. Tekhn. Univ. Ser. Fiz.-Mat. Nauki, 2006, no. 42, pp. 45-48 (In Russian)].
9. А. П. Прудников, Ю. А. Брычков, О. И. Маричев, Интегралы и ряды. Т. 3: Специальные функции. Дополнительные главы. М.: Наука, 1986. 800 с. [A. P. Prudnikov, Yu. A. Brychkov, O. I. Marichev, Integraly i ryady [Integrals and Series], V. 3, Spetsialnye funktsii. Dopolnitelnye glavy [Special features. Additional chapters], Moscow, Nauka, 1986, 800 pp. (In Russian)]
10. О. А. Репин, Т. В. Шувалова, “О единственности решения нелокальной краевой задачи для уравнения смешанного типа с двумя линиями вырождения” / Современные методы физико-математ. наук, Труды междун. конф. Т. 1. Орёл, 2006. 106-110 с. [O. A. Repin, T. V. Shuvalova, “On the Uniqueness of a Solution of a Nonlocal Boundary Value Problem for an Equation of Mixed Type with Two Degeneration Lines”, Tr. mezhdunar. konf. “Sovremennye metody fiz.-mat. nauk” [Proc. Int. Conf. “Modern Methods in Physical and Mathematical Sciences”]. V. 1, Orel, 2006, pp. 106-110 (In Russian)].
11. Г. Бейтмен, А. Эрдейи, Высшие трансцендентные функции. Т. 1: Гипергеометрическая функция. Функция Лежандра. М.: Наука, 1973. 296 с.; A. Erdelyi, W. Magnus, F. Oberhettinger, F. G. Tricomi, Higher Transcendental Functions (Bateman Manuscript Project), New York, McGraw-Hill, 1953.
12. И. С. Градштейн, И. М. Рыжик, Таблицы интегралов, сумм, рядов и произведений. М.: Физматгиз, 1963. 1100 с.; I. S. Gradshteyn, I. M. Ryzhik, Table of integrals, series, and, products. 6th ed, San Diego, CA, Academic Press, 2000, xlvii+1163 pp.
31
О. А. Репин
13. В. А. Нахушева, Дифференциальные уравнения математических моделей нелокальных процессов. М.: Nauka, 2006. 173 с. [V. A. Nakhusheva, Differentsial’nye uravneniya matematicheskikh modeley nelokal’nykh protsessov [Differential Equations of Mathematical Models of Non-Local Processes], Moscow, Nauka, 2006, 173 pp. (In Russian)]
14. A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and applications of fractional differential equations, North-Holland Mathematics Studies, vol. 204, Amsterdam, Elsevier Science B. V., 2006, xvi+523 pp. doi: 10.1016/S0304-0208(06)80001-0.
15. М. М. Джрбашян, Интегральные преобразования и представления функций в комплексной области. М.: Наука, 1966. 672 с. [M. M. Dzhrbashyan, Integral’nye preobra-zovaniya i predstavleniya funktsii v kompleksnoi oblasti [Integral Transforms and Representations of Functions in a Complex Domain], Moscow, Nauka, 1966, 672 pp. (In Russian)]
Поступила в редакцию 24/IV/2014; в окончательном варианте — 11/V/2014; принята в печать — 16/V/2014.
MSC: 35М12, 35R11
BOUNDARY VALUE PROBLEM WITH SHIFT FOR ONE PARTIAL DIFFERENTIAL EQUATION CONTAINING PARTIAL FRACTIONAL DERIVATIVE
O. A. Repin1,2
1 Samara State Economic University,
141, Sovetskoy Armii st., Samara, 443090, Russian Federation.
2 Samara State Technical University,
244, Molodogvardeyskaya st., Samara, 443100, Russian Federation.
We investigate a nonlocal boundary value problem for the equation of special type. For y > 0 it is the equation of fractional diffusion, which contains partial fractional derivative of Riemann-Liouville. For y < 0 it is the hyperbolic type equation with two perpendicular lines of degeneracy. The conditions of existence and uniqueness of the solution of the boundary value problem are formulated,. The uniqueness of the solution of the problem is proved using the extremum principle and the use of generalized operator of fractional integro-differential in M. Saygo sense. The existence of a solution is reduced to the solvability of differential equations of fractional order, which solution is written out explicitly.
Keywords: boundary value problem, generalized operator of fractional integro-differentiation, Gauss hypergeometric function, Mittag-Leffler function.
Received 24/IV/2014;
received in revised form 11/V/2014;
accepted 16/V/2014.
ISSN: 2310-7081 (online), 1991-8615 (print); doi: http://dx.doi.org/10.14498/vsgtu1318 © 2014 Samara State Technical University.
Citation: O. A. Repin, “Boundary Value Problem with Shift for One Partial Differential Equation Containing Partial Fractional Derivative”, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2014, no. 2 (35), pp. 22-32. doi: 10.14498/vsgtu1318. (In Russian)
Author Details: Oleg A. Repin (Dr. Phys. & Math. Sci.), Head of Dept., Dept. of Mathematical Statistics and Econometrics1; Professor, Dept. of Applied Mathematics & Computer Science2. E-mail address: [email protected]
32
