הצגת המקור של הדף "המשוואה הפונקציונלית של קושי"

'''המשוואה הפונקציונלית של [[אוגוסטן לואי קושי|קושי]]''' היא ה[[משוואה פונקציונלית|משוואה הפונקציונלית]]
:<math>\forall x\,\forall y\,: f(x+y)=f(x)+f(y) </math>.
זוהי אחת המשוואות הפונקציונליות הפשוטות ביותר להצגה, אך פתרונותיה הלא-רציפים מדגימים פתולוגיות המשותפות למשוואות פונקציונליות רבות אחרות.

כמו בכל משוואה פונקציונלית אחרת, הבעיה היא למצוא את הפונקציות <math>f</math> המקיימות את התנאי שהוזכר לעיל. מעל ה[[שדה המספרים הרציונליים|מספרים הרציונליים]], כלומר, עבור פונקציות <math>\ f \colon \mathbb{Q}\rightarrow \mathbb{Q}</math>, ניתן להראות בנקל שכל פתרון הוא ליניארי, מהצורה <math>f(x) = cx</math>, כאשר <math>c\in \mathbb{Q}</math> הוא קבוע שרירותי. משפחה זו של פתרונות היא נכונה בבירור גם מעל ה[[שדה המספרים הממשיים|מספרים הממשיים]], אבל שם קיימים גם פתרונות אחרים. הטלת מגבלות נוספות על <math>\ f</math> מביאה לפסילת פתרונות אלה, כך שנותרים רק הפתרונות הליניאריים. למשל:
*<math>f</math> [[רציפות|רציפה]] בכל מקום.
*<math>f</math> רציפה בנקודה אחת. תנאי זה גורר רציפות בכל נקודה. אכן, לכל מספר ממשי נתון, קיימת סדרה של [[מספר רציונלי|מספרים רציונליים]] המתכנסת אליו. באמצעות [[רציפות#הגדרות|הגדרת הרציפות של היינה]], ניתן להשתמש בכך על מנת להראות כי כל פתרון למשוואה מעל הממשיים הוא מהצורה דלעיל. מספיק לדרוש כי הפונקציה תהיה רציפה בנקודה אחת, שכן אם <math>\ f</math> רציפה בנקודה <math>x \in \mathbb{R}</math> ונדרש להראות את רציפותה בנקודה <math>y \in \mathbb{R}</math>, משתמשים במשוואה הפונקציונלית ומקבלים <math>f(y + \delta) - f(y) = f(x + \delta) - f(x) \to 0</math> כאשר <math>\delta\to 0</math>.
* קיים קטע שבו <math>f</math> [[פונקציה מונוטונית|מונוטונית]].
* קיים קטע שבו <math>f</math> [[פונקציה חסומה|חסומה]].

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

==הוכחת הפתרון מעל הרציונליים==

נציב במשוואה <math>y = 0</math> ונקבל <math>f(x+0)=f(x)+f(0)</math>, בפרט <math>f(0)=0</math>.<br /><br />כעת, נציב <math>y=-x</math> ונקבל <math>f(x-x)=f(x)+f(-x)</math>, כלומר, <math>f(-x)=-f(x)</math>.<br /><br />באינדוקציה, נקבל מהמשוואה כי <math>f(mx)=mf(x)</math> לכל מספר טבעי <math>m</math>. על פי ההצבה הקודמת, זה נכון לכל <math>m</math> שלם.<br /><br />נשים לב כי <math>f(x)=f \left( m \frac{x}{m} \right)</math> לכל שלם <math>m</math> ולכן, על פי הנ"ל, <math>f(x)=mf \left(\frac{x}{m} \right)</math>, כלומר <math>f \left(\frac{x}{m} \right)=\frac{1}{m}f(x)</math>.<br /><br />שילוב שתי התוצאות לעיל נותן לנו כי לכל מספר רציונלי <math>\frac{m}{n}</math> מתקיים <math>f \left(\frac{m}{n}x \right) = \frac{m}{n}f(x)</math>. נציב <math>x=1</math> ונקבל <math>f \left(\frac{m}{n} \right) = c \frac{m}{n}</math> לכל <math>\frac{m}{n} \in \mathbb{Q}</math>, כאשר <math>c=f(1)</math>.

==מאפיינים של פתרונות אחרים==

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

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

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

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

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

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

<div style="direction: ltr;">
:<math> Y = f(x + b (\alpha - a)) \ </math>
:<math> = x + b f(\alpha) - b f(a) \ </math>
:<math> = y - \delta \beta + b f(\alpha) - b f(a) \ </math>
:<math> = y - \delta \beta + b (\alpha + \delta) - b a \ </math>
:<math> = y + b (\alpha - a) - \delta (\beta - b) \ </math>
</div>

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

==קיום של פתרונות אחרים==

נתאר כעת את כל הפונקציות המקיימות את המשוואה. כידוע, <math>\mathbb{R}</math> ו- <math>\mathbb{Q}</math> הם [[שדה (מבנה אלגברי)|שדות]] ו- <math>\mathbb{Q}</math> הוא תת-שדה של <math>\mathbb{R}</math>. על כן, ניתן להסתכל על <math>\mathbb{R}</math> כעל [[מרחב וקטורי]] מעל <math>\mathbb{Q}</math>.

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

יהי <math>B</math> [[בסיס המל]] למרחב וקטורי זה. כל העתקה ליניארית מוגדרת על-פי הערכים שנבחר לה, שרירותית, על אברי <math>B</math>.

[[קטגוריה:פונקציות פתולוגיות]]
[[קטגוריה:משוואות]]