TẬP PHÂN TÍCH ĐƯỢC VÀ ỨNG DỤNG

Header Page of 114 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Lê Thị Diệu Linh TẬP PHÂN TÍCH ĐƯỢC VÀ ỨNG DỤNG LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh – 2014 Footer Page of 114 Header Page of 114 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP HỒ CHÍ MINH Lê Thị Diệu Linh TẬP PHÂN TÍCH ĐƯỢC VÀ ỨNG DỤNG Chuyên ngành: Toán Giải tích Mã số: 60 46 01 02 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC PGS TS NGUYỄN BÍCH HUY Thành phố Hồ Chí Minh – 2014 Footer Page of 114 Header Page of 114 LỜI CẢM ƠN Trong trình học tập hoàn thành luận văn mình, nhận quan tâm, giúp đỡ, động viên quý thầy cô trường Đại học Sư phạm Thành phố Hồ Chí Minh, gia đình bạn bè Đầu tiên gửi lời cám ơn chân thành sâu sắc tới PGS TS Nguyễn Bích Huy, người hướng dẫn tận tình giúp đỡ suốt trình làm luận văn Tôi xin chân thành cám ơn quý thầy cô giảng dạy giúp đỡ suốt khóa học Tôi xin gởi lời cảm ơn đến quí thầy cô anh chị làm công tác quản lý phòng sau đại học, người tạo điều kiện tốt để hoàn thành khóa học Tôi xin cảm ơn bạn bè đồng nghiệp, bạn học viên cao học Toán K23 động viên, khuyến khích, giúp đỡ trình học tập Sau xin gửi lòng biết ơn sâu sắc đến gia đình tôi, chỗ dựa vững giúp học tập hoàn thành tốt luận văn Footer Page of 114 Header Page of 114 MỤC LỤC Trang phụ bìa Lời cảm ơn Mục lục MỞ ĐẦU Chương TẬP HỢP PHÂN TÍCH ĐƯỢC 1.1 Các tính chất 1.2.Tập phân tích Lp (T , R ) 12 1.3 Một kết tách 18 Chương HÀM CHỌN 20 2.1 Một số khái niệm kết 20 2.2 Hàm chọn liên tục 23 2.3 Hàm chọn loại Caratheodory 37 Chương TÍNH CHẤT ĐIỂM BẤT ĐỘNG 38 Chương GIẢI TÍCH TRÊN CÁC TẬP PHÂN TÍCH ĐƯỢC 40 4.1.Các khái niệm kết sử dụng 40 4.2.Bao đóng yếu tập phân tích 41 4.3 Ánh xạ phân tích 47 4.4 Phiếm hàm phân tích 49 KẾT LUẬN 57 TÀI LIỆU THAM KHẢO 58 Footer Page of 114 Header Page of 114 MỞ ĐẦU Tập lồi không gian vectơ mở rộng tự nhiên đa giác mặt phẳng đóng vai trò quan trọng nhiều lĩnh vực quan trọng Toán học Đại số tuyến tính, Giải tích hàm, Giải tích đa trị, Lý thuyết tối ưu, Việc nghiên cứu đối tượng có liên quan đến tính chất lồi nhà toán học quan tâm nghiên cứu nhiều chục năm qua thu kết sâu sắc, từ hình thành hướng nghiên cứu riêng gọi Giải tích lồi Do nhu cầu phát triển nội toán học để đáp ứng nhu cầu phải mô tả tượng mô hình phát sinh Khoa học-kỹ thuật mà nhiều lớp tập hợp với tính chất lồi giảm nhẹ tính chất tựa lồi, giả lồi quan tâm nghiên cứu Đặc biệt tính chất “ phân tích được” tập hợp T.R.Rockafellar đưa năm 1968 mở rộng sâu sắc tính chất lồi Từ năm 1970 đến nay, ánh xạ đa trị với giá trị tập phân tích nhận nhiều quan tâm nghiên cứu đưa đến kết sâu sắc với nhiều ứng dụng vào bao hàm thức vi phân, Lý thuyết tích phân Tuy nhiên, nhiều vấn đề liên quan đến Giải tích lớp tập phân tích chờ nghiên cứu Trong phạm vi luận văn tìm hiểu vấn đề sau  Chương Tập hợp phân tích Chương nêu khái niệm tập phân tích tính chất  Chương Hàm chọn Chương nêu tồn lát cắt đơn trị (hàm chọn) ánh xạ đa trị với giá trị tập phân tích được, xét lát cắt liên tục có tính chất Caratheodory  Chương Tính chất điểm bất động Chương nêu tồn điểm bất động ánh xạ đa trị có giá trị phân tích  Chương Giải tích tập phân tích Chương nêu số tính chất tô pô tập phân tích được, phiếm hàm ánh xạ phân tích Footer Page of 114 Header Page of 114 Chương TẬP HỢP PHÂN TÍCH ĐƯỢC 1.1 Các tính chất Giả sử X không gian Banach, cho X* không gian khả ly (T , L, µ ) không gian độ đo, T không gian mê tríc khả ly đầy đủ, với σ − đại số L tập đo µ độ đo xác suất hữu hạn, µ (T ) = M (T , X ) không gian hàm đo Lebesgue, từ T đến X Giả sử P : T → N ( X ) ánh xạ đa trị, ( N ( X ) tập tập khác rỗng X) Kí hiệu K P = {u ∈ M (T , X ) : u ( t ) ∈ P ( t ) h.k.n T } KP = {u ∈ LP (T , X ) : u ( t ) ∈ P ( t ) h.k n T } Định nghĩa 1.1.1 Tập K ⊂ M (T , X ) K ⊂ Lp (T , X ) thỏa mãn χ A u + (1 − χ A ).v∈ K , ∀u, v ∈ K , ∀A ∈ L gọi tập phân tích Kí hiệu: dec0 (T , X ) : họ tập phân tích khác rỗng M (T , X ) dcl0 (T , X ) : họ tập phân tích đóng M (T , X ) dec p (T , X ) : họ tập phân tích khác rỗng Lp (T , X ) dcl p (T , X ) : họ tập phân tích đóng Lp (T , X ) Nếu p=1 ta viết dec (T , X ) , dcl (T , X ) Mệnh đề 1.1.1 i) Cho { Kα }α∈Λ ⊂ dec p (T , X ) {Kα }α ii) ∈Λ  Kα ∈ dec (T , X ) Tương tự cho α ∈Λ ⊂ dcl p (T , X ) Cho { K n }n∈N ⊂ dec p (T , X ) dãy tăng Khi Footer Page of 114 p ∞ K n =1 n ∈ dec p (T , X ) Header Page of 114 iii) Cho K ∈ dec p (T , X ) Khi clK ∈ dcl p (T , X ) iv) Cho K ∈ dec p (T , X ) , ∀u ∈ Lp (T , X ) ⇒ K − u ∈ dec p (T , X ) Tương tự K ∈ dcl p (T , X ) , ∀u ∈ Lp (T , X ) ⇒ K − u ∈ dcl p (T , X ) Chứng minh i) Lấy u , v ∈  Kα , A ∈ L ∀α ∈ L : χ Au + (1 − χ A )v∈ Kα α ∈L ⇒ χ Au + (1 − χ A )v ∈  Kα α ∈Λ Tương tự cho { Kα }α∈Λ ⊂ dcl p (T , X ) ⇒  Kα tập đóng ( giao tùy ý α ∈Λ tập đóng tập đóng) Lấy u , v ∈  Kα , A ∈ L ∀α ∈ L : χ Au + (1 − χ A )v∈ Kα α ∈L ⇒ χ Au + (1 − χ A )v ∈  Kα α ∈Λ Nên  Kα tập đóng phân tích hay α Kα ∈ dcl α ∈Λ ∈Λ p (T , X ) ∞ ii) Lấy u , v ∈  K n , A ∈ L Do { K n }n∈N dãy tăng nên tồn n đủ lớn cho n =1 ∞ u , v ∈ K n ⇒ χ Au + (1 − χ A )v∈ K n ⊂  K n n =1 clK bao đóng tập K nên tập đóng Lấy u , v ∈ clK , A ∈ L tồn iii) dãy un ∈ K , ∈ K cho un → u , → v Do K tập phân tích nên χ Aun + (1 − χ A )vn ∈ K ∀n ta có χ Aun + (1 − χ A )vn → χ Au + (1 − χ A )v , χ Aun + (1 − χ A )vn ∈ K nên suy cc u + (1 − A )v ∈ clK A iv) Lấy v − u , w − u ∈ K − u , A ∈ L v, w ∈ K ⇒ χ Av + (1 − χ A )w ∈ K nên ta có χ A (v - u ) + (1 - χ A )(w-u)=χ Av + (1 - χ A )w-u ∈ K - u Footer Page of 114 Header Page of 114 ⇒ K − u ∈ dec p (T , X ) Tương tự cho K ∈ dcl p (T , X ) : K − u tập đóng K đóng {-u} tập compact kết hợp chứng minh iv) K − u ∈ dec p (T , X ) ta kết luận K − u ∈ dcl p (T , X ) Do M (T , X ) , Lp (T , X ) phân tích được, nên họ tập phân tích chứa K ∈ dec p (T , X ) khác rỗng Và từ mệnh đề 1.1.1 ta thấy giao tùy ý tập phân tích phân tích được, nên K ⊂ Lp (T , X ) tồn tập phân tích nhỏ tập đóng phân tích nhỏ chứa K (chính giao tất tập phân tích chứa K giao tất tập đóng phân tích chứa K) Ta gọi chúng bao tập phân tích bao đóng tập phân tích kí hiệu dec p ( K ) , dcl p ( K ) Chú ý : K ⊂ dec p ( K ) ⊂ dcl p ( K ) Mệnh đề 1.1.2 Cho u , v ∈ Lp Khi dec p {u , v= } dcl p {u, v=} u + (1 − {cc A A )v : A ∈ L} Chứng minh K= {χ u + (1 − χ A )v : A ∈ L} tập đóng chứa u,v Thật vậy,lấy A= X ∈ L ,khi A χ X u + (1 − χ X )v ∈ K hay u ∈ K ,lấy A = ∅ ∈ L χ ∅u + (1 − χ ∅ )v ∈ K hay v∈K Nếu u = v K đóng Giả sử u ≠ v , ta biết tập A đo đồng với χ A L1 (T ) Lấy χ A u + (1 − χ A )v → w với n n {A } ⊂ L n Ta chứng minh w∈K Đặt k= χ A u + (1 − χ A )v n χ A = n n k −v k −v w −v và= Khi tồn A ∈ L χA → u−v u−v u−v w −v = χA u−v Footer Page of 114 n Header Page of 114 Suy χ A → χ A w= χ Au + (1 − χ A ) v ∈ K Vậy K tập đóng n Nên ta có dec p {u , v} ⊂ dcl p {u , v} ⊂ K Do tính chất hàm đặc trưng, ta có χ A A B rời χ A∩ B =χ A χ B , χ A∪ B =χ A + χ B − χ A χ B , χT \ A =− χ A∪= χ A + χ B Từ ta có nhận xét ∀A, B, C ∈ L : B χ C ( χ A u + (1 − χ A ) v ) + (1 − χ C ) ( χ B u + (1 − χ B ) v ) = = (χ (χ C χ A + (1 − χ C ) χ B ) u + ( χ C − χ A χ C + − χ B − χ C + χ C χ B ) v C χ A + (1 − χ C ) χ B ) u + (1 − χ A χ C − (1 − χ C ) χ B ) v = χ D u + (1 − χ D ) v Với D = [ A ∩ C ] ∪  B ∩ (T \ C )  Nên suy K tập phân tích chứa u,v Lấy E tập phân tích chứa u,v Ta có : ∀ ( χ A u + (1 − χ A ) v ) ∈ K ⇒ ( χ A u + (1 − χ A ) v ) ∈ E Nên K ⊂ E hay K tập phân tích nhỏ chứa u, v : K = dec p {u , v} suy ra: = = K dec u , v} dcl p {u , v} p{ Mệnh đề 1.1.3 Cho K ∈ dec p (T , X ) ,1 ≤ p < ∞ : a)= Nếu ∀{uk }k = ⊂ K , ∀{ Ak }k ∈ T rời n n n ∑χ k =1 Ak uk ∈ K b) Nếu K ⊂ Lp (T , X ) p-khả tích bị chặn ∀{uk }k = ⊂ K , ∀{ Ak }k ∈ T rời = ∞ ∞ ∞ ∑c k =1 Ak uk ∈ dcl p ( K ) Chứng minh a) Ta chứng minh quy nạp Do mệnh đề 1.1.1 ta giả sử ∈ K ( ∉ K ta lấy u ∈ K xét K − u ∈ dec p (T , X ) ∈ K − u ∈ dec p (T , X ) ) Footer Page of 114 Header Page 10 of 114 ( ) Với n=2: u1 , u2 ∈ K , A1 , A2 ∈ L, A1 ∩ A2 = ∅ χ A u1 + − χ A 0= χ A u1 ∈ K 1 suy χ A u2 + (1 − χ A ) χ A u=1 χ A u1 + χ A u2 ∈ K 2 1 tùy ý {uk }k = Giả sử với n ≥ a) thỏa Lấy= ⊂ K , { Ak }k ∈ T rời Ta kí n +1 n +1 hiệu , i 1, n − B= An ∪ An +1 = Bi A= i n Rõ ràng { Bk }k =1 tập rời T Do theo giả thiết quy nạp : n = w n ∑χ k =1 Bk uk ∈ K n −1 n n Nhưng w =∑ χ B uk =∑ χ A uk + χ A ∪ A un =∑ χ A uk + χ A un Suy k k = k 1= k (1 − χ ) w = χ An+1 Do n n +1 = k n T \ An+1 w = ∑ χ A uk k =1 k (1 − χ A ∑ χ A uk = ∑ χ A uk + χ A un+1 = n +1 n k = k 1= k n +1 k n +1 k n +1 )w + χ An+1 un +1 ∈ K a) với n+1 Vậy a) với n b)Tập K ⊂ Lp (T , X ) p-khả tích bị chặn tồn a ∈ Lp (T , R ) cho ∀u ∈ K : | u (t ) |≤ a (t ) h.k n T Giả sử K ⊂ Lp (T , X ) p-khả tích bị chặn ϕ ∈ Lp (T , X ) Do mệnh đề 1.1.1 ta giả sử 0∈ K (nếu ∉ K ta lấy u ∈ K xét K − u ∈ dec p (T , X ) ∈ K − u ∈ dec p (T , X ) Khi K − u p-khả tích bị chặn).Cố định {uk }k =1 ⊂ K họ { Ak }k =1 rời ∞ ∞ T Ta cần chứng minh ∑c k =1 ∞ ∑= ∫ | ϕ (t ) | µ (dt ) p k = n +1 Ak Ak p ∞ k = n +1 Footer Page 10 of 114 uk ∈ dcl p ( K ) Lấy tùy ý ε > , lấy n đủ lớn để ∫ | ϕ (t ) | µ (dt ) < ε  ∞ Ak p Header Page 48 of 114 44 ∫ z ( t ) , uα ( t ) µ ( dt ) ≤ ∫ψ ( t ) µ ( dt ) = z , uα z T T Do với z ∈ Z z , m ≤ ∫ψ z ( t ) m ( dt ) T Nên ta khẳng định clz K ⊂ K Để chứng minh bao hàm thức ngược lại, lấy m ∈ K V ( m, ε , z1 , , zn ) với { z , , z } ⊂ Z n tùy ý Cố định lân cận m Ta cần chứng tỏ V ( m, ε , z1 , , zn ) ∩ K ≠ ∅ Xét tập } { D = x = ( z1 , u , , zn , u ) : u ∈ K ⊂ R n Do định lý Lapunov nên tập D lồi Ta chứng tỏ ( = ( 4.2 ) z z1 , m , , zn , m ) ∈ clD Thật vậy, theo mệnh đề 4.1.1, D lồi không gian R tự liên hợp R n ≅ ( R n ) nên * n clcoD = clD =  { x ∈ R n : x, a ≤ cD ( a )} a∈R n = Nhưng với a ( a , , a ) ∈ R n n hàm support ước lượng bổ đề sau : x ∈ D} cD ( a ) sup { a, x = = n  = sup ∑ ∫ = zi ( t ) , u ( t ) µ ( dt ) : u ∈ K   i =1 T   n  = sup  ∫ ∑ a= z t , u ( t ) µ ( dt ) : u ∈ K  i i( )  T i =1  = ∫ψ ( t )µ ( dt ) n T ∑ zi i =1 Do với a ∈ R n ta có a, z = ∑ zi , m = ∑ zi , m ≤ ∫ψ n n =i =i Footer Page 48 of 114 T n ∑ zi i =1 c (a) ( t )m ( dt ) = D Header Page 49 of 114 45 Chứng tỏ (4.2) z ∈ clD ⇒ ∃{ xn } ⊂ D : xn  → z ⇒ ∀ε > : ∃x ∈ D cho x − z < ε hay ( ( z1 , u , , zn , u ) − ( z1 , m , , zn , m ) = z1 , u − m , , zn , u − m ) 0, ∃u ∈ K với tính chất i=1,…,n: | zi , u − m |< ε hay u ∈V ( m, ε , z1 , , zn ) ∩ K Hoàn thành chứng minh Điều kiện Tồn Z ⊂ L∞ (T ) thỏa điều kiện : Z Z ⊂ Z Từ điều kiện ta suy mệnh đề 4.2.2 Mệnh đề 4.2.2 Giả sử Z Z thỏa điều kiện Khi đó: Z 1) Cho {mα } ⊂ M (T , R l ) thỏa mãn mα  → m0 z ∈ Z , ta có Z → z (.) , m0 z (.) , mα  2) Z-tô pô CZ-tô pô M (T , R l ) tương đương     l 3) Với z ∈ Z , tập M z = m ∈ M (T , R ) : m, z ≤ ∫ψ z ( t )m ( dt )  C-đóng T Chứng minh Với z0 ∈ Z điều kiện z0 z ∈ Z Ta dễ dàng thấy z ( t ) z ( t ) , mα ( dt ) ∫ ∫= T ∫ T Footer Page 49 of 114 z0 ( t ) z ( t ) , mα ( dt ) → T z0 ( t ) z ( t ) , m0 ( dt ) = ∫ z0 ( t ) z ( t ) , m0 ( dt ) T Header Page 50 of 114 46 Z Chứng tỏ z (.) , mα  → z (.) , m0 Dùng mệnh đề 4.2.1 ta kết luận lưới { z (.) , m (.)} chứa lưới hội tụ yếu* { z (.) , m (.)} điều nghĩa α α c ∈C = C (T , R l ) (là không gian hàm liên tục): Z → c (.) z (.) , m0 c (.) z (.) , mα  Do C z (.) , mα  → z (.) , m0 Và ta có Z-tô pô CZ-tô pô tương đương M z tập C-đóng Hệ 4.2.1 Giả sử Z thỏa điều kiện Lấy K ∈ dec (T , R l ) Khi tồn đếm tập { zn } ⊂ Z {ψ n } ⊂ L1 (T ) thỏa mãn ( 4.3)   l clz K =  m ∈ M (T , R ) : m, zn ≤ ∫ψ n ( t )m ( dt )  n =1   T ∞ Chứng minh: Do mệnh đề 4.2.2, tất tập   l Mz = m ∈ M (T , R ) : m, z ≤ ∫ψ z ( t )m ( dt )    T C-đóng Kí hiệu B ( j ) cầu đóng M (T , R l ) = C * (T , R l ) bán kính j Khi C-tô pô B ( j ) khả mê tríc tồn tập đếm Φ j ⊂ Z thỏa mãn B ( j ) ∩ clz K = B ( j ) ∩     m ∈ M (T , R ) : z∈Φ j Ta giả thiết {ψ z }z∈Φ ⊂ L1 (T ) Đặt { zn }= j tập đếm thỏa (4.3) Định lý 4.2.2 Footer Page 50 of 114 l  m, z ≤ ∫ψ z ( t )m ( dt )   T ∞ ∞ j =1 j =1  Φ j {ψ n } = {ψ z }z∈Φ , ta thu j Header Page 51 of 114 47 Một tập K ∈ dec (T , R l ) Z-đóng K = K P , với P : T → clco ( R l ) có công thức ∞ { P (t ) =  x ∈ R l : x, zn ( t ) ≤ ψ n ( t ) h.k n T n =1 } { zn } ⊂ Z {ψ n } ⊂ L1 (T ) Chứng minh Nếu K ∈ dec (T , R l ) Z-đóng theo công thức (4.3) ta có điều cần chứng minh Ngược lại, giả sử K = K P với P có dạng mô tả Ta chứng minh K Z Z-đóng Lấy tùy ý uα  → u0 , {uα } ⊂ K cố định tùy ý n ∈ N , Z →ψ n (.) − zn (.) , u0 (.) ≤ ψ n (.) − zn (.) , uα (.)  Và với n ∈ N ta bất đẳng thức z n ( t ) , u0 ( t ) ≤ ψ n ( t ) hầu khắp nơi T Như u0 ∈ K 4.3 Ánh xạ phân tích Ls (T ) gọi phân tích Định nghĩa 4.3.1 Một ánh xạ k : Lp (T , X ) → Ls (T , R ) = với u , v ∈ K A∈ ∑ , ta có: k ( χ Au + (1 − χ A ) v ) ≤ χ A k ( u ) + (1 − χ A ) k ( v ) Ví dụ ánh xạ toán tử Niemytski N ( u )(.) = f (., u (.) ) với f : T × X → R hàm L ⊗ B đo thỏa mãn p | f (t, u (t )) | ≤ a (t ) + M | u (t ) | s a ∈ Ls (T ) M ≥ Footer Page 51 of 114 Header Page 52 of 114 48 Ngược lại, ta dễ dàng kiểm tra ánh xạ k0 : L1 ( I ) → L1 ( I ) cho công u ) 0, u ≠ k0 (= phân tích Và với u = χ A , v = − χ A với k0 ( ) = thức  < µ ( A ) < µ (T ) ta có k0 ( χ Au + (1 − χ A ) v ) ≤ χ A k0 ( u ) + (1 − χ A ) k0 ( v ) Mục đích xét ánh xạ phân tích đến từ phép tính biến phân đại Trong nhiều trường hợp liên quan đến hàm khả tích liên tục nửa liên tục đặc trưng tính chất hàm khả tích I ( u ) = ∫ f ( t , u ( t ) ) µ ( dt ) Nó mạnh, T yếu tô pô yếu L1 (T ) Toán tử Niemytski thỏa mãn điều kiện N ( χ Au + (1 − χ= v χ A N ( u ) + (1 − χ A ) N ( v ) A) ) điều kiện tương tự ánh xạ affine giải tích lồi Định nghĩa 4.3.2 Một ánh xạ k : Lp (T , X ) → Ls (T , R ) gọi affine-phân tích với u , v ∈ Lp (T , X ) A∈ ∑ , ta có: k ( χ Au + (1 − χ A= ) v ) χ Ak ( u ) + (1 − χ A ) k ( v ) Mệnh đề 4.3.1 Ánh xạ k : Lp (T , X ) → Ls (T , R ) gọi phân tích với L-epigraph epi ( k ) = {( u, v ) ∈ Lp (T , X ) × Ls (T , R ) : v ( t ) ≥ k ( u )( t ) h.k n T } phân tích Chứng minh: ⇒ Đặt K = epi ( k ) Lấy ( u1 , v1 ) , ( u2 , v2 ) ∈ K tùy ý tập A∈ L Khi vi ( t ) ≥ ki ( u )( t ) h.k n T , i = 1,2 Footer Page 52 of 114 Header Page 53 of 114 49 k ( χ Au1 + (1 − χ A ) u2 ) ≤ χ A k ( u1 ) + (1 − χ A ) k ( u2 ) ≤ χ Av1 + (1 − χ A ) v2 chứng tỏ χ A ( u1 , v1 ) + (1 − χ A )( u2 , v= 2) ( χ u + (1 − χ ) u , χ v + (1 − χ ) v ) ∈ K A A A A ⇐ Ngược lại, u1 , u2 ∈ Lp (T , X ) A∈ L ta có ( χ u + (1 − χ ) u , χ k ( u ) + (1 − χ ) k ( u ) ) = χ ( u , k ( u ) ) + (1 − χ ) ( u , k ( u ) ) ∈ K Chứng tỏ : k ( χ u + (1 − χ ) u ) ≤ χ k ( u ) + (1 − χ ) k ( u ) A A A A A A A A A 2 A 4.4 Phiếm hàm phân tích Ta áp dụng ví dụ ánh xạ nửa liên tục Z-tô pô hàm khả tích có dạng I ( u ) = ∫ k ( u ) µ ( dt ) T ( ) epi ( I ) = E= {( u, r ) ∈ L (T , R ) × R : r ≥ I ( u )} với k : L1 (T , R l ) → L1 T , R ánh xạ phân tích Hàm I định nghĩa epigraph ( 4.4 ) l Trong ánh xạ k mô tả L-epigraph Epi ( I ) = K= {( u, v ) ∈ L1 (T , Rl × R ) : v ( t ) ≥ k ( u )( t ) h.k.n T } ( 4.5) Trên ta xét Z × C − tô pô với C = C (T ) Trong trường hợp ta xét M (T ) = C * (T ) tô pô yếu* L1 (T ) ⊂ M (T ) trùng với C-tô pô Ta có giả thiết sau Điều kiện Có u0 ∈ L1 (T , R l ) thỏa mãn k ( u0 ) ∈ L1 (T , R ) Cho tập K phân tích cho (4.5) công thức (4.1) sau Footer Page 53 of 114 Header Page 54 of 114 50 clZ ×C K =   l ( m, m0 ) ∈ M (T , R × R ) : m, z + m0 , c ≤ ∫ψ ( z ,c ) ( t )m ( dt )  ( z ,c )∈Z ×C   T  = biểu diễn ta phải tạo vài mối liên hệ rút gọn giá trị c Từ điều kiện ta có ∀w ∈ R + : ( u0 , k ( u0 ) + w ) ∈ K Cố định ( z , c ) ∈ Z × C Do ∀w ≥ ta có z , u0 + k ( u0 ) + w, c ≤ ∫ψ ( z ,c ) ( t )µ ( dt ) T Chia hai vế cho w > qua giới hạn w → ∞ ta có c ( t ) ≤ ∀t ∈ T Hơn ta thu ánh xạ = ψ ( z ,c ) ess sup { z , u + v, c : ( u, v ) ∈ K } c→ liên tục (nếu hữu hạn) ta giả thiết c ( t ) < ∀t ∈ T Đặt {c ∈ C : c ( t ) > ∀t ∈ T } C = + Khi ta có clZ ×C K =  = z∈Z ,c∈C +   l ( m, m0 ) ∈ M (T , R × R ) : m, z − m0 , c ≤ ∫ψ ( z ,c ) ( t )m ( dt )    T Chứng minh tương tự hệ 4.2.1 định lý 4.2.2 ta có Định lý 4.4.1 K ∈ dec (T , R l ) cho (4.5) Khi tồn tập đếm { zn } ⊂ Z ,{cn } ∈ C+ {ψ n } ⊂ L1 (T ) thỏa mãn clZ ×C K = =  n =1  ∞  ( m, m ) ∈ M (T , R Footer Page 54 of 114 l  × R ) : m, zn − m0 , cn ≤ ∫ψ n ( t )m ( dt )   T Header Page 55 of 114 51 Hơn K Z-đóng K = K P với P : T → clco ( R l ) có biểu diễn P (t ) = {( x, y ) ∈ R ∞ n =1 l × R : x, zn ( t ) − ycn ( t ) ≤ y n ( t ) h.k n T } Bây ta có kết liên quan đến ánh xạ nửa liên tục Z-tô pô hàm khả tích I ( u ) = ∫ k ( u ) µ ( dt ) T ( với hàm khả tích cho ánh xạ phân tích k : L1 (T , R l ) → L1 T , R ) Định lý 4.4.2 Giả sử Z thỏa điều kiện 1, ánh xạ phân tích ( ) k : L1 (T , R l ) → L1 T , R thỏa điều kiện Khi với I ( u ) = ∫ k ( u ) µ ( dt ) điều kiện sau tương đương : T (1) I : L1 (T , R l ) → R ∪ {+∞} nửa liên tục Z-tô pô (2) L-epigraph Epi=K cho (4.5) Z × C -đóng (3) Có hàm { zn } ⊂ Z ,{cn } ∈ C+ {ψ n } ⊂ L1 (T ) n=1,2,…,để mà ( ∀u ∈ L1 (T , R l ) : k ( u )( t= ) sup −ψ n ( t ) + cn ( t ) zn ( t ) , u ( t ) ) h.k.n T (4) Epigraph epi ( I ) = E cho (4.4) Z × R -đóng lồi Chứng minh Lấy {( u ( 4.6 ) α , vα )} ⊂ K lưới Z × C − hội tụ đến ( u0 , v0 ) Ta cần chứng minh v0 ( t ) ≥ k ( u0 )( t ) h.k n T Nhưng với α ta có vα ( t ) ≥ k ( uα )( t ) h.k n T Và đó: Footer Page 55 of 114 Header Page 56 of 114 52 uα ) ||1 lim sup ∫ ( vα ( t ) − k ( uα ) ) m ( dt ) ≤ lim sup || vα − k (= T ≤ ∫ v0 ( t ) m ( dt ) − I ( u0 ) T Nghĩa lưới {vα − k ( uα )} bị chặn L1 (T ) C-compact Vì qua lưới , ta giả sử k ( u0 ) C-hội tụ đến độ đo m Do C vα − k ( uα )  → v0 − m Nhưng vα − k ( uα ) ≥ v0 − m ≥ Với ma phần tuyệt đối m , ta có ( 4.7 ) v0 ( t ) ≥ dma ( t ) h.k n T , dt với ms ≤ Ta có dma ( t ) ≥ k ( u0 )( t ) h.k n T dt với (4.5) chứng tỏ (4.6) Để chứng minh điều nói , định lý 4.4.1, tồn dãy { zn } ⊂ Z ,{cn } ∈ C+ {ψ n } ⊂ L1 (T ) clZ ×C K = =  n =1  ∞  ( m, m ) ∈ M (T , R Kí hiệu: P = (t ) l  × R ) : m, zn − m0 , cn ≤ ∫ψ n ( t )m ( dt )   T {( x, r ) ∈ R ∞ n =1 l × R : x, zn ( t ) − rcn ( t ) ≤ ψ n ( t ) h.k n T Cố định n ý α bất đẳng thức uα , zn ( t ) − vα cn ( t ) ≤ uα , zn ( t ) − kuα ( t ) cn ( t ) ≤ ψ n ( t ) h.k n T Z Nhưng điều kiện 1, uα , zn ( t )  → u0 , zn ( t ) ta giả sử C uα , zn ( t )  → u0 , z n ( t ) Qua giới hạn ta thu Footer Page 56 of 114 } Header Page 57 of 114 53 C uα (.) , zn (.) − vα (.) cn (.)  → u0 (.) , zn (.) − m, cn (.) u0 (.) , zn (.) − v0 (.) cn (.) ≤ u0 (.) , zn (.) − m, cn (.) ≤ ψ n (.) Từ bất đẳng thức , ta thấy với n: ms , cn = Do C → va cn  dma cn dm hay v0 = dma dm Hơn u0 ( t ) , zn ( t ) − v0 ( t ) cn ( t ) ≤ ψ n ( t ) h.k n T Nghĩa ( u ( t ) , v ( t ) )∈ P ( t ) 0 h.k n T Theo định lý 4.4.1, ta có K = K p Nhưng điều cho ta (4.6) Hoàn tất chứng minh (1) ⇒ ( ) ( ) ⇒ ( 3) Giả sử K Z × C − đóng, ta dùng định lý 4.4.1 để chứng tỏ K = K p , P = (t ) {( x, r ) ∈ R ∞ n =1 l × R : x, zn ( t ) − rcn ( t ) ≤ ψ n ( t ) h.k n T } với { z } ⊂ Z ,{c } ∈ C n n + {ψ n } ⊂ L1 (T ) Khi với u ∈ L1 (T , R l ) , điểm ( u , k ( u ) ) ∈ K , với n ∈ N : u ( t ) , zn ( t ) − k ( u )( t ) cn ( t ) ≤ ψ n ( t ) h.k n T Footer Page 57 of 114 Header Page 58 of 114 c n = Kí hiệu 54  ,ψn = ψ n ,ta thu cn cn ( 4.8) k ( u )( t ) ≥ −ψ ( t ) + c ( t ) u ( t ) , z ( t ) n n n h.k n T Đặt ( k ( u ) =sup −ψ n ( t ) + c n ( t ) u ( t ) , zn ( t ) ) lưu ý (4.8) dẫn đến k ( u )( t ) ≥ k ( u )( t ) h.k n T Ta chứng minh k ( u )( t ) = k ( u )( t ) h.k n T Ta kiểm tra K ( u, k ( u ) ) ∈ K = p Giả sử trái lại ( u, k ( u ) ) ∉ K p ta kết luận với n u ( t ) , zn ( t ) − cn ( t ) k ( u )( t ) >ψ n ( t ) với t lấy từ tập T0 có độ đo dương Do k ( u )( t ) < −ψ n ( t ) + c n ( t ) u ( t ) , zn ( t ) trái với định nghĩa k ( u ) Do ta có (3) (3) ⇒ (4) Giả sử ( k ( u )( t ) =sup −ψ n ( t ) + cn ( t ) zn ( t ) , u ( t ) với { zn } ⊂ Z ,{cn } ∈ C+ {ψ n } ⊂ L1 (T ) Footer Page 58 of 114 ) Header Page 59 of 114 55 Ta chứng minh = = E epi (I ) {( x, r ) ∈ L (T × R ) × R : − r + c ( t ) ∞ = zn ( t ) , u ( t ) ≤ ψ n ( t ) h.k n T l n n =1 } Kí hiệu vế phải công thức E0 Nếu ( u , r ) ∈ E0 ∀n ∈ N ta có: −ψ n ( t ) + cn ( t ) zn ( t ) , u ( t ) ≤ r h.k n T epi I Do Do k ( u )( t ) ≤ r , nghĩa ( u , r ) ∈ E = E0 ⊂ E Để thấy bao hàm thức ngược lại, lưu ý từ mệnh đề 4.1.2 ta có  {( u, r ) ∈ L (T , R ) × R : ς r + ς clcoZ ×= E) R( l ( z , )∈Z × R =  ς {( u, r ) ∈ L (T , R ) × R : ς r + ( z ,c , )∈Z ×C × R z , u ≤ cE ( z , ς )} l cz , u ≤ cE ( cz , ς )} Đẳng thức sau từ mệnh để 4.2.2, từ Z-tô pô CZ-tô pô tương đương Làm giản ước tương tự chứng minh định lý 4.4.1, ta giả sử lấy ( z , c, ς ) ∈ Z × C + × R− Do tính dương hàm support ta có clcoZ ×R ( E ) = =  {( u, r ) ∈ L (T , R ) × R : − r + ( z ,c )∈Z ×C+ l cz , u ≤ cE ( cz , −1)} ⊂ ⊂ {( u , r ) ∈ L1 (T , R l ) × R : − r + cn zn , u ≤ cE ( cn zn , −1)} ∞ n =1 Nhưng cE ( cn zn , −1= ) sup{−r + cn zn , u : ( u, r ) ∈ E}   =sup  ∫ −k ( u )( t ) + cn ( t ) zn ( t ) , u ( t ) µ ( dt ) : u ∈ L1 (T , R l )  ≤ T  ≤ ∫ψ n ( t ) µ ( dt ) ) ( T Footer Page 59 of 114 Header Page 60 of 114 56 clcoZ ×R ( E ) ⊂ ∞ { ⊂  ( u , r ) ∈ L1 (T , R ) × R : − r + cn ( t ) zn ( t ) , u ( t ) ≤ ψ n ( t ) h.k n T n =1 Vì clcoZ ×R ( E ) = E0 Tính chất (4) chứng minh ( ) ⇒ (1) rõ ràng Footer Page 60 of 114 } Header Page 61 of 114 57 KẾT LUẬN Luận văn dựa vào tài liệu Fixed Point Theory for Decomposable Sets Anderzej.Fryszkowski Trong trình bày vấn đề tập phân tích tính chất nó, tồn lát cắt đơn trị (hàm chọn) ánh xạ đa trị với giá trị tập phân tích được, xét lát cắt liên tục có tính chất Caratheodory, tồn điểm bất động ánh xạ đa trị có giá trị phân tích được, số tính chất tô pô tập phân tích được, phiếm hàm ánh xạ phân tích Vì lần thực làm quen với việc nghiên cứu khoa học cách có hệ thống nên khó tránh khỏi sai sót Kính mong quý Thầy Cô bạn đóng góp ý kiến, xin chân thành cảm ơn Footer Page 61 of 114 Header Page 62 of 114 58 TÀI LIỆU THAM KHẢO Tiếng Việt Nguyễn Bích Huy (2013), Giáo trình môn Giải tích hàm nâng cao dành cho học viên cao học Nguyễn Bích Huy (2013), Giáo trình môn Giải tích thực dành cho học viên cao học Lê Hoàn Hoá (2010), Giáo trình môn Giải tích phi tuyến dành cho học viên cao học Hoàng Tụy, Hàm thực Giải tích hàm, NXB Đại học quốc gia Hà Nội Tiếng Anh Anderzej.Fryszkowski Fixed Point Theory for Decomposable Sets Kluwer Academic Publishers, 2004 Footer Page 62 of 114 ... rỗng Và từ mệnh đề 1.1.1 ta thấy giao tùy ý tập phân tích phân tích được, nên K ⊂ Lp (T , X ) tồn tập phân tích nhỏ tập đóng phân tích nhỏ chứa K (chính giao tất tập phân tích chứa K giao tất tập. .. trị phân tích  Chương Giải tích tập phân tích Chương nêu số tính chất tô pô tập phân tích được, phiếm hàm ánh xạ phân tích Footer Page of 114 Header Page of 114 Chương TẬP HỢP PHÂN TÍCH ĐƯỢC... Chương GIẢI TÍCH TRÊN CÁC TẬP PHÂN TÍCH ĐƯỢC 40 4.1.Các khái niệm kết sử dụng 40 4.2.Bao đóng yếu tập phân tích 41 4.3 Ánh xạ phân tích 47 4.4 Phiếm hàm phân tích