לשון ארנולד

ממוזער| "מספר סיבוב" עבור ערכים שונים של שני פרמטרים של מפת המעגל: Ω על ציר ה- ''x'' ו- ''K'' על ציר ה- ''y'' . כמה צורות לשון נראות לעין.
במתמטיקה, במיוחד במערכות דינמיות, **לשונות ארנולד** (על שם ולדימיר ארנולד )  הן תופעה ציורית המתרחשת כאשר מדמיינים כיצד תדירות הסיבוב של מערכת דינמית, או תכונה בלתי משתנה קשורה אחרת שלה, משתנה לפי שניים או יותר מהפרמטרים של המערכת. כאשר צופים באזורים המתאפיינים ב"מספר סיבוב" קבוע, מגלים צורות גאומטריות הדומות ללשון, ובמקרה זה הן נקראות לשונות ארנולד.

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

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

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

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

## מפת עיגולים רגילה
[שמאל|ממוזער| [דיאגרמת התפצלות|דיאגרמת ביפורקציה עבור \Omega מקובע על ערך 1/3 . Kמתחיל מ 0 בתחתית ל 4 \pi בחלק העליון, והמסלולים מוצגים במרווחים של [-0.5, 0.5] במקום [0, 1] . אזורים שחורים תואמים ללשונות ארנולד.]]
לשונות ארנולד מופיעות לרוב כאשר חוקרים את האינטראקציה בין מתנדים, במיוחד במקרה שבו מתנד אחד *מניע* אחר. כלומר, הם אינם משפיעים הדדית זה על זה (בניגוד למתרחש בדגמי Kuramoto, למשל). דוגמה לכך היא מתנדים מונעים, עם כוח מניע בעל התנהגות מחזורית. כדוגמה מעשית, תאי לב (המתנד החיצוני) מייצרים אותות חשמליים תקופתיים כדי לעורר התכווצויות לב (המתנד המונע); שימוש לנ'ל הוא קביעת היחס בין תדירות המתנדים על מנת לעצב קוצבי לב מלאכותיים טובים יותר. משפחת מפות המעגלים משמשת מודל מתמטי שימושי לתופעה ביולוגית זו, כמו גם רבות אחרות.

משפחת מפות המעגל הן פונקציות (או אנדומורפיזמים ) של המעגל לעצמו. משפחת **מפות המעגל** ניתנת על ידי:

: \theta_{i+1} = g(\theta_i) + \Omega

כאשר \Omega הוא התדר ה"טבעי" של המתנד ו g היא פונקציה מחזורית המחשבת את ההשפעה של המתנד החיצוני (\theta) בנקודה i על נקודת הזמן הבאה i+1. חשוב לשים לב שאם g(\theta) = \theta לכל \theta, החלקיק פשוט מסתובב במעגל ב \Omega (התדר הטבעי) יחידות בכל פעם; בפרט, אם \Omega הוא לא רציונלי המפה מצטמצמת לסיבוב לא רציונלי .

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

: \theta_{i+1} = \theta_i + \Omega + \frac{K}{2 \pi} \sin(2 \pi \theta_i)

כאשר K נקרא **חוזק צימוד**, ו \theta_i יש לפרש מודולו 1 . מפה זו מציגה התנהגות מגוונת מאוד בהתאם לפרמטרים K ו \Omega ; אם נקבע את \Omega = 1/3 ונשנה את K, נקבל דיאגרמת ההתפצלות סביב אזור זה, בה אנו יכולים לראות מסלולים מחזוריים עם ביפורקציות והתנהגויות כאוטיות. 

## גזירת מפת המעגלים
ממוזער| תיאור הדגם הפשוט שבו מפת המעגלים עולה 'באופן טבעי'. הקו האדום הוא <math>y(t)</math> ומתאפס לקו השחור הסינוסואידי בכל פעם שהוא מגיע לאפס.
אפשרות נוספת להציג את מפת המעגלים היא על ידי פונקציה כלשהי y(t) אשר יורדת באופן ליניארי עם שיפוע a. ברגע שהפונקציה מגיעה לערך אפס, הערך שלה מתאפס לערך תדר מסוים, המתואר על ידי פונקציה z(t) = c + b \sin(2 \pi t) . כעת, אנו מתעניינים ברצף הזמנים \{ t_n \} שבו ערך הפונקציה y(t) מגיע לאפס.

המודל הזה אומר שבזמן t_{n-1} מתקיים y(t_{n-1}) = c + b \sin(2 \pi t_{n-1}) . מנקודה זו, y קטן באופן ליניארי עד t_n, נקודה בה ערך הפונקציה y הוא אפס. כך מקבלים:

: 
\begin{align}
 0 &= y(t_{n-1}) - a \cdot (t_{n} - t_{n-1}) \\[0.5em]
 0 &= \left[ c + b \sin(2 \pi t_{n-1}) \right] - a t_n + a t_{n-1} \\[0.5em]
 t_n &= \frac{1}{a} \left[ c + b \sin(2 \pi t_{n-1}) \right] + t_{n-1} \\[0.5em]
 t_n &= t_{n-1} + \frac{c}{a} + \frac{b}{a} \sin(2 \pi t_{n-1})
\end{align}


ועל ידי בחירה \Omega = c/a ו K = 2 \pi b/a אנו משיגים את מפת המעגלים:

: 
 t_n = t_{n-1} + \Omega + \frac{K}{2\pi} \sin(2 \pi t_{n-1}).


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

בדגם זה, המשמעות של נעילת פאזה N:M מתייחסת לכך שy(t) מתאפס *בדיוק* N פעמים כל M מחזורים של גל הסינוס z(t) . מספר הסיבוב יהיה המנה N/M .

## מאפיינים
בהינתן המשפחה הכללית של אנדומורפיזמים במעגל:

: 
\theta_{i+1} = g(\theta_i) + \Omega


עבור מפת המעגל הסטנדרטית, מתקיים g(\theta) = \theta + (K / 2 \pi) \sin(2 \pi \theta) . עם זאת, לעיתים יהיה לנו נוח יותר לייצג את מפת המעגל בעזרת מיפוי על ידי פונקציה f(\theta) :

: 
 \theta_{i+1} = f(\theta_i) = \theta_i + \Omega + \frac{K}{2 \pi} \sin(2 \pi \theta_i).


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

**P1.** הפונקציה f גדלה באופן מונוטוני עבור K , כך שעבור ערכים אלה של K האיטרציות \theta_i רק נעות קדימה במעגל, אך לעולם לא אחורה. כדי לראות זאת, נשים לב שהנגזרת של f היא:

: 
f'(\theta) = 1 + K \cos(2 \pi \theta)


שהיא גודל חיובי כל עוד K  .

**P2.** כאשר מרחיבים את היחס מקבלים נוסחה עבור \theta_n :

: 
\theta_n = \theta_0 + n \Omega + \frac{K}{2 \pi} \sum_{i = 0}^{n-1} \sin(2 \pi \theta_i).


**P3.** נניח ש \theta_n = \theta_0 \bmod 1, הן נקודות קבועות מחזוריות בעלות מחזור n . כיוון שגל הסינוס מתנודד בתדר של הרץ אחד, מספר התנודות של הגל לכל מחזור \theta_i יהיה M = (\theta_n - \theta_0) \cdot 1. כך, הוא מאופיין על ידי **נעילת פאזה** של n : M .

**P4.** לכל p \in \mathbb{N}, מתקיים f(\theta + p) = f(\theta) + p, כך ש f(\theta + p) = f(\theta) \bmod{1} . לכן, ביישומים רבים אין זה משנה אם האיטרציות \theta_i מתבצעות עם מודולוס 1 או בלעדיו.

**P5 (סימטרית תרגום).**  נניח שעבור \Omega נתון יש נעילת פאזה בגודל n : M במערכת. אז, עבור \Omega' = \Omega + p עם מספר שלם p, n : (M + np) גם יקיים נעילת פאזה.

 

**P6.** עבור K = 0 נעילת שלב תתרחש בכל פעם ש\Omega הוא מספר רציונלי. בנוסף, עבור \Omega = p/q \in \mathbb{Q}, נעילת הפאזה היא q : p .
 
שמאל|ממוזער|400x400 פיקסלים| חלק מהלשונות של ארנולד עבור מפת המעגל הסטנדרטית, ''ε'' =
שמאל|ממוזער| מספר הסיבוב כפונקציה של Ω כאשר ''K'' קבוע ב- ''K'' = 1

:

:
*

## גלריה

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

## הפניות
* Weisstein, Eric W. "Circle Map". MathWorld.
* 
*  - *Provides a brief review of basic facts in section 2.12*.
*  - *Performs a detailed analysis of [[לב|heart]] cardiac rhythms in the context of the circle map.*
* 

## קישורים חיצוניים
* 

קטגוריה:תורת הכאוס