חשבון וריאציות

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף חשבון הוריאציות)
קפיצה לניווט קפיצה לחיפוש

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

השיטה פותחה בשלהי המאה ה-17 על ידי ניוטון, האחים יוהאן ויאקוב ברנולי, לייבניץ, ומאוחר יותר על ידי לופיטל, אוילר, לגראנז' ואחרים.

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

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

היסטוריה

פיתוח חשבון הווריאציות החל כאשר בעיית הברכיסטוכרון (המילה "ברכיסטוכרון" היא הלחם שמקורו יוונית (βράχιστος χρόνος), ומשמעותו "הזמן הקצר ביותר") הגיעה אל המתמטיקאי השווייצרי יאקוב ברנולי. אחיו, יוהאן ברנולי, גם הוא מתמטיקאי שווייצרי, השתמש בבעיית הטאוטוכרון (אותו זמן) לפתרון הבעיה, שנחשב לאלגנטי וקצר יותר מפתרונו של יאקוב. יאקוב, שהיה איתו בתחרות מתמדת, ניסח את בעיית הברכיסטוכרון בגרסה שונה ומורכבת יותר, ופתרונו לבעיה זו הביא אותו לפתח שיטות אנליטיות חדשות. שיטות אלה לוטשו מאוחר יותר על ידי לאונרד אוילר והפכו למה שנקרא חשבון וריאציות.

אופי הבעיה

נביא את הבעיה המתמטית לצורה הבאה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align}S=&\int\limits_{x_1}^{x_2}L\left[y(x),\frac{\part y}{\part x},x\right]dx\\&\begin{cases}y(x_1)=y_1\\y(x_2)=y_2\end{cases}\end{align}}

מטרתנו היא למצוא את הפונקציה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y(x)} אשר תביא את הפונקציונל לאקסטרמום.

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

חישוב

נניח שקיים אקסטרמום לפונקציונל ושהפונקציה אשר מביאה אליו היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y_0(x)} .

נוכל לבטא כל פונקציה בצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y(x)=y_0(x)+\epsilon\cdot\eta(x)} , כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta(x)} פונקציה כלשהי ובעלת תנאי השפה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta(x_1)=\eta(x_2)=0} , כך ש־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y(x)} מקיימת את תנאי השפה ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon} מספר ממשי כלשהו.

נשים לב שתחת הנחותינו מתקיים: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S=S\bigl(\eta(x),\eta'(x),\epsilon\bigr)} ויותר מכך, מתקיים: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dS}{d\epsilon}\Bigg|_{\epsilon=0}=0}

נפתח את הביטוי למקסימה של הפונקציונל:

מכיוון שגבולות האינטגרל בפונקציונל אינם תלויים ב־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon} נוכל להחליף את סדר הגזירה והאינטגרציה. לאחר מכן נשתמש באינטגרציה בחלקים ונקבל:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dS}{d\epsilon}\Bigg|_{\epsilon=0}=\int\limits_{x_1}^{x_2}\left(\frac{\part L}{\part y_0}\cdot\eta+\frac{\part L}{\part y_0'}\cdot\frac{d\eta}{dx}\right)dx=\int\limits_{x_1}^{x_2}\left(\frac{\part L}{\part y_0}-\frac{d}{dx}\left[\frac{\part L}{\part y_0'}\right]\right)\eta\,dx+\left[\frac{\part L}{\part y_0'}\right]\cdot\eta\,\Bigg|_{x_1}^{x_2}}

נזכור כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta} מתאפסת בנקודות הקצה ולכן האבר האחרון מתאפס. נקבל: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dS}{d\epsilon}\Bigg|_{\epsilon=0}=\int\limits_{x_1}^{x_2}\left(\frac{\part L}{\part y_0}-\frac{d}{dx}\left[\frac{\part L}{\part y_0'}\right]\right)\eta\,dx=0}

מכיוון ש־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \eta} פונקציה שרירותית, נקבל לפי הלמה היסודית של חשבון וריאציות כי:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\part L}{\part y}-\frac{d}{dx}\left[\frac{\part L}{\part y'}\right]=0}

הכללות

ניתן לקבל בקלות את משוואת אוילר-לגראנז' באותה שיטה גם למקרים הבאים:

  • פונקציונל של N פונקציות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q_i(t)}

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\part L}{\part q_i}-\frac{d}{dt}\left[\frac{\part L}{\part q_i'}\right]=0} זהו קבוצת N משוואות, המתקיימות לכל הפונקציות

  • פונקציונל של פונקציות הפועלות על מרחב וקטורי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(\vec{r})}
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{d}{dx}\left[\frac{\part L}{\part\bigl(\frac{\part F}{\part x}\bigr)}\right]+\frac{d}{dy}\left[\frac{\part L}{\part\bigl(\frac{\part F}{\part y}\bigr)}\right]+\frac{d}{dz}\left[\frac{\part L}{\part\bigl(\frac{\part F}{\part z}\bigr)}\right]-\frac{\part L}{\part F}=0}

זהות בלטראמי

זהות בלטראמי היא צורה חלופית לניסח משוואת אוילר-לגראנז', פתרון משוואת אוילר-לגראנז' באמצעות זהות בלטראמי לרוב תהיה יותר פשוטה.

זהות בלטראמי עובדת רק בתנאי ש- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\part L}{\part x} = 0} (תנאי הקובע ש- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L } אסור להיות תלוי ישירות ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x } , הוא יכול להיות תלוי ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x } רק בצורה עקיפה דרך הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y(x) } ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y'(x) } , לא מופיע בנפרד). בעזרת תנאי זה ניתן לפשט את משוואת אוילר-לגראנז' לזהות בלטראמי.הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L - y' \frac{\part L}{\part y'}= const}

פיתוח זהות בלטראמי

תחילה נגזור את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L} לפי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} בעזרת כלל השרשרת.

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle {dL \over dx} = {\partial L \over \partial y}{dy \over dx} + {\partial L \over \partial y'}{dy' \over dx} + {\partial L \over \partial x}}

לפי התנאי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\part L}{\part x} = 0}

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle {dL \over dx} = {\partial L \over \partial y}{dy \over dx} + {\partial L \over \partial y'}{dy' \over dx}}

נפשט את הביטוי:הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle {dL \over dx} = {\partial L \over \partial y}{dy \over dx} + {\partial L \over \partial y'}{dy' \over dx} = {\partial L \over \partial y}y' + {d \over dx} \Bigl(y'{\partial L \over \partial y'} \Bigr) - {d \over dx} \Bigl({\partial L \over \partial y'}\Bigr)y' = y' \biggl({\partial L \over \partial y} - {d \over dx} \Bigl({\partial L \over \partial y'}\Bigr)\biggl) + {d \over dx} \Bigl(y'{\partial L \over \partial y'} \Bigl) } לפי משוואת אוילר-לגראנז':

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\part L}{\part y}-\frac{d}{dx}\left[\frac{\part L}{\part y'}\right]=0}

לכן הביטוי הוא:

ולכן:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle {d \over dx}\Bigl(L - y'{\partial L \over \partial y'}\Bigl) = 0 }

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

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle L - y' \frac{\part L}{\part y'}= const }

דוגמאות

דוגמה פשוטה לפונקציונל, מתחום האופטיקה, היא הזמן שאורך לקרן לעבור בין שתי נקודות דרך מסלול כלשהו במרחב. המסלול במקרה זה מיוצג על ידי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{f}(s)=\bigl(x(s),y(s),z(s)\bigr)} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x,y,z)} הן קואורדינטות ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle s} פרמטר כלשהו המגדיר את המיקום לאורך המסלול, למשל אורך הקשת או הקואורדינטה לאורך אחד הצירים. לכן אם מהירות הגל בנקודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{r}=(x,y,z)} במרחב היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle c(\vec{r})} ו־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle s} מיצג את אורך הקשת, אזי זמן המעבר בין שתי הנקודות נתון בביטוי:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T=\int\frac{ds}{c(\vec{r}(s))}}

מכאן ברור שכל מסלול של הקרן נותן, בדרך כלל, ערך שונה של זמן המעבר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} , וחשבון הווריאציות מאפשר לנו לחשב מהו המסלול עבורו זמן המעבר מינימלי (או באופן מדויק יותר אקסטרמלי), כשם שפעולת הנגזרת מאפשרת למצוא את נקודות האקסטרמום של הפונקציה. לפי עקרון פרמה המסלולים בהם הקרן אמנם עוברת הם המסלולים עבורם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T} מינימלי, ולכן חשבון הווריאציות הוא הדרך לחישוב המסלולים של קרן אור בתווך כלשהו.

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

נתון חלקיק בשדה כבידה אחיד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle g} בכיוון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} . בהנחה שבתחילת דרכו החלקיק נמצא בראשית הצירים במנוחה, מהו המסלול הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y(x)} עבורו זמן המעבר לנקודה מרוחקת (נמוכה יותר) הוא מינימלי?

כיוון שהקואורדינטה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y} מציינת את גובה החלקיק, אזי שימור האנרגיה קובע שמהירותו היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle v=\sqrt{-2gy}} . לכן פונקציונל הזמן במקרה זה הוא:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle T=\int\frac{\sqrt{1+y'(x)^2}}{\sqrt{-2gy(x)}}\,dx}


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

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

35667921חשבון וריאציות