Công cụ này làm gì
Công cụ này lập bảng giá trị của đa thức Laguerre liên kết (tổng quát) \(L_{n}^{(\alpha)}(x)\) trên một dãy các giá trị x. Bạn chỉ cần nhập bậc n, tham số α, giá trị x ban đầu, bước nhảy và số dòng muốn tạo. Công cụ sẽ trả về giá trị của đa thức tại từng điểm x. Đây hoàn toàn là một bài toán thuần túy — áp dụng phổ quát, không phụ thuộc vào bất kỳ quốc gia hay khu vực nào.
Cách sử dụng
Nhập n (số nguyên không âm), α (số thực bất kỳ; trường hợp trực giao chuẩn dùng α > -1), giá trị x ban đầu, gia số (bước nhảy) và số dòng. Các giá trị x được sinh ra theo công thức \(x_i = \text{startX} + i \times \text{stepX}\) với \(i = 0, 1, \dots, \text{count}-1\), và mỗi giá trị \(L_{n}^{(\alpha)}(x_i)\) sẽ được tính và liệt kê ra bảng.
Giải thích công thức
Dạng tường minh là một tổng hữu hạn:
$$L_{n}^{(\alpha)}(x) = \sum_{k=0}^{n} (-1)^{k} \binom{n+\alpha}{n-k} \frac{x^{k}}{k!}$$trong đó \(\binom{n+\alpha}{n-k}\) là hệ số nhị thức tổng quát. Tuy nhiên, để ổn định về mặt số học, công cụ sử dụng công thức truy hồi ba số hạng: \(L_{0} = 1\), \(L_{1} = 1 + \alpha - x\), và
$$(k+1)L_{k+1} = (2k+1+\alpha-x)L_{k} - (k+\alpha)L_{k-1}$$Cách này tránh được các giai thừa khổng lồ và hiện tượng mất chính xác do triệt tiêu khi n từ trung bình đến lớn.
Ví dụ minh họa
Với các giá trị mặc định \(n = 3\), \(\alpha = 1\), đa thức tường minh là
$$L_{3}^{1}(x) = 4 - 6x + 2x^{2} - \tfrac{1}{6}x^{3}$$Tại \(x = 0\), giá trị là 4. Tại \(x = 0{,}1\), ta có \(4 - 0{,}6 + 0{,}02 - 0{,}0001667 \approx 3{,}419833\). Tại \(x = 1\), giá trị bằng \(4 - 6 + 2 - 0{,}166667 = -0{,}166667\).
Đa thức Laguerre liên kết lần đầu tiên
Các đa thức Laguerre liên kết (tổng quát) \(L_n^{(\alpha)}(x)\) là các đa thức bậc \(n\) theo \(x\) có các hệ số phụ thuộc vào tham số \(\alpha\). Dạng đóng là
$$L_n^{(\alpha)}(x)=\sum_{k=0}^{n}(-1)^k\binom{n+\alpha}{n-k}\frac{x^k}{k!}.$$Năm đa thức đầu tiên, được viết dưới dạng \(\alpha\) tổng quát, là:
| \(n\) | \(L_n^{(\alpha)}(x)\) |
|---|---|
| 0 | \(1\) |
| 1 | \(-x+(\alpha+1)\) |
| 2 | \(\dfrac{x^2}{2}-(\alpha+2)x+\dfrac{(\alpha+1)(\alpha+2)}{2}\) |
| 3 | \(-\dfrac{x^3}{6}+\dfrac{(\alpha+3)x^2}{2}-\dfrac{(\alpha+2)(\alpha+3)x}{2}+\dfrac{(\alpha+1)(\alpha+2)(\alpha+3)}{6}\) |
| 4 | \(\dfrac{x^4}{24}-\dfrac{(\alpha+4)x^3}{6}+\dfrac{(\alpha+3)(\alpha+4)x^2}{4}-\dfrac{(\alpha+2)(\alpha+3)(\alpha+4)x}{6}+\dfrac{(\alpha+1)(\alpha+2)(\alpha+3)(\alpha+4)}{24}\) |
Trường hợp đặc biệt \(\alpha=0\). Đặt \(\alpha=0\) sẽ thu được các đa thức Laguerre thông thường \(L_n(x)=L_n^{(0)}(x)\):
| \(n\) | \(L_n(x)\) |
|---|---|
| 0 | \(1\) |
| 1 | \(1-x\) |
| 2 | \(1-2x+\tfrac12 x^2\) |
| 3 | \(1-3x+\tfrac32 x^2-\tfrac16 x^3\) |
| 4 | \(1-4x+3x^2-\tfrac23 x^3+\tfrac{1}{24}x^4\) |
Hệ số hàng đầu luôn là \(\dfrac{(-1)^n}{n!}\), độc lập với \(\alpha\).
Các thuật ngữ và biến chính
- Bậc \(n\)
- Một số nguyên không âm cho biết bậc của đa thức; \(L_n^{(\alpha)}(x)\) có chính xác \(n\) căn. Trong máy tính, đây là trường bậc.
- Tham số \(\alpha\)
- Một số thực (thường \(\alpha>-1\)) dịch chuyển các hệ số nhị thức và trọng số trực giao. Trường alpha. Với \(\alpha=0\), các đa thức rút gọn thành các đa thức Laguerre thông thường.
- Đối số \(x\)
- Điểm mà tại đó đa thức được tính. Bảng quét \(x_i=\text{startX}+i\cdot\text{stepX}\). Miền tự nhiên cho tính trực giao là \((0,\infty)\).
- Hệ số nhị thức tổng quát
- Đối với chỉ số trên là số thực, \(\binom{n+\alpha}{n-k}=\dfrac{\Gamma(n+\alpha+1)}{\Gamma(k+\alpha+1)\,(n-k)!}\), mở rộng \(\binom{m}{j}=m!/(j!(m-j)!)\) sang \(\alpha\) không nguyên thông qua hàm Gamma.
- Quan hệ tái phát ba số hạng
- Cách ổn định để sinh các đa thức: \((k+1)L_{k+1}^{(\alpha)}=(2k+1+\alpha-x)L_k^{(\alpha)}-(k+\alpha)L_{k-1}^{(\alpha)}\), bắt đầu từ \(L_0^{(\alpha)}=1\) và \(L_1^{(\alpha)}=1+\alpha-x\).
- Tính trực giao trên \((0,\infty)\)
- Các đa thức là trực giao lẫn nhau: \(\displaystyle\int_0^\infty L_n^{(\alpha)}(x)L_m^{(\alpha)}(x)\,w(x)\,dx=\frac{\Gamma(n+\alpha+1)}{n!}\delta_{nm}\).
- Hàm trọng số \(w(x)=x^{\alpha}e^{-x}\)
- Thừa số mà theo đó tính trực giao được giữ; với \(\alpha=0\), nó là trọng số hàm mũ đơn giản \(e^{-x}\). Hội tụ của tích phân yêu cầu \(\alpha>-1\).
Giải thích Bảng
Đọc một bảng đã tính toán của \(L_n^{(\alpha)}(x)\) trở nên dễ dàng hơn với những sự kiện sau:
- Số lượng căn thực. Đối với \(\alpha>-1\), \(L_n^{(\alpha)}(x)\) có chính xác \(n\) căn thực đơn, tất cả đều nằm trong khoảng mở \((0,\infty)\). Nếu cột bảng của bạn vượt qua không \(n\) lần, bạn đã xác định vị trí tất cả chúng.
- Thay đổi dấu. Vì tất cả các căn đều đơn, đa thức thay đổi dấu tại mỗi căn. Giữa hai căn liên tiếp, các giá trị giữ một dấu không đổi, do đó một lần lật dấu giữa các hàng liền kề sẽ xác định một căn — hữu ích như một khoảng bắt đầu cho trình tìm căn phân chia đôi hoặc Newton.
- Giá trị tại gốc. Mỗi đa thức Laguerre liên kết thỏa mãn \(L_n^{(\alpha)}(0)=\binom{n+\alpha}{n}=\dfrac{\Gamma(n+\alpha+1)}{n!\,\Gamma(\alpha+1)}\). Ví dụ, với \(n=4,\ \alpha=0\), hàng đầu tiên tại \(x=0\) là 1, và với \(n=4,\ \alpha=2\), nó là \(\binom{6}{4}=\) 15.
- Cơ học lượng tử. Phần bán kính của hàm sóng nguyên tử hiđrô được xây dựng từ \(L_{n-\ell-1}^{(2\ell+1)}\!\left(2r/(na_0)\right)\); các nút của đa thức tương ứng với các nút bán kính của quỹ đạo.
- Tích phân Gauss–Laguerre. Các căn được liệt kê trong bảng chính xác là những điểm được sử dụng để xấp xỉ \(\int_0^\infty f(x)\,x^{\alpha}e^{-x}\,dx\), với các trọng số được rút ra từ các đa thức tương tự.
Đây là thông tin tham khảo toán học tổng quát; hãy xác minh bất kỳ giá trị nào bạn dựa vào trong một ứng dụng quan trọng.
Câu hỏi thường gặp
Nếu n = 0 thì sao? \(L_{0}^{(\alpha)}(x) = 1\) với mọi x và mọi α.
α có thể âm hoặc không nguyên không? Có — cả công thức tổng lẫn công thức truy hồi đều áp dụng được với mọi số thực α. Tính trực giao cổ điển trên khoảng \((0, \infty)\) đòi hỏi \(\alpha > -1\).
Bước nhảy có thể bằng 0 hoặc âm không? Có. Bước nhảy âm sẽ làm x giảm dần; bước nhảy bằng 0 sẽ lặp lại cùng một giá trị x và tạo ra một bảng suy biến (x không đổi).
