Hàm Kummer M(a,b,z) là gì?
Hàm siêu bội hợp lưu loại một, ký hiệu \(M(a,b,z)\) hay \({}_1F_1(a;b;z)\), là một trong hai nghiệm độc lập của phương trình vi phân Kummer \(z\cdot y'' + (b - z)\cdot y' - a\cdot y = 0\). Hàm này xuất hiện khắp nơi trong vật lý và toán học ứng dụng — từ cơ học lượng tử (hàm sóng Coulomb theo bán kính), lý thuyết xác suất (phân phối chi bình phương phi tâm và các phân phối liên quan), bài toán dẫn nhiệt, cho đến cách biểu diễn các hàm Bessel. Công cụ này tính giá trị của hàm với các tham số thực \(a\), \(b\) và đối số thực \(z\). Đây là một công cụ toán học thuần túy, không gắn với khu vực hay đơn vị nào.
Cách sử dụng
Nhập tham số thứ nhất \(a\), tham số thứ hai \(b\) và đối số \(z\), sau đó đọc kết quả \(M(a,b,z)\). Lưu ý giá trị \(b\) không được bằng 0 hoặc là số nguyên âm, vì khi đó mẫu số của chuỗi sẽ triệt tiêu; công cụ sẽ báo lỗi với những giá trị như vậy. Nếu \(a\) là số nguyên không dương thì chuỗi sẽ dừng lại và \(M\) trở thành một đa thức theo \(z\) — đây là kết quả đúng chứ không phải lỗi.
Giải thích công thức
Chuỗi tính tổng $$M\!\left(a,\, b,\, z\right) = \sum_{n=0}^{\infty} \frac{(a)_n}{(b)_n}\,\frac{z^{\,n}}{n!}$$ trong đó ký hiệu Pochhammer \((x)_n = x(x+1)\cdots(x+n-1)\). Thay vì tính riêng giai thừa và tích lũy tiến, công cụ xây dựng mỗi số hạng từ số hạng trước theo công thức $$t_{n+1} = t_n \cdot \frac{a+n}{b+n} \cdot \frac{z}{n+1}$$ bắt đầu từ \(t_0 = 1\). Quá trình cộng dồn dừng lại khi một số hạng mới trở nên không đáng kể so với tổng đang tính (khoảng \(10^{-17}\)) hoặc khi đạt tới giới hạn an toàn về số vòng lặp.
Ví dụ minh họa
Với \(a = 2\), \(b = 3\), \(z = 0{,}5\): các số hạng lần lượt là \(1\); \(0{,}33333\); \(0{,}0625\); \(0{,}0083333\); \(0{,}00086806\); \(0{,}000074405\); … và cộng lại cho $$M(2,3,0.5) \approx 1{,}4051145$$
Câu hỏi thường gặp
M(a,b,0) bằng bao nhiêu? Luôn luôn đúng bằng 1 với mọi \(a\) và \(b\), vì mọi số hạng sau số hạng đầu tiên đều chứa thừa số \(z\).
Vì sao b bị giới hạn? Khi \(b\) bằng 0 hoặc là số nguyên âm, mẫu số Pochhammer \((b)_n\) sẽ bằng 0, khiến hàm số không xác định tại đó.
Kết quả có chính xác khi z lớn không? Chuỗi hội tụ với mọi \(z\) hữu hạn, nhưng khi \(z\) dương lớn sẽ xảy ra hiện tượng khử lẫn nhau làm giảm độ chính xác của số thực dấu phẩy động kép; nên giữ \(|z|\) ở mức vừa phải (khoảng dưới 50) để có kết quả đáng tin cậy.
