Sự không tồn tại nghiệm dươngcủa một số phương trình laplace liên kết với điều kiện biên neumann

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: SỰ KHƠNG TỒN TẠI NGHIỆM DƯƠNG CỦA MỘT SỐ PHƯƠNG TRÌNH LAPLACE LIÊN KẾT VỚI ĐIỀU KIỆN BIÊN NEUMANN LUẬN VĂN THẠC SĨ Năm: BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC Chuyên ngành: : Mã số: : LUẬN VĂN THẠC SĨ Người hướng dẫn TS 1 PHẦN MỞ ĐẦU Những kết luận văn: Sau thời gian nghiên cứu, luận văn đạt số kết sau: - Hệ thống lại kiến thức sở lí thuyết phương trình vi phân như: Phương trình Newton, Phân loại phương trình vi phân, Phương trình Ơ-tơ-nơm cấp một, nghiệm tường minh phương trình vi phân, Phương trình định tính, - Mơ số tượng vật lí kĩ thuật dạng phương trinh vi phân hệ phương trình vi phân - Nghiên cứu tốn với giá trị đầu ứng dụng - Chứng minh chi tiết số định lí lí thuyết phương trình vi phân như: Định lí tồn nghiệm, Định lí Picard - Lindelof, Mở rộng định lí Picard - Lindelof, bất đẳng thức Gronwall - Nghiên cứu tốn nhiễu loạn quy, nghiên cứu phương pháp Euler định lí Peano việc tìm nghiệm gần phương trình vi phân 942 2 Cấu trúc nhóm số nhóm hữu hạn Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm Dn có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ n, ⩽ l ⩽ n − 1, ⩽ i ⩽ n − 1, ⩽ j ⩽ n − Sau số tính chất nhóm nhị diện, xem [?] Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Rk nhóm xiclíc cấp n , d = (n, k), với ⩽ k ⩽ n; d (ii) Tl nhóm xiclíc cấp với ⩽ l ⩽ n − 1; (iii) Ui,j nhóm nhị diện cấp 2n , d = (n, i), với i|n, ⩽ i ⩽ n− d ⩽ j ⩽ n − Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ Khi (i) Nếu n lẻ CDn (1) = Dn , CDn (ri ) = R1 , CDn (rj s) = Tj với ⩽ i ⩽ n − 1, ⩽ j ⩽ n − 1; (ii) Nếu n chẵn CDn (1) = Dn , CDn (rm ) = Dn , CDn (ri ) = R1 , CDn (rj s) = Um,j n với m = , ⩽ i ⩽ n − 1, i ̸= m, ⩽ j ⩽ n − Mệnh đề Cho nhóm nhị diện Dn = ⟨r, s | rn = s2 = 1, s−1 rs = r−1 ⟩ với n ⩾ 3, H nhóm nhóm Dn Khi H nhóm sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với k|n, ⩽ k ⩽ n, ⩽ l ⩽ n − 1, i|n, ⩽ i ⩽ n − 1, ⩽ j ⩽ i − Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn , s−1 rs = r−1 ⟩ với n ⩾ Ký hiệu Rk , Ui,j nhóm Q4n có dạng sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n, ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − Sau số tính chất nhóm quaternion suy rộng, xem [?] Mệnh đề Cho nhóm quaternion suy rộng Q4n với n ⩾ Khi 2n , d = (2n, k), với ⩽ k ⩽ 2n; d 4n (ii) Ui,j nhóm quaternion suy rộng cấp , d = (n, i), d với ⩽ i ⩽ 2n, ⩽ j ⩽ 2n − (i) Rk nhóm xiclíc cấp Mệnh đề Cho nhóm Quaternion suy rộng Q4n với n ⩾ Khi CQ4n (1) = CQ4n (rn ) = Q4n , CQ4n (ri ) = R1 , CQ4n (rj s) = Un,j với ⩽ i ⩽ 2n − 1, i ̸= n, ⩽ j ⩽ 2n − Mệnh đề Cho nhóm quaternion suy rộng Q4n với n ⩾ 2, H nhóm Q4n Khi H nhóm sau Rk = ⟨rk ⟩, Ui,j = ⟨ri , rj s⟩ với k|2n, ⩽ k ⩽ 2n, ⩽ i ⩽ n, i|n, ⩽ j ⩽ i − Cho nhóm giả nhị diện n n−1 SD2n = ⟨r, s | r2 = s2 = 1, s−1 rs = r2 −1 ⟩ với n ⩾ Ký hiệu Rk , Tl , Ui,j nhóm nhóm giả nhị diện SD2n có dạng sau Rk = ⟨rk ⟩, Tl = ⟨rl s⟩, Ui,j = ⟨ri , rj s⟩ với ⩽ k ⩽ 2n , ⩽ l ⩽ 2n − 1, ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − Sau số tính chất nhóm giả nhị diện, xem [?] Mệnh đề Cho nhóm giả nhị diện SD2n với n ⩾ Khi (i) Rk nhóm xiclíc cấp 2n d = (2n , k), với ⩽ k ⩽ 2n ; d (ii) Tl nhóm xiclíc cấp l chẵn, cấp l lẻ với ⩽ l ⩽ 2n − 1; (iii) Ui,j nhóm giả nhị diện i lẻ với ⩽ i ⩽ 2n − 1, ⩽ j ⩽ 2n − 1; Ui,j nhóm nhị diện i chẵn j chẵn, nhóm quaternion tổng quát i chẵn j lẻ với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − 1; Với i = 2n−1 , Ui,j nhóm xiclíc cấp j lẻ, Ui,j ∼ = C2 × C2 j chẵn 2n+1 Trong tất trường hợp nhóm Ui,j có cấp d d = (2n , i) Mệnh đề Cho nhóm giả nhị diện SD2n với n ⩾ Khi CSD2n (1) = CSD2n (r2 n−1 ) = SD2n , CSD2n (ri ) = R1 , CSD2n (rj s) = U2n−1 ,j với ⩽ i ⩽ 2n − 1, i ̸= 2n−1 , ⩽ j ⩽ 2n − Mệnh đề Cho nhóm giả nhị diện SD2n với n ⩾ 3, H nhóm SD2n Khi nhóm H SD2n nhóm sau (i) Rk = ⟨rk ⟩ với ⩽ k ⩽ 2n ; (ii) Tl = ⟨rl s⟩ với ⩽ l ⩽ 2n − l chẵn, ⩽ l ⩽ 2n−1 − l lẻ; (iii) Ui,j với ⩽ i ⩽ 2n−2 , i|2n , ⩽ j ⩽ i−1, U2n−1 ,j với ⩽ j ⩽ 2n−1 − 1, j chẵn Các vành nhóm X X Ánh xạ ε : RG → R cho ε( rg g) = rg ánh xạ mở rộng g g Iđêan ∇(RG) = ker(ε) gọi iđêan mở rộng Định lý Cho G nhóm hữu hạn với cấp + 2n R ∆U -vành Khi RG ∆U -vành iđêan mở rộng ∇(RG) ∆U -vành Chứng minh Đặt ∇ = ∇(RG) Giả sử G nhóm hữu hạn có cấp 1+2n R ∆U -vành Theo Mệnh đề ??, ta có ∈ ∆(R), 1+2n ∈ U (R) Khi RG có biểu diễn RG = ∇⊕H với H ∼ = R theo [4] Đặt ∇ = eRG H = (1 − e)RG Rõ ràng e phần tử tâm RG Nếu RG ∆U -vành, ∇ = eRG ∆U -vành theo Mệnh đề ?? Ngược lại, giả sử ∇ = eRG ∆U -vành Vì H ∼ = R nên H ∆U -vành Theo Bổ đề 10, RG ∆U -vành Một nhóm gọi hữu hạn địa phương nhóm sinh hữu hạn phần tử hữu hạn Bổ đề Nếu G 2-nhóm hữu hạn địa phương R ∆U -vành với ∆(R) lũy linh, ∇(RG) ⊆ ∆(RG) Chứng minh Giả sử G 2-nhóm hữu hạn địa phương R ∆U -vành ¯ Suy Khi R¯ := R/J(R) ∆U -vành Từ ∆(R) lũy linh, ∈ N (R) ¯ ⊆ N (RG) ¯ ¯ ∇(RG) theo [4, Hệ quả, trang 682] Do đó, ∇(RG) iđêan lũy ¯ Ta kiểm tra J(R)G ⊆ J(RG), linh chứa J(RG) J((R/J(R))G) ∼ = J(RG/J(R)G) = J(RG)/J(R)G Do ∇(RG) ⊆ J(RG) ⊆ ∆(RG) Định lý Cho R ∆U -vành G 2-nhóm hữu hạn địa phương Nếu ∆(R) lũy linh, RG ∆U -vành Chứng minh Lấy u ∈ U (RG) Khi ε(u) = + ε(u − 1) ∈ U (R) theo Bổ đề (1) áp dụng cho ánh xạ mở rộng ε i Vì R ∆U -vành nên tồn j ∈ ∆(R) thỏa mãn ε(u) = + j Theo Bổ đề (1) ta có ε(u − + j) = hay u − + j ∈ ∇(RG) ⊆ ∆(RG) Do u ∈ − j + ∆(RG) suy u ∈ + ∆(RG) Hệ Cho R vành hoàn chỉnh phải trái G 2-nhóm hữu hạn địa phương Khi đó, R ∆U -vành RG ∆U -vành Biểu diễn ∆(R) tính chất Bổ đề Cho R vành bất kỳ, ta có (1) ∆(R) = {r ∈ R | ru + ∈ U (R), ∀u ∈ U (R)} = {r ∈ R | ur + ∈ U (R), ∀u ∈ U (R)}; (2) Với r ∈ ∆(R) u ∈ U (R), ur, ru ∈ ∆(R); (3) ∆(R) vành vành R; (4) ∆(R) iđêan R ∆(R) = J(R); Y Y (5) Với họ vành Ri , i ∈ I , ∆( Ri ) = ∆(Ri ) i∈I i∈I Chứng minh (1) Cho r ∈ ∆(R) u thuộc U (R), r + u ∈ U (R) ru−1 + ∈ U (R) u−1 r + ∈ U (R) (2) Ta có ruu′ + ∈ U (R), ∀u, u′ ∈ U (R) r ∈ ∆(R), suy ru ∈ ∆(R) Tương tự ur ∈ ∆(R) (3) Lấy r, s ∈ ∆(R) Khi −r + s + U (R) ⊆ −r + U (R) = −r − U (R) ⊆ U (R), hay ∆(R) nhóm với phép cộng R Hơn rs = r(s + 1) − r ∈ ∆(R) r(s + 1) ∈ ∆(R) theo (2) (4) Rõ ràng J(R) ⊆ ∆(R) Ta giả sử ∆(R) iđêan R r ∈ R Khi rx + ∈ U (R), với x thuộc ∆(R) suy ∆(R) ⊆ J(R) hay ∆(R) = J(R) Chiều ngược Y Y lại hiển nhiên Y Y Y (5) Lấy ri ∈ ∆( Ri ) Khi ri + U ( Ri ) ⊆ U ( Ri ) Vì Y U( i∈IY Ri ) = i∈I U (Ri )) ⊆ i∈I U (Ri ) nên i∈I Y Y ri + i∈I Yi∈I i∈I Y i∈I i∈I U (Ri ) ⊆ U (Ri ) hay U (Ri ), suy ri +U (Ri ) ⊆ U (Ri ), ∀i ∈ I nên i∈I i∈IY Y i∈I ri ∈ (ri + Yi∈I ∆(Ri ) i∈I Chiều ngược lại tương tự Cho e phần tử lũy đẳng vành R Khi phần tử − 2e khả nghịch R Từ Bổ đề 10 (2) ta suy hệ sau Hệ Cho R vành (1) ∆(R) đóng với phép nhân phần tử lũy linh; (2) Nếu ∈ U (R), ∆(R) đóng với phép nhân phần tử lũy đẳng Định lý Cho R vành có đơn vị T vành R sinh U (R) Khi (1) ∆(R) = J(T ) ∆(S) = ∆(R), với S vành tùy ý R thỏa mãn T ⊆ S ; (2) ∆(R) Jacobson lớn chứa R đóng với phép nhân phần tử khả nghịch R Chứng minh (1) T vành sinh U (R) nên phần tử T viết thành tổng hữu hạn phần tử khả nghịch R Do đó, theo Bổ đề 10 (2) suy ∆(T ) iđêan T Theo Bổ đề 10 (4) suy ∆(T ) = J(T ) Hơn ∆(T ) = ∆(R) nên ∆(R) = J(T ) Nếu r ∈ ∆(R), r + U (R) ⊆ U (R) Điều có nghĩa r biểu diễn thành tổng hai phần tử khả nghịch Do r ∈ T , suy ∆(R) ⊆ T Giả sử S vành R thỏa mãn T ⊆ S Khi U (S) = U (R), ∆(S) = {r ∈ S | r + U (S) ⊆ U (S)} = {r ∈ S | r + U (R) ⊆ U (R)} = S ∩ ∆(R) = ∆(R), ∆(R) ⊆ T ⊆ S (2) Theo (1), ∆(R) Jacobson R theo Bổ đề 10 (2) ∆(R) đóng với phép nhân phần tử khả nghịch trái phải R Bây giờ, ta giả sử S Jacobson chứa R đóng với phép nhân phần tử khả nghịch Ta phải S ⊆ ∆(R) Thật vậy, s ∈ S u ∈ U (R), su ∈ S = J(S) Do su tựa khả nghịch S nên + su ∈ U (R) Theo Bổ đề 10 (1) s ∈ ∆(R) hay S ⊆ ∆(R) Từ đặt trưng ∆(R) Định lý 32 (2) ta có hệ sau Hệ Giả sử R vành mà phần tử biểu diễn thành tổng phần tử khả nghịch Khi ∆(R) = J(R) Định lý cổ điển Amitsur nói Jacobson F -đại số R trường F lũy linh, với điều kiện dimF R < |F | Áp dụng Định lý 32 (1) ta thu hệ sau Hệ Giả sử R vành đại số trường F Nếu dimF R < |F |, ∆(R) vành lũy linh Cho R vành khơng thiết phải có đơn vị S vành R, ta ký hiệu Sˆ vành R sinh S ∪ {1} Mệnh đề 10 Giả sử R vành có đơn vị Khi (1) Cho S vành R thỏa mãn U (S) = U (R) ∩ S Khi ∆(R) ∩ S ⊆ ∆(S); [ = U (R) ∩ ∆(R) [; (2) U (∆(R)) (3) Cho I iđêan R thỏa mãn I ⊆ J(R) Khi ∆(R/I) = ∆(R)/I Chứng minh (1) suy từ định nghĩa ∆ (2) Nếu r ∈ ∆(R), v = + r ∈ U (R) v −1 = − rv −1 ∈ [ ∩ U (R), −rv −1 ∈ ∆(R), Bổ đề 10 ∆(R) [ ∩ U (R), r ∈ ∆(R) k ∈ Z Ta Lấy u = r + k · ∈ ∆(R) ¯ −1 = (u − k)u ¯ −1 = k¯ = k · ∈ U (R) Ta có u − k¯ = r ∈ ∆(R), − ku ¯ −1 = − (1 − ku ¯ −1 ) ∈ U (R), suy ru−1 ∈ ∆(R) theo Bổ đề 10 (2) Khi ku k¯ ∈ U (R) Vì ∆(R) đóng với phép nhân phần tử khả nghịch nên ta áp dụng phần chứng minh v = uk¯−1 = + rk¯−1 [ , nghĩa u−1 k¯ = s + ¯l, với s ∈ ∆(R) l ∈ Z Suy u−1 k¯ = v −1 ∈ ∆(R) [ , U (R) ∩ ∆(R) [ ⊆ U (∆(R)) [ sk¯−1 ∈ ∆(R), u−1 = sk¯−1 + k¯−1 ¯l ∈ ∆(R) [ ⊆ U (R) ∩ ∆(R) [ dễ thấy Chiều ngược lại U (∆(R)) ¯ = (3) Ta ký hiệu ¯ phép chiếu từ R lên R/I Lưu ý, I ⊆ J(R), U (R) U (R) ¯ u ∈ U (R) Khi r¯ + u¯ ∈ U (R) ¯ có phần tử Lấy r¯ ∈ ∆(R) v ∈ U (R) j ∈ I thỏa mãn r + u = v + j Hơn v + j ∈ U (R), ¯ = ∆(R) Vì U (R) ¯ = U (R) nên chiều ngược lại I ⊆ J(R) Suy ∆(R) dễ thấy Áp dụng mệnh đề ta có hệ sau [ = ∆(R), nghĩa ∆ Hệ Cho R vành có đơn vị, ∆(∆(R)) tốn tử đóng [ , ∆(R) ⊆ T Chứng minh ∆(R) Jacobson T = ∆(R) Vì ∆(R) chứa tất phần tử lũy linh nên T /∆(R) đẳng cấu với Z Zn := Z/nZ, với n > nhân tử bình phương Theo Mệnh đề = ϕ χ E − χEh = ϕ χEh h=1 h=m+1 ∞ X ≤ ∥ϕ∥(Lp (Ω))′ χEh h=m+1 | ∪∞ h=m+1 Eh | = ∞ X Lp (Ω) |Eh | → m → ∞ từ E < ∞ Vì h=m+1 ν(E) = ∞ X 1/p = ∥ϕ∥(Lp (Ω))′ ∪∞ h=m+1 Eh ν(Eh ) h=1 kết cho cách xếp dãy (Eh )h , chuỗi hội tụ tuyệt đối thỏa (10) Hơn nữa, từ |ν(E) ≤ ∥ϕ∥(Lp (Ω))′ |E|1/p , ∀E ∈ M, suy (11) Lưu ý: Nếu p = ∞ đánh giá trước, (11) khơng cịn giữ 38 Theo định lý Radon-Nikodym cho độ đo dấu, tồn M-hàm đo u : Ω → R với u+ u− ∈ L1 (Ω) cho Z ϕ(χE ) = ν(E) = udx, ∀E ∈ M (31) E Thực thỏa mãn u ∈ L1 (Ω) Thật vậy, cho En+ := {x ∈ Ω : u(x) ≥ 0} En− := {x ∈ Ω : u(x) ≤ 0} Từ (12) ta Z 0≤ Z ± u dx = En± Ω udx = ν(En± ) < ∞ Do u± ∈ L1 (Ω) Từ tuyến tính ϕ tích phân, rõ ràng Z ϕ(s) = (32) u s dx Ω với hàm đơn giản đo s : Ω → R Để kết luận, cần chứng minh ′ u ∈ Lp (Ω), ∀p ∈ [1, ∞) (33) Thật vậy, với f ∈ Lp (Ω), theo xấp xỉ hàm đơn giản (Định lý ??), tồn dãy sh : Ω → R, (h = 1, 2, ) hàm đơn gian đo thỏa mãn sh → f Lp (Ω) (34) Từ (14), (15) bất đẳng thức Holder, suy