Nghiệm β nhớt của phương trình hamilton jacobi và ứng dụng trong bài toán điều khiển tối ưu

116 86 0
Nghiệm β nhớt của phương trình hamilton jacobi và ứng dụng trong bài toán điều khiển tối ưu

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI ——————— * ——————— PHAN TRỌNG TIẾN NGHIỆM β -NHỚT CỦA PHƯƠNG TRÌNH HAMILTON-JACOBI VÀ ỨNG DỤNG TRONG BÀI TOÁN ĐIỀU KHIỂN TỐI ƯU LUẬN ÁN TIẾN SĨ TOÁN HỌC Hà Nội - 2020 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI ——————— * ——————— PHAN TRỌNG TIẾN NGHIỆM β -NHỚT CỦA PHƯƠNG TRÌNH HAMILTON-JACOBI VÀ ỨNG DỤNG TRONG BÀI TỐN ĐIỀU KHIỂN TỐI ƯU LUẬN ÁN TIẾN SĨ TOÁN HỌC Chun ngành: Tốn Giải tích Mã số: 46 01 02 NGƯỜI HƯỚNG DẪN KHOA HỌC TS Trần Văn Bằng PGS.TS Hà Tiến Ngoạn Hà Nội - 2020 LỜI CAM ĐOAN Tơi xin cam đoan cơng trình nghiên cứu tơi, hồn thành hướng dẫn TS Trần Văn Bằng PGS.TS Hà Tiến Ngoạn Các kết trình bày luận án chưa cơng bố luận văn, luận án khác Nghiên cứu sinh Phan Trọng Tiến LỜI CẢM ƠN Luận án thực Trường Đại học Sư phạm Hà Nội 2, hướng dẫn khoa học thầy giáo TS Trần Văn Bằng PGS.TS Hà Tiến Ngoạn Sự định hướng quý Thầy nghiên cứu, nghiêm khắc Thầy học tập hướng dẫn tận tình quý Thầy làm việc yếu tố tác động nên việc hoàn thành luận án Tác giả xin bày tỏ lòng biết ơn chân thành sâu sắc đến với Thầy Tác giả xin chân thành cảm ơn GS.TSKH Đinh Nho Hào (Viện Toán học), PGS.TS Khuất Văn Ninh, PGS.TS Nguyễn Năng Tâm, TS Nguyễn Văn Tuyên (Trường ĐHSP Hà Nội 2), TS Trần Quân Kỳ (Trường ĐHSP Huế), GS.TS Cung Thế Anh, PGS.TS Trần Đình Kế (Trường ĐHSP Hà Nội), PGS.TS Đỗ Đức Thuận (Trường ĐH Bách Khoa Hà Nội) động viên cho tác giả góp ý, kinh nghiệm nghiên cứu khoa học giúp tác giả hoàn thành luận án Tác giả xin bày tỏ lòng biết ơn chân thành tới thầy, cô khoa Toán, trường Đại học Sư phạm Hà Nội 2, tạo điều kiện thuận lợi giúp đỡ tác giả thời gian học tập nghiên cứu Đặc biệt, tác giả xin chân thành cảm ơn anh chị nghiên cứu sinh thành viên Xêmina Giải tích, khoa Tốn, Trường Đại học Sư phạm Hà Nội 2, trao đổi, chia sẻ khoa học sống Tác giả gửi lời cảm ơn đến Khoa Tốn, Phòng Đào tạo - Trường Đại học Sư phạm Hà Nội 2, nơi tác giả học tập nghiên cứu thời gian làm nghiên cứu sinh; Trường Đại học Quảng Bình khoa Khoa học Tự nhiên Trường Đại học Quảng Bình, nơi tác giả công tác, giảng dạy nơi cử tác giả làm nghiên cứu sinh Tác giả gửi lời cảm ơn đến tất nhà khoa học, thầy cơ, người thân, bạn bè góp ý, ủng hộ động viên tinh thần vật chất dành cho tác giả Mục lục Lời cam đoan Lời cảm ơn Mục lục MỞ ĐẦU Chương DƯỚI VI PHÂN β -NHỚT 15 1.1 Tính β -khả vi 15 1.2 Dưới vi phân β -nhớt 22 Chương NGHIỆM β -NHỚT CỦA PHƯƠNG TRÌNH HAMILTONJACOBI TRONG KHÔNG GIAN BANACH 36 2.1 Tính nghiệm β -nhớt 36 2.1.1 Nghiệm β -nhớt 37 2.1.2 Nghiệm bị chặn 40 2.1.3 Nghiệm không bị chặn 46 2.2 Tính ổn định tồn nghiệm β -nhớt 59 2.2.1 Tính ổn định 59 2.2.2 Sự tồn 60 Chương ỨNG DỤNG CỦA NGHIỆM β -NHỚT ĐỐI VỚI BÀI TOÁN ĐIỀU KHIỂN TỐI ƯU 67 3.1 Bài toán điều khiển tối ưu với thời gian vô hạn 67 3.1.1 Bài toán điều khiển tối ưu-nguyên lý quy hoạch động Bellman với hàm giá trị trơn 67 3.1.2 Tính chất hàm giá trị tốn điều khiển tối ưu 70 3.2 Ứng dụng nghiệm β -nhớt toán điều khiển tối ưu 72 Chương PHƯƠNG TRÌNH HAMILTON-JACOBI VỚI BÀI TỐN ĐIỀU KHIỂN TỐI ƯU TRÊN KHỚP NỐI VỚI HÀM CHI PHÍ KHÔNG BỊ CHẶN 83 4.1 Bài toán điều khiển tối ưu khớp nối 83 4.1.1 Khớp nối 83 4.1.2 Bài toán điều khiển tối ưu 84 4.1.3 Một số tính chất hàm giá trị đỉnh 88 4.2 Phương trình Hamilton-Jacobi nghiệm nhớt 92 4.2.1 Hàm thử 92 4.2.2 Trường véctơ 93 4.2.3 Định nghĩa nghiệm nhớt 93 4.2.4 Hàm Hamilton 94 4.3 Nguyên lý so sánh tính 98 4.4 Ứng dụng nghiệm nhớt toán điều khiển tối ưu 103 DANH MỤC CƠNG TRÌNH KHOA HỌC CỦA TÁC GIẢ LIÊN QUAN ĐẾN LUẬN ÁN 109 KÍ HIỆU RN Khơng gian Euclide N chiều; ei Véctơ đơn vị thứ i RN ; Ω Tập mở không gian Banach X với biên ∂ Ω; C (Ω) C (Ω) DF+ u(x) DF− u(x) β Dβ+ u(x) Dβ− u(x) B (x, r) B (x, r) ∇β f τβ Xβ∗ Dβ (X ) Dβ∗ (X ) Hβ Hβ∗ diam(S ) Không gian hàm liên tục Ω; β -đạo hàm hàm f ; Tôpô X ∗ tương ứng với hội tụ β ; Không gian véctơ tôpô (X ∗ , τβ ); Tập hàm bị chặn, Lipschitz, β -khả vi X ; Tập hàm g ∈ Dβ (X ); ∇β g : X → Xβ∗ liên tục; Tồn hàm bướu b ∈ Dβ (X ); Tồn hàm bướu b ∈ Dβ∗ (X ); Đường kính tập S : sup{ x − y : x, y ∈ S}; t.ư Tương ứng; h.k.n Hầu khắp nơi; a∨b L(x, y ) Lp lp max{a, b}; Không gian hàm khả vi liên tục tập Ω; Trên vi phân Fréchet hàm u x; Dưới vi phân Fréchet hàm u x; Borno β X ; Trên vi phân β -nhớt hàm u x; Dưới vi phân β -nhớt hàm u x; Hình cầu đóng tâm x bán kính r; Hình cầu mở tâm x bán kính r; Đoạn thẳng nối hai điểm x, y ; Không gian hàm f đo |f |p khả tích; Khơng gian dãy số thực (xn )n với ∞ n=1 |xn |p hội tụ MỞ ĐẦU Lý chọn đề tài Phương trình Hamilton-Jacobi cấp một lớp phương trình đạo hàm riêng phi tuyến có nhiều ứng dụng, xuất nhiều lĩnh vực học, điều khiển tối ưu, đặc biệt bao gồm lớp phương trình quy hoạch động toán điều khiển tối ưu tất định, thường gọi phương trình Hamilton-Jacobi-Bellman Nói chung, lớp phương trình Hamilton-Jacobi phi tuyến thường khơng có nghiệm cổ điển Do loại nghiệm yếu nhiều nhà tốn học quan tâm nghiên cứu nghiệm nhớt số Lý thuyết nghiệm nhớt phương trình đạo hàm riêng xuất từ đầu năm 80 kỷ trước báo [23] M G Crandall P L Lions, đơng đảo chuyên gia toán học thừa nhận tiếp tục phát triển, ngồi nước có M G Crandall, P L Lions, J M Borwein, D Preiss, L.C Evans, [18, 20, 22, 25, 26, 30] nước có T D Vân, N Hoàng, T V Bằng, [7, 8, 32] Sở dĩ đặt tên "nghiệm nhớt" lớp phương trình xét ban đầu nghiệm trùng với nghiệm tìm phương pháp triệt tiêu độ nhớt Nghiệm nhớt khái niệm nghiệm suy rộng phù hợp cho nhiều lớp phương trình đạo hàm riêng phi tuyến Nghiệm nhớt nói chung hàm liên tục, thỏa mãn cặp bất đẳng thức vi phân thông qua hàm thử đủ trơn qua khái niệm vi phân, vi phân Trong [23], khái niệm nghiệm nhớt định nghĩa cách sử dụng vi phân Fréchet, sau nhà toán học mở rộng cách thay vi phân Fréchet loại vi phân khác vi phân Hadamard, Hadamard yếu, Gâteaux tổng quát hóa β -dưới vi phân (xem [18]), với β borno (xem mục 1.2.) Đối với phương trình Hamilton-Jacobi, có hai tốn thường nghiên cứu, tốn Dirichlet u + H (x, u, Du) = Ω, u = ϕ ∂ Ω toán Cauchy ut + H (x, u, Du) = Ω × [0, T ], u = ϕ ∂ Ω × [0, T ], u(x, 0) = u0 Ω Trong luận văn tập trung nghiên cứu tốn Dirichlet Thực tế cho thấy, nghiên cứu tính đặt chỉnh toán Dirichlet lý thuyết nghiệm nhớt, vấn đề nghiệm phức tạp nhất, tồn nói chung giải nhờ phương pháp Perron ([34]) phụ thuộc liên tục vào kiện hệ khơng q khó tính nghiệm Phương pháp để chứng minh tính nghiệm phương pháp gấp đơi số biến Theo phương pháp này, điểm quan trọng tìm hàm phạt thích hợp để đạt mục đích đặt với nguyên lý biến phân tương ứng với lớp hàm liên quan tới toán xét Từ năm 1993, nguyên lý biến phân trơn chứng minh Deville [26] sử dụng công cụ quan trọng để chứng minh tính nghiệm β -nhớt phương trình Hamilton-Jacobi có dạng u+F (Du) = f, với giả thiết hàm Hamilton F liên tục Xβ∗ vế phải f liên tục bị chặn X lớp nghiệm lớp hàm liên tục bị chặn Cũng sử dụng nguyên lý Borwein [19] chứng minh tính nghiệm β -nhớt lớp hàm liên tục bị chặn phương trình u + H (x, Du) = Tuy nhiên, không cần thiết phải áp dụng ngun lý cho phương trình có dạng tổng quát u + H (x, u, Du) = tập Ω ⊂ X, [20], Crandall Lions thiết lập tính nghiệm Fréchet-nhớt cho phương trình Hamilton-Jacobi có dạng tổng qt cách sử dụng tính chất Radon-Nikodym giả thiết Tính chất Radon-Nikodym hiểu hàm ϕ nhận giá trị thực hình cầu đóng B X hàm bị chặn, nửa liên tục ε > 0, tồn phần tử x∗ ∈ X ∗ có chuẩn khơng vượt q ε cho ϕ + x∗ đạt cực tiểu B Bài toán điều khiển tối ưu giới thiệu vào năm 1950 (xem [14]) J Zabczyk trình bày tương đối hồn thiện không gian hữu hạn chiều không gian Hilbert (xem [42]), tốn có nhiều ứng dụng Toán học, Vật lý lĩnh vực khác Theo nguyên lý quy hoạch động, hàm giá trị toán điều khiển tối ưu khả vi nghiệm phương trình Hamilton-Jacobi-Bellman tương ứng, xem [19, 30] Tuy nhiên, hàm giá trị thường không khả vi, số phương pháp khác giới thiệu để nghiên cứu hàm giá trị Nghiệm nhớt lần công cụ hiệu để nghiên cứu lý thuyết điều khiển tối ưu Trong [10], tác giả đưa điều kiện cần, đủ cho toán điều khiển tối ưu không gian hữu hạn chiều cách sử dụng vi phân Fréchet mà công cụ tiếp cận sử dụng nghiệm nhớt Tiếp cận toán điều khiển tối ưu thông qua nghiệm nhớt vi phân khác chưa nhiều, đặc biệt hàm giá trị không bị chặn Về áp dụng nghiệm nhớt kể đến Y Achdou, S Oudet [4], Khang [35] nghiên cứu nghiệm nhớt khớp nối, mạng lưới thu kết đáng ý áp dụng vào toán điều khiển tối ưu với thời gian vô hạn Y Giga, T Namba [29] áp dụng thành công lý thuyết nghiệm nhớt cho phương trình Hamilton-Jacobi với đạo hàm phân thứ theo nghĩa Caputo Áp dụng nghiệm nhớt cách hiệu toán điều khiển tối ưu ngẫu nhiên (xem [5]) Gần phương trình Hamilton-Jacobi khớp nối mạng lưới nghiên cứu nhiều cơng trình [2, 3, 4, 11, 12, 35, 37] Trong cơng trình đó, tác giả tập trung giải tính chất hàm giá trị toán điều khiển tối ưu, nguyên lý so sánh nghiệm nhớt toán điều khiển tối ưu trường hợp hàm chi phí bị chặn Mặc dù đạt số kết quan trọng song dường giả thiết đưa cơng trình tương đối chặt Với phân tích trên, chúng tơi đặt vấn đề nghiên cứu β -dưới vi phân, tính nghiệm β -nhớt toán Dirichlet phương trình Hamilton-Jacobi có dạng u + H (x, Du) = u + H (x, u, Du) = 0, tính ổn định tồn nghiệm β -nhớt chúng tơi quan tâm Ngồi nghiệm β -nhớt có nhiều ứng dụng toán điều khiển δ (ε) ≥ max{u(x) − v (x) − 2γ (µ(x))} − Ji 2ε δ (ε) ≥ u(O) − v (O) − 2γµ(O) − (4.6) 2ε Từ u(O) − v (O) > 0, vế phải (4.6) dương ε, γ đủ nhỏ Ta kết luận từ bất đẳng thức tính bị chặn u v S, tồn số K > cho (−|xi,ε,γ | + |yi,ε,γ | + δ (ε))2 K ≥ u(xi,ε,γ ) − v (yi,ε,γ ) ≥ 2ε 2εK ≥ (−|xi,ε,γ | + |yi,ε,γ | + δ (ε))2 Khi ta lấy dãy (xi,ε,γ )ε , (yi,ε,γ )ε chúng ký hiệu (xi,ε,γ )ε , (yi,ε,γ )ε , cho xi,ε,γ , yi,ε,γ → xγ ε → 0, với xγ ∈ Ji Theo bất đẳng thức (4.6) ta có u(xi,ε,γ ) − v (yi,ε,γ ) − (−|xi,ε,γ | + |yi,ε,γ |)δ (ε) − γ (µ(xi,ε,γ ) + µ(yi,ε,γ )) ε ≥ u(O) − v (O) − 2γµ(O) Cho ε → ta có u(xγ ) − v (xγ ) − 2γµ(xγ ) ≥ u(O) − v (O) − 2γµ(O) Kết hợp với bất đẳng thức (4.5) ta có 2γµ(O) − 2γµ(xγ ) ≥ (u(O) − v (O)) − (u(xγ ) − v (xγ )) ≥ 0, điều dẫn đến µ(O) ≥ µ(xγ ) Theo định nghĩa µ, bất đẳng thức dẫn đến xγ = O Từ (4.6) ta có u(xi,ε,γ ) − v (yi,ε,γ ) − (−|xi,ε,γ | + |yi,ε,γ |)δ (ε) ε − γ (µ(xi,ε,γ ) + µ(yi,ε,γ )) (−|xi,ε,γ | + |yi,ε,γ |)2 ≥ u(O) − v (O) − 2γµ(O) + (4.7) 2ε Cho ε → (4.7) ta có (−|xi,ε,γ | + |yi,ε,γ |)2 lim = ε→0 2ε Ta kết luận ε > 0, xi,ε,γ = O Thật vậy, giả sử phản chứng xi,ε,γ = O 100 (i) Nếu yi,ε,γ > 0, (|yi,ε,γ | + δ (ε))2 − γ (µ(O) + µ(yi,ε,γ )) 2ε δ (ε)2 ≥ u(yi,ε,γ ) − v (yi,ε,γ ) − − γ 2µ(yi,ε,γ ) 2ε u(O) − v (yi,ε,γ ) − Từ u liên tục Lipschitz B (O, r) ∩ Ji , ta thấy với ε đủ nhỏ |yi,ε,γ |2 |yi,ε,γ |δ (ε) + + γ (µ(O) − µ(yi,ε,γ )) L0 |yi,ε,γ | ≥ u(O) − u(yi,ε,γ ) ≥ 2ε ε |yi,ε,γ |δ (ε) ≥ + γ (µ(O) − µ(yi,ε,γ )) (4.8) ε Chia hai vế (4.8) cho |yi,ε,γ | cho ε → ta có L0 ≥ L0 + − γ Điều mâu thuẫn với γ ∈ 0, (ii) Ngược lại, yi,ε,γ = O, δ (ε)2 u(O) − v (O) − − 2γµ(O) 2ε ≥ u(εei ) − v (O) − (−ε + δ (ε))2 − γ (µ(εei ) + µ(O)) 2ε Từ u liên tục Lipschitz B (O, r) ∩ Ji , ta thấy với ε đủ nhỏ L0 ε ≥ u(O) −u(εei ) ≥ (−ε2 +2εδ (ε)) −γε−γ (µ(εei ) −µ(O)) (4.9) 2ε Chia hai vế (4.9) cho ε cho ε → ta có L0 ≥ − 12 + L0 + − γ điều mâu thuẫn với γ ∈ 0, Tiếp theo, ta xét hai trường hợp • Tồn số j ∈ Jj cho yj,ε,γ > Do kết luận chứng minh Tiếp theo ta áp dụng bất đẳng thức nghiệm nhớt cho u xj,ε,γ với v yj,ε,γ λu(xj,ε,γ ) + Hj xj,ε,γ , − −|xj,ε,γ | + |yj,ε,γ | + δ (ε) + γ|∇µ(xj,ε,γ )| ≤ ε 101 λv (yj,ε,γ ) + Hj yj,ε,γ , − −|xj,ε,γ | + |yj,ε,γ | + δ (ε) − γ|∇µ(yj,ε,γ )| ≥ ε Trừ hai bất đẳng thức ta có λu(xi,ε,γ ) − λv (yi,ε,γ ) −|xj,ε,γ | + |yj,ε,γ | + δ (ε) − γ|∇µ(yj,ε,γ )| ε −|xj,ε,γ | + |yj,ε,γ | + δ (ε) + γ|∇µ(xj,ε,γ )| − Hj xj,ε,γ , − ε −|xj,ε,γ | + |yj,ε,γ | + δ (ε) ≤ Hj yj,ε,γ , − + M γ|∇µ(yj,ε,γ )| ε −|xj,ε,γ | + |yj,ε,γ | + δ (ε) + M γ|∇µ(xj,ε,γ )| − Hj xj,ε,γ , − ε −|xj,ε,γ | + |yj,ε,γ | + δ (ε) ≤L |xj,ε,γ − yj,ε,γ | ε + w(|xj,ε,γ − yj,ε,γ |, R) + M γ (|∇µ(xj,ε,γ )| + |∇µ(yj,ε,γ )|) ≤ Hj yj,ε,γ , − Cho ε → ta λ(u(O) − v (O)) ≤ u(O) − v (O) ≤ 0, điều mâu thuẫn với (4.5) • Từ yj,ε,γ = với j = 1, · · · , N Hàm y → v (y ) + (−|xj,ε,γ | + |y| + δ (ε))2 + γµ(y ), 2ε y∈G đạt cực tiểu G Từ v nghiệm nhớt trên, ta có λv (O) + max Hj O, − j=1,··· ,N −|xj,ε,γ | + |yj,ε,γ | + δ (ε) + γ∇|µ(xj,ε,γ )| ≥ ε Như vậy, tồn số j cho λv (O) + Hj O, − −|xj,ε,γ | + |yj,ε,γ | + δ (ε) + γ|∇µ(xj,ε,γ )| ≥ ε Mặt khác, từ xj > u nghiệm nhớt ta có λu(xj,ε,γ ) + Hj −|xj,ε,γ | + |yj,ε,γ | + δ (ε) xj,ε,γ , − + γ|∇µ(xj,ε,γ )| ≤ ε Điều dẫn đến λu(xj,ε,γ ) − λv (O) ≤ Hj O, − −|xj,ε,γ | + |yj,ε,γ | + δ (ε) + γ|∇µ(xj,ε,γ )| ε 102 − Hj xj,ε,γ , − −|xj,ε,γ | + |yj,ε,γ | + δ (ε) + γ|∇µ(xj,ε,γ )| ε Bằng cách đánh giá bất đẳng thức giá trị hàm Hj theo bước giống trường hợp yj,ε,γ > ta có u(O) ≤ v (O) Chứng minh 2) giống chứng minh 1) cách lấy hàm µ(x) = (1 + |x|2 )m/2 với m < m Như Định lý 4.2 chứng minh 4.4 Ứng dụng nghiệm nhớt toán điều khiển tối ưu Định lý 4.3 Với x ∈ G (yx , α) ∈ Tx , hàm sau không giảm: s e−λt f (yx (t), α(t))dt + e−λs v (yx (s)), s→ s ∈ [0, ∞) Hơn hàm điều khiển α(·) tối ưu với vị trí ban đầu x s e−λt f (yx (t), α(t))dt + e−λs v (yx (s)), s ∈ [0, ∞) Chứng minh Đặt h(s) := Với α(·) ∈ U, theo Định lý 4.1 với thời điểm ban đầu yx (s) ε > 0, ta có ε e−λt f (yyx (s) (t), α(t + s))dt + e−λε v (yyx (s) (ε)) v (yx (s)) ≤ ε e−λt f (yx (t + s), α(t + s))dt + e−λε v (yyx (s) (ε)) = Nhân hai vế bất đẳng thức với e−λs > ta có ε −λs e e−λ(t+s) f (yx (t + s), α(t + s))dt + e−λ(ε+s) v (yyx (s) (ε)) v (yx (s,α)) ≤ ε+s e−λt f (yx (t), α(t))dt + e−λ(ε+s) v (yyx (s) (ε)) = (4.10) s s e−λt f (yx (t), α(t))dt vào hai vế bất đẳng thức (4.10), ta có Cộng s e −λs e−λt f (yx (t), α(t))dt v (yx (s)) + 103 ε+s e−λt f (yx (t), α(t))dt + e−λ(ε+s) v (yx (ε + s)), ≤ chúng tơi sử dụng tính chất yx (ε + s) = yyx (s) (ε) h(s) ≤ h(s + ε) Kết luận đầu Định lý 4.3 thực Nếu s e−λt f (yx (t), α(t))dt + e−λs v (yx (s)), h(s) = s ∈ [0, ∞) hàm hằng, h(s) = h(0) = v (x) Do s e−λt f (yx (t), α(t))dt + e−λs v (yx (s)), v (x) = s ∈ [0, ∞) Như vậy, α(·) tối ưu với vị trí ban đầu x Ngược lại, α(·) điều khiển tối ưu với x, s e−λt f (yx (t), α(t))dt + e−λs v (yx (s)) = h(s), h(0) = v (x) = tức h hàm Định lý 4.4 Với x ∈ G , α(·) điều khiển cho với (yx , α) ∈ Tx hàm giá trị v liên tục Lipschitz thỏa mãn lim inf + t→0 v (yx (s) + tf (yx (s), α(s))) − v (yx (s)) + (yx (s), α(s)) ≤ λv (yx (s)) t (4.11) với hầu khắp nơi s, α(·) tối ưu với thời điểm đầu x Chứng minh Ta chứng minh hàm s e−λt f (yx (t), α(t))dt + e−λs v (yx (s)), h(s) = s ∈ [0, ∞) (4.12) không tăng, tức h (s) ≤ hầu khắp nơi Từ v Lipschitz địa phương, h khả vi hầu khắp nơi v (yx (s + ε)) − v (yx (s)) , ε→0 ε h (s) = e−λs f (yx (s), α(s)) − λv (yx (s)) + lim 104 tồn số K thỏa mãn v (yx (t + ε)) − v (yx (t) + εf (yx (t))) ≤ K|yx (t + ε) − yx (t) − εf (yx (t))| Từ ta có lim+ ε→0 v (yx (s + ε)) − v (yx (s)) v (yx (t) + εf (yx (t))) − v (yx (s)) ≤ lim inf ε→0+ ε ε yx (t + ε) − yx (t) + K lim+ − f (yx (t)) ε→0 ε hay lim+ ε→0 v (yx (t) + εf (yx (t))) − v (yx (s)) v (yx (s + ε)) − v (yx (s)) ≤ lim inf + ε→0 ε ε Sử dụng (4.11), ta f (yx (s), α(s)) − λv (yx (s)) + lim inf + ε→0 v (yx (t) + εf (yx (t))) − v (yx (s)) ≤ ε Như h (s) ≤ Định lý 4.5 Giả sử hàm giá trị v Lipschitz địa phương Khi α(·) tối ưu với thời điểm đầu x v (yx (s) + tf (yx (s), α(s))) − v (yx (s)) + (yx (s), α(s)) = λv (yx (s)) t→0 t lim (4.13) với hầu khắp nơi s Chứng minh Giả sử (4.13) thỏa mãn Theo Định lý 4.4, α(·) điều khiển tối ưu Ngược lại, giả sử α(·) điều khiển tối ưu, ta chứng minh (4.13) Từ h xác định (4.12) số Theo Định lý 4.3, ta có v (yx (s + ε)) − v (yx (s)) h.k.n s ε→0 ε = eλs h (s) ≥ f (yx (s), α(s))−λv (yx (s))+lim Từ ta có v (yx (s + ε)) − v (yx (s)) hầu khắp s ε→0 ε λv (yx (s)) ≥ f (yx (s), α(s)) + lim 105 Do v (yx (s) + tf (yx (s), α(s))) − v (yx (s)) + (yx (s), α(s)) t→0 t λv (yx (s)) ≥ lim Mặt khác, từ v liên tục Lipschitz, v (yx (t)) khả vi hầu khắp nơi Ta lấy điểm mà hàm v (yx (t)) khả vi Theo giả thiết v nghiệm nhớt dưới, với hàm ϕ ∈ R(G ) v − ϕ đạt cực đại yx (s), ta có v (yx (s) + tf (yx (s), α(s))) − v (yx (s)) = Dϕ(yx (s), f (yx (s), α(s))) t→0 t lim (4.14) Từ (f (yx (s), α(s)), (yx (s), α(s))) ∈ F L(yx (s)), λϕ(yx (s)) − Dϕ(yx (s), f (yx (s), α(s))) − (yx (s), α(s)) ≤ (4.15) Sử dụng (4.14) (4.15), ta có bất đẳng thức v (yx (s) + tf (yx (s), α(s))) − v (yx (s)) ≥ λϕ(yx (s)) − (yx (s), α(s)) t→0 t lim (4.16) Như vậy, (4.13) thỏa mãn hầu khắp nơi s Kết luận chương Nội dung chương nghiên cứu toán điều khiển tối ưu khớp nối So sánh với kết gần đây, hàm chi phí mà chúng tơi sử dụng lớp rộng Do đó, hàm giá trị đạt khơng bị chặn Chúng chứng minh hàm giá trị nghiệm nhớt phương trình Hamilton-Jacobi liên quan Hơn tính chất hàm giá trị ra, tính liên tục, độ tăng, tính bị chặn điểm O Chúng thiết lập điều kiện cần đủ cho điều khiển tối ưu toán điều khiển tối ưu với thời gian vơ hạn Việc tìm phản hồi tối ưu cho toán điều khiển tối ưu khớp nối có chi phí vào, hướng nghiên cứu thời gian tới 106 KẾT LUẬN VÀ ĐỀ XUẤT Các kết đạt Luận án nghiên cứu ứng dụng vi phân cho nghiệm nhớt phương trình Hamilton-Jacobi không gian Banach Cụ thể luận án nghiên cứu vấn đề sau: (1) vi phân β -nhớt, tính chất vi phân β -nhớt, nguyên lý biến phân trơn; (2) tính nghiệm β -nhớt phương trình Hamilton-Jacobi khơng gian Banach có dạng u + H (x, Du) = u + H (x, u, Du) = 0; tính ổn định tồn nghiệm β -nhớt cho phương trình; (3) nghiệm β -nhớt toán điều khiển tối ưu không gian Banach, điều khiển phản hồi tối ưu toán điều khiển tối ưu với thời gian vơ hạn; (4) nghiệm nhớt tốn điều khiển tối ưu khớp nối, điều kiện cần đủ cho điều khiển tối ưu Các kết đạt là: 1) Chứng minh số kết nguyên lý biến phân trơn cho hàm nửa liên tục bị chặn không gian Banach X thỏa mãn giả thiết (Hβ∗ ) khơng gian có chuẩn β -trơn 2) Chứng minh tính nghiệm β -nhớt phương trình HamiltonJacobi lớp hàm liên tục bị chặn cho phương trình Hamilton-Jacobi có dạng u + H (x, Du) = 0, tính nghiệm lớp hàm liên tục khơng bị chặn phương trình đạo hàm riêng cấp dạng tổng quát u + H (x, u, Du) = Chứng minh tính ổn định tồn nghiệm β -nhớt phương trình Hamilton-Jacobi dạng tổng quát u + H (x, u, Du) = 3) Chứng minh hàm giá trị tốn điều khiển tối ưu với thời gian vơ hạn nghiệm β -nhớt phương trình Hamilton-Jacobi tương ứng, chứng minh điều kiện cần đủ điều khiển tối ưu 107 4) Khi nghiên cứu nghiệm nhớt khớp nối: chứng minh hàm giá trị toán điều khiển tối ưu nghiệm nhớt phương trình Hamilton-Jacobi liên quan Chứng minh số tính chất hàm giá trị tính liên tục, độ tăng, tính bị chặn điểm O Thiết lập điều kiện cần đủ cho điều khiển tối ưu toán điều khiển tối ưu với thời gian vô hạn Đề xuất số vấn đề nghiên cứu Bên cạnh kết đạt luận án, số vấn đề mở liên quan cần tiếp tục nghiên cứu như: • Ứng dụng vi phân cho nghiệm β -nhớt phương trình HamiltonJacobi cấp cấp cao bao gồm tính nghiệm, tính ổn định tồn nghiệm • Đưa điều khiển phản hồi tối ưu rõ ràng hơn, xác lập sơ đồ để tìm điều khiển tối ưu cho tốn điều khiển tối ưu với thời gian vơ hạn • Tìm điều khiển phản hồi tối ưu cho toán điều khiển tối ưu khớp nối có chi phí vào, Nghiên cứu tốn điều khiển tối ưu mạng lưới • Ứng dụng nghiệm β -nhớt để nghiên cứu toán thực tiễn sinh thái, kỹ thuật, kinh tế, tài chính, [5] 108 DANH MỤC CƠNG TRÌNH KHOA HỌC CỦA TÁC GIẢ LIÊN QUAN ĐẾN LUẬN ÁN [1] T.V Bang, P.T Tien, (2018), On the existence, uniqueness, and stability of β -viscosity solutions to a class of Hamilton-Jacobi equations in Banach spaces, Acta Math Vietnam DOI: 10.1007/s40306-018-0287-7 [2] P.T Tien, T.V Bang, (2019), Uniqueness of β -viscosity solutions of HamiltonJacobi equations and applications to a class of optimal control problems, Differ Equ Dyn Syst DOI: 10.1007/s12591-019-00479-7 [3] P.T Tien, T.V Bang, (2019), Hamilton-Jacobi equations for optimal control on junctions with unbounded running cost functions, Appl Anal DOI: 10.1080/00036811.2019.1643012 109 TÀI LIỆU THAM KHẢO [A] Tài liệu tiếng Việt [1] Hồng Tụy (2005), Hàm thực giải tích hàm, NXB ĐHQG Hà Nội [B] Tài liệu tiếng Anh [2] Y Achdou, F Camilli, A Cutrì, N Tchou (2011), Hamilton-Jacobi equations on networks, IFAC proceedings volumes 44 (1), 2577–2582 [3] Y Achdou, F Camilli, A Cutrì, N Tchou (2013), Hamilton-Jacobi equations constrained on networks, NoDEA Nonlinear Differential Equa- tions Appl 20 (3), 413–445 [4] Y Achdou, S Oudet, N Tchou (2015), Hamilton-Jacobi equations for optimal control on junctions and networks, ESAIM Control Optim Calc Var 21 (3), 876–899 [5] H Alexandru, T.Q Ky, P.T Tien, G Yin (2019), Harvesting of interacting stochastic populations, J Math Biol 79 (2), 533–570 [6] S.M Aseev, A.V Kryazhimskii (2007), The Pontryagin maximum principle and problems of optimal economic growth, Proc Steklov Inst Math 257 (1), 1–255 [7] T.V Bang, T.D Van (2006), Viscosity solutions of the Cauchy problem for second-order nonlinear partial differential equations in Hilbert spaces, Electron J Differential Equations 47, 1-15 [8] T.V Bang (2006), The uniqueness of viscosity solutions of second order nonlinear partial differential equations in a Hilbert space of twodimensional functions, Acta Math Vietnam 31 (2), 149–165 110 [9] M Bardi, D.I Capuzzo (1997), Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations, Systems & Control: Foundations & Applications Birkhăauser Boston, Inc., Boston, MA [10] M Bardi, M.G Crandall, L.C Evans, H.M Soner, P.E Souganidis (1997), Viscosity solutions and applications, Lecture Notes in Mathematics, 1960 Springer-Verlag, Berlin [11] G Barles, A Briani, E Chasseigne (2013), A Bellman approach for twodomains optimal control problems in RN , ESAIM Control Optim Calc Var 19 (3) 710–739 [12] G Barles (2013), An introduction to the theory of viscosity solutions for first-order Hamilton-Jacobi equations and applications, In HamiltonJacobi equations: approximations, numerical analysis and applications, Lecture Notes in Math., Springer, Heidelberg (2074), 49–109 [13] J Baumeister, A Leitão, G.N Silva (2007), On the value function for nonautonomous optimal control problems with infinite horizon Systems Control Lett 56 (3), 188–196 [14] R Bellman (1957), Dynamic programming, Princeton University Press, Princeton, N J [15] J.M Borwein, Q.J Zhu (1999), A survey of subdifferential calculus with applications, Nonlinear Anal 38 (6), 687–773 [16] J.M Borwein, M Fabián (1993), On convex functions having points of Gâteaux differentiability which are not points of Fréchet differentiability, Canad J Math 45 (6), 1121–1134 [17] J.M Borwein, S Fitzpatrick (1993), A weak Hadamard smooth renorming of L1 (Ω, µ), Canad Math Bull 36 (4), 407–413 [18] J.M Borwein, D Preiss (1987), A smooth variational principle with applications to subdifferentiability and to differentiability of convex functions, Trans Amer Math Soc 303 (2), 517–527 111 [19] J.M Borwein, Q.J Zhu (1996), Viscosity solutions and viscosity subderivatives in smooth Banach spaces with applications to metric regularity, SIAM J Control Optim 34 (5), 1568–1591 [20] M.G Crandall, P.L Lions (1985), Hamilton-Jacobi equations in infinite dimensions I Uniqueness of viscosity solutions, J Funct Anal 62 (3), 379–396 [21] M.G Crandall, P.L Lions (1986), Hamilton-Jacobi equations in infinite dimensions II Existence of viscosity solutions, J Funct Anal 65 (3), 368–405 [22] M.G Crandall, L.C Evans, P.L Lions (1984), Some properties of viscosity solutions of Hamilton-Jacobi equations, Trans Amer Math Soc 282 (2), 487–502 [23] M.G Crandall, P.L Lions (1983), Viscosity solutions of Hamilton-Jacobi equations, Trans Amer Math Soc 277 (1), 1–42 [24] C Hermosilla, H Zidani (2015), Infinite horizon problems on stratifiable state-constraints sets, J Differential Equations 258 (4), 1430–1460 [25] R Deville, G Godefroy, V Zizler (1993), Smoothness and renormings in Banach spaces, Pitman Monographs and Surveys in Pure and Applied Mathematics, Longman Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York, 64 [26] R Deville, G Godefroy, V Zizler (1993), A smooth variational principle with applications to Hamilton-Jacobi equations in infinite dimensions, J Funct Anal 111 (1), 197–212 [27] M Durea (2003), Applications of the Fréchet subdifferential, Serdica Math J 29 (4), 301–314 [28] W.H Fleming, H.M Soner (2006), Controlled Markov processes and viscosity solutions, Second edition Springer, New York 112 [29] Y Fleming, T Namba (2017), Well-posedness of Hamilton-Jacobi equations with Caputo’s time fractional derivative, Comm Partial Differen- tial Equations 42 (7), 1088–1120 [30] L.C Evans (2010), Partial differential equations, American Mathematical Society [31] G Evéquoz, A.S Charles (2006), On differentiability and bifurcation Advances in mathematical economics, Adv Math Econ., Springer, Tokyo, 8, 155–184 [32] N Hoang (2019), Regularity properties of viscosity solution of nonconvex Hamilton–Jacobi equations, J Applicable Analysis 98 (6), 1104-1119 [33] P Huyên (2009), Continuous-time stochastic control and optimization with financial applications, Stochastic Modelling and Applied Probability, Springer-Verlag, Berlin, 61 [34] H Ishii (1987), Perron’s method for Hamilton-Jacobi equations, Duke Math J 55 (2), 369–384 [35] D.M Khang (2019), Hamilton-Jacobi equations for optimal control on networks with entry or exit costs, ESAIM Control Optim Calc Var 25 (15), 1-31 [36] X.J Li, J.M Yong (1995), Optimal control theory for infinite-dimensional systems, Systems & Control: Foundations & Applications Birkhăauser Boston, Inc., Boston, MA [37] P.L Lions, P Souganidis (2016), Viscosity solutions for junctions: well posedness and stability, Atti Accad Naz Lincei Rend Lincei Mat Appl 27 (4), 535–545 [38] B.S Mordukhovich, N.M Nam, N.D Yen (2009), Subgradients of marginal functions in parametric mathematical programming, Math Program 116 (1-2), 369–396 [39] B.S Mordukhovich, Y Shao, Q.J Zhu (2000), Viscosity coderivatives and their limiting behavior in smooth Banach spaces, Positivity (1), 1–39 113 [40] R.R Phelps (1989), Convex functions, monotone operators and differentiability Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1364 [41] R.R Phelps (1974), Support cones in Banach spaces and their applications, Advances in Math 13, 1–19 [42] J Zabczyk (2008), Mathematical control theory, Birkhăauser Boston, Inc., Boston, MA 114 ... 3.1.2 Tính chất hàm giá trị toán điều khiển tối ưu 70 3.2 Ứng dụng nghiệm β -nhớt toán điều khiển tối ưu 72 Chương PHƯƠNG TRÌNH HAMILTON- JACOBI VỚI BÀI TOÁN ĐIỀU KHIỂN TỐI ƯU TRÊN KHỚP NỐI VỚI HÀM... nhớt toán điều khiển tối ưu Trong chương này, chứng minh hàm giá trị toán điều khiển tối ưu nghiệm β -nhớt phương trình Hamilton- Jacobi tương ứng Các phản hồi điều kiện đủ cho điều khiển tối ưu. .. Chứng minh tính ổn định tồn nghiệm β -nhớt phương trình Hamilton- Jacobi dạng tổng quát u + H (x, u, Du) = 3) Chứng minh hàm giá trị toán điều khiển tối ưu nghiệm β -nhớt phương trình Hamilton- Jacobi

Ngày đăng: 16/06/2020, 07:31

Từ khóa liên quan

Mục lục

  • Li cam oan

  • Li cam n

  • Muc luc

  • M ÐU

  • ChÆ°Æ¡ng DI VI PHÂN -.4-NHT

    • Tính -kha vi

    • Di vi phân -nht

  • ChÆ°Æ¡ng NGHIM -.4-NHT CUA PHNG TRÌNH HAMILTON-JACOBI TRONG KHÔNG GIAN BANACH

    • Tính duy nht cua nghim -nht

      • Nghim -nht

      • Nghim bi chn

      • Nghim không bi chn

    • Tính n inh và s tn tai cua nghim -nht

      • Tính n inh

      • S tn tai

  • ChÆ°Æ¡ng NG DUNG CUA NGHIM -.4-NHT ÐI VI BÀI TOÁN ÐIU KHIN TI U

    • Bài toán iu khin ti u vi thi gian vô han

      • Bài toán iu khin ti u-nguyên lý quy hoach ng Bellman vi hàm giá tri trn

      • Tính cht cua hàm giá tri cua bài toán iu khin ti u

    • ng dung cua nghim -nht i vi bài toán iu khin ti u

  • ChÆ°Æ¡ng PHNG TRÌNH HAMILTON-JACOBI VI BÀI TOÁN ÐIU KHIN TI U TRÊN KHP NI VI HÀM CHI PHÍ KHÔNG BI CHN

    • Bài toán iu khin ti u trên các khp ni

      • Khp ni

      • Bài toán iu khin ti u

      • Mt s tính cht cua hàm giá tri tai inh

    • Phng trình Hamilton-Jacobi và nghim nht

      • Hàm th

      • Trng véct

      • Ðinh nghıa nghim nht

      • Hàm Hamilton

    • Nguyên lý so sánh và tính duy nht

    • ng dung cua nghim nht trong bài toán iu khin ti u

  • DANH MUC CÔNG TRÌNH KHOA HOC CUA TÁC GIA LIÊN QUAN ÐN LUN ÁN

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan