BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC sư PHẠM HÀ NỘI NGUYỄN THỊ NGHĨA ĐỊNH LÝ TỒN TẠI VÀ DUY NHAT NGHIỆM CỦA PHƯƠNG TRÌNH VI PHÂN MỜ 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: TS. NGUYỄN THỊ KIM SƠN Hà Nội, 2014 Lời cảm ơn Tôi xin bày tỏ lòng biết ơn sâu sắc tới TS. Nguyễn Thị Kim Sơn, cô tận tình bảo, định hướng, chọn đề tài truyền đạt kiến thức để hoàn thành luận văn này. Tôi xin bày tỏ lòng biết ơn chân thành tới thầy cô giáo trường Đại học Sư phạm Hà Nội 2, đặc biệt thầy cô khoa Toán, phòng Sau đại học giúp đỡ suốt trình nghiên cứu học tập. Qua xin gửi lời cảm ơn chân thành tới anh chị, bạn bè động viên, cổ vũ, giúp đỡ cho trình học tập hoàn thành luận văn. Nhân dịp xin bày tỏ lòng biết ơn tới người thân gia đình, luôn quan tâm, khích lệ động viên trình học tập nghiên cứu. Hà Nội, tháng 10 năm 20lị Tác giả Nguyễn Thị Nghĩa Lời cam đoan Tôi xin cam đoan, luận văn Thạc sĩ chuyên ngành Toán giải tích với đề tài “Định lý tồn nghiệm phương trình vi phân mờ” hoàn thành hướng dẫn TS. Nguyễn Thị Kim Sơn thân tác giả. Trong trình nghiên cứu thực luận văn, tác giả kế thừa, phát triển kết nhà khoa học với trân trọng biết ơn. Hà Nội, tháng 10 năm 2014 Tác giả Nguyễn Thị Nghĩa Mục lục TẬP MỜ VÀ HÀM GIÁ TRỊ MỜ Giới thiệu 1. Tập mờ Metric Hausdorff Mở2.đầu . Không gian E r 1. Chương 1. Tính đo 3. 1.1. Tính khả tích 1. Tính khả vi 4. CÁC ĐỊNH LÝ TỒN TẠI DUY NHAT NGHIỆM Chương 2. CỦA PHƯƠNG TRÌNH VI PHÂN MỜ Giới2.thiệu Định1.lý tồn nghiệm 5 1 2 Định lý so sánh 2. Sự phụ thuộc liên tục nghiệm vào kiện toán2. 2. nghiệm toàn cục Sự tồn Tài liệu tham khảo Mở đầu 1. Lí chọn đề tài Lý thuyết tập mờ lý thuyết toán học đại trừu tượng. Lý thuyết mờ xu thời đại mới, ngôn ngữ chủ đạo quan trọng để người đến tri thức nhân tạo. Xuất phát từ thực tế người phải sử dụng ngôn ngữ với số lượng hữu hạn để nhận biết, nhận thức phản ánh giới vô hạn, lại thường xuyên đối mặt với vấn đề chứa yếu tố không đầy đủ, không chắn, không xác. Vì có lý thuyết toán học cho phép mô hình hóa phần giới thực mà người mô tả ngôn ngữ tự nhiên hàm chứa thông tin không xác, không chắn. Phát nhu cầu năm 1965 L.A.Zadeh sáng lập lý thuyết tập mờ đặt móng cho việc xây dựng loạt lý thuyết quan trọng dựa sở lý thuyết tập mờ. Lý thuyết tập mờ ứng dụng bắt đầu phát triển từ năm 70 kỷ XX, tầm quan trọng lý thuyết mờ công nghiệp điều khiển tăng mạnh từ năm 1990. Trong toán học, phương trình vi phân chuyên ngành phát triển có tầm quan trọng có nhiều ứng dụng thực tế lĩnh vực khoa học kỹ thuật, kinh tế, vật lý, Chính việc nghiên cứu phương trình vi phân nói chung nhiệm vụ cần thiết. Đặc biệt năm gần đây, có nhiều công trình nghiên cứu lý thuyết ứng dụng phương trình vi phân mờ. Trong việc nghiên cứu tồn nghiệm cho toán giá trị ban đầu phương trình vi phân mờ cần thiết tạo tiền đề sở lí thuyết vững cho toán ứng dụng sau giải xấp xỉ nghiệm số phương trình vi phân mờ, xây dựng thuật toán tìm nghiệm phương trình vi phân mờ . Chính lí trên, lựa chọn đề tài nghiên cứu: “Định lý tồn nghiệm phương trình vi phân mờ” cho luận văn tốt nghiệp thạc sĩ ngành toán. 2. Mục đích nhiệm vụ nghiền cứu Vì lý thuyết mờ nói chung phương trình vi phân mờ nói riêng lý thuyết cần tìm hiểu, luận văn tập trung vào việc trình bày lại số kiến thức tập mờ hàm giá trị mờ trước sâu vào nghiên cứu phương trình vi phân mờ. 3. Đối tượng phạm vi nghiên cứu • Đối tượng nghiên cứu: Lý thuyết tập mờ, giải tích mờ phương trình vi phân mờ. • Phạm vi nghiên cứu: Các lý thuyết giải tích mờ liên quan đến việc giải phương 4. trình vi phân mờ toán Cauchy cho phương trình vi phân mờ cấp 1. Phương pháp nghiên cứu • Sử dụng kiến thức giải tích hàm thực, giải tích tập hợp, giải tích hàm đa trị lý thuyết không gian metric-topo để xem xét tính chất giải tích hàm mờ; tập mờ. • Sử dụng nguyên lý ánh xạ co Banach đánh giá lý thuyết tập hợp, không gian metric để chứng minh tồn nghiệm phương trình vi phân mờ. 5. Nội dung cấu trúc luận văn Nội dung luận văn trình bày số kết nghiên cứu lý thuyết tập mờ, giải tích hàm mờ chứng minh định lý tồn nghiệm toán Cauchy cho phương trình vi phân mờ cấp công trình V. Lakshmikantham R. N. Mohapatra [13]. Luận văn dài 40 trang, phần Lời cảm ơn, Lời cam đoan, mục lục, Mở đầu, Kết luận Tài liệu tham khảo, luận văn chia thành hai chương. • CHƯƠNG 1: Tập mờ hàm giá trị mờ Trong chương trình bày khái niệm tập mờ, đưa số ví dụ tập mờ trình bày tính chất giải tích như: tính đo được, tính khả tích tính khả vi hàm giá trị mờ (gọi tắt hàm mờ). Không gian tập mờ đặc biệt thường nghiên cứu lý thuyết phương trình vi tích phân, E n , trình bày chương này. • CHƯƠNG 2: Các định lý tồn nghiệm phương trình vi phân mờ Chương dành cho việc nghiên cứu tính giải toán Cauchy cho phương trình vi phân mờ cấp 1. Đầu tiên trình bày tồn nghiệm phương trình vi phân mờ với điều kiện Lipschitz điều kiện bị chặn vế phải. Sau nguyên lý so sánh phụ thuộc liên tục nghiệm vào kiện toán nghiên cứu. Cuối chương kết cho tồn nghiệm toàn cục phương trình vi phân mờ. Chương TẬP MỜ VÀ HÀM GIÁ TRỊ MỜ 1.1. Giới thiệu Trong chương trình bày tập mờ, nêu lên số ví dụ tập mờ . Trong phần 1.2 tìm hiểu tập mờ. Phần 1.3 nhắc lại khái niệm khoảng cách Hausdorff tập Mn. Không gian E n giới thiệu phần 1.4 với ví dụ tính chất quan trọng. Tính đo được, tính khả tích tính khả vi hàm giá trị mờ trình bày tương ứng phần 1.5, 1.6 1.7 1.2. Tập mờ Ý tưởng tập mờ lần đề xuất Lotfi Zadeh vào năm 1965, phương tiện để xử lý vấn đề chứa yếu tố không đầy đủ, không chắn, không xác. Các tập mờ xét với sở tập hợp khác rỗng X. Ý tưởng phần tử X e X gán cho hàm thuộc u(x) lấy giá trị [0,1], với u(x) = tương ứng với X không thuộc tập mờ, < u(x) < với X thuộc phần tập mờ u(x) = với X thuộc vào tập mờ. Kí hiệu theo Zadeh tập mờ tập khác rỗng {(ж,и(ж)) : X £ X} X X [0,1] với hàm и : X [о, 1]. Hàm и thường kí hiệu i x ) — < —(X — 1) < X < 100, thay cho tập mờ. и 99 (1.2.1) Ví dụ: Xét hàm и : X —>• [о, 1] xác địnhnếu bởi:100 < X. Khi lí (ж) cho ví dụ tập mờ gồm số gần 100 tập số thực. X < 1, Hiển nhiên có nhiều lựa chọn hợp lý khác tập mức hàm thuộc. Độ phụ thuộc cho tập cổ điển hay gọi tập rõ A X không thuộc thuộc hoàn toàn. Như từ tập rõ Ả X xác định tập mờ X cho hàm đặc trưng X A '■ X —»■ [0,1] với {0 X ị A, (1.2.2) X G A. Tập mức [lí]“ tập mờ и X định nghĩa [lí]“ = {ж G X : u{x) > a} với a G (о, 1]. (1.2.3) Giá [ií]° u bao đóng hợp tất tập mức tôpô H° = u ["]“• ae(0,l] (1-2-4) Xét hàm и : X —> [о, 1] tập mờ không gian sở khác rỗng X kí hiệu J-{X) tất tập mờ . Ta ký hiệu u c phần bù и G J-’(X), и V г> hợp и л V giao и, V G F{x) định (1.2.5 ứng sau: c unghĩa (x) =tương — u(x) u V v(x) = u(x) V := max{«(x), u A = u(x) A t>(x) := min{w(x), 'y(x)} ) (1.2.5) c với X e I. Rõ ràng u , u V V, u A V e ^ (^)r Nguyên lý mở rộng Zadeh xác định ánh xạ rõ / : Xi X x —>• Y, với Xị,X ,Y tập khác rỗng, mở rộng cho ánh xạ tập mờ /: X F{X2) -> F(X) f 1(y) = 0, với y e Y / (y) = {{x l ,x ) e X l X x : f ( x u x ) = y} rỗng chứa hay nhiều điểm. Đặc biệt, tập mờ u e T{X) gọi tậpmờ chuẩn tắc tồn điểm x ữ E X mà u(xo) = 1. Cho Ả B hai tập khác rỗng Mn cho A Ẽ I.Ta định nghĩa phép cộng phép nhân vô hướng sau A + B — -[ữ -|- b ữ ẽ A, b ẽ B} (1.2.9 \A — {Àữ ữ G sup Uị(xi) A u {x ) f l {y) ^ 0, (1.2.10) (1.2. Ví dụ 1.2.1. Cho A = [0,1] cho (—1)A = [—1,0] Л + (-1)Л = [0,1] +[-1,0] = [-1,1]. Từ Ví dụ 1.1.1 ta thấy cộng thêm (—1) không thiết lập phép toán trừ tự nhiên. Thay vào ta có định nghĩa hiệu Hukuhara A — B hai tập khác rỗng A в sau Định nghĩa 1.2.1. (Hiệu Hukuhara) Ta nói А — В = С tồn с Ф thỏa mãn A = B + C. (1.2.11) Ví dụ 1.2.2. Từ ví dụ ta có [-1,1] - [-1,0] = [0,1] [-1,1] - [0,1] = Ví dụ 1.2.3. {0} — [0,1] không tồn tại, [-1,0]. không cótậpс Ỷ để [0,1] + С = {0} 1.3. Metric Hausdorff Cho X điểm Mn A tập khác rỗng Khoảng cách d(x, Ä) từ X tới A định nghĩa d(x,A) = inf{||a; — a|| : a G A}, (1.3.1) 11.11 chuẩn thông thường Mn Do d(x, Ä) = d(x, Ã) > d(x, A) = X ẽ Ã bao đóng A tính chất metric d ta có Bây sử dụng tính chất tích phân điều kiện (2.3.1), ta thấy í m(t) < m(t 0) + Ị d[f(s,u(s),f(s,v(s))]ds to t < m(tữ) + Ị g(s, d[w(s), t m to (*o) + / g{s,m(s))ds, t G J. ío Áp dụng Định lý 1.9.2 đưa Lakshmikantham and Leela [12] ta có kết luận m(t) < r(t,t0,w), t G J. Điều chứng minh Định lý 2.3.1 □ Nhận xét 2.3.1. Nếu ta sử dụng giả thiết bất đẳng thức vi phân thay bất đẳng thức tích phân, ta bỏ qua đặc tính đơn điệu g(t, w) giả sử Định lý 2.3.1, Điều chứng minh nguyên lý so sánh tiếp theo. Định lý 2.3.2. Cho giả thiết Định lý\2.3.l\ trừ tính chất không giảm g(t,w) w. Khi kết luận (2.3.3) đúng. Chứng minh. Cho h > sai phân-Hu(t + h) — u(t), vịt + h) — v(t ) tồn tại, với t € I ta có m(t + h) — m(t) = d[u(t + h), v(t + h)] — d[u(t),v(t)]. Sử dụng bất đẳng thức cho d ta có d[u(t + h), v(t + h)] < d[u(t + h),u(t) + hf(t, u(t))] + d[u(t) + hf(t, u(t)), v(t + h)] d[u(t) + hf(t, u(t)),v(t + h)] < d[v(t) + hf(t, v(t)), vịt + h)] + d[u(t) + hf(t,u(t)),v(t) + hf{t,v(t))]. Ta thấy d[u(t) + hf(t,v(t) + hf(t, ?;(í))] < d[u(t) + hf{t, u{t)), u(t ) + hf{t, v(t))] + d [ u ( t ) + h f ( t , v ( t ) ) , v ( t ) + h f ( t , 'ư(í))] Do ta suy (mit + h) — m(t)) ,r . ,. . . , . -----------ị------------< ^d[u(t + h), u(t ) + hf(t, u(i))] + j-d[u(t) + hf(t, v(t)), v(t + h)] / V + ^d[hf{t,u{t)),hf{t,v(t))]. Do tính chất d thực tế u(t),v(t) nghiệm (2.3.1), ta tìm thấy D+m(t) — lim sup — [m(t + h) — m(t )] /i-> h ta sử dụng thực tế d[u(t + h), u(t) + hf(t, u(t))] = d[u(t) + z(t),u(t) + hf(t, u(t ))] = d[z(t) + u(t), u{t) + hf(t, u(t))] = d[z{t),hf(t,u(t))] = d[u(t + h) — u(t), hf(t, u(t ))] với z(t) sai phân —H u(t + h) u(t). Lý luận tương tự biểu thức khác. Điều có nghĩa D+m(t) < g(t, d[u(t),v(t)]) = g(t,m(t)), t G J. Do suy kết luận (2.3.3) từ Định lý 1.4.1 Lakshmikantham and Leela [12].□ Kết so sánh cung cấp đánh giá theo giả thiết yếu hơn. Định lý 2.3.3. Giả sử f € cụ X En,En] lim sup ~r[d{u + hf(t, u),v + hf(t, u)] — dịu, v] h^o h < g(t, dịu, v]), t e J,u,v G ET với g e C[J X M+,M]. Nghiệm cực đại r(t,tữ,w 0) (2.3.2) tồn J. Khi kết luận Định lý đúng. 2.3 Chứng minh. Thực Định lý 2.3.2, ta thấy m(t + h) — m(t) = d[u(t + /ì), v(t + h)] — d[u(t), v(t)] < d[u(t + h), u(t ) 4- hf(t, u(t))] + d[v(t) + hf(t, v(t)), v(t + h)] + d [ h f ( t , u(í)), h f ( t , v(í))] - d [ u ( i ) , v ( t ) ] D+m(t) = lim sup -r[m(t + h) — m(t)] /i->0 h < lim sup — [d[u(t) + hf(t, u(t),v(t) + hf(t, v(t))]] /i-> h — d[u(t), v(t)] + lim sup d[u^ /i->0 h ^ w ( + lim sup d[f(t, v(t)), — — ^-----------—] fc->0 < g(t, d[u(t),v(t)]) = g(t, t € /. í ) ) ] Kết luận từ Định lý 1.4.1 Lakshmikantham and Leela [12], chứng minh hoàn thành. □ Chúng ta mong muốn Định lý 2.3 g(t, w) không cần không giảm nên đánh giá (2.3.3) tốt đánh giá Định lý |2.3.1|và|2.3.2[ Từ trường hợp đặc biệt Định lý 2.3.1, 2.3.2 2.3.3 ta có hệ quan trọng sau. Hệ 2.3.1. Giả sử f € C[J X En, En] hai a ) d [ f ( t , lí), 0] < g ( t , d ị u , ô]) h o ặ c b) lim sup —\d[u + hf(t, u), 0] — dịu, ô]]] < g(t, dịu, ô]) /ỉ-> 0+ ^ với g G C\J X M+,R]. Khi đó, d[uữìồ] < wữ, ta có d[u(t),ồ] < r(t,t0,w0), t e J, với r(t,tũ,w 0) ỉà nghiệm cực đại (2.3.2) J. Hệ 2.3.2. Hàm số g(t, w) = X(t)w, À(í) >0/0 liên tục thỏa mãn Định lý 2.3.1 để to t (t) < m(t 0) + I X(s)m(s)ds, t G J. m /. (t) < m(to ) exp[I A(s)ds], m 7 s7 ~ s Khi bất đẳng thức Gronvuall có nghĩa t t G J. ío Trong cho thấy (2.3.3) rút gọn t d[u(t),v(t)] < d[u0, Vo] exp[ J A(s)ds]. *0 hàm số giống Hệ 2.3.2, chấp nhận ta có kết Hệ 2.3.3. Trong Định lý 2.3.3, hàm g ( t , w ) = A( t ) w, đ â y X ( t ) l t d [ u ( t ) , v ( t ) ] < d [ u , v ] e x p [ — J A(s)c/s], t G J . to Nếu X(t) = À > 0, thấy d[u(t),v(t)] < d[uữ, v0]e~x^~to\ t G J. Nếu J = [t0, oo], ta thấy lim d[u(t),v(t)] — 0, cho thấy ưu điểm Định lý 2.3.3 2.4. Sự phụ thuộc liên tục nghiệm vào kiện toán Định lý 2.4.1. Giả sử rằng: a) b) c) nghiệm (2.3.2) J; d) d[f(t,u),f(t,v )] < g(t,d[u,v]) R0. Khi phép e) xấp xỉ liên tiếp định nghĩa t n = 0,1,2,. . . f) .un+1(t) = u0 + Ị f(s,un(s))ds, . r. g) 6, (2.4. tồn [to, t0 + ĩ]] với ĩ] = min[a, -Jỹ\, M = max(M0, Mị) hàm liên tục hội tụ tới nghiệm u(t ) (2.2.1) [t0,t0 + rị\. h) Chứng minh. Ta có Hệ 2.3.3. Trong Định lý 2.3.3, hàm g ( t , w ) = A( t ) w, đ â y X ( t ) l i) í j) d[un+1(t),u0] = d[u0 + Ị f(s,un(s))ds,u0] k) l) to t t = d[J f{s, un(s))ds, 0] < J d[f(s, un(s)), Ô]ds m) to t0 < Mo (í — tữ) < M ữ a < b. n) Do phép xấp xỉ liên tiếp {u n (t)} xác định rõ [t ,t + rị\. o) Tiếp theo ta định nghĩa phép xấp xỉ liên tiếp (2.3.2) sau p) q) w0(t) = M(t - t0), t wn+1(t) = Ị g(s,wn(s))ds,tữ t . Giả sử tồn địa phương, ta chứng minh kết tồn toàn diện. cp) cq) Định lý 2.5.1. Giả sử f € Ơ[M + X E n ,E n ] d[f(t, u), 0] < g(t, dịu, ô]), {t, u) e R+ X En g €E C[R2+ X M+], g(t, w) không giảm w với t € M + cr) nghiệm cực đại r(t,T ữ ,w 0) (2.3.2) tồn [í 0,oo). Giả sử thêm f đủ trơn để đảm bảo tồn địa phương nghiệm phương trình (2.2.1) với (t0ìu ữ) e M+ X En. Khi khoảng lớn tồn nghiệm u(t,t Q ,u ữ ) (2.5.1) cho d[ií 0,Ô] < Wq ụ0,oo). cs) Chứng minh. Cho u(t) = u(t,t ,u ữ ) nghiệm (2.5.1) với d[wo,Ô] < w ữ , tồn [t ữ ,Ị3),t ữ < Ị3 < oo giá trị Ị3 không tăng. ct) Định nghĩa m(t) = d[u(t),0]. Theo Hệ cu) 2.3.1 c cv) ĩĩiịt) < r(t,t0,d[u,ồ\), t < Ị3 < o o. cw) Với ti,Ì2 cho t ữ < ti < Ị3 ta có cx) (2.5. í Í2 d[u(tị),u(t2)] = d[u0 + Ị f(s,u(s))ds,u0 + Ị f(s,u(s))ds] cy) cz) Í2 da) = d[Ị f(s,u(s))ds,ố] db) tl dc) = J d[f{s,u{s))ìÔ]ds dd) íl de) Í2 < I g(s,d[u(s),Ô])ds. df) ^1 to 10 dg) Theo biểu thức (2.5.2) tính chất không giảm g(t, w) cho thấy dh) £2 (2.5.3) d[w(íi),u(í2)] < Ị g{s,r(s,t ,w ))di di) £1 = r(t2,t0,w 0) - r(t2,t0,w0). dj) dl) dn) dp) Vì lim r(t,t ữ ,w ) tồn hữu hạn theo giả thiết, lấy giới hạn t-*ạti,h /3 sử dụng tiêu chuẩn hội tụ Cauchy, từ 2.5.3 mà lim u(t, t , uữ) dk) dm) Ị3~ tồn tại. Sau định nghĩa w(/3, t0, wữ) = lim u(t, í0, w0) xét do) t->pbài toán giá trị ban đầu. dq) dr) t—y u ' = f ( t , u ) , u ( P ) = u ( P, t o , u ) . Giả sử tồn địa phương ta thấy u(t, tữ, uữ) liên tục vượt /3, mâu thuẫn với giả thiết không vượt Ị3. Do nghiệm ds) u(t,t ữ ,uữ) 2.5.1 thỏa mãn d[iío,Ô] < w ữ tồn [to5 00) định lý chứng minh. □ dt) du) Kết luận Luận văn trình bày lý thuyết tập mờ, phép toán hàm giá trị mờ tồn nghiệm phương trình vi phân mờ. Các kết luận văn là: • Trình bày kiến thức sở tập mờ hàm giá trị mờ. Đây vấn đề nghiên cứu, luận văn tập trung trình bày số lý thuyết tập mờ, ví dụ số tính chất định tính hàm giá trị mờ trước nghiên cứu phương trình vi phân mờ. • Chứng minh tính giải cho phương trình vi phân mờ cấp 1. Chúng chứng minh tồn nghiệm phương trình vi phân mờ với vế phải Lipschitz bị chặn. Các nguyên lý so sánh phụ thuộc liên tục nghiệm vào kiện toán thiết lập. Hơn nữa, tồn nghiệm toàn cục toán Cauchy cho phương trình vi phân mờ chứng minh. Đây khởi đầu tốt cho loạt nghiên cứu sau cho lý thuyết ổn định phương trình vi phân mờ. dv) Hà Nội, tháng 07 năm 2014 Tác giả dw) dx) [A] Tiếng Việt Nguyễn Thị Nghĩa Tài liêu tham khảo [1] Nguyễn Phụ Hy (2005), Giải tích hàm, NXB Khoa học kỹ thuật Hà Nội. [2] Hoàng Tụy (2005), Hàm thực giải tích hàm, NXB Đại học quốc gia Hà Nội. [B] Tiếng Anh [3] J.J Buckley and Feuring (2000), Fuzzy differential equations, Fuzzy Sets and Systems 110, No. 1, pp 43-54. [4] N. Bobyle, A posibilistic argument for irreversibility(1990),Fuzzy Sets and Systems 3Ậ, 73 - 80. [5] c. Castaing.and M. Valadier, (1977), Conver Analysis and Measurable Mutifunction, Springer - Verlag, Berlin. [6] Debreu (1967), Integration of correspondences, California Fress, Berkeley, CA. [7] P. Diamond and p. Kloeden, (1994), Metric Spaces of Fuzzy Sets, World Scientific, Singapore. [8] N. D. Phu, T. T Tung (2006), Existence of solutions of fuzzy control diferential equations, J. Science and Technology Development, 9(2) 5- 10. [...]... (t))} của tập ánh xạ giá trị F a khi đó DF a (t ) bằng đạohàm □ Chương 2 CÁC ĐỊNH LÝ TỒN TẠI DUY NHẤT NGHIỆM CỦA PHƯƠNG TRÌNH VI PHÂN MỜ 2.1 Giới thiệu Chương này dành cho lý thuyết định tính của phương trình vi phân mờ Đầu tiên phần 2.2 chúng tôi trình bày sự tồn tại và duy nhất nghiệm của phương trình vi phân mờ với điều kiện Lipschitz và điều kiện bị chặn vế phải Sau đó các nguyên lý so sánh và sự... tục của nghiệm vào các dữ kiện bài toán được trình bày trong phần 2.3 và 2.4 Cuối cùng phần 2.5 là kết quả cho sự tồn tại của nghiệm toàn cục của phương trình vi phân mờ 2.2 Định lý tồn tại và duy nhất nghiệm Xét bài toán giá trị ban đầu của phương trình vi phân mờ u'= u ( t 0 ) = u 0 , t 0 > 0, ở đây / e C[J X E n , En], J = [t 0 , t 0 + a], a > 0 Định nghĩa 2.2.1 Ánh xạ u : J —>• En gọi là một nghiệm. .. với Oi chất của tích phân trong Định lý 1.6.2 ta có Sau phép tính đơn giản cho thấy f(t,u) thỏa mãn các giả thiết của Định lý |2.2.l| do đó bài toán giá trị ban đầu u' — A(t)u + B(t), u(t ữ) = u0 có nghiệm duy nhất trên J Kết quả sự tồn tại địa phương tương tự như định lý của Peano là không có giá trị đối với phương trình vi phân mờ, vì (E n ,d) là một không gian metric, không là compact địa phương, do... compact, theo định lý điểm bất động của Schauder, T có một điểm bất động và điểm này là nghiệm của phương trình (2.2.1) Hoàn thành chứng minh □ Sử dụng các tính chất của dịu, v] và tích phân được liệt kê ở trên được gọi lý thuyết vi phân và bất đẳng thức tích phân, chúng ta sẽ xây dựng nguyên lý so sánh sau đây 2.3 Định lý so sánh Định lý 2.3.1 Giả sử / € C[J X En, En\ và t e J,u,v € En, ù), f{t, v)] 2 (í)] và [ж]а = [ж“, а?2] thì [A(t)u]a... đẳng thức vi phân thay vì bất đẳng thức tích phân, ta có thể bỏ qua đặc tính đơn điệu của g(t, w) được giả sử trong Định lý 2.3.1, Điều này được chứng minh trong các nguyên lý so sánh tiếp theo Định lý 2.3.2 Cho các giả thiết của Định lý\ 2.3.l\ trừ tính chất không giảm của g(t,w) trong w Khi đó kết luận (2.3.3) là đúng Chứng minh Cho h > 0 sai phân- Hu(t + h) — u(t), vịt + h) — v(t ) tồn tại, và với t €... Định lý 1.7.3 Nếu F,G :T —¥ En là khả vi và X G M thì (F + GỴ(t) = F\t ) + ơ{t) và (ЛFỴ{t) = XF'{t) Định lý 1.7.4 Nếu F : T —)■ En là liên tục thì với mọi t £ T tích phấn t G(t) = J F là khả vi và G\t) = F ự) a Chứng minh Chú ý rằng theo Hệ quả |l.6.l| F là khả tích Với h > 0, ta có theo Định lý 1.6.1 £+ h G(t + h)~ G(t ) = Ị F t Cho € tùy ý và € > 0 Từ Ví dụ 1.6.1| Định lý 1.6.2 và tính liên tục của. .. hàm sự tồn tại của sai phân Hukahara X — y Định lý 1.7.1 Cho F : T —»• E1 là khả vi Kí hiệu Fa(t ) = [fa{t), 9a{t)]ĩa € [0,1] Khi đó ta có fa(t ) và ga(t) khả vi và [F'(í)]a = [/'(t), g'a{t)} Chứng minh Có [F(t + h) - F(t)]a = [fa(t + h)~ fa(t),ga(t + h) - ga(t)] Tương tự với [F(t) — F(t — h)] a Chia biểu thức trên cho h và lấy giới hạn cho ta kết luận □ Định lý 1.7.2 Nếu F : T —>• En ỉà khả vi thì... - và lim /i-> 0+ h /ỉ-> 0+ h tồn tại và bằng F’(t o) Giới hạn này được thực hiện trong không gian metric (En, d) Tại các điểm cuối của T ta chỉ xét các đạo hàm 1 phía Nhận xét 1.7.1 Từ định nghĩa suy ra rằng nếu F khả vi thì ánh xạ đa trị F a là khả vi Hukahara với mọi a G [0,1] và DFa{t) = [F'(t)]a (1.7.1) với DF a là kí hiệu đạo hàm Hukahara của F a Điều ngược lại không đúng, vì sự tồn tại sai phân . CHƯƠNG 2: Các định lý tồn tại duy nhất nghiệm của phương trình vi phân mờ Chương này dành cho vi c nghiên cứu tính giải được duy nhất của bài toán Cauchy cho phương trình vi phân mờ cấp 1. Đầu. phương trình vi phân mờ Chính vì các lí do trên, chúng tôi lựa chọn đề tài nghiên cứu: Định lý về sự tồn tại và duy nhất nghiệm của phương trình vi phân mờ cho luận văn tốt nghiệp thạc sĩ ngành. luận văn Thạc sĩ chuyên ngành Toán giải tích với đề tài Định lý về sự tồn tại và duy nhất nghiệm của phương trình vi phân mờ được hoàn thành dưới sự hướng dẫn của TS. Nguyễn Thị Kim Sơn và