Hàm Whittaker M_{k,m}(z) là gì?
Hàm Whittaker loại một, ký hiệu \(M_{k,m}(z)\), là một hàm đặc biệt nghiệm đúng phương trình vi phân Whittaker: $$y'' + \left( \frac{1}{4} - \frac{k}{z} + \frac{m^2 - \frac{1}{4}}{z^2} \right) y = 0.$$ Nghiệm tổng quát của phương trình này kết hợp \(M_{k,m}(z)\) với hàm Whittaker loại hai \(W_{k,m}(z)\). Công cụ này chỉ trả về \(M_{k,m}(z)\) — nghiệm chính quy được dựng từ hàm siêu bội hợp lưu của Kummer. Hàm này xuất hiện rộng rãi trong vật lý toán, chẳng hạn ở các hàm sóng Coulomb theo bán kính và các bài toán hình trụ parabol. Đây là toán học thuần túy nên áp dụng phổ quát, không kèm theo bất kỳ giả định nào gắn với một khu vực cụ thể.
Cách sử dụng máy tính
Bạn nhập ba số thực: hai tham số \(k\) và \(m\), cùng đối số \(z\). Hãy dùng \(z > 0\) để \(z^{m+1/2}\) cho kết quả thực khi \(m\) không nguyên. Tránh các giá trị \(m\) làm cho \(2m+1\) trở thành số nguyên không dương (\(m = 0, -1/2, -1, \ldots\)), vì khi đó mẫu số của chuỗi sẽ có điểm kỳ dị. Bộ chọn độ chính xác chỉ quyết định số chữ số được hiển thị; phép tính bên trong dùng độ chính xác kép (double) và cho kết quả tin cậy với các giá trị đầu vào ở mức vừa phải (khoảng \(|z|\) lên đến chừng 30).
Giải thích công thức
Đặt \(a = m - k + \frac{1}{2}\) và \(b = 2m + 1\), ta có $$M = e^{-z/2} \cdot z^{m+\frac{1}{2}} \cdot {}_1F_1(a; b; z).$$ Chuỗi siêu bội hợp lưu \({}_1F_1\) được cộng dần từng số hạng theo công thức truy hồi $$\text{term}_n = \text{term}_{n-1} \cdot \frac{a + n - 1}{b + n - 1} \cdot \frac{z}{n},$$ bắt đầu từ \(\text{term}_0 = 1\). Các số hạng được cộng vào cho đến khi nhỏ không đáng kể so với tổng đang tích lũy, đồng thời có giới hạn để tránh vòng lặp vô hạn.
Ví dụ minh họa
Lấy \(k = 2\), \(m = 3\), \(z = 0.5\). Khi đó \(a = 3 - 2 + 0.5 = 1.5\) và \(b = 7\). Chuỗi \({}_1F_1(1.5; 7; 0.5)\) hội tụ về khoảng \(1.1160881\). Hệ số phía trước là \(e^{-0.25} = 0.7788008\) nhân với \(0.5^{3.5} = 0.0883883\), cho ra \(0.0688384\). Nhân với giá trị của chuỗi, ta được \(M_{2,3}(0.5) \approx 0.0768344\).
Câu hỏi thường gặp
Vì sao z phải dương? Khi \(m + \frac{1}{2}\) không nguyên, thừa số \(z^{m+1/2}\) trở thành đa trị hoặc phức nếu \(z \le 0\), nên muốn có kết quả thực thì cần \(z > 0\). Tại \(z = 0\), hàm bằng 0 khi \(m + \frac{1}{2} > 0\).
Nếu 2m+1 là số nguyên không dương thì sao? Khi đó ký hiệu Pochhammer ở mẫu số bằng 0, nên chuỗi không xác định; máy tính trả về 0 và bạn nên đổi giá trị \(m\).
Chuỗi có luôn hội tụ không? Có, \({}_1F_1\) là hàm nguyên (entire) theo \(z\), tuy nhiên nó hội tụ chậm khi \(|z|\) lớn và có thể mất độ chính xác khi chỉ dùng độ chính xác kép thông thường.
