✨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

: $\backslash sum\_\{n=0\}^\backslash infty\; (-1)^\{n\}\; a\_n\; =\; a\_0-a\_1\; +\; a\_2\; -\; a\_3\; +\; \backslash cdots\; !$

trong đó mọi a_n 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 $|a$n| đơn điệu giảm và $\backslash lim${n \to \infty} a_n = 0 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

: $S$k = \sum{n=0}^k (-1)^{n} a_n!

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

: $\backslash left\; |\; S\_k\; -\; L\; \backslash right\; \backslash vert\; \backslash le\; \backslash left\; |\; S$k - S{k+1} \right \vert = a_{k+1}.!

Chứng minh

Giả sử ta có một chuỗi có dạng $\backslash sum\_\{n=1\}^\backslash infty\; (-1)^\{n-1\}\; a$n!, trong đó: $\backslash lim${n\rightarrow\infty}a_{n}=0 và $a$n \geq a{n+1} với mọi số tự nhiên n. (Trường hợp $\backslash sum\_\{n=1\}^\backslash infty\; (-1)^\{n\}\; a\_n!$ 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: $S${2m+1}=\sum{n=1}^{2m+1} (-1)^{n-1} an với một số lẻ các số hạng, và $S${2m}=\sum_{n=1}^{2m} (-1)^{n-1} a_n 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 $S$k=\sum{n=1}^k (-1)^{n-1} a_n cũng hội tụ đến L.

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

: $S${2(m+1)+1}=S{2m+1}-a{2m+2}+a{2m+3} \leq S_{2m+1}

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

: $S${2(m+1)}=S{2m}+a{2m+1}-a{2m+2} \geq S_{2m}

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

Hơn nữa, vì các a_n dương nên $S${2m+1}-S{2m}=a_{2m+1} \geq 0 . 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:

: $a\_1\; -\; a\_2\; =\; S$2 \leq S{2m} \leq S_{2m+1} \leq S_1 = a_1.

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_2m+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

: $\backslash lim${m\to\infty}(S{2m+1}-S{2m})=\lim{m\to\infty}a_{2m+1}=0.

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

: $S${2m} \leq L \leq S{2m+1}

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 $\backslash left|\; S$k - L \right| \leq a{k+1}! bằng cách chia ra hai trường hợp.

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

: $\backslash left|\; S${2m+1} - L \right| = S{2m+1} - L \leq S{2m+1} - S{2m+2} = a_{(2m+1)+1}

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

: $\backslash left|\; S${2m} - L \right| = L - S{2m} \leq S{2m+1} - S{2m} = a_{2m+1}

đề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ì

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

:$\backslash frac\{1\}\{\backslash sqrt\{2\}-1\}-\backslash frac\{1\}\{\backslash sqrt\{2\}+1\}+\backslash frac\{1\}\{\backslash sqrt\{3\}-1\}-\backslash frac\{1\}\{\backslash sqrt\{3\}+1\}+\backslash cdots$ 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 $S${2n} ta có: $S${2n}=\frac{2}{1}+\frac{2}{2}+\frac{2}{3}+\cdots+\frac{2}{n-1} 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ỳ.