תרבוע גאוסיאני

השוואה בין תרבוע גאוסיאני לתרבוע טרפזואידי ב-2 נקודות. הקו הכחול הוא הפולינום $y(x)=7x^{3}-8x^{2}-3x+3$, אשר האינטגרל שלו בקטע [1,1-] הוא 2/3. כלל הטרפז מחזיר את האינטגרל של הקו הכתום המקווקו, ששווה ל-$y(-1)+y(1)=-10$. כלל התרבוע הגאוסיאני מחזיר את האינטגרל של הקו השחור המקווקו, והוא שווה ל-$y(-{\sqrt {\scriptstyle 1/3}})+y({\sqrt {\scriptstyle 1/3}})=2/3$. התוצאה היא מדויקת, כיוון ששטח האזור הירוק שווה לסכום שטחי האזורים האדומים.

באנליזה נומרית, כלל תרבוע הוא שיטת קירוב של האינטגרל המסוים של פונקציה, שבדרך כלל מנוסח כסכום משוקלל של ערכים של הפונקציה בנקודות מסוימות בתוך תחום האינטגרציה. כלל תרבוע גאוסיאני בעל n נקודות הוא כלל תרבוע שנבנה במיוחד לצורך חישוב תוצאה מדויקת לאינטגרל של פולינומים ממעלה $2n-1$ או פחות באמצעות בחירה מתאימה של הצמתים x_i והמשקלים w_i בעבור i= 1, ..., n. תחום האינטגרציה השכיח ביותר של פונקציות הוא הקטע [1,1-], כך שהכלל מנוסח למקרים אלו כך:

$\int _{-1}^{1}f(x)\,dx\approx \sum _{i=1}^{n}w_{i}f(x_{i}),$

והוא מדויק רק לפולינומים ממעלה $2n-1$ ומטה. כלל זה ידוע בשם תרבוע גאוס–לז'נדר. המתודולוגיה של תרבוע גאוסיאני אפקטיבית יותר לעומת שיטת האינטרפולציה של ניוטון-קוטס, משום שמאפשרת לחשב אינטגרל של פולינומים ממעלה n-1 באמצעות מספר נקודות קטן מ-n. היא הוצגה לראשונה על ידי קרל פרידריך גאוס במאמר מ־1814.

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

המקרה הכללי מנוסח באופן הבא: יהי אינטגרל מהצורה $I_{f}=\int _{a}^{b}f(x)w(x)dx$ ($w(x)$ פונקציית משקל), אזי קיימות נקודות $x_{1},\dots x_{n}$ ומשקלים $b_{1},\dots b_{n}$ שעבורם כלל הסכימה $S_{f}=\sum _{j=1}^{n}b_{j}f(x_{j})$ מקיים $I_{f}\approx S_{f}$, כאשר הקירוב הוא מסדר דיוק אלגברי של $2n$ (כלומר $I_{f}=S_{f}$ לכל $f$ פולינום המקיים $deg(f)\leq 2n-1$). גאוס הוכיח גם שלא קיים כלל סכימה (תרבוע) בעל דיוק אלגברי גדול יותר, ושקיים רק כלל תרבוע יחיד בעל דיוק אלגברי של $2n$.

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

• תרבוע גאוסיאני, באתר MathWorld (באנגלית)