Tiêu chuẩn Leibniz

Tiêu chuẩn Leibniz cho chuỗi đan dấu được mang tên của nhà toán học, triết học, khoa học và lôgíc học người Đức Gottfried Wilhelm Leibniz (1646-1716). Tiêu chuẩn chỉ ra điều kiện cho một chuỗi hội tụ. Đây là một dấu hiệu để kiểm tra (test) về tính hội tụ của một chuỗi đan dấu.

Phát biểu
Một chuỗi có dạng



trong đó mọi an hoặc là dương toàn bộ hoặc âm toàn bộ, được gọi là một chuỗi đan dấu.

Tiêu chuẩn Leibniz phát biểu rằng: nếu  đơn điệu giảm và  thì chuỗi đan dấu hội tụ.

Hơn nữa, ký hiệu L là tổng hội tụ của chuỗi, thì tổng riêng



xấp xỉ L với sai số bị chặn bởi số hạng tiếp theo đã bỏ đi:


 Chứng minh 
Giả sử ta có một chuỗi có dạng , trong đó:  và  với mọi số tự nhiên n. (Trường hợp  có thể suy ra bằng cách lấy dấu âm của dãy.)The proof follows the idea given by James Stewart (2012) "Calculus: Early Transcendentals, Seventh Edition" pp. 727–730. 

 Chứng minh sự hội tụ 
Ta sẽ chứng minh rằng cả hai dãy tổng riêng:  với một số lẻ các số hạng, và   với một số chẵn các số hạng, đều hội tụ đến cùng một số giới hạn L. Vì thế dãy tổng riêng chung  cũng hội tụ đến L.

Dãy tổng riêng lẻ giảm đơn điệu vì:



trong khi dãy tổng riêng chẵn tăng đơn điệu:



đều là bởi theo giả thiết an giảm đơn điệu với n.

Hơn nữa, vì các an dương nên . Vì thế ta có thể cho tất cả những điều này vào bất đẳng thức nối tiếp sau:



Bây giờ chú ý rằng a1 − a2 là một cận dưới của dãy đơn điệu giảm S2m+1, theo định lý hội tụ đơn điệu ta có dãy này hội tụ khi m tiến đến vô cùng. Tương tự, dãy tổng riêng chẵn cũng hội tụ.

Cuối cùng, chúng phải hội tụ đến cùng một số do



Gọi giới hạn là L, định lý hội tụ đơn điệu còn cho ta thông tin rằng



với m bất kỳ. Điều này nghĩa là các tổng riêng của một chuỗi đan dấu cũng chạy "luân phiên" bên trên và dưới giới hạn cuối cùng. Nói chính xác hơn, khi nào có một số lẻ (hay chẵn) các số hạng, tức là số hạng cuối là một số hạng dương (hay âm) thì tổng riêng ở trên (ở dưới) giới hạn cuối cùng.

Cách hiểu này dẫn ngay đến sự bị chặn của sai số của tổng riêng, được chứng minh dưới đây.

 Chứng minh sai số của tổng riêng bị chặn 
Ta chứng minh rằng  bằng cách chia ra hai trường hợp.

Khi k = 2m+1, tức là lẻ thì



Khi  k = 2m, tức là chẵn thì



đều tiến đến 0 như mong muốn.

Cả hai trường hợp này đều có được dựa vào bất đẳng thức suy ra ở đoạn cuối của chứng minh trước.

Thí dụ
Chuỗi

là một chuỗi hội tụ vì

 giảm đều về 0 khi giá trị của n tiến ra vô cùng.

Một phản ví dụ: tất cả các điều kiện của dấu hiệu hội tụ này, tức là dãy phải hội tụ đến 0 và là đơn điệu giảm, đều phải thỏa mãn để có kết luận đúng. Xét chuỗi

là chuỗi đan dấu và các số hạng dần đến 0. Tuy nhiên sự đơn điệu dãy lại không có và ta không thể áp dụng dấu hiệu này. Thực ra chuỗi này là phân kỳ. Thật vậy, với tổng riêng  ta có:  tức là bằng hai lần tổng riêng của chuỗi điều hòa là một chuỗi phân kỳ. Vì vậy chuỗi ban đầu là phân kỳ.
 Xem thêm 
Một cách chứng minh khác sử dụng tiêu chuẩn hội tụ Cauchy, xem tại bài Chuỗi đan dấu.

Tổng quát hóa ta có dấu hiệu Dirichlet.
Tham khảo

 Konrad Knopp (1956) Infinite Sequences and Series, § 3.4, Dover Publications 
 Konrad Knopp (1990) Theory and Application of Infinite Series, § 15, Dover Publications 
 E. T. Whittaker & G. N. Watson (1963) A Course in Modern Analysis, 4th edition, §2.3, Cambridge University Press 

Thể loại:Chuỗi đan dấu
Thể loại:Chuỗi toán học
Thể loại:Gottfried Leibniz