ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN VĂN PHONG PHƯƠNG TRÌNH SÓNG TUYẾN TÍNH VỚI ĐIỀU KIỆN BIÊN CHỨA PHƯƠNG TRÌNH TÍCH PHÂN TUYẾN TÍNH LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành: Toán Giải Tích Mã số : 1.01.01 THÀNH PHỐ HỒ CHÍ MINH – 2006 ĐẠI HỌC QUỐC GIA THÀNH PHỐ HỒ CHÍ MINH TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN PHƯƠNG TRÌNH SÓNG TUYẾN TÍNH VỚI ĐIỀU KIỆN BIÊN CHỨA PHƯƠNG TRÌNH TÍCH PHÂN TUYẾN TÍNH LUẬN VĂN THẠC SĨ TOÁN HỌC Chuyên ngành : Toán Giải Tích Mã số : 1.01.01 Người hướng dẫn khoa học : TS. Nguyễn Thành Long Khoa Toán – Tin học, Đại học Khoa học Tự nhiên Tp. Hồ Chí Minh Học viên cao học : Nguyễn Văn Phong THÀNH PHỐ HỒ CHÍ MINH – 2006 LUẬN VĂN ĐƯC HOÀN THÀNH TẠI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN THÀNH PHỐ HỒ CHÍ MINH Người hướng dẫn: TS. Nguyễn Thành Long Khoa Toán – Tin học Đại học Khoa học Tự nhiên Tp Hồ Chí Minh Người nhận xét 1: PGS. TS Nguyễn Bích Huy Khoa Toán Đại học Sư phạm Tp Hồ Chí Minh Người nhận xét 2: TS. Trần Minh Thuyết Khoa Thống kê Toán – Tin học Đại học Kinh tế Tp Hồ Chí Minh Học viên cao học: Nguyễn Văn Phong LUẬN VĂN ĐƯC BẢO VỆ TẠI HỘI ĐỒNG CHẤM LUẬN VĂN THẠC SĨ TOÁN HỌC TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN TP HỒ CHÍ MINH. THÀNH PHỐ HỒ CHÍ MINH – 2006 LỜI CẢM ƠN Đầu tiên, tôi xin gởi lời cảm ơn chân thành đến Thầy Nguyễn Thành Long, người Thầy đã hướng dẫn, giúp đỡ và động viên tôi trong quá trình hoàn thành luận văn này. Xin chân thành cảm ơn Thầy Nguyễn Bích Huy và Thầy Trần Minh Thuyết đã đọc và cho tôi nhiều nhận xét bổ ích. Xin gởi lời cảm ơn đến Quý Thầy Cô Bộ môn Giải tích, Khoa Toán – Tin học, trường Đại học Khoa học Tự nhiên TP. Hồ Chí Minh, đã tận tình truyền đạt kiến thức cho chúng tôi trong toàn bộ khoá học. Xin gởi lời cảm ơn đến Quý Thầy Cô Phòng sau Đại học, trường Đại học Khoa học Tự nhiên TP. Hồ Chí Minh đã tạo điều kiện cho chúng tôi trong suốt quá trình học tập và hoàn thành các thủ tục cần thiết. Tôi xin cảm ơn các Anh Chò các khoá trước và các Bạn cùng lớp Cao học khoá 14, cũng như các Thầy cùng Anh Chò và các Bạn ở lớp semina do Thầy hướng dẫn tổ chức đã động viên tôi trong quá trình hoàn thành luận văn này. Cuối cùng, tôi không quên nói lời cảm ơn sâu sắc và lòng yêu thương dành cho gia đình, nơi có người thân thương nhất của tôi. MỤC LỤC Trang Chương 0. Phần mở đầu 3 Chương 1. Các công cụ chuẩn bò 8 Chương 2. Sự tồn tại và duy nhất nghiệm 13 Chương 3. Sự ổn đònh của nghiệm 28 Chương 4. Khai triển tiệm cận nghiệm theo một tham số 33 Chương 5. Khai triển tiệm cận nghiệm theo hai tham số 38 Phần kết luận 47 Tài liệu tham khảo 48 3 CHƯƠNG 0. PHẦN MỞ ĐẦU Trong luận văn này, chúng tôi xét bài toán sau: Tìm một cặp hàm (, )uP thỏa (,),0 1,0 , tt xx t uu Ku uFxt x tT λ −++ = << << (0.1) (0, ) ( ), x utPt = (0.2) 1 (1, ) (1, ), x ut Kut=− (0.3) 01 (,0) (), (,0) (), t ux u x u x u x== (0.4) trong đó 1 ,,KK λ là các hằng số không âm cho trước và 01 ,,uuF là các hàm số cho trước thỏa các điều kiện nào đó mà chúng ta sẽ chỉ ra sau. Hàm chưa biết (,)uxt và giá trò biên chưa biết ()Pt thoả một phương trình tích phân tuyến tính sau đây 0 () () (0,) ( ) (0, ) , t P t g t hu t k t s u s ds=+ − − ∫ (0.5) trong đó h là hằng số không âm cho trước và ,gk là các hàm cho trước. Bài toán tương tự với dạng (0.1) – (0.5) đã được chú ý nghiên cứu bởi nhiều tác giả [1, 2, 4, 6 – 10]. Xét bài toán (0.1) – (0.4) trong đó, hàm số ()Pt trong (0.2) chưa biết thoả một bài toán Cauchy sau đây cho phương trình vi phân thường // 2 () () (0,), 0 , tt Pt Pt hu t tT ω += << (0.6) / 01 (0) , (0) ,PPP P== (0.7) trong đó 01 0, 0, ,hPP ω >≥ là các hằng số cho trước. Bài toán (0.1) – (0.4) và (0.6), (0.7) là mô hình toán học mô tả sự va chạm của một vật rắn và một thanh đàn hồi nhớt tuyến tính tựa trên một nền đàn hồi. Từ (0.6), (0.7) ta biểu diễn ()Pt theo 01 ,,,, (0,) tt PP hu t ω và sau đó tích phân từng phần, ta thu được ()Pt như công thức (0.5), trong đó 4 00 11 1 ( ) ( (0))cos ( (0))sin ,gt P hu t P hu t ω ω ω =− + − (0.8) () sin .kt h t ω ω = (0.9) Bằng cách khử ẩn hàm (),Pt ta thay thế điều kiện biên (0.2) bởi 0 (0, ) ( ) (0, ) ( ) (0, ) . t x u t g t hu t k t s u s ds=+ − − ∫ (0.10) Khi đó ta đưa bài toán (0.1) – (0.4) và (0.6), (0.7) về (0.1) – (0.5), (0.8) và (0.9) hay (0.1), (0.3), (0.4), (0.10). Trong [1], bằng phép biến đổi Laplace, Nguyễn Thúc An và Nguyễn Đình Triều đã nghiên cứu một trường hợp riêng của (0.1), (0.2), (0.4), (0.6), (0.7) liên kết với điều kiện biên Dirichlet (1, ) 0,ut= (0.11) với 010 0, ( , ) 0 .uuP Fxt=== = Trong trường hợp sau bài toán (0.1), (0.2), (0.4), (0.6), (0.7) và (0.11) là mô hình toán học mô tả sự va chạm của một vật rắn và một thanh đàn hồi nhớt tuyến tính tựa trên một nền cứng [1]. Trong [2] cũng dùng phép biến đổi Laplace các tác giả Nguyễn Thúc An, Nguyễn Đăng Tộ, Nguyễn Tiến Triển đã nghiên cứu bài toán (0.1), (0.2), (0.4), (0.6), (0.7), (0.11) với 010 0,===uuP 0, ( , ) , 0== =− >KFxtx λ γγ là hằng số. Trong trường hợp này bài toán là mô hình toán học mô tả sự va chạm của một vật rắn vào một thanh đàn hồi tựa trên nền cứng, có kể đến yếu tố ngoại lực là lực cản ở mặt bên tỉ lệ với tọa độ thiết diện của thanh: (,) , 0 = −>Fxt x γ γ là hằng số. (xem hình vẽ). Như vậy bài toán nghiên cứu trong luận văn này là tương tự với các bài toán được xét trong [1, 2, 10]. 5 0 x = 1 x = x 0 v (0, ) ( ) x utPt= (1, ) 0 x ut = M A B M : Vật rắn, AB : Cọc Luận văn được trình bày theo các chương mục sau: Phần mở đầu tổng quan về bài toán khảo sát trong luận văn, điểm qua các kết quả đã có trước đó, đồng thời nêu bố cục của luận văn. Chương 1, chúng tôi trình bày một số công cụ chuẩn bò bao gồm việc nhắc lại một số khái niệm về các không gian hàm và một số kết quả về phép nhúng compact giữa các không gian hàm. Chương 2, chúng tôi nghiên cứu sự tồn tại và duy nhất nghiệm yếu toàn cục của bài toán (0.1) – (0.5). Chứng minh được dựa vào phương pháp xấp xỉ Galerkin liên kết với các đánh giá tiên nghiệm cùng với kỹ thuật hội tụ yếu và về tính compact. phần này, đònh lý ánh xạ co cũng được sử dụng trong việc chứng minh sự tồn tại nghiệm xấp xỉ Galerkin. Trong chương 3, chúng tôi chứng minh rằng nghiệm (, )uP của bài toán (0.1) – (0.5) là ổn đònh đối với các hằng số ,,Kh λ và các hàm ,,.Fkg Trong chương 4, chúng tôi nghiên cứu bài toán i ()Q λ sau đây i 1 01 0 ,0 1,0 , (0, ) ( ), (1, ) (1, ) 0, () (,0) (), (,0) (), () () (0,) ( ) (0, ) , tt xx t xx t t uu Ku uF x tT utPtutKut Q ux ux ux ux P t g t hu t k t s u s ds λ λ −+=−+ << << ⎧ ⎪ =+= ⎪ ⎨ == ⎪ ⎪ =+ − − ⎩ ∫ trong đó λ là một tham số bé. 6 Ta giả sử rằng 1 0, 0, 0KKh>≥≥ là các số thực cố đònh và các hàm  01 (,,,uuF ,)gk cho trước cố đònh thoả các giả thiết nào đó sao cho, với mỗi λ + ∈\ cho trước, bài toán i ()Q λ có duy nhất một nghiệm yếu (, )uP nghiệm này phụ thuộc vào một tham số :, .uu PP λ λ λ = = Luận văn này sẽ nghiên cứu khai triển tiệm cận nghiệm của bài toán i ()Q λ theo một tham số bé , λ tức là nghiệm có thể xấp xỉ bởi một đa thức theo biến : λ 11 (,) (,) , () () , NN ii ii ii uxt u xt Pt Pt λ λ == ≈≈ ∑∑ theo nghóa cần phải chỉ ra các hàm ( , ), ( ), 0,1,2, , ii uxt Pt i N = và thiết lập các đánh giá theo các chuẩn *** || || , || || ⋅ ⋅ trong các không gian hàm thích hợp có dạng i i *** 11 11 *** ,, NN iN i N NN ii ii uu C PP C λλ λ λ + + == −≤ − ≤ ∑∑ với tham số λ đủ bé, các hằng số i i *** , NN CC độc lập với . λ Trong chương 5, chúng tôi nghiên cứu bài toán i , ()P η λ theo hai tham số bé , η λ sau đây i ()  i  i 1 , 00 11 0 ,0 1,0 , (0, ) ( ), (1, ) (1, ) 0, (,0) () (), (,0) () (), () () (0,) ( ) (0, ) . −+=−+ << << ⎧ ⎪ =+= ⎪ ⎪ ⎨ =+ =+ ⎪ ⎪ =+ − − ⎪ ⎩ ∫ tt xx t xx t t uu Ku uF x tT utPtutKut P ux u x U x u x u x U x P t g t hu t k t s u s ds ηλ λ ηη Ta giả sử rằng 1 0, 0, 0KKh>≥≥ là các số thực cố đònh và các hàm  i i 01 0 1 (, , , ,,,)uuUUFgk cho trước cố đònh thoả các giả thiết nào đó sao cho, với mỗi (,) η λ + ∈×\\ cho trước, bài toán i , ()P η λ có duy nhất một nghiệm yếu (, )uP nghiệm này phụ thuộc vào hai tham số ,, ,: , .uu PP η ληλ η λ = = Luận văn này sẽ nghiên cứu khai triển tiệm cận nghiệm của bài toán i , ()P η λ theo hai tham số bé ,, η λ tức là nghiệm có thể xấp xỉ bởi một đa thức theo hai biến ,: η λ 7  l 12 12 12 12 12 12 12 12 , , ,, (,) (,) , () () , NN uxt u xt Pt P t γ γγγ γγ γγ γγ γγ γγ γγ η λ η λ ++ +≤ +≤ ∈∈ ≈≈ ∑∑ ]] theo nghóa cần phải chỉ ra các hàm  l 12 12 , , 12 12 (,), (), , ,uxtPt N γγ γγ γγ γγ + +≤ ∈] và thiết lập các đánh giá theo các chuẩn 1* 2* || || , || || ⋅ ⋅ trong các không gian hàm thích hợp có dạng  ( ) 12 12 12 12 1 (1*) 2 2 , ,, 1* , + + +≤ ∈ −≤+ ∑ ] N N N uuC γγ γγ γγ γγ ηλ η λ l ( ) 12 12 12 12 1 (2*) 2 2 , ,, 2* , + + +≤ ∈ −≤+ ∑ ] N N N PPC γγ γγ γγ γγ ηλ η λ với các tham số , η λ đủ bé, các hằng số (1*) N C và (2*) N C độc lập với các tham số ,. η λ Các kết quả liên quan đến bài toán xấp xỉ tiệm cận theo nhiều tham số đã được một số tác giả quan tâm, chẳng hạn như: Long, Alain Phạm, Diễm [10], Long, t, Trúc [9], Long, Giai [11], Long, Trường [12]. Kế đến là phần kết luận và sau cùng là danh mục các tài liệu tham khảo. [...]... )ds, 0 (2.5) trong đó u0 , u1 , F , g , k là các hàm số cho trước thỏa các điều kiện nào đó mà ta sẽ chỉ ra sau Chứng minh được dựa vào phương pháp Galerkin liên hệ với các đánh giá tiên nghiệm, từ đó rút ra các dãy con hội tụ yếu về nghiệm trong các không gian hàm thích hợp nhờ vào một số phép nhúng compact Trước tiên ta thành lập các giả thiết sau ( H1 ) u0 ∈ H 2 , u1 ∈ H 1 , (H 2 ) K ≥ 0, λ ≥ 0, h... khó khăn rằng (1.8) df ∈ D / (0, T ; X ) và gọi là đạo hàm của f dt theo nghóa phân bố Các tính chất : 1) Cho v ∈ Lp (0, T ; X ) ta làm tương ứng với nó bởi ánh xạ Tv : D (0, T ) → X như sau: T Tv , ϕ = ∫ v(t )ϕ (t )dt , ∀ϕ ∈ D(0, T ) 0 Ta có thể nghiệm lại rằng Tv ∈ D / (0, T ; X ) Thật vậy : i) Ánh xạ Tv : D (0, T ) → X hiển nhiên là tuyến tính ii) Ta nghiệm lại ánh xạ Tv : D (0, T ) → X là liên tục... Lp (0, T ; X ) và f / ∈ Lp (0, T ; X ) thì f bằng hầu hết với một hàm liên tục từ [0, T ] → X 1.5 Bổ đề về tính compact của Lions[5] Cho ba không gian Banach X 0 , X 1 , X với X 0 ⊂ X ⊂ X 1 với các phép nhúng liên tục sao cho: X 0 , X 1 là phản xạ, (1.10) phép nhúng X 0 O X là compact (1.11) Với 0 < T < ∞, 1 ≤ pi ≤ ∞, i = 1, 2 ta đặt { } W (0, T ) = v ∈ Lp0 (0, T ; X 0 ) : v / ∈ Lp1 (0, T ; X 1 ) ... X là một không gian Banach thực Một ánh xạ tuyến tính liên tục từ D (0, T ) vào X gọi là một (hàm suy rộng) phân bố có giá trò trong X Tập các phân bố có giá trò trong X , ký hiệu là: D / (0, T ; X ) = L( D(0, T ); X ) = { f : D(0, T ) → X | f tuyến tính liên tục } Chú thích 1.2 Ta ký hiệu D (0, T ) thay cho D ((0, T )) hoặc Cc∞ ((0, T )) để chỉ không gian các hàm số thực khả vi vô hạn và có giá compact... Chứng minh Trước hết, ta chú ý rằng, nếu các dữ kiện ( K , λ , h, F , k , g ) thỏa ⎧0 ≤ K ≤ K * , 0 ≤ λ ≤ λ * , F L2 ( Q ) + Ft ⎪ T ⎨ * * * ⎪ g H 2 ( 0,T ) ≤ g , k H 2 ( 0,T ) ≤ k , h ≤ h , ⎩ L2 ( QT ) ≤ F*, (3.4) trong đó K * , λ * , h* , F * , k * , g * là các hằng số dương cố đònh Khi đó, các đánh giá tiên nghiệm cho các dãy {um } và {Pm } trong chứng minh của đònh lý 2.1 thỏa 29 ⎧ u / (t ) 2 + u... đó, giới hạn {( u m ( u, P ) trong các không gian hàm thích hợp của dãy , Pm )} được xác đònh bởi (2.7), (2.9) là nghiệm yếu của bài toán (2.1) – (2.5) thỏa mãn các đánh giá tiên nghiệm (3.5) – (3.6) Bây giờ từ (3.2), ta có thể giả thiết rằng, tồn tại các hằng số dương K * , λ * , h* , F * , k * , g * sao cho dữ liệu ( K j , λ j , h j , Fj , k j , g j ) thỏa (3.4) với ( K , λ , h, F , k , g ) = ( K... gian Banach Hiển nhiên W (0, T ) ⊂ Lp0 (0, T ; X ) Ta cũng có kết quả sau đây về phép nhúng compact Bổ đề 1.8 ( Bổ đề về tính compact của Lions[5]) Với giả thiết (1.10), (1.11) và nếu 1 < pi < ∞, i = 1, 2 , thì phép nhúng W (0, T ) O Lp0 (0, T ; X ) là compact 1.6 Các ký hiệu Ta dùng các ký hiệu u / (t ) = ut (t ), u // (t ) = utt (t ), u x (t ) = ∇u (t ), u xx (t ) = ∆u (t ), để lần lượt chỉ : ∂u ∂ 2u... sao cho ∫ T 0 u (t ) p X dt < ∞, với 1 ≤ p < ∞, hay ∃M > 0 : u (t ) X ≤ M , a.e, t ∈ (0, T ) với p = ∞ Ta trang bò Lp (0, T ; X ), 1 ≤ p ≤ ∞ bởi chuẩn như sau: u p L (0,T ; X ) = (∫ T 0 u (t ) p X ) 1/ p dt , với 1 ≤ p < ∞, hay u L∞ (0,T ; X ) = ess sup u (t ) 0 0 , bỏ qua đònh nghóa các không gian hàm thông dụng: C m (Ω), Lp (Ω), W m , p (Ω) (có thể xem trong [3]), và ký hiệu H 1 (Ω) = H 1 , H 2 (Ω) = H 2 là các không gian Sobolev thông dụng Ta đònh nghóa L2 ( Ω ) là không gian Hilbert đối với tích vô hướng 1 u, v = ∫ u ( x)v( x) dx, (1.1) . 7  l 12 12 12 12 12 12 12 12 , , ,, (,) (,) , () () , NN uxt u xt Pt P t γ γγγ γγ γγ γγ γγ γγ γγ η λ η λ ++ +≤ +≤ ∈∈ ≈≈ ∑∑ ]] theo nghóa cần phải chỉ ra các hàm  l 12 12 , , 12 12 (,),. trong các không gian hàm thích hợp có dạng  ( ) 12 12 12 12 1 (1*) 2 2 , ,, 1* , + + +≤ ∈ −≤+ ∑ ] N N N uuC γγ γγ γγ γγ ηλ η λ l ( ) 12 12 12 12 1 (2*) 2 2 , ,, 2* , + + +≤ ∈ −≤+ ∑ ] N N N PPC γγ γγ γγ. () () () 12 /// / 12 // // // // 12 ( ) ( ), ( ), , ( ) , ( ) ( ), ( ), , ( ) , ( ) ( ), ( ), , ( ) , T m T m T m ct c t c t c t ct ct ct c t ct ctct ct ⎧ = ⎪ ⎪ = ⎨ ⎪ ⎪ = ⎩ (2 .12) (), (),