משפט גרין דיסקרטי

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

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

המשפט

הגדרת הפרמטר $\alpha _{D}$

תהי $f$ פונקציה אינטגרבילית במישור, ותהי

$F(x,y)\equiv \int \limits _{0}^{y}\int \limits _{0}^{x}f(u,v)du\,dv$

הפונקציה הקדומה שלה. יהי $D$ תחום מלבני מוכלל במישור $\mathbb {R} ^{2}$ . אזי

$\iint _{D}f(x,y)dx\,dy=\sum _{{\vec {x}}\in \nabla \cdot D}\alpha _{D}({\vec {x}})\cdot F({\vec {x}})$

כאשר $\nabla \cdot D$ קבוצת הפינות של התחום הנתון $D$ , ו-$\alpha _{D}$ הוא פרמטר דיסקרטי עם ערכים אפשריים $D\{0,\pm 1,\pm ,2\}$ , אשר נקבע על פי סוג הפינה, בהתאם לציור משמאל.

רעיון להוכחה

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

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

דוגמה

בהינתן פונקציה $f$ המוגדרת ב-$\mathbb {R} ^{2}$ , תהי $F$ הפונקציה הקדומה שלה. יהי $D$ התחום הירוק בתמונה הבאה:

אזי

${\iint _{D}f(x,y)dx\,dy=F(J)-2F(K)+F(L)-F(M)+F(N)-F(O)+F(P)+F(Q)-F(R)}$

הכללות

פאם ושותפיו הציעו הכללה לתחומים פוליגוניים על ידי תכנון דינמי.

ראו גם

• משפט גרין

לקריאה נוספת

• The discrete Green Theorem and some applications in discrete geometry

הערות שוליים

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