1 − 2 3 − 4 ···
في الرياضيات، تشير صيغة 1 − 2 + 3 − 4 + ··· إلى متسلسلة غير منتهية والتي تكون حدودها أعداد صحيحة موجبة ذات إشارة متناوبة.[1] وباستخدام صيغة مجموع سيغما، يكون مجموع الحدود m الأولى من هذه المتسلسلة معطى بالعلاقة:
هذه المتسلسلة هي متسلسلة متباعدة، لأن المجاميع الجزئية لهذه المتسلسلة (1، -1، 2، -2...) لا تؤول إلى قيمة محدودة. على الرغم من ذلك فإن أويلر كتب في القرن الثامن عشر مفارقة تنص بأن المجموع الكلي لهذه المتسلسة هو 1/4 بالشكل:
وظلت تلك المفارقة بدون إثبات لمدة طويلة. ومنذ عام 1890م، قام إرنست سيزارو وإيميل بوريل وآخرون بدراسة طرق محددة لتعيين مجاميع عامة للمتسلسلات المتباعدة تتضمن تفسيرات جديدة لمحاولة أويلر. الكثير من تلك الطرق تحقق أن مجموع متسلسلة 1 − 2 + 3 − 4 + ... هو القيمة 1⁄4. كانت طريقة «مجموع سيزارو» من الطرق القلائل التي لم تعطي مجموعاً لمتسلسلة 1 − 2 + 3 − 4 + ...، ولذلك تعد هذه المتسلسلة مثالا على المتسلسلات التي تحتاج إلى طريقة أقوى مثل مجموع آبل.
متسلسلة 1 − 2 + 3 − 4 + ... مرتبطة ب متسلسلة غراندي 1 − 1 + 1 − 1 + .... تعامل أويلر مع هاتين المتسلسلتين كحالة خاصة من ( 1 − 2n + 3n − 4n + ...) لقيم اختيارية للمتغير n، وهناك أبحاث لتعميم عمله على معضلة بازل تؤدي إلى معادلة دالية لما يُعرف بـ دالة إيتا لدركليه و دالة زيتا لريمان.
التباعد
حدود المتسلسلة (1, −2, 3, −4, ...) لا تؤول إلى 0، وبالتالي فإن 1 − 2 + 3 − 4 + ... تتباعد وفق اختبار الحد النوني. وفقا للتعريف فإن تقارب أو تباعد متسلسلة محدودة يمكن تحديده من تقارب أو تباعد مجاميعها الجزئية. المجاميع الجزئية لـ 1 − 2 + 3 − 4 + ... هي:[2]
- 1 = 1,
- 1 − 2 = −1,
- 1 − 2 + 3 = 2,
- 1 − 2 + 3 − 4 = −2,
- 1 − 2 + 3 − 4 + 5 = 3,
- 1 − 2 + 3 − 4 + 5 − 6 = −3,
- ...
يُلاحظ أن كل عدد صحيح (Integer) يظهر مرة واحدة فقط، حتى الـ0 في حالة المجموع الجزئي الفارغ ( empty partial sum) وبالتالي فهو مجموعة قابلة للعد للمجموعة (أعداد صحيحة).[3] متتالية المجاميع الجزئية توضح أن المتسلسلة لا تتقارب إلى رقمٍ ما (لأي نهاية مفترضة x، يمكن إيجاد نقطة تالية بحيث أن المجاميع الجزئية التالية لها تقع جميعها خارج الفترة [x−1, x+1])، لذلك فإن المتسلسلة 1 − 2 + 3 − 4 + ... متباعدة.
الاستدلال على الجمع
الاستقرار والخطية
حيث أن العناصر 1, −2, 3, −4, 5, −6, ... تتبع نظام بسيط، فإن المتسلسلة 1 − 2 + 3 − 4 + ... يمكن التعامل معها بإزاحة العناصر واحدا واحدا ثم الجمع لإيجاد قيمة لها. إذا قلنا أن... + s = 1 − 2 + 3 − 4، فالطريقة التالية توضح أن s = 1⁄4 : [بحاجة لمصدر]
أي أن . ويمكن توضيح ذلك بالرسم المقابل.
رغم أن 1 − 2 + 3 − 4 + ... ليس لها مجموع بمجرد النظر، إلا أن s = 1 − 2 + 3 − 4 + ... = 1⁄4 يمكن دعمها إذا أردنا تعريف ذلك المجموع. هناك العديد من الطرق (بعضها مذكور أدناه) للتعامل مع مجموع متسلسلة متباعدة. ومن المفضل لتلك الطرق أن يكون لها بعض خصائص جمع المتسلسلات العادية. وباستخدام أية طريقة للجمع (خطية ومستقرة) فإن مجموع 1 − 2 + 3 − 4 + ... هو 1⁄4.[4]
وحيث أن:
فهذه الطريقة يمكن استخدامها لإثبات أن مجموع متسلسلة غراندي 1 − 1 + 1 − 1 + ... = 1⁄2.[4]
مضروب كوشي
في عام 1891، أعطى إيرنست سيزارو أملا في إيجاد حلولا رياضية للمتسلسلات المتباعدة، فمثلا (1 − 1 + 1 − 1 + ...)2 = 1 − 2 + 3 − 4 + ... وكلا الطرفان يساوي 1⁄4.[5] وكان ذلك تطبيقا لنظرية نشرها سيزارو في العام السابق، والتي تُعد أول نظرية في التاريخ لجمع المتسلسلات المتباعدة.[6] وبيان ذلك الجمع كالتالي: الفكرة المحورية هي أن 1 − 2 + 3 − 4 + ... هي مضروب كوشي (التفاف رقمي) لكلا من 1 − 1 + 1 − 1 + ... مع 1 − 1 + 1 − 1 + ....
يمكن تعريف مضروب كوشي لمتسلسلتين لا نهائيتين حتى لو كانت كلتاهما متباعدة. ففي حالة ما إذا كان an = bn = (−1)n، فإن عناصر مضروب كوشي تُعطى بمجموع الأقطار المحدود
وبالتالي فإن متسلسلة الضرب هي:
فطريقة الجمع التي توافق مضروب كوشي لمتسلسلتين، والتي أثبتت أن مجموع المتسلسلة 1 − 1 + 1 − 1 + ...هو 1/2 يمكنها أيضا أن تثبت أن مجموع المتسلسلة 1 − 2 + 3 − 4 + ... هو 1/4. مما سبق فهناك توافق بين طرق جمع 1 − 1 + 1 − 1 + ... و 1 − 2 + 3 − 4 + ... مع الطرق الخطية المستقرة التي تحقق مضروب كوشي.
وتعد نظرية سيزارو مثالا واضحا لذلك. المتسلسلة 1 − 1 + 1 − 1 + ... قابلة للجمع (وفق سيزارو) بأقل درجة، وتسمى قابلة للجمع-(C, 1) بينما المتسلسلة 1 − 2 + 3 − 4 + ... تحتاج شكل أقوى من نظريات سيزارو،[7] هي قابلة للجمع-(C, 2). وحيث أن كل أشكال نظرية سيزارو هي خطية ومستقرة، فإن نتائج الجمع هي كما أسلفنا.
طرق خاصة
سيزارو وهولدر
لإيجاد مجموع سيزارو (C, 1) للمتسلسلة 1 − 2 + 3 − 4 + ... إذا كان موجودا، يجب حساب المتوسطات الحسابية للمجاميع الجزئية للمتسلسلة. المجاميع الجزئية هي:
- 1، −1، 2، −2، 3، −3...
والمتوسطات الحسابية لتلك المجاميع الجزئية هي:
- 1، 0، 2⁄3، 0، 3⁄5، 0، 4⁄7....
وهذه المتوسطات لا تتقارب، ولذلك فالمتسلسلة 1 − 2 + 3 − 4 + ... ليست قابلة للجمع وفق سيزارو.
هناك تعميمان مشهوران لجمع سيزارو: أبسطهما هو طرق (H, n) للأعداد الطبيعية n. حيث (H, 1) هو مجموع سيزارو، والطرق الأعلى تُكرر حساب المتوسطات. كما نرى -أعلاه- فإن المتوسطات الزوجية تتقارب إلى 1⁄2، بينما المتوسطات الفردية جميعها يساوي 0، وبذلك يكون متوسط المتوسطات يتقارب إلى 0 و 1⁄2، أي 1⁄4.[8] وبالتالي يمكن القول أن 1 − 2 + 3 − 4 + ... هي قابلة للجمع (H, 2) وتؤول إلى 1⁄4.
الرمز "H" يعود للعالِم Otto Hölder، والذي يُعد أول من أثبت في عام 1882 ما يعتبره الرياضاتيون الآن الرابط بين «مجموع آبل» ومجموع (H, n); المتسلسلة 1 − 2 + 3 − 4 + ... كانت أول مثال.[9] حقيقة أن 1⁄4 هي مجموع (H, 2) للمتسلسلة 1 − 2 + 3 − 4 + ... أكدت أنها هي «مجموع آبل» أيضا، وسيتم أثبات ذلك لاحقا.
التعميم الآخر لجمع سيزارو هو طرق (C, n). حيث ثبت أن جمع (C, n) وجمع (H, n) دائما يعطيان نفس النتائج، لكن لهما خلفيات مختلفة. في عام 1887، اقترب سيزارو من وضع تعريف جمع (C, n)، لكنه أعطى أمثلة قليلة. فقد ذكر أن مجموع المتسلسلة 1 − 2 + 3 − 4 + ...، هو القيمة 1⁄4 بطريقة يمكن اعتبارها قريبة من طريقة جمع (C, n) لكنها لم يتم تحقيقها في ذلك الوقت. وقد قام بصياغة طريقة جمع (C, n) في عام 1890 لينص على أن مضروب كوشي لمتسلسة قابلة للجمع-(C, n) ومتسلسلة قابلة للجمع-(C, m) هو متسلسلة قاببة للجمع- (C, m + n + 1).[10]
مجموع آبل
في عام 1749، قرر أويلر أن المتسلسلة تتباعد لكنه حاول إيجاد مجموع لها بأية طريقة:
قدَّم أويلر عدة تعميمات لكلمة «جمع». في حالة المتسلسلة 1 − 2 + 3 − 4 + ...تُعد فكرته مشابهة لما يُعرف بـ «مجموع آبل»:
ليس هناك شك في أن مجموع المتسلسلة 1 − 2 + 3 − 4 + 5 هو 1⁄4، لأنها تأتي من مفكوك المعادلة والتي قيمتها 1⁄4. ويمكن توضيح الفكرة باعتبار المتسلسلة العامة (). والتي تظهر في مفكوك ، الذي يساوي هذه المتسلسلة عندما نضع x = 1.[12]
هناك طرق عديدة لبيان ذلك، على الأقل للقيم المطلقة ، فإن أويلر على صواب في ذلك:
يمكن إيجاد مفكوك تايلور للجانب الأيمن من المعادلة أو تطبيق طريقة القسمة المطولة لكثيرات الحدود. بدءاً بالجانب الأيسر، يمكن متابعة الحل أعلاه ويمكن الضرب في (1 + x) مرتين أو تربيع المتسلسلة الهندسية . اقترح أويلر أيضا اشتقاق المتسلسلة الأخيرة عنصرا عنصرا.[13]
وفقا للنظرة الحديثة فإن المتسلسلة ليست مُعرفة كدالة عند x = 1، وبالتالي لا يمكن التعويض بهذه القيمة في تلك العلاقة. وحيث أن الدالة مُعرفة عند كل ، يمكننا أخذ النهاية عندما x تؤول إلى 1، وهذا هو تعريف «مجموع آبل»:
أويلر وبوريل
طبق أولير طريقة أخرى على تلك المتسلسلة: تحويل أويلر هو واحد من ابتكاراته، ولحساب تحويل أويلر نبدأ بالحدود الموجبة للمتسلسلة وهي 1 ، 2 ، 3 ، 4 ، .... ونعطي التسمية a0 للعنصر الأول.
ثم نحسب الفروق المحدودة (forward differences) لهذه الأرقام 1 ، 2 ، 3 ، 4 ، ...، والتي هي 1 ، 1 ، 1 ، 1 ، .... نسمي أول عنصر منها Δa0. يعتمد تحويل أويلر على «فروق الفروق»، لكن كل الفروق لـ 1 ، 1 ، 1 ، 1 ، ... هي 0. وبالتالي فإن تحويل أويلر لـ 1 − 2 + 3 − 4 + ... يمكن تعريفه أنه:
أو يمكن القول أن 1 − 2 + 3 − 4 + ... قابلة للجمع «وفق أويلر» وقيمتها 1⁄4.
قابلية الجمع عند أويلر تتضمن أن 1 − 2 + 3 − 4 + ... هو
وهي المعادلة المرتبطة بالمتسلسلات المتقاربة
«مجموع بوريل» للمتسلسلة 1 − 2 + 3 − 4 + ...هو:[14]
فصل المقاييس Separation of scales
توصل سيتشيف وويكشينسكي إلى أن 1 − 2 + 3 − 4 + ... = 1⁄4 بتطبيق مبدأين فقط هما: (infinitesimal relaxation) و (separation of scales). وكان هذان المبدأن سببا لتعريف طرق عديدة أطلقا عليها اسم ("φ-summation methods")، وجميعها أعطى نفس النتيجة بأن مجموع هذه المتسلسلة هو 1⁄4:
- إذا كان (φ(x هي دالة بحيث أن المشتقتين الأولى والثانية لها متصلتان وقابلتان للتكامل على الفترة (0, ∞)، بحيث أن φ(0) = 1 ونهايات (φ(x و (xφ(x عند +∞ هي 0، فإن[15]
هذه النتيجة تعتبر تعميم لمجموع آبل، والذي يمكن الحصول عليه عند تساوي كلا من (φ(x و (exp(-x. ويمكن إثبات هذا التعميم بأخذ أزواج من عناصر المتسلسلة على m وتحويلها إلى تكامل ريمان. وفق الخطوة الأخيرة فإن الإثبات المناظر لمتسلسلة غراندي 1 − 1 + 1 − 1 + ... يُطبق مبرهنة القيمة الوسطى، لكننا نحتاج صيغة لاجرانج الأقوى من مبرهنة تايلور.
تعميم
مضروب كوشي الثلاثي (threefold) للمتسلسلة 1 − 1 + 1 − 1 + ... هو 1 − 3 + 6 − 10 + ...، وهي متسلسلة مترددة من الأعداد المثلثية، والتي مجموعها وفق «آبل» و «أويلر» هو 1⁄8.[16] مضروب كوشي الرباعي (fourfold) لـ 1 − 1 + 1 − 1 + ... هو 1 − 4 + 10 − 20 + ...، وهي متسلسلة مترددة من الأعداد الهرمية الثلاثية. ومجموع آبل لها هو 1⁄16.
تعميم آخر للمتسلسلة 1 − 2 + 3 − 4 + ... بطريقة أخرى للمتسلسلة لقيم أخرى لـ n.
لقيم n الصحيحة، يكون لهذه المتسلسة مجاميع آبل التالية:[17]
حيث Bn هي أعداد بيرنولي.
لقيم n الزوجية، يُختصر ذلك إلى
وهذا المجموع الأخير كان مثارا للسخرية من آبل في عام 1826، حيث قال: المتسلسلات المتباعدة هي من عمل الشيطان، وإنه لمن العار أن يجرؤ أحد للبحث عن إثبات لها. يمكن للمرء أن يُخرج منها ما يريده إذا استخدمهم، وهي التي تجلب الكثير من التعاسة والكثير من المفارقات. هل يمكن للمرء أن يفكر في أي شيء أكثر رعبا من القول بأن ، حيث n هو رقم موجب. إنه شيء يدعو للضحك يا أصدقائي.[18]
كان أوجين شارل كاتالان، مُعلم سيزارو، يستخف بالمتسلسلة المتباعدة. وبتأثير كاتالان، أشار سيزارو في البداية إلى «الصيغ التقليدية» للمتسلسلة هي «معادلات سخيفة»، وفي عام 1883 أعرب سيزارو عن وجهة نظر نموذجية لذلك الوقت بأن تلك الصيغ كانت خطأ ولكنها لا تزال بطريقة أو بأخرى مفيدة رسميا. وأخيرا، في عام 1890، اتخذ سيزارو نهجا حديثا بدءا من التعاريف، وقام بنشره في (Sur la multiplication des séries).[19]
تم دراسة المتسلسلات لقيم n غير الصحيحة، فنتج عنها دالة إيتا لدركليه. كانت المعادلة الدالية لـ«دالة إيتا» هي أحد دوافع أويلر لدراسة المتسلسلات المتعلقة بـ 1 − 2 + 3 − 4 + ...، والتي أدت مباشرةً إلى المعادلة الدالية لـ دالة زيتا لريمان. فقد أصبح أويلر مشهورا بإيجاد قيم هذه الدوال عند الأعداد الصحيحة الزوجية (بما في ذلك معضلة بازل)، وحاول إيجاد القيم عند الأعداد الصحيحة الفردية (بما في ذلك ثابتة أبيري) أيضا، وهي مشكلة لم تحل حتى الآن. يمكن التعامل مع دالة إيتا بسهولة بطرق أويلر لأن متسلسلة دركليه قابلة للجمع وفق آبل; بينما دالة زيتا لدركليه يصعب جمعها إذا كانت متباعدة.[20] على سبيل المثال فإن المقابل للمتسلسلة 1 − 2 + 3 − 4 + ... في دالة زيتا هي المتسلسلة (غير المترددة) 1 + 2 + 3 + 4 + ... , والتي لها تطبيقات هامة في الفيزياء الحديثة لكنها تحتاج طرق أكثر قوة لجمعها.
المراجع
- ^ Euler's Proof That 1 + 2 + 3 + ... = −1/12 (PDF). math.ucr.edu (December 19, 2003). Retrieved on March 11, 2007. نسخة محفوظة 30 أكتوبر 2012 على موقع واي باك مشين.
- ^ Hardy p.8
- ^ Beals p.23
- ^ أ ب Hardy p.6
- ^ Ferraro, p.130.
- ^ Hardy, p.8.
- ^ Hardy, p.3; Weidlich, pp.52–55.
- ^ Hardy, p.9. For the full details of the calculation, see Weidlich, pp.17–18.
- ^ Ferraro, p.118; Tucciarone, p.10. Ferraro criticizes Tucciarone's explanation (p.7) of how Hölder himself thought of the general result, but the two authors' explanations of Hölder's treatment of 1 − 2 + 3 − 4 + ... are similar.
- ^ Ferraro, pp.123–128.
- ^ Euler et al., p. 2. Although the paper was written in 1749, it was not published until 1768.
- ^ Euler et al., pp. 3, 25.
- ^ For example, Lavine (p. 23) advocates long division but does not carry it out; Vretblad (p.231) calculates the Cauchy product. Euler's advice is vague; see Euler et al., pp. 3, 26. John Baez even suggests a category-theoretic method involving multiply pointed sets and the quantum harmonic oscillator. Baez, John C. Euler's Proof That 1 + 2 + 3 + ... = −1/12 (PDF). math.ucr.edu (December 19, 2003). Retrieved on March 11, 2007. نسخة محفوظة 30 أكتوبر 2012 على موقع واي باك مشين.
- ^ Weidlich p. 59
- ^ Saichev and Woyczyński, pp.260–264.
- ^ Kline, p.313.
- ^ Hardy, p.3; Knopp, p.491.
- ^ Grattan-Guinness, p.80. See Markushevich, p.48, for a different translation from the original لغة فرنسية؛ the tone remains the same.
- ^ Ferraro, pp.120–128.
- ^ Euler et al., pp.20–25.
المصادر
- Beals، Richard (2004). Analysis: An Introduction. Cambridge UP. ISBN:0-521-60047-2.
- Davis، Harry F. (مايو 1989). Fourier Series and Orthogonal Functions. Dover. ISBN:0-486-65973-9.
- Euler، Leonhard؛ Willis، Lucas؛ Osler، Thomas J. (2006). "Translation with notes of Euler's paper: Remarks on a beautiful relation between direct as well as reciprocal power series". The Euler Archive. مؤرشف من الأصل في 2015-09-11. اطلع عليه بتاريخ 2007-03-22. Originally published as Euler، Leonhard (1768). "Remarques sur un beau rapport entre les séries des puissances tant directes que réciproques". Mémoires de l'Académie des Sciences de Berlin. ج. 17: 83–106.
- Ferraro، Giovanni (يونيو 1999). "The First Modern Definition of the Sum of a Divergent Series: An Aspect of the Rise of 20th Century Mathematics". Archive for History of Exact Sciences. ج. 54 ع. 2: 101–135. DOI:10.1007/s004070050036.
- Grattan-Guinness، Ivor (1970). The development of the foundations of mathematical analysis from Euler to Riemann. MIT Press. ISBN:0-262-07034-0.
- Hardy، G. H. (1949). Divergent Series. Clarendon Press. xvi+396. ISBN:978-0-8218-2649-2. LCCN:49005496. MR:0030620. OCLC:808787. 2nd Ed. published by Chelsea Pub. Co., 1991. قالب:Lccn. (ردمك 0-8284-0334-1).
- Kline، Morris (نوفمبر 1983). "Euler and Infinite Series". Mathematics Magazine. ج. 56 ع. 5: 307–314. DOI:10.2307/2690371. JSTOR:2690371.
- Lavine، Shaughan (1994). Understanding the Infinite. Harvard UP. ISBN:0-674-92096-1.
- Markusevič، Aleksej Ivanovič (1967). Series: fundamental concepts with historical exposition (ط. English translation of 3rd revised edition (1961) in Russian). Delhi, India: Hindustan Pub. Corp. ص. 176. LCCN:sa68017528. OCLC:729238507. Author also known as A. I. Markushevich and Alekseï Ivanovitch Markouchevitch. Also published in Boston, Mass by Heath with 474456247. Additionally, 208730, 487226828.
- Saichev، A.I.؛ Woyczyński، W.A. (1996). Distributions in the Physical and Engineering Sciences, Volume 1. Birkhaüser. ISBN:0-8176-3924-1.
{{استشهاد بكتاب}}
: الوسيط غير المعروف|last-author-amp=
تم تجاهله يقترح استخدام|name-list-style=
(مساعدة) - Tucciarone، John (يناير 1973). "The development of the theory of summable divergent series from 1880 to 1925". Archive for History of Exact Sciences. ج. 10 ع. 1–2: 1–40. DOI:10.1007/BF00343405.
- Vretblad، Anders (2003). Fourier Analysis and Its Applications. Springer. ISBN:0-387-00836-5.
- Weidlich، John E. (يونيو 1950). Summability methods for divergent series. Stanford M.S. theses. OCLC:38624384.