Máy tính Bảng giá trị Đa thức Legendre liên kết là gì?
Công cụ này lập bảng giá trị của hàm Legendre liên kết \(P_n^m(x)\) (bậc n, cấp m) trên một khoảng x do bạn chọn và vẽ đường cong tương ứng. Đây là một bài toán thuần túy về toán học, áp dụng giống hệt nhau ở mọi nơi, không kèm đơn vị hay giả định riêng của bất kỳ quốc gia nào. Đa thức Legendre liên kết xuất hiện rộng khắp trong vật lý và toán ứng dụng: trong các hàm điều hòa cầu (spherical harmonics), nghiệm của phương trình Laplace trong tọa độ cầu, khai triển đa cực và cơ học lượng tử của mômen động lượng.
Cách sử dụng
Nhập bậc nguyên n (0, 1, 2, ...) và cấp nguyên m với điều kiện \(-n \le m \le n\). Chọn giá trị x ban đầu (trong khoảng từ -1 đến 1), bước nhảy và số dòng. Bộ giá trị mặc định n = 2, m = 1, x bắt đầu = -1, bước = 0,02 và 101 dòng sẽ quét x từ -1 đến +1 (bao gồm cả hai đầu mút). Chọn Type A (quy ước Wolfram) hoặc Type B (quy ước Maple); với x thực trong khoảng (-1, 1) hai quy ước có cùng độ lớn và chỉ khác nhau ở dấu/pha của hệ số đứng trước.
Giải thích công thức
Với n nguyên và \(0 \le m \le n\), ta dùng $$P_n^m(x) = (-1)^m\,(1-x^2)^{m/2}\,\frac{d^m}{dx^m}P_n(x),$$ được tính bằng công thức truy hồi ổn định về mặt số học: \(P_m^m = (-1)^m(2m-1)!!(1-x^2)^{m/2}\), \(P_{m+1}^m = x(2m+1)P_m^m\), sau đó \((l-m)P_l^m = (2l-1)x\,P_{l-1}^m - (l+m-1)P_{l-2}^m\). Với m âm, \(P_n^{-m} = (-1)^m\frac{(n-m)!}{(n+m)!}P_n^m\). Công thức truy hồi khép kín này tránh được hiện tượng hàm Gamma "bùng nổ" của dạng \({}_2F_1\) nguyên thủy khi m là số nguyên dương.
Ví dụ minh họa
Với n = 2, m = 1, hàm số là $$P_2^1(x) = -3x\sqrt{1-x^2}.$$ Tại x = 0 giá trị bằng 0; tại x = 0,5 giá trị là \(-3(0{,}5)(0{,}866025) = -1{,}299038\); tại x = -0,5 giá trị là +1,299038. Đường cong bắt đầu từ 0 (tại x = -1), tăng lên khoảng +1,1547 gần x = -0,577, cắt trục hoành tại x = 0, hạ xuống khoảng -1,1547 gần x = +0,577, rồi trở về 0 tại x = +1.
Các Hàm Legendre Liên Kết Dạng Đóng P_n^m(x)
Các hàm Legendre liên kết \(P_n^m(x)\) với bậc nguyên \(n\) và cấp \(0\le m\le n\) tuân theo \(P_n^m(x)=(-1)^m(1-x^2)^{m/2}\dfrac{d^m}{dx^m}P_n(x)\). Thừa số \((-1)^m\) là pha Condon–Shortley được bao gồm trong quy ước Loại A (phù hợp với Wolfram); quy ước Loại B (Maple) bỏ qua nó, vì vậy các phần tử với \(m\) lẻ của nó chỉ khác nhau về dấu. Bảng dưới đây liệt kê các dạng tường minh theo Loại A.
| \(n\) | \(m\) | \(P_n^m(x)\) (Loại A, có dấu) |
|---|---|---|
| 0 | 0 | \(1\) |
| 1 | 0 | \(x\) |
| 1 | 1 | \(-\sqrt{1-x^2}\) |
| 2 | 0 | \(\tfrac{1}{2}(3x^2-1)\) |
| 2 | 1 | \(-3x\sqrt{1-x^2}\) |
| 2 | 2 | \(3(1-x^2)\) |
| 3 | 0 | \(\tfrac{1}{2}(5x^3-3x)\) |
| 3 | 1 | \(-\tfrac{3}{2}(5x^2-1)\sqrt{1-x^2}\) |
| 3 | 2 | \(15x(1-x^2)\) |
| 3 | 3 | \(-15(1-x^2)^{3/2}\) |
Để kiểm tra một cách chi tiết, tại \(x=0.5\) phần tử \(P_2^1\) cho \(-3(0.5)\sqrt{1-0.25}=-1.5\sqrt{0.75}=\) -1.299038. Cột \(m=0\) tái tạo ra các đa thức Legendre thông thường \(P_n(x)\), ví dụ \(P_3^0(x)=\tfrac12(5x^3-3x)\), có thể được tính bảng với máy tính bảng đa thức Legendre.
Các Thuật Ngữ và Biến Chính
- Bậc \(n\)
-
Một số nguyên không âm (
degreeN) đặt bậc của đa thức Legendre cơ sở \(P_n(x)\), là một đa thức bậc \(n\). - Cấp \(m\)
-
Một số nguyên (
orderM) kiểm soát có bao nhiêu đạo hàm được lấy. Để có kết quả có giá trị thực trên \((-1,1)\) thường dùng \(0\le m\le n\); khi \(m>n\) hàm số sẽ bằng không vì đạo hàm bậc \(m\) của đa thức bậc \(n\) sẽ triệt tiêu. - Đối số \(x\)
-
Điểm đánh giá (
initialXcộng \(i\cdot\)stepX). Các hàm số này là thực cho \(-1\le x\le 1\); trong vật lý \(x=\cos\theta\). - Loại A (Wolfram / Condon–Shortley)
-
Bao gồm thừa số pha \((-1)^m\). Đây là quy ước được sử dụng bởi
LegendrePcủa Wolfram và các tài liệu cơ học lượng tử tiêu chuẩn. - Loại B (Maple)
- Bỏ qua pha \((-1)^m\), vì vậy \(P_n^m\) (Loại B) \(=(-1)^m\,P_n^m\) (Loại A). Độ lớn là giống nhau; chỉ dấu của các phần tử với \(m\) lẻ khác nhau.
- Giai thừa kép \((2m-1)!!\)
- Tích của các số nguyên lẻ \((2m-1)(2m-3)\cdots 3\cdot 1\), với \((-1)!!=1\). Nó xuất hiện trong hệ số hàng đầu \(P_m^m(x)=(-1)^m(2m-1)!!\,(1-x^2)^{m/2}\); ví dụ \(P_3^3\) sử dụng \(5!!=15\). Xem máy tính giai thừa kép để có các giá trị này.
- Quan hệ cấp âm
- Với \(m>0\), \(P_n^{-m}(x)=(-1)^m\dfrac{(n-m)!}{(n+m)!}\,P_n^{m}(x)\), kết nối các cấp dương và âm thông qua giai thừa.
Diễn Giải Bảng và Đồ Thị
Một số tính chất cấu trúc cho phép bạn kiểm tra lại các giá trị trong bảng và đường cong được vẽ:
- Tính chẵn lẻ. \(P_n^m(-x)=(-1)^{n+m}P_n^m(x)\). Khi \(n+m\) chẵn đồ thị đối xứng về \(x=0\); khi \(n+m\) lẻ nó là phản đối xứng (và do đó đi qua gốc tọa độ).
- Các không điểm bên trong. Trên khoảng mở \((-1,1)\), \(P_n^m(x)\) có chính xác \(n-m\) không điểm đơn. Ví dụ \(P_3^1\) có hai không điểm bên trong, trong khi \(P_n^n\) không có.
- Hành vi tại các điểm cuối. Vì thừa số \((1-x^2)^{m/2}\), mỗi hàm số với \(m>0\) sẽ bằng không tại \(x=\pm 1\). Với \(m=0\) các giá trị là \(P_n(1)=1\) và \(P_n(-1)=(-1)^n\).
- Độ lớn gần các cạnh. Đối với \(m\) lớn hơn, thừa số \((1-x^2)^{m/2}\) sẽ kìm hãm đường cong sắc nét khi \(x\to\pm1\), vì vậy các dao động lớn nhất xảy ra về phía giữa của khoảng.
Các hàm số này là phần phụ thuộc vào \(\theta\) của điều hòa cầu \(Y_n^m(\theta,\phi)\): viết \(x=\cos\theta\), ta có \(Y_n^m\propto P_n^m(\cos\theta)\,e^{im\phi}\). Các không điểm bên trong trở thành các vòng tròn nút vĩ độ, và sự triệt tiêu điểm cuối \(m>0\) tương ứng với các điều hòa có xu hướng bằng không tại các cực. Do đó, các giá trị \(P_n^m\) tương tự cũng được cung cấp trực tiếp vào một đánh giá điều hòa cầu ở một \(\theta\) và \(\phi\) đã chọn.
Câu hỏi thường gặp
Vì sao n và m bắt buộc phải là số nguyên? Dạng đa thức hữu hạn (kết thúc) đòi hỏi n là số nguyên không âm; công thức truy hồi và các thừa số \((n\pm m)!\) yêu cầu m là số nguyên với \(-n \le m \le n\).
Giá trị mẫu hiển thị là gì? Ô kết quả nổi bật hiển thị x và \(P_n^m(x)\) tại dòng giữa của bảng (vị trí trung vị), giúp bạn nhanh chóng kiểm tra đường cong.
m = 0 cho kết quả gì? \(P_n^0(x)\) chính là đa thức Legendre thông thường \(P_n(x)\).
