Luận văn đồng nhất thức liouville và ứng dụng

1 Mở đầu Trong danh sách mười tám bài báo được xuất bản giữa những năm 1858 và 1865, Liouville đã khám phá và giới thiệu một phương pháp rất đặc biệt và hiệu quả về lý thuyết số mà từ đó có thể suy ra[.]

1 Mở đầu Trong danh sách mười tám báo xuất năm 1858 1865, Liouville khám phá giới thiệu phương pháp đặc biệt hiệu lý thuyết số mà từ suy nhiều kết Ngày nay, gọi kết đồng thức Liouville Các đồng thức bao hàm nội dung phát biểu nhiều định lí số học Kết vấn đề Liouville xuất chuỗi 90 báo Theo Liouville, nhiều cơng thức, định lí số học đưa nhà toán học Jacobi, Kronecker nhà toán học khác phải tuân theo ngun lý số học Ví dụ, với cơng thức số cách biểu diễn số nguyên dương thành tổng số bình phương, mà suy từ cơng trình Jacobi hàm Elliptic, chứng minh hoàn toàn kiến thức số học Điều khơng có nghĩa đánh giá thấp việc sử dụng phân tích, lý thuyết số phức, dạng mô đun, hàm Elliptic hàm Theta việc chứng minh công thức số học mà để nhận công thức công thức Từ đồng thức Liouville, đưa nhiều chứng minh sơ cấp nhiều công thức số học Nhận thấy đẹp đẽ, gọn gàng, tổng quát tính ứng dụng cao đồng thức Liouville, hướng dẫn PGS TS Nông Quốc Chinh, xin chọn đề tài “Đồng thức Liouville ứng dụng” để làm luận văn cao học Mục tiêu luận văn trình bày số đồng thức quan trọng Liouville chứng minh chúng, áp dụng chúng để có định lí số cách biểu diễn số nguyên thành tổng số chẵn số bình phương sở nội dung tài liệu [1] M.B Nathanson (2000), Elementary methods in number theory (SpringerVerlag) [2] Aeran Kim, Keum Yeon Lee and Hwasin Park (2014), “Applications of Liouville’s Identity with an Odd Function”, Britsh Journal of Mathematic and Computer Science (8), pp 1074–1090 Ngoài phần Bảng ký hiệu, Mở đầu, Kết luận Tài liệu tham khảo, bố cục luận văn chia làm ba chương Chương Các kiến thức chuẩn bị Trong chương này, giới thiệu số kiến thức chuẩn bị khái niệm hàm số lẻ, hàm số chẵn, tính chất hàm số lẻ, hàm số chẵn, dạng toàn phương hai biến, dạng toàn phương ba biến Chương Đồng thức Liouville Chúng tơi trình bày phát biểu đồng thức Liouville chứng minh số hệ trực tiếp từ đồng thức Chương Một vài ứng dụng định lí Liouville Ứng dụng đồng thức Liouville mà trình bày tốn đếm số cách biểu diễn số nguyên dương thành tổng số bình phương Sau đó, chúng tơi trình bày đồng thức suy từ đồng thức Liouville ứng dụng cho hàm số lẻ Luận văn hoàn thành trường Đại học Khoa học, Đại học Thái Nguyên hướng dẫn PGS TS Nơng Quốc Chinh Trong q trình nghiên cứu thực luận văn, thầy tận tình bảo hướng dẫn tác giả hoàn thiện nhiều mặt kiến thức phương pháp nghiên cứu khoa học Tác giả xin bày tỏ lịng biết ơn, kính trọng sâu sắc tới thầy Tác giả xin chân thành cảm ơn tới thầy giáo phịng Đào tạo, thầy giáo khoa Tốn – Tin, thầy cô giáo giảng dạy lớp thạc sĩ K11D chuyên ngành Phương pháp Toán sơ cấp, trường Đại học Khoa học giúp đỡ tác giả suốt trình học tập Nhân dịp tác giả xin gửi lời cảm ơn chân thành tới gia đình, bạn bè, đồng nghiệp quan tâm, động viên tạo điều kiện thuận lợi suốt trình học tập để tác giả hồn thành khóa học hoàn thiện luận văn Xin chân thành cảm ơn! Thái Nguyên, tháng năm 2019 Người viết luận văn Vũ Thị Hương Chương Các kiến thức chuẩn bị Trong chương này, giới thiệu số kiến thức chuẩn bị khái niệm hàm số lẻ, hàm số chẵn, tính chất hàm số lẻ, hàm số chẵn, dạng toàn phương hai biến, dạng toàn phương ba biến 1.1 Hàm số lẻ, hàm số chẵn Trong toán học, hàm chẵn hàm lẻ hàm mà phân loại theo quan hệ đối xứng đặc biệt theo phép nghịch đảo phép cộng Chúng đóng vai trị quan trọng nhiều lĩnh vực tốn giải tích, đặc biệt lý thuyết chuỗi lũy thừa chuỗi Fourier Định nghĩa 1.1.1 ([3]) Cho f (x) hàm giá trị thực biến thực Ta nói f hàm chẵn f (x) = f (−x) với x −x nằm miền xác định f Về mặt hình học, đồ thị hàm chẵn đối xứng qua trục Oy Một số ví dụ hàm chẵn hàm |x|, x2 , x4 , cos(x), Hàm xn n chẵn hàm chẵn Định nghĩa 1.1.2 ([3]) Cho f (x) hàm giá trị thực biến thực Ta nói f hàm lẻ −f (x) = f (−x) với x −x nằm miền xác định f Về mặt hình học, đồ thị hàm lẻ đối xứng qua gốc tọa độ Một số ví dụ hàm lẻ hàm x, x3 , sin(x), Nếu f (x) lẻ f (0) = −f (0) nên f (0) = Định nghĩa 1.1.3 ([1]) Hàm F (x, y, z) gọi hàm lẻ theo biến x F (−x, y, z) = −F (x, y, z), hàm chẵn theo cặp biến (y, z) F (x, −y, −z) = F (x, y, z) Nếu F (x, y, z) hàm lẻ theo biến y z suy F (x, y, z) chẵn theo cặp biến (y, z) Ví dụ, với hàm F (x, y, z) = xyz ta có F (x, −y, z) = −xyz = −(xyz) = −F (x, y, z) F (x, −y, −z) = −xyz = −(xyz) = −F (x, y, z) Hay F (x, y, z) hàm lẻ theo biến y, z Mặt khác, ta có F (x, −y, −z) = −(−xyz) = xyz = F (x, y, z) Hay F (x, y, z) hàm chẵn theo cặp biến (y, z) 1.2 Một số tính chất hàm số lẻ, hàm số chẵn Tính chất 1.2.1 ([3]) Nếu hàm vừa hàm chẵn, vừa hàm lẻ điểm miền xác định Chứng minh Giả sử f (x) vừa hàm chẵn, vừa hàm lẻ x Khi ta có −f (x) = f (−x) = f (x) ⇔ 2f (x) = ⇔ f (x) = Tính chất 1.2.2 ([3]) Nếu hàm hàm lẻ hàm giá trị tuyệt đối hàm hàm chẵn Chứng minh Cho f (x) hàm lẻ Đặt g(x) = |f (x)| Khi đó, ta có g(x) = |f (x)| = | − f (x)| = |f (−x)| = g(−x) Vậy g(x) hàm chẵn Tính chất 1.2.3 ([3]) a) Tổng hai hàm chẵn hàm chẵn, hiệu hai hàm chẵn hàm chẵn b) Tổng hai hàm lẻ hàm lẻ, hiệu hai hàm lẻ hàm lẻ c) Tổng hàm chẵn với hàm lẻ không hàm chẵn không hàm lẻ trừ hai hàm miền xác định Ví dụ 1.2.4 Từ tính chất ta thấy x2 +cos(x), −2x4 +x−2 +5 cos(3x)+3 hàm chẵn, x − sin(x), −2x3 + x + sin(3x) hàm lẻ, cos x + sin x không làm chẵn không hàm lẻ Tính chất 1.2.5 ([3]) a) Tích hai hàm chẵn hàm chẵn, thương hai hàm chẵn hàm chẵn b) Tích hai hàm lẻ hàm chẵn, thương hai hàm lẻ hàm chẵn c) Tích hàm chẵn hàm lẻ hàm lẻ, thương hàm chẵn với hàm lẻ hàm lẻ Ví dụ 1.2.6 Từ tính chất ta thấy, hàm 13 cos(2x) cos(3x), hàm chẵn, x cos x, hàm lẻ x x , cos x sin x Tính chất 1.2.7 ([3]) a) Tích hợp hai hàm chẵn hàm chẵn b) Tích hợp hai hàm lẻ hàm lẻ c) Tích hàm chẵn với hàm lẻ hàm chẵn d) Tích hợp hàm với hàm chẵn hàm chẵn Tính chất 1.2.8 ([3]) Tất hàm số biểu diễn dạng tổng hàm chẵn hàm lẻ, chúng gọi phần chẵn phần lẻ hàm số Chứng minh Thật vậy, định nghĩa fe (x) = f (x) + f (−x) (1.1) fo (x) = f (x) − f (−x) (1.2) fe hàm chẵn fo hàm lẻ f (x) = fe (x) + fo (x) Ngược lại, f (x) = g(x) + h(x), g hàm chẵn h hàm lẻ Khi đó, g = fe h = fo 2fe (x) = f (x) + f (−x) = g(x) + g(−x) + h(x) + h(−x) = 2g(x), 2fo (x) = f (x) + f (−x) = g(x) − g(−x) + h(x) − h(−x) = 2h(x) 1.3 Số nguyên tố dạng toàn phương Định nghĩa 1.3.1 ([1]) Số nguyên tố số nguyên p lớn mà có ước dương p Số nguyên dương lớn số nguyên tố gọi hợp số Các số nguyên tố nhỏ 100 thứ tự tăng dần sau: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 Định nghĩa 1.3.2 ([1]) Đa thức bậc hai n biến có dạng n X n X aij xi xj = w(x) (với aij = aji , aij ∈ R) i=1 j=1 gọi dạng tồn phương n biến Ví dụ, ta có w(x) = a11 x2i + a12 x1 x2 + a21 x2 x1 + a22 x22 (a12 = a21 ) dạng toàn phương biến Tương tự, w0 (x) = a11 x21 + 2a12 x1 x2 + 2a13 x1 x3 + a22 x22 + 2a23 x2 x3 + a33 x23 dạng toàn phương biến Định nghĩa 1.3.3 ([1]) Dạng toàn phương theo hai biến dạng toàn phương hai biến Dạng toàn phương theo ba biến gọi dạng toàn phương ba biến Dạng tổng quát dạng toàn phương biến, hai biến ba biến tương ứng Q(x) = ax2 Q(x, y) = ax2 + bxy + cy Q(x, y, z) = ax2 + by + cz + dxy + exz + f yz a, b, , f hệ số Chú ý, hàm toàn phương ax2 + bx + c khơng dạng tồn phương biến không (trừ b c 0) Định nghĩa 1.3.4 ([1]) Dạng toàn phương Q(x, y, , z) gọi biểu diễn số nguyên n tồn số nguyên a, b, , c cho Q(a, b, , c) = n Trong phần này, kí hiệu u, v w số nguyên, d, δ ` số nguyên dương Ta bắt đầu với số kết ước số Nhắc lại d gọi ước số nguyên dương n tồn số nguyên δ cho n = dδ Số nguyên δ gọi ước liên hợp d Hàm ước số σ(n) hàm tổng tất ước n, tức hàm xác định σ(n) = X d d|n Ký hiệu σ ∗ (n) tổng tất ước n mà ước liên hợp chúng lẻ Ví dụ 1.3.5 Ta có σ(10) = + + + 10 = 17 σ ∗ (10) = + 10 = 12 Ta có tính chất p số nguyên tố lẻ σ(p) = σ ∗ (p) = p + Bổ đề 1.3.6 ([1]) Cho n số nguyên dương lẻ Khi σ(n) lẻ n số phương Chứng minh Gọi n= Y pvp p|n phân tích thừa số n thành tích số nguyên tố lẻ Số nguyên dương d ước n d viết dạng Y pup , d= p|n ≤ up ≤ vp , ta có σ(n) = vp YX pup p|n up =0 ≡ Y (up + 1) (mod 2) p|n ≡1 (mod 2) up chẵn với p, tức up = 2wp 2  n= Y pvp =  p|n Y pwp  p|n số phương Điều phải chứng minh Bổ đề 1.3.7 ([1]) Nếu n = 2k m, k ≥ m lẻ σ ∗ (n) = 2k σ(m) Nếu σ ∗ (n) lẻ n bình phương số lẻ Chứng minh Gọi d ước n Nếu ước liên hợp δ = n/d lẻ 2k ước d, d = 2k d0 với d0 số nguyên dương Khi đó, 2k m = n = dδ = 2k d0 δ, d0 ước m Ngược lại, d0 ước m, 2k d0 ước n có ước liên hợp m/d0 lẻ Do đó, X σ ∗ (n) = 2k d0 = 2k σ(m) d0 |m Nếu σ ∗ (n) lẻ k = n = m lẻ Suy σ ∗ (n) = σ(m) = σ(n) lẻ theo Bổ đề 1.3.6 n số phương Điều phải chứng minh Bổ đề 1.3.8 ([1]) Với số nguyên dương n, ta có X σ ∗ (n) = (−1)u−1 σ ∗ (n − u2 ) + {(−1)n−1 n}n=`2 √ 1≤u< n Chứng minh Nếu n = `2 , vế phải đẳng thức (−1)`−1 `f (`) = (−1)n−1 `2 = (−1)n−1 n Để thu vế trái đẳng thức, ta sử dụng ánh xạ đối hợp (u, d, δ) 7→ (−u, d, δ) (một ánh xạ đối hợp tập X ánh xạ α : X → X thỏa mãn α2 ánh xạ đơn vị) ba (u, d, δ) thỏa mãn u2 + dδ = n, δ lẻ, thu X (−1)u u = u+dδ=n δ≡1 (mod 2) Khi đó, X (−1)u f (u + d) = u+dδ=n δ≡1 (mod 2) X (−1)u (u + d) u+dδ=n δ≡1 (mod 2) = X u2 +dδ=n δ≡1 (mod 2) = X X (−1)u u + (−1)u d u2 +dδ=n δ≡1 (mod 2) (−1)u d u2 +dδ=n δ≡1 (mod 2) = X (−1)u u2 b2 tồn số nguyên dương x y cho a2 = a1 + 2x b2 = b1 − 2y Khi ta có p = a22 + b22 = (a1 + 2x)2 + (b1 − 2y)2 = a21 + 4a1 x + 4x2 + b21 − 4b1 y + 4y = p + 4a1 x + 4x2 − 4b1 y + 4y , x(a1 + x) = y(b1 − y) Đặt (x, y) = d Xác định số nguyên dương X Y x = dX y = dY Khi ta có X(a1 + x) = Y (b1 − y) Do (X, Y ) = nên suy tồn số nguyên dương r cho rY = a1 + x = a1 + dX ... biến Chương Đồng thức Liouville Chúng tơi trình bày phát biểu đồng thức Liouville chứng minh số hệ trực tiếp từ đồng thức Chương Một vài ứng dụng định lí Liouville Ứng dụng đồng thức Liouville. .. 4), (0, 4, 1)} 17 Chương Đồng thức Liouville Trong chương này, chúng tơi trình bày chứng minh đồng thức Liouville, số hệ trực tiếp từ đồng thức Chúng ta áp dụng đồng thức Liouville Chương để có... bày đồng thức suy từ đồng thức Liouville ứng dụng cho hàm số lẻ Luận văn hoàn thành trường Đại học Khoa học, Đại học Thái Nguyên hướng dẫn PGS TS Nơng Quốc Chinh Trong q trình nghiên cứu thực luận