פונקציה מחזורית

במתמטיקה, פונקציה מחזורית היא פונקציה אשר הערכים שהיא מקבלת חוזרים על עצמם כאשר מוסיפים למשתנה הבלתי תלוי שלה גורם קבוע, כלומר,   f ( x + T ) = f ( x ) {\displaystyle \ f(x+T)=f(x)} לכל   x {\displaystyle \ x} , עבור קבוע   T {\displaystyle \ T} (שונה מאפס) מתאים. גורם קבוע זה קרוי מחזור. המחזור החיובי הקטן ביותר של הפונקציה, אם קיים, נקרא המחזור היסודי. בין הדוגמאות הבולטות: הפונקציות הטריגונומטריות סינוס וקוסינוס (בעלות מחזור   2 π {\displaystyle \ 2\pi } ), ופונקציית הטנגנס, שמחזורה פאי. בפונקציות מחזוריות, ממשיות בעיקר, עוסקת אנליזת פורייה. פונקציה ממשית או מרוכבת   f {\displaystyle \ f} היא מחזורית, אם קיים קבוע   T ≠ 0 {\displaystyle \ T\neq 0} כך שלכל   x {\displaystyle \ x} (ממשי או מרוכב, בהתאמה), מתקיים f ( x ) = f ( x + T ) {\displaystyle \,f(x)=f(x+T)} . כל קבוע   T {\displaystyle \ T} כזה נקרא מחזור של הפונקציה. אוסף המחזורים הוא תת חבורה של השדה (הממשי או המרוכב, בהתאמה). המקרה שבו חבורת המחזורים אינה דיסקרטית הוא מקרה פתולוגי, המתאפשר רק כאשר הפונקציה קבועה, או אינה אנליטית. במקרה הממשי, אם חבורת המחזורים דיסקרטית אז היא ציקלית, בעלת יוצר יחיד, שהוא המחזור בעל הערך המוחלט החיובי הקטן ביותר. מספר זה הוא המחזור של הפונקציה, וכל מחזור אחר מהווה כפולה שלמה שלו. גם במקרה המרוכב ייתכן שחבורת המחזורים ציקלית, ואז משתמשים באותה טרמינולוגיה. במקרה המרוכב יכולה חבורת המחזורים להיות בעלת שני יוצרים (למשל, כאשר הפונקציה מקיימת את הזהות   f ( z + 1 ) = f ( z + i ) = f ( z ) {\displaystyle \ f(z+1)=f(z+i)=f(z)} ). פונקציות מרוכבות בעלות שני מחזורים נקראות פונקציות אליפטיות. באופן כללי יותר, פונקציה   f : G → X {\displaystyle \ f:G\rightarrow X} מחבורה G לקבוצה X היא מחזורית מימין, אם קיים   1 ≠ a ∈ G {\displaystyle \ 1\neq a\in G} כך ש-   f ( g a ) = f ( g ) {\displaystyle \ f(ga)=f(g)} . האוסף A של מחזורים-מימין (כלומר, האיברים   a ∈ G {\displaystyle \ a\in G} המקיימים את התנאי   f ( g a ) = f ( g ) {\displaystyle \ f(ga)=f(g)} לכל g) הוא תת חבורה של G, והפונקציה   f {\displaystyle \ f} מוגדרת על מרחב הקוסטים   G / A {\displaystyle \ G/A} (לפי הנוסחה   f ( g A ) = f ( g ) {\displaystyle \ f(gA)=f(g)} ). פונקציה כזו נקראת בדרך-כלל אינווריאנטית תחת פעולת A (או A-אינווריאנטית). פונקציה שהיא אינווריאנטית גם מימין וגם משמאל נקראת דו-אינווריאנטית. בתנאים מסוימים, אוסף הפונקציות האלה מהווה אלגברת הקה. הדוגמאות המוכרות ביותר, ובמובן מסוים הטבעיות ביותר הן הפונקציות הטריגונומטריות:   sin ⁡ ( x ) , cos ⁡ ( x ) , tan ⁡ ( x ) {\displaystyle \ \sin(x),\cos(x),\tan(x)} , כאשר ל-   sin ⁡ ( x ) , cos ⁡ ( x ) {\displaystyle \ \sin(x),\cos(x)} מחזור של   2 π {\displaystyle \ 2\pi } , ול-   tan ⁡ ( x ) {\displaystyle \ \tan(x)} מחזור של   π {\displaystyle \ \pi } . פונקציית האקספוננט f ( z ) = e z {\displaystyle \,f(z)=e^{z}} היא פונקציה מרוכבת בעלת מחזור 2 π i {\displaystyle \,2\pi i} . כפונקציה ממשית, פונקציית האקספוננט אינה מחזורית (היא מונוטונית עולה). פונקציית דיריכלה היא מחזורית, משום שלכל מספר רציונלי   q {\displaystyle \ q} ולכל מספר ממשי   x {\displaystyle \ x} מתקיים ש-   x + q {\displaystyle \ x+q} הוא רציונלי אם ורק אם   x {\displaystyle \ x} הוא רציונלי, ולפיכך D ( x + q ) = D ( x ) {\displaystyle \,D(x+q)=D(x)} . מכיוון שכל רציונלי   q {\displaystyle \ q} הוא מחזור של הפונקציה, הרי שאין לפונקציית דיריכלה מחזור מינימלי. פונקציה קבועה היא מחזורית, וכל מספר מהווה מחזור שלה. הגל שן מסור   f ( x ) = x − [ x ] {\displaystyle \ f(x)=x-[x]} כאשר   [ x ] {\displaystyle \ [x]} מייצג את הערך השלם של המספר היא בעלת מחזור של 1. פונקציה מחזורית ורציפה על הישר היא רציפה במידה שווה. פונקציה מחזורית, באתר MathWorld (באנגלית)