Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 92 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
92
Dung lượng
481,84 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: XẤP XỈ BIẾN ĐỔI LAPLACE NGƯỢC 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 Năm 1936, G Birkhoff giới thiệu nhóm tơpơ (xem [6]) Sau đó, khơng gian cầu trường được M M Choban đưa vào năm 1987 (xem [7]) Đến năm 1989, V V Uspenskij chứng minh nhóm tơpơ khơng gian cầu trường khơng gian cầu trường khơng nhóm tơpơ (xem [21]) Tiếp đó, A V Arhangel’skii M Tkachenko giới thiệu khái niệm nhóm paratơpơ, chứng minh số tính chất nhóm tơpơ nhóm paratơpơ, đồng thời nhóm tơpơ nhóm paratơpơ điều ngược lại không 889 2 Định lý tồn cho hệ thống tuyến tính Định lý (Định lý tồn cho hệ thống tuyến tính) Cho I đoạn thực giả sử A ∈ C(I, Mn (F)), B ∈ C(I, F n ) Cho τ ∈ I, ξ ∈ F n tồn giải pháp X (IV P) đoạn I Chứng minh Cho t ∈ I , giả sử J = [c; d] đoạn bị chặn I cho τ, π ∈ J , Bởi định lý 7.3 tồn hàm Xj khác biệt đoạn [a, b] cho XJt (s) = A(s)XJ (s) + B(s), XJ (τ ) = ξ, s∈J Định nghĩa X(t) = Xj(t) Nếu ta chọn J1 = [c1 , c2 ] ⊂ I cho τ, t ∈ J1 , J1 ∩ J đoạn bị chặn chứa τ, t kết áp dụng cho đoạn cho thấy XJ1 (s) = XJ (s), s ∈ J1 ∩ J Đặc biệt, XJ1 (t) = XJ (t) Để định nghĩa X(t) không phụ thuộc vào J chọn Vì X có tính khả vi [a, b] thỏa mãn X ′ (t) = A(t)X(t) + B(t), X(τ ) = ξ, t∈I Nó giải pháp (IV P) đoạn I Nó nhất, Y mơt giải pháp I t thuộc I có đoạn nhỏ J chứa τ, t kết cho J ngụ ý X(t) = Y (t) Trước tiếp tục phát triển lý thuyết, xem xét ví dụ khác Xét tốn với n = : x′ = 3t2 x, x(0) = 1, t∈R Phương trình tích phân tương ứng Z t 3s2 x(s)ds = (T x)(t), x(t) = + t ∈ R Nếu x0 (t) = 1, Z xm+1 (t) = + t 3s2 xm (s)ds, m = 0, 1, Do Z x1 (t) = + t 3s2 ds = + t3 , t Z 3s2 [1 + s3 ]ds = + t3 + t6 /2, x2 (t) = + Z x3 (t)1 + t 3s2 [1 + s3 + s6 /2]ds = + t3 + t6 /2 + t9 /6, Và quy nạp cho thấy xm = + t3 + (t3 )m (t3 )2 (t3 )3 + + ··· + 3! m! Chúng ta nhận xm (i) môt tổng riêng cho việc triển khai dãy số hàm x(t) = et Dãy số hội tụ đến x(t) cho t thuộc R, hàm x(t) kết vấn đề Nhìn lại phương pháp chứng minh định lý 7.3, khơng khó để nhận thấy lựa chọn hàm liên tục ban đầu X0 (t) dần đến giải pháp X(t) Thực sự, bất đẳng thức áp dụng Z t |Xm+1 (t) − Xm | ≤ ∥A∥∞ |Xm (s) − Xm−1 (s)|ds, m ≥ 1, t ∈ I τ Sự khác biệt phát sinh khác biệt ban đầu Xi (t) − X0 (t) Ước lượng thu từ lập luận quy nạp sau trở thành h im |Xm+1 (t) − Xm | ≤ ∥X1 − X0 ∥∞ ∥A∥∞ [t − τ ] /m! Phần lại lập luận diễn trước đây, đưa giải pháp X(t) (7.2) Nếu (IV P) xem xét đoạn I nào, ta ước lượng khoảng cách Xm (t) X(t) đoạn nhỏ J = [a, b] nằm I chứa τ Với k > m ∥X − Xm ∥∞,J ≤ ∥X − Xk ∥∞,J + ∥Xk − Xm ∥∞,J ≤ ∥X − Xk ∥∞,J + ∥(Xk − Xk−1 ) + (Xk−1 − Xk−2 ) + · · · + (Xm+1 − Xm )∥∞,J Và sử dụng bất đẳng thức tam giác lấy giới hạn (7.10) ngụ ý ∥X − Xm ∥∞,J ≤ ∞ X ∥Xk+1 − Xk ∥∞,J , (7.11) k=m ≤ ∥X1 − X0 ∥∞,J ∞ h X ∥A∥∞,J [b − τ ] im /m! k=m Tất nhiên, chuỗi cuối lại phần lại chuỗi cho hàm mũ (∥A∥∞,J [b − τ ]) Do (7.11) ngụ ý Xm → X định mức tối đa J Chúng tơi tóm tắt định lý sau Định lý (Định nghĩa xấp xỉ liên tiếp bởi) Z t Xm+1 (t) = ξ + [A(s)Xm (s) + B(s)]ds, t∈I τ Tại X0 ∈ C(I, F n ) tùy ý Nếu X(t) giải pháp (IV P) I , Xm → X đồng ∥X − Xm ∥∞,J → 0, k→∞ Trên đoạn nhỏ J ⊂ I chứa τ Tính liên tục giải pháp Trở lại tình Định lý 7.3, [a, b] đoạn đóng, giải pháp X(t) tốn giá trị ban đầu X ′ = A(t)X + B(t), X(τ ) = ξ, t ∈ I, IV P Rõ ràng phụ thuộc vào τ ∈ I, ξ ∈ F n , A ∈ C(I, Mn (F)) B ∈ C(I, F n ) Kết phần khẳng định t ∈ I Giá trị X(t) hàm liên tục biến Phân tích phụ thuộc bắt đầu ước lượng cho ∥X∥∞ điều suy cách sử dụng phương pháp chứng minh Định lý 7.3 Bắt đầu với việc xấp xỉ từ Z t X0 (t) = ξ + B(s)ds, τ Kết X(t) = lim Xk (t) k→∞ Sau đáp ứng ước lượng k−1 X (Xm+1 (t) − xm (t)) ∥X∥∞ = ∥ lim Xk ∥ = lim X0 (t) + k→∞ k→∞ m=0 ≤ ∥X0 ∥ + ∞ X ∞ ∥Xm+1 − Xm ∥∞ m=0 Bây áp dụng bất đẳng thức (7.8), cho kết ∥X∥∞ ≤ ∥X0 ∥∞ + ∥X0 ∥∞ ∞ X ∥A∥m+1 [b − τ ]m+1 ∞ m=0 (m + 1)! = ∥X0 (t)∥∞ exp(∥A∥∞ [b − τ ]) Từ Z t ∥X0 (t)∥∞ = ξ + B(s)ds τ ∞ ≤ |ξ| + |b − a|∥B∥∞ , Ước lượng mong muốn cho ∥X∥∞ ∥X∥∞ ≤ |ξ| + |b − a|∥B∥∞ exp(∥A∥∞ [b − a]) (7.12) Ước lượng đơn giản (7.12) sử dụng để X hàm liên tục chung tất biến Do đó, thay đổi nhỏ t, A, b, τ, ξ tạo thay đổi nhỏ X Nếu ký hiệu giải pháp (IV P) thời điểm t X(t, A, B, τ, ξ), sau đó, định lý 7.6 cung cấp ý nghĩa xác cho phát biểu X(s, C, D, σ, η) → X(t, A, B, τ, ξ), (s, C, D, σ, η) → (t, A, B, τ, ξ) Đó là, X liên tục (t, A, B, τ, ξ) Định lý Đặt I đoạn [a, b] bị chặn, A, C ∈ C(I, Mn (F)), B, D ∈ C(I, F n ), τ, σ ∈ I , ξη ∈ F n Giả định X kết X ′ = A(t)X + B(t), X(τ ) = ξ, t∈I Cho t thuộc I e > 0, có tồn ϵ > Y kết Y ′ = C(t)Y + D(t), y(σ) = η, t∈I |s − t| < δ, ∥C − A∥∞ < δ, |σ − τ | < δ, ∥D − B∥∞ < δ |η − ξ| < δ Vậy |Y (s) − X(t)| < ϵ (7.14) Chứng minh Hiệu hai phương trình cho X(t) Y (t) ta (Y − X)′ = C(t)(Y − X) + (C(t) − A(t))X + D(t) − B(t) Do Z = Y − X Z đáp ứng giá trị toán ban đầu Z ′ = C(t)Z + E(t), Z(σ) = η − X(σ) Nơi E(t) = (C(t) − A(t))X(t) + D(t) − B(t) Chúng ta áp dụng đánh giá (7.12) cho Z thu ∥Y − X∥∞ = ∥Z∥∞ ≤ |Z(σ)| + (b − a)∥E∥∞ exp(∥C∥∞ [b − a]) (7.15) Đặt e > cho Ta thấy |Y (s) − X(t)| < |Y (s) − X(s)| + |X(s) − X(t)| ≤ ∥Y − X∥∞ + |X(s) − X(t)| (7.16) Từ X liên tục t, cho e > có ϵ > |s − t| < δ1 Ngụ ý |X(s) − X(t)| < ϵ Mà |Z(σ)| = |η − X(σ)| ≤ |η − ξ| + |X(τ ) − X(σ)| Từ X liên tục t, cho e > có ϵ2 > |η − ξ| < δ2 , Ngụ ý |τ − σ| < δ2 ϵ |Z(σ)| exp(∥C∥∞ [b − a]) < Cuối cùng, từ E(t) = (C(t) − A(t))X(t) + D(t) − B(t) Có ϵ3 ∥C − A∥∞ < ϵ3 , ∥D − B∥∞ < ϵ3 Ngụ ý ϵ |b − a|∥E∥∞ exp(∥C∥[b − a]) < Và chọn δ > thoả mãn δ = min(δ1 , δ2 , δ3 ) Vậy (7.13) hợp lệ cho ϵ (7.14) sau từ (7.15)-(7.19) Định lý tồn cho hệ thống tuyến tính Định lý (Định lý tồn cho hệ thống tuyến tính) Cho I đoạn thực giả sử A ∈ C(I, Mn (F)), B ∈ C(I, F n ) Cho τ ∈ I, ξ ∈ F n tồn giải pháp X (IV P) đoạn I Chứng minh Cho t ∈ I , giả sử J = [c; d] đoạn bị chặn I cho τ, π ∈ J , Bởi định lý 7.3 tồn hàm Xj khác biệt đoạn [a, b] cho XJt (s) = A(s)XJ (s) + B(s), XJ (τ ) = ξ, s∈J Định nghĩa X(t) = Xj(t) Nếu ta chọn J1 = [c1 , c2 ] ⊂ I cho τ, t ∈ J1 , J1 ∩ J đoạn bị chặn chứa τ, t kết áp dụng cho đoạn cho thấy XJ1 (s) = XJ (s), s ∈ J1 ∩ J Đặc biệt, XJ1 (t) = XJ (t) Để định nghĩa X(t) không phụ thuộc vào J chọn Vì X có tính khả vi [a, b] thỏa mãn X ′ (t) = A(t)X(t) + B(t), X(τ ) = ξ, t∈I Nó giải pháp (IV P) đoạn I Nó nhất, Y mơt giải pháp I t thuộc I có đoạn nhỏ J chứa τ, t kết cho J ngụ ý X(t) = Y (t) Trước tiếp tục phát triển lý thuyết, xem xét ví dụ khác Xét toán với n = : x′ = 3t2 x, x(0) = 1, t∈R Phương trình tích phân tương ứng Z t 3s2 x(s)ds = (T x)(t), x(t) = + t ∈ R Nếu x0 (t) = 1, t Z 3s2 xm (s)ds, xm+1 (t) = + m = 0, 1, Do Z x1 (t) = + t 3s2 ds = + t3 , t Z 3s2 [1 + s3 ]ds = + t3 + t6 /2, x2 (t) = + Z x3 (t)1 + t 3s2 [1 + s3 + s6 /2]ds = + t3 + t6 /2 + t9 /6, Và quy nạp cho thấy xm = + t3 + (t3 )2 (t3 )3 (t3 )m + + ··· + 3! m! Chúng ta nhận xm (i) môt tổng riêng cho việc triển khai dãy số hàm x(t) = et Dãy số hội tụ đến x(t) cho t thuộc R, hàm x(t) kết vấn đề Nhìn lại phương pháp chứng minh định lý 7.3, khơng khó để nhận thấy lựa chọn hàm liên tục ban đầu X0 (t) dần |(f ∗ ϱh )(x) − f (x)| = f (x − y)ϱh (y)dy − f (x) n ZR Z f (x)ϱ(y)dy = f (x − y)ϱh (y)dy − n Rn ZR