פונקציה הומוגנית

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

במתמטיקה פונקציה הומוגנית מסדר n היא פונקציה שכאשר הארגומנטים בה מוכפלים במספר קבוע c, ערך הפונקציה מוכפל ב־cn .

הגדרה מפורטת[עריכת קוד מקור | עריכה]

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

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

דוגמאות[עריכת קוד מקור | עריכה]

העתקות לינאריות[עריכת קוד מקור | עריכה]

כל העתקה לינארית היא פונקציה הומוגנית מסדר 1 שכן על פי הגדרת הלינאריות: לכל ולכל .

פולינומים הומוגניים[עריכת קוד מקור | עריכה]

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

סכום של מונומים הומוגניים מאותו סדר יוצרים פולינום הומוגני. לדוגמה: הוא פולינום הומוגני מסדר 5.

פונקציות רציונליות[עריכת קוד מקור | עריכה]

הפונקציה הרציונלית הנוצרת מחלוקה של שני פולינומים הומוגניים, היא פונקציה הומוגנית למעט בנקודות בהן הפונקציה במכנה מתאפסת. כלומר אם f הוא פולינום הומוגני מסדר m וg הוא פולינום הומוגני מסדר n, אזי היא פונקציה הומוגנית מסדר m-n בכל הנקודות חוץ מבשורשים של g.

פונקציות רציונליות הומוגניות מסדר 0, כגון: , מוגדרות היטב על הנקודות של המישור הפרויקטיבי.

פונקציות הומגניות חלקיות[עריכת קוד מקור | עריכה]

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

במקרים אחרים הפונקציה היא הומוגנית רק עבור חלק מהפרמטרים, למשל עבור התפרקות רדיואקטיבית מספר האטומים שנשארו בחומר לאחר פרק זמן t נתון על ידי , ובעוד שמתקיים , קרי N היא פונקציה הומוגנית מסדר ראשון עבור N0, היא אינה הומוגנית במשתנים האחרים.

משפט אוילר לפונקציות הומוגניות[עריכת קוד מקור | עריכה]

ניסוח המשפט[עריכת קוד מקור | עריכה]

תהי פונקציה חלקה אזי f הומוגנית חיובית מסדר k אם ורק אם:

.

הוכחה[עריכת קוד מקור | עריכה]

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

מכיוון שהומוגניות היא תכונה שמתקיימת עבור כל , נציב ונקבל: .

תהי פונקציה חלקה המקיימת לכל .

נבחר כלשהו ונגדיר: .

כעת: .

נציב: .

ונקבל: . לכן היא פונקציה קבועה.

נשים לב ש: לכן לכל מתקיים . כלומר [1]

תוצאה[עריכת קוד מקור | עריכה]

עבור פונקציה גזירה והומוגנית חיובית מסדר k נקבל ש: היא הומוגנית מסדר k-1. כלומר:

.

תוצאה זו מתקבלת מגזירת משפט אוילר לפי . שכן על פי משפט אוילר:

.

נגזור לפי ונקבל:

.

ולכן:

. הפעלה של הצד השני של משפט אוילר תיתן את התוצאה.

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ המשפט לא תקף עבור משום שg לא מוגדרת בנקודה .