קבוצת ז'וליה


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

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

קבוצת ז'וליה היא חלק מעבודתם של גסטון ז'וליה ופייר פאטו מראשית המאה ה-20. קבוצה זו מהווה אלמנט בסיסי בתחום המערכות הדינמיות המרוכבות ותורת הכאוס. לקבוצת ז'וליה קשר מעניין לקבוצת מנדלברוט במקרים מסוימים.

הגדרה עריכה

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

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

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


תכונות עריכה

  • קבוצת פאטו היא קבוצה פתוחה, ועל כן קבוצת ז'וליה סגורה. בנוסף, קבוצת ז'וליה היא קבוצה דלילה (או כל המרחב).
  • קבוצות ז'וליה ופאטו של איטרציה של פונקציה שווה לקבוצת ז'וליה המקורית, כלומר   לכל  .
  • בקבוצת ז'וליה ישנן נקודות אשר הפעולה האיטרבילית של הפונקציה עליהן היא מחזורית, אך קבוצה זו היא בת מניה בלבד.
  • אם הדרגה של הפונקציה (המוגדרת במקרה הרציונלי להיות המקסימום שבין דרגות המונה והמכנה) גדולה או שווה ל-2, אז בקבוצת ז'וליה אין נקודות מבודדות.
  • במקרה של פונקציה מעל הספירה, כאמור לעיל קבוצת פאטו היא איחוד סופי של תתי-קבוצות, כאשר כל אחת מהן מתאימה לשורש של הפונקציה. תתי-קבוצות אלו אינן חייבות להיות קשירות. לפי משפט, עבור כל פונקציה רציונלית, מספר רכיבי הקשירות בקבוצה הוא 1,2 או אינסוף. קבוצת ז'וליה היא או קשירה, או שיש לה אינסוף רכיבי קשירות.

הצגה גרפית של קבוצות ז'וליה עריכה

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

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


דוגמאות עריכה

דוגמה מנוונת עריכה

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

זו דוגמה מיוחדת מאוד, בה הקבוצות "פשוטות".

פונקצייות ריבועיות עריכה

מערכת דינמית מאוד פופולרית על הספירה של רימן ניתנת על ידי פולינומים ריבועים מורכבים. ניתן לתאר מערכות דינמיות אלה ע"י פולינום הנתון ע"י הנוסחה

 

כאשר   הוא פרמטר מורכב.

דגמאות הקשורות לשיטת ניוטון-רפסון עריכה

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

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

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

הקשר לקבוצת מנדלברוט עריכה

  ערך מורחב – קבוצת מנדלברוט

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

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

לקריאה נוספת עריכה

  • John W. Milnor, Dynamics in One Complex Variable

קישורים חיצוניים עריכה

  מדיה וקבצים בנושא קבוצת ז'וליה בוויקישיתוף

הערות שוליים עריכה

  1. ^ באופן שקול, לפי משפט ארצלה-אסקולי, אפשר לידרוש שקבוצה זאת תהיה משפחה נורמלית של פונקציות.
  2. ^ ראה פרטים בוידיאו של 3Blue1Brown העוסק במערכת דימית זאת