Biểu diễn nghiệm của phương trình đạo hàm riêng phi tuyến cấp một

BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG PHAN THỤC CHI BIỂU DIỄN NGHIỆM CỦA PHƯƠNG TRÌNH ĐẠO HÀM RIÊNG PHI TUYẾN CẤP MỘT Chuyên ngành : Phương pháp toán sơ cấp Mã số : 60 46 0113 LUẬN VĂN THẠC SĨ KHOA HỌC Người hướng dẫn khoa học: TS Nguyễn Duy Thái Sơn Đà Nẵng – Năm 2014 ` LỜI CAM ĐOAN Tôi cam đoan cơng trình nghiên cứu riêng tơi Các số liệu, kết nêu luận văn trung thực chưa công bố công trình khác Tác giả luận văn Phan Thục Chi ` MỤC LỤC MỞ ĐẦU 1 Tính cấp thiết đề tài Mục tiêu nghiên cứu Đối tượng phạm vi nghiên cứu Phương pháp nghiên cứu Bố cục đề tài Tổng quan tài liệu nghiên cứu CHƯƠNG 1: KỸ THUẬT BAO HÌNH VÀ PHƯƠNG PHÁP ĐẶC TRƯNG 1.1 TÍCH PHÂN ĐẦY ĐỦ, BAO HÌNH 1.1.1 Tích phân đầy đủ 1.1.2 Nghiệm từ bao hình 1.2 PHƯƠNG PHÁP ĐẶC TRƯNG .10 1.2.1 Đạo hàm phương trình vi phân thường đặc trưng .10 1.2.2 Các ví dụ 13 1.2.3 Điều kiện biên 18 1.2.4 Nghiệm địa phương .22 1.2.5 Ứng dụng .27 CHƯƠNG 2: PHƯƠNG TRÌNH HAMILTON – JACOBI VÀ CÁC LUẬT BẢO TOÀN 35 2.1 PHƯƠNG TRÌNH HAMILTON - JACOBI 35 2.1.1 Phép tính biến phân, phương trình vi phân thường Hamilton35 2.1.2 Biến đổi Legendre, công thức Hopf – Lax 41 2.1.3 Nghiệm yếu, tính 53 2.2 GIỚI THIỆU VỀ CÁC ĐỊNH LUẬT BẢO TOÀN 64 ` 2.2.1 Sự xung kích, điều kiện entropy .65 2.2.2 Công thức Lax – Oleinik .74 2.2.3 Nghiệm yếu, tính 79 2.2.4 Bài toán Riemann .85 2.2.5 Tác động kéo dài 89 KẾT LUẬN 96 TÀI LIỆU THAM KHẢO 97 QUYẾT ĐỊNH GIAO ĐỀ TÀI (bản sao) ` MỞ ĐẦU Tính cấp thiết đề tài Phương trình đạo hàm riêng phi tuyến cấp xuất nhiều lĩnh vực lý thuyết vật lý, động lực học (với phép biến đổi tắc), học liên tục (với luật bảo tồn khối lượng, mơ-men, lượng…) quang học (khi mơ tả mặt sóng âm) Nói chung, tính phi tuyến gây nhiều khó khăn cho việc tìm cơng thức biểu diễn nghiệm phương trình đạo hàm riêng Trong luận văn “Biểu diễn nghiệm phương trình đạo hàm riêng phi tuyến cấp một” này, tìm hiểu kỹ thuật khác nhà toán học sử dụng để đưa biểu diễn nghiệm (địa phương toàn cục) phương trình đạo hàm riêng phi tuyến cấp Mục tiêu nghiên cứu Tơi mong muốn tìm kiếm nhiều tài liệu từ nguồn khác nhau, nghiên cứu kỹ tài liệu đó, cố gắng lĩnh hội đầy đủ kiến thức cũ biểu diễn nghiệm phương trình đạo hàm riêng phi tuyến cấp để trình bày lại kiến thức luận văn hy vọng luận văn sử dụng tài liệu tham khảo bổ ích cho sinh viên trường đại học Trong chương luận văn này, nghiên cứu tích phân đầy đủ kỹ thuật bao hình, phương pháp đặc trưng tìm nghiệm địa phương phương trình đạo hàm riêng phi tuyến cấp Trong chương 2, ta khảo sát phương pháp biến phân vấn đề biểu diễn nghiệm toàn cục phương trình Hamilton – Jacobi luật bảo toàn ` Đối tượng phạm vi nghiên cứu 3.1 Đối tượng nghiên cứu: Phương trình đạo hàm riêng phi tuyến cấp 3.2 Phạm vi nghiên cứu: Cách giải phương trình đạo hàm riêng phi tuyến cấp Phương pháp nghiên cứu Cơ sử dụng phương pháp nghiên cứu tài liệu (sách tài liệu internet có liên quan đến đề tài luận văn) để thu thập thơng tin trình bày nội dung phục vụ cho yêu cầu đề tài Bố cục đề tài Mở đầu Chương 1: Kỹ thuật bao hình phương pháp đặc trưng 1.1 Tích phân đầy đủ, bao hình 1.2 Phương pháp đặc trưng Chương 2: Phương trình Hamilton – Jacobi luật bảo tồn 2.1 Phương trình Hamilton – Jacobi 2.2 Luật bảo toàn Kết luận Tài liệu tham khảo Tổng quan tài liệu nghiên cứu Trong tài liệu nghiên cứu phương trình đạo hàm riêng phi tuyến cấp tổng quát dạng F(Du,u,x) = 0, x ỴU U tập mở ¡ n Ở F : ¡n ´ ¡ ´ U ® ¡ ` hàm cho trước, u : U ® ¡ ẩn hàm, u = u(x) Ghi Ta viết F = F(p,z,x)=F(p1,…,pn,z,x1,…,xn) với p Ỵ ¡ n , z Ỵ ¡, x ÎU Vì “p” tên của biến ta thay cho gradient Du(x), “z” biến thay cho u(x) Ta giả sử từ sau F hàm trơn, đặt ì D p F = ( Fp1 , , Fpn ) ï í Dz F = Fz ï D F = ( F , , F ) x1 xn ỵ x □ Chúng ta quan tâm đến việc tìm nghiệm u phương trình đạo hàm riêng F(Du,u,x)=0 tập U, thơng thường đưa điều kiện biên u = g G , G vài tập cho trc ca ảU v g : G đ ¡ hàm số qui định Phương trình đạo hàm riêng phi tuyến cấp xuất nhiều lý thuyết vật lý, chủ yếu động lực học (tạo phép biến đổi hợp qui tắc), học liên tục (ghi lại bảo toàn khối lượng, động lượng, lượng, ) quang học (mô tả sóng trước) Tuy tính phi tuyến mạnh thường ngăn cản việc tìm cơng thức đơn giản cho nghiệm phương trình, song ý thường sử dụng phép tính để lượm lặt thơng tin chi tiết rõ ràng nghiệm Các kĩ thuật đề cập mục 1.1 1.2, cục tiêu biểu Trong mục 2.1 2.2 nghiên cứu trường hợp quan trọng phương trình Hamilton – Jacobi luật bảo tồn chuyển hóa xác tồn cơng thức biểu diễn cho nghiệm khơng xác định thích hợp ` CHƯƠNG KỸ THUẬT BAO HÌNH VÀ PHƯƠNG PHÁP ĐẶC TRƯNG 1.1 TÍCH PHÂN ĐẦY ĐỦ, BAO HÌNH 1.1.1 Tích phân đầy đủ Chúng ta bắt đầu phân tích phương trình đạo hàm riêng phi tuyến cấp F ( Du, u, x) = (1.1.1) việc mô tả vài lớp nghiệm đơn giản sau học cách xây dựng từ chúng nghiệm phức tạp Trước hết giả sử A tập mở ¡ n Giả sử với tham số a=(a1, ,an)Ỵ A ta có nghiệm u=u(x ;a) thuộc lớp C2 phương trình đạo hàm riêng (1.1.1) Ghi Ta viết (1.1.2) ỉ ua1 u x1a1 K u xn a1 ç ÷ ( Dau, Dxa u ) := çM M O M ữ ỗỗ u ux1an K uxn an ÷÷ è an øn´( n+1) □ ĐỊNH NGHĨA Một hàm u = u(x;a) thuộc lớp C2 gọi tích phân đầy đủ U ´ A (i) u(x;a) thỏa phương trình đạo hàm riêng (1.1.1) với a Ỵ A (ii) rank( Da u , Dxa u) = n ( x ỴU , a Ỵ A) Nhận xét Điều kiện (ii) bảo đảm u(x;a) “phụ thuộc vào tất n tham số độc lập a1, ,an” Để hiểu điều này, ta giả sử B Ì ¡ n -1 tập mở, với b Ỵ B giả sử v = v(x;b) ( x ỴU ) nghiệm (1.1.1) Giả sử tồn ánh xạ j : A ® B,j = (j1, ,j n -1 ) thuộc lớp C1, cho (1.1.3) u ( x; a) = v( x;j (a)) ( x ỴU , a Ỵ A) ` Tức là, ta giả sử hàm u(x;a) “thực phụ thuộc vào n-1 tham số b1,…,bn-1” Nhưng mặt khác n -1 u xi a j ( x; a) = å vxi bk ( x;j (a))jak j (a) (i,j = 1,…,n) k =1 Do det( D xa u) = n -1 å k1 , , k n =1 v x1b v xn b k1 kn æ j k1 ỗ a1 det ỗ ỗ k ỗ j a1n è K j ak1n O K j aknn ÷ ÷=0 ÷ ÷ ø với số chọn k1, , kn Ỵ {1,…,n – 1}, có hàng ma trận tương ứng Khi n -1 ua j ( x; a) = å vbk ( x;j (a))jak j (a) ( j = 1, , n) , k =1 u) tương tự ta có định thức ma trận cấp n ´ n ( Dau , Dxa khơng, ma trận có hạng hồn tồn nhỏ n □ Ví dụ Phương trình Clairaut hình học vi phân phương trình đạo hàm riêng (1.1.4) x × Du + f ( Du ) = u, f : ¡ n ® ¡ hàm cho trước Một tích phân đầy đủ (1.1.5) u ( x; a ) = a × x + f ( a ) ( x ỴU ) với a Ỵ ¡ n ỉ1 L 0ư Vì Du = a, Da u = ( x1 + f a1 , , xn + f an ), D u = ỗỗ O ữữ nờn iu kin (i) v ç0 L 1÷ è ø xa (ii) thỏa mãn □ Ví dụ Phương trình ảnh quang hình phương trình dạo hàm riêng (1.1.6) Du = Một tích phân đầy đủ ` u ( x; a , b ) = a × x + b (1.1.7) ( x ỴU ) với a ẻảB(0;1), b ẻ Ă Du = a ẻảB (0;1) ị| Du |= thỏa (i) Vì L 0ư O ÷÷ tha (ii) L 1ữ ữ L 0ứ ổ1 ỗ D( a ,b ) u = ( x1 , , xn ,1) , Dx ( a ,b ) u = ỗ ỗ0 ỗ ố0 Vớ d Phng trình Hamilton – Jacobi dạng đơn giản học phương trình đạo hàm riêng (1.1.8) ut + H ( Du ) = 0, H : ¡ n ® ¡ Ở u phụ thuộc vào x = ( x1, , xn ) Ỵ ¡ n t Ỵ ¡ Như trên, ta vừa đặt t = xn +1 viết Du = Dxu = (u x1 , , u xn ) Một tích phân đầy đủ (1.1.9) u ( x, t ; a, b) = a × x - tH (a ) + b ( x Ỵ ¡ n , t ³ 0) a Ỵ ¡ n , b Ỵ ¡ Ta có Du = a, ut = - H (a ) = - H ( Du ) Þ ut + H ( Du ) = thỏa (i) L L O L L ổ1 ổ x1 - tH a1 ỗ0 ỗ ữ ỗ M ữ , D u = ỗM V D( a ,b ) u = ỗ ỗ x n - tH a ÷ x ( a ,b ) ç n ç ÷ ç0 ç1 ÷ ç0 è ø è 0ư ÷ ÷ ÷ thỏa (ii) ÷ 0÷ ÷ø □ 1.1.2 Nghiệm từ bao hình Tiếp theo ta chứng minh cách xây dựng nghiệm phức tạp phương trình đạo hàm riêng phi tuyến cấp (1.1.1), nghiệm phụ thuộc vào hàm tùy ý n – biến, không với n tham số Ta xây dựng nghiệm bao hình tích phân đầy đủ hoặc, tổng quát hơn, họ m tham số khác nghiệm ` 83 T ve ( x, t ) := - òt y ( xe ( s ), s )ds ( x Ỵ ¡,0 £ t £ T ) (2.2.45) Khi ve trơn nghiệm (43) Vì | be | giới hạn y có giá compact, ve có giá compact ¡ ´ [0, T ) Ta khẳng định s > 0, tồn số Cs cho vex £ Cs ¡ ´ (s,T) (2.2.46) Để chứng minh điều này, trước tiên lưu ý < s £ t £ T , (2.2.47) be , x ( x, t ) = ị0 F ¢¢(rue + (1 - r )u% e )(ru ex + (1 - r )u% ex )dr £ C C £ t s (2.2.41), F lồi Tiếp theo, đạo hàm phương trình đạo hàm riêng (2.2.43) x: (2.2.48) vtxe + be vexx + be , x vex = y x Đặt a ( x, t ) := el t vex ( x, t ), với (2.2.49) l= C + s Khi at + be ax = l a + el t [vext + be vxx ] = l a + el t [ - be , x vex + y x ] (2.2.48) (2.2.50) =[l - be , x ]a + el ty x Vì ve có giá compact, a đạt cực đại khơng âm ¡ ´ [s, T ] hữu hạn điểm ( x0 , t0 ) Nếu t0 = T , vx = Nếu £ t0 < T , at ( x0 , t0 ) £ 0, a x ( x0 , t0 ) = Do phương trình (2.2.50) cho ta (2.2.51) [l - be , x ]a + el t0y x £ ( x0 , t0 ) ` 84 Nhưng be , x £ C l cho (2.2.49), bất đẳng thức (2.2.51) dẫn đến s a ( x0 , t0 ) £ -el t0y x £ elT y x L¥ Lý luận tương tự cho a( x1 , t1 ) ³ -elT y x L¥ điểm ( x1 , t1 ) a đạt cực tiểu khơng dương Hai ước tính định nghĩa a dẫn đến (2.2.46) Ta cần bất đẳng thức nữa, cụ thể ¥ e ò-¥ vx ( x, t ) dx £ D (2.2.52) với £ t £ t vài số D, miễn t đủ nhỏ Để chứng minh điều này, chọn t > nhỏ để y = ¡ ´ (0,t ) Khi £ t £ t , từ (2.2.45) ta thấy v dọc theo đường cong đặc trưng xe (×) (thỏa (2.2.44)) t £ s £ t Chọn phân hoạch x0 < x1 < < xN Khi y0 < y1 < < y N , yi := xi ( s ) (i = 1, , N ) với ì x&e ( s) = be ( xe ( s ), s ) (t £ s £ t ) í ỵ xe (t ) = xi Vì ve dọc theo đường cong đặc trưng xi (×) , ta có N N i =1 i =1 å ve ( xi , t ) - ve ( xi -1 , t ) = å ve ( yi ,t ) - ve ( yi -1 ,t ) £ var ve (×,t ), “var” biểu thị cho biến phân x Lấy supremum tất phân hoạch, ta tìm ¥ e ị-¥ vx ( x, t ) dx = var v e ¥ (ì, t ) Ê var ve (ì,t ) = ũ-Ơ vex ( x,t ) dx £ C , ` 85 ve có giá ước lượng (2.2.41) có giá trị s = t Cuối cùng, ta hoàn thành việc chứng minh cách đặt v = ve (2.2.42) thay thế, sử dụng (2.2.43): ¥ ¥ ị0 ¥ ¥ - b]vex dxdt T ¥ - b]vex dxdt + ò0 ò-¥ w[be - b]vex dxdt ị-¥ wy dxdt = ị0 = ịt ị-¥ w[be ò-¥ w[be t ¥ =: Ite + Jte Khi theo (2.2.40), (2.2.46), định lí Sự hội tụ bị chi phối [1, tr 648], Ite ® e ® với t > Ngồi ra, < t < T , ta thấy ¥ Jte £ t C max ị-¥ vex dx £ t C , (52) £ t £t Vì ¥ ¥ ò0 ò-¥ wy dxdt = với tất hàm trơn y trên, w = u - u% = hầu khắp nơi.□ 2.2.4 Bài toán Riemann Bài toán giá trị ban đầu (2.2.1) với hàm ban đầu không đổi khoảng (hàm bậc thang) (2.2.53) ìul x < g ( x) = í ỵur x > gọi tốn Riemann luật bảo tồn vơ hướng (2.2.1) Ở ul , ur Ỵ ¡ trạng thái ban đầu bên trái bên phải, ul ¹ ur Ta tiếp tục giả sử F lồi thuộc lớp C2, trước ta viết G = ( F ¢)-1 ` 86 ĐỊNH LÍ (Nghiệm tốn Riemann) (i) Nếu ul > ur , nghiệm entropy toán Riemann (2.2.1), (2.2.53) x ì ïïul t < s u ( x, t ) := í ( x Ỵ ¡, t > 0), x ïu >s ïỵ r t (2.2.54) s := (2.2.55) F (ul ) - F (ur ) ul - ur (ii) Nếu ul < ur , nghiệm entropy tốn Riemann (2.2.1), (2.2.53) x ì u < F ¢(ul ) l ï t ï x ï ỉ xư (2.2.56) u ( x, t ) := íG ỗ ữ F Â(ul ) < < F Â(ur ) t ï ètø ï x > F ¢(ur ) ù ur t ợ ( x ẻ Ă, t > 0) x=σt u=ul u=ur Sóng xung kích thỏa toán Riemann’s ul > ur ` 87 Nhận xét (i) Trong trường hợp trạng thái ul ur phân tách sóng xung kích với số vận tốc s Trong trường hợp thứ hai trạng thái ul ur phân tách sóng lỗng (ii) Ta biết từ lý thuyết đặt §2.2.2 – 2.2.3 cơng thức Lax – Oleinik phải tạo nghiệm này, tập thú vị để xác minh điều trực tiếp Thay vào ta xây dựng hàm (2.2.54), (2.2.56) từ nguyên tắc xác minh chúng nghiệm entropy thực tế Bởi tính nhất, đó, chúng phải tương thích với cơng thức Lax – Oleinik Nó minh họa hay sức mạnh khẳng định tính độc đáo, Định lí □ Chứng minh Giả sử ul > ur Rõ ràng u xác định (2.2.54), (2.2.55) nghiệm tích phân phương trình đạo hàm riêng Đặc biệt s = [[F (u )]] / [[u ]], điều kiện Rankine – Hugoniot Hơn lưu ý F ¢(ur ) < s = ul F (ul ) - F (ur ) = ị F ¢(r )dr < F ¢(ul ) ur ul - ur phù hợp với (2.2.17) Vì ul > ur , điều kiện entropy Tính kéo theo từ Định lí u=G(x/t) u=ul u=ur Sóng lỗng thỏa tốn Riemann ul < ur ` 88 Giả sử ul < ur Trước tiên ta phải kiểm tra u xác định (2.2.56) thỏa luật bảo tồn miền {F ¢(ul ) < x < F ¢(ur )} Để kiểm tra t điều này, đặt câu hỏi chung đến hàm u có dạng ỉxư u ( x, t ) = v ỗ ữ ốtứ tha (2.2.1) Ta tớnh ut + F (u ) x = ut + F ¢(u )u x ổxử x ổ x ử1 = -v ỗ ữ + F Â(v)v ỗ ữ ố t ứt ố t ứt xự ổ x ử1 ộ = v ỗ ÷ ê F ¢(v) - ú tû è t øt ë ỉ ỉ x ưư x Vì thế, việc giả sử v’ khơng triệt tiêu, ta tìm F ¢ ç v ç ÷ ÷ = Do è è t øø t ỉxư ỉ xư u ( x, t ) = v ỗ ữ = G ỗ ữ ètø ètø x ỉ xư thỏa luật bảo tồn Bây gi v ỗ ữ = ul l = F ¢(ul ); cách tương t ètø x ỉxư t v ỗ ữ = ur nu = F Â(ur ) t ètø Như hệ ta thấy sóng lỗng u xác định (2.2.56) liên tục ¡ ´ (0, ¥), nghiệm phương trình đạo hàm riêng ut + F (u ) x = miền xác định Vì dễ dàng kiểm tra u nghiệm tích phân (2.2.1), (2.2.53) Hơn nữa, lưu ý §2.2.3 ta giả sử G liên tục Lipschitz, ta có ỉx+zư ỉ x Lip(G ) z u ( x + z , t ) - u ( x, t ) = G ỗ ữ - Gỗ ữ Ê t ố t ứ ốtứ ` 89 F ¢(ul )t < x < x + z < F ¢(ur )t Bất đẳng thức dẫn đến u thỏa điều kiện entropy Tính lần hệ định lý □ 2.2.5 Tác động kéo dài a Sự phân rã tiêu chuẩn Ta dùng công thức Lax – Oleinik (2.2.29) để nghiên cứu tác động nghiệm entropy u ca (2.2.1) t đ Ơ Ta gi sử F trơn, lồi đều, F (0) = 0, g bị chặn khả tổng ĐỊNH LÍ (Tiệm cận chuẩn L¥ ) Tồn số C cho u ( x, t ) £ (2.2.57) C t1/2 với x Ỵ ¡, t > Chứng minh Đặt s := F ¢(0); (2.2.58) G (s ) = 0, (2.2.59) L(s ) = s G (s ) - F (G (s )) = 0, L¢(s ) = (2.2.60) Theo (2.2.60) tính lồi L, ổxtL ỗ ố t (2.2.61) yử ổ x - y -st +s ữ ữ = tL ỗ t ứ è ø é x - y -st ö x - y -st ù ỉ ỉ ³ t ê L(s ) + LÂ(s ) ỗ ữ +q ỗ ữ ú t t è ø è ø úû êë x - y -st =q t ` 90 x số số q > Vì h = ò gdy bị chặn M := g L1 , từ (2.2.61) ta thấy x - y -st ổx- yử tL ỗ - M ữ + h( y ) ³ q t è t ø Mặc khác, ỉ x - (x - s t) tL ç ÷ + h( x - s t ) £ M t è ø Vì điểm cực tiểu y ( x, t ) ta có x - y ( x, t ) - s t q £ 2M ; t x - y ( x, t ) C - s £ 1/2 t t (2.2.62) số số C Nhưng G (s ) = 0, x Ỵ ¡, t > ta có ỉ x - y ( x, t ) ö u ( x, t ) = G ỗ ữ t ố ứ æ x - y ( x, t ) ö = Gỗ - s + s ữ - G (s ) t è ø x - y ( x, t ) C £ Lip(G ) - s £ 1/2 , t t theo (2.2.62) □ Ví dụ §2.2.1 tốc độ phân rã t -1/2 tối ưu b Sự phân rã thành sóng N Đánh giá (2.2.57) khẳng định chuẩn L¥ u dần đến khụng t đ Ơ Mc khỏc ta lu ý từ Ví dụ §2.2.1 chuẩn L1 u không ` 91 cần thiết dần đến không; thực vậy, tích phân u ¡ bảo tồn (Bài tốn 2.2.13) Ta thay u phát triển L1 thành hình đơn giản, giả sử g có giá compact Cho trước số p, q, d, σ, với p, q ³ 0, d > 0, ta xác định sóng N tương ứng hàm ì1 ỉ x 1/2 1/2 ù ỗ - s ữ - ( pdt ) < x - s t < (qdt ) (2.2.63) N ( x, t ) := í d è t ø ï ngược lại ỵ (pdt)1/2 (qdt)1/2 Hằng số σ vận tốc sóng N Bây xác định σ (2.2.58), đặt d := F ¢¢(0) > 0, (2.2.64) đồng thời viết (2.2.65) ¥ y p := -2 ò gdx, q := max ũ gdx yẻĂ yẻĂ -Ơ y Lu ý p, q ³ (2.2.66) G¢(s ) = d ĐỊNH LÍ (Các tiệm cận chuẩn L1) Giả sử p, q > Khi tồn số C cho ` 92 ũ (2.2.67) Ơ -Ơ u (ì, t ) - N (×, t ) dx £ C t1/2 với t > Chứng minh Từ đánh giá (2.2.62) phần chứng minh định lí ta có ( x - s t ) - y ( x, t ) C £ 1/2 t t (2.2.68) Lúc æ x - y ( x, t ) ö u ( x, t ) = G ỗ ữ t ố ứ æ ( x - s t ) - y ( x, t ) = Gỗ +s ữ t ố ø ( x - s t ) - y ( x, t ) ỉ ( x - s t ) - y ( x, t ) ỉ = G (s ) + GÂ(s ) ỗ ữữ ữ + ỗỗ t t ố ứ ố ứ Do (2.2.59), (2.2.66) (2.2.68) dẫn đến (2.2.69) u ( x, t ) - ( x - s t ) - y ( x, t ) C £ d t t Vì g có giá compact, ta giả sử vài số R > g º ¡ Ç { | x |³ R} Vì ìh x £ - R h( x ) = í îh+ x ³ R, với số h± Một tính tốn cho thấy (2.2.70) h = ¡ p q + h- = - + h+ 2 Tiếp theo ta đặt (2.2.71) e = e (t ) := A t 1/2 số A chọn sau ` (t > 0), 93 Ta khẳng định A đủ lớn, u ( x, t ) = với x - s t > - R - ( pd (1 + e )t )1/2 (2.2.72) u ( x, t ) = với x - s t > R + (qd (1 + e )t )1/2 (2.2.73) Thật vậy, (2.2.64) dẫn đến L¢¢(s ) = , d ta suy từ (2.2.61) (2.2.62) æ x - y ö | (x - s t) - y | tL ỗ + O ( t -1/2 ) t đ Ơ ữ= 2t ố t ứ d Vỡ vy | ( x - s t ) - y |2 ổ x- yử (2.2.74) tL ỗ + h ( y ) = + h( y ) + O ( t -1/2 ) ÷ d 2t è t ø Giả sử (2.2.75) x - s t < - R - ( pd (1 + e )t )1/2 Khi h( x - s t ) = h- ỉ ( x - ( x - s t )) tL ỗ ữ + h( x - s t ) = tL(s ) + h- = h- t è ø Bây y £ - R , thỡ ổ x- yử tL ỗ ữ + h( y ) ³ h- , è t ø L ³ Mặc khác y ³ - R , ta dùng (2.2.74) (2.2.70) để ước lượng ổxtL ỗ ố t yử | ( x - s t ) - y |2 p + h ( y ) ³ - + h- + O ( t -1/2 ) ÷ d 2t ø pd (1 + e )t p ³ - + h- + O ( t -1/2 ) theo (2.2.75) 2dt p A = 1/2 + h- + O ( t -1/2 ) theo (2.2.71) 2t ³ h- , ` 94 miễn A đủ lớn Ta kết luận (2.2.75) buộc y ( x, t ) = x - s t , u ( x, t ) = G (s ) = Điều chứng minh khẳng định (2.2.72), việc chứng minh (2.2.73) tương tự Tiếp theo ta khẳng định với A t đủ lớn (2.2.76) y ( x, t ) ³ - R x - s t = R - ( pd (1 - e )t )1/2 Để thấy điều này, lưu ý y ( x, t ) £ - R dn n nh trờn rng ổx- yử tL ỗ ÷ + h( y ) ³ h- è t ø Bây chọn điểm z cho h( z ) = h = - p + h- | z |£ R Khi ta dựa vào (2.2.74) trước để đánh giá | ( x - s t ) - z |2 p ỉx-zư - + h- + O ( t -1/2 ) tL ỗ ữ + h( z ) Ê d 2t è t ø pd (1 - e )t p £ - + h- + O ( t -1/2 ) 2dt p A = - 1/2 + h- + O ( t -1/2 ) < h- , 2t với A đủ lớn Điều chứng minh (2.2.76) lập luận tương tự chứng minh (2.2.77) y ( x, t ) £ R x - s t = - R + (qd (1 - e )t )1/2 Từ việc chứng minh Định lý §3.4.2 nhớ ánh xạ x a y ( x, t ) khơng giảm Vì (2.2.69), (2.2.76) (2.2.77) dẫn đến với t lớn (2.2.78) 1æx ì ö C ï| u ( x, t ) - ỗ - s ữ Ê dốt ứ t ï R - ( pd (1 - e )t )1/2 < x - s t < - R + (qd (1 - e )t )1/2 ỵ ` 95 Do Định lí 5, ta có | u |= O ( t -1/2 ) theo định nghĩa | N |= O ( t -1/2 ) Ngoài (2.2.71) dẫn đến ((1 ± e )t )1/2 - t1/2 = O(1) Sử dụng giới hạn với (2.2.72), (2.2.73) (2.2.78), ta đánh giá ị ¥ -¥ | u ( x, t ) - N ( x, t ) | dx = O ( t -1/2 ) , mong muốn □ ` 96 KẾT LUẬN Trên luận văn Biểu diễn nghiệm phương trình đạo hàm riêng phi tuyến cấp Luận văn trình bày lại kỹ thuật khác nhà toán học sử dụng để đưa biểu diễn nghiệm (địa phương tồn cục) phương trình đạo hàm riêng phi tuyến cấp bao gốm: tích phân đầy đủ kỹ thuật bao hình, phương pháp đặc trưng, phương pháp biến phân Luận văn tập trung chủ yếu vào việc chứng minh định lý, bổ đề số ví dụ minh họa cụ thể phương pháp biểu diễn nghiệm phương trình đạo hàm riêng phi tuyến cấp Thông qua định lý ví dụ luận văn giải thích cặn kẽ ý tưởng sở lý luận phương pháp biểu diễn nghiệm phương trình đạo hàm riêng phi tuyên cấp nói Luận văn sử dụng tài liệu tham khảo bổ ích cho sinh viên trường đại học Do thời gian thực luận văn có hạn, trình độ người viết cịn nhiều hạn chế, nên dù thân cố gắng sai sót điều khơng thể tránh khỏi Vì tơi mong nhận góp ý quý thầy cơ, bạn bè, đồng nghiệp để luận văn hồn thiện Một lần nữa, xin chân thành cảm ơn bảo tận tâm TS Nguyễn Duy Thái Sơn để tơi hồn thành luận văn Ngồi tơi xin gởi lời cảm ơn sâu sắc đến tác giả tài liệu tham khảo sử dụng luận văn Cuối tơi xin bày tỏ lịng biết ơn đến bạn bè, người thân, quý thầy cô đồng nghiệp động viên giúp đỡ suốt thời gian qua ` 97 TÀI LIỆU THAM KHẢO [1] Lawrence C Evans (1998), Partial Differential Equations, Graduate Studies in Maths, Vol 19, American Mathematical Society, Providence, Rhole Island [2] M Pinsky (1991), Partial Differential Equations and Boundary – Value Problems, with Applications, McGraw – Hill [3] J Rauch (1992), Partial Differential Equations, Springer [4] P Lax (1973), Hyperbolic System of Conservation Laws and the Mathematical Theory of Shock Waves, SIAM [5] R Courant & D Hilbert (1962), Methods of Mathematical Physics, Wiley Interscience [6] R Feynman, R Leighton, M Sand (1966), The Feynman Lectures in Physics, Vol II, Addison – Wesley [7] S Benton (1977), The Hamilton – Jacobi Equation: A Global Approach, Academic Press [8] Tran Duc Van, Mikio Tsuji, Nguyen Duy Thai Son (1999), The Characteristic Method and Its Generalizations for First – Order Nonlinear Partial Differential Equations, Chapman & Hall/CRC ` ... chung, tính phi tuyến gây nhiều khó khăn cho việc tìm cơng thức biểu diễn nghiệm phương trình đạo hàm riêng Trong luận văn ? ?Biểu diễn nghiệm phương trình đạo hàm riêng phi tuyến cấp một? ?? này, tìm... Đối tượng nghiên cứu: Phương trình đạo hàm riêng phi tuyến cấp 3.2 Phạm vi nghiên cứu: Cách giải phương trình đạo hàm riêng phi tuyến cấp Phương pháp nghiên cứu Cơ sử dụng phương pháp nghiên cứu... bao hình, phương pháp đặc trưng tìm nghiệm địa phương phương trình đạo hàm riêng phi tuyến cấp Trong chương 2, ta khảo sát phương pháp biến phân vấn đề biểu diễn nghiệm toàn cục phương trình Hamilton