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

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

הגדרה

באופן כללי, ניתן לדבר על תבנית k-דיפרנציאלית (וכשההקשר ברור נאמר פשוט תבנית k) במרחב ${\mathbb {R} }^{n}$, כאשר $k\leq n$ מספרים טבעיים כלשהם, ו-הפענוח נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle \Omega \subset {\mathbb {R} }^{n}} .

נאמר שפונקציה $f:{({\mathbb {R} }^{n})}^{k}\rightarrow \mathbb {R}$ היא חילופית, אם לכל ${v}_{1},...,{v}_{k}\in {\mathbb {R} }^{n}$ ולכל $1\leq i<j\leq k$ מתקיים $f({v}_{1},..,{v}_{i},..,{v}_{j},..,{v}_{k})=-f({v}_{1},..,{v}_{j},..,{v}_{i},..,{v}_{k})$.

נאמר ש-$f$ היא פונקציה מולטילינארית, אם לכל הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle { v }_{ 1 },...,{ v }_{ k },w \in { \mathbb {R} }^{ n };a,b\in \mathbb {R}} ולכל $1\leq i\leq k$ מתקיים הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f({ v }_{ 1 },...,a{ v }_{ i }+bw,...,{ v }_{ k })=af({ v }_{ 1 },...,{ v }_{ i },...,{ v }_{ k })+bf({ v }_{ 1 },...,w,...,{ v }_{ k })} .

נסמן את מרחב הפונקציות ה-k מולטילינאריות ומתחלפות ב-הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle { \Lambda }^{ k }({ \mathbb {R} }^{ n })} . קבוצה זו היא מרחב וקטורי מעל הממשיים.

אם כן, תבנית k-דיפרנציאלית היא פונקציה $\omega :\Omega \rightarrow {\Lambda }^{k}({\mathbb {R} }^{n})$.

מגדירים גם תבנית 0-דיפרנציאלית פשוט על ידי $\omega =f(x)$ כאשר f פונקציה ממשית שתחומה הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \Omega} .

מבנה כללי

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

לצורך מציאת מבנה זה, נכליל את ההטלות ממשתנה אחד לכמה משתנים, באופן הבא: לכל אינדקסים $1\leq {i}_{1}<{i}_{2}<...<{i}_{k}\leq n$ נגדיר תבנית k : ${\pi }_{{i}_{1},{i}_{2},...,{i}_{k}}({v}^{1},...,{v}^{k})=\det {\begin{pmatrix}{{v}^{1}}_{{i}_{1}}&...&{{v}^{k}}_{{i}_{1}}\\...&...&...\\{{v}^{1}}_{{i}_{k}}&...&{{v}^{k}}_{{i}_{k}}\end{pmatrix}}$

(כאשר det היא הדטרמיננטה), שתקרא ההטלה לפי האינדקסים ${i}_{1},{i}_{2},...,{i}_{k}$ ב-${\mathbb {R} }^{n}$. נהוג גם לסמן תבנית זו על ידי ${dx}_{{i}_{1}}\wedge {dx}_{{i}_{2}}\wedge ...\wedge {dx}_{{i}_{k}}$, כאשר $\wedge$ מכונה "wedge product" (ראו "פעולות על תבניות" בהמשך).

ניתן להוכיח כי הקבוצה $\{{\pi }_{{i}_{1},{i}_{2},...,{i}_{k}}:1\leq {i}_{1}<{i}_{2}<...<{i}_{k}\leq n\}$ היא בסיס ל הפענוח נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle {\Lambda }^{k}({\mathbb {R} }^{n})} , ובפרט ממדו הוא המקדם הבינומי ${\tbinom {n}{k}}$.

אם כן, כל תבנית k ניתן לרשום מהצורה $\omega =\sum {{\omega }_{{i}_{1},{i}_{2},...,{i}_{k}}{\pi }_{{i}_{1},{i}_{2},...,{i}_{k}}}=\sum {{\omega }_{{i}_{1},{i}_{2},...,{i}_{k}}{dx}_{{i}_{1}}\wedge {dx}_{{i}_{2}}\wedge ...\wedge {dx}_{{i}_{k}}}$ כאשר הסכום הוא על כל האינדקסים הסדורים, ו-הפענוח נכשל (שגיאת המרה. השרת ("https://en.wikipedia.org/api/rest_") השיב: "Cannot get mml. Server problem."): {\displaystyle {\omega }_{{i}_{1},{i}_{2},...,{i}_{k}}} פונקציות ממשיות שתחומן הוא $\Omega \subset {\mathbb {R} }^{n}$.

דוגמאות

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

• תבנית-1 כללית ב${\mathbb {R} }^{n}$ היא מהצורה ${f}_{1}d{x}_{1}+...+{f}_{n}d{x}_{n}$, כאשר ${f}_{1},...,{f}_{n}$ פונקציות ממשיות.

• תבנית-2 כללית ב${\mathbb {R} }^{3}$ היא מהצורה $p(x,y,z)dy\wedge dz+Q(x,y,z)dz\wedge dx+R(x,y,z)dx\wedge dy$, כאשר P,Q,R פונקציות ממשיות.

פעולות על תבניות

• סכום

אם $\omega =\sum {{\omega }_{{i}_{1},...,{i}_{k}}{dx}_{{i}_{1}}\wedge ...\wedge {dx}_{{i}_{k}}};\tau =\sum {{\tau }_{{i}_{1},...,{i}_{k}}{dx}_{{i}_{1}}\wedge ...\wedge {dx}_{{i}_{k}}}$ שתי תבניות-k, אז החיבור ביניהן מוגדר באופן הטבעי - $\omega +\tau =\sum {({\omega }_{{i}_{1},...,{i}_{k}}+{\tau }_{{i}_{1},...,{i}_{k}}){dx}_{{i}_{1}}\wedge ...\wedge {dx}_{{i}_{k}}}$.

• מכפלה

אם $\omega =\sum {{\omega }_{{i}_{1},...,{i}_{k}}{dx}_{{i}_{1}}\wedge ...\wedge {dx}_{{i}_{k}}}$ תבנית-k, ו-$\tau =\sum {{\tau }_{{j}_{1},...,{j}_{l}}{dx}_{{j}_{1}}\wedge ...\wedge {dx}_{{j}_{l}}}$ תבנית-l, אז מכפלת התבניות היא תבנית-k+l המוגדרת כך: $\omega \wedge \tau =\sum {{\omega }_{{i}_{1},...,{i}_{k}}{\tau }_{{j}_{1},...,{j}_{l}}{dx}_{{i}_{1}}\wedge ...\wedge {dx}_{{i}_{k}}}\wedge {dx}_{{j}_{1}}\wedge ...\wedge {dx}_{{j}_{l}}$

למשל, ב-${\mathbb {R} }^{3}$ מתקיים $(xdy+zdx)\wedge dz=xdy\wedge dz+zdx\wedge dz$.

• דיפרנציאל

פעולה זו מכלילה את הדיפרנציאל של פונקציה ממשית לתבניות דיפרנציאליות.

נאמר שתבנית $\omega =\sum {{\omega }_{{i}_{1},...,{i}_{k}}{dx}_{{i}_{1}}\wedge ...\wedge {dx}_{{i}_{k}}}$ היא תבנית דיפרנציאבילית אם הפונקציות ${\omega }_{{i}_{1},...,{i}_{k}}$ כולן דיפרנציאביליות. אם כך, מגדירים את הדיפנציאל של התבנית להיות ה-k+1 תבנית הבאה: $d\omega =\sum {d{\omega }_{{i}_{1},...,{i}_{k}}{dx}_{{i}_{1}}\wedge ...\wedge {dx}_{{i}_{k}}}=\sum {\sum _{t=1}^{n}{{\frac {{\partial \omega }_{{i}_{1},...,{i}_{k}}}{\partial {x}_{t}}}d}{x}_{t}\wedge {dx}_{{i}_{1}}\wedge ...\wedge {dx}_{{i}_{k}}}$.

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

תכונות

• חילופיות החיבור - $\omega +\tau =\tau +\omega$.

• ${dx}_{i}\wedge {dx}_{i}=0$.

• אנטי סימטריות הכפל - ${dx}_{i}\wedge {dx}_{j}=-{dx}_{j}\wedge {dx}_{i}$.

• אם $\omega$ תבנית-k ו-$\tau$ תבנית-l, אז $\omega \wedge \tau ={(-1)}^{kl}\tau \wedge \omega$. בפרט, אם k=l מספר אי זוגי, מתקבל ${\omega }^{2}=0$ .

• אם $\omega$ תבנית-k ו-$\tau$ תבנית-l שתיהן דיפרנציאביליות, מתקיים כלל לייבניץ המוכלל לתבניות - הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle d(\omega \wedge \tau )=\tau d\omega +{ (-1) }^{ k }\omega d\tau } .

• אם הפענוח נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \omega} תבנית-k גזירה ברציפות פעמיים, מתקיים $d(d(\omega ))=0$.

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

ראו גם

• אנליזה וקטורית
• משפט סטוקס