משפט הערך הממוצע של גאוס
במתמטיקה, משפט הערך הממוצע של גאוס הוא שמם של שני משפטים דומים:
- משפט הערך הממוצע של גאוס באנליזה מרוכבת: הערך שפונקציה הולומורפית מקבלת בנקודה הוא ממוצע הערכים שהיא מקבלת במעגל סביב הנקודה.
- משפט הערך הממוצע של גאוס לפונקציות הרמוניות: הערך שפונקציה הרמונית מקבלת בנקודה הוא ממוצע הערכים שהיא מקבלת בספירה סביב הנקודה.
הדמיון בין המשפטים אינו מקרי. החלק הממשי והמרוכב של פונקציה הולומורפית הן פונקציות הרמוניות.
משפט הערך הממוצע של גאוס באנליזה מרוכבת משמש ככלי מרכזי להוכחת תכונות חשובות של פונקציות הולומורפיות, כגון משפט היחידות ומשפט השאריות. בנוסף, משפט הערך הממוצע של גאוס לפונקציות הרמוניות משמש בהוכחת תכונות חשובות של פונקציות הרמוניות כמו עקרון המקסימום ההרמוני. השימוש במשפטים אלו רחב גם בתחומים אחרים של המתמטיקה והפיזיקה, במיוחד בבעיות פוטנציאל ובתורת השדות.
פונקציות הולומורפיות
תהי פונקציה הולומורפית, ויהי כך שהעיגול ברדיוס סביב נקודה מוכל בתחום של . אזי:
הוכחה
יהי . לפי נוסחת האינטגרל של קושי:
היא פרמטריזציה של המעגל . לכן:
פונקציות הרמוניות
מהשוויון הנ"ל ניתן להסיק שוויון אנלוגי לפונקציות הרמוניות.
נניח ש- פונקציה הרמונית בתחום פשוט קשר פתוח. לפי משפט מאנליזה מרוכבת, היא מהווה חלק ממשי של פונקציה אנליטית על התחום. עבור מתקיים השוויון לעיל, ולכן אם נוציא חלק ממשי נקבל (בגלל שאינטגרל על פונקציה מרוכבת בגבולות ממשיים מוגדר להיות האינטגרל על החלק הממשי שלה ואנטגרל על החלק המדומה שלה כפול i) :
תכונה זו נקראת תכונת הערך הממוצע לפונקציות הרמוניות. לפי משפט, פונקציה היא הרמונית אם ורק אם היא מקיימת את תכונת הערך הממוצע.
(כאשר ). להכללה של העקרונות הללו ראו גרעין פואסון.
ראו גם
קישורים חיצוניים
אנליזה מרוכבת | ||
---|---|---|
בסיס | מספר מרוכב • שדה המספרים המרוכבים • המשפט היסודי של האלגברה • הספירה של רימן • נוסחת אוילר (אנליזה מרוכבת) | |
פונקציות | פונקציה מרוכבת • פונקציה שלמה • פונקציה אנליטית • פונקציה הולומורפית • פונקציה אוניוולנטית • נוסחת אוילר • העתקת מביוס • משפט ההעתקה של רימן | |
נגזרות | משוואות קושי-רימן • העתקה קונפורמית • טור לורן | |
אינטגרל | משפט ההערכה • משפט האינטגרל של קושי • נוסחת האינטגרל של קושי • משפט מוררה • משפט ליוביל | |
סינגולריות | סינגולריות • סינגולריות סליקה • קוטב • סינגולריות עיקרית • משפט קזוראטי-ויירשטראס • נקודת הסתעפות | |
משפט השאריות | משפט השאריות • עקרון הארגומנט • משפט רושה | |
עקרון המקסימום | עקרון המקסימום • למת שוורץ • משפט הערך הממוצע של גאוס | |
אנליזה מתמטית • חשבון אינפיניטסימלי • אנליזה וקטורית • טופולוגיה • אנליזה מרוכבת • אנליזה פונקציונלית • תורת המידה |
משפטי יסוד באנליזה מרוכבת | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
משפט הערך הממוצע של גאוס41594053Q16129814