Luận văn Thạc sĩ Toán học: Bài toán giá trị biên và giá trị đầu cho phương trình vi phân trung hòa cấp hai

Chia sẻ: Lavie Lavie | Ngày: | Loại File: PDF | Số trang:54

Thêm vào BST

Báo xấu

85
lượt xem 8
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Dưới đây là luận văn Thạc sĩ Toán học: Bài toán giá trị biên và giá trị đầu cho phương trình vi phân trung hòa cấp hai. Luận văn bao gồm những nội dung về giới thiệu bài toán ; một số định lý và bổ đề; các kết quả chính; ứng dụng kết quả chính vào bài toán giá trị biên hỗn hợp ; ứng dụng kết quả chính vào bài toán giá trị đầu.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Bài toán giá trị biên và giá trị đầu cho phương trình vi phân trung hòa cấp hai

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP.HỒ CHÍ MINH Phạm Minh Đăng BÀI TOÁN GIÁ TRỊ BIÊN VÀ GIÁ TRỊ ĐẦU CHO PHƯƠNG TRÌNH VI PHÂN TRUNG HÒA CẤP HAI Chuyên ngành : Toán giải tích Mã số : 60 46 01 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC PGS. TS. LÊ HOÀN HÓA Thành phố Hồ Chí Minh – 2008
LỜI CẢM ƠN Xin trân trọng gửi lời cảm ơn chân thành nhất, sâu sắc nhất đến Thầy PGS.TS Lê Hoàn Hóa đã tận tình giảng dạy và hướng dẫn tôi hoàn thành luận văn này . Xin trân trọng cảm ơn Quý Thầy, Cô Trường Đại Học Sư Phạm TP.HCM và Trường Đại Học Khoa Học Tự Nhiên đã tận tình giảng dạy trong suốt khóa học . Xin trân trọng cảm ơn quý Thầy, Cô thuộc Phòng quản lý Sau Đại Học đã tạo mọi điều kiện thuận lợi về thủ tục hành chính trong suốt khóa học . Xin chân thành cảm ơn Sở Giáo Dục và Đào tạo Đồng Nai, Ban Giám Hiệu Trường THPT Điểu Cải, tổ Toán – Tin của Trường đã tạo mọi điều kiện thuận lợi về mọi mặt để tôi yên tâm học tập và làm việc. Cảm ơn các bạn học viên cao học giải tích khóa 16 đã giúp đỡ và hỗ trợ cho tôi rất nhiều trong suốt khóa học . Xin cảm ơn gia đình đã là chỗ dựa tốt nhất cho tôi yên tâm học tập. Tp.Hồ Chí Minh tháng 6 năm 2008 Tác giả Phạm Minh Đăng
MỞ ĐẦU 1. Lý do chọn đề tài Bài toán giá trị biên cho phương trình vi phân thường và cho phương trình vi phân trung hòa được nhiều tác giả nghiên cứu và đã sử dụng các định lý về sự liên tục của Leray – Schauder, phương pháp biến đổi bậc tôpô… Ví dụ trong [5, 7, 8, 9, 10, 12] . Trong [8], tác giả đã chứng minh sự tồn tại nghiệm của bài toán d  x(t )  g (t , xt )   f  t , xt , x(t )  , 0  t  1 dt   xo   , x(1)   với f :  0,1  C  n  n , g :  0,1  C  n là những hàm liên tục, n   C,   . Trong [ 12], tác giả nghiên cứu sự tồn tại, tính duy nhất và phụ thuộc liên tục vào tham số thực  cho nghiệm của bài toán sau :  (t ) x(t )   f  t , xt , x(t )  , 0  t  T, xo   , Ax(T )  Bx(T )   với  (t ) là một ma trận cấp n  n liên tục xác định trên  0,T  , A và B là ma trận hằng cấp n  n ,   n  ,  C  C   r ,0; n . Trong [ 7, 10], tác giả đã nghiên cứu bài toán giá trị biên u  f (t , u )  0, 0  t  1 trong đó f :  0,1   liên tục, với một trong các điều kiện biên u (0)  0, u (1)   u ( )
hoặc u(0)  0, u(1)   u( ) … Chính vì vậy, luận văn này sẽ trình bày một số kết quả của “Bài toán giá trị biên và giá trị đầu cho phương trình vi phân trung hòa cấp hai”. 2. Mục đích nghiên cứu Sử dụng các định lý về điểm bất động để tìm lời giải cho bài toán giá trị biên và giá trị đầu cho phương trình vi phân trung hòa cấp hai . 3. Đối tượng và nội dung nghiên cứu Với giả thiết thích hợp trên hàm f, chúng ta chứng minh tồn tại, duy nhất và phụ thuộc liên tục cho nghiệm của bài toán . 4. Ý nghĩa khoa học thực tiễn Định lý về điểm bất động là công cụ mạnh đã được nhiều nhà toán học sử dụng để chứng minh sự tồn tại nghiệm của phương trình vi phân. Luận văn đã chỉ ra được các kết quả đẹp cho bài toán . 5. Cấu trúc luận văn Luận văn sẽ được chia thành các chương như sau : Mở đầu : Nêu lý do chọn đề tài Chương 1 : Giới thiệu bài toán Trong chương này sẽ giới thiệu bài toán và một số không gian hàm. Chương 2 : Một số định lý và bổ đề Nội dung chương này trình bày một số định lý và bổ đề cần dùng để chứng minh các kết quả trong các chương kế tiếp. Chương 3 : Các kết quả chính Sử dụng các kết quả của chương hai để giải quyết một số bài toán đã giới thiệu trong chương một . Chương 4 : Ứng dụng kết quả chính vào bài toán giá trị biên hỗn hợp
Sử dụng các kết quả trong chương hai và ba chúng ta khảo sát sự tồn tại nghiệm của bài toán giá trị biên (E) – (BC2) . Chương 5 : Ứng dụng kết quả chính vào bài toán giá trị đầu Sử dụng các kết quả trong chương hai và ba chúng ta khảo sát sự tồn tại, duy nhất, phụ thuộc liên tục vào tham số cho nghiệm của bài toán giá trị đầu (E) – (IC3) .
Chương 1 GIỚI THIỆU BÀI TOÁN 1.1. Mở đầu Trong luận văn này chúng tôi xét bài toán giá trị biên ba điểm cho phương trình vi phân trung hòa cấp hai u  f (t , ut , u(t ))  0 , t  [0,1] (E) uo   , u (1)  u ( ) với   C  C ([  r,0], ) ,   (0,1) , f  C [0,1]  C  ,  Với giả thiết thích hợp trên hàm f, chúng ta chứng minh tồn tại, duy nhất và phụ thuộc liên tục cho nghiệm của bài toán. Cũng như một ứng dụng của phương pháp đã được sử dụng trong chứng minh bài toán trên, luận văn cũng nghiên cứu sự tồn tại nghiệm cho phương trình (E) với hỗn hợp các điều kiện biên uo   , u (1)   [u( )  u(0)] Hoặc với điều kiện đầu uo   , u(0)  0 Đối với bài toán giá trị đầu, tính duy nhất và phụ thuộc liên tục cho nghiệm cũng được xét đến. Hơn nữa, luận văn chỉ ra rằng tập nghiệm của bài toán giá trị đầu là tập khác rỗng, compăc và liên thông. Cách tiếp cận của chúng tôi dựa trên định lý điểm bất động. 1.2. Bài toán và các không gian hàm 1.2.1. Các không gian hàm Chúng tôi ký hiệu : + C[0,1] và C1[0,1] , theo thứ tự là không gian Banach các hàm thực liên tục và hàm thực có đạo hàm liên tục trên [0,1] với chuẩn :
u o  sup  u (t ) : 0  t  1  u 1  max u o , u o  với u o  sup  u(t ) : 0  t  1 + L1[0,1] là không gian các hàm thực x(t) thỏa x(t ) khả tích Lebesgue trên [0,1] + C  C [  r,0],  , với r > 0 là hằng số, là không gian Banach của các hàm liên tục  :[  r,0]  với chuẩn sup:   sup   ( ) :  r    0 + Với mỗi hàm liên tục x :[  r,1]  và với mọi t  [0,1] , chúng ta ký hiệu xt là phần tử của C định bởi : xt ( )  x(t   ),   [  r,0] 1.2.2. Bài toán Trong luận văn, chúng tôi xét phương trình vi phân trung hòa cấp hai sau : u  f (t , ut , u(t ))  0 , t  [0,1] (E) với f :[0,1]  C   là liên tục, với các điều kiện sau: uo   , u (1)  u ( ) (BC1) uo   , u (1)   [u( )  u(0)] (BC2) hoặc với điều kiện đầu sau : uo   , u(0)  0 (IC3) trong đó   C ,   (0,1),   Nghĩa là, chúng tôi xét các bài toán : (E) – (BC1), (E) – (BC2) và (E) – (IC3)
Chương 2 MỘT SỐ ĐỊNH LÝ VÀ BỔ ĐỀ Trong phần chứng minh các định lý chính trong chương tiếp theo dựa trên các định lý và bổ đề sau : 2.1. Định lý 2.1 (Nonlinear Alternative of Leray – Schauder) Cho E là không gian Banach và  là tập mở bị chặn của E, 0   . T :   E là một ánh xạ hoàn toàn liên tục. Khi đó tồn tại x   sao cho hoặc T ( x)   x với mọi   1 hoặc tồn tại một điểm bất động x   . 2.2. Định lý 2.2 (xem [6]) Cho  E ,   là không gian Banach thực, D là tập mở bị chặn của E với biên D và bao đóng D , T : D  E là toán tử compăc, giả sử T thỏa các điều kiện sau : i) T không có điểm bất động trên D và deg(I - T, D, 0)  0 ii) Với mỗi   0 , tồn tại ánh xạ compăc T sao cho với mọi x  D , T ( x)  T ( x)   và với mỗi h, h   , phương trình x  T ( x)  h có nhiều nhất một nghiệm trên D thì tập các điểm bất động của T là khác rỗng, compăc và liên thông. 2.3. Định lý 2.3 (xem [4]) Cho E, F là không gian Banach, D là tập mở trong E và f : D  F là ánh xạ liên tục, khi đó với mỗi   0 , tồn tại f : D  F là ánh xạ lipsit địa phương sao cho : f ( x)  f ( x)   , x  D và f ( D)  cof ( D) , với cof ( D) là bao lồi của f(D).
2.4. Bổ đề 2.4 (xem [7]) Cho y  C[0,1] , bài toán u  y (t )  0 , t  (0,1) u (0)  0 , u (1)  u ( ) với   [0,1] có nghiệm duy nhất là t  1 t t u (t )    (t  s ) y ( s )ds   1   (  s ) y ( s )ds  (1  s ) y ( s )ds , t  [0,1] 1  0 0 0 2.5. Bổ đề 2.5 Cho y  C[0,1] thì bài toán giá trị biên hỗn hợp u  y (t )  0 , t  (0,1) u (0)  0 , u (1)   [u( )  u(0)] , với   (0,1),   có nghiệm duy nhất là t  1 u (t )    (t  s) y ( s )ds   t  y ( s )ds  t  (1  s ) y ( s )ds , t  [0,1] 0 0 0 2.6. Bổ đề 2.6 Cho y  C[0,1] thì bài toán giá trị đầu u  y (t )  0 , t  (0,1) u (0)  0 , u(0)  0 có nghiệm duy nhất là t u (t )    (t  s ) y ( s )ds , t  [0,1] 0
Chương 3 CÁC KẾT QUẢ CHÍNH Trong chương này chúng tôi khảo sát bài toán (E) – (BC1) như trong chương một đã giới thiệu . 3.1. Định lý 3.1 Cho f :[0,1]  C   liên tục, f (to ,0,0)  0 với to  [0,1] và tồn tại các hàm không âm p, q, r  L1[0,1] thỏa : ( H1 ) : f (t , u , v)  p (t ) u  q (t ) v  r (t ) , với mọi (t , u , v)  [0,1]  C  1  2  1 (H 2 ) : 1   (1  s ) p ( s )ds  1   (  s)q( s )ds  1 0 0 1 1 1 ( H 3 ) :   p ( s )  q ( s ) ds  (1  s )  p ( s )  q ( s ) ds  1   0 0  1 (  s)  p ( s )  q( s )  ds  1 1    0 Khi đó, bài toán giá trị biên (E) – (BC1) có ít nhất một nghiệm. Chứng minh Bước 1 : Trường hợp 1 :  (0)  0   Đặt Co  u  C1  0,1 u (0)  0 là không gian con của C1  0,1 t Với mọi u  Co , chúng ta có : u (t )   u(t )dt 0 Vì vậy : u o  u o (3.1) Với mỗi hàm u  Co , ta có : chúng ta định nghĩa hàm uˆ :  r ,1  bởi:
 (t ) , t    r ,0 uˆ (t )   u (t ) , t   0,1 Ta cũng có : uˆt k   max u o ,  k k  u k o   k t   0,1 , k  0 (3.2) Định nghĩa toán tử tích phân T : Co  C1  0,1 định bởi : t  t Tu (t )    (t  s ) f  s, uˆs , u( s )  ds  (  s ) f  s, uˆs , u( s )  ds  1   0 0 1 t (1  s ) f  s, uˆs , u( s )  ds , t   0,1 1    (3.3) 0 Theo Bổ đề 2.4, u là nghiệm của (E) – (BC1) khi và chỉ khi T có điểm bất động u  Co , với :  (t ) , t    r ,0 u (t )   u (t ) , t   0,1 Sử dụng (H1) và (3.2), với mọi u  Co , với mọi t   0,1 , ta có : 1 Tu (t )   (1  s )  p ( s ) uˆs  q ( s) u( s )  r ( s)  ds  0  1 1    (  s )  p( s ) uˆs  q ( s ) u( s )  r ( s )  ds 0 1 1 1    (1  s )  p ( s ) uˆs  q ( s ) u( s )  r ( s )  ds 0  2  1   1  1   1    (1  s ) p ( s )ds  (  s ) p( s )ds  u   o  0 0 
 2  1   1  1   1     (1  s )q ( s )ds  (  s )q ( s )ds  u o    0 0   2  1   1  1   1    (1  s ) p ( s ) ds  (  s ) p ( s ) ds     0 0  1  2  1  1   (1  s )r ( s )ds  1   (  s )r ( s )ds . 0 0 1  2  1 Đặt A1  1   (1  s ) p ( s )ds  1   (  s) p ( s )ds 0 0 1  2  1 1   1   B1  (1  s ) q ( s ) ds  (  s )q ( s )ds 0 0  2  1   1  1   1   C1   (1  s ) p ( s)ds  (  s ) p ( s )ds      0 0  1  2  1 1   1    (1  s ) r ( s ) ds  (  s )r ( s )ds 0 0 Khi đó, với mọi u  Co , với mọi t   0,1 , chúng ta có : Tu o  A1 u o  B1 u o  C1 (3.4) Mặt khác : t  1 Tu  (t )    f  s, uˆs , u( s)  ds  (  s ) f  s, uˆs , u( s )  ds  1   0 0 1 1 (1  s ) f  s, uˆs , u( s )  ds , t   0,1 1    (3.5) 0 Sử dụng (H1) và (3.2), với mọi t   0,1 , chúng ta có :
1 Tu  (t )    p(s) uˆs  q(s) u(s)  r ( s)  ds  0  1 1    (  s )  p( s ) uˆs  q ( s ) u( s )  r ( s )  ds 0 1 1 1    (1  s )  p ( s ) uˆs  q ( s ) u( s )  r ( s )  ds 0 1  1  1 1    p( s)ds  1   1   (  s ) p ( s ) ds  (1  s ) p ( s ) ds u    o 0 0 0  1  1  1 1    q ( s )ds  1   1   (  s ) q ( s ) ds  (1  s ) q ( s ) ds  u    o 0 0 0  1  1  1 1    p ( s )ds  1   1   (  s) p ( s)ds  (1  s) p ( s )ds      0 0 0  1  1  1 1   r ( s )ds  1   1    (  s )r ( s )ds  (1  s )r ( s )ds    0 0 0  1  1 1 1 A2   p ( s )ds   1   Đặt (  s ) p ( s )ds  (1  s ) p ( s )ds 1  0 0 0 1  1 1 1 B2   q ( s )ds  1   1   (  s ) q ( s ) ds  (1  s )q ( s )ds 0 0 0 1  1  1 1 C2    p ( s )ds  1   1   (  s ) p ( s )ds  (1  s ) p ( s )ds      0 0 0  1  1  1 1   r ( s )ds  1   1    (  s )r ( s )ds  (1  s )r ( s )ds    0 0 0 
Với mọi u  Co , với mọi t   0,1 , chúng ta cũng có : Tu   A2 u o  B2 u o  C2 (3.6) o Đặt A  max  A1, A2  B2  (3.7) Từ (H2) – (H3), ta có : A1  1 và A2  B2  1 Suy ra A < 1 Và chúng ta chọn một hằng số B > 0 sao cho  B1C2  B  max   C1 , C2  (3.8) 1  A2  B2  Bây giờ chúng ta đặt : m B 1 A  ,   u  Co : u 1  m  (3.9) thì  là tập mở, bị chặn trong Co , 0  và   u  Co : u 1  m   Chúng ta xét T :       C1  0,1 và chúng ta chỉ ra rằng T có một điểm bất động u   khi áp dụng định lý 2.1 (a) . Trước hết, T liên tục, thật vậy, với mỗi uo   , giả sử  un n là dãy trong  thỏa lim un  uo n  Với mọi t   0,1 , từ (3.3) và (3.5), chúng ta có : t     Tun (t )  Tuo (t )    (t  s )  f s,  uˆn  s , un ( s )  f s,  uˆo  s , uo ( s )  ds   0   t 1        (  s )  f s,  uˆn  s , un ( s )  f s,  uˆo  s , uo ( s )  ds  0 1  t 1        (1  s )  f s,  uˆn  s , un ( s )  f s,  uˆo s , uo ( s)  ds  0
  Đặt D   uˆn  s : s   0,1 , n  0,1,2... , thì D là tập compăc trong C . Do f :  0,1  C   liên tục nên f liên tục đều trên tập compăc 0,1  D   m, m Khi đó, với mọi   0 tồn tại   0 sao cho :  s1,1,1  ,  s2 ,2 , 2   0,1  D   m, m , mà s1  s2   , 1  2   , 1   2    2 thì f ( s1,1,1)  f ( s2 ,2 , 2 )  với   1  0 2 1  Từ lim un  uo trong  , đối với chuẩn  1 , tồn tại no sao cho với mọi n  n  no , (uˆn ) s  (uˆo ) s   , un ( s )  uo ( s )   , s   0,1 Mặt khác, với mọi s   0,1 ,  s,(uˆn ) s , un ( s)  ,  s,(uˆo ) s , uo ( s)   0,1  D   m, m Từ đó, với mọi n  no , 1  2  Tun (t )  Tuo (t )  1        f s,  uˆn s , un ( s )  f s,  uˆo  s , uo ( s ) ds  1   0  2     1    , t   0,1  1    2 2 Tương tự  Tun  (t )  Tuo  (t )  , t   0,1 2 Dễ thấy, với mọi n  no ,    Tun  Tuo 1  max  Tun  Tuo o , Tun   Tuo       o 2
(b) . Kế tiếp, chúng ta chỉ ra rằng T () là tập compăc tương đối . Giả sử Tun  là dãy bị chặn của T () , tương ứng với un    , chúng ta sẽ chỉ ra dãy Tun  chứa một dãy con hội tụ trong C1  0,1 , đối với chuẩn  1. Chứng minh phần này được trình bày như sau Với mọi n  no , từ (3.4), (3.6), (3.9), ta có : Tun o  A1 un o  B1 un o  C1  A1m  B1m  C1 , Tun   A2 un o  B2 un o  C2  A2m  B2m  C2 o Dẫn đến, dãy Tun  , Tu  bị chặn đều n Mặt khác, kết hợp (3,3), (3,5), (3.9) và (H1), với mọi n, với mọi t1, t2   0,1 , chúng ta có t2 Tun (t1 )  Tun (t2 )   (1  s)  m    p(s)  mq(s)  r (s)  ds t1  1      (  s )  m    p ( s )  mq ( s)  r ( s )  ds  t1  t2 1    0  1   1   m    p ( s )  mq ( s )  r ( s )  ds  t1  t2 1       0   K1 t1  t2 t2 Tun  (t1)  Tun  (t2 )    m    p(s)  mq(s)  r (s) ds t1  K 2 t1  t2
ở đây K1, K2 không phụ thuộc t1, t2 và n . Tu  đẳng liên tục ( liên tục đồng bậc ) Dễ thấy Tun  , n Áp dụng định lý Ascoli – Arzela, chúng ta có Tu  , Tu  là tập n n compăc tương đối trong C  0,1 .   Từ đó, tồn tại dãy con unk  un  sao cho Tunk  u và Tunk    v , khi k   , đối với chuẩn  o . Vậy u có đạo hàm và u  v , vì thế Tunk  u , khi k   , trong C1  0,1 , đối với chuẩn  1 . Vì vậy T hoàn toàn liên tục . (c) . Cuối cùng giả sử rằng tồn tại u*   sao cho T (u*)  u * với   1. Thì, chúng ta có tập hợp dưới đây là bị chặn u*   : T (u*)  u*,   1 . Thật vậy, từ (3.6) chúng ta có : 1 (u*) o  Tu *  A2 u * o  B2 (u*) o  C2 , (3.10)  o Kết hợp (3.1) – (3.10), chúng ta có (1  A2  B2 ) (u*) o  C2 Từ A2  B2  1 , dễ thấy (u*) o  M (3.11) C2 với M  là hằng số. 1  A2  B2 nhưng , kết hợp (3.1), (3.4), (3.6) – (3.8), (3.10) và (3.11), chúng ta có
Tu * o  A1 u * o  B1 (u*) o  C1  A1 u * o  B1M  C1  A u* o  B (3.12) Tu *  A2 u * 1  B2 (u*) 1  C2 o  A u*1 B Do đó  u * 1  Tu * 1  A u * 1  B Suy ra B  m  Am  B hay   A  , nghĩa là   1 , điều này mâu thuẫn với m   1. Bước 1 được chứng minh xong. Bước 2 . Trường hợp  (0)  0 Bằng phép biến đổi v  u   (0) , bài toán giá trị biên (E) – (BC1) trở thành bài toán giá trị biên sau : v  f  t , vt   (0), v(t )   0 , 0  t  1 , vo     (0)   , v(1)  v( ) , Với   C và  (0)  0 . Theo bước 1, bài toán giá trị biên này có ít nhất một nghiệm. Bước 2 được chứng minh xong. Như vậy Định lý 3.1 được chứng minh. 3.2. Định lý 3.2 Cho f :[0,1]  C   liên tục, với to  [0,1] . Giả sử tồn tại các hàm không âm p, q, r  L1[0,1] , các hằng số k , l  [0,1] thỏa (H2) và
k l ( H 1) : f (t , u , v)  p (t ) u  q (t ) v  r (t ) , (t , u , v)  [0,1]  C  ( H 3 ) : Q(k ) A2  Q(l ) B2  1 1 1  1 1 với A2   p ( s )ds  1   1   (1  s ) p ( s ) ds  (  s) p( s)ds 0 0 0 1 1  1 1 B2   q ( s )ds  1   1   (1  s ) q ( s ) ds  (  s )q ( s )ds 0 0 0 0 neáu 0    1 và Q(  )   1 neáu   1 Khi đó, bài toán giá trị biên (E) – (BC1)) có ít nhất một nghiệm. Chứng minh Hiển nhiên Định lý 3.1 là trường hợp đặc biệt của định lý này với k  l  1. Ở đây, chúng ta chỉ xét trường hợp  (0)  0 và với không gian con C0, hàm uˆ và toán tử T được định nghĩa như trong Định lý 3.1. Sử dụng ( H 1 ) và (3.2), với mọi u  Co và với mọi t   0,1 , chúng ta có 1 Tu (t )   (1  s )  p ( s ) uˆs  q ( s ) u( s )  r ( s )  ds  k l   0  1 (  s )  p ( s ) uˆs  q ( s ) u( s )  r ( s )  ds k l  1     0 1 1 (1  s )  p ( s ) uˆs  q ( s ) u( s )  r ( s )  ds k l  1     0  2  1   1 k  1   1    (1  s ) p ( s ) ds  (  s ) p ( s ) ds u   o  0 0 
 2  1   l 1  1   1     (1  s )q ( s )ds  (  s )q ( s )ds  u o    0 0   2  1   1 k  1   1    (1  s ) p ( s ) ds  (  s ) p ( s ) ds     0 0  1  2  1  1   (1  s )r ( s )ds  1   (  s )r ( s )ds . 0 0 k l  A1 u o  B1 u o  C3 với A1 và B1 như trong Định lý 3.1, và  2  1   1 k  1   1   C3   (1  s ) p ( s ) ds  (  s ) p ( s ) ds     0 0  1  2  1  1   (1  s )r ( s )ds  1   (  s )r ( s )ds 0 0 Khi đó, với mọi u  Co , với mọi t   0,1 , chúng ta có : k l Tu o  A1 u o  B1 u o  C3 (3.13) Tương tự, với mọi u  Co , chúng ta có Tu   A2 u k o l  B2 u o  C4 o k l  A2 u o  B2 u o  C4 , (3.14) Với A2 và B2 như trong Định lý 3.1 và 1  1  1 1 k C4   p ( s)ds  1   1    (  s ) p ( s)ds  (1  s ) p( s )ds      0 0 0 