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

קובץ:Hyperbolic functions.svg

במתמטיקה, פונקציות היפרבוליות אנלוגיות לפונקציות הטריגונומטריות הרגילות: בעוד שהנקודות <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, ההיפרבולה, והקו הישר שמחבר את ראשית הצירים לנקודה על העקום לעיל, כפי שמתואר באיור משמאל.

הגדרת הפונקציות ההיפרבוליות עריכה

גרפי הפונקציות ההיפרבוליות נראות כך:

קובץ:Sinh cosh tanh.png

סינוס היפרבולי (sinh), קוסינוס היפרבולי (cosh) וטנגנס היפרבולי (tanh)

קובץ:Csch sech coth.png

קוסקאנט היפרבולי (csch), סקאנט היפרבולי (sech) וקוטנגנס היפרבולי (coth)

בהינתן <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־י.

קשרים לפונקציות טריגונומטריות עריכה

קובץ:Curve.PNG

מימין העקום הפרמטרי <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>\Rightarrow\sin(x + y) = \sin(x) \cos(y) + \cos(x) \sin(y)\,</math>

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

זהויות נוספות עריכה

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

קובץ:Area tangens.png

arctanh(x)

קובץ:Postscript-viewer-blue.svg ערך מורחב – פונקציות היפרבוליות הפוכות

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

דוגמות:

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

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

<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>

ראו גם עריכה

קישורים חיצוניים עריכה

ויקישיתוף מדיה וקבצים בנושא [[commons:Category:{{#property:P373}}|פונקציות היפרבוליות]] בוויקישיתוף

פונקציות היפרבוליות, באתר MathWorld (באנגלית)
פונקציות היפרבוליות, באתר אנציקלופדיה בריטניקה (באנגלית)
קובץ:National Library IL logo.svg פונקציות מעריכיות, דף שער בספרייה הלאומית