משוואת האייקונל

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

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

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

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

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

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

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

 

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

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

זוהי משוואת האייקונל והקירוב שבו השתמשנו מכונה "קירוב האייקונל".

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

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

 

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

 

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

 

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

 

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

גלים