ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN KHOA TOÁN - CƠ - TIN HỌC
Ngô Phương Thảo
NGHIỆM CỦA MỘT LỚP PHƯƠNG TRÌNH
ELLIPTIC PHI TUYẾN CẤP HAI VỚI SỐ MŨ ÂM TRONG R3
LUẬN VĂN THẠC SỸ TOÁN HỌC
Hà Nội - 2016
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN KHOA TOÁN - CƠ - TIN HỌC
Ngô Phương Thảo
NGHIỆM CỦA MỘT LỚP PHƯƠNG TRÌNH
ELLIPTIC PHI TUYẾN CẤP HAI VỚI SỐ MŨ ÂM TRONG R3
LUẬN VĂN THẠC SỸ TOÁN HỌC
Chuyên ngành: Toán giải tích
Mã số:60460102
Cán bộ hướng dẫn: TS. Ngô Quốc Anh
Hà Nội - 2016
Sau hai năm học tập tại trường Đại học Khoa học tự nhiên- Đại học
Quốc gia Hà Nội, được sự chỉ bảo, dạy dỗ tận tình của các thầy cô tôi
đã hoàn thành các môn học của chương trình đào tạo thạc sĩ- chuyên
ngành toán giải tích. Tôi đã được nhận luận văn do thầy TS. Ngô Quốc
Anh hướng dẫn, đến nay tôi đã hoàn thành luận văn của mình.
Trước khi trình bày nội dung chính của luận văn, tôi xin gửi lời cảm
ơn chân thành và sâu sắc nhất tới thầy Ngô Quốc Anh, người đã tận
tình hướng dẫn để tôi có thể hoàn thành luận văn này.
Tôi cũng xin bày tỏ lòng biết ơn đặc biệt tới Ban chủ nhiệm Khoa
sau đại học cùng toàn thể các thầy cô giáo trong khoa Toán - Cơ - Tin
học, Đại học Khoa học Tự nhiên, Đại Học Quốc gia Hà Nội, là người
những người thầy, người cô, thời gian qua không những chỉ dạy bảo tôi
tận tình về kiến thức chuyên môn mà còn truyền cho tôi cả niềm đam
mê, sự nhiệt thành, tâm huyết với bộ môn toán học.
Nhân dịp này tôi cũng xin được gửi lời cảm ơn chân thành tới gia
đình, bạn bè đã luôn ở bên, cổ vũ, động viên, giúp đỡ tôi trong suốt quá
trình học tập và thực hiện luận văn cao học.
Hà Nội, Ngày 19 tháng 1 năm 2017
Học viên
Ngô Phương Thảo
i
LỜI CẢM ƠN
Mục lục
Lời cảm ơn i
Lời mở đầu iv
0 Giới thiệu vấn đề 1
1 Một vài kết quả chuẩn bị 5
5 1.1 Các ước lượng cơ bản . . . . . . . . . . . . . . . . . . . . . . . . . . .
9 1.2 Nguyên lý so sánh cho nghiệm phương trình bậc cao . . . . . . . . . .
1.3 Một số kết quả cơ bản về nghiệm của phương trình ∆2u + u−q = 0
trong R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.1 Các bổ đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.2 Điều kiện cần của q để phương trình ∆2u + u−q = 0 trong R3
có nghiệm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3.3 Tốc độ tăng của nghiệm của phương trình ∆2u + u−q = 0
trong R3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4 Bài toán giá trị ban đầu . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 Nghiệm của phương trình ∆2u + u−q = 0 trong R3 tăng với tốc độ
26 tuyến tính
2.1 Dáng điệu tiệm cận . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2 Chứng minh Định lý 2.1 . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.2.1 Trường hợp q > 3 . . . . . . . . . . . . . . . . . . . . . . . . . 39
ii
2.2.2 Trường hợp q = 3 . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.3 Chứng minh Định lý 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . 41
2.3.1 Trường hợp q = 4 . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.3.2 Trường hợp 3 < q < 4 . . . . . . . . . . . . . . . . . . . . . . 43
3 Nghiệm của phương trình ∆2u + u−q = 0 trong R3 tăng với tốc độ
bình phương 44
3.1 Dáng điệu tiệm cận . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.2 Tốc độ tăng bậc hai của phương trình ∆2u + u−q = 0 là tùy ý . . . . 50
3.3 Chứng minh Định lý 3.1 . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.4 Chứng minh Định lý 3.2 . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.4.1 Trường hợp q > 3/2 . . . . . . . . . . . . . . . . . . . . . . . . 52
3.4.2 Trường hợp q = 3/2 . . . . . . . . . . . . . . . . . . . . . . . 53
3.4.3 Trường hợp 1 < q < 3/2 . . . . . . . . . . . . . . . . . . . . . 54
Kết luận 55
iii
Tài liệu tham khảo 56
LỜI MỞ ĐẦU
Toán học là môn khoa học cơ bản được ứng dụng rất nhiều trong các lĩnh vực
khoa học, kỹ thuật và đời sống. Trong toán học có rất nhiều các chuyên ngành khác
nhau. Phương trình đạo hàm riêng là một trong những chuyên ngành của toán học.
Tuy nhiên, đối với một số bài toán phương trình đạo hàm riêng cấp cao thì việc tìm
nghiệm gặp rất nhiều khó khăn.
Trong Luận văn này, trong R3 tôi xét bài toán tìm nghiệm của phương trình cấp
hai cho véc tơ (u, v) 0 u ∆ u = 1 v −u−q−1 0 v
hoặc bằng cách viết lại phương trình trên theo u ta thu được phương trình cấp bốn
∆2u + u−q = 0
trong R3 đối với ẩn hàm u. Ở đây ta xét trường hợp q > 0 và do đó các phương
trình đang xét có số mũ âm −q.
Nói chung đối với các phương trình đạo hàm riêng đang xét ở trên ta gặp hai
khó khăn chính như sau: (1) miền xác định của u là toàn bộ không gian R3 và (2)
phương trình có chứa số mũ âm. Để bước đầu cung cấp các thông tin định tính cơ
bản cho nghiệm của các phương trình trên, ta giải quyết bài toán trong trường hợp
hàm u chỉ phụ thuộc vào khoảng cách đến gốc toạ độ và gọi những nghiệm này là
nghiệm cầu. Với những lý do trên, tôi tập trung nghiên cứu dáng điệu nghiệm cầu
của phương trình ∆2u + u−q = 0 tại vô cùng. Nội dung của Luận văn được lấy trong
bốn tài liệu chính sau đây [KR03, CX09, Gue12, DN16].
Các kết quả trong Luận văn bao gồm: (1) Chỉ ra được rằng nghiệm cầu của
phương trình ∆2u + u−q = 0 tăng ít nhất là với tốc độ tuyến tính và nhiều nhất là
với tốc độ bình phương và (2) chỉ ra sự tồn tại của ít nhất một nghiệm cầu với tốc
độ tăng tương ứng. Về bố cục, Luận văn được chia làm 4 chương được đánh số từ
0 đến 3.
iv
1. Trong Chương 0 chúng tôi tập trung giới thiệu vấn đề đang nghiên cứu.
2. Chương 1 dành để trình bày một số kết quả chuẩn bị sẽ dùng trong các chương
tiếp theo. Một kết quả quan trọng trong chương này là việc chỉ ra điều kiện
q > 1 là cần thiết để phương trình có nghiệm; xem Định lý 1.10.
3. Trong Chương 2, chúng tôi chỉ ra sự tồn tại nghiệm cầu của phương trình
∆2u + u−q = 0 trong R3 tăng với tốc độ tuyến tính khi q ≥ 3; xem Định lý
2.1.
4. Bằng cách tiếp cận tương tự như trong Chương 2, trong Chương 3, chúng tôi
nghiên cứu nghiệm cầu của phương trình ∆2u + u−q = 0 trong R3 tăng với tốc
độ bình phương; xem Định lý 3.1.
Do thời gian thực hiện luận văn không nhiều và kiến thức còn hạn chế nên khi
làm luận văn không tránh khỏi những sai sót. Tôi mong nhận được sự góp ý của
quý thầy cô và bạn đọc để luận văn được hoàn thiện hơn.
v
Tôi xin chân thành cảm ơn!
Chương 0
Giới thiệu vấn đề
Trong lý thuyết định tính của phương trình đạo hàm riêng, các (hệ) phương trình
elliptic cấp hai dạng
∆(cid:126)U = (cid:126)F ((cid:126)x, (cid:126)U ) (1)
luôn là đề tài nghiên cứu thu hút rất nhiều các nhà khoa học. Một trong những lý
do chính giải thích cho điều này nằm ở chỗ các (hệ) phương trình elliptic trên là
mô hình cơ bản nhất để mô tả các hiện tượng trong vật lý và tự nhiên. Chẳng hạn
trong trường hợp vô hướng ta có thể xem phương trình Laplace
∆u = 0
như là một dạng của định luật bảo toàn của một trường thế vị. Một ví dụ khác đối
với (1) mà ta có thể xét đó là trường hợp u λ δ ∆ u = . v v θ γ
Đây là mô hình cho các hệ phản ứng–khuếch tán trong vậy lý và sinh học.
Trong Luận văn này, tôi tập trung nghiên cứu nghiệm dương của phương trình
∆2u + u−q = 0 (2)
trong R3 với q > 0. Rõ ràng bằng cách ký hiệu u (cid:126)U = ∆u
phương trình (2) có thể được viết dưới dạng phương trình véc tơ
1
0 (3) ∆(cid:126)U = 1 (cid:126)U . −u−q−1 0
Để có thể hình dung được lý do tại sao ta lại nghiên cứu phương trình (2) hoặc
phương trình (3), chúng ta sẽ đề cập đến ý nghĩa của nó khi nghiên cứu các bài toán
Q-độ cong trong hình học giải tích. Trước khi đề cập đến bài toán Q-độ cong trong
hình học giải tích, chúng ta hãy xét trường hợp bài toán độ cong vô hướng trong
hình học giải tích.
Cho trước một đa tạp Riemann compact n chiều (M, g) với n ≥ 3. Ta xét toán
tử Lg xác định bởi
Lg = − ∆g + Rg
4(n − 1) n − 2 trong đó ký hiệu Rg để chỉ độ cong vô hướng của metric g và ∆g để chỉ toán tử
Laplace tính theo metric g. Giả sử v là một hàm dương và trơn trên M . Xét một
metric mới xác định bởi công thức
g = v4/(n−2)g
trên Rn và trong trường hợp này hai metric g và g được gọi là bảo giác với nhau.
Khi đó độ cong vô hướng của g được tính bởi công thức
Rg = Lg(v)v− n+2 n−2 .
Bài toán độ cong vô hướng trên (M, g) được phát biểu như sau: Cho trước hàm f
trên M , hỏi có tồn tại một metric g bảo giác với g sao cho Rg = f ? Rõ ràng câu
hỏi trên tương đương với việc giải phương trình
Lg(v) = f v(n+2)/(n−2)
để tìm v.
Bây giờ ta xét trường hợp đặc biệt khi (M, g) là mặt cầu n chiều (Sn, gstd) trong đó gstd là metric chuẩn trên mặt cầu Sn. Trong trường hợp này, toán tử Lgstd trở thành
Lgstd = −∆gstd + (n − 1)!.
n+2 n−2 .
Trong trường hợp này ta có thể viết lại phương trình đang xét
(4) Lgstd(v) = f v
Ký hiệu π : Sn → Rn để chỉ phép chiếu nổi từ mặt cầu Sn lên trên mặt phẳng
2
2
Rn. Đặt (cid:17)− n−2 (5) u(x) = v(π−1(x)) (cid:16)1 + |x|2 2
với x ∈ Rn. Từ [Gra07, Mệnh đề 1] ta biết rằng
2 (−∆)u(x) = Lgstd
(cid:16) (cid:17)− n+2 (cid:0)v(π−1(x))(cid:1). (6) 2 1 + |x|2
Do đó bằng cách sử dụng phép chiếu nổi π, ta chiếu phương trình (4) cho v trên Sn
lên trên Rn để được phương trình
n+2 n−2 .
− ∆u = (f ◦ π−1)u (7)
cho u. Rõ ràng Lg là toán tử vi phân cấp hai. Một sự mở rộng tương tự đối với
trường hợp toán tử Lg dẫn ta đến toán tử vi phân cấp bốn Pg mà ta sẽ đề cập dưới
đây.
Cho trước một đa tạp Riemann compact n chiều (M, g) với n ≥ 3. Ta xét toán
tử Paneitz Pg được định nghĩa như sau
g − δ [(anRgg + bnRicg) d] +
Pg = ∆2 Qg n − 4 2
trong đó
g −
2 ∆Rg + Qg = − 1 2(n − 1) n3 − 4n2 + 16n − 16 8(n − 1)2(n − 2)2 R2 (n − 2)2 |Ric|2
với
, . an = bn = − (n − 2)2 + 4 2(n − 1)(n − 2) 4 n − 2
Ở đây Qg được gọi là Q-độ cong của metric g ứng với toán tử Pg. Các nghiên cứu
gần đây về Q-độ cong cho thấy đây có thể là một đối tượng hình học mới chứa đựng
rất nhiều thông tin thú vị mà ta chưa biết, chẳng hạn Q-độ cong tham gia trong
công thức Gauss–Bonnet–Chern nổi tiếng sau đây
g dµg = 8π2χ(M ),
M
M
(cid:90) (cid:90) Qgdµg + |Wg|2 1 4
trong đó χ(M ) là đặc trưng Euler về tô-pô của M còn Wg là ten-xơ Weyl của (M, g).
Tương tự như toán tử Lg, toán tử Pg cũng có tính chất bảo giác: nếu g = u4/(n−4)g
n+4
với n (cid:54)= 4 là một metric bảo giác của g, thì với mọi ϕ ∈ C ∞(M ), ta có
n−4 Pg(ϕ).
Pg(ϕu) = u
n+4
n−4 .
Đặc biệt, nếu chọn ϕ ≡ 1 thì
3
(8) Pg(u) = Qgu n − 4 2
Tương tự bài toán độ cong vô hướng trên (M, g), bài toán Q-độ cong trên (M, g)
được phát biểu như sau: Cho trước hàm f trên M , hỏi có tồn tại một metric g bảo
giác với g sao cho Qg = f ?
Bây giờ ta lại xét trường hợp đặc biệt khi (M, g) là mặt cầu (Sn, gstd) với metric
chuẩn. Trong trường hợp này, toán tử Pgstd trở thành
(cid:16) (cid:17)(cid:16) (cid:17) . Pgstd = − ∆gstd + − ∆gstd + (n − 2)n 4 (n − 4)(n + 2) 4
Bằng cách xét g = v4/(n−4)gstd, từ phương trình (8), bài toán Q-độ cong trở thành
n+4 n−4 .
f v (9) Pgstd(v) = n − 4 2
2
Bằng cách sử dụng phép chiếu nổi π : Sn → Rn và phép đổi biến
(cid:17)− n−4 u(x) = v(π−1(x)) (10) (cid:16)1 + |x|2 2
với x ∈ Rn. Từ [Gra07, Mệnh đề 1] ta cũng có
2 (−∆)2u(x) = Pgstd
(cid:16) (cid:17)− n+4 (cid:0)v(π−1(x))(cid:1). (11) 2 1 + |x|2
Do đó bằng cách sử dụng phép chiếu nổi π, ta chiếu phương trình (9) cho v trên Sn
lên trên Rn để được phương trình
n+4 n−4 .
(f ◦ π−1)u ∆2u = n − 4 2
cho u. Xét trường hợp đặc biệt khi f ◦ π−1 là hằng số và n = 3, ta thu được hai
phương trình
∆2u = −u−7
và
∆2u = u−7
trên R3. Bằng cách thay số mũ −7 bởi −q với q > 0, phương trình thứ nhất chính là
phương trình ta đang xét (2). Sở dĩ ta không nghiên cứu nghiệm của phương trình
(−∆)2u = u−q là vì trong nhiều trường hợp phương trình này không có nghiệm. Kết
quả này tương tự như trong trường hợp của phương trình −∆u = u−q với q > 0 vì
ta biết rằng phương trình này cũng không có nghiệm nếu xét trong toàn Rn; xem
4
[Ngo16].
Chương 1
Một vài kết quả chuẩn bị
Trong phần đầu chương, chúng ta sẽ đề cập đến một số kết quả cơ bản trong
giải tích cổ điển. Tiếp theo chúng ta sẽ trình bày một số kết quả cơ bản về nghiệm
phương trình
(1.1) ∆2u + u−q = 0,
trên R3 với q > 0. Phần cuối của chương trình bày nguyên lý so sánh nghiệm cho
phương trình bậc cao và bài toán giá trị ban đầu liên kết với phương trình đạo hàm
1.1 Các ước lượng cơ bản
riêng đang xét.
Ta bắt đầu mục này bằng một kết quả về giá trị trung bình cho Laplace.
Br(x0)
∂Br(x0)
(cid:18) Bổ đề 1.1. Trong Rn, nếu f ∈ C 2(Ω) và Br(x0) ⊂ Ω thì ta có (cid:19) (cid:90) (cid:90) r1−n f dσx ∆f dx = rn−1 ∂ ∂r
Chứng minh. Theo công thức tích phân từng phần, ta có
Br(x0)
∂Br(x0)
(cid:90) (cid:90) ∆f dx = dσx ∂f ∂ν
Đổi biến x = x0 + ry và do dσx = rn−1dσy nên ta có
Br(x0)
∂B1(x0) (cid:20)(cid:90)
∂B1(x0)
(cid:90) (cid:90) ∆f dx = rn−1 (x0 + ry)dσy ∂f ∂r (cid:21) . f (x0 + ry)dσy = rn−1 ∂ ∂r
Đặt x = x0 + ry và do dσy = dσx/rn−1 nên ta có
Br(x0)
∂Br(x0)
5
(cid:21) (cid:90) (cid:90) f (x)dσx ∆f dx = rn−1 ∂ ∂r (cid:20) 1 rn−1
∂Br(x0)
(cid:20) (cid:21) (cid:90) r1−n . f dσx = rn−1 ∂ ∂r
Ta suy ra điều phải chứng minh.
Ở kết quả tiếp theo ta chỉ ra mối quan hệ giữa toán tử Laplace và đạo hàm tác
động trên một hàm trong trường hợp hàm đang xét là hàm cầu.
Bổ đề 1.2. Trong R3 nếu u là hàm cầu thì
∆u = 1 r2 (r2u(cid:48))(cid:48)
và
∆2u = u(4) + u(3)(r). 4 r
Chứng minh. Ta chứng minh công thức thứ nhất. Ta đã biết trong R3 thì
∆u = ∂2u ∂x2 + ∂2u ∂y2 + ∂2u ∂z2 .
Do u là hàm cầu nên ta có thể viết
(cid:112) u = u(r), r = x2 + y2 + z2.
Rõ ràng
= . = u(cid:48) r ∂u ∂x ∂u ∂r ∂r ∂x x (cid:112)x2 + y2 + z2
Khi đó,
(cid:32) (cid:33) (cid:19) = u(cid:48) r ∂2u ∂x2 = ∂ ∂x (cid:18) ∂u ∂x ∂ ∂x
x (cid:112)x2 + y2 + z2 (cid:32) (cid:33)
= + u(cid:48) ∂u(cid:48) ∂x ∂ ∂x x (cid:112)x2 + y2 + z2 x (cid:112)x2 + y2 + z2
u(cid:48). = u(cid:48)(cid:48) x2 x2 + y2 + z2 + y2 + z2 (cid:112)(x2 + y2 + z2)3
Tương tự, ta cũng có
u(cid:48), ∂2u ∂y2 = u(cid:48)(cid:48) y2 x2 + y2 + z2 + x2 + z2 (cid:112)(x2 + y2 + z2)3
6
u(cid:48). ∂2u ∂z2 = u(cid:48)(cid:48) z2 x2 + y2 + z2 + x2 + y2 (cid:112)(x2 + y2 + z2)3
Thay vào ta có ∆u = u(cid:48)(cid:48) + (2/r)u(cid:48) = (1/r2)(r2u(cid:48))(cid:48) và đây chính là công thức thứ
nhất. Tiếp theo ta chứng minh công thức thứ hai. Thật vậy, ta có ∆2u = ∆(∆u) và
do ∆u = r−2(r2u(cid:48))(cid:48) nên
∆2u =
(cid:19)(cid:48)(cid:21)(cid:48) r2 =
(cid:19)(cid:21)(cid:48) (cid:20) r2 u(cid:48)(cid:48) + u(cid:48)(cid:48)(cid:48) = (cid:2)r2(∆u)(cid:48)(cid:3)(cid:48) (cid:18) 1 (cid:20) r2 (2ru(cid:48) + r2u(cid:48)(cid:48)) (cid:18) −2 2 r r2 u(cid:48) +
= (cid:2)−2u(cid:48)(cid:48) + 2u(cid:48)(cid:48) + 2ru(cid:48)(cid:48)(cid:48) + 2ru(cid:48)(cid:48)(cid:48) + r2u(4)(cid:3)
1 r2 1 r2 1 r2 1 r2 = u(4) + u(3)(r). 4 r
Bổ đề chứng minh xong.
Hệ quả 1.3. Trong R3 nếu hàm cầu u khả vi liên tục cấp 4 và thỏa mãn u(cid:48)(0) = 0
thì
(∆u)(0) = 3u(cid:48)(cid:48)(0)
và
(∆u)(cid:48)(0) = . u(cid:48)(cid:48)(cid:48)(0) 2
Chứng minh. Ta chứng minh công thức thứ nhất. Theo Bổ đề 1.2 ta có ∆u =
r−2(r2u(cid:48))(cid:48), nên áp dụng quy tắc L’Hôpital ta được
(∆u)(0) = lim r→0 (2ru(cid:48) + r2u(cid:48)(cid:48))(cid:48) 2r (cid:19) + 2u(cid:48)(cid:48) + u(cid:48)(cid:48)(cid:48) . = lim r→0 (cid:18)u(cid:48) r r 2
Do u(cid:48)(0) = 0, nên áp dụng quy tắc L’Hôpital một lần nữa ta có
(u(cid:48)(cid:48)(r) + 2u(cid:48)(cid:48)(r)) = 3u(cid:48)(cid:48)(0). (∆u)(0) = lim r→0
Tiếp theo ta chứng minh công thức thứ hai. Ta có
(∆u)(cid:48)(0) = lim r→0
= lim r→0 ∆u(r) − ∆u(0) r (r2u(cid:48))(cid:48) − r2∆u(0) r3
7
. = lim r→0 2u(cid:48)(r) + ru(cid:48)(cid:48)(r) − 3ru(cid:48)(cid:48)(0) r2
Do u(cid:48)(0) = 0 nên tiếp tục áp dụng quy tắc L’Hôpital ta được
= u(cid:48)(cid:48)(cid:48)(0). (∆u)(cid:48)(0) = lim r→0 2u(cid:48)(cid:48)(r) + u(cid:48)(cid:48)(r) + ru(cid:48)(cid:48)(cid:48)(r) − 3u(cid:48)(cid:48)(0) 2r 1 2
Hệ quả chứng minh xong.
Trước khi phát biểu các bổ đề tiếp theo, chúng ta đề cập ký hiệu
∂Br(x0)
∂Br(x0)
(cid:90) f dσ = f dσ (cid:90) -- f (x0, r) = 1 4πr2
để chỉ trung bình của một hàm f trên mặt cầu tâm x0 bán kính r trong R3.
Bổ đề 1.4. Với x0 ∈ R3 bất kỳ và với mọi r > 0 ta có
∂Br(x0)
∂Br(x0)
(cid:21)−q (cid:20)(cid:90) -- (cid:90) -- ≤ udσ u−qdσ. (1.2)
Chứng minh. Đặt f (u) = u−q, khi đó ta có f (cid:48)(cid:48) = q(q + 1)u−q−2 > 0. Từ đó suy ra
hàm f (u) = u−q là hàm lồi trên khoảng (0, +∞). Vậy Bổ đề được suy ra trực tiếp
từ bất đẳng thức Jensen.
Bổ đề 1.5. Ta có
∂Br(x0)
∂Br(x0)
(cid:90) -- ∆ udσ = (cid:90) -- ∆udσ
Chứng minh. Theo công thức đưa tích phân hình cầu về tích phân mặt cầu ta có
0
∂Bs(x0)
Br(x0)
(cid:19) (cid:90) r (cid:18)(cid:90) (cid:90) ∆udσ ds. ∆udx =
Đạo hàm hai vế theo r
∂Br(x0)
Br(x0)
(cid:19) (cid:18)(cid:90) (cid:90) = ∆udσ. ∆udx ∂ ∂r
Chia hai vế cho 4πr2 ta được
∂Br(x0)
Br(x0)
(cid:19) (cid:90) (cid:18)(cid:90) ∆udσ = ∆udx . 1 4πr2 1 4πr2 ∂ ∂r
Từ Bổ đề 1.1 ta có
∂Br(x0)
Br(x0)
∂Br(x0) (cid:19)
(cid:19)(cid:21) (cid:19) (cid:20) (cid:90) (cid:18)(cid:90) udσ ∆udx = 1 4πr2 ∂ ∂r (cid:18) 1 r2 (cid:19)(cid:21) = udσ r2 ∂ ∂r (cid:18)(cid:90) -- ∂ ∂r (cid:20) r2 ∂ ∂r
∂Br(x0)
1 4πr2 ∂ 1 r2 ∂r (cid:18)(cid:90) -- udσ . = ∆
8
Từ đó ta có điều phải chứng minh.
1.2 Nguyên lý so sánh cho nghiệm phương trình bậc cao
Trong mục này ta đề cập đến nguyên lý so sánh cho nghiệm của phương trình
∆2u + u−q = 0 trong Rn. Do phương trình đang xét là phương trình bậc cao, ta viết
lại dưới dạng phương trình véc tơ cho (u, ∆u). Nội dung nguyên lý so sánh dưới đây
được lấy ra từ [KR03, Bổ đề 3.2].
Định lý 1.6 (Nguyên lý so sánh). Cho (v, V ) và (w, W ) là hai hàm thuộc lớp C 2
trên [0, R) với v, w > 0 trên [0, R) và
(rn−1v(cid:48))(cid:48) = rn−1V, (rn−1w(cid:48))(cid:48) = rn−1W,
(rn−1V (cid:48))(cid:48) + rn−1v−q ≤ 0 ≤ (rn−1W (cid:48))(cid:48) + rn−1w−q
trên (0, R). Khi đó ta có các khẳng định sau:
(a) (So sánh yếu) Nếu v(0) ≤ w(0), v(cid:48)(0) = w(cid:48)(0) = 0, V (0) ≤ W (0), V (cid:48)(0) =
W (cid:48)(0) = 0 thì v ≤ w, v(cid:48) ≤ w(cid:48), V ≤ W , V (cid:48) ≤ W (cid:48) trên (0, R).
(b) (So sánh mạnh) Nếu với ρ > 0 bất kỳ ta có v < w trên khoảng (0, ρ) thì v < w,
v(cid:48) < w(cid:48), V < W , V (cid:48) < W (cid:48) trên (0, R).
Chứng minh. Trước tiên ta chứng minh (b). Giả sử v < w trên (0, ρ) với ρ > 0 nào
đó. Theo bất phương trình vi phân thứ hai ở trên ta có (rn−1V (cid:48))(cid:48) < (rn−1W (cid:48))(cid:48) trên
(0, ρ). Tích phân hai lần bất phương trình này ta được V < W trên (0, ρ). Bây
giờ, giả sử (0, c) là khoảng lớn nhất trên đó V < W , và giả sử ngược lại c < R. Từ
V < W và bất phương trình vi phân đầu ta có (rn−1v(cid:48))(cid:48) < (rn−1w(cid:48))(cid:48) trên (0, c). Thay
điều này vào bất phương trình vi phân thứ hai và tích phân hai lần ta có V (cid:48) < W (cid:48)
trên (0, c), và do đó V < W trên nửa khoảng đóng (0, c]. Điều này mâu thuẫn với
giả thiết (0, c) là khoảng lớn nhất sao cho V < W . Do đó v ≤ w, v(cid:48) ≤ w(cid:48), V ≤ W ,
V (cid:48) ≤ W (cid:48) trên (0, R).
Tiếp theo ta chứng minh (a). Phần (a) được suy ra từ (b) theo cách sau: Đặt
f := (rn−1V (cid:48))(cid:48) + v−q và (v(cid:15), V(cid:15)) là nghiệm của bài toán giá trị ban đầu
(cid:15)(0) = 0,
(cid:15))(cid:48) = rn−1V(cid:15),
(rn−1v(cid:48) v(cid:15) = v(0) − (cid:15), v(cid:48)
(cid:15) )(cid:48) + rn−1v−q
(cid:15) = f ≤ 0,
9
(rn−1V (cid:48) V(cid:15)(0) = V (0), V (cid:48) (cid:15) (0) = 0.
Chú ý với (cid:15) = 0, tính duy nhất của bài toán giá trị ban đầu cho ta (v0, V0) = (v, V ).
(cid:15) < w(cid:48), V(cid:15) < W , V (cid:48)
đó ta suy ra v(cid:15) < w, v(cid:48) Hơn nữa, với (cid:15) > 0 thì cặp (v(cid:15), V(cid:15)) và (w, W ) thỏa mãn giả thiết của phần (b), do (cid:15) < W (cid:48) trên (0, R). Cho (cid:15) → 0 ta có điều
phải chứng minh.
Do mọi hàm cầu u trong R3 đều thỏa mãn ∆2u(r) = u(4) + 4u(3)(r)/r nên khi
n = 3 ta có thể chứng minh nguyên lý so sánh sau.
Bổ đề 1.7 (nguyên lý so sánh đối với n = 3). Cho (v, w) là cặp hàm số thuộc C 4
trên nửa khoảng [0, R) với v, w > 0 trên [0, R) và với
v(4) + v(cid:48)(cid:48)(cid:48)(r) + v−q ≤ 0 ≤ w(4) + w(cid:48)(cid:48)(cid:48)(r) + w−qtrên (0, R). 4 r 4 r
Khi đó, ta có các khẳng định sau:
(a) (So sánh yếu) Nếu v(0) ≤ w(0), v(cid:48)(0) = w(cid:48)(0) = 0, v(cid:48)(cid:48)(0) ≤ w(cid:48)(cid:48)(0), v(cid:48)(cid:48)(cid:48)(0) =
w(cid:48)(cid:48)(cid:48)(0) = 0 thì v ≤ w, v(cid:48) ≤ w(cid:48), v(cid:48)(cid:48) ≤ w(cid:48)(cid:48), v(cid:48)(cid:48)(cid:48) ≤ w(cid:48)(cid:48)(cid:48) trên (0, R).
(b) (So sánh mạnh) Nếu với ρ > 0 bất kỳ ta có v < w trên khoảng (0, ρ) thì v < w,
1.3 Một số kết quả cơ bản về nghiệm của phương trình
∆2u + u−q = 0 trong R3
v(cid:48) < w(cid:48), v(cid:48)(cid:48) < w(cid:48)(cid:48), v(cid:48)(cid:48)(cid:48) < w(cid:48)(cid:48)(cid:48) trên (0, R).
1.3.1 Các bổ đề
Đầu tiên ta có bổ đề khẳng định rằng nghiệm của phương trình (1.1) là điều hòa
dưới.
Bổ đề 1.8. Nếu u > 0 là nghiệm dương thuộc C 4 trên R3 thì ∆u > 0.
Chứng minh. Đầu tiên ta chứng minh ∆u ≥ 0. Phản chứng, giả sử ∃x0 ∈ R3 sao
cho ∆u(x0) < 0. Để tiện trong trình bày, ta ký hiệu các trung bình của u và ∆u
như sau
∂Br(x0)
u(r) = (cid:90) -- udσ (1.3)
và
∂Br(x0)
10
w(r) = (cid:90) -- ∆udσ. (1.4)
Ta có
∂Br(x0)
∂Br(x0)
∆u(r) = ∆ (cid:90) -- udσ = (cid:90) -- ∆udσ = w(r).
Từ bất đẳng thức (1.2), phương trình ∆2u + u−q = 0 và theo Bổ đề 1.5 ta có
∂Br(x0)
∂Br(x0)
∂Br(x0)
(cid:19)−q u−q = (cid:18)(cid:90) -- (cid:90) -- ≤ udσ u−qdσ = −∆ (cid:90) -- ∆udσ = −∆w(r).
Ta suy ra ∆w(r) + u−q ≤ 0. Từ đó ta có
(cid:40) ∆u = w, (1.5) ∆w + u−q ≤ 0.
Do w(0) = ∆u(x0) < 0 nên w(r) ≤ w(0) < 0 với mọi r > 0. Kết hợp với phương
trình đầu trong công thức (1.5) ta có ∆u ≤ w(0). Do ∆u = r−2(r2u(cid:48))(cid:48) nên ta có
r−2(r2u(cid:48))(cid:48) ≤ w(0), hay là (r2u(cid:48))(cid:48) ≤ r2w(0). Tích phân hai vế bất phương trình này
và do u(cid:48)(0) = 0 nên ta được
u(r) ≤ u(0) + r2. (1.6) w(0) 6
Nếu r đủ lớn thì u(r) < 0 (vô lý), từ đó ta có ∆u ≥ 0.
Tiếp theo ta chứng minh ∆u > 0. Giả sử tồn tại x1 sao cho w(x1) = 0 tức
∆u(x1) = 0 thì ∆w(x1) ≥ 0 do w đạt giá trị cực tiểu tại đây (mâu thuẫn với phương
trình ∆2u + u−q = 0). Từ đó ta có ∆u > 0.
Tính dưới điều hòa của u trong Bổ đề 1.8 rất quan trọng khi nghiên cứu các
phương trình bậc cao. Trong kết quả tiếp theo, sử dụng tính điều hòa dưới ta có thể
kiểm soát được dấu của các đạo hàm của u và w.
Bổ đề 1.9. Với u(r) và w(r) được định nghĩa trong công thức (1.3) và (1.4) ta có:
u(cid:48)(r) > 0, u(cid:48)(cid:48)(r) > 0, u(cid:48)(cid:48)(cid:48)(r) < 0, (1.7)
w(cid:48)(r) < 0, (1.8)
với mọi r > 0.
Chứng minh. Trước tiên ta thiết lập (1.8). Từ bất đẳng thức trong công thức (1.5)
∆w + u−q ≤ 0, nhân hai vế với r2 rồi tích phân trên [0, r] ta được
0
0
11
(cid:90) r (cid:90) r ∆w(t)t2dt + u−q(t)t2dt ≤ 0.
Do ∆w(r) = r−2(r2w(cid:48)(r))(cid:48) nên ta có
0
0
(cid:90) r (cid:90) r (t2w(cid:48)(t))(cid:48)dt + u−q(t)t2dt ≤ 0.
Điều này tương đương với
0
(cid:90) r r2w(cid:48)(r) + u−q(t)t2dt ≤ 0.
Do (cid:82) r 0 u−q(t)t2dt > 0 nên w(cid:48)(r) < 0. Tiếp theo ta thiết lập (1.7). Ta có ∆u = r−2(r2u(cid:48))(cid:48) từ đó suy ra (r2u(cid:48))(cid:48) = r2w(r). Tích phân hai vế phương trình này trên
0
[0, r] ta được (cid:90) r r2u(cid:48)(r) = t2w(t)dt,
0
hay là (cid:90) r u(cid:48)(r) = t2w(t)dt. 1 r2
0 t2w(t)dt > 0, từ đó suy ra u(cid:48)(r) > 0. Để chứng minh công
Do w(t) > 0 nên r−2 (cid:82) r
thức thứ ba trong (1.7) ta nhắc lại ở Bổ đề 1.2 ta đã có
∆2u(r) = u(4) + u(3)(r). 4 r
Lại có
u(4) + u(3)(r) = (cid:2)4r3u(3)(r) + r4u(4)(cid:3) = (cid:2)r4u(3)(r)(cid:3)(cid:48) . 4 r 1 r4 1 r4
Từ đó ta có
∆2u = . (cid:2)r4u(3)(r)(cid:3)(cid:48) 1 r4
< 0 với mọi r > 0. Tích phân hai vế trên [0, r] ta suy ra
Do ∆2u < 0 nên (cid:2)r4u(3)(r)(cid:3)(cid:48) u(3)(r) < 0. Tiếp theo ta chứng minh công thức thứ hai trong (1.7). Từ u(3)(r) < 0
ta suy ra u(2)(r) là hàm giảm chặt. Giả sử u(2)(r) ≤ 0 tại r = r1 thì tồn tại δ > 0
sao cho r ≥ r2 > r1, u(2)(r) ≤ −δ. Tích phân hai vế trên [r2, r] ta được
r2
r2
(cid:90) r (cid:90) r u(2)(t)dt = (−δ)dt,
hay là
u(cid:48)(r) − u(cid:48)(r2) ≤ −δ(r − r2), ∀r > r2.
Từ đó, suy ra u(cid:48)(r) − u(cid:48)(r2) ≤ 0. Với r đủ lớn thì u(cid:48)(r) < 0 (vì với r đủ lớn thì
u(cid:48)(r2) < 0), điều này trái ngược với công thức đầu trong (1.7) (mâu thuẫn), ta suy
12
ra u(cid:48)(cid:48)(r) > 0.
1.3.2 Điều kiện cần của q để phương trình ∆2u + u−q = 0 trong R3 có nghiệm
Ta bắt đầu mục này bằng một kết quả quan trọng liên quan đến điều kiện cần
cho q để phương trình (1.1) trong R3 có nghiệm.
Định lý 1.10. Nếu phương trình (1.1) có nghiệm dương trơn trên R3 thì q > 1.
Chứng minh. Giả sử u > 0 là nghiệm trơn của phương trình ∆2u + u−q = 0 với
0 < q ≤ 1. Trong phần đầu của chứng minh ta sẽ chỉ ra q ≥ 1. Ta vẫn sử dụng ký hiệu w = ∆u. Trong phần đầu chứng minh công thức (1.7) ta đã có r2u(cid:48)(r) = (cid:82) r 0 t2w(t)dt, và do w(cid:48)(r) < 0 nên ta có:
r
0
0
0
(cid:90) r (cid:90) r r2u(cid:48)(r) = t2w(t)dt ≥ t2w(r)dt = w(r) = w(r). (cid:12) (cid:12) (cid:12) t3 3 r3 3
Từ đó suy ra
r2u(cid:48)(r) ≥ w(r). r3 3
Chia hai vế cho r2 ta được u(cid:48)(r) ≥ rw(r)/3. Tích phân hai vế bất phương trình này
trên [0, r] và do w là hàm giảm nên ta có
0
0
0
(cid:90) r (cid:90) r (cid:90) r u(cid:48)(t)dt ≥ tw(t)dt ≥ tw(r)dt. 1 3 1 3
Điều này tương đương với
u(r) − u(0) ≥ w(r). r2 6
Từ đó ta có
u(r) ≥ u(0) + w(r). (1.9) r2 6
Mặt khác, ta lại có
(cid:90) 2r rw(r) = rw(2r) − r w(cid:48)(t)dt
r (cid:90) 2r
r
Bt(0)
(cid:90) = rw(2r) − (∆w)dx. t−2 r 4π
Do ∆w = −u−q và theo Bổ đề 1.1 nên ta có
r
Bt(0) (cid:90) r 1 2
0
∂Bt(0)
Bt(0)
13
(cid:90) (cid:90) 2r u−q(x)dx t−2 rw(r) = rw(2r) + r 4π (cid:90) ≥ u−q(x)dx = (cid:90) -- t2 u−q(x)dσxdt. 1 8π
0
∂Bt(0)
Vậy ta được (cid:90) r (cid:90) -- t2 rw(r) ≥ u−q(x)dσxdt. 1 2
Kết hợp với Bổ đề 1.4 và phương trình (1.3) ta có
∂Bt(0)
0 (cid:90) r
(cid:19)−q (cid:90) r rw(r) ≥ (cid:18)(cid:90) -- t2 dt u(x)dσx
0 (cid:90) r
t2u−q(t)dt ≥
0
r
t2u−q(r)dt (do u(cid:48) > 0) ≥
0
= t3u−q(r) = r3u−q(r). (cid:12) (cid:12) (cid:12) 1 2 1 2 1 2 1 6 1 6
Vậy ta được
rw(r) ≥ r3u−q(r). (1.10) 1 6
Từ đó suy ra w(r) ≥ (1/6)r2u−q(r). Kết hợp với công thức (1.9) ta có:
u(r) ≥ u(0) + r4u−q(r). 1 36
Do u(0) > 0 nên suy ra
u(r) ≥ r4u−q(r). 1 36
Từ đó suy ra (cid:19)1/(q+1) u(r) ≥ r4/(q+1). (1.11) (cid:18) 1 36
Từ điều này và ước lượng (1.6) suy ra 4/(q + 1) ≤ 2. Do đó q ≥ 1 như đã khẳng
định từ trước. Bây giờ ta chứng minh q > 1. Nếu q = 1 và u là một nghiệm dương
thì u là nghiệm dưới theo nghĩa nó thỏa mãn
∆2u + u−q ≤ 0, u(cid:48)(0) = 0, u(cid:48)(cid:48)(cid:48)(0) = 0.
Tiếp theo ta xét hàm cầu
z(r) = u(0) + r2. u(cid:48)(cid:48)(0) 2
Khi đó z là một nghiệm trên theo nghĩa
∆2z + z−q ≥ 0, z(cid:48)(0) = 0, z(cid:48)(cid:48)(cid:48)(0) = 0.
Theo nguyên lý so sánh thì z > u. Nghiệm cầu U của bài toán giá trị ban đầu
∆2U + U −q = 0,
U (0) = u(0), U (cid:48)(0) = 0,
14
U (cid:48)(cid:48)(0) = u(cid:48)(cid:48)(0), U (cid:48)(cid:48)(cid:48)(0) = 0,
tồn tại trên [0, +∞) và theo nguyên lý so sánh nghiệm đó thỏa mãn u ≤ U ≤ z. Cho
W = ∆U , với q = 1 thì ∆2U + 1/U = 0 hay là U ∆W + 1 = 0. Do ∆W = r−2(r2W (cid:48))(cid:48)
nên ta có
U (r)(r2W (cid:48)(r))(cid:48) + r2 = 0.
Tích phân trên [0, r] ta được
0
0
(cid:90) r (cid:90) r U (t)(t2W (cid:48)(t))(cid:48)dt + t2dt = 0,
0
hay là (cid:90) r U (t)d(t2W (cid:48)(t)) + = 0. (1.12) r3 3
Tích phân từng phần số hạng đầu ở vế trái phương trình (1.12) ta được
r
0
0
0 (cid:90) r
(cid:90) r (cid:90) r t2W (cid:48)(t)dU (t) − (cid:12) U (t)d(t2W (cid:48)(t)) = U (t)t2W (cid:48)(t) (cid:12) (cid:12)
0
= U (r)r2W (cid:48)(r) − t2U (cid:48)(t)dW (t).
Tích phân từng phần lần nữa ta được
0
0
r 0 − (cid:90) r
(cid:20) (cid:90) r (cid:90) r U (t)d(t2W (cid:48)(t)) = U (r)r2W (cid:48)(r) − (cid:21) W (t)d(t2U (cid:48)(t)) t2U (cid:48)(t)W (t)(cid:12) (cid:12)
0
W (t)d(t2U (cid:48)(t)). = U (r)r2W (cid:48)(r) − U (cid:48)(r)r2W (r) +
Ta có
0
0 (cid:90) r
(cid:90) r (cid:90) r W (t)(t2U (cid:48)(t))(cid:48)dt W (t)d(t2U (cid:48)(t)) =
0
= t2W 2(t)dt.
Thay tất cả vào phương trình (1.12) ta được
0
(cid:90) r U (r)r2W (cid:48)(r) − U (cid:48)(r)r2W (r) + t2W 2(t)dt + = 0. r3 3
Chia cả hai vế cho r3 ta có
0
(cid:90) r t2W 2(t)dt + W (r) + = 0. (1.13) U r2 rW (cid:48)(r) − U (cid:48)(r) r 1 r3 1 3
Từ Bổ đề 1.8 và công thức (1.8) ta có thể giả thiết limr→∞ W (r) = α với α ≥ 0.
Dùng ước lượng (1.6), (1.10) và q = 1 ta suy ra α > 0. Do đó (r2U (cid:48))(cid:48) = αr2 + o(r2)
với r đủ lớn. Tích phân hai vế trên [0, r] ta có r2U (cid:48)(r) = αr3/3. Chia hai vế cho r3
ta được U (cid:48)/r = α/3. Áp dụng quy tắc L’Hôpital ta có
15
. lim r→∞ U r2 = α 6
0
Thêm nữa, (cid:90) r dt = − . lim r→∞ (rW (cid:48)(r)) = − lim r→∞ 1 r t2 U (t)
Với W (r) bị chặn dưới thì tích phân (cid:82) r 6 α 0 t2W 2(t)dt → ∞ khi r → ∞. Do đó, áp dụng
quy tắc L’Hôpital ta có
r→∞
0
(cid:90) r r2W 2(r) = . t2W 2(t)dt = lim r→∞ lim r→∞ 1 r3 3r2 = lim W 2(r) 3 α2 3
Lấy giới hạn hai vế và thay các kết quả tính toán trên vào phương trình (1.13) ta có
r→∞
0
(cid:90) r t2W 2(t)dt + = 0, W (r) + lim r→∞ lim r→∞ U r2 (rW (cid:48)(r)) − lim U (cid:48) r 1 r3 1 3
hay là
− α + + = 0. α 6 −6 α α 3 α2 3 1 3
Điều này là vô lý, vậy nên q > 1.
1.3.3 Tốc độ tăng của nghiệm của phương trình ∆2u + u−q = 0 trong R3
Từ Định lý 1.10 ta chỉ giới hạn việc tìm nghiệm của phương trình (1.1) trong
trường hợp q > 1. Kết quả dưới đây được tổng hợp từ [CX09] và [KR03] cho chúng
ta vài thông tin cơ bản về nghiệm cầu của (1.1).
Mệnh đề 1.11. Ta có các khẳng định sau:
(a) Nếu phương trình (1.1) có nghiệm dương trơn trên R3 với tốc độ tăng tuyến
tình thì q > 3.
(b) Bất kỳ nghiệm cầu nào của phương trình (1.1) cũng có cấp tăng ít nhất là
tuyến tính tại vô cùng, nghĩa là lim inf |x|→∞ u(x)/|x| > 0, và nhiều nhất là bình phương tại vô cùng, nghĩa là lim sup|x|→∞ u(x)/|x|2+ε = 0 với mọi ε > 0 bất kỳ.
(c) Nếu 1 < q < 3 thì phương trình (1.1) có vô số nghiệm cầu và trơn với tốc độ
tăng ngặt giữa tuyến tính và bình phương, các nghiệm này có dạng brβ, với
β ∈ (1, 2).
(d) Nếu q > 3 thì bất kỳ nghiệm cầu và trơn của phương trình (1.1) hoặc là tăng
16
tuyến tính hoặc là tăng bình phương tại vô cùng.
(e) Nếu q ≥ 7 thì tồn tại duy nhất nghiệm cầu và trơn của phương trình (1.1) với
1 < q < 3
∃ u ≈ r 4 / ( 1 + q )
∃
T ồ n
t ạ i
q = 3
v ô
N g h i ệ m c ầ u
s ố
u ≈ r ( l o g r ) 1 / 4
u
t ă n g
t ừ
n g h i ệ m u
∃
q > 3
l à
t ă n g
t u y ế n
u ≈ r
c ầ n
3 < q < 7
N g h i ệ m c ầ u
u
b ì n h
t í n h
t h i ế t
đ ế n
t ă n g
p h ư ơ n g
u
b ì n h
ở
h o ặ c
t ì
v ô
n ế u m u ố n
q = 7
t u y ế n
p h ư ơ n g
c ù n g
m đ ư ợ c
∃
!
t í n h
n g h i ệ m u
h o ặ c
u ≈ r
t ă n g
b ì n h
t u y ế n
q > 7
t í
p h ư ơ n g
n h
17
tốc độ tăng tuyến tính tại vô cùng.
1.4 Bài toán giá trị ban đầu
Để nghiên cứu nghiệm cầu của phương trình ∆2u + u−q = 0 trong R3, với β > 0,
xét bài toán giá trị ban đầu liên kết với phương trình trên
∆2U + U −q = 0, U > 0, r ∈ (0, Rmax(β)),
(1.14) U (0) = 1, U (cid:48)(0) = 0,
∆U (0) = β, (∆U )(cid:48)(0) = 0,
với [0, Rmax(β)) là khoảng tồn tại nghiệm lớn nhất.
Mệnh đề 1.12. Nếu u là nghiệm cầu của phương trình ∆2u + u−q = 0 thì u(cid:48)(0) = 0
và u(cid:48)(cid:48)(cid:48)(0) = 0.
0 s2∆u(s)ds. Chia cả hai vế cho r2 ta được
Chứng minh. Ta chứng minh công thức thứ nhất. Ta có ∆u = r−2(r2u(cid:48))(cid:48), từ đó suy ra r2u(cid:48)(r) = (cid:82) r
0
(cid:90) r u(cid:48)(r) = s2∆u(s)ds. 1 r2
Do ∆u(0) = β nên ta có
0
0
(cid:90) r (cid:90) r 0 ≤ |u(cid:48)(r)| ≤ s2|∆u(s)|ds ≤ s2ds = . 1 r2 β βr 3 1 r2
Cho r → 0 thì ta có u(cid:48)(0) = 0. Tiếp theo ta chứng minh công thức thứ hai. Do ∆2u = r−2(r2(∆u)(cid:48))(cid:48) nên r2(∆u)(cid:48)(r) = (cid:82) r 0 s2(∆2u)(s)ds. Chia cả hai vế cho r2 ta
0 Do ∆2u = u−q nên trong lân cận của 0 (tức là r đủ nhỏ) thì ∆2u(s) bị chặn, tức là
được (cid:90) r (∆u)(cid:48)(r) = s2(∆2u)(s)ds. 1 r2
|∆2u(s)| ≤ C. Khi đó ta có
0
0
(cid:90) r (cid:90) r s2|∆2u(s)|ds ≤ 0 ≤ |(∆u)(cid:48)(s)| ≤ s2ds = . 1 r2 1 r2 C Cr 3
Cho r → 0 thì ta có (∆u)(cid:48)(0) = 0, tức là u(cid:48)(cid:48)(cid:48)(0) = 0. Mệnh đề được chứng minh.
Nghiệm của bài toán giá trị ban đầu trên có quan hệ chặt chẽ với giá trị β. Điều
đó được thể hiện qua Mệnh đề 1.16 dưới đây. Ta nhắc lại nghiệm cầu u của bài toán
giá trị ban đầu (1.14) được gọi là nghiệm nguyên nếu nghiệm đó xác định trên toàn
18
bộ [0, +∞). Ngược lại, nghiệm u được gọi là có giá compact nếu u dương thuộc nửa
= 0. = lim r→∞ lim r→∞ rv(cid:48)(r) v(r) r3u−q(r) (cid:82) r 0 t2u−q(t)dt
Vậy ta có điều phải chứng minh.
Khẳng định 3.7. Ta có
→ u(r) ru(cid:48)(r) 1 2
khi r → ∞. Điều này tương đương với x(r) → 2 khi r → ∞.
Chứng minh. Từ phương trình (3.9)và (3.8) ta có
1 r
0 tvdt − 1 r (cid:82) r 0 t2vdt
1 + (cid:82) r (cid:82) r 0 t2vdt = . u(r) ru(cid:48)(r)
Từ đó, ta được
= + − 1. (3.11) u(r) ru(cid:48)(r) r (cid:82) r 0 t2vdt r (cid:82) r 0 tvdt (cid:82) r 0 t2vdt
Theo quy tắc L’Hôpital ta có
= 0, lim r→∞ = lim r→∞ 1 r2v(t) r (cid:82) r 0 t2v(t)dt
và theo chứng minh trong Khẳng định 3.5 ta có
1 r2v 1 r3v
= . lim r→∞ = lim r→∞ 3 2 r (cid:82) r 0 tv(t)dt (cid:82) r 0 t2v(t)dt (cid:82) r 0 tv(t)dt (cid:82) r 0 tv(t)dt
Từ công thức (3.11) bằng cách lấy giới hạn hai vế khi r → ∞ ta có điều phải chứng
minh.
Từ các Khẳng định 3.3, 3.4, 3.5 ta thấy ngay nghiệm (x, y, z, t) của hệ (3.3) ứng
với nghiệm cầu u = Uβ với β > β∗ sẽ bị hút về điểm p6 = (2, 0, 6, 0). Do đó ta có thể
chứng minh Định lý 3.1. Tuy nhiên để chứng minh Định lý 3.2 ta cần thêm thông
tin về dáng điệu tiệm cận của u tại vô cùng, ta phải phân tích dáng điệu tiệm cận
của hệ (3.3) xung quanh điểm (2, 0, 6, 0).
Với q > 1 tuyến tính hóa của hệ (3.3) tại (x, y, z, t) được cho bởi ma trận
49
. −2x − 1 0 −z −qw 0 −2y − 1 z −w 1 0 −x + 2 0 0 −1 0 −qx − y + 2
Tại điểm p6 = (2, 0, 6, 0) ma trận trên trở thành
A = . 0 −1 0 0 0 −5 0 −1 0 0 6 −6 0 −2q + 2 0 0
Ma trận này có các giá trị riêng là λ1 = −1, λ2 = −2, λ3 = −3, λ4 = 2 − 2q. Do
các giá trị riêng này đều khác 0 với mọi q > 1 nên tồn tại cq (cid:54)= 0 sao cho xảy ra các
trường hợp: Với q > 3/2 thì
(3.12) = 2 + cqe−t + o(e−t), ru(cid:48)(r) u(r)
khi t → ∞. Với q = 3/2 thì
(3.13) = 2 + cqte−t + o(te−t), ru(cid:48)(r) u(r)
khi t → ∞. Với 1 < q < 3/2 thì
(3.14) = 2 + cqe−(2q−2)t + o(e−(2q−2)t). ru(cid:48)(r) u(r)
3.2 Tốc độ tăng bậc hai của phương trình ∆2u + u−q = 0 là
tùy ý
khi t → ∞.
Trong mục này ta sẽ chứng minh tốc độ tăng bình phương của nghiệm cầu có
thể tùy ý. Thật vậy, giả sử u là một nghiệm cầu của phương trình ∆2u + u−q = 0
(1.1) sao cho
lim r→∞ u(r) r2 = κ,
với κ > 0 nào đó. Khi đó với (cid:36) > 0 tùy ý, sẽ chỉ ra tồn tại một nghiệm cầu v của
phương trình (1.1) trên sao cho
lim r→∞ v(r) r2 = (cid:36).
Thật vậy, đầu tiên ta đặt
(cid:17) (cid:17)δ (cid:17)α v(r) = u r . (cid:16) (cid:36) κ (cid:16)(cid:16) (cid:36) κ
Dễ thấy v là nghiệm của phương trình (1.1) nếu (1 + q)δ + 4α = 0. Để có giới
hạn limr→∞ u(r)/r2 = (cid:36) ta cần δ + 2α = 1. Từ hai điều kiện này giải ra ta được
δ = −2/(q + 1) và α = (q + 1)/(2(q − 1)). Rõ ràng với q > 1 thì các giá trị δ và α
50
là luôn tồn tại.
