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

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ——————–o0o——————– VŨ THỊ HƯƠNG lu an va n ĐỒNG NHẤT THỨC LIOUVILLE VÀ ỨNG DỤNG p ie gh tn to oa nl w LUẬN VĂN THẠC SĨ TOÁN HỌC d Chuyên ngành: Phương pháp toán sơ cấp Mã số: 8460113 nf va an lu z at nh oi lm ul NGƯỜI HƯỚNG DẪN KHOA HỌC PGS TS NÔNG QUỐC CHINH z m co l gm @ an Lu n va Thái Nguyên, 04/2019 ac th si i Mục lục ii Mở đầu Chương Các kiến thức chuẩn bị lu Bảng ký hiệu an n va Hàm số lẻ, hàm số chẵn 1.2 Một số tính chất hàm số lẻ, hàm số chẵn 1.3 Số nguyên tố dạng toàn phương gh tn to 1.1 Dạng toàn phương ba biến 13 1.5 Phương trình u2 + dδ = n 15 p ie 1.4 w 17 oa nl Chương Đồng thức Liouville Định lí Liouville 17 2.2 Một số hệ đồng thức Liouville 25 d 2.1 an lu 30 nf va Chương Một vài ứng dụng định lí Liouville Biểu diễn số nguyên thành tổng số bình phương 30 3.2 Ứng dụng định lí Liouville cho hàm số lẻ 39 44 45 z Tài liệu tham khảo z at nh oi Kết luận lm ul 3.1 m co l gm @ an Lu n va ac th si ii Bảng ký hiệu lu an n va Dạng toàn phương Q(x, y) Dạng toàn phương biến x, y Q(x, y, z) Dạng toàn phương biến x, y, z F (x, y, z) Hàm ba biến x, y, z σ(n) Hàm tổng ước n tn to Q Hàm tổng ước n mà ước liên hợp chúng lẻ σr (n) Hàm tổng lũy thừa bậc r ước n p ie gh σ ∗ (n) R(n) Số tổ hợp chập a b phần tử d lu Số tổ hợp chập a n phần tử nf va an a Số cách biểu diễn n thành tổng s số bình phương oa Cna
b nl Rs (n) w Tập tất biểu diễn số nguyên n Q Các số nguyên dương u Số nguyên z at nh oi lm ul n, d, δ z m co l gm @ an Lu n va ac th si 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, lu gọi kết đồng thức Liouville Các đồng an thức bao hàm nội dung phát biểu nhiều định lí số học Kết va vấn đề Liouville xuất chuỗi 90 báo n tn to 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 nguyên gh p ie 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 nl w hàm Elliptic, chứng minh hoàn toàn kiến thức số học oa Điều khơng có nghĩa đánh giá thấp việc sử dụng phân tích, lý thuyết d số phức, dạng mô đun, hàm Elliptic hàm Theta việc chứng minh lu nf va an 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 lm ul 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 z at nh oi 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 z Mục tiêu luận văn trình bày số đồng thức quan trọng gm @ 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 l sở nội dung tài liệu [1] M.B Nathanson (2000), Elementary methods in co m number theory (SpringerVerlag) [2] Aeran Kim, Keum Yeon Lee and Hwasin an Lu Park (2014), “Applications of Liouville’s Identity with an Odd Function”, Britsh Journal of Mathematic and Computer Science (8), pp 1074–1090 n va ac th si 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 lu đồng thức Liouville mà chúng tơi trình bày tốn đếm số cách an biểu diễn số nguyên dương thành tổng số bình phương Sau đó, chúng va tơi trình bày đồng thức suy từ đồng thức Liouville n Luận văn hoàn thành trường Đại học Khoa học, Đại học Thái gh tn to ứng dụng cho hàm số lẻ p ie 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ả nl w hoàn thiện nhiều mặt kiến thức phương pháp nghiên cứu khoa d oa 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 an lu 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 nf va chuyên ngành Phương pháp Toán sơ cấp, trường Đại học Khoa học giúp đỡ lm ul tác giả suốt trình học tập z at nh oi 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 hồn thiện luận gm @ Xin chân thành cảm ơn! z văn l Thái Nguyên, tháng năm 2019 m co Người viết luận văn an Lu n va Vũ Thị Hương ac th si Chương Các kiến thức chuẩn bị lu an Trong chương này, giới thiệu số kiến thức chuẩn bị khái va niệm hàm số lẻ, hàm số chẵn, tính chất hàm số lẻ, hàm số chẵn, n dạng toàn phương hai biến, dạng toàn phương ba biến gh tn to Hàm số lẻ, hàm số chẵn p ie 1.1 w Trong toán học, hàm chẵn hàm lẻ hàm mà phân loại theo oa nl 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ý d an lu thuyết chuỗi lũy thừa chuỗi Fourier nf va Đị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 lm ul Về mặt hình học, đồ thị hàm chẵn đối xứng qua trục Oy Một số ví dụ z at nh oi 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 z hàm lẻ −f (x) = f (−x) với x −x nằm miền xác định f @ gm Về mặt hình học, đồ thị hàm lẻ đối xứng qua gốc tọa độ Một số ví dụ co l hàm lẻ hàm x, x3 , sin(x), Nếu f (x) lẻ f (0) = −f (0) nên f (0) = m Định nghĩa 1.1.3 ([1]) Hàm F (x, y, z) gọi hàm lẻ theo biến x n va F (x, −y, −z) = F (x, y, z) an Lu F (−x, y, z) = −F (x, y, z), hàm chẵn theo cặp biến (y, z) ac th si 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) lu 1.2 an Một số tính chất hàm số lẻ, hàm số n va chẵn tn to Tính chất 1.2.1 ([3]) Nếu hàm vừa hàm chẵn, vừa hàm lẻ ie gh điểm miền xác định p Chứng minh Giả sử f (x) vừa hàm chẵn, vừa hàm lẻ x Khi ta có d oa nl w −f (x) = f (−x) = f (x) ⇔ 2f (x) = ⇔ f (x) = lu hàm hàm chẵn nf va an Tính chất 1.2.2 ([3]) Nếu hàm hàm lẻ hàm giá trị tuyệt đối lm ul Chứng minh Cho f (x) hàm lẻ Đặt g(x) = |f (x)| Khi đó, ta có z at nh oi g(x) = |f (x)| = | − f (x)| = |f (−x)| = g(−x) Vậy g(x) hàm chẵn z gm @ 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 co l hàm chẵn m b) Tổng hai hàm lẻ hàm lẻ, hiệu hai hàm lẻ hàm lẻ an Lu c) Tổng hàm chẵn với hàm lẻ không hàm chẵn không n va hàm lẻ trừ hai hàm miền xác định ac th si 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 lu an hàm chẵn với hàm lẻ hàm lẻ va n Ví dụ 1.2.6 Từ tính chất ta thấy, hàm 13 cos(2x) cos(3x), hàm lẻ x gh tn to hàm chẵn, x cos x, x , cos x sin x p ie Tính chất 1.2.7 ([3]) nl w a) Tích hợp hai hàm chẵn hàm chẵn d oa b) Tích hợp hai hàm lẻ hàm lẻ an lu c) Tích hàm chẵn với hàm lẻ hàm chẵn nf va d) Tích hợp hàm với hàm chẵn hàm chẵn lm ul Tính chất 1.2.8 ([3]) Tất hàm số biểu diễn dạng hàm số z at nh oi tổng hàm chẵn hàm lẻ, chúng gọi phần chẵn phần lẻ Chứng minh Thật vậy, định nghĩa z f (x) + f (−x) fo (x) = f (x) − f (−x) (1.1) (1.2) m an Lu n va f (x) = fe (x) + fo (x) co fe hàm chẵn fo hàm lẻ l gm @ fe (x) = ac th si 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 lu an Định nghĩa 1.3.1 ([1]) Số nguyên tố số nguyên p lớn mà có ước va dương p Số nguyên dương lớn số nguyên tố n gọi hợp số gh tn to Các số nguyên tố nhỏ 100 thứ tự tăng dần sau: 2, 3, 5, 7, 11, p ie 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97 n X n X aij xi xj = w(x) (với aij = aji , aij ∈ R) d oa nl w Định nghĩa 1.3.2 ([1]) Đa thức bậc hai n biến có dạng i=1 j=1 an lu gọi dạng toàn phương n biến nf va lm ul Ví dụ, ta có z at nh oi 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ự, z w0 (x) = a11 x21 + 2a12 x1 x2 + 2a13 x1 x3 + a22 x22 + 2a23 x2 x3 + a33 x23 l gm @ dạng toàn phương biến co Định nghĩa 1.3.3 ([1]) Dạng toàn phương theo hai biến dạng toàn phương m hai biến Dạng toàn phương theo ba biến gọi dạng toàn phương ba biến an Lu n va ac th si 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 lu an Trong phần này, kí hiệu u, v w số nguyên, d, δ ` số va n nguyên dương tn to Ta bắt đầu với số kết ước số Nhắc lại d gọi ước ie gh số nguyên dương n tồn số nguyên δ cho n = dδ Số nguyên δ gọi p ước liên hợp d Hàm ước số σ(n) hàm tổng tất ước n, tức w hàm xác định nl σ(n) = X d d oa d|n an lu Ký hiệu σ ∗ (n) tổng tất ước n mà ước liên hợp chúng lẻ nf va Ví dụ 1.3.5 Ta có σ(10) = + + + 10 = 17 σ ∗ (10) = + 10 = 12 lm ul Ta có tính chất p số nguyên tố lẻ σ(p) = σ ∗ (p) = p + n số phương Chứng minh Gọi z at nh oi Bổ đề 1.3.6 ([1]) Cho n số nguyên dương lẻ Khi σ(n) lẻ pvp gm @ Y z n= p|n l phân tích thừa số n thành tích số nguyên tố lẻ Số nguyên co m dương d ước n d viết dạng Y p|n an Lu pup , d= n va ac th si 31 Ta có R3 (1) = có số nguyên có thứ tự thỏa mãn = x21 + x22 + x23 (1, 0, 0), (0, 1, 0), (0, 0, 1), (−1, 0, 0), (0, −1, 0), (0, 0, −1) Tương tự, ta có R3 (2) = 12 R3 (3) = Ta áp dụng đồng thức Liouville để thu công thức tường minh số cách biểu diễn số nguyên dương thành tổng s = số bình phương P P Trong mục này, d δ ký hiệu số nguyên dương, d|n n=dδ ký hiệu tổng ước dương n Ta có cơng thức truy hồi sau Rs (n) lu Định lí 3.1.2 ([1]) Với số nguyên dương s n, ta có X an (n − (s + 1)u2 )Rs (n − u2 ) = (3.1) n va √ |u|≤ n tn to Chứng minh Nếu gh n = x21 + · · · + x2s + x2s+1 , p ie x2s+1 ≤ n nên √ n w |xn+1 | ≤ d oa nl Với j = 1, , Rs+1 (n), ký hiệu lu n= s+1 X x2i,j nf va an i=1 Rs+1 (n) biểu diễn n thành tổng s + số bình phương Với i = 1, , s, lm ul định nghĩa ánh xạ τi tập (s + 1) số z at nh oi τi (x1 , , xi−1 , xi , xi+1 , , xs , xs+1 ) = (x1 , , xi−1 , xs+1 , xi+1 , , xs , xi ) Đây đối hợp tập Rs+1 (n) biểu diễn n thành tổng s + số z bình phương nên Rs+1 (n) x2s+1,j X x2i,j với i = 1, , s j=1 i=1 = s+1 Rs+1 X X(n) i=1 j=1 x2i,j n va j=1 x2i,j an Lu nRs+1 (n) = Rs+1 (n) s+1 X X m Cộng tất biểu diễn n lại, ta thu co l j=1 = gm X @ Rs+1 (n) ac th si 32 Rs+1 (n) = (s + 1) X = (s + 1) X x2s+1,j j=1 u2 Rs (n − u2 ), (3.2) √ |u|≤ n √ với số nguyên u thỏa mãn |u| n có Rs (n − u2 ) biểu diễn n = Ps+1 i=1 x2i,j với xs+1,j = u Điều kéo theo X Rs+1 (n) = Rs (n − u2 ) √ |u|≤ n Cho nên lu an nRs+1 (n) = n X Rs (n − u2 ) (3.3) √ |u|≤ n n va tn to Lấy (3.3) trừ (3.2) ta X gh (n − (s + 1)u2 )Rs (n − u2 ) = √ |u|≤ n p ie w Điều phải chứng minh d sau oa nl Định lí 3.1.3 ([1]) Cho Φ(n) hàm xác định tập số nguyên không âm an lu Φ(0) = nf va X lm ul (n − (s + 1)u2 )Φ(n − u2 ) = √ |u|≤ n z at nh oi với n ≥ Khi đó, Φ(n) = Rs (n) với n ≥ z @ l gm Chứng minh Chứng minh suy trực tiếp từ Định lí 3.1.2 Hệ thức truy hồi (3.1) cho phép ta tính Rs (n) với số nguyên dương s co n Ta có m X an Lu nRs (n) = − (n − (s + 1)u2 )Rs (n − u2 ) √ 1≤|u|≤ n n va ac th si 33 X =2 ((s + 1)u2 − n)Rs (n − u2 ), √ 1≤u≤ n Rs (n) = X  (s + 1)u2 n √ 1≤u≤ n Ví dụ 3.1.4 Với s = ta có    − Rs (n − u2 ) 4·1 · 22 − R3 (4 − 12 ) + − R3 (4 − 22 ) 4 R3 (4) =   (3.4)  = · 3R3 (0) = · 12 · 22 R3 (5) = − R3 (5 − 12 ) + − R3 (5 − 22 ) 5     11 11 = − R3 (4) + R3 (1) = − · + · = 24 5 5      lu an n va gh tn to Định lí 3.1.5 Cho n số nguyên dương Nếu n lẻ X d3 ie R8 (n) = 16 p d|n oa nl w Nếu n chẵn n = 2α m, a ≥ m lẻ d R8 (n) = 16(8a+1 − 15) X 8a+1 − 15 d = R8 (m) 7 an lu d|m nf va Chứng minh Ta xẽ áp dụng đồng thức Liouville cho ba đa thức (−1)y xy , lm ul (−1)y xy (2y − z) (−1)y xy Thay (−1)y xy vào đồng thức Liouville, ta z at nh oi thu vế trái đồng thức X (−1)u+d (δ − 2u)(u + d)4 u2 +dδ=n X (−1)u+d (d4 δ − 8u2 d3 + u4 δ − 8u4 d + 6u2 d2 δ) z =2 X (−1)u+d (d3 (n − 9u2 ) + u4 (δ − 14d) + 6u2 d2 δ) gm =2 @ u2 +dδ=n u2 +dδ=n an Lu (−1)u (d + δ)u4 = m Số hạng vế phải đồng thức X X co l u2 +dδ=n (−1)u du4 u2 +dδ=n n va ac th si 34 Nếu n = `2 ` 2`−1 X 2T1 (`) = (−1) 2` j = (−1)` (4`6 − 2`5 ) j=1 `−1 X T2 (`) = 2` j (−1) j = 4` `−1 X (−1)j j j=1 j=−`+1 = (−1)`−1 (2`5 − 4`4 + 2`2 ), số hạng thứ hai vế phải đồng thức Liouville 2T1 (`) − T2 (`) = (−1)` (4`6 − 4`4 + 2`2 ) = (−1)n (4n3 − 4n2 + 2n) lu an va Chia cho 2, ta thu X X u2 +dδ=n u2 +dδ=n n (−1)u+d d3 (n − 9u2 ) + tn to X gh + 6n (−1)u u4 (−1)d (δ − 14d) − d
(−1)u+d du2 = {(−1)n (2n3 − 2n2 + n)}n=`2 (3.5) p ie u2 +dδ=n (−1)u+d (δ − 2u)(u + d)3 δ oa nl w Tiếp theo, xét thức (−1)y xy (2y − z) Vế trái đồng thức Liouville X (u,d,δ)∈S(n) d X (−1)u+d (3dδ u2 + d3 δ − 2δu4 − 6d2 δu2 ) (u,d,δ)∈S(n) X (−1)u+d (3δu2 (n − u2 ) + d(n − u2 )2 − 2δu4 − 6du2 (n − u2 )) X lm ul (u,d,δ)∈S(n) =2 nf va =2 an lu =2 (−1)u+d (nu2 (3δ − 8d) + u4 (7d − 5δ) + n2 d) z at nh oi (u,d,δ)∈S(n) Số hạng vế phải đồng thức X X z (−1)u (d + δ)u3 (2u − d + δ) = @ u2 +dδ=n X (−1)u du4 l =4 gm u2 +dδ=n (−1)u (d + δ)u4 u2 +dδ=n co m Nếu n = `2 n va j=1 (−1)` j`3 (2` − j) an Lu 2T1 (`) = 2`−1 X ac th si 35 ` = (−1) 4` = 2`−1 X ` j − (−1) 2` 2`−1 X j2 j=1 j=1 n (−1) 2(4n3 − n2 ) T2 (`) = Do vậy, ta thu X X (−1)u+d (nu2 (3δ − 8d) + u4 (7d − 5δ) + n2 d) − u2 +dδ=n lu  an = (−1)u du4 u2 +dδ=n (−1)n 2(4n3 − n2 )  , n va n=`2 tn to hay tương đương X (−1)u u4 (−1)d (7d − 5δ) − 2d
gh u2 +dδ=n ie p + 3n X w u2 +dδ=n n  X (−1)u+d u2 (3δ − 8d) + 3n2 (−1)u+d d u2 +dδ=n n=`2 (3.6) oa nl = (−1) (4n − n ) d Với số nguyên dương n ta có X an lu X (−1)u u4 (−1)d (δ − 14d) − d + nf va u2 +dδ=n =7 X (−1)u u4 u2