Hàm Langevin là gì?
Hàm Langevin được định nghĩa là \(L(x) = \coth(x) - 1/x\), trong đó \(\coth(x)\) là cotang hyperbolic. Hàm này lần đầu xuất hiện trong lý thuyết thuận từ cổ điển của Paul Langevin, dùng để mô tả độ từ hóa trung bình của một tập hợp các lưỡng cực từ quay tự do dưới tác dụng của từ trường ngoài. Cũng chính hàm này xuất hiện trong lý thuyết phân cực điện môi Langevin-Debye và trong cơ học thống kê của các chuỗi polymer nối khớp tự do, nơi nó liên hệ độ giãn của chuỗi với lực kéo tác dụng. Về mặt toán học, nó chính là giới hạn của hàm Brillouin khi \(J\) tiến tới vô cùng.
Cách dùng máy tính này
Bạn chỉ cần nhập một số thực bất kỳ cho đối số \(x\) — dương, âm hay bằng 0 — và máy tính sẽ trả về giá trị \(L(x)\). Đây là hàm lẻ, nên \(L(-x) = -L(x)\), và kết quả luôn nằm hoàn toàn trong khoảng từ \(-1\) đến \(1\). Khi \(x\) càng lớn, giá trị càng tiệm cận về +1 (hoặc \(-1\) với \(x\) âm lớn), phản ánh trạng thái các lưỡng cực sắp xếp hoàn toàn theo từ trường.
Giải thích công thức
$$L(x) = \coth(x) - \frac{1}{x}, \quad \coth(x) = \frac{\cosh(x)}{\sinh(x)} = \frac{e^x + e^{-x}}{e^x - e^{-x}}.$$ Tại \(x = 0\), cả hai số hạng đều phân kỳ, nhưng hiệu của chúng có một điểm kỳ dị khử được bằng 0. Vì việc trừ trực tiếp hai số rất lớn ở gần 0 sẽ gây mất chính xác nghiêm trọng (catastrophic cancellation), công cụ này chuyển sang dùng khai triển Taylor \(L(x) \approx x/3 - x^3/45 + 2x^5/945\) khi \(|x|\) rất nhỏ, cho ra độ dốc nổi tiếng bằng \(1/3\) tại gốc tọa độ.
Ví dụ minh họa
Với \(x = 1\): \(\cosh(1) = 1.5430806348\) và \(\sinh(1) = 1.1752011936\), nên \(\coth(1) = 1.3130352855\). Do đó $$L(1) = 1.3130352855 - 1 = 0.3130352855.$$ Với đối số nhỏ \(x = 0.1\), khai triển chuỗi cho \(0.1/3 - 0.001/45 \approx 0.0333111\), khớp với kết quả tính trực tiếp.
Câu hỏi thường gặp
Vì sao \(L(0) = 0\)? Cả \(\coth(x)\) lẫn \(1/x\) đều tiến ra vô cùng tại \(x = 0\), nhưng chúng triệt tiêu lẫn nhau; giới hạn của hiệu đúng bằng 0, và hàm tăng tuyến tính với độ dốc \(1/3\).
Miền giá trị của \(L(x)\) là gì? Hàm Langevin tăng đơn điệu với miền giá trị \((-1, 1)\); nó tiến gần nhưng không bao giờ chạm tới các tiệm cận \(\pm 1\).
Hàm này liên hệ với hàm Brillouin thế nào? Hàm Brillouin \(B_J(x)\) suy biến thành hàm Langevin trong giới hạn \(J\) tiến tới vô cùng — tức trường hợp spin liên tục cổ điển.
