(Luận văn) phương trình vi phân và phương trình tích phân volterra trong không gian banach

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN - NGUYỄN XUÂN NGHĨA lu an n va PHƯƠNG TRÌNH VI PHÂN VÀ PHƯƠNG TRÌNH TÍCH PHÂN VOLTERRA TRONG KHÔNG GIAN BANACH p ie gh tn to d oa nl w Chuyên ngành: TOÁN GIẢI TÍCH Mã số: 60.46.01.02 an lu nf va LUẬN VĂN THẠC SỸ KHOA HỌC z at nh oi lm ul NGƯỜI HƯỚNG DẪN KHOA HỌC: GS.TSKH NGUYỄN VĂN MẬU z m co l gm @ an Lu Hà Nội – Năm 2013 n va ac th si Mục lục lu an NHỮNG KIẾN THỨC CHUẨN BỊ 1.1 Đại cương khơng gian Banach lý thuyết tốn tử 1.2 Đạo hàm tích phân hàm nhận giá trị không Banach 1.3 Nửa nhóm liên tục mạnh tác động khơng gian Banach 5 gian 12 18 n va MỞ ĐẦU p ie gh tn to PHƯƠNG TRÌNH TÍCH PHÂN VOLTERRA TRONG KHƠNG GIAN BANACH 21 2.1 Phương trình tích phân Volterra Định lý Bielecki 21 2.2 Phương pháp xấp xỉ liên tiếp 25 2.3 Một số ví dụ minh họa 28 nl w d oa PHƯƠNG TRÌNH VI PHÂN TRONG KHƠNG GIAN BANACH 3.1 Phương trình vi phân với vế phải liên tục 3.1.1 Phương trình vi phân tổng quát 3.1.2 Phương trình vi phân autonomous non-autonomous 3.2 Phương trình vi phân với vế phải khơng liên tục 3.2.1 Phương trình vi phân autonomous 3.2.2 Phương trình vi phân non-autonomous 3.3 Ổn định mũ nghiệm phương trình vi phân 3.3.1 Ổn định mũ nghiệm phương trình 3.3.2 Ổn định mũ nghiệm phương trình khơng KẾT LUẬN Tài liệu tham khảo nf va an lu z at nh oi lm ul 35 35 35 36 45 46 50 55 55 z m co l gm @ 72 79 80 an Lu n va ac th si MỞ ĐẦU lu Phương trình vi phân tốn học xuất từ đời sống thực tiễn sở phát triển khoa học khác nhau, bao gồm khoa học tự nhiên khoa học xã hội Một phương trình vi phân kết việc mơ tả (bằng tốn học) tượng chuyển động vật thể, trình sinh trưởng phát triển loài sinh vật Một ví dụ điển hình cho phương trình vi phân định luật II Newton chuyển động vật thể, an n va ie gh tn to dx (t) = F (t), (1) dt số m khối lượng vật thể, x(t) vận tốc vật thể thời m p điểm t, dx dt (t) = a(t) gia tốc thời điểm t vật thể F (t) lực hỗn hợp tác động vào vật thể thời điểm t Thông thường, lực hỗn hợp F (t) phụ thuộc vào vận tốc x(t) Vậy phương trình (1), với f (t, x) = m1 F (t, x), viết lại thành d oa nl w an lu dx (t) = f (t, x(t)) dt (2) nf va Đây phương trình vi phân tổng quát cấp ẩn hàm x(t) Việc nghiên cứu phương trình (2) giúp biết tính chất vận tốc x(t) thời điểm t vật thể Giả sử yêu cầu thêm điều kiện cho trước vận tốc thời điểm ban đầu x(t0 ) = x0 , (3) z at nh oi lm ul z t0 m co l gm @ với giả thiết kỹ thuật đặt lên cho phương trình (2) với điều kiện (3) chuyển phương trình Z t x(t) = x0 + f (s, x(s))ds (4) an Lu Phương trình (4) phương trình tích phân Volterra Như phương trình tích phân Volterra xuất nghiên cứu phương trình vi phân tương ứng n va ac th si MỞ ĐẦU lu Các kết thu lý thuyết phương trình vi phân khơng gian thực nhiều, tổng quát Vậy nên để có kết tổng quát, người ta cần nghiên cứu phương trình vi phân khơng gian tổng qt Một số khơng gian Banach Lý thuyết phương trình vi phân khơng gian Banach bắt nguồn từ cơng trình nghiên cứu Hille Yosida (1948) tồn nghiệm phương trình dx dt = Ax với A tốn tử khơng liên tục khơng gian Banach, kết thu dựa ngôn ngữ nửa nhóm tốn tử Năm 1953 Kato nghiên cứu thành công tồn nghiệm tốn Cauchy cho phương trình dx dt = A(t)x với A(t) tốn tử khơng liên tục Sau đó, báo mình, Hille, Yosida, Phillips Kato đặt móng cho lý thuyết phương trình vi phân với tốn tử khơng liên tục Nó trở thành lĩnh vực toán học độc lập, thú vị thu hút quan tâm nhiều nhà toán học giới Luận văn an n va ie gh tn to "Phương trình vi phân phương trình tích phân Volterra khơng gian Banach" p chia thành ba chương: Chương Những kiến thức chuẩn bị Chương nhằm cung cấp sở lý thuyết cho hai chương sau, bao gồm khái niệm không gian Banach kết liên quan Sau định nghĩa đạo hàm tích phân hàm nhận giá trị không gian Banach Tiếp theo khái niệm quan trọng, nửa nhóm tốn tử, sử dụng suốt sau Các kết chương chủ yếu trích từ [1], [9] [10] Chương Phương trình tích phân Volterra khơng gian Banach Mục đích chương trình bày phương trình tích phân Volterra loại II, đưa phương pháp giải phương pháp xấp xỉ liên tiếp số ví dụ minh họa Định lý Bielecki chứng minh "nhẹ nhàng" để áp dụng vào chứng minh tồn nghiệm phương trình vi phân chương sau Các kết chủ yếu trích từ [4], [10] [12] Chương Phương trình vi phân khơng gian Banach Chương trình bày dạng phương trình vi phân bao gồm nhất, khơng nhất, autonomous, non-autonomous đưa công thức nghiệm tương ứng Cuối ứng dụng công thức nghiệm vào nghiên cứu tính ổn định mũ nghiệm phương trình vi phân Các kết chủ yếu trích từ [6], [8] [10] d oa nl w nf va an lu z at nh oi lm ul z m co l gm @ an Lu n va ac th si Lời cảm ơn lu an n va p ie gh tn to Luận văn hoàn thành hướng dẫn nhiệt tình nghiêm khắc GS.TSKH Nguyễn Văn Mậu Thầy dành nhiều thời gian hướng dẫn giải đáp thắc mắc suốt q trình làm luận văn Tơi muốn bày tỏ lịng biết ơn sâu sắc đến thầy Qua đây, xin gửi lời cảm ơn sâu sắc tới quý thầy cô Khoa Toán-Cơ-Tin học, Trường Đại học Khoa học Tự nhiên, Đại học Quốc gia Hà Nội, thầy tham gia giảng dạy khóa cao học 2011- 2013, có cơng lao dạy dỗ tơi suốt q trình học tập Nhà trường Tơi xin cảm ơn gia đình, bạn bè bạn đồng nghiệp thân mến quan tâm, tạo điều kiện cổ vũ, động viên tơi để tơi hồn thành tốt nhiệm vụ Hà nội, tháng 09 năm 2013 Tác giả luận văn d oa nl w an lu nf va Nguyễn Xuân Nghĩa z at nh oi lm ul z m co l gm @ an Lu n va ac th si Chương NHỮNG KIẾN THỨC CHUẨN BỊ 1.1 Đại cương không gian Banach lý thuyết toán tử lu an Trước tiên đưa kiện không gian metric va n Khái niệm không gian metric tn to p ie gh Định nghĩa 1.1 Không gian metric tập X 6= ∅ với hàm số d : X × X −→ R thỏa mãn ba tiên đề sau: • d(x, y) ≥ 0, ∀x, y ∈ X d(x, y) = ⇐⇒ x = y w • d(x, y) = d(y, x), ∀x, y ∈ X (tính xác định dương); oa nl (tính đối xứng); • d(x, y) ≤ d(x, z) + d(z, y), ∀x, y, z ∈ X d (bất đẳng thức tam giác) lu nf va an Hàm số d gọi khoảng cách hay metric X Số d(x, y) gọi khoảng cách x y Khơng gian metric ký hiệu (X, d) Nếu khoảng cách d rõ, ta ký hiệu ngắn gọi X Mỗi phần tử x ∈ X gọi điểm không gian metric X z at nh oi lm ul Tôpô không gian metric z Định nghĩa 1.2 Cho dãy điểm {xn } không gian metric (X, d) Ta nói @ gm (i) Dãy {xn } hội tụ đến điểm x ∈ X d(xn , x) −→ n −→ +∞ l Khi ta ký hiệu xn −→ x n −→ +∞ lim xn = x, gọi x n→+∞ co giới hạn dãy {xn } m an Lu (ii) Dãy {xn } dãy hay dãy Cauchy n va ∀ε > ∃n0 = n0 (ε) : ∀m, n > n0 =⇒ d (xm , xn ) < ε ac th si Chương NHỮNG KIẾN THỨC CHUẨN BỊ Hoặc tương đương ∀ε > ∃n0 = n0 (ε) : ∀n > n0 =⇒ d (xn+p , xn ) < ε, ∀p = 1, 2, Định nghĩa 1.3 Không gian metric đầy đủ không gian metric X mà dãy Cauchy hội tụ đến phần tử X Định nghĩa 1.4 Cho (X, d) không gian metric, điểm x0 ∈ X số r > (i) Hình cầu mở tâm x0 bán kính r tập B(x0 , r) := {x ∈ X : d(x, x0 ) < r}; lu (ii) Hình cầu đóng tâm x0 bán kính r tập an n va B[x0 , r] := {x ∈ X : d(x, x0 ) ≤ r}; tn to (iii) Lân cận điểm x0 tập U (x0 ) chứa hình cầu mở tâm x0 ; ie gh (iv) Tập G ⊂ X tập mở với a ∈ G, tồn lân cận U (a) ⊂ G; p (v) Tập F ⊂ X tập đóng phần bù X\F tập mở oa nl w Tính chất 1.1 Đối với khơng gian metric, có (i) Hợp tùy ý tập mở tập mở; d lu nf va an (ii) Giao hữu hạn tập mở tập mở; (iii) Hợp hữu hạn tập đóng tập đóng; lm ul (iv) Giao tùy ý tập đóng tập đóng z at nh oi Định nghĩa 1.5 Cho A tập hợp không gian metric X Khi z (i) Điểm x ∈ X gọi điểm tập A tồn lân cận U (x) x cho U (x) ⊂ A; @ gm (ii) Tập hợp điểm A gọi phần A, ký hiệu int A; m co l (iii) Điểm x ∈ X gọi điểm dính tập A lân cận U (x) x có giao U (x) ∩ A 6= ∅; n va (v) Tập A gọi trù mật X A = X an Lu (iv) Tập hợp điểm dính A gọi bao đóng tập A, ký hiệu A; ac th si Chương NHỮNG KIẾN THỨC CHUẨN BỊ Tính chất 1.2 Cho A tập không gian metric X, có (i) A = A ⇐⇒ A đóng;   (ii) A = A ⇐⇒ ∀{xn } ⊂ A : xn −→ x =⇒ x ∈ A ;   (iii) A = X ⇐⇒ ∀x ∈ X ∃{xn } ⊂ A : xn −→ x ;   (iv) A = X ⇐⇒ ∀x ∈ X ∀ε > ∃x0 ∈ A : d(x, x0 ) < ε Định lý Baire phạm trù Để phát biểu Định lý, trước tiên cần vài khái niệm sau lu Định nghĩa 1.6 Cho (X, d) không gian metric tập A ⊂ X an n va (i) Tập A gọi tập không đâu trù mật tập mở U ⊂ X tồn hình cầu mở B ⊂ U có giao B ∩ A = ∅ p ie gh tn to (ii) Tập A gọi tập thuộc phạm trù thứ biểu diễn dạng hợp số đếm tập không đâu trù mật nl w (iii) Tập A tập thuộc phạm trù thứ gọi tập thuộc phạm trù thứ hai d oa Mệnh đề 1.1 Mỗi tập đóng khơng phải tập khơng đâu trù mật chứa hình cầu mở an lu nf va Định lý 1.1 (Định lý Baire phạm trù) Mọi không gian metric đủ tập thuộc phạm trù thứ hai lm ul z at nh oi Khái niệm khơng gian Banach Nguyên lý ánh xạ co z Định nghĩa 1.7 Khơng gian (tuyến tính) định chuẩn khơng gian tuyến tính X trường số F với hàm số || · || : X −→ R thỏa mãn ba tiên đề sau: gm @ • ||x|| ≥ 0, ∀x ∈ X ||x|| = ⇐⇒ x = (tính xác định dương); l (tính dương); • ||x + y|| ≤ ||x|| + ||y||, ∀x, y ∈ X (bất đẳng thức tam giác) m co • ||λx|| = |λ|.||x||, ∀x ∈ X, ∀λ ∈ F an Lu n va Hàm số || · || gọi chuẩn X Số ||x|| gọi chuẩn x không gian định chuẩn ký hiệu (X, || · ||) Nếu chuẩn || · || rõ, ac th si Chương NHỮNG KIẾN THỨC CHUẨN BỊ ta ký hiệu ngắn gọn X Mỗi phần tử x ∈ X gọi điểm hay vector không gian định chuẩn X Khi F = R ta nói (X, || · ||) khơng gian tuyến tính định chuẩn thực Khi F = C ta nói (X, || · ||) khơng gian tuyến tính định chuẩn phức Nhận xét 1.1 Khơng gian tuyến tính định chuẩn (X, || · ||) không gian metric với khoảng cách xác định d(x, y) = ||x − y||, ∀x, y ∈ X Do tất tính chất khơng gian metric cho khơng gian tuyến tính định chuẩn Định nghĩa 1.8 Cho dãy điểm {xn } không gian định chuẩn X Ta nói lu an (i) Dãy {xn } hội tụ đến điểm x ∈ X ||xn − x|| −→ n −→ +∞ va Khi ta ký hiệu xn −→ x n −→ +∞ lim xn = x, gọi x n n→+∞ (ii) Dãy {xn } dãy hay dãy Cauchy ie gh tn to giới hạn dãy {xn } p ∀ε > ∃n0 = n0 (ε) : ∀m, n > n0 =⇒ ||xm − xn || < ε nl w Hoặc tương đương d oa ∀ε > ∃n0 = n0 (ε) : ∀n > n0 =⇒ ||xn+p − xn || < ε, ∀p = 1, 2, nf va an lu Định nghĩa 1.9 Không gian Banach hay không gian tuyến tính định chuẩn đầy đủ khơng gian tuyến tính X mà dãy Cauchy hội tụ đến phần tử X Trong suốt luận văn khơng nhấn mạnh thêm ta ln ngầm hiểu X không gian Banach trường số thực phức z at nh oi lm ul Định nghĩa 1.10 Một ánh xạ T đưa không gian Banach X vào gọi ánh xạ co tồn số L ∈ [0, 1) cho z gm @ ||T (x) − T (y)|| ≤ L||x − y||, ∀x, y ∈ X Chúng ta có Định lý quan trọng sau Banach đưa năm 1922 l m co Định lý 1.2 (Nguyên lý ánh xạ co) Cho X không gian Banach Nếu ánh xạ T : X −→ X ánh xạ co phương trình n va ln có nghiệm x ∈ X an Lu T (x) = x ac th si Chương NHỮNG KIẾN THỨC CHUẨN BỊ Nhận xét 1.2 (i) Điểm x thỏa mãn T (x) = x gọi điểm bất động ánh xạ T (ii) Nguyên lý ánh xạ co phát biểu mạnh là: ánh xạ co khơng gian metric đủ có điểm bất động Lý thuyết tốn tử tuyến tính không gian Banach Định nghĩa 1.11 Cho X, Y hai khơng gian tuyến tính trường F = R; C (i) Mỗi ánh xạ A : DA ⊂ X −→ Y gọi toán tử Khi Y = F ta nói A phiếm hàm lu (ii) Mỗi ánh xạ A : DA ⊂ X −→ Y gọi ánh xạ tuyến tính tốn tử tuyến tính ba điều kiện sau thỏa mãn: an va n • DA khơng gian X; to tn • A(x + y) = Ax + Ay, ∀x, y ∈ DA ; ie gh • A(λx) = λAx, ∀x ∈ DA , ∀λ ∈ F p Khi Y = F ta nói A phiếm hàm tuyến tính d oa nl w (iii) Không gian DA X gọi miền xác định A Không gian RA := A(DA ) Y gọi miền giá trị A nf va an lu Nhận xét 1.3 (i) Cho DA không gian X Khi đó, tốn tử A : DA ⊂ X −→ Y tốn tử tuyến tính lm ul A(λx + µy) = λAx + µAy, ∀x, y ∈ DA , ∀λ, µ ∈ F z at nh oi (ii) Từ sau, không cần nhấn mạnh, ta thường xét DA = X Cho X, Y hai khơng gian tuyến tính định chuẩn z Định nghĩa 1.12 Một tốn tử tuyến tính A : X −→ Y gọi liên tục hay bị chặn từ điều kiện xn −→ x kéo theo Axn −→ Ax n −→ +∞ gm @ m ||Ax|| ≤ K||x||, ∀x ∈ X co l Tính chất 1.3 Một tốn tử tuyến tính A : X −→ Y liên tục tồn số K > cho an Lu n va ac th si h h Suy hàm số thành phần xij (t) khả vi x0ij (t) = yij (t), từ x0 (t) = (x0ij (t))m×n  lu Tiếp theo ta đưa tính chất phép tính vi phân Fréchet Nó giống đạo hàm thơng thường an n va Tính chất 1.6 Nếu hàm x(t) khả vi điểm t liên tục điểm gh tn to Tính chất 1.7 Khi phép tốn hàm có nghĩa, có cơng thức sau, vế phải tồn p ie [x(t) + y(t)]0 = x0 (t) + y (t); nl w [αx(t)]0 = αx0 (t), α ∈ R; d oa [x(t) ◦ y(t)]0 = x0 (t) ◦ y(t) + x(t) ◦ y (t); nf va an lu (x ◦ y)0 (t) = x0 (y(t)) ◦ y (t) Định nghĩa tích phân tính chất lm ul z at nh oi Tiếp theo định nghĩa tích phân Bochner-Riemann hàm x(·) giống tích phân Riemann cổ điển Chúng ta thực sau Định nghĩa 1.17 (1) Ký hiệu {∆n } dãy phân hoạch đoạn [a, b], tức z gm @ ∆n = {tni }, i = 0, 1, , mn , (1.2) an Lu sup |tni − tni−1 | = n→+∞ 1≤i≤mn m lim co (2) Chúng ta nói dãy {∆n } chuẩn tắc l a = tn0 < tn1 < < tnmn = b n va ac th 14 si Chương NHỮNG KIẾN THỨC CHUẨN BỊ (3) Bây định nghĩa hàm x(·) xác định đoạn [a, b] khả tích Bochner-Riemann dãy chuẩn tắc phân hoạch {∆n } kỳ cách chọn điểm θin ∈ (tni−1 , tni ) dãy tổng Riemann sau hội tụ mn X n (tni−1 − tni )x(θin ) (1.3) S (∆n ) = i=1 Khi giới hạn Z b x(t)dt := lim S n (∆n ) (1.4) n→+∞ a gọi tích phân Bochner-Riemann hàm x(·) đoạn [a, b] lu an n va gh tn to Nhận xét 1.5 Giống giải tích cổ điển giới hạn không phụ thuộc vào cách chọn dãy phân hoạch ln tồn hàm liên tục Cũng có tương tự tích phân Lebesgue, định nghĩa tích phân Bochner-Lebesgue sau p ie Định nghĩa 1.18 (1) Một hàm x : [a, b] −→ X gọi hàm đơn giản có dạng n X x= xi χEi (1.5) nl w i=1 oa d {Ei } họ hữu hạn tập đo rời phủ lên đoạn [a, b], phần tử xi ∈ X χEi hàm đặc trưng tập Ei , nghĩa  t ∈ Ei χEi (t) = t 6∈ Ei nf va an lu lm ul z at nh oi (2) Một hàm x(·) xác định đoạn [a, b] gọi hàm đo mạnh có dãy hàm đơn giản {xn } hội tụ đến x hầu khắp nơi, tức lim ||xn (t) − x(t)|| = với hầu hết t ∈ [a, b] (1.6) z n→+∞ @ a i=1 m co l gm (3) Đối với hàm đơn giản x(·) định nghĩa tích phân Bochner-Lebesgue Z b n X x(t)dt := |Ei |xi , (1.7) an Lu |Ei |, i = 1, 2, , n, ký hiệu độ đo Lebesgue tập Ei n va ac th 15 si Chương NHỮNG KIẾN THỨC CHUẨN BỊ (4) Đối với hàm đo mạnh x(·), nói x(·) khả tích BochnerLebesgue tồn dãy hàm đơn giản {xn } cho Z b lim ||xn (t) − x(t)||dt = (1.8) n→+∞ a Khi giới hạn b Z b Z x(t)dt := lim (1.9) xn (t)dt n→+∞ a a ln tồn gọi tích phân Bochner-Lebesgue hàm x(·) đoạn [a, b] lu (5) Đối với hàm x(·) khả tích Bochner-Lebesgue (hoặc Bochner-Riemann) đoạn [a, b], định nghĩa Z a Z b x(t)dt := − x(t)dt (1.10) an va b a n p ie gh tn to Từ sau, khơng có thích thêm, ta ln hiểu tích phân xét tích phân Bochner-Lebesgue Tương tự lý thuyết tích phân Riemann cổ điển lý thuyết tích phân Lebesgue thơng thường tính chất sau: d oa nl w Tính chất 1.8 Hàm đo mạnh x(t) khả tích Bochner-Lebesgue hàm số ||x(t)|| khả tích Lebesgue Khi ta có ước lượng Z Z b b x(t)dt ≤ ||x(t)||dt an lu a a nf va lm ul Nếu hàm x khả tích Bochner-Riemann khả tích Bochner-Lebesgue hai tích phân x(t)dt = a z at nh oi Nếu x khả tích Bochner-Riemann (hoặc Bochner-Lebesgue) Z b Z c Z b x(t)dt, a ≤ c ≤ b x(t)dt + a c z a a b x(s)ds = Ax(s)ds a n va a an Lu A m Nếu A tốn tử tuyến tính liên tục Z b Z co a l gm @ Nếu x, y khả tích Bochner-Riemann (hoặc Bochner-Lebesgue) Z b Z b Z b [αx(t) + βy(t)]dt = α x(t)dt + β y(t)dt, α, β ∈ R ac th 16 si Chương NHỮNG KIẾN THỨC CHUẨN BỊ Tính chất 1.9 (Tính liên tục tích phân phụ thuộc tham số) Cho miền D = {x ∈ X : ||x − x0 || ≤ δ} Giả sử f : [a, b] × D → X hàm liên tục theo hai biến Khi đó, tích phân phụ thuộc tham số Z b J(x) = f (t, x)dt a hàm liên tục theo x tập D Tính chất 1.10 (Định lý Fubini đổi thứ tự lấy tích phân) Giả sử f : [a, b] × [c, d] → X hàm liên tục theo hai biến Khi đó, ta có đẳng thức ! ! Z b Z d Z d Z b f (t, s)ds a dt = c f (t, s)dt c ds a lu an n va Mối liên hệ đạo hàm tích phân p ie gh tn to Định nghĩa 1.19 Một hàm x : [a, b] 7→ X gọi liên tục tuyệt đối đoạn [a, b] với ε > tồn δ > cho với họ khoảng rời (a1 , b1 ), , (an , bn ) đoạn [a, b] ta có n X n X i=1 i=1 (bi − ) < δ =⇒ ||x(bi ) − x(ai )|| < ε oa nl w Nhận xét 1.6 Hàm liên tục tuyệt đối đoạn [a, b] liên tục đoạn d lu nf va an Tính chất 1.11 (Định lý thứ I Giải tích) Nếu hàm x(t) khả Rt tích đoạn [a, b] đoạn tích phân y(t) = a x(s)ds, t ∈ [a, b], hàm liên tục tuyệt đối, khả vi hầu khắp nơi ta có cơng thức Z t d x(s)ds = x(t), với hầu hết t ∈ [a, b] (1.11) a z at nh oi lm ul dt z Tính chất 1.12 (Định lý thứ II Giải tích) Nếu hàm x(t) liên tục tuyệt đối đoạn [a, b] đoạn khả vi hầu khắp nơi, có đạo hàm x0 (t) khả tích ta có cơng thức Newton-Leibniz Z t x0 (s)ds = x(t) − x(a), với tất t ∈ [a, b] (1.12) l gm @ a co m Nhận xét 1.7 Với giả thiết mạnh hơn, ta có hai kết hay dùng sau: X Cơng thức (1.11) ∀t ∈ [a, b] hàm x(t) liên tục đoạn [a, b] X Công thức (1.12) ∀t ∈ [a, b] hàm x(t) khả vi đoạn [a, b] có đạo hàm x0 (t) khả tích đoạn an Lu n va ac th 17 si Chương NHỮNG KIẾN THỨC CHUẨN BỊ 1.3 Nửa nhóm liên tục mạnh tác động khơng gian Banach Cho X không gian Banach Chúng ta có hai khái niệm quan trọng sau
Định nghĩa 1.20 Ta nói họ U (t) t≥0 tốn tử tuyến tính liên tục tác động X nửa nhóm liên tục mạnh (hay C0 − nửa nhóm) điều kiện sau thỏa mãn: • U (0) = I (toán tử đồng X); • U (t)U (s) = U (t + s), ∀t, s ≥ (tính chất nửa nhóm); • lim U (t)x = x, ∀x ∈ X (tính liên tục mạnh) t&0 lu an n va t t&0 tn to Định nghĩa 1.21 Tốn tử sinh nửa nhóm liên tục mạnh U (t) toán tử A định nghĩa sau:   U (t)x − x • DA = x ∈ X : lim tồn ; U (t)x − x , ∀x ∈ DA t t&0 p ie gh • Ax = lim w Chú ý 1.1 Toán tử sinh toán tử tuyến tính nói chung khơng liên tục d oa nl Ví dụ 1.3 Cho X khơng gian Banach Giả sử A tốn tử tuyến tính liên tục từ X vào Khi họ an lu U (t) = e tA := +∞ k k X t A nf va k=0 k! t ≥ 0, , lm ul nửa nhóm liên tục mạnh với tốn tử sinh tốn tử A Thật vậy, ⊕ etA xác định tốt Vì z at nh oi ||tk Ak || tk ||A||k ≤ k! k! z P P+∞ ||tk Ak || tk ||A||k chuỗi số +∞ hội tụ nên chuỗi số hội tụ theo dấu hiệu so k=0 k=0 k! k! P +∞ tk Ak tA sánh Do chuỗi k=0 k! hội tụ tuyệt đối, hay e tồn toán tử tuyến tính liên tục (Hệ Định lý Banach-Steinhaus), suy etA xác định tốt ⊕ e0A = I Điều hiển nhiên m co l gm @ an Lu n va ac th 18 si