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

במדעי הטבע, פונקציית איירי (או פונקציית איירי מהסוג הראשון) שסימונה Ai היא פונקציה מיוחדת שקרויה על שם האסטרונום הבריטי ג'ורג' בידל איירי (1801–1892). הפונקציה והפונקציה הקשורה לה , הן פתרונות בלתי תלויים ליניארית של המשוואה הדיפרנציאלית
:<math>\frac{d^2y}{dx^2} - xy = 0, \,\!</math>
המכונה משוואת איירי או משוואת סטוקס. זו המשוואה הליניארית הדיפרנציאלית הכי פשוטה עם נקודת מפנה (Turning Point, נקודה בה הצורה של הפתרונות משתנה מפתרון אוסילטורי מתנדנד לפתרון מעריכי).

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

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

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

== הגדרות ==
Bi(x)}} ("ביירי") המתבדר בכחול
עבור ערכים ממשיים של x, ניתן להגדיר את פונקציית איירי מהסוג הראשון על ידי אינטגרל רימן לא אמיתי:

:<math>\mathrm{Ai}(x) = \dfrac{1}{\pi}\int_0^\infty\cos\left(\dfrac{t^3}{3} + xt\right)\, dt\equiv \dfrac{1}{\pi}\lim_{b\to\infty} \int_0^b \cos\left(\dfrac{t^3}{3} + xt\right)\, dt,</math>

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

 מקיימת את משוואת איירי
:<math>y - xy = 0.</math>

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

:<math>\mathrm{Bi}(x) = \frac{1}{\pi} \int_0^\infty \left[\exp\left(-\tfrac{t^3}{3} + xt\right) + \sin\left(\tfrac{t^3}{3} + xt\right)\,\right]dt.</math>

== מאפיינים ==
הערכים של ו- ונגזרותיהם ב-x = 0 נתונים על ידי

:<math>\begin{align}
 \mathrm{Ai}(0) &{}= \frac{1}{3^{\frac{2}{3}}\Gamma(\tfrac23)}, & \quad \mathrm{Ai}'(0) &{}= -\frac{1}{3^{\frac{1}{3}}\Gamma(\tfrac13)}, \\
 \mathrm{Bi}(0) &{}= \frac{1}{3^{\frac{1}{6}}\Gamma(\tfrac23)}, & \quad \mathrm{Bi}'(0) &{}= \frac{3^{\frac{1}{6}}}{\Gamma(\tfrac13)}.
\end{align}</math>

כאן, Γ, מציין את פונקציית גמא. ניתן לראות מכן שהוורונסקיאן של ו- הוא .

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

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

:<math> \int_{-\infty}^\infty \mathrm{Ai}(t+x) \mathrm{Ai}(t+y) dt = \delta(x-y)</math>

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

== נוסחה אסימפטוטית ==
פונקציית איירי Ai (בכחול), והקירוב הסינוסואידלי-אקספוננציאלי עבורה (סגול)
פונקציית איירי Bi (כחול), והקירוב הסינוסואידלי-אקספוננציאלי עבורה (סגול)
כפי שיוסבר להלן, ניתן להרחיב באופן אנליטי את פונקציות איירי לכל המישור המרוכב, לקבלת פונקציות שלמות. את ההתנהגות האסימפטוטית שלהן, כאשר |z| הולך לאינסוף על ערך קבוע של תלוי ב- : מה שמכונה תופעת סטוקס. עבור יש נוסחה אסימפטוטית ל-:

:<math>\mathrm{Ai}(z)\sim \dfrac{e^{-\frac{2}{3}z^{\frac{3}{2}}}}{2\sqrt\pi\,z^{\frac{1}{4}}} \left[ \sum_{n=0}^{\infty} \dfrac{(-1)^n \Gamma(n+\frac{5}{6})\Gamma(n+\frac{1}{6})\left(\frac{3}{4}\right)^n}{2\pi n! z^{3n/2}} \right].</math>

ואחת דומה עבור , אבל רק כאשר :

:<math>\mathrm{Bi}(z)\sim \frac{e^{\frac{2}{3}z^{\frac{3}{2}}}}{\sqrt\pi\,z^{\frac{1}{4}}}\left[ \sum_{n=0}^{\infty} \dfrac{ \Gamma(n+\frac{5}{6})\Gamma(n+\frac{1}{6})\left(\frac{3}{4}\right)^n}{2\pi n! z^{3n/2}} \right].</math>

נוסחה מדויקת יותר עבור , ונוסחה עבור כאשר או, באופן שקול, על ו- כאשר אבל לא אפס, הן:.

:<math>\begin{align}
 \mathrm{Ai}(-z) &{}\sim \frac{\sin \left(\frac23z^{\frac{3}{2}}+\frac{\pi}{4} \right)}{\sqrt\pi\,z^{\frac{1}{4}}} \\[6pt]
 \mathrm{Bi}(-z) &{}\sim \frac{\cos \left(\frac23z^{\frac{3}{2}}+\frac{\pi}{4} \right)}{\sqrt\pi\,z^{\frac{1}{4}}}
\end{align}</math>

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

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

:<math>\mathrm{Ai}(z) = \frac{1}{2\pi i} \int_{C} \exp\left(\tfrac{t^3}{3} - zt\right)\, dt,</math>

כאשר האינטגרל הוא על מסילה
<math>C = \left\{t \exp\left(i\pi\cdot\left[-\frac{1}{2} + \frac{1}{3}\frac{1 - e^x}{1 + e^x}\right]\right): t \in \mathbb{R}\right\}</math>,
או כל מסילה שמתנהגת דומה אסימפטוטית. לחלופין, ניתן להשתמש במשוואה הדיפרנציאלית y" − xy = 0 כדי להרחיב את הפונקציות ו- להיות פונקציות שלמות במישור המרוכב.

הנוסחה האסימפטוטית של Ai עדיין בתוקף על המישור המרוכב אם לוקחים ערך מוחלט של x<sup>2/3</sup>, ו-x אינו על הציר הממשי השלילי. הנוסחה עבור תקפה עבור x בגזרה עבור דלתא חיובית. כמו כן, הנוסחאות עבור ו- תקפות אם x הוא בתחום 

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

=== גרפים ===
{| align="center" style="text-align: center; margin-bottom: 10px;"
!<math>\Re \left[ \mathrm{Ai} ( x + iy) \right] </math>
!<math>\Im \left[ \mathrm{Ai} ( x + iy) \right] </math>
!<math>| \mathrm{Ai} ( x + iy) | \, </math>
!<math>\mathrm{arg} \left[ \mathrm{Ai} ( x + iy) \right] \, </math>
|-
|200 פיקסלים
|200 פיקסלים
|200 פיקסלים
|200 פיקסלים
|-
|200 פיקסלים
|200 פיקסלים
|200 פיקסלים
|200 פיקסלים
|}
{| align="center" style="text-align: center; margin-bottom: 10px;"
!<math>\Re \left[ \mathrm{Bi} ( x + iy) \right] </math>
!<math>\Im \left[ \mathrm{Bi} ( x + iy) \right] </math>
!<math>| \mathrm{Bi} ( x + iy) | \, </math>
!<math>\mathrm{arg} \left[ \mathrm{Bi} ( x + iy) \right] \, </math>
|-
|200 פיקסלים
|200 פיקסלים
|200 פיקסלים
|200 פיקסלים
|-
|200 פיקסלים
|200 פיקסלים
|200 פיקסלים
|200 פיקסלים
|}

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

:<math>\begin{align}
 \mathrm{Ai}(x) &{}= \frac1\pi \sqrt{\frac{x}{3}} \, K_{\frac{1}{3}}\left(\tfrac23 x^{\frac{3}{2}}\right), \\
 \mathrm{Bi}(x) &{}= \sqrt{\frac{x}{3}} \left(I_{\frac{1}{3}}\left(\tfrac23 x^{\frac{3}{2}}\right) + I_{-\frac{1}{3}}\left(\tfrac23 x^{\frac{3}{2}}\right)\right).
\end{align}</math>

כאשר I ו-K הם פונקציות בסל מותאמות (modified), דהיינו, הפתרונות של משוואת בסל המותאמת
:<math>x^2y + xy' - \left (x^2 + \tfrac{1}{9} \right )y = 0.</math>

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

:<math> \mathrm{Ai'}(x) = - \frac{x} {\pi \sqrt{3}} \, K_{\frac{2}{3}}\left(\tfrac23 x^{\frac{3}{2}}\right) </math>

את הפונקציות K<sub>1/3</sub> ו - K<sub>2/3</sub> ניתן להציג עם אינטגרלים שמתכנסים במהירות.

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

:<math>\begin{align}
 \mathrm{Ai}(-x) &{}= \sqrt{\frac{x}{9}} \left(J_{\frac{1}{3}}\left(\tfrac23 x^{\frac{3}{2}}\right) + J_{-\frac{1}{3}}\left(\tfrac23 x^{\frac{3}{2}}\right)\right), \\
 \mathrm{Bi}(-x) &{}= \sqrt{\frac{x}{3}} \left(J_{-\frac{1}{3}}\left(\tfrac23 x^{\frac{3}{2}}\right) - J_{\frac{1}{3}}\left(\tfrac23 x^{\frac{3}{2}}\right)\right).
\end{align}</math>

כאן, J<sub>±1/3</sub> הם פונקציות בסל, דהיינו, הן פותרות את משוואת בסל:
:<math>x^2y + xy' + \left (x^2 - \tfrac{1}{9} \right )y = 0</math>.

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

:<math>\begin{align}
 \mathrm{Gi}(x) &{}= \mathrm{Bi}(x) \int_x^\infty \mathrm{Ai}(t) \, dt + \mathrm{Ai}(x) \int_0^x \mathrm{Bi}(t) \, dt, \\
 \mathrm{Hi}(x) &{}= \mathrm{Bi}(x) \int_{-\infty}^x \mathrm{Ai}(t) \, dt - \mathrm{Ai}(x) \int_{-\infty}^x \mathrm{Bi}(t) \, dt.
\end{align}</math>

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

:<math>\mathcal{F}(\mathrm{Ai})(k) := \int_{-\infty}^{\infty} \mathrm{Ai}(x)\ e^{- 2\pi i k x}\,dx = e^{\frac{i}{3}(2\pi k)^3}.</math>

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

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

:<math>\mathcal{F}(\mathrm{Ai})(k) := \int_{-\infty}^{\infty} \mathrm{Ai}(x)\ e^{- 2\pi i k x}\,dx = e^{\frac{i}{3}(2\pi k)^3}.</math>

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

:<math> F = \frac{4R}</math>

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

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

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

== לקריאה נוספת ==
<div class="mw-content-ltr">

*
* Frank William John Olver (1974). Asymptotics and Special Functions, Chapter 11. Academic Press, New York.
*;
*
</div>

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

* 
* 
* הדפים של הפונקציות [http://functions.wolfram.com/Bessel-TypeFunctions/AiryAi/ Ai] ו-[http://functions.wolfram.com/Bessel-TypeFunctions/AiryBi/ Bi], באתר פונקציות וולפרם, כולל נוסחאות וגרפים.

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

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