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

'''דינמיקה הולומורפית''' היא תחום בחקר [[מערכת דינמית|מערכות דינמיות]] המתמקד במערכות דינמיות הנתונות על ידי [[פונקציה הולומורפית]].

==הגדרות==
{{ערך מורחב|ערך=[[מערכת דינמית]]}}
באופן כללי מערכת דינמית בדידה היא זוג, המורכב מקבוצה <math>X</math> ופונקציה <math>f</math> מ-<math>X</math> לעצמה. דינמיקה הולומורפית עוסקת במקרה בו <math>X</math> היא [[יריעה אנליטית]] (למשל <math>\C^n</math>) ו-<math>f</math> היא פונקציה הולומורפית.

==שאלות בדינמיקה הולומורפית==
השאלה הבסיסית בחקר מערכות דינמיות היא זו: בהינתן נקודה <math>x_0\in X</math>, איך מתנהגת הסדרה <math>f^{n}(x_0)</math> שמתקבלת מהפעלת הפונקציה על <math>x_0</math> ואז על תוצאת ההפעלה וכך הלאה עד [[אינסוף]]. סדרות כאלה נקראות מסלולים.

===יציבות של נקודות שבת ומסלולים מחזוריים===
התנהגות אפשרית אחת היא התכנסות ל[[נקודת שבת|נקודת שֶבת]]. נקודת שֶבֶת היא נקודה <math>x\in X</math> המקיימת <math>f(x)=x</math>. נקודת שבת <math>x\in X</math> נקראת יציבה אם בהינתן נקודה <math>x_0\in X</math> הקרובה מספיק ל <math>x</math>, אז הסדרה <math>f^n(x_0)</math> [[סדרה מתכנסת|מתכנסת]] ל<math>x</math>.

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

מיון נקודות השבת של מערכת דינמית היא השלב הראשון בחקירתה.

התנהגות אפשרית אחת היא היתכנות למסלול מחזורי. מסלול מחזורי הוא מסלול <math>f^n(x)</math> המקיים <math>f^{n+k}(x)=f^{n}(x)</math> עבור <math>k</math> מסוים וכל <math>n</math>.{{הערה|אם <math>k</math> הוא המספר המזערי שמקיים תנאי זה, הוא נקרא המחזור של המסלול. אחרת המחזור של המסלול יכול להיות מחלק של <math>k</math>}} מסלול שבו במקום מסוים מופיעה הנקודה המקורית. אומרים שמסלול מתכנס למסלול מחזורי אם החל ממקום מסוים הוא קרוב כרצוננו למסלול מחזורי. מסלול מחזורי נקרא יציב אם בהינתן נקודה <math>x_0</math> קרובה מספיק לאחת מנקודות המסלול, הסדרה <math>f^n(x_0)</math> מתכנסת למסלול המחזורי.

ניתוח המסלולים המחזוריים ממחזור נתון <math>k</math> ויציבותם שקול לניתוח נקודות השבת של <math>f^k</math>.{{הערה|למעשה נקודת שבת של <math>f^k</math> מתאימה למסלול של  <math>f</math>ממחזור שמחלק את <math>k</math>}} מכאן שעבור <math>k</math> ספציפי מדובר במשימה פשוטה למדי. אולם ניתוח כל המסלולים המחזוריים ויצובותם הוא משימה מסובכת בהרבה.

===קבוצות ז'וליה ופאטו===
{{ערך מורחב|קבוצות ז'וליה}}
קל יותר לנתח מערכות דינמיות כאשר הקבוצה <math>X</math> היא [[קבוצה קומפקטית|קומפקטית]]. במקרים רבים, גם אם <math>X</math> לא קומפקטי אפשר לחקור את המערכת הדינמית על ידי מערכת דומה על ה[[קומפקטיפיקציה]] של <math>X</math>. לדוגמה [[הספירה של רימן|ספירה של רימן]] מהווה קומפקטיפיקציה של המישור המרוכב (המתקבלת מהוסיפת נקודה באינסוף).

בהינתן מערכת דינמית על קבוצה קומפקטית <math>X</math> ניתן לחלק את <math>X</math> לשתי קבוצות:
* [[קבוצת פאטו]] - אוסף הנקודות <math>x_0</math> כך ששינוי קטן בהן מוביל לשינוי קטן בסדרה <math>f^n(x_0)</math>
* [[קבוצת ז'וליה]] - אוסף הנקודות <math>x_0</math> כך ששינוי קטן בהן מוביל לשינוי גדול בסדרה <math>f^n(x_0)</math>

==מערכות דינמיות המוגדרות על ידי פולינום ריבועי בימשור המרוכב==
{{ערך מורחב|ערכים= [[מערכת דינמית הנתונה על ידי פולינום ריבועי במשתנה מרוכב אחד]], [[קבוצת מנדלברוט]]}}
מערכות דינמיות המוגדרות על ידי [[פונקציה ליניארית|פונקציות ליניאריות]] הן פשוטת מאוד. כך שהדוגמה הלא טריוויאלית הראשונה של מערכת דינמית הולומורפית היא מערכת דינמית המוגדרת על ידי פולינום ממעלה שנייה ממשתנה מרוכב אחד. מערכת כזאת תמיד שקולה למערכת המוגדרת על ידי הפונקציה <math> f_c(z):=z^2+c</math>. ניתן להרחיב מערכת זאת בקלות ל[[הספירה של רימן|סיפרה של רימן]].

ניתן לחקור את "כל המערכות האלה ביחד" על ידי [[קבוצת מנדלברוט]]. קבוצת מנדלברוט מוגדרת להיות אוסף כל המספרים <math>c</math> כך ש הסדרה <math>f_c^n(0)</math> חסומה. השתיכותה של נקודה <math>c</math> לקבוצת מנדלברוט מספקת מידע רב על המערכת המוגדרת על ידי <math> f_c(z):=z^2+c</math>.
ליתר דיוק, עבור המערכת הדינמית המוגדרת על ידי הפונקציה <math>f_c(z)</math> מתקיימות התכונות הבאות:
# עבור כל <math>x_0</math> המקיים <math>|x_0|>2</math> הסדרה <math>f_c^n(x_0)</math> שואפת לאינסוף. זה מאפשר לקבוע בקלות יחסית שנקודה מסוימת לא נמצאת ב[[קבוצת מנדלברוט]].{{הערה|אם אחרי מספר מסוים של הפעלות של <math>f_c</math> על <math>0</math> הנקודה עוזבת את העיגול <math>|x|\leq 2</math> אז <math>c</math> לא נמצאת בקבוצת מנדלברוט.}}
# למערכת יש לא יותר ממסלול מחזורי אחד.
# למערכת יש מסלול מחזורי [[אם ורק אם]] המסלול המתחיל ב-0 מתכנס למסלול מחזורי.
# קבוצת ז'וליה של המערכת קשירה אם ורק אם <math>c</math> נמצאת בקבוצת מנדלברוט.
# אם <math>c</math> לא נמצאת בקבוצת מנדלברוט אז קבוצת ז'וליה של המערכת [[הומיאומורפיזם|הומיאומורפית]] ל[[קבוצת קנטור]] ובפרט [[מרחב בלתי קשיר לחלוטין|בלתי קשירה לחלוטין]].
# אם למערכת יש נקודת שבת יציבה אז קבוצת ז'וליה של המערכת היא עקום פשוט (רציף ובדרך כלל לא חלק) סגור. בהתאם, לפי [[משפט העקום של ז'ורדן]], לקבוצת פאטו של המערכת יש בדיוק שני רכיבי קשירות (האחד תחום על ידי קבוצת ז'וליה והאחר מחוצה לה).
# אם למערכת יש מסלול מחזורי יציב (שאינו נקודת שבת) אז לקבוצת פאטו של המערכת יש אינסוף רכיבי קשירות.
# אוסף הנקודות <math>c</math>, עבורן למערכת יש מסלול מחזורי יציב הוא איחוד של [[רכיב קשירות (טופולוגיה)|רכיבי קשירות]] של ה[[פנים (טופולוגיה)|פנים]] של קבוצת מנדלברוט. רכיבים אלו נקראים רכיבים היפרבוליים של קבוצת מנדלברוט. משערים שאוסף זה מהווה את כל הפנים של קבוצת מנדלברוט.
# אוסף הנקודות <math>c</math>, עבורן למערכת יש נקודת שבת יציבה הוא [[רכיב קשירות (טופולוגיה)|רכיב קשירות]] של ה[[פנים (טופולוגיה)|פנים]] של קבוצת מנדלברוט. רכיב זה נקרא הקרדאידה הראשית של קבוצת מנדלברוט.

==קישורים חיצוניים==
* [https://pcwww.liv.ac.uk/~lrempe/workshops/liv_jan_08/ קורס על דינמקה מרוכבת].
* [https://www.youtube.com/watch?v=LqbZpur38nw וידאו] של [[3Blue1Brown]] על דינמיקה הולומורפית.
* [https://www.youtube.com/watch?v=9gk_8mQuerg וידאו] של [[Matheologer]] על דינמיקה הולומורפית.
* [https://www.youtube.com/watch?v=FFftmWSzgmk וידאו] של [[numberphile]] על דינמיקה הולומורפית.

==הערות שוליים==
{{הערות שוליים}}