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

'''פתרון סינגולרי''' ''y<sub>s</sub>''(''x'') של [[משוואה דיפרנציאלית רגילה]] הוא פתרון שמכיל [[סינגולריות (מתמטיקה)|נקודת סינגולריות]] או פתרון עבורו בעיית ההתחלה (שנקראת גם בעיית קושי על ידי מחברים מסוימים) נכשלת להיות בעלת פתרון יחיד בנקודות מסוימות של הפתרון הסינגולרי. קבוצת הנקודות בהן ישנו פתרון סינגולרי יכולה להיות קטנה עד כדי נקודה יחידה או גדולה עד כדי הישר הממשי כולו. באופן כללי, המונח בא לתאר פתרונות שעליהם לבעיית ההתחלה אין פתרון יחיד, ולאו דווקא פתרונות שמכילים נקודת סינגולריות.

במקרים מסוימים, המונח "פתרון סינגולרי" בא לתאר פתרון שבו מופרת יחידות הפתרון לבעיית ההתחלה עבור כל נקודה על עקום הפתרון. פתרון סינגולרי במובן החזק הזה מתקבל כעקום ה[[משיק]] לכל פתרון ממשפחת הפתרונות הלא סינגולריים. ב"משיק" הכוונה היא שקיימת נקודה ''x'' עבורה ''y<sub>s</sub>''(''x'') = ''y<sub>c</sub>''(''x'') וגם ''y'<sub>s</sub>''(''x'') = ''y'<sub>c</sub>''(''x'') כאשר ''y<sub>c</sub>'' הוא פתרון ממשפחת הפתרונות המאופיינים על ידי פרמטר יחיד ''c''. פירוש הדבר הוא שהפתרון הסינגולרי הוא ה[[מעטפת (מתמטיקה)|מעטפת של משפחת העקומים]] המתוארים על ידי הפתרונות הלא סינגולריים.

== דוגמאות ==
=== פתרון מתבדר ===
נתייחס למשוואה הדיפרנציאלית הליניארית ההומוגנית

:<math> xy'(x) +2y(x)= 0, \,\!</math>

הפתרון הכללי למשוואה הזאת הוא

:<math> y(x)= C x^{-2} . \,\!</math>

בעבור <math>C</math> נתון, הפתרון הזה חלק בכל מקום פרט לנקודה <math>x=0</math>, שבה הפתרון מתבדר. יותר מכך, בעבור <math>x\not=0</math>, פתרון השייך למשפחת הפתרונות הזאת הוא הפתרון היחיד העובר דרך <math>(x,y(x))</math>.

=== הפרת יחידות הפתרון ===
נתייחס למשוואה הדיפרנציאלית

:<math> y'(x)^2 = 4y(x) . \,\!</math>

משפחה בת-פרמטר אחד של פתרונות למשוואה הזאת ניתנת על ידי

:<math> y_c(x) = (x-c)^2 . \,\!</math>

פתרון אחר ניתן על ידי

:<math> y_s(x) = 0 . \,\!</math>

מכיוון שהבעיה שנחקרת היא משוואה דיפרנציאלית מסדר ראשון, תנאי ההתחלה הם הערכים ההתחלתיים של ''x'' ו-''y''. אם נסתכל על שני הפתרונות לעיל, ניתן יהיה לראות שהפתרון אינו יחיד כאשר <math>y=0</math> (ניתן להראות שאם <math>y>0</math> וענף יחיד של השורש הריבועי נבחר, אז יש פתרון מקומי יחיד בהתאם ל[[משפט הקיום והיחידות (משוואות דיפרנציאליות)|משפט הקיום והיחידות]]). בעבור משפחת הפתרונות הראשונה <math> y_c(x) </math>, יחידות הפתרון מופרת בנקודה יחידה <math>x=c</math>, ואילו בעבור הפונקציה הקבועה <math>y_s(x)</math> ("הפתרון הסינגולרי") יחידות הפתרון מופרת בעבור כל ערך של ''x''. לפיכך, הפתרון <math> y_s(x) </math> הוא סינגולרי במובן החזק מכיוון שיחידות הפתרון מופרת עבור כל ערך של ''x''.

בדוגמה זו, הפתרון הסינגולרי <math>y_s(x)=0</math> הוא המעטפת של משפחת ה[[פרבולה|פרבולות]] <math>y_c(x)=(x-c)^2</math>. הוא משיק לכל אחת מהפרבולות <math>y_c(x)</math> בנקודה יחידה <math>(c,0)</math>.

ניתן להיעזר בהפרת יחידות הפתרון כדי לבנות פתרונות נוספים, המורכבים בחלקם מן הפתרונות הסטנדרטיים ובחלקם האחר מהפתרון הסינגולרי. למשל, ניקח שני קבועים <math>c_1 < c_2 </math> ונגדיר את הפונקציה <math>y(x)</math> להיות <math>(x-c_1)^2</math> כאשר <math>x < c_1</math>, להיות <math>0</math> כאשר <math>c_1\leq x\leq c_2</math>, ולהיות <math>(x-c_2)^2</math> כאשר <math>x > c_2</math>. חישוב ישיר מראה שזהו פתרון למשוואה הדיפרנציאלית בכל נקודה, כולל <math>x=c_1</math> ו-<math>x=c_2</math>.

=== דוגמה נוספת של הפרת יחידות הפתרון ===
הדוגמה הקודמת עשויה ליצור רושם מוטעה כאילו הפרת יחידות הפתרון קשורה באופן ישיר לפתרונות קבועים. הפרת יחידות הפתרון ניתנת לזיהוי גם בדוגמה הבאה של המשוואה הדיפרנציאלית של [[אלכסיס קלרו|קלרו]]:

:<math> y(x) = x \cdot y' + (y')^2 \,\!</math>

אם נכתוב ''y' = p'' נקבל

:<math> y(x) = x \cdot p + (p)^2. \,\!</math>

כעת, אם נגזור את שני האגפים לפי ''x'' נקבל:

:<math> p = y' = p + x p' + 2 p p' \,\!</math>

מה שלאחר אלגברה פשוטה נותן

:<math> 0 = ( 2 p + x )p'. \,\!</math>

תנאי זה תקף אם ''2p+x=0'' או אם ''p'=0''.

אם ''p' = 0'' אז זה אומר ש- ''y' = p = c'' ולכן הפתרון הכללי למשוואה הזו הוא

:<math> y_c(x) = c \cdot x + c^2 \,\!</math>

כאשר הפרמטר ''c'' נקבע על פי תנאי ההתחלה.

אם ''x'' + 2''p'' = 0 אז נקבל ''p'' = &minus;(1/2)''x'' והצבה במשוואה הדיפרנציאלית נותנת

:<math> y_s(x) = -(1/2)x^2 + (-(1/2)x)^2 = -(1/4) \cdot x^2. \,\!</math>

כעת נבדוק מתי הפתרונות הללו הם סינגולריים. אם שני פתרונות חותכים אחד את השני, כלומר הם עוברים דרך אותה נקודה ''(x,y)'', אז יש הפרת יחידות בעבור המשוואה הדיפרנציאלית מסדר ראשון. לפיכך, תהיה הפרת יחידות כאשר פתרון מהצורה הראשונה חותך את הפתרון השני.

תנאי החיתוך הוא: ''y<sub>s</sub>''(''x'') = ''y<sub>c</sub>''(''x''). נפתור ונקבל

:<math> c \cdot x + c^2 = y_c(x) = y_s(x) = -(1/4) \cdot x^2 \,\!</math>

מה שאומר שהצורה הכללית של נקודת החיתוך היא <math>(-2c, -c^2)</math>.

נוודא ששני הפתרונות משיקים בנקודה ''y'<sub>s</sub>''(''x'') = ''y'<sub>c</sub>''(''x''). נחשב את הנגזרות:

:<math> y_c'(-2 \cdot c) = c \,\!</math>
:<math> y_s'(-2 \cdot c) = -(1/2) \cdot x |_{x = -2 \cdot c} = c. \,\!</math>

ולכן,

:<math> y_s(x) = -(1/4) \cdot x^2 \,\!</math>

משיק לכל אחד מחברי משפחת הפתרונות :<math> y_c(x) = c \cdot x + c^2 \,\!</math>.

מבחינה גאומטרית, הפתרון הסינגולרי הוא הפרבולה <math> y_s(x) = -(1/4) \cdot x^2 \,\!</math>, אשר עוטפת "מלמטה" את משפחת הישרים <math> y_c(x) = c \cdot x + c^2 \,\!</math>. נשים לב גם שבאופן כללי, פתרונות סינגולריים של מד"ר הם בדיוק העקומים לאורכם מתרחשת הפרה של [[תנאי ליפשיץ]] במשתנה ''y'' של 
<math> y' = f(x,y)</math> (בהוכחה של משפט קיום ויחידות באמצעות איטרציות פיקארד, קיום תנאי ליפשיץ במשתנה ''y'' מבטיח את יחידות הפתרון). למשל, בדוגמה של משוואת קלרו, קל לראות שבאמצעות [[השלמה לריבוע]] ניתן לרשום:

:<math> (y'+\frac{x}{2})^2-\frac{x^2}{4} = y(x)\implies y'=\sqrt{y+\frac{x^2}{4}}-\frac{x}{2}</math>

אם נגזור את אגף ימין לפי ''y'', אז נקבל שהנגזרת <math> f_y</math> שואפת לאינסוף כאשר הביטוי בתוך השורש מתאפס, דהיינו לאורך העקום <math> y_s(x)=-\frac{x^2}{4} </math>.

== ראו גם ==
* [[מעטפת (מתמטיקה)|מעטפת של משפחת עקומים]]
* [[קאוסטיקה (אופטיקה)|קאוסטיקה]]

==קישורים חיצוניים==
* {{בריטניקה}}

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