למרות הזיקה ההדוקה של התחום למדעי המחשב, התחום של אנליזה נומרית הקדים את המצאת המחשבים במאות רבות. אינטרפולציה ליניארית הייתה כבר בשימוש לפני יותר מאלפיים שנים. ושיטות מתקדמות יותר כבר הופיעו בתשעת הפרקים של אמנות המתמטיקה שמתוארך לשנת 179 לספירה. הרבה מתמטיקאים מפורסמים תרמו במהלך ההיסטוריה תרומות נכבדות לתחום, ניתן לראות זאת משמות חלק מהאלגוריתמים בתחום, לדוגמה שיטת ניוטון-רפסון, צורת לגראנז' לחישוב אינטרפולציה, שיטת החילוץ של גאוס ושיטת אוילר.
כדי להקל על החישובים ביד שהיו ארוכים ומסורבלים, נוצרו ספרים שהכילו נוסחאות ומידע רב (לדוגמה מקדמי פונקציה וערכי פונקציה בנקודות מסוימות). על ידי חיבור של נוסחאות ושימוש במידע שהיה בטבלאות ניתן היה להגיע להערכות נומריות טובות. כיום בעידן המחשב, טבלאות ובהן ערכי הפונקציות שימושיות פחות, אף על פי שרשימה של נוסחאות עדיין יכולה להיות שימושית.
שיטות ישירות ואיטרטיביות.
שיטות ישירות מחשבות את הפתרון במספר סופי של צעדים. השיטות הללו היו נותנות פתרון מדויק אם הן היו מופעלות בדיוק אינסופי. למעשה, במציאות משתמשים בדיוק מוגבל (בגלל מגבלות זיכרון), ולכן השיטות הללו נותנות קירוב של הפתרון (בהנחה של יציבות נומרית). בין השיטות הללו ניתן למצוא את שיטת החילוץ של גאוס, פירוק QR בעבור פתרון של מערכת משוואות ליניארית, ואת שיטת הסימפלקס בעבור תכנון ליניארי.
בניגוד לשיטות ישירות, שיטות איטרטיביות לא אמורות להחזיר את הפתרון המדויק תוך מספר סופי של צעדים. שיטות איטרטיביות מתחילות מניחוש התחלתי כדי לייצר סדרת קירובים טובים יותר ויותר לפתרון בעיה נתונה, כאשר הקירוב ה-n-י מחושב על ידי הקירובים שלפניו. הקירובים יתכנסו לפתרון המדויק בדרך כלל רק לאחר אינסוף איטרציות (גבול סדרת הקירובים הוא הפתרון). ומבחני התכנסות נועדו להחליט מתי פתרון מדיוק מספיק נמצא. אפילו אם היה נעשה שימוש בדיוק אינסופי, שיטות אלו בדרך כלל תתכנסנה לפתרון במספר סופי של צעדים. שיטת ניוטון-רפסון, שיטת החצייה, שיטת גאוס-זיידל ושיטת יעקובי למציאת ערכים עצמיים הן דוגמאות לשיטות איטרטיביות.
שיטות איטרטיביות יופעלו בדרך כלל על בעיות שאין להן שיטה ישירה לפתרון. אולם נפוץ השימוש בהן גם במקרים שקיים פתרון ישיר אבל מספר הצעדים הנדרשים כדי לחשבו הוא גדול מדי, ולכן מסתפקים בקירוב לפתרון.
שיטה טובה מקיימת את שלוש התכונות הבאות:
לעיתים קרובות התכונות הללו באות זו על חשבונה של האחרת. למשל, בדרך כלל שיטה אחת תהיה בעלת התכנסות מהירה (ודיוק מופחת) בעוד שהשנייה תהיה יותר מדויקת (אבל זמן התכנסות ארוך יותר). פירוש הדבר שאין אלגוריתם שהוא הטוב ביותר בכל המקרים. שיטה נפוצה להתמודד עם המצב היא לשלב כמה שיטות ביחד, כלומר לקבל תוצאה מקורבת משיטה א' ובתוצאה הזו להשתמש כניחוש התחלתי לשיטה ב' (לדוגמה, אפשר להריץ שיטה בעלת התכנסות גבוהה כדי לקבל פתרון מקורב שקרוב יחסית לפתרון המוחלט ואז להכניס את הפתרון בתור ניחוש לשיטה בעלת התכנסות מדויקת (איטית יותר), וכיוון שהניחוש ההתחלתי של השיטה הזו קרוב לפתרון המוחלט לא ייקח לה הרבה זמן לקבל תוצאה מדויקת. וכך אפשר להבטיח גם התכנסות מהירה וגם התכנסות מדויקת).
אף על פי שאנליזה נומרית עושה שימוש באקסיומות, תאוריות והוכחות תאורטיות, היא יכולה להשתמש בתוצאות אמפיריות של חישובי מחשב על מנת לחקור שיטות חדשות ולנתח בעיות. בכך היא ייחודית בהשוואה לתחומי מתמטיקה אחרים.
תחומי מחקר.
אינטרפולציה, אקסטרפולציה ורגרסיה.
אינטרפולציה פותרת את הבעיה הבאה: בהינתן הערך של פונקציה לא ידועה בכמה נקודות, מהו הערך של הפונקציה בנקודה אחרת שנמצאת בין הנקודות הנתונות?
אקסטרפולציה מאוד דומה לאינטרפולציה, רק שהנקודה שאת ערכה רוצים לדעת היא מחוץ לתחום הנקודות הנתונות.
רגרסיה גם דומה, אולם ההנחה ברגרסיה היא שהנתונים לא מדויקים בהכרח. בהינתן הערך של פונקציה לא ידועה בכמה נקודות (עם שגיאה), רגרסיה מאפשרת לחשב את הפונקציה המקורית.
חישוב אינטגרלים.
בעוד שחלק מהאינטגרלים ניתן לחשב באמצעות שיטות אנליטיות הרי יש אינטגרלים אותם לא ניתן לחשב בצורה כזאת. לדוגמה לא קיים פתרון אנליטי לאינטגרל formula_1, אולם למרות זאת הוא ניתן לחישוב בצורה נומרית.
שיטות נפוצות הן: נוסחאות ניוטון-קוטס (שמקרה פרטי שלהן הוא שיטת הטרפז) שמחלקת את האורך לקטעים שווים, שיטת רומברג (שיטה העושה שימוש בשיטת הטרפז עם מרווחים לא קבועים), שיטת גאוס ושיטת מונטה קרלו. שיטות אלו גם מתחלקות לשיטות פתוחות (לא עושות שימוש בנקודות הקצה, אלא רק בנקודות פנימיות של התחום), ושיטות סגורות (עושות שימוש בכל הנקודות הנתונות).
פתרון משוואות ומערכות משוואות.
בעיה בסיסית אחרת היא חישוב פתרון למשוואה נתונה. שני המקרים העיקריים הם משוואות ליניאריות, ומשוואות לא ליניאריות. לדוגמה formula_2 היא משוואה ליניארית, בעוד formula_3 אינה ליניארית.
מאמץ רב הושקע לאורך השנים בפיתוח שיטות לפתרון של מערכת משוואות ליניאריות. שיטות ישירות כגון שיטת האלימינציה של גאוס. וכאלו שמתבססות על פירוק המטריצה כגון פירוק LU ופירוק QR למטריצות כלליות ופירוק שולסקי כאשר המטריצה היא הרמיטית חיובית. שיטות איטרטיביות כגון שיטת גאוס-זיידל מועדפות בדרך כלל כאשר מספר המשתנים גדול.
שיטות לפתרון משוואות לא ליניאריות כוללות את שיטת ניוטון רפסון, וכדי לפתור מערכת משוואות לא ליניארית קיימות שיטות כמו Gradient descent.
פתרון משוואות דיפרנציאליות.
אנליזה נומרית עוסקת גם בחישוב פתרונות (מקורבים) למשוואות דיפרנציאליות, בין אם המשוואה היא משוואה דיפרנציאלית רגילה ובין אם היא משוואה דיפרנציאלית חלקית. מכיוון שקיימים מקרים רבים בהם לא ניתן לפתור את המשוואה באופן אנליטי (למשל עבור בעיה של התפשטות קול בחדר מרובע, הוספת שולחן יוצרת בעיה שאינה פתירה באופן אנליטי).
שיטות לפתרון משוואות דיפרנציאליות חלקיות כוללות בין היתר את שיטת האלמנטים הסופיים ואת שיטת ההפרש הסופי בתחום הזמן. שתיהן עושות שימוש בחלוקת המרחב לקטעים קטנים בהתאם לדיוק הרצוי, כך שבין אזורים אלו ההבדלים בערך הפונקציה הנעלמת קטנים.
אופטימיזציה.
בעיות אופטימיזציה מבקשות למצוא את הנקודה שבה ערך הפונקציה יהיה מקסימלי (או מינימלי). בדרך כלל על הנקודה לקיים אילוצים שונים (לדוגמה להיות בתוך תחום מסוים).
בעיות אופטימיזציה ידועות הן לדוגמה תכנון ליניארי (כאשר פונקציית המטרה והאילוצים הם ליניאריים), תכנון לא-ליניארי (כאשר לפחות אחת מהפונקציות אינה ליניארית), אופטימיזציה קמורה, תכנון ליניארי בשלמים ועוד.
האלגוריתמים המוכרים ביותר לפתרון בעיות אופטימיזציה הם אלגוריתם הסימפלקס בעבור בעיות תכנון ליניארי, Gradient descent למציאת מינימום של פונקציה ושיטת פורד-פלקרסון (ומימושים יעילים שלה כגון אלגוריתם אדמונדס-קארפ ואלגוריתם דיניץ) בעבור בעיות זרימה.
דוגמה.
אנליזה נומרית מאפשרת להפוך תוצאות מתמטיות אבסטרקטיות (למשל formula_4) לתוצאות עשרוניות. אנליזה נומרית אפשרה למשל למחשב (ל-Word ליתר דיוק) לצייר את העיגול הבא:
קוטרו של העיגול הוא 4.76 ס"מ והנקודה הכחולה ממוקמת ב-45 מעלות יחסית למרכז העיגול (הנקודה השחורה).
החישוב נעשה בדרך הבאה, בהנחה כי מרכז העיגול הוא ראשית הצירים (זאת הנחה סבירה כי אפשר להביא את החלון למצב כזה על ידי הגדרות כלליות שלו, בלי צורך לשנות את החישוב עצמו):
formula_6
formula_7
בציור זה משתמשים באנליזה נומרית בצורה פשוטה יחסית פעמיים, בשני המקרים מדובר על שימוש בפיתוח טיילור שהוא קירוב של טור טיילור המתמטי. השימוש הוא על מנת לחשב את הפונקציות הטריגונומטריות שאינן נמנות עם הפעולות הבסיסיות שהמעבד יכול לבצע (כמו חיבור).
אנליזה נומרית נדרשה גם בשביל לקבוע את המיקום המדויק של הנקודה. לכאורה אין בעיה מכיוון שבמתמטיקה ידועה התוצאה:
formula_9
אולם המחשב איננו יכול לעבוד עם סימולים כמו formula_10 על מנת להציבם ב-x, y שהופיעו בחישוב המעגל אלא הוא זקוק לייצוג בינארי של הסימולים, ייצוג המושג על ידי אנליזה נומרית מאפשר למחשב (לאחר הכפלה ברדיוס המעגל) לצייר את הנקודה.
אסלאם שיעי
אסלאם שיעי (בערבית: شيعة; תעתיק מדויק: שיעה) הוא הזרם השני בגודלו באסלאם, המונה כ-15% מהמוסלמים בעולם (הזרם הגדול, הסונה, מונה כ-80% מהמוסלמים). השיעים רואים בעלי בן אבי טאלב, בן דודו של מוחמד ובעלה של פאטמה בתו (שקיבל עליו את האסלאם ראשון או שני אחריו), הח'ליף הרביעי, את יורשו הבלעדי של מוחמד. הם אינם מכירים בשלושת הח'ליפים הראשונים אבו בכר, עומר ועות'מאן.
ייסוד הזרם השיעי מיוחס לבנו של עלי, חוסין, שהוא ו-70 מבני משפחתו נרצחו בעיר כרבלא שבעיראק בשנת 680 על ידי צבא סוני. לזכר הירצחו מציינים השיעים את חג העשוראא ובתוכו את טקס התעזיה בו הם מכים את עצמם עד זוב דם לזכר ייסוריו. בשל ההיסטוריה של רדיפת השיעים בידי הסונים, השקפת העולם השיעית ככלל קודרת ופסימית. משמעות המילה "שיעה" מלשון "סיעה", "פלג", "קבוצה", או בהשאלה מהיהדות, "חסידות".
לשיעים עמוד אמונה שישי, הוולאיה, על החמישה המקובלים באסלאם, והוא האמונה שמנהיג האסלאם (אימאם) חייב להיות מזרע עלי בלבד ולו סמכות בלעדית בקדושה וחולין. השיעים גם מאמינים שבכל דור ודור, ישנו מנהיג שמתווך בין אלוהים לבין המאמינים, ובדור הנוכחי הוא נסתר ועדיין לא התגלה.