(Luận văn) nguyên lý dirichlet đối với bài toán biên thứ nhất cho phương trình elliptic á tuyến tính cấp hai

ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM –––––––––––––––––––––––– NGUYỄN THỊ KIỀU THU lu an n va p ie gh tn to NGUYÊN LÝ DIRICHLET ĐỐI VỚI BÀI TOÁN BIÊN THỨ NHẤT CHO PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI d oa nl w u nf va an lu ll LUẬN VĂN THẠC SĨ TOÁN HỌC oi m z at nh z m co l gm @ an Lu THÁI NGUYÊN - 2017 n va ac th si ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC SƯ PHẠM –––––––––––––––––––––––– NGUYỄN THỊ KIỀU THU lu an n va p ie gh tn to NGUYÊN LÝ DIRICHLET ĐỐI VỚI BÀI TỐN BIÊN THỨ NHẤT CHO PHƯƠNG TRÌNH ELLIPTIC Á TUYẾN TÍNH CẤP HAI w d oa nl Chuyên ngành: Tốn giải tích Mã số: 60.46.01.02 u nf va an lu LUẬN VĂN THẠC SĨ TOÁN HỌC ll oi m z at nh Người hướng dẫn khoa học: PGS.TS HÀ TIẾN NGOẠN z m co l gm @ an Lu THÁI NGUYÊN - 2017 n va ac th si LỜI CAM ĐOAN Tôi xin cam đoan nội dung trình bày luận văn trung thực không trùng lặp với đề tài khác Tôi xin cam đoan giúp đỡ cho việc thực luận văn cảm ơn thơng tin trích dẫn luận văn rõ nguồn gốc Thái Nguyên, tháng năm 2017 Người viết luận văn lu an n va p ie gh tn to Nguyễn Thị Kiều Thu d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th i si LỜI CẢM ƠN Trước trình bày nội dung luận văn, tơi xin bày tỏ lịng biết ơn sâu sắc tới PGS.TS Hà Tiến Ngoạn, người thầy tận tình hướng dẫn tơi suốt q trình nghiên cứu để tơi hồn thành luận văn Tơi xin trân trọng cảm ơn Ban Giám hiệu, khoa Tốn tồn thể thầy cô giáo trường ĐHSP Thái Nguyên, Viện Toán học Trường ĐHSP Hà Nội truyền thụ cho kiến thức quan trong, tạo điều kiện thuận lợi cho tơi ý kiến đóng góp quý báu suốt trình học tập thực luận lu văn an Cuối cùng, xin gửi lời cảm ơn tới gia đình, bạn bè người giúp đỡ va n chia sẻ với suốt thời gian học tập hoàn thành luận văn ie gh tn to Tơi xin chân thành cảm ơn! p Thái Nguyên, tháng năm 2017 d oa nl w Tác giả va an lu ll u nf Nguyễn Thị Kiều Thu oi m z at nh z m co l gm @ an Lu n va ac th ii si MỤC LỤC MỞ ĐẦU Chương 1: KIẾN THỨC CHUẨN BỊ 1.1 Một số khái niệm 1.1.1 Không gian 𝐿𝑚 (Ω) 1.1.2 Bất đẳng thức Holder 1.1.3 Không gian𝑊𝑚1 (Ω) 1.1.4 Định lý nhúng lu an 1.1.5 Định lý vết n va 1.1.6 Cơng thức tích phân phần tn to 1.1.7 Bất đẳng thức Cauchy suy rộng gh 1.2 Đạo hàm Frechet cấp p ie 1.2.1 Định nghĩa đạo hàm Frechet 1.2.2 Các ví dụ w oa nl 1.2.3 Các tính chất d 1.3 Đạo hàm Frechet cấp hai lu va an 1.3.1 Định nghĩa đạo hàm Frechet cấp hai 10 u nf 1.3.2 Các ví dụ 11 ll 1.3.3 Vi phân cấp hai phiếm hàm 12 m oi 1.3.4 Phân tích Taylor phiếm hàm 12 z at nh 1.4 Điểm dừng phiếm hàm 13 z 1.4.1 Khái niệm 13 @ gm 1.4.2 Điều kiện cần cực trị phiếm hàm 13 l 1.5 Điều kiện đủ cực trị 14 m co 1.5.1 Điều kiện đủ cực tiểu địa phương 14 an Lu 1.5.2 Điều kiện đủ cực tiểu toàn cục 15 n va ac th iii si Chương 2: PHƯƠNG TRÌNH EULER-LAGRANGE NGUN LÍ DIRICHLET 17 2.1 Phiếm hàm lượng 17 2.1.1 Phiếm hàm lượng sinh hàm Lagrange 17 2.1.2 Điều kiện hàm Lagrange 17 2.1.3 Miền xác định phiếm hàm lượng 17 2.2 Phương trình Euler-Lagrange 18 2.3 Sự tồn cực tiểu toàn cục phiếm hàm lượng 21 2.3.1 Điểm cực tiểu phiếm hàm lượng 21 2.3.2 Đạo hàm cấp hai hàm số 𝐽(𝑡) 21 lu an 2.3.3 Sự tồn cực tiểu địa phương phiếm hàm lượng 22 n va 2.3.4 Sự tồn cực điểm toàn cục phiếm hàm lượng 22 tn to 2.4 Nghiệm yếu toán biên lớp phương trình elipptic ie gh tuyến tính cấp hai Ngun lí Dirichlet 23 p 2.4.1 Phương trình Euler - Lagrange 23 nl w 2.4.2 Nghiệm yếu toán (2.16) (2.17) 23 d oa 2.4.3 Nguyên lý Dirichlet 23 lu 2.4.4 Ví dụ 25 va an KẾT LUẬN 28 ll u nf TÀI LIỆU THAM KHẢO 29 oi m z at nh z m co l gm @ an Lu n va ac th iv si MỞ ĐẦU Từ lâu lĩnh vực Giải tích điều hịa, nhà tốn học Dirichlet nguyên lý biến phân quan trọng, là: nghiệm toán biên thứ phương trình Laplace cực tiểu phiếm hàm lượng Nguyên lý gọi Nguyên lý Dirichlet Nhằm mở rộng phạm vi nguyên lý biến phân này, tìm cực tiểu phiếm hàm lượng sinh hàm gọi hàm Lagrange hệ vật chất miền hữu hạn không gian nhiều chiều, Euler Lagrange nhận điều kiện cần cho cực tiểu, hàm cực tiểu phiếm hàm cần phải thỏa mãn phương lu trình đạo nhàm riêng tuyến tính cấp hai, mà mang tên ông: an n va Phương trình Euler-Lagrange tn to Luận văn trình bày ngun lý Dirichlet mơ tả mối quan hệ nghiệm gh toán cực tiểu phiếm hàm lượng nghiệm toán biên thứ đối p ie với phương trình Euler-Lagrange, lớp quan trọng số phương trình w elliptic tuyến tính cấp hai oa nl Nội dung luận văn gồm 29 trang, có phần mở đầu, hai chương nội d dung, phần kết luận danh mục tài liệu tham khảo lu va an Chương 1: Trình bày tổng quan hệ thống phép tính vi phân không hai, điều kiện đủ cực trị ll u nf gian banach, không gian hàm , đạo hàm frechet cấp , đạo hàm frechet cấp m oi Chương 2: Áp dụng kiến thức chuẩn bị vào chương để kháo sát toán z at nh cực tiểu phiếm hàm lượng trình bày nguyên lý Dirichlet toán biên thứ cho phương trình elliptic tuyến tính cấp hai z @ m co l gm Luận văn viết chủ yếu tài liệu tham khảo [1] [3] an Lu n va ac th si Chương KIẾN THỨC CHUẨN BỊ 1.1 Một số khái niệm 1.1.1 Không gian 𝑳𝒎 (Ω) Định nghĩa 1.1 Giả sử Ω ⊂ ℝ𝑛 miền giới nội với biên 𝜕Ω Giả sử m ≥ Không gian 𝐿𝑚 (Ω) bao gồm hàm 𝑢(𝑥) cho |𝑢(𝑥)|𝑚 ∈ 𝐿𝑚 (Ω) Tức lu an 𝐿𝑚 (Ω) = {𝑢(𝑥), ∫Ω|𝑢(𝑥)|𝑚 𝑑𝑥 < +∞} va n Đại lượng tn to (1.1) p ie gh ‖𝑢‖𝐿𝑚(Ω) = ‖𝑢‖𝑚,Ω = ∫Ω(|𝑢(𝑥)|𝑚 𝑑𝑥)𝑚 oa nl Nhân xét: w chuẩn hàm 𝑢(𝑥) d + Lm (Ω) không gian Banach an lu u nf va + Khi m = 2, khơng gian L2 (Ω) khơng gian Hilbert với tích vô hướng ll (𝑢, 𝑣)𝐿2(Ω) = ∫Ω 𝑢(𝑥)𝑣(𝑥)𝑑𝑥 m oi + Khi m = ∞, không gian L∞ (Ω) gồm hàm bị chặn miền Ω với z at nh chuẩn sau z m co l 1.1.2 Bất đẳng thức Holder gm x @ ‖𝑢‖𝐿∞(Ω) = vrai sup u( x) Định lý 1.1 Bất đẳng thức Holder an Lu Giả sử 𝑢 ∈ 𝐿𝑚 (Ω), v ∈ 𝐿𝑚′ (Ω) n va ac th si Khi  u( x)v( x)dx  ‖𝑢‖𝐿𝑚(Ω)‖ v ‖𝐿𝑚′ (Ω) với 𝑚  + 𝑚′ =1 Chứng minh Trước tiên ta chứng minh bất đẳng thức 𝑋𝑌 ≤ 𝑋𝑚 𝑚 ′ + 𝑌𝑚 , 𝑋 ≥ 0, 𝑌 ≥ 𝑚′ Thật , xét hàm 𝑋𝑌 − 𝑋𝑚 𝑚 (1.2) biến X [0; ∞) lu an Hàm đạt giá trị lớn điểm 𝑋 = 𝑌 𝑚−1 giá trị lớn va ′ n 𝑌𝑚 Do tn to 𝑚′ 𝑚 ′ ≤ 𝑌𝑚 𝑚′ p ie gh 𝑋𝑌 − 𝑋𝑚 w Vậy (1.2) chứng minh nl −1 d oa Đặt 𝑋 = |𝑢| ∫Ω(|𝑢(𝑥)|𝑚 𝑑𝑥) 𝑚 , lu −1 𝑚′ 𝑑𝑥) Từ (1.2) ta có ll u nf va an 𝑌 = |𝑣| ∫Ω( ′ |𝑣(𝑥)|𝑚 |𝑢|𝑚 ∫Ω ∫Ω(|𝑢(𝑥)|𝑚 𝑑𝑥)−1 + 𝑚 −1 ′ 𝑣 𝑚 ∫Ω(|𝑣(𝑥)|𝑚 𝑑𝑥) ′ gm @ 𝑚 Ω z ≤ z at nh Ω −1 −1 ′ ′ 𝑚 𝑚 𝑚 𝑑𝑥) ∫ (|𝑣(𝑥)| 𝑑𝑥) oi m |𝑢||𝑣| ∫ (|𝑢(𝑥)|𝑚  □ n va Chú ý: Bất đẳng thức Horder suy rộng an Lu  u( x)v( x)dx  ‖𝑢‖𝐿𝑚(Ω)‖𝑣‖𝐿𝑚′ (Ω) m co l Lấy tích phân hai vế bất đẳng thức ta nhận ac th si Giả sử 𝑢𝑖 ∈ 𝐿𝑚𝑖 (Ω), 𝑖 = 1, … , 𝑘 Khi bất đẳng thức Holder suy rộng định nghĩa công thức |∫ 𝑢1 (𝑥) 𝑢2 (𝑥) … 𝑢𝑘 (𝑥)𝑑𝑥| ≤ ‖𝑢1 ‖𝐿𝑚 (Ω)‖𝑢2 ‖𝐿 𝑚 (Ω) … ‖𝑢𝑘 ‖𝐿𝑚 (Ω), với 𝑚1 + + ⋯+ 𝑚2 𝑚𝑘 𝑘 = 1, 𝑚𝑖 > 1.1.3 Không gian 𝑾𝟏𝒎 (Ω) Định nghĩa 1.2 Giả sử Ω ⊂ ℝ𝑛 miền giới nội với biến 𝜕Ω Giả sử m ≥ Không gian Wm (Ω) không gian bao gồm tất hàm 𝑢(𝑥) ∈ 𝐿𝑚 (Ω) định nghĩa công thức sau : lu an va 𝑊𝑚1 (Ω) = {𝑢(𝑥) ∈ 𝐿𝑚 (Ω); 𝑢𝑥𝑖 (𝑥) ∈ 𝐿𝑚 (Ω)| với 𝑖 = ̅̅̅̅̅ 1, 𝑛 } n Chuẩn 𝑢(𝑥) ∊ 𝑊𝑚1 (Ω) xác định bới công thức: tn to gh ‖𝑢‖𝑊𝑚1 (Ω) = ‖𝑢‖𝐿𝑚 (Ω) + ∑𝑛𝑖=1‖𝑢𝑥𝑖 ‖ (1.3) p ie 𝐿𝑚 (Ω) w 1.1.4 Định lý nhúng 𝑊𝑚1 (Ω)  𝐿𝑞 (Ω), 𝑚 ≤ 𝑛, (𝑛−1)𝑚 𝑣à 𝑞 > 𝑙à 𝑚 = 𝑛 u nf 𝑛−𝑚 va 𝑞 = an lu a) d oa nl Định lý 1.2 Các phép nhúng sau liên tục ̅ ), 𝑚 > 𝑛 𝑊𝑚1 (Ω)  𝐶(Ω ll oi m b) z at nh 1.1.5 Định lý vết z Định lý 1.3 Hạn chế hàm 𝑢(𝑥) biên Ω xác định toán tử vết liên tục Ω an Lu 𝜕Ω m co l gm @ sau n va ac th si Thật vậy, từ Định lý 1.8 suy 𝑓(𝑥 𝑜 + ℎ) = 𝑓(𝑥 𝑜 ) + 𝑓 ′ (𝑥 𝑜 )(ℎ) + 𝑓 ′′ (𝑥 𝑜 )(ℎ, ℎ) + 𝛼(𝑥 𝑜 , ℎ), (1.17) 𝑙𝑖𝑚 |𝛼(𝑥 ,ℎ)| ‖ℎ‖𝑥 →0 ‖ℎ‖2𝑋 = Khi với 𝜀 > 0, tồn 𝛿 = 𝛿(𝜀) > 0, với ℎ ∈ 𝑋, ‖ℎ‖𝑥 < 𝛿 ta có |𝛼(𝑥 , ℎ)| < 𝜀‖ℎ‖2 , (1.18) lu 𝛽 an ta chọn 𝜀 = Từ (1.16) (1.18) ta có va n 𝛽 𝛽 tn to 𝑓 ′′ (𝑥 𝑜 )(ℎ, ℎ) + 𝛼(𝑥 𝑜 , ℎ) ≥ ( − ) ‖ℎ‖2 = 0, 2 □ ie gh nên từ (1.17) suy điều phải chứng minh p 1.5.2 Điều kiện đủ cực tiểu toàn cục w oa nl Định lý 1.12 Giả sử phiếm hàm 𝑓(𝑥) xác định khả vi hai lần tập lồi 𝑈 d không gian Banach 𝑋 lu an (𝑓 ′′ (𝑥))(ℎ, ℎ) ≥ 0,với 𝑥 ∈ 𝑈, ℎ ∈ 𝑋 (1.19) va ll u nf Khi 𝑥 𝑜 ∈ 𝑈 cực tiểu địa phương cực tiểu tồn cục oi z at nh Xét hàm m Chứng minh z 𝑔(𝑡) = 𝑓(𝑥 + 𝑡ℎ): ℝ → ℝ @ (1.21) an Lu 𝑔′′ (𝑡) = 𝑓 ′′ (𝑥 𝑜 + 𝑡ℎ)(ℎ, ℎ) (1.20) m co 𝑔′ (𝑡) = 𝑓 ′ (𝑥 𝑜 + 𝑡ℎ)(ℎ), l gm Ta có n va ac th 15 si Do 𝑥 𝑜 cực địa phương 𝑓(𝑥) nên điểm dừng 𝑓 ′ (𝑥 𝑜 ) = 0, 𝑡𝑜 = điểm dừng 𝑔(𝑡) Từ (1.19) (1.21) suy 𝑔(𝑡) hàm lồi theo t ℝ Do 𝑡𝑜 = cực tiểu toàn cục 𝑔(𝑡) 𝑥 𝑜 cực tiểu toàn □ cục 𝑓(𝑥) lu an n va p ie gh tn to d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th 16 si Chương PHƯƠNG TRÌNH EULER-LAGRANGE NGUN LÍ DIRICHLET 2.1 Phiếm hàm lượng 2.1.1 Phiếm hàm lượng sinh hàm Lagrange Định nghĩa 2.1 Xét phiếm hàm:  𝐼(𝑢) = 𝐹(𝑥, 𝑢(𝑥), 𝐷𝑢(𝑥))𝑑𝑥,  lu ̅ × 𝑅 × 𝑅𝑛 →ℝ gọi hàm Lagrange (2n+1) 𝐹(𝑥, 𝑧, 𝑝): Ω an n va biến 𝑥 = (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), 𝑧 𝑝 = (𝑝1 , 𝑝2 , … , 𝑝𝑛 ), 𝐷𝑢(𝑥) = (𝑢𝑥1 (𝑥), … , 𝑢𝑥𝑛 (𝑥)) Phiếm hàm 𝐼(𝑢) gọi phiếm hàm lượng sinh hàm ie gh tn to véctơ gradient p Lagrange 𝐹(𝑥, 𝑧, 𝑝) w oa nl 2.1.2 Điều kiện hàm Lagrange d Ta giả thiết độ tăng 𝐹(𝑥, 𝑧, 𝑝) sau: an lu 𝐹(𝑥, 𝑧, 𝑝) ≥ 𝜗|𝑝|𝑚 + 𝜓1 (𝑥), 𝜗 = 𝑐𝑜𝑛𝑠𝑡 > 0, u nf va (2.1) 𝐹(𝑥, 𝑧, 𝑝) ≤ 𝜇[𝜓2 (𝑥) + |𝑢|𝑞 + |𝑝|𝑚 ] , (2.2) ll m oi 𝜓1 (𝑥), 𝜓2 (𝑥) ∈ 𝐿1 (Ω), 𝑚 > z at nh 𝑚𝑛 , < 𝑚 < 𝑛 𝑞 = { 𝑛−𝑚 > 1, 𝑚 ≥ 𝑛 (2.3) z @ l gm 2.1.3 Miền xác định phiếm hàm lượng phiếm hàm 𝐼(𝑢) xác định không gian 𝑊𝑚1 (Ω) m co Mệnh đề 2.1 Giả sử 𝐹(𝑥, 𝑧, 𝑝) thỏa mãn điều kiện (2.1) (2.2) Khi an Lu Chứng minh n va ac th 17 si Giả sử 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) Ta chứng minh 𝐼(𝑢) xác định Thật 𝐹(𝑥, 𝑢(𝑥), 𝐷𝑢(𝑥)) ≥ 𝜗|𝐷𝑢(𝑥)|𝑚 + 𝜓(𝑥), ∫ 𝐹(𝑥, 𝑢, 𝐷𝑢)𝑑𝑥 ≥ 𝜗  |𝐷𝑢(𝑥)|𝑚 𝑑𝑥 +   𝜓2 (𝑥)𝑑𝑥 > (−∞) + (−∞) > −∞  Mặt khác, từ (2.2) ta có 𝜇[𝜓2 (𝑥) + |𝑢|𝑞 + |𝐷𝑢|𝑚 ], 𝐹 = (𝑥, 𝑢, 𝐷𝑢) ≤ { 𝜇[𝜓(𝑥) + |𝐷𝑢|𝑚 ], 1𝑛 lu Theo định lý nhúng 𝑢(𝑥) ∈ 𝐿𝑞 (Ω) Mặt khác 𝜓(𝑥) ∈ 𝐿1 (Ω), an va n ∫ 𝐹(𝑥, 𝑢, 𝐷𝑢)𝑑𝑥 < +∞ gh tn to Vì phiếm hàm 𝐼(𝑢) xác định 𝑊𝑚1 (Ω) p ie 2.2 Phương trình Euler-Lagrange oa nl w Ta mô tả điểm dừng phiếm hàm lượng sau d 𝐼(𝑢) =  𝐹(𝑥, 𝑢(𝑥), 𝐷𝑢 (𝑥)𝑑𝑥, an lu  𝑢|𝜕Ω = 𝑔(𝑥) ll u nf va hàm 𝑢(𝑥) nhận giá trị 𝑔(𝑥) cho trước biên 𝜕Ω m oi Ký hiệu z at nh 𝑀 = {𝑢(𝑥) ∈ 𝑊𝑚1 (Ω); 𝑢|𝜕Ω = 𝑔(𝑥)} z gm @ Ta có nhận xét: W m (Ω) Khi đó, với 𝑢(𝑥) ∈ 𝑀, ∀𝜂(𝑥) ∈ W m (Ω) với m co l Giả sử 𝜂(𝑥) ∈ 𝑡 ∈ 𝑅, ta có an Lu 𝑢(𝑥) + 𝑡𝜂(𝑥) ∈ 𝑀 n va ac th 18 si Định lý 2.1 Giả sử 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) cực tiểu địa phương 𝐼(𝑢) Khi 𝑢(𝑥) nghiệm phương trình Euler –Lagrange sau đây: − ∑𝑛𝑖=1 𝜕 𝜕𝑥𝑖 𝜕𝐹(𝑥,𝑢(𝑥),𝐷𝑢(𝑥)) ( 𝜕𝑝𝑖 )+ 𝜕𝐹(𝑥,𝑢(𝑥),𝐷𝑢(𝑥)) 𝜕𝑧 = (2.4) Chứng minh Giả sử 𝑢(𝑥) ∈ 𝑀 cực tiểu địa phương 𝐼(𝑢) Khi 𝑡 = cực tiểu địa phương hàm số sau đây: 𝐽(𝑡) = 𝐼(𝑢 + 𝑡𝜂) lu 𝜂(x) hàm thuộc W (Ω) an m n va Bổ đề 2.1 Giả sử 𝐹(𝑥, 𝑢, 𝑝) thỏa mãn điều kiện (2.1) (2.2) |𝑝|𝑚−1 tn to p ie gh 𝐹𝑢 (𝑥, 𝑢, 𝑝) ≤ 𝜇[𝜓3 (𝑥) + |𝑢|𝑞−1 𝑞(𝑚−1) 𝑚 ], (2.5) + |𝑝|𝑚−1 ] (2.6) w 𝐹𝑝𝑖 (𝑥, 𝑢, 𝑝) ≤ 𝜇[𝜓4 (𝑥) + |𝑢| + |𝑝| 𝑚(𝑞−1) 𝑞 d oa nl Trong 𝜓3 (𝑥) ∈ 𝐿 (Ω), 𝜓4 (𝑥) ∈ 𝐿 𝑚 𝑚−1 (Ω) an lu 𝑞 𝑞−1 u nf va Với 𝜇 > 𝑚 > 𝑣à 𝑞 > xác định (2.3) ll Khi ta có cơng thức sau oi m 𝑑 𝐽(𝑡) = ∫[𝐹𝑝𝑖 (𝑥, 𝑢 + 𝑡𝜂, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂𝑥𝑖 + 𝐹𝑧 (𝑥, 𝑢 + 𝜂𝑡, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂]𝑑𝑥 (2.7) Chứng minh z at nh 𝑑𝑡 z 𝑚 gm @ Trước hết ta chứng minh bất đẳng thức sau 𝑚 m co l |𝐹𝑝𝑖 (𝑥, 𝑢 + 𝑡𝜂, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂𝑥𝑖 | ≤ 𝑐 [|𝜓2 |𝑚−1 + |𝑢|𝑞 + |𝜂|𝑞 + |∇𝑢 |𝑚 + |∇𝜂 | ] an Lu Thật vậy: Áp dụng bất đẳng Cauchy (2.6) ta có (2.8) n va ac th 19 si |𝐹𝑝𝑖 (𝑥, 𝑢 + 𝑡𝜂, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂𝑥𝑖 |  𝑚−1 𝑚 (1.5)  𝑚−1 (2.6) 𝑚 ≤  |𝐹𝑝𝑖 (𝑥, 𝑢 + 𝑡𝜂, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂𝑥𝑖 | 𝜇 [𝜓4 (𝑥) + |𝑢 + 𝑡𝜂| 𝑚−1 𝑚 𝑚−1 (1.6) 𝑚 𝑞(𝑚−1) 𝑚 𝜇 [𝜓4 (𝑥) + [|𝑢| + 𝑡|𝜂|] 𝜇 [𝜓4 (𝑥) + + |𝜂 | 𝑚 𝑥𝑖 𝑚 + |𝑢𝑥 + 𝑡𝜂𝑥 |𝑚−1 ] 𝑞(𝑚−1) 𝑚 [|𝑢| 𝑚 𝑚−1 + |𝜂 | 𝑚 𝑥𝑖 𝑚 𝑚−1 + [|𝑢𝑥 | + 𝑡|𝜂𝑥 |]𝑚−1 ] 𝑞(𝑚−1) 𝑚 + (𝑡|𝜂|) 𝑞(𝑚−1) 𝑚 𝑚 + |𝜂 | 𝑚 𝑥𝑖 𝑚 ] + 2𝑚−1 [|𝑢𝑥 |𝑚−1 + lu an 𝑚 𝑡|𝜂𝑥 |𝑚−1 ]] + 𝑞(𝑚−1) −1 𝑚 𝑚 𝑚−1 n va |𝜂 | 𝑚 𝑥𝑖 tn to Áp dụng bất đẳng thức (1.6) số hạng thứ biểu thức ta ie gh nhận (2.8) p Tiếp theo ta chứng minh tương tự bất đẳng thức sau w 𝑚 + |𝑢|𝑞 + |𝜂|𝑞 + |∇𝑢 |𝑚 + |∇𝜂 | ] (2.9) d oa nl |𝐹𝑧 𝜂| ≤ 𝑐 [|𝜓3 | 𝑞 𝑞−1 an lu Do 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω), từ Định lý nhúng (2.8), (2.9) suy đạo hàm 𝑑𝐼(𝑢+𝑡𝜂) va thực tồn tích phân vế phải (2.7) u nf 𝑑𝑡 ll Khi hàm 𝐼(𝑢 + 𝑡𝜂) có cực tiểu địa phương 𝑡 = oi m 𝑑𝑡 | 𝑡=0 = ∫Ω[𝐹𝑝𝑖 (𝑥, 𝑢, 𝑢𝑥 )𝜂𝑥𝑖 + 𝐹𝑧 (𝑥, 𝑢, 𝑢𝑥 )𝜂]𝑑𝑥 = (2.10) z at nh 𝑑𝐼(𝑢+𝑡𝜂) z Ta áp dụng cơng thức tích phân phần n số hạng vế @ gm phải (2.10) với 𝜂(𝑥) ∈ W (Ω) nhận m l Ω m co 𝜕 𝜕𝐹(𝑥, 𝑢, 𝑢𝑥 ) [ ] 𝜂(𝑥)𝑑𝑥 𝜕𝑝𝑖 Ω 𝜕𝑥𝑖 ∫ 𝐹𝑝𝑖 (𝑥, 𝑢, 𝑢𝑥 )𝜂𝑥𝑖 𝑑𝑥 = − ∫ an Lu Từ (2.10) suy n va ac th 20 si 𝜕 ∫Ω [− ∑𝑛𝑖=1 𝜕𝑥 ( 𝜕𝐹(𝑥,𝑢,𝑢𝑥 ) 𝜕𝑝𝑖 )+ 𝜕𝐹(𝑥,𝑢,𝑢𝑥 ) 𝜕𝑧 ] 𝜂(𝑥)𝑑𝑥 = 0 Do 𝜂(𝑥) ∈ W (Ω) nên ta suy phương trình (2.4) □ m 2.3 Sự tồn cực tiểu toàn cục phiếm hàm lượng 2.3.1 Điểm cực tiểu phiếm hàm lượng Ta nhận thấy hàm 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) cực tiểu địa phương (cực tiểu toàn cục) 𝐼(𝑢), điểm t = điểm cực tiểu địa phương (cực tiểu toàn cục) hàm số: lu 𝐽(𝑡) = 𝐼(𝑢 + 𝑡𝜂), an va n 𝜂(𝑥) ∈ W m (Ω) cố định gh tn to 2.3.2 Đạo hàm cấp hai hàm số 𝑱(𝒕) p ie Bổ đề 2.2 Giả sử hàm 𝐹(𝑥, 𝑧, 𝑝) thỏa mãn thêm điều kiện sau: (2.11) |𝐹𝑝𝑘 𝑧 (𝑥, 𝑧, 𝑝)| ≤ 𝜇[𝜓6 (𝑥) + |𝑧|𝛽1 + |𝑝|𝛽2 ], (2.12) d oa nl w |𝐹𝑧𝑧 (𝑥, 𝑧, 𝑝)| ≤ 𝜇[𝜓5 (𝑥) + |𝑧|𝛼1 + |𝑝|𝛼2 ] , lu |𝐹𝑝𝑗𝑝𝑘 (𝑥, 𝑧, 𝑝)| ≤ 𝜇[𝜓7 (𝑥) + |𝑧|𝛾1 + |𝑝|𝛾2 ], u nf va an (2.13) đó: ll (Ω), 𝜓6 (𝑥) ∈ 𝐿 𝑚𝑞 𝑚𝑞−𝑚−𝑞 oi 𝑞 𝑞−2 m 𝜓5 (𝑥) ∈ 𝐿 z at nh 𝛼1 = 𝑞 − 2, 𝛼2 = (Ω), 𝜓7 (𝑥) ∈ 𝐿 𝑚 𝑚−2 (Ω), 𝑚(𝑞−2) , 𝑞 z 𝑚𝑞 𝑚 , 𝛾2 = 𝑚 − an Lu Khi ta có cơng thức sau , m co 𝑞(𝑚−2) 𝑚𝑞−𝑚−𝑞 l 𝛾1 = 𝑚2 𝑞 gm 𝑚𝑞−𝑚−𝑞 , 𝛽2 = @ 𝛽1 = n va ac th 21 si 𝑛 𝑑2 d I(u + tη) = [∑ 𝐽𝑗 ( 𝑢 + 𝑡𝜂) + 𝐽𝑜 (𝑢 + 𝑡𝜂)] 𝑑𝑡 dt 𝑗=1 𝑛 𝑛 = ∑ ∫[∑ 𝐹𝑝𝑗𝑝𝑘 (𝑥, 𝑢 + 𝑡𝜂, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂𝑥𝑘 𝜂𝑥𝑗 + 𝐹𝑝𝑘 𝑢 (𝑥, 𝑢 + 𝑡𝜂, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂𝑥𝑗 𝜂]𝑑𝑥 𝑗=1 𝑘=1 + ∫[∑𝑛𝑘=1 𝐹𝑢𝑝𝑘 (𝑥, 𝑢 + 𝑡𝜂, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂𝑥𝑘 𝜂 + 𝐹𝑢𝑢 (𝑥, 𝑢 + 𝑡𝜂, 𝑢𝑥 + 𝑡𝜂𝑥 )𝜂2 ]𝑑𝑥 (2.14) Chứng minh Việc chứng minh Bổ đề suy từ việc áp dụng công thức(2.7) Bổ lu đề 2.1 an n va 2.3.3 Sự tồn cực tiểu địa phương phiếm hàm lượng tn to Định lý 2.2 (Định lý 6.5 [1]) Giả sử 𝐹(𝑥, 𝑧, 𝑝) thỏa mãn điều kiện (2.1) ie gh hàm lồi theo 𝑝 ∈ ℝ𝑛 x, z cố định Khi phiếm hàm I(u) có cực p tiểu địa phương 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) w oa nl 2.3.4 Sự tồn cực điểm toàn cục phiếm hàm lượng d Định lý 2.3 (Định lý 6.6 [1]) Giả sử 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) điểm dừng 𝐼(𝑢), lu 𝑛 u nf 𝑛 va an 𝐹(𝑥, 𝑧, 𝑝) thỏa mãn điều kiện (2.1), (2.2), (2.5), (2.6) điều kiện sau: ll ∑ 𝐹𝑝𝑖 𝑝𝑗 (𝑥, 𝑢(𝑥), 𝐷𝑢(𝑥))𝜉𝑖 𝜉𝑗 + 2𝜉0 ∑ 𝐹𝑝𝑗𝑧 (𝑥, 𝑢(𝑥), 𝐷𝑢(𝑥))𝜉𝑗 m 𝑗=1 oi 𝑖,𝑗=1 z at nh +𝐹𝑧𝑧 (𝑥, 𝑢(𝑥), 𝐷𝑢(𝑥))𝜉0 ≥ 𝛽(𝑥) ∑𝑛𝑗=1 𝜉𝑗 , ( 2.15) z ̅ 𝑡𝑟𝑜𝑛𝑔 𝛽(𝑥) ≠ 0, 𝛽(𝑥) ≥ 0, với 𝜉 ∈ ℝ𝑛 , 𝜉0 ∈ ℝ𝑛 ,và 𝑥 ∈ Ω m co l gm @ Khi u(x) cực tiểu tồn cục I(u) an Lu n va ac th 22 si 2.4 Nghiệm yếu tốn biên lớp phương trình elipptic tuyến tính cấp hai Nguyên lí Dirichlet 2.4.1 Phương trình Euler - Lagrange ̅ × ℝ × Ω𝑛 Xét phương Giả sử 𝐹(𝑥, 𝑢, 𝑝) hàm Lagrange xác định Ω trình tuyến sau đây: − ∑𝑖(𝐹𝑝𝑖 (𝑥, 𝑢(𝑥), 𝐷𝑢(𝑥))𝑥𝑖 + 𝐹𝑧 (𝑥, 𝑢, 𝐷𝑢)) = 0, 𝑥 ∈ Ω (2.16) Xét toán biên Dirichlet 𝑢|∂Ω = 𝑔(𝑥), (2.17) lu an 𝑔(𝑥) hàm số cho trước thuộc 𝑊𝑚1 (Ω), 𝑚 > va n 2.4.2 Nghiệm yếu toán (2.16) (2.17) gh tn to Định nghĩa 2.2 Hàm số 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) gọi nghiệm yếu toán p ie (2.16), (2.17) w 1) 𝑢(𝑥) − 𝑔(𝑥) ∈ 𝑊𝑚1 (Ω), 2) ∫[∑𝑖 𝐹𝑝𝑖 (𝑥, 𝑢, 𝐷𝑢)𝐷𝑖 𝜂 + 𝐹𝑢 (𝑥, 𝑢, 𝐷𝑢)𝜂]𝑑𝑥 = , m lu (Ω) 2.4.3 Nguyên lý Dirichlet u nf va an ∀𝜂 ∈ W d oa nl (2.18) ll Nguyên lí Dirichlet sau khẳng định tương đương toán oi m z at nh Dirichlet (2.16), (2.17) với tốn tìm cực tiểu địa phương phiếm hàm lượng 𝐼(𝑢) z gm @ Định lý 2.4 (Nguyên lý Dirichlet) Giả sử 𝐹(𝑥, 𝑢, 𝑝) thỏa mãn điều kiện sau: 𝑞(𝑚−1) 𝑚 ]; + |𝑝|𝑚−1 ]; an Lu 3) 𝐹𝑝𝑖 (𝑥, 𝑧, 𝑝) ≤ 𝜇[𝜓4 (𝑥) + |𝑧| + |𝑝| 𝑚(𝑞−1) 𝑞 m co 2) 𝐹𝑧 (𝑥, 𝑧, 𝑝) ≤ 𝜇[𝜓3 (𝑥) + |𝑧|𝑞−1 l 1) 𝜗|𝑝|𝑚 + 𝜓1 (𝑥) ≤ 𝐹(𝑥, 𝑧, 𝑝) ≤ 𝜇[𝜓2 (𝑥) + |𝑢|𝑞 + |𝑝|𝑚 ]; n va ac th 23 si 4) |𝐹𝑧𝑧 (𝑥, 𝑧, 𝑝)| ≤ 𝜇[𝜓5 (𝑥) + |𝑧|𝛼1 + |𝑝|𝛼2 ]; 5) |𝐹𝑝𝑘 𝑧 (𝑥, 𝑧, 𝑝)| ≤ 𝜇[𝜓6 (𝑥) + |𝑧|𝛽1 + |𝑝|𝛽2 ]; 6) |𝐹𝑝𝑗𝑝𝑘 (𝑥, 𝑧, 𝑝)| ≤ 𝜇[𝜓7 (𝑥) + |𝑧|𝛾1 + |𝑝|𝛾2 ]; 7) Điều kiện (2.14) hàm 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) điểm dừng 𝐼(𝑢) Trong 𝑚 > 1, 𝜇 > 0, 𝜗 > 0, 𝜓3 (𝑥) ∈ 𝐿 𝑞 𝑞−1 (Ω), 𝜓4 (𝑥) ∈ 𝐿 𝑚 𝑚−1 𝐿 𝑚 1 1− − 𝑚 𝑞 (Ω), 𝜓5 (𝑥) ∈ 𝐿 𝑞 𝑞−2 (Ω), 𝜓7 (𝑥) ∈ 𝐿 𝑚 𝑚−2 lu an 𝛼1 = 𝑞 − 2, 𝛼2 = va n 𝛽1 = 𝑚𝑞 tn to 𝑚𝑞−𝑚−𝑞 𝑞(𝑚−2) 𝑚 (Ω), 𝑚(𝑞−2) , 𝑞 𝑚2 𝑞 𝑚𝑞−𝑚−𝑞 , , 𝛾2 = 𝑚 − p ie gh 𝛾1 = , 𝛽2 = (Ω), 𝜓6 (𝑥) ∈ w Khi hàm 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) nghiệm yếu toán Dirichlet oa nl (2.16), (2.17), cực tiểu địa phương phiếm hàm lượng d 𝐼(𝑢) ngược lại va an lu Chứng minh oi m thỏa mãn ll u nf a) Giả sử 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) nghiệm yếu Bài tốn (2.16), (2.17) Khi (2.17) z at nh Ta chứng minh 𝑢(𝑥) cực tiểu địa phương 𝐼(𝑢) 𝑊𝑚1 (Ω) Xét hàm số 𝐽(𝑡) = 𝐼(𝑢 + 𝑡𝜂), z @ gm 𝐼(𝑢) = ∫ 𝐹(𝑥, 𝑢(𝑥), 𝐷𝑢(𝑥 )𝑑𝑥 l Ω m co Từ (2.15), giả thiết Định lý Bổ đề 2.2, 2.1 ta suy khẳng định Hàm 𝐽(𝑡) khả vi cấp cấp hai 𝑡 = 0, n va i) an Lu sau: ac th 24 si 𝐽′ (0) = ii) 𝑑𝐼(𝑢+𝑡𝜂) | 𝑑𝑡 = ∫Ω[𝐹𝑝𝑖 (𝑥, 𝑢, 𝑢𝑥 )𝜂𝑥𝑖 + 𝐹𝑧 (𝑥, 𝑢, 𝑢𝑥 )𝜂]𝑑𝑥 = 𝑡=0 Vì 𝑡 = điểm dừng 𝐽(𝑡) Mặt khác từ (2.14) suy 𝐽′′ (0) = 𝑑 𝐼(𝑢+𝑡𝜂) | 𝑑𝑡 𝑡=0 Từ (2.13 ) ∫[∑𝑛𝑘=1 𝐹𝑝𝑗𝑝𝑘 (𝑥, 𝑢, 𝑢𝑥 )𝜂𝑥𝑘 |𝜂𝑥𝑗 | +2𝐹𝑝𝑘 𝑧 (𝑥, 𝑢, 𝑢𝑥 )𝜂𝑥𝑘 𝜂 + 𝐹𝑧𝑧 (𝑥, 𝑢, 𝑢𝑥 )𝜂2 ]𝑑𝑥 ≥ 𝛽 ∫Ω ∑𝑛𝑗=1 |𝜂𝑥𝑗 | 𝑑𝑥 > 0, 𝜂(𝑥) ≠ Và 𝑡 = điểm cực tiểu địa phương 𝐽(𝑡) 𝑢(𝑥) cực tiểu điah lu an phương phiếm hàm 𝐼(𝑢) va n Khẳng định a) chứng minh gh tn to b) Giả sử 𝑢(𝑥) cực tiểu địa phương phiếm hàm 𝐼(𝑥) Khi 𝑡 = điểm p ie cực tiểu địa phương hàm 𝐽(𝑡) Do 𝐽′(0) = nl w Mặt khác d oa 𝐽′(0) = ∫Ω[∑𝑖 𝐹𝑝𝑖 (𝑥, 𝑢, 𝑢𝑥 )𝐷𝑥𝑖 𝜂 + 𝐹𝑢 (𝑥, 𝑢, 𝑢𝑥 )𝜂]𝑑𝑥 □ an lu Vì 𝑢(𝑥) nghiệm yếu Bài toán (2.15) (2.16) u nf va 2.4.4 Ví dụ ll Xét tốn Dirichlet sau với 𝑚 > 𝜕𝑥𝑗 𝜕𝑢 (|D𝑢|𝑚−2 𝜕𝑥 ) = 𝑓(𝑥), 𝑥 ∈ Ω, z at nh 𝜕 oi m − ∑𝑛𝑗=1 𝑗 z 𝑢|𝜕Ω = 𝑔(𝑥), @ (Ω) 𝑔(𝑥) ∈ 𝑊𝑚1 (Ω) hàm cho trước Ω, 𝑚 > 𝑞 > xác định (2.3) an Lu Ta chọn hàm Lagrange 𝐹(𝑥, 𝑧, 𝑝) cho: m co l 𝑞 𝑞−1 gm 𝑓(𝑥) ∈ 𝐿 n va ac th 25 si 𝐹𝑝𝑗 (𝑥, 𝑧, 𝑝) = |𝑝|𝑚−2 𝑝𝑗 , 𝑗 = ̅̅̅̅̅ 1, 𝑛 { 𝐹𝑧 (𝑥, 𝑧, 𝑝) = 𝑓(𝑥) Giải hệ phương trình ta nhận hàm Lagrange sau: 𝐹(𝑥, 𝑧, 𝑝) = |𝑝|𝑚 − 𝑓(𝑥)𝑢 𝑚 Phiếm hàm lượng tương ứng là: 𝐼(𝑢) = ∫Ω [ |D𝑢(𝑥)|𝑚 − 𝑓(𝑥)𝑢] 𝑑𝑥 𝑚 Do lu 𝐹𝑝𝑖 𝑝𝑗 = (𝑚 − 2)|𝑝|𝑚−4 𝑝𝑖 𝑝𝑗 − |𝑝|𝑚−2 𝛿𝑖𝑗 , an va n 𝐹𝑝𝑖 𝑢 = 0, 𝐹𝑢𝑢 = 0, to gh tn Kiểm tra 𝐹(𝑥, 𝑧, 𝑝) thỏa mãn điều kiện Định lý 2.4 p ie 1) 𝐹(𝑥, 𝑧, 𝑝) = 𝑚 |𝑝|𝑚 − 𝑓(𝑥)𝑧, 𝑞 𝑞 |𝑓(𝑥)|𝑞−1 , d oa 𝑞 𝑞−1 nl w |𝑓(𝑥)𝑧| ≤ |𝑧|𝑞 + 𝐹(𝑥, 𝑧, 𝑝) ≤ [ 1 𝑞 𝑚 + |𝑧|𝑞 + |𝑝|𝑚 ] va ll u nf Ta chọn 𝑞 𝑞−1 |𝑓(𝑥)| , oi z at nh 𝐹(𝑥, 𝑧, 𝑝) = | 𝑞−1 1 𝜇 = 𝑚𝑎𝑥 [ , , ] 𝑞 𝑞 𝑚 m 𝜓2 (𝑥) = 𝑞 𝑞−1 an 𝑞 |𝑓(𝑥)| lu 𝑞−1 z 1 |𝑝|𝑚 − 𝑓(𝑥)𝑧| ≥ |𝑝|𝑚 − |𝑓(𝑥)𝑧| 𝑚 𝑚 𝑞 𝑚 𝑞 𝜗 = , 𝜓2 (𝑥) = − |𝑢(𝑥)|𝑞 − 𝑞−1 𝑞 |𝑓(𝑥)| 𝑞 𝑞−1 an Lu 𝑞 𝑞 |𝑓(𝑥)|𝑞−1 m co Ta chọn 𝑞−1 l 𝑚 |𝑝|𝑚 − |𝑧|𝑞 − gm @ ≥ n va ac th 26 si 2) 𝐹𝑍 = −𝑓(𝑥) ≤ |𝑓(𝑥)|, 𝜓3 (𝑥) = |𝑓(𝑥)|, 𝑚 = 3) |𝐹𝑝𝑗 (𝑥, 𝑧, 𝑝)| = ||𝑝|𝑚−2 𝑝𝑗 | ≤ |𝑝|𝑚−2 |𝑝𝑗 | ≤ |𝑝|𝑚−2 |𝑝| = |𝑝|𝑚−1 Chọn 𝜓4 (𝑥) = 4)| 𝐹𝑧𝑧 | = 0, 𝜓5 (𝑥) = 5) |𝐹𝑝𝑗 𝑝𝑘 | = 6) |𝐹𝑝𝑗𝑝𝑘 | ≤ (𝑚 − 2)|𝑝|𝑚−4 |𝑝|2 + |𝑝|𝑚−2 = (𝑚 − 1)|𝑝|𝑚−2 ≤ 𝜇[𝜓6 (𝑥) + |𝑢|𝛾1 + |𝑝|𝑚−2 ], 𝜓7 = lu an va n Hơn nữa, ta có to ∑ 𝐹𝑖𝑗 (𝑥, 𝑢, 𝑢𝑥 )𝜉𝑖 𝜉𝑗 = (𝑚 − 2)|𝑝|𝑚−4 ∑ 𝑝𝑖 𝑝𝑗 𝜉𝑖 𝜉𝑗 + |𝑝|𝑚−2 ∑ 𝜉𝑖2 ie gh tn 𝑛 𝑖,𝑗 𝑖,𝑗=1 𝑖 p nl w = (𝑚 − 2)|𝑝|𝑚−4 (∑𝑛𝑖=1 𝑝𝑖 𝜉𝑖 )2 + |𝑝|𝑚−2 |𝜉|2 ≥ |𝑝|𝑚−2 |𝜉|2 d oa Trong 𝑝 = 𝐷𝑢(𝑥) va an lu Do 𝐹(𝑥, 𝑧, 𝑝) thỏa mãn điều kiện (2.15),với 𝛽 (𝑥) = |𝐷𝑢(𝑥)|𝑚−2 u nf Ta chứng minh 𝛽(𝑥) ≠ Ω ll Giả sử 𝛽(𝑥) ≠ Ω Khi 𝐷𝑢(𝑥) ≡ Ω 𝑢(𝑥) = oi m z at nh 𝑐𝑜𝑛𝑠𝑡 Ω kéo theo 𝑢(𝑥) = 𝑔(𝑥) = 𝑐𝑜𝑛𝑠𝑡 𝜕Ω Do 𝐷𝑢(𝑥) ≡ Ω nên 𝑓(𝑥) = z gm @ Khi 𝑔(𝑥) ≠ 𝑐𝑜𝑛𝑠𝑡 trêm 𝜕Ω Vậy 𝐹(𝑥, 𝑧, 𝑝) thỏa mãn Định lý (2.15) m co l Ta nhận định vơ lý an Lu Vậy tốn có nghiệm 𝑢(𝑥) ∈ 𝑊𝑚1 (Ω) n va ac th 27 si KẾT LUẬN Luận văn trình bày vấn đề sau: - Trình bày tổng quan hệ thống không gian hàm, đạo hàm frechet cấp một, đạo hàm frechet cấp hai, điều kiện đủ cực trị - Xét toán cực tiểu phiếm hàm lượng sinh hàm Lagrange Đưa điều kiện đủ hàm số Lagrange để hàm lượng có cực trị địa phương tồn cục - Kết luận văn nguyên lí Dirichlet cho tốn biên thứ lu lớp phương trình elipptic tuyến cấp hai, nguyên lý Dirichlet mô an tả mối quan hệ nghiệm toán cực tiểu phiếm hàm lượng va n nghiệm toán biên thứ phương trình Euler-Lagrange, lớp p ie gh tn to quan trọng số phương trình elliptic tuyến tính cấp hai d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th 28 si TÀI LIỆU THAM KHẢO A Ladyzhenskaya and N N Ural’tseva (1968), Linear and quasilinear elliptic equations, Academic Press, New York and London R Akerkar (1999), Nonlinear Functional Analysis, Narola Publishing House, New Dehli, London; Trần Đức Vân (2005), Lý thuyết phương trình vi phân đạo hàm riêng, NXB Đại học Quốc gia Hà Nội; lu an n va p ie gh tn to d oa nl w ll u nf va an lu oi m z at nh z m co l gm @ an Lu n va ac th 29 si