המשוואה הפונקציונלית של קושי

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

המשוואה הפונקציונלית של קושי היא המשוואה הפונקציונלית

\ \forall x\,\forall y\,: f(x+y)=f(x)+f(y) .

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

כמו בכל משוואה פונקציונלית אחרת, הבעיה היא למצוא את הפונקציות \ f המקיימות את התנאי שהוזכר לעיל. מעל המספרים הרציונליים, כלומר, עבור פונקציות \ f : \mathbb{Q}\rightarrow \mathbb{Q}, ניתן להראות בנקל שכל פתרון הוא לינארי, מהצורה \ f(x) = cx, כאשר \ c\in \mathbb{Q} הוא קבוע שרירותי. משפחה זו של פתרונות היא נכונה בבירור גם מעל המספרים הממשיים, אבל שם קיימים גם פתרונות אחרים. הטלת מגבלות נוספות על \ f מביאה לפסילת פתרונות אלה, כך שנותרים רק הפתרונות הלינאריים. למשל:

  • \ f רציפה בנקודה אחת. תנאי זה גורר רציפות בכל נקודה. אכן, לכל מספר ממשי נתון, קיימת סדרה של מספרים רציונליים המתכנסת אליו. באמצעות הגדרת הרציפות של היינה, ניתן להשתמש בכך על מנת להראות כי כל פתרון למשוואה מעל הממשיים הוא מהצורה דלעיל. מספיק לדרוש כי הפונקציה תהיה רציפה בנקודה אחת, שכן אם \ f רציפה בנקודה x \in \mathbb{R} ונדרש להראות את רציפותה בנקודה \ y \in \mathbb{R}, משתמשים במשוואה הפונקציונלית ומקבלים \ f(y + \delta) - f(y) = f(x + \delta) - f(x) \to 0 כאשר \ \delta\to 0.

ב-1905 הוכיח גיאורג המל, תוך שימוש בבסיס המל, כי (בהנחת אקסיומת הבחירה) ללא הנחות נוספות על \ f מעבר למשוואה היסודית, קיימות אינסוף פונקציות אחרות שמקיימות את המשוואה. הבעיה החמישית ברשימת 23 הבעיות של הילברט היא הכללה של משוואה זו. למעשה, אם מניחים את אקסיומת הבחירה, יש למשוואה \ \aleph פתרונות רציפים ו-\ 2^{\aleph} פתרונות לא רציפים (ראו עוצמה (מתמטיקה) לפירוש של מושגים אלה).

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

נציב במשוואה \ y = 0 ונקבל \ f(x+0)=f(x)+f(0), בפרט \ f(0)=0.

כעת, נציב \ y=-x ונקבל \ f(x-x)=f(x)+f(-x), כלומר, \ f(-x)=-f(x).

באינדוקציה, נקבל מהמשוואה כי \ f(mx)=mf(x) לכל מספר טבעי \ m. על פי ההצבה הקודמת, זה נכון לכל m שלם.

נשים לב כי \ f(x)=f \left( m \frac{x}{m} \right) לכל שלם m ולכן, על פי הנ"ל, \ f(x)=mf \left(\frac{x}{m} \right), כלומר \ f \left(\frac{x}{m} \right)=\frac{1}{m}f(x).

שילוב שתי התוצאות לעיל נותן לנו כי לכל מספר רציונלי \ \frac{m}{n} מתקיים \ f \left(\frac{m}{n}x \right) = \frac{m}{n}f(x). נציב x=1 ונקבל \ f \left(\frac{m}{n} \right) = c \frac{m}{n} לכל \ \frac{m}{n} \in \mathbb{Q}, כאשר \ c=f(1).

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

נראה כעת כי כל פתרון אחר למשוואה מעל הממשיים הוא פתולוגי ביותר. ספציפית, נראה כי עבור כל פתרון אחר למשוואה, הגרף שלו (כלומר, קבוצת הזוגות הסדורים (x,f(x)) \in \mathbb{R}^2) הוא קבוצה צפופה ב- \mathbb{R}^2: כל עיגול במישור, אפילו קטן ביותר, מכיל נקודה של הגרף. מכאן ברור כי כל פתרון שבו הגרף אינו צפוף (כגון, אם הפונקציה מקיימת אחד מן התנאים הנוספים שהוזכרו לעיל), מוכרח להיות לינארי.

נניח, על ידי הכפלת הפתרון בקבוע, כי \ c=1, כלומר שמתקיים \ f(q)=q לכל \ q \in \mathbb{Q} ונניח שקיים \ \alpha \in \mathbb{R} אשר עבורו \ f(\alpha) \ne \alpha.

נסמן \ \delta = f(\alpha) - \alpha (כך ש- \ \delta \neq 0). כעת נראה איך למצוא נקודה השייכת לגרף הפונקציה במעגל שרירותי, אשר מרכזו \ (x,y) ורדיוסו \ r, כאשר \ x,y,r \in \mathbb{Q}, r > 0 , x \ne y. כל מעגל במישור מכיל מעגל שכזה.

נסמן \ \beta = \frac {y-x}{\delta} ונבחר מספר רציונלי \ b \ne 0, קרוב מספיק ל- \beta, כך שיתקיים \ |\beta - b| < \frac {r}{2 |\delta|}.

כמו כן, נבחר מספר רציונלי a, קרוב מספיק ל- \alpha, כך שיתקיים \ |\alpha - a| < \frac {r}{2 |b|}.

נסמן \ X = x + b(\alpha - a) ו-\ Y = f(X) וכעת, תוך שימוש במשוואה הפונקציונלית, נקבל כי:

 Y = f(x + b (\alpha - a)) \
 = x + b f(\alpha) - b f(a) \
 = y - \delta \beta + b f(\alpha) - b f(a) \
 = y - \delta \beta + b (\alpha + \delta) - b a \
 = y + b (\alpha - a) - \delta (\beta - b) \

בגלל הבחירות שעשינו לעיל, הנקודה \ (X,Y) נמצאת בפנים המעגל.

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

נתאר כעת את כל הפונקציות המקיימות את המשוואה. כידוע, \mathbb{R} ו- \mathbb{Q} הם שדות ו- \mathbb{Q} הוא תת-שדה של \mathbb{R}. על כן, ניתן להסתכל על \mathbb{R} כעל מרחב וקטורי מעל \mathbb{Q}.

ראינו לעיל שכל פתרון f מקיים את תנאי ההומוגניות \ f(mx)=mf(x) לכל סקלר רציונלי m ולכל מספר ממשי x. אם כך, f היא העתקה לינארית מן המרחב הווקטורי \mathbb{R} אל עצמו. מצד שני, כל העתקה לינארית מקיימת את תנאי האדיטיביות, המגדיר את f. מכאן שאוסף הפתרונות למשוואה הפונקציונלית כולל את כל ההעתקות הלינאריות, ותו לא.

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