Tổng quan về giáo trình
Giáo trình Giải Tích Số: Phương Pháp và Ứng Dụng Trong Khoa Học và Kỹ Thuật (tên gọi khác: Phương pháp số, Phương pháp tính, Toán học tính toán) được biên soạn phục vụ giảng dạy học phần Giải tích số với thời lượng 3 tín chỉ (tương đương 45 tiết giảng dạy lý thuyết và thực hành). Tài liệu được chuẩn hóa theo khung chương trình đào tạo cử nhân ngành Sư phạm Toán học tại Trường Đại học Sư phạm – Đại học Đà Nẵng và Trường Đại học Quảng Bình, đồng thời là tài liệu tham khảo cho học phần Phương pháp tính tại các trường đại học khối kỹ thuật.
Mục tiêu học tập của giáo trình là trang bị cho người học các kiến thức toán học nền tảng và phương pháp số để tìm nghiệm xấp xỉ cho các bài toán mô hình hóa thực tế, bao gồm: giải phương trình đại số phi tuyến, giải hệ phương trình đại số tuyến tính, tính đạo hàm - tích phân số, xấp xỉ hàm số và giải gần đúng phương trình vi phân thường.
Cấu trúc giáo trình bao gồm 7 chương lý thuyết chuyên đề cùng hệ thống phụ lục bổ trợ về công cụ lập trình và kiến thức toán học liên quan. Cách tiếp cận của tài liệu được định hướng theo nguyên tắc giảm tải các chứng minh giải tích thuần túy ở mức độ quá chuyên sâu, tập trung vào việc mô tả thuật toán, phân tích sai số, chứng minh chi tiết các định lý cốt lõi khi cần thiết và hiện thực hóa thuật toán thông qua chương trình tính toán số trên máy tính.
Điểm đặc trưng của giáo trình là việc kết hợp song song hai môi trường tính toán: phần mềm thương mại MATLAB và ngôn ngữ lập trình mã nguồn mở Python. Cách tiếp cận này giúp sinh viên vừa nắm bắt bản chất giải thuật, vừa có khả năng lập trình xử lý các bài toán kích thước lớn với độ chính xác cao.
Nội dung kiến thức cốt lõi
Các chương và chủ đề chính
Nội dung cuốn sách được tổ chức thành 7 chương chính theo trình tự logic từ lý thuyết sai số cơ sở, các phép biến đổi giải tích số, đến giải phương trình và hệ phương trình vi phân:
- Chương 1. Sai số: Trình bày định nghĩa sai số tuyệt đối, sai số tuyệt đối giới hạn, sai số tương đối và sai số tương đối giới hạn. Phân loại 4 nguồn gốc sai số chính: sai số giả thiết, sai số số liệu ban đầu, sai số phương pháp và sai số tính toán (sai số quy tròn). Cung cấp quy tắc quy tròn số, khái niệm chữ số có nghĩa, chữ số đáng tin, quy tắc lan truyền sai số cho các phép toán đại số ($+,-,\times,/$) và hàm nhiều biến tổng quát. Giới thiệu khái niệm thuật toán và biểu diễn giải thuật bằng mã giả (pseudocode).
- Chương 2. Phép nội suy: Khảo sát bài toán dựng đa thức nội suy qua hệ điểm thực nghiệm. Phân tích phương pháp ma trận Vandermonde và hạn chế khi số mốc tăng cao. Trình bày chi tiết công thức nội suy Lagrange, định lý đánh giá sai số nội suy dựa trên đạo hàm cấp $n+1$. Khảo sát hiện tượng Runge khi sử dụng mốc cách đều và phương pháp khắc phục tối ưu bằng mốc nội suy Chebyshev (dựa trên nghiệm của đa thức Chebyshev $T_n(x)$). Xây dựng công thức nội suy Newton thông qua bảng tỷ sai phân, công thức Newton tiến/lùi cho mốc cách đều, công thức Stirling cho điểm ở giữa bảng, nội suy Hermite (khớp đồng thời giá trị hàm và đạo hàm cấp một) và mở đầu về hàm ghép trơn (spline tuyến tính).
- Chương 3. Tính gần đúng đạo hàm và tích phân: Trình bày các công thức tính gần đúng đạo hàm và tích phân số. Hệ thống hóa các công thức cầu phương Newton - Cotes (công thức hình thang, công thức Simpson, công thức mở rộng, đánh giá bậc chính xác). Giới thiệu phương pháp cầu phương Gauss trên đoạn bất kỳ, các dạng mở rộng (Gauss - Chebyshev, Gauss - Laguerre, Gauss - Hermite) và phương pháp xác suất Monte - Carlo.
- Chương 4. Nghiệm số của phương trình phi tuyến: Phân tích các phương pháp xác định nghiệm thực: phương pháp chia đôi, phương pháp lặp đơn kèm điều kiện hội tụ và đánh giá tốc độ hội tụ, phương pháp tiếp tuyến Newton - Raphson (kỹ thuật chọn điểm xuất phát $x_0$ và thuật toán cải tiến cho nghiệm bội), phương pháp dây cung. Khảo sát sự phân bố nghiệm của phương trình đa thức và phương pháp Muller tìm nghiệm phức.
- Chương 5. Nghiệm số của hệ phương trình đại số tuyến tính và bài toán tìm giá trị riêng, vector riêng: Đánh giá độ nhạy nghiệm thông qua số điều kiện của ma trận. Trình bày nhóm phương pháp trực tiếp (khử Gauss, phân tích ma trận $LU$, phân tích Cholesky) và nhóm phương pháp lặp (phương pháp Jacobi, phương pháp Gauss - Seidel, phương pháp giảm dư quá hạn liên tiếp - SOR). Trình bày thuật toán tính gần đúng giá trị riêng và vector riêng.
- Chương 6. Phương pháp xấp xỉ trung bình phương: Xây dựng lý thuyết xấp xỉ tốt nhất trong không gian Hilbert dựa trên bất đẳng thức Bessel và đẳng thức Parseval. Khảo sát bài toán xấp xỉ tốt nhất trong không gian $L^2[a, b]$ bằng hệ đa thức đại số và hệ đa thức trực giao; kỹ thuật làm khớp dữ liệu thực nghiệm dạng bảng theo chuẩn trung bình phương.
- Chương 7. Giải gần đúng phương trình vi phân: Thiết lập bài toán Cauchy cho phương trình vi phân thường cấp một. Trình bày nhóm phương pháp một bước (xấp xỉ liên tiếp Picard, khai triển chuỗi Taylor, phương pháp Euler, Euler cải tiến, hệ phương pháp Runge - Kutta) và nhóm phương pháp đa bước (Adams - Bashforth, Adams - Moulton). Mở rộng thuật toán Euler và Run - Kutta để giải hệ phương trình vi phân tuyến tính.
┌────────────────────────────────────────┐
│ Chương 1: Sai Số │
│ (Phân loại, quy tròn, lan truyền) │
└──────────────────┬─────────────────────┘
│
┌───────────────────────────┴───────────────────────────┐
▼ ▼
┌─────────────────────────────────┐ ┌─────────────────────────────────┐
│ Chương 2: Phép Nội Suy │ │ Chương 4: Nghiệm Phương Trình │
│(Vandermonde, Lagrange, Newton, │ │ Phi Tuyến │
│ Chebyshev, Hermite, Spline) │ │(Chia đôi, Lặp đơn, Newton, Dây │
└────────────────┬────────────────┘ │ cung, Muller) │
│ └────────────────┬────────────────┘
┌───────┴───────┐ │
▼ ▼ ▼
┌────────────────┐┌────────────────┐ ┌─────────────────────────────────┐
│ Chương 3: Đạo ││ Chương 6: │ │ Chương 5: Hệ Tuyến Tính & │
│ hàm & Tích ││ Xấp Xỉ Trung │ │ Trị Riêng / Vector Riêng │
│ phân số ││ bình phương │ │(Gauss, LU, Cholesky, Jacobi, │
│(Newton-Cotes, ││(Không gian │ │ Gauss-Seidel, SOR) │
│ Gauss, Monte ││ Hilbert, L^2, │ └────────────────┬────────────────┘
│ Carlo) ││ đa thức trực │ │
│ ││ giao) │ │
└────────┬───────┘└────────────────┘ │
│ │
└───────────────────────────┬───────────────────────────┘
▼
┌────────────────────────────────────────┐
│ Chương 7: Giải Gần Đúng Phương Trình │
│ Vi Phân │
│(Euler, Runge-Kutta, Adams-Bashforth, │
│ Adams-Moulton, Hệ vi phân) │
└────────────────────────────────────────┘
Kiến thức nền tảng được xây dựng
Giáo trình củng cố các nguyên lý toán học chặt chẽ làm cơ sở cho giải thuật số: định lý xấp xỉ Weierstrass, định lý Rolle và định lý giá trị trung gian trong đánh giá phần dư sai số, ma trận Vandermonde và tính khả nghịch, hệ đa thức trực giao Chebyshev, cấu trúc không gian Hilbert và tích vô hướng trong $L^2[a,b]$, số điều kiện ma trận trong phân tích độ ổn định thuật toán.
Kỹ năng phát triển
- Kỹ năng kỹ thuật: Cài đặt thuật toán số trên môi trường MATLAB (như viết hàm
LagrangeInterp, hàm tính bảng tỷ sai phândivideddifference) và lập trình bằng ngôn ngữ Python sử dụng các thư viện tính toán khoa học. - Kỹ năng phân tích: Đánh giá nguồn gốc sai số, phân tích tốc độ hội tụ của các lược đồ lặp, nhận diện hiện tượng mất ổn định số học (như hiện tượng Runge) và lựa chọn mốc tối ưu.
- Kỹ năng thực hành tính toán: Áp dụng phương pháp số để giải các bài toán mô hình hóa thực tế trong vật lý, kỹ thuật điện, cơ học và phân tích dữ liệu thực nghiệm.
Phương pháp giảng dạy và học tập
Giáo trình được thiết kế theo phương pháp sư phạm kết hợp chặt chẽ giữa lý thuyết giải tích và thực nghiệm tính toán:
- Cấu trúc bài giảng tích hợp: Mỗi chủ đề đều đi từ bài toán thực tế, mô hình hóa toán học, thiết lập thuật toán giải gần đúng, chứng minh điều kiện hội tụ/đánh giá sai số, đến minh họa bằng mã giả và chương trình máy tính.
- Hệ thống ví dụ mẫu chi tiết: Minh họa cụ thể từng bước tính toán số (ví dụ: bài toán xác định mô hình điện áp $y = 1 + x^3$ qua hệ ma trận Vandermonde; tính giá trị đa thức nội suy Lagrange tại $x=0$ từ tập 4 điểm; xây dựng bảng tỷ sai phân và sai phân hữu hạn cho hàm số dạng bảng).
- Bài tập tự luận và lập trình: Cuối mỗi chương cung cấp danh mục bài tập đa dạng, bao gồm bài tập tính toán sai số giải tích (ước lượng sai số khi tính số $e$, giải phương trình sai phân), bài tập chứng minh giải tích, bài tập viết mã giả và bài tập lập trình giải thuật trên máy tính.
- Tự học và tra cứu bổ trợ: Do môn học đòi hỏi kiến thức liên môn, giáo trình bổ sung hệ thống tóm tắt kiến thức cần chuẩn bị ở mỗi chương và dành riêng 3 phụ lục (Phần mềm toán học, Giải tích toán học, Đại số tuyến tính) để người học thuận tiện tra cứu mà không cần tham chiếu nhiều tài liệu độc lập.
Điểm nổi bật và cập nhật
- Hiện đại hóa tài liệu giảng dạy tiếng Việt: Giáo trình khắc phục khoảng trống về tài liệu Giải tích số cập nhật trong nước, thay thế các giáo trình cũ bằng việc gắn liền nội dung toán học với năng lực lập trình trên các phần mềm hiện đại.
- Tích hợp công cụ tính toán kép (MATLAB và Python): Cung cấp các đoạn mã nguồn mẫu bằng MATLAB (giao diện trực quan) và bổ sung mã nguồn Python (ngôn ngữ mã nguồn mở phổ biến), tạo điều kiện cho sinh viên thực hành trên nhiều môi trường khác nhau mà không bị giới hạn về bản quyền.
- Dẫn chứng lịch sử và sự cố thực tế: Phân tích nguồn gốc sai số thông qua các sự kiện khoa học có thật, chẳng hạn như sai số số liệu ban đầu dẫn đến sự cố tàu thăm dò Mars Climate Orbiter năm 1999, hay sai số giả thiết trong nghiên cứu máy thu vi sóng của Arno Penzias và Robert Wilson năm 1964 dẫn đến việc phát hiện bức xạ phông vi sóng vũ trụ.
- Giải pháp xử lý triệt để các hạn chế giải thuật: Không chỉ dừng lại ở các phương pháp cơ bản, sách phân tích sâu các hiện tượng biên (như hiện tượng Runge phát hiện năm 1901) và cung cấp giải pháp tối ưu hóa thông qua mốc Chebyshev, phương pháp nội suy Hermite, hàm ghép trơn (spline), cũng như phương pháp Newton cải tiến cho nghiệm bội.
Đối tượng sử dụng giáo trình
- Sinh viên đại học ngành Sư phạm Toán học: Sử dụng làm giáo trình chính khóa cho học phần Giải tích số (3 tín chỉ/45 tiết) theo khung chương trình của Trường Đại học Sư phạm – Đại học Đà Nẵng và Trường Đại học Quảng Bình.
- Sinh viên các ngành Kỹ thuật, Công nghệ thông tin, Khoa học dữ liệu: Dùng làm tài liệu học tập và tham khảo cho môn học Phương pháp tính, Toán tính toán và Kỹ thuật mô phỏng số.
- Yêu cầu tiên quyết: Người học cần hoàn thành các học phần nền tảng gồm: Giải tích cổ điển (phép tính vi phân, tích phân hàm một biến và nhiều biến), Đại số tuyến tính (ma trận, hệ phương trình tuyến tính, giá trị riêng, vector riêng) và có kiến thức cơ bản về Phương trình vi phân.
- Giảng viên và nhà nghiên cứu: Dùng làm tài liệu tham khảo trong thiết kế bài giảng, xây dựng ngân hàng đề thi, bài tập lớn và hướng dẫn thực hành tính toán số.
Câu hỏi thường gặp
1. Giáo trình này phù hợp với đối tượng nào?
Tài liệu được biên soạn phục vụ trực tiếp cho sinh viên ngành Sư phạm Toán học của Trường Đại học Sư phạm – Đại học Đà Nẵng, Trường Đại học Quảng Bình và là tài liệu tham khảo chuẩn cho sinh viên các trường đại học khối kỹ thuật học môn Phương pháp tính.
2. Người học cần chuẩn bị kiến thức nền tảng nào trước khi tiếp cận môn học?
Sinh viên cần nắm vững các kiến thức về Giải tích toán học, Đại số tuyến tính, Phương trình vi phân thường và các khái niệm cơ bản về lập trình. Các phần kiến thức này cũng được nhóm tác giả tóm tắt tại phần mở đầu mỗi chương và trong các phụ lục cuối sách.
3. Giáo trình có điểm gì khác biệt so với các sách Giải tích số truyền thống?
Giáo trình đã giảm tải các chứng minh lý thuyết chuyên sâu thuần túy để tập trung vào việc mô tả thuật toán, phân tích sai số thực tế và tích hợp hướng dẫn thực hành trực tiếp trên hai môi trường tính toán phổ biến là MATLAB và Python.
4. Làm sao để tự học và thực hành hiệu quả với giáo trình này?
Người học nên kết hợp đọc hiểu lý thuyết sai số, tự giải các bài tập giải tích bằng tay để nắm bản chất thuật toán, sau đó chuyển ngữ thuật toán thành mã giả và lập trình chạy thử nghiệm trên máy tính bằng Python hoặc MATLAB với các bộ dữ liệu mẫu trong sách.
5. Giáo trình có tài liệu bổ trợ nào kèm theo không?
Sách tích hợp sẵn phần phụ lục hướng dẫn cú pháp lệnh cơ bản và thư viện trong MATLAB và Python, phụ lục tóm tắt Giải tích toán học và Đại số tuyến tính, cùng hệ thống mã nguồn mẫu cho các thuật toán nội suy và phân tích số liệu.
Kết luận
Giáo trình Giải Tích Số: Phương Pháp và Ứng Dụng Trong Khoa Học và Kỹ Thuật của tập thể tác giả Khoa Toán – Trường Đại học Sư phạm (Đại học Đà Nẵng, xuất bản tháng 11/2021) cung cấp hệ thống kiến thức toàn diện về toán học tính toán hiện đại. Nội dung tài liệu kết hợp hài hòa giữa cơ sở giải tích chặt chẽ và kỹ năng cài đặt thuật toán số trên máy tính, phục vụ hiệu quả cho công tác đào tạo đại học và nghiên cứu ứng dụng. Mọi thông tin phản hồi và đóng góp học thuật được tiếp nhận trực tiếp tại Khoa Toán, Trường Đại học Sư phạm – Đại học Đà Nẵng (459 Tôn Đức Thắng, TP. Đà Nẵng).