Luận văn Thạc sĩ Toán học: Một số phương pháp lặp giải phương trình vi phân phi tuyến cấp bốn với hệ điều kiện biên phức tạp
lượt xem 2
download
Mục tiêu nghiên cứu chính của luận văn là tìm hiểu một số phương pháp giải số phương trình vi phân cấp 4 với hệ điều kiện biên phức tạp bao sơ đồ lặp, nghiên cứu tính chất hội tụ của các sơ đồ lặp và kiểm tra tính đúng đắn của các sơ đồ lặp thông qua các chương trình trên máy tính điện tử. Mời các bạn tham khảo!
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Luận văn Thạc sĩ Toán học: Một số phương pháp lặp giải phương trình vi phân phi tuyến cấp bốn với hệ điều kiện biên phức tạp
- ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ------------------------------- VŨ THỊ THẢO MỘT SỐ PHƯƠNG PHÁP LẶP GIẢI PHƯƠNG TRÌNH VI PHÂN PHI TUYẾN CẤP BỐN VỚI HỆ ĐIỀU KIỆN BIÊN PHỨC TẠP LUẬN VĂN THẠC SĨ TOÁN HỌC THÁI NGUYÊN - 2019
- ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC KHOA HỌC ------------------------------- VŨ THỊ THẢO MỘT SỐ PHƯƠNG PHÁP LẶP GIẢI PHƯƠNG TRÌNH VI PHÂN PHI TUYẾN CẤP BỐN VỚI HỆ ĐIỀU KIỆN BIÊN PHỨC TẠP Chuyên ngành: Toán ứng dụng Mã số : 8 46 01 12 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC TS. Vũ Vinh Quang THÁI NGUYÊN - 2019
- Lời cam đoan Tôi xin cam đoan nội dung trong luận văn Thạc sĩ chuyên ngành Toán ứng dụng với đề tài MỘT SỐ PHƯƠNG PHÁP LẶP GIẢI PHƯƠNG TRÌNH VI PHÂN PHI TUYẾN CẤP BỐN VỚI HỆ ĐIỀU KIỆN BIÊN PHỨC TẠP được hoàn thành bởi nhận thức của tôi, không trùng lặp với luận văn, luận án và các công trình đã công bố. Thái Nguyên, tháng 5 năm 2019 Người viết Luận văn VŨ THỊ THẢO
- Lời cảm ơn Tôi xin bày tỏ lòng biết ơn tới TS.Vũ Vinh Quang, người đã định hướng chọn đề tài và tận tình hướng dẫn, cho tôi những nhận xét quý báu để tôi có thể hoàn thành luận văn. Tôi cũng xin bày tỏ lòng biết ơn chân thành tới phòng Sau Đại học, các thầy cô giáo dạy cao học chuyên ngành Toán ứng dụng trường Đại học khoa học - Đại học Thái Nguyên đã giúp đỡ và tạo điều kiện cho tôi trong suốt quá trình học tập và nghiên cứu khoa học. Nhân dịp này tôi cũng xin gửi lời cảm ơn chân thành tới gia đình, bạn bè đã luôn động viên, cổ vũ, tạo mọi điều kiện thuận lợi cho tôi trong suốt quá trình học tập. Thái Nguyên, tháng 5 năm 2019 Người viết luận văn VŨ THỊ THẢO ii
- Mục lục Lời cam đoan i Lời cảm ơn ii Mục lục ii Mở đầu 1 Một số ký hiệu viết tắt 2 1 Một số kiến thức cơ bản 3 1.1 Lý thuyết về các phương pháp lặp giải hệ đại số tuyến tính . . 3 1.1.1 Không gian Metric . . . . . . . . . . . . . . . . . . . . 3 1.1.2 Ánh xạ co . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.1.3 Nguyên lí ánh xạ co . . . . . . . . . . . . . . . . . . . 4 1.1.4 Hệ đại số tuyến tính với ma trận chéo trội . . . . . . . . 4 1.1.5 Phương pháp lặp đơn . . . . . . . . . . . . . . . . . . . 5 1.1.6 Phương pháp lặp Jacobi . . . . . . . . . . . . . . . . . . 7 1.1.7 Phương pháp lặp Gauss - Seidel . . . . . . . . . . . . . 10 1.2 Phương pháp sai phân đối với phương trình vi phân cấp 2 . . . 13 iii
- 1.2.1 Công thức Taylor . . . . . . . . . . . . . . . . . . . . . 13 1.2.2 Một số phương pháp xấp xỉ đạo hàm với độ chính xác cấp bốn . . . . . . . . . . . . . . . . . . . . . . . . . . 14 1.2.3 Hệ phương trình sai phân . . . . . . . . . . . . . . . . . 19 1.3 Phương pháp Runge - Kutta đối với phương trình vi phân cấp cao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 1.3.1 Mô hình bài toán tổng quát của phương trình cấp cao . 23 1.3.2 Xây dựng thuật toán với độ chính xác cấp 4 . . . . . . . 24 1.3.3 Giới thiệu về thư viện QH− 2015 . . . . . . . . . . . . . 26 2 Sự tồn tại nghiệm dương trong lớp các bài toán biên với hệ điều kiện biên phi tuyến tính 29 2.1 Mô hình bài toán biên phi tuyến thứ nhất . . . . . . . . . . . . 30 2.1.1 Sự tồn tại nghiệm . . . . . . . . . . . . . . . . . . . . . 31 2.1.2 Nghiệm dương của bài toán . . . . . . . . . . . . . . . 32 2.2 Mô hình bài toán phi tuyến thứ hai . . . . . . . . . . . . . . . 35 2.3 Mô hình bài toán biên với hệ số phụ thuộc tích phân, điều kiện phi tuyến . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 2.3.1 Mô hình bài toán . . . . . . . . . . . . . . . . . . . . . 37 2.3.2 Sự tồn tại nghiệm . . . . . . . . . . . . . . . . . . . . . 38 2.3.3 Phương pháp tìm nghiệm số . . . . . . . . . . . . . . . 39 3 Phương pháp lặp tìm nghiệm số của các bài toán biên phi tuyến cấp bốn 42 3.1 Phương pháp phân rã giải các bài toán tuyến tính cấp 4 . . . . 42 iv
- 3.2 Dạng bài toán điều kiện đầu phi tuyến . . . . . . . . . . . . . . 44 3.3 Dạng bài toán điều kiện biên phi tuyến . . . . . . . . . . . . . 48 3.4 Dạng bài toán biên chứa hệ số tích phân . . . . . . . . . . . . . 51 Tài liệu tham khảo chính 57 v
- Mở đầu Phương trình vi phân dạng phi tuyến tính là một lớp phương trình quan trọng trong lý thuyết phương trình vi phân, lớp phương trình này có ứng dụng quan trọng đối với các bài toán thực tế đặc biệt là lý thuyết điều khiển ổn định. Việc tìm nghiệm giải tích của các phương trình này chỉ thực hiện được đối với các phương trình dạng đặc biệt còn chủ yếu là phải xác định nghiệm xấp xỉ qua các phương pháp gần đúng dựa trên cơ sở của các thuật toán số như việc giải các hệ phương trình đại số tuyến tính hoặc các sơ đồ lặp thông qua phương pháp sai phân. Mục tiêu nghiên cứu chính của luận văn là tìm hiểu một số phương pháp giải số phương trình vi phân cấp 4 với hệ điều kiện biên phức tạp bao sơ đồ lặp, nghiên cứu tính chất hội tụ của các sơ đồ lặp và kiểm tra tính đúng đắn của các sơ đồ lặp thông qua các chương trình trên máy tính điện tử. Nội dung của đề tài: Chương 1: Một số kiến thức cơ bản. Chương 2: Sự tồn tại nghiệm dương trong lớp các bài toán biên với hệ điều kện biên phi tuyến tính. Chương 3: Phương pháp lặp tìm nghiệm số của các bài toán biên phi tuyến cấp bốn. 1
- Một số ký hiệu viết tắt R tập các số thực R+ tập các số thực không âm A ma trận A−1 ma trận khả nghịch của A ||C|| chuẩn của ma trận C d(x, y) khoảng cách từ phần tử x đến phần tử y limx→x0 giới hạn x đến x0 J ánh xạ đối ngẫu chuẩn tắc un đạo hàm cấp n hi tích vô hướng U, K1 , K2 , F, Uα các vecto n chiều 2
- Chương 1 Một số kiến thức cơ bản 1.1 Lý thuyết về các phương pháp lặp giải hệ đại số tuyến tính 1.1.1 Không gian Metric Định nghĩa 1.1.1. Tập X của các phần tử x, y, z, ... được gọi là không gian Metric nếu như với mọi phần tử x, y bất kì đều tương ứng với một số không âm d(x, y) thoả mãn các điều kiện sau: + d(x, y) > 0, d(x, y) = 0 khi và chỉ khi x = y + d(x, y) = d(y, x) + d(x, y) ≤ d(x, z) + d(z, y). Số d(x, y) được gọi là khoảng cách giữa hai phần tử x và y hay thường gọi là Metric. Định nghĩa 1.1.2. Dãy {xn } được gọi là 1 dãy cơ bản nếu ∀ε > 0, đều tồn tại số N > 0 sao cho với mọi m, n > N ta đều có d(xn , xm ) ≤ ε. Nếu bất kì một dãy cơ bản nào trong không gian X đều hội tụ đến phần tử thuộc X thì 3
- X được gọi là không gian đủ. 1.1.2 Ánh xạ co Định nghĩa 1.1.3. Một ánh xạ A từ không gian Metric (X,d) vào chính nó được gọi là ánh xạ co nếu tồn tại hằng số q ∈ (0, 1) sao cho với mọi x, y ∈ X, d(A(x), A(y)) < qd(x, y). Khi đó hằng số q được gọi là hệ số co của ánh xạ A. 1.1.3 Nguyên lí ánh xạ co Cho A là ánh xạ co trong không gian Metric đủ (X,d). Khi đó: • Tồn tại duy nhất x∗ ∈ X sao cho A(x∗ ) = x∗ . Phần tử x∗ ∈ X được gọi là điểm bất động của ánh xạ A. • Mọi dãy lặp xn+1 = A(xn ), (n≥0) xuất phát từ x0 bất kì đều hội tụ. Ngoài ra ta có ước lượng sau d(xn , x∗ ) ≤ q n (1 − q)−1 d(x0 , x1 ) (n ≥ 1) d(xn , x∗ ) ≤ q n (1 − q)−1 d(xn−1 , xn ) (n ≥ 1) 1.1.4 Hệ đại số tuyến tính với ma trận chéo trội Xét một hệ phương trình gồm n phương trình tuyến tính với n ẩn số x1 , x2 , ...., xn như sau: 4
- a11 x1 + a12 x2 + ... + a1n xn = b1 a21 x1 + a22 x2 + ... + a2n xn = b2 (1.1) .......................................... an1 x1 + an2 x2 + ... + ann xn = bn Hệ phương trình này có thể viết dưới dạng ma trận Ax = b, trong đó a11 a12 ... a1n x1 b1 a21 a22 ... a2n x2 b2 A= ,x = ,b = ... ... ... ... . . an1 an2 ... ann xn bn Nếu det A 6= 0 thì nghiệm của hệ (1.1) có thể tính theo công thức x = A−1 b. Áp dụng công thức tính ma trận đảo ta có thể biến đổi và dẫn đến lời giải được diễn tả bằng định lý Cramer như sau: Định lý Cramer. Gọi Aj là ma trận nhận được từ ma trận A bằng cách thay cột thứ j bằng cột b. Khi đó hệ (1.1) có nghiệm duy nhất và xj được tính bởi công thức det Aj xj = det A 1.1.5 Phương pháp lặp đơn Trở lại bài toán giải hệ phương trình tuyến tính Ax = b (1.2) Ta đưa (1.2) về dạng x = Cx + d (1.3) 5
- Trong đó ma trận C và vecto d được xây dựng từ A và b. Để thực hiện phép lặp ta chọn một vecto ban đầu x(0) , sau đó tính các x(i) , i = 1, 2, ... theo công thức lặp sau: x(1) = Cx(0) + d x(2) = Cx(1) + d ... (1.4) x(k) = Cx(k−1) + d .... Véc tơ x(k) được gọi là vecto lặp thứ k . Ta có định lý sau: Định lý 1.1.4. ( Sự hội tụ của phương pháp) a. Nếu phép lặp (1.4) hội tụ, tức là tồn tại x∗ sao cho x∗ = lim x(k) . k→+∞ ∗ Thì x là nghiệm của (1.3) ( và như vậy cũng là nghiệm của (1.2)) b. Nếu kCk < 1 với một chuẩn nào đó, thì (1.4) hội tụ và sai số giữa nghiệm gần đúng x(k) (nghiệm gần đúng tại bước lặp thứ k) và nghiệm đúng x∗ có thể đánh giá bằng các công thức sau: (k) ∗ kCk (k) (k−1) x − x ≤ x − x 1 − kCk hoặc (k) ∗ kCkk (1) (0) x − x ≤ x − x 1 − kCk Nói chung theo phương pháp lặp đơn, điều kiện để phép lặp được hội tụ thì kCk < 1. Tuy nhiên trong thực tế thì ta chỉ có ma trận A. Một câu hỏi đặt ra là ma trận A phải thoả mãn điều kiện gì để có thể đưa (1.2) về dạng (1.3) và áp dụng phương pháp lặp đơn? 6
- Để phương pháp lặp đơn hội tụ thì thường ma trân A phải thỏa mãn tính chéo trội của ma trận trận vuông. Định nghĩa 1.1.5. ( Tính chéo trội của một ma trận vuông): Ma trận A với các thành phần aij được gọi là có tính chéo trội, nếu giá trị tuyệt đối của các phần tử nằm trên đường chéo chính lớn hơn tổng các giá trị tuyệt đối của các phàn còn lại nằm cùng hàng, tức là n X |aii | > |aij |, i = 1, 2, ...n j−1,j6=i Sau đây sẽ giới thiệu 2 phương pháp lặp đơn Jacobi và Gauss - Seidel 1.1.6 Phương pháp lặp Jacobi Với giả thiết ma trận A có tính chéo trội, khi đó các hệ số aii 6= 0, i = 1, 2, ..., n do đó ta có thể chia phương trình thứ i của hệ (1.1) cho aii và nhận được hệ tương đương a12 a13 a1n b1 x1 + a11 x2 + a11 x3 + ... + a11 xn = a11 a21 a23 a2n b2 a22 x1 + x2 + a22 x3 + ... + a22 xn = a22 ... ai1 ai2 ai,i−1 ai,i+1 ain bi aii x1 + aii x2 + ... + aii xi−1 + xi + aii xi+1 + ... + aii xn = aii ... an1 an2 an,n−1 bn ann x1 + ann x2 + ... + ann xn−1 + xn = ann Từ đây ta có a12 a13 a1n b1 x1 = −(0.x1 + a11 x2 + a11 x3 + ... + a11 xn ) + a11 x2 = −( aa21 22 x1 + 0.x2 + a23 a22 x3 + ... + a2n a22 xn ) + b2 a22 ... 7
- ai,i−1 ai,i+1 xi = −( aai1ii x1 + ai2 aii x2 + ... + aii xi−1 + 0.xi + aii xi+1 + ... + ain aii xn ) + bi aii ... an,n−1 xn = −( aann n1 x1 + an2 ann x2 + ... + ann xn−1 + 0.xn ) + bn ann Khi đó ma trận C, vecto d là: a12 a1n b1 0 a11 ... a11 a11 a a2n b2 21 0 ... a22 C = − a22 a , d = 22 . . ... . . an1 an2 bn ann ann ... 0 ann (Đến đây ta đưa hệ (1.2) về dạng (1.3) và dễ thấy rằng ma trận C thoả mãn điều kiện lặp đơn, tức là kCk∞ < 1 ). Vậy đến đây ta tiếp tục áp dụng phương pháp lặp (1.4) để tính nghiệm ở các bước lặp như sau: Với vecto x(0) cho trước bất kỳ, ví dụ x0 = 0 (vecto 0) ta có thể tính các vecto x(k) tại bước lặp k bằng công thức Cxk = Cxk−1 + d, k = 1, 2, .... Cụ (k) (k) (k) thể hơn, nếu x(k) = (x1 , x2 , ...., xn ) thì ta có: (k) a12 a1n (k−1) b1 x1 0 a11 ... a11 x1 a11 (k) a (k−1) b x 2 21 a 0 ... aa2n x 2 2 a22 = − 22 22 + . . . ... . . . (k) an1 an2 (k−1) bn xn ann ann ... 0 xn ann (k) Với từng thành phần xi ta có n n (k) X aij (k−1) bi 1 X (k−1) xi =− xj + = (bi − aij xj ) (1.5) aii j−1,j6=i aii aii j−1.j6=i 8
- i = 1, 2, ..., n, k = 1, 2, ... Điều kiện hội tụ, đánh giá sai số của phương pháp lặp Jacobi cũng giống với phương pháp lặp đơn. Ví dụ. Dùng phương pháp lặp Jacobi tìm nghiệm gần đúng của hệ phương trình: 4x1 + 0.24x2 − 0.08x3 = 8 0.09x1 + 3x2 − 0.15x3 = 9 0.04x1 − 0.08x2 + 4x3 = 20 Giải: (1). Có thể thấy rằng ma trận các hệ số của hệ phương trình trên đây thoả mãn tính chéo trội, do đó ta có thể biến đổi hệ này để áp dụng phương pháp lặp Jacobi. Chia hai vế phương trình đầu tiên cho 4, hai vế phương trình thứ hai cho 3 và hai vế của phương trình thứ ba cho 4 rồi biến đổi thích hợp ta nhận được x1 = 2 − 0.06x2 + 0.02x3 x2 = 3 − 0.03x1 + 0.05x3 x3 = 5 − 0.01x1 + 0.02x2 Hay x1 0 −0.06 0.02 x1 2 x = −0.03 0 0.05 x + 3 = Cx + d 2 2 x3 −0.01 0.02 0 x3 5 kCk∞ = max(0 + 0.06 + 0.02, 0.03 + 0 + 0.05, 0.01 + 0.02 + 0) = max(0.08, 0.08, 0.03) = 0.08 < 1 9
- (2). Chọn x(0) = (2, 3, 5)T , rồi tính x(1) , x(2) , ... theo công thức (1.5) với lưu ý aii = 1 ta được bảng kết quả sau: (k) (k) (k) k x1 x2 x3 0 2 3 5 1 1.92 3.19 5.04 2 1.9094 3.1944 5.0446 3 1.909228 3.194948 5.044794 (3). Xem x(3) là nghiệm gần đúng cần tìm, ta có thể đánh giá sai x(3) với nghiệm đúng x∗ theo (1.5) như sau: (3) ∗ kCk (3) (2) x − x ≤ x − x 1 − kCk
- (3) (2)
- (3) (2)
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Luận văn Thạc sĩ Toán học: Bài toán quy hoạch lồi
60 p | 328 | 76
-
Luận văn Thạc sĩ Toán học: Nguyên lý ánh xạ co và phương pháp điểm gần kề cho bài toán bất đẳng thức biến phân đa trị đơn điệu
45 p | 322 | 70
-
Luận văn Thạc sĩ Toán học: Bài toán tối ưu trên tập hữu hiệu của bài toán tối ưu đa mục tiêu hàm phân thức a - phin
56 p | 254 | 39
-
Luận văn Thạc sĩ Toán học: Bài toán ổn định các hệ tuyến tính lồi đa diện có trễ
41 p | 238 | 38
-
Luận văn Thạc sĩ Toán học: Hàm giá trị tối ưu và ánh xạ nghiệm của các bài toán tối ưu có tham số
63 p | 229 | 38
-
Tóm tắt luận văn thạc sĩ toán học: Bài toán biên hỗn hợp thứ nhất đối với phương trình vi phân
20 p | 239 | 29
-
Tóm tắt Luận văn Thạc sĩ Toán học: Cơ sở Wavelet trong không gian L2 (R)
45 p | 229 | 27
-
Luận văn thạc sĩ toán học: Xấp xỉ tuyến tính cho 1 vài phương trình sóng phi tuyến
45 p | 204 | 21
-
Luân văn Thạc sĩ Toán học: Toán tử trung hòa và phương trình vi phân trung hòa
58 p | 141 | 6
-
Luận văn Thạc sĩ Toán học: Bài toán cực tiêu chuẩn nguyên tử của ma trận
65 p | 15 | 5
-
Tóm tắt Luận văn Thạc sĩ Toán học: Bài toán sắp xếp kho vận với ràng buộc sắp xếp
20 p | 43 | 5
-
Luận văn Thạc sĩ Toán học: Điều kiện tối ưu cho bài toán quy hoạch toán học tựa khả vi
41 p | 45 | 5
-
Luận văn Thạc sĩ Toán học: Thác triển chỉnh hình kiểu Riemann
55 p | 95 | 5
-
Luận văn Thạc sĩ Toán học: Phương pháp phân tích trực giao chuẩn (POD) cho bài toán xác định tham số trong phương trình Elliptic
106 p | 17 | 5
-
Luận văn Thạc sĩ Toán học: Sự tồn tại và tính trơn của tập hút toàn cục đối với bài toán Parabolic suy biến nửa tuyến tính trong không gian (LpN)
43 p | 76 | 4
-
Luận văn Thạc sĩ Toán học: Vấn đề duy nhất của hàm phân hình chung nhau một hàm nhỏ
48 p | 70 | 4
-
Luận văn Thạc sĩ Toán học: Thác triển ánh xạ chỉnh hình kiểu Riemann
54 p | 96 | 4
-
Luận văn Thạc sĩ Toán học: Nhiễu sinh ra đồng bộ hóa cho một số hệ đơn giản
55 p | 38 | 3
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn