פתיחת התפריט הראשי

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

הגדרה מפורטתעריכה

תהי   פונקציה בין שני מרחבים וקטורים מעל לשדה  , ויהי 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 לא מוגדרת בנקודה  .