Об одной обратной задаче для квазилинейного уравнения эллиптического типа Текст научной статьи по специальности «Математика»

МАТЕМАТИКА

УДК 517.946

ОБ ОДНОЙ ОБРАТНОЙ ЗАДАЧЕ ДЛЯ КВАЗИЛИНЕЙНОГО УРАВНЕНИЯ ЭЛЛИПТИЧЕСКОГО ТИПА

Р.А. Алиев

Азербайджанский университет кооперации, Баку, кафедра информатики E-mail: ramizaliyev1 @mail.ru

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

Ключевые слова: обратная задача, регуляризирующий алгоритм, квазилинейное уравнение эллиптического типа.

An Inverse Problem for Quasilinear Elliptic Equations

R.A. Aliev

Azerbaijan University of Cooperation, Baku, Chair of Computer Science E-mail: ramizaliyev1 @mail.ru

The article examines incorrect return problems in the defining unknown factors in the quasilinear elliptic equation. Theorems of existence, uniqueness and stability have been proved. The consecutive approach method is used for the construction of the regulating algorithm for defining several factors.

Keywords: return problem, regulating algorithm, quasilinear elliptic equation.

1. ПОСТАНОВКА ЗАДАЧИ

Обратные задачи для квазилинейных уравнений эллиптического типа рассмотрены в работах [1,2]. Пусть D — ограниченная область n-мерного евклидова пространства En, x = (xi, x2, ..., xn) — произвольная точка области D, Г — граница области D, предполагаемая достаточно гладкой, p0 , p1 — заданные числа, Q = [p0, p1 ].

Рассмотрим задачу об определении {kn(u), q(u), u(x, p)} из следующих условий:

2_\ki(u)uXiXi + q(u)u = h(x, p), x e D, p e Q,

i=1

u(x, p) |r = f(£, p), £ e Г, p e Q, kn (Fi) uv (£1, p) = gi(p), p e Q, kn (F2) uv (£2, p) = q (F2) 0(p) + 02 (p), p e Q,

(1)

(2)

(3)

(4)

где , i = 1, 2 — фиксированные точки границы Г, Fi = Fi(p) = = f (£i,p), i = 1, 2, h(x, p), 0(p), f (£,p), gi(p), i = 1, 2, ki(u), i =1, 2, ..., n — 1, — заданные функции, 0 < ki(u) e Lip [R1, R2], i = 1, 2, ..., n — 1, gi(p) e Lip(Q), i = 1, 2, 0(p) e Lip(Q), h(x, p), f (£, p) при любом p e Q принадлежат соответственно пространствам

Cа (D, C2+а(Г), v — направление внутренней нормали к границе в точке С, i = 1, 2, uv (Сг, p) — — du (С, p), i = 1, 2, 0 < a < 1, Ri, R2 — некоторые числа, Lip (Q) — пространство функций, удовлетворяющих условию Липщица. Предположим, что функции Fj(p), i = 1, 2 имеют обратные Фг (Fj), i = 1, 2, определенные на [Ri, R2] в области значения на Q и принадлежащие Lip(Q).

При совпадении коэффициентов kj(u), i = 1, 2, ..., n постановка задачи совпадает с постановкой задачи работы [1]. В работе получена корректность более широкого класса обратных задач.

Определение 1. Функции {kn(u), q(u), u(x, p)} назовем решением задачи (1)-(4), если 0 < kn(u), q(u) е C [R1, R2], u(x, p) e C (DxQ), функция u(x, p) при любом p принадлежит C2(D), существуют пределы lim uv(x, p), i = 1, 2 и удовлетворяются соотношения (1)-(4).

2. ЕДИНСТВЕННОСТЬ И УСТОЙЧИВОСТЬ РЕШЕНИЯ

Пусть кроме задачи (1)-(4) задана еще задача (1)-(4), где все функции, входящие в (1)-(4), заменены соответствующими функциями с чертой. Положим Z(x, p) = u(x, p) — u(x, p), A(u) = £„(u) — kn(u), ^(u) = q(u) — q(u), öi(x, p) = h(x, p) — h(x, p), Ö2(C, p) = 7(С, p^— f (С, p),

ö(i) (u) = k^(u) — fei ^ i = 1, 2, . . ., n— 1, ¿4(p) = gi(p) — gl^ ¿5(p) = g2(p) — ^(p^ ¿6(p) = 0(p) — 0(p)-

Через <52(x, p), /(x, p) обозначим функции на границе Г, совпадающие соответственно с ö2(C,p), 7(С, p) и при любом p принадлежащие C2+а(D).

Определение 2. Если для произвольного е > 0 можно указать такое ö = ö(e) > 0, что при выполнении условий

||51 (x> P)IIc(D*Q) < 5 mpax ¿2 (x, p) C2 < 4î)(u)

max |5i(p)| <5, i = 4, 5, 6, (5)

p

выполняются неравенства |Z(x, p)| < e, |A(u)| < e, |^(u)| < e при x e D, p e Q, тогда скажем, что решение задачи (1)-(4) устойчиво.

Единственность решения обратной задачи (1)-(4) в предположении его существования устанавливает теорема 1.

Теорема 1. Пусть g1(p) = 0, ф(р) = 0, N mes D < 1. Тогда решение задачи (1)-(4) единственно и устойчиво. N — положительное постоянное, зависящее от данных и решений задачи.

Доказательство. Из (1)-(4) соответственно вычтем (1)-(4) и положим Z1(x, p) = Z (x, p) — — 52(x, p).Тогда получим

<5, i = 1, 2, ..., n - 1,

C[Ri, Д2]

n

(u) Zi XiXi + q (u) Zi = ¿7(x, p) + ^ «j(x, p) [ki (u) - ki(u)] + i=1 i=1

+в(х, p) [g (u) - g(u)] + «n(x, p)A(u) + в(х, p)^(u), (6)

Zi(x,p)|r =0, (7)

A (Fi) = 5s(p) - [kn (Fi) - kn (Fi)] x uv (Ci, p) + Yi (p)Ziv (Ci, p), (8)

M (F2) = 5g(p)+ [kn (F2) - kn (F2)] x [0(p)]-i + [g (F2) - q (F2)] + Y2(p)Ziv (C2, p) + Y2(p)A (F2), (9)

n-i (i)

где a (x,p) = uXi Xi, i = 1, 2, ...,n, в (x, p) = -u, 57(x, p) = 5i (x, p) + ^ a (x, p)53 [u(x, p)] +

i=i

-i T ) ri/ M-1

+ Е к (и) ¿2*;*; (х, р) - д (и) ¿2(х, р), 71 (р) = -кп 0 й (С1, р)] , 72(р) = кп (^г)

г=1

7э(р) = ^ (С2, р) [Ф(р)]-1, ¿8(р) = [¿4(р) - кп ^ (С1, р)] К (С1, р)]-1 , ¿9(р) = [ - ^ ¿5(р) -

- ¿б(р)+ кп (С2,р)] [ф(р)]-1.

При помощи функции Грина [3] из (6), (7) определим функцию (х, р) через правую часть равенства

г. п

(X, р) = С(Х, ¿7(А, р) + ^ О!г(0, р) [кг (й) - кг (и)] + в(#, р)[?(й) - ?(и)] +

D

n

+ап(0, p^(u) + в(0,p)Mu)}(10) Это выражение подставим в условие (8) и (9). Тогда получим

Л(^х) = ô8(p) - [kn(Fi) - fcn(Fi)] x uv(Ci, p) + 7i(p^y |;G(Ci, 0){ôr(0, p)+

D

n

+ ai(0, p)[ki(u) - ki(u)] + в(0, p)[â(û) - g(u)] + «n(0, р)Л(и) + в(0, p)^(u)}d0,

i = 1

^(F2) = ¿9(p) + [^(FO - kn(F2)] x [ф(р)]-1 + [g(F2) - g(F2)] + 72(p) J |-G(C2, 0){ô7(0, p)+

D

n

+ J] «i(0, p)[ki(u) - ki (u)] + в (0, p)[g(u) - g(u)] + an(0, р)Л(и) + в (0, p)Mu)} d0 + 7з(p)Л(F2 ). (11)

i=i

Положим x = max |Z1(x, p)| +max |Л(и)| +max |^(u)|. Тогда из (10) и из системы (11) следует, что

x, p u u

|Zi(x, p)| < ¿10(p)+ xj G(x, 0)d0, |Л (Fi)|< ôn(p) + xj Ki (Ci, 0) d0,

D D

(F2)|< ¿12 (p)+ xj K2 (C2, 0) d0 + | Y3 (p) | |Л (F2 )| . (12)

D

Здесь ôi(p), i = 10, 11, 12, — функции, стремящиеся к нулю при условиях (5).

Функция Грина и полученные из оценок производных функций Грина функции Ki (Ci, 0), i = 1, 2, имеют следующую оценку [3]:

|G(x, 0)|< Mi |x - 0|2-n , Mi > 0, |Ki (Ci, 0)|< Mi+i |Ci - 0|1-n , Mi+i > 0, i = 1, 2. (13)

При достаточно малой мере D для указанных интегралов в системе (12) существуют оценки Mi [mes D] n, Mi > 0, i =4, 5, 6. Из системы (12) получим

x < ¿i3(p) + xN mes D. (14)

По условию теоремы в = N mes D < 1. Тогда для x имеем x < (1 - в)-1 ¿13(p)- Следовательно, x стремится к нулю при ô ^ 0 в условиях (5). Теорема доказана. □

3. МЕТОД ПОСЛЕДОВАТЕЛЬНЫХ ПРИБЛИЖЕНИЙ

Метод последовательных приближений для решения задачи (1)-(4) применялся по схеме

n-i

^^ " uv~y 1 uXi X ^ - k~n' ( u4"' 1 ux" X^ + uv~y 1 uv~ 1 " y= h(x, p), x e D, p

i = 1

ki (u(S)) uX^X+i1) — kns) (u(S)) uX^1 + q(S) (u(S)) u(S+1) = h(x, p), x e D, p e Q, (15)

u(S+1)(x,p)|r = Л(С, p), С e Г, p e Q, (16)

kns+1) (u(S+1)) uVS+1) (С1, Ф1 (u(S+1))) = 01 (Ф1 (u(S+1))) , (17)

knS+1) (u(S+1)) uVS+1) (С2, Ф2 (u(S+1))) = q(S+1) (u(S+1)) ф (Ф2 (u(S+1))) + 02 (Ф2 (u(S+1))) , (18)

где Фг (Fj), i = 1, 2, являются обратными соответственно к функциям Fj(p) = f (Сг, p), i = 1, 2. По схеме (15)—(18) последовательные итерации проводятся следующим образом: сперва выбираются некоторые kn0) (u(0)) > 0, q(0) (u(0)) > 0, принадлежащие Lip [R1, R2], и подставляются в уравнение (15). Далее решается задача (15), (16) и находится u(1)(x, p). По функциям uV1) (Сг, Фг (u(1))), i = 1, 2, из условий (17)-(18) находятся k^ (u(1)), q(1) (u(1)) и эти функции используются для проведения следующего шага итерации.

Теорема 2. Пусть решение задачи (1)-(4) существует и при всех S = 0, 1,..., u(S)(x, p) e e C (DxQ), u(S) (x, p) при любом p принадлежит C2(D), (u(S)) e Lip [Rb R2], q(S) (u(S)) e

e Lip [Ri, R2], gi(p)uVS) (Ci,p) > 0, 0(p)uVS) (C2,p) > 0, g2(p)uVS) (6,p) < 0, N mes D < 1, производные функции u(S)(x, p) по x до второго порядка равномерно ограничены. Тогда функции |fciS) (u(S)) ,q(S) (u(S)) ,u(S)(x, p)j, полученные методом последовательных приближений, (15)-(18) при S ^ равномерно сходятся к решению задачи (1)-(4) со скоростью геометрической прогрессии. N — положительное постоянное, зависящее от данных задачи. Доказательство. Положим

Z(S)(x, p) = u(x, p) — u(S)(x, p), A(S)(u) = kn(u) — (u), (u) = q(u) — q(S)(u).

Легко проверить, что эти функции удовлетворяют системе

n n

— J]ki(u)zXfx+1) +q(u)Z(S+1) = £a(S)(x, p) [k,(u) — k (u(S))] +«nS)(x, p) [4S)(u) — 4S) (u(S))] +

i=1

г=1

(S)(x, p) [q(S)(u) — q(S) (u(S))] + anS)(x, p)A(S)(u) + в(S)(x, p)^(S)(u), (19)

Z(S+1)(x, p) r = 0, С e Г, p e Q, A(S+1) (7 )= 7iS) (p)ZVS+1) (С1, p),

(20) (21)

(72) = 72(р)^+1) (С2, р) + 73(р)А(5+1) (72), (22)

_. _ 1

где аг(5) (х, р) = иЦ^, г = 1, 2, ..., п, в(5) (х, р) = -и(5+1), (р) = кп (71) |_-и^+1) (С1, р)] ,

72(р) = кп (72) [ф(р)]-1, 735)(р) = [ф(р)]-1 (С2, р)] .

Функцией Грина из (19)-(20) определим х, р) через правую часть равенства (19).

Z(S+1) (x, p) = G(x, 0)

D

n

j>t(S)(0, p) [кг (u) — кг (u(S))] + «nS)(^, p) [knS) (u) — knS) (u(S)

г=1

+e(S) (0,p) |q(S)(u) — q(S) (u(S))l + «nS)(0, p)A(S) (u)+ в(S) (0, p)M(S)(u)

+

(23)

Подставим это выражение в условия (21) и (22). Тогда получим

A(S+1) (F1)= 7ÎS)(p) / Gv (С1,0)

5>t(S)(0,p) [ki(u) — кг (u(S))

г=1

+

+«nS)(0, p) [knS)(u) — kns) (u(S))] + e(S)(0, p) [q(S)(u) — q(S) (u(S))] +

+anS) (0, p)A(S) (u) + в(S) (0, p)^(S) (u)

d0,

M(S+1) (72) = y2S) (p) / Gv (С2, 0)

5>(S)(0, p) [fc (u) — k (u(S))

г=1

+«nS)(0, p) [knS)(u) — kns) (u(S))] + e(S)(0, p) [q(S)(u) — q(S) (u(S)

+

+anS) (0, p) A(S) (u) + в(5) (0, p)^(S) (u)

+ 7s(p)A(S+1) (72).

(24)

Положим x(S) = max |Z(S) ( x, p)| +max |A(S) (u)| +max ш(5) (u)|. Прежним путем из (23) и системы

x, p u u

(24) следует, что x(S+1) < x(S)NmesD. Таким образом, теорема доказана. □

n

n

4. СУЩЕСТВОВАНИЕ РЕШЕНИЯ

Существование решения задачи (1)-(4) доказывается для частных случаев.

1. Пусть kn(u) > 0 — заданная функция, из условий (1), (2), (4) требуется определить функции {q(u), u(x, p)}.

Теорема 3. Пусть h(x, p) = 0, f (С, p) > 0, (p) = 0, ф(р) < 0, N • mes D < 1. Тогда задача (1), (2), (4) имеет хотя бы одно решение. N — положительное число, зависящее от данных задачи.

Доказательство. Нетрудно проверить, что при всех приближениях q(u) положительно. В силу принципа максимума [3] для решения задачи (19), (20) справедлива оценка ||u(S+1) ||c(dxq) —

— Ilf Ile(rXQ), т.е. последовательность (x, p»)} равномерно ограничена. Докажем равномерную ограниченность последовательности |q(S) (u(S))}. Переносим слагаемое q(S) (u(S)) u(S+1) в правую часть уравнения (15) и с помощью функции Грина найдем выражение для u(S+1)(x, p).

u(S+1) (x, p) = J G(x, 0)

D

(u(S)) fe,e, (0, p) - q(S) (u(S)) u(S+1)

i=1

d0 + /(x, p).

Подставив это выражение в условие (18) при x = С2 получим

q(S+1) (F2) = F(S)(p) - i K(S) (С2, 0) q(S) (u(S+1)) u(S+1)(0, p)d0,

(25)

где

F(S) (p)= fcn (F2)

-1

fv (6, p) + / Gv (С2, 0)

D

Ek.

.¿=1

u(S)) fe,e, (0, p)

d0,

K(S) (С2, 0) = [0(p)j-1 kn (F2) Gv (С2, 0) .

Для K(S) (С2, 0) имеет место оценка (13).

Положим q(S) = max |q(S) (u(S)) |, R1 — u(S) — R2. Тогда из (25) при достаточно малой мере D имеем

qjS+1) — M7 + N mes D .

Здесь M7 > 0 и не зависит от S.

Обозначим в = N mes D. Учитывая, что 0 < в < 1, имеем

(S+1) ^ 1 hj , (0)

q1 — вМт + q1 .

Из этого неравенства вытекает равномерная ограниченность последовательности |q(S) (u(S)) }. Таким образом, при всех приближениях q(S)(u(S)) — непрерывная и равномерно ограниченная функция. Тогда из общей теории эллиптических уравнений следует, что при условиях теоремы последовательность {u(S)(x, p)} равномерно ограничена по норме W^(D) для всех p1 > n, p е Q. Поэтому u(S)(x, p) компактна в C1 (D. При этом из условия (18) следует, что последовательность |q(S) (u(S))} будет компактна в C [R1, R2]. Отсюда и из (15), (16) вытекает компактность |u(S)(x, p)} в C2 (D). Переходя в системе (15), (16), (18) к пределу при S ^ получим, что существует пара функций {q(u), u(x, p)} удовлетворяющая условиям задачи (1), (2), (4). Теорема доказана. □

2. Пусть q(u) — заданная функция. Обозначая y = x2 из условий (1)-(3) при n = 2 требуется определить функции {k1(u), u(x, y, p)}. В частном случае рассмотрим определение функции {k1(u), u(x, y)} в прямоугольной области:

-k1(u)uxx - k2(u)uyy + q(u)u = h(x, y), (x, y) е D, u(x, 0) = ^1(x), u(x, l2) = ^2(x), 0 — x — l1, u(0, y) = My), u (l1, y) = 02(y), 0 — y — l2, k1 (Ф1 (y)) Ux (0, y)= g1(y), 0 — y — l2,

(26)

(27)

(28) (29)

n

n

удовлетворяющей условиям <(0) = фх(0), <i (li) = Ф2(0), <2 (li) = Ф2 (I2), Ф1 (I2) = <2(0). Здесь D = {(x, y) |0 <x<1i, 0 < y < I2 }.

Аналогично схеме (15)-(18) метод последовательных приближений применяется к задаче (26)-(29). Сначала докажем следующую лемму. Лемма. Пусть задача

-a(x, y)uxx - b(x, y)uyy + u = 0, (x, y) e D, u(x, 0) = <(x), u(x, 12) = <2(x), 0 < x < 1i, u(0, У) = 0i(y), u(1i,y) = ф2(y), 0 < y < /2,

удовлетворяющая условиям <(0) = 0i(0), ^i(1i) = ф2(0), <2(1i) = ф2(/2), 0i(/2) = <2(0) при заданном a(x, y) > д0, b(x, y) > , Mo > 0, имеет решение, принадлежащее C2(D) nC(D) и n(x) < < pi (x) - <?2(x) < MI2, m(y) < Ф1 (y) - Ф2 (y) < Mli, <2 (x) > 0, Ф2 (y) > 0, <1 (0) > <1 (x) + m(0)x11"i, <2(0) > <2(x) + m(/2)x/1i, (x) > -M, i = 1, 2, фгуу(y) = 0. Тогда

-M - ф(y)(2^o)-ili < ux(0, y) < -ш(у)/1"1 , (30)

где m(y) e C2[0, 12], m''(y) > 0, M = max{max max |<ix(x)|}, max 11"i[<i(x) - <2(x)], max 1-1[Ф1(у) -

i = i, 2 x x x

- ф2 (У)].

Доказательство. Положим u(x, y) = u(x, y) + mxl-1 - ф1(у), V(x, y) = -u(x, y) + ф1 (y) -

- Mx - ф1 (у)(2д0)-1 x(/1 - x). Нетрудно проверить, что u(x, y) удовлетворяет условиям задачи

-a(x, y)uxx - b(x, y)uyy + и = -0i(y) + xm^y)/-1, u(x, 0) = <i(x) - <i(0) + xm(0)1-1, и (x, /2) = <2(x) - <2(0) + xm (/2) l 1 1, u(0, У) = 0, u (/i, У) = -ф1 (У) + m(y) + ф2(y).

Поэтому по условию леммы наибольшее положительное значение функции u(x, y) достигается при x = 0. Тогда ux(0, y) < 0, другими словами,

ux(0, y) < -m(y)1 - 1. (31)

Аналогично, прежним путем при условиях леммы следует что, наибольшее положительное значение функция V(x, y) достигает при x = 0, поэтому Vx (0, y) < 0, или

-M - ф1 (у)(2до)-11i < ux(0, y). (32)

Объединяя оценки (31) и (32), получим оценку (30). Лемма доказана. □

Теорема 4. Пусть < (x) e C2+а (0, h ) n C [0, h], ф» (y) e C2+a (0, /2) n C [0, /2], i = 1, 2, h(x, y) = 0, q(u) = 1, n(x) < <i(x) - <2(x) < M/2, m(y) < Ф1 (y) - Ф2(y) < M/i, <2(x) > 0, Ф2(y) > 0, <i(0) > <i(x) + m(0)x/11, <2(0) > <2(x) + m(/2)x/11, (0) < 0, <ix(x) > -M, i = 1, 2, ф»уу(y) = 0, g0 < -g1 (y) - 1/2ф 1 (y)/ 1, g1 (y) < 0, N mes D < 1, m(y) — такая неотрицательная функция, что g1 (y)[m(y)]- 1 ограничено, g0 — положительное число. Тогда задача (26)-(29) имеет хотя бы одно решение, N — положительное число, зависящее от данных задачи.

Доказательство. Доказательство проводится методом последовательных приближений. Из утверждения леммы следует, что

-M[1 + ф1 (y)(2g0)-1 /i] < uxs+1)(0, y) < -m(y)/11, 0 < y < /2.

Тогда

g0M11 < kiS+1)(u(S+1)) < max{-gi(y)[m(y)]-1 }h.

y

Таким образом, при всех приближениях {k(S)(u(S))} — строго положительные, непрерывные и равномерно ограниченные функции. Тогда из общей теории эллиптических уравнений следует, что при условиях теоремы последовательность {u(S)(x, y)} равномерно ограничена по норме W21 (D) для всех p1 > 2. Поэтому {u(S)(x, y)} компактна в C 1(D). При этом из условий (17) следует, что для

прямоугольной области последовательности (и(5))} будет компактна в С[Л1, Л2]. Отсюда и из (15), (16) вытекает компактность {и(5)(х, у)} в С2(^) для прямоугольной области. Переходят в системе (15)-(17) к пределу при Б ^ получим, что существует пара функций {к1 (и), и(х,у)}, удовлетворяющая условиям (26)-(29). Теорема доказана. □

Через /(х, у) обозначим функцию, совпадающую на границах прямоугольной области соответственно с функциями ^(х), фг(у), % = 1, 2, принадлежащую С2+а(-О). Функцию /(х, у) можно определить следующем образом:

/(x, у) = Vх Ф1 (у) + ^ [<Pi(x) - ^i(ü) + f^i ( ¿1 ¿2 ¿1

x +il

Ф2(у) - <fc(Ü) + f<fc (ü) l2

+

+

^2 (x) - ^2 (Ü) + — ^2 (Ü) ¿1

xy ¿12

Ф2 (¿2 )

Аналогично можно определить любой из коэффициентов к(и), % = 1, 2, ..., п — 1. Библиографический список

1. Искендеров, А.Д. Обратная задача об определении ний / М.В. Клибанов//Дифференциальные уравнения. коэффициентов квазилинейного эллиптического урав- 1984. Т. 20, № 11. С. 1947-1953.

нения / А.Д. Искендеров // Изв. АН. Аз.ССР. 1978.

№ 2. С. 80-85. 3. Миранда, К. Уравнения с частными производными

2. Клибанов, М.В. Единственность в целом обратных эллиптического типа / К. Миранда. М.: Иностр. лит., задач для одного класса дифференциальных уравне- 1957. 252 с.

УДК 517.955.8

АСИМПТОТИКА В ОКРЕСТНОСТИ ТОЧКИ ВЫРОЖДЕНИЯ РЕШЕНИЯ УРАВНЕНИЯ ТЕПЛОПРОВОДНОСТИ С СИЛЬНЫМ ВЫРОЖДЕНИЕМ

А.В. Глушко, А.Д. Баев, Д.С. Шумеева

Воронежский государственный университет, кафедра математического анализа E-mail: kuchp2@math.vsu.ru, alexsandrbaev@mail.ru, kuchp@math.vsu.ru

В работе рассматривается уравнение теплопроводности с сильным вырождением. Известно, что для таких задач не требуется задавать начальные условия при 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: kuchp2@math.vsu.ru, alexsandrbaev@mail.ru,

kuchp@math.vsu.ru

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