סיכום צ'זארו

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

## הגדרה
תהי (a_n)_{n=1}^\infty סדרה, ויהי

:s_k = a_1 + \cdots + a_k= \sum_{n=1}^k a_n

הסכום החלקי ה-k שלה.

הסדרה a_n תיקרא **ניתנת לסכימה לפי צ'זארו**, עם סכום צ'זארו A\in\mathbb{R}, אם, כאשר n שואף לאינסוף, הממוצע החשבוני של n הסכומים החלקיים הראשונים שלה s_1,s_2,\dots,s_n שואף ל-A:

:\lim_{n\to\infty} \frac{1}{n}\sum_{k=1}^n s_k = A.

הערך של הגבול המתקבל ייקרא סכום צ'זארו של הטור \textstyle\sum_{n=1}^\infty a_n. אם הטור הזה מתכנס במובן הרגיל, אז סכום צ'זארו שלו שווה לסכום הרגיל.

## דוגמאות
### דוגמה ראשונה
תהי a_n=(-1)^n בעבור n \geq 0. כלומר, (a_n)_{n=0}^\infty היא הסדרה  (1, -1, 1, -1, \ldots).
יהי G הטור G = \sum_{n=0}^\infty a_n = 1-1+1-1+1-\cdots . הטור G ידוע כטור גרנדי.

נסמן ב-(s_k)_{k=0}^\infty את סדרת הסכומים החלקיים של G:

\begin{align}
   s_k &= \sum_{n=0}^k a_n \\
   (s_k) &= (1, 0, 1, 0, \ldots).
 \end{align}

סדרת הסכומים החלקיים לא מתכנסת, כך שהטור G מתבדר. אף על פי כן, G ניתן לסכימה במובן צ'זארו. תהי (t_n)_{n=1}^\infty סדרת הממוצעים החשבוניים של n הסכומים החלקיים הראשונים:

:\begin{align}
   t_n &= \frac{1}{n}\sum_{k=0}^{n-1} s_k \\
   (t_n) &= \left(\frac{1}{1}, \frac{1}{2}, \frac{2}{3}, \frac{2}{4}, \frac{3}{5}, \frac{3}{6}, \frac{4}{7}, \frac{4}{8}, \ldots\right)
 \end{align}

אז 
:\lim_{n\to\infty} t_n = 1/2,

ולפיכך, סכום צ'זארו של הטור G הוא 1/2.

### דוגמה שנייה
כדוגמה אחרת, ניקח a_n=n בעבור n \geq 1. כלומר, (a_n)_{n=1}^\infty היא הסדרה 

:(1, 2, 3, 4, \ldots).

נסמן כעת ב-G את הטור 

:G = \sum_{n=1}^\infty a_n = 1+2+3+4+\cdots 

סדרת הסכומים החלקיים (s_k)_{k=1}^\infty היא

:(1, 3, 6, 10, \ldots).

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

:\left(\frac{1}{1}, \frac{4}{2}, \frac{10}{3}, \frac{20}{4}, \ldots\right).

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

## סיכום צ'זארו מסדר <math>\alpha</math>

ב-1890 הראה ארנסטו צ'זארו כי קיימת משפחה רחבה יותר של שיטות סכימה, אשר נקראו מאז (\mathrm{C},\alpha) בעבור \alpha שלם אי-שלילי. שיטות אלו מאפשרות לסכום גם טורים שאינם מתכנסים במובן שתואר מקודם. כדי להמחיש את הרעיון הכללי, נפתח בדוגמה. "נוכיח" שערך הטור \sum_{n=1}^{\infty} n(-1)^{n-1}=1-2+3-4+\cdots הוא \frac{1}{4}.

סדרת הסכומים החלקיים הראשונים של הטור הזה היא 1,-1,2,-2,3,-3,.... מכאן נקבל שסדרת הממוצעים החשבוניים של n הסכומים החלקיים הראשונים של הטור היא 
1,0,2/3,0,3/5,0,.... כלומר הטור אינו מתכנס לפי סיכום צ'זארו מסדר ראשון. הערך ההגיוני ביותר לתת לטור עמו התחלנו הוא הממוצע של סדרת הממוצעים החשבוניים. נשים לב כי במקומות האי-זוגיים בסדרת הממוצעים החשבוניים מופיעה סדרה שגבולה קיים ושווה ל-1/2, בעוד שבמקומות האי-זוגיים מופיע תמיד 0. לפיכך הממוצע של סדרת הממוצעים החשבוניים תהיה שווה לחצי כפול הגבול של סדרת הממוצעים החשבוניים של סדרה שמתכנסת ל-1/2. על פי משפט שטולץ-צ'זארו, סדרת הממוצעים החשבוניים של סדרה שגבולה L מתכנסת גם היא ל-L, ולפיכך תמה ההוכחה שסכום הטור הוא 1/4.

### המקרה הכללי
השיטה שתוארה בדוגמה האחרונה היא למעשה סיכום צ'זארו מסדר שני (\mathrm{C},2). השיטה (\mathrm{C},0) היא סכימה רגילה, בעוד ש-(\mathrm{C},1) היא סיכום צ'זארו כפי שתואר בדוגמה הראשונה בערך. השיטות מסדר גבוה יותר מתקבלות מהפעלה חוזרת של סיכום צ'זארו, וניתנות לתיאור באופן הפורמלי הבא: בהינתן טור \textstyle\sum_{n=1}^\infty a_n, נגדיר את הגדלים:

:\begin{align} A_n^{-1}&=a_n \\ A_n^\alpha&=\sum_{k=0}^n A_k^{\alpha-1} \end{align}

ונגדיר את E_n^{\alpha} להיות A_n^{\alpha} בעבור הטור 1+0+0+0+\dots. אז סכום (\mathrm{C},\alpha) של הטור \textstyle\sum_{n=1}^\infty a_n יסומן
(C,\alpha)\textrm{-}\sum a_n, ויוגדר כ-:

:(\mathrm{C},\alpha)\text{-}\sum_{j=0}^\infty a_j=\lim_{n\to\infty}\frac{A_n^\alpha}{E_n^\alpha}

במידה והגבול קיים. אם \alpha שלם, תיאור זה מייצג למעשה \alpha איטרציות של שיטת הסכימה הבסיסית.

## ראו גם
* טור המספרים הטבעיים

קטגוריה:אנליזה מתמטית