Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения
Доказана классическая разрешимость задачи сопряжения при взаимодействии двух упругих сред с динамическим условием на линии сопряжения, включающем уравнение параболического типа для функции, моделирующей отклонение линии контакта от положения равновесия....
Збережено в:
Дата: | 2009 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут прикладної математики і механіки НАН України
2009
|
Назва видання: | Нелинейные граничные задачи |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/124276 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения / Н.В. Краснощек // Нелинейные граничные задачи: сб. науч. тр. — 2009. — Т. 19. — С. 106-124. — Бібліогр.: 19 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-124276 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1242762017-10-01T17:25:01Z Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения Краснощек, Н.В. Доказана классическая разрешимость задачи сопряжения при взаимодействии двух упругих сред с динамическим условием на линии сопряжения, включающем уравнение параболического типа для функции, моделирующей отклонение линии контакта от положения равновесия. 2009 Article Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения / Н.В. Краснощек // Нелинейные граничные задачи: сб. науч. тр. — 2009. — Т. 19. — С. 106-124. — Бібліогр.: 19 назв. — рос. 0236-0497 http://dspace.nbuv.gov.ua/handle/123456789/124276 MSC (2000): 35R35, 74G40 ru Нелинейные граничные задачи Інститут прикладної математики і механіки НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
description |
Доказана классическая разрешимость задачи сопряжения при взаимодействии двух упругих сред с динамическим условием на линии сопряжения, включающем уравнение параболического типа для функции, моделирующей отклонение линии контакта от положения равновесия. |
format |
Article |
author |
Краснощек, Н.В. |
spellingShingle |
Краснощек, Н.В. Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения Нелинейные граничные задачи |
author_facet |
Краснощек, Н.В. |
author_sort |
Краснощек, Н.В. |
title |
Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения |
title_short |
Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения |
title_full |
Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения |
title_fullStr |
Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения |
title_full_unstemmed |
Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения |
title_sort |
задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения |
publisher |
Інститут прикладної математики і механіки НАН України |
publishDate |
2009 |
url |
http://dspace.nbuv.gov.ua/handle/123456789/124276 |
citation_txt |
Задача сопряжения для системы теории упругости с динамическим условием на линии сопряжения / Н.В. Краснощек // Нелинейные граничные задачи: сб. науч. тр. — 2009. — Т. 19. — С. 106-124. — Бібліогр.: 19 назв. — рос. |
series |
Нелинейные граничные задачи |
work_keys_str_mv |
AT krasnoŝeknv zadačasoprâženiâdlâsistemyteoriiuprugostisdinamičeskimusloviemnaliniisoprâženiâ |
first_indexed |
2025-07-09T01:10:02Z |
last_indexed |
2025-07-09T01:10:02Z |
_version_ |
1837129692453273600 |
fulltext |
106 Нелинейные граничные задачи 19, 106-124 (2009)
c©2009. Н. В. Краснощек
ЗАДАЧА СОПРЯЖЕНИЯ ДЛЯ СИСТЕМЫ ТЕОРИИ
УПРУГОСТИ С ДИНАМИЧЕСКИМ УСЛОВИЕМ
НА ЛИНИИ СОПРЯЖЕНИЯ
Доказана классическая разрешимость задачи сопряжения при взаимодействии двух
упругих сред с динамическим условием на линии сопряжения, включающем уравнение па-
раболического типа для функции, моделирующей отклонение линии контакта от положения
равновесия.
Ключевые слова: задача сопряжения, неоднородная среда, теория упругости, метод
продолжения по параметру
MSC (2000): 35R35, 74G40
Введение.
Пусть две упругих среды занимают области Π1 = {x ∈ R2, 0 < x2 < H1},
Π2 = {x ∈ R2, −H2 < x2 < 0}, где H1, H2 - произвольные положительные
постоянные. Предположим, что модули Юнга E1, E2 данных сред различны, а
(для упрощения выкладок) коэффициенты Пуассона совпадают: ν1 = ν2 = ν. В
дальнейшем обозначим через u(1) = (u
(1)
1 , u
(1)
2 ) и u(2) = (u
(2)
1 , u
(2)
2 ) векторы сме-
щений в 1-й и 2-й средах соответственно (аналогично, индексом вверху будут
обозначаться деформации, напряжения и внешние воздействия в соответству-
ющих средах), а через u следующую функцию:
u =
u(1), x ∈ Π1,
u(2), x ∈ Π1.
Для произвольной функции v обозначим через [v] = v|x2=+0 − v|x2=−0 ска-
чок на прямой x2 = 0. Рассмотрим задачу: найти функции u(1)(x, t), u(2)(x, t),
ρ(x1, t) такие, что
1
1−2ν∇divu(i) + ∆u(i) = F
(i), x ∈ Πi, t > 0, i = 1, 2,
σ
(1)
i2 = Gi, x2 = H1, t > 0, i = 1, 2,
u(2) = 0, x2 = −H2, t > 0,
[σ12] = H1, [σ22] + b0ρx1x1 = H2, x2 = 0, t > 0,
[u1] = 0, [u2] − b1ρ = 0, x2 = 0, t > 0,
(1)
Задача сопряжения 107
ρt − aρx1x1 + a0ρ− u
(1)
2 + c
[
σ22
E
]
= H0(x1, t), x2 = 0, t > 0, (2)
ρ(x1, 0) = 0, (3)
здесь σij - напряжения,
[
σ22
E
]
=
σ
(1)
22
E1
− σ
(2)
22
E2
, F
(i), Gi, Hi - заданные функции,
периодические по переменной x1 с периодом равным 2π, а b0, b1, a0, a, c -
произвольные положительные постоянные.
Напомним некоторые соотношения линейной теории упругости:
ε
(k)
ij = 1
2
(
∂u
(k)
i
∂xj
+
∂u
(k)
j
∂xi
)
, ε(k) = divu(k),
σ
(k)
ij = Ek
1+ν
(
ε
(k)
ij + ν
1−2ν ε
(k)δij
)
, i, j, k = 1, 2.
Задача данного типа возникает при исследовании задачи со свободной гра-
ницей при взаимодействии двух упругих сред (см., например, [1], [2]), а именно
при линеаризации исходной задачи в малой окрестности стационарного реше-
ния с плоским фронтом. Изучению данной задачи в полной постановке будет
посвящена отдельная статья.
Считаем, что выполнены следующие предположения
H1) F
(i) ∈ C(0,α)(Ω
(i)
T ), Gi ∈ C(0,1+α)(ST ), Hj ∈ C(0,1+α)(ST ), i = 1, 2; j =
0, 1, 2;
H2) F
(i)|t=0 = 0, Gi|t=0 = 0, Hj|t=0 = 0, i = 1, 2; j = 0, 1, 2.
Основная особенность задачи (1)-(3) состоит в том, что в уравнении для
функции ρ первое и четвертое слагаемые являются равносильными по поряд-
ку, то есть фактически содержат вторую производную ρx1x1 . В данной связи
заметим, на примере однородной задачи, что если E1 = E2 = E, то из условия
[σ22] = −b0ρx1x1 следует, что в этом случае ρ удовлетворяет уравнению:
ρt −
(
a+
c
E
)
ρx1x1 + a0ρ+ u
(1)
2 = H0(x1, t).
Подход, предлагаемый в данной статье, состоит, в применении метода про-
должения по параметру. Введем параметр λ ∈ [0, 1] и рассмотрим уравнение
ρt − aρx1x1 + λ
(
a0ρ− u
(1)
2 + c
[σ22
E
])
= H0, x2 = 0, t > 0, (2λ)
которое при λ = 1 совпадает с уравнением (2), а при λ = 0 переходит в урав-
нение теплопроводности
ρt − aρx1x1 = H0, (20)
а значит мы можем сначала найти ρ, а потом - смещения u(1), u(2) из задачи
сопряжения (1). План работы состоит в том, чтобы 1) доказать разрешимость
108 Н. В. Краснощек
задачи (1), (20), (3); 2) получить равномерные по λ оценки решения задачи (1),
(2λ), (3); 3) применить теорему о продолжении по параметру.
Эволюционные задачи со свободными границами для эллиптических урав-
нений и систем изучались во многих работах при помощи различных подходов.
Не претендуя на полноту изложения, укажем на некоторые из них. В работе [3]
при доказательстве разрешимости линеаризованной задачи применяется метод
поточечных оценок Шаудера и теорема Фредгольма, в работах [4] и [5] метод
построения регуляризатора в пространствах Гельдера и Бесова-Никольского
соответственно, в [6] используется метод разделения переменных, в [7] - теория
полугрупп, в работе [8] исходная задача регуляризуется: для функции, опи-
сывающей отклонение свободной границы от начального положения, рассмат-
ривается параболическое уравнение 4-го порядка с малым параметром ǫ при
старших производных по пространственным переменным, а затем производит-
ся предельный переход по ǫ, в работе [9] постановка задачи (задача Веригина)
позволяет сначала "решить" задачу сопряжения для эллиптического уравне-
ния, а затем "найти" свободную границу: при этом существенную роль игра-
ет изучение модельной задачи сопряжения и последующее применение метода
Шаудера.
1. Основные обозначения. Задача при λ = 0. Оценка
максимума модуля в задаче сопряжения.
Обозначим через S окружность единичного радиуса. В дальнейшем, не
указывая на периодичность рассматриваемых функций по x1, будем говорить,
что x1 ∈ S. Введем следующие обозначения: Σ(1) = {(x1, x2) : x1 ∈ S, x2 = H1},
Σ(2) = {(x1, x2) : x1 ∈ S, x2 = −H2}, Γ = {(x1, x2) : x1 ∈ S, x2 = 0},
Ω(1) = {x : x ∈ S × (0,H1)} Ω(2) = {x : x ∈ S × (−H2, 0)}, Ω = {x : x ∈
S × (−H2,H1)}. Обозначим Σ
(1)
T = {(x, t) : x ∈ Σ(1), t ∈ (0, T )}, определив
аналогичным образом множества Σ
(2)
T , ΓT , ST , Ω
(1)
T , Ω
(2)
T , ΩT .
Пусть Q одно из множеств на плоскости, перечисленных выше. Положим
(k - целое неотрицательное число, 0 < α < 1)
|v|(0)Q = sup
Q
|v| , |v|(k)
Q =
∑
0≤|j|≤k
∣∣Djv
∣∣(0)
Q
,
〈v〉(α)
Q = sup
x,y∈Q
|v(x)−v(y)|
|x−y|α , 〈v〉(k+α)
Q =
∑
|j|=k
〈
Djv
〉(α)
Q
.
Напомним, что норма в пространстве Гёльдера задаётся формулой |v|(k+α)
Q =
|v|(k)
Q + 〈v〉(k+α)
Q .
Следуя работе [10], введем пространства C0,α (QT ), состоящее из непре-
рывных и ограниченных в QT функций v(x, t), непрерывных по Гёльдеру с
показателем α равномерно по t.
Задача сопряжения 109
Далее введем пространства C0,k+α (QT ) функций v(x, t) таких, что сами
функции и их производные по пространственным переменным до k-го поряд-
ка включительно принадлежат C0,α (QT ). Норма в пространстве C0,k+α (QT )
задается формулой
|v|(k+α)
QT
= sup
0≤t≤T
|v(·, t)|(k)
Q + sup
0≤t≤T
〈v(·, t)〉(k+α)
Q .
Для вектора u(i) принадлежность пространству C0,k+α
(
Ω
(i)
T
)
означает, что
u
(i)
j ∈ C0,k+α
(
Ω
(i)
T
)
для j = 1, 2, причем
∣∣∣u(i)
∣∣∣
(k+α)
Ω
(i)
T
=
∣∣∣u(i)
1
∣∣∣
(k+α)
Ω
(i)
T
+
∣∣∣u(i)
2
∣∣∣
(k+α)
Ω
(i)
T
.
В свою очередь, обозначим
|u|(k+α)
ΩT
=
∣∣∣u(1)
∣∣∣
(k+α)
Ω
(1)
T
+
∣∣∣u(2)
∣∣∣
(k+α)
Ω
(2)
T
.
Также будем использовать пространства
C1,2+α (ST ) =
{
v|v ∈ C0,2+α (ST ) , vt ∈ C0,α (ST )
}
и
C1,3+α (ST ) =
{
v| v ∈ C0,3+α (ST ) , vt ∈ C0,1+α (ST )
}
с нормами
‖v‖(2+α)
ST
= |v|(2+α)
ST
+ |vt|(α)
ST
и
‖v‖(3+α)
ST
= |v|(3+α)
ST
+ |vt|(1+α)
ST
соответственно.
Из Теоремы 3.0.12 работы [10] непосредственно следует следующее утвер-
ждение.
Лемма 1. Пусть H0 ∈ C0,α (ST ), тогда существует единственное классиче-
ское решение задачи (20), (3) такое, что u ∈ C1,2+α (ST ).
Рассматривая задачу вида (20), (3) для конечно-разностного отношения
(u(x+ δ, t)−u(x, t))/δ и правой части (H0(x+ δ, t)−H0(x, t))/δ, можем продиф-
ференцировать уравнение (20) по x1 и убедиться в справедливости леммы.
Лемма 2. Пусть H0 ∈ C0,1+α (ST ), тогда u ∈ C1,3+α (ST ).
110 Н. В. Краснощек
Теперь рассмотрим стационарную задачу сопряжения
1
1−2ν∇divu(i) + ∆u(i) = F
(i), x ∈ Ω(i), i = 1, 2,
σ
(1)
i2 = Gi, x ∈ Γ(1), i = 1, 2, u(2) = 0, x ∈ Γ(2),
[σ12] = φ1, [σ22] = φ2, x ∈ S, [u1] = ψ1, [u2] = ψ2, x ∈ S.
(4)
Заметим, что для единственности решения данной задачи достаточно предпо-
ложить, что u(i) ∈W 1
2 (Ω(i)), i = 1, 2. Действительно, однородную задачу можно
записать в виде
2∑
j,k,l=1
∂
∂xj
(
cijkl(x)
∂uk
∂xl
)
= 0, x ∈ Ω, i = 1, 2,
2∑
k,l=1
ci2kl
∂uk
∂xl
= 0, x ∈ Γ(1), i = 1, 2,
u = 0, x ∈ Γ(2),
здесь cijkl(x) - кусочно-постоянные компоненты тензора упругости, значения
которых зависят от E1, E2, ν. Поскольку на части границы решение обращается
в нуль, можем применить неравенство Корна и тогда
∑
i,j=1,2
∫
Ω
∣∣∣∣
∂ui
∂xj
∣∣∣∣
2
dx ≤ C
2∑
i,j,k,l=1
∫
Ω
cijkl(x)
∂uk
∂xl
∂ui
∂xj
dx = 0,
а значит u = 0 п.в. в Ω.
Подробная библиография работ, в которых изучена проблема оценки мак-
симума модуля смещений для различных задач теории упругости, приведена
в [11]. К сожалению, не удалось найти результатов, которые можно было бы
непосредственно применить к задаче (4). Поэтому ход рассуждений состоит в
следующем: используя известную из [12] оценку решения u(i) в соболевском
пространстве W 2
2 (Ω(i)) i = 1, 2, применить теорему вложения:
|u|(0)
Ω(i) ≤ Ci‖u,W 2
2 (Ω(i))‖, i = 1, 2. (5)
Обозначим через W 2
2 (Ω) прямую сумму пространств W 2
2 (Ω(1)) +W 2
2 (Ω(1)).
В силу приведенных выше соображений о единственности, можем применить
оценку Теоремы 2 работы [12] (см. также [13]):
‖u,W 2
2 (Ω)‖ ≤ K
(
∑
i=1,2
‖F(i), L2(Ω
(i))‖+
+‖G(i),W
1/2
2 (S))‖ + ‖ψi,W
3/2
2 (S)‖ + ‖φi,W
1/2
2 (S)‖
)
(6)
Задача сопряжения 111
Для дальнейших рассуждений можно огрубить последнюю оценку и записать
её в виде
‖u,W 2
2 (Ω)‖ ≤ K
∑
i=1,2
(∣∣F(i)
∣∣(0)
Ω(i) +
∣∣G(i)
∣∣(1)
S
+ |ψi|(2)S + |φi|(1)S
)
. (7)
Используя оценку (7) и вложение (5), применительно к исходной задаче сопря-
жения (1), для каждого t ∈ [0, T ] и произвольной, достаточно гладкой функции
ρ имеем
|u(·, t)|(0)Ω ≤ K̃
(
∑
i=1,2
{∣∣F(i)(·, t)
∣∣(0)
Ω(i) +
∣∣G(i)(·, t)
∣∣(1)
S
+ |Hi(·, t)|(1)S
}
+ |ρ(·, t)|(3)S
)
.
(8)
Отметим также, что непосредственно из уравнения (2) следует неравен-
ство (t ∈ [0, T ])
|ρt(·, t)|(1)S ≤ C(a0, a, c)
(
|ρ(·, t)|(3)S +
∣∣u(1)(·, t)
∣∣(2)
Γ
+
∣∣u(2)(·, t)
∣∣(2)
Γ
+|H0(·, t)|(1)S
)
.
(9)
2. Модельные задачи. Априорная оценка модельной задачи со-
пряжения.
Зададим при помощи бесконечно дифференцируемых функций {ζk}N
k=1
разбиение единицы в области Ω, т.е.
N∑
k=1
ζk(x) = 1 для всех x ∈ Ω. Обозначим
u
(i)
,k = (u
(i)
1 ζk, u
(i)
2 ζk), ρk = ρζk. Умножим выражения (1)-(3) на ζk при фикси-
рованном значении параметра k. Используя формулы приведенные в главе I
работы [14], получим следующие соотношения
1
1 − 2ν
∇divu
(i)
,k + ∆u
(i)
,k = F
(i)
k , x ∈ Ω
(i)
T , i = 1, 2, (10)
σ
(1)
i2,k = fi,k, i = 1, 2, x ∈ Σ
(1)
T , t > 0, i = 1, 2, (11)
u
(2)
,k = 0, x ∈ Σ
(2)
T , (12)
[σ12,k] = φ1,k, [σ22] = φ2,k − b0ρx1x1,k, x ∈ ΓT ,
[u1,k] = 0, [u2,k] = b1ρk x ∈ ΓT ,
(13)
ρk,t = aρk,x1x1 − a0ρk+
+λ
(
u
(1)
2,k − c
[σ22,k
E
])
+ hk(x1, t), x ∈ ΓT ,
ρk(x1, 0) = 0, x ∈ S,
(14)
112 Н. В. Краснощек
где
F
(i)
k = F
(i)ζk + 1
1−2ν
(
∇(∇ζk) · u(i) + (∇u(i)) · (∇ζk) + ∇ζk∇ · u
)
+
+
(
(∇ · (∇ζk))u(i) + ∇ζk · (∇u(i)) + (∇u(i))T · (∇ζk)
)
.
f1,k = G1ζk + E1
2(1+ν)u
(1)
2,k
∂ζk
∂x1
, f2,k = G2ζk + E1ν
2(1+ν)(1−2ν)u
(1)
1,k
∂ζk
∂x1
,
φ1,k = H1ζk + E1
2(1+ν)u
(1)
2,k
∂ζk
∂x1
− E2
2(1+ν)u
(2)
2,k
∂ζk
∂x1
,
φ2,k = H2ζk + E1ν
2(1+ν)(1−2ν)u
(1)
1,k
∂ζk
∂x1
− E2ν
2(1+ν)(1−2ν)u
(2)
1,k
∂ζk
∂x1
+
+b0(2ζk,x1ρx1,k + ζk,x1x1ρk),
hk = H0ζk − a(2ζk,x1ρx1,k + ζk,x1x1ρk) + hζk.
(15)
В зависимости от расположения носителя ζk разобъём множество индексов
k на четыре класса: 1) k ∈ K1, если носитель ζk не имеет общих точек с Σ(1), Σ(2)
и Γ ; 2) k ∈ K2, если носитель ζk имеет непустое пересечение с Σ(1) 3) k ∈ K3,
если носитель ζk имеет непустое пересечение с Σ(2); 4) k ∈ K4, если носитель
ζk имеет непустое пересечение с Γ . Соответственно, следует рассмотреть мо-
дельные задачи четырёх видов: 1) при k ∈ K1 система (10) во всей плоскости,
решение которой стремится к нулю на бесконечности; 2) k ∈ K2: система (10)
в верхней полуплоскости , решение которой стремится к нулю при x2 → +∞,
с краевым условием (11); 3) k ∈ K3: система (10) в верхней полуплоскости,
решение которой стремится к нулю при x2 → +∞, с краевым условием (12); 4)
k ∈ K3: модельная задача сопряжения на плоскости для системы (10), точную
формулировку которой дано ниже. В первых трёх случаях будем опираться на
результаты, полученные в работе [15].
Введём вспомогательные множества D(1) = {x ∈ R2 : x2 > 0}, D(2) =
{x ∈ R2 : x2 < 0}, D(1)
T = {(x, t) : x ∈ D(1), t ∈ (0.T )}, D(2)
T = {(x, t) : x ∈
D(2), t ∈ (0.T )}, ω = {x ∈ R2 : x2 = 0}, ωT = {(x, t) : x ∈ ω, t ∈ (0.T )}. Итак,
в четвертом случае рассматривается задача: найти функции w, p такие, что
1
1−2ν∇divv(i) + ∆v(i) = f (i), (x, t) ∈ D
(i)
T ,
[v1] = 0, [v2] = b1p
[σ12(v)] = φ1, [σ22(v)] = −b0px1x1 + φ2, (x, t) ∈ ωT ,
v → 0, при |x| → ∞, (16)
Задача сопряжения 113
pt = apx1x1 − a0p+ λ
(
v
(1)
2 − c
[
σ22(v)
E
])
+ g(x1, t), (x, t) ∈ ωT ,
p(x1, 0) = 0, x1 ∈ R1.
Рассмотрим вспомогательную задачу сопряжения: найти смещения s та-
кие, что
1
1−2ν∇divs(i) + ∆s(i) = f (i), (x, t) ∈ D
(i)
T ,
[s1] = 0, [s2] = 0
[σ12(s)] = φ1, [σ22(s)] = φ2, (x, t) ∈ ωT ,
s→ 0, при |x| → ∞.
(17)
Для вектор-функции w = v − s и p получим следующую задачу
1
1 − 2ν
∇divw(i) + ∆w(i) = 0, (x, t) ∈ D
(i)
T ,
[w1] = 0, [w2] = b1p
[σ12(w)] = 0, [σ22(w)] = −b0px1x1, (x, t) ∈ ωT ,
w → 0, при |x| → ∞, (18)
pt = apx1x1 − a0p+ λ
(
v
(1)
2 − c
[
σ22(w)
E
])
+ ψ(x1, t), (x, t) ∈ ωT ,
p(x1, 0) = 0, x1 ∈ R1,
где ψ = g −Bλs, а Bλs = λ(s
(1)
2 − c
[
σ22(s)
E
]
)
∣∣∣
x2=0
.
После преобразования Фурье по переменной x1 задача (18) переходит в
систему обыкновенных дифференциальных уравнений
iξ
1−2ν (iξw̃
(k)
1 +
dw̃
(k)
2
dx2
) +
d2w̃
(k)
1
dx2
2
− ξ2w̃
(k)
1 = 0,
1
1−2ν
d
dx2
(iξw̃
(k)
1 +
dw̃
(k)
2
dx2
) +
d2w̃
(k)
2
dx2
2
− ξ2w̃
(k)
2 = 0, k = 1, 2,
(19)
с граничными условиями
w̃ → 0, при |x| → ∞, (20)
114 Н. В. Краснощек
[w̃1] = 0, [w̃2] = b1p̃
iξ
2(1+ν)
[
Ek(iξw̃
(k)
2 +
dw̃
(k)
1
dx2
)
]k=1
k=2
= 0, x2 = 0,
1
(1+ν)
[
Ek
(
iξw̃
(k)
1 + ν
1−2ν (iξw̃
(k)
1 +
dw̃
(k)
2
dx2
)
)]k=1
k=2
= b0ξ
2p̃,
(21)
p̃t = −aξ2p̃− aop̃+
+λ
(
w̃
(2)
1 − c
1+ν
[
iξw̃
(k)
1 + ν
1−2ν (iξw̃
(k)
1 +
dw̃
(k)
2
dx2
)
]k=1
k=2
)
+ ψ̃, x2 = 0,
p̃(ξ, 0) = 0.
(22)
Рассмотрим сначала задачу (19)-(21) в предположении, что p̃ известно, затем
подставим полученное представление w̃ в (22) и, таким образом, найдем p̃.
Общим решением системы (19) в двух полупространствах, удовлетворяю-
щим условиям (20), являются функции
w̃1 = iξ
(
− z1
|ξ| − z2x2 + (3 − 4ν1)
z2
|ξ|
)
e−|ξ|x2,
w̃2 = (z1 + z2|ξ|x2) e
−|ξ|x2, x2 > 0,
w̃1 = iξ
(
z3|ξ| − z4x2 − (3 − 4ν1)
z4
|ξ|
)
e|ξ|x2,
w̃2 = (z3 − z4|ξ|x2) e
|ξ|x2, x2 < 0,
(23)
где zk (k = 1, .., 4)- произвольные постоянные. Подставляя выражения (23) в
граничные условия (21) и решая полученную систему, находим:
z1 =
(
E2b1{E2(3 − 4ν) +E1((2 − 2ν)2 + (1 − 2ν)2)}−
−2(3 − 4ν)(1 − ν2)b0(E1 + E2)|ξ|
)
p̃/Z,
z2 = (E2b1 − b0(1 + ν)|ξ|) ((3 − 4ν)E1 + E2) p̃/Z,
z3 = −
(
E1b1{(3 − 4ν)E1 + E2((2 − 2ν)2 + (1 − 2ν)2)+
+2(3 − 4ν)(1 − ν2)b0(E1 + E2)|ξ|}
)
p̃/Z,
z4 = − (E1b1 + b0(1 + ν)|ξ|) ((3 − 4ν)E2 + E1) p̃/Z,
Z = ((3 − 4ν)E2 + E1)((3 − 4ν)E1 + E2).
(24)
Задача сопряжения 115
Подстановка представлений (23) в уравнение (22), с учетом (24), дает
p̃t = −µξ2p̃+ µ1|ξ|p̃+ µ0p̃+ ψ̃, (30)
где
µ = a+ λ8(1−ν)(1−ν2)
Z(1+ν) сb0(E2 + E1),
µ1 = λ
Z
(
−E2b12(3 − 4ν)(1 − ν2)b0(E1 + E2)+
+2c(1−ν)
(1+ν)
(
(E2 − E1)(E2 + E1)
2b1
))
,
µ0 = λE2b1
Z {E2(3 − 4ν) + E1((2 − 2ν)2 + (1 − 2ν)2)} − ao.
(25)
Из полученных выражений для µ, µ1, µ0 следует, что можно выбрать постоян-
ную κ, такую, что
|µ0| ≤ κ, 1
κ
≤ µ ≤ κ, µ1 ≤ κ для всех λ ∈ [0, 1]. (26)
Решение уравнения (22) с нулевыми начальными данными можно записать в
виде
p̃(ξ, t) =
t∫
0
Q̃(ξ, t− τ)ψ̃(ξ, τ)dτ,
где Q̃(ξ, t) = exp
(
(−µξ2 + µ1|ξ| + µ0)t
)
. Рассмотрим отдельно функцию G̃(ξ, t) =
exp
(
(−µξ2 + µ1|ξ|)t
)
и соответственно
G(x1, t) =
1
2π
+∞∫
−∞
exp
(
(−µξ2 + µ1|ξ|)t+ iξx1
)
dξ.
Введём потенциал
v(x1, t) =
t∫
0
+∞∫
−∞
G(x1 − y, t− τ)f(y, τ)dτdy. (27)
Получим оценки констант Гельдера производных vx1x1 , vt. Очевидно, на произ-
вольном конечном интервале из них будут следовать оценки px1x1 , pt. Оценим
сначала производные G(x1, t).
Лемма 4. Имеет место оценка
∣∣Dl
tD
k
x1
G(x1, t)(x1, t)
∣∣ ≤ C(l, n,κ, T )t−
1+2l+k
2 exp
(
−Cκ
x2
1
t
)
. (28)
116 Н. В. Краснощек
Доказательство. Рассмотрим случай µ1 ≤ 0. Как видим
Dl
tD
k
x1
G(x1, t) = 1
2π
+∞∫
−∞
(−µξ2 − |µ1||ξ|)l(iξ)k×
× exp
(
(−dξ2 + d1|ξ|)t+ iξx1
)
dξ.
(29)
Поэтому предварительно оценим выражения вида
Φn(x1, t) =
+∞∫
−∞
|ξ|n exp
(
(−dξ2 + d1|ξ|)t+ iξx1
)
dξ, 0 ≤ m ≤ n.
Докажем, что
|Φn(x1, t)| ≤ C(l, n,κ, T )t−
1+n
2 exp
(
−Cκ
x2
1
t
)
, t ∈ (0, T ]. (30)
Cделаем замену ξ =
√
µtη и обозначим y = x1√
µt
, тогда
Φn = (µt)−
n+1
2
+∞∫
−∞
|η|n exp(−η2 + iyη −
√
t/µ|µ1||η|)dη.
Замена η = iy
2 + u и очевидное неравенство zn exp(−z2) ≤ cn exp(−z2/2) при
z ≥ 0 приводят к цепочке неравенств
|Φn| ≤ (µt)−
n+1
2 exp
(
−y2
4
) +∞∫
−∞
(
|u|n + |y|n
4
)
exp(−u2)du ≤
≤ c(n,κ)t−
n+1
2 exp
(
−Cκ
y2
4
) +∞∫
−∞
exp(−u2/2)du
из которых следует (30).
Из представления (29) и оценки (30) следует оценка (28) при µ ≤ 0.
Пусть теперь µ > 0. Поскольку
exp(µ1|ξ|t) = 2ch(µ1|ξ|t) − exp(−µ1|ξ|t) = 2ch(µ1ξt) − exp(−µ1|ξ|t),
функцию G можно записать в виде
G(x1, t) = 1
π
+∞∫
−∞
exp
(
(−µξ2 + iξx1
)
ch(µ1|ξ|)t)dξ−
− 1
2π
+∞∫
−∞
exp
(
(−µξ2 − µ1|ξ|)t+ iξx1
)
dξ = G(x1, t) −H(x1, t),
Задача сопряжения 117
причем функция H имеет тот же вид, что и G при µ ≤ 0. Первое же слагаемое
можно преобразовать к виду
G(x1, t) =
1√
πµt
exp
(
− x2
1
4µt
+
µ2
1t
4µ
)
cos
(
µ1x1
2µ
)
, (31)
из которого следует оценка вида (28) и для функции G.
Далее оценим функцию v(x1, t) из (27).
Лемма 4. Выполнены неравенства
а) sup
0≤t≤T
〈vx1x1(·, t)〉
(α)
R1 ≤ c(T,κ) sup
0≤t≤T
〈f(·, t)〉(α)
R1 , (32)
б) sup
0≤t≤T
〈vt(·, t)〉(α)
R1 ≤ c(T,κ) sup
0≤t≤T
〈f(·, t)〉(α)
R1 . (33)
Доказательство. Для доказательства неравенства (32), как и при получении
оценок §2 главы 4 монографии [16], используем представление
vx1x1(x1, t) =
t∫
0
+∞∫
−∞
Gx1x1(x1 − y, t− τ) (f(y, τ) − f(x1, τ)) dτdy.
Получим
vx1x1(x1, t) − vz1z1(z1, t) =
=
t∫
0
∫
|x1−y|≤2|x1−z1|
Gx1x1(x1 − y, t− τ) (f(y, τ) − f(x1, τ)) dτdy−
−
t∫
0
∫
|x1−y|≤2|x1−z1|
Gz1z1(z1 − y, t− τ) (f(y, τ) − f(z1, τ)) dτdy+
t∫
0
∫
|x1−y|≥2|x1−z1|
[Gx1x1(x1 − y, t− τ) −Gz1z1(z1 − y, t− τ)] (f(y, τ) − f(z1, τ)) dτdy+
+
t∫
0
(f(z1, τ) − f(x1, τ)) dτ
∫
|x1−y|≥2|x1−z1|
Gx1x1(x1 − y, t− τ)dy =
4∑
i=1
I4.
Поскольку оценки (28) функции G с точностью до множителя совпадают с
оценками фундаментального решения уравнения теплопроводности, первые пер-
вые три слагаемых можно оценить стандартным образом. Последнее слагаемое
118 Н. В. Краснощек
запишем в виде:
I4 =
t∫
0
(f(z1, τ) − f(x1, τ)) [Gx1(2|x1 − z1|, t− τ) −Gx1(−2|x1 − z1|, t− τ)] dτ.
Теперь рассмотрим более подробно выражение для Gx1 . Докажем, что
|Gx1(x1, t)| ≤ c(κ, T )
( |x1|
t3/2
+
1
t1/2
)
exp(−cκ
x2
1
t
). (34)
Пусть µ1 > 0, тогда
Gx1(x1, t) = − 1√
πµt
[
x1
2µt cos
(
µ1x1
2µ
)
+ µ1
2µ sin
(
µ1x1
2µ
)]
exp
(
− x2
1
2µt +
µ2
1t
4µ
)
и, значит, для Gx1(x1, t) оценка вида (34) выполнена.
Далее при помощи тех же самых преобразований, что были использованы
при доказательстве оценки (30), получим выражение
Hx1(x1, t) = i
2π
+∞∫
−∞
ξ exp
(
(−µξ2 − µ1|ξ|)t+ iξx1
)
dξ =
= i
2π
1
µt exp
(
− x2
1
4µt
) +∞∫
−∞
(
u+ ix1
2
√
µt
)
exp
(
−u2 − µ1
√
t
µ
(
u2 +
x2
1
4µt
))
du,
которое можно разбить на два слагаемых с множителями u и ix1
2
√
µt
соответ-
ственно. Причём первый интеграл, в силу нечетности подынтегральной функ-
ции равен нулю. Отсюда
|Hx1(x1, t)| ≤ C(κ) |x1|
t3/2 exp
(
− x2
1
4µt
) +∞∫
−∞
exp
(
−u2
)
du.
Т.о. оценка (34) при µ1 > 0 доказана. При µ1 ≤ 0 данная оценка, очевидно,
следует из оценки для Hx1 .
Используя (34) и замену σ = |x1−z1|
(t−τ)1/2 , получим
|I4| ≤ c(κ, T )|x1 − z1|α sup
0≤t≤T
〈f(·, t)〉(α)
R1
t∫
0
[
|x1−z1|
t3/2 exp(−cκ |x1−z1|2
t−τ ) + 1
(t−τ)1/2
]
dτ ≤
≤ c(κ, T )|x1 − z1|α sup
0≤t≤T
〈f(·, t)〉(α)
R1
+∞∫
0
exp(−cκσ2)dσ.
Т.о. оценка (32) доказана.
Задача сопряжения 119
В случае б) имеем
vt(x1, t) =
t∫
0
dτ
+∞∫
−∞
Gt(x1 − y, t− τ)(f(y, τ) − f(x, τ))dy. (35)
Рассмотрим сначала случай неположительных µ1. Непосредственно из пред-
ставления функции G следует, что Gt(x1, t) = µGx1x1(x1, t) + µ1G
∗(x1, t), где
G∗(x1, t) =
1
2π
+∞∫
−∞
|ξ| exp
(
(−µξ2 − |µ1||ξ|)t+ iξx1
)
dξ.
Имеем
vt(x1, t) = µ
t∫
0
dτ
+∞∫
−∞
Gx1x1(x1 − y, t− τ)(f(y, τ) − f(x, τ))dy+
+µ1
t∫
0
dτ
+∞∫
−∞
G∗(x1 − y, t− τ)(f(y, τ) − f(x, τ))dy + f(x1, t) =
= v′(x1, t) + v∗(x1, t) + f(x1, t).
Первое слагаемое оценено в случае а). Для второго слагаемого получим оценку
sup
R1×[0,T ]
|v∗x1
| ≤ c(T,κ) sup
0≤t≤T
〈f(·, t)〉(α)
R1 . (36)
Т.к.
G∗
x1
(x1, t) =
1
2π
+∞∫
−∞
iξ|ξ| exp
(
(−µξ2 − |µ1||ξ|)t+ iξx1
)
dξ,
аналогично оценке (30), можно убедиться в том, что
|G∗
x1
(x1, t)| ≤ c(κ, T )t−
3
2 exp(−cκ
x2
1
t
). (37)
В силу последней оценки
|v∗x1
(x1, t)| =
∣∣∣∣∣
t∫
0
dτ
+∞∫
−∞
G∗
x1
(x1 − y, τ) (f(y, τ) − f(x1, τ)) dy
∣∣∣∣∣ ≤
≤ c(κ, T ) sup
0≤t≤T
〈f(·, t)〉(α)
R1
t∫
0
dτ
+∞∫
−∞
|x1 − y|α(t− τ)−
3
2 exp(−cκ |x1−y|2
t−τ )dy.
120 Н. В. Краснощек
Замена переменной z = x1−y√
t−τ
приводит к неравенству
|v∗x1
(x1, t)| ≤ c(κ, T ) sup
0≤t≤T
〈f(·, t)〉(α)
R1
t∫
0
(t− τ)
α
2
−1dτ ·
+∞∫
−∞
zα exp(−cκz2)dz,
из которого следует (36).
При µ1 > 0, дифференцируя (31), получим
Gt − µGx1x1 = µ1G∗ ≡ µ1√
πµt
[
(µ1/4 + µ1µ)G − µ1x1
2µt3/2 sin
(
µ1x1
2µ
)
exp
(
− x2
1
2µt
)]
.
Из данного выражения видим, что для производной также справедлива оценка
вида (37). Т.о. оценка (36), а с ней и оценка (33) доказаны.
Обозначим (0 < α < 1)
〈u〉(α)
[0,T ] = sup
t,σ∈[0,T ]
|u(t) − u(σ)|
|t− σ|α .
Следует отметить, что необходимо также доказать, что функция и её произ-
водные непрерывны по переменной t.
Лемма 5. Имеют место неравенства
sup
x1∈R1
〈vx1(x1, ·)〉
( 1+α
2
)
[0,T ]
≤ C(T,κ) sup
0≤t≤T
〈f(·, t)〉(α)
R1 ,
sup
x1∈R1
〈vx1x1(x1, ·)〉
(α
2
)
[0,T ] ≤ C(T,κ) sup
0≤t≤T
〈f(·, t)〉(α)
R1 ,
(38)
sup
x1∈R1
|vt(x1, t) − vσ(x1, σ)| ≤
≤ C(T,κ) sup
0≤t≤T
〈f(·, t)〉(α)
R1 |t− σ|α/2 + sup
x1∈R1
|f(x1, t) − f(x1, σ)|.
(39)
Доказательство. Оценки (38) следуют из (32) и интерполяционных нера-
венств (см. [17])
sup
x1∈R1
〈vx1(x1, ·)〉
( 1+α
2
)
[0,T ] ≤ C
(
sup
0≤t≤T
〈vt(·, t)〉(α)
R1 + sup
0≤t≤T
〈vx1x1(·, t)〉
(α)
R1
)
,
sup
x1∈R1
〈vx1x1(x1, ·)〉
(α
2
)
[0,T ] ≤ C
(
sup
0≤t≤T
〈vt(·, t)〉(α)
R1 + sup
0≤t≤T
〈vx1x1(·, t)〉
(α)
R1
)
.
Задача сопряжения 121
Для доказательства оценки (39) используем представление (35). Для опре-
делённости считаем, что 0 ≤ σ < t ≤ T . Следуя выкладкам §2 главы 4 моно-
графии [16], запишем разность vt(x1, t) − vσ(x1, σ) в виде
vt(x1, t) − vσ(x1, σ) =
=
t∫
2σ−t
dτ
+∞∫
−∞
Gt(x1 − y, t− τ) (f(y, τ) − f(x1, τ)) dy−
−
σ∫
2σ−t
dτ
+∞∫
−∞
Gσ(x1 − y, σ − τ) (f(y, τ) − f(x1, τ)) dy+
+
2σ−t∫
0
dτ
+∞∫
−∞
[Gt(x1 − y, t− τ) −Gσ(x1 − y, σ − τ)]×
× (f(y, τ) − f(x1, τ)) dy + (f(x1, t) − f(x1, σ)) =
4∑
i=1
I4
Причем, следуя Замечанию 1, можем считать, что f(x1, t) = 0 при t ≤ 0. Пер-
вые три слагаемых оцениваются одинаковым образом на основе оценки (28).
Например, для I1 имеем
|I1| ≤ c(κ, T ) 〈f(·, t)〉(α)
R1
t∫
2σ−t
dτ
+∞∫
−∞
|x1−y|α
(t−τ)3/2 exp(−cκ |x1−y|2
t−τ )dy =
≤ c(κ, T ) 〈f(·, t)〉(α)
R1
t∫
2σ−t
(t− τ)
α
2
−1dτ
+∞∫
−∞
|x1−y|α
(t−τ)α/2 exp(−cκ |x1−y|2
t−τ ) dy
(t−τ)1/2 .
Замена z1 = x1−y
(t−τ)1/2 в интеграле по y и последующее интегрирование по τ
приводят к неравенствам
|I1| ≤ c(κ, T ) 〈f(·, t)〉(α)
R1
t∫
2σ−t
(t− τ)
α
2
−1dτ ·
+∞∫
−∞
zαexp(−cκz2)dz ≤
≤ c(κ, T ) 〈f(·, t)〉(α)
R1 |t− σ|α/2.
Поскольку
vx1(x1, t) =
t∫
0
dτ
+∞∫
−∞
Gx1(x1 − y, t− τ)f(y, τ) =
= −
t∫
0
dτ
+∞∫
−∞
Gy(x1 − y, t− τ)f(y, τ)dy =
t∫
0
dτ
+∞∫
−∞
G(x1 − y, t− τ)fy(y, τ)dy,
122 Н. В. Краснощек
из оценок (32), (33) следуют неравенства
sup
0≤t≤T
〈v(·, t)〉(3+α)
R1 + sup
0≤t≤T
〈vt(·, t)〉(1+α)
R1 ≤ c(T,κ) sup
0≤t≤T
〈f(·, t)〉(1+α)
R1 . (40)
Остается оценить функцию u из (16). Из результатов работы [12] следует оцен-
ка решения задачи (17)
2∑
i=1
sup
0≤t≤T
〈
s(i)(·, t)
〉(2+α)
D(i) ≤ C
[
2∑
i=1
(
sup
0≤t≤T
〈fi(·, t)〉(α)
D(i) + sup
0≤t≤T
〈φi(·, t)〉(1+α)
R1
)]
.
(41)
Используя теперь оценки (40) и (41) имеем
sup
0≤t≤T
〈p(·, t)〉(3+α)
R1 + sup
0≤t≤T
〈pt(·, t)〉(1+α)
R1 ≤
≤ c(T,κ)
[
2∑
i=1
(
sup
0≤t≤T
〈fi(·, t)〉(α)
D(i)+ sup
0≤t≤T
〈φi(·, t)〉(1+α)
R1
)
+ sup
0≤t≤T
〈g(·, t)〉(1+α)
R1
]
.
(42)
Рассматривая задачу (18) относительно неизвестной функции w с заданной
функцией p, из работы [12] и (42) получим
2∑
i=1
sup
0≤t≤T
〈
w(i)(·, t)
〉(2+α)
D(i) ≤ C sup
0≤t≤T
〈p(·, t)〉(3+α)
R1 ≤
≤ c(T,κ)
[
2∑
i=1
(
sup
0≤t≤T
〈fi(·, t)〉(α)
D(i)+ sup
0≤t≤T
〈φi(·, t)〉(1+α)
R1
)
+ sup
0≤t≤T
〈g(·, t)〉(1+α)
R1
]
.
(43)
Суммируя оценки (41)-(43), получим для решения задачи (16) оценку
2∑
i=1
sup
0≤t≤T
〈
u(i)(·, t)
〉(2+α)
D(i) + sup
0≤t≤T
〈p(·, t)〉(3+α)
R1 + sup
0≤t≤T
〈pt(·, t)〉(1+α)
R1 ≤
≤ c(T,κ)
[
2∑
i=1
(
sup
0≤t≤T
〈fi(·, t)〉(α)
D(i)+ sup
0≤t≤T
〈φi(·, t)〉(1+α)
R1
)
+ sup
0≤t≤T
〈g(·, t)〉(1+α)
R1
]
.
(43)
3. Априорная оценка. Теорема существования.
Следуя работе [17] введём обозначения
Задача сопряжения 123
Nt[u, ρ] = sup
0≤τ≤t
|u(·, τ)|(2+α)
Ω + sup
0≤τ≤t
|ρ(·, τ)|(3+α)
S + sup
0≤τ≤t
|ρτ (·, τ)|(1+α)
S ,
Ft =
2∑
i=1
sup
0≤τ≤t
|F(i)(·, τ)|(2+α)
Ω(i) +
2∑
i=1
sup
0≤τ≤t
|Gi(·, τ)|(2+α)
S +
2∑
i=0
sup
0≤τ≤t
|Hi(·, τ)|(2+α)
S .
При k ∈ Ki, i = 1, 2, 3 используем оценки, полученные в работе [15], при
k ∈ K4 неравенство (43). Следуя стандартной схеме (см., например, главу 3
монографии [18] ), приходим к оценке
Nt[u, ρ] ≤ c1(κ, T )
(
Ft + sup
0≤τ≤t
|u(·, τ)|(2)Ω + sup
0≤τ≤t
|ρ(·, τ)|(3)S + sup
0≤τ≤t
|ρτ (·, τ)|(1)S
)
.
Из неравенства (9) следует, что
Nt[u, ρ] ≤ c2(κ, T )
(
Ft + sup
0≤τ≤t
|u(·, τ)|(2)Ω + sup
0≤τ≤t
|ρ(·, τ)|(3)S
)
.
Применяя интерполяционные неравенства (2.1) работы [18] к функциям
u
(i)
j , i, j = 1, 2 получим
Nt[u, ρ] ≤ c3(κ, T )
(
Ft + sup
0≤τ≤t
|u(·, τ)|(0)
Ω(i) + sup
0≤τ≤t
|ρ(·, τ)|(3)S
)
.
Учитывая оценку (8), имеем
Nt[u, ρ] ≤ c4(κ, T )
(
Ft + sup
0≤τ≤t
|ρ(·, τ)|(3)S
)
.
Далее, после применения интерполяционных неравенств к функции ρ, заклю-
чаем, что
Nt[u, ρ] ≤ c5(κ, T )
(
Ft + sup
0≤τ≤t
|ρ(·, τ)|(0)S
)
≤ c5(κ, T )
(
Ft +
t∫
0
Nτ [u, ρ]dτ
)
.
Как и в работе [17], применяя к последнему неравенству лемму Гронуолла
приходим к оценке
Nt[u, ρ] ≤ С(κ, T )Ft. (46)
Из оценки (46) и теоремы о продолжении по параметру (см. §14.2 работы
[19]) вытекает следующая теорема.
Теорема 1. Пусть выполнены предположения H1), H2, тогда существует
единственное решение задачи (1)-(3): ρ ∈ C(1,3+α)(ST ), u(i) ∈ C(0,2+α)(Ω
(i)
T ),
i = 1, 2.
В заключение автор выражает глубокую признательность Б.В.Базалию и
А.И.Марковскому за полезное обсуждение данной тематики.
124 Н. В. Краснощек
1. Angheluta L., Jettestuen E., Mathiesen J., Renard F., Jamtveit B. Stress-driven phase transfor-
mation and the roughening of solid-solid interfaces // Prysical review letters – 2008. –
Vol.100(9), 096105.- p.1-4.
2. Angheluta L., Jettestuen E., Mathiesen J. The thermodynamics and roughening of solid-solid
interfaces // Physical review. E, Statistical, nonlinear, and soft matter physics - 2009, vol.
79(1), N.3.- P.7-25.
3. Базалий Б.В. Задача Cтефана для уравнения Лапласа с учетом кривизны свободной
границы // Укр. матем. журнал.- 1997. - Т. 49, №10. - С. 1299-1315.
4. Васильева Н.В. Об одной краевой задаче со старшими производными в граничном усло-
вии, возникающей при исследовани задачи Hele-Shaw с нерегулярной границей // Труды
ИПММ.- 2002. - Т. 7. - С. 33-44.
5. Mucha P. On the weak solutions to the Stefan problem with Gibbs-Thompson correction //
Differential and integral equations. - V. 20, - 2007. P. 769-792.
6. Bum Ja Jin Estimates of the solutions of the elastic system in a moving domain with free
upper interface // Nonlinear Analysis. – 2002. – v. 51. – P. 1009–1029.
7. Esher J., Simonett G. Classical solutions for Hele-Shaw models with surface tension // Adv.
Differential Eqs. – 1997. – V.2. - No. 4. – P. 619-642.
8. Cheng X., Hong J., Yi F. Existence, uniqueness of classical solutions of the Mullins-Sekerka
problem // Commun. in Partial Differential Equations, v.21, 1996, pp.1705-1727.
9. Гусаков, Дегтярев С.П. Существование гладкого решения в одной задаче фильтрации
// Укр. матем. журнал.- 1989. - 41, No.9. - С.1192-1198.
10. Lunardi A. How to use interpolation in PDE’s // Summer School on Harmonic Analysis and
PDE’s - Helsinki. - August 2003.- 34p.
11. Maremonti P., Russo R. On the existence and uniqueness of clasical solutions to the stationaty
Navier-Stokes equations and to the traction problem of linear elastostatics // Quad. Mat. -
1997.- V.1.- P.171-251.
12. Шефтель З.Г. Общая теория граничных задач для эллиптических систем с разрывными
коэффициентами // Укр. матем. журнал.- 1966. - 18, No.3. - С.132-136.
13. Житарашу Н.В. Априорные оценки и разрешимость общих краевых задач для общих
эллиптических систем с разрывными коэффициентами // Доклады АН СССР .- 1965. -
Т.165, No.1. - С.24-27.
14. Подстригач Я.С., Повстенко Ю.З Введение в механику поверхностных явлений в дфор-
мируемых твёрдых телах.- Киев.- Наукова думка.- 1985.- 200с.
15. Agmon S., Douglis A., Nirenberg Estimates near the boundary for solutions of elliptic partial
differential equations satisfying general boundary condition, II // Comm. Pure Apll. Math. -
1964. - V.17. - P.35-92.
16. Ладыженская О.А., Солонников В.А., Уральцева Н.Н. Линейные и квазилинейные урав-
нения параболического типа. – Москва: Наука, 1967. – 736 c.
17. Солонников В.А. Оценки решения второй начально-краевой задачи для системы Стокса
в пространствах функций с непрерывными по Гельдеру производными по пространстве-
ным переменным // Записки научных семинаров ПОМИ. - 1999.- Т.259. - С.254-279.
18. Ладыженская О.А., Уральцева Н.Н. Линейные и квазилинейные уравнения эллиптиче-
ского типа. – Москва: Наука, 1973. – 576 c.
19. Треногин В.А. Функциональный анализ.– Москва: Наука, 1980. – 496 c.
ИПММ НАН Украины,
ул. Розы Люксембург, 74,
83114, Донецк, Украина
krasnoschok@iamm.ac.donetsk.ua
Получено 23.07.2009
|