เราคุ้นเคยกับลำดับเลขคณิตและเรขาคณิต ซึ่งเป็นรายการของตัวเลขที่มีแบบแผนแน่นอน แต่ถ้าลำดับนั้นมีจำนวนพจน์ต่อไปเรื่อยๆ ไม่สิ้นสุดล่ะ? เราเรียกมันว่าลำดับอนันต์ (Infinite Sequence) สิ่งที่น่าสนใจเกี่ยวกับลำดับเหล่านี้คือพฤติกรรมของพจน์ท้ายๆ เมื่อ n มีค่ามากขึ้นจนเข้าใกล้อนันต์

แนวคิดนี้เรียกว่า ลิมิตของลำดับ (Limit of a Sequence) ถ้าพจน์ของลำดับ $a_n$ เข้าใกล้ค่าใดค่าหนึ่ง (L) เมื่อ n มีค่ามากขึ้นเรื่อยๆ เราจะกล่าวว่าลำดับนั้น "ลู่เข้า" (converges) สู่ L ในทางคณิตศาสตร์เราเขียนแทนด้วยสัญลักษณ์:

ตัวอย่างเช่น ลำดับ $a_n = \frac{1}{n}$ เมื่อ $n$ มีค่าเป็น 1, 2, 3, ... พจน์ของลำดับจะเป็น 1, 1/2, 1/3, 1/4, ... จะเห็นว่าค่าของพจน์ลดลงและเข้าใกล้ 0 มากขึ้นเรื่อยๆ ดังนั้น $\lim_{n \to \infty} \frac{1}{n} = 0$ ลำดับนี้จึงเป็น ลำดับลู่เข้า (convergent sequence) ในทางกลับกัน ถ้าลำดับไม่มีลิมิตเป็นค่าจำกัด เช่น $a_n = n^2$ ซึ่งพจน์จะมีค่ามากขึ้นอย่างไม่มีที่สิ้นสุด เราจะเรียกว่าเป็นลำดับลู่ออก (divergent sequence)

เมื่อเรานำพจน์ทั้งหมดของลำดับอนันต์มาบวกกัน ผลลัพธ์ที่ได้เรียกว่า อนุกรมอนันต์ (Infinite Series) เราใช้สัญลักษณ์ซิกม่า (Sigma) ในการเขียนแทนผลบวกนี้

คำถามสำคัญคือ ผลบวกของจำนวนที่เป็นอนันต์พจน์จะมีค่าจำกัดได้หรือไม่? คำตอบคือ "ได้" แต่ไม่ใช่ทุกกรณี เราจะตรวจสอบได้โดยดูที่ "ผลบวกย่อย" (Partial Sum) หรือ $S_n$ ซึ่งคือผลบวกของ n พจน์แรกของอนุกรม $S_1 = a_1$ $S_2 = a_1 + a_2$ $S_3 = a_1 + a_2 + a_3$ ... $S_n = a_1 + a_2 + ... + a_n$

ถ้าลำดับของผลบวกย่อย ($S_1, S_2, S_3, ...$) ลู่เข้าสู่ค่าจำกัดค่าหนึ่ง (S) เราจะกล่าวว่าอนุกรมอนันต์นั้นลู่เข้า และมีผลบวกเท่ากับ S แต่ถ้าลำดับของผลบวกย่อยลู่ออก อนุกรมอนันต์นั้นก็จะลู่ออกเช่นกัน

อนุกรมเรขาคณิตเป็นตัวอย่างที่ชัดเจนที่สุด อนุกรม $\sum_{n=1}^{\infty} ar^{n-1}$ จะลู่เข้าเมื่อค่าสัมบูรณ์ของอัตราส่วนร่วม (r) น้อยกว่า 1 หรือ $|r| < 1$ และจะลู่เข้าสู่ค่า $S = \frac{a_1}{1-r}$ หาก $|r| \ge 1$ อนุกรมจะลู่ออก นี่คือหนึ่งในเครื่องมือพื้นฐานที่สุดในการตรวจสอบการลู่เข้าของอนุกรม

จะเกิดอะไรขึ้นเมื่อเราผสมลำดับเลขคณิตเข้ากับลำดับเรขาคณิต? เราจะได้สิ่งที่เรียกว่า อนุกรมผสมเลขคณิต-เรขาคณิต (Arithmetic-Geometric Series) ซึ่งแต่ละพจน์เกิดจากการคูณกันของพจน์ที่สมนัยกันของลำดับเลขคณิตและลำดับเรขาคณิต

พจน์ทั่วไปของอนุกรมชนิดนี้มีรูปแบบคือ $[a + (n-1)d]r^{n-1}$ โดยที่ $a + (n-1)d$ คือส่วนของเลขคณิต และ $r^{n-1}$ คือส่วนของเรขาคณิต

การหาผลบวกของอนุกรมผสมชนิดอนันต์ (เมื่อ $|r| < 1$) ต้องใช้เทคนิคเล็กน้อย สมมติให้ $S$ คือผลบวกของอนุกรม จากนั้นนำ $r$ มาคูณกับ $S$ ทั้งสมการ แล้วนำสมการทั้งสองมาลบกัน วิธีนี้จะทำให้พจน์ส่วนใหญ่หักล้างกันไป เหลือเพียงอนุกรมเรขาคณิตที่หาผลบวกได้ง่าย

ตัวอย่างเช่น ลองหาผลบวกของอนุกรม $S = 1 + \frac{2}{3} + \frac{3}{9} + \frac{4}{27} + \dots$ นี่คืออนุกรมผสมที่ส่วนเลขคณิตคือ 1, 2, 3, ... และส่วนเรขาคณิตคือ $1, \frac{1}{3}, \frac{1}{9}, \dots$ (โดย $r=\frac{1}{3}$)

อนุกรมทางฝั่งขวาคืออนุกรมเรขาคณิตอนันต์ที่มีพจน์แรกเป็น 1 และอัตราส่วนร่วมเป็น $1/3$ ซึ่งมีผลบวกเท่ากับ $\frac{1}{1 - 1/3} = \frac{3}{2}$ ดังนั้นเราจะได้ว่า:

นอกเหนือจากอนุกรมเรขาคณิตแล้ว เราจะรู้ได้อย่างไรว่าอนุกรมที่ซับซ้อนอื่นๆ ลู่เข้าหรือลู่ออก? นักคณิตศาสตร์ได้พัฒนาการทดสอบหลายวิธีขึ้นมาเพื่อตอบคำถามนี้โดยไม่ต้องคำนวณผลบวกย่อยโดยตรง หนึ่งในการทดสอบที่พื้นฐานที่สุดคือ การทดสอบการลู่ออก (Divergence Test)

พูดง่ายๆ คือ ถ้าพจน์ท้ายๆ ของอนุกรมไม่ได้เข้าใกล้ 0 การบวกพจน์เหล่านั้นไปเรื่อยๆ ย่อมทำให้ผลบวกพุ่งไปสู่อนันต์แน่นอน แต่ต้องระวัง! ถ้า $\lim_{n \to \infty} a_n = 0$ เรายังสรุปไม่ได้ว่าอนุกรมจะลู่เข้าหรือไม่ ต้องใช้วิธีอื่นที่ซับซ้อนขึ้นในการตรวจสอบ

ตัวอย่างที่คลาสสิกคืออนุกรมฮาร์มอนิก (Harmonic Series): $\sum_{n=1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \dots$ แม้ว่า $\lim_{n \to \infty} \frac{1}{n} = 0$ แต่อนุกรมนี้กลับเป็นอนุกรมที่ลู่ออก! ซึ่งเป็นข้อพิสูจน์ว่าเงื่อนไข $\lim_{n \to \infty} a_n = 0$ นั้นจำเป็นแต่ไม่เพียงพอสำหรับการลู่เข้า

ยังมีวิธีการทดสอบอื่นๆ อีกมาก เช่น การทดสอบโดยใช้ปริพันธ์ (Integral Test) การทดสอบโดยการเปรียบเทียบ (Comparison Test) และ การทดสอบด้วยอัตราส่วน (Ratio Test) ซึ่งแต่ละวิธีก็มีจุดเด่นและเหมาะกับอนุกรมคนละประเภทกันไป

แนวคิดเรื่องลำดับและอนุกรมอนันต์เหล่านี้ ไม่ใช่แค่เรื่องนามธรรมในวิชาคณิตศาสตร์ แต่เป็นรากฐานสำคัญที่นำไปสู่แคลคูลัสและการวิเคราะห์ขั้นสูงในสาขาต่างๆ ทั้งฟิสิกส์ วิศวกรรม และเศรษฐศาสตร์