ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC Tự NHIÊN Bùi Quốc Hưng ĐIỀU KIÊN LANDESMAN-LAZER SUY RỘNG ĐốI VỚI MỘT Số LỚP BÀI TOÁN BIÊN ELLIPTIC KHƠNG TUYẾN TÍNH LUẬN ÁN TIẾN SĨ TỐN HỌC Hà Nội - 2016 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC Tự NHIÊN Bùi Quốc Hưng ĐIỀU KIÊN LANDESMAN-LAZER SUY RỘNG ĐốI VỚI MỘT Số LỚP BÀI TỐN BIÊN ELLIPTIC KHƠNG TUYẾN TÍNH Chun ngành: Phương trình vi phân tích phân Mã số: 62460103 LUẬN ÁN TIẾN SĨ TOÁN HỌC Người hướng dẫn khoa học: PGS.TS Hoàng Quốc Toàn Hà Nội - 2016 LỜI CAM ĐOAN Tơi xin cam đoan cơng trình nghiên cứu riêng tơi, hồn thành hướng dẫn PGS.TS Hoàng Quốc Toàn Các kết viết chung với tác giả khác trí đồng tác giả đưa vào luận án Các kết luận án kết chưa công bố công trình khác Tác giả luận án Bùi Quốc Hưng LỜI CẢM ƠN Luận án thực hoàn thành hướng dẫn khoa học PGS.TS Hồng Quốc Tồn Thầy tận tình hướng dẫn giúp đỡ tơi q trình làm luận án Tơi xin tỏ lịng biết ơn sâu sắc tới PGS.TS Hồng Quốc Tồn Thầy hướng dẫn tơi từ bước đầu tiên, cách đặt vấn đề nghiên cứu, làm để viết báo khoa học, cách mở rộng vấn đề nghiên cứu, Nhờ bảo Thầy, ngày tiến nghiên cứu khoa học Bên cạnh đó, Thầy dạy cho nhiều điều nhân cách lối sống, định hướng cho tơi, truyền cho tơi ý chí làm việc phấn đấu, khiến cho trưởng thành nghiệp sống Nhân cách lối sống Thầy điều mà phấn đấu hoàn thiện thân Từ tận đáy lịng, tơi xin bày tỏ lịng cảm ơn sâu sắc tới Thầy, mong Thầy ln mạnh khỏe để cống hiến nhiều cho nghiệp giáo dục nước nhà Tơi xin bày tỏ lịng biết ơn chân thành tới thầy, bạn đồng nghiệp anh chị nghiên cứu sinh Bộ mơn Tốn Sinh thái Mơi trường, Bộ mơn Giải Tích-Khoa Tốn Cơ Tin học quan tâm, giúp đỡ, trao đổi ý kiến qúy báu cho trình học tập, nghiên cứu Tơi trân trọng gửi lời cảm ơn đến Ban Giám đốc, Ban Chủ nhiệm Khoa Công nghệ Thông tin, Học viện Kỹ thuật Quân sự, đặc biệt thầy cô giáo Bộ môn Tốn, Học viện Kỹ thuật Qn tơi xin bày tỏ lòng cảm ơn đến Ban Giám hiệu Trường Đại học Khoa học Tự nhiên, Ban chủ nhiệm Khoa Tốn -Cơ -Tin học, Phịng Sau đại học Bộ mơn Giải tích, Bộ mơn Tốn Sinh thái Môi trường giúp đỡ, tạo điều kiện thuận lợi suốt trình học tập, nghiên cứu để tơi hồn thành luận án Cuối cùng, tơi xin tỏ lịng biết ơn chân thành đến gia đình, bạn bè, người ln sát cánh động viên, chia sẻ giúp đỡ tơi hồn thành luận án Mục lục DANH MỤC CÁC KÝ HIỆU MỞ ĐẦU MỘT SỐ KIẾN THỨC CHUẨN BỊ 13 1.1 Các nguyên lý biến phân 13 1.1.1 Phiếm hàm khả vi không gian Banach 13 1.1.2 Tính khả vi phiếm hàm tích phân 14 1.1.3 Tính nửa liên tục yếu phiếm hàm khả vi không gian Banach 16 1.2 Điều kiện Palais-Smale tồn điểm tới hạn 18 1.2.1 Điều kiện Palais-Smale (P-S) 18 1.2.2 Nguyên lý cực tiểu 19 1.2.3 Định lý điểm yên ngựa 19 1.2.4 Định lý qua núi 20 1.3 Điều kiện Landesman-Lazer toán cộng hưởng 22 1.3.1 Nguồn gốc thuật ngữ "Bài toán cộng hưởng" 22 1.3.2 Bài toán cộng hưởng điều kiệnLandesman-Lazer 23 BÀI TOÁN NEUMANN CỘNG HƯỞNG ĐỐI VỚI PHƯƠNG TRÌNH VÀ HỆ PHƯƠNG TRÌNH ELLIPTIC PHI TUYẾN, KHƠNG ĐEU TRONG MIỀN KHÔNG BỊ CHẶN 29 2.1 Điều kiện Landesman-Lazer suy rộng toán Neumann cộng hưởng phương trình elliptic nửa tuyến tính khơng miền không bị chặn 30 2.1.1 Giới thiệu toán 30 2.1.2 Định lý thứ 2.1.3 Định lý thứ hai 2.2 Bài tốn cộng hưởng Neumann hệ phương trình elliptic nửa tuyến tính khơng miền khơng bị chặn với điều kiện biên phi tuyến 2.2.1 Giới thiệu toán 2.2.2 Sự tồn nghiệm yếu 2.3 Kết luận chương 37 47 50 50 55 65 BÀI TỐN CỘNG HƯỞNG Đối VỚI HỆ PHƯƠNG TRÌNH (p.p)-LAPLACIAN TRONG MIÊN BỊ CHẶN 66 3.1 Giới thiệu toán 66 3.2 Bài toán Dirichlet cộng hưởng hệ phương trình (P; p) —Laplacian khơng miền bị chặn 68 3.3 Định lý Điểm yên ngựa hệ phương trình elliptic cộng hưởng tựa tuyến tính miền bị chặn 83 3.4 Kết luận chương 98 KẾT LUẬN 99 DANH MỤC CƠNG TRÌNH KHOA HỌC CỦA TÁC GIẢ LIÊN QUAN ĐẾN LUẬN ÁN 101 TÀI LIÊU THAM KHẢO 102 DANH MỤC CÁC KÝ HIỆU Q c RN tập mở đo RN, Q' cc Q tập compact chứa Q u : Q ! R hàm đo Lebesgue Cho Q tập đo R , L (Q) = {u : Q ! R : J \u\ dx < +1}, < p < 1, không gian Banach bao gồm tất hàm khả tích Lebesgue bậc p Q với chuẩn xác định sau: N p n íf \1=p ||u|| p(Q) := ( / \u\pdx L \Ja ) p Chú ý rằng, < p < +1 L (Q) khơng gian Banach phản xạ p L1(Q) = {u : Q ! R bị chặn Q} không gian Banach bao gồm tất hàm đo bị chặn Q h.k.n với chuẩn ||U||L~ (Q) = esssup||u(x)|| xeô ưloc(X) = {u : Q ! R : VQ' cc Q, ta có u Lp(Q')} Cho Q tập mở R , CQ°(Q) không gian hàm khả vi vơ hạn có giá compact Q N Hm,p(Q) = {u Lp(Q) : D u Lp(Q), với đa số |a| < m} với chuẩn a ||U||H™,P = X l|D“u||LP H0m’p(Q) bao đóng không gian Co° không gian Hm,p(Q) Nếu Q miền bị chặn ta xác định chuẩn tương đương | llu H0m’p = X kD“u|LP H~ (Q) không gian đối ngẫu không gian H (Q) với p + q = Trong trường hợp p = q = 2, ta viết ngắn gọn Hm(Q) m,q m,p MỞ ĐẦU Phương trình đạo hàm riêng xuất từ kỷ 18 cơng trình Euler, Dalembert, Lagrange, Laplace, phương tiện để mơ tả mơ hình học liên tục để nghiên cứu giải tích mơ hình vật lý Việc giải tích mơ hình vật lý trì ngày động lực thúc đẩy phát triển lý thuyết phương trình đạo hàm riêng Từ kỷ 19, phương trình đạo hàm riêng trở thành phương tiện nghiên cứu chủ yếu nhiều ngành Tốn học khác Poincaré mơ tả vai trị phương trình đạo hàm riêng cầu nối ngành toán học ứng dụng, khoa học vật lý ngành toán học túy Vấn đề xuyên suốt nghiên cứu lý thuyết ứng dụng phương trình đạo hàm riêng tốn tồn nghiệm Từ lâu người ta biết đến nhiều phương pháp để tìm nghiệm phương trình đạo hàm riêng tuyến tính phương pháp tách biến, phương pháp chuỗi, phương pháp phương trình tích phân, phương pháp hàm Green, Cho đến đầu kỷ 20, nghiệm phương trình đạo hàm riêng hiểu theo cách chung nghiệm khả vi đến cấp cao đạo hàm có mặt phương trình Tuy nhiên điều dễ nhận thấy để phản ánh tương đối xác q trình vật lý hay học việc quan tâm đến nghiệm khả vi chưa đủ Hơn mơ hình vật lý hay học nói chung mơ tả phương trình hay hệ phương trình đạo hàm riêng khơng tuyến tính, mà phương trình đạo hàm riêng khơng tuyến tính lại thường khơng tồn nghiệm khả vi Vì việc nghiên cứu phương trình đạo hàm riêng có ý nghĩa đối tượng mà phản ánh việc mở rộng khái niệm nghiệm phương trình đạo hàm riêng vấn đề cần thiết Do khái niệm nghiệm suy rộng (hay nghiệm yếu) đời Người ta đưa nhiều định nghĩa khác nghiệm suy rộng phải đảm bảo nguyên tắc vừa chặt chẽ mặt tốn học, vừa có ý nghĩa phương diện vật lý Vào năm 50-60 kỷ trước, mà lý thuyết phương trình đạo hàm riêng tuyến tính đạt thành tựu tuyệt vời, mà thành cơng lý thuyết tốn biên elliptic đa tạp compact có biên khơng biên xu hướng nghiên cứu phương trình đạo hàm riêng khơng tuyến tính đẩy mạnh, đặc biệt từ năm cuối kỷ 20 Do tính đa dạng phương trình đạo hàm riêng khơng tuyến tính nên phương pháp nghiên cứu phong phú, khơng có phương pháp chung cho tất loại phương trình đạo hàm riêng khơng tuyến tính Có thể kể số phương pháp thường sử dụng như: phương pháp trực giao, phương pháp toán tử đơn điệu, phương pháp nguyên lý điểm bất động, phương pháp nghiệm - nghiệm dưới, phương pháp bậc tôpô ánh xạ, phương pháp biến phân, Trong số phương pháp đó, phương pháp biến phân áp dụng rộng rãi tỏ có hiệu lực Ý tưởng phương pháp biến phân áp dụng vào phương trình đạo hàm riêng dựa sở lý thuyết điểm tới hạn phiếm hàm khả vi không gian Banach, mà nội dung đưa tốn biên xét việc nghiên cứu phiếm hàm J khả vi theo nghĩa khơng gian Banach X xây dựng thích hợp (được gọi phiếm hàm Euler-Lagrange liên kết với toán) cho điểm tới hạn phiếm hàm J nghiệm suy rộng tốn biên Một phương pháp thơng thường để tìm điểm tới hạn phiếm hàm khả vi tìm điểm cực tiểu phiếm hàm Tuy nhiên việc tìm điểm cực tiểu phiếm hàm không đơn giản, lớp phiếm hàm cực tiểu hóa tương đối hạn chế Vì nhiều trường hợp người ta quan tâm đến việc tìm điểm yên ngựa (Saddle point) mà điểm cực tiểu phiếm hàm Cơ sở để chứng minh tồn điểm tới hạn phiếm hàm khả vi dựa vào nguyên lý biến phân mà kể đến Đối tượng mà đề cập đến luận án tồn nghiệm yếu phương trình hay hệ phương trình elliptic có dạng tổng quát —div (a(x, Vu)) = f (x,u), x Q, (0.1) Q tập mở R , mà dạng thường gặp là: —div (h(x) |Vu| Vu) = f (x, u), x Q, (0.2) với p > 2, h : Q ! R hàm Ta biết toán tử dạng divergent —div (a(x, Vu)) xuất nhiều tốn khuyếch tán khơng tuyến tính mà cổ điển mơ hình tốn học tượng truyền nhiệt vật thể, tượng truyền sóng khơng gian, mơ hình tốn học dịng chất lỏng khơng Newton, mơ hình học lượng tử, học môi trường liên tục, lý thuyết trường, N p-2 Hai toán biên chủ yếu nghiên cứu liên quan đến phương trình hệ phương trình dạng (0.1), (0.2) tốn với điều kiện biên Dirichlet Neumann Việc nghiên cứu thu hút quan tâm đội ngũ đông đảo nhà toán học lớn giới, chủ yếu tập trung trung tâm lớn như: Mỹ, Pháp, Italia, Những kết đạt từ nghiên cứu vừa có ý nghĩa mặt lý thuyết, vừa có ý nghĩa ứng dụng Trong danh mục tài liệu tham khảo luận án kể đến lượng tác giả với cơng trình họ có liên qua đến nội dung luận án Trong phần nội dung luận án quan tâm đến khía cạnh phạm vi nghiên cứu lớn Như phản ánh đầu đề luận án, mục tiêu nghiên cứu toán cộng hưởng phương trình hệ phương trình elliptic nửa tuyến tính tựa tuyến tính khơng miền khơng bị chặn bị chặn R Bằng phương pháp thích hợp tốn biên cụ thể, đưa điều kiện dạng Landesman-Lazer suy rộng đảm bảo cho phiếm hàm Euler-Lagrange liên kết với toán thỏa mân điều kiện Palais-Smale điều kiện bức, dựa vào nguyên lý cực tiểu định lý điểm yên ngựa để chứng minh tồn điểm tới hạn phiếm hàm, từ suy tồn nghiệm yếu không tầm thường toán biên Chú ý thêm rằng, xét toán biên khơng miền khơng bị chặn gặp phải hai khó khăn phải khắc phục là: N • Phép nhúng khơng gian Sobolev miền khơng bị chặn khơng compact • Đối với tốn biên khơng đều, nói chung khơng tồn nghiệm yếu khơng gian Sobolev thơng thường, tìm nghiệm yếu khơng gian (hẹp hơn) khơng gian Sobolev chọn thích hợp Nội dung luận án đâ cơng bố báo khoa học trình bày thành chương, nội dung trình bày Chương 2, Chương viết dựa vào báo [1], [2] (xem "Danh mục công trình khoa học tác giả liên quan đến luận án") Chúng xét tồn nghiệm yếu tốn Neumann miền khơng bị chặn phương trình hệ phương trình elliptic nửa tuyến tính khơng Nội dung Chương gồm mục Lấy giới hạn k ! 0, suy ý \\um - UQ\\LP ! 0, \\vm - VQ\\LP ! k k lim (T'(wm ), (wmk - Wo)i = fe k!+i Hơn nữa, lim (J'(wmk), (wmk - UQỴ) = lim ((I'(w mk), (wmk - WQ)) - (T (wmk), (^mk - WQ))) k!+i k!+i Nên lim (J'(wmk), (wmk - wo)) = 0, k!+i tức (J0(wmk ) , (wmk - wo)) = a / |VUmk |p_2 |VUmk |V (umk - UQ) dx Ja jrvm |p_2 IVVm | V (Vm - VQ) dx ! 0, k ! +1 +ộ Jơ k k k (3.72) Ngoài ra, w * w X nên: mk (J'(WQ) , (wm - Wo)) = a |Vuo|p-2 |Vuo| V (Um - UQ) dx k 7< k ’ (3.73) |Vv0| |VV01 V (Vm - VQ) dx ! 0, k ! +1 70 +ộ p_2 k Sử dụng bất đẳng thức biết sau đây: (|s|r“2s - |s|r-2) (s - s) > cr |s - s|r , N với s, s R , r > 2, ta nhận (J'(wmk) -J'(WQ), (wmk - WQ)Ì = a / ( | V Um |p-2 VUm - |Vuo|P“2 VUQ) V (Um - UQ) dx k JQ + ộ JQ Ị k (|VVmk ,P + c > C1 ||umk _ UQ|IW01 k |p_2VVmk v - |Vv0|p-2Vv0) V(Vmk - V0)dx \\ mk — V0|lw0 ,p (3.74) Từ (3.72), (3.73) ta suy vế trái bất đẳng thức vừa nhận hội tụ k ! +1 Do ta có u ! u , v ! v k ! +1 W (Q) hay dãy fw } hội tụ mạnh tới w X Vì vậy, phiếm hàm Euler-Lagrange I xác định (3.52) thỏa mãn điều kiện Palais-Smale X Mệnh đề 3.3.5 hoàn toàn chứng minh □ mk 1,p mk mk 0 (3.71 ) Tiếp theo, ta biểu diễn không gian X thành tổng trực tiếp khơng gian Z,Y: X = Z ® Y Z =L(') = {t' = t('1, '2), t Rg , í rĩ ,\ ì Y = < w = (u,v) X : (u'1 ' + vĩ'2 1) dx = > , l ■/< > ' 'J (3.75) với ' = (' , '2) cặp véc tơ riêng chuẩn hóa liên kết với giá trị riêng A toán (3.43) 1 = ( Í \V'1\pdx + í \V'2\pdx^ p = \JQ ■/ ||('1,'2)|| / Khi w = (u,v) X, w = t ('1, '2) + W0, W0 = (u0, V0) Y Nhân tương ứng, ta có vế u = t'1 + u0 (3.76) v = t'2 + V0 (3.77) biểu thức (3.76), (3.77) với 'ĩ- '2A1 A u'ĩ~ '2 = A t'ĩ'2 + A u 'ĩ~ '2, (3.78) A1 v'ĩ'2~ = A1t'ĩ'2 + A1v0'ĩ'^“ (3.79) 1 1 'ĩ'2~ A1 1 Chú ý -Ap'1 = —div (\V'1\p-2V'1) = A1'ĩ-1'2, từ (3.78), ta có A u'ĩ '2 = t phân hai vế (3.78), ta nhận -1 (—div(\V' \ V' )) p-2 (—div (\V' \ V' )) ' dx + A / u 'ĩ '2dx A1 / u'ĩ- '2dx = t JQ JQ =t p-2 1 \V'1\p dx + A1 / u0'ĩ- '2 dx 7Q 7Q '1 + Aru0'ĩ- '2 Lấy -1 JQ (3.80) Tương tự, từ (3.79) có A1 v'ĩ'2~1dx = tí \V'2\p dx + A1 v0'ĩ'2~1dx Jơ JQ JQ (3.81) tích Kết hợp (3.80), (3.81), ta nhận A1 [ (u'ỵ J,> ' ' + v'1' 1) / Jn dx = tí \V'1\ dx + A1 [ u0'“ p +1 JQ \V'2\pdx + A1 JQ ' 1'2 dx (3.82) v0'“ '2~ dx VI (u ,v ) Y nên ta có 0 (u 'ỵ~ '2 + v0'“' ) dx = / -1 VI vậy, với w X cho w = t' + w , w Y, 0 A1 L (u'?-1'2 + rrT'.,; dx t = —— , ———7-— = A1 fQ \V'1\pdx + fo \V'2\pdx iu'®- ' + v'ỵ'Ị~^ dx (3.83) 1V ^2 ^2 vJ Hơn nữa, w = t' + w t xác định (3.83) w Y Vậy, X = Z © Y Bổ đề 3.3.6 Tồn A > A1 cho — Ị \Vu\pdx + — Ị \Vv\pdx > AỊ \u\ ~ \v\ ~ uvdx,8w = (u,v) Y (3.84) a Chứng minh Xét tốn cực tiểu hóa A = inf I — Ị\Vu\pdx + — Ị\Vv\pdx : (u,v) Y, Ị \u\ ~ \v\ ~ uvdx = 1| a Ta chứng minh A nhận giá trị không gian Y Cho w = (u , v ) Y dây cực tiểu, tức m m m / \um\“-1 \Vm\ ~ umVmdx =1, với m =1, 2, 70 í — í IV7- — í IP^Ì X lim ị— J \Vu \ dx +—y \Vv \pdx> = A m p m Điều suy {w } dây bị chặn X Do đó, tồn dây {w k} {w } hội tụ yếu tới w = (u ,v ) X từ tính compact phép nhúng W (Q) vào L (Q) ta suy dây {u } {v k} hội tụ mạnh tới u , v tương ứng L (Q) m m m 1,p p 0 0 mk p m Hơn nữa, a + = p í(u - uo)1 1'% + (vmk - ^0)'?'^ 1) dx v I mk - U0\\LP ||'1|ILp 1|'2HỈP u < \\ mk ||'1HLP - v0\\LP + Ikk Do \\umk - U0||LP(Q) ! 0, \\vmk - V0||LP(Q) ! k ! +1, ta nhận Điềulim /suy (umkra '? 1'2 + vmk'1'2 1) dx = / (u0'l +v m!+i JQ '2 v -Y I [U0'ĩ 1'2 + V0'ĩ'2 1) dx = 0, Qv Y 0'ĩ'2 11'sllLp ,„a,0-1 dx đó, (u0, v ) Y Mặt khác, từ tính liên tục tốn tử A ta có lim / |Um |ĩ 1|vm I^ 1Um Vm dx = k k k k JQ k!+1J Q IU01ĩ 11^0^ 1U0V0dx, điều suy í |u0| |v0^_ U0V0dx = ĩ-1 dơ Vì vậy, u = v = Hơn nữa, phiếm hàm J xác định (3.53) nửa liên tục yếu, nên ta có 0 X < J(U0,V0) = -í |Vu0|pdx + í |Ví>0Ipdx ,.p ă ' < liminí p J jrum I dx + p J IVvm IPdx> = X a í k p , (3 85) - k Vì X = J (U0,V0) = ^ y |Vu0|pdx + IVv0\ dx p Điều nghĩa X nhận giá trị w Tiếp theo, ta X > X1 Từ biểu thức biểu diễn giá trị riêng X1, ta thấy rằng: X > X1 Nếu X = X1, từ tính đơn giá trị riêng X1, tồn t R cho w = (u0, V0) = t('i, '2) Vì W0 = (u0, V0) Y nên 0 0= / (t'1'ĩ 1'2 + t'2'ĩ'2 1) dx = t 'ĩ'2 dx, 7Q JQ điều mâu thuẫn với = [ |u0|“ |vo| u0v0dx = t [ '1'2dx -1 2-1 JQ JQ Vậy A > A Do đó, tồn A = A cho: A > A Bổ đề 3.3.6 hoàn toàn chứng minh □ 1 Mệnh đề 3.3.7 Phiếm hàm Euler-Lagrange I xác định (3.52) thỏa mãn điều kiện Y giả thiết (H1), (H2) thỏa mãn Chứng minh Theo bất đẳng thức Holder, Bổ đề 3.3.6, giả thiết (H1), (H2), ta có — Ị |Vu|Pdx + — Ị |Vv|Pdx — A1J |u|“ |v|2 uvdx |I (w)| 1 — H(x, u, v)dx + (—k1u + — k2v) dx / JQ —; — ( ) II* - X (—z |Vu|Pdx+—z |r|dx) - T(x)(|u| + |v|)dx - —||k1|| p/\\u\\LP - — ||k2IILP' 70 (1 _ T) (—; —) kw|X - (\T\\LP' + — IIMLP') IMILP L - (IIT\\ IHILP LP' + IIMLP0) ll LP — v| A1 A í——A II„,.IIP - vi p; p)I|w|lX - max {(HT\\LP' + —IIMLP0) , ( T II \\LP' +— IIMLP0)g c ộlu|W -P + IMIH^P) ũ (3.86) Vì (1 — y) > 0, p > 2, cho ||WEII ! +1 I(w) ! +1 Do đó, phiếm hàm I xác định (3.52) thỏa mân điều kiện Y Mệnh đề 3.3.7 hoàn toàn chứng minh Từ Mệnh đề 3.3.7, phiếm hàm I thỏa mân điều kiện Y, BY = minI(w) > —1 wẽỸ Mặt khác, với t > ta có — y |r(t'1)|p dx + p Ị |r(t'2)|p dx - A^ |t'1|“ |t'2|2 (t'1)(t'2)dx = 1 Vì I(t') = t (aki'i + /3k2'2) dx - JQ o (3.87) H(x,t') \ —— - dx Chú ý H (x, t') X, 0, T)) dr + 2h 1( ỉ |l +ỉ Z (3.88) n ((f (x, y'i,t'2) + f (x,y'i; 0)) dy) 'i X, 0,y'2)) áy) 'd Do đó, H (x, t') X lim —-ý-— ^7 (aFi(x)'i + ^Gi(x)'2) t— |x t A Vậy, lim t lim tí ((aki'i + ị3k2'2) -77 (a.Fi(x)'i + ị3Gi(x)'2) t——+^c JQ\ t—+ dX Từ giả thiết (H (i)), ta có (3.89) '1 + ^g 's) dx (1 ị (aki'i + /3k2'2) dx, \ p) JQ tức (3.90) (I (aFi(x)'i + ị3Gi(x)'2) - (aki'i + ị3k2'2~)] dx > Ja\ 7 Do đó, lim I(t') = —1 t——+^c Tương tự, với t < ta có (a f i z +(0 t \ Jo H (X;t') —~ỉ~~ típ t (f (X; S; t'2) + f (X; S; 0))ds Ị-t'2 +| y af ly (g(X;t'1;T)+ g(X; 0,T)) dr _|t| ' r-ltl'2 +|y z (3.91) „z (f (X; S; -|t|'2)+ f (x,s, 0)) ds (g(X; -\t\'1;T)+ g(X; 0; T)) dr Đặt s = —y' ! ds = —' dy s = — |t|' = — y' ) y = \t\ 1 1 H (X; t') t 2X; -y'1; —|t\'2> + f (X; -y'1;0)) dy) (-'1) +| y rn„ < „ g ; — 'i, -y'2)+ g(X;0; —y'2))dy)(-'2H (( (x |t| A (3.92) Lấy giới hạn t ! —1; ta nhận lim ^(xJ ^') í (aF2(x)'i + ạG2(x)'2) dx t -1 t J Q lim I(t') = lim t (aki'1 + ạk ' ) — t—- t—-TO Do đó, 2 I (aFỉ(x)'1 + ạƠ2(x)'2) ) dx Tương tự, từ giả thiết (H2(ii)); ta có 31 («F2(X)'1 + ạƠ2(x)'2) dx < (ak1'1 + ạk2'2) dX; 4JQ JQ điều suy lim I(t') = —1 t—-TO Vậy, tồn t cho \t \ đủ lớn để I(to') < 0 Đặt wo(x) = (t0'1;t0'2) ta I(wo) = I(to') < BY < I(t') Chứng minh Định lý 3.3.2: Từ Mệnh đề 3.3.5, Mệnh đề 3.3.7 thấy tất giả thiết định lý điểm yên ngựa (P.H.Rabinowitz) (xem 1.2.5) thỏa mân, phiếm hàm Euler-Lagrange I xác định (3.52) liên kết với toán đạt cực tiểu w = (u , v ) X Vì tốn (3.41) tồn nghiệm yếu w X Hơn nữa, w nghiệm yếu khơng tầm thường tốn (3.41) Định lý 3.3.2 hoàn toàn chứng minh 0 0 3.4 Kết luận chương Nội dung chương viết mục 3.2 3.3 Trong mục 3.2 dựa giả thiết đặt hệ phương trình (3.2), chúng tơi đâ đưa điều kiện dạng Landesman-Lazer suy rộng (3.13) xây dựng không gian lượng cho phiếm hàm Euler-Lagrange liên kết với tốn Từ áp dụng ngun lý cực tiểu phiếm hàm khả vi liên tục yếu (xem Định lý 1.2.3), chứng minh tồn điểm tới hạn phiếm hàm lượng liên kết với tốn Điểm tới hạn nghiệm yếu khơng tầm thường toán cộng hưởng (3.2) Mục 3.3 xét hệ (3.41) trường hợp riêng hệ (3.2) hàm h (x) = 1, x Q Hệ (3.41) xét không gian Sobolev X = W (Q) X W (Q) Hiển nhiên kết nhận mục 3.2 cho toán Dirichlet hệ (3.41) Tuy nhiên đặc trưng hệ (3.41) ta đưa điều kiện đủ mới, điều kiện dạng Landesman-Lazer suy rộng (3.50), áp dụng định lý điểm yên ngựa chứng minh tồn nghiệm yếu hệ (3.41) không gian X Chú ý rằng: Các dấu bất đẳng thức điều kiện Landesman-Lazer suy rộng (3.13) (3.50) ngược Do hai điều kiện khác Như toán cộng hưởng (3.41) tồn nghiệm yếu không gian X hai điều kiện (3.13) (3.50) thỏa mân i 1,p 1,p KẾT LUẬN Mục đích luận án đưa điều kiện dạng Landesman-Lazer suy rộng, áp dụng lý thuyết điểm tới hạn phiếm hàm khả vi không gian Banach, dựa vào nguyên lý cực tiểu hay định lý điểm yên ngựa (Saddle point theorem), chứng minh phiếm hàm Euler-Lagrange liên kết với tốn biên xét có điểm tới hạn không gian lượng xây dựng thích hợp từ suy tốn biên có nghiệm yếu khơng tầm thường Kết luận án thể nội dung sau đây: Chứng minh toán Neumann cộng hưởng lớp phương trình elliptic phi tuyến, khơng miền không bị chặn Q c R với biên @Q trơn, tồn nghiệm yếu không tầm thường không gian E xây dựng thích hợp khơng gian H (Q), cách áp dụng lý thuyết điểm tới hạn phiếm hàm khả vi không gian Banach thông qua nguyên lý cực tiểu, định lý điểm yên ngựa điều kiện dạng Landesman-Lazer suy rộng N Nghiên cứu tồn nghiệm yếu toán Neumann cộng hưởng miền Q c R không bị chặn với biên @Q trơn, đóng bị chặn lớp hệ phương trình elliptic nửa tuyến tính, khơng dạng Gradient Giả thiết quan trọng mà trước chưa xét đến hàm phi tuyến f (x,u,v), g(x,u,v) có mặt hệ phương trình phụ thuộc vào hai biến u v Dựa vào giả thiết ấn định lên hệ phương trình (2.41), chúng tơi đưa dạng suy rộng điều kiện Landesman-Lazer, áp dụng nguyên lý cực tiểu, định lý điểm yên ngựa, chứng minh phiếm hàm lượng Euler-Lagrange liên kết với toán tồn điểm tới hạn, tốn (2.41) tồn nghiệm yếu khơng tầm thường khơng gian E xây dựng thích hợp N Xét tồn nghiệm yếu tốn Dirichlet hệ phương trình elliptic cộng hưởng, không loại (P; q)—Laplacian Việc chứng minh tồn nghiệm yếu toán đưa việc chứng minh tồn điểm tới hạn phiếm hàm Euler-Lagrange liên kết không gian lượng xây dựng thích hợp nhờ nguyên lý cực tiểu, định lý điểm yên ngựa kiện dạng Landesman-Lazer suy rộng điều Trong phương trình đạo hàm riêng phương trình vi phân điều kiện LandesmanLazer xem phương pháp phổ biến để nghiên cứu tồn nghiệm tốn biên khơng tuyến tính Tùy thuộc vào tốn biên nghiên cứu người ta xây dựng điều kiện dạng LandesmanLazer suy rộng khác Hy vọng tương lai nhận kết có ý nghĩa DANH MỤC CÁC CƠNG TRÌNH KHOA HỌC CỦA TÁC GIẢ LIÊN QUAN ĐEN LUẬN ÁN [1] Hoang Quoc Toan, Bui Quoc Hung (2014), "On a generalization of the Landesman-Lazer condition and Neumann problem for nonuniformly semilinear elliptic equations in an unbounded domain with nonlinear boundary condition,Bull Math Soc Sci Math Roumanie, Tome 57(105) No 3, 2014, 301-317 [2] Hoang Quoc Toan, Bui Quoc Hung (2014), "On a Neumann problem at resonance for nonuniformly semilinear elliptic Systems in an unbounded domain with nonlinear boundary condition", Bull Korean Math Soc, 51(2014), No 6, 1669-1687 [3] Bui Quoc Hung, Hoang Quoc Toan (2016), "On existence of weak Solutions for a p-Laplacian System at resonance", Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales Serie A Matemáticas, March 2016, Volume 110, Issue 1, pp 33-47 [4] Bui Quoc Hung, Hoang Quoc Toan (2016), "On a p-Laplacian system and a generalization of the Landesman-Lazer type condition", Bulletin of the Iranian Mathematical Society, (Accepted) TÀI LIÊU THAM KHẢO [1] A.Ambrosetti, P.H.Rabinowitz (1973), "Dual variational methods in critical point theory and applications", Journal of Functional Analysis, 14(1973), 349-381 [2] A.Anane, J.P Gossez (1990), "Strongly nonlinear elliptic problems near resonance a variational 15(1990), 1141-1159 approach", Comm Partial Differential Equation, [3] D.Arcoya, L.Orsina (1997), "Landesman-Lazer condition and quasilinear elliptic equations", Nonlinear Analysis, 28(1997), 1623-1632 [4] L Boccando, P.Drábek and M.Kucera (1989), "Landesman-Lazer condition for strongly nonlinear boundary value problem", Commentationes mathematicae Universitatis Carolinae, 30(1989), 411-427 [5] L Boccando, D.G de Figueiredo (2002), "Some remarks on a system of quasilinear Elliptic equations", Nonlinear plications NoDEA, (2002), 9(3), 309-323 Differential Equations and Ap- [6] H Brezis (1992), Analyse fonctionelle théorie et applications Masson [7] P Caldiroli, R.Musina (2000), "On a variational degenerate Elliptic problem",Nonlinear Differential Equations and Applications NoDEA, (2000), 7(2), 187-199 [8] N.T.Chung, H.Q.Toan (2009), "Existence result for nonuniformly degenerate semilinear elliptic Systems in RN", Glasgow Mathematical Journal, 51(2009), 561-570 [9] G Cerami (1978), "Un criterio di esistenza per i punti critici su varietá ilimitate", Rend Acad Sci Let Ist Lombardo, 112(1978), 332-336 [10] D.G.Costa (1994), "On a class of elliptic Systems in R ", Electronic Journal N of Differential equations, Vol 1994(1994), No 7, 1-14 [11] P Drábek (1992), Solvability and Bifurcations of Nonlinear Equations, vol 264 of Pitman Research Notes in Mathematics Series, Longman Scientific, Technical, Harlow, UK [12] P Drábek, Jaroslav Milota (2013), Methods of Nonlinear Analysis: Applications to Differential Equations, Birkhãuser Advanced Texts Basler Lehrbucher, 2nd ed 2013 [13] D.M Duc (1989), "Nonlinear singular elliptic equation", London Math Soc., 40(1989), 420-440 [14] D.M Duc, N.T Vu (2005), "Nonuniformly Elliptic equations of p-Laplacian type", Nonlinear Analysis, 61 (2005), 1483-1495 [15] D.G de Figueiredo and W.M Ni (1979), "Perturbations of second order linear elliptic problems by nonlinearities without Landesman-Lazer condition", Nonlinear Analysis, 3(1979), 629-634 [16] S Fucík (1980), Solvability of nonlinear equations and boundary value problems, D Riedel Publishing Company, Holland [17] Ghasem A Afrouzi, Maryam Mirzapour, Qihu Zhang (2012), "Simplicity and stability of the first eigenvalue of a (p; q) Laplacian system", Electronic Journal of Differential Equations, Vol 2012(2012), No 08, 1-6 [18] D.Gilbarg, N.Trudinger (2001), Elliptic Second order, Springer Verlag Berlin, 2001 Partial Differential Equations of [19] Trinh Thi Minh Hang and H.Q.Toan (2011), "On existence of weak Solutions of Neumann problem for quasilinear elliptic equations involving p-Laplacian in an unbounded domain", Bulletin of the Korean Mathematical Society, (2011)48, 1169-1182 [20] D.A.Kandilakis, M.Magiropoulos (2007), "A p-Laplacian System with reso- nance and nonlinear boundary conditions on an unbounded domain", Comment Math Univ Carolin, 48, 1(2007), 59-68 [21] Nguyen Lam and Guozhen Lu (2012), "Existence and multiplicity of Solu- tions to equations of N-Laplacian type with critical exponential growth in N R ", Journal of Functional Analysis, 262(2012), 1132-1165 [22] E.M Landesman, A.C Lazer (1970), "Nonlinear perturbations of elliptic boundary value problems at resonance", Journal of Applied Mathematics and Mechanics, 19(1970), 609-623 [23] A.C Lazer, D.E Leach (1969), "Bounded perturbations of forced harmonic oscillators at resonance", Annali di Matematica Pura ed Applicata, (1969), 82(1), 49-68 [24] Alan C Lazer (2000), "A Second look at the first result of Landesman-Lazer type", Nonlinear Differential Equations, Electronic Journal of Differential Equations, Conf 05, 2000, 113-119 [25] M.Lucia, P.Magrone and Huan-Songzhou (2003), "A Dirichlet problem with asymptotically linear and changing sign nonlinearity", Revista Matematice Complutense, (2003), 16, N-2, 465-481 [26] P de Nápoli, M.C Mariani (2003), "Moutain pass solutions to equations of p-Laplacian type", Nonlinear Analysis, 54 (2003), 1205-1219 [27] Q.A.Ngo, H.Q.Toan (2008), "Existence of solutions for a resonant prob- lem under Landesman-Lazer condition", Electronic Journal of Differential Equations, Vol 2008, No 98, 1-10 [28] Q.A.Ngo, H.Q.Toan (2009), "Some Remarks on a class of Nonuniformly Elliptic Equations of p-Laplacian type", Acta Applicandae Mathematicae, (2009) vol 106, no 2, 229-239 [29] Zeng-Qi Ou, Chun-Lei Tang (2008), "Resonance problems for the pLaplacian systems", Journal of Mathematical Analysis and Applications, 345(2008), 511-521 [30] M.Struwe (2008), Variational methods, Second edition, Springer Verlag [31] N.M Stavrakakis, N.B Zographopoulos (1999), "Existence results for quasilinear elliptic systems in RN", Electronic Journal of Differential Equations, Vol 1999, No 39, 1-15 [32] C.L.Tang (1997), "Solvability for two-point boundary value problems", Journal of Mathematical Analysis and Applications, 216 (1997), 368-374 [33] H.Q.Toan, N.T.Chung (2009), "Existence of weak solutions for a class of nonuniformly nonlinear elliptic equations in unbounded domains", Nonlinear Analysis, 70(2009) 3987-3996 [34] P.Tomiczek (2001), "A generalization of the Landesman-Lazer condition", Electronic Journal of Differential Equations, Vol 2001(2001) N04, 88, 1-11 [35] P.H Rabinowitz (1978), "Some minimax theorems and applications to non- linear partial differential equations, in: L Cesari,R Kannan, H.F Weinberger (Eds.)", Nonlinear Analysis (A collection of papers in honor of Erich H Rothe), Academic Press, New York, 1978, 161-177 [36] N.B.Zographopoulos (2004), " p-Laplacian Systems on resonance", Applicable Analysis, 83(2004), 509-519 [37] N.B.Zographopoulos (2004), "On a class of degenerate potential elliptic system", Nonlinear Differential Equations and Applications, 11(2004), 191- 199 - ~jJ (ak1 '1 + ộk2'2) dx: ... HỌC Tự NHIÊN Bùi Quốc Hưng ĐIỀU KIÊN LANDESMAN- LAZER SUY RỘNG ĐốI VỚI MỘT Số LỚP BÀI TOÁN BIÊN ELLIPTIC KHƠNG TUYẾN TÍNH Chun ngành: Phương trình vi phân tích phân Mã số: 62460103 LUẬN ÁN TIẾN... 1.3 Điều kiện Landesman- Lazer toán cộng hưởng 22 1.3.1 Nguồn gốc thuật ngữ "Bài toán cộng hưởng" 22 1.3.2 Bài toán cộng hưởng điều kiệnLandesman -Lazer 23 BÀI TỐN NEUMANN CỘNG HƯỞNG ĐỐI VỚI... phi tuyến g(s) với hàm riêng ' (x) ứng với giá trị riêng A toán tử —A HQ(Q) lần đưa Landesman- Lazer, vừa điều kiện cần vừa điều kiện đủ tốn (1.7) có nghiệm yếu HQ(Q) Điều kiện (1.11) gọi điều kiện