Luận văn Thạc sĩ Toán học: Định lý Minimax và một số ứng dụng trong nghiên cứu sự tồn tại nghiệm của bài toán biên

Chia sẻ: Lavie Lavie | Ngày: | Loại File: PDF | Số trang:50

Thêm vào BST

Báo xấu

135
lượt xem 16
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Luận văn Thạc sĩ Toán học: Định lý Minimax và một số ứng dụng trong nghiên cứu sự tồn tại nghiệm của bài toán biên nêu lên các định nghĩa; định lý Minimax (định lý đường đèo, nguyên lý Minimax tổng quát); một số ứng dụng của định lý Minimax.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Định lý Minimax và một số ứng dụng trong nghiên cứu sự tồn tại nghiệm của bài toán biên

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH ------------------------- Nguyễn Thị Tuyết Mai ĐỊNH LÝ MINIMAX VÀ MỘT SỐ ỨNG DỤNG TRONG NGHIÊN CỨU SỰ TỒN TẠI NGHIỆM CỦA BÀI TOÁN BIÊN LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh – Năm 2012
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH ------------------------- Nguyễn Thị Tuyết Mai ĐỊNH LÝ MINIMAX VÀ MỘT SỐ ỨNG DỤNG TRONG NGHIÊN CỨU SỰ TỒN TẠI NGHIỆM CỦA BÀI TOÁN BIÊN Chuyên ngành: Toán Giải Tích Mã số: 60 46 01 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC PGS.TS LÊ HOÀN HÓA Thành phố Hồ Chí Minh – Năm 2012
LỜI CẢM ƠN Luận văn được hoàn thành dưới sự hướng dẫn khoa học của PGS.TS Lê Hoàn Hóa - giảng viên khoa Toán -Tin - Đại học Sư phạm TP HCM. Tôi xin được bày tỏ lòng biết ơn sâu sắc với thầy vì thầy đã hướng dẫn, chỉ bảo, giúp đỡ tận tình trong suốt quá trình làm luận văn. Tôi xin cảm ơn các thầy cô trong khoa Toán - Tin -Trường Đại học Sư phạm TPHCM, những người đã cung cấp kiến thức cần thiết trong quá trình học tập. Tôi xin cảm ơn các thầy cô trong phòng Sau đại học - Đại học Sư phạm TP HCM đã giúp đỡ và tạo mọi điều kiện thuận lợi để tôi hoàn thành khóa học này. Cuối cùng, Luận văn sẽ không thể hoàn thành nếu không có sự ủng hộ, động viên rất lớn của gia đình và bạn bè. Tôi xin gởi lời cảm ơn đến gia đình và các bạn Trần Văn Ly, Nguyễn Ngọc Tú,…đã luôn quan tâm, góp ý, giúp đỡ tôi trong quá trình hoàn thành luận văn. Thành phố Hồ Chí Minh, tháng 9 năm 2012. Học viên Nguyễn Thị Tuyết Mai
MỤC LỤC Trang Trang phụ bìa .................................................. Error! Bookmark not defined. LỜI CẢM ƠN ................................................................................................... 3 MỤC LỤC ......................................................................................................... 4 CÁC KÝ HIỆU ................................................................................................. 5 MỞ ĐẦU ........................................................................................................... 6 CHƯƠNG 0 : CÁC ĐỊNH NGHĨA. ................................................................ 8 0.1 TÔPÔ YẾU ............................................................................................. 8 0.2 ÁNH XẠ LIPSCHITZ ............................................................................ 9 0.3 BẤT ĐẲNG THỨC HOLDER ............................................................... 9 0.4 ĐIỀU KIỆN PALAIS-SMALE .............................................................. 9 0.5 SỰ KHẢ VI CỦA PHIẾM HÀM ......................................................... 11 0.6 KHÔNG GIAN HÀM ........................................................................... 13 CHƯƠNG 1 : ĐỊNH LÝ MINIMAX. ........................................................... 20 1.1 ĐỊNH LÝ ĐƯỜNG ĐÈO ..................................................................... 20 1.2 NGUYÊN LÝ MINIMAX TỔNG QUÁT............................................ 24 CHƯƠNG 2 : MỘT SỐ ỨNG DỤNG. ........................................................... 31 2.1 BÀI TOÁN DIRICHLET NỬA TUYẾN TÍNH .................................. 32 2.2 TỚI HẠN PHI TUYẾN ........................................................................ 35 2.3 BÀI TOÁN DIRICHLET NỬA TUYẾN TÍNH .................................. 41 KẾT LUẬN ..................................................................................................... 48 TÀI LIỆU THAM KHẢO ............................................................................... 49
CÁC KÝ HIỆU Ω : miền của  N , Lp ( Ω= ) Lp ( Ω, µ=) { f : Ω →  đo được, ∫ f d µ < ∞ , 1 ≤ p < ∞} p Ω (∫ ) 1/ p u ( x ) dx p u p := , Ω D ( Ω ) := {u ∈ C ( Ω ) : supp u là tập compắc của Ω} . ∞ H 1 (  N ) , D1,2 (  N ) , H 01 (  N ) , D01,2 (  N ) : không gian Sobolev. 2* := ∞, N= 1,2, := 2 N / ( N − 2 ) , N ≥ 3. o A : tập mở của A . A : tập đóng của A . B ( x, r ) : quả cầu mở với tâm x và bán kính r . B [ x, r ] : quả cầu đóng với tâm x và bán kính r . Ta định nghĩa: → là hội tụ mạnh; ⇀ là hội tụ yếu. Cho hàm ϕ : X →  và S là tập con của X ta có: {u ∈ X : ϕ ( u ) ≤ d }, ϕ d := {u ∈ X : dist ( u, S ) ≤ δ }, Sδ := dist ( u , S )= inf { u − v , v ∈ S }.
MỞ ĐẦU Toán học là một trong những ngành khoa học cơ bản cổ xưa nhất của nhân loại. Nó có sức cuốn hút mãnh liệt, đã và đang là niềm đam mê của rất nhiều thế hệ các nhà khoa học, chứa đựng trong nó là cả một kho tàng vô tận những bí ẩn cũng như khả năng ứng dụng trong rất nhiều lĩnh vực khác nhau của cuộc sống. Toán học sử dụng những học thuyết toán, kỹ thuật tính toán, thuật toán, với sự hỗ trợ của công nghệ thông tin để giải quyết mọi vấn đề từ kinh tế, khoa học, kỹ thuật, vật lý đến những vấn đề thuộc về khoa học xã hội và nhân văn. Phương trình vi phân phi tuyến cũng góp phần tạo nên những bí ẩn và ứng dụng đó. Vậy tại sao chúng ta không thử tìm hiểu để thấy được vẻ đẹp của nó? Có thể có người nghĩ giải bài toán tuyến tính thì dễ hơn bài toán phi tuyến. Nhưng dễ hay khó không là vấn đề nếu ta nắm được chìa khóa của bài toán. Nhiều bài toán phi tuyến trong vật lý và khoa học xã hội đều có thể quy về tìm những điểm tới hạn của những hàm số (những hàm số thực trên những không gian khác nhau). Có nhiều điểm mà tại đó một người đi bộ đi xuyên qua những dãy núi sẽ nhìn về chiều ngang, không thể trèo lên mà cũng không tụt xuống. Những điểm tới hạn đầu tiên được học là điểm cực đại và điểm cực tiểu và nhiều hoạt động trong giải tích được dành để tìm những điểm này. Một bài toán khó hơn là tìm những điểm mà chúng không phải là điểm cực đại hay cực tiểu. Cho nên từ khi định lý minimax ra đời, nó đã là một công cụ quan trọng cho những bài toán như vậy và những ứng dụng của nó bao trùm nhiều lĩnh vực như cơ học, vật lý học, hình học vi phân, kỹ thuật xây dựng, lý thuyết điều khiển, sinh vật học và kinh tế học.
Mục đích của luận văn là trình bày các bổ đề, định lý quan trọng và một số ứng dụng của định lý minimax trong sự nghiên cứu sự tồn tại nghiệm của bài toán biên ( tham khảo trong [8] ). Luận văn gồm 3 chương Chương 0 gồm các khái niệm cơ bản như tôpô yếu, điều kiện Palais- Smale, đạo hàm Gateaux, đạo hàm Fréchet, không gian hàm, định lý nhúng Sobolev, định lý nhúng Rellich, bất đẳng thức Poincaré. Chương 1 gồm định lý đường đèo cho không gian Hilbert, nguyên lý minimax tổng quát, định lý đường đèo cho không gian Banach, định lý điểm yên ngựa và định lý liên kết. Chương 2 gồm ứng dụng định lý đường đèo và định lý liên kết để chứng minh sự tồn tại nghiệm của 3 bài toán.
CHƯƠNG 0 : CÁC ĐỊNH NGHĨA. 0.1 TÔPÔ YẾU Giả sử X là không gian tuyến tính, X ′ là không gian liên hợp đại số của X , F là không gian con tuyến tính của X . Tôpô đầu xác định bởi họ ánh xạ F được kí hiệu là σ ( X , F ) . Đó là tôpô yếu nhất trên X sao cho các phiếm hàm f ∈ F liên tục. Giả sử X là không gian định chuẩn, X * là không gian liên hợp của X . Tôpô σ ( X , X * ) gọi là tôpô yếu trên X . Họ các tập hợp có dạng { } n U ( x0 ; f1 ,..., f n , ε ) = x ∈ X : f k ( x ) − f k ( x0 ) < ε , k =1 (trong đó x0 ∈ X , { f1,..., f n } là một họ hữu hạn những phần tử của X * , ε là một số dương) là một cơ sở của tôpô yếu trên X . Tôpô yếu trên không gian định chuẩn yếu hơn tôpô xác định bởi chuẩn (được gọi là tôpô mạnh). Các khái niệm: tập hợp đóng yếu, compắc yếu,…được hiểu là tập hợp đóng, compắc,…đối với tôpô yếu. Các khái niệm: tập hợp đóng mạnh, compắc mạnh,…được hiểu là tập hợp đóng, compắc,…đối với tôpô mạnh. Dãy phần tử { xn } của X gọi là hội tụ yếu đến phần tử x0 ∈ X nếu { xn } hội tụ đến x0 đối với tôpô yếu σ ( X , X * ) . Khi đó, ta viết xn ⇀ x0 . Dãy phần tử { xn } của X gọi là hội tụ mạnh đến x0 ∈ X nếu { xn } hội tụ đến x0 đối với tôpô mạnh. Khi đó, ta viết xn ⟶ x0 hoặc lim xn − x0 = 0. n→∞ Định lý 0.1
Giả sử { xn } là dãy phần tử của không gian định chuẩn X , x0 ∈ X . Khi đó: 1) xn ⇀ x0 ⇔ lim f ( xn ) = f ( x0 ) với mọi f ∈ X * . n→∞ 2) xn ⇀ x0 ⇒ { xn } bị chặn và x0 ≤ lim xn . Định lý 0.2 Cho các không gian Banach X , Y và ánh xạ tuyến tính A : X → Y . Khi đó: A liên tục ⇔ A liên tục đối với σ ( X , X * ) , σ (Y , Y * ) . 0.2 ÁNH XẠ LIPSCHITZ Cho ( X , d X ) , (Y , dY ) là hai không gian mêtric. Ánh xạ A : X → Y được gọi là ánh xạ Lipschitz nếu tồn tại hằng số thực k ≥ 0 sao cho với mọi x1 , x2 ∈ X thì dY ( Ax1 , Ax2 ) < k .d X ( x1 , x2 ) . (*) - Số k ( A ) bé nhất thỏa (*) được gọi là hệ số Lipschitz của A . - Nếu k ( A ) < 1 ta nói A là ánh xạ co hệ số k = k ( A ) hay A là k -co. Ánh xạ A : X → Y được gọi là ánh xạ Lipschitz địa phương nếu với mỗi x trong X tồn tại một lân cận U của x sao cho A bị thu hẹp đến U là ánh xạ Lipschitz. 0.3 BẤT ĐẲNG THỨC HOLDER 1 1 Cho f ∈ Lp , g ∈ Lq , + =1 thì fg ∈ L1 , ta có p q ∫ Ω fg d µ ≤ f p .g q với 1 ≤ p < ∞ . 0.4 ĐIỀU KIỆN PALAIS-SMALE
Nhiều bài toán biên tương đương với phương trình Au = 0 (1) trong đó A : X → Y là ánh xạ giữa hai không gian Banach. Trong bài toán biến phân, tồn tại hàm số ϕ : X →  sao cho A = ϕ ′ (đạo hàm Gateaux của ϕ ), nghĩa là ϕ ( u + tv ) − ϕ ( u ) Au , v = lim . t →0 t Không gian Y tương ứng chính là không gian đối ngẫu X ′ của X và phương trình (1) tương đương với ϕ ′ ( u ) = 0 , nghĩa là ϕ ′ ( u ) , v = 0 , ∀v ∈ X . (2) Một điểm tới hạn của ϕ là một nghiệm u của (2) và giá trị của ϕ tại u là một giá trị tới hạn của ϕ . Làm thế nào để tìm những giá trị tới hạn? Khi ϕ bị chặn dưới, cận dưới đúng c := inf ϕ X là một ứng cử tự nhiên. Nguyên lý biến phân Ekeland [4] dẫn đến sự tồn tại của một dãy ( un ) sao cho ϕ ( un ) → c , ϕ ′ ( un ) → 0 . Một dãy như vậy được gọi là một dãy Palais-Smale tại mức c. Phiếm hàm ϕ được gọi là thỏa điều kiện ( PS )c nếu mọi dãy Palais-Smale tại mức c chứa một dãy con hội tụ. Nếu ϕ bị chặn dưới và thỏa điều kiện ( PS )c tại mức c := inf ϕ thì c là một giá trị tới hạn của ϕ . X Theo Ambrosetti và Rabinowitz, ta xét trường hợp khi ϕ có cực tiểu địa phương tại 0 nhưng không là cực tiểu toàn cục. Khi đó tồn tại r > 0 và e ∈ X sao cho e > r và
inf ϕ ( u ) > ϕ ( 0 ) ≥ ϕ ( e ) . u =r Điểm ( 0,ϕ ( 0 ) ) tách biệt ( e,ϕ ( e ) ) bởi một “vòng núi”. Nếu ta xét tập hợp Γ các đường nối 0 và e thì c := inf max ϕ ( γ ( t ) ) γ ∈Γ t∈[ 0,1] cũng là một ứng cử tự nhiên. Lần nữa nguyên lý biến phân Ekeland dẫn đến sự tồn tại của một dãy ( un ) sao cho ϕ ( un ) → c , ϕ ′ ( un ) → 0 , Nhưng c tổng quát không là một giá trị tới hạn của ϕ . 0.5 SỰ KHẢ VI CỦA PHIẾM HÀM Định nghĩa 0.1 Cho U là một tập con mở trong không gian Banach X . Phiếm hàm ϕ : X →  có đạo hàm Gateaux f ∈ X ′ tại u ∈U nếu với mọi h ∈ X , 1 lim ϕ ( u + th ) − ϕ ( u ) − f , th  =0 . t →0 t Ký hiệu: f , th = f ( th ) Đạo hàm Gateaux của ϕ tại u ghi là ϕ ′ ( u ) . Phiếm hàm ϕ có đạo hàm Fréchet f ∈ X ′ tại u ∈U nếu 1 lim ϕ ( u + h ) − ϕ ( u ) − f , h  =0 . h →0 h  Phiếm hàm ϕ thuộc C1 (U ,  ) nếu đạo hàm Fréchet của ϕ tồn tại và liên tục trên U . Nếu X là không gian Hilbert và phiếm hàm ϕ có đạo hàm Gateaux tại u ∈U , gradient của ϕ tại u được định bởi
( ∇ϕ ( u ) , h ) := ϕ′(u ) , h Ghi chú 0.1 a) Đạo hàm Gateaux được cho bởi 1 ϕ ′ ( u= ) , h : lim ϕ ( u + th ) − ϕ ( u )  t →0 t  b) Đạo hàm Frechet là đạo hàm Gateaux. c) Nếu phiếm hàm ϕ có đạo hàm Gateaux liên tục thì ϕ ∈ C1 (U ,  ) . Định nghĩa 0.2 Cho ϕ ∈ C1 (U ,  ) . Phiếm hàm ϕ có đạo hàm Gateaux bậc hai L ∈  ( X , X ′ ) tại u ∈U nếu với mọi h, v ∈ X , 1 lim ϕ ′ ( u + th ) − ϕ ′ ( u ) − Lth, v = 0. t →0 t Đạo hàm Gateaux bậc hai tại u ghi là ϕ ′′ ( u ) . Phiếm hàm ϕ có đạo hàm Fréchet bậc hai L ∈  ( X , X ′ ) tại u ∈U nếu 1 lim ϕ ′ ( u + h ) − ϕ ′ ( u ) − Lh  = 0. h →0 h  Phiếm hàm ϕ thuộc C 2 (U ,  ) nếu đạo hàm Fréchet bậc hai của ϕ tồn tại và liên tục trên U . Ghi chú 0.2 a) Đạo hàm Gateaux bậc hai được cho bởi 1 ϕ ′′ ( u = ) h, v : lim ϕ ′ ( u + th ) − ϕ ′ ( u ) , v t →0 t b) Đạo hàm Fréchet bậc hai cũng là đạo hàm Gateaux bậc hai. c) Nếu phiếm hàm ϕ có đạo hàm Gateaux bậc hai liên tục thì ϕ ∈ C 2 (U ,  ) .
0.6 KHÔNG GIAN HÀM Định nghĩa 0.3 Không gian H 1 (  N ) := {u ∈ L (  ) : ∇u ∈ L (  )} . 2 N 2 N Với tích vô hướng ( u, v )1 =: ∫ [∇u.∇v + uv ] N và chuẩn tương ứng 1  2 2 u 1 =  ∫ ∇u + u  2  N    là một không gian Hilbert. Cho Ω là tập mở trong  N . Không gian H 01 ( Ω ) là bao đóng của D ( Ω ) trong H 1 (  N ). và 2* : 2 N / ( N − 2 ) . Cho N ≥ 3= Không gian D1,2 (  N ) := {u ∈ L (  ) : ∇u ∈ L (  )}. 2* N 2 N Với tích vô hướng ( u, v )2 := ∫ ∇u.∇v N và chuẩn tương ứng 1  2 2  ∫N u=2  ∇ u    là một không gian Hilbert. Không gian D01,2 ( Ω ) là bao đóng của D ( Ω ) trong D1,2 (  N ) . Ta có kết quả sau
Định lý 0.3 (Định lý nhúng Sobolev) Các phép nhúng sau đây liên tục: H 1 (  N ) ⊂ Lp (  N ) , 2 ≤ p < ∞, N =1, 2 , H 1 (  N ) ⊂ Lp (  N ) , 2 ≤ p ≤ 2* , N ≥ 3 , D1,2 (  N ) ⊂ L2 (  N ) , N ≥ 3 . * Đặc biệt, bất đẳng thức Sobolev thỏa mãn = ∇u 2 > 0 . 2 S: inf u∈D  ( ) 1,2 N u 2* =1 Định lý 0.4 (Định lý nhúng Rellich) Nếu Ω bị chặn, phép nhúng sau compắc H 01 ( Ω ) ⊂ Lp ( Ω ) , 1 ≤ p < 2* . Hệ quả 0.1 (Bất đẳng thức Poincaré) Nếu Ω bị chặn thì bất đẳng thức sau thỏa mãn λ1 ( Ω = ): inf1 ∇u 2 > 0 . 2 u∈H 0 ( Ω ) u 2 =1 Bổ đề Giả sử Ω bị chặn, 1 ≤ p, r < ∞, f ∈ C ( Ω ×  ) và f ( x, u ) ≤ c 1 + u ( p/r ). Khi đó, với mọi u ∈ Lp ( Ω ) thì f (., u ) ∈ Lr ( Ω ) và toán tử A : Lp ( Ω ) → Lr ( Ω ) : u  f ( x, u ) liên tục. Chứng minh bổ đề 1) Giả sử u ∈ Lp ( Ω ) . ( Do f ( x, u ) ≤ c r 1 + u r ) ∈ L ( Ω ) nên suy ra p/r r 1 f (., u ) ∈ Lr ( Ω ) .
2) Giả sử un → u trong LP ( Ω ) . Xét dãy con ( vn ) của ( un ) . Khi đó, giả sử vn ( x ) → u ( x ) hầu khắp nơi trên Ω . Tồn tại dãy con (ωn ) của ( vn ) sao cho: 1 ω j +1 − ω j p ≤ , ∀j ≥ 1 . 2j ∞ ω1 ( x ) + ∑ ω j +1 ( x ) − ω j ( x ) . Xác định g ( x ) := j =1 Khi đó, g hầu khắp nơi trên Ω , ωn ( x ) ≤ g ( x ) và như vậy u ( x ) ≤ g ( x ) . ( Do f ( x, ωn ) − f ( x, u ) ≤ f ( x, ωn ) + f ( x, u ) ) r r ( ) ( ) ( ) ∈ L ( Ω ). r ≤  c 1 + ωn  ≤ 2r c r 1 + g p/r r + c 1+ u p/r p/r 1   Từ định lý hội tụ bị chặn Lebesgue suy ra: Aωn → Au trong Lr ( Ω ) . Vậy Aun → Au trong Lr ( Ω ) . Bổ đề được chứng minh. Mệnh đề Cho Ω là tập mở trong  N và 2 < p < ∞ . Phiếm hàm ψ ( u ) := ∫ u , χ ( u ) := ∫ u + thuộc lớp C 2 ( Lp ( Ω ) ,  ) và p p Ω Ω uh , χ ′ ( u ) , h = p ∫ ( u + ) h . p −2 p −1 ψ ′(u ), h = p∫ u Ω Ω Chứng minh Xác định f ( u ) := p u p −2 u . Giả sử un → u trong Lp . Theo bổ đề trên suy ra f ( un ) → f ( u ) trong Lq ( Ω ) với = q : p / ( p − 1) . * Tồn tại đạo hàm Gateaux Ta chỉ xét hàm ψ , hàm χ được chứng minh tương tự.
Cho u , h ∈ Lp . Với x ∈ Ω và 0 < t < 1 . Do định lý giá trị trung bình trong p −1 g1 ( s ) : p u ( x ) + s.h ( x ) tích phân cho hàm số = . h ( x ) liên tục trên [ 0,t ] , tồn tại λ ∈ ( 0,1) sao cho t ∫ g ( s )ds = t.g ( λ ) 0 1 1 p −1 ⇒ u ( x ) + t.h ( x ) − u ( x ) = tp u ( x ) + λ.h ( x ) h( x) p p u ( x ) + t.h ( x ) − u ( x ) p p p −1 ⇒ p u ( x ) + λ.h ( x ) = h( x) t u ( x ) + t.h ( x ) − u ( x ) p p p −1 ⇒ p u ( x ) + λ.h ( x ) h ( x ) = t p −1 ≤ p  u ( x ) + h ( x )  h( x) Bất đẳng thức Holder suy ra p −1  u ( x ) + h ( x )  h ( x ) ∈ L1 ( Ω ) Từ định lý Lebesgue suy ra p −2 ψ ′(u ), h = p∫ u uh . Ω * Tính liên tục của đạo hàm Gateaux Ta có: ψ ′ ( un ) − ψ ′ ( u ) , h = ψ ′ ( un ) , h − ψ ′ ( u ) , h p −2 p −2 = p ∫ un un h − p ∫ u uh Ω Ω = ∫ Ω (pu n p −2 un − p u p −2 uh) = ∫  f ( un ) − f ( u ) h Ω Do đó ta có:
ψ ′ ( un ) − ψ ′ ( u ) , h ≤ ∫  f ( un ) − f ( u ) h ≤ ∫  f ( un ) − f ( u )  h Ω Ω p, q p / ( p − 1) ta được: Áp dụng bất đẳng thức Holder với = ψ ′ ( un ) − ψ ′ ( u ) , h ≤ f ( un ) − f ( u ) q . h p Và như vậy: ψ ′ ( un ) − ψ ′ ( u ) ≤ f ( un ) − f ( u ) q → 0, n → ∞ . * Tồn tại đạo hàm Gateaux bậc hai Cho u , h, v ∈ Lp ( Ω ) . Với x ∈ Ω và 0 < t < 1 . Ta có: 1 ϕ ′′ ( u= ) h, v lim ϕ ′ ( u + th ) − ϕ ′ ( u ) , v t →0 t Xét ϕ ′ ( u + th ) − ϕ ′ ( u ) , v = ϕ ′ ( u + th ) , v − ϕ ′ ( u ) , v p −2 p −2 = p ∫ u + th Ω ( u + th ) v − p ∫Ω u uv  p u + th p −2 ( u + th ) − p u p −2 u v = ∫ Ω  = ∫  f ( u + th ) − f ( u ) v Ω Do định lý giá trị trung bình trong tích phân cho hàm số p −2 g 2 ( s ) :=p ( p − 1) u ( x ) + s.h ( x ) . v ( x ) liên tục trên [ 0,t ] , tồn tại λ ∈ ( 0,1) sao cho t ∫ g ( s )ds = t.g ( λ ). 0 2 2 Do đó  f ( u ( x ) + th ( x ) ) − f ( u ( x ) )  v ( x ) p −2 =p ( p − 1) u ( x ) + λ h ( x ) v( x) t
p −2 ≤ p ( p − 1)  u ( x ) + h ( x )  h( x) v( x) Bất đẳng thức Holder suy ra p −2  u ( x ) + h ( x )  h ( x ) v ( x ) ∈ L1 ( Ω ) . Từ định lý Lebesgue suy ra p −2 ψ ′′ ( u ) h= ,v p ( p − 1) ∫ u hv . Ω * Tính liên tục của đạo hàm Gateaux bậc hai Xác định g (= u ) : p ( p − 1) u p −2 . Giả sử un → u trong Lp . Từ bổ đề trên ta có: g ( un ) → g ( u ) trong Lr với =r : p / ( p − 2) . Ta có: (ψ ′′ ( un ) − ψ ′′ ( u ) ) h, v = ψ ′′ ( un ) h, v − ψ ′′ ( u ) h, v p −2 p −2 = p ( p − 1) ∫ un hv − p ( p − 1) ∫ u hv Ω Ω = ∫ Ω ( p ( p − 1) u n p −2 − p ( p − 1) u p −2 )hv = ∫  g ( un ) − g ( u ) hv Ω Do đó ta có (ψ ′′ ( u ) −ψ ′′ ( u ) ) h, v n = ∫ Ω  g ( un ) − g ( u ) hv ≤ ∫  g ( un ) − g ( u )  hv Ω p, r p / ( p − 2 ) ta được: Áp dụng bất đẳng thức Holder với = (ψ ′′ ( u ) −ψ ′′ ( u ) ) h, v n ≤ g ( un ) − g ( u ) r h p v p , Và như vậy ψ ′′ ( un ) − ψ ′′ ( u ) ≤ g ( un ) − g ( u ) r → 0, n → ∞. Mệnh đề được chứng minh.
Hệ quả 0.2 a) Cho 2 < p < ∞ nếu N = 1,2 và 2 < p ≤ 2* nếu N ≥ 3 . Phiếm hàm ψ và χ thuộc lớp C 2 ( H 01 ( Ω ) ,  ) . b) Cho N ≥ 3 và p = 2* . Phiếm hàm ψ và χ thuộc lớp C 2 ( D01,2 ( Ω ) ,  ) . Chứng minh Kết quả suy trực tiếp từ định lý Sobolev.
CHƯƠNG 1 : ĐỊNH LÝ MINIMAX. 1.1 ĐỊNH LÝ ĐƯỜNG ĐÈO 1.1.1 Bổ đề biến đổi số lượng Ta sẽ chứng minh trường hợp đơn giản của bổ đề biến đổi số lượng. Trường hợp tổng quát sẽ chứng minh sau. ( ϕ d ϕ −1 ( −∞, d ] . Ta định nghĩa:= ) Bổ đề 1.1 Cho X là không gian Hilbert, ϕ ∈ C 2 ( X ,  ) , c ∈ , ε > 0 . Giả sử ( ∀u ∈ϕ ([c − 2ε , c + 2ε ]) ) : ϕ ′ ( u ) ≥ 2ε . −1 Khi đó, tồn tại η ∈ C ( X , X ) sao cho (i) η ( u )= u, ∀u ∉ ϕ −1 ([ c − 2ε , c + 2ε ]) , (ii) η (ϕ c+ε ) ⊂ ϕ c−ε . Chứng minh Ta định nghĩa: A := ϕ −1 ([ c − 2ε , c + 2ε ]) , B=: ϕ −1 ([ c − ε , c + ε ]) , ψ ( u ) : dist ( u , X \ A ) ( dist ( u , X \ A ) + dist ( u, B ) ) . −1 = Như vậy ψ liên tục Lipschitz địa phương, ψ = 1 trên B và ψ = 0 trên X \ A . Ta định nghĩa trường vectơ liên tục Lipschitz địa phương −2 f ( u ) := −ψ ( u ) ∇ϕ ( u ) ∇ϕ ( u ) , u ∈ A , := 0 , u∈ X \ A, −1 −1 Ta có : f ( u ) =ψ ( u ) ∇ϕ ( u ) ≤ ∇ϕ ( u ) ≤ ( 2ε ) −1 trên X .