פונקציית איירי

במדעי הטבע, פונקציית איירי (או פונקציית איירי מהסוג הראשון) שסימונה Ai היא פונקציה מיוחדת שקרויה על שם האסטרונום הבריטי ג'ורג' בידל איירי (1801–1892). הפונקציה Ai(x) והפונקציה הקשורה לה Bi(x), הן פתרונות בלתי תלויים ליניארית של המשוואה הדיפרנציאלית

המכונה משוואת איירי או משוואת סטוקס. זו המשוואה הליניארית הדיפרנציאלית הכי פשוטה עם נקודת מפנה (Turning Point, נקודה בה הצורה של הפתרונות משתנה מפתרון אוסילטורי מתנדנד לפתרון מעריכי).

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

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

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

הגדרותעריכה

 
גרף. Ai(x) (איירי) המתכנס באדום ו-Bi(x) ("ביירי") המתבדר בכחול

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

 

שיתכנס כי תנודות מהירות נוטות לבטל זו את זו.

y = Ai(x) מקיימת את משוואת איירי

 

למשוואה הזו יש שני פתרונות בלתי תלויים ליניארית. עד כדי כפל בסקלר, Ai(x) הוא הפתרון בכפוף לתנאי y → 0 כאשר x → ∞. הבחירה הסטנדרטית עבור הפונקציה השנייה היא פונקציית איירי מהסוג השני, שמסומנת Bi(x) (מכונה לעיתים בֵּיירִי, על משקל איירי). הוא מוגדר כפתרון עם אותה משרעת תנודה כמו Ai(x) כאשר x → −∞ השונה בפאזה של π/2:

 

מאפייניםעריכה

הערכים של Ai(x) ו-Bi(x) ונגזרותיהם ב-x = 0 נתונים על ידי

 

כאן, Γ, מציין את פונקציית גמא. ניתן לראות מכן שהורונסקיאן של Ai(x) ו-Bi(x) הוא 1/π.

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

פונקציות איירי מאונכות זו לזו[1] במובן שמתקיים

 

כאשר משתמשים, שוב, באינטגרל רימן לא אמיתי.

נוסחה אסימפטוטיתעריכה

 
פונקציית איירי Ai (בכחול), והקירוב הסינוסואידלי-אקספוננציאלי עבורה (סגול)
 
פונקציית איירי Bi (כחול), והקירוב הסינוסואידלי-אקספוננציאלי עבורה (סגול)

כפי שיוסבר להלן, ניתן להרחיב באופן אנליטי את פונקציות איירי לכל המישור המרוכב, לקבלת פונקציות שלמות. את ההתנהגות האסימפטוטית שלהן, כאשר |z| הולך לאינסוף על ערך קבוע של arg(z) תלוי ב- arg(z): מה שמכונה תופעת סטוקס. עבור |arg(z)| < π יש נוסחה אסימפטוטית ל-Ai(z):[2]

 

ואחת דומה עבור Bi(z), אבל רק כאשר |arg(z)| < π/3:

 

נוסחה מדויקת יותר עבור Ai(z), ונוסחה עבור Bi(z) כאשר π/3 < |arg(z)| < π או, באופן שקול, על Ai(−z) ו-Bi(−z) כאשר |arg(z)| < 2π/3 אבל לא אפס, הן:.[3]

 

כאשר {{{1}}}, הקירובים טובים אבל אינם קירובים אסימפטוטיים מבחינה פורמלית, כי היחס בין Ai(-z) או Bi(-z) לקירוב לעיל מתבדר כאשר הקוסינוס או הסינוס מתאפסים. הרחבות אסימפטוטיות עבור הגבולות האלה זמינות גם כן. ניתן לראות אותן, למשל, ב-(Abramowitz and Stegun, 1954) ו-(Olver 1974).

קלטים מרוכביםעריכה

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

 

כאשר האינטגרל הוא על מסילה  , או כל מסילה שמתנהגת דומה אסימפטוטית.[4] לחלופין, ניתן להשתמש במשוואה הדיפרנציאלית y" − xy = 0 כדי להרחיב את הפונקציות Ai(x) ו-Bi(x) להיות פונקציות שלמות במישור המרוכב.

הנוסחה האסימפטוטית של Ai עדיין בתוקף על המישור המרוכב אם לוקחים ערך מוחלט של x2/3, ו-x אינו על הציר הממשי השלילי. הנוסחה עבור Bi(x) תקפה עבור x בגזרה {xC : |arg(x)| < (π/3)−δ} עבור דלתא חיובית. כמו כן, הנוסחאות עבור Ai(-x) ו-Bi(-x) תקפות אם x הוא בתחום {xC : |arg(x)| < (2π/3)−δ}

מההתנהגות האסימפטוטית שלהן נובע שלשתי פונקציות איירי יש אינסוף אפסים על הציר הממשי השלילי. לפונקציה Ai(x) אין אפסים נוספים במישור המרוכב, בעוד שלפונקציה Bi(x) יש אינסוף אפסים בתחום {zC : π/3 < |arg(z)| < π/2}.

גרפיםעריכה

       
       
       
       
       
       

קשרים לפונקציות מיוחדות אחרותעריכה

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

 

כאשר I,K הם הפתרונות של

 

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

 

את הפונקציות K1/3 ו - K2/3 ניתן להציג עם אינטגרלים שמתכנסים במהירות.[5]

בשביל קלטים שליליים, יש קשר אחר לפונקציות בסל (הרגילות):

 

כאן, J±1/3 הם פתרונות של

 .

יש גם קשר לפונקציות סקורר, Hi(x) ,Gi(x) שפותרות את המשוואה y" − xy = 1/π. ניתן לתאר את הפונקציות האלה בעזרת פונקציות איירי ואינטגרלים עליהן:

 

התמרת פורייהעריכה

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

 

שימושים אחרים של המונח פונקציית אייריעריכה

 
"פונקציית איירי" במשמעות של ההעברה של אינטרפרומטר פברי-פרו

אינטרפרומטר פברי-פרו עריכה

  ערך מורחב – אינטרפרומטר פברי-פרו

פונקציית ההעברה של אינטרפרומטר פברי-פרו מכונה לעיתים גם היא "פונקציית איירי"[6]

 

כאשר לשני המשטחים יש החזרה R, ומגדירים

 

שהוא "מקדם העידון".

עקיפה מצמצם מעגליעריכה

 
"פונקציית איירי" במובן תבנית העקיפה של צמצם (חריץ) מעגלי

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

היסטוריהעריכה

פונקציית איירי קרויה על שם האסטרונום והפיזיקאי הבריטי ג'ורג' בידל איירי (1801–1892), שנתקל בה כשחקר אופטיקה (Airy, 1838). הכיתוב Ai(x) הוצג על ידי הרולד ג'פרי. איירי מונה לאסטרונום המלכותי הבריטי בשנת 1835, והחזיק במשרה עד פרישתו בשנת 1881.

לקריאה נוספתעריכה

Abramowitz, Milton; Stegun, Irene Ann, eds. (1983) [June 1964]. Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series 55 (מהדורה Ninth reprint with additional corrections of tenth original printing with corrections (December 1972); first). Washington D.C.; New York: United States Department of Commerce, National Bureau of Standards; Dover Publications. ISBN 978-0-486-61272-0. LCCN 64-60036. MR 0167642. 

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

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

הערות שולייםעריכה

  1. ^ David E. Aspnes, Physical Review, 147, 554 (1966)
  2. ^ (Abramowitz & Stegun 1970, p. 448), Eqns 10.4.59 and 10.4.63
  3. ^ (Abramowitz & Stegun 1970, p. 448), Eqns 10.4.60 and 10.4.64
  4. ^ כלומר, מסילה שמתחילה בנקודה באינסוף עם ארגומנט   ומסתיימת בנקודה באינסוף עם הארגומנט  . כל המסילות נותנות תוצאה זהה כי הפונקציה אנליטית).
  5. ^ M.Kh.Khokonov. Cascade Processes of Energy Loss by Emission of Hard Photons // JETP, V.99, No.4, pp. 690-707 \ (2004).
  6. ^ Hecht, Eugene (1987). Optics (מהדורה שנייה). Addison Wesley. ISBN 0-201-11609-X.  Sect. 9.6