פונקציות היפרבוליות

250px
במתמטיקה, פונקציות היפרבוליות אנלוגיות לפונקציות הטריגונומטריות הרגילות: בעוד שהנקודות <math>\ \left(\cos\left(t\right),\sin\left(t\right)\right)</math> יוצרות יחדיו מעגל, הנקודות <math>\ \left(\cosh\left(t\right),\sinh\left(t\right)\right)</math> מגדירות את החלק הימני של ההיפרבולה <math>\ x^2-y^2=1</math>, ומכאן שמן. הפרמטר <math>\ t</math> הוא זווית היפרבולית המייצגת את כפליים השטח בין ציר ה־X, ההיפרבולה, והקו הישר שמחבר את ראשית הצירים לנקודה על העקום לעיל, כפי שמתואר באיור משמאל.

==הגדרת הפונקציות ההיפרבוליות==
גרפי הפונקציות ההיפרבוליות נראות כך:
<span style="color:#b30000;">סינוס היפרבולי (sinh)</span>, <span style="color:#00b300;">קוסינוס היפרבולי (cosh)</span> ו<span style="color:#0000b3;">טנגנס היפרבולי (tanh)</span>
<span style="color:#b30000;">קוסקאנט היפרבולי (csch)</span>, <span style="color:#00b300;">סקאנט היפרבולי (sech)</span> ו<span style="color:#0000b3;">קוטנגנס היפרבולי (</span><span style="color:#0000b3;">coth</span><span style="color:#0000b3;">)</span>

בהינתן <math>\ i^2 = -1</math> (ראו מספרים מרוכבים) הפונקציות ההיפרבוליות הן:

סינוס היפרבולי: <math>\sinh(x) = \frac{e^x - e^{-x}}{2} = -i \sin(i x)</math>

קוסינוס היפרבולי: <math>\cosh(x) = \frac{e^{x} + e^{-x}}{2} = \cos(i x) </math>

טנגנס היפרבולי: <math>\tanh(x) = \frac{\sinh(x)}{\cosh(x)} = \frac {e^x - e^{-x}} {e^x + e^{-x}} = -i \tan(i x)</math>

קוטנגנס היפרבולי: <math>\coth(x) = \frac{\cosh(x)}{\sinh(x)} = \frac {e^x + e^{-x}} {e^x - e^{-x}} = i \cot(i x)</math>

סקאנט היפרבולי: <math>\operatorname{sech}(x) = \frac{1}{\cosh(x)} = \frac {2} {e^x + e^{-x}} = \sec(i x)</math>

קוסקאנט היפרבולי: <math>\operatorname{csch}(x) = \frac{1}{\sinh(x)} = \frac {2} {e^x - e^{-x}} = i \csc(i x)</math>

==הגדרה לפי טורים==
ניתן להביע את הפונקציות ההיפרבוליות כטורים:
:<math>\sinh x = x + \frac {x^3} {3!} + \frac {x^5} {5!} + \frac {x^7} {7!} +\cdots = \sum_{n=0}^\infty \frac{x^{2n+1}}{(2n+1)!}</math>

:<math>\cosh x = 1 + \frac {x^2} {2!} + \frac {x^4} {4!} + \frac {x^6} {6!} + \cdots = \sum_{n=0}^\infty \frac{x^{2n}}{(2n)!}</math>

:<math>\tanh x = x - \frac {x^3} {3} + \frac {2x^5} {15} - \frac {17x^7} {315} + \cdots = \sum_{n=1}^\infty \frac{(-1)^{n-1}2^{2n}(2^{2n}-1)B_nx^{2n-1}}{(2n)!}, \left |x \right | < \frac {\pi} {2} </math>

:<math>\coth x = \frac {1} {x} + \frac {x} {3} - \frac {x^3} {45} + \frac {2x^5} {945} + \cdots = \frac {1} {x} + \sum_{n=1}^\infty \frac{(-1)^{n-1}2^{2n} B_n x^{2n-1}} {(2n)!}, 0 < \left |x \right | < \pi </math>

:<math>\operatorname {sech} x = 1 - \frac {x^2} {2} + \frac {5x^4} {24} - \frac {61x^6} {720} + \cdots = 1 + \sum_{n=1}^\infty \frac{(-1)^n E_n x^{2n}}{(2n)!}, \left |x \right | < \frac {\pi} {2} </math>

:<math>\operatorname {csch}\, x = \frac {1} {x} - \frac {x} {6} +\frac {7x^3} {360} -\frac {31x^5} {15120} + \cdots = \frac {1} {x} + \sum_{n=1}^\infty \frac{ 2 (1-2^{2n-1}) B_{2n} x^{2n-1}}{(2n)!}, 0 < \left |x \right | < \pi </math>

כאשר:

:<math>\ B_n</math>, הוא מספר ברנולי ה-n־י
:<math>\ E_n</math>, הוא מספר אוילר ה-n־י.

==קשרים לפונקציות טריגונומטריות==
מימין העקום הפרמטרי <math>\ (\sin(t),\cos(t))</math> ומשמאל העקום <math>\ (\sinh(t),\cosh(t))</math>, שניהם בטווח: <math>\ -\pi<t<\pi</math>. כפי שניתן לראות, העקומה מימין מתארת מעגל ואילו העקומה משמאל מתארת [[היפרבולה.]]
כשם שהנקודות <math>(\cos t, \sin t)</math> מגדירות מעגל, הנקודות <math>(\cosh t, \sinh t)</math> מגדירות את החלק הימני של ההיפרבולה <math>x^2-y^2=1</math> (הקביעה מתבססת על הזהות <math>\cosh^2(t)-\sinh^2(t)=1</math> ועל כך ש- <math>\cosh(t)>0 </math> לכל <math>t</math>).
הפרמטר <math>t</math> איננו זווית מעגלית, אלא זווית היפרבולית שמייצגת את פעמיים השטח בין ציר ה-x, ההיפרבולה, והקו הישר שמחבר את ראשית הצירים לנקודה על ההיפרבולה <math>(\cosh t, \sinh t)</math>.

למרות זאת, הפונקציות ההיפרבוליות אינן פונקציות מחזוריות, בניגוד לפונקציות הטריגונומטריות הרגילות, שכן בהצגתן המעריכית של הפונקציות הטריגונומטריות הרגילות ישנו חלק מעריכי מרוכב אשר תורם למחזוריות הפונקציה, אך נעדר מן הפונקציות ההיפרבוליות.

ההצגות המעריכיות של הפונקציות ההיפרבוליות והרגילות הן דומות, פרט, כאמור, לקיומו של החלק המרוכב בפונקציות הטריגונומטריות הרגילות. כך, למשל, פונקציית הסינוס מוגדרת כך: <math>\ \sin(x)= \frac{e^{ix} - e^{-ix}}{2i} </math> בעוד מקבילתה ההיפרבולית מוגדרת כך, כאמור:

<math>\sinh(x) = \frac{e^x - e^{-x}}{2}</math>.
בדומה לפונקציה <math>\ \cos x</math>, הפונקציה <math>\ \cosh x</math> היא פונקציה זוגית (סימטרית סביב ציר Y)ו־cosh 0=1. באופן דומה, הן הפונקציה <math>\ \sin x</math> והן הפונקציה <math>\ \sinh x</math> הן פונקציות אי זוגית (סימטרית סביב ראשית הצירים) ו <math>\ \sinh 0=0</math>. הפונקציות ההיפרבוליות מקיימות זהויות רבות, כולן דומות לזהויות טריגונומטריות. למעשה, חוק אוסבורן מראה שניתן להמיר כל זהות טריגונומטרית לזהות היפרבולית, על ידי החלפת סינוס בסינוס היפרבולי, קוסינוס בקוסינוס היפרבולי, והפיכת הסימן של כל מונום שיש בו מכפלה של שני סינוסים היפרבוליים. לדוגמה:
:<math>\cosh^2(x) = \frac{1+\cosh(2x)}{2} \Rightarrow \cos^2(x) = {1 + \cos(2x) \over 2}</math>

:<math>\sinh^2(x) = \frac{\cosh(2x)-1}{2} \Rightarrow \sin^2(x) = {1 - \cos(2x) \over 2}</math>

:<math>\sinh(x+y) = \sinh(x) \cosh(y) + \cosh(x) \sinh(y) \,</math>
:<math>\Rightarrow\sin(x + y) = \sin(x) \cos(y) + \cos(x) \sin(y)\,</math>

:<math> \cosh(x+y) = \cosh(x) \cosh(y) + \sinh(x) \sinh(y) \,</math>
:<math>\Rightarrow\cos(x + y) = \cos(x) \cos(y) - \sin(x) \sin(y)\,</math>

==זהויות נוספות==
<div style="text-align: center;">
<math>\sinh(x - y)\ = \sinh(x)\cosh(y)\ - \cosh(x)\sinh(y)\,</math>

<math>\cosh(x - y)\ = \cosh(x)\cosh(y)\ - \sinh(x)\sinh(y)\,</math>

<math>\tanh(x + y) = \frac{\tanh(x) +\tanh(y)}{1+\tanh(x)\tanh(y)} \,</math>

<math>\tanh(x - y) = \frac{\tanh(x) -\tanh(y)}{1-\tanh(x)\tanh(y)} \,</math>
</div>

==הפונקציות ההפוכות לפונקציות ההיפרבוליות==
arctanh(x)
השמות של פונקציות אלו מתחילים בתחילית <math>\mathrm{ar}</math> (קיצור של area/שטח) או <math>\mathrm{a}</math>.
:<math>\operatorname{arsinh}(x) = \ln(x + \sqrt{x^2 + 1})</math>
:<math>\operatorname{arcosh}(x) = \ln(x \pm \sqrt{x^2 - 1})</math>
:<math>\operatorname{artanh}(x) = \ln\left(\frac{\sqrt{1 - x^2}}{1-x}\right) \begin{matrix} =\frac{1}{2} \end{matrix} \ln\left(\frac{1+x}{1-x}\right)</math>
:<math>\operatorname{arcoth}(x) = \ln\left(\frac{\sqrt{x^2 - 1}}{x-1}\right) \begin{matrix} = \frac{1}{2} \end{matrix} \ln\left(\frac{x+1}{x-1}\right)</math>
:<math>\operatorname{arsech}(x) = \ln\left(\frac{1 \pm \sqrt{1 - x^2}}{x}\right)</math>
:<math>\operatorname{arcsch}(x) = \ln\left(\frac{1 \pm \sqrt{1 + x^2}}{x}\right)</math>

==הגדרת הפונקציות ההפוכות לפונקציות ההיפרבוליות כטורים==
ניתן להביע את הפונקציות ההפוכות לפונקציות ההיפרבוליות כטורים:

:<math>\operatorname{arsinh} (x) = x - \left(\frac {1} {2} \right) \frac {x^3} {3} + \left(\frac {1 \cdot 3} {2 \cdot 4} \right) \frac {x^5} {5} - \left(\frac {1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6} \right) \frac {x^7} {7} +\cdots = \sum_{n=0}^\infty \left(\frac {(-1)^n(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{2n+1}} {(2n+1)}, \left| x \right| < 1
</math>

:<math>\operatorname{arcosh} (x) = \ln 2 - (\left( \frac {1} {2} \right) \frac {x^{-2}} {2} + \left(\frac {1 \cdot 3} {2 \cdot 4} \right) \frac {x^{-4}} {4} + \left(\frac {1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6} \right) \frac {x^{-6}} {6} +\cdots ) = \ln 2 - \sum_{n=1}^\infty \left(\frac {(-1)^n(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{-2n}} {(2n)}, x > 1
</math>

:<math>\operatorname{artanh} (x) = x + \frac {x^3} {3} + \frac {x^5} {5} + \frac {x^7} {7} +\cdots = \sum_{n=0}^\infty \frac {x^{2n+1}} {(2n+1)}, \left| x \right| < 1 </math>

:<math>\operatorname{arcsch} (x) = \operatorname{arsinh} (x^{-1}) = x^{-1} - \left(\frac {1} {2} \right) \frac {x^{-3}} {3} + \left(\frac {1 \cdot 3} {2 \cdot 4} \right) \frac {x^{-5}} {5} - \left(\frac {1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6} \right) \frac {x^{-7}} {7} +\cdots =\sum_{n=0}^\infty \left(\frac {(-1)^n(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{-(2n+1)}} {(2n+1)}, \left| x \right| < 1 </math>

:<math>\operatorname{arsech} (x) = \operatorname{arcosh} (x^{-1}) = \ln 2 - (\left( \frac {1} {2} \right) \frac {x^{2}} {2} + \left(\frac {1 \cdot 3} {2 \cdot 4} \right) \frac {x^{4}} {4} + \left(\frac {1 \cdot 3 \cdot 5} {2 \cdot 4 \cdot 6} \right) \frac {x^{6}} {6} +\cdots ) = \ln 2 - \sum_{n=1}^\infty \left(\frac {(-1)^n(2n)!} {2^{2n}(n!)^2} \right) \frac {x^{2n}} {(2n)}, 0 < x \le 1 </math>

:<math>\operatorname{arcoth} (x) = \operatorname{artanh} (x^{-1}) = x^{-1} + \frac {x^{-3}} {3} + \frac {x^{-5}} {5} + \frac {x^{-7}} {7} +\cdots = \sum_{n=0}^\infty \frac {x^{-(2n+1)}} {(2n+1)}, \left| x \right| > 1 </math>

==פונקציות היפרבוליות עבור מספרים מרוכבים==
פונקציות היפרבוליות יכולות לקבל בתור ארגומנט מספר מרוכב. ניתן, בעזרת נוסחת אוילר (<math>e^{ix} = \cos x + i\sin x</math>)
להגיע לקשרים הבאים בין הפונקציות ההיפרבוליות לפונקציות הטריגונומטריות עבור ארגומנטים מרוכבים:
:<math>\cosh(ix) = \frac{(e^{ix} + e^{-ix})}{2} = \cos(x)</math>

:<math>\sinh(ix) = \frac{(e^{ix} - e^{-ix})}{2} = i \sin(x)</math>

:<math>\tanh(ix) = i \tan(x)</math>

:<math>\sinh(x) = -i \sin(ix)</math>

:<math>\cosh(x) = \cos(ix)</math>

:<math>\tanh(x) = -i \tan(ix)</math>

:<math>\operatorname{arsinh}(x) = i \arcsin(-ix)</math>

:<math>\operatorname{arcosh}(x) = -i \arccos(x)</math>

:<math>\operatorname{artanh}(x) = i \arctan(-ix)</math>

במשוואות הבאות, <math>z=x+iy \in \mathbb{C}</math>:
:<math>\sin(z) = \sin(x) \cosh(y) +i \cos(x) \sinh(y)</math>

:<math>\cos(z) = \cos(x) \cosh(y) -i \sin(x) \sinh(y)</math>

:<math>\sinh(z) = \sinh(x) \cos(y) + i \cosh(x) \sin(y)</math>

:<math>\cosh(z) = \cosh(x) \cos(y) +i \sinh(x) \sin(y)</math>

:<math>|\sin(z)|^2 = \sin^2(x) + \sinh^2(y)</math>

:<math>|\cos(z)|^2 = \cos^2(x) + \sinh^2(y)</math>

:<math>|\sinh^2(z)| = \sinh^2(x) + \sin^2(y)</math>

:<math>|\cosh^2(z)| = \sinh^2(x) + \cos^2(y)</math>

==שימושים בפונקציות היפרבוליות==
הפונקציות ההיפרבוליות מופיעות בבעיות רבות בתחומי המתמטיקה והפיזיקה, בהן מעורב אינטגרל המכיל את הביטוי :<math>\frac {1} {\sqrt{x^2 + 1}}</math> (זאת בעוד שהפונקציות הטריגונומטריות מופיעות בבעיות, בהן מעורב אינטגרל המכיל את הביטוי :<math>\frac {1} {\sqrt{1- x^2}}</math>).

דוגמות:
* קוסינוס היפרבולי הוא הפונקציה המתארת את צורתו של כבל תלוי בין שני עמודים (עקומת קו השרשרת).
* טנגנס היפרבולי הוא הפונקציה המתארת את מהירותו של עצם הנופל נפילה חופשית כשהוא נתון להשפעתם של כוח הכובד ושל כוח התנגדות האוויר.
* סינוס היפרבולי מופיע בביטוי לפוטנציאל הכבידתי של גליל, ובחישוב גבול רוש (Roche limit).
* טנגנס היפרבולי מופיע בחישובי מהירות בתורת היחסות הפרטית.
* סינוס, קוסינוס וטנגנס היפרבוליים מופיעים בחישובי תורת היחסות הכללית.
* הפונקציות ההיפרבוליות מופיעות במשפטים בגאומטריה היפרבולית.
* מבנה קשת השער מתוכנן על בסיס של פונקציית קוסינוס היפרבולי.

==נגזרות של פונקציות היפרבוליות==

:<math>{d \over dx} \sinh x = \cosh x = \frac{e^x + e^{-x}}{2}</math>

:<math>{d \over dx} \cosh x = \sinh x = \frac{e^x - e^{-x}}{2}</math>

:<math>{d \over dx} \tanh x = \operatorname{sech}^2\,x</math>

:<math>{d \over dx}\,\operatorname{sech}\,x = - \tanh x\,\operatorname{sech}\,x</math>

:<math>{d \over dx}\,\operatorname{coth}\,x = -\,\operatorname{csch}^2\,x</math>

:<math>{d \over dx}\,\operatorname{csch}\,x = -\,\operatorname{coth}\,x\,\operatorname{csch}\,x</math>

:<math>{d \over dx}\,\operatorname{arsinh}\,x = { 1 \over \sqrt{x^2 + 1}}</math>

:<math>{d \over dx}\,\operatorname{arcosh}\,x = { 1 \over \sqrt{x^2 - 1}}</math>

:<math>{d \over dx}\,\operatorname{artanh}\,x = { 1 \over 1 - x^2}</math>

:<math>{d \over dx}\,\operatorname{arsech}\,x = -{ 1 \over x\sqrt{1 - x^2}}</math>

:<math>{d \over dx}\,\operatorname{arcoth}\,x = { 1 \over 1 - x^2}</math>

:<math>{d \over dx}\,\operatorname{arcsch}\,x = -{1 \over x \sqrt{1 + x^2}}</math>

==ראו גם==
* נגזרות של פונקציות היפרבוליות
* קו השרשרת
* פונקציות היפרבוליות הפוכות

==קישורים חיצוניים==

* 
* 
* 

קטגוריה:טריגונומטריה
היפרבוליות
קטגוריה:היפרבולה