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

Trong lịch sử phát triển của khoa học tự nhiên, toán học luôn giữ vai trò là công cụ biểu diễn và giải quyết các bài toán vật lý thực nghiệm lẫn lý thuyết. Ngành phương trình toán lý, được hình thành và phát triển từ thế kỷ XVIII, đóng vai trò thiết lập mối liên hệ định lượng giữa các đại lượng vật lý phức tạp thông qua các quy luật giải tích chuẩn mực. Quá trình giải các phương trình vi phân đạo hàm riêng mô tả các trường vật lý thường quy về việc giải các phương trình vi phân thường thông qua phương pháp tách biến, trong đó nghiệm thu được là các hàm đặc biệt như đa thức Legendre, hàm cầu, và hàm Bessel.

Đối với sinh viên chuyên ngành Sư phạm Vật lý, chương trình đào tạo đòi hỏi khối lượng tính toán lớn trong các học phần vật lý lý thuyết chuyên sâu, bao gồm: Cơ học lý thuyết, Cơ học lượng tử, Điện động lực học, Vật lý thống kê, Vật lý nguyên tử và hạt nhân. Mặc dù các công cụ tính toán số hiện đại hỗ trợ đắc lực trong việc giải số chính xác, các nghiệm giải tích biểu diễn qua hàm đặc biệt vẫn giữ vai trò quyết định trong việc tiên đoán trạng thái vật lý, phân tích tiệm cận và làm sáng tỏ bản chất các quy luật tự nhiên. Tuy nhiên, việc tiếp cận các hàm toán học phức tạp này thường tạo ra rào cản học thuật lớn cho người học nếu thiếu tài liệu hệ thống hóa tường minh giữa cấu trúc giải tích toán học và ý nghĩa vật lý tương ứng.

Xuất phát từ yêu cầu học tập và giảng dạy thực tiễn, tác giả Nguyễn Hữu Phát đã thực hiện khóa luận tốt nghiệp với đề tài "Các hàm đặc biệt thường được sử dụng trong các bài toán vật lý".

Nghiệm vụ và mục tiêu nghiên cứu của khóa luận được xác định cụ thể như sau:

  1. Xây dựng một bộ tài liệu tham khảo hoàn chỉnh về các hàm và đa thức đặc biệt, đóng vai trò công cụ học liệu phục vụ sinh viên chuyên ngành vật lý.
  2. Khảo sát, hệ thống hóa cơ sở toán học của các hàm đặc biệt thường gặp bao gồm đa thức Legendre, hàm cầu và họ hàm Bessel (hàm Bessel loại một, hàm Bessel loại hai/Neumann, hàm Hankel, hàm cầu Bessel).
  3. Thiết lập mối liên hệ giữa các hàm đặc biệt với các bài toán vật lý cụ thể thông qua hệ thống bài tập và bài toán biên kinh điển trong tĩnh điện học, cơ học lượng tử, quang học và âm học.
  4. Xây dựng một số chương trình tính toán số hỗ trợ tính toán giá trị và trực quan hóa đồ thị các hàm đặc biệt.
  • Đối tượng nghiên cứu: Các lớp hàm đặc biệt trong toán lý (đa thức Legendre, hàm Legendre liên kết, hàm Bessel, hàm Neumann, hàm Hankel, hàm cầu Bessel) và các bài toán biên vật lý tương ứng.
  • Phạm vi nghiên cứu: Khóa luận được thực hiện tại Bộ môn Toán lý, Khoa Vật lý, Trường Đại học Sư phạm Thành phố Hồ Chí Minh, hoàn thành vào tháng 4 năm 2022 dưới sự hướng dẫn trực tiếp của ThS. Nguyễn Lê Anh. Phạm vi nội dung tập trung vào hai lớp hàm chủ đạo là đa thức Legendre (gắn với đối xứng cầu/trụ trong tĩnh điện học và moment động lượng lượng tử) và hàm Bessel (gắn với bài toán biên trụ, màng dao động, nhiễu xạ và tán xạ sóng).

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

Khóa luận được xây dựng trên nền tảng phương trình toán lý và giải tích toán học cổ điển, kết hợp các mô hình vật lý lý thuyết chuẩn mực:

  • Khung lý thuyết toán học: Lý thuyết phương trình vi phân đạo hàm riêng (phương trình Laplace, phương trình Helmholtz, phương trình Poisson, phương trình vi phân Legendre, phương trình vi phân Bessel); lý thuyết Sturm-Liouville về tính tự liên hợp, tập hàm trực giao, trực chuẩn và tính đầy đủ của hệ nghiệm hàm riêng; phương pháp hàm sinh (generating function); công thức vi phân biểu diễn tích phân Rodrigues; công thức Wronskian.
  • Mô hình vật lý ứng dụng: Khai triển đa cực tĩnh điện (đơn cực, lưỡng cực, tứ cực, bát cực); bài toán biên tĩnh điện với điều kiện biên Dirichlet; bài toán dao động màng hai chiều; lý thuyết nhiễu xạ quang học Fraunhofer qua khẩu độ tròn; cơ học lượng tử đối xứng cầu (toán tử moment động lượng quỹ đạo, giếng thế vuông cầu, gần đúng WKB và lý thuyết tán xạ sóng lượng tử tính độ lệch pha).
  • Phương pháp nghiên cứu:
    • Phương pháp phân tích - tổng hợp giải tích: Khảo sát các phép biến đổi vi tích phân, khai triển chuỗi lũy thừa, tách biến trong hệ tọa độ cong (tọa độ trụ và tọa độ cầu), chứng minh tính trực giao và thiết lập các hệ thức truy hồi.
    • Phương pháp mô hình hóa toán lý: Áp dụng nghiệm giải tích vào các cấu hình vật lý cụ thể, giải quyết điều kiện biên thực tế.
    • Phương pháp tính toán số: Sử dụng các thuật toán tính toán số học để hỗ trợ việc tính các giá trị số và vẽ đường cong biểu diễn đồ thị hàm số, giản đồ dao động và phân bố trường.
  • Nguồn dữ liệu: Khóa luận khai thác các giáo trình chuẩn mực và tài liệu chuyên khảo toán lý trong và ngoài nước (được đánh số tham khảo từ [1] đến [5] trong văn bản), kết hợp các mô hình tính toán hình học trong tĩnh điện học và động học lượng tử.

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

Chương 1: Đa thức Legendre và hàm cầu

Chương 1 trình bày toàn diện cơ sở toán học và ứng dụng vật lý của đa thức Legendre và các hàm Legendre liên kết, khởi đầu từ việc giải phương trình Laplace trong hệ tọa độ cầu và trụ.

  1. Cơ sở vật lý và hàm sinh: Tác giả tiếp cận đa thức Legendre từ bài toán thế tĩnh điện của một điện tích điểm $q$ đặt tại vị trí $z = a$ trên trục $z$, quan sát tại điểm có khoảng cách $r$: $$\Phi = \frac{1}{4\pi\varepsilon_0} \frac{q}{|\mathbf{r}_1 - \mathbf{r}0|}$$ Khi xét miền không gian $r > a$, áp dụng định lý hàm số cosine và khai triển chuỗi nhị thức, thế tĩnh điện được biểu diễn qua hàm sinh của đa thức Legendre $P_n(\cos\theta)$: $$g(t, x) = (1 - 2tx + t^2)^{-1/2} = \sum{n=0}^{\infty} P_n(x) t^n$$ với $x = \cos\theta$ và $t = a/r$. Từ hàm sinh này, tác giả suy ra các giá trị đặc biệt: $P_n(1) = 1$, $P_n(-1) = (-1)^n$, $P_n(0)$ với $n$ chẵn/lẻ, và đặc biệt là tính chẵn lẻ $P_n(-x) = (-1)^n P_n(x)$. Tác giả chỉ rõ ý nghĩa vật lý của tính chẵn lẻ trong cơ học lượng tử: nó tương ứng với tính bảo toàn tính chẵn lẻ khi toán tử Hamiltonian bất biến dưới phép nghịch đảo không gian $\mathbf{r} \to -\mathbf{r}$.

  2. Khai triển chuỗi lũy thừa và dạng đa cực điện: Biểu thức giải tích tổng quát của đa thức Legendre thu được qua chuỗi lũy thừa: $$P_n(x) = \sum_{k=0}^{[n/2]} (-1)^k \frac{(2n - 2k)!}{2^n k!(n - k)!(n - 2k)!} x^{n-2k}$$ Áp dụng nguyên lý chồng chất, tác giả phân tích thế tĩnh điện của các phân bố điện tích rời rạc và liên tục thành chuỗi đa cực tuyến tính:

    • Đơn cực ($P_0$): Phụ thuộc tổng điện tích.
    • Lưỡng cực ($P_1$): Ứng với hệ hai điện tích trái dấu $q$ và $-q$, đặc trưng bởi moment lưỡng cực $2aq$.
    • Tứ cực ($P_2$): Tạo bởi các điện tích $q$ tại $z = \pm a$ và $-2q$ tại $z = 0$, tương ứng tensor đối xứng không vết.
    • Bát cực ($P_3$): Tạo bởi sự triệt tiêu của các số hạng bậc thấp hơn. Tác giả lưu ý ba nguyên lý cơ bản: giá trị đa cực chỉ độc lập với gốc tọa độ khi mọi số hạng bậc thấp hơn triệt tiêu; hệ vật lý thực tế hiếm khi có đa cực thuần túy; và khai triển đa cực áp dụng tương đương cho thế hấp dẫn và trường khối lượng hành tinh.

  3. Hệ thức truy hồi và phương trình vi phân: Bằng cách lấy đạo hàm hàm sinh theo $t$ và theo $x$, tác giả thiết lập hệ thức truy hồi cơ bản ba số hạng: $$(2n + 1)x P_n(x) = (n + 1)P_{n+1}(x) + n P_{n-1}(x)$$ Hệ thức này được viết lại dưới dạng tối ưu cho tính toán số nhằm hạn chế sai số tích lũy: $P_{n+1}(x) = 2xP_n(x) - P_{n-1}(x) - [xP_n(x) - P_{n-1}(x)]/(n + 1)$. Phương trình vi phân cấp hai tự liên hợp của Legendre được thiết lập: $$\frac{d}{dx} \left[ (1 - x^2) \frac{d P_n(x)}{dx} \right] + n(n + 1)P_n(x) = 0$$

  4. Tính trực giao và chuỗi Legendre: Dựa trên lý thuyết Sturm-Liouville, tính trực chuẩn của đa thức Legendre trên đoạn $[-1, 1]$ với hàm trọng số $w(x) = 1$ được chứng minh: $$\int_{-1}^1 P_n(x) P_m(x) dx = \frac{2}{2n + 1} \delta_{nm}$$ Hàm tùy ý $f(x)$ được khai triển thành chuỗi Legendre $f(x) = \sum a_n P_n(x)$ với hệ số $a_n = \frac{2n+1}{2} \int_{-1}^1 f(x)P_n(x)dx$, tương đương toán tử hình chiếu trong cơ học lượng tử.

  5. Công thức Rodrigues và hàm Legendre liên kết: Tác giả trình bày công thức vi phân Rodrigues: $$P_n(x) = \frac{1}{2^n n!} \frac{d^n}{dx^n} (x^2 - 1)^n$$ Khi phương trình Laplace được giải bằng phương pháp tách biến có phụ thuộc góc phương vị $\varphi$, nghiệm theo biến $x = \cos\theta$ thỏa mãn phương trình vi phân Legendre liên kết, dẫn đến hàm Legendre liên kết $P_n^m(x)$: $$P_n^m(x) = (1 - x^2)^{m/2} \frac{d^m}{dx^m} P_n(x)$$ Điều kiện $|m| \le n$ được tác giả giải thích rõ ràng về mặt vật lý lượng tử: giá trị kỳ vọng của bình phương thành phần $z$ của moment động lượng không thể vượt quá giá trị kỳ vọng của bình phương toàn phần moment động lượng, tức $\langle L_z^2 \rangle \le \langle \mathbf{L}^2 \rangle$, trong đó $m$ là trị riêng của $L_z$ và $n(n+1)$ là trị riêng của $\mathbf{L}^2$.

Ký hiệu hàm Biểu thức giải tích theo $x$ Biểu thức lượng giác theo $\theta$
$P_1^1(x)$ $(1 - x^2)^{1/2}$ $\sin\theta$
$P_2^1(x)$ $3x(1 - x^2)^{1/2}$ $3\cos\theta \sin\theta$
$P_2^2(x)$ $3(1 - x^2)$ $3\sin^2\theta$
$P_3^1(x)$ $\frac{3}{2}(5x^2 - 1)(1 - x^2)^{1/2}$ $\frac{3}{2}(5\cos^2\theta - 1)\sin\theta$
$P_3^2(x)$ $15x(1 - x^2)$ $15\cos\theta \sin^2\theta$
$P_3^3(x)$ $15(1 - x^2)^{3/2}$ $15\sin^3\theta$
$P_4^1(x)$ $\frac{5}{2}(7x^3 - 3x)(1 - x^2)^{1/2}$ $\frac{5}{2}(7\cos^3\theta - 3\cos\theta)\sin\theta$
$P_4^2(x)$ $\frac{15}{2}(7x^2 - 1)(1 - x^2)$ $\frac{15}{2}(7\cos^2\theta - 1)\sin^2\theta$
$P_4^3(x)$ $105x(1 - x^2)^{3/2}$ $105\cos\theta \sin^3\theta$
$P_4^4(x)$ $105(1 - x^2)^2$ $105\sin^4\theta$
  1. Các bài toán biên vật lý điển hình:
    • Quả cầu dẫn điện trung hòa bán kính $r_0$ trong điện trường đều $E_0$: Bằng cách áp dụng điều kiện biên Dirichlet $V(r \to \infty) = -E_0 r P_1(\cos\theta)$ và $V(r = r_0) = 0$, tác giả xác định thế tĩnh điện ngoài quả cầu: $$V(r, \theta) = -E_0 r P_1(\cos\theta) \left( 1 - \frac{r_0^3}{r^3} \right)$$ Từ đó tính được mật độ điện tích mặt cảm ứng $\sigma = 3\varepsilon_0 E_0 \cos\theta$ và moment lưỡng cực cảm ứng $P = 4\pi\varepsilon_0 r_0^3 E_0$.
    • Vòng dây dẫn tích điện $q$ bán kính $a$: Tính thế giải tích bằng cách so khớp điều kiện biên trên trục đối xứng $z$ với định luật Coulomb, dẫn đến chuỗi chỉ chứa các số hạng Legendre bậc chẵn $n = 2s$.
    • Tán xạ sóng và hạt: Khai triển hàm delta Dirac $\delta(1-x)$, tính tán xạ neutron trong hệ khối tâm, và khai triển sóng phẳng Rayleigh qua chuỗi sóng cầu $e^{i\mathbf{k}\cdot\mathbf{r}} = \sum_{l=0}^\infty i^l (2l+1) j_l(kr) P_l(\cos\theta)$.

Chương 2: Hàm Bessel

Chương 2 khảo sát họ hàm Bessel, nghiệm của phương trình vi phân xuất hiện trong các hệ tọa độ trụ và cầu với các bài toán truyền sóng và dao động.

  1. Hàm Bessel loại một và hàm Neumann: Tác giả khảo sát hàm Bessel loại một $J_n(x)$ xác định qua hàm sinh cho bậc nguyên $g(x, t) = \exp[\frac{x}{2}(t - \frac{1}{t})] = \sum_{n=-\infty}^{\infty} J_n(x) t^n$, phương trình vi phân Bessel, phép biểu diễn tích phân và tính chuẩn hóa. Đối với các bậc không nguyên và nghiệm độc lập tuyến tính thứ hai, tác giả xây dựng hàm Neumann (hàm Bessel loại hai $Y_n(x)$) cùng công thức Wronskian $W[J_n(x), Y_n(x)] = \frac{2}{\pi x}$, giải quyết trường hợp điểm kỳ dị tại gốc tọa độ. Khóa luận cung cấp danh mục các điểm không (zeros) của hàm Bessel và đạo hàm cấp một của chúng phục vụ việc xác định các mode dao động riêng.

  2. Hàm cầu Bessel và hàm Hankel: Tác giả phát triển hàm cầu Bessel $j_n(x)$ và hàm cầu Neumann $y_n(x)$ liên hệ với hàm Bessel trụ qua thừa số $\sqrt{\pi / (2x)}$, phục vụ trực tiếp cho bài toán đối xứng cầu trong không gian ba chiều.

  3. Ứng dụng vật lý của hàm Bessel: Khóa luận phân tích chi tiết các mô hình vật lý ứng dụng:

    • Quang học sóng: Bài toán nhiễu xạ Fraunhofer qua khẩu độ tròn bán kính $a$, trong đó cường độ sáng tạo nên đĩa Airy được mô tả bởi hàm $[J_1(ka\sin\theta)/(ka\sin\theta)]^2$.
    • Âm học và cơ học dao động: Dao động màng hình chữ nhật và dao động màng tròn của mặt trống phẳng (xét trường hợp $a = 1, c = 0$ và điều kiện biên cố định biên mép $J_m(k_r a) = 0$).
    • Điện từ trường cao tần: Khảo sát các mode sóng điện từ trong khoang cộng hưởng hình trụ dẫn điện.
    • Cơ học lượng tử: Tán xạ sóng lượng tử bởi thế tâm $V(r)$, trong đó sóng phẳng tới bị tán xạ thành sóng cầu phân kỳ, xác định độ lệch pha $\delta_l$ và tổng tiết diện tán xạ toàn phần: $$\sigma_{tot} = \frac{4\pi}{k^2} \sum_{l=0}^{\infty} (2l + 1) \sin^2\delta_l$$ cùng phương pháp gần đúng WKB và nghiệm giếng thế vuông đối xứng cầu.

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

Khóa luận đã tổng hợp và giải quyết tường minh các kết quả lý thuyết và bài toán vật lý định lượng, được tóm tắt qua bảng hệ thống sau:

Tên lớp hàm Phương trình vi phân đặc trưng Miền trực giao / Trọng số Kết quả và ứng dụng vật lý tiêu biểu
Đa thức Legendre $P_n(x)$ $(1-x^2)y'' - 2xy' + n(n+1)y = 0$ $[-1, 1]$, $w(x) = 1$ Khai triển đa cực tĩnh điện; Quả cầu dẫn trong trường đều: $V = -E_0 r P_1(\cos\theta)(1 - r_0^3/r^3)$, $\sigma = 3\varepsilon_0 E_0 \cos\theta$, $P = 4\pi\varepsilon_0 r_0^3 E_0$.
Hàm Legendre liên kết $P_n^m(x)$ $(1-x^2)y'' - 2xy' + [n(n+1) - \frac{m^2}{1-x^2}]y = 0$ $[-1, 1]$, $w(x) = 1$ Hàm riêng toán tử moment động lượng quỹ đạo lượng tử $\mathbf{L}^2$ và $L_z$; điều kiện chặn trị riêng $|m| \le n$.
Hàm Bessel loại một $J_n(x)$ $x^2 y'' + x y' + (x^2 - n^2)y = 0$ $[0, a]$, $w(x) = x$ với điều kiện biên $J_n(k a) = 0$ Nhiễu xạ Fraunhofer khẩu độ tròn; Dao động mặt trống màng tròn ($a=1, c=0$); Mode khoang cộng hưởng trụ.
Hàm Bessel loại hai $Y_n(x)$ (Neumann) $x^2 y'' + x y' + (x^2 - n^2)y = 0$ Nghiệm độc lập với $J_n(x)$, kỳ dị tại $x = 0$ Nghiệm sóng trong miền không gian không chứa gốc tọa độ; tính Wronskian $W = 2/(\pi x)$.
Hàm cầu Bessel $j_n(x)$ & $y_n(x)$ $x^2 y'' + 2x y' + [x^2 - n(n+1)]y = 0$ Hệ tọa độ cầu ba chiều Giếng thế vuông lượng tử đối xứng cầu; Tán xạ lượng tử: tiết diện $\sigma_{tot} = \frac{4\pi}{k^2}\sum(2l+1)\sin^2\delta_l$; Gần đúng WKB.
  • Đóng góp khoa học và giáo khoa mà tác giả tự nêu:
    • Khóa luận đã hệ thống hóa một cách mạch lạc, logic toàn bộ cơ sở toán học giải tích của các hàm đặc biệt thường gặp từ nguồn gốc phương trình vi phân đến hệ thức truy hồi, tính trực giao và biểu diễn tích phân.
    • Xóa bỏ sự tách biệt thuần túy giữa toán học trừu tượng và hiện tượng vật lý bằng cách gắn từng công thức giải tích với các mô hình vật lý kinh điển cụ thể trong chương trình đào tạo đại học.
    • Đưa ra hệ thống bài tập có hướng dẫn và chứng minh chi tiết (như bài toán dịch chuyển điện tích trong khoang cầu, khai triển hàm delta Dirac, tán xạ neutron), tạo thành tài liệu học tập thiết thực phục vụ sinh viên chuyên ngành Sư phạm Vật lý chuẩn bị cho công tác giảng dạy và nghiên cứu khoa học sau này.

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

  • Hạn chế:
    • Căn cứ vào phạm vi nghiên cứu được văn bản xác định, khóa luận chỉ tập trung vào hai lớp hàm chủ yếu là đa thức Legendre (cùng hàm cầu) và họ hàm Bessel (gồm Neumann, Hankel và hàm cầu Bessel). Các lớp đa thức trực giao quan trọng khác xuất hiện trong cơ học lượng tử như đa thức Hermite (trong bài toán dao động tử điều hòa lượng tử), đa thức Laguerre (trong bài toán nguyên tử Hydro) hay đa thức Chebyshev chưa được đưa vào khảo sát.
    • Phần chương trình tính toán số mới dừng lại ở mức độ công cụ phụ trợ để tính bảng số và vẽ đồ thị biểu diễn nghiệm, chưa phát triển thành một hệ thống phần mềm mô phỏng tương tác chuyên sâu.
  • Hướng nghiên cứu tiếp:
    • Mở rộng khảo sát sang các hàm đặc biệt nâng cao khác trong vật lý lý thuyết: hàm siêu bội (hypergeometric functions), hàm Hermite, hàm Laguerre.
    • Phát triển sâu hơn các thuật toán số giải phương trình vi phân chứa hàm đặc biệt trong các bài toán tán xạ phi đối xứng và bài toán trường thế phức tạp.

Giá trị tham khảo

Khóa luận là tài liệu học liệu có giá trị đối với các nhóm đối tượng sau:

  • Sinh viên chuyên ngành Sư phạm Vật lý và Vật lý học: Tài liệu hỗ trợ trực tiếp khi theo học các học phần Phương trình Toán lý, Cơ học lý thuyết, Điện động lực học, Cơ học lượng tử và Vật lý nguyên tử. Sinh viên có thể sử dụng khóa luận để tra cứu nhanh các công thức truy hồi, nghiệm giải tích và cách đặt điều kiện biên cho các phương trình Laplace, Helmholtz.
  • Giáo viên Vật lý và học viên cao học: Cung cấp nguồn bài tập bài toán biên mẫu mực có kèm lời giải và hướng dẫn phương pháp giải quyết chi tiết, hữu ích cho việc xây dựng bài giảng chuyên đề hoặc phát triển đề tài nghiên cứu liên quan đến tán xạ và trường tĩnh điện.
  • Phần đáng tham khảo nhất:
    • Kỹ thuật sử dụng hàm sinh để giải quyết bài toán khai triển đa cực điện và thiết lập các hệ số truy hồi (Chương 1, mục 1.2 và 1.3).
    • Phương pháp giải bài toán biên Dirichlet đối với vật dẫn hình cầu trong điện trường đều và vòng dây mang điện (Chương 1, mục 1.4).
    • Bảng tra cứu các hàm Legendre liên kết và bảng các điểm không của hàm Bessel (Bảng 1.2 và Bảng 2.1).

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

1. Thế tĩnh điện bên ngoài quả cầu dẫn điện trung hòa bán kính $r_0$ đặt trong điện trường đều $E_0$ được tác giả giải quyết bằng cách nào và cho kết quả ra sao?
Tác giả thiết lập nghiệm tổng quát của phương trình Laplace trong tọa độ cầu dưới dạng chuỗi $V(r, \theta) = \sum_{n=0}^{\infty} (a_n r^n + b_n r^{-(n+1)}) P_n(\cos\theta)$. Áp dụng điều kiện biên vô cực $V(r \to \infty) = -E_0 r P_1(\cos\theta)$ suy ra $a_1 = -E_0$, $a_n = 0$ với $n \ne 1$. Áp dụng điều kiện thế triệt tiêu trên mặt cầu $V(r_0, \theta) = 0$ suy ra $b_1 = E_0 r_0^3$, $b_n = 0$ với $n \ne 1$. Kết quả thế tĩnh điện là $V(r, \theta) = -E_0 r P_1(\cos\theta)[1 - (r_0/r)^3]$, dẫn đến mật độ điện tích cảm ứng mặt $\sigma = 3\varepsilon_0 E_0 \cos\theta$ và moment lưỡng cực cảm ứng $P = 4\pi\varepsilon_0 r_0^3 E_0$.

2. Tại sao chỉ số $m$ trong hàm Legendre liên kết $P_n^m(x)$ phải thỏa mãn điều kiện $|m| \le n$?
Về mặt giải tích, hàm Legendre liên kết được định nghĩa qua đạo hàm cấp $m$ của đa thức Legendre: $P_n^m(x) = (1-x^2)^{m/2} \frac{d^m}{dx^m} P_n(x)$. Do lũy thừa cao nhất của $x$ trong $P_n(x)$ là $x^n$, đạo hàm cấp $m > n$ sẽ triệt tiêu về không. Về mặt ý nghĩa cơ học lượng tử, $m$ là trị riêng của thành phần moment động lượng theo trục $z$ ($L_z$) còn $n(n+1)$ là trị riêng của bình phương toàn phần moment động lượng ($\mathbf{L}^2$). Do đó, điều kiện $|m| \le n$ phản ánh thực tế vật lý là giá trị kỳ vọng $\langle L_z^2 \rangle$ không thể vượt quá $\langle \mathbf{L}^2 \rangle$.

3. Hàm sinh của đa thức Legendre chứng minh tính chẵn lẻ của hàm như thế nào?
Hàm sinh có dạng $g(t, x) = (1 - 2tx + t^2)^{-1/2} = \sum_{n=0}^{\infty} P_n(x) t^n$. Khi thay đồng thời $x$ bằng $-x$ và $t$ bằng $-t$, biểu thức hàm sinh giữ nguyên giá trị: $g(-t, -x) = [1 - 2(-t)(-x) + (-t)^2]^{-1/2} = (1 - 2tx + t^2)^{-1/2} = g(t, x)$. Mặt khác, khai triển chuỗi cho ta $\sum_{n=0}^{\infty} P_n(-x) (-t)^n = \sum_{n=0}^{\infty} (-1)^n P_n(-x) t^n$. Đồng nhất hệ số của $t^n$ ở cả hai chuỗi dẫn đến $P_n(-x) = (-1)^n P_n(x)$, chứng minh $P_n(x)$ là hàm chẵn khi $n$ chẵn và hàm lẻ khi $n$ lẻ.

4. Khai triển đa cực điện cho thấy điều kiện gì để một moment đa cực độc lập với việc chọn gốc tọa độ?
Theo phân tích của tác giả trong mục 1.2, một đa cực điện (hoặc từ) có giá trị không phụ thuộc vào điểm gốc tọa độ tham chiếu khi và chỉ khi tất cả các số hạng đa cực có bậc thấp hơn nó đều triệt tiêu. Ví dụ, thế của một điện tích điểm đặt lệch tâm chứa số hạng $P_1(\cos\theta)$ (dạng lưỡng cực) nhưng số hạng này phụ thuộc vào gốc tọa độ do số hạng đơn cực $P_0$ (tổng điện tích) khác không; ngược lại, đối với hệ trung hòa điện (đơn cực bằng không), moment lưỡng cực thuần túy sẽ độc lập với gốc tọa độ.

5. Hàm cầu Bessel xuất hiện trong những bài toán vật lý nào được tác giả trình bày trong khóa luận?
Hàm cầu Bessel $j_n(x)$ và hàm cầu Neumann $y_n(x)$ xuất hiện trong các bài toán có đối xứng cầu ba chiều, cụ thể được tác giả nêu gồm: giải phương trình Schrödinger cho giếng thế vuông đối xứng cầu trong cơ học lượng tử; phương pháp gần đúng Wentzel - Kramers - Brillouin (WKB); lý thuyết tán xạ lượng tử để tính độ lệch pha $\delta_l$ và tổng tiết diện tán xạ $\sigma_{tot}$; và phép khai triển sóng phẳng Rayleigh thành các sóng cầu tới và sóng cầu ló.

Kết luận

Khóa luận tốt nghiệp của tác giả Nguyễn Hữu Phát đã hệ thống hóa toàn diện cơ sở toán học giải tích và ứng dụng vật lý của hai họ hàm đặc biệt chủ đạo là đa thức Legendre và hàm Bessel. Bằng cách kết nối chặt chẽ giữa các hệ thức giải tích trừu tượng với các bài toán biên cụ thể trong tĩnh điện học, cơ học lượng tử, quang học và âm học, công trình làm sáng tỏ bản chất vật lý của các nghiệm toán học. Khóa luận là tài liệu tham khảo có giá trị học liệu thiết thực cho sinh viên và người nghiên cứu trong việc tiếp cận các môn học vật lý lý thuyết chuyên sâu.