פתיחת התפריט הראשי

תבנית דיפרנציאלית

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

הגדרהעריכה

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

נאמר שפונקציה   היא חילופית, אם לכל   ולכל   מתקיים  .

נאמר ש-  היא פונקציה מולטילינארית, אם לכל   ולכל   מתקיים  .

נסמן את מרחב הפונקציות ה-k מולטילינאריות ומתחלפות ב- . קבוצה זו היא מרחב וקטורי מעל הממשיים.

אם כן, תבנית k-דיפרנציאלית ב-  בעלת התחום   היא פונקציה  .

מבנה כלליעריכה

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

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

(כאשר det היא הדטרמיננטה), שתקרא ההטלה לפי האינדקסים   ב- . נהוג גם לסמן תבנית זו על ידי  , כאשר   מכונה "wedge product" (ראו "פעולות על תבניות" בהמשך).

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

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

דוגמאותעריכה

  • במקרה k=n=1, תבנית -1 כללית היא מהצורה  , כאשר f פונקציה ממשית.
  • תבנית-1 כללית ב  היא מהצורה  , כאשר   פונקציות ממשיות.
  • תבנית-2 כללית ב  היא מהצורה  , כאשר P,Q,R פונקציות ממשיות.

פעולות על תבניותעריכה

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

 

למשל, ב-  מתקיים  .

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

 .

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

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

תכונותעריכה

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

ראו גםעריכה

קישורים חיצונייםעריכה