Math-Net.

Ru
All Russian mathematical portal

O. A. Oleinik, A method of solution of the general Stefan

problem, Dokl. Akad. Nauk SSSR, 1960, Volume 135,
Number 5, 1054–1057

Use of the all-Russian mathematical portal Math-Net.Ru implies that you

have read and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 198.50.184.215
July 17, 2018, 21:55:38
 Доклады Академии наук СССР
1960. Том 135, № 5

МАТЕМАТИКА

О. А. ОЛЕЙНИК

ОБ ОДНОМ МЕТОДЕ РЕШЕНИЯ ОБЩЕЙ З А Д А Ч И СТЕФАНА

(Представлено академиком И. Г. Петровским 1 VII 1960)

Известная задача Стефана о распределении тепла при промерзании

вещества при различных частных предположениях изучалась в ряде
2
работ. Наиболее общие результаты были получены в О, ). В настоящей за­
метке решение общей задачи Стефана получено как предел решений крае­
вых задач для некоторых квазилинейных уравнений с гладкими коэффи­
3
циентами, аналогично тому как в работе ( ) были решены краевые задачи
для линейных уравнений второго порядка с разрывными коэффициентами.
Мы рассматриваем случай любого конечного числа фаз, считая, что коэф­
фициенты параболических уравнений, описывающих распределение тепла
в каждой фазе, и коэффициенты в условии на линии раздела двух фаз пе­
ременные Таким же путем может быть решена стационарная задача Стефа­
на, приводящая к решению эллиптических уравнений с неизвестной грани­
4
цей, и соответствующая задача в пространстве ( ).'
1. П о с т а н о в к а з а д а ч и . Пусть S (i = 1, N) — заданные t

постоянные (значения температуры и, при которых происходят изменения

фазового состояния вещества). Точки S (S < S* + i) разбивают ось и на
t t

N + Л интервалов, которые мы занумеруем в порядке возрастания и. Через

1% обозначим t-й интервал.
Решением задачи Стефана будем называть непрерывную функцию u(t, х),
определенную в прямоугольнике Q {0 < / Т, 0 < х <^ /} и удовле­
творяющую следующим условиям:
1) Во внутренних точках Q, где значение u(t,x) принадлежит 1и
функция u(t, х) удовлетворяет уравнению

*> If = + М*. + ci(t, х)и + U(U х), i = 1 , . . . , N, (1)

где а/, 6/, d, // — заданные гладкие функции Q, fl/>a> 0 (а — некоторая
постоянная).
2) На линиях x = Xi(t), где u(t, х) = S,-, выполняется условие
ди ди
Н = , „ = М ^ ) ^ ,
+ (2)

где ki{t, х) > k > 0, %i(t, х) > 0 — гладкие функции, заданные в Q,

1=1,..., N.
3) и (0, х) = и (*),
0 и 0) = и (/),
± и (/, /) = и (*),
2 (3)
и
где u (x) Q % 2 (t) — заданные функции.
Функцию u(t, х) с указанными свойствами будем называть классическим
решением задачи Стефана. Ниже мы определим обобщенное решение
задачи Стефана, докажем его существование и единственность и исследуем
вопрос о выполнении для него условий 1) — 3 ) .
2. О п р е д е л е н и е о б о б щ е н н о г о р е ш е н и я з а д а ч и С т е ­
ф а н а . Покажем, что классическое решение задачи Стефана (1) —(3)
1054
удовлетворяет некоторому интегральному тождеству, которое положим
в основу определения обобщенного решения задачи (1) —(3). Обозначим
через k(i, х, и), a(t, х, и), b(t, х, и), c(t, х, и), f(t, х, и) функции, равные
соответственно функциям k {t, х), a (t, х), bi{t. х), c (t, х), fi(t, х) для и
t £ t

из //. Умножим уравнение (2) на k и запишем в виде £

Пусть ф (t, х, и) = 5 a (t, х, s)k{t, х, s) ds + у. при а из //, где г,- (*, х) =

г—1
= 2 ^/ (t, х), с — некоторая постоянная, с < S . Очевидно, что ф (t, х, Si
0 0 x
У=1
_)_ 0) — ф х, 5, — 0) = %t (t, х). Будем обозначать через h частную x

производную по х от h(t,x,u)n через ЗЛ/5л: производную по * от

h(t, х, u(t, х)). Аналогично используются обозначения h и dh/dt. Пусть t

и и

ч|)(/, А;, и) = J — ds, v (t, х, и) = \k (t, x, s)ds. Уравнение (4) запишем

в виде
ftp _ d*v дф-и )..
х

~я7
dt — дх 2 1
7w
дх Г П, (О)
где
H(t, x,u) = <f —'ty + kcii + kf. t x

Пусть F(t, х) — гладкая функция, F (Т, х) = F (t, 0) = F (t, I) = 0.

Умножая (5) на х), интегрируя по Q и преобразуя отдельные члены
интегрированием по частям, получим
2
dF dF
<p(t, x, u)- sr + v(t, x, ")-^2"-

—(\|? (f, x, u)—v (t, x, и)) ^ +H (t, x, u) F J d Q + ^ F (0, *) ф (0, x, u (x)) dx —

x 0

о
т т
-\v(t, 0, (0)~Л
Ul + \v(t, I, a (0) ~ d t = 0,
2 (6)
0 0
так как интегралы по линиям x = xi(t), где S = u, равны нулю в силу £

условия (2).
Обобщенным решением задачи Стефана (1) — (3) будем называть огра­
ниченную суммируемую функцию u(t,x), которая удовлетворяет интег­
ральному тождеству (6) при любой F (t, х) из указанного класса. При
этом для каждого обобщенного решения u(t,x) функциям y(t,x,u)
и Н (t, х, и), вообще говоря, разрывным при и = Si, приписываются при
u(t, х) = Si некоторые ограниченные значения, причем ф(£, х, Si — 0) <
< 9 ( * , * , S / ) < < p ( * , * , S / + 0).
3. Т е о р е м а е д и н с т в е н н о с т и . Покажем, что ограниченная функ­
ция u(t,x), удовлетворяющая (6), единственна. Это доказательство по
5
методу близко к тому, которое проведено в ( ). Мы будем предполагать,
что %i(t, х) = %i(*), i=l,..., N, c(t, х, и) =s.c(t, х), f (t, x, u) = f(t, x),
т. е. функция H (t, x, и) непрерывна по и. Доказательство сохраняет
силу и в общем случае, если Xi(t, х) > ! , > 0 и множество точек, где
и = Si, имеет меру нуль.
Пусть u (t, х) и u (t, х)—два обобщенных решения задачи (1) — ( 3 ) .
± 2

Покажем, что и ^и .
г 2

1055
 Используя (6), имеем

р (/, лс, — р (t, х, и ) 2 OF Н (/, х, и ) — Н (/, х, и») -Л < _

г п ( ) т
а Ч V 1
^ Ф (U х, и ) - (t, х, и )
г Ф а ф (/, х, и ) - ф (/, х, и )
г J ~~ > 2
Г
'

где р = — tf + t>*. Заметим, что 0 < — и ) /(ф х, — ф (/, х, и ) ) < М. 2 2

2 2
Поэтому коэффициенты при d F/dx и dF I дх в (7), а также, в силу
принятых предположений, коэффициенты при F ограничены в Q. Обозначим
их соответственно через Л, 5 и С. Покажем, что

\ \ [ф (t, х, иг) - ф (/, х, и )] Ф (*, *) dQ - 0,

2 (8)
где Ф(/, х) — произвольная гладкая финитная функция в Q. Для этого
рассмотрим в Q решение F уравнения nm

А
Т + ^ + + = Ф
(9)

с условиями F „ ( 7 \ x ) = 0, F „ ( f , 0 ) = 0, F (*,/) = 0, где Л , Я , С ~

m w n/fl л я т

гладкие, ограниченные при всех тип функции такие, что А , В , С п п т

сходятся в среднем при п, т - * о о соответственно к А, В, С. При этом

А ^1/п,
п \\А — А\\ в L (Q) меньше а/л, где а > 0 — некоторое число,
п 2

и В = АВ п а £ сходится в среднем при п—>оо к ограниченной функ­

п П1 л

ции (р (t, х, u ) — р (t, х, u ))/{v (t, x, u ) — v (t, x, u )). В силу принципа мак­
x 2 x 2

симума I F I < M где M не зависит от тип.

nm Умножая уравнение (9)
l9 x
Bt 2 2
на e d F / дх , интегрируя по Q и преобразуя отдельные члены интег­
nm

рированием по частям, получим, что

2 2 2
с с /d F \ г г /dF \
An
)) h^) dQ<M (m), 2
d ( M
2< 3(m) (10)
Q Q
для всех п. Подставляя F nm в (7) и используя (9), имеем
гг г dF 2
dF
)\ № (*, х, Щ) - Ф (/, х, и )] [Ф + (Л - 2 А ) -gjjT+iB-
п В п ) +
Q
+ (C-C )F \dQ m nm = 0. (11)
Легко показать, что при достаточно больших т и п модуль левой части
(8) меньше 8, где е > 0 — произвольное число. Отсюда следуют (8)
и равенство и = и . Действительно, выберем т настолько большим,
х 2

чтобы интеграл от последнего члена в (11) был меньше е/3. Тогда при
достаточно большом л, в силу оценок (10), интеграл от предпоследнего
члена в (11) также меньше е/3 и

П/
I Q Q Q

так как первый интеграл в правой части (12), взятый по множеству £ ,

2
где А < б, не превосходит ecu , а по множеству Q — Е не превосходит
п
2 2
a /on . Теорема доказана.
4. П о с т р о е н и е р е ш е н и я з а д а ч и С т е ф а н а (1)—(3). Пусть
{2) (1) {1)
kidC , %i и коэффициенты (1) принадлежат классу С в Q, и (х)аС > 0
v (2)
v\ x=0u=u (ty \x=i «=« (0 принадлежат С . Построим последовательности
t 2

n п
гладких функций v , У (п = 1 , . . . ) , равномерно сходящихся вместе
п n
с производными Vx и у " к v и if), причем первые производные у и v
n
и все вторые производные v > кроме равномерно ограничены по п.
1056
 л п n л
Пусть ф , с , f , ф' — ограниченные последовательности гладких функций,
сходящиеся при п->оо соответственно к ф, kc, kf и % равномерно на
любом] замкнутом множестве, не содержащем точек и 1^>х>0,

n
Рассмотрим] квазилинейное относительно v параболическое уравнение

с условиями
V V V t l = V V 1 4
" |/= 0 ^ \t=0, и=щ(ху \х=0 \х=0, u= {tyUl ^ \x=l ^ L=0. u=u (ty 2 ( )
n n п 6
Решение v = v (t, х, и ) задачи ( 1 3 ) , ( 1 4 ) построено в ( ). Мы пока­
жем, что обобщенное решение u(t, х) задачи ( 1 ) — ( 3 ) является пределом
n
при п->оо равномерно сходящейся последовательности a (t,x) решений
п
задачи (14), ( 1 3 ) . Уравнение ( 1 3 ) можно записать относительно и в виде
параболического* уравнения, для решений которого справедлив принцип
п
максимума. Поэтому | и | < М , где М не зависит от п. Оценим теперь 4 4
п
производные от и . Пусть непрерывно дифференцируемая функция V (t, х)
n
совпадает с dv / dt при х = 0 и при х = /. Умножим обе части уравне­
Bt n
ния ( 1 3 ) на e (dv /dt — V) и проинтегрируем по Q { 0 < £ < T , 0 < # < / ) } . T
n n n
Учитывая в левой части этого равенства, что dv / dt = k du / dt + v u u

ы
и преобразуя интегрированием по частям интеграл от (и*— V) е
и первый интеграл в правой части, получим энергетическую оценку

Q Q О
п
где М не зависит от п и т. Из ( 1 5 ) и ограниченности а следует ком­
ъ
п
пактность {и } в смысле равномерной сходимости. Выберем подпоследо­
п n
вательность и , сходящуюся к u(t, х). Очевидно, что соответствующие v
также сходятся равномерно. Покажем, что u (t, х) удовлетворяет ( 6 ) .
Умножая ( 1 3 ) на F (t, х), интегрируя по Q и преобразуя отдельные члены
п
интегрированием по частям, получим тождество для и , аналогичное ( 6 ) .
п п п п п
Пусть Н = % — Ух + с и + f и подпоследовательность и такова,
п
что соответствующие ей ф" и Н сходятся слабо к некоторым функциям
Ф и Н. Очевидно, что в точках (t,x), где u(t,x)=fcSi, q(t,x) =
= ф (t, х, и (t, х)) и Н (t, х) = Н (t, х, и (t, х)). В точках, где и = S/, пола­
гаем ф = ф и Н = Н. Легко показать, что ф (t, х, Si — 0) < ; ф (t, х, &)<^
п
<^Ф (t, х, Si + 0 ) . Переходя к пределу в указанном тождестве для и по этой
подпоследовательности, получим ( 6 ) .
В точках (t, х), где u(t,x)=j=Si, функция и (t, х) удовлетворяет ( 1 )
в обычном смысле, так как в окрестности такой точки она является
обобщенным решением линейного параболического уравнения с гладкими
коэффициентами. Условие (2) выполняется в интегральном смысле. В силу
n
теоремы единственности вся последовательность u (t,x) сходится равно­
мерно к и (t, х).
Московский государственный университет Поступило
им. М. В. Ломоносова 30 VI 1960

ЦИТИРОВАННАЯ ЛИТЕРАТУРА
1
С. Л. К а м е н о м о с т с к а я , Научн. докл. высш. школы, № 1, 60 (1958).
2
С. Л. К а м е н о м о с т с к а я , Некоторые задачи для уравнений параболического типа
3
с неизвестной границей, Кандидатская диссертация, МГУ, 1958. О. А. О л е й н и к,
4
УМН, 1 4 , в. 5 (89), 164 (1959). О. А. О л е й н и к, С. Н. К р у ж к о в , УМН, 1 5 ,
6 6
в. 5 (89), 203 (1960). О. А. О л е й н и к, УМН, 1 2 , в. 3 (75), 3 (1957). О. А. О л е й-
н и к, Т. Д . В е н т ц е л ь, Матем. сборн., 4 1 (83), 105 (1957).
1057