אינטגרל אליפטי

אינטגרל אליפטי הוא פונקציה מהצורה:

$\begin{array}{r}f(x)=\underset{c}{\overset{x}{\int }}R(t,\sqrt{P(t)})dt\end{array}$

כאשר $c$ מספר קבוע, $R$ פונקציה רציונלית של שני משתנים ו-$P$ היא פולינום ממעלה 3 או 4.

אינטגרל אליפטי אינו פונקציה אלמנטרית. פונקציות מסוג זה נקראות אינטגרל אליפטי כי הן הופיעו לראשונה בניסיונות לחשב היקף של אליפסה.

אינטגרלים אליפטיים נחקרו לראשונה על ידי Giulio Fagnano ולאונרד אוילר בסביבות 1750.

באופן כללי, אינטגרלים בעלי הצורה הזאת אינם ניתנים לביטוי כצירופים של פונקציות אלמנטריות, אך חריגות מן הכלל הזה מתרחשות כאשר ל־$P$ שורשים מרובים, או כאשר $R(x,y)$ אינה מכילה חזקות אי־זוגיות של $y$. אחד המשפטים החשובים בנוגע לחישוב אינטגרלים אליפטיים קובע שכל אינטגרל אליפטי ניתן להביא לצורה שמערבת אינטגרלים של פונקציות רציונליות עם אינטגרלים של אחת משלוש הצורות הקנוניות של לז'נדר (אינטגרלים אליפטיים מהסוג הראשון, השני והשלישי).

מינוח

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

• $\alpha$ היא הזווית המודולרית.
• $k=\sin (\alpha )$ הוא המודולוס האליפטי או האקסצנטריות.
• $m=k^2=\sin (\alpha {)}^2$ נקרא הפרמטר.

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

את המשתנה השני מסמנים לעיתים קרובות באות $\phi$, והוא מכונה המשרעת של האינטגרל האליפטי.

מיון אינטגרלים אליפטיים

האינטגרל האליפטי הבלתי־שלם מהסוג הראשון מוגדר:

$F(\phi ,k)=F(\phi |k^2)=F(\sin (\phi );k)=\underset{0}{\overset{\phi }{\int }}\frac{d\theta }{\sqrt{1-(k\sin (\theta ){)}^2}}$

זוהי הצורה הטריגונומטרית של האינטגרל; אם מציבים $x=\sin (\phi ),t=\sin (\theta )$ אז מקבלים את צורת יעקובי של האינטגרל:

$F(x;k)=\underset{0}{\overset{x}{\int }}\frac{dt}{\sqrt{(1-t^2)(1-(kt{)}^2)}}$

האינטגרל האליפטי הבלתי־שלם מהסוג השני בצורתו הטריגונומטרית הוא:

$E(\phi ,k)=E(\phi |k^2)=E(\sin (\phi );k)=\underset{0}{\overset{\phi }{\int }}\sqrt{1-(k\sin (\theta ){)}^2}d\theta$

כשמציבים $x=\sin (\phi ),t=\sin (\theta )$ מקבלים את צורת יעקובי

$E(x;k)=\underset{0}{\overset{x}{\int }}\frac{\sqrt{1-(kt{)}^2}}{\sqrt{1-t^2}}dt$

האינטגרל האליפטי הבלתי־שלם מהסוג השלישי הוא:

$\begin{array}{r}\mathrm{\Pi }(n;\phi \setminus \alpha )=\underset{0}{\overset{\phi }{\int }}\frac{d\theta }{(1-n\sin (\theta {)}^2)\sqrt{1-(\sin (\alpha )\sin (\theta ){)}^2}}\\ \mathrm{\Pi }(n;\phi |m)=\underset{0}{\overset{\sin (\phi )}{\int }}\frac{dt}{(1-n{t}^2)\sqrt{(1-m{t}^2)(1-t^2)}}\end{array}$

כאשר $n$ נקרא המאפיין ויכול לקבל כל ערך, ללא תלות במשתנים האחרים.

אינטגרלים אליפטיים שלמים

גרף של ערך האינטגרל האליפטי השלם $K(k)$ כפונקציה של $k$

כל אחד מהאינטגרלים האליפטיים שהוזכרו מקודם נקראים שלמים כאשר המשרעת מקיימת $\phi =\frac{\pi }{2}$ או $x=1$. למשל, האינטגרל האליפטי השלם מהסוג הראשון הוא:

$K(k)=\underset{0}{\overset{\frac{\pi }{2}}{\int }}\frac{d\theta }{\sqrt{1-(k\sin (\theta ){)}^2}}=\underset{0}{\overset{1}{\int }}\frac{dt}{\sqrt{(1-t^2)(1-(kt{)}^2)}}$

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

מדיה וקבצים בנושא אינטגרל אליפטי בוויקישיתוף

• אינטגרל אליפטי, באתר אנציקלופדיה למתמטיקה (באנגלית)
• .html אינטגרל אליפטי, באתר MathWorld (באנגלית)   

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

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0