(LUẬN văn THẠC sĩ) hệ động lực cho mô hình động học rừng với điều kiện biên hỗn hợp

ĐẠ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 ĐINH THỊ THU HỆ ĐỘNG LỰC CHO MƠ HÌNH ĐỘNG HỌC RỪNG VỚI ĐIỀU KIỆN BIÊN HỖN HỢP LUẬN VĂN THẠC SĨ Ngành: Tốn Giải tích Người hướng dẫn: TS Lê Huy Chuẩn Hà Nội - 2017 TIEU LUAN MOI download : skknchat@gmail.com TIEU LUAN MOI download : skknchat@gmail.com ĐẠ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 ĐINH THỊ THU HỆ ĐỘNG LỰC CHO MƠ HÌNH ĐỘNG HỌC RỪNG VỚI ĐIỀU KIỆN BIÊN HỖN HỢP LUẬN VĂN THẠC SĨ Ngành: Tốn Giải tích Mã số: 60460102 LUẬN VĂN THẠC SĨ KHOA HỌC Người hướng dẫn khoa học: TS Lê Huy Chuẩn Hà Nội - 2017 TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop LỜI CẢM ƠN Trước trình bày nội dung luận văn, em xin bày tỏ lòng biết ơn sâu sắc tới Tiến sĩ Lê Huy Chuẩn người tận tình hướng dẫn để em hồn thành luận văn Em xin bày tỏ lịng biết ơn chân thành tới tồn thể thầy giáo khoa Tốn - Cơ - Tin học, Đại học Khoa Học Tự Nhiên, Đại Học Quốc Gia Hà Nội dạy bảo em tận tình suốt trình học tập khoa Nhân dịp em xin gửi lời cảm ơn chân thành tới gia đình, bạn bè ln bên em, cổ vũ, động viên, giúp đỡ em suốt trình học tập thực luận văn Hà Nội, ngày 02 tháng 10 năm 2017 Học viên Đinh Thị Thu (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop Mục lục Chương Kiến thức chuẩn bị 1.1 Những không gian hàm 1.1.1 Không gian Holder 1.1.2 Khơng gian Holder có trọng 1.1.3 Không gian Sobolev 7 1.2 Toán tử quạt 1.2.1 Toán tử quạt 1.2.2 Hàm mũ toán tử quạt 10 1.2.3 Hàm lũy thừa toán tử quạt 10 1.2.4 Xấp xỉ Yosida 12 1.3 Toán tử liên kết với dạng nửa song tuyến tính 12 1.3.1 Cặp không gian liên hợp 1.3.2 Bộ ba không gian 12 13 1.4 Toán tử Laplace kết hợp với điều kiện biên hỗn hợp 16 1.5 Phương trình tiến hóa 18 Chương Mơ hình động học rừng với điều kiên biên hỗn hợp 21 2.1 Nghiệm địa phương 22 2.2 Tính khơng âm nghiệm địa phương 24 2.3 Nghiệm toàn cục 26 2.3.1 Ước lượng tiên nghiệm 2.3.2 Sự tồn nghiệm toàn cục 2.3.3 Tính liên tục theo điều kiện ban đầu nghiệm 2.3.4 Hệ động lực 26 32 33 35 (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop LỜI MỞ ĐẦU Vào năm 1972, D B Botkin [2] đưa mơ hình tốn học sở phát triển rừng Trong đó, Botkin nghiên cứu khu vực khoảng (100m3 tới 300m3 ) rừng đưa phương trình phát triển cho với tương tác khu vực Tiếp theo vào năm 1983, hai tác giả M.Ya Antonovsky M D Korzukhin [1] đưa mô hình tốn học rừng quan tâm tới mối quan hệ phụ thuộc tuổi Mô hình sau vào năm 1994 tác giả Yu A Kuznetsov, M Ya Antonovsky, V N Biktashev A Aponina [4] phát triển thành mô hình động học rừng theo cấu trúc tuổi có xét đến hình thành khuếch tán hạt Mơ hình động học rừng Kuznetsov đưa có dạng:  ∂u   = β δ w − γ(v)u − f u Ω × (0, ∞),   ∂t     ∂v = f u − hv Ω × (0, ∞), (0.1) ∂t  ∂ w   = d∆w − β w + αv Ω × (0, ∞),    ∂t   u(x, 0) = u (x), v(x, 0) = v (x), w(x, 0) = w (x) Ω, 0 u v mật độ non già , w mật độ hạt khơng khí Phương trình thứ thứ hai mô tả phát triển cây; phương trình thứ ba mơ tả động học hạt; δ tỉ lệ nảy mầm hạt; γ(v) tỉ lệ chết non; f tốc độ phát triển non; h tỉ lệ chết già; αvà β tốc độ tạo hạt già tỉ lệ lắng đọng hạt; d số khuếch tán hạt Mơ hình trường hợp w thỏa mãn điều kiện biên Neumann tác giả Chuan, Tsujikawa, Yagi nghiên cứu Phương pháp sử dụng công cụ nửa nhóm giải tích để nghiên cứu tồn nghiệm tồn cục tính ổn định nghiệm dừng Các tác giả chứng minh tồn nghiệm toàn cục, xây dựng hệ động lực nghiên cứu ổn định nghiệm dừng Sử dụng kĩ thuật tương tự trường hợp điều kiện biên Neumann, tác giả Shirai, Chuan, Yagi nghiên cứu mơ hình với điều kiện biên Dirichlet thu kết tương tự Trong luận văn này, vấn đề đặt nghiên cứu mơ hình động học rừng với điều kiện biên hỗn hợp Tức biên Γ Ω chia làm phần ΓN ΓD Đây điều kiện biên tổng quát xuất phát từ điều kiện tự nhiên Khó khăn gặp phải tốn tử quạt sinh toán tử Laplace kết hợp với điều kiện biên hỗn hợp khơng có (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop tính chất tốt trường hợp điều kiện biên Neumann Dirichlet Do cách tiếp cận giống trường hợp điều kiện biên Neumann Dirichlet tác giả biến đổi hệ ban đầu phương trình tiến hóa dạng Parabolic cách xây dựng tốn tử quạt kết hợp toán tử Laplace với điều kiện biên hỗn hợp Từ tồn nghiệm toàn cục xây dựng hệ động lực cho mơ hình ban đầu Nội dung luận văn trình bày số kết nghiên cứu mơ hình động học rừng (0.1) với điều kiện biên hỗn hợp Bố cục luận văn bao gồm chương: • Chương luận văn gồm khái niệm kết giải tích hàm liên quan đến khơng gian Holder, khơng gian Sobolev, tốn tử quạt, phương trình vi phân tuyến tính cấp khơng gian Banach, phương trình tiến hóa tuyến tính, phương trình tiến hóa nửa tuyến tính, định lý kết liên quan tới luận văn Chương trình bày dựa tài liệu [6] • Chương nội dung luận văn Ở chương tác giả nghiên cứu toán (0.1) với điều kiện biên hỗn hợp Cụ thể tác giả tồn nghiệm không âm nghiệm địa phương tồn nghiệm toàn cục Cuối xây dựng tập hút cho hệ động lực sinh (0.1) Do thời gian thực luận văn không nhiều, kiến thức hạn chế nên làm luận văn khơng tránh khỏi hạn chế sai sót Tác giả mong nhận góp ý ý kiến phản biện quý thầy cô bạn đọc Xin chân thành cảm ơn! Hà Nội, ngày 12 tháng 08 năm 2017 Học viên Đinh Thị Thu (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop BẢNG KÍ HIỆU Dưới số kí hiệu thường xuyên sử dụng luận văn: C(Ω) := { f : Ω → C liên tục Ω} Cm (Ω) := { f : Ω → C : Dα f ∈ C(Ω), ∀α : |α| ≤ m} với m ≥ L(X,Y ) : { f : X → Y thỏa mãn f tuyến tính liên tục} Z | f (x)| p dx < ∞} với p ≥ L p (Ω) := { f : Ω → C đo cho L p,loc (Ω) := { f ∈ L p (Ω ), Ω ∀Ωcompact ⊂ Ω} (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop Chương Kiến thức chuẩn bị Trong chương này, ta xây dựng sở lý thuyết nhằm tiếp cận toán mơ hình động học rừng với điều kiện biên hỗn hợp Cụ thể, ta hệ thống lại kiến thức số khơng gian hàm, tốn tử quạt, đồng thời nhắc lại kết phương trình vi phân tuyến tính cấp khơng gian Banach, phương trình tiến hóa tuyến tính 1.1 Những khơng gian hàm 1.1.1 Không gian Holder Cho Ω ⊂ R tập mở < γ ≤ Định nghĩa 1.1 Hàm số u : Ω → R gọi liên tục Holder bậc γ tồn số C > cho |u(x) − u(y)| ≤ C|x − y|γ , x, y ∈ Ω Khi γ = 1, hàm số u gọi liên tục Lipschitz Kí hiệu khơng gian hàm liên tục Holder bậc γ C0,γ (Ω) b) Nửa chuẩn Holder bậc gamma u ∈ C0,γ (Ω) [u]C0,γ (Ω) := sup x6=y x,y∈Ω |u(x) − u(y)| |x − y|γ (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop Định nghĩa 1.2 Không gian Holder Ck,γ (Ω) không gian hàm u : Ω → R cho đạo hàm riêng cấp k bị chặn liên tục Holder bậc γ với chuẩn xác định sau: kukCk,γ (Ω) := ∑ kDα ukC(Ω) + |α|≤k 1.1.2 ∑ [Dα u]C0,γ (Ω) |α|=k Không gian Holder có trọng Cho X khơng gian Banach với chuẩn k.k, [a, b] ⊂ R, với hai số mũ < σ < β ≤ 1, ta định nghĩa khơng gian hàm Holder liên tục có trọng Fβ ,σ ((a, b]; X) sau: Định nghĩa 1.3 Không gian Fβ ,σ ((a, b]; X) bao gồm hàm liên tục F : (a, b] → X (hay F : [a, b] → X ) < β < (khi β = 1) thỏa mãn điều kiện sau: (1) Với β < 1, (t − a)1−β F(t) có giới hạn t → a (2) F hàm liên tục Holder với số mũ σ với trọng (s − a)1−β +σ , cụ thể (s − a)1−β +σ kF(t) − F(s)k (t − s)σ a≤s cho C1C3 ≤ β4 , sau nhân (2.8) với C3 ta Z u dx +C3 f Ω Z Ω Z Ω α2 Z Ω C3 f u dx ≤ 2 Z Z u dx +C1C3 Ω Ω w dx − Z C3 γ(v)u2 dx Ω 27 (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop C3 f ≤ Z Z β u dx + Ω w dx −C3 Ω Z γ(v)u2 dx (2.10) Ω Cộng vế (2.9) (2.10) ta C3 d dt Z Z u dx +C3 f Ω d u dx + dt Ω C3 f ≤ Z Z Z β u2 dx + Ω d |∇w| dx + β w dx + Ω Z Ω w2 dx −C3 Ω Z Z w2 dx Ω γ(v)u2 dx + β Ω Z w2 dx +C2 Ω Z v2 dx Ω hay C3 d dt Z d u dx + dt Ω Z C3 f w dx + 2 Ω Z β u dx + Ω Z w2 dx Ω ≤ C2 Z Z v dx −C3 Ω γ(v)u2 dx (2.11) Ω Tiếp theo, nhân phương trình thứ hai (2.1) với v lấy tích phân Ω ta d dt Z Z uvdx − h v dx = f Ω Ω Z v2 dx Ω hay d dt Z Z v dx + h Ω Z v dx = f Ω uvdx Ω Lấy C4 > cho C4 h ≥ 2C2 sau nhân đẳng thức với C4 ta có C4 d dt Z Z v dx + 2C2 Ω Z v dx = C4 f Ω uvdx Ω Cộng vế đẳng thức với vế bất đẳng thức (2.11) ta C3 d dt Z d u dx + dt Ω d + C4 dt Z Z C3 f w dx + 2 Ω Z v dx +C4 h Ω Z Ω v dx ≤ C2 Ω Z w2 dx Ω v dx −C3 Ω Z β u dx + Z Z γ(v)u dx +C4 f Ω uvdx Ω hay C3 d dt Z Ω C3 f u dx + 2 Z d u dx + dt Ω Z Ω β w dx + Z w2 dx Ω 28 (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop d + C4 dt Z Z 2 v dx ≤ C4 f v dx +C2 Ω Ω Z uvdx −C3 Ω Z γ(v)u2 dx Ω Ta ý   C42 f 2 C4 f uv −C3 γ(v)u = − C3 a(v − b) u −C4 f (v − b)u + 4C3 a    2 2 C4 f b2 b2 C4 f b − C3Cu −C4 f bu + + + 4C3 c 4C3 a c Xét tam thức bậc hai (v − b)u C3 a(v − b)2 u2 −C4 f (v − b)u + C42 f 4C3 a Ta có C3 a ≥ ∆ = C42 f − 4C3 a C42 f = C42 f −C42 f = 4C3 a Vậy C42 f C3 a(v − b) u −C4 f (v − b)u + ≥ 4C3 a 2 Tương tự, xét tam thức bậc hai u C3 cu2 −C4 f bu + C42 f b2 4C3 c Ta có C3 c ≥ C42 f b2 ∆ = (C4 f b) − 4C3 c = C42 f b2 −C42 f b2 = 4C3 c Vậy C3 cu2 −C4 f bu + C42 f b2 ≥ 4C3 c Từ suy C4 f b2 C4 f uv −C3 γ(v)u ≤ 4C3  b2 + a c  Vì vậy, tồn ρ > cho d dt Z 2
Z C3 u +C4 v + w dx + ρ Ω
C3 u2 +C4 v2 + w2 dx ≤ C, Ω 29 (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop  ρ = f h β , , 2  Z ;C = C42 f 4C3  b2 + a c  dx Ω Vậy nên
C3 ku(t)k2L2 +C4 kv(t)k2L2 +kw(t)k2L2 ≤ Ce−ρt C3 ku0 k2L2 +C4 kv0 k2L2 + kw0 k2L2 +C Từ ta suy   kU(t)kL2 ≤ C e−ρt kU0 kL2 + , ≤ t ≤ TU Bước Đánh giá kw(t)kL∞ Theo cơng thức biến thiên số ta có biểu diễn −tΛ w(t) = e Z t w0 + Khi η −tΛ η Λ w(t) = Λ e e−(t−τ)Λ αv(τ)dτ Z t w0 + α Λη e−( t−τ ) e−( t−τ ) v(τ)dτ Do ke−tΛ k ≤ e−tβ (t > 0, Λ ≥ β ) nên ta có η −tΛ η kw(t)kD(Λη ) ≤ CkΛ wkL2 (Ω) ≤ kΛ e ≤ Ct −η −tβ e kw0 kL2 +C Z t (t − τ)−η e −β w0 k +C (t−τ) Z t (t − τ)−η e −β (t−τ) kv(τ)kL2 dτ kv(τ)kL2 dτ Theo Bước ta có   kv(τ)kL2 ≤ kU(τ)kL2 ≤ C e−ρτ kU0 kL2 + Do Z t (t − τ)−η e −β (t−τ) Z t ≤ (t − τ)−η e −β kv(τ)kL2 dτ   C e−ρτ kU0 kL2 + dτ (t−τ) ≤C Z t −η −β (t−τ) (t − τ) e Z t dτ +C (t − τ)−η e −β (t−τ) −ρτ e kU0 kL2 dτ 30 (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop Lấy ≤ ρ ≤ Z t n β ,ρ (t − τ)−η e −β o (t−τ) +Ce ≤C kv(τ)kL2 dτ ≤ C −ρ t Z t Z t (t − τ)−η e −β (t−s) ds Z t   β −η − −ρ (t−s) −(ρ−ρ )s e kU0 kL2 ds (t − τ) e   −β −η +ρ (t−s) (t − τ) ds e −ρ t Z t   β −η − −ρ (t−s) (t − τ) e dskU0 kL2 +Ce h 00 i ≤ C e−ρ t kU0 k + Ta coi ρ số mới, từ suy   kw(t)kL∞ ≤ Ckw(t)kD(Λη ) ≤ C (1 + t −η )e−ρt kU0 k + } (0 < t < TU ) (2.12) Bước Đánh giá ku(t)kL∞ , kv(t)kL∞ Từ (2.5), ta có R − 0t [γv(s)+ f ]ds u(t) = e Z t u0 + β δ e− Rt s [γv(τ)+ f ]dτ w(s)ds Kết hợp với đánh giá (2.12) ta có −ft ku(t)kL∞ ≤ e ku0 kL∞ +C ≤ e− f t ku0 kL∞ +C −ft =e Z t +C ku0 kL∞ +C (1 + τ −η )e Z t Z t e− f (t−τ) kw(τ)kL∞ dτ   e− f (t−τ) (1 + t −η )e−ρt kU0 k + dτ Z t − f (t−τ) e Z t dτ +C −τβ 0 e− f (t−τ) e−ρτ kU0 kX dτ kU0 kdτ Lấy ≤ ρ ≤ { f , ρ} −ft ku0 kL∞ +C −ρ t Z t ku(t)kL∞ ≤ Ce +Ce Z t e− f (t−τ) dτ −( f −ρ )(t−τ) e Thay ρ số ta   ku(t)kL∞ ≤ C e−ρt kU0 kX + e−(ρ−ρ )τ dτkU0 kX (0 ≤ t ≤ TU ) (2.13) 31 (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop Tương tự, từ (2.6) (2.13) ta có   kv(t)kL∞ ≤ C e−ρt kU0 kX + (0 ≤ t ≤ TU ) Kết hợp với đánh giá thu bước ta suy   kU(t)kX ≤ C e−ρt kU0 kX + 2.3.2 Sự tồn nghiệm toàn cục Định lý 2.2 Cho u0 , v0 ∈ L∞ (Ω) w0 ∈ L2 (Ω) thỏa mãn điều kiện u0 ≥ 0, v0 ≥ w0 ≥ Khi hệ (2.1) có nghiệm tồn cục không gian hàm: ( ≤ u, v ∈ C([0, ∞); L∞ (Ω)) ∩C1 ((0, ∞); L∞ (Ω)), ≤ w ∈ C([0, ∞); L2 (Ω)) ∩C((0, ∞); D(Λ)) ∩C1 ((0, ∞); L2 (Ω)) Chứng minh Theo Mệnh đề 2.1 ta thấy hệ (2.1) tồn nghiệm địa phương (u, v, w) đoạn [0, TU0 ] Hơn nữa, theo Mệnh đề 2.1 ta có ước lượng tiên nghiệm sau:   kU(t)kX ≤ C e−ρt kU0 kX + (0 < t ≤ TU0 ) (2.14) Xét toán Cauchy   dV + AV = F(V ), dt  V (0) = U(T ) U0 t ∈ (0, ∞) Theo định lý tồn nghiệm địa phương ta thấy tồn nghiệm V (t) (0, δ ) , độ dài δ phụ thuộc vào kU(TU0 )k Tuy nhiên, theo đánh giá (2.14) nên δ phụ thuộc vào kU0 k Đặt ( U(t) t ∈ [0, TU0 ], ˜ = U(t) V (t − TU0 ) t ∈ [TU0 , TU0 + δ ] ˜ nghiệm phương trình ban đầu (0; TU0 + Do tính nghiệm nên U(t) δ ) Thay TU0 TU0 + δ lặp lại trình ta mở rộng U(t) (0, ∞) Như vậy, ta tồn nghiệm tồn cục tốn (2.1) cho ( ≤ u, v ∈ C([0, ∞); L∞ (Ω)) ∩C1 ((0, ∞)); L∞ (Ω)), ≤ w ∈ C([0, ∞); L2 (Ω)) ∩C((0, ∞); D(Λ)) ∩C1 ((0, ∞); L2 (Ω)) Phần ta xét tính liên tục nghiệm theo điều kiện ban đầu 32 (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop 2.3.3 Tính liên tục theo điều kiện ban đầu nghiệm Giả sử B tập giá trị ban đầu bị chặn sau BR = {U0 ∈ K : kU0 k ≤ R} R > Theo Định lý 2.2 với U0 ∈ BR hệ (2.1) tồn nghiệm tồn cục Khi ta có kết sau Mệnh đề 2.2 Với R > T > tồn số CR,T > (chỉ phụ thuộc vào R T ) cho với U0 ,V0 ∈ BR hai nghiệm U(t) V (t) hệ (2.1) tương ứng với giá trị ban đầu U0 ,V0 thỏa mãn đánh giá t η kAη [U(t) −V (t)]k + kU(t) −V (t)k ≤ CR,T kU0 −V0 k, ≤ t ≤ T (2.15) Chứng minh Với θ ∈ [0, 1), từ công thức biểu diễn nghiệm ta có θ −tA θ A [U(t)−V (t)] = A e (U0 −V0 )+ Z t Aθ e−(t−s)A [F(U(s))−F(V (s))]ds, < t ≤ T Do tính Lipschitz tốn tử F từ Mệnh đề 2.1 đánh giá tiên nghiệm ta có θ θ t kA [U(t) −V (t)]k ≤ Aθ kU0 −V0 k +CR Aθ t −η +s θ Z t kU(s) −V (s)k}ds, ≤ Aθ kU0 −V0 k +CR Aθ t (t − s)−θ {kAη (U(s) −V (s))k < t ≤ T, θ Z t (t − s)−θ s−η p(s)ds (2.16) Aθ = sup t θ kAθ e−tA k 0 0; số mũ cố định µ > 0, ν > ta xét hàm ϕ(t, s) ≥ có điểm kì dị t = s thỏa mãn bất đẳng thức ϕ(t, s) ≤ a(t − s) µ−1 Z t +b (t − τ)ν−1 ϕ(τ, s)dτ 0≤s U0 ∈ K thỏa mãn kU0 k ≤ R Khi đó, từ (2.14) ta thấy tồn tR cho kU(t)k ≤ C˜ + ∀t ≥ tR , C˜ số xuất đánh giá tiên nghiệm Suy sup sup kS(t)U0 k ≤ C˜ + U0 ∈K kU0 k≤R t≥tR Đặt B = {U ∈ K; kUk ≤ C˜ + 1} 35 (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop(LUAN.van.THAC.si).he.dong.luc.cho.mo.hinh.dong.hoc.rung.voi.dieu.kien.bien.hon.hop tập hút hệ (S(t), K, X) Vì B tập hút nên tồn tB > cho S(t)B ⊂ B, ∀t ≥ tB Xét tập ˜ = ∪0≤t