Scientific journal
Modern high technologies
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 0,940

NONLOCAL PROBLEM FOR A EQUATION OF MIXED TYPE OF THIRD ORDER WITH MULTIPLE CHARACTERISTICS

Kumykova S.K. 1 Ezaova A.G. 1 Bozieva A.A. 1
1 Kabardino-Balkarian State University named after Kh.M. Berbekov
This article is devoted to research of the unique solvability of a nonlocal problem with fractional derivatives in the boundary condition for equations of mixed type of third order with multiple characteristics. When neravenstvennogo restrictions on the type of function known uniqueness theorem. The proof is carried out by energy integrals. In the proof of the uniqueness of the solution of the problem set the effect of the ratio of the lowest (50) derivative in the equation on the unique solvability of the boundary value problem. To prove the existence of a solution of the problem, obtained the relationship between the trace of the unknown function u(x,0)=(x) and the following derivatives of the unknown function uy(x, 0)=v(x) brought to the line of degeneracy y=0 of hyperbolic and parabolic part of the mixed area. The method of solving the problem of the existence of the Tricomi redutsirovanno equivalent to the Fredholm integral equation of the second kind (100), with respect to the following derivative of the unknown function , which should be unconditional solvability of the uniqueness of the solution of the problem.
nonlocal problem
operator of fractional differentiation
operator of fractional integration
Cauchy problem
Fredgolm equation

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

Цель исследования – доказать однозначную разрешимость задачи с дробными производными в краевом условии для уравнения смешанного типа третьего порядка с кратными характеристиками.

Постановка задачи

Рассматривается уравнение

kumykova01.wmf (1)

где m = const > 0, в конечной области ?, ограниченной отрезками AA0, BB0, A0B0 прямых x = 0, x = 1, y = 1 соответственно, и характеристиками AC, BC равнения (1), выходящими из точек A(0;0), B(1;0) при y < 0.

Пусть Ω1 = Ω∩(y > 0); Ω2 = Ω∩(y < 0), I ≡ AB – единичный интервал 0 < x < 1 прямой y = 0.

Задача. Требуется определить функцию u(x, y), являющуюся решением уравнения (1) при y ≠ 0 из класса

kumykova02.wmf kumykova03.wmf

удовлетворяющую условиям

u(0, y) = φ1(y); u(1, y) = φ2(y), 0 ≤ y ≤ 1; (2)

u(0, y) – ux(1, y) = φ3(y), 0 ≤ y ≤ 1, (3)

kumykova04.wmf kumykova05.wmf (4)

где kumykova06.wmf (i = 1, 2, 3); kumykova07.wmf

причём kumykova08.wmf

kumykova09.wmf kumykova10.wmf kumykova11.wmf

θ0(x), θ1(x) – точки пересечения характеристик уравнения (1), выходящих из точки (x, 0) с характеристиками AC, BC соответственно, kumykova12.wmf – операторы дробного в смысле Римана – Лиувилля интегро-дифференцирования [9].

Задача (1)–(4) относится к классу краевых задач со смещением А.М. Нахушева, исследованиями которых занимались многие авторы [1–8, 10]. Интерес к таким задачам обусловлен тем, что они существенно обобщают задачу Трикоми, содержат широкий класс корректных самосопряженных задач и имеют многомерные аналоги.

Теорема единственности

В области Ω не может существовать более одного решения задачи (1)–(4), если

2a0(x, y) – a1x(x,y) + by(x, y) – 2b(x,y)N > 0 в Ω1; (5)

b(x, y) > ρ > 0; b(x,0) = const; (6)

kumykova13.wmf (7)

где N – некоторая постоянная, удовлетворяющая условию

kumykova14.wmf

а также выполняются условия

kumykova15.wmf kumykova16.wmf (8)

kumykova17.wmf kumykova18.wmf kumykova19.wmf kumykova20.wmf (9)

Доказательство. Решение задачи Коши в области Ω2 имеет вид [1, 4]

kumykova21.wmf (10)

где τ(x) = u(x, 0); v(x) = uy(x,0), Г(α) – гамма функция Эйлера [9].

Пользуясь решением (4), вычислим

kumykova22.wmf

Последнее в терминах операторов дробного интегро-дифференцирования примет вид

kumykova23.wmf

Аналогично, получаем

kumykova24.wmf

Последнее в терминах операторов дробного интегро-дифференцирования примет вид

kumykova25.wmf

Подставляя значения, U[θ0(x)], U[θ1(x)] в условие (4), получим

kumykova26.wmf (11)

Преобразовав интегралы, входящие в (11), будем иметь

kumykova27.wmf (12)

где

kumykova28.wmf kumykova29.wmf

kumykova30.wmf kumykova31.wmf

Докажем, что решение задачи (1)–(4) единственно при выполнении условий (5)–(9) теоремы. Для этого при d(x) = 0 покажем, что интеграл kumykova32.wmf не может быть отрицательным.

Действительно,

kumykova33.wmf

Используя методику, примененную в работах [5, 7], получим при y < 0

kumykova34.wmf (13)

Очевидно I* ≥ 0, если kumykova35.wmf kumykova36.wmf γ1(x) ≥ 0. Таким образом, при выполнении условий (8)–(9) теоремы единственности I* ≥ 0.

Далее перейдём в уравнении (1) к пределу при y → +0. Будем иметь

kumykova37.wmf (14)

Выражая kumykova38.wmf из (14), находим

kumykova39.wmf

где

kumykova40.wmf kumykova41.wmf kumykova42.wmf

Или, что то же самое

kumykova43.wmf

Отсюда, интегрируя по частям, нетрудно получить

kumykova44.wmf

При выполнении условий (5)–(7) теоремы I* ≤ 0 при условиях (8), (9) I* ≥ 0. Следовательно, можно заключить, что I* = 0. Таким образом, левая часть (13) равна нулю. Поскольку слагаемые справа неотрицательны, то они также равны нулю. В частности,

kumykova45.wmf kumykova46.wmf

Так как t2ε–1 ≥ 0, то kumykova47.wmf kumykova48.wmf для всех t ∈ (0, ∞), в частности при t = 2πk, k = 0, 1, 2, …

При этих значениях t функции sin tξ, cos tξ образуют полную ортогональную систему функций в L2. Следовательно, v(ξ) = 0 почти всюду, а так как ν(x) непрерывно по условию, то v(ξ) = 0 всюду. Отсюда легко заключить, что ν(x) = 0 и при d(x) = 0 из (11) имеем τ(x) = 0. Таким образом, U(x, y) ≡ 0 в Ω2 как решение задачи Коши с нулевыми данными, а в Ω1 как решение задачи (1)–(3) с нулевыми данными. Единственность решения задачи (1)–(4) при выполнении условий теоремы доказана.

Для доказательства существования решения задачи трижды проинтегрируем от 0 до x равенство (14). Получим

kumykova49.wmf (15)

Таким образом, соотношения между τ(x) и ν(x), принесённые из областей Ω1 и Ω2, имеют соответственно вид (15) и (12). Подставим τ(x) из (12) в (15). Получим

kumykova50.wmf

Последнее в результате преобразований примет вид

kumykova51.wmf (16)

где kumykova52.wmf

kumykova53.wmf

kumykova54.wmf

kumykova55.wmf

kumykova56.wmf

Уравнение (16) при γ1(x) ≠ 0 есть интегральное уравнение Фредгольма второго рода, первая часть которого kumykova57.wmf а ядро kumykova58.wmf при x ≠ t, а при x = t допускает оценку kumykova59.wmf где O(1) – ограниченная величина. Безусловная разрешимость уравнения (16) в требуемом классе функций заключается из единственности решения задачи. Решение уравнения (16) может быть найдено по формуле

kumykova60.wmf

где К(x, t) – резольвента ядра K(x, t).