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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה לניווט קפיצה לחיפוש
Incomplete-document-purple.svg
יש להשלים ערך זה: בערך זה חסר תוכן מהותי.
הנכם מוזמנים להשלים את החלקים החסרים ולהסיר הודעה זו. שקלו ליצור כותרות לפרקים הדורשים השלמה, ולהעביר את התבנית אליהם.

באנליזה מתמטית, הפונקציה ההיפרגאומטרית הסטנדרטית (2F1(a,b;c;z היא פונקציה מיוחדת המיוצגת על ידי הטור ההיפרגאומטרי, אשר כוללת פונקציות מיוחדות רבות אחרות כמקרים פרטיים או מקרי גבול; דוגמאות לפונקציות המהוות מקרים פרטיים שלה כוללות את הפונקציות האלמנטריות, פונקציות בסל ופולינומים אורתוגונליים. הפונקציה ההיפרגאומטרית היא גם הפתרון של משוואה דיפרנציאלית רגילה וליניארית מסדר שני; יותר מכך, כל משוואה דיפרציאלית רגילה וליניארית מסדר שני עם שלוש נקודות סינגולריות ניתן להפוך בעזרת טרנספורמציה מתאימה למשוואה הדיפרנציאלית ההיפרגאומטרית.

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

היסטוריה[עריכת קוד מקור | עריכה]

במונח "טור היפרגאומטרי" נעשה שימוש לראשונה על ידי ג'ון ואליס בספרו מ-1665 Arithmetica Infinitorum.

טורים היפרגאומטריים נחקרו לראשונה על ידי לאונרד אוילר, אולם הטיפול השיטתי הראשון בהם ניתן על ידי קרל פרידריך גאוס במאמר מ-1813.

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

רימן הראה שכאשר חוקרים את המשוואה הדיפרנציאלית מסדר שני שמקיימת (2F1(z במישור המרוכב, אז היא ניתנת לאפיון (על הספירה של רימן) על ידי שלוש נקודות הסינגולריות שלה.

המקרים בהם הפתרונות למשוואה ההיפרגאומטרית הם פונקציות אלגבריות נמצאו על ידי הרמן שוורץ.

רקע; הגדרות וסימונים[עריכת קוד מקור | עריכה]

הטור ההיפרגאומטרי הכללי ביותר מוגדר באופן פורמלי כטור חזקות:

שבו היחס בין מקדמים עוקבים הוא פונקציה רציונלית של האינדקס הסידורי n של האיברים:

כאשר (A(n ו-(B(n הם פולינומים של n.

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

נקבל:

,

כך שטור זה מקיים את ההגדרה, שכן A(n) = 1 ו- B(n) = n + 1.

באופן כללי, מקובל להוציא מחוץ לסוגריים את האיבר הראשון בטור, כך שמותר להניח ש-β0 שווה 1. הפולינומים ניתנים לפירוק לגורמים ליניאריים מהצורה (aj + n) ו-(bk + n), כאשר aj ו-bk הם מספרים מרוכבים. מסיבות היסטוריות, מניחים ש-(1 + n) הוא גורם של B. אם זה לא המצב אז אפשר לכפול את A ו-B בגורם הזה; הגורם מצטמצם כך שהאיברים נותרים ללא שינוי ואין אובדן כלליות. במובן זה, ההגדרות שיובאו בהמשך לפונקציות היפרגאומטריות עם m פרמטרים, שהם גם ההגדרות הנכונות מבחינה היסטורית, הן למעשה פונקציה היפרגאומטריות עם m + 1 פרמטרים, כאשר אחד הפרמטרים שלהן הוא 1.

לפיכך, אם מפרקים לגורמים את (A(n ו-(B(n, אז מקבלים שהיחס בין מקדמים עוקבים הוא מהצורה:

,

כאשר c ו-d הם המקדמים של החזקות הגבוהות ביותר של A ו-B. לטור יש לפיכך את הצורה:

,

או, באמצעות הכפלה של z בפקטור מתאים וסידור מחדש של האיברים במונה ובמכנה:

.

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

או:

.

באמצעות סימן פוקהאמר (Pochhammer symbol):

ניתן לכתוב מחדש את הפונקציה כך:

הפונקציה ההיפרגאומטרית הגאוסיאנית (הסטנדרטית)[עריכת קוד מקור | עריכה]

הפונקציה ההיפרגאומטרית הסטנדרטית מתקבלת כאשר p = 2, q = 1 ונדרשים 3 פרמטרים (p + q = 3) כדי לאפיין את הטור שמייצג אותה. במקרה זה מקבלים:

היחס בין מקדמים עוקבים של הטור הוא והוא שואף ל-1 כאשר n שואף לאינסוף, לכן נקבל שהטור הזה מתכנס רק בעבור מספרים מרוכבים z שמקיימים z| < 1|[1]. ניתן להיווכח בנקל כי הפונקציה הזאת מקיימת נוסחאות גזירה כגון:

או באופן כללי יותר:

וניתן לקבל פונקציות מיוחדות מוכרות אחרות כמקרים ספציפיים שלה:

.

הקשרים המתמטיים של גאוס[עריכת קוד מקור | עריכה]

שש הפונקציות:

נקראות contiguous ל-(2F1(a, b; c; z. גאוס הראה ש-(2F1(a, b; c; z ניתנת לכתיבה כצירוף ליניארי של כל שתיים מהפונקציות האלה, כאשר מקדמי הצירוף הם פונקציות רציונליות ב-a, b, c ו-z, למשל[2]:

לפיכך, יש בדיוק:

קשרים כאלו. באופן כללי יותר, ניתן לקשור בין כל שלוש פונקציות היפרגאומטריות מהצורה כאשר m, n ו-l מספרים שלמים, וזאת באמצעות איטרציות חוזרות על הקשרים המתמטיים הללו.

השבר המשולב של גאוס[עריכת קוד מקור | עריכה]

גאוס נעזר בקשרים שמצא כדי לגזור מספר דרכים לרשום את המנה של שתי פונקציות היפרגאומטריות כשבר משולב, למשל:

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ באופן כללי, רדיוס ההתכנסות של הטור ההיפרגאומטרי הכללי ביותר הוא 1 כאשר מתקיים .
  2. ^ Second Order Differential Equations: Special Functions and Their Classification [1]