Hàm hyperbol

Trong toán học, hàm hyperbol (Hán - Việt: song khúc) có những tính chất tương tự như các hàm lượng giác thông thường. Những hàm hyperbol cơ bản gồm sin hyperbol "sinh", và cosin hyperbol "cosh", hàm tang hyperbol "tanh" và những hàm dẫn ra từ chúng, tương ứng như các hàm dẫn xuất trong hàm lượng giác. Hàm hyperbol ngược là các hàm sin hyperbol diện tích "arsinh" (hay "asinh" hoặc "arcsinh").

Giống như các điểm (cos t, sin t) nằm trên đường tròn bán kính đơn vị, các điểm (cosh t, sinh t) nằm trên phần bên phải của hyperbol đều. Các hàm Hyperbol xuất hiện nhiều trong các nghiệm của các phương trình vi phân tuyến tính hay gặp, phương trình xác định hình dạng dây xích treo giữa 2 điểm, và phương trình Laplace trong hệ tọa độ Descartes. Ngoài ra chúng còn xuất hiện nhiều trong các vấn đề bao gồm lý thuyết điện từ, sự truyền nhiệt, thủy động lực học, và thuyết tương đối hẹp.

Hàm hyperbol nhận giá trị thực đối với các tham số thực được gọi là góc hyperbol. Trong giải tích phức, chúng chính là những hàm mũ hữu tỉ, hay là hàm phân hình (meromorphic function).

Các hàm hyperbol được hai nhà toán học Vincenzo Riccati và Johann Heinrich Lambert độc lập đưa ra vào những năm 1760. Riccati sử dụng ký hiệu Sc. và Cc. ([co]sinus circulare) để nói đến các hàm lượng giác Sh. và Ch. ([co]sinus hyperbolico) để nói đến các hàm hyperbol. Lambert là người đã đưa ra các ký hiệu được sử dụng như ngày nay.

Biểu thức của các hàm hyperbol

Công thức biểu diễn các hàm hyperbol:

 Sin hyperbol:

 Cos hyperbol:

 Tang hyperbol:

 Cotang hyperbol:

 Sec hyperbol:

 Cosec hyperbol:

Các hàm hyperbol có thể biểu diễn qua số phức:

 Sin hyperbol:

 Cos hyperbol:

 Tang hyperbol:

 Cotang hyperbol:

 Sec hyperbol:

 Cosec hyperbol:

với i là đơn vị ảo định nghĩa là i2 = −1.

Dạng phức trong các định nghĩa trên được dẫn ra từ công thức Euler.

Chú ý rằng, theo định nghĩa, sinh2 x có nghĩa là (sinh x)2, chứ không phải sinh(sinh x); và điều này tương tự cho các hàm hyperbol khác.

Mối quan hệ giữa các hàm hyperbol

Từ đó:

Theo quan hệ trên dễ thấy cosh x và sech x là các hàm chẵn; còn lại là các hàm lẻ.

Sin hyperbol và cos hyperbol thỏa mãn đẳng thức

tương tự như công thức lượng giác Pythagore: 
. 
Do vậy ta cũng có:

Tang hyperbol là nghiệm của bài toán giá trị biên phi tuyến:

Người ta đã chứng minh rằng diện tích giới hạn bởi cung cosh x luôn luôn bằng chiều dài của cung đó:

Cộng các đối số

đặc biệt

Và:

Công thức trừ

Và:

Nguồn tham khảo.

Công thức tính một nửa đối số

với sgn là hàm dấu.

Nếu x ≠ 0, thì

Hàm hyperbol ngược

Đạo hàm

Nguyên hàm
Xem thêm: Danh sách tích phân với hàm hyperbol

với C là hằng số tích phân.

Khai triển chuỗi Taylor
Ta có thể biểu diễn các hàm hyperbol bằng chuỗi Taylor:

Hàm sinh x biểu diễn theo chuỗi Taylor chỉ với số mũ lẻ của x. Do vậy nó là hàm lẻ, hay, −sinh x = sinh(−x), và sinh 0 = 0.

Hàm cosh x biểu diễn theo chuỗi Taylor chỉ với số mũ chẵn của x. Do vậy nó là hàm chẵn, hay, nó đối xứng qua trục y. Tổng của chuỗi sinh và cosh là biểu thức chuỗi vô hạn của hàm mũ.

 (chuỗi Laurent)

 (chuỗi Laurent)

với

 là số Bernoulli thứ n
 là số Euler thứ n

Liên hệ với hàm mũ
Từ định nghĩa của sinh và cosh hyperbol, ta có các đồng nhất thức sau:

và

Các biểu thức trên tương tự như các hàm sin và cosin, dựa trên công thức Euler, như là tổng của hai mũ lũy thừa.

Thêm vào đó,

Hàm hyperbol cho số phức
Vì hàm mũ được định nghĩa cho cả số phức, có thể mở rộng định nghĩa hàm hyperbol cho các đối số phức. Khi ấy các hàm sinh z và cosh z là những hàm chỉnh hình (Holomorphic function).

Các mối liên hệ giữa các hàm lượng giác thường được cho bởi công thức Euler và áp dụng cho các biến phức:

do đó:

Vì vậy các hàm hyperbol phức là những hàm tuần hoàn theo phần ảo, với chu kỳ  (và  cho các hàm tang và cotang hyperbol).

Tham khảo

Liên kết ngoài
Hyperbolic functions  on PlanetMath
Hyperbolic functions entry at MathWorld
GonioLab : Visualization of the unit circle, trigonometric and hyperbolic functions (Java Web Start)
Web-based calculator of hyperbolic functions

 
Hàm mũ
Hình học hyperbol
Hàm giải tích