Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 33 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
33
Dung lượng
331,41 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI TRẦN THỊ NGỌC BÍCH SỰHỘITỤVÀỔNĐỊNHTIỆMCẬNCỦAPHƯƠNGPHÁPGALERKINĐỐIVỚIPHƯƠNGTRÌNHPARABOLICTUYẾNTÍNH CĨ TRỄ LUẬN VĂN THẠC SĨ TOÁN HỌC HÀ NỘI–2018 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI TRẦN THỊ NGỌC BÍCH SỰHỘITỤVÀỔNĐỊNHTIỆMCẬNCỦAPHƯƠNGPHÁPGALERKINĐỐIVỚIPHƯƠNGTRÌNHPARABOLICTUYẾNTÍNH CĨ TRỄ Chun ngành: 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ÀNH ANH HÀ NỘI–2018 i LỜI CẢM ƠN Trước trình bày nội dung luận văn, tác giả xin chân thành cảm ơn Trường Đại học Sư phạm Hà Nội 2, nơi mà tác giả hoàn thành chương trình cao học giảng dạy nhiệt tình tâm huyết Thầy, Cô Đặc biệt, tác giả xin bày tỏ lòng biết ơn sâu sắc tới TS Nguyễn Thành Anh, người Thầy trực tiếp hướng dẫn, bảo tận tình giúp đỡ để tác giả hồn thành luận văn Cuối cùng, xin gửi lời cảm ơn tới gia đình, bạn bè, người giúp đỡ chia sẻ với tác giả suốt thời gian học tập hoàn thành luận văn Tác giả Trần Thị Ngọc Bích ii LỜI CAM ĐOAN Tôi xin cam đoan luận văn kết nghiên cứu riêng hướng dẫn TS Nguyễn Thành Anh Trong trình nghiên cứu, tơi kế thừa thành khoa học với trân trọng biết ơn Các kết trích dẫn luận văn rõ nguồn gốc Hà nội, tháng 11 năm 2017 Tác giả Trần Thị Ngọc Bích iii Mục lục MỞ ĐẦU Lý chọn đề tài Mục đích nghiên cứu Nhiệm vụ nghiên cứu Đối tượng phạm vi nghiên cứu Phươngpháp nghiên cứu Dự kiến đóng góp luận văn iv iv v v v v vi Chương KIẾN THỨC CHUẨN BỊ 1.1 Không gian Sobolev 1.2 Một số bất đẳng thức Chương SỰHỘITỤVÀỔNĐỊNHTIÊMCẬNCỦAPHƯƠNGPHÁPGALERKINĐỐIVỚIPHƯƠNGTRÌNHPARABOLICTUYẾNTÍNH CĨ TRỄ 2.1 Phát biểu toán 2.2 PhươngphápGalerkin nửa rời rạc 2.2.1 Xây dựng nghiệm xấp xỉ 2.2.2 Sựhộitụ 2.2.3 Sựổnđịnh 13 2.3 PhươngphápGalerkin rời rạc 14 2.3.1 Phươngpháp Euler - Galerkin lùi 14 2.3.2 Phươngpháp Grank - Nicolson - Galerkin 18 KẾT LUẬN 23 TÀI LIỆU THAM KHẢO 24 iv MỞ ĐẦU Lý chọn đề tài Các tốn biên ban đầu phươngtrìnhparabolic mơ hình tốn học nhiều ứng dụng thực tế khác Giải số toán thường dùng phươngpháp phần tử hữu hạn không gian Trong khuôn khổ đề tài luận văn chúng tơi quan tâm đến giải số tốn biên ban đầu, hộitụổnđịnhtiệmcận dãy nghiệm xấp xỉ phươngtrìnhparabolictuyếntínhcótrễ Bởi vậy, hướng dẫn TS Nguyễn Thành Anh, chọn đề tài : " SựhộitụổnđịnhtiệmcậnphươngphápGalerkinphươngtrìnhparabolictuyếntínhcó trễ" Luận văn hồn thành dựa chủ yếu vào kết khoa học toán [7] danh mục tài liệu tham khảo Chúng xét toán biên ban đầu ut (x, t) = auxx (x, t) + buxx (x, t − τ ), t > 0, x ∈ Ω := [0, π ] (2.1) u(0, t) = u(π, t) = 0, t ≥ −τ u(x, t) = φ(x, t), −τ ≤ t ≤ 0, x ∈ Ω a > 0, b ≥ τ > Sự tồn nghiệm tính trơn nghiệm tốn kết có Việc giải số toán trường hợp khơng cótrễ nhận nhiều kết phong phú v Mục đích nghiên cứu Trong luận văn này, trường hợp tốn có trễ, chúng tơi nghiên cứu hộitụtínhổnđịnhtiệmcận dãy nghiệm xấp xỉ phươngphápGalerkin bán rời rạc (chỉ rời rạc theo phương không gian) rời rạc tồn phần (cả theo phương khơng gian thời gian) Nhiệm vụ nghiên cứu - Giới thiệu số kiến thức chuẩn bị bao gồm không gian Sobolev số bất đẳng thức, đặc biệt bất đẳng thức Gronwall dạng tích phân dạng rời rạc - Tìm hiểu tổng quan toán - Xây dựng dãy nghiệm xấp xỉ, thiết lập đánh giá hộitụ nghiệm xấp xỉ - Nghiên cứu trình bày kết hộitụtínhổnđịnhphươngphápGalerkin nửa rời rạc Galerkin rời rạc toàn phần Đối tượng phạm vi nghiên cứu - Đối tượng nghiên cứu: SựhộitụổnđịnhtiệmcậnphươngphápGalerkinphươngtrìnhparabolictuyếntínhcótrễ - Phạm vi nghiên cứu: Dãy nghiệm xấp xỉ, hộitụổnđịnhtiệmcậnphươngphápGalerkinPhươngpháp nghiên cứu Nghiên cứu tài liệu tham khảo theo phương pháp: Hệ thống lại kiến thức có liên quan, phân tích, tổng hợp vi Dự kiến đóng góp luận văn Qua đề tài tơi trình bày chi tiết, thiết lập đánh giá hộitụ nghiệm xấp xỉ ổnđịnhtiệmcận để đến kết hộitụtínhổnđịnhphươngphápGalerkin toàn phần Chương KIẾN THỨC CHUẨN BỊ 1.1 Không gian Sobolev Cho Ω miền Rd (d = 1, 2, 3) k C ∞ (Ω) = {u : Ω → R khả vi vô hạn} = ∩∞ k=0 C (Ω) Cc∞ (Ω) kí hiệu hàm C ∞ (Ω) với giá compact Lp (Ω) = {u : Ω → R|u đo Lebesgue, ||u||Lp (Ω)H r = 0≤|α|≤r Ω 11 Giả sử τ ≤ t − kτ ≤ 0, ||ρ(t − kτ )||−l = ||u(t − kτ ) − Dh u(t − kτ )||−l = ||u(t − kτ ) − Rh u(t − kτ )||−l ≤ C.hr+l ||u(t − kτ )||r Điều với (2.9) chứng minh định lý Định lý sau chứng minh tương tựĐịnh lý 2.2.2 Định lí 2.2.3 Cho u nghiệm (2.1) Giả sử ||ut (t) − Rh ut (t)||i = ||ut (t) − (Rh u)t (t)||i ≤ Chr+i ||ut (t)||r , i = 1, 2; −τ ≤ t ≤ ρ(t) = u(t) − Dh u(t) Khi ||ρt (t)|| + h||ρt (t)||1 ≤ Chr , t > (2.10) Định lí 2.2.4 Cho u uh tương ứng nghiệm (2.1) (2.3) Giả sử ||u(t) − Rh u(t)||i ≤ Chr+i ||u(t)||r ||ut (t) − Rh ut (t)||i ≤ C.hr+i ||ut (t)||r , −τ ≤ t ≤ ||φh (t) − φ(t)||i ≤ Chr , i = 0, Khi ||uh (t) − u(t)|| ≤ Chr , t > Chứng minh Kí hiệu uh (t) − ut (t) = φ(t) + ρ(t), θ(t) = uh (t) − Dh u(t), ρ(t) = Dh u(t) − u(t) (2.11) Bởi Định lý 2.2.2, ta có ||ρ(t)|| ≤ Chr Để đánh giá θ(t), ta có (θ(t), χ) + a(∇θ(t), ∇χ) + b(∇θ(t − τ ), ∇χ) = (uh,t , χ) − (Dh ut (t), χ) + a(∇uh (t), ∇χ) − a(∇Dh u(t), ∇χ) + b(∇uh (t − τ ), ∇χ) − b(∇Dh u(t − τ ), ∇χ) (2.12) 12 = (uh,t , χ) − (Dh u(t), χ) + a(∇uh (t), ∇χ) − a(∇u(t), ∇χ) + b(∇uh (t − τ ), ∇χ) − b(∇u(t − τ ), ∇χ) = (ut (t) − Dh ut (t), χ) = −(ρt (t), χ), χ ∈ Shr (2.13) Lấy χ = θ(t), ta 1d ||θ(t)||2 + a||θ(t)||21 ≤ C (||θ(t − τ )||1 ||θ(t)||1 + ||ρt (t)||||θ(t)||) dt Do 1d ||θ(t)||2 + dt Giả sử t ∈ [(k − 1)τ, kτ ], a ||θ(t)||21 ≤ C (||θ(t − τ )||21 + ||ρt (t)||||θ(t)||) k ∈ N Lấy tích phân hai vế [(k − 1)τ, t], ta có t t ||θ(s)||21 ds ||θ(t)|| + ||θ(s − τ )||21 ds ≤ C (||θ(k − 1)τ || + (k−1)τ (k−1)τ t ||ρt (s)||θ(s)||ds) + (k−1)τ Lưu ý t t ||θ(s)||21 ds ≤ C (||θ(k − 1)τ )|| + (k−1)τ t ||θ(s − τ )||21 ds (k−1)τ t ||θ(s)||21 ds = C (||θ((k − 1)τ )|| + ||ρt (s)||||θ(s)||ds) + (k−1)τ t−τ ||ρt (s)||||θ(s)||ds) + (k−1)τ t−2τ (k−2)τ ≤ C (||θ((k − 1)τ )||2 + ||θ((k − 2)τ )||2 + ||θ(s)||21 ds (k−3)τ t t−τ ||ρt (s)||||θ(s)||ds + + (k−1)τ k−1 k−1 t−kτ ||θ(iτ )|| + C( ||ρt (s)||||θ(s)||ds ≤ (k−2)τ −τ i=0 ||θ(s)||21 ds t−(k−i−1)τ ||ρt (s)||||θ(s)||ds) + i=0 iτ Do k−1 ||θ(t)|| ≤ C k−1 t−kτ 2 ||θ(iτ )|| + −τ i=0 t−(k−i−1)τ ||θ(s)||21 ds+ ||ρt (s)||||θ(s)||ds i=0 iτ Do k−1 ||θ(kτ )|| ≤ C ( ||θ(iτ )|| + i=0 k−1 2 −τ ||θ(s)||21 ds (i+1)τ ||ρt (s)||||θ(s)||ds) + i=0 iτ 13 Sử dụng Bất đẳng thức Gronwall rời rạc, ta có k−1 2 ||θ(kτ )|| ≤ C (||θ(0)|| + −τ ||θ(s)||21 ds (i+1)τ ||ρt (s)||||θ(s)||ds) + i=0 iτ Do t 2 ||θ(t)|| ≤ C (||θ(0)|| + −τ ||θ(s)||21 ds t ||θ(s)||2 ds) ||ρt (s)|| ds + + 0 Suy ||θ(t)|| ≤ Chr , theo Bất đẳng thức Gronwall giả thiết định lý Định lý chứng minh 2.2.3 SựổnđịnhĐịnh nghĩa 2.2.5 Nếu nghiệm uh (x, t) (2.3) tương ứng với hàm khả vi φh (x, t) với φh (0, t) = φh (π, t) = thỏa mãn lim uh (x, t) = 0, x ∈ [0; π ], t→∞ nghiệm khơng (2.3) ổnđịnhtiệmcậnĐịnh lí 2.2.6 Nghiệm không (2.3) ổnđịnhtiệmcậnvới a > b Chứng minh Giả sử α(t) = eλt C1 , với C1 véc tơ Phươngtrình đặc trưng (2.4): ||λI + aA−1 B + bA−1 Be−λτ || = 0, (2.14) tương đương với λ = −(a + be−λτ )λA−1 B , đó: λA−1 B giá trị riêng A−1 B Vì A, B > xác định dương nên λA−1 B > Mặt khác B ma trận xác định dương nên tồn ma trận khả nghịch C cho C : ∃ B = C T C CA−1 BC −1 = CA−1 C T CC −1 = CA−1 C T xác định dương đồng dạng với A−1 B 14 Giả sử λ = λ1 + iλ2 Khi λ1 = −(a + be−λ1 τ cos λ2 τ )λA−1 B λ2 = be−λ1 τ sin λ2 τ λA−1 B Nếu λ1 ≥ a + be−λ1 τ cos λ2 τ ≥ a − b λ1 = −(a + be−λ1 τ cos λ2 τ )λA−1 B ≤ −(a − b)λA−1 B < 0, mâu thuẫn Do a > b λ1 < Vậy nghiệm không (2.3) ổnđịnhtiệmcận 2.3 PhươngphápGalerkin rời rạc 2.3.1 Phươngpháp Euler - Galerkin lùi τ bước nhảy với số nguyên m ≥ m Các điểm lưới tn xác định tn = n∆t, n = 0, 1, 2, un xấp xỉ Shr uh (t) t = tn = n∆t Phươngpháp Euler - Galerkin lùi cho (2.3) sau Cho ∆t = un − un−1 , χ + a(∇un , ∆χ) + b(∇un−m , ∇χ) = 0, n > 0, χ ∈ Shr ∆t (2.15) un (.) := φh (., tn ), với −m ≤ n ≤ Nh Φi (x)αjn Khi (2.15) rút gọn thành n Lấy u (x) = i=1 ∆t Nh αin (Φi , Φj ) i=1 − ∆t Nh αjn−1 (Φi , Φj ) i=1 Nh Nh αin (∇Φi , ∇Φj ) = −a αin−m (∇Φi , ∇Φj ) −b i=1 i=1 Dùng ký hiệu Mục 2.2, toán viết thành (A + a∆tB )αn = Aαn−1 − b∆tBαn−m , n > αn = γ n , −m ≤ n ≤ (2.16) 15 với γ n véc tơ xấp xỉ φh (tn ) αn = (α1 , , αNh )T Bài tốn có nghiệm với n > 2.3.1.1 SựhộitụĐịnh lí 2.3.1 Cho u un tương ứng nghiệm (2.1) (2.15) Giả sử ||u(t) − Rh u(t)||i ≤ Chr+i ||u(t)||r , ||ut (t) − Rh ut (t)||i ≤ Chr+i ||ut (t)||r , −τ ≤ t ≤ ||φh (t) − φ(t)||i ≤ Chr , i = 0, Khi ||un − u(tn )|| ≤ C (hr + ∆t), n = 1, 2, Chứng minh Kí hiệu un − u(tn ) = (un − Dh u(tn )) + (Dh u(tn ) − u(tn )) = θn + ρn ρn = ρ(tn ) đánh (2.12) Các tính tốn tương tự (2.13) ta có: θn − θn−1 , χ + a(∇θn , ∇χ) + b(∇θn−m , ∇χ) = −(ω n , χ), ∀χ ∈ Shr , ∆t ωn = Dh u(tn ) − Dh u(tn − 1) − ut (tn ) ∆t = (Dh − I )∂u(tn ) + (∂u(tn ) − ut (tn )) =: ω1n + ω2n , ∂u(tn ) := u(tn ) − u(tn−1 ) ∆t Chọn χ = θn ta có: θn − θn−1 n , θ + a||θn ||21 + b(∇θn−m , ∇θn ) = −(ω n , θn ) ∆t Theo bất đẳng thức Schwarz θn − θn−1 n , θ + ||θn ||21 ≤ C (||θn−m ||21 + ||ω n ||||θn || ∆t (2.17) 16 Do ||θn ||2 + ∆t||θn ||21 ≤ C ||θn−1 ||2 + ∆t||θn−m ||21 + (∆t)2 ||ω n ||2 , Không tính tổng quát, giả sử n ∈ [(k − 1)m, km], k ∈ N Khi ∆t||θn ||21 ≤ C (||θn−1 ||2 + ∆t||θn−m ||21 + (∆t)2 ||ω n ||2 ) ≤ C (||θn−1 ||2 + ||θn−m−1 ||2 + ∆t||θn−2m ||21 + (∆t)2 ||ω n ||2 + (∆t)2 ||ω n−m ||2 ) k−1 ≤ ··· ≤ C k−1 ||θ n−im−1 || + ∆t||θn−km ||21 ||ω n−im ||2 + (∆t) i=0 i=0 Do k−1 n ||θ || ≤ C k−1 ||θ n−im−1 || + ∆t||θn−km ||21 ||ω n−im ||2 + (∆t) i=0 (2.18) i=0 Từ đây, sử dụng bất đẳng thức Gronwall rời rạc, ta nhận k−1 n ∆t||θn−km ||21 ||θ || ≤ C ||θ || + + (∆t) ||ω n−im ||2 i=1 Ta viết tn ω1n = (Dh − I )∂u(tn ) = ∆t−1 tn−1 d (Dh − I )u(t)dt dt Do k−1 (∆t) ||ω1n−im ||2 k−1 tn−im i=1 k−1 tn−im−1 = i=0 d (Dh − I )u(t)dt dt tn−im Chr ||u(t)||r dt ≤ i=0 2 ≤ Ch2r tn−im−1 Mặt khác ∆tω2i = u(ti ) − u(ti−1 ) − ∆tut (ti ) ti =− (t − ti−1 )utt (t)dt ti−1 Do k−1 k−1 ||ω2n−im ||2 (∆t) i=0 tn−im (t − tn−im−1 )utt (t)dt||2 || = i=0 tn−im−1 (2.19) 17 k−1 tn−im ≤ (∆t) utt (t)dt||2 ≤ C (∆t)2 || (2.20) tn−im−1 i=0 Từ đây, với (2.18), (2.19) giả sửđịnh lý định lý chứng minh 2.3.1.2 SựổnđịnhĐịnh nghĩa 2.3.2 Nếu nghiệm un (2.15) ứng với hàm khả vi φh (x, t) với φh (0, t) = φh (π, t) = thỏa mãn lim un = 0, x ∈ [0, 1], n→∞ nghiệm khơng (2.15) gọi ổnđịnhtiệmcận Đặt K = [xi , xi+1 ] phần tử hữu hạn, K = [−1, 1] Bằng phép đổi biến x → ξ từ K vào K, ta có h Φi Φj dx = Φi Φj dξ, K K ∇Φi ∇Φj dx = K h ∇Φi Φj dξ K Theo (2.16), ta có h h A+ 2a∆t −1 2a∆t 2b∆t h A+ B 2 h h h −1 4a∆t −1 4b∆t 4a∆t −1 n−1 = I+ A B α − I + A B 2 αn = B Aαn−1 − h h −1 −1 h Bαn−m A−1 Bαn−m , (2.21) A = (ajk ), B = (bjk ) ma trận với phần tử (ajk ) = (Φj , Φk ), bjk = (∇Φj , ∇Φk ) Lấy αn = λn C1 Phươngtrình đặc trưng (2.21) λm − + 4a∆t h2 −1 λA−1 B λm−1 + 4b∆t h2 1+ 4a∆t h2 −1 λA−1 B λA−1 B = 0, (2.22) Trong λA−1 B giá trị riêng A−1 B Do đó, nghiệm khơng tốn (2.15) ổnđịnhtiệmcận độc lập vớitrễ (2.22) đa thức Schur với m ≥ 1, nghĩa tất không điểm có mơ đun bé Để chứng minh đa thức đặc trưng (2.22) Schur, ta cần bổ đề sau 18 Bổ đề 2.3.3 (Xem [11]) Cho γm (z ) = α(z )z m − β (z ) đa thức Trong α(z ), β (z ) đa thức bậc không đổi Khi đa thức γm (z ) đa thức Schur với m ≥ điều kiện sau thỏa mãn (a) α(z ) = ⇒ |z| < 1, (b) |β (z )| ≤ |α(z )|, ∀z ∈ C, |z| = 1, (c) γm (z ) = 0, ∀z ∈ C, |z| = 1, ∀m ≥ Định lí 2.3.4 Giả sử ≤ b < a Khi nghiệm khơng tốn (2.15) ổnđịnhtiệmcận độc lập vớitrễ Chứng minh Kí hiệu α(λ) = λ − + 4a∆t h2 −1 λA−1 B , 4a∆t −4b∆t 1+ λ −1 h h2 A B β (λ) = (a) Nếu α(λ) = |λ| = + 4a∆t h2 −1 λA−1 B −1 λA−1 B < (b) Với ∀λ ∈ C, |λ| = 1, ta có 4a∆t |α(λ)| = λ − + 4a∆t h2 ≥ 1+ 4a∆t h2 λA−1 B 4a∆t h2 λA−1 B −1 λA−1 B = λ−1+ λ −1 h2 A B 4a∆t 1+ λ −1 h2 A B 4b∆t > λ −1 h2 A B = |β (λ)| 4a∆t 1+ λ −1 h2 A B (c) suy từ (b) Định lý chứng minh 2.3.2 Phươngpháp Grank - Nicolson - GalerkinPhươngpháp Grank - Nicolson - Galerkin (2.3) tương ứng với (2.17) cho phươngpháp Euler lùi dẫn đến q trình số có dạng sau ∇un + ∇un−1 ∇un−m + ∇un−m−1 un − un−1 ,χ + a , ∇χ + b , ∇χ = ∆t 2 (2.23) 19 với n > 0, un (.) = φh (., tn ), với −m ≤ n ≤ Nh Lấy un (x) = i=1 Φi (x)αin Khi (2.23) trở thành ∆ Nh αin (Φi , Φj ) i=1 =− a − ∆t Nh αin−1 (Φi , Φj ) i=1 Nh (αin + αin−1 )(∇Φi , ∇Φj ) i=1 − b Nh (αin−m + αin−m−1 )(∇Φi , ∇Φj ), n > i=1 (2.24) Với ký hiệu mục 2.2, Bài tốn 2.24 viết thành (A + a ∆tB )αn = (A − a ∆tB )αn−1 − ∆t b Bαn−m − ∆t b Bαn−m−1 , n > 2 2 αn = γ n Bài tốn có nghiệm với ∀n dương 2.3.2.1 SựhộitụĐịnh lí 2.3.5 Cho u U n tương ứng nghiệm (2.1) (2.23) Giả sử ||u(t) − Rh u(t)||i ≤ Chr+i ||u(t)||r ||ut (t) − Rh ut (t)||i ≤ Chr+i ||ut (t)||r , −τ ≤ t ≤ ||φh (t) − φ(t)||i ≤ Chr , i = 0, Khi ||un − u(tn )|| ≤ C (hr + (∆t)2 ), n = 1, 2, Chứng minh Kí hiệu un − u(tn ) = (un − Dh u(tn )) + (Dh u(tn ) − u(tn )) = θn + ρn , ρn = ρ(tn ) Đánh giá ρn tương tự (2.11) Từ (2.12) ta có θn − θn−1 ∇θn + ∇θn−1 ∇θn−m + ∇θn−m−1 ,χ + a , ∇χ + b , ∇χ ∆t 2 20 = −(ω n , χ), ∀χ ∈ Shr , (2.25) Dh u(tn ) − Dh u(tn−1 ) ut (tn ) + ut (tn−1 ) − ∆t ut (tn ) + ut (tn−1 ) = (Dh − I )∂u(tn ) + (∂u(tn ) − ) := ω1n + ω2n ωn = Chọn χ = θn + θn−1 Ta có θn + θn−1 ∇θn−m + ∇θn−m−1 ∇θn + ∇θn−1 θn − θn−1 θn + θn−1 , + a|| ||1 + b , ∆t 2 2 n n−1 θ +θ = −(ω n , ) Sử dụng bất đẳng thức Schwarz θn − θn−1 θn + θn−1 θn + θn−1 ||θn−m + θn−m−1 ||21 , + || ||1 ≤ C + ∆t 2 θn + θn−1 ||ω n |||| || Do ||θn ||2 + ∆t|| θn + θn−1 ||21 ≤ C ||θn−1 ||2 + ∆t|| θn−m + θn−m−1 ||21 + (∆t)2 ||ω n ||2 Khơng tính tổng qt, giả sử n ∈ [(k − 1)m, km], k ∈ N Khi ∆t|| θn + θn−1 ||21 ≤ C ||θn−1 ||2 + ∆t|| ≤ C ||θn−1 ||2 + ||θn−m−1 ||2 + ∆t|| k−1 ≤ ··· ≤ C ||θ n−im−1 || + ∆t|| θn−m + θn−m−1 θn−2m + θn−2m−1 θn−km + θn−km−1 i=0 ||21 + (∆t)2 ||ω n ||2 ||21 + (∆t)2 (||ω n ||2 + ||ω n−m ||2 ) k−1 ||21 + (∆t) ||ω n−im ||2 ) i=0 Do k−1 n ||θ || ≤ C ||θ i=0 n−im−1 || + ∆t|| θn−km + θn−km−1 k−1 ||21 + (∆t) ||ω n−im ||2 i=0 21 Theo bất đẳng thức Gronwall n 2 ||θ || ≤ C ||θ|| + ∆t|| θn−km + θn−km−1 k−1 ||21 ||ω n−im ||2 + (∆t) i=0 Ta có tn ω1n −1 = (Dh − I )∂u(tn ) = ∆t (Dh − I )ut (t)dt, tn−1 k−1 k−1 ||ω1n−im ||2 (∆t) tn−im Chr ||ut (t)||r dt ≤ i=1 ≤ Ch2r (2.26) tn−im−1 i=1 Hơn ||∆tω2i || = ||u(ti ) − u(ti−1 ) − ∆t ut (ti ) + u + ut (ti−1 ) ti || ≤ C (∆t) ||uttt (t)||dt, ti−1 k−1 k−1 ||ω2n−im ||2 (∆t) tn−im ≤ C (∆t) i=1 ||uttt (s)||dt i=1 ≤ C (∆t)4 (2.27) tn−im−1 Định lý chứng minh 2.3.2.2 SựổnđịnhTừ (2.24) ta có a∆t −1 h a∆t b∆t h a∆t B A− B αn−1 − A+ B h h h h 2a∆t −1 2a∆t −1 A B )( I − A B )αn−1 = (I + 2 h h 2b∆t 2a∆t −1 −1 −1 − (I + A B ) A B (αn−m + αn−m−1 ) h h αn = h A+ −1 B (αn−m + αn−m−1 ) (2.28) Lấy αn = λn C1 Phươngtrình đặc trưng (2.28) 1− 2a∆t 2b∆t λA−1 B 2 m−1 h h λ − λ − (λ + 1) = 2a∆t 2a∆t 1+ λ −1 1+ λ −1 h2 A B h2 A B m λA−1 B (2.29) 22 Định lí 2.3.6 Giả sử ≤ b < a Khi nghiệm khơng lược đồ Grank Nicolson (2.23) ổnđịnhtiệmcận độc lập vớitrễ Chứng minh Kí hiệu 1− α(λ) = λ − 2a∆t 2b∆t λ −1 h2 h2 A B (λ + 1) , β (λ) = 2a∆t 2a∆t λA−1 B λ −1 1+ 1+ h h2 A B 1− λA−1 B 2a∆t λ −1 h2 A B , < 2a∆t 1+ λ −1 h2 A B (b) Với ∀λ ∈ C, |λ| = 1, khí hiệu λ = cos θ + i sin θ, ta có (a) Nếu α(λ) = |λ| = 2i sin θ λ − cos θ − + i sin θ = = λ+1 cos θ + + i sin θ + cos θ Do ta có 2a∆t λ− α(λ) = λ+1 2a∆t h2 ≥ 1+ λ −1 h2 A B 2a∆t λ −1 1+ h2 A B = λ+1 λA−1 B 2a∆t h2 λA−1 B 2b∆t 2a∆t λA−1 B λ−1 h + 2a∆t 2a∆t (λ + 1)(1 + + λ ) λ −1 − h2 A B h2 A B λA−1 B β (λ) h > = 2a∆t λ+1 1+ λ −1 h2 A B (c) suy từ (b) Định lý chứng minh 23 KẾT LUẬN Luận văn trình bày số kết hộitụổnđịnhtiệmcậnphươngphápGalerkinphươngtrìnhparabolictuyếntínhcótrễ cho (2.1) Các kết bao gồm: - Thiết lập đánh giá hộitụ nghiệm xấp xỉ Galerkin nửa rời rạc, chứng tỏ nghiệm không hệ xấp xỉ ổnđịnhtiệmcận - Thiết lập đánh giá hộitụ nghiệm xấp xỉ Galerkin nửa rời rạc, chứng tỏ nghiệm không hệ xấp xỉ ổnđịnhtiệmcận hai phương pháp: - Phươngpháp Euler - Galerkin lùi - Phươngpháp Grank - Nicolson - Galerkin Hướng nghiên cứu luận văn mở rộng cho hệ paraboliccótrễ Chắc chắn luận văn khơng tránh khỏi thiếu sót, kính mong ý kiến đóng góp q thầy, bạn bè để luận văn hồn thiện Tơi xin chân thành cảm ơn! 24 TÀI LIỆU THAM KHẢO [1] A Ashyralyev, D Agirseven, On convergence of difference schemes for delay parabolic equations Comput Math Appl 66(2013)1232-1244 [2] A Bellen, M Zennaro, Numerical Methods for Delay Differential Equations, Clarendon Press, Oxford, 2003 [3] H Brunner, Collocation Methods for Volterra Integral and Related Functional Equations, Cambridge University Press, Cambridge, 2004 [4] H Brunner, K Mustapha, H Mustapha, D Schoetzau, An HP - version discontinuous Galerkin method for integro - differential equations of parabolic type, SIAM J Numer Anal 49 (2011) 1369 - 1396 [5] C.M Chen, T Shih, Finite Element Methods for Integrodifferential Equations, Word Scientific, Singapore, 1998 [6] D Green, H.W Stech, Diffusion and hereditary effects in a class of population models, in: S N Busenberg, K L Cooke (Eds.), Differential Equations and Applications in Ecology, Epidemics, and Population Problems, Academic Press, New York, 1981 [7] H Liang, M Z Liu, W J Lv, Stability of θ− methods in the numerical solution of a partial differential equation with piecewise continuous arguments, Appl Math Lett 23 (2010) 198-206 [8] H Liang, Convergence and asymptotic stability of Galerkin methods of for linear parabolic equation with delays, Applied Mathematics and Computation, 264(2015) 160-178 [9] V Thomee, Galerkin Finite Element Methods for Parabolic Problems, Springer, New York, 1997 25 [10] HJ Tian, Asymptotic stability of numerical methods for linear delay parabolic differential equations, Comput Math Appl 56(2008) 1758 - 1765 [11] M.Z Liu, M.N Spijker, The stability of the θ− methods in the numerical solution of delay differential equations, IMAJ Numer Anal 10 (1990) 3148 ... Chương SỰ HỘI TỤ VÀ ỔN ĐỊNH TIÊM CẬN CỦA PHƯƠNG PHÁP GALERKIN ĐỐI VỚI PHƯƠNG TRÌNH PARABOLIC TUYẾN TÍNH CĨ TRỄ 2.1 Phát biểu toán 2.2 Phương pháp Galerkin nửa... Đối tượng phạm vi nghiên cứu - Đối tượng nghiên cứu: Sự hội tụ ổn định tiệm cận phương pháp Galerkin phương trình parabolic tuyến tính có trễ - Phạm vi nghiên cứu: Dãy nghiệm xấp xỉ, hội tụ ổn. ..BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI TRẦN THỊ NGỌC BÍCH SỰ HỘI TỤ VÀ ỔN ĐỊNH TIỆM CẬN CỦA PHƯƠNG PHÁP GALERKIN ĐỐI VỚI PHƯƠNG TRÌNH PARABOLIC TUYẾN TÍNH CĨ TRỄ Chun ngành: