1204
Определение 4.В т-квазимногообразии Ŧ возьмем множество всех таких теорий в каждом
т-подквазимногообразии т-квазимногообразия Ŧ. Назовем его ядром т- квазимногообразия Ŧ. Обозначение ЯŦ.
На множестве ЯŦ введем отношение порядка. Пусть Т1 ϵ Ŧ и Т2 ϵ Ŧ. Т1 ≤ Т2 ,по определению если Т1 • Т2 = Т2.
Теорема 4. Множество ЯŦ с этим отношением является частично упорядоченным множеством и образует полную решетку, которая изоморфна решетке подквазимногообразий квазимногообразия алгебраических систем, соответствующего т-квазимногообразия Ŧ.
Библиографический список 1.Мальцев А.И. Алгебраические системы. Наука. Москва 1970. 392 с.
2.Кейслер Г., Чен Ч. Ч. Теория моделй. — М.: Мир,1977. с.
3.Бекенов М.И.Решетка формульно-определимых подквазимногообразий полных теорий квазимногообразия полных теорий. Международная конференция Мальцевские чтения Новосибирск • 2018 //. С. 180–181.
ӘОЖ 517.956.4
БЕЛГІЛІ ШЕКАРАДА УАҚЫТ БОЙЫНША ТУЫНДЫСЫ БАР БІРФАЗАЛЫ СТЕФАН ЕСЕБІ
Қойбағарова Меруерт Ойратқызы
Л. Н. Гумилев атындағы Еуразия ұлттық университетінің 4 курс студенті Ғылыми жетекші – З. Н. Сыздыкова
Жұмыста белгілі шекарада жинақталған көлем үшін бірөлшемді бірфазалық Стефан есебі қарастырылған. Кез келген уақыт аралығында классикалық шешімнің бар болуы мен шешімнің жалғыз болуы туралы теоремалар дәлелденген және -дағы шешімнің асимптотикалық жағдайы зерттелген.
Есептің қойылуын былай өрнектейік. Фазалық ауысу сызығында
шартымен берілген, бастапқы және шеттік
шарттарды қанағаттандыратын,
теңдеуінің шешімі болатын функциясы мен облысын анықтайтын функциясын табу керек.
Берілген орта облыста сұйық күйде және оның
меншікті ішкі энергиясы теріс емес деп қарастырайық. Қатты фазада облыста температура балқу температурасына, ал меншікті ішкі энергия –1-ге тең деп ұйғарамыз.
I. Шешімнің аз уақыт аралығында бар болуы
1-теорема. берілсін және болып,
t
t R xx R
0,
,
0, 0,
0, , 0 ,0 , 0 ,
0 0
, 0 0
0
x T t
const t
f t f
R x t
R R
x
x
t
xx
t
x,t T xR
t
x t x R t t T
T
, : 0 , 0
U
x t x R t t T
T
, : , 0
x, t
U
t H
T
x H
Rf 2 0, , 0 3 0,
1
f
t 0,0
x 0
0 0,0 R
0
R0 0
R0 2, 0
0 0
0 f
01
1205
і і і .
і і .
, ң і і і
і .
і і . і ің і - і
і .
і
=
і і , і
:
і і і і
- і і і :
,
,
і і , - і ің і і ің [1]- ің і
і , і і .
ң і
і і :
T T
H R t H T
t
x, T , 2 0,
4 2
, 3
3
, .
min T
1T
2T
0 0
1 2
1 M T R
T2 0
2
2
1
1 , 0
0
R
TR
0,T2
T
~
1
~ , ,
~ 0 ,
~ 0 ,
~ 0 : ,
~ 0
32, 0 0
0 0
2
3
Z
TR M R R
R R
R R
T H
t
R
,, ~
~
0 0 0 0
0 R t R R
R
Z
, 0 , 0
t xx x R t t T
, 0, 0t x f t x t T
t t T R
x
~ , 0
,
~ 0
x, 0 0
x , t 0, 0 x R t
x t x t
U ~
x, ,
xx
t U
U
x R ~ t , 0 t T 0
t f U U
x
x0, 0tT ,~ 0
UR
Ux
x R ~ t , 0 t T
x x
U , 0
0 t 0 , 0 x R ~ t
x t U ,
T
t R y x t, ~
y y T
GT , : 0 1, 0
y U
x tV , ,
~ 0
~
~1
2
yy Vy R yR R V
V
0 y1, 0
T
V V f
R~ y y0, 0
T~ 0
~
1V VR R y
y1, 0
T
y,0 0
y R0
V 0 y1,
0Powered by TCPDF (www.tcpdf.org)
2
1206
і 5.3 ң ([2])
ң ңі і і
і і , Ɍ- і
, і і ің
і і ң і і :
і,
і ің і і
ңі і і і .
ң
.
: ,
і ің і.
II. і і
і і ң і
ің і і і
.
.
1- . і .
ңі і і і і і
t R~ G
TH
2,2 2
M
T C
V
G2T 1 ,
y,V M1
. ,
max 2
1 , 0 3
, 0 0
0
T
R f
C
H T
U 2
,2
2
2 M1
T,C . UT
R
t
x
ds t s U t
x
~
,
~ ,
,
.~ 3 ,32
H t
t x
t
R
d R F
RR
t x
), ~
~(
~
0 0
00
, d R
R t
R
t
x
t
R
t ,t
.R
x
1, 2
min T T T
H
R t H T
t
x ,
T,
20 ,
4 2
, 3
3
0,Tt
0,TT
2 1
, 0 3
0 0
3 max ,
f
M
t xf ,
0 C2,1
T
x,t
Powered by TCPDF (www.tcpdf.org)
3
1207 .
2- . 1- 1- ң . [0,T]
і :
,
,̅
,,
.III.
2- . 1- 2- ң ,
3- . 2- і .
1. . . .– .: , 1967. – 407 .
2. . . .– : , 1986.–239 .
517.5
T
1,
( )
L Gp
4 -
. . . , - ,
– . .
,
.
. . [1] ̅ , ̅ .
, ,
. . . [2] , ,
𝑝, , , < 𝑝 ≤ ,
. . ,
. [3]:
, ,
:
. . , – ,
M M T
T
3
,
4 1
, 2
0 f
0., 0 )
(
lim 0
0
0 0
0
R
t R t R R x dx R
0 ) (
lim
R t
t
G
G z
d d f f
z d d
Tf f 1 ( ) 2
) , ( 1
Powered by TCPDF (www.tcpdf.org)
4