משפט לקס מילגרם

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

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

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

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

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

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

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

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

||u||²

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

בחזרה תנאים של קיום המשפט:

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

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

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

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

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

הקשר למשפט לקס מילגרם הוא ישיר ומכריע, שכן הניסוח החלש הוא הגשר שהופך את המשוואה הדיפרנציאלית לתבנית בי ליניארית במרחב הילברט. כאשר אנו כופלים משוואה בפונקציית בדיקה ומבצעים אינטגרציה, הביטוי שמתקבל בצד אחד של המשוואה הוא בדיוק התבנית הבי ליניארית (u, v)a שעליה מדבר המשפט, והצד השני הופך לפונקציונל הליניארי (v)f. האינטואיציה כאן היא שמשפט לקס מילגרם מספק את תעודת הביטוח המתמטית: הוא מוכיח שקיים פתרון חלש יחיד לבעיה, ובכך הוא נותן תוקף לשימוש בשיטות חישוביות שמנסות למצוא את אותו הפתרון במציאות.

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

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

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

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

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

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

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

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

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

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

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

משפט לקס מילגרם

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

דברו איתי:

שלמה יונה

מייסד ומדען ראשי, מתמטיקאי מחקר ופיתוח בע"מ

053-7326360

shlomo.yona@mathematic.ai 

https://mathematic.ai

פודקאסט על החברה ועליי, שלמה יונה, ואופן העבודה שלנו ואיתנו: A technical deep dive about Mathematic.ai