Mathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals

Tác giả: Gerd Baumann | Nhà xuất bản: Springer Science & Business Media, 2005 | Ấn bản: 2 | Tập: II (Volume II)

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

Mathematica for Theoretical Physics của Gerd Baumann (Đại học German University in Cairo) là giáo trình hai tập dành cho vật lý lý thuyết, sử dụng phần mềm Mathematica làm công cụ tính toán và minh họa. Tập II — tập được mô tả ở đây — bao gồm bốn lĩnh vực: điện động lực học, cơ học lượng tử, thuyết tương đối rộng và fractal, tương ứng với các Chương 4 đến 7.

Giáo trình được xuất phát từ bản tiếng Đức Mathematica® in der Theoretischen Physik (Springer-Verlag Heidelberg, 1993), và đây là phiên bản dịch, mở rộng và cập nhật sang tiếng Anh, xuất bản lần đầu năm 2005. Việc bổ sung nội dung đủ lớn để phải tách thành hai tập riêng biệt.

Mục tiêu học tập của giáo trình được tác giả phát biểu rõ trong Lời tựa: "The intention of this book is to demonstrate the usefulness of Mathematica in everyday applications... we show how this modern tool is used to solve classical problems." Người học sau khi hoàn thành tập II có thể:

  • Vận dụng Mathematica để giải các bài toán điện tĩnh và điện động lực học.
  • Phân tích bài toán cơ học lượng tử bằng phương pháp giải tích và số.
  • Tính toán các hiệu ứng thuyết tương đối rộng với độ chính xác cao hơn phương pháp gần đúng truyền thống.
  • Biểu diễn fractal và nhập môn giải tích phân số (fractional calculus).

Điểm đặc trưng của cách tiếp cận: thay vì trình bày cú pháp Mathematica một cách hệ thống, giáo trình dùng các ví dụ vật lý cụ thể làm điểm xuất phát, từ đó giới thiệu các hàm và gói lệnh (packages) liên quan. Mỗi chương đều kèm theo các gói lệnh Mathematica hoàn chỉnh được lưu trên CD-ROM đi kèm, đặt tên theo tên chương tương ứng.

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

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

Chương 4 — Electrodynamics (Điện động lực học)

Chương mở đầu tập II với các bài toán điện tĩnh học và chuyển động của ion trong trường điện từ. Nội dung triển khai theo ba nhóm bài toán chính:

  • Phân bố điện tích rời rạc (Section 4.2): Xây dựng thế điện và trường điện của hệ điện tích điểm từ phương trình Poisson và hàm Green. Gói lệnh PointCharge cung cấp các hàm Potential[], Field[], EnergyDensity[], và FieldPlot[] để tạo đồ thị đường đẳng thế, trường và mật độ năng lượng. Các ví dụ được trình bày gồm lưỡng cực (dipole) và tứ cực (quadrupole).

  • Bài toán biên điện tĩnh (Section 4.3): Giải phương trình Laplace và Poisson trên miền có biên, sử dụng khai triển hàm Green theo hàm riêng (eigenfunction expansion). Ví dụ cụ thể: tìm thế điện trong đoạn hình quạt với điều kiện biên Dirichlet. Gói lệnh BoundaryProblem với hàm Potential[] cho phép tính xấp xỉ thế đến bậc n tùy chọn.

  • Hai ion trong bẫy Penning (Section 4.4): Phân tích chuyển động của hai ion mang điện trong bẫy Penning — kết hợp điện trường tứ cực và từ trường tĩnh. Phương trình chuyển động được rút gọn qua tọa độ khối tâm và tọa độ tương đối, đưa về hệ phương trình có hai tham số vô thứ nguyên $\nu$ và $\lambda$. Gói lệnh Penning với hàm PenningI[] và PenningCMPlot[] hỗ trợ tích phân số và biểu diễn đồ họa, bao gồm cả chế độ chuyển động hỗn loạn (chaotic motion).

Chương 5 — Quantum Mechanics (Cơ học lượng tử)

Chương này tập trung vào phương trình Schrödinger và các ứng dụng:

  • Phương trình Schrödinger phụ thuộc thời gian: Phân tích động học của hạt tự do.
  • Bài toán thế năng một chiều (Section 5.3): Các bài toán trị riêng (eigenvalue problems) được giải bằng cả phương pháp giải tích lẫn số.
  • Dao động tử điều hòa (Section 5.4): Ví dụ chuẩn trong cơ lượng tử.
  • Chuyển động trong trường lực tâm (Section 5.6).
  • Hệ số virial thứ hai và hiệu chỉnh lượng tử (Section 5.7): Bao gồm tính toán hệ số virial cổ điển $B_c(T)$ cho thế năng $H_2$, các hiệu chỉnh lượng tử $B_{q1}(T)$ và $B_{q2}(T)$, sự phụ thuộc của nhiệt độ Boyle vào hình dạng phân tử, và hàm phân hoạch ở nhiệt độ cao cho phân tử hai nguyên tử.

Gói lệnh CentralField (Section 5.4) hỗ trợ tính toán trường lực tâm.

Chương 6 — General Relativity (Thuyết tương đối rộng)

Tác giả lưu ý rằng hầu hết sách giáo khoa thuyết tương đối rộng chỉ thảo luận các hiện tượng thông qua gần đúng. Với Mathematica, các hiệu ứng như perihelion shift (dịch chuyển cận điểm) có thể được theo dõi với độ chính xác cao hơn. Nội dung gồm:

  • Quỹ đạo trong thuyết tương đối rộng (Section 6.2).
  • Uốn cong ánh sáng trong trường hấp dẫn (Section 6.3).
  • Phương trình trường Einstein — trường hợp chân không (Section 6.4): Bao gồm tensor metric, ký hiệu Christoffel, tensor Riemann, và các ví dụ tính toán cho không gian Descartes, tọa độ trụ, và tọa độ cầu.
  • Nghiệm Schwarzschild (Section 6.5): Dạng metric Eddington–Finkelstein và tọa độ Kruskal.
  • Nghiệm Reissner–Nordström (Section 6.6): Cho điểm khối lượng mang điện.

Chương 7 — Fractals và Giải tích phân số

Chương cuối sử dụng đại số máy tính để biểu diễn fractal và giới thiệu lý thuyết tái chuẩn hóa không gian (spatial renormalization theory). Điểm mở rộng so với ấn bản trước là phần giải tích phân số (fractional calculus) tiếp cận fractal từ phía giải tích:

  • Đường cong Koch (Koch Curve, Section 6.3 của Vol.II).
  • Multifractal với nhân tố tỷ lệ chung.
  • Nhóm tái chuẩn hóa (Section 7.5).
  • Giải tích Riemann–Liouville (Section 7.2): Cơ sở lý thuyết của giải tích phân số.
  • Phương trình vi phân phân số (Section 7.4).

Gói lệnh FractionalCalculus hỗ trợ phần này, được cung cấp theo yêu cầu từ tác giả (không tích hợp sẵn trong CD-ROM).

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

Tập II xây dựng trên nền tảng từ Tập I (Cơ học cổ điển, Động lực học phi tuyến). Các lý thuyết nền được khai thác xuyên suốt:

  • Phương trình Poisson và Laplace — cơ sở toán học cho điện tĩnh học (Chương 4).
  • Hàm Green và khai triển hàm riêng — phương pháp giải bài toán biên (Chương 4).
  • Phương trình Schrödinger — phụ thuộc và không phụ thuộc thời gian (Chương 5).
  • Tensor metric, ký hiệu Christoffel, tensor Riemann, tensor Einstein — hình thức luận vi phân của thuyết tương đối rộng (Chương 6).
  • Giải tích phân số Riemann–Liouville — khung lý thuyết mới cho tiếp cận fractal (Chương 7).

Kỹ năng phát triển

Kỹ năng kỹ thuật:

  • Viết và sử dụng các Mathematica package có cấu trúc (BeginPackage, Needs, Clear, định nghĩa hàm với usage).
  • Thực hiện tích phân số (numerical integration) cho hệ phương trình vi phân thường ghép (coupled ODEs).
  • Tạo đồ thị khoa học: ContourPlot, PlotGradientField, đồ thị ba chiều cho quỹ đạo hạt.

Kỹ năng phân tích:

  • Chuyển đổi hệ phương trình vật lý sang dạng vô thứ nguyên để giảm số tham số.
  • Phân biệt và áp dụng điều kiện biên Dirichlet và von Neumann.
  • Đánh giá độ chính xác của xấp xỉ cấp $n$ trong khai triển hàm riêng.

Năng lực thực hành:

  • Kiểm tra kết quả giải tích bằng tính toán số.
  • Nhận biết và phân loại chuyển động hỗn loạn so với chuyển động tuần hoàn trong hệ phi tuyến (ví dụ bẫy Penning).

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

Cấu trúc sư phạm của giáo trình nhất quán qua tất cả các chương: lý thuyết → ví dụ Mathematica → gói lệnh hoàn chỉnh → bài tập.

Lý thuyết: Mỗi chủ đề bắt đầu bằng phần đặt vấn đề và trình bày các phương trình cơ bản. Ví dụ, Chương 4 dẫn xuất phương trình Gauss dạng vi phân, phương trình Poisson, hàm Green cho không gian vô hạn, trước khi chuyển sang triển khai Mathematica.

Ví dụ từng bước: Các ví dụ được xây dựng tăng dần về độ phức tạp. Trong phần điện tích rời rạc, giáo trình bắt đầu với lưỡng cực, tiếp theo là tứ cực, rồi đặt câu hỏi mở cho bài tập về hệ nhiều điện tích hơn.

Gói lệnh Mathematica (Packages and Programs): Mỗi chương đều có phần cuối liệt kê mã nguồn đầy đủ của các gói lệnh. Ví dụ, Section 4.6 trình bày mã nguồn của PointCharge và BoundaryProblem, bao gồm cả phần usage mô tả giao diện hàm. Người học có thể đọc, sửa đổi và tái sử dụng các gói này.

Bài tập (Exercises): Các chương từ 4 đến 7 kết thúc bằng phần bài tập. Ví dụ, Section 4.5 đặt ra các bài tập về: tạo ảnh quadrupole với PointCharge, khảo sát thế điện dưới nhiều điều kiện biên khác nhau với BoundaryProblem, và nghiên cứu tính chất động học của ion trong bẫy Penning với các tham số $\nu$ và $\lambda$ khác nhau — bao gồm cả việc tìm điều kiện gây ra chuyển động hỗn loạn.

Hướng dẫn tự học: Tác giả khuyến khích người học "experiment with the function and test the limitations of the method", ví dụ thử nghiệm với các điều kiện biên khác nhau trong bài toán biên điện tĩnh để cảm nhận giới hạn của phương pháp xấp xỉ.

Tài liệu số: CD-ROM đi kèm mỗi tập chứa các file Mathematica đặt tên theo tên chương, cho phép người học chạy trực tiếp các ví dụ trong sách.

Điểm nổi bật và cập nhật so với ấn bản trước

Ấn bản thứ hai (2005) có những thay đổi cấu trúc và nội dung đáng kể so với ấn bản đầu (1993):

Tái cấu trúc toàn bộ: Việc bổ sung nội dung làm tăng khối lượng đến mức phải tách thành hai tập. Chương về động lực học phi tuyến được chuyển sang Tập I vì nội dung chủ yếu liên quan đến lý thuyết trường cổ điển.

Bổ sung ví dụ mới trong cơ học lượng tử: Ấn bản mới có thêm các ví dụ mới trong Chương 5, bao gồm các tính toán liên quan đến hệ số virial thứ hai và các hiệu chỉnh lượng tử — nội dung kết hợp giữa cơ học lượng tử và vật lý thống kê.

Mở rộng chương fractal bằng giải tích phân số: Đây là bổ sung quan trọng nhất. Giải tích Riemann–Liouville và phương trình vi phân phân số được tích hợp vào Chương 7, cho phép tiếp cận fractal từ phía giải tích thay vì chỉ từ phía hình học. Gói lệnh FractionalCalculus (do Norbert Südland cung cấp, được tác giả cảm ơn trong Lời cảm ơn) hỗ trợ nội dung này.

Ứng dụng thực tế được tích hợp: Bài toán bẫy Penning trong Chương 4 là ví dụ về nghiên cứu thực nghiệm hiện đại (spectroscopy của ion đơn lẻ), cho thấy sự kết nối giữa nội dung giảng dạy và vật lý thực nghiệm đương đại. Phần thuyết tương đối rộng nhấn mạnh khả năng tính toán chính xác mà không cần gần đúng, một điểm mà tác giả so sánh tường minh với các sách giáo khoa thông thường.

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

Sinh viên và học viên:

Tập II phù hợp với sinh viên đại học năm cuối và học viên cao học chuyên ngành vật lý lý thuyết, vật lý toán, hoặc kỹ thuật có nền tảng toán học vững. Tác giả trong Lời tựa đề cập ba đối tượng chính: "physicists, mathematicians or engineers".

Kiến thức nền cần có:

  • Từ Tập I: Cơ học cổ điển (Newton, Lagrange, Hamilton), cơ học phi tuyến cơ bản.
  • Toán học: Phương trình vi phân riêng, hàm Green, phân tích Fourier, đại số tuyến tính, tensor.
  • Vật lý: Điện từ học cơ bản (tương đương điện từ học Maxwell ở bậc đại học).
  • Mathematica: Chương 1 (Introduction) của Tập I giới thiệu cú pháp cơ bản; người học nên hoàn thành chương đó trước. Không cần kỹ năng lập trình chuyên sâu.

Giảng viên:

Giáo trình có thể được dùng làm tài liệu cho khóa học Vật lý Lý thuyết với Tính toán Ký hiệu ở bậc đại học năm cuối hoặc cao học. Chương 5 về cơ học lượng tử có đủ nội dung để làm tài liệu bổ sung cho một học kỳ cơ học lượng tử cơ bản. Cấu trúc độc lập của từng chương cho phép giảng viên lựa chọn chủ đề theo chương trình cụ thể.

Tự học và tham khảo:

Do mỗi chương đi kèm mã nguồn Mathematica hoàn chỉnh trên CD-ROM và phần giải thích từng bước, giáo trình phù hợp với người tự học muốn nắm một lĩnh vực vật lý lý thuyết cụ thể (ví dụ chỉ đọc Chương 6 về thuyết tương đối rộng). Tài liệu tham khảo được liệt kê tại cuối mỗi tập (Tập II từ trang 923) phục vụ người dùng muốn đào sâu hơn.

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

1. Giáo trình này phù hợp với ai?

Giáo trình phù hợp với người học đã có nền tảng vật lý và toán học ở bậc đại học, muốn sử dụng Mathematica như một công cụ trong nghiên cứu và giảng dạy vật lý lý thuyết. Tác giả phát biểu rõ đối tượng là "physicists, mathematicians or engineers" làm việc với tính toán toán học hàng ngày.

2. Cần kiến thức nền nào để học tập II?

Người học cần có: điện từ học Maxwell ở bậc đại học, cơ học lượng tử nhập môn, và nên đọc Tập I trước để nắm cơ học cổ điển và cú pháp Mathematica cơ bản (Chương 1 và 2 của Tập I). Không bắt buộc phải có kiến thức lập trình trước.

3. Điểm khác biệt so với các giáo trình vật lý lý thuyết khác?

Điểm khác biệt chính là tích hợp tính toán ký hiệu (symbolic computation) vào từng bước giải bài toán vật lý. Ví dụ trong Chương 6, tác giả chỉ ra rằng hầu hết sách giáo khoa thuyết tương đối rộng dừng ở gần đúng, trong khi với Mathematica có thể theo dõi hiệu ứng như perihelion shift với độ chính xác đầy đủ. Mỗi bài toán đều đi kèm mã nguồn có thể chạy được, không chỉ kết quả cuối.

4. Làm sao để tự học hiệu quả?

Tác giả khuyến nghị tiếp cận theo ví dụ: chạy từng đoạn mã trong sách, thay đổi tham số và quan sát kết quả. Phần bài tập cuối mỗi chương (ví dụ Section 4.5) đặt ra các biến thể của bài toán đã trình bày, phù hợp để củng cố hiểu biết. Người học nên sử dụng CD-ROM đi kèm để có ngay mã nguồn làm điểm khởi đầu.

5. Có tài liệu bổ trợ nào kèm theo?

  • CD-ROM: Kèm theo mỗi tập, chứa các file Mathematica đặt tên theo tên chương.
  • Gói FractionalCalculus: Do Norbert Südland phát triển, có thể yêu cầu trực tiếp từ tác giả (không có sẵn trên CD-ROM).
  • Phụ lục: Tập II có Phụ lục từ trang 899 gồm danh mục file và hàm (A.2, trang 900) và danh mục hàm Mathematica (A.3, trang 910).
  • Tài liệu lịch sử: Sách tích hợp các ảnh lịch sử từ MacTutor History of Mathematics Archive, Đại học St Andrews, Scotland.

Kết luận

Mathematica for Theoretical Physics, Tập II trình bày bốn lĩnh vực vật lý lý thuyết — điện động lực học, cơ học lượng tử, thuyết tương đối rộng, và fractal — theo cách tiếp cận nhất quán: từ phương trình lý thuyết đến triển khai tính toán bằng Mathematica, kết thúc bằng gói lệnh có thể tái sử dụng và bài tập mở.

Lộ trình học đề xuất: bắt đầu với Chương 1 và Tập I để nắm cú pháp Mathematica, sau đó đọc các chương của Tập II theo thứ tự hoặc theo nhu cầu chuyên môn. Phụ lục A.2 và A.3 là tài liệu tra cứu nhanh trong quá trình làm việc với mã nguồn. Danh mục tài liệu tham khảo cuối tập (từ trang 923) là điểm xuất phát để đào sâu hơn vào từng chủ đề.

Baumann, Gerd. Mathematica for Theoretical Physics: Electrodynamics, Quantum Mechanics, General Relativity, and Fractals. 2nd ed. New York: Springer Science & Business Media, 2005. ISBN 978-0-387-21933-2.