Bài toán không chính qui cho hệ phương trình vi phân hàm bậc cao

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: BÀI TỐN KHƠNG CHÍNH QUI CHO HỆ PHƯƠNG TRÌNH VI PHÂN HÀM BẬC CAO 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 Các phép biến đổi tích phân cơng cụ tốn học đem lại thành công đáng kể việc giải nhiều tốn phương trình vi phân, phương trình sai phân phương trình tích phân lĩnh vực: tốn học ứng dụng, vật lí tốn nhiều lĩnh vực khoa học kĩ thuật khác Một số phép biến đổi tích phân quan trọng biến đổi Fourier, Laplace, Hankel, Trong bật phép biến đổi Hankel mang tên nhà Toán học người Đức Hermann Hankel (1839 - 1873) giải số toán xuất từ lĩnh vực vật lý 604 2 ĐẠI SỐ VÀ SIGMA ĐẠI SỐ Định nghĩa Cho tập X tùy ý khác rỗng Ta gọi P (X) tập hợp tất tập X Gọi A∗ họ tập X A∗ gọi đại số tập X A∗ thỏa ba tiên đề sau: X ∈ A∗ ∀A ∈ A∗ ⇒ Ac ∈ A∗ (Đóng kín với phép toán lấy phần bù) ∀A, B ∈ A∗ , A ∪ B ∈ A∗ (Đóng kín với phép toán hợp) Định nghĩa Cho tập X tùy ý khác rỗng Ta gọi P (X) tập hợp tất tập X Gọi A∗ họ tập X A∗ gọi σ - đại số tập X A∗ thỏa mãn ba tiên đề sau: X ∈ A∗ ∀A ∈ A∗ ⇒ Ac ∈ A∗ (Đóng[kín với phép tốn lấy phần bù) ∀A1 , A2 , , An , ∈ A∗ ⇒ Ai ∈ A∗ i≥1 Dựa vào hai định nghĩa ta có nhận xét Nhận xét Khái niệm "đại số tập tập X " khái niệm "σ - đại số tập X " gần với Điều thể qua giống hai tiên đề Sự khác biệt hai khái niệm tiên đề số Đối với "đại số tập X hợp "HỮU HẠN" phần tử thuộc A∗ phần tử thuộc A∗ Còn "σ - đại số tập X " hợp "VÔ HẠN" phần tử A∗ phần tử thuộc A∗ Mệnh đề Cho X tập tùy ý khác rỗng Gọi A∗ "đại số tập X " Khi đó: ∅ ∈ A∗ Hợp hữu hạn phần tử thuộc A∗ phần tử thuộc A∗ n [ ∗ Hay A1 , A2, , An ∈ A ⇒ Ai ∈ A∗ i=1 Giao hữu hạn phần tử thuộc A∗ phần tử thuộc A∗ (Đóng kín với phép tốn giao) n \ ∗ Hay A1 , A2, , An ∈ A ⇒ Ai ∈ A∗ i=1 Đóng kín với phép toán hiệu nghĩa là: ∀A, B ∈ A∗ ⇒ A\B ∈ A∗ Đóng kín với phép tốn lấy hiệu đối xứng nghĩa là: ∀A, B ∈ A∗ ⇒ A△B ∈ A∗ Định lý Cho tập X khác rỗng Giả sử X có phép tốn α Phép tốn α gọi đóng kín với tập X ta lấy hai phần tử thuộc X , thao tác qua phép toán ta phần tử phần tử thuộc X Để dễ hiểu ta lấy ví dụ đơn giản Trên tập N có phép tốn cộng thông thường Ta lấy hai phần tử thuộc N (lấy hai số tự nhiên) Dễ thấy cộng hai số tự nhiên số tự nhiên số tự nhiên thuộc N Như ta nói N đóng kín với phép cộng Trong trường hợp tổng qt tập X Tiếp theo ta chứng minh ý mệnh đề Chứng minh: Vì X ∈ A∗ (Tiên đề 1) nên X c = ∅ ∈ A∗ (Tiên đề 2) Ta quy nạp dựa theo tiên đề có điều phải chứng minh ∀A, B ∈ A∗ ta có Ac , B c ∈ A∗ Khi (Ac ∪ B c ) ∈ A∗ ⇒ [(Ac ∪ B c )]c ∈ A∗ hay A ∩ B ∈ A∗ Từ ta quy nạp lên giao hữu hạn phần tử có điều phải chứng minh Chưa chứng minh Chưa chứng minh Xấp xỉ tích chập Lp Ta thấy rằng, cho f ∈ Lp (Ω) với ≤ p < ∞, tồn (fh )h ⊂ C0c (Ω) cho fh → f Lp (Ω) Ta chứng minh tính xấp xỉ này, tìm kiếm xấp xỉ theo hàm quy Chính xác Câu hỏi: (i) Có tồn (fh )h ⊂ C1c cho fh → f Lp (Ω)? (ii) Có thể xây dựng cách rõ ràng xấp xỉ thứ h hàm fh cho f ∈ Lp (Ω)? Câu trả lời cho câu hỏi thứ hai có ý nghĩa xấp xỉ số Định nghĩa (Friedrichs’ mollifiers) Một dãy mollifiers dãy hàm ϱh : Rn → R, (h = 1, 2, ) cho, với h, ϱ ∈ C∞ (Rn ); (M o1) spt(ϱh ) ⊂ B(0, 1/h); Z ϱh dx = 1; (M o2) (M o3) Rn ϱh (x) ≥ 0, ∀x ∈ Rn (M o4) Ví dụ mollifiers: Khá đơn giản để xây dựng dãy mollifiers, hàm không biến ϱ : Rn → R thỏa mãn n ϱ ∈ C∞ c (R ), spt(ϱ) ⊂ B(0, 1), ϱ ≥ Ví dụ, cho ϱ(x) :=   exp |x| −  |x| < |x| ≥  n Khi dễ thấy ϱ ∈ C∞ c (R ) Hơn nữa, ta có dãy mollifiers định nghĩa ϱh (x) := c hn ϱ(hx), x ∈ Rn , h ∈ N −1 Z c := ϱdx Rn Chú ý: Nếu A, B ⊂ Rn , A ± B ký hiệu tập A ± B := {a ± b : a ∈ A, b ∈ B} Bài tập Chứng minh (i) Nếu A compact B đóng, A + B đóng; (ii) A B compact A + B Mệnh đề (Định nghĩa tính chất mollifiers đầu tiên) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Định nghĩa, cho h ∈ N x ∈ Rn , Z fh (x) := (ϱ ∗ f )(x) := ϱh (x − y)f (y)dy, ∀x ∈ Rn Rn Khi (i) Hàm fh : Rn → R is well defined; (ii) fh (x) = (ϱh ∗ f )(x) = (f ∗ ϱh )(x) với x ∈ Rn h ∈ N; (iii) fh (x) ∈ C0 (Rn ) với h Hàm fh gọi mollifiers thứ h f Chứng minh Để đơn giản, ta ký hiệu ϱh ≡ ϱ (i) Theo (Mo2) (Mo4), spt(ϱ) ⊂ B(0, 1/h) Khi Z Z |f (y)ϱ(x − y)|dy = Rn |f (y)ϱ(x − y)|dy B(x,1/h) Z ≤ sup ϱ Rn |f (y)|dy < ∞ B(x,1/h) Do đó, ta thay đổi x ∈ Rn , hàm gx (y) := ϱ(x − y)f (y), y ∈ Rn khả tích Rn , xác định tích phân Z Z R∋ gx (y)dy = ϱ(x − y)f (y)dy = (ϱ ∗ f )f (x), ∀x ∈ Rn Rn Rn (ii) cách thay đổi biến Z (f ∗ ϱ)(x) = f (x − y)ϱ(y)dy Rn (z=x=y) Z f (z)ϱ(x − z)dz = (ϱ ∗ f )(x) = Rn (iii) Cho x ∈ Rn xr → x, ta chứng minh (ϱ ∗ f )(xr ) → (ϱ ∗ f )(x) (1) Chú ý Z (ϱ ∗ f )(xr ) − (ϱ ∗ f )(x) = (ϱ(xr − y) − ϱ(x − y))f (y)dy, ∀r ∈ N (2) Rn Từ dãy (xr )r bị chặn Rn , tồn tập compact K ⊂ Rn thỏa mãn B(xr , 1/h) = xr − B(0, 1/h) ⊂ K, B(x, 1/h) ∈ K, ∀r ∈ N Đặc biệt ϱ(xr − y) − ϱ(x − y) = 0, ∀y ∈ / K, ∀r ∈ N (3) Bởi vì, ϱ ∈ Lip(Rn ), theo (3), tồn L > thỏa |ϱ(xr − y) − ϱ(x − y)| ≤ LχK (y)|xr − x|, ∀y ∈ Rn , ∀r ∈ N Vì ta |ϱ(xr − y)ϱ(x − y)||f (y)| ≤ LχK (y)|f (y)||xr − x|, ∀y ∈ Rn , ∀r ∈ N (4) Từ (2), (3) định lý tính hội tụ bị trội, theo (1) Nhận xét Ký hiệu ∗ tích chập hai hàm không gian Rn Lưu ý, kết mệnh đề giữ f ∈ L1loc (Rn ) ϱ ≡ ϱh ∈ C0 (Rn ) thỏa (Mo2) Trên thực tế, xác định tích chập hai hàm g ∈ Lp (Rn ) với ≤ p ≤ ∞ f ∈ L1 (Rn ) Z (g ∗ f )(x) := g(x − y)f (y)dy Rn giữ (g ∗ f ) ∈ Lp (Rn ) ∥g ∗ f ∥Lp (Rn ) ≤ ∥g∥Lp (Rn ) ∥f ∥L1 (Rn ) Định lý (Friedrichs - Sobolev, Xấp xỉ theo tích chập Lp ) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Khi (i) f ∗ ϱh ∈ C ∞ (Rn ) với h ∈ N (ii) ∥f ∗ϱ∥Lp (Rn ) ≤ ∥f ∥Lp (Rn ) với h ∈ N, f ∈ Lp (Rn ) với p ∈ [1, ∞] (iii) spt(f ∗ ϱ) ⊂ spte (f ) + B(0, 1/h) với h ∈ N (iv) Nếu f ∈ Lp (Rn ) với ≤ p ≤ ∞, f ∗ ϱh ∈ C ∞ (Rn ) ∩ Lp (Rn ) với h ∈ N, f ∗ ϱh → f h → ∞, Lp (Rn ), biết ≤ p < ∞ Kết cho ta hai kết quan trọng Định lý (Bổ đề tính tốn biến) Cho Ω ⊂ Rn tập mở cho f ∈ L1loc (Ω) Giả sử Z f φdx = 0, ∀φ ∈ Cc∞ (Ω) (∗) Ω Khi f = hầu khắp nơi Ω Chứng minh Chứng minh điều kiện đủ Z |f |dx = với tập compact K ∈ Ω (5) K Thật vậy, theo (5), suy f = hầu khắp nơi K, với tập compact K ∈ Ω Ta có kết luận Ta chứng minh (5) Cho tập compact K ∈ Ω, định nghĩa g : Rn → R   f (x) x ∈ K, f (x) ̸= g(x) := |f (x)|  ngược lại Khi g ∈ L1 (Rn ) spte (g) ⊆ K ⊂ Ω Cho gh := g ∗ ϱh Theo định lý (iii), tồn h = h(K) ∈ N cho spt(g ∗ ϱh ) ⊆ spte (g) + B(0, 1/h) ⊆ K + B(0, 1/h) ⊂ Ω với h > h Do đó, theo định lý ?? (i), (ii), gh ∈ C∞ h > h |gh (x)| ≤ ∥g∥L∞ (Rn ) = 1, ∀x ∈ Rn , ∀h ∈ N (6) c Từ (∗) ta Z f gh dx = 0, ∀h ≤ h Ω Mặt khác, từ định lý (iv) (30), ta giả sử, dãy tăng, gh → g hầu khắp nơi Rn Do đó, Z Z Z f gh dx → = 0= Ω |f |dx f g dx = Ω K Định lý (Xấp xỉ theo hàm C∞ Lp ) Cho Ω ⊂ Rn tập mở p Khi C∞ c (Ω) trù mật L (Ω), ∥.∥Lp , biết ≤ p < ∞ Chứng minh Cho f ∈ Lp (Ω), định nghĩa fe : Rn → R ( f (x) x ∈ Ω fe(x) := x ∈ Rn \ Ω Chú ý fe ∈ Lp (Rn ) Cho (Ωh )h dãy tăng tập mở bị chặn cho Ω = ∪∞ h=1 Ωh , Ωh ⊂ Ωh ⊂ Ωh+1 , ∀h, định nghĩa gh (x) := χΩh (x)fe(x) fh,r (x) := (ϱr ∗ gh )(x) x ∈ Rn , h, r ∈ N Theo định lý (iii) suy spt(fh,r ) ⊂ B(0, 1/r) + Ωh ⊂ Ω (7) Hơn nữa, cho h ∈ N, tồn rh = r(h) ∈ N cho rh ≥ h B(0, 1/rh ) + Ωh ⊂ Ω (8) Định nghĩa fh (x) := (ϱrh ∗ gh )(x), x ∈ Rn , h ∈ N, để đơn giản, giả sử rh = h Khi đó, theo định lý (i), (ii) (7), (8), fh ∈ C∞ c (Ω) ∥fh − f ∥Lp (Ω) = ∥fh − fe∥Lp (Rn ) ≤ ∥ϱh ∗ gh − ϱh ∗ fe∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp Rn = ∥ϱh ∗ (gh − fe)∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp (Rn ) ≤ ∥gh − fe∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp (Rn ) , ∀h (9) 60 Chứng minh định lý ?? Ta cần chứng minh (C0c (Ω), ∥.∥∞ ) tách (25) Thật vậy, ta giả sử rằng, từ (??), ta (Lp (Ω), ∥.∥∞ ) tách được, biết ≤ p < ∞ Đầu tiên, giả sử Ω bị chặn Cho D ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm được, ta chứng minh D trù mật (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞ (26) Từ định lý ??, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho ϵ ∥f − g∥Lp < (27) D trù mật, tồn e g ∈ D cho ∥g − e g ∥∞ < ϵ 2|Ω|1/p Nhớ lại Bài tập ∥f ∥Lp ≤ |Ω|1/p ∥f ∥∞ , ∀f ∈ L∞ (Ω), biết |Ω| < ∞ Điều nghĩa ϵ ∥g − g∥Lp ≤ |Ω1/p |∥g − g∥∞ < (28) Do gợi ý (??) (??) ám (??) Bây giả sử Ω không bị chặn Theo kết biết topo, tồn dãy (Ωh )h tập mở bị chặn cho Ωh ⊂ Ωh ⊂ Ωh+1 Ω= ∪∞ h=1 Ωh Hơn nữa, ý C0c (Ω) = ∪∞ h=1 Cc (Ωh ) (29) Theo (??) tồn tập Dh ⊂ (C0c (Ω), ∥.∥∞ ) trù mật đếm Cho D := ∪∞ h=1 Dh 61 (??) giữ Từ định lý ??, ∀f ∈ Lp (Ω), ∀ϵ > 0, ∃g ∈ C0c (Ω) cho (??) Từ K := spt(g) tập compact chứa Ω, tồn h = h(g) = ϵ ∈ N cho K ⊂ Ωh Điều có nghĩa g ∈ C0c (Ωh ) ta có kết luận bước trước Bây ta chứng minh (??) Nhớ lại (C0 (K), ∥.∥∞ ) tách được, biết K ⊂ Rn tập compact (định lý ??) Cho (Ωh ) dãy tập mở bị chặn Rn Theo định nghĩa, C0c (Ωh ) ⊂ (C0 (Ω), ∥.∥∞ ) Vì (C0 (Ω), ∥.∥∞ ) tách nên với h, tồn tập D ⊂ (C0 (Ωh ), ∥.∥∞ ) trù mật đếm (30) Bây giờ, theo bổ đề Urysohn, ta sửa tập hợp hàm D eh ⊂ C0c (Ω) đẻ họ cho tập hợp hàm đếm D e D := ∪∞ h=1 Dh ⊂ (Cc (Ω), ∥.∥inf ty ) đếm trù mật (31) Áp dụng bổ đề Urysohn với K := Ωh−1 , V = Ωh cho φh ∈ C0 (Ω) cho ≤ φh (x) ≤ 1, ∀x ∈ Ω, φh (x) = 1, ∀x ∈ Ωh−1 spt(φh ) ⊂ Ωh xác định g ∈ Dh , g : Ωh → R, định nghĩa e g : Ω → R hàm ( g(x) x ∈ Ωh e g (x) := , nếux ∈ Ω \ Ωh cho e := {φhe D g : g ∈ D} e (h ∈ N) D := ∪∞ h=1 D Ta chứng minh (??) Theo cách xây dựng, D đếm Vì ta cần chứng minh trù mật (C0c , ∥.∥∞ ) Sửa ϵ > 0, f ∈ C0c (Ω) cho K := spt(f ) ⊂ Ω compact Tồn h0 ∈ N cho K ⊂ Ωh0 ⊂ Ωh0 +1 Điều có nghĩa f ∈ C0c (Ωh0 ) ⊂ C0 (Ωh0 ) ⊂ C0 (Ωh0 +1 ) 62 Theo (??), tồn f1 ∈ Dh0 +1 cho ∥f − f1 ∥∞,Ω := sup |f (x) − f1 (x)| < ϵ (32) x∈Ω Từ f ≡ Ωh0 +1 \ Ωh0 từ (??), suy |f1 (x)| < ϵ sup (33) x∈Ωh0 +1 \Ωh0 eh0 +1 , theo (??) (??) ta Bây ta định nghĩa f2 := φh0 +1 fe1 ∈ D ∥f − f2 ∥∞,Ω = sup |f (x) − f2 (x)| = x∈Ω sup |f (x) − φh0 +1 f (x)| ≤ x∈Ωh0 +1 ) ( sup |f (x) − f1 (x)|, max |f1 (x)| sup < ϵ x∈Ωh0 +1 \Ωh0 x∈Ωh0 Như (??) Cuối ta chứng minh (L∞ (Ω), ∥.∥L∞ ) không tách Ta tìm họ rời khơng đếm Ui : i ∈ I tập mở L∞ (Ω) Cho a ∈ Ω cho ωa := B(a, ) > với B(a, ) ⊂ Ω Định nghĩa n o Ua := f ∈ L∞ (Ω) : ∥f − χωa ∥L∞ < a ∈ I := Ω Chú ý • Ua mở (L∞ (Ω), ∥.∥L∞ ), ∀a ∈ Ω: hiển nhiên • Ua ∩ Ub = ∅ a ̸= b, thật vậy, theo phản chứng, f ∈ Ua ∩ Ub , điều nghĩa ∥χωa − χωb ∥L∞ ≤ ∥χωa − f ∥L∞ + ∥f − χωb ∥L∞ < Mặt khác ∥χωa − χωb ∥L∞ = a ̸= b, mâu thuẫn • I = Ω không đếm 1 + = 2 63 20 Định lý tồn cho hệ thống tuyến tính Định lý 23 (Đị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, 64 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 65 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ý 24 (Đị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 τ 21 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) toá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, τ 66 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, τ, ξ) 67 Định lý 25 Đặ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(σ)| 68 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 , Ngụ ý ∥D − B∥∞ < ϵ3 ϵ |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) 22 ĐỊNH LÝ LAGRANGE Định lý 26 (Đị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 69 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