Trong toán học, dấu hiệu Abel, hay còn gọi là tiêu chuẩn Abel là một phương pháp kiểm tra sự hội tụ của một chuỗi vô hạn. Phép kiểm tra này được đặt tên theo nhà toán học người Na Uy, Niels Henrik Abel. Có hai phiên bản khác nhau đôi chút của phép thử Abel, một phiên bản cho các chuỗi số thực và phiên bản còn lại cho chuỗi lũy thừa trong giải tích phức. Dấu hiệu hội tụ đều Abel là một tiêu chuẩn cho sự hội tụ đều của một chuỗi hàm phụ thuộc tham số.

Dấu hiệu Abel trong giải tích thực

Giả sử rằng có hai dãy số thực $(a$n){n=1}^\infty và $(b$n){n=1}^\infty thoả mãn

Chuỗi $\backslash sum\_\{n=1\}^\backslash infty\; a\_n$ hội tụ.

Dãy $(b\_n)$ đơn điệu và bị chặn.

Khi đó chuỗi $S=\backslash sum\_\{n=1\}^\backslash infty\; a\_nb\_n$ cũng hội tụ.
Thật vậy, đặt $B$n=\sum{k=1}^n a_k. Khi đó theo khai triển Abel ta có

$$S\_n=\backslash sum\_\{k=1\}^n\; a\_kb\_k=\backslash sum\_\{k=1\}^\{n-1\}B\_n(b\_k-b\_\{k+1\})+b\_nB\_n.$$ Dãy $(b\_n)$ hội tụ theo định lý đơn điệu hội tụ và $(B\_n)$ hội tụ theo giả thiết. Do đó $b\_nB\_n\backslash to\; M$ khi $n\backslash to\backslash infty$. Theo định nghĩa của chuỗi ta có $$S=\backslash lim\_\{n\backslash to\backslash infty\}\; S\_n=M+\backslash sum\_\{n=1\}^\backslash infty\; B\_n(b\_n-b\_\{n+1\}).$$ Ta chỉ cần chứng minh chuỗi $\backslash sum\_\{n=1\}^\backslash infty\; B\_n(b\_n-b\_\{n+1\})$ hội tụ tuyệt đối là đủ. Thật vậy, đặt chuỗi này là $Q$, ta kiểm tra được $$|Q|\backslash le\backslash sum\_\{n=1\}^\backslash infty\backslash big|B\_n(b\_n-b\_\{n+1\})\backslash big|,$$ mà dãy $(B\_n)$ hội tụ nên nó bị chặn bởi số $A$ nào đó. Khi đó $|Q|\backslash le\; A\backslash sum\_\{n=1\}^\backslash infty\; |b\_n-b\_\{n+1\}|$, mà chuỗi sau cùng là chuỗi lồng nhau vì dãy $(b\_n)$ đơn điệu mà dãy này cũng hội tụ nên chuỗi sau cùng cũng hội tụ. Theo đó theo tiêu chuẩn so sánh chuỗi $Q$ hội tụ tuyệt đối, ta có điều phải chứng minh.

Dấu hiệu Abel trong giải tích phức

Một dấu hiệu hội tụ có liên quan, cũng gọi là dấu hiệu Abel có thể được sử dụng để thiết lập sự hội tụ của một chuỗi lũy thừa trên biên của đường tròn hội tụ của nó. Cụ thể, dấu hiệu Abel khẳng định rằng nếu một dãy số thực dương $(a\_n)$ đơn điệu giảm (hay ít nhất là với mọi n lớn hơn một số tự nhiên m, ta có $a$n \geq a{n+1}) và

: $\backslash lim\_\{n\backslash rightarrow\backslash infty\}\; a\_n\; =\; 0$

thì chuỗi lũy thừa

: $f(z)\; =\; \backslash sum\_\{n=0\}^\backslash infty\; a\_nz^n$

hội tụ ở mọi nơi trên đường tròn đơn vị đóng, ngoại trừ z = 1. Dấu hiệu Abel không áp dụng khi z = 1, vì thế sự hội tụ ở điểm đó phải được xét riêng. Chú ý rằng dấu hiệu Abel ngụ ý riêng rằng bán kính hội tụ ít nhất bằng 1. Nó cũng có thể được áp dụng với một chuỗi lũy thừa với bán kính hội tụ R ≠ 1 bởi một phép đổi biến đơn giản ζ = z/R. Chú ý rằng dấu hiệu Abel là một tổng quát hóa của tiêu chuẩn Leibniz khi cho z = −1.

Chứng minh dấu hiệu Abel phức: Giả sử rằng z là một điểm trên đường tròn đơn vị và z ≠ 1. Với mỗi $n\backslash geq1$, ta định nghĩa dãy hàm

: $f$n(z):=\sum{k=0}^n a_k z^k.

Nhân dãy hàm số này với (1 − z), ta có được

: $\backslash begin\{align\}\; (1-z)f$n(z) & = \sum{k=0}^n ak (1-z)z^k
= \sum{k=0}^n ak z^k - \sum{k=0}^n a_k z^{k+1}
= a0 + \sum{k=1}^n ak z^k - \sum{k=1}^{n+1} a_{k-1} z^k \ & = a_0 - an z^{n+1} + \sum{k=1}^n (ak - a{k-1}) z^k. \end{align}

Số hạng đầu tiên là hằng số, số hạng thứ hai hội tụ đếu đến 0 (vì theo giả thiết $(a$n) hội tụ đến 0). Ta chỉ còn cần chứng tỏ rằng số hạng chuỗi hội tụ, bằng cách cho thấy nó hội tụ tuyệt đối: $\backslash sum${k=1}^\infty \left|(ak - a{k-1}) z^k \right| = \sum_{k=1}^\infty |ak-a{k-1}|\cdot |z|^k \leq \sum{k=1}^\infty (a{k-1}-a_{k})

, trong đó tổng cuối là một tổng rút hội tụ. Giá trị tuyệt đối được bỏ đi vì dãy $(a\_n)$ đơn điệu giảm theo giả thiết.

Vì thế, dãy hàm $(1-z)f\_n(z)$ hội tụ (và còn hội tụ đều) trên đĩa đơn vị đóng. Nếu $z\backslash not\; =\; 1$, ta có thể chia cho (1 − z) để có kết quả cần chứng minh.

Dấu hiệu hội tụ đều Abel

Dấu hiệu hội tụ đều Abel là một tiêu chuẩn để xét sự hội tụ đều của một chuỗi hàm hay một tích phân suy rộng hàm phụ thuộc tham số. Nó có liên quan đến dấu hiệu Abel cho sự hội tụ của một chuỗi số thực thông thường, và chứng minh cũng dựa vào thủ thuật lấy tổng từng phần.

Dấu hiệu là như sau. Cho {g_n} là một dãy các hàm số liên tục, bị chặn đều trên một tập E sao cho g_n+1(x) ≤ g_n(x) với mọi x ∈ E và mọi số nguyên dương n, và cho {f_n} là một dãy các hàm giá trị thực sao cho chuỗi hàm số Σf_n(x) hội tụ đều trên E. Vậy thì chuỗi Σf_n(x)g_n(x) cũng hội tụ đều trên E.