Ş.GÜR
CONTINUOUS DEPENDENCE SOLUTIONS OF PHASE FIELD EQUATIONS ON INITIAL AND BOUNDARY VALUES
Ş.GÜR*
*Sakarya Üniversitesi Fen Edebiyat Fakültesi , Matematik Bölümü, Sakarya, Türkiye sgur@sakarya.edu.tr
ABSTRACT
In this paper, continuous dependence of solutions of phase-field equations on initial and boundary value is investigated.
Keywords.: Phase field equation, Continuous dependence
FAZ ALAN DENKLEMLERİNİN ÇÖZÜMLERİNİN BAŞLANGIÇ VE SINIR DEĞERLERİNE SÜREKLİ BAĞIMLILIĞI
ÖZET
Bu çalışmada Faz Alan denklemlerinin çözümlerinin başlangıç ve sınır değerlerine sürekli bağımlılığı incelenmiştir.
Anahtar Kelimeler:Faz alan denklemi, Sürekli bağımlılık.
1.GİRİŞ
= +
Δ
− ( , ) ( , ) )
,
( ξ
2φ φ
τφ
tx t x t f x = 2 u ( x , t ) + h
1( x , t ) ( x , t ) ∈ Q
T (1)) , ( ) , ( )
, ( ) ,
( x t
2x t K u x t h
2x t
u
t+
lφ
t= Δ + ( x , t ) ∈ Q
T (2)) , ( t x
Γ
= φ
∂φ
,u
Γ= u
∂( t x , )
( x , t ) ∈ ∂ Ω × ( 0 , T ]
(3)) ( ) 0 ,
( x φ
0x
φ =
,u ( x , 0 ) = u
0( x ) x ∈ Ω
(4)Ş.GÜR problemini ele alalım. Burada
Q
T= Ω × ( 0 , T ]
,Ω ⊂ R
nn ≥ 1
yeterince düzgün∂ Ω
sınırına sahip sınırlı bir bölge,Γ = ∂ Ω × ( 0 , T ]
,φ
0,u
0,φ
∂,u
∂,h
1, h
2 vef
ise verilmiş fonksiyonlardır., l , τ
ξ
veK
ise incelenen materyalin özelliğine bağlı olarak değişen pozitif parametreler olup, sırasıyla uzunluk ‘’skalası’’ nı, ‘’dinlenme’’ zamanını, erime ya da donma ısısını ve ısı iletkenliğini karakterize etmektedirler.Faz geçişleri teorisinin esas modellerinden biri olan faz alan denklem sistemi ile ilgili çalışmalar çok uzun yıllardan beri devam etmektedir. Bu çalışmada gözönüne aldığımız matematiksel model ile ilgili çalışmalar ise 1980 li yıllarda başlamıştır. [1] de G.Çağınalp problemin matematiksel modelini bulmuş ve problemin çözümünü elde etmiştir. [2] de Brochet, Hilhorst ve Chen (1)-(2) yi homogen, (3) sınır koşulunu homogen Neumann koşulu olarak almışlar ve
( , ) φ
0u
0∈ ( L
2( ) Ω )
2olması durumunda problemin iyi konulmuş olduğunu ispat etmişlerdir. [3] de Kalantarov (3) ve (4) sınır koşullarını homogen olarak almış ayrıca h1ve h2 fonksiyonlarını sadece x ’e bağlı olarak alarak problemin çözümünün varlığını ,tekliğini, başlangıç verilerine sürekli bağımlılığını ve attractorun varlığını göstermiştir.
Bu çalışmada ise (1)-(4) probleminin başlangıç ve sınır değerlerinde meydana gelen değişikliklerin çözümü nasıl etkilediği incelenmiştir.
2. SÜREKLİ BAĞIMLILIK
TEOREM . (1)-(4) probleminin
( Ω ) ∩ ( Ω ) ∩
= 0 , ; ( ) 0 , ; ( ) )
( Q W
21T L
2L
2T W
21V
T{ =
Γ=
∂}
∩ v ( x , t ) v ( x , 0 ) v
0( x ), v v
olmak üzere
V ( Q
T) × V ( Q
T)
sınıfından olan çözümü ( [4],[5],[6] )2 1 1 2 1 1 2
1
) ( , ) ( 1 )
,
( x s f x s c s s s s
f − ≤ +
p−+
p−−
eşitsizliğinin sağlanması durumunda başlangıç ve sınır değerlerine sürekli bağımlıdır.
Burada
n = 1 , 2
isep ∈ , [ ] 1 ∞
,n ≥ 3
ise⎢⎣ ⎡ ⎥⎦ ⎤
∈ − , 2 1 n
p n
dir.İSPAT. Farklı başlangıç ve sınır değerleri için (1)-(4) probleminin çözümlerini
{ φ
1,u
1}
ve{ φ
2,u
2}
olarak alalım. Bu durumdaφ
1− φ
2= ϕ
veu
1− u
2= u
,~ '
1 1
1
h h
h = −
,~ '
2 2
2
h h
h = −
,ϕ
∂= ( φ
1)
∂− ( φ
2)
∂Ş.GÜR
) ( ) ( ) ( ) ( )
(
1 0 2 00
x φ x φ x
ϕ = −
,u
∂= ( u
1)
∂− ( u
2)
∂u
0( x ) = ( u
1)
0( x ) − ( u
2)
0( x )
olmak üzere
{ } ϕ , u
için1 2
1
2
~
2 ) , ( ) ,
( x f x u h
t
− ξ Δ ϕ + f φ − φ = +
τϕ
(5)2 2
h ~ u K
u
t+
lϕ
t= Δ +
(6)Γ ∂ Γ
= ϕ
∂, u = u
ϕ
(7)) ( ) 0 , ( ), ( ) 0 ,
( x = ϕ
0x u x = u
0x
ϕ
(8)problemini alabiliriz. (5)-(8) problemine
ϕ = w + ϕ ~
veu = v + u ~
dönüşümlerini uygulayalım. Böylece (5)-(8) problemi1 2
1
2
~
2 ) , ( ) ,
( x f x u h
t
− ξ Δ ϕ + f φ − φ = +
τϕ
(9)2 2
h ~ u K
u
t+
lϕ
t= Δ +
(10)= 0
=
ΓΓ
v
w
(11)0 ) 0 , ( ) 0 ,
( x = x v =
w
(12)problemine dönüşmüş olur. Burada
w = w
1− w
2,v = v
1− v
2,ϕ ~ = φ ~
1− φ ~
2,= 0
=
ΓΓ
v
w
,u ~ = u ~
1− u ~
2 vew ( x , 0 ) = x v ( , 0 ) = 0
dır.(9) u
w
t+ w
ile (10) isev
tv l
l
22 4 + τ
ile çarpıp, Ω üzerinde integral alalım ve elde edilen terimleri taraf tarafa toplayalım:
Ω
∫
− f x w dx x
f ( , ) ( , ))
t( φ
1φ
2≤ c ϕ ϕ
t +c ϕ ϕ ~
t + tL
n n
t
cc ϕ ϕ
2
)
21
(
−
+
+ L t
n n
t c
c ( ) ϕ ϕ ~
2
1 2
−
ve
Ω
∫
− f x wdx x
f
b ( ( , φ
1) ( , φ
2)) ≤ b c ϕ
2+b c ϕ ϕ ~
+ϕ ϕ
2
)
21
(
− n
L n
t c c
b
++
( ) ϕ ϕ ~
2
1 2
n−
L n
t
cc
b
Ş.GÜR eşitsizlikleri yardımıyla
2
ϕ
tτ
+4
2l K ∇ u
+2
2 2u
tl
τ
+ξ
2∇ ϕ
2+⎥ ⎦
⎢ ⎤
⎣
⎡
2∇
2+
2+
2∇
2+
22 2
2 ϕ τ τ ϕ
ξ u
l u K l dt
d ≤
≤ τ ( ϕ
t, ϕ ~
t)
+~ , )
( h
1ϕ
t +2( ϕ
t, u ~ )
+(
t, u ~
t) l ϕ
τ
+τ ( ϕ
t, ϕ ~ )
+c ϕ ϕ
t ++ L t
n n
t c
c ϕ ϕ
2
)
21
(
−
+
( u u
t)
l
K , ~
2
2
∇ ∇
τ
+( u u )
l
K , ~
4 ∇ ∇
+(
tu
t)
l ϕ ,
τ
++
( u
tu
t)
l , ~ 2
2
τ
+ 2( )
2, ~ 2 u h l
tτ
+4 ( , ~ ) u
l u
t +ξ
2( ∇ ϕ , ∇ ϕ ~
t)
+ξ
2( ∇ ϕ , ∇ ϕ ~ )
++ L t
n n
t c
c ( ) ϕ ϕ ~
2
1 2
−
+
ϕ ϕ
2
)
21
(
− n
L n
t c
c
+( ) ϕ ϕ ~
2
1 2
− n
L n
t c
c
+2 ( u , ϕ ~
t)
++
~ , )
4 (
2
u
l h
+2 ( u , ϕ )
+2 ( u , ϕ ~ )
+~ , )
( h
1ϕ
+c ϕ ϕ ~
t +c ϕ
2+c ϕ ϕ ~
+~ , ~ ) 4 (
2
u l h
++
~ , ~ )
( h
1ϕ
t +~ , ~ )
( h
1ϕ
+~ )
~ , 2 (
2
u h
2l
tτ
(13)eşitsizliği elde edilir. (13) ün sağ tarafındaki ifadelere sırasıyla Cauchy-Schwarz ve
ε
- Young eşitsizliklerini uygulayalım.ε
un yeterince küçük alınmasıyla (13),2
4 ϕ
tτ
+ 2 22 u
tl
τ
+⎥
⎦
⎢ ⎤
⎣
⎡
2∇
2+
2+
2∇
2+
22 2
2 ϕ τ τ ϕ
ξ b
l u u K l dt
d ≤
≤ a
1( t ) ∇ ϕ
2+3 2
2l u
l ⎟
⎠
⎜ ⎞
⎝
⎛ +
+ 2u
2l K ∇
τ
+a
2( t ) ϕ
2+A (t )
(14)şeklinde yazılabilir. Burada
a
1( t )
vea
2( t )
verilen fonksiyonlara ve parametrelere bağlıdırlar.Ş.GÜR Ayrıca,
( ~ ( ), ~ ( ), ~ ( ), ~ ( ), )
( t A t t t t
A = ϕ ∇ ϕ ϕ
t∇ ϕ
t)
)
~ ( ),
~ ( ),
~ ( ),
~ ( ),
~ ( ),
~ (
2
1
t h t
h t u t u t u t
u ∇
t∇
tve
c
2 ise(
2 2 ( ))
2 2
21 2
2
~
Ω+
∇
≤
−
W
L
c
n
n
ϕ ϕ
ϕ
eşitsizliğindeki sabittir.
)
~ ( 1 ) , ( , 2 ) ( , 2 2
2
max 3 l a
12t a
2t c t
⎭ =
⎬ ⎫
⎩ ⎨
⎧ +
τ ξ
ve
2 2
2 2 2 2
2 2
) 2
( ξ ϕ τ b τ ϕ
l u u K t l
Y = ∇ + + ∇ +
olarak alalım.
ϕ
t 2veu
t 2 nin katsayıları pozitif olduğundan (14) den) ( ) ( )
~ ( )
( c t Y t A t dt
t
dY ≤ +
(15)elde edilir.
(15) e Gronwall eşitsizliğinin uygulanmasıyla
⎥ ⎦
⎢ ⎤
⎣
⎡ +
⎭ ⎬
⎫
⎩ ⎨
≤ ⎧ ∫
tc s ds Y ∫
tA s ds
t Y
0 0
) ( ) 0 ( )
~ ( exp )
( ∀ t ∈ [ T 0 , ]
eşitsizliği elde edilerek ispat tamamlanmış olur.
Ş.GÜR KAYNAKLAR
[1] Caginalp, G. An analysis of a phase field model of a free boundary Arch. Rat. Mech.
Anal.92, 205-245, 1986.
[2] Brochet, D., Hilhorst, D., Chen, X., Finite dimensional exponential attractor for the phase field model, Appl. Analysis, vol.49, 197-212, 1993.
[3] Kalantarov, V.K. On the minimal global attractor of a system of phase field equations, Zap.Nauchn.Semin. LOMI, 188, 70-86, 1991.
[4] Soltanov, K.N. On nonlinear equations of the form: F(x; u;Du; u) = 0Δ .Russian Acad. Sic. Sb. Math. 80.(1995) no:2 367-3923, 1995.
[5] Soltanov, K.N. Some imbedding theorems and nonlinear differential equations, Trans. Acad. Sci. Azerb. Ser. Phys.-Tech. Math. Sci. 19, 125-146, 1999.
[6] Gür, Şevket. Faz Alan Denklemleri için Başlangıç sınır değer problemlerinin çözümlerinin global davranışı. Doktora Tezi. Hacettepe Üniversitesi. 2004.