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 "a" 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 formula_2 đơn điệu giảm và formula_3 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 formula_6, trong đó: formula_7 và formula_8 với mọi số tự nhiên "n". (Trường hợp formula_9 có thể suy ra bằng cách lấy dấu âm của dãy.)

=== Chứng minh sự hội tụ ===
Ta sẽ chứng minh rằng cả hai dãy tổng riêng: formula_10 với một số lẻ các số hạng, và formula_11 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 formula_12 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 "a" giảm đơn điệu với "n".

Hơn nữa, vì các "a" dương nên formula_15. 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 "a" − "a" là một cận dưới của dãy đơn điệu giảm "S", 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 formula_19 bằng cách chia ra hai trường hợp.

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

Khi "k" = 2"m", 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

formula_22

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

formula_23 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 formula_25 ta có: formula_26 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