Thuật giải lặp và khai triển tiệm cận của nghiệm theo hai tham số bé cho phương trình sóng phi tuyến

97 1 0
Thuật giải lặp và khai triển tiệm cận của nghiệm theo hai tham số bé cho phương trình sóng phi tuyến

Đ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: THUẬT GIẢI LẶP VÀ KHAI TRIỂN TIỆM CẬN CỦA NGHIỆM THEO HAI THAM SỐ BÉ CHO PHƯƠNG TRÌNH SĨNG PHI TUYẾN LUẬN VĂN THẠC SĨ Năm: BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC Chuyên ngành: : Mã số: : LUẬN VĂN THẠC SĨ Người hướng dẫn TS 1 PHẦN MỞ ĐẦU Lý thuyết điều khiển hệ mơ tả đóng vai trị quan trọng phát triển khoa học kỹ thuật Lĩnh vực hữu khắp nơi từ hệ thống phi thuyền không gian, hệ thống điều khiển tên lửa, máy bay không người lái, người máy, tay máy quy trình sản xuất đại, đời sống hàng ngày: điều khiển nhiệt độ, độ ẩm vậy, việc nghiên cứu lý thuyết điều khiển hệ mô tả vấn đề cần thiết cần quan tâm 921 2 ĐỊNH LÝ LAGRANGE Định lý (Định lý Lagrange) Giả sử hàm số f liên tục đoạn [a, b], khả vi khoảng (a, b) Khi tồn c ∈ (a, b) cho: f ′ (c) = f (b) − f (a) b−a Chứng minh Xét hàm số   f (b) − f (a) g(x) = f (x) − (x − a) + f (a) b−a Do hàm số f (x) x − a liên tục đoạn [a, b], khả vi khoảng (a, b) nên hàm số g(x) liên tục đoạn [a, b] khả vi khoảng (a, b) Mặt khác g(a) = g(b) = Theo định lý Rolle, tồn c ∈ (a, b) cho g ′ (c) = Nhưng ta có g ′ (x) = f ′ (x) − f (b) − f (a) b−a Suy f ′ (c) = f (b) − f (a) b−a Ta có điều phải chứng minh Ý nghĩa hình học định lý Lagrange Cho C đường cong trơn với hai đầu mút A, B Khi C tồn điểm mà tiếp tuyến C điểm song song với AB Nhận xét Thơng qua cách chứng minh định lý Lagrange hệ định lý Rolle Tuy nhiên định lý Rolle lại trường hợp riêng định lý Lagrange giá trị hai đầu mút (tức f (a) = f (b)) Sau ta trình bày cơng thức Lagrange dạng khác Giả sử ξ ∈ (a, b) Đặt θ = ξ−a Khi đó: b−a ξ = a + θ(b − a) 0 cho |fh (x) − fh (y)| < ϵ, ∀x, y ∈ [a, b] với |x − y| < δ, ∀h Khi ta có dãy (fhk )k hàm f ∈ C0 ([a, b]) thỏa mãn fhk → f [a, b] Định lý 28 Giả sử M > số cho trước F = {f ∈ C1 ([a, b]) : ∥.∥C1 ≤ M } Khi F tập compact tương đối (C0 ([a, b]), ∥.∥∞ ); Chứng minh định lý 50 Tính đầy đủ: Giả sử có (i), (ii) (iii) ta F compact Theo tính chất tập compact định lý 48 ta F compact dãy Vì dãy (fh )h ∈ F có dãy (fhk )k hội tụ hàm f ∈ F , nghĩa là, ∥fhk − f ∥∞ → k → ∞ Nhớ K compact tách Giả sử D := {xi : i ∈ N} đếm trù mật K F bị chặn nghĩa tồn M1 > thỏa mãn ∥f − g∥∞ ≤ M1 , ∀f, g ∈ F Cụ thể ta thay f0 ∈ F , đó: ∥f0 − fh ∥∞ ≤ M1 , ∀h ∈ N Hơn ∥fh ∥∞ = ∥(fh − f0 ) + f0 ∥∞ ≤ ∥fh − f0 ∥∞ + ∥f0 ∥∞ ≤ M1 + ∥f0 ∥∞ := M2 Do ta có số M2 > thỏa mãn |fh (x)| ≤ M2 , ∀x ∈ K, ∀h Bây ta xây dựng dãy hội tụ theo trình chéo Cantor Bước 1: (fh (x1 ))h dãy số thực [−M2 , M2 ] Suy dãy có dãy (fh(1) (x1 ))h hội tụ R; 70 Bước 2: Xét dãy (fh(1) (x2 ))h ⊂ [−M2 , M2 ] Do dãy (fh(2) (x2 ))h hội tụ Chú ý dãy (fh(2) (x1 ))h hội tụ có dãy (fh(1) (x1 ))h hội tụ Tiếp tục trình ta Bước k: Một dãy (fh(k) )h (fh(k−1) )h thỏa mãn (fhk (xj ))h hội tụ với j = 1, k Ta có tình sau đây: Định nghĩa: gk := fkk : K → R Lưu ý rằng, i = 1, 2, , dãy (gk )k≥i dãy (fki )k≥i Cụ thể, dãy (gk )k dãy (fh )h theo cách xây dựng ∀x ∈ D (19) (gk )k hội tụ (C0 (K), ∥.∥∞ ) (20) (gk (x))k hội tụ R Tiếp tục trình ta Sử dụng giả thiết F liên tục đều, tức ∀ϵ > 0, ∃δ(ϵ) > : x, y ∈ K |x−y| < δ ⇒ |f (x)−f (y)| < ϵ, ∀f ∈ F (21) Với ϵ > thay đổi tùy ý, δ thay đổi Bởi K bị chặn hồn tồn, σ > có họ hữu hạn hình cầu B(x1 , σ), , B(xN , σ) Rn thỏa mãn N = N (σ), xi ∈ K với i = 1, , N n [ K⊂ B(xi , σ) i=1 Do tính trù mật D K , tồn yi ∈ D ∩ B(xi , σ) với i = 1, , N Cụ thể n \ K⊂ B(yi , 2σ) i=1 Vì ta chọn σ = δ/2 Khi tồn N = N (σ) = N (δ) = N (ϵ) D′ := {y1 , , yn } ⊂ D thỏa mãn K⊂ N [ i=1 B(yi , δ) (22) 71 Từ (57) dãy (gk (y1 ))k , , (gk (yN ))k , ¯ hội tụ, có số nguyên k¯ = k(ϵ) với |gk (yi ) − gr (yi )|, ϵ ¯ ∀i = 1, , N ∀k, r > k, Theo (60) (59) ∀x ∈ K, ∃yi ∈ D′ thỏa |x − yi | < δ ⇒ |gk (x) − gk (yi )| < ϵ, ∀k ∈ N Từ ta có |gk (x)−gr (x)| ≤ |gk (x)−gk (yi )|+|gk (yi )−gr (yi )|+|gr (yi )−gr (x)| ≤ ϵ+ϵ+ϵ = 3ϵ ∀x ∈ K ¯ với k, r ≥ k¯ Điều có nghĩa ϵ > tồn k¯ = k(ϵ) thỏa ∥gk − gr ∥∞ ≤ 3ϵ ¯ ∀k, r > k Nghĩa (gk )k dãy Cauchy (C0 (K), ∥.∥∞ ) Từ (C0 (K), ∥.∥∞ ) đầy đủ F đóng, suy tồn f ∈ F thỏa mãn lim ∥gk − f ∥∞ = k→∞ Từ (gk )k dãy dãy (fh )h , phải F compact dãy Sự cần thiết: Cần rằng, F compact (C0 (K), ∥.∥∞ ) ta có (i), (ii) (iii) Giả sử F compact không gian metric (C0 (K), ∥.∥∞ ), đó, theo tính chất tập compact khơng gian metric, F đóng bị chặn hồn tồn bị chặn Chỉ F liên tục đều, nghĩa ta phải chứng minh (59) Theo phản chứng, giả sử ∃ϵ0 > : ∀ > 0, ∃fδ ∈ F, xδ , yδ ∈ K với |xδ −yδ | < δ |fδ (xδ )−fδ (yδ )| ≥ ϵ0 Chọn δ = 1/h ký hiệu fh := f1/h , xh := x1/h yh := y1/h Khi ta xây dựng ba dãy (fh )h ⊂ F, (xh )h , (yh )h ⊂ K |xh − yh | < 1/h, |fh (xh ) − f (yh )| ≥ ϵ > 0, ∀h (23) Từ F K compact, tồn ba dãy (fh )h ⊂ F, (xh )h , (yh )h ⊂ K thỏa mãn lim xh = lim yh = z ∈ K fh → f ∈ F K h→∞ h→∞ 72 Khi tồn lim fh (xh lim fh (yh ) = f (z) h→∞ h→∞ Lấy qua giới hạn (61) ta có mâu thuẫn Do đó, ta có điều phải chứng minh 23 Nhóm quaternion suy rộng Mệnh đề 42 Cho nhóm quaternion suy rộng Q4n = ⟨r, s | r2n = 1, s2 = rn = 1, s−1 rs = r−1 ⟩ với n ⩾ H nhóm Q4n Khi (i) Nếu H = Rk với k|2n, ⩽ k ⩽ 2n  n+k   k | n, 2n Pr(H, Q4n ) =   2n + k k ∤ n 4n (ii) Nếu H = Ui,j với i|n, ⩽ i ⩽ n, ⩽ j ⩽ i − Pr(H, Q4n ) = n+i+2 4n Chứng minh (i) Giả sử H = Rk với k|2n, ⩽ k ⩽ 2n Theo Mệnh đề 41 ta có |Rk | = Do k Rk = ⟨r ⟩ = 2n 2n = (2n, k) k  2n r ⩽ i ⩽ −1 k  ik Ta xét hai trường hợp k sau 73 Trường hợp 1: k | n Khi đó, theo Mệnh đề 42 ta có X X |CQ4n (x)| = |CQ4n (1)| + |CQ4n (rn )| + |CQ4n (rik) | −1 1⩽i⩽ 2n k x∈Rk i̸= nk  2n = 4n + 4n + = 8n +  2n k Do đó, theo Mệnh đề 48, ta có X Pr(Rk , Q4n ) = |Rk ||Q4n | k  − |R1 |  − 2n = |CQ4n (x)| = x∈Rk 4n(n + k) k 4n(n + k) n+k = 2n k 2n 4n k Trường hợp 2: k ∤ n Khi đó, theo Mệnh đề 42, ta có X X |CQ4n (rik )| |CQ4n (x)| = |CQ4n (1)| + 1⩽i⩽ 2n −1 k x∈Rk = 4n +  2n k  − |R1 | = 4n +  2n k  − 2n = 2n(2n + k) k Từ suy Pr(Rn , Q4n ) = X 2n + k 2n(2n + k) · = |CQ4n (x)| = 2n |Rk ||Q4n | k 4n 4n x∈Rk k (ii) Giả sử H = Ui,j với i|n, ⩽ i ⩽ n, ⩽ j ⩽ i − Theo Mệnh đề 41 ta có |Ui,j | = Đặt k = 4n 4n = (n, i) i 2n Khi i |Ui,j | = 4n = 2k i Do Ui,j = {rli , rli+j s | ⩽ l ⩽ k − 1} Từ suy X |CQ4n (x)| = x∈Ui,j X 0⩽l⩽k−1 |CQ4n (rli )| + X 0⩽l⩽k−1 |CQ4n (rli+j s)| 74 = |CQ4n (1)| + |CQ4n (rn )| + X X |CQ4n (rli )| + 1⩽l⩽k−1 l̸= k2 |CQ4n (rli+j s)| 0⩽l⩽k−1 = |Q4n | + |Q4n | + (k − 2)|R1 | + k|Un,j | 4n(n + i + 2) = 4n + 4n + (k − 2)2n + 4k = i Do đó, theo Mệnh đề 48 Pr(Ui,j , Q4n ) = X 1 4n(n + i + 2) n+i+2 · |CQ4n (x)| = = 4n |Ui,j ||Q4n | i 4n 4n x∈Ui,j i Trong ví dụ sau ta tính lại độ giao hốn tương đối nhóm nhóm quaternion Q8 , tính độ giao hốn tương đối nhóm nhóm Q12 cách áp dụng Mệnh đề ?? Ví dụ (i) Với n = 2, xét nhóm quaternion Q8 (cho Ví dụ 5) Các nhóm Q8 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R4 = {1}; U2,0 = ⟨r2 , s⟩, U2,1 = ⟨r2 , rs⟩; Q8 Khi Pr(R1 , Q8 ) = 2+1 2+2 2·2+4 = , Pr(R2 , Q8 ) = = 1, Pr(R4 , Q8 ) = = 1; 2·2 2·2 4·2 Pr(U2,0 , Q8 ) = Pr(U2,1 , Q8 ) = 2+2+2 = ; Pr(Q8 , Q8 ) = Pr(Q8 ) = 4·2 (ii) Với n = 3, xét nhóm quaternion Q12 = {1, r, r2 , r3 , r4 , r5 , s, rs, r2 s, r3 s, r4 s, r5 s} Các nhóm Q12 R1 = ⟨r⟩, R2 = ⟨r2 ⟩, R3 = ⟨r3 ⟩, R6 = {1}; U3,0 = ⟨r3 , s⟩, U3,1 = ⟨r3 , rs⟩, U3,2 = ⟨r3 , r2 s⟩; Q12 75 Khi Pr(R1 , Q12 ) = 2·3+2 3+1 = , Pr(R2 , Q12 ) = = , 2·3 4·3 3+3 2·3+6 = 1, Pr(R6 , Q12 ) = = 1; 2·3 4·3 3+3+2 Pr(U3,0 , Q12 ) = Pr(U3,1 , Q12 ) = Pr(U3,2 , Q12 ) = = ; 4·3 Pr(Q12 , Q12 ) = Pr(Q12 ) = Pr(R3 , Q12 ) = 24 Các khái niệm Định nghĩa 13 Cho tập hợp R khác rỗng, R ta trang bị hai phép toán mà ta gọi phép cộng phép nhân thỏa mãn: R nhóm aben với phép tốn cộng, R nửa nhóm với phép tốn nhân phép toán nhân phân phối với phép toán cộng, nghĩa x(y + z) = xy + xz, (x + y)z = zx + yz, với x, y, z ∈ R Phần tử trung hòa phép cộng ký hiệu (thường gọi phần tử không) Phần tử đơn vị phép nhân có ký hiệu Nếu vành có nhiều phần tử có đơn vị ̸= Định nghĩa 14 Tập A vành R gọi vành R A vành hai phép toán cộng nhân R (bao gồm tính đóng hai phép tốn A) Định nghĩa 15 Iđêan trái (phải) vành R vành A thỏa mãn điều kiện ∈ A(ar ∈ A), a ∈ A, r ∈ R Vành I R vừa iđêan trái, vừa iđêan phải gọi iđêan vành R 76 Cho I iđêan vành R, ta ký hiệu R/I =: {r + I|r ∈ R} gọi tập thương R theo I Trên tập thương R/I ta xây dựng hai phép toán (x + I) + (y + I) = (x + y) + I, (x + I)(y + I) = (xy) + I, với x, y ∈ R Định nghĩa 16 Tập thương R/I với hai phép toán xác định lập thành vành gọi vành thương R theo I Định nghĩa 17 Cho R vành có đơn vị 1R Một R-môđun phải M bao gồm (M, +) nhóm aben tốn tử · : M × R → M thỏa mãn (1) (x + y) · r = x · r + y · r, (2) x · (r + s) = x · r + x · s, (3) (xr) · s = x · (rs), (4) x · 1R = x, r, s ∈ R x, y phần tử tùy ý M Lúc R gọi vành sở, M R-môđun phải ta thường ký hiệu MR Tương tự ta đinh nghĩa R-môđun trái Cho R, S hai vành Nhóm aben (M, +) song mơđun R-bên phải S -bên trái (ký hiệu S MR ) a) M R-môđun phải M S -mơđun trái b) Ta phải có (sx)r = s(xr), (r ∈ R, s ∈ S, x ∈ M ) Định nghĩa 18 Cho M R-môđun phải Tập A M gọi môđun M (ký hiệu A ≤ M hay AR ≤ MR ), A R-mơđun phải với phép tốn cộng nhân hạn chế A Định nghĩa 19 (1) Môđun MR gọi đơn M ̸= với A ≤ M A = A = M , nghĩa M ̸= M có hai mơđun M 77 (2) Vành R gọi đơn R ̸= với A ≤R RR A = A = 0, nghĩa R ̸= R có hai iđêan hai phía R (3) Môđun A ≤ M gọi môđun cực tiểu môđun M A ̸= với B ≤ M thỏa mãn B < A B = (4) Tương tự, môđun A ≤ M gọi môđun cực đại A ̸= M với B ≤ M thỏa mãn B > A B = M Bổ đề MR đơn M ̸= ∀m ∈ M, m ̸= M = mR Cho MR N ≤ MR Vì N nhóm nhóm cộng aben M nên nhóm thương M/N nhóm aben (theo phần lý thuyết nhóm) Các phần tử M/N lớp ghép x + N N M phép toán cộng (x + N ) + (y + N ) = x + y + N Ta cần xây dựng phép nhân môđun để M/N trở thành môđun phải Định lý 29 Cho MR N ≤ M (i) Quy tắc M/N × R → M/N cho (m + N, r) → (m + N )r = mr + N phép nhân mơđun (ii) Nhóm aben M/N với phép tốn nhân mơđun trở thành R-mơđun phải Định nghĩa 20 M/N xác định Định lý ?? gọi môđun thương môđun M môđun N 25 Các khái niệm Định nghĩa 21 Cho tập hợp R khác rỗng, R ta trang bị hai phép toán mà ta gọi phép cộng phép nhân thỏa mãn: R nhóm Abel với phép tốn cộng, R nửa nhóm với phép tốn nhân phép tốn nhân phân phối với phép toán cộng, nghĩa x(y + z) = xy + xz, (x + y)z = zx + yz với x, y, z ∈ R 78 Phần tử trung hòa phép cộng ký hiệu (thường gọi phần tử không) Phần tử đơn vị phép nhân có ký hiệu Nếu vành có nhiều phần tử có đơn vị ̸= Định nghĩa 22 Tập A vành R gọi vành R A vành hai phép toán cộng nhân R (bao gồm tính đóng hai phép tốn A) Định nghĩa 23 Ideal trái (phải) vành R vành A thỏa mãn điều kiện ∈ A(ar ∈ A), a ∈ A, r ∈ R Vành I R vừa ideal trái, vừa ideal phải gọi ideal vành R Cho I ideal vành R, ta ký hiệu R/I =: {r + I|r ∈ R} gọi tập thương R theo I Trên tập thương R/I ta xây dựng hai phép toán (x + I) + (y + I) = (x + y) + I, (x + I)(y + I) = (xy) + I với x, y ∈ R Định nghĩa 24 Tập thương R/I với hai phép toán xác định lập thành vành gọi vành thương R theo I 25.0.1 Định lý đồng cấu vành Định nghĩa 25 Cho R, R′ hai vành Ánh xạ f : R → R′ gọi đồng cấu vành f bảo toàn hai phép toán cộng nhân R, nghĩa f (x + y) = f (x) + f (y), f (xy) = f (x)f (x), với x, y ∈ R 79 25.0.2 26 Một số kết liên quan ĐỊNH LÝ CAUCHY Định lý 30 (Định lý Cauchy) Giả sử hàm số f g liên tục [a, b], khả vi khoảng (a, b) g ′ (x) ̸= với x ∈ (a, b) Khi tồn c ∈ (a, b) cho: f ′ (c) f (b) − f (a) = ′ g(b) − g(a) g (c) Chứng minh Trước hết ta nhận xét g(a) ̸= g(b) Nghĩa công thức kết luận định lý ln ln có nghĩa Thật vậy, giả sử g(a) = g(b) Khi theo định lý Rolle, tồn ξ ∈ (a, b) cho g ′ (ξ) = Điều mâu thuẫn với giả thiết g ′ (x) ̸= với x ∈ (a, b) Xét hàm số F (x) = [f (a) − f (b)]g(x) − [g(a) − g(b)]f (x) Do hàm f (x), g(x) liên tục đoạn [a, b] khả vi khoảng (a, b) nên hàm số F (x) có tính chất Mặt khác, F (a) = F (b) Theo định lý Rolle, tồn c ∈ (a, b) cho F ′ (c) = Nhưng ta có F ′ (x) = [f (a) − f (b)]g ′ (x) − [g(a) − g(b)]f ′ (x) Suy F ′ (c) = [f (a) − f (b)]g ′ (c) − [g(a) − g(b)]f ′ (c) = Từ ta nhận điều phải chứng minh Nhận xét 10 Định lý Lagrange trường hợp riêng định lý Cauchy g(x)=x Chú ý: Các định lý Rolle, Lagrange, Cauchy khơng cịn điều kiện giả thiết không thỏa mãn Nghĩa hàm f g không khả vi khoảng (a, b) hay không liên tục đoạn [a, b] định lý khơng

Ngày đăng: 03/07/2023, 11:34

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

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

Tài liệu liên quan