הצגת המקור של הדף "תנאי שפה"

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

כאשר המשוואות הדיפרנציאליות הן ייצוג של בעיה [[פיזיקה|פיזיקלית]] כלשהי, לרוב מדובר במשוואה עם פונקציה של ה[[זמן]] או ה[[מרחב (פיזיקה)|מרחב]]. במקרה שתנאי השפה נתונים לרגע <math>\ t=0</math>, קוראים לתנאים '''תנאי התחלה'''. תנאי השפה הם חלק מהותי מבעיות כמו [[משוואת לפלס]] וידיעתם חיונית לפתרון.

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

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

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

תנאי השפה מתחלקים לשלושה סוגים עיקריים:
#'''תנאי דיריכלה''' – כאשר נתון ערכה של הפונקציה על השפה
#'''תנאי ניומן''' – כאשר נתון ערכה של נגזרת הפונקציה על השפה
#'''תנאי קושי''' – כאשר נתונים גם ערכים של הפונקציה וגם של נגזרותיה. תנאי התחלה הוא [[מקרה פרטי]] של תנאי קושי.

במקרים רבים, המשוואה יחד עם תנאי השפה מסוג מסוים נקראים יחד '''בעיה''', למשל "בעיית קושי" או "בעיית התחלה".

==דוגמאות==
===מתנד הרמוני===
המשוואה הדיפרנציאלית המתארת [[מתנד הרמוני]] עם קבוע [[קפיץ]] שקבועו ידוע <math>k \in \mathbb{R}</math> היא משוואה דיפרנציאלית רגילה מסדר שני:
:<math>\, y''(x)+ k^2 y(x)=0 </math>
זו בעיית [[שטורם ליוביל|שטרום ליוביל]] עם [[פולינום אופייני]] <math>r^2 + k^2 = 0</math> שהפתרון הכללי של המשוואה ל <math>k > 0</math> ([[שורש של מספר|שורשים]] [[מרוכבים]]) הוא מהצורה:
:<math>\, y(x) = A \sin(kx) + B \cos(kx)</math>
כאשר A ו-B הם שני קבועים המהווים דרגות חופש של הפתרון, ומספרם כסדר המשוואה הדיפרנציאלית הרגילה. על מנת לקבל פתרון מדויק של הפונקציה המתארת את המתנד ההרמוני דרושים שני תנאי שפה. אם תנאי השפה הם מסוג דיריכלה, הפונקציה ידועה בשתי נקודות. לדוגמה:
:<math>y(0)=0, \ y(\pi/2k)=2</math>
מהתנאי <math>y(0)=0</math> מקבלים:
:<math>0 = A \cdot 0 + B \cdot 1</math>
ומתנאי השפה <math>y(\pi/2k)=2</math> מקבלים:
:<math>2 = A \cdot 1 </math>
מכאן שפתרון המשוואה הדיפרנציאלית עם תנאי השפה הללו הוא:
:<math>y(t)=2\sin(kx) \,</math>
:

===משוואת לפלס===
{{ערך מורחב|משוואת לפלס}}
משוואת לפלס היא המשוואה הדיפרנציאלית החלקית:
:<math>\nabla^2 f = 0 </math>
כאשר <math>\nabla^2</math> הוא [[אופרטור]] ה[[לפלסיאן]]. בעיה מסוג דיריכלה היא פתרון המשוואה כך שערכיה על השפה הכולאת את אזור הבעיה שווים לפונקציה ידועה. דוגמה לבעיה כזאת היא [[משוואת החום]]: ה[[טמפרטורה]] על משטח סגור נקבעת על ידי גורם חיצוני (והיא לאו דווקא אחידה על פניו), ויש למצוא את הטמפרטורה באזור שכלוא על ידי המשטח לאחר זרימת חום והתייצבות הטמפרטורה.

אם אזור הבעיה הוא בצורת [[תיבה (גאומטריה)|תיבה]] אופרטור הלפלסיאן יילקח ב[[קואורדינטות קרטזיות]]. אם <math>f(x,y,z) \,</math> ניתנת להפרדת משתנים והתיבה ארוכה מאוד באחד הכיוונים (למשל ציר z) כך שהטמפרטורה תלויה רק בשתי קואורדינטות, הפתרון הבסיסי הוא מכפלה של פתרונות המתנד ההרמוני בשתי קואורדינטות אלה. אולם כעת על מנת לקבל פתרון מדויק יש צורך בידיעת הפתרון על פני כל שפת התיבה. הפתרון הכללי הוא סכום על כל הפתרונות עם קבועים k המקיימים את תנאי השפה:
:<math>\, f(x,y) = \sum_{n,m=0}^\infty (A_{nm} \sin(k_n x) + B_{nm} \cos(k_n x))(C_{nm} \sin(k_m y) + D_{nm} \cos(k_m y))</math>
המקדמים <math>\ A_{mn}, B_{mn}, C_{nm}, D_{nm}</math> הם [[סדרה (מתמטיקה)|סדרות]] של שני משתנים וגם הם נקבעים על ידי תנאי השפה.

===משוואת הגלים===
{{ערך מורחב|משוואת הגלים}}
משוואת הגלים היא משוואה דיפרנציאלית חלקית מסדר שני. בשלושה ממדים המשוואה היא:
:<math>\ \frac{\partial^2 }{\partial t^2} \psi(t,\vec{r}) - c^2 \ \nabla ^2 \psi(t,\vec{r})=0 </math>

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

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

==קישורים חיצוניים==
* {{בריטניקה}}
* {{דף שער בספרייה הלאומית|987007283987505171|בעיות ערך שפה}}
* {{MathWorld}}

{{בקרת זהויות}}

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