GIÁO TRÌNH PHƯƠNG TRÌNH VI PHÂN (MÃ SỐ: GT.01) – ĐẠI HỌC HẢI PHÒNG

Tổng quan về giáo trình

Giáo trình Phương trình vi phân (Mã số: GT.01) do TS. Vũ Thị Mai (Chủ biên) và ThS. Đỗ Thị Hoài biên soạn, trực thuộc Khoa Toán và Khoa học Tự nhiên, Trường Đại học Hải Phòng, nghiệm thu và lưu hành nội bộ trong năm học 2022 – 2023. Tài liệu được thiết kế nhằm phục vụ giảng dạy học phần Phương trình vi phân thuộc khối kiến thức cơ sở ngành và chuyên ngành trong chương trình đào tạo Cử nhân Sư phạm Toán học, Cử nhân Toán ứng dụng cũng như các ngành Khoa học tự nhiên và Kỹ thuật.

Về mặt chuẩn đầu ra (learning outcomes), giáo trình trang bị cho người học hệ thống lý thuyết giải tích giải tích cổ điển mở rộng, phương pháp giải tích phân cho các lớp phương trình vi phân thường cấp một, cấp cao và hệ phương trình vi phân; nắm vững lý thuyết định tính và tính ổn định nghiệm theo Lyapunov; đồng thời phát triển năng lực mô hình hóa toán học các quá trình vật lý, sinh học, kinh tế và kỹ năng sử dụng phần mềm toán học tính toán biểu tượng Maple.

Cấu trúc tài liệu gồm 5 chương lý thuyết kết hợp thực hành thuật toán, đi kèm hệ thống bài tập và hướng dẫn đáp số chi tiết ở cuối mỗi chương. Cách tiếp cận của giáo trình tuân thủ nguyên tắc sư phạm: xuất phát từ bài toán thực tiễn để hình thành khái niệm toán học, chứng minh chặt chẽ các định lý cơ bản (tồn tại và duy nhất nghiệm), phân loại dạng phương trình và kỹ thuật giải đại số/cầu phương, sau đó mở rộng sang ứng dụng thực tế và lập trình tự động hóa giải thuật trên máy tính.

Điểm đặc sắc của giáo trình là sự kết hợp đồng bộ giữa lý thuyết giải tích giải tích vi phân cổ điển, các mô hình ứng dụng đa ngành (cơ học lò xo, con lắc, mô hình Malthus, Verhulst, Volterra, mạch điện RLC, bài toán pha trộn dung dịch, tích lũy lãi suất ngân hàng) và kỹ thuật lập trình thủ tục (procedure) trên phần mềm Maple để xuất lời giải tường minh từng bước.

Nội dung kiến thức cốt lõi

Các chương và chủ đề chính

Tài liệu bao gồm 5 chương chuyên đề với mạch phát triển kiến thức logic từ cơ bản, mở rộng đến lý thuyết định tính nâng cao:

  • Chương 1: Mở đầu về phương trình vi phân
    Giới thiệu các bài toán dẫn đến phương trình vi phân: dao động lò xo ($mx'' = -kx$), con lắc toán học ($l\theta''(t) + g\sin\theta(t) = 0$), tăng trưởng dân số ($dP/dt = kP$), mô hình logistic Verhulst ($dP/dt = kP(1 - P/M)$), định luật Malthus ($dP/dt = (B-D)P(t)$), và mô hình tương tác vật săn – mồi Volterra ($dx/dt = ax - \beta xy, dy/dt = k\beta xy - my$). Trình bày khái niệm cấp của phương trình, dạng tổng quát $F(x,y,y',...,y^{(n)})=0$, bài toán Cauchy $y(x_0)=y_0$, ý nghĩa hình học của trường hướng và đường cong tích phân. Thiết lập điều kiện Lipschitz, thuật toán dãy xấp xỉ Picard $y_n(x) = y_0 + \int_{x_0}^x f(t, y_{n-1}(t))dt$, chứng minh định lý tồn tại và duy nhất nghiệm Picard–Lindelöf bằng phương pháp quy nạp toán học; phân loại nghiệm tổng quát, tích phân tổng quát, nghiệm riêng và nghiệm kỳ dị.

  • Chương 2: Phương trình vi phân cấp 1
    Khảo sát cấu trúc và thuật toán giải các lớp phương trình cấp một:

    • Phương trình phân ly biến số $M(x)dx + N(y)dy = 0$ và dạng phân ly được $M(x)N(y)dx + P(x)Q(y)dy = 0$.
    • Phương trình thuần nhất bậc $k$ ($f(tx, ty) = t^k f(x,y)$), phương trình đưa về dạng thuần nhất qua phép tịnh tiến hệ tọa độ hoặc đặt ẩn phụ $z = ax + by$.
    • Phương trình vi phân toàn phần $Pdx + Qdy = 0$ (với điều kiện $\frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}$) và kỹ thuật xây dựng thừa số tích phân $\mu(x)$ hoặc $\mu(y)$.
    • Phương trình tuyến tính cấp một $y' + p(x)y = q(x)$ sử dụng phương pháp biến thiên hằng số Lagrange.
    • Phương trình phi tuyến điển hình: Phương trình Bernoulli ($y' + p(x)y = q(x)y^\alpha$), phương trình Darboux, phương trình Riccati ($y' = p(x)y^2 + q(x)y + r(x)$ khi biết trước một nghiệm riêng).
    • Phương trình chưa giải ra đối với đạo hàm: Dạng khuyết $F(x,y')=0$, $F(y,y')=0$, phương trình Clairaut ($y = xy' + f(y')$), phương trình Lagrange ($y = x\varphi(y') + \psi(y')$), kỹ thuật tham số hóa $y' = p$.
    • Lý thuyết nghiệm kỳ dị: Khảo sát $p$-biệt tuyến qua hệ $F(x,y,p)=0, \frac{\partial F}{\partial p}=0$ và $C$-biệt tuyến $\Phi(x,y,C)=0, \frac{\partial \Phi}{\partial C}=0$.
    • Ứng dụng mô hình hóa: Vật rơi tự do có sức cản môi trường ($mv' = mg + kv$), phân rã phóng xạ nguyên tố ($dM/dt = -kM$), mạch điện nối tiếp ($LI' + RI = E$), bài toán pha trộn nồng độ muối sinh hóa, mô hình dòng tiền tích lũy kinh tế ($X' = Y%X + 12K$).
    • Thực hành Maple: Sử dụng gói DEtools, lệnh dsolve, dchange, odeadvisor và lập trình thủ tục proc() giải tuần tự các phương trình cấp một.

  • Chương 3: Phương trình vi phân cấp cao
    Phương pháp cầu phương cho các phương trình giải được hoặc hạ cấp được ($F(x, y^{(n)})=0$, $F(y^{(n-1)}, y^{(n)})=0$, $F(y, y')=0$). Lý thuyết phương trình vi phân tuyến tính cấp $n$: cấu trúc không gian nghiệm thuần nhất, định thức Wronski, công thức Ostrogradski–Liouville, công thức nghiệm tổng quát và phương pháp biến thiên hằng số Lagrange. Phương pháp giải phương trình vi phân tuyến tính cấp $n$ hệ số hằng: phương trình đặc trưng, phương pháp hệ số bất định tìm nghiệm riêng theo dạng vế phải, phương trình Euler. Thực hành tính toán trên Maple.

  • Chương 4: Hệ phương trình vi phân
    Khảo sát hệ phương trình vi phân cấp một tổng quát dạng chuẩn tắc, mối liên hệ giữa hệ phương trình và phương trình vi phân cấp cao, phương pháp tổ hợp tích phân. Lý thuyết hệ phương trình vi phân tuyến tính thuần nhất và không thuần nhất: tính độc lập tuyến tính của hệ vectơ nghiệm, ma trận nghiệm cơ bản, công thức Ostrogradski–Liouville cho hệ, phương pháp biến thiên hằng số vectơ. Thuật toán giải hệ tuyến tính hệ số hằng qua đa thức đặc trưng của ma trận.

  • Chương 5: Lý thuyết ổn định
    Nghiên cứu tính ổn định nghiệm theo định nghĩa Lyapunov cho hệ vi phân tuyến tính ma trận hằng $x' = Ax$. Phân loại các điểm cân bằng đơn giản trong không gian pha (nút, tiêu điểm, yên ngựa, tâm). Thiết lập điều kiện ổn định thông qua tiêu chuẩn đại số Routh–Hurwitz và ứng dụng bổ đề giải tích Gronwall–Bellman đánh giá chặn nghiệm.

Kiến thức nền tảng được xây dựng

Giáo trình củng cố và hoàn thiện các nền tảng toán học chuyên sâu:

  • Lý thuyết Giải tích cổ điển: Ứng dụng tích phân Riemann, giải tích nhiều biến, tính liên tục Lipschitz, định lý ánh xạ co, chuỗi hàm hội tụ đều và phương pháp xấp xỉ liên tiếp Picard.
  • Đại số tuyến tính nâng cao: Không gian vectơ nghiệm, hệ vectơ hàm độc lập tuyến tính, định thức ma trận hàm Wronskian, phương trình đặc trưng ma trận, trị riêng và vectơ riêng trong giải hệ vi phân.
  • Hình học vi phân sơ cấp: Khái niệm trường hướng, đường bao hình của họ đường cong tham số, nghiệm kỳ dị và các điểm phân nhánh nghiệm.

Kỹ năng phát triển

Thông qua nội dung tài liệu, người học hình thành các nhóm năng lực cụ thể:

  • Năng lực phân tích và phân loại: Nhận diện chính xác dạng toán vi phân (thuần nhất, vi phân toàn phần, Bernoulli, Clairaut, Lagrange, Riccati, Euler) để lựa chọn thuật toán biến đổi thích hợp.
  • Kỹ năng giải tích phân và tính toán giải tích: Thành thạo phép cầu phương, kỹ thuật đổi biến số hàm ẩn, phương pháp biến thiên hằng số tích phân và giải hệ phương trình vi phân bằng ma trận.
  • Năng lực ứng dụng và mô hình hóa: Chuyển đổi các bài toán cơ học, điện từ học, biến động quần thể sinh thái, hóa học dung dịch và tài chính ngân hàng thành mô hình toán học giải tích.
  • Kỹ năng công nghệ tính toán: Lập trình cấu trúc lệnh và viết thủ tục giải chi tiết từng bước trên hệ thống tính toán đại số máy tính (Computer Algebra System - Maple).

Phương pháp giảng dạy và học tập

Giáo trình được thiết kế theo cấu trúc sư phạm tích hợp lý thuyết – bài tập – mô phỏng số học:

  • Phương pháp tiếp cận sư phạm: Đi từ trực quan mô hình hóa các hiện tượng tự nhiên sang tổng quát hóa cấu tạo toán học. Mỗi khái niệm lý thuyết trừu tượng (như tính tồn tại duy nhất nghiệm) đều được bảo đảm bằng chứng minh chặt chẽ thông qua dãy xấp xỉ Picard và điều kiện Lipschitz.
  • Hệ thống bài tập mẫu và bài toán tình huống: Mỗi dạng toán đều có các ví dụ mẫu phân tích chi tiết từng bước chuyển đổi đại số (ví dụ: biến đổi phương trình đưa về thuần nhất qua hệ tọa độ mới $u = x - \alpha, v = y - \beta$, tìm nghiệm kỳ dị thông qua khử tham số $p$ hoặc $C$).
  • Hệ thống thực hành tự luận: Cung cấp danh mục bài tập phong phú cuối mỗi chương (từ các bài toán giải tích tích phân cơ bản đến các phương trình chứa điều kiện ban đầu Cauchy, bài toán bao hình). Tất cả đều có phần Hướng dẫn và Đáp số ở trang cuối chương giúp người học tự đối soát kết quả.
  • Tích hợp công cụ tính toán số và đại số biểu tượng (Maple): Giáo trình cung cấp mã nguồn mẫu, hướng dẫn khai báo hàm, sử dụng lệnh chuyên dụng trong thư viện DEtools, định nghĩa thủ tục nhập xuất dữ liệu từng bước qua hàm readstat() và print(), hỗ trợ người học trực quan hóa nghiệm và tự kiểm tra thuật toán giải.

Điểm nổi bật và cập nhật

  1. Tính liên ngành của các mô hình ứng dụng: Giáo trình trích dẫn và xây dựng tường minh các mô hình thực tế điển hình thuộc nhiều lĩnh vực: vật lý (dao động điều hòa của con lắc $l\theta'' + g\sin\theta = 0$, mạch điện $LI' + RI = E$, rơi tự do có ma sát), sinh thái học (mô hình tăng trưởng Malthus, phương trình hậu cần Verhulst, hệ động lực học Volterra), hóa học (bài toán bồn chứa khuấy trộn chất tan nồng độ biến thiên) và kinh tế lượng (phương trình tích lũy tiền gửi liên tục theo thời gian).
  2. Phương pháp giải quyết lớp phương trình vi phân không giải ra đối với đạo hàm: Trình bày chi tiết lý thuyết tham số hóa, cách tìm bao hình và phân biệt rõ ràng giữa nghiệm riêng với nghiệm kỳ dị thông qua $p$-biệt tuyến và $C$-biệt tuyến (như phân tích bao hình parabol $y = \frac{(x-1)^2}{4}$ của họ nghiệm đường thẳng phương trình Clairaut).
  3. Tích hợp thuật toán phần mềm Maple vào nội dung chính khóa: Khác với các tài liệu thuần túy lý thuyết, giáo trình dành riêng các mục thực hành máy tính cho từng chương. Việc cung cấp đoạn mã macro thủ tục lập trình proc() giải phương trình tuyến tính từng bước giúp thu hẹp khoảng cách giữa lý thuyết giải tích trừu tượng và ứng dụng tin học toán.
  4. Cập nhật cấu trúc chương trình đào tạo tín chỉ: Bố cục tài liệu theo chuẩn phân bổ tín chỉ của Trường Đại học Hải Phòng (năm học 2022 – 2023), phân định rõ ràng các khối kiến thức bắt buộc và kiến thức nâng cao (Lý thuyết ổn định Lyapunov, Bổ đề Gronwall–Bellman, Tiêu chuẩn Hurwitz).

Đối tượng sử dụng giáo trình

  • Sinh viên đại học chính quy: Sinh viên từ năm thứ hai các ngành Sư phạm Toán học, Toán ứng dụng, Khoa học Tự nhiên, Công nghệ Thông tin và các ngành Kỹ thuật công nghệ thuộc các trường đại học.
  • Kiến thức tiên quyết (Prerequisites): Người học cần hoàn thành khối kiến thức Giải tích cổ điển 1 & 2 (phép tính vi phân, tích phân hàm một biến và nhiều biến, chuỗi số, chuỗi hàm) và Đại số tuyến tính (không gian vectơ, ma trận, định thức, hệ phương trình đại số tuyến tính, lý thuyết trị riêng - vectơ riêng).
  • Giảng viên chuyên ngành: Sử dụng làm đề cương bài giảng chuẩn, tài liệu hướng dẫn học tập, khung xây dựng ngân hàng câu hỏi đánh giá kết thúc học phần và đề cương bài tập thực hành phòng máy môn Phương trình vi phân.
  • Học viên cao học và cán bộ nghiên cứu: Dùng làm tài liệu tra cứu các công thức giải tích giải tích vi phân cơ bản, định lý ổn định nghiệm và các cấu trúc phương trình động lực học ứng dụng.

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

1. Giáo trình này phù hợp với đối tượng người học nào?

Giáo trình được biên soạn phục vụ trực tiếp cho sinh viên đại học ngành Toán học, Sư phạm Toán, Toán ứng dụng, cũng như sinh viên các khối ngành Khoa học tự nhiên, Kỹ thuật và Kinh tế có học phần Phương trình vi phân trong chương trình đào tạo.

2. Cần chuẩn bị những kiến thức nền tảng nào trước khi học giáo trình này?

Người học cần nắm vững kiến thức Giải tích đại cương (kỹ thuật tính đạo hàm, vi phân toàn phần, tích phân bất định, tích phân xác định, chuỗi hàm hội tụ đều) và Đại số tuyến tính (phép toán ma trận, định thức, không gian con, tính độc lập tuyến tính của hệ vectơ và phương trình đặc trưng).

3. Điểm khác biệt của giáo trình này so với các giáo trình phương trình vi phân truyền thống là gì?

Tài liệu kết hợp chặt chẽ giữa việc chứng minh định lý toán học chuẩn xác với mô hình hóa thực tế đa ngành (Vật lý, Hóa sinh, Kinh tế) và đặc biệt tích hợp các đoạn mã lập trình thủ tục trên phần mềm Maple để tự động hóa lời giải tường minh theo từng bước.

4. Làm thế nào để tự học và làm chủ kiến thức trong giáo trình hiệu quả nhất?

Người học nên bám sát quy trình: đọc hiểu bài toán dẫn nhập thực tế $\rightarrow$ nắm vững lý thuyết và các bước giải thuật toán mẫu $\rightarrow$ tự giải bài tập tự luận cuối chương $\rightarrow$ đối chiếu đáp số $\rightarrow$ sử dụng các lệnh Maple (dsolve, odeadvisor, dchange) để mô phỏng và kiểm tra lại kết quả.

5. Giáo trình có cung cấp phần đáp án và công cụ bổ trợ học tập không?

Có. Cuối mỗi chương (từ Chương 2 đến Chương 5) đều có mục Hướng dẫn, đáp số cho toàn bộ hệ thống bài tập. Đồng thời, giáo trình cung cấp hướng dẫn cú pháp lệnh và mã thủ tục Maple chi tiết cho từng dạng phương trình vi phân tương ứng.

Kết luận

Giáo trình Phương trình vi phân (Mã số: GT.01) của Trường Đại học Hải Phòng là tài liệu giảng dạy học thuật hệ thống, chuẩn mực, bao quát toàn diện các mảng kiến thức từ phương trình vi phân cấp một, cấp cao, hệ phương trình vi phân đến lý thuyết định tính ổn định nghiệm. Lộ trình học tập đề xuất cho người học là nghiên cứu tuần tự từ phương pháp giải tích vi phân giải tích cổ điển (Chương 1, 2, 3), mở rộng sang hệ nhiều chiều (Chương 4), làm chủ lý thuyết ổn định định tính (Chương 5), đồng thời áp dụng thực hành giải toán số trên môi trường Maple. Đây là nguồn tài liệu học thuật giá trị, phục vụ hiệu quả cho công tác giảng dạy, học tập và nghiên cứu toán học ứng dụng.