תנאי שפה

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

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

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

דוגמאות

מתנד הרמוני
המשוואה הדיפרנציאלית המתארת מתנד הרמוני עם קבוע קפיץ שקבועו ידוע  היא משוואה דיפרנציאלית רגילה מסדר שני:

זו בעיית שטרום ליוביל עם פולינום אופייני   שהפתרון הכללי של המשוואה ל  (שורשים מרוכבים) הוא מהצורה:

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

מהתנאי  מקבלים:

ומתנאי השפה  מקבלים:

מכאן שפתרון המשוואה הדיפרנציאלית עם תנאי השפה הללו הוא:

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

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

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

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

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

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

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

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

משוואות דיפרנציאליות
תורת הפוטנציאל