Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею
У роботi розглядається обернена задача визначення коефiцiєнта при першiй похiднiй за просторовою змiнною невiдомої функцiї одновимiрного параболiчного рiвняння в областi, межа якої визначається двома невiдомими функцiями. Встановлено умови локального iснування та єдиностi розв’язку оберненої задачi....
Gespeichert in:
Datum: | 2014 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | Ukrainian |
Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2014
|
Schriftenreihe: | Український математичний вісник |
Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/124451 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Zitieren: | Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею / Г.А. Снітко // Український математичний вісник. — 2014. — Т. 11, № 1. — С. 109-126. — Бібліогр.: 13 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-124451 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1244512017-09-27T03:03:13Z Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею Снітко, Г.А. У роботi розглядається обернена задача визначення коефiцiєнта при першiй похiднiй за просторовою змiнною невiдомої функцiї одновимiрного параболiчного рiвняння в областi, межа якої визначається двома невiдомими функцiями. Встановлено умови локального iснування та єдиностi розв’язку оберненої задачi. 2014 Article Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею / Г.А. Снітко // Український математичний вісник. — 2014. — Т. 11, № 1. — С. 109-126. — Бібліогр.: 13 назв. — укр. 1810-3200 2010 MSC. 35R30. http://dspace.nbuv.gov.ua/handle/123456789/124451 uk Український математичний вісник Інститут прикладної математики і механіки НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Ukrainian |
description |
У роботi розглядається обернена задача визначення коефiцiєнта при першiй похiднiй за просторовою змiнною невiдомої функцiї одновимiрного параболiчного рiвняння в областi, межа якої визначається двома невiдомими функцiями. Встановлено умови локального iснування та єдиностi розв’язку оберненої задачi. |
format |
Article |
author |
Снітко, Г.А. |
spellingShingle |
Снітко, Г.А. Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею Український математичний вісник |
author_facet |
Снітко, Г.А. |
author_sort |
Снітко, Г.А. |
title |
Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею |
title_short |
Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею |
title_full |
Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею |
title_fullStr |
Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею |
title_full_unstemmed |
Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею |
title_sort |
про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею |
publisher |
Інститут прикладної математики і механіки НАН України |
publishDate |
2014 |
url |
http://dspace.nbuv.gov.ua/handle/123456789/124451 |
citation_txt |
Про одну коефіцієнтну обернену задачу для параболічного рівняння в області з вільною межею / Г.А. Снітко // Український математичний вісник. — 2014. — Т. 11, № 1. — С. 109-126. — Бібліогр.: 13 назв. — укр. |
series |
Український математичний вісник |
work_keys_str_mv |
AT snítkoga proodnukoefícíêntnuobernenuzadačudlâparabolíčnogorívnânnâvoblastízvílʹnoûmežeû |
first_indexed |
2025-07-09T01:27:08Z |
last_indexed |
2025-07-09T01:27:08Z |
_version_ |
1837130769727750144 |
fulltext |
Український математичний вiсник
Том 11 (2014), № 1, 109 – 126
Про одну коефiцiєнтну обернену задачу
для параболiчного рiвняння в областi
з вiльною межею
Галина А. Снiтко
(Представлена А. Є. Шишковим)
Анотацiя. У роботi розглядається обернена задача визначення ко-
ефiцiєнта при першiй похiднiй за просторовою змiнною невiдомої
функцiї одновимiрного параболiчного рiвняння в областi, межа якої
визначається двома невiдомими функцiями. Встановлено умови ло-
кального iснування та єдиностi розв’язку оберненої задачi.
2010 MSC. 35R30.
Ключовi слова та фрази. Обернена задача, параболiчне рiвняння,
вiльна межа, функцiя Грiна.
Вступ
На сучасному етапi розвитку теорiї обернених задач коефiцiєнтнi
оберненi задачi в областях з вiдомими межами достатньо повно вивче-
нi. Зокрема, в [1] встановлено умови глобального iснування розв’язку
оберненої задачi для рiвняння
ut = uxx + p(t)ux, x ∈ (0, 1), t > 0,
з невiдомим коефiцiєнтом p(t) та умовою перевизначення
ux(0, t) + p(t)u(0, t) = g(t), t > 0.
Дослiдження такої задачi продовжено в [2, 3]. В [2] отримано умови
локального iснування розв’язку задачi, а також умови, за яких задача
не може мати глобального розв’язку. В [3] знайдено умови локального
Стаття надiйшла в редакцiю 21.08.2012
ISSN 1810 – 3200. c© Iнститут математики НАН України
110 Про одну коефiцiєнтну обернену задачу...
за часом iснування, єдиностi та неперервної залежностi вiд вихiдних
даних розв’язку оберненої задачi з умовою перевизначення
m(t) =
b(t)∫
0
u(x, t)dx, t ∈ [0, T ],
де 0 < b(t) < 1, t ∈ [0, T ], — задана функцiя. В [4] встановлено умови
однозначної розв’язностi оберненої задачi визначення залежних вiд
часу старшого i молодшого коефiцiєнтiв параболiчного рiвняння у
випадку нелокальних та iнтегральних умов.
Результати дослiджень коефiцiєнтних обернених задач для пара-
болiчних рiвнянь показали, що питання iдентифiкацiї коефiцiєнта,
який залежав би вiд усiх незалежних змiнних, залишається вiдкри-
тим. Певним наближенням до вирiшення цього питання можна вва-
жати подання коефiцiєнта у виглядi добутку двох функцiй вiд рiзних
аргументiв, одна з яких вiдома, а iнша пiдлягає визначенню. У робо-
тi [5] знайдено умови однозначної розв’язностi оберненої задачi визна-
чення старшого коефiцiєнта одновимiрного параболiчного рiвняння,
який подається у виглядi добутку двох функцiй, одна з яких зале-
жить вiд просторової змiнної, а iнша — вiд часу, причому просторова
залежнiсть є вiдомою. В [6] дослiджено обернену задачу знаходжен-
ня невiдомих коефiцiєнтiв (a0(t), a1(t)) одновимiрного параболiчного
рiвняння
ut = (a0(t) + xa1(t))uxx + b(x, t)ux + c(x, t)u+ f(x, t),
(x, t) ∈ (0, h) × (0, T ).
Багато практично важливих задач зводяться до задач з вiльними
межами, в яких невiдома межа роздiляє або речовини з рiзними вла-
стивостями, або рiзнi фази однiєї i тiєї ж речовини. Замiною змiнних
задачi з вiльними межами можна звести до коефiцiєнтних обернених
задач в областях з вiдомими межами. Такий пiдхiд дозволяє застосу-
вати до цих задач методику, розроблену для дослiдження обернених
задач. В [7, 8] знайдено умови iснування та єдиностi розв’язкiв обер-
нених задач для одновимiрних параболiчних рiвнянь
ut = a(t)uxx + f(x, t),
ut = a(t)uxx + b(x, t)ux + c(x, t)u+ f(x, t)
з невiдомим, залежним вiд часу, старшим коефiцiєнтом в областi,
частина або вся межа якої є невiдомою. В [9–11] дослiджено обер-
ненi задачi визначення залежного вiд часу коефiцiєнта при першiй
Г. А. Снiтко 111
похiднiй за просторовою змiнною невiдомої функцiї в одновимiрно-
му параболiчному рiвняннi в областi, частина або вся межа якої є
невiдомою.
1. Формулювання задачi
В областi ΩT = {(x, t) : h1(t) < x < h2(t), 0 < t < T}, де h1 =
h1(t), h2 = h2(t) — невiдомi функцiї, розглядаємо обернену задачу
визначення коефiцiєнтiв b1(t), b2(t) параболiчного рiвняння
ut = a(x, t)uxx+(b1(t)x+b2(t))ux+c(x, t)u+f(x, t), (x, t) ∈ ΩT , (1.1)
з початковою умовою
u(x, 0) = ϕ(x), x ∈ [h1(0), h2(0)], (1.2)
крайовими умовами
u(h1(t), t) = µ1(t), u(h2(t), t) = µ2(t), t ∈ [0, T ], (1.3)
та умовами перевизначення
h′1(t) = ux(h1(t), t) + µ3(t), h′2(t) = −ux(h2(t), t) + µ4(t),
h2(t)∫
h1(t)
u(x, t) dx = µ5(t),
h2(t)∫
h1(t)
xu(x, t) dx = µ6(t), t ∈ [0, T ], (1.4)
де h1(0) = h01 — задане число.
Ввiвши нову змiнну y = x−h1(t)
h2(t)−h1(t) , задачу (1.1)–(1.4) зводимо
до оберненої задачi з невiдомими (h1(t), h3(t), b1(t), b2(t), v(y, t)), де
h3(t) = h2(t) − h1(t), v(y, t) = u(yh3(t) + h1(t), t), в областi з вiдомою
межею QT = {(y, t) : 0 < y < 1, 0 < t < T} :
vt =
a(yh3(t) + h1(t), t)
h2
3(t)
vyy +
(
b1(t)(yh3(t) + h1(t)) + b2(t)
h3(t)
+
h′1(t) + y h′3(t)
h3(t)
)
vy + c(yh3(t) + h1(t), t) v+
+ f(yh3(t) + h1(t), t), (y, t) ∈ QT , (1.5)
v(y, 0) = ϕ(yh3(0) + h1(0)), y ∈ [0, 1], (1.6)
v(0, t) = µ1(t), v(1, t) = µ2(t), t ∈ [0, T ], (1.7)
112 Про одну коефiцiєнтну обернену задачу...
h′1(t) =
vy(0, t)
h3(t)
+ µ3(t), t ∈ [0, T ], (1.8)
h′3(t) = −vy(0, t) + vy(1, t)
h3(t)
+ µ4(t) − µ3(t), t ∈ [0, T ], (1.9)
h3(t)
1∫
0
v(y, t) dy = µ5(t), t ∈ [0, T ], (1.10)
h2
3(t)
1∫
0
yv(y, t) dy + h1(t)µ5(t) = µ6(t), t ∈ [0, T ], (1.11)
де h1(0) = h01 — задане число.
Означення 1.1. Пiд розв’язком задачi (1.5)–(1.11) розумiємо фун-
кцiї (h1, h3, b1, b2, v) ∈ (C1[0, T ])2 × (C[0, T ])2 × C2,1(QT ), h3(t) > 0,
t ∈ [0, T ], якi задовольняють рiвняння (1.5) та умови (1.6)–(1.11).
2. Iснування розв’язку задачi (1.5)–(1.11)
Умови iснування розв’язку задачi (1.5)–(1.11) мiстяться в насту-
пнiй теоремi.
Теорема 2.1. Припустимо, що виконуються умови:
1) a ∈ C1,0(R × [0, T ]), c, f ∈ Hα,0(R × [0, T ]), α ∈ (0, 1), ϕ ∈
C2[h01, h02], µi ∈ C1[0, T ], i = 1, 2, 5, 6, µj ∈ C[0, T ], j = 3, 4;
2) 0 < a0 ≤ a(x, t) ≤ a1, c(x, t) ≤ 0, f(x, t) ≥ 0, (x, t) ∈
R × [0, T ], ϕ(x) ≥ ϕ0 > 0, x ∈ [h01,∞), ϕ′(x) > 0, x ∈
[h01, h02], ϕ
′(x)−ϕ′(h02+h01−x) > 0, (h02−x)ϕ′(h02+h01−x)−
(x − h01)ϕ
′(x) > 0, x ∈ [h01,
h01+h02
2 ), µi(t) > 0, i = 1, 2, 5, t ∈
[0, T ], де h02 = h2(0) — розв’язок рiвняння
∫ h2(0)
h01
ϕ(x) dx = µ5(0);
3) умови узгодження нульового i першого порядкiв.
Тодi можна вказати таке число T0, 0 < T0 ≤ T , яке визначається
вихiдними даними, що iснує розв’язок задачi (1.5)–(1.11) при (y, t) ∈
QT0 .
Доведення. Визначимо початкове значення функцiї h2(t), що задає
частину межi областi. За умов теореми iснує єдиний розв’язок h02 =
h2(0) рiвняння
h2(0)∫
h01
ϕ(x) dx = µ5(0).
Г. А. Снiтко 113
Позначимо h03 = h02 − h01. Встановимо оцiнки функцiй h1(t),
h3(t). З умов (1.10), (1.11) отримуємо
h3(t) =
µ5(t)∫ 1
0 v(y, t) dy
, t ∈ [0, T ], (2.1)
h1(t) =
µ6(t)
µ5(t)
− h2
3(t)
µ5(t)
1∫
0
yv(y, t) dy, t ∈ [0, T ]. (2.2)
Iз принципу максимуму [12] для розв’язку прямої задачi (1.5)–
(1.7) випливає
v(y, t) ≥M0 > 0, (y, t) ∈ QT ,
де стала M0 визначається вихiдними даними. Тодi для розв’язкiв рiв-
нянь (2.1), (2.2) одержуємо наступнi нерiвностi:
h3(t) ≤
1
M0
max
[0,T ]
µ5(t) ≡ H1 <∞, t ∈ [0, T ],
|h1(t)| ≤
|µ6(t)|
µ5(t)
+
µ5(t)∫ 1
0 v(y, t) dy
≤ max
[0,T ]
|µ6(t)|
µ5(t)
+
1
M0
max
[0,T ]
µ5(t) ≡ H2, t ∈ [0, T ].
Для оцiнки знизу h3(t) оцiнимо v(y, t) зверху. Для цього знову вико-
ристаємо принцип максимуму
v(y, t) ≤M1 <∞, (y, t) ∈ QT ,
де M1 визначається вихiдними даними. Згiдно з (2.1) отримуємо
h3(t) ≥
1
M1
min
[0,T ]
µ5(t) ≡ H0 > 0, t ∈ [0, T ].
Таким чином,
0 < M0 ≤ v(y, t) ≤M1 <∞, (y, t) ∈ QT ,
|h1(t)| ≤ H2, 0 < H0 ≤ h3(t) ≤ H1 <∞, t ∈ [0, T ]. (2.3)
Зведемо задачу (1.5)–(1.11) до системи рiвнянь. Введемо нову
функцiю
ṽ(y, t) = v(y, t)−ϕ(yh03 +h01)−y(µ2(t)−µ2(0))+(y−1)(µ1(t)−µ1(0)).
114 Про одну коефiцiєнтну обернену задачу...
Для функцiї ṽ(y, t) одержуємо задачу
ṽt =
a(yh3(t) + h1(t), t)
h2
3(t)
ṽyy
+
b1(t)(yh3(t) + h1(t)) + b2(t) + h′1(t) + y h′3(t)
h3(t)
×(ṽy + d(y, t)) + c(yh3(t) + h1(t), t)ṽ + F (y, t), (y, t) ∈ QT ,
ṽ(y, 0) = 0, y ∈ [0, 1],
ṽ(0, t) = ṽ(1, t) = 0, t ∈ [0, T ],
(2.4)
де d(y, t) = h03ϕ
′(yh03 + h01) + µ2(t) − µ2(0) − µ1(t) + µ1(0),
F (y, t) = h2
03
a(yh3(t) + h1(t), t)
h2
3(t)
ϕ′′(yh03 + h01) + c(yh3(t) + h1(t), t)
×
(
ϕ(yh03 + h01) + y(µ2(t) − µ2(0)) + (1 − y)(µ1(t) − µ1(0))
)
+ f(yh3(t) + h1(t), t) − yµ′2(t) + µ′1(t)(y − 1).
За допомогою функцiї Грiна G1(y, t, η, τ) першої крайової задачi
для рiвняння
ṽt =
a(yh3(t) + h1(t), t)
h2
3(t)
ṽyy + c(yh3(t) + h1(t), t) ṽ
задачу (2.4) зводимо до рiвняння
ṽ(y, t) =
t∫
0
1∫
0
G1(y, t, η, τ)
((
b1(τ)(ηh3(τ) + h1(τ)) + b2(τ)
h3(τ)
+
h′1(τ) + ηh′3(τ)
h3(τ)
)
(ṽη(η, τ) + d(η, τ)) + F (η, τ)
)
dη dτ,
(y, t) ∈ QT . (2.5)
Позначимо w(y, t) = vy(y, t). Тодi з умов (1.8), (1.9) отримуємо
h′1(t) =
w(0, t)
h3(t)
+ µ3(t), h′3(t) = −w(0, t) + w(1, t)
h3(t)
+ µ4(t) − µ3(t).
(2.6)
Використавши (2.6), подамо (2.5) у виглядi
v(y, t) = ϕ(yh03 + h01) + y(µ2(t) − µ2(0)) + (1 − y)(µ1(t) − µ1(0))
+
t∫
0
1∫
0
G1(y, t, η, τ)
(
F (η, τ) + w(η, τ)
(
w(0, τ)(1 − η) − ηw(1, τ)
h2
3(τ)
Г. А. Снiтко 115
+
b1(τ)(ηh3(τ) + h1(τ)) + b2(τ) + (1 − η)µ3(τ) + ηµ4(τ)
h3(τ)
)
dη dτ,
(y, t) ∈ QT . (2.7)
Продиференцiювавши (2.7) за змiнною y, отримаємо
w(y, t) = h03ϕ
′(yh03 + h01) + µ2(t) − µ2(0) − µ1(t) + µ1(0)
+
t∫
0
1∫
0
G1y(y, t, η, τ)
(
F (η, τ) + w(η, τ)
(
w(0, τ)(1 − η) − ηw(1, τ)
h2
3(τ)
+
b1(τ)(ηh3(τ) + h1(τ)) + b2(τ) + (1 − η)µ3(τ) + ηµ4(τ)
h3(τ)
)
dη dτ,
(y, t) ∈ QT . (2.8)
Продиференцiювавши (1.10), (1.11) i використавши (1.5), (2.6),
одержуємо
b1(t) =
[ 1∫
0
(a(yh3(t) + h1(t), t)(µ2(t) − µ1(t))
+ax(yh3(t)+h1(t), t)(µ5(t)−h3(t)µ2(t)+yh3(t)(µ2(t)−µ1(t))))w(y, t) dy
+
w(0, t)
h3(t)
(a(h1(t), t)(µ5(t) − h3(t)µ2(t)) + 2µ2(t)µ5(t) − µ1(t)µ5(t)
−h3(t)µ1(t)µ2(t))+
w(1, t)
h3(t)
(µ2(t)−a(h3(t)+h1(t), t))(µ5(t)−h3(t)µ1(t))
− h3(t)
1∫
0
(µ5(t) − h3(t)µ2(t) + yh3(t)(µ2(t) − µ1(t)))(c(yh3(t)
+h1(t), t)v(y, t)+f(yh3(t)+h1(t), t)) dy+µ5(t)(µ1(t)µ3(t)−µ2(t)µ4(t))
+µ′5(t)(µ5(t)− h3(t)µ2(t)− h1(t)(µ2(t)−µ1(t)))− h3(t)µ1(t)µ2(t)(µ3(t)
−µ4(t))+µ
′
6(t)(µ2(t)−µ1(t))
]
(
2h3(t)µ2(t)µ5(t)−µ2
5(t)−h2
3(t)µ1(t)µ2(t)
+ 2(µ2(t) − µ1(t))(h1(t)µ5(t) − µ6(t))
)−1
, t ∈ [0, T ], (2.9)
b2(t) =
[ 1∫
0
(a(yh3(t)+h1(t), t)(µ5(t)−h3(t)µ2(t)−h1(t)(µ2(t)−µ1(t)))
+ ax(yh3(t) + h1(t), t)(h
2
3(t)µ2(t) + h1(t)h3(t)µ2(t) + h1(t)µ5(t)− 2µ6(t)
116 Про одну коефiцiєнтну обернену задачу...
− yh3(t)(h3(t)µ2(t) − µ5(t) + h1(t)(µ2(t) − µ1(t)))))w(y, t) dy
+
w(0, t)
h3(t)
(a(h1(t), t)(h
2
3(t)µ2(t) + h1(t)h3(t)µ2(t) + h1(t)µ5(t) − 2µ6(t))
+2µ2
5(t)−2h3(t)µ2(t)µ5(t)−2h1(t)µ5(t)(µ2(t)−µ1(t))+h2
3(t)µ1(t)µ2(t)
−2µ1(t)µ6(t)+h1(t)µ1(t)µ5(t)+h1(t)h3(t)µ1(t)µ2(t))+
w(1, t)
h3(t)
(h3(t)µ5(t)
+ h1(t)h3(t)µ1(t) + h1(t)µ5(t) − 2µ6(t))(µ2(t) − a(h3(t) + h1(t), t))
− h3(t)
1∫
0
(h2
3(t)µ2(t) + h1(t)h3(t)µ2(t) + h1(t)µ5(t) − 2µ6(t)
+ yh3(t)(µ5(t) − h3(t)µ2(t) − h1(t)(µ2(t) − µ1(t))))(f(yh3(t) + h1(t), t)
+ v(y, t)c(yh3(t) + h1(t), t)) dy + (h1(t)µ5(t) − 2µ6(t))(µ1(t)µ3(t)
− µ2(t)µ4(t)) + h3(t)µ2(t)(h3(t)µ1(t)µ3(t) − µ4(t)µ5(t))
+ h1(t)h3(t)µ1(t)µ2(t)(µ3(t) − µ4(t)) + µ′5(t)(h
2
3(t)µ2(t) − 2µ6(t)
+ 2h1(t)h3(t)µ2(t) + (µ2(t) − µ1(t))h
2
1(t)) + µ′6(t)(µ5(t) − h3(t)µ2(t)
− h1(t)(µ2(t) − µ1(t)))
]
(
2h3(t)µ2(t)µ5(t) − µ2
5(t) − h2
3(t)µ1(t)µ2(t)
+ 2(µ2(t) − µ1(t))(h1(t)µ5(t) − µ6(t))
)−1
, t ∈ [0, T ]. (2.10)
Отже, задачу (1.5)–(1.11) зведено до системи iнтегральних рiв-
нянь (2.1), (2.2), (2.7)–(2.10) вiдносно невiдомих (h3(t), h1(t), v(y, t),
w(y, t), b1(t), b2(t)). Якщо (h1, h3, b1, b2, v) ∈ (C1[0, T ])2 × (C[0, T ])2 ×
C2,1(QT ) є розв’язком задачi (1.5)–(1.11), то (h3, h1, v, w, b1, b2) ∈
(C[0, T ])2 × (C(QT ))2 × (C[0, T ])2 є розв’язком системи рiвнянь (2.1),
(2.2), (2.7)–(2.10). Правильним є i обернене твердження.
Нехай (h3, h1, v, w, b1, b2) є неперервним розв’язком системи рiв-
нянь (2.1), (2.2), (2.7)–(2.10). Продиференцiюємо (2.7) за змiнною y.
Правi частини отриманої рiвностi та рiвностi (2.8) спiвпадають, то-
му можемо зробити висновок, що w(y, t) = vy(y, t). Отже, функцiя
v ∈ C2,1(QT ) задовольняє рiвняння
vt =
a(yh3(t) + h1(t), t)
h2
3(t)
vyy +
(
(yh3(t) + h1(t))b1(t) + b2(t)
h3(t)
+
(1 − y)µ3(t) + yµ4(t)
h3(t)
+
(1 − y)vy(0, t) − yvy(1, t)
h2
3(t)
)
vy
+ c(yh3(t) + h1(t), t)v + f(yh3(t) + h1(t), t), (y, t) ∈ QT , (2.11)
та умови (1.6), (1.7) для довiльних неперервних на [0, T ] функ-
цiй b1(t), b2(t), h1(t), h3(t). З рiвностей (2.1), (2.2) випливають умови
Г. А. Снiтко 117
(1.10), (1.11). Подамо (2.9), (2.10) у виглядi
b1(t)(h3(t)µ2(t) − µ5(t) + h1(t)(µ2(t) − µ1(t))) + b2(t)(µ2(t) − µ1(t))
=
1∫
0
ax(yh3(t) + h1(t), t)vy(y, t) dy +
µ2(t) − a(h1(t) + h3(t), t)
h3(t)
vy(1, t)
+
µ1(t) + a(h1(t), t)
h3(t)
vy(0, t) − h3(t)
1∫
0
(f(yh3(t) + h1(t), t) + v(y, t)
× c(yh3(t) + h1(t), t)) dy + µ′5(t) − µ2(t)µ4(t) + µ1(t)µ3(t), (2.12)
b1(t)(h
2
3(t)µ2(t)−2µ6(t)+h1(t)µ5(t)+h1(t)h3(t)µ2(t))+b2(t)(h3(t)µ2(t)
−µ5(t)) =
1∫
0
(yh3(t)ax(yh3(t) +h1(t), t) + a(yh3(t) +h1(t), t))vy(y, t) dy
+(µ2(t)−a(h1(t)+h3(t), t))vy(1, t)−h2
3(t)
1∫
0
y(c(yh3(t)+h1(t), t)v(y, t)
+ f(yh3(t) + h1(t), t)) dy + µ′6(t) − h1(t)µ
′
5(t) − h3(t)µ2(t)µ4(t).
(2.13)
Припущення теореми дозволяють нам продиференцiювати (2.1), (2.2)
за t. Використавши те, що функцiя v(y, t) задовольняє рiвняння
(2.11), та вiднявши вiд отриманих рiвностей (2.12), (2.13), отриму-
ємо (
h′3(t) − µ4(t) + µ3(t) +
vy(0, t) + vy(1, t)
h3(t)
)
µ5(t)
h3(t)
= 0,
2(µ6(t) − h1(t)µ5(t))
h2
3(t)
(
h′3(t) − µ4(t) + µ3(t) +
vy(0, t) + vy(1, t)
h2
3(t)
)
+
(
h′1(t) − µ3(t) −
vy(0, t)
h3(t)
)
µ5(t)
h3(t)
= 0.
Звiдси робимо висновок, що (h1, h3) ∈ (C1[0, T ])2, функцiя v(y, t) за-
довольняє рiвняння (1.5) та умови (1.8), (1.9).
Отже, еквiвалентнiсть задачi (1.5)–(1.11) та системи рiвнянь (2.1),
(2.2), (2.7)–(2.10) у вище зазначеному сенсi доведено.
Подамо знаменник у (2.9), (2.10) у виглядi
118 Про одну коефiцiєнтну обернену задачу...
2h3(t)µ2(t)µ5(t)−µ2
5(t)− h2
3(t)µ1(t)µ2(t) + 2(µ2(t)−µ1(t))(h1(t)µ5(t)
− µ6(t)) =
h2
3(t)
2
[ 1∫
0
yw(y, t) dy
1∫
0
(1 − 2y)w(y, t) dy
+
1∫
0
w(y, t) dy
1∫
0
y(2y − 1)w(y, t) dy
]
.
Згiдно з припущеннями теореми з (2.8) можемо зробити висновок про
iснування такого числа t1, 0 < t1 ≤ T , що
w(y, t) ≥ h03
2
min
[0,1]
ϕ′(yh03 + h01) > 0, (y, t) ∈ Qt1 .
Тодi
1∫
0
yw(y, t) dy > 0,
1∫
0
w(y, t) dy > 0, t ∈ [0, t1].
Подамо вирази
∫ 1
0 (1 − 2y)w(y, t) dy,
∫ 1
0 y(2y − 1)w(y, t) dy у виглядi
1∫
0
(1 − 2y)w(y, t) dy =
1
2∫
0
(1 − 2y)(w(y, t) − w(1 − y, t)) dy, (2.14)
1∫
0
y(2y−1)w(y, t) dy =
1
2∫
0
(1−2y)((1−y)w(1−y, t)−yw(y, t)) dy. (2.15)
Пiдставимо (2.8) в (2.14). Всi доданки, крiм першого, при t→ 0 пря-
мують до нуля. Тодi можемо вважати, що iснує таке число t2, 0 <
t2 ≤ T , що
1∫
0
(1 − 2y)w(y, t) dy ≥ h03
2
1
2∫
0
(1 − 2y)(ϕ′(yh03 + h01)
− ϕ′(h03(1 − y) + h01)) dy > 0, t ∈ [0, t2].
Пiдставивши (2.8) в (2.15), можемо зробити висновок про iснування
такого числа t3, 0 < t3 ≤ T , що
1∫
0
y(2y − 1)w(y, t) dy ≥ h03
2
1
2∫
0
(1 − 2y)((1 − y)ϕ′(h03(1 − y) + h01)
− yϕ′(yh03 + h01)) dy > 0, t ∈ [0, t3].
Г. А. Снiтко 119
Таким чином,
2h3(t)µ2(t)µ5(t) − µ2
5(t) − h2
3(t)µ1(t)µ2(t)
+ 2(µ2(t) − µ1(t))(h1(t)µ5(t) − µ6(t)) ≥ C0 > 0,
t ∈ [0, t4], t4 = min{t1, t2, t3}. (2.16)
Встановимо оцiнки розв’язкiв системи рiвнянь (2.1), (2.2), (2.7)–
(2.10). Позначимо W (t) = maxy∈[0,1] |w(y, t)|. З (2.9), (2.10), врахову-
ючи (2.3), (2.16), одержуємо
|b1(t)| ≤ C1 + C2W (t), |b2(t)| ≤ C3 + C4W (t), t ∈ [0, t4]. (2.17)
Використовуючи (2.3), (2.17) та оцiнки функцiї Грiна [12], з (2.8)
отримуємо
W (t) ≤ C5 + C6
t∫
0
W (τ) +W 2(τ)√
t− τ
dτ, t ∈ [0, t4].
Метод розв’язування останньої нерiвностi подано в [13]. Звiдси отри-
муємо оцiнку
W (t) ≤M2 <∞, t ∈ [0, t5],
де t5, 0 < t5 ≤ t4, визначається сталими C5, C6. Тодi
|b1(t)| ≤ C1 + C2M2 ≡ B1, |b2(t)| ≤ C3 + C4M2 ≡ B2, t ∈ [0, t5].
Подамо систему рiвнянь (2.1), (2.2), (2.7)–(2.10) у виглядi опера-
торного рiвняння
ω = Pω,
де ω = (h3(t), h1(t), v(y, t), w(y, t), b1(t), b2(t)), а оператор P визначає-
ться правими частинами рiвнянь (2.1), (2.2), (2.7)–(2.10).
Вiзьмемо довiльнi (h3, h1, v, w, b1, b2), для яких справедливi вище
встановленi оцiнки. Оцiнимо праву частину рiвняння (2.8):
|P4w| ≤ C7 + C8
√
t.
Вибираючи число t6, 0 < t6 ≤ T, так, щоб виконувалась нерiвнiсть
C7 + C8
√
t6 ≤M2, отримаємо
|P4w| ≤M2, (y, t) ∈ [0, 1] × [0, t6].
Позначимо N = {(h3, h1, v, w, b1, b2) ∈ (C[0, T0])
2 × (C(QT0
))2 ×
(C[0, T0])
2 : H0 ≤ h3(t) ≤ H1, |h1(t)| ≤ H2, M0 ≤ v(y, t) ≤ M1,
120 Про одну коефiцiєнтну обернену задачу...
|w(y, t)| ≤ M2, |b1(t)| ≤ B1, |b2(t)| ≤ B2}, де T0 = min{t5, t6}. Очеви-
дно, що множина N задовольняє умови теореми Шаудера, а оператор
P переводить N в себе. Те, що оператор P цiлком неперервний на N ,
доводиться як у [9].
Отже, за теоремою Шаудера про нерухому точку цiлком непе-
рервного оператора iснує розв’язок системи рiвнянь (2.1), (2.2), (2.7)–
(2.10) i, вiдповiдно, розв’язок задачi (1.5)–(1.11) при (y, t) ∈ QT0
.
3. Єдинiсть розв’язку задачi (1.5)–(1.11)
Теорема 3.1. Нехай виконуються умови: a ∈ C2,0(R× [0, T ]), c, f ∈
C1,0(R × [0, T ]), a(x, t) > 0, (x, t) ∈ R × [0, T ], ϕ(x) ≥ ϕ0 > 0, x ∈
[h01,∞), ϕ′(x) > 0, x ∈ [h01, h02], ϕ
′(x)−ϕ′(h02 +h01 −x) > 0, (h02 −
x)ϕ′(h02+h01−x)−(x−h01)ϕ
′(x) > 0, x ∈ [h01,
h01+h02
2 ), µi(t) > 0, i =
2, 5, t ∈ [0, T ].
Тодi можна вказати таке число t4, 0 < t4 ≤ T , яке визначається
вихiдними даними, що задача (1.5)–(1.11) не може мати двох рiзних
розв’язкiв при (y, t) ∈ Qt4 .
Доведення. Припустимо, що (h1i(t), h3i(t), b1i(t), b2i(t), vi(y, t)), i =
1, 2, — два розв’язки задачi (1.5)–(1.11). Позначимо
b1i(t)
h3i(t)
= ri(t),
b2i(t)
h3i(t)
= qi(t),
h′1i(t)
h3i(t)
= si(t),
h′3i(t)
h3i(t)
= pi(t), i = 1, 2,
r(t) = r1(t) − r2(t), q(t) = q1(t) − q2(t), s(t) = s1(t) − s2(t),
p(t) = p1(t) − p2(t), v(y, t) = v1(y, t) − v2(y, t).
Функцiї r(t), q(t), s(t), p(t), v(y, t) задовольняють рiвняння
vt =
a(yh31(t) + h11(t), t)
h2
31(t)
vyy + (r1(t)(yh31(t) + h11(t))
+ q1(t) + s1(t) + yp1(t))vy + c(yh31(t) + h11(t), t)v
+
(
a(yh31(t) + h11(t), t)
h2
31(t)
− a(yh32(t) + h12(t), t)
h2
32(t)
)
v2yy
+ (r(t)(yh31(t) + h11(t)) + r2(t)(y(h31(t) − h32(t)) + h11(t) − h12(t))
+ q(t) + s(t) + yp(t))v2y + (c(yh31(t) + h11(t), t)
− c(yh32(t) +h12(t), t))v2 + f(yh31(t) +h11(t), t)− f(yh32(t) +h12(t), t),
(y, t) ∈ QT , (3.1)
та умови
v(y, 0) = 0, y ∈ [0, 1], (3.2)
Г. А. Снiтко 121
v(0, t) = v(1, t) = 0, t ∈ [0, T ], (3.3)
h′11(t) − h′12(t) =
vy(0, t)
h31(t)
+ v2y(0, t)
(
1
h31(t)
− 1
h32(t)
)
,
h′31(t) − h′32(t) = −(v2y(0, t) + v2y(1, t))
(
1
h31(t)
− 1
h32(t)
)
− vy(0, t) + vy(1, t)
h31(t)
,
1∫
0
v(y, t) dy = µ5(t)
(
1
h31(t)
− 1
h32(t)
)
,
1∫
0
yv(y, t) dy = µ6(t)
(
1
h2
31(t)
− 1
h2
32(t)
)
−
(
h11(t)
(
1
h2
31(t)
− 1
h2
32(t)
)
+ (h11(t) − h12(t))
1
h2
32(t)
)
µ5(t), t ∈ [0, T ]. (3.4)
За допомогою функцiї Грiна G∗
1(y, t, η, τ) першої крайової задачi
для рiвняння
vt =
a(yh31(t) + h11(t), t)
h2
31(t)
vyy + (r1(t)(yh31(t) + h11(t)) + q1(t) + s1(t)
+ yp1(t))vy + c(yh31(t) + h11(t), t)v
з урахуванням умов (3.2), (3.3) функцiю v(y, t) подамо у виглядi
v(y, t) =
t∫
0
1∫
0
G∗
1(y, t, η, τ)
[
v2ηη(η, τ)
(
a(ηh31(τ) + h11(τ), τ)
h2
31(τ)
− a(ηh32(τ) + h12(τ), τ)
h2
32(τ)
)
+(r(τ)(ηh31(τ) + h11(τ)) + r2(τ)(η(h31(τ)
− h32(τ)) + h11(τ) − h12(τ)) + q(τ) + s(τ) + ηp(τ))v2η(η, τ) + v2(η, τ)
×(c(ηh31(τ)+h11(τ), τ)−c(ηh32(τ)+h12(τ), τ))+f(ηh31(τ)+h11(τ), τ)
− f(ηh32(τ) + h12(τ), τ)
]
dη dτ, (y, t) ∈ QT . (3.5)
Продиференцiювавши (3.5) за змiнною y, одержуємо
122 Про одну коефiцiєнтну обернену задачу...
vy(y, t) =
t∫
0
1∫
0
G∗
1y(y, t, η, τ)
[
v2ηη(η, τ)
(
a(ηh31(τ) + h11(τ), τ)
h2
31(τ)
− a(ηh32(τ) + h12(τ), τ)
h2
32(τ)
)
+(r(τ)(ηh31(τ) + h11(τ)) + r2(τ)(η(h31(τ)
− h32(τ)) + h11(τ) − h12(τ)) + q(τ) + s(τ) + ηp(τ))v2η(η, τ) + v2(η, τ)
×(c(ηh31(τ)+h11(τ), τ)−c(ηh32(τ)+h12(τ), τ))+f(ηh31(τ)+h11(τ), τ)
− f(ηh32(τ) + h12(τ), τ)
]
dηdτ, (y, t) ∈ QT . (3.6)
Оскiльки для h′1i, h
′
3i, b1i(t), b2i(t), i = 1, 2, справджуються рiв-
ностi, аналогiчнi до (2.6), (2.9), (2.10), то звiдси отримуємо
(q(t)+s(t))(µ2(t)−µ1(t))+p(t)µ2(t)+r(t)(h31(t)µ2(t)−µ5(t)+h11(t)
× (µ2(t) − µ1(t))) =
vy(0, t)a(h11(t), t) − vy(1, t)a(h11(t) + h31(t), t)
h2
31(t)
+
(
1
h2
31(t)
− 1
h2
32(t)
)
(v2y(0, t)a(h11(t), t) − v2y(1, t)a(h11(t) + h31(t), t))
+
1
h2
31(t)
(v2y(0, t)(a(h11(t), t) − a(h12(t), t)) − (a(h11(t) + h31(t), t)
− a(h12(t) + h32(t), t))v2y(1, t)) +
1
h31(t)
1∫
0
(a(yh31(t) + h11(t), t)vy(y, t)
+ v2y(y, t)(a(yh31(t) + h11(t), t) − a(yh32(t) + h12(t), t))) dy
+
(
1
h31(t)
− 1
h32(t)
)(
µ′5(t) +
1∫
0
a(yh32(t) + h12(t), t)v2y(y, t) dy
)
−
1∫
0
(v(y, t)c(yh31(t) + h11(t), t) + (c(yh31(t) + h11(t), t) − c(yh32(t)
+ h12(t), t))v2(y, t) + f(yh31(t) + h11(t), t) − f(yh32(t) + h12(t), t)) dy
− r2(t)(µ2(t)(h31(t) − h32(t)) + (µ2(t) − µ1(t))(h11(t) − h12(t))),
t ∈ [0, T ], (3.7)
s(t) =
vy(0, t)
h2
31(t)
+ v2y(0, t)
(
1
h2
31(t)
− 1
h2
32(t)
)
+µ3(t)
(
1
h31(t)
− 1
h32(t)
)
,
t ∈ [0, T ], (3.8)
Г. А. Снiтко 123
p(t) = −vy(0, t) + vy(1, t)
h2
31(t)
− (v2y(0, t) + v2y(1, t))
(
1
h2
31(t)
− 1
h2
32(t)
)
+ (µ4(t) − µ3(t))
(
1
h31(t)
− 1
h32(t)
)
, t ∈ [0, T ], (3.9)
r(t) =
[
1
h31(t)
1∫
0
(a(yh31(t) + h11(t), t)(µ2(t) − µ1(t)) + (yh31(t)(µ2(t)
−µ1(t))+µ5(t)−h31(t)µ2(t))ax(yh31(t)+h11(t), t))v1y(y, t) dy+((µ5(t)
− h31(t)µ2(t))a(h11(t), t) + 2µ2(t)µ5(t) − µ1(t)µ5(t) − h31(t)µ1(t)µ2(t))
× v1y(0, t)
h2
31(t)
+
v1y(1, t)
h2
31(t)
(µ2(t) − a(h31(t) + h11(t), t))(µ5(t) − h31(t)µ1(t))
−
1∫
0
(c(yh31(t) + h11(t), t)v1(y, t) + f(yh31(t) + h11(t), t))(µ5(t) − h31(t)
×µ2(t)+yh31(t)(µ2(t)−µ1(t))) dy+µ5(t)(µ1(t)µ3(t)−µ2(t)µ4(t))+µ
′
5(t)
× (µ5(t) − h31(t)µ2(t) − h11(t)(µ2(t) − µ1(t))) − h31(t)µ1(t)µ2(t)(µ3(t)
−µ4(t))+µ′6(t)(µ2(t)−µ1(t))
]
(µ1(t)µ2(t)(h
2
31(t)−h2
32(t))− 2µ2(t)µ5(t)
× (h31(t)−h32(t))− 2µ5(t)(µ2(t)−µ1(t))(h11(t)−h12(t)))
(
(2h31(t)µ2(t)
×µ5(t)−µ2
5(t)−h2
31(t)µ1(t)µ2(t)+2(µ2(t)−µ1(t))(h11(t)µ5(t)−µ6(t)))
× (2h32(t)µ2(t)µ5(t) − µ2
5(t) − h2
32(t)µ1(t)µ2(t) + 2(µ2(t) − µ1(t))(h12(t)
× µ5(t) − µ6(t)))
)−1
+
[(
1
h31(t)
− 1
h32(t)
)( 1∫
0
(a(yh31(t) + h11(t), t)
× (µ2(t) − µ1(t)) + ax(yh31(t) + h11(t), t)(µ5(t) − h31(t)µ2(t) + y(µ2(t)
−µ1(t))h31(t)))v1y(y, t) dy+µ5(t)(µ1(t)µ3(t)−µ2(t)µ4(t)) +µ′6(t)(µ2(t)
− µ1(t)) + µ′5(t)(µ5(t) − h31(t)µ2(t) − h11(t)(µ2(t) − µ1(t)))
)
+
1
h32(t)
×
1∫
0
((a(yh31(t)+h11(t), t)(µ2(t)−µ1(t))+(yh31(t)(µ2(t)−µ1(t))+µ5(t)
− h31(t)µ2(t))ax(yh31(t) + h11(t), t))vy(y, t) + v2(y, t)((µ2(t) − µ1(t))
× (a(yh31(t)+h11(t), t)− a(yh32(t)+h12(t), t))+ (yh31(t)(µ2(t)−µ1(t))
+ µ5(t) − h31(t)µ2(t))(ax(yh31(t) + h11(t), t) − ax(yh32(t) + h12(t), t))
124 Про одну коефiцiєнтну обернену задачу...
+ ax(yh32(t) + h12(t), t)(h31(t) − h32(t))(y(µ2(t) − µ1(t)) − µ2(t)))) dy
+ ((µ5(t) − h31(t)µ2(t))a(h11(t), t) + 2µ2(t)µ5(t) − µ1(t)µ5(t) − h31(t)
×µ1(t)µ2(t))
vy(0, t)
h2
31(t)
+
vy(1, t)
h2
31(t)
(µ2(t)−a(h31(t)+h11(t), t))(µ5(t)−h31(t)
×µ1(t))+
(
1
h2
31(t)
− 1
h2
32(t)
)
((µ2(t)−a(h31(t)+h11(t), t))(µ5(t)−h31(t)
× µ1(t))v2y(0, t) + ((µ5(t)− h31(t)µ2(t))a(h11(t), t) + 2µ2(t)µ5(t)− µ1(t)
×µ5(t)−h31(t)µ1(t)µ2(t))v2y(0, t)) +
v2y(0, t)
h2
32(t)
(a(h11(t), t)− a(h12(t), t))
×(µ5(t)−h31(t)µ2(t))−(a(h31(t)+h11(t), t)−a(h32(t)+h12(t), t))(µ5(t)
− h31(t)µ1(t))
v2y(1, t)
h2
32(t)
− h31(t) − h32(t)
h2
32(t)
µ2(t)(µ1(t)v2y(1, t) + v2y(0, t)
×(µ1(t)+a(h12(t), t))+µ′5(t))+
h11(t) − h12(t)
h2
32(t)
(µ1(t)a(h12(t)+h32(t), t)
× v2y(1, t)− (µ2(t)−µ1(t))µ
′
5(t))−
1∫
0
(µ5(t)−h31(t)µ2(t)+yh31(t)(µ2(t)
− µ1(t)))(c(yh31(t) + h11(t), t)v(y, t) + v2(y, t)(c(yh31(t) + h11(t), t)
− c(yh32(t)+h12(t), t))+f(yh31(t)+h11(t), t)−f(yh32(t)+h12(t), t)) dy
−
1∫
0
(c(yh32(t)+h12(t), t)v2(y, t)+ f(yh32(t)+h12(t), t))(h31(t)−h32(t))
× (y(µ2(t) − µ1(t)) − µ2(t)) dy
]
(
2h32(t)µ2(t)µ5(t) − µ2
5(t) − h2
32(t)µ1(t)
× µ2(t) + 2(µ2(t) − µ1(t))(h12(t)µ5(t) − µ6(t))
)−1
, t ∈ [0, T ]. (3.10)
Зауважимо, що
2h3i(t)µ2(t)µ5(t) − µ2
5(t) − h2
3i(t)µ1(t)µ2(t)
+ 2(µ2(t) − µ1(t))(h1i(t)µ5(t) − µ6(t)) ≥ C0 > 0,
i = 1, 2, t ∈ [0, t4]. (3.11)
Згiдно з припущеннями теореми правильною є наступна рiвнiсть:
f(yh31(t) + h11(t), t) − f(yh32(t) + h12(t), t)
= (h11(t) − h12(t) + y(h31(t) − h32(t)))
1∫
0
fx(yh32(t) + h12(t)
Г. А. Снiтко 125
+ σ(y(h31(t) − h32(t)) + h11(t) − h12(t)), t) dσ, (3.12)
яка справедлива i для функцiй c(yh3i(t)+h1i(t), t), a(yh3i(t)+h1i(t), t)
та ax(yh3i(t) + h1i(t), t), i = 1, 2.
Виразимо h3i(t), h1i(t) через pi(t), si(t)
h3i(t) = h3i(0) exp
( t∫
0
pi(τ) dτ
)
,
h1i(t) = h1i(0) + h3i(0)
t∫
0
si(τ) exp
( τ∫
0
pi(σ) dσ
)
dτ, i = 1, 2,
де h31(0) = h32(0) = h03, h11(0) = h12(0) = h01. Враховуючи рiвнiсть
ex − ey = (x− y)
1∫
0
ey+τ(x−y)dτ,
одержимо
1
h31(t)
− 1
h32(t)
= − 1
h03
t∫
0
p(τ) dτ
1∫
0
exp
(
−
t∫
0
(σp(τ) + p2(τ)) dτ
)
dσ,
(3.13)
h11(t) − h12(t) = h03
( t∫
0
s(τ) exp
( τ∫
0
p1(σ) dσ
)
dτ
+
t∫
0
s2(τ)
τ∫
0
p(η) dη exp
( τ∫
0
(p2(ρ) + σp(ρ)) dρ
)
dσ dτ
)
. (3.14)
Аналогiчно (3.13) використаємо для зображення рiзниць h31(t) −
h32(t), h
2
31(t) − h2
32(t),
1
h2
31(t)
− 1
h2
32(t)
.
Врахувавши (3.12)–(3.14) i пiдставивши (3.5), (3.6) в (3.8)–(3.10),
одержимо систему однорiдних iнтегральних рiвнянь Вольтерра дру-
гого роду вiдносно невiдомих p(t), s(t), q(t), r(t). З єдиностi розв’язкiв
таких систем випливає, що p(t) = 0, s(t) = 0, q(t) = 0, r(t) = 0,
t ∈ [0, t4]. Звiдси отримаємо p1(t) = p2(t), s1(t) = s2(t), q1(t) =
q2(t), r1(t) = r2(t), t ∈ [0, t4], а, отже, h31(t) = h32(t), h11(t) =
h12(t), b21(t) = b22(t), b11(t) = b12(t), t ∈ [0, t4]. Використовуючи
це в задачi (3.1)–(3.3), знаходимо, що v1(y, t) = v2(y, t), (y, t) ∈ Qt4 ,
що i завершує доведення теореми.
126 Про одну коефiцiєнтну обернену задачу...
Лiтература
[1] Yin Hong-Ming, Global solvability for some parabolic inverse problems // J. Math.
Anal. Appl., (1991), 392–403.
[2] D. D. Trong, D. D. Ang, Coefficient identification for a parabolic equation //
Inverse Problems, 10 (1994), No. 3, 733–752.
[3] J. Cannon, S. Perez-Esteva, Determination of the coefficient of ux in a linear
parabolic equation // Inverse Problems, 10 (1994), No. 3, 521–531.
[4] М. I. Iванчов, Н. В. Пабирiвська, Однозначне визначення двох коефiцiєнтiв
у параболiчному рiвняннi у випадку нелокальних та iнтегральних умов //
Укр. мат. журн., 53 (2001), No. 5, 589–596.
[5] B. F. Jones, Various methods for finding unknown coefficients in parabolic di-
fferential equations // Comm. on Pure and Appl. Math., 16 (1963), 33–44.
[6] Н. В. Пабирiвська, Тепловi моменти в обернених задачах для параболiчних
рiвнянь // Вiсн. Львiв. ун-ту. Сер. мех.-мат., (2000), вип. 56, 142–149.
[7] М. I. Iванчов, Обернена задача з вiльною межею для рiвняння теплопровiд-
ностi // Укр. мат. журн., 55 (2003), No. 7, 901–910.
[8] I. Баранська, Визначення старшого коефiцiєнта у параболiчному рiвняннi в
областi з невiдомими межами // Вiсн. Львiв. ун-ту. Сер. мех.-мат., (2005),
вип. 64, 20–38.
[9] Г. А. Снiтко, Обернена задача для параболiчного рiвняння в областi з вiльною
межею // Мат. методи та фiз.-мех. поля, 50 (2007), No. 4, 7–18.
[10] Г. А. Снiтко, Обернена задача визначення молодшого коефiцiєнта в параболi-
чному рiвняннi в областi з вiльною межею // Вiсник нац. ун-ту “Львiвська
полiтехнiка”. “Фiзико-математичнi науки”, 643 (2009), No. 643, 45–52.
[11] Г. А. Снiтко, Коефiцiєнтна обернена задача для параболiчного рiвняння в
областi з вiльною межею // Мат. методи та фiз.-мех. поля., 51 (2008), No. 4,
37–47.
[12] О. А. Ладыженская, В. А. Солонников, Н. Н. Уральцева, Линейные и квази-
линейные уравнения параболического типа, Москва: Наука, 1967.
[13] M. Ivanchov, Inverse problems for equations of parabolic type, Lviv: VNTL Publ.
(Math. Studies: Monograph Ser., 10), 2003.
Вiдомостi про авторiв
Галина
Анатолiївна
Снiтко
вул. Дж. Дудаєва, 15, к. 58,
79005, Львiв
Україна
E-Mail: snitkog@ukr.net
|