close

Вход

Забыли?

вход по аккаунту

?

Об одном методе решения задачи Коши для дифференциальных уравнений в частных производных четвертого порядка.

код для вставкиСкачать
Приволжский научный вестник
ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
УДК 513.83
А.Б. Байзаков
д-р физ.-мат. наук, главный научный сотрудник,
Институт теоретической и прикладной математики,
Национальная академия наук Кыргызской Республики,
г. Бишкек,
E-mail: asan_baizakov@mail.ru
К.А. Айтбаев
научный сотрудник,
Институт теоретической и прикладной математики,
Национальная академия наук Кыргызской Республики,
г. Бишкек,
E-mail: aka_79@mail.ru
ОБ ОДНОМ МЕТОДЕ РЕШЕНИЯ ЗАДАЧИ КОШИ ДЛЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ
В ЧАСТНЫХ ПРОИЗВОДНЫХ ЧЕТВЕРТОГО ПОРЯДКА
Аннотация. Исследована разрешимость решений задачи Коши и ее структура для нелинейных дифференциальных уравнений в частных производных четвертого порядка, и развит аналитический метод построения
этих решений.
Ключевые слова: дифференциальные уравнения в частных производных, задача Коши, принцип сжатых отображений, условие Липшица, интегральное уравнение Вольтерра.
A.B. Baizakov, National Academy of Sciences of the Kyrgyz Republic, Bishkek
K.A. Aitbaev, National Academy of Sciences of the Kyrgyz Republic, Bishkek
A METHOD FOR SOLVING THE CAUCHY PROBLEM FOR DIFFERENTIAL EQUATIONS IN PARTIAL
DERIVATIVES OF THE FOURTH ORDER
Abstract. Solvability of the Cauchy problem solutions and its structure for nonlinear differential equations in
partial derivatives of the fourth order, and developed an analytical method for constructing these solutions.
Keywords: differential equations in partial derivatives, Cauchy problem, the principle of contraction mapping,
Lipschitz condition, Volterra integral equation.
В работе исследована разрешимость решений задачи Коши и ее структура для нелинейных дифференциальных уравнений в частных производных четвертого порядка и развит
аналитический метод построения этих решений, предложенный в [1; 2]. Сутью предложенного
метода является преобразование решений исходной задачи Коши к эквивалентному ей интегральному уравнению Вольтерра с целью применения принципа сжатых отображений.
Рассмотрим ИДУ в ЧП четвертого порядка:
utttx ( t , x ) + uttt ( t , x ) + a ( t , x ) utt ( t , x ) + b ( t , x ) ut ( t , x ) + m(t , x ) u x ( t , x ) +
+ n ( t , x ) u(t , x ) = f (t , x, u(t , x ), ut (t , x ), u x (t , x ), utt (t , x ))
(1)
с начальными условиями:
u (0, x ) = ϕ ( x )
,
ut (0, x ) = ψ ( x )
(2)
,
(3)
utt (0, x ) = γ ( x )
.
(4)
Предположение (А). Пусть
1) a ( t , x ) , b ( t , x ) , m ( t , x ) , n ( t , x ) ∈ G1 , G1 ≡ C ([0,T ] × R ) , T > 0 ;
(
)
2) f (t , x, u,v ,ω,ψ ) ∈ G2 ∩ Lip L u , L u , L u , L u ,G2 ≡ C ( [0,T ] × R × R × R × R × R ) ,
№ 1 (53) – 2016
t
x
tt
5
Приволжский научный вестник
φ ( x ),ψ ( x ), γ ( x ) ∈ C (1) (R ), M ≡ max f (t , x, u,v ,w ) .
G2
Решение начальной задачи (1),(2)–(4) будем искать в виде:
t x
u (t , x ) = c ( t , x ) + ∫
∫ K ( t − s, x − ν ) Q(s,ν )dν ds ,
(5)
0 −∞
где
c(t , x ) ∈ C (2,1) ([0,T ] × R )
c(0, x ) = ϕ ( x ) ,
– известная функция, такая, что
ct (0, x ) = ψ ( x ) ;
ctt (0, x ) = γ ( x ), K (t , s ) – некоторая известная функция; Q(t , x ) – новая неизвестная функция, подлежащая определению. В частности, можно считать, что
K ( t , x ) = t 2 e −α t − x ,
(6)
где α > 0 – параметр.
Далее в работе будем предполагать, что все рассмотренные несобственные интегралы
– сходящиеся. Для определения функции Q(t , x ) необходимо подставить (5) в уравнение (1).
С этой целью из (5) последовательно находим нижеследующие соотношения:
x
∫ K (0, x − ν )Q(t,ν )dν +
u t ( t , x ) = c t (t , x ) +
−∞
t x
∫ ∫ K (t − s, x − ν )Q(s,ν )dν ds ;
(7)
t
0 −∞
x
∫ K (0, x − ν )Q (t,ν )dν +
utt (t , x ) = ctt (t , x ) +
t
−∞
x
t x
−∞
0 −∞
+ ∫ K t (0, x − ν )Q(t ,ν )dν + ∫
∫K
(8)
tt
(t − s, x − ν )Q(s,ν )dν ds;
x
uttt (t , x ) = cttt (t , x ) +
∫ K (0, x − ν )Q (t,ν )dν +
tt
−∞
x
+ ∫ K t (0, x − ν )Qt (t ,ν )dν +
−∞
x
t x
−∞
0 −∞
∫ Ktt (0, x − ν )Q(t,ν )dν + ∫
x
utttx (t , x ) = ctttx (t , x ) + K (0,0)Qtt (t , x ) +
∫K
x
∫K
ttt
(t − s, x − ν )Q(s,ν )dν ds;
(0, x − ν )Qt (t ,ν )dν +
−∞
x
∫K
+K t (0,0)Qt (t , x ) +
tx
(9)
(0, x − ν )Qt (t ,ν )dν +
−∞
x
t
−∞
0
∫ Kttx (0, x − ν )Q(t,ν )dν + ∫ Kttt (t − s,0)Q(s, x )ds +
+K tt (0,0)Q(t , x ) +
t x
+∫
∫
K tttx (t − s, x − ν )Q(s,ν )dsdν ;
0 −∞
t
t x
0
0 −∞
u x (t , x ) = c x (t , x ) + ∫ K (t − s,0)Q(s, x )ds + ∫
∫K
x
(t − s, x − ν )Q(s,ν )dsdν .
(10)
Выберем K (t , x ) так, чтобы выполнялись еще следующие соотношения:
K (0, x ) = 0, K t (0, x ) = 0, K tt (0,0) ≠ 0;
(111)
K (0, x ) + K x (0, x ) ≡ 0; K t (t , x ) + K tx (t , x ) ≡ 0;
(112)
K tt (t , x ) + K ttx (t , x ) ≡ 0; K ttt (t , x ) + K tttx (t , x ) ≡ 0.
(113)
Вышеуказанная функция (6) подтверждает существование такой функции. В самом деле, справедливость выполнения (111) очевидна. Находим
(
)
(t , x ) = ( 2 − 4α t + α t ) e
(
)
K t (t , x ) = 2t − α t 2 e −α t − x ; K tx (t , x ) = − 2t − α t 2 e −α t − x ;
K tt
6
2 2
−α t − x
(
)
; K ttx (t , x ) = − 2 − 4α t + α 2 t 2 e −α t − x ;
№ 1 (53) – 2016
Приволжский научный вестник
(
)
K ttt (t , x ) = −6α + 6α 2 t − α 3 t 2 e −α t − x .
Отсюда видно, что выполняются и соотношения (112), (11 3).
Умножая обе части выражения (8), (7), (10), (5) соответственно на функции a ( t , x ) ,
b ( t , x ) , m ( t , x ) , n ( t , x ) и складывая полученные соотношения с соотношениями (8), (9) почленно, с учетом (11i) (i=1,2,3), имеем:
utttx + uttt + a(t , x )utt + b(t , x )ut + m(t , x )u x + n ( t , x ) u = K tt (0,0)Q(t , x ) +
t x
+∫
∫ [a(t, x )K
tt
(t − s, x − ν ) + b(t , x )K t (t − s, x − ν ) +
0 −∞
(12)
+ m(t , x )K x (t − s, x − ν ) + n(t , x )K (t − s, x − ν )]Q(s,ν )dν ds +
t
+ ∫ [K ttt (t − s,0) + m(t , x )K (t − s,0)]Q(s, x )ds + H ( t , c(t , x )) = f ( t , x, u, ut , u x , utt ) ,
0
где
H (t , c(t , x )) = ctttx ( t , x ) + cttt ( t , x ) + a ( t , x ) ctt ( t , x ) + b ( t , x ) ct ( t , x ) +
+m ( t, x ) cx ( t, x ) + n ( t, x ) c ( t, x ) .
Из равенства (12), учитывая (5), (7)–(9), получаем интегральное уравнение вида:
Q( t , x ) =
t x
1
 
f t , x, c(t , x ) + ∫ ∫ K (t − s, x − ν )Q(s,ν )dν ds, ct (t , x ) +
K tt (0,0)  
0 −∞
x
t x
−∞
0 −∞
+ ∫ K (0, s − ν )Q(t , x )dν + ∫
t x
+∫
∫K
0 −∞
0
t x
x
(t − s, x − ν )Q(s,ν )dν ds, ctt (t , x ) + ∫
∫K
0 −∞
t x
+∫
t
∫ Kt (t − s, x − ν )Q(s,ν )dν ds, cx (t, x ) + ∫ K (t − s,0)Q(s, x )ds +
∫ [a(t, x )K
tt
tt

(t − s, x − ν )Q(s,ν )dν ds  −

(13)
(t − s, x − ν ) + b(t , x )K t (t − s, x − ν ) +
0 −∞
+ m(t , x )K x (t − s, x − ν ) + n(t , x )K (t − s, x − ν )]Q(s,ν )dν ds +
t

− ∫ [K ttt (t − s,0) + m(t , x )K (t − s,0)]Q(s, x )ds − H ( t , c(t , x ) )  ≡ PQ.

0
Нелинейное интегральное уравнение Вольтерра (13) будем решать принципом сжатых отображений. Правую часть (13) рассмотрим как оператор PQ , действующий на функцию Q(t , x ).
{
}
Пусть Q = Q ( t , x ) : Q ( t , x ) ∈ C ([ 0,T0 ] × R ) ∩ Q ( t , x ) ≤ h ,
где h – некоторое положительное число, которое определяется позже.
Из (13), учитывая предположение (А), имеем оценку:
PQ ≤
M
q
+
h = const ,
K tt (0,0) K tt (0,0)
где M ≡ M + max H ( t , c(t , x )) .
G1
t x
q ≡ (L + N )
∫ ∫ [K
tt
(t − s, x − ν ) + K t (t − s, x − ν ) ]dν ds +
0 −∞
+
t x
t
∫
∫[ K
∫ [ K x (t − s, x − ν ) + K (t − s, x − ν ) ]dν ds +
0 −∞
{
ttt
(t − s,0) + K (t − s,0) ]ds ,
(14)
0
}
N ≡ max a ( t , x ) , b ( t , x ) , m ( t , x ) , n ( t , x ) ,1 .
G1
№ 1 (53) – 2016
7
Приволжский научный вестник
Наложим на функцию K ( t − s, x − ν ) и T0 ≤ T еще одно дополнительное условие:
−1
K tt (0,0) q < 1, t ∈ [0,T0 ] .
(15)
В силу (15) можно выбрать h так, чтобы выполнялось соотношение:
M ⋅ K tt (0,0)
−1
−1
+ q ⋅ K tt (0,0) h ≤ h .
При таком выборе h оператор PQ : Q → Q.
Используя предположение (A), оценим разность:
t x
−1 
 
PQ1 − PQ2 ≤ K tt (0,0) L  ∫ ∫ K tt (t − s, x − ν ) + K t (t − s, x − ν ) dν ds +
  0 −∞
t x
+
∫
∫ [ K x (t − s, x − ν ) + K (t − s, x − ν ) ]dν ds +
0 −∞
t

0

∫ K (t − s,0) ds  +
16)

+N  ∫ ∫ K tt (t − s, x − ν ) + K t (t − s, x − ν ) dν ds +
 0 −∞
t x
t
 
[
K
(
t
s
,
x
)
K
(
t
s
,
x
)
]
d
ds
Q1 − Q2 .
−
−
+
−
−
+
ν
ν
ν
∫0 −∞∫ x
∫0 [ K ttt (t − s,0) + K (t − s,0) ]ds 
 
t x
+
В частности, проверим выполнимость условия (15) для функции (6). Из (14) имеем оценку для q:
t x

(2 + 4α ( t − s ) + α 2 ( t − s )2  + [ 2 ( t − s ) + α ( t − s )2  + 2 ( t − s )2  e −α (t − s ) −( x −ν )  dν ds +
L
+
N
(
)

∫
∫






0 −∞
t

2
−α t − s
+ ∫ [ 6 α + 6α 2 ( t − s ) + α 3 ( t − s )  e ( ) ds  .


0
x
Из последнего соотношения, производя оценку сверху и учитывая, что
∫e
− ( x −ν )
dν = 1 ,
−∞
получаем:

2
q ≤ (L + N )  ∫ [(2 + 6α ) + (6α 2 + 4α + 2) ( t − s ) + (α 3 + α 2 + α + 2) ( t − s ) ]ds ≤
 0
t
≤ (L + N ) [(2 + 6α )t + (6α 2 + 4α + 2)
t2
5t 3
+ (α 3 + α 2 + α + 2)
≡ B(t ,α ).
2
3
Ясно, что существуют T0 , α 0 такие, что при T0 ≤ T , α > α имеем B(T0 ,α ) < 1 .
В силу (15) и принципа сжатых отображений, из (16) следует, что нелинейное интегральное уравнение Вольтерра (13) при условии (15) имеет единственное решение Q(t , x ) ∈ Q .
Подставив найденную функцию в (5), имеем решение начальной задачи (1),(2)–(4).
Исследуем теперь дифференциальные свойства решений задачи Коши (1),(2)–(4). Для
всех Q(t , x ) ∈ Q из равенства (5) вытекает неравенство:
t x
u (t , x ) ≤ c ( t , x ) +
∫ ∫ K (t − s, x − ν )Q(s,ν )dν ds
≤ C0 + K 0 h = M0 = const ,
0 −∞
t x
где K 0 ≡
∫ ∫ K ( t − s, x − ν ) dν ds.
0 −∞
Аналогично из (7)–(10) можно доказать, что все производные, входящие в уравнение (1),
равномерно ограничены.
Теперь сформулируем полученный результат.
8
№ 1 (53) – 2016
Приволжский научный вестник
Теорема. Пусть выполнено предположение (А), (11), (15). Тогда ∀T0 такое, что задача
Коши (1),(2)–(4) имеет решение u (t , x ) ∈ C (
2,1)
( [0,T0 ] × R ) ,
которое представимо в виде (5). Кроме
того, все производные, входящие в уравнение (1), равномерно ограничены.
Список литературы:
1. Иманалиев М.И., Байзаков А.Б. О разрешимости начальной задачи для дифференциальных уравнений в частных производных третьего порядка // Вестник КНУ им. Ж. Баласагына. Сер.3. – 2010. – Т. 13, Вып. 4. – С. 13–19.
2. Imanaliev M.I., Baizakov A.B., Imanaliev T.M. Problem of Cauchy for the singularlyperturbed systems of the integro-differential equations with the turn point // Repots of the third
Congress of the World mathematical Society of Turkic countries. – Almaty, 2009. – Vol. 1. –
P. 296–301.
3. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа.
– М.: Наука, 1972. – 544 с.
№ 1 (53) – 2016
9
Документ
Категория
Без категории
Просмотров
3
Размер файла
140 Кб
Теги
решение, уравнения, дифференциальной, метод, частных, четвертое, кошик, одной, производной, задачи, порядке
1/--страниц
Пожаловаться на содержимое документа