Thứ 215 chương Yên điểm Viên Pháp
Nhưng chỉ là như thế này còn chưa đủ.
Si pháp chỉ có thể nói cho chúng ta biết “Tồn tại” Vẫn là “Không tồn tại”, rất khó đưa ra chính xác tính toán.
Muốn lấy được g(n) chính xác biểu đạt thức, còn cần một loại khác công cụ.
Tiêu Túc nghĩ tới Fourier phân tích.
Viên Pháp bản chất, là dùng Fourier phân tích công cụ đem g(n) cái này tính toán hàm số bày ra thành một cái tích phân.
Cái này tích phân dọc theo đường tròn đơn vị tiến hành, cho nên gọi Viên Pháp.
Cát Đại cùng lý Đặc Nhĩ Ngũ Đức tại 1920 niên đại phát minh cái phương pháp này thời điểm, bản ý là muốn chứng minh Goldbach phỏng đoán bản thân.
Nhưng mà bọn hắn cuối cùng chỉ lấy được một cái tại N hướng tới vô cùng lớn lúc thành lập xấp xỉ biểu đạt thức.
Đây là một cái tiệm cận công thức, mà không phải đối với tất cả N đều thành lập nghiêm ngặt đẳng thức.
Vấn đề nằm ở chỗ trên tích phân Dư Hạng.
Viên Pháp tích phân chủ hạng rất dễ dàng tính ra, chính là cái kia nổi tiếng Cát Đại - Lý Đặc Nhĩ Ngũ Đức tiệm cận công thức, hình thức ưu mỹ giống một bài thơ.
Nhưng Dư Hạng khống chế cực kỳ khó khăn, bởi vì bị tích hàm số ở đơn vị Viên Thượng chấn động quá lợi hại.
Giống như một đầu tại trong bão táp điên cuồng đong đưa thuyền nhỏ, ngươi nghĩ chính xác đo đạc nó bình quân vị trí, nhưng mỗi một lần lãng đánh tới, ngươi đo đạc sai sót sẽ gấp bội.
Hắn nhìn chằm chằm Viên Pháp tích phân biểu đạt thức nhìn rất lâu, bỗng nhiên ý thức được một vấn đề:
Cái này tích phân sở dĩ khó khăn tính toán, là bởi vì nó tại trên toàn bộ số thực trục tích phân, vậy nếu như đổi một cái tích phân đường đi đâu?
Tại trong hàm phức, là có thể thông qua lựa chọn khác biệt tích phân đường đi tới tránh đi những cái kia chấn động kịch liệt khu vực.
Mà loại phương pháp này chính là nổi tiếng “Tối tốc hạ xuống pháp”, cũng gọi yên điểm pháp.
Tối tốc hạ xuống pháp người phát minh là thế kỷ mười chín Pháp quốc nhà số học Kha Tây, hạch tâm tư tưởng cực kỳ xảo diệu:
Khi ngươi tại phục trên mặt phẳng tính toán một cái chấn động cực kỳ tệ hại tích phân lúc, ngươi có thể không dọc theo lúc đầu đường đi tích phân, mà là đem tích phân đường đi “Uốn lượn” Một chút, để nó đi qua những cái kia làm cho bị tích hàm số biến hóa tối nhẹ nhàng điểm, cũng chính là cái gọi là “Yên điểm”.
Dọc theo đầu này Tân Lộ Kính, tích phân sẽ trở nên dịu dàng ngoan ngoãn nhiều lắm, bởi vì những cái kia kịch liệt chấn động bị đi vòng qua.
Ý nghĩ này tại trong vật lý dùng đến vô cùng phổ biến, cơ học lượng tử bên trong nửa kinh điển xấp xỉ, thống kê vật lý bên trong steepest descent bày ra, trên bản chất cũng là vật này.
Nhưng ở trong số luận, có rất ít người nghiêm túc đem Viên Pháp tích phân lặp đi lặp lại trên mặt phẳng Diên Thác.
Không phải không có người nghĩ tới, mà là đại đa số người đều cảm thấy, đem tích phân đường đi từ đường tròn đơn vị Diên Thác đến phục bình diện sau đó, bị tích hàm số hành vi sẽ trở nên càng thêm khó khống chế.
Đường tròn đơn vị tốt xấu là một cái chặt chẽ, phong bế đường cong, phục bình diện thế nhưng là vô biên vô tận.
Nhưng Tiêu Túc cảm thấy, chính là bởi vì phục bình diện càng lớn, ngươi mới có càng nhiều thao tác không gian.
Ở đơn vị Viên Thượng, ngươi chỉ có thể dọc theo cái kia một con đường đi, phía trước là chấn động khu ngươi cũng phải nhắm mắt xuyên qua.
Nhưng ở phục trên mặt phẳng, ngươi có thể đường vòng.
Hắn bắt đầu nếm thử.
Bước đầu tiên là đem g(n) Viên Pháp tích phân biểu đạt thức từ đường tròn đơn vị Diên Thác đến toàn bộ phục trên mặt phẳng tới.
Một bước này tương đối trực tiếp, bởi vì Fourier biến hóa bản thân liền định nghĩa tại toàn bộ phục trên mặt phẳng, đường tròn đơn vị chỉ là một cái đặc thù tích phân đường đi.
Chân chính khó khăn là bước thứ hai, đó chính là tìm được thích hợp yên điểm.
Một bước này làm khó tất cả ở trên con đường này thăm dò người, Tiêu Túc cũng hao tốn gần tới ba ngày thời gian đến phân tích bị tích hàm số phân tích tính chất.
Hắn phát hiện, cái này hàm số tại phục trên mặt phẳng xác thực tồn tại một tổ đặc thù điểm, tại những này gọi lên, hàm số nhất giai đạo đếm là không, nhị giai đạo đếm cũng có tốt đẹp tính chất.
Những thứ này điểm vừa vặn phân bố tại trên nào đó đầu bóng loáng đường cong, đầu này đường cong từ đường tròn đơn vị một điểm nào đó xuất phát, chậm rãi cong hướng sâu trong phục bình diện.
Nếu như dọc theo đầu này đường cong tích phân, bị tích hàm số chấn động sẽ bị cực đại áp chế.
Những cái kia ở đơn vị Viên Thượng giương nanh múa vuốt Dư Hạng, tại trên đầu này Tân Lộ Kính trở nên ngoan ngoãn.
Bởi vì đường đi trải qua yên điểm, bị tích hàm số tại yên điểm phụ cận biến hóa là tối nhẹ nhàng.
Tiêu Túc cho đầu này đường cong lên một cái tên: Yên điểm cung.
Kế tiếp là tính toán yên điểm cung bên trên tích phân.
Một bước này đồng dạng không dễ dàng, bởi vì yên điểm cung không phải một đầu đơn giản bao nhiêu đường cong, nó hình dạng ỷ lại tại bị tích hàm số bản thân tính chất.
Nhưng Tiêu Túc phát hiện, làm N cũng đủ lớn thời điểm, yên điểm cung hình dạng sẽ tới gần tại một cái tương đối đơn giản hình thức, có thể dùng một tổ tham số phương trình để diễn tả.
Hắn dọc theo yên điểm cung tính toán tích phân chủ hạng, phát hiện kết quả cùng Cát Đại - Lý Đặc Nhĩ ngũ đức công thức hoàn toàn nhất trí.
Cái này khiến hắn càng thêm minh xác phương hướng, ít nhất nói rõ phương pháp của hắn tại tiệm cận dưới ý nghĩa là đúng.
Nhưng chân chính để cho hắn cảm thấy hứng thú chính là Dư Hạng tính toán.
Tại trên yên điểm cung, Dư Hạng tốc độ tăng trưởng so truyền thống Viên Pháp chậm ròng rã một cấp độ.
Ý vị này, dùng phương pháp của hắn, có thể tại N tương đối khá nhỏ thời điểm, liền đạt được đầy đủ chính xác đoán chừng.
Mà cái này “Tương đối nhỏ bé” Phạm vi, vừa vặn có thể bao trùm tất cả cần dùng máy tính nghiệm chứng số chẵn.
Hắn đem cái này phương pháp mệnh danh là “Yên điểm Viên Pháp”.
Đến nơi đây, Tiêu Túc trên tay có hai cái vũ khí.
Một kiện là phân tầng si pháp, phụ trách tại số nguyên Tập Hợp Thượng trực tiếp thao tác, đưa ra g(n) một cái hạ giới đoán chừng.
Một kiện khác là yên điểm Viên Pháp, phụ trách tại phục trên mặt phẳng làm tích phân, đưa ra g(n) chủ hạng xấp xỉ.
Nhưng dạng này vẫn là không thể hoàn toàn giải quyết vấn đề, dù sao cái này hai cái vũ khí là hai loại hoàn toàn khác biệt ngôn ngữ viết thành, bọn hắn vẫn là tách ra.
Si pháp dùng chính là tổ hợp toán học cùng sơ đẳng số luận ngôn ngữ, mà Viên Pháp dùng chính là phục phân tích cùng Fourier phân tích ngôn ngữ.
Giữa bọn chúng khoảng cách, giống như hai cái nói khác biệt tiếng địa phương người tính toán giao lưu, mặc dù ngẫu nhiên có thể thông qua thủ thế cùng biểu lộ đoán được đối phương ý tứ, nhưng vĩnh viễn không cách nào tiến hành chân chính chính xác đối thoại.
Tiêu Túc cần một cái phiên dịch.
Hắn đã nghĩ tới chính mình quen thuộc nhất lĩnh vực: Tân Kỷ Hà.
Tại trong Tân Kỷ Hà, khác biệt không gian ở giữa đối ứng, có thể dùng một loại gọi “Fourier - Kho gạo tân biến hóa” Công cụ tới thực hiện.
Kho gạo tân (Mikushin) là một vị Liên Xô nhà số học, thế kỷ trước thập niên sáu mươi nghiên cứu qua một loại đặc thù tích phân biến hóa.
Về sau cái phương hướng này bởi vì quá khó dùng, ứng dụng tràng cảnh quá chật, dần dần bị người quên lãng.
Tiêu Túc năm ngoái đang xây dựng Tân Kỷ Hà dàn khung thời điểm, ngẫu nhiên tại trong một bản ít chú ý hội nghị luận văn tụ tập lộn tới kho gạo Tân Cựu luận văn, phát hiện hắn nghiên cứu cái chủng loại kia biến hóa, vừa vặn có thể dùng đến miêu tả Tân Lưu hình thượng không ngồi chung tiêu hệ ở giữa đối ngẫu quan hệ.
Hắn lúc đó đem cái này biến hóa làm một chút mở rộng, cải tiến nó thu liễm tính chất, tiếp đó đem nó dùng tại trong Tân Kỷ Hà dàn khung tạo dựng.
Ngày đó luận văn phát biểu sau đó, giới số học đối với chú ý — Tân Lưu hình chú ý chủ yếu tập trung ở sinh đôi số nguyên tố phỏng đoán chứng minh dùng đến nửa bộ phận trước, mà đối với Fourier - Kho gạo tân biến hóa, người chú ý cũng không nhiều.
Nhưng bây giờ, Tiêu Túc bỗng nhiên ý thức được, cái này biến hóa, vừa vặn có thể làm si pháp cùng Viên Pháp ở giữa toà kia cầu nối.
Fourier - Kho gạo tân biến đổi hạch tâm, là đem một cái định nghĩa cách tán Tập Hợp Thượng hàm số, chiếu rọi đến một cái liên tục Lưu Hình Thượng một loại nào đó bao nhiêu đối tượng.
Tại cái này chiếu, ly tán Tập Hợp Thượng cuốn tích thao tác, sẽ đối với đáp lời Lưu Hình Thượng một loại nào đó tương giao tính toán.
Mà Viên Pháp tích phân, trên bản chất chính là một cái cuốn tích Fourier biến hóa biểu thị.
Nói một cách khác, si pháp thao tác cùng Viên Pháp tích phân, có thể thông qua Fourier - Kho gạo tân biến hóa, thống nhất đến cùng một cái bao nhiêu dàn khung phía dưới.
Tại trong cái này dàn khung, bọn chúng đã biến thành cùng một cái tiền xu hai mặt, mà không phải hai cái làm theo ý mình độc lập công cụ.
Tiêu Túc hoa hai ngày thời gian, đem cái này đối ứng cụ thể hình thức thôi đạo đi ra.
Hắn cấu tạo một cái Tân Lưu hình, nhớ làm M_P, nó mỗi một cái điểm đối ứng tại một cái số nguyên tố một loại nào đó “Trạng thái”.
Tại cái này lưu hình thượng, Goldbach phỏng đoán g(n) hàm số, vừa vặn tương đương hai cái đặc biệt Lagrangian Tử Lưu Hình tương giao đếm.
Mà phân tầng si pháp cho ra hạ giới đoán chừng, đối ứng là cái này tương giao đếm được một cái cắt đứt xấp xỉ.
Yên điểm Viên Pháp cho ra chủ hạng đoán chừng, đối ứng là cùng một cái tương giao đếm tại một cái khác tọa độ dưới thẻ bày ra.
Giữa hai người sai sót, có thể thông qua lưu hình thượng một cái bao nhiêu không lượng biến đổi tới thống nhất khống chế.
Tiêu Túc đem cái này không lượng biến đổi nhớ làm.
Nó định nghĩa đề cập tới không Lohr đồng điệu, tại thích hợp dưới điều kiện, là một cái topol (cấu trúc liên kết) không lượng biến đổi, theo lý thuyết, nó đang chảy hình liên tục biến hình phía dưới bảo trì không thay đổi.
Ý vị này nếu như ngươi có thể chứng minh lớn hơn 0, như vậy mặc kệ ngươi như thế nào nhiễu loạn ngươi cái sàng, như thế nào điều chỉnh ngươi tích phân đường đi, chỉ cần nhiễu động phương thức là liên tục, g(n) hạ giới liền vĩnh viễn lớn hơn 0.
Mà g(n) lớn hơn 0, liền mang ý nghĩa mỗi một cái đầy đủ lớn số chẵn, đều chí ít có một loại phương thức có thể viết thành tổng hai số nguyên tố.
Goldbach phỏng đoán, cứ như vậy bị chuyển hóa trở thành một cái bao nhiêu không lượng biến đổi không phải linh tính chất chứng minh.
Bây giờ dàn khung có.
Nhưng dàn khung chỉ là khung xương, còn cần hướng bên trong lấp thịt.
Khó khăn nhất điền một miếng thịt, là chứng minh chính xác lớn hơn 0.
Này liền cần dùng đến phân tầng si pháp cùng yên điểm Viên Pháp cụ thể đoán chừng.
Tiêu Túc một lần nữa mở ra lúc trước hắn suy luận những cái kia công thức, đem phân tầng si pháp hạ giới đoán chừng cùng yên điểm tròn pháp chủ hạng bày ra, thay vào đến biểu đạt thức bên trong.
Tiếp đó hắn phát hiện một vấn đề.
Hai cái đoán chừng ở giữa có trùng điệp.
Phân tầng si pháp tại đoán chừng hạ giới thời điểm, sẽ lặp lại tính toán một bộ phận số chẵn.
Yên điểm tròn pháp tại tính toán chủ hạng thời điểm, cũng biết bao trùm cùng một đám số chẵn một bộ phận.
Nếu như trực tiếp đem hai cái kết quả tăng theo cấp số cộng, liền sẽ đem những thứ này trùng điệp bộ phận tính toán hai lần, dẫn đến cuối cùng đoán chừng lại lớn.
Ngược lại, nếu như ngươi tính toán giảm đi trùng điệp bộ phận, bởi vì hai loại phương pháp một cái dùng chính là si pháp ngôn ngữ, một cái dùng chính là tích phân ngôn ngữ, bọn chúng “Tính toán đơn vị” Không giống nhau, lại rất nan tinh xác thực giới định cái nào là trùng điệp, cái nào không phải.
Tiêu Túc tại vấn đề này kẹt ròng rã ba ngày.
Trong ba ngày, hắn thử không dưới mười loại phương pháp tới xử lý trùng điệp vấn đề, thế nhưng là vẫn không có đột phá.
Cái này khiến hắn tình trạng trở nên phá lệ khác biệt.
Cố Thanh Trần trước hết nhất phát giác Tiêu Túc dị thường.
Biết được Tiêu Túc đang viết luận văn tốt nghiệp lúc, Cố Thanh Trần còn hỏi qua hắn đề mục, đáng tiếc Tiêu Túc không hề nói gì.
Hắn luôn luôn không thích tại kết quả đi ra phía trước trắng trợn tuyên dương.