прямоугольной области последовательности {к^ (и(5))} будет компактна в С[Л1, Л2]. Отсюда и из (15), (16) вытекает компактность (х, у)} в С2(1) для прямоугольной области. Переходят в системе (15)-(17) к пределу при Б ^ получим, что существует пара функций {к1 (и), и(х,у)}, удовлетворяющая условиям (26)-(29). Теорема доказана. □
Через /(х, у) обозначим функцию, совпадающую на границах прямоугольной области соответственно с функциями фг(х), фг(у), Я = 1, 2, принадлежащую С2+а(I)). Функцию /(х, у) можно определить следующем образом:
/(f У) = Ф1 (У) + l±-i^ - + f ^ ( ll l2 ll
f + ll
Ф2(У) - Ф2(0) + f<fc (0) l2
+
+
^2(f) - ^2 (0) + — ^2 (0) ll
fy
Ф2 (l2 )
Аналогично можно определить любой из коэффициентов кг(и), Я = 1, 2, ..., п — 1. Библиографический список
1. Искендеров, А.Д. Обратная задача об определении ний / М.В. Клибанов//Дифференциальные уравнения. коэффициентов квазилинейного эллиптического урав- 1984. Т. 20, № 11. С. 1947-1953.
нения / А.Д. Искендеров // Изв. АН. Аз.ССР. 1978.
№ 2. С. 80-85. 3. Миранда, К. Уравнения с частными производными
2. Клибанов, М.В. Единственность в целом обратных эллиптического типа / К. Миранда. М.: Иностр. лит., задач для одного класса дифференциальных уравне- 1957. 252 с.
УДК 517.955.8
АСИМПТОТИКА В ОКРЕСТНОСТИ ТОЧКИ ВЫРОЖДЕНИЯ РЕШЕНИЯ УРАВНЕНИЯ ТЕПЛОПРОВОДНОСТИ С СИЛЬНЫМ ВЫРОЖДЕНИЕМ
А.В. Глушко, А.Д. Баев, Д.С. Шумеева
Воронежский государственный университет, кафедра математического анализа E-mail: [email protected], [email protected], [email protected]
В работе рассматривается уравнение теплопроводности с сильным вырождением. Известно, что для таких задач не требуется задавать начальные условия при t = 0, так как существует лишь единственное гладкое решение такого уравнения. В работе выделяется класс единственности решения и изучается разрешимость уравнения в пространствах непрерывных функций. Построено асимптотическое представление решения в окрестности точки вырождения, то есть выделяется главная часть решения при t ^ +0 и оцениваются остатки.
Ключевые слова: уравнение теплопроводности, сильное вырождение, асимптотика решения.
Asymptotics Around the Degeneration Spot of Heat Equation Solution with Strong Degeneration
A.V. Glushko, A.D. Baev, D.S. Shumeeva
Voronezh State University,
Chair of Mathematical Analysis
E-mail: [email protected], [email protected],
The paper deals with heat equation with strong degeneration. It is known that for such problems initial conditions are not stated at t = 0 as there exists the only smooth solution of such equation. The paper investigates a class of uniqueness of the solution and studies solvability of the problem in spaces of continuous functions. An asymptotic representation of solution around the degeneration spot is built, i.e. the main part of the solution is defined at t ^ +0 and residuals are estimated.
Key words: heat equation, strong degeneration, asymptotics of solution.
ВВЕДЕНИЕ
В работе рассматривается уравнение теплопроводности с сильным вырождением: а(£)д^Сх г) — д^(х,£) = /(х,г), х е Б3, г е (0; й).
(1)
Условие сильного вырождения налагает следующие ограничения на коэффициент а (г): а (г) е е Сп([0;й]), п е К, п > 2; при этом предполагается, что а(0) = а'(0) = ... = а(п-1)(0) = 0,
2
a(n)(0) = 0, n > 2, а(т) > 0. Задачи такого рода рассматривались многими авторами (см. обзор [1]). Известно, что для таких задач не требуется задавать начальные условия при t = 0, так как существует лишь единственное гладкое решение такого уравнения.
В связи с этим возникает вопрос: как ведет себя решение уравнения при t ^ +0? Это в свою очередь приводит к задаче о построении асимптотики решения уравнения (1) при t ^ +0.
Задача решена в несколько этапов. Во-первых, при помощи преобразования Фурье уравнение (1) сведено к обыкновенному дифференциальному уравнению с параметром, для которого построено формальное представление решения. Далее выделяется класс единственности решения и изучается разрешимость уравнения в пространствах непрерывных функций. Наконец, на заключительном этапе выделяется главная часть решения при t ^ +0 и оцениваются остатки. Введем в рассмотрение пространство С.Л. Соболева Wk(R3) с нормой
||g(x)||W1k(R3) = j Dg(x)|
H<fcR3
Перейдем к изложению основных результатов работы.
Теорема 1. Пусть для функции f (x,t) выполнено условие sup ||f (-,t)||W2(R3) < го. Тогда при
[0;d] 1
каждом t > 0 в S' (R3) существует регулярное решение уравнения (1) вида
v(x, t) =
1
3_ i(x,s)
1
f(s,t) e i
_ Г dT
J a(T)
|s|2
dids.
(2)
(2п)3 У ) а(£)
Я3 0
Если, кроме того, / (х, £) е С (И3 х [0; ¿]) и существуют
йир ||/(-,£)||ж4(Б.З) < го, эир ||хк/(- (Б.3) < ГО, к = 1, 2, 3,
[0; <!] 1 [0; ¿]
то решение (2) уравнения (1) непрерывно и равномерно по переменным (х, £) е И3 х [0; ¿]) ограничено вместе со своими производными по переменным хк, к = 1, 2,3 до второго порядка включительно. Функция а(£)непрерывна и равномерно по переменным (х, £) е Б3 х [0; ¿]) ограничена. Справедливы оценки
a(t)
dv(x, t)
dt
|v(x,t)| <
+ |(1 - Ax)v(x, t)| < С sup ||f (-,t)||w4(R3) < ГО, [0; d] 1
suP ||f(-,t)||W4(R3) +suP ||xkf(-,t)||w2(R3) [0; d] 1 [0; d] 1
1 + |х| ^
с постоянной с > 0, не зависящей от (х, £) е Б3 х [0; ¿]). Приведем главный, на наш взгляд, результат работы.
Теорема 2. Пусть функции /(х, 0) и ^Х'^ принадлежат пространству Соболева (Б3).
Пусть также существуют числа е0 > 0 и с0 = с0 (е) > 0 такие, что равномерно при 0 < £ < е0 справедливы оценки
df (x,t)
dt
Wk (R3)
< С0
df (x, 0)
dt
Wk (R3)
k e {0; 2}.
(3)
Тогда для решения (2) уравнения (1) справедливо асимптотическое представление при £ ^ +0:
1
v(x, t) = —— к J 4п
R3 R3
f (x, 0)
|x — У|
dy + R(x, t),
где остаточный член R(x, t) удовлетворяет равномерной по x e R3 оценке
|R(x,t)| < ct
llf ( 0)IIw2(R3) +
df (■, 0)
dt W2 (R3)
t
С
1. СУЩЕСТВОВАНИЕ И ЕДИНСТВЕННОСТЬ РЕШЕНИЯ УРАВНЕНИЯ ТЕПЛОПРОВОДНОСТИ С СИЛЬНЫМ ВЫРОЖДЕНИЕМ
Рассмотрим уравнение (1) с сильно вырождающимся коэффициентом а(Ь). Доказательство теоремы 1.
Вначале докажем, что функция (2) является (формальным) обобщенным решением уравнения (1). Применим к уравнению (1) преобразование Фурье а (см. [2]). В результате получим уравнение
д 'дЬ
а(£)— а Кж, Ь)] + И2 ^х—а[у(ж, Ь)] = ^х —а[/(х, Ь)].
(4)
Обозначим /($,£) = а[/(ж, Ь)]. Формально, интегрируя уравнение (4), получим
Г 1 , - Ч ату I а |2 Я—а[у(ж,Ь)]= / /Р(в,*)е ( } У ОД
0
а?.
В дальнейшем доказательство теоремы 1 существенно опирается на следующие вспомогательные леммы, которые будут сформулированы без доказательства.
Лемма 1. Решение уравнения (1) единственно в классе ограниченных, стремящихся к нулю при ж ^ го функций.
Лемма 2. Пусть функция -0(ж1 ,ж2, ж3) е (И3). Тогда для любого £ = (£1, £2, £3) е И3 справедлива оценка
212
5з (ж1,ж2 ,ж3)]| <
I£113 + 1) (Ы3 + 1) (ы3 + 1)
Н^к9 (ИЗ ).
Зафиксируем некоторое 5 > 0, которое позже будем выбирать достаточно малым, и введем в рассмотрение разбиение единицы
1 = П1(£) + П2(£), £ е [0, +го), Пк(£) е С~ ([0, +го)), к = 1,2,
/1, при 0 < £ < 5, /0, при 0 < £ < 5,
где П1(£) = ^ . ^ П2(£) = ^ ^ причем 0 < Пк(£) < 1.
10, при £ > 25, 11, при £ > 25,
(5)
Представим у(ж, Ь) в виде суммы
у(ж, Ь) = и1(ж, Ь) + У2(ж, Ь),
(6)
где
Ук(ж, Ь) =
(2п)3
Пк (|^|2) е-г(х'а) ^^к = 1, 2,
и3
И'
и(М) = 1512^х—а [У (ж, Ь)] = I /(М>
Л2
-/ I а |2
Докажем, что функция у1 (ж, Ь) и ее пространственные производные до второго порядка включительно непрерывны по переменным ж е Б3 и Ь е [0; й]. На основании представления (5) (к = 1) получим следующую оценку:
|(1 - Дх)рУ1 (ж, Ь)| =
1
(2п)3
П1 (|5|2) е-г(х'а)(1 + 1512)р^^
и3
(2п)3
(1 + |5|2 )Р
-/ ату I а |2
I а I <25
К
И'
ЙТ 2
N
а(т )
<
<
5||/(,Ь)'к2+2'(из>аУи ¿¡^
2-р< с эир ||/(- ,Ь)||^2+2р(из) < го-
[0; П]
1
г
г
г
1
а
е
Здесь р е {0; 1}. Доказательство подобных оценок для функции г>2(ж, £) может быть проведено аналогично.
Докажем убывание VI(ж, £) при |ж| ^ те. Справедливо представление
VI (ж,£)| =
1
3—г(х,в)
(2п)3
и3
__д_
П2 (И) /М)е ^
-/И2
(7)
где
д д5к
П1 (И) /М)е г ()
-/ И2
= д5к [П1 (|5|)] /(М) е г +
+П1 (151) е г
* / t -I Отт И2 / Г ¿т
а(т)
25к /М) + П1 (151) е г
/ И2 д/(М)
дзг
(8)
Оценку выражения (7) проведем в три приема, оценив отдельно различные слагаемые сомножителя подынтегрального представления, порождаемые представлением (8).
1. Изучим функцию ддг [^1 (И)] /(М)е г д
двк
- а(Т7 1512
Данная функция является финитной по переменным 5 е И3: вирр ддпт [п1 (И)] С В25(0)\В(0). Поэтому может быть проведена следующая оценка:
( /ме г
— 0(тт М:
и3 0
< Со вир ||/(-,^)||^14(И3)
д5к «(£)'
<
[0;
-;--2< СйиР ||/(- (ИЗ) < те. (9)
^(0){в(0) |5|2 (1 + 1^) [0;
-/ ото м
2. Изучим функцию п1 (151) е г ( — / ^ту 2зк ) /($,£). Справедлива оценка
3 — г(х,з)
И3
П1 (151) е
-/ а(Т7 И2
¿т а(т)
<
|
< С0 Эир ||/(-,^)||^4(И3) -
[0; ^ ^(0){в(0) И* (1 + N
2< С йиР ||/(- (ИЗ) < ГО. (10)
2\ [0; ¿]
3. Наконец, изучим функцию П1 (151) е ^
Лт Ы2 л
а(т7 д/(з,£) двк .
t * [ -г(х8) [ 1 л I\ - г а(Т7 И2 д/(М) , е г(х , 3) —^П1 (151) е г ' ¿5
И3 0
<
1
[0;вм7(0)И2 Н^) [0;
Итак, из представлений (7) и (8), оценок (9)-(11) имеем
¿5 < С 8ир ||жк/(-,^)||^12(И3) < (11)
|Жк(ж, £)| < С
Эир ||/(-(И3) +йир ||жк/(-,^)||^12(И3) [0; <!] 1 [0; ¿]
Заметим также, что, повторяя оценку (11) с формальной заменой множителя ^ на /(5,?),
получим неравенство
Ыж, < С йир ||/(- (И3) < Эир ||/(-,^)||^4(И3).
[0; <!] 1 [0; ¿]
t
t
t
t
1
Из последних двух неравенств вытекает оценка
|vi(x,t)| <
1 + |x|
Получение оценки
|V2 (x,t)| <
1 + |x|
SUP ||f(- ,t)||W4(R3) + SUP ||xkf (- ,t)||w2(R3) [0; d] [0; d]
SUP ||f (- ,t)||W4(R3) + SUp ||xkf (• ,t)||w2(R3) [0; d] 1 [0; d] 1
(12)
(13)
проводится аналогично (12) и отличается лишь в некоторых технических моментах оценки подынтегральных выражений в окрестности точки 5 = 0.
Из неравенств (12), (13) и представления (6) следует, что при всех х Е И3, £ € [0;й] для решения г>(х,£) уравнения (1) справедлива оценка
|v(x,t)| <
1 + |x|
SUP ||f(• ,t)||W4(R3) +sup ||xkf(-,t)||w2(R3) [0;d] 1 [0;d] 1
Непрерывность и равномерная ограниченность по (x,t) е R3 х [0; d] функции a(t) dv(dt't)
вытекает
из доказанной ранее непрерывности и равномерной ограниченности по (х, £) € И3 х [0; й] функции Дх г>(х, £), условия теоремы / (х, £) € С (Б3 х [0; й]) и уравнения (1). Теорема доказана.
Следствие. Из теоремы 1 и леммы 1 следует, что решение (2) уравнения (1) входит в выделенный в лемме 1 класс единственности.
2. АСИМПТОТИЧЕСКОЕ ПОВЕДЕНИЕ РЕШЕНИЯ УРАВНЕНИЯ ТЕПЛОПРОВОДНОСТИ С СИЛЬНЫМ ВЫРОЖДЕНИЕМ ПРИ £ ^ +0
Доказательство теоремы 2. В силу условий на функцию а(т), ее можно представить в виде конечного отрезка ряда Тейлора:
«(т) =
a(n)(0)
тn + 0(тn+1), 0(т n+1) =
n!
+ 1,_ «(n+1)(C)_n+1
(n + 1)!
Аналогично, для /(5,?) справедливо представление
/ (5, = /"(5,0)^-^(5,^)0 < г < от
Представим функцию и(з,£), определенную в (11), в виде
£) = и0 (5, £) + ^1(5, £),
0 < С < т.
(14)
(15)
где
u0(s,t) = e *
/ аТ) |s|2 |s|2
t t
f, 0) dt U1 (.,,)=/" e-* ^ "|2 «M df. (16)
a(f)M ' ; ' u ' ; J a(f) dt V '
0
Оценим и1 (5,£). Считаем, что £ ^ +0 и 0 < ? < £, а также учтем, что при достаточно малых £ можно считать на протяжении доказательства всей теоремы, что 0 <? < т < £<е0 < < 1, из чего (при достаточно малом е0 € (0; 1)) следует существование оценки 0 < а(т) = = ^ Т п + 0(т П+1) < 2 «^Т».
Введем обозначение а = а п!(0), тогда а(т) < |атп, откуда аТ) > 3^2^, и, следовательно, 2 < 0. Из последнего неравенства вытекает, что имеют место оценки
< --
а(т) — 3ат
t t
-1 щТ) И2 -1^Тги2__
e * < e * < e 3(n—1)c
Л
2
Г1 — n j.1 —
*
c
*
c
c
Из (17) получаем оценку функции ^1(5, г), введенной в (16).
2 |*
|и1 (м)| < у е з(п-1) о
)2 |5|2 о?п
д/М (?))
д?
М.
Заметим, что благодаря условию (3), можно записать оценку
д/(х, 0)
2\к
(1 + |5|2 )
д/МСО) < д/(х,г(*))
д? д?
< Со
Ш2к (Я3)
д?
Ш2к (Я3)
Используя замену у = £/£ и оценку (19) при к = 0, продолжим оценку (18):
|и1(М)| < Со
д/(х, 0)
дг
ш0 (Я3)
2г
з) О
е з(п—1 )&
"(у 1 — п-1) ¿1 —п
2 Ы2 , 1 —пЛ, 1 —
П—1
¿у.
Введем новую замену ф = у1 п и продолжим оценки
|^1(5,^)| < Со
д/(х, 0)
дг
2
[ е—^г1—V— (Я3) о(п - 1) 1 ф п—1
Далее проведем замену ф = 7 + 1 д/(х, 0)
|и1(в,Л)| < Со
< Со
дг
д/(5, 0)
2г |5|^
Ш0(Я3) о(п - 1)
е з(п—1)^
(1 + 7)
-¿7 <
д?
2^2 -^1—п 3(п - 1)о < 3со
д/(х, 0)
дг
о(п - 1Г 2 1512 г1-п Соответственно представлениям (11) и (15) можем записать равенство
г>(х, г) = (х, г) + (х, г), где интегралам ^о(х,£), (х,г) соответствуют представления
1 С — *(х , , 1
Й
Ш°(К3)
и>о(х,г) = (2П)3 / е *(ж'в)ио(з,г) — , (х,г) = (2 )3 / е г(х,в)и1 (5, ^ .
(2п)3
Я3 Я3
Оценим выражение ^1(х,^)с использованием оценки (19) при к = 1.
к
(х, £)| =
(2^ /е—*^5
Я3
<
1
3сог Г_
(2п)3 У (1 + |5|2)
Я3
д/(х, 0)
дг
Ш2(К3)
Итак, нами доказана оценка
(х, £)| < С^
д/(х, 0)
дг
Ш^И3)
(18)
к = 0,1. (19)
(20)
(21)
Перейдем к изучению ио(з,г). Представим ио(з,г) в виде суммы ио(з,г) = иоо(з,£) + ио1 (5, , где соответственно представлению (14) функции а(?) мы обозначили:
иоо (М) =
п!
а(п)(0)
г *
е-
— 4% и2
|5|2 /(«, 0) £ ,
ио1(М) =
п!
а(п)(0)
г *
е
— / 1^12
1-
1 + ОД
|5|2 / (* 0)
г
(
2
1
2
у
2
1
г
г.
1
Оценим по модулю u01(s,t). Заметим, что справедливы неравенства
1 -
1
1+ O(i )
<
|O(i)|
11 + O(i )|
< ci.
Как и при оценке функции и1(5,г), будем использовать неравенство (17). Аналогично оценке (20) имеем оценку
с'' г
juoiM)! < c'|/(s, 0)|t < II/(■, (R3) ■
Введем обозначение и>01(х, г) = , тогда, как и ранее, при получении оценки (21)
можем записать
|w01 (x,t)| < c''t
R3
|s|2 (1 + |s|2)
ds II/(■, 0)||w2(R3) = ct II/(■, 0)|| w2 (R3) ■
(22)
Перейдем к оценке u00(s,t). Для этого рассмотрим интеграл
dr
n!
dr — +
0(т1-n )dr.
-n ,~,(n
J а(т) a(n) (0) j т" a t t
(n)(0)
Поэтому справедливо представление
-/ OTTT |s|2
dT \„ 12 - а(т) ■ ■ а
e t = e
(n)(0) J T
/TT |s|2
+
/TT ^-лПЬ/ 0(T 1-n)dr |s|
*(n)(0) l T a(n)(0)
-e
*(n)(0) J T
/TT |s|2
Введем обозначение
R(t,i = e
i(n)(0)
t
f dT
J Tn
JO(r1 —n )dr |s|2
-1
Оценим R(t,t). Справедливо очевидное интегральное тождество:
(23)
/ 0(т 1—n)dT|s|2 i
ei - 1 = |s|2 / O(T 1-n)dT / ei
t i t /• f / 0(t 1 — n)dT|s|2z
1 dz.
t
0
(24)
Ниже рассмотрим два случая степени вырождения функции а(г) в нуле: п = 2 и п > 2. Пусть п > 2. Тогда справедливо неравенство, вытекающее из тождества (24)
/ 0(т1 —n)dT|s|2
el - 1
< nJ-L (p-n - t2-n)
1 t
/ 0(t 1 —n)dT|s|2z
e1 dz
1
t
t
t
n
2
e
e
t
^ - а(П)(0) ^ TT |s|--n! -(f1 —n-t1-n)|s|2
Так как e (0) l = e (n—1)«(n)(0)( )| 1 ™
R(t,i < c'e 2(n 1)a(n)(0)
xe
2(n—1)а(п)(0) V t1
m-0 |s|2
|s|21
2 2-n
2-n
-1 |s|2-:
t2-n
-1) |s|2
-1
(25)
X
2
-t
t
2
Так как 0 < f < 1,
то
1-n
> vt
2-n
. Поэтому
n!
2(n - 1)a(n) (0) Vt1
1-n
- 1 -
n - 2 V t2-n
2-n
- 1 >
2-n
-1
n!
2(n - 1)a(n) (0) n - 2
> 0,
c
c
n
так как Ь > 0 мало, следовательно,
2(--1)а(-)(0) ( 0 ^^ ?-2 Ч ^ |а|2|
< е0 = 1.
(26)
Из неравенств (25) и (26) вытекает оценка
|Д(М)| < с'е 2(п-1)а(п)(0)
-г1-^^-1) Iа12 Ш2 Ь2 —п / ?
|5|2 Ь2
'2 —п
ь2-
- 1 .
Благодаря неравенству (27), можем записать представление
«00(5, Ь) = и°0(5, Ь) + «¿0(5, Ь),
(27)
где
иСЮ(5,Ь) =
п!
а(п)(0)
г п! * ^т [ — О-!^ 4 ^ г, , ,2 /е 4 ~Т/(5 0)
(28)
и00(5,Ь) =
п!
а(п)(0)
2(--1)а( — (0)
Д-п/ 41-- 1\ |o|2 /¿2 —П \ Л о
тт-п—^ И ,2 — п1 Ь 1 \ „ гл I _|2
Ь2 —М ¡2-й - 1 №, 0) N а?.
Проведем оценку интеграла и00 (5, Ь):
|и00(
(5,Ь)| < СЬ2 —П /"(5, 0) |5|М е 2(п-1)а(п)(0)
Л „|2 /¿2 —п
Ь2—
- 1 а?
Введем замену £ = £. Продолжим оценку
«¡им)| < сЬ2—п /-(5,0) |s| I е
2(--1)а(-) (0)
.1 — — / >1 — — 1 \ | |2 та,(0)г (5 —1)|а| (£2-п - 1) Ьй£.
Затем, заменим г = £
_ ¿1—п.
4(М)| < сЬ3 —п /-(5, 0) 151
п - 1
---г-— г1-п(2—1)Ы2 / — --2— — ,
е 2(--1)а(-)(0) 4 " [г --1 --1 - г --1 йг.
Заметим, что г --1 --1 - г --1 = г 2 - г --1 = г 2 - г 1 --1. Проведем еще одну замену у = г - 1, тогда
00
(5,Ь)| < сЬ3 — п /-(5, 0) 151
п - 1
2(--1)а(-) (0)
г1--уИ2
+ 1)—2 - (у + 1)"1"^
1
Так как при п > 2, у > 0, справедлива оценка неравенство
(у + 1)— 2 - (у + 1)—1—^
< 1 + 1 = 2, то верно
00
М)|< 0)
4а(п) (0) п!Ь1—п 1512
= С3 Ь2
С3 Ь
/(5 0) < II/(■, 0)И^2(из) .
^00(ж,Ь) = ^а—°х [«00 (5,Ь) N
2
Введем обозначение
На основании неравенства (29) можем оценить функцию (30) следующим образом:
1
К0(ж,Ь)| < с3Ь
Ж II/(■, 0)|^2(К3) = с''Ь2 II/(., 0)|^2(К3).
из
|5|2 (1 + |5|2)
(29)
(30)
(31)
1-п
г
е
г
е
г
1-п
г
1
2
1
2
1
е
2
1
Нам осталось получить точную асимптотику при £ ^ +0 функции и°0(з,£). Имеет место вытекающее из (28) представление
и00(М) =
П!
¿п) (0)
е (п-1)а(п)(0)
^1^|2 -
п+и[) />, 0) и2 ^
(32)
Произведем в (32) замену £ = Получим
и00(5,£) =
П!
а(п)(0)
(п-1)а(п)(0)
г1-п (гта+1 -1)|в|= -
£-п+1С-п/(^, 0) И2
Далее, введем замену г = £ П+1, тогда
иСЮ(з,£) =
П!
(п - 1)а(п)(0)
(п-1)а(п) (0)
г'~<-1)1-1"(-.+1/(,1 0) |8|2 ^
Затем следует замена у = г — 1.
исю М) =
п!£-п+1 /(з, 0) |з|2 (п — 1)а(п) (0) (п — 1)а(п) (0) п!£1-п |з|2
= / (з 0).
Далее, для (х, £) = Fa^.x [""^р'^] получим
^Ю(х,£) =
(2п)3
'в-г(Х'а) & = — 1
Я3
И2
_ / (х, 0) 4п У |х — у|
Я3
¿у.
Из (21), (22), (31) и (33) получаем, что для решения уравнения (1)
-и(х, £) = ад1(х, £) + и>01(х, £) + (х, £) + эд^(х, £) справедливо асимптотическое представление:
-и(х, £) = —
/(х, 0)
4п У У |х — у|
Я3 Я3
¿у + Л(х, £),
где |Я(х,£)| < с£
II/(■, 0)У^? (Я3) +
91 (■ ,0) аг
(33)
Таким образом, в случае п > 2 утверждение
Ж2 (Я3)
теоремы доказано полностью.
Рассмотрим случай п = 2. В этом случае изменения коснутся лишь исследования функции и00(з, £) и построенной на основе ее прообраза Фурье функции ^ Ц00а(|2'. Именно в момент рассмотрения
этой функции мы разделили доказательство на два различных случая. Оценим выражение
/0(т-1) ¿т |а|2 в" — 1
£
а'' (0) / |а|2 __2_ | а | 2
1 *
< |з|2 С I Т-1^Г
|а|2(I -1)
/0(т-1) ^т |а|2г
в" ¿г
= Ы2 с 1п £
1 1 г
1 *
/0(т-1) ^т |а|2*
в" ¿г
„7"2(0) / 72 1 а 12 - 2 | а 12 ( 1 - I )
Так как в " = в а"(0) 4), то для величины Л(£,£), введенной в (23), справедлива
следующая оценка:
|дсм)1 < св-^|а|2г 1 ("-1) и21п г
;с0|а|2[-г-1 (|-1)+с' 1п Н ^
г
г
г
в
в
1
г
Введем в рассмотрение вспомогательную функцию f (£) = | + c'ln£z, причем будем считать, что £ > 0 — достаточно мало. Тогда f'(£) = —+ c'| z = -1+2c . Так как £ > 0 мало, то будем считать, что £ < CL, тогда для 0 < z < 1: —1 + c'£z < 0, тогда f(£) — монотонно убывающая функция. Рассмотрим выражение
—t-1 Q — l) + c' ln íz = Q + c'zlntj — ( 1 + c'zlní) = f(t) — f(f).
Так как t > то f (t) < f (f), следовательно, —t-1 (| — l) + c' ln |z < 0. Отсюда имеем eCo|s| [-t (f-l)+c i»tz] < i. с учетом последнего неравенства продолжим оценку |R(t, f)|. Получим аналог оценки (27).
|R(t,f)1 < ce-^|s|2í-1(^-1) |s|2 lnt/í. Как и для случая n > 2 функцию uoo (s, t) представим в виде суммы
uoo (s, t) = u0o (s, t) + u^ (s, t),
где
t t
uoo(s't) = J^Je-^ ' íi" f 0) |s|2, (34)
o
t
4o(s,t) = -2-jJ e-[|-1] |s|2 ln fs, 0) |s|2 (35)
o
Совершив в (35) замену £ = |, оценим u^ (s,t):
,2 1 r
-1 - 1 1 1 I „|2
|uoo(s,t)|< f^/e-o-Wt-1 [r'-1]W2 (— ln£) td£.
Далее проведем замену z = 1, тогда
2
| 1/ 2tf (s, 0) |s| f - 1 t-1 [z-1] |s|2 dz
|июМ < ^''(0) J e " (0) lnZZ2.
1
Затем следует замена y = z — 1. Получаем неравенство
I 1/ ,\| - 2г/0) И [ — -т^г—1 у И2! ( , п ¿У
|иоо(5,г)| < ^''(0) У е " (0) 1П(У + 1) (УЛ7■ (36)
Рассмотрим вспомогательную функцию /(у) = 1(У'?++)12), У £ [0, Функция /(у) непрерывна и
/(у) ^ +0, при у ^ Поэтому /(у) ограничена, то есть существует к > 0 такое, что справедлива оценка |/(у)| < |а''(0). Продолжим оценку (36):
" .1_t-1y isi2
uoo(s,t)| < ktf(s,0) |s|2 / e-^^ 1y|s|"dy < j^t2/(s,0). (37)
o
На основании оценки (37) для функции г>°о(х, г) = [^^тр1^], как и в случае п > 2, получаем
неравенство
|v01o(x,t)| < feat^ 2 (1 + |s|2) ds ||f (■, 0)|| = k4t2 ||f(■,0)|| W2 (R3) .
(38)
R3 |s| (1 + |s| )
Получим, наконец, точную асимптотику при £ ^ +0 функции и°0(5,£). Имеем из (34)
uoo (s,t) =
а'' (0)
/ , N -2
2Н" ( t -l) I / t\ , / t \ ^ , |2
e a''(0) t ( t 1) t-1 ' 1 J ' I £ f ~ ri\ I .I2
ty d(i)/(s,0) К
Далее проводим те же замены, что и в предыдущей оценке.
u°o(s,t) =
ОЧ^У e--VW(.. 0)|s|2 = |s|2 ^ = Л- 0). (39)
Из (39) для функции v0o (x, t) = F,
_ 17-1 fUooiSli)
^ следует представление
voo(x,t) =
(2n)3
'e-i(«,-)/Ml ds = - 1
R3
|s|2
_ / (x, 0)
4n J |x - y|
R3
(40)
Представление (40), оценка (38) завершают необходимые в случае п = 2 выкладки, отличающие этот случай от случая п > 2. Теорема доказана.
Библиографический список
1. Глушко, В.П. Вырождающиеся эллиптические урав- науки и техн. Сер. Мат. анализ. 1985. Т. 23. С. 125-218.
2. Владимиров, В.С. Уравнения математической физи-
нения высокого порядка: пространства, операторы, граничные задачи / В.П. Глушко, Ю.Б. Савченко // Итоги
ки / В.С. Владимиров. М.: Наука, 1976. 527 с.
УДК 501.1
ОБ ОПЕРАТОРЕ ПРЕОБРАЗОВАНИЯ ДЛЯ СИСТЕМЫ УРАВНЕНИЙ ДИРАКА С СУММИРУЕМЫМИ ПОТЕНЦИАЛАМИ
И.М. Гусейнов1, А.Р. Лятифова2
1 Бакинский государственный университет, кафедра прикладной математики; 2Институт математики и механики НАН Азербайджана, Баку, отдел функционального анализа E-mail: [email protected], [email protected]
В работе доказано существование оператора преобразования для оператора Дирака с суммируемыми потенциалами и найдена связь потенциала и ядра оператора преобразования в данном случае.
Ключевые слова: оператор преобразования, оператор Дирака.
On Transformation Operator for the System of Dirac Equations with Summable Potentials
H.M. Huseynov1, A.R. Latifova2
1 Baku State University,
Chair of Applied Mathematics;
2 Institute of Mathematics and Mechanics of NAS of Azerbaijan, Baku, Functional Analysis Department
E-mail: [email protected], [email protected]
The paper proves the existence of the transformation operator for summable functions and finds the analogy of the formula for the potential with the transformation operator in the given case.
Keywords: transformation operator, Dirac operator.
ВВЕДЕНИЕ
Рассмотрим граничную задачу, порожденную системой уравнений Дирака
,dy
и граничными условиями
B-f- + Q(x)y = Ay, x e (0,1), dx
yi (0) = yi (1) = 0.
(1)
(2)
/ p(x) q(x) \ / yi
Здесь A — спектральный параметр, B = , Q(x) = , y =
V-1 0) \q(x) -p(x)/ \y2,
вещественно значные функции.
p(x) и q(x) —
t
2
1