אריה איזראלס: גורמים למחשבים לכבד גיאומטריה
כוכב לכת המקיף שמש משמר את האנרגיה שלו בדיוק, לנצח. אם תדמו את המסלול הזה במחשב באמצעות שיטה נומרית סטנדרטית, האנרגיה תזלוג – כוכב הלכת יסחף באיטיות אל השמש או החוצה אל החשיכה, לא בגלל שהפיזיקה מחייבת זאת אלא בגלל שהחשבון דולף. אריה איזראלס (Arieh Iserles) שייך לקבוצת מתמטיקאים שהחליטו שזה בלתי מתקבל על הדעת ויצאו לבנות אלגוריתמים המצייתים לחוקים שהמשוואות שלהם מקודדות.
מירושלים לקיימברידג'
איזראלס נולד ב-2 בספטמבר 1947 ולמד באוניברסיטה העברית בירושלים ובאוניברסיטת בן-גוריון בנגב. עבודת הדוקטורט שלו עסקה בשיטות נומריות עבור משוואות דיפרנציאליות רגילות קשיחות – נושא שנשמע מצומצם אך הוא כל דבר מלבד זאת.
קשיחות היא הפתולוגיה המופיעה בכל פעם שמערכת מכילה תהליכים המתרחשים בטווחי זמן שונים בתכלית: תגובה כימית שבה שלב אחד לוקח מיקרו-שניות ושלב אחר לוקח שעות. שיטות נומריות נאיביות נאלצות לזחול בקצב של התהליך המהיר ביותר גם כאשר שום דבר מעניין לא קורה שם, והחישוב הופך לבלתי אפשרי מבחינת עלות. פתרון קשיחות כראוי היה אחת הבעיות המעשיות המרכזיות של המחשוב המדעי במאה העשרים, וזהו מגרש אימונים טוב למי שיבלה את הקריירה שלו על חוסר ההתאמה בין מתמטיקה רציפה למכונות בדידות.
קיימברידג', עם עיקוף אחד
הוא הגיע לקיימברידג' כעמית מחקר זוטר בקינגס קולג' ב-1978, הפך לעמית מחקר בכיר שם ב-1982, ובילה את 1986–87 כפרופסור חבר באוניברסיטת אריזונה. לאחר מכן הוא חזר ונשאר.
הוא היה מרצה באוניברסיטת קיימברידג' מ-1987 עד 1995, Reader באנליזה נומרית מ-1995 עד 1999, ומאז 1999 הוא פרופסור לאנליזה נומרית של משוואות דיפרנציאליות במחלקה למתמטיקה יישומית ופיזיקה תיאורטית – DAMTP, המחלקה שבה עבדו דיראק והוקינג. מ-2010 עד 2015 הוא ניהל את המרכז לקיימברידג' לאנליזה.
אינטגרציה גיאומטרית
הרעיון המרכזי בחיי המחקר של איזראלס הוא שמשוואה דיפרנציאלית נושאת מבנה, ושיטה נומרית טובה צריכה לשמר אותו.
מערכות מסוימות משמרות אנרגיה. חלקן משמרות נפח במרחב הפאזה. חלקן מתפתחות על יריעה עקומה – גוף קשיח מסתובב, למשל, שמצבו חי על חבורת הסיבובים ולעולם לא יכול לעזוב אותה, לא משנה כמה תחכה. שיטות נומריות קונבנציונליות אינן יודעות דבר על כך. הן מקרבות את הצעד הבא ומקבלות שגיאה קטנה, ולאורך סימולציה ארוכה השגיאות הקטנות הללו מצטברות לכדי שטויות איכותניות: מטריצת הסיבוב מפסיקה להיות סיבוב, האנרגיה זולגת, והמסלול שגוי באופן ששום כמות של דיוק נוסף לא תתקן.
Twenty questions, eight minutes on the clock, and a percentile measured against everyone who has taken it. No sign-up.
Take the IQ test →אינטגרציה נומרית גיאומטרית תוקפת זאת על ידי תכנון שיטות המכבדות את האינווריאנטים בדיוק – אינטגרטורים סימפלקטיים עבור מערכות המילטוניאניות, שיטות משמרות נפח, וסכימות שנבנו כך שמערכת החיה על חבורת לי תישאר עליה. תרומותיו של איזראלס מתרכזות סביב המנגנון לכך: קירובים של האקספוננט המטריציוני, במיוחד שיטות הממפות אלגברת לי בצורה נכונה אל חבורת לי שלה, וניתוח של זרימות איזוספקטרליות ומבני לי-פואסון.
תנודה, המקרה הקשה האחר
התחום המרכזי השני שלו הוא תופעות תנודתיות מאוד – בעיות שבהן הפתרון מתנודד מהר מאוד.
זהו סיוט אמיתי עבור אנליזה נומרית סטנדרטית, ומסיבה לא אינטואיטיבית. קוודרטורה רגילה עובדת על ידי דגימה; אם הפונקציה מתנודדת מהר יותר מכפי שאתה דוגם, אינך לומד דבר, והתגובה הקלאסית היא לדגום מהר יותר, מה שעולה יותר ככל שהבעיה הופכת גרועה יותר. איזראלס עבד על שיטות דיסקרטיזציה יעילות עבור אינטגרלים תנודתיים מאוד – משפחה של טכניקות שבהן, באופן מדהים, תנודה גבוהה יכולה להפוך ממכשול ליתרון, כאשר הדיוק משתפר ככל שהתדר עולה במקום לקרוס. הוא הרחיב את הגישה למשוואות דיפרנציאליות ולספקטרום של אופרטורים, ופיתח אינטגרטורים אקספוננציאליים עבור משוואות עם מספר קני מידה אינטראקטיביים של תנודה.
טווח המחקר המלא שלו כולל משוואות דיפרנציאליות רגילות וחלקיות, תורת הקירוב, פולינומים אורתוגונליים, משוואות פונקציונליות ודינמיקה חישובית.
השומר בשער
איזראלס היה מרכזי בצורה יוצאת דופן במוסדות התחום שלו. הוא העורך המנהל של Acta Numerica, כרך הסקירה השנתי שהוא למעשה הצהרת התחום על היכן הוא עומד, ועורך ראשי של ה-IMA Journal of Numerical Analysis, לצד תפקידי הנהלה במקומות אחרים. מ-1997 עד 2000 הוא עמד בראש החברה ליסודות המתמטיקה החישובית.
והוא כתב את A First Course in the Numerical Analysis of Differential Equations, בהוצאת אוניברסיטת קיימברידג' וכעת במהדורה השנייה שלו – עבור סטודנטים רבים לתארים מתקדמים ברחבי העולם, הספר שלימד אותם את הנושא.
מדוע אריה מכונה גאון
האיכות האינטלקטואלית המוצגת היא סוג ספציפי של היפוך: נטילה חוזרת ונשנית של התכונה שהופכת בעיה לקשה והפיכתה לתכונה שהופכת את הפתרון לעובד. המקרה הברור ביותר הוא אינטגרציה תנודתית מאוד, שבה המסגור הסטנדרטי מתייחס לתנודה מהירה כאויב שיש לדגום מעבר לו, והשיטות שאיזראלס עבד עליהן הופכות טובות יותר ככל שהתנודה גוברת. אינטגרציה גיאומטרית כרוכה באותו מהלך ברמה גבוהה יותר – הפסק להתייחס למשוואה דיפרנציאלית כנוסחה שיש לקרב והתחל להתייחס אליה כאובייקט גיאומטרי שהמבנה שלו הוא הדבר שיש לשמר. מסגור מחדש מסוג זה נדיר וקשה יותר מוירטואוזיות טכנית, והם משנים את מה שקהילה שלמה חושבת שהיא עושה.
ההכרה, שנשקלה בכנות, משמעותית אך עמוסה בשירות. מדליית אונסגר הגיעה ב-1999. מדליית דייוויד קרייטון הגיעה בעקבותיה ב-2012, שהוענקה במפורש "על שירותים למתמטיקה ולקהילה המתמטית". פרס SIAM לשירות מכובד למקצוע הגיע ב-2014. שניים מתוך שלושת אלו, על פי הציטוטים שלהם, הם על שירות ולא על גילוי.
אז מקרה הנגד הוא אמיתי. שום משפט לא נושא את שמו של איזראלס באופן שבו שיטת רונגה-קוטה או ניוטון עושות זאת. אינטגרציה גיאומטרית נבנתה על ידי קהילה – היירר, לוביך, ואנר, מרסדן, מקלכלן ואחרים לצדו – והוא תורם חשוב אחד, לא מחברה היחיד. השפעתו המדידה הגדולה ביותר עשויה להיות עריכתית ופדגוגית: ניהול Acta Numerica, ניהול ה-IMA Journal, כתיבת הקורס הראשון הסטנדרטי. שום מקור נגיש לא מתעד מישהו שקרא לו גאון. הוא מתמטיקאי יישומי מצטיין ובונה מוסדות יוצא דופן, והמחצית השנייה של המשפט הזה עושה יותר עבודה מכפי שמעריצים בדרך כלל מודים.
מורשת
איזראלס נשאר ב-DAMTP, במחלקה שבה הוא עובד מאז 1987.
התוכנית שהוא עזר להוביל ניצחה בשקט. אינטגרטורים סימפלקטיים ומשמרי מבנה הם כעת סטנדרטיים בדינמיקה מולקולרית, מכניקה שמימית, פיזיקת פלזמה ותכנון מאיצים – בכל מקום שבו סימולציה צריכה לרוץ זמן רב מאוד ועדיין להיות אמינה בסוף. התובנה שמתחת היא פילוסופית לא פחות מטכנית: שיטה נומרית אינה מכשיר ניטרלי לקירוב משוואה. היא מערכת דינמית קטנה בזכות עצמה, ואם תבנה אותה ברשלנות, היא תספר לך סיפור על יקום שלא קיים.