Trong mục này chỳng tụi s‡ nghiản cứu t‰nh trơn theo t cıa cĂc
hàm giĂ trị riảng và cĂc hàm vectơ riảng cıa bú toĂn tò U (λ; t).
Định nghĩa 3.2.1 Mºt hàm giĂ trị phức λ(t) xĂc định và liản tục
trản mºt khoÊng con R nào đú cıa [0; T ] sao cho λ(t) là giĂ trị riảng
cıa toĂn tò A(t) với mọi t 2 R đưổc gọi là mºt hàm giĂ trị riảng cıa
họ toĂn tò A(t).
Hàm giĂ trị riảng λ(t) đưổc gọi là cú bºi khụng đŒi n‚u cĂc bºi
h nh học, bºi riảng và bºi đ⁄i sŁ cıa λ(t1) và λ(t2) tương ứng b‹ng
nhau với mọi t1; t2 2 R. Khi đú bºi cıa λ(t1) cũng đưổc gọi là bºi
cıa hàm giĂ trị riảng λ(t).
Hàm giĂ trị riảng λ(t) đưổc gọi là bĂn đơn (tương ứng, đơn) n‚u
λ(t) là giĂ trị riảng bĂn đơn (tương ứng, đơn) cıa toĂn tò A(t) với
mỉi t 2 R.
Định nghĩa 3.2.2 GiÊ sò λ(t) là mºt hàm giĂ trị riảng cıa họ toĂn
tò A(t) xĂc định trản R ⊂ [0; T ]. Mºt hàm ’(t) xĂc định trản R nh“n14
giĂ trị trong X đưổc gọi là mºt hàm vectơ riảng cıa họ toĂn tò A(t)
tương ứng với hàm giĂ trị riảng λ(t) n‚u, với mỉi t 2 R, ’(t) là vectơ
riảng cıa toĂn tò A(t) tương ứng với giĂ trị riảng λ(t)
27 trang |
Chia sẻ: trungkhoi17 | Lượt xem: 468 | Lượt tải: 0
Bạn đang xem trước 20 trang tài liệu Tóm tắt Luận án Bài toán biên ban đầu đối với phương trình Parabilic trong miền trụ với đấy không trơn - Nguyễn Thành Anh, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
à Γ = S∞ = S ì [0,+∞).
Giả sử
L = L(x, t, ∂x) =
m∑
|α|,|β|=0
(−1)|α|∂αx (aαβ(x, t) ∂βx ) (1.1)
là một toỏn tử vi phõn bậc 2m tự liờn hợp hỡnh thức. Giả sử
Bj = Bj(x, t, ∂x) =
∑
|α|6àj
bjα(x, t)∂αx , j = 1, . . . ,m, (1.2)
là một hệ của cỏc toỏn tử (vi phõn) biờn trờn ST . Ta giả sử ordBj =
àj 6 m − 1 với j = 1, . . . , J, và m 6 ordBj = àj 6 2m − 1 với j =
J + 1, . . . ,m, và giả thiết rằng cỏc hệ số của Bj khụng phụ thuộc t
nếu ordBj < m. Giả thiết rằng cỏc hệ số của cỏc toỏn tử L và Bj cú
đạo hàm mọi cấp bị chặn trờn GT . Giả sử rằng {Bj(x, t, ∂x)}mj=1 là
một hệ chuẩn tắc trờn ST và đẳng thức tớch phõn sau
B(t, u, v) =
∫
G
Luvdx+
J∑
j=1
∫
S
ΦjuBjvds+
m∑
j=J+1
∫
S
BjuΦjvds
5đỳng với mọi u, v ∈ C∞(G) và hầu khắp t ∈ [0, T ], trong đú Φj , j =
1, . . . ,m, cỏc toỏn tử biờn trờn S và
B(t, u, v) =
m∑
|α|,|β|=0
∫
G
aαβ(., t) ∂βxu∂αx vdx.
Ta kớ hiệu
HmB (G) =
{
u ∈Wm2 (G) : Bju = 0 trờn S với j = 1, . . . , J
}
với chuẩn vốn cú trong Wm2 (G). Bởi H
−m
B (G) ta kớ hiệu khụng gian
đối ngẫu của HmB (G). Ta viết 〈., .〉 để kớ hiệu dạng đối ngẫu giữa
HmB (G) và H
−m
B (G), và (., .) để kớ hiệu tớch vụ hướng trong L2(G).
Trong luận ỏn này ta giả thiết B(t, u, v) là HmB (G)−elliptic đều theo
t ∈ [0, T ], nghĩa là, bất đẳng thức B(t, u, u) > %0‖u‖2Wm2 (G) đỳng với
mọi u ∈ HmB (G) và mọi t ∈ [0, T ].
Giả sửX,Y là cỏc khụng gian Banach. Ta kớ hiệu bởiW 12 (0, T ;X,Y )
khụng gian bao gồm cỏc hàm u ∈ L2(0, T ;X) sao cho đạo hàm suy
rộng ut = u′ tồn tại và thuộc L2(0, T ;Y ). Chuẩn trongW 12 (0, T ;X,Y )
xỏc định bởi ‖u‖W 12 (0,T ;X,Y ) =
(‖u‖2L2(0,T ;X) +‖ut‖2L2(0,T ;Y )) 12 . Để cỏc
kớ hiệu được ngắn gọn, ta đặt
H l,0(GT ) = L2(0, T ;W l2(G)), H
l,1(GT ) = W 12 (0, T ;W
l
2(G), L2(G)),
Hm,0B (GT ) = L2(0, T ;H
m
B (G)), H
m,1
B (GT ) = W
1
2 (0, T ;H
m
B (G), L2(G)),
H−m,0B (GT ) = L2(0, T ;H
−m
B (G)),
H−m,1B (GT ) = W
1
2 (0, T ;H
−m
B (G), L2(G)),
H
m,1
B (GT ) = W
1
2 (0, T ;H
m
B (G), H
−m
B (G)),
H
−m,1
B (GT ) = W
1
2 (0, T ;H
−m
B (G), H
−m
B (G)).
Trong luận ỏn này chỳng tụi nghiờn cứu trong luận này là bài
toỏn biờn ban đầu đối với phương trỡnh parabolic sau
ut+Lu =f trong GT , (1.3)
Bju =0, trờn ST , j = 1, . . . ,m, (1.4)
u|t=0=φ trờn G. (1.5)
6Định nghĩa 1.1.1 Giả sử f ∈ H−m,0B (GT ), φ ∈ L2(G). Hàm u ∈
H
m,1
B (Q) gọi là nghiệm suy rộng của bài toỏn (1.3)- (1.5) nếu u(., 0) =
φ và đẳng thức
〈ut, v〉+B(t, u, v) = 〈f(., t), v〉 (1.6)
đỳng với hầu khắp t ∈ (0, T ) và mọi v ∈ HmB (G).
1.2 Tớnh giải được duy nhất của bài toỏn
Trong bài này chỳng tụi chứng minh sự tồn tại duy nhất nghiệm
suy rộng của bài toỏn (1.3)- (1.5). Sự duy nhất nghiệm được chứng
minh bằng phương phỏp đỏnh giỏ năng lượng. Cũn sự tồn tại được
chứng minh bằng phương phỏp Galerkin.
Bổ đề 1.2.1 Giả sử F (t, ., .) là một dạng song tuyến tớnh trờn HmB (G)
ìHmB (G) thỏa món |F (t, v, w)| 6 C‖v‖HmB (G)‖w‖HmB (G) (C = const )
với mọi t ∈ [0,+∞) và v, w ∈ HmB (G), và F (., v, w) là đo được
[0,+∞) với mỗi cặp v, w ∈ HmB (G). Giả sử u ∈ Hm,1B (Q) thỏa
u(., 0) = 0 và
〈ut(., t), v(., t)〉+B(t, u(., t), v(., t)) =
∫ t
0
F (θ, u(., θ), v(., t))dθ
với hầu khắp nơi t ∈ [0,+∞) và mọi hàm v xỏc định trờn Q, v ∈
Hm,0B (Gτ ) với τ là số dương bất kỡ. Khi đú u ≡ 0 trờn Q.
Định lớ 1.2.2 Nếu f ∈ H−m,0B (Q), φ ∈ L2(G) thỡ bài toỏn (1.3)-
(1.5) tồn tại duy nhất nghiệm suy rộng u ∈ Hm,1B (Q) thỏa món
‖u‖2
Hm,1B (Q)
6 C
(‖φ‖2L2(G) + ‖f‖2H−m,0B (Q)), (1.7)
trong đú C là hằng số khụng phụ thuộc φ, f và u.
Chương 2
TÍNH CHÍNH QUY CỦA NGHIỆM
Mục đớch chớnh của chương này là nghiờn cứu tớnh chớnh quy của
nghiệm suy rộng của bài toỏn theo biến thời gian trong khụng gian
7Hm,1B (Q) và tớnh chớnh quy theo cỏc biến khụng gian và thời gian
trong cỏc khụng gian Sobolev cú trọng. Tớnh chớnh quy theo biến
thời gian được chứng minh bằng cỏch kết hợp cỏc kết quả về tồn tại
duy nhất nghiệm suy rộng của bài toỏn, phương phỏp xấp xỉ Galerkin
trờn cựng với phương phỏp quy nạp toỏn học. Để xột chớnh quy theo
cỏc biến khụng gian và thời gian trong cỏc khụng gian Sobolev cú
trọng, phương phỏp chớnh là chuyển số hạng chứa đạo hàm theo biến
thời gian của ẩn hàm sang vế phải và coi bài toỏn nhận được như
là bài toỏn biờn elliptic phụ thuộc tham số. Sau đú sử dụng cỏc kết
quả về tớnh chớnh quy của nghiệm của bài toỏn elliptic trong miền
với biờn chứa điểm nún và kết quả về tớnh chớnh quy của nghiệm suy
rộng theo biến thời gian của chương trước để nhận được cỏc kết quả
mong muốn. Kết quả chớnh của chương này là Định lớ 2.2.3, Định
lớ 2.3.4 và Định lớ 2.3.6. Nội dung chớnh của chương này được viết
dựa theo phần sau của cỏc bài bỏo số 1, 2, 3 trong danh mục cỏc
cụng trỡnh của tỏc giả.
2.1 Đại cương
Kớ hiệu bởi V l2,γ(G), W
l
2,γ(G) (γ ∈ R) cỏc khụng gian Sobolev
cú trọng với cỏc chuẩn ‖u‖V l2,γ(G) =
( ∑
|α|6l
∫
G r
2(γ+|α|−l)|∂αxu|2dx
) 1
2 ,
‖u‖W l2,γ(G) =
( ∑
|α|6l
∫
G r
2γ |∂αxu|2dx
) 1
2 . Nếu l > 1, V l−
1
2
2,γ (S),W
l− 1
2
2,γ (S)
kớ hiệu lần lượt cỏc khụng gian vết của hàm thuộc V l2,γ(G),W
l
2,γ(G)
trờn biờn S. Bởi W h2 ((0, T );X) ta kớ hiệu khụng gian Sobolev của cỏc
hàm nhận giỏ trị trong khụng gian Banach X xỏc định trờn (0, T ) với
chuẩn ‖f‖Wh2 ((0,T );X) =
( h∑
k=0
∫ T
0 ‖d
kf(t)
dtk
‖2Xdt
) 1
2
. Để cỏc kớ hiệu ngắn
gọn, ta đặt
W h2 ((0, T )) = W
h
2 ((0, T );C),W
l,h
2 (ΩT ) = W
h
2 ((0, T );W
l
2(Ω)),
V l,h2,γ (GT ) = W
h
2 ((0, T );V
l
2,γ(G)), V
l− 1
2
,h
2,γ (ST ) = W
h
2 ((0, T );V
l− 1
2
2,γ (∂G)),
W l,h2,γ(GT ) = W
h
2 ((0, T );W
l
2,γ(G)),W
l− 1
2
,h
2,γ (ST ) = W
h
2 ((0, T );W
l− 1
2
2,γ (∂G)).
8Cuối cựng kớ hiệu bởiW2ml,l2,γ (GT ),W
2ml,l
2,γ (GT ) (γ ∈ R) cỏc khụng gian
Sobolev cú trọng,
‖u‖
W2ml,l2,γ (GT )
=
∫
GT
( ∑
|α|+2mk62ml
k<l
r2γ−2km|∂αxutk |2 +
l∑
k=0
|utk |2
)
dxdt
1
2
,
‖u‖
W2ml,l2,γ (GT )
=
∫
GT
( ∑
|α|+2mk62ml
r2γ |∂αxutk |2 +
l∑
k=0
|utk |2
)
dxdt
12 .
2.2 Tớnh chớnh quy của nghiệm theo biến thời
gian
Bổ đề 2.2.1 Giả sử φ ∈ HmB (G) và f ∈ L2(Q). Khi đú nghiệm suy
rộng u trong Hm,1B (Q) của bài toỏn (1.3)- (1.5) thực tế thuộc H
m,1
B (Q)
và bất đẳng thức sau
‖u‖2
Hm,1B (Q)
6 C
(‖φ‖2HmB (G) + ‖f‖2L2(Q)) (2.1)
đỳng với hằng số C khụng phụ thuộc g, f, và u.
Bổ đề 2.2.2 Giả sử φ ∈ HmB (G) và f ∈ H−m,1B (Q). Khi đú nghiệm
suy rộng u trong Hm,1B (Q) của bài toỏn (1.3)- (1.5) thực tế thuộc
Hm,1B (Q) và bất đẳng thức sau
‖u‖2
Hm,1B (Q)
6 C
(‖φ‖2HmB (G) + ‖f‖2H−m,1B (Q)) (2.2)
đỳng với hằng số C khụng phụ thuộc g, f, và u.
Giả sử φ ∈ W (2h+1)m2,loc (G), f ∈ W2hm,h2,loc (Q), trong đú h một số
nguyờn dương. Ta đặt φ0 := φ, φ1 := f(., 0)−L(x, 0, ∂x)φ0, . . . , φh :=
fth−1(., 0)−
∑h−1
k=0
(
h−1
k
)
Lth−1−k(x, 0, ∂x)φk. Ta núi điều kiện phự hợp
9bậc h đối với bài toỏn (1.3)-(1.5) thỏa món nếu cỏc hàm φ0, . . . , φh−1
thuộc W 2m2,loc(G) và
s∑
k=0
(
s
k
)
(Bj)ts−k(x, 0, ∂x)φk|S = 0, s = 0, . . . , h− 1, j = 1, . . . ,m.
Định lớ 2.2.3 Giả sử h là một số nguyờn khụng õm. Giả sử φ ∈
W
(2h+1)m
2,loc (G), f ∈W2hm,h2,loc (Q) sao cho φk ∈Wm2 (G), ftk ∈ L2(Q) với
k = 0, . . . , h và, nếu h > 1, điều kiện phự hợp bậc h đối với bài toỏn
(1.3)- (1.5) thỏa món. Khi đú nghiệm suy rộng u ∈ Hm,1B (Q) của bài
toỏn (1.3)- (1.5) thỏa món utk ∈ Hm,1B (Q) với k = 0, . . . , h, và
h∑
k=0
‖utk‖2Hm,1B (Q) 6 C
h∑
k=0
(
‖φk‖2Wm2 (G) + ‖ftk‖
2
L2(Q)
)
, (2.3)
trong đú C là hằng số khụng phụ thuộc vào u, f, φ.
2.3 Tớnh chớnh quy của nghiệm trong khụng
gian Sobolev cú trọng
Trong mục này chỳng tụi sẽ thiết lập định lớ về tớnh chớnh quy của
nghiệm suy rộng của bài toỏn trong khụng gian cú trọng W2ml,l2,γ (Q).
Trước hết chỳng tụi đưa ra một số bổ đề bổ trợ.
Bổ đề 2.3.1 Giả sử u ∈ W l2,γ(G) với 0 < γ +
n
2
6 l. Khi đú với
số nguyờn bất kỡ k > 0, u cú thể viết được u = v + w, trong đú
v ∈ V l2,γ(G) và w ∈W l+k2,γ+k(G), hơn nữa,
‖v‖2
V l2,γ(G)
+ ‖w‖2
W l+k2,γ+k(G)
6 C‖u‖2
W l2,γ(G)
(2.4)
với hằng số C khụng phụ thuộc u.
Hơn nữa, nếu giả thiết thờm rằng u|S ∈ V l−q−
1
2
2,γ−q (S), q là một số
nguyờn bộ hơn l, l > 1, thỡ u|S ∈ V l−
1
2
2,γ (S).
10
Bổ đề 2.3.2 Giả sử u ∈Wm2 (G) ∩W 2m2,loc(G) là một nghiệm của bài
toỏn
L(x, t0, ∂x)u = f trong G, (2.5)
Bj(x, t0, ∂x)u = gj trờn S, j = 1, . . . ,m. (2.6)
với f ∈W 02,m(G), gj ∈W
2m−àj− 12
2,m (S) Khi đú u ∈W 2mm (G) và
‖u‖2W 2mm (G) 6 C
(‖f‖2W 02,m(G) + m∑
j=1
‖gj‖
W
2m−àj− 12
2,m (S)
+ ‖u‖2Wm2 (G)
)
,
trong đú hằng số C là khụng phụ thuộc u, f và t0.
Bổ đề 2.3.3 Giả sử l, s là cỏc số nguyờn khụng õm, l > 2m, và γ là
một số thực. Giả sử u ∈W l,02,γ(Q) là nghiệm của bài toỏn sau
L(x, t, ∂x)u = f trong Q, (2.7)
Bj(x, t, ∂x)u = gj trờn Γ, j = 1, . . . ,m. (2.8)
Khi đú nếu f ∈W l−2m+s,02,γ+s (Q), g ∈W
l−àj− 12+s,0
2,γ+s (Γ) thỡ u ∈W l+s,02,γ+s(G)
và
‖u‖2
W l+s,02,γ+s(G)
6 C
(‖f‖2
W l−2m+s,02,γ+s (Q)
+ ‖g‖2
W
l−àj− 12+s,0
2,γ+s (Γ)
+ ‖u‖2
W l,02,γ
(G)
)
với hằng số C khụng phụ thuộc u, f, g.
Bõy giờ là lỳc chỳng tụi đưa ra định lớ chớnh của mục này.
Định lớ 2.3.4 Giả sử h là một số nguyờn khụng õm và cỏc giả thiết
của Định lớ 2.2.3 thỏa món. Giả thiết thờm rằng f ∈W2hm,h2,(2h+1)m(Q).
Khi đú nghiệm suy rộng u ∈ Hm,1(Q) của bài toỏn (1.3)- (1.5) thuộc
W
(2h+2)m,h+1
2,(2h+1)m (Q). Hơn nữa ta cú đỏnh giỏ
‖u‖2
W
(2h+2)m,h+1
2,(2h+1)m
(Q)
6 C
( h∑
k=0
‖φk‖2Wm2 (G) + ‖f‖
2
W2hm,h
2,(2h+1)m
(Q)
)
,
trong đú C là hằng số khụng phụ thuộc u, f, φ.
11
Trong phần cũn lại của mục này chỳng tụi sẽ thiết lập định lớ về
tớnh chớnh quy của nghiệm suy rộng của bài toỏn trong khụng gian
cú trọng W2ml,l2,γ (Q). Những kết quả này là mạnh hơn so với những
kết quả của mục trước. Tuy nhiờn, chỳng chỉ đạt được nhờ giả thiết
về phổ của bú toỏn tử tương ứng với bài toỏn.
Trước hết ta giới thiệu về bú toỏn tử tương ứng với bài toỏn. Giả
sử L = L(t, ∂x),Bj = Bj(t, ∂x) phần chớnh của L(x, t, ∂x),Bj(x, t, ∂x)
tại x = 0. Bởi vậy ta cú thể viết L(t, ∂x),Bj(t, ∂x) dưới dạng
L(t, ∂x) = r−2mL (ω, t, ∂ω, r∂r),Bj(t, ∂x) = r−àjBj(ω, t, ∂ω, r∂r).
Ta đặt U (λ, t) = (L (ω, t, ∂ω, λ),Bj(ω, t, ∂ω, λ)) với λ ∈ C, t ∈ [0, T ]
và gọi là bú toỏn tử tương ứng với bài toỏn (1.3)-(1.5).
Bổ đề 2.3.5 Giả sử u ∈W l,02,γ(Q) là một nghiệm của bài toỏn
L(x, t, ∂x)u = f trong Q (2.9)
Bj(x, t, ∂x)u = gj trờn Γ,j = 1, . . . ,m, (2.10)
trong đú f ∈ W k−2m,02,δ (Q), gj ∈ W
k−àj− 12 ,0
2,δ (Γ), l, k là một số nguyờn
> 2m, k − δ > l − γ, γ + n
2
/∈ {1, . . . , l}, δ + n
2
/∈ {1, . . . , k}. Giả sử
dải −γ + l − n
2
6 Reλ 6 −δ + k − n
2
khụng chứa giỏ trị riờng nào
của U (λ, t) với mọi t ∈ (0,+∞). Khi đú u ∈W k,02,δ (Q) và
‖u‖2
Wk,02,δ (Q)
6 C
(‖f‖2
Wk−2m,02,δ (Q)
+
m∑
j=1
‖gj‖2
W
k−àj− 12 ,0
2,δ (Γ)
+ ‖u‖2
W l,02,γ(Q)
)
(2.11)
với hằng số C khụng phụ thuộc u, f, gj.
Sau đõy là định lớ chớnh của mục này.
Định lớ 2.3.6 Giả sử h là một số nguyờn khụng õm và cỏc giả thiết
của Định lớ 2.2.3 thỏa món. Giả thiết thờm rằng 0 6 γ 6 m, γ+ n
2
/∈
{1, . . . , 2(h+ 1)m} và f ∈W2hm,h2,γ (Q). Hơn nữa giả sử dải m−
n
2
6
12
Reλ 6 −γ+ 2hm+ 2m− n
2
khụng chứa giỏ trị riờng nào của U(λ, t)
với mọi t ∈ (0,+∞). Khi đú nghiệm suy rộng u ∈ Hm,1(Q) của bài
toỏn (1.3)- (1.5) thuộc W2(h+1)m,h+12,γ (Q) và
‖u‖2
W
2(h+1)m,h+1
2,γ (Q)
6 C
( h∑
k=0
‖φk‖2Wm2 (G) + ‖f‖
2
W2hm,h2,γ (Q)
)
, (2.12)
trong đú C là hằng số khụng phụ thuộc vào u, f, φ.
Chương 3
BIỂU DIỄN TIỆM CẬN CỦA NGHIỆM
Mục đớch chớnh của chương này là nghiờn cứu dỏng điệu tiệm cận
nghiệm suy rộng trong lõn cận của điểm nún. Phương phỏp chớnh
dựng để nghiờn cứu là sử dụng cỏc kết quả về nhiễu giải tớch của cỏc
toỏn tử tuyến tớnh, tuyến tớnh húa cỏc bú toỏn tử phụ thuộc đa thức
và cỏc kết quả về biểu diễn của nghiệm của bài toỏn elliptic trong
lõn cận của điểm nún. Kết quả chớnh của chương này là Định lớ 3.3.3
và Định lớ 3.3.4. Để đạt được cỏc kết quả này, Định lớ 3.2.5 và Bổ
đề 3.3.1 là những kết quả quan trọng. Nội dung chớnh của chương
này được viết dựa theo cụng trỡnh số 5, riờng hai mục 3.4, 3.5 chỳng
tụi dựa theo cụng trỡnh số 4 trong danh mục cỏc cụng trỡnh của tỏc
giả.
3.1 Đại cương
Giả sử X,Y là cỏc khụng gian Banach. Ta xột bú toỏn tử
U (λ) =
l∑
j=0
Ajλ
j (3.1)
trong đú Aj ∈ L(X,Y ), j = 0, . . . , l, λ ∈ C. Nếu λ0 ∈ C, ϕ0 ∈ X
sao cho ϕ0 6= 0,U (λ0)ϕ0 = 0, thỡ λ0 được gọi là một giỏ trị riờng
của U (λ) và ϕ0 ∈ X được gọi là một vectơ riờng tương ứng với λ0.
Λ = dim kerU (λ0) được gọi là bội hỡnh học của giỏ trị riờng λ0.
Hạng của vectơ riờng ϕ0, kớ hiệu bởi rankϕ0, là độ dài cực đại của
13
cỏc xớch Jordan tương ứng với vectơ riờng ϕ0. Tổng cỏc hạng của một
hệ cỏc vectơ riờng tạo thành một cơ sở của kerU (λ0) gọi là bội đại
số (hay gọi ngắn gọn là bội) của giỏ trị riờng λ0. Một giỏ trị riờng cú
bội đại số bằng bội hỡnh học (cỏc bội riờng đều bằng 1) thỡ gọi là giỏ
trị riờng bỏn đơn (semi-simple). Một giỏ trị riờng bỏn đơn thỡ chỉ cú
cỏc vectơ riờng mà khụng cú vectơ riờng suy rộng tương ứng với nú.
Giả sử A ∈ L(X). Cỏc khỏi niệm giới thiệu ở trờn (giỏ trị riờng,
vectơ riờng, vectơ suy rộng, bội hỡnh học, bội đại số, xớch Jordan, hệ
chớnh tắc cỏc xớch Jordan) của bú toỏn tử λI−A cũn được gọi là của
toỏn tử A.
Kớ hiệu bởi Ca([0, T ];X) tập cỏc hàm giỏ trị trong X xỏc định và
giải tớch trờn [0, T ]. Ta núi rằng f ∈ C∞,a(DT ) nếu f ∈ Ca([0, T ];C l(D))
với mọi số nguyờn khụng õm l. Trong chương này, chỳng tụi giả thiết
thờm rằng: cỏc hệ số của toỏn tử L(x, t, ∂x) thuộc lớp C∞,a(GT ) và
cỏc hệ số của cỏc toỏn tử biờn Bj = Bj(x, t, ∂x) thuộc lớp C∞,a(∂Gì
[0, T ]).
3.2 Giỏ trị riờng và cỏc hàm riờng của bú toỏn
tử tương ứng với bài toỏn
Trong mục này chỳng tụi sẽ nghiờn cứu tớnh trơn theo t của cỏc
hàm giỏ trị riờng và cỏc hàm vectơ riờng của bú toỏn tử U (λ, t).
Định nghĩa 3.2.1 Một hàm giỏ trị phức λ(t) xỏc định và liờn tục
trờn một khoảng con R nào đú của [0, T ] sao cho λ(t) là giỏ trị riờng
của toỏn tử A(t) với mọi t ∈ R được gọi là một hàm giỏ trị riờng của
họ toỏn tử A(t).
Hàm giỏ trị riờng λ(t) được gọi là cú bội khụng đổi nếu cỏc bội
hỡnh học, bội riờng và bội đại số của λ(t1) và λ(t2) tương ứng bằng
nhau với mọi t1, t2 ∈ R. Khi đú bội của λ(t1) cũng được gọi là bội
của hàm giỏ trị riờng λ(t).
Hàm giỏ trị riờng λ(t) được gọi là bỏn đơn (tương ứng, đơn) nếu
λ(t) là giỏ trị riờng bỏn đơn (tương ứng, đơn) của toỏn tử A(t) với
mỗi t ∈ R.
Định nghĩa 3.2.2 Giả sử λ(t) là một hàm giỏ trị riờng của họ toỏn
tử A(t) xỏc định trờn R ⊂ [0, T ]. Một hàm ϕ(t) xỏc định trờn R nhận
14
giỏ trị trong X được gọi là một hàm vectơ riờng của họ toỏn tử A(t)
tương ứng với hàm giỏ trị riờng λ(t) nếu, với mỗi t ∈ R, ϕ(t) là vectơ
riờng của toỏn tử A(t) tương ứng với giỏ trị riờng λ(t).
Định nghĩa 3.2.3 Giả sử λ(t) là một hàm giỏ trị riờng của họ toỏn
tử A(t) xỏc định trờn R ⊂ [0, T ]. Một hệ ϕ1(t), . . . , ϕΛ(t) cỏc hàm
xỏc định trờn R nhận giỏ trị trong X được gọi là một hệ chớnh tắc
cỏc hàm vectơ riờng của họ toỏn tử A(t) tương ứng với hàm giỏ trị
riờng λ(t) nếu với mỗi t ∈ [0, T ], {ϕ1(t), . . . , ϕΛ(t)} là một hệ chớnh
tắc cỏc vectơ riờng của toỏn tử A(t) tương ứng với giỏ trị riờng λ(t).
Bằng cỏch thay họ toỏn tử A(t) bởi bú toỏn tử U (λ, t), ta cú cỏc
khỏi niệm hàm giỏ trị riờng, tớnh đơn, bỏn đơn và tớnh bội khụng đổi
của hàm giỏ trị riờng, khỏi niệm hàm vectơ riờng và hệ chớnh tắc cỏc
hàm vectơ riờng của bú toỏn tử U (λ, t).
Bổ đề 3.2.4 Giả sử A(t) ∈ Ca([0, T ];L(X)). Giả sử D0 là một miền
con liờn thụng trong C sao cho với mỗi t ∈ [0, T ], ∂D0 ∩ ρ(A(t)) = ∅
và D0 ∩ ρ(A(t)) là tập hữu hạn cỏc giỏ trị riờng cú bội hữu hạn của
A(t). Khi đú:
(i) Tồn tại cỏc hàm giỏ trị phức λk(t), k = 1, . . . , N , liờn tục trờn
[0, T ] sao cho {λ1(t), . . . , λN (t)} là tập tất cả cỏc giỏ trị riờng của
toỏn tử A(t) trong D0 với mọi t ∈ [0, T ] (Nghĩa là cỏc giỏ trị riờng
của họ toỏn tử A (t) cú thể sắp xếp để trở thành N hàm giỏ trị riờng
xỏc định trờn toàn đoạn [0, T ]).
(ii) Nếu giả thiết thờm rằng cỏc hàm giỏ trị riờng trờn cú đồ thị
khụng cắt nhau từng đụi một (điều này tương đương với mỗi hàm giỏ
trị riờng đú cú bội khụng đổi) thỡ cỏc hàm này giải tớch trờn [0, T ].
(iii) Nếu giả thiết thờm nữa rằng cỏc hàm giỏ trị riờng trờn là
bỏn đơn thỡ tồn tại một hệ chớnh tắc cỏc hàm vectơ riờng ϕkj(t), j =
1, . . . ,Λk, của họ toỏn tử A(t) tương ứng với hàm giỏ trị riờng λk(t)
(k = 1, . . . , N) gồm cỏc hàm thuộc Ca([0, T ], X).
Định lớ sau đõy là quan trọng để thiết lập tớnh trơn theo thời gian
của cỏc hàm trong biểu diễn của nghiệm sau này.
Định lớ 3.2.5 Giả sử γ1, γ2 là cỏc số thực, γ1 < γ2, sao cho trờn cỏc
đường Reλ = γj, j = 1, 2, khụng chứa giỏ trị riờng nào của bú toỏn
15
tử U (λ, t) với mọi t ∈ [0, T ] và dải
D1 := {λ ∈ C : γ1 < Reλ < γ2} (3.2)
chứa ớt nhất một giỏ trị riờng của U (λ, t0) với t0 ∈ [0, T ] nào đú.
Giả sử thờm rằng cỏc hàm giỏ trị riờng của bú toỏn tử U (λ, t) trong
D1 cú bội khụng đổi và bỏn đơn. Khi đú tồn tại cỏc hàm số λk(t),
k = 1, . . . , N , giải tớch trờn [0, T ] sao cho {λ1(t), . . . , λN (t)} là tập
tất cả cỏc giỏ trị riờng của toỏn tử U (λ, t) trong dải D1. Hơn nữa,
với mỗi k ∈ {1, . . . , N}, tồn tại một hệ chớnh tắc cỏc hàm vectơ riờng
ϕkj(ω, t), j = 1, . . . ,Λk,
của bú toỏn tử U (λ, t) tương ứng với giỏ trị riờng λk(t) gồm cỏc hàm
thuộc lớp C∞,a(ΩT ).
3.3 Biểu diễn tiệm cận của nghiệm của bài
toỏn trong lõn cận điểm nún
Bổ đề 3.3.1 Giả sử u ∈ V l1,h2,γ1 (GT ) là một nghiệm của bài toỏn
L(t, ∂x)u = f trong GT , (3.3)
Bj(t, ∂x)u = gj trờn ST , j = 1, . . . ,m, (3.4)
trong đú f ∈ V l2−2m,h2,γ2 (GT ), gj ∈ V
l2−àj− 12 ,h
2,γ2
(ST ), l1, l2 > 2m, γ1 −
l1 > γ2 − l2. Giả sử rằng cỏc đường Reλ = −γi + li − n2 (i = 1, 2)
khụng chứa cỏc giỏ trị riờng của U (λ, t) với mọi t ∈ [0, T ], và cỏc
hàm giỏ trị riờng nằm trong dải
−γ1 + l1 − n2 < Reλ < −γ2 + l2 −
n
2
của bú toỏn tử U (λ, t) là bỏn đơn và khụng giao nhau (hay cú bội
khụng đổi). Khi đú cú một lõn cận V của gốc tọa độ của Rn sao cho
trong VT nghiệm u cú biểu diễn
u(x, t) =
N∑
à=1
rλà(t)
Λà∑
k=1
càk(t)ϕàk(ω, t) + w(x, t), (3.5)
16
trong đú w ∈ V l2,h2,γ2 (KT ), càk(t) ∈W h2 ((0, T )), λ1(t), . . . , λN (t) là cỏc
hàm giỏ trị riờng của bú toỏn tử U (λ, t) xỏc định trờn [0, T ] như kết
quả của Định lớ 3.2.5, Λà là bội của hàm giỏ trị riờng λà(t),
ϕàk(ω, t), k = 1, . . . ,Λà,
là một hệ chớnh tắc cỏc hàm vectơ riờng của bú toỏn tử U (λ, t) tương
ứng với hàm giỏ trị riờng λà(t) gồm cỏc hàm thuộc C∞,a(ΩT ).
Bổ đề 3.3.2 Giả sử
f = rλ0(t)−2m
s∑
σ=0
1
σ!
(ln r)σfs−σ, (3.6)
gj= rλ0(t)−àj
s∑
σ=0
1
σ!
(ln r)σgj,s−σ,j = 1, . . . ,m, (3.7)
trong đú fσ ∈ W l−2m,h2 (ΩT ), gj,σ ∈ W
l−àj− 12 ,h
2 (∂ΩT ), σ = 0, . . . , s,
j = 1, . . . ,m. Giả sử rằng nếu λ0(t) là giỏ trị riờng của U (λ, t) với
một t nào đú, thỡ nú là một hàm giỏ trị riờng bỏn đơn với bội khụng
đổi của U (λ, t) xỏc định trờn [0, T ]. Khi đú cú một nghiệm u của bài
toỏn (3.3), (3.4) cú dạng
u = rλ0(t)
s+κ∑
σ=0
1
σ!
(ln r)σus+κ−σ (3.8)
trong đú uσ ∈ W l,h2 (ΩT ), σ = 0, . . . , s + κ. Ở đõy κ = 1 hoặc κ = 0
tựy theo λ0(t) cú là một hàm giỏ trị riờng của U (λ, t) hay khụng.
Định lớ 3.3.3 Giả sử u ∈ V l1,h2,γ1 (GT ) là một nghiệm của bài toỏn
L(x, t, ∂x)u = f trong GT , (3.9)
Bj(x, t, ∂x)u = gj trờn ST , j = 1, . . . ,m, (3.10)
trong đú f ∈ V l2−2m,h2,γ2 (GT ), gj ∈ V
l2−àj− 12 ,h
2,γ2
(ST ), l1, l2, h là cỏc số
nguyờn khụng õm, l1, l2 > 2m, l1 − γ1 < l2 − γ2. Giả sử rằng cú cỏc
số thực δ0, δ2, . . . , δM sao cho
δ0 = γ1 + l2 − l1, δM = γ2, 0 < δd−1 − δd 6 1, d = 1, . . . ,M,
17
và cỏc đường
Reλ = −δd + l2 − n2 , d = 0, . . . ,M,
khụng chứa cỏc giỏ trị riờng của bú U (λ, t) với mọi t ∈ [0, T ], cũn
cỏc hàm giỏ trị riờng nằm trong dải
−δ0 + l2 − n2 < Reλ < −δM + l2 −
n
2
của bú toỏn tử U (λ, t) đều bỏn đơn và khụng giao nhau (hay cú bội
khụng đổi). Gọi λ1(t), λ2(t), . . . , λN (t) là cỏc hàm giỏ trị riờng xỏc
định trờn [0, T ] của U (λ, t) nằm trong dải đú. Giả sử thờm rằng
nếu λj(t0) = λk(t0) + s với j, k ∈ {1, . . . , N}, với số nguyờn s và
t0 ∈ [0, T ], thỡ λj(t) = λk(t) + s với mọi t ∈ [0, T ]. Khi đú nghiệm u
cú biểu diễn
u =
N∑
à=1
`à∑
τ=0
rλà(t)+τPà,τ (ln r) + w, (3.11)
trong đú w ∈ V l2,h2,γ2 (GT ), Pà,τ là cỏc đa thức với cỏc hệ số thuộc
W l2,h2 (ΩT ), `à là số nguyờn nhỏ nhất lớn hơn −γ2−λà(t)−1+ l2−
n
2
với mọi t ∈ [0, T ].
Sau đõy là định lớ về biểu diễn tiệm cận của nghiệm của bài toỏn biờn
ban đầu (1.3)-(1.5) trong lõn cận của điểm nún.
Định lớ 3.3.4 Giả sử cỏc giả thiết của Định lớ 2.3.4 thỏa món và
u ∈ Hm,1B (Q) là nghiệm suy rộng của bài toỏn (1.3)- (1.5). Giả thiết
cú cỏc số thực δ0, δ2, . . . , δM sao cho
δ0 > max(m, 2m− n2 ), δM > 0, 0 < δd−1 − δd 6 1, d = 1, . . . ,M,
và cỏc đường
Reλ = −δd + 2m− n2 , d = 0, . . . ,M,
18
khụng chứa cỏc giỏ trị riờng của bú U (λ, t) với mọi t ∈ [0, T ], cũn
cỏc hàm giỏ trị riờng nằm trong dải
−δ0 + 2m− n2 < Reλ < −δM + 2m−
n
2
của bú toỏn tử U (λ, t) đều bỏn đơn và khụng giao nhau (hay cú bội
khụng đổi). Gọi λ1(t), λ2(t), . . . , λN (t) là cỏc hàm giỏ trị riờng xỏc
định trờn [0, T ] của U (λ, t) nằm trong dải đú. Giả thiết thờm rằng
nếu λj(t0) = λk(t0) + s với j, k ∈ {1, . . . , N}, với số nguyờn s và
t0 ∈ [0, T ], thỡ λj(t) = λk(t) + s với mọi t ∈ [0, T ].
Khi đú u cú biểu diễn
u =
N∑
à=1
`à∑
τ=0
rλà(t)+τPà,τ (ln r) + w, (3.12)
trong đú w ∈ V 2m,h2,δM (GT ), Pà,τ là cỏc đa thức với cỏc hệ số thuộc
W 2m,h2 (ΩT ), `à là số nguyờn nhỏ nhất lớn hơn −δM−λà(t)−1+2m−
n
2
với mọi t ∈ [0, T ].
3.4 Bài toỏn biờn mẫu cho toỏn tử cấp hai
trong miền gúc
Trong mục này chỳng tụi xột cỏc bài toỏn biờn mẫu cấp hai
hai biến trong miền gúc; chỳng tương ứng với trường hợp toỏn tử
L(x, t, ∂x) của bài toỏn biờn ban đầu (1.3)- (1.5) là toỏn tử cấp hai
với hai biến khụng gian và miền G là một miền con bị chặn của R2
chứa điểm gúc. Chỳng tụi sẽ tớnh toỏn tường minh cỏc hàm giỏ trị
riờng và cỏc hàm vectơ riờng của U (λ, t); từ đú khảo sỏt dễ dàng về
bội của cỏc hàm giỏ trị riờng cũng như tớnh chớnh quy của cỏc hàm
giỏ trị riờng và cỏc hàm vectơ riờng theo biến t. Bởi vậy, cú thể coi
đõy cỏc vớ dụ minh họa cho cỏc kết quả tổng quỏt được trỡnh bày
phớa trước.
Xột miền gúc K = {x = (x1, x2) ∈ R2 : r > 0, 0 < ω < ω0}.
Đặt S0 = {x ∈ R2 : r > 0, ω = 0}, S1 = {x ∈ R2 : r > 0, ω = ω0},
SjT = S
j ì [0, T ], j = 0, 1.
19
Xột toỏn tử vi phõn L = L(t, ∂x) = −(∂x2−a(t)∂x1)(∂x2−a(t)∂x1),
trong đú a(t) = (α(t) + iβ(t)), α(t), β(t) là cỏc hàm thực xỏc định
trờn [0, T ], β(t) > %3 với mọi t ∈ [0, T ], trong đú %3 là hằng số dương
nào đú.
3.4.1 Bài toỏn biờn Dirichlet
Trong tiểu mục này ta xột bài toỏn biờn Dirichlet phụ thuộc tham
số:
L(t, ∂x)u = f trong KT , (3.13)
u =gj trờn S
j
T ,j = 0, 1. (3.14)
Mệnh đề 3.4.1 Giả sử hàm a(t) thuộc lớp Ch([0, T ]), trong đú h
là một số tự nhiờn. Khi đú cỏc hàm giỏ trị riờng của bú toỏn tử
U (λ, t) tương ứng với bài toỏn (3.13), (3.14) xỏc định bởi cụng thức
λk(t) =
kpi
Imϑ(ω0, t)
, k = ±1,±2, . . . ; cỏc hàm giỏ trị riờng này là đơn
và thuộc lớp Ch([0, T ]). Cỏc hàm vectơ riờng tương ứng được cho bởi
cụng thức ϕk(ω, t) = e
kReϑ(ω,t)pi
Imϑ(ω0,t) sin k Imϑ(ω,t)piImϑ(ω0,t) , k = ±1,±2, . . . ; chỳng
là khả vi vụ hạn theo biến ω và khả vi liờn tục h lần theo biến t. Ở
đõy
Reϑ(ω, t) =
1
2
ln
Z2j (ω, t) + 1
tan2(ω) + 1
+ ln
|β(t)|√
α2(t) + β2(t)
và
Imϑ(ω, t) =
arctanZ(ω, t)− arctan α(t)
β(t)
, ω ∈ (0, pi2 ],
arctanZ(ω, t)− arctan α(t)
β(t)
+ 2pi, ω ∈ (pi2 , 3pi2 ],
arctanZ(ω, t)− arctan α(t)
β(t)
+ 4pi, ω ∈ (3pi2 , 2pi),
trong đú
Z(ω, t) =
α2(t) + β2(t)
β(t)
tanω +
α(t)
β(t)
.
20
3.4.2 Bài toỏn biờn Neumann
Trong tiểu mục này chỳng tụi xột bài toỏn biờn ellipic phụ thuộc
tham số với điều kiện biờn Neumann:
L(t, ∂x)u = f trong GT , (3.15)
Nj(t, ∂x)u = gj trờn S
j
T , j = 0, 1, (3.16)
Nj(t, ∂x)u = ∂x2u.ν
j
2−α(t)∂x1u.νj2−α(t)∂x2 .νj1+(α2(t)+β2(t))∂x1 .νj1,
νj = (νj1, ν
j
2) là trường vectơ đơn vị phỏp tuyến ngoài trờn S
j
T , j =
0, 1.
Mệnh đề 3.4.2 Giả sử hàm a(t) thuộc lớp Ch([0, T ]), trong đú h là
một số tự nhiờn. Khi đú
1) Cỏc hàm giỏ trị riờng khỏc hàm đồng nhất bằng 0 của bú toỏn
tử U (λ, t) tương ứng với bài toỏn (3.15), (3.16) xỏc định bởi λk(t) =
kpi
Imϑ(ω0, t)
, k = ±1,±2, . . . ; cỏc hàm giỏ trị riờng này là đơn và
thuộc lớp Ch([0, T ]). Cỏc hàm vectơ riờng tương ứng được cho bởi
ϕk(ω, t)= e
kReϑ(ω,t)pi
Imϑ(ω0,t) cos k Imϑ(ω,t)piImϑ(ω0,t) , k = ±1,±2, . . . ; chỳng là khả vi
vụ hạn theo biến ω và khả vi liờn tục h lần theo biến t.
2) λ(t) ≡ 0 là một hàm giỏ trị riờng của bú toỏn tử U (λ, t) với
hàm vectơ riờng tương ứng u0 = 1. Nếu đẳng thức M(ω0, t)α(t) =
−N(ω0, t) khụng đỳng với mọi t ∈ [0, T ] thỡ hàm giỏ trị riờng này
là đơn. Nếu đẳng thức này đỳng với mọi t ∈ [0, T ] thỡ λ(t) ≡ 0 là
hàm giỏ trị riờng cú bội khụng đổi 2 với hàm vectơ riờng suy rộng
u1 = 1 + α(t)ω.
3.4.3 Bài toỏn biờn hỗn hợp Dirichlet-Neumann
Trong tiểu
Các file đính kèm theo tài liệu này:
- tom_tat_luan_an_bai_toan_bien_ban_dau_doi_voi_phuong_trinh_p.pdf