Giả thuyết Riemann: lịch sử bài toán và những bước tiến gần đây

Giả thuyết Riemann là gì, bài toán thiên niên kỷ, chứng minh giả thuyết rieman

Bài viết này của J. Brian Conrey, Director of the American Institute of Mathematics, đăng trên Notices of the AMS (Match 2003). Bài báo vừa được nhận giải thưởng 2008 AMS Levi L. Conant cho các bài viết hay nhất trên các tờ Notices of the AMS và Bulletin of the AMS. Bài viết cho một cái nhìn tổng quan về giả thuyết Riemann, từ lịch sử bài toán đến những bước tiến gần đây. Chúng tôi xin lược trích nửa đầu của bài báo, và bạn đọc quan tâm được khuyến khích đọc nguyên bản bài báo này tại địa chỉ ams.org/notices/200303/fea-conrey-web.pdf

Hilbert, tại đại hội Toán học Thế giới năm 1900 ở Paris, đã đưa Giả Thuyết Riemann vào danh sách 23 bài toán dành cho những nhà Toán học của thế kỷ 20. Bây giờ thì nó đang tiếp tục thách thức những nhà Toán học ở thế kỷ 21. Giả thuyết Riemann (RH - Riemann Hypothesis) đã tồn tại hơn 140 năm, và hiện tại cũng chưa hẳn là thời kỳ hấp dẫn nhất trong lịch sử bài toán. Tuy nhiên những năm gần đây đã chứng kiến một sự bùng nổ trong nghiên cứu bắt nguồn từ sự kết hợp giữa một số lĩnh vực trong Toán học và Vật lý.
Trong 6 năm qua, Viện Toán học Mỹ (AIM - American Institute of Mathematics) đã tài trợ cho 3 đề án tập trung vào RH. Nơi đầu tiên (RHI) là ở Seattle vào tháng 8 năm 1996 tại đại học Washington (University of Washington). Nơi thứ hai (RHII) là ở Vienna vào tháng 10 năm 1998 tại Viện Schrodinger (Erwin Schrodinger Institute), và nơi thứ ba (RHIII) là ở New York vào tháng 5 năm 2002 tại Viện Toán Courant (Courant Institute of Mathematical Sciences). Mục tiêu của 3 đề án này là để khích lệ nghiên cứu và thảo luận về một trong những thách thức lớn nhất của Toán học và để xem xét những hướng tiếp cận khác nhau. Liệu chúng ta có tiến gần hơn tới lời giải cho Giả thuyết Riemann sau các nỗ lực đó? Liệu có phải chúng ta đã học được nhiều điều về hàm zeta (zeta-function) từ các đề án đó? Điều đó là chắc chắn! Một số thành viên trong các đề án này đang tiếp tục cộng tác với nhau trên trang web (http://www.aimath.org/WWN/rh/), nơi cung cấp một cái nhìn tổng quan cho chủ đề này.
Ở đây tôi hi vọng phác thảo một số hướng tiếp cận tới RH và kể nhứng điều thú vị khi làm việc trong lĩnh vực này tại thời điểm hiện tại. Tôi bắt đầu với bản thân Giả thuyết Riemann. Năm 1859 trong một báo cáo seminar "Ueber die Anzahl der Primzahlen unter eine gegebener Grosse", G. B. F. Riemann đã chỉ ra một số tính chất giải tích căn bản của hàm zeta

$\zeta+(s):+=+1+++\frac{1}{{2^s+}}+++\frac{1}{{3^s+}}+++...+=+\sum\limits_{n+=+1}^\infty++{\frac{1}{{n^s+}}}.$

Chuỗi này hội tụ nếu phần thực của $s$ lớn hơn $1$ . Riemann chứng minh rằng $\zeta(s)$ có thể mở rộng bởi sự liên tục thành một hàm giải tích trên cả mặt phẳng phức ngoại trừ tại điểm $s=1$ (simple pole). Hơn nữa ông chứng minh rằng $\zeta(s)$ thỏa mãn một phương trình hàm thú vị mà dạng đối xứng của nó là

$\xi(s):+=+s(s+-+1)\pi+^{+-+\frac{s}{2}}+\Gamma+\left(+{\frac{s}{2}}+\right)\zeta+(s)+=+\xi+(1+-+s)$

trong đó $\Gamma(s)$ là hàm Gamma (Gamma-function).
Hình 1: $\zeta(\frac{1}{2}+it)$ với $0<t<50$

Thật ra hàm zeta đã được nghiên cứu trước đó bởi Euler và một số người khác, nhưng chỉ như một hàm với biến số thực. Nói riêng, Euler chỉ ra rằng:

trong đó tích vô hạn (gọi là tích Euler) lấy trên tất cả các số nguyên tố. Tích này hội tụ khi phần thực của $s$ lớn hơn $1$ . Đây là một phiên bản giải tích cho định lý cơ bản của số học, rằng mỗi số nguyên có thể phân tích một cách duy nhất thành các thừa số nguyên tố. Euler đã dùng tích này để chứng minh rằng tổng nghịch đảo của các số nguyên tố là không bị chặn. Chính tích Euler đã thu hút sự quan tâm của Riemann tới hàm zeta: khi đó ông đang cố gắng chứng minh một giả thuyết của Legendre, và trong một dạng chính xác hơn phát biểu bởi Gauss:

$\pi+(x)\sim\int\limits_2^x+{\frac{{dt}}{{\log+(t)}}}.$

$\pi+(x)$ là số các số nguyên tố nhỏ hơn x.

Riemann đã tạo ra một bước tiến lớn tới giả thuyết của Gauss. Ông nhận ra rằng số phân bố các số nguyên tố phụ thuộc vào sự phân bố các không điểm của hàm zeta. Tích Euler chứng tỏ không có không điểm nào của $\zeta(s)$ có phần thực lớn hơn $1$ ; và phương trình hàm chỉ ra không có không điểm nào có phần thực nhỏ hơn $0$ [Người dịch: do sự đối xứng] ngoài các không điểm tầm thường tại $s+=+-2,-4,-6,+...$ Do đó mọi không điểm phức phải nằm trong dải $0\le+Re(z)\le+1$ . Riemann đưa ra một công thức tường minh cho $\pi(x)$ phụ thuộc vào các không điểm phức $\rho=\beta+i\gamma$ của $\zeta(s)$ . Một dạng đơn giản của công thức nói rằng

$\Psi+(x):+=+\sum\limits_{n+\leqslant+x}+{\Lambda+(n)}++=+x+-+\sum\limits_\rho++{\frac{{x^\rho++}}{\rho+}}++-+\log+2\pi++-+\frac{1}{2}\log+\left(+{1+-+\frac{1}{{x^2+}}}+\right)$

đúng nếu $x$ không phải là lũy thừa của một số nguyên tố, trong đó hàm von Mangoldt $\Lambda(n)=\log+p$ nếu $n=p^k$ với một số nguyên $k$ nào đó và $\Lambda(n)=\log+0$ nếu ngược lại. Chú ý rằng tổng này không hội tụ tuyệt đối (nếu vậy thì $\sum\limits_{n+\leqslant+x}+{\Lambda+(n)}$ phải liên tục theo $x$ nhưng điều này rõ ràng không đúng). Do đó phải có nhiều vô hạn các không điểm $\rho$ . Ở đây tổng tính trên $\rho$ với số bội và được hiểu là $\mathop+{\lim+}\limits_{T+\to+\infty+}+\sum\limits_{|\rho+|+\leqslant+T}+{}$ . Chú ý rằng $|x^\rho|+=+|x|^\beta$ ; do đó cần chỉ ra $\beta+<+1$ để chứng minh rằng $\sum\limits_{n+\leqslant+x}+{\Lambda+(n)}\sim+x$ , một cách phát biểu khác của giả thuyết Gauss.

Hình 2. Biểu đồ viền $Re(\zeta(s))$ , đường $Re(\zeta(s))=0$ (đậm), $Im(\zeta(s))$ $Im(\zeta(s))$ (chấm), biểu đồ viền

Hình 3. Biểu đồ 3D của $|Re(\zeta(s))|$ , đường $Im(\zeta(s))$ (đường chấm)

Phương trình hàm ta nói ban đầu chỉ ra rằng các không điểm phức phải đối xứng với đường thẳng $Re(s)+=+\frac{1}{2}$ . Riemann đã tính một số không điểm phức đầu tiên: $\frac{1}{2}+++i+14.134...$ , $\frac{1}{2}++i+21.022...$ và chứng tỏ rằng $N(T)$ , số các không điểm với phần ảo nằm giữa $0$ và $T$ , là

$N(T)+=+\frac{T}{{2\pi+}}\log+\frac{T}{{2\pi+e}}+++\frac{7}{8}+++S(T)+++O(1/T)$

trong đó $S(T)=\frac{1}{\pi}\arg\zeta(1/2+iT)$ được tính bởi biến phân liên tục bắt đầu từ $\arg\zeta(2)=0$ dọc theo các đường thẳng tới $\arg\zeta(2+iT)=0$ rồi $\arg\zeta(1/2+iT)=0$ . Riemann cũng chứng minh rằng $S(T)=O(\log+T)$ . Chú ý: ta sẽ thấy sau này rằng bước nhảy giữa các không điểm là $\sim+2\pi/\log+T$ . Riemann cũng dự đoán rằng số $N_0(T)$ các không điểm của $\zeta(1/2+it)$ với $0\le+t\le+T$ là khoảng $\frac{T}{{2\pi+}}\log+\frac{T}{{2\pi+e}}$ và sau đó nêu ra giả thuyết rằng mỗi không điểm của $\zeta$ thực sự đều nằm trên đường thẳng $\text{Im}+(z)=1/2$ ; đó chính là giả thuyết Riemann.
Các nỗ lực của Riemann đã tiến gần đến việc chứng minh giả thuyết của Gauss. Bước cuối cùng được hoàn tất bởi Hadamard và de la Vallée Poussin, hai người đã chứng minh độc lập nhau trong năm 1896 rằng $\zeta(s)$ khác không khi phần thực của $s$ bằng 1, và từ đó dẫn tới kết luận khẳng định cho giả thuyết của Gauss, bây giờ được gọi là định lý số nguyên tố (Prime Number Theorem).
Hình 4. Biến đổi Fourier của phần sai số trong Định lý số nguyên tố và $-\sum+x^{\rho}$ với $|\rho|<100$

Các ý tưởng đầu tiên
Không mấy khó khăn để chứng tỏ RH (Riemann Hypothesis) tương đương với khẳng định rằng với mọi $\varepsilon>0$

$\pi+(x)+=+\int\limits_2^x+{\frac{{dt}}{{\log+t}}}++++O(x^{1/2+++\varepsilon+}+).$

Tuy nhiên khó khăn nằm ở chỗ tìm ra một cách tiếp cận khác với $\pi(x)$ và thu các thông tin về các không điểm.
Một tương đương dễ thấy khác của RH là khẳng định $M(x)=O(x^{1/2+++\varepsilon+})$ với mọi $\epsilon>0$ , trong đó

$M(x)+=+\sum\limits_{n+\leqslant+x}+{\mu+(n)}$

và $\mu(n)$ là hàm Mobius được định nghĩa từ chuỗi Dirichlet sinh $1/\zeta$

$\frac{1}{{\zeta+(s)}}+=+\sum\limits_{n+=+0}^\infty++{\frac{{\mu+(n)}}{{n^s+}}}++=+\prod\limits_p+{\left(+{1+-+\frac{1}{{p^s+}}}+\right)}$

Vậy nếu $p_1,+...,+p_k$ là các số nguyên tố phân biệt thì $\mu(p_1...p_k)=(-1)^k$ ; và $\mu(n)=0$ nếu $n$ chia hết cho $p^2$ với một số nguyên tố $p$ nào đó. Chuỗi này hội tụ tuyệt đối khi $\text{Re}(s)>1$ . Nếu ước lượng $M(x)=O(x^{1/2+++\varepsilon+})$ đúng với mọi $\epsilon>0$ thì bằng cách lấy các tổng riêng phân ta thấy chuỗi hội tụ với mọi $s$ có phần thực lớn hơn $1/2$ ; nói riêng không có không điểm nào của $\zeta(s)$ nằm trên nửa mặt phẳng mở này, bởi vì không điểm của $\zeta(s)$ là điểm kỳ dị (poles) của $1/\zeta(s)$ [Người dịch: và do tính đối xứng nên cũng dẫn đến không có không điểm nào nằm trên nửa mặt phẳng mở $\text{Re}(s)<1/2$ , và do đó mỗi không điểm đều chỉ nằm trên đường thẳng $\text{Re}(s)=1/2$ ]. Ngược lại, RH suy ra ước lượng này cho $M(x)$ , điều này cũng không khó để chứng minh.

Hình 5. $1/|\zeta(x+iy)$ với $0<x<1$ và $16502.4<y<16505$

Thay vì phân tích trực tiếp $\pi(s)$ , có vẻ sẽ dễ dàng hơn khi làm việc với $M(x)$ và chứng minh ước lượng ở trên. Thật ra, Stieltjes đã thông báo rằng ông có một chứng minh như vậy. Hadamard, trong chứng minh nổi tiếng năm 1896 về Prime Number Theorem, đã dẫn ra tuyên bố của Stieltjes. Hadarmard nói rằng định lý của ông yếu hơn nhiều, và chỉ chứng minh $\zeta(s)$ khác $0$ trên đường thẳng $\text{Re}(s)=1$ , nhưng hi vọng tính đơn giản của chứng minh sẽ có ích. Stieltjes, tuy nhiên, sau đó không bao giờ công bố chứng minh của mình.

Mertens dự đoán một giả thuyết mạnh hơn rằng

$M(x)\le+\sqrt{x},$

Điều rõ ràng dẫn đến RH. Tuy nhiên giả thuyết của Mertens đã bị chứng minh là sai bởi Odlyzko và te Riele năm 1985. Ước lượng $M(x)+=+O(\sqrt{x})$ thậm chí đã dùng RH như một lá chắn: ông từng gửi bưu thiếp tới đồng nghiệp Harald Bohr trước khi qua English Channel trong một đêm bão tố, tuyên bố là ông đã chứng minh xong RH. Thậm chí Hardy là một người vô thần, ông cũng tin một cách tương đối về Chúa, rằng nếu Chúa tồn tại, cũng chẳng để thành tựu tới trong một hoàn cảnh như vậy!
Hilbert có vẻ hơi mâu thuẫn khi nhìn nhận về độ khó của RH. Một lần ông so sánh ba bài toán mở: tính siêu việt của $2^{\sqrt{2}}$ , định lý lớn Fermat, và giả thuyết Riemann. Theo quan điểm của ông, RH có thể sẽ được giải trong vài năm, định lý lớn Fermat có thể được giải khi ông còn sống, và câu hỏi về sự siêu việt có thể sẽ không bao giờ được trả lời. Đáng ngạc nhiên là câu hỏi về sự siêu việt được giải trong vài năm sau đó bởi Gelfond và Schneider, và, dĩ nhiên, Andrew Wiles gần đây đã chứng minh định lý lớn Fermat [Người dịch: vậy nếu đảo ngược dự đoán của Hilbert thì có thể RH sẽ không bao giờ được giải]. Tuy nhiên trong một dịp khác Hilbert lại nói rằng nếu ông ta sống lại sau một giấc ngủ 500 năm thì câu hỏi đầu tiên sẽ là: RH có được giải hay chưa.
Khi gần kết thúc sự nghiệp, Hans Rademacher, người được biết bởi công thức chính xác cho số các cách phân hoạch một số nguyên, nghĩ rằng ông đã có một phần chứng minh cho RH. Siegel đã kiểm tra kết quả này, công việc dựa trên kết luận rằng một hàm nhất định sẽ có một nới rộng giải tích bởi liên tục nếu RH đúng. Cộng đồng Toán học đã cố gắng làm cho Tạp chí Time (Time magazine) quan tâm câu chuyện. Time đã thích thú và đăng một bài báo sau khi người ta tìm ra lỗi sai trong chứng minh của Rademacher.

Các chứng cứ của giả thuyết Riemann
Hình 6. Công thức chính xác của $\Psi+(x)$ sử dụng 100 cặp không điểm đầu tiên

Sau đây là một số lý do để tin vào RH:
$\bullet$ Hàng tỉ không điểm không thể sai. Gần đây, van de Lune đã chỉ ra 10 tỉ không điểm đầu tiên nằm trên đường thẳng $\text{Re}(s)=1/2$ . Ngoài ra, một dự án với sự chung sức nhiều máy tính tổ chức bởi Sebastian Wedeniwski, chương trình đã được nhiều người hưởng ứng, đã khẳng định rằng họ đã kiểm tra 100 tỉ không điểm đầu tiên nằm trên đường thẳng đó. Andrew Odlyzko đã tính hàng triệu không điểm gần các không điểm thứ $10^{20}$ , $10^{21}$ và $10^{22}$ (có thể xem trên website của ông).
$\bullet$ Hầu hết tất cả các không điểm đều nằm rất gần đường thẳng $\text{Re}(s)=1/2$ . Thật sự người ta đã chứng minh rằng có hơn 99 phần trăm các không điểm $\rho=\beta+i\gamma$ thỏa mãn $|\beta-1/2|\le+8/\log(\gamma)$ .
$\bullet$ Người ta đã chứng minh có rất nhiều không điểm nằm trên đường thẳng $\text{Re}(s)=1/2$ . Selberg đạt được một tỉ lệ dương, và N. Levinson chỉ ra ít nhất là 1/3; tỉ lệ này sau đó được cải thiện lên 40 phần trăm. Ngoài ra RH cũng ngụ ý rằng mỗi không điểm của mọi đạo hàm của $\zeta(s)$ nằm trên đường thẳng $\text{Re}(s)=1/2$ . Người ta đã chứng minh được rằng có nhiều hơn 99 phần trăm các không điểm của đạo hàm bậc ba $\zeta'''(s)$ nằm trên đường thẳng $\text{Re}(s)=1/2$ . Lúc gần cuối đời Levinson nghĩ rằng ông có một phương pháp cho phép đảo ngược định lý Rolle trong trường hợp này, tức là nếu $\zeta'(s)$ có ít nhất một tỉ lệ dương các không điểm nằm trên đường thẳng đó thì điều này cũng đúng với $\zeta(s)$ , và tương tự với $\zeta''(s)$ , $\zeta'(s)$ ... Tuy nhiên chưa ai có thể hiện thực hóa ý tưởng của ông.
$\bullet$ Phương pháp thống kê. Với ít hầu hết các dãy ngẫu nhiên gồm $-1$ và $+1$ , hàm tổng tương ứng của $x$ bị chặn bởi $x^{1/2+\epsilon$ . Dãy Mobius có vẻ khá ngẫu nhiên.
$\bullet$ Sự đối xứng của các số nguyên tố. RH nói rằng các số nguyên tố phân bố theo cách đẹp nhất có thể. Nếu RH sai thì sẽ có những điều bất thường trong sự phân bố các số nguyên tố; không điểm đầu tiên có phần thực khác $1/2$ chắc chắn sẽ là một hằng số toán học rất quan trọng. Tuy nhiên, có vẻ tự nhiên không khắc nghiệt tới như vậy!

Nếu công thức Toán trong bài bị lỗi thì xem ở file PDF được nhúng dưới đây:

Link tải bản in PDF đầy đủ: Download

Phan Thành Nam dịch (Tạp chí mathvn số 2)

Toán Học Việt Nam

Header$type=social_icons

Giả thuyết Riemann: lịch sử bài toán và những bước tiến gần đây

Nhãn:

/fa-book/ MUA SÁCH GIẤY

/fa-share-alt/ MẠNG XÃ HỘI$type=social_counter

/fa-coffee/ BÀI MỚI NHẤT$type=list-tab$date=0$au=0$cm=0$c=19

NGẪU NHIÊN /fa-random/$type=list-tab$date=0$au=0$cm=0$c=19$src=random-posts

/fa-quote-left/ QUOTE$quote=Hoàng tử Gauss

/fa-search/ TÌM TÀI LIỆU TOÁN

Giả thuyết Riemann: lịch sử bài toán và những bước tiến gần đây

Nhãn:

SHARE:

/fa-book/ MUA SÁCH GIẤY

/fa-share-alt/ MẠNG XÃ HỘI$type=social_counter

/fa-coffee/ BÀI MỚI NHẤT$type=list-tab$date=0$au=0$cm=0$c=19

NGẪU NHIÊN /fa-random/$type=list-tab$date=0$au=0$cm=0$c=19$src=random-posts

/fa-quote-left/ QUOTE$quote=Hoàng tử Gauss

/fa-search/ TÌM TÀI LIỆU TOÁN