Dáng điệu nghiệm của hệ động lực tuyến tính và một vài ứng dụng: Luận văn ThS. Toán học: 60 46 01 02

67 26 0
Dáng điệu nghiệm của hệ động lực tuyến tính và một vài ứng dụng: Luận văn ThS. Toán học: 60 46 01 02

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - - - - - - - - - o0o - - - - - - - - - THÂN THU PHƯƠNG DÁNG ĐIỆU NGHIỆM CỦA HỆ ĐỘNG LỰC TUYẾN TÍNH VÀ MỘT VÀI ỨNG DỤNG LUẬN VĂN THẠC SĨ KHOA HỌC Hà Nội - 2015 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - - - - - - - - - o0o - - - - - - - - - THÂN THU PHƯƠNG DÁNG ĐIỆU NGHIỆM CỦA HỆ ĐỘNG LỰC TUYẾN TÍNH VÀ MỘT VÀI ỨNG DỤNG Chuyên 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: PGS.TS ĐẶNG ĐÌNH CHÂU Hà Nội - 2015 Mục lục Nửa nhóm liên tục mạnh tốn tử sinh nửa nhóm liên tục mạnh 1.1 Khái niệm nửa nhóm liên tục mạnh số tính chất sơ cấp nửa nhóm liên tục mạnh 1.1.1 Định nghĩa 1.1.2 Một số tính chất sơ cấp nửa nhóm liên tục mạnh 1.2 Khái niệm toán tử sinh nửa nhóm liên tục mạnh tính chất 1.2.1 Khái niệm toán tử sinh 1.2.2 Các tính chất tốn tử sinh 1.2.3 Một vài biểu thức liên quan đến giải toán tử sinh 1.3 Các định lý tốn tử sinh nửa nhóm 1.4 Một số dạng đặc biệt nửa nhóm liên tục mạnh 1.4.1 Nửa nhóm liên tục 1.4.2 Nửa nhóm tích phân Bài toán nhiễu nửa nhóm liên tục mạnh 2.1 Khái niệm họ tốn tử tiến hóa số tính chất nghiệm phương trình vi phân tuyến tính 2.2 Phương trình vi phân tuyến tính bị nhiễu đường thẳng thực số mơ hình đơn loài 2.2.1 Mơ hình quần thể tăng trưởng theo hàm mũ (Malthus, 1798) 2.2.2 Mơ hình quần thể tăng trưởng Logistic (Verhulst, 1838) 2.3 Mơ hình thú - mồi Lotka - Volterra đơn giản 2.4 Mơ hình thú - mồi Lotka - Volterra với loài mồi tăng trưởng Logistic 2.5 Nhiễu bị chặn nửa nhóm liên tục mạnh 2.6 Phương trình tiến hóa với nhiễu Lipschitz 2.7 Nhiễu tuyến tính phương trình tiến hố họ tốn tử tiến hóa liên tục mạnh 2.8 Một số ví dụ minh họa 2.8.1 Giới thiệu toán 2.8.2 Các ví dụ 4 7 12 15 21 21 25 28 28 38 38 39 40 43 45 48 54 56 56 58 Mở Đầu Lý thuyết hệ động lực khởi xướng nhà toán học Pháp Henri Poincare cách kỷ Ngày nay, phát triển mạnh mẽ trở thành lĩnh vực quan trọng toán học Lý thuyết hệ động lực liên quan tới hầu hết ngành khoa học khác ứng dụng rộng rãi đời sống ngày Để có khái niệm sơ lược hệ động lực ta bắt đầu làm quen với định nghĩa sau Ký hiệu R đường thẳng thực, M không gian Metric, giả sử S tập mở M Ta thường ký hiệu φ : R × S → M φ = φ(t, x) (hay φ = φt x ) ánh xạ φ nhóm phụ thuộc tham số tức là: (a) φt=0 : S → S ánh xạ đồng (b) φt φs = φt+s , với s, t ∈ R Như biết hầu hết vấn đề liên quan tới tốn học trừu tượng mà ứng dụng ngành khoa học tự nhiên đến nghiên cứu tính chất hệ động lực tập nghiệm phương trình vi phân thường phương trình đạo hàm riêng Bài tốn mà đề cập đến Luận văn "Dáng điệu nghiệm hệ phương trình động lực tuyến tính số ứng dụng" chủ yếu tìm hiểu trình bày lại vài vấn đề phương pháp hệ động lực tuyến tính khả ứng dụng thực tế Cụ thể phương pháp nửa nhóm bị nhiễu để nghiên cứu phương trình tiến hóa Tuy nhiên lĩnh vực trừu tượng đa dạng khn khổ luận văn thạc sĩ dành quan tâm nhiều cho việc xây dựng ví dụ minh họa cho phương pháp nửa nhóm vài ứng dụng lý thuyết nhiễu số mơ hình quần thể sinh học quen thuộc Bố cục luận văn gồm phần mở đầu, hai chương, phần kết luận danh mục tài liệu tham khảo Chương trình bày định nghĩa, tính chất nửa nhóm liên tục mạnh số định lý quan trọng toán tử sinh nửa nhóm liên tục mạnh Để hồn thành nội dung chương tham khảo tài liêu [1], [2],[6], [7], [8], [9], [10], [12], [14] Chương hai trình bày tốn nhiễu nửa nhóm, định nghĩa tính chất họ tốn tử tiến hóa liên tục mạnh đủ tốt ứng dụng tốn nhiễu mơ hình quần thể đa loài Để hoàn thành nội dung chương tham khảo tài liêu [11], [17], [18], [19], [23], [25], [26] Bản luận văn thực hướng dẫn PGS TS Đặng Đình Châu Nhân dịp tơi xin bày tỏ lịng biết ơn sâu sắc tới thầy, người dành nhiều công sức thời gian để hướng dẫn, kiểm tra, giúp đỡ tơi việc hồn thành luận văn Tơi xin gửi lời cảm ơn đến lãnh đạo thầy khoa Tốn - Cơ Tin học, trường Đại học Khoa học Tự nhiên Hà Nội kiến thức điều tốt đẹp mang lại cho thời gian học tập trường Tôi xin cảm ơn tới phòng Sau Đại học điều kiện thuận lợi việc hoàn thành thủ tục học tập bảo vệ luận văn Cám ơn thầy bạn seminar Phương trình vi phân động viên ý kiến trao đổi q báu thân tơi thời gian qua Cuối tơi muốn tỏ lịng biết ơn gia đình, người thân chỗ dựa tinh thần vật chất cho sống học tập Mặc dù có nhiều cố gắng luận văn khó tránh khỏi thiếu sót Vì vậy, tơi mong nhận góp ý q thầy, cô bạn Hà Nội, tháng 11 năm 2015 Thân Thu Phương Chương Nửa nhóm liên tục mạnh tốn tử sinh nửa nhóm liên tục mạnh 1.1 Khái niệm nửa nhóm liên tục mạnh số tính chất sơ cấp nửa nhóm liên tục mạnh 1.1.1 Định nghĩa Định nghĩa 1.1 Một họ (T (t))t≥0 tốn tử tuyến tính bị chặn không gian Banach X gọi nửa nhóm liên tục mạnh (hoặc C0 − nửa nhóm ) thỏa mãn điều kiện sau: T (t + s) = T (t)T (s) với t, s ≥ T (0) = I lim T (t)x = T (t0 )x với x ∈ X, t ≥ t→t0 Ví dụ 1.1 Xét nửa nhóm (T (t))t≥0 khơng gian C0 = C0 (R), xác định C0 (R) = {f ∈ C(R) : lim f (s) = 0} s→±∞ Với chuẩn ||f || = sup |f (s)| Ta có (C0 , ||.||) không gian Banach s∈R ∀t ≥ 0, ta định nghĩa: (Tl (t)f )(s) = f (t + s) ∀f ∈ C0 , ∀s ∈ R (Tr (t))f (s) = f (s − t) ∀f ∈ C0 , ∀s ∈ R Và Khi (Tr (t))t≥0 (Tl (t))t≥0 nửa nhóm liên tục mạnh C0 , gọi tương ứng nửa nhóm dịch chuyển phải trái C0 Chứng minh Ta chứng minh cho trường hợp nửa nhóm dịch chuyển trái, trường hợp nửa nhóm dịch chuyển phải chứng minh tương tự • Ta chứng minh (Tl (t)) nửa nhóm Thật vậy: ∀t, h ≥ 0, ∀f ∈ C0 , s ∈ R, ta có (Tl (t + h)f )(s) = f (t + h + s) = (Tl (t)f )(h + s) = (Tl (t)Tl (h))f (s) suy Tl (t + h) = Tl (t)Tl (h) • Ta chứng minh (Tl (t))t≥0 liên tục mạnh Thật vậy, ta cần rằng, ∀f ∈ C0 lim ||Tl (t)f − f || = lim sup |f (t + s) − f (s)| = t→0+ t→0+ s∈R Vì f ∈ C0 suy f liên tục R tồn giới hạn lim f (s) = 0, s→±∞ nên f liên tục R Do ∀ > 0, ∃δ > cho: ∀s1 , s2 : |s1 − s2 | < δ Khi ∀t : ≤ t < δ, |t + s − s| < δ, ∀s ∈ R, ta có |f (t + s) − f (s)| < Suy sup |f (t + s) − f (s)| ≤ suy : |f (s1 ) − f (s2 )| < ∀s ∈ R ∀t : ≤ t < δ s∈R Vậy theo định nghĩa giới hạn ta có lim sup |f (t + s) − f (s)| = t→0+ s∈R Vậy (Tl (t))t≥0 nửa nhóm liên tục mạnh 1.1.2 Một số tính chất sơ cấp nửa nhóm liên tục mạnh Bổ đề 1.1 Giả sử X không gian Banach F hàm từ tập compact K ⊂ R vào L(X) Khi khẳng định sau tương đương (a) F tốn tử tơpơ liên tục mạnh; tức là, ánh xạ K t → F (t)x ∈ X liên tục ∀x ∈ X (b) F bị chặn K, ánh xạ K t → F (t)x ∈ X liên tục ∀x ∈ D ⊂ X, D trù mật X (c) F liên tục tôpô hội tụ tập compact X ; tức là, ánh xạ K × C (t, x) → F (t)x ∈ X liên tục tập compact C X Định lý 1.1 Cho nửa nhóm (T (t))t≥0 khơng gian Banach X Khi tính chất sau tương đương (a) (T (t))t≥0 nửa nhóm liên tục mạnh (b) lim+ T (t)x = x ∀x ∈ X t→0 (c) Có số δ > 0, M ≥ tập trù mật D ⊂ X thỏa mãn i ||T (t)|| ≤ M ∀t ∈ [0, δ], ii lim+ T (t)x = x ∀x ∈ D t→0 Chứng minh +) Chứng minh (a) ⇒ (c.ii) Vì (T (t))t≥0 nửa nhóm liên tục mạnh không gian Banach, nên lim T (t)x = T (0)x = x t→0+ ∀x ∈ D (D trù mật X ) +) Chứng minh (a) ⇒ (c.i) Giả sử ngược lại, tức tồn dãy (δn )n∈N ⊂ R+ hội tụ đến thỏa mãn ||T (δn )|| → ∞ n → ∞ Theo nguyên lý bị chặn đều, tồn x ∈ X thỏa mãn (||T (δn )x||)n∈N không bị chặn Điều mâu thuẫn với T (.)x liên tục t = (do (T (t))t≥0 nửa nhóm liên tục mạnh) +) Chứng minh (c) ⇒ (b) Đặt K = {tn : n ∈ N} ∪ {0} với dãy (tn )n∈N ⊂ [0, ∞) hội tụ đến Khi K ⊂ [0, ∞) compact, T (.)|K x liên tục ∀x ∈ D Do áp dụng bổ đề 1.1 (b) ta T (.)|K x liên tục ∀x ∈ X, tức là: lim T (tn )x = x n→∞ ∀x ∈ X Vì (tn )n∈N chọn tùy ý nên (b) chứng minh +) Chứng minh (b) ⇒ (a) Giả sử t0 > x ∈ X Khi lim ||T (t0 + h)x − T (t0 )x|| ≤ ||T (t0 )||.|| lim ||T (h)x − x|| = 0, h→0+ h→0+ suy (T (t))t≥0 liên tục phải Nếu h < ||T (t0 + h)x − T (t0 )x|| ≤ ||T (t0 + h)||.||x − T (−h)x|| dẫn đến tính liên tục trái, ||T (t)|| bị chặn ∀t ∈ [0, t0 ] Vậy (T (t))t≥0 nửa nhóm liên tục mạnh Định lý 1.2 Cho nửa nhóm liên tục mạnh (T (t))t≥0 Khi có số w ∈ R M ≥ thỏa mãn: ||T (t)|| ≤ M ewt ∀t > (1.1) Chứng minh Chọn M ≥ thỏa mãn ||T (s)|| ≤ M ∀0 ≤ s ≤ Với t ≥ lấy t = s + n, ∀n ∈ N ≤ s < Khi đó: ||T (t)|| = ||T (s + n)|| = ||T (s).T (n)|| ≤ ||T (s)||.||T (n)|| ≤ ||T (s)||.||T (1)||n ≤ M n+1 = M en ln M ≤ M ewt với w = ln M t ≥ Ví dụ 1.2 Theo đinh lý (1.2) ta ln có ω < +∞ ω0 = −∞ Chẳng hạn: Trong không gian L1[0;1] , ta xét nửa nhóm tịnh tiến trái xác định bởi: T (t)f (s) = f (t + s) s + t ≤ s + t > Ta có: T (t) = 0, ∀t > 1 Với t thỏa mãn ≤ t ≤ 1, ||T (t)|| ≤ ||T (t)f || = || T (t)f (s)ds|| ≤ ||f || Suy ||T (t)|| ≤ Với ω < cố định, chọn M cho M ≤ e−ω Khi đó: ||T (t)|| < ≤ M.eω ≤ M.eωt , ∀t ≥ Vậy ω0 = −∞ 1.2 Khái niệm toán tử sinh nửa nhóm liên tục mạnh tính chất 1.2.1 Khái niệm tốn tử sinh Để xây dựng khái niệm tốn tử sinh nửa nhóm liên tục mạnh, trước hết ta chứng minh bổ đề sau: Bổ đề 1.2 Cho nửa nhóm (T (t))t≥0 liên tục mạnh phần tử x ∈ X Đối với quỹ đạo ánh xạ ξx : t → T (t)x, tính chất sau tương đương (a) ξx (.) khả vi R+ (b) ξx (.) khả vi bên phải t = Định nghĩa 1.2 Toán tử sinh A : D(A) ⊂ X → X nửa nhóm liên tục mạnh (T (t))t≥0 không gian Banach X toán tử Ax = ξ˙x (0) = lim+ (T (h)x − x), h→0 h (1.2) xác định với x miền xác định D(A) = {x ∈ X : ξx khả vi R+ } (1.3) Theo bổ đề 1.2, ta thấy miền xác định D(A) tập tất phần tử x ∈ X mà ξx (.) khả vi bên phải t = Do D(A) = {x ∈ X : lim+ (T (h)x − x) tồn tại} h→0 h (1.4) Miền D(A) không gian vector ký hiệu tốn tử sinh (A, D(A)) Chúng ta thường viết A coi miền xác định cho (1.4) 1.2.2 Các tính chất tốn tử sinh Giả sử T (t)t≥0 toán tử liên tục mạnh toán tử sinh (A, D(A)), ta đặt: t y(t) = t t ξx (s)ds = t T (s)xds, ∀x ∈ X, t > 0 Do lim+ T (t)x = x nên với ε > 0, tồn số δ > cho với < t < δ ta t→0 có ε ||T (t)x − x|| < Mặt khác theo định nghĩa tích phân xác định với ε > tồn phân hoạch đoạn [0, t] cho: t n T (s)xds − T (αi )x∆si i=1 ε < t, αi ∈ [si−1 , si ] (i = 1, n)

Ngày đăng: 15/09/2020, 14:37

Từ khóa liên quan

Tài liệu cùng người dùng

Tài liệu liên quan