‡©•§

Æ9 ‘‡
ÌùP“: Á•ô
uHnóŒÆêÆÆ
 È©/ª Gronwall Ø ª

·‚k0 ˜‡Í¶ Ø ª -‚ 9 (Gronwall) Ø

ª.
Ún 4.6 (È©/ª Gronwall Ø ª)
u(t), α(t), k(t) ´ [a, b] þ šKëY¼ê, A ´š
K~ê, …÷vÈ©Ø ª
Z t
u(t) 6 A + (α(s)u(s) + k(s))ds, t ∈ [a, b],
a

K t ∈ [a, b] ž , k
Z t  Z t  Z s  
u(t) 6 exp α(τ )dτ A+ k(s)exp − α(τ )dτ ds .
a a a

1oÙ V-.•§ 1›Êù UþØ ª 2 / 17

 È©/ª Gronwall Ø ª
Rt
y - v(t) = A + a (α(s)u(s) + k(s))ds, K u(t) 6 v(t) …
v(a) = A, ‡ ©

v 0 (t) 6 α(t)v(t) + k(t).

=
  Z t    Z t 
d
exp − α(τ )dτ v(t) 6 k(t)exp − α(τ )dτ ,
dt a a

È©Œ
 Z t  Z t  Z s 
exp − α(τ )dτ v(t) 6 v(a)+ k(s)exp − α(τ )dτ ds.
a a a

Úny..

1oÙ V-.•§ 1›Êù UþØ ª 3 / 17

 ‡©/ª Gronwall Ø ª

Ú n 4.6 ‰ Ñ È©/ª Gronwall Ø ª, aq

y²L§Œ ‡©/ª Gronwall Ø ª.
Ún 4.7 (‡©/ª Gronwall Ø ª)
u(t) ´ [a, b] þ š K ë Y Œ ‡ ¼ ê, α(t), k(t) ´
[a, b] þ šKëY¼ê, …÷v‡©Ø ª
u0 (t) 6 α(t)u(t) + k(t), t ∈ [a, b],

K3 [a, b] þ , k
Z t  Z t  Z s  
u(t) 6 exp α(τ )dτ u(a) + k(s)exp − α(τ )dτ ds .
a a a

1oÙ V-.•§ 1›Êù UþØ ª 4 / 17

 UþØ ª

é·Ü¯K



 utt − a2 ∆u = f (x1 , · · · , xn , t), (x1 , · · · , xn ) ∈ Ω, t > 0,




u|t=0 = 0, ut |t=0 = 0, (x1 , · · · , xn ) ∈ Ω,




  ∂u 
+ σu  = 0,

 
∂ν Γ×[0,∞)
(1)
·‚Uïáe¡ UþØ ª.

1oÙ V-.•§ 1›Êù UþØ ª 5 / 17

 UþØ ª

) u(x1 , · · · , xn , t) 3 Ω þ L2 Œ È, P
Z
1
E0 (t) = u2 (x1 , · · · , xn , t)dx1 · · · dxn ,
2 Ω

é þ ª ' u t ¦ , d Cauchy Ø ª,
Z
dE0 (t)
= uut dx1 · · · dxn
dt Ω
Z Z
1 2 1
6 u dx1 · · · dxn + u2t dx1 · · · dxn
2 Ω 2 Ω

6 E0 (t) + E(t).

1oÙ V-.•§ 1›Êù UþØ ª 6 / 17

 UþØ ª

d Gronwall Ø ª, dþª
Z t
t
E0 (t) 6 E0 (0)e + e t
e−τ E(τ )dτ.
0

du · Ü ¯ K (1) U þ Å ð , = E(t) = E(0),

E0 (t) 6 et E0 (0) + E(0)(et − 1), (2)

¡þª•UþØ ª, ½¡k O.

1oÙ V-.•§ 1›Êù UþØ ª 7 / 17

 )'uЊ ëY•65

dUþØ ª, · ‚ Œ ±e·Ü¯K) ëY•

65.




 utt − a2 ∆u = f (x1 , · · · , xn , t), (x1 , · · · , xn ) ∈ Ω, t > 0,





u|t=0 = ϕ(x1 , · · · , xn ), ut |t=0 = ψ(x1 , · · · , xn ), (x1 , · · · , xn ) ∈ Ω,




  

 ∂u 

 + σu  = µ(x1 , · · · , xn , t).
∂ν Γ×[0,∞)
(3)

1oÙ V-.•§ 1›Êù UþØ ª 8 / 17

 )'uЊ ëY•65

½n 4.15
· Ü ¯ K (3) ), 3 e ã ¿ Â e ' u Ð © ê â ´ -
½ : ∀ε > 0, ∃δ > 0, • ‡

||ϕ1 (·) − ϕ2 (·)||L2 (Ω) < δ, ||ψ1 (·) − ψ2 (·)||L2 (Ω) < δ,
||∇ϕ1 (·) − ∇ϕ2 (·)||L2 (Ω) < δ, ||ϕ1 (·) − ϕ2 (·)||L2 (Γ) < δ,

Ò k ± ϕ1 , ψ1 • Ð Š ) u1 † ± ϕ2 , ψ2 • Ð Š ) u2 ƒ
, ÷ v ||u1 (·, t) − u2 (·, t)||L2 (Ω) < ε, ½
Z TZ
(u1 (x1 , · · · , xn , t) − u2 (x1 , · · · , xn , t))2 dx1 · · · dxn dt < ε2 T.
0 Ω

1oÙ V-.•§ 1›Êù UþØ ª 9 / 17

 )'uЊ ëY•65

y - ϕ = ϕ1 − ϕ2 , ψ = ψ1 − ψ2 , u = u1 − u2 , u

´ u(x1 , · · · , xn , t) ÷v X e ½ ) ¯ K :


utt − a2 ∆u = 0, (x1 , · · · , xn ) ∈ Ω, t > 0,










 u|t=0 = ϕ(x1 , · · · , xn ), ut |t=0 = ψ(x1 , · · · , xn ), (x1 , · · · , xn ) ∈ Ω,





  ∂u 

+ σu  = 0.

 

∂ν Γ×[0,∞)

1oÙ V-.•§ 1›Êù UþØ ª 10 / 17

 )'uЊ ëY•65

dž 1
Z
E0 (t) = u2 (x1 , · · · , xn , t)dx1 · · · dxn ,
2 Ω
Z
1
E0 (0) = ϕ2 (x1 , · · · , xn )dx1 · · · dxn .
2 Ω

0 6 t 6 T ž, UþØ ª (2) Œ ¤
E0 (t) 6 eT E0 (0) + E(0)(eT − 1)
Z
1
6 eT ϕ2 dx1 · · · dxn
2 Ω
Z h Z 
1 2
i
+ (eT − 1) ψ + a2 |∇ϕ|2 dx1 · · · dxn + a2 σ ϕ2 dS .
2 Ω Γ

1oÙ V-.•§ 1›Êù UþØ ª 11 / 17

 )'uЊ ëY•65

=
ku1 (·, t) − u2 (·, t)k2L2 (Ω)

6 e kϕ1 (·) − ϕ2 (·)k2L2 (Ω) + kψ1 (·) − ψ2 (·)k2L2 (Ω)
T


2
+a k∇ϕ1 (·) − ∇ϕ2 (·)k2L2 (Ω) 2
+ a σkϕ1 (·) − ϕ2 (·)k2L2 (Γ)

< eT 2 + a2 + a2 σ δ 2 ,

¤±
q
||u1 (·, t) − u2 (·, t)||L2 (Ω) < δ eT (2 + a2 + a2 σ).

1oÙ V-.•§ 1›Êù UþØ ª 12 / 17

 )'uЊ ëY•65
n
o− 12
eÀ T 2 2
δ =ε e 2+a +a σ ,K

ku1 (·, t) − u2 (·, t)kL2 (Ω) < ε.

²• 'u t È©Œ
Z T Z
(u1 − u2 )2 dx1 · · · dxn dt < ε2 T.
0 Ω

½ny..

1oÙ V-.•§ 1›Êù UþØ ª 13 / 17

 )'u å ëY•65
'u·Ü¯K )é å ë Y • 6 5, ‡ ï á ‘
åŠ^ U þ Ø ª. d½ n 4.13 y ² Œ•
Z
dE(t)
= ut f dx1 · · · dxn
dt Ω
Z Z
1 2 1
6 u dx1 · · · dxn + f 2 dx1 · · · dxn
2 Ω t 2 Ω
Z
1
6 E(t) + f 2 dx1 · · · dxn .
2 Ω
1
- 2
(x1 , · · · , xn , t)dx1 · · · dxn = F (t), d Gronwall Ø
R
2 Ωf
ª Z t
t
E(t) 6 e E(0) + e t
e−τ F (τ )dτ. (4)
0

1oÙ V-.•§ 1›Êù UþØ ª 14 / 17

 )'u å ëY•65

|^±þØ ª Ò Œ y ² : é u · Ü ¯ K (3),
å 3 , « ¿ Â e Š“ ‡ U C” ž, é A ) • ´“ ‡ U
C” . ¯KŒ8(•é



 utt − a2 ∆u = f (x1 , · · · , xn , t), (x1 , · · · , xn ) ∈ Ω, t > 0,



u|t=0 = 0, ut |t=0 = 0, (x1 , · · · , xn ) ∈ Ω,



  ∂u 
+ σu  = 0,

 
∂ν Γ×[0,∞)

y² å f “é ” ž, éA )•´“ é ” .

1oÙ V-.•§ 1›Êù UþØ ª 15 / 17

 )'u å ëY•65

•d, d
Z t
t
E0 (t) 6 e E0 (0) + e t
e−τ E(τ )dτ,
0

ò (4) ¥ E(t) “ \ þ ª , d ž E(0) = 0, E0 (0) = 0,

Z T Z TZ
T 1
E0 (t) 6 T e F (τ )dτ = T eT f 2 dx1 · · · dxn dτ, 0 6 t 6 T,
0 2 0 Ω

R R  21
T
dþªŒ•, •‡ 0 Ω
f 2
dx 1 · · · dx n dt é , éA
R R  12
T
||u(·, t)||L2 (Ω) ½ 0 Ω
u2 (x1 , · · · , xn , t)dx1 · · · dxn dt •é .

1oÙ V-.•§ 1›Êù UþØ ª 16 / 17

Œ[œ