Bối cảnh và vấn đề nghiên cứu

Trong xu thế phát triển của khoa học hiện đại, toán ứng dụng ngày càng khẳng định vị trí then chốt tại các cơ sở giáo dục đại học và cao đẳng thông qua nhiều phân ngành chuyên sâu như giải tích số, tối ưu hóa, lý thuyết xác suất và thống kê toán học. Tiếp cận từ góc độ liên môn, toán sinh học (mathematical biology) nổi lên như một hướng nghiên cứu giàu tiềm năng, nơi các cấu trúc và công cụ giải tích toán học được vận dụng để mô hình hóa, lượng hóa và giải thích các quy luật vận động của thế giới tự nhiên.

Khóa luận tốt nghiệp "Mô hình dịch bệnh trong quần thể dân cư (Epidemic Model in Multiple Populations)" được thực hiện bởi sinh viên Phạm Thị Kim Chi, chuyên ngành Đại học Sư phạm Toán, Khoa Khoa học Tự nhiên, Trường Đại học Hồng Đức, dưới sự hướng dẫn khoa học của Th.S Lê Trần Tình (hoàn thành vào tháng 4 năm 2018). Xuất phát từ nhận thức về vai trò của công cụ toán học trong phân tích quá trình lây truyền bệnh dịch, tác giả lựa chọn đề tài nhằm xây dựng một hệ thống lý luận toán học có tính ứng dụng cao, phục vụ công tác nghiên cứu và giảng dạy chuyên ngành Sư phạm Toán.

Mục tiêu nghiên cứu tổng quát của đề tài là trên cơ sở tìm hiểu hệ thống kiến thức cơ bản về lý thuyết phương trình vi phân, khóa luận hướng tới việc giải thích bản chất sự biến đổi trạng thái của quá trình dịch tễ trong các quần thể sinh vật đa loài và đơn loài; từ đó xây dựng cái nhìn tổng quan, có hệ thống về quy luật phát triển của dịch bệnh nhằm đề xuất phương pháp dập dịch hiệu quả.

Nhiệm vụ nghiên cứu của khóa luận được xác lập cụ thể gồm hai nội dung chính:

  1. Nghiên cứu một số vấn đề lý luận cơ bản và chuyên sâu về phương trình vi phân.
  2. Ứng dụng lý thuyết phương trình vi phân vào việc nghiên cứu mô hình dịch bệnh trong quần thể dân cư (Epidemic Models in Multiple Populations).

Đối tượng nghiên cứu của công trình là lý thuyết phương trình vi phân thường và mô hình dịch bệnh trong quần thể dân cư. Phạm vi nghiên cứu tập trung vào các tính chất định tính của hệ phương trình vi phân (tính tồn tại, duy nhất, nghiệm dương, tính ổn định) và cấu trúc mô hình dịch tễ học áp dụng cho quần thể đơn loài cũng như quần thể tương tác đa loài.

Cơ sở lý thuyết và phương pháp

Khung lý thuyết của khóa luận được thiết lập dựa trên giải tích hiện đại và lý thuyết phương trình vi phân thường phi tuyến. Tác giả vận dụng các khái niệm và công cụ giải tích toán học chuẩn mực, bao gồm:

  • Lý thuyết hệ phương trình vi phân dạng tổng quát $\dot{x} = f(t, x)$ và hệ Ô-tô-nôm (hệ tự trị) $\dot{x} = f(x)$, cùng khái niệm hệ động lực $(R^n, \phi_t)$ với dòng toán tử $\phi_t$.
  • Lý thuyết điểm bất động: Trọng tâm là Định lý điểm bất động Banach áp dụng cho ánh xạ co trên tập con đóng của không gian Banach.
  • Giải tích hàm và lý thuyết xấp xỉ: Định lý Arzelà - Ascoli về tính compact tương đối của tập các hàm liên tục đồng bậc và bị chặn đều; phương pháp làm mịn hàm số bằng tích chập với nhân chuẩn hóa mollifier $\rho \in C_c^\infty(R^n)$.
  • Lý thuyết bất đẳng thức vi phân và tích phân: Định lý so sánh nghiệm vi phân và Bất đẳng thức Gronwall (dạng vi phân và dạng tích phân).
  • Lý thuyết định tính và dáng điệu tiệm cận: Tuyến tính hóa hệ phi tuyến quanh điểm dừng qua ma trận Jacobian $Df(x^*)$, Định lý ổn định tiệm cận địa phương dựa trên phổ ma trận, Tiêu chuẩn đại số Routh - Hurwitz cho đa thức đặc trưng bậc $n \le 4$.
  • Phương pháp phổ của Diekmann: Lý thuyết ma trận dương, ma trận dương ngoài đường chéo, chặn trên phổ $s(A) = \sup{\text{Re}(\lambda) : \lambda \in \sigma(A)}$, bán kính phổ $\rho(A) = \sup{|\lambda| : \lambda \in \sigma(A)}$, định lý đĩa tròn Gershgorin, và kỹ thuật phân tích ma trận thế hệ tiếp theo (ma trận thay thế cơ sở) nhằm xác định hệ số lây nhiễm cơ bản $\mathcal{R}_0$.

Về phương pháp nghiên cứu, tác giả sử dụng nhóm phương pháp nghiên cứu định tính, bao gồm việc thu thập, phân tích, tổng hợp và hệ thống hóa các tài liệu tham khảo chuyên ngành liên quan đến giải tích phương trình vi phân và toán sinh học, kết hợp với phương pháp tham khảo ý kiến chuyên gia thông qua sự định hướng của người hướng dẫn khoa học.

Nguồn dữ liệu và ngữ liệu phân tích của khóa luận là các kết quả giải tích thuần túy, các định lý, bổ đề toán học đã được công bố trong các tài liệu chuyên khảo. Hệ thống ký hiệu toán học được tác giả quy ước thống nhất ngay từ đầu công trình: tập số thực $R$, tập số thực không âm $R_+ := [0, \infty)$, không gian Euclide $n$-chiều $R^n$ trang bị tích vô hướng $\langle x, y \rangle = x^T y$ và chuẩn Euclide $|x|$, không gian các ma trận thực vuông cấp $n$ ký hiệu là $\mathcal{L}(R^n)$, cùng các không gian hàm khả tích $L^1(\Omega)$, $L^1_{loc}(\Omega)$ và không gian hàm khả vi liên tục $C_b^1([a, b])$.

Nội dung chính theo từng chương

Bố cục khóa luận được cấu trúc thành hai chương nội dung chính, phản ánh mạch lập luận từ lý thuyết giải tích cơ sở đến ứng dụng mô hình sinh học:

Chương 1: Kiến thức chuẩn bị

Chương 1 chiếm dung lượng lớn của khóa luận, thực hiện nhiệm vụ chọn lọc và hệ thống hóa các kết quả toán học giải tích chặt chẽ, tạo cơ sở phương pháp luận cho việc phân tích các mô hình ở chương kế tiếp. Nội dung chương bao gồm các vấn đề trọng tâm sau:

  1. Hệ phương trình vi phân và hệ động lực: Thiết lập phương trình vi phân dạng véc-tơ $\dot{x} = f(t, x)$ và hệ Ô-tô-nôm $\dot{x} = f(x)$. Tác giả chỉ ra rằng bằng cách bổ sung biến phụ $x_{n+1} = t$ với $\dot{x}_{n+1} = 1$, mọi hệ không Ô-tô-nôm đều có thể quy về hệ Ô-tô-nôm. Bổ đề cơ bản khẳng định sự tương đương giữa bài toán Cauchy $\dot{x} = f(x), x(0) = x_0$ và phương trình tích phân $x(t) = x_0 + \int_0^t f(x(s))ds$.
  2. Sự tồn tại và duy nhất nghiệm - Phương pháp điểm bất động: Trình bày và chứng minh Định lý điểm bất động Banach trên tập đóng của không gian Banach. Tác giả vận dụng định lý này kết hợp với toán tử tích phân Picard để chứng minh Định lý 1.1 về sự tồn tại và duy nhất nghiệm cục bộ trên đoạn $[0, T]$ khi trường véc-tơ $f$ thỏa mãn điều kiện Lipschitz địa phương, trong đó khoảng thời gian $T$ được chọn thỏa mãn $T \le \frac{1}{|f(x_0)| + 2L(|x_0| + 1)}$.
  3. Sự tồn tại nhưng không duy nhất nghiệm - Phương pháp xấp xỉ: Trong trường hợp $f$ chỉ liên tục mà không thỏa mãn điều kiện Lipschitz, tính duy nhất nghiệm không còn được bảo toàn. Tác giả chứng minh Định lý Arzelà - Ascoli đối với dãy hàm liên tục đồng bậc và bị chặn đều; sử dụng hàm nhân chuẩn mollifier $\rho(x) \in C_c^\infty(R^n)$ để xây dựng dãy hàm Lipschitz $f_n$ xấp xỉ đều $f$, từ đó chứng minh Định lý Peano (Định lý 1.2) về sự tồn tại ít nhất một nghiệm địa phương trên $[0, T]$.
  4. Bất đẳng thức vi phân và sự tồn tại nghiệm toàn cục: Thiết lập Bổ đề so sánh nghiệm vi phân và chứng minh Bất đẳng thức Gronwall ở cả hai dạng vi phân ($\dot{x} \le g(t)x + h(t)$) và tích phân ($x(t) \le a(t) + \int_0^t b(s)x(s)ds$). Dựa vào bổ đề tính đạo hàm của chuẩn $\frac{d}{dt}|x(t)| \le |\dot{x}(t)|$, tác giả phân tích khái niệm khoảng cực đại $[0, T^)$ và chứng minh rằng nghiệm chỉ bùng nổ khi $|x(t)| \to \infty$ lúc $t \to T^$. Từ đó, định lý khẳng định nếu $f$ là hàm Lipschitz toàn cục thì nghiệm của hệ phương trình vi phân luôn tồn tại toàn cục trên $[0, \infty)$.
  5. Sự phụ thuộc liên tục vào điều kiện ban đầu: Vận dụng bất đẳng thức Gronwall để thiết lập đánh giá khoảng cách nghiệm $|x(t) - y(t)| \le |x_0 - y_0|e^{Lt}$, đồng thời mở rộng đánh giá đối với trường hợp trường véc-tơ bị nhiễu $|x(t) - y(t)| \le \frac{|f - g|_\infty}{L} e^{Lt}$, chứng minh tính phụ thuộc liên tục và tính hội tụ đều của nghiệm trên các khoảng thời gian hữu hạn.
  6. Sự tồn tại nghiệm dương: Đây là nội dung mang ý nghĩa quyết định đối với các mô hình sinh học, nơi các biến số thể hiện số lượng cá thể trong quần thể dân cư bắt buộc phải không âm. Tác giả chứng minh rằng nếu $f$ là Lipschitz địa phương và thỏa mãn điều kiện квази-положительности: $f_j(t, x) \ge 0$ khi $x \in [0, \infty)^n$ và $x_j = 0$, thì nghiệm xuất phát từ nón không âm $R_+^n$ sẽ duy trì tính không âm $x(t) \in [0, \infty)^n$ với mọi $t \ge 0$. Mệnh đề 1.1 và 1.2 mở rộng điều kiện cho dạng hàm $f_j(t, x) = x_j g_j(t, x)$ đảm bảo nghiệm dương ngặt $x(t) > 0$ khi $x(t_0) > 0$.
  7. Dáng điệu tiệm cận của nghiệm dừng: Phân tích trạng thái cân bằng $f(x^) = 0$, định nghĩa tính ổn định địa phương, ổn định tiệm cận địa phương và không ổn định. Tác giả trình bày phương pháp tuyến tính hóa thông qua ma trận đạo hàm $Df(x^)$, chứng minh nghiệm của hệ tuyến tính được xác định qua hàm mũ ma trận $\exp(tA)$. Tiêu chuẩn Routh - Hurwitz được tác giả tổng hợp cụ thể cho đa thức đặc trưng bậc $n \le 4$.
  8. Phương pháp Diekmann và phân tích phổ: Trình bày lý thuyết ma trận không giảm, chặn trên phổ $s(A)$, bán kính phổ $\rho(A)$ và định lý đĩa tròn Gershgorin. Tác giả đưa ra định lý then chốt về việc phân tách hệ tuyến tính hóa $\dot{z} = (T + \Sigma)z$, xác định ma trận thay thế cơ sở $-T\Sigma^{-1}$, hằng số thay thế cơ sở $\mathcal{R}_0 = \rho(-T\Sigma^{-1})$ và chặn trên phổ $r = s(T + \Sigma)$, dẫn đến hệ thức đồng dấu căn bản: $\text{sign}(r) = \text{sign}(\mathcal{R}_0 - 1)$.
  9. Phân loại hệ phương trình vi phân và phương pháp Lyapunov: Khảo sát dáng điệu nghiệm của hệ hai chiều dựa trên các giá trị riêng của ma trận $2 \times 2$ và phương pháp hàm thế Lyapunov để đánh giá tính ổn định phi tuyến.
Công cụ / Định lý toán học Giả thiết chính Kết luận giải tích trong Chương 1 Ý nghĩa đối với mô hình sinh học
Định lý điểm bất động Banach Ánh xạ $h$ co trên tập đóng không gian Banach Tồn tại duy nhất điểm bất động $x^*$ Đảm bảo tính tồn tại và duy nhất nghiệm địa phương
Định lý Arzelà - Ascoli Dãy ${f_n}$ bị chặn đều và đồng liên tục Tồn tại dãy con hội tụ đều Chứng minh nghiệm tồn tại khi hàm $f$ chỉ liên tục
Bất đẳng thức Gronwall $\dot{x} \le g(t)x + h(t)$ $x(t) \le x(0)e^{G(t)} + \int_0^t e^{G(t)-G(s)}h(s)ds$ Đánh giá chặn nghiệm và sự phụ thuộc liên tục
Tiêu chuẩn nghiệm không âm $f_j(t, x) \ge 0$ khi $x \in R_+^n, x_j = 0$ Nghiệm $x(t) \in [0, \infty)^n$ với mọi $t \ge 0$ Đảm bảo số lượng cá thể trong dịch tễ không âm
Tiêu chuẩn Routh - Hurwitz Đa thức đặc trưng bậc $n \le 4$ Các định thức Hurwitz $\det H_k > 0$ Kiểm tra tính ổn định tiệm cận của trạng thái dừng
Tiếp cận phổ Diekmann Hệ phân tách $\dot{z} = (T + \Sigma)z$ $\text{sign}(s(T+\Sigma)) = \text{sign}(\mathcal{R}_0 - 1)$ Thiết lập ngưỡng dập tắt hoặc lan truyền dịch bệnh

Chương 2: Mô hình dịch bệnh trong quần thể dân cư (Epidemic Models in Multiple Populations)

Trên nền tảng giải tích của Chương 1, Chương 2 tập trung nghiên cứu trực tiếp động lực học của dịch bệnh trong các cấu trúc quần thể dân cư:

  • Mô hình toán: Xây dựng hệ phương trình vi phân mô tả quy luật biến thiên của các nhóm dịch tễ (như nhóm cảm nhiễm, nhóm nhiễm bệnh, nhóm phục hồi) trong điều kiện tương tác giữa nhiều phân nhóm quần thể hoặc đa loài sinh vật.
  • Sự ổn định của nghiệm dừng: Vận dụng ma trận Jacobian và các tiêu chuẩn ổn định đã thiết lập ở Chương 1 để phân tích tính ổn định của các trạng thái cân bằng, bao gồm trạng thái cân bằng không dịch bệnh (disease-free equilibrium) và trạng thái cân bằng nội dịch (endemic equilibrium).
  • Sự tuyệt chủng hay tồn tại của dịch bệnh: Xác định các điều kiện toán học chi phối việc dịch bệnh tự triệt tiêu theo thời gian tiệm cận hoặc tồn tại dai dẳng, bùng phát thành dịch trong cộng đồng.
  • Ma trận thay thế cơ sở và hằng số thay thế cơ sở: Ứng dụng kỹ thuật của Diekmann xây dựng ma trận thay thế cơ sở $-T\Sigma^{-1}$ cho mô hình đa loài, tính toán bán kính phổ nhằm xác định hệ số lây nhiễm cơ bản $\mathcal{R}_0$. Đẳng thức $\text{sign}(r) = \text{sign}(\mathcal{R}_0 - 1)$ được dùng làm công cụ xác định ngưỡng dập dịch: dịch bệnh bị đẩy lùi khi $\mathcal{R}_0 < 1$ và lan truyền khi $\mathcal{R}_0 > 1$.
  • Mô hình dịch tễ trong một loài: Khảo sát trường hợp suy biến cho quần thể đơn loài, phân tích động thái dịch bệnh và đối chiếu với các đặc trưng phức tạp của hệ đa loài.

Kết quả và đóng góp

Khóa luận đã thu được các kết quả nghiên cứu lý thuyết cụ thể, bám sát các mục tiêu và nhiệm vụ đã đề ra:

  1. Hệ thống hóa lý thuyết giải tích định tính: Tác giả đã chứng minh và trình bày một cách có hệ thống các định lý nền tảng của lý thuyết phương trình vi phân thường, từ sự tồn tại và duy nhất nghiệm (Picard - Lindelöf qua ánh xạ co Banach), sự tồn tại nghiệm không duy nhất (Peano qua định lý Arzelà - Ascoli), đến nghiệm toàn cục dựa trên điều kiện Lipschitz toàn cục và bất đẳng thức Gronwall.
  2. Giải quyết bài toán nghiệm dương trong mô hình sinh học: Khóa luận đã thiết lập các mệnh đề toán học chính xác về tính bảo toàn nón không âm $R_+^n$, chứng minh rằng điều kiện biên $f_j(t, x) \ge 0$ khi $x_j = 0$ và dạng tích $f_j = x_j g_j$ là điều kiện đủ để đảm bảo các biến trạng thái dịch tễ luôn mang giá trị không âm hoặc dương ngặt, phù hợp với bản chất sinh học thực tế.
  3. Hình thành phương pháp luận đánh giá ngưỡng dịch bệnh: Khóa luận đã hệ thống hóa tường minh hai công cụ kiểm tra tính ổn định: tiêu chuẩn đại số Routh - Hurwitz cho các trường hợp cụ thể ($n = 2, 3, 4$) và phương pháp ma trận thế hệ tiếp theo của Diekmann. Thông qua đẳng thức $\text{sign}(s(T + \Sigma)) = \text{sign}(\mathcal{R}_0 - 1)$, tác giả cung cấp cơ sở toán học để xác định hằng số thay thế cơ sở $\mathcal{R}_0$, tạo tiền đề lý thuyết cho việc hoạch định các giải pháp dập dịch.
  4. Đóng góp học thuật tự nêu: Tác giả tự đánh giá khóa luận là một tài liệu tham khảo bổ ích cho sinh viên và bạn đọc có nhu cầu nghiên cứu các kiến thức liên môn giữa toán học và sinh học, đặc biệt là việc ứng dụng lý thuyết phương trình vi phân vào các bài toán mô hình hóa quần thể sinh vật.

Hạn chế và hướng nghiên cứu tiếp

Văn bản khóa luận không xây dựng một tiểu mục độc lập dành riêng cho hạn chế và hướng mở rộng; tuy nhiên, căn cứ vào nội dung và phạm vi nghiên cứu được công bố, công trình thể hiện một số đặc điểm sau:

  • Về phương pháp: Khóa luận thuần túy sử dụng nhóm phương pháp nghiên cứu định tính (nghiên cứu tài liệu lý thuyết và tham khảo ý kiến chuyên gia), tập trung hoàn toàn vào suy diễn giải tích lý thuyết mà chưa kết hợp các phương pháp giải tích số hay mô phỏng thuật toán trên máy tính.
  • Về dữ liệu: Đề tài dừng lại ở cấp độ mô hình hóa toán học trừu tượng, chưa đưa vào các bộ dữ liệu dịch tễ thực tế thu thập từ các ổ dịch lâm sàng để kiểm chứng độ tương thích của tham số mô hình.
  • Hướng nghiên cứu mở rộng: Từ phạm vi của đề tài, các hướng phát triển khả thi bao gồm việc lập trình mô phỏng số nghiệm của hệ phương trình vi phân mô tả dịch bệnh đa loài bằng các phần mềm toán học chuyên dụng; nghiên cứu mở rộng mô hình cho các hệ phương trình vi phân có độ trễ thời gian (delay differential equations) hoặc các mô hình dịch bệnh ngẫu nhiên (stochastic epidemic models).

Giá trị tham khảo

Khóa luận mang lại giá trị học thuật và sư phạm thiết thực cho nhiều nhóm đối tượng:

  • Sinh viên ngành Sư phạm Toán và Cử nhân Toán học: Khóa luận là tài liệu tham khảo chi tiết cho các học phần Phương trình vi phân, Giải tích hàm, và Lý thuyết hệ động lực. Phần chứng minh chi tiết các định lý giải tích cơ sở ở Chương 1 (đặc biệt là định lý điểm bất động Banach, định lý Arzelà - Ascoli và bất đẳng thức Gronwall) cung cấp các mẫu chứng minh giải tích chuẩn mực.
  • Người nghiên cứu về Toán sinh học và Mô hình hóa: Cung cấp một khung lý thuyết chặt chẽ về cách chuyển dịch một bài toán sinh học thực tế sang ngôn ngữ phương trình vi phân, cách xử lý điều kiện nghiệm không âm và kỹ thuật sử dụng ma trận thay thế cơ sở của Diekmann để tính toán hệ số $\mathcal{R}_0$.
  • Giảng viên các trường đại học, cao đẳng: Có thể sử dụng nội dung khóa luận như tài liệu tham khảo để xây dựng các bài giảng chuyên đề hoặc hướng dẫn sinh viên làm khóa luận tốt nghiệp theo định hướng toán học liên môn và toán ứng dụng.

Câu hỏi thường gặp

1. Tại sao khóa luận phải dành riêng một phần để chứng minh sự tồn tại nghiệm dương của hệ phương trình vi phân?
Trong các mô hình dịch bệnh và sinh học quần thể, các biến trạng thái $x_j(t)$ đại diện cho số lượng hoặc mật độ cá thể (như số người khỏe mạnh, số người nhiễm bệnh). Về mặt sinh học, các đại lượng này không thể nhận giá trị âm. Do đó, việc chứng minh nghiệm xuất phát từ nón không âm $R_+^n$ luôn duy trì tính không âm ($x(t) \in [0, \infty)^n$) là điều kiện tiên quyết để mô hình toán học có ý nghĩa thực tiễn.

2. Điều kiện toán học cụ thể nào được tác giả sử dụng để đảm bảo nghiệm của hệ luôn không âm?
Theo Định lý 1.3 và Mệnh đề 1.1 trong Chương 1, nghiệm $x(t)$ của hệ $\dot{x} = f(t, x)$ sẽ duy trì tính không âm trên nón $R_+^n$ khi trường véc-tơ $f$ là Lipschitz địa phương và thỏa mãn điều kiện квази-положительности: với mọi $j = 1, 2, \dots, n$ và $t \ge 0$, ta có $f_j(t, x) \ge 0$ bất cứ khi nào $x \in [0, \infty)^n$ và $x_j = 0$. Ngoài ra, nếu $f_j$ có dạng phân tích $f_j(t, x) = x_j g_j(t, x)$ thì tính dương ngặt $x_j(t) > 0$ được bảo toàn với mọi $t > t_0$ khi $x_j(t_0) > 0$.

3. Tiêu chuẩn Routh - Hurwitz được tác giả phát biểu cụ thể cho đa thức đặc trưng bậc 2, 3 và 4 như thế nào?
Để đa thức đặc trưng $P(\lambda) = \lambda^n + a_1 \lambda^{n-1} + \dots + a_n = 0$ có tất cả các nghiệm mang phần thực âm, tiêu chuẩn Routh - Hurwitz yêu cầu:

  • Với $n = 2$: $a_1 > 0$ và $a_2 > 0$.
  • Với $n = 3$: $a_1 > 0$, $a_3 > 0$, và $a_1 a_2 - a_3 > 0$.
  • Với $n = 4$: $a_1 > 0$, $a_3 > 0$, $a_4 > 0$, và $a_1 a_2 a_3 - a_3^2 - a_1^2 a_4 > 0$.

4. Mối liên hệ giữa hằng số thay thế cơ sở $\mathcal{R}_0$ và tính ổn định tiệm cận của nghiệm dừng được xác lập qua công thức nào?
Theo phương pháp của Diekmann được tác giả trình bày tại Định lý 1.12, hệ tuyến tính hóa quanh nghiệm dừng được phân tách dưới dạng $\dot{z} = (T + \Sigma)z$, trong đó $T$ là ma trận dương và $\Sigma$ là ma trận ngoài đường chéo dương với $s(\Sigma) < 0$. Khi đó, hằng số thay thế cơ sở được định nghĩa là bán kính phổ $\mathcal{R}_0 = \rho(-T\Sigma^{-1})$ và tốc độ tăng trưởng tiệm cận được xác định bởi chặn trên phổ $r = s(T + \Sigma)$. Mối quan hệ giữa chúng được thiết lập qua đẳng thức đồng dấu: $\text{sign}(r) = \text{sign}(\mathcal{R}_0 - 1)$. Nếu $\mathcal{R}_0 < 1$ thì $r < 0$ (trạng thái không bệnh ổn định tiệm cận), ngược lại nếu $\mathcal{R}_0 > 1$ thì $r > 0$ (dịch bệnh phát triển).

5. Khóa luận sử dụng các phương pháp nghiên cứu khoa học cụ thể nào?
Khóa luận sử dụng nhóm phương pháp nghiên cứu định tính, bao gồm phương pháp nghiên cứu, phân tích và tổng hợp các tài liệu tham khảo chuyên ngành liên quan đến phương trình vi phân và mô hình dịch tễ, kết hợp với phương pháp tham khảo ý kiến chuyên gia thông qua sự hướng dẫn trực tiếp của cán bộ hướng dẫn khoa học.

Kết luận

Khóa luận tốt nghiệp "Mô hình dịch bệnh trong quần thể dân cư (Epidemic Model in Multiple Populations)" của tác giả Phạm Thị Kim Chi là một công trình nghiên cứu lý thuyết chỉn chu thuộc chuyên ngành Đại học Sư phạm Toán, Trường Đại học Hồng Đức. Bản mô tả học thuật đã làm rõ việc tác giả xây dựng một hệ thống lý luận giải tích phương trình vi phân vững chắc—từ lý thuyết điểm bất động, bất đẳng thức Gronwall, tính nghiệm dương cho đến các tiêu chuẩn ổn định phổ—nhằm giải quyết bài toán mô hình hóa động lực học dịch tễ học trong quần thể đơn loài và đa loài. Công trình không chỉ cung cấp cơ sở phương pháp luận toán học để phân tích ngưỡng dập dịch thông qua hệ số $\mathcal{R}_0$, mà còn là tài liệu tham khảo học thuật bổ ích cho sinh viên và người nghiên cứu quan tâm đến lĩnh vực toán ứng dụng và toán sinh học.