CÁC ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH VI PHÂN VÀ TÍCH PHÂN

BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG HỒ THẾ VŨ CÁC ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH VI PHÂN VÀ TÍCH PHÂN LUẬN VĂN THẠC SĨ KHOA HỌC ĐÀ NẴNG - 2014 BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG HỒ THẾ VŨ CÁC ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH VI PHÂN VÀ TÍCH PHÂN 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: PGS.TS Nguyễn Gia Định ĐÀ NẴNG - 2014 LỜI CAM ĐOAN Tơi cam đoan cơng trình nghiên cứu riêng 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 Hồ Thế Vũ MỤC LỤC MỞ ĐẦU 1 Tính cấp thiết đề tài Mục tiêu nghiên cứu đề tài .2 Đối tượng phạm vi nghiên cứu Phương pháp nghiên cứu Bố cục đề tài Ý nghĩa khoa học thực tiễn CHƯƠNG 1: CÁC ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH VI PHÂN VÀ ỨNG DỤNG 1.1 Định lý giá trị trung bình Lagrange ứng dụng phương trình hàm .4 1.2 Định lý giá trị trung bình tỉ sai phân ứng dụng phương trình hàm 19 1.3 Định lý giá trị trung bình Cauchy ứng dụng phương trình hàm 26 1.4 Định lý giá trị trung bình Pompeiu ứng dụng phương trình hàm 30 1.5 Định lý giá trị trung bình hàm hai biến 38 1.6 Phương trình hàm kiểu giá trị trung bình 39 1.7 Định lý giá trị trung bình Cauchy hàm hai biến 47 1.8 Một số toán mở 48 CHƯƠNG 2: CÁC ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH TÍCH PHÂN VÀ ỨNG DỤNG 50 2.1 Định lý giá trị trung bình tích phân suy rộng .50 2.2 Ứng dụng : Biểu diển tích phân trung bình 60 2.3 Sự trùng giá trị trung bình 68 2.4 Một số toán mở 72 KẾT LUẬN 76 TÀI LIỆU THAM KHẢO 78 MỞ ĐẦU Tính cấp thiết đề tài Định lý giá trị trung bình Lagrange kết quan trọng giải tích Nó có nguồn gốc từ định lý Rolle, chứng minh nhà toán học người Pháp Michel Rolle (1652-1719) đa thức vào năm 1691 Định lý xuất lần đầu sách Methode pour resoudre les égalitez khơng có chứng minh khơng có nhấn mạnh đặc biệt Định lý Rolle công nhận Joseph Lagrange (1736-1813) trình bày định lý giá trị trung bình sách Theorie des functions analytiques váo năm 1797 Nó nhận thêm cơng nhận Augustin Louis Cauchy (1789-1857) chứng minh định lý giá trị trung bình ơng sách Equationnes differentielles ordinaires Hầu hết kết sách Cauchy sử dụng định lý giá trị trung bình định lý Rolle cách gián tiếp Do khám phá định lý Rolle (hoặc định lý giá trị trung bình Lagrange), nhiều báo xuất trực tiếp gián tiếp bàn định lý Rolle Gần đây, nhiều phương trình hàm nghiên cứu xuất phát từ định lý giá trị trung bình suy rộng chúng Các suy rộng định lý giá trị trung bình Lagrange cho vi phân tích phân đem lại nhiều kết bất ngờ lý thú giải tích vào cuối kỷ 20 nguồn động lực để nhà toán học tập trung nghiên cứu năm gần Cụ thể suy rộng vi phân Flett (1958), McLeod (1964), Trahan (1966), Sanderson (1972), Samuelsson (1973), Evard-Jafari (1992), Clarke-Ledyaev (1994), Furi-Martelli (1995); suy rộng tích phân Waymen (1970), Walter (1985), Bullen-Mitrinovic-Vasis (1988), Kranz-Thews (1991), Bressoud (1994), Sayrafiezadeh (1995) Xuất phát từ tính thời định lý giá trị trung bình suy rộng cho trường hợp tích phân vi phân nhu cầu muốn tìm hiểu suy rộng định lý giá trị trung bình Lagrange ứng dụng chúng phương trình hàm, hai vấn đề quan trọng chương trình THPT, đặc biệt dành cho khối chun tốn, chúng tơi định chọn đề tài với tên gọi: Các định lý giá trị trung bình vi phân tích phân để tiến hành nghiên cứu Vấn đề ln mang tính thời giải tích Chúng hy vọng tạo tài liệu tham khảo tốt cho người bắt đầu tìm hiểu định lý giá trị trung bình số suy rộng với ứng dụng phương trình hàm hy vọng tìm số ví dụ minh hoạ đặc sắc nhằm góp phần làm phong phú thêm kết lĩnh vực Mục tiêu nghiên cứu đề tài Mục tiêu đề tài nhằm nghiên cứu định lý giá trị trung bình, số suy rộng định lý giá trị trung bình cho trường hợp vi phân tích phân phương trình hàm xuất phát từ chúng tạo tài liệu tham khảo bổ ích cho người muốn tìm hiểu lĩnh vực Đối tượng phạm vi nghiên cứu Đối tượng nghiên cứu đề tài định lý giá trị trung bình suy rộng cho vi phân tích phân Phạm vi nghiên cứu đề tài định lý giá trị trung bình Lagrange, tỉ sai phân, Cauchy, Pompeiu, số suy rộng định lý giá trị trung bình phương trình hàm liên quan đến chúng cho trường hợp vi phân định lý giá trị trung bình tích phân suy rộng Phương pháp nghiên cứu - Thu thập báo khoa học tài liệu tác giả nghiên cứu liên quan đến suy rộng định lý giá trị trung bình vi phân, tích phân ứng dụng chúng - Tham gia buổi seminar thầy hướng dẫn để trao đổi kết nghiên cứu Trao đổi qua email, blog, forum với chuyên gia định lý gia trị trung bình vi phân, tích phân ứng dụng chúng Bố cục đề tài Ngoài phần mở đầu, kết luận tài liệu tham khảo, luận văn chia làm hai chương : - Ở chương 1, bàn định lý giá trị trung bình Lagrange ba mở rộng cổ điển định lý giá trị trung bình tỉ sai phân, định lý giá trị trung bình Cauchy, định lý giá trị trung bình Pompeiu với nhiều ví dụ minh họa liên quan đến phương trình hàm Chúng tơi khảo sát suy rộng định lý giá trị trung bình Lagrange Cauchy cho hàm hai biến, đồng thời giới thiệu phương trình hàm kiểu giá trị trung bình - Ở chương 2, bàn định lý giá trị trung bình tích phân suy rộng Một số ứng dụng định lý đưa ra, việc tìm biểu diễn tích phân trung bình số học, hình học, lơgarit, identric mở rộng chúng Ở đây, chúng tơi bàn luận tính lặp lại trung bình số học hình học định lý Kranz Thews phát biểu giá trị trung bình từ định lý giá trị trung bình tích phân định lý giá trị trung bình vi phân xảy điểm hàm cho có dạng affine mũ Chương bao gồm số toán mở Ý nghĩa khoa học thực tiễn - Tổng quan kết tác giả nghiên cứu liên quan đến Định lý giá trị trung bình Lagrange, suy rộng cho trường hợp vi phân với phương trình hàm liên quan định lý giá trị trung bình tích phân với ứng dụng cho việc biểu diễn tích phân nhằm xây dựng tài liệu tham khảo cho muốn nghiên cứu định lý giá trị trung bình vi phân, tích phân ứng dụng - Chứng minh chi tiết làm rõ số mệnh đề, đưa số ví dụ minh hoạ đặc sắc nhằm làm cho người đọc dễ dàng tiếp cận vấn đề đề cập CHƯƠNG CÁC ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH VI PHÂN VÀ ỨNG DỤNG Chương trình bày định lý giá trị trung bình phép tính vi phân số ứng dụng Hơn bàn đến nhiều phương trình hàm phát triển cách sử dụng định lý giá trị trung bình Tất phương trình hàm đề cập chương sử dụng theo đa thức đặc trưng Chương khảo sát định lý giá trị trung bình tỷ sai phân đưa số ứng dụng việc xác định trung bình hàm, chứng minh định lý giá trị trung bình Cauchy, định lý giá trị trung bình Pomeiu phương trình hàm khác động lực sử dụng định lý nói chung 1.1 ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH LAGRANGE VÀ ỨNG DỤNG TRONG PHƯƠNG TRÌNH HÀM Một định lý quan trọng phép tính vi phân định lý giá trị trung bình Lagrange Định lý phát lần Joseph Louis Lagrange (1736-1813) ý tưởng việc áp dụng định lý Rolle vào hàm bổ trợ thích hợp đưa Bonnet Ossian (18191892) Tuy nhiên, công bố định lý xuất báo nhà vật lý tiếng Andre – Marie Ampère (1775-1836) Nhiều kết giải tích thực cổ điển hệ định lý giá trị trung bình Chứng minh định lý Rolle dựa hai kết sau c)�  0� Mệnh đề 1.1.1 Nếu hàm khả ff :'(� vi đạt cực trị điểm c khoảng mở (a,b) Mệnh đề 1.1.2 Một hàm liên tục f : �� � đạt cực trị khoảng đóng bị chặn [a,b] 60 hay  (a, b)  ab Điều thể trung G (a, b) bình hình học có biểu diễn tích phân sau 1 b  dx a x2 G (a, b) b  a � Chọn , ta tìm biểu f (Ix()a, bln) x diễn tích phân trung bình identric hai số dương a b Để thấy điều ta tính tốn ln  ( a, b)  f ( (a, b)) b f ( x )dx a ba � b  ln xdx a ba � b   x ln x  x  a ba   b ln b  a ln a  (b  a)  ba b ln b  a ln a  1 ba  ba �bb �  ln � a �  ln e �a � � b b 1 a � 1� b �  ln � � a � � � a � � �e � � � � Cho nên ba 1� bb �  ( a, b)  � a � e� a � 61 trung bình identric Vì trung bình identric biểu diễn sau ln( I (a, b))  b ln xdx a ba � Chú ý trung bình identric trung bình có tính đối xứng tính bậc Trung bình identric, trung bình số học trung bình hình học thỏa mãn tính thứ tự sau �G (a, b) �I (aa,,bb) �A(a, b) � min{}max{} Trung bình logarit suy cách lựa chọn hàm số thích hợp áp dụng định lý giá trị trung f ( x) bình tích phân hàm số f ( x)  Nếu ta chọn áp dụng định lý x giá trị trung bình, ta có  f ( (a, b))  ( a, b) Do b  f ( x) dx a b lnab�  ln a  ( a, b)  b b�  a dx  a b  a L( a, b) x Cho nên, biểu diễn tích b   ln x  a phân trung bình logarit ba ln b  ln a  ba 1 b1  dx a x L ( a, b ) b  a � Sự biểu diễn tích phân g :[a, b] � � chứng tỏ tổng quát hóa trung bình áp dụng Định lý 2.1.2, tức tổng quát hóa định lý giá trị trung bình Cho dương ngặt khả tích Sử dụng Định lý 2.1.2, ta có tổng qt hóa trung bình sau b ln( I g �g ( x) ln xdx ( a, b))  �g ( x)dx a b a 62 b Ag (a, b)  �g ( x) xdx �g ( x)dx a b a g ( x) dx � a x  Lg (a, b) b b g ( x)1dx � ga ( x) dx � a x  b G ( a , b ) g ( x ) � g ( x )dx Nếu , ta suy g b � a họ trung bình Chúng ta xây dựng lớp rộng trung bình việc sử dụng tổng qt hóa định lý giá trị trung bình tích phân Các trung bình cổ điển trung bình số học, trung bình hình học, trung bình điều hòa có nhiều ứng dụng nhánh khác toán học Trong phần lại mục này, chúng tơi mơ tả ngắn gọn tính lặp lại trung bình số họchình học Gauss (1777-1855) liên hệ giải tích cổ điển Một giá trị quý giải tích cổ điển tính lặp lại trung bình số học-hình học Gauss Với hai số dương a b cho trước ta ký hiệu ab0  ba và định nghĩa cách đệ quy an  bn Nếu ta giả sử , từ bất bn 1  G (0an ,abn) b anbn an 1  A(an , bn )  đẳng thức trung bình số học-hình học, ta có an �an 1 �bn 1 �bn Cho nên �bn 1  an 1  Do (bn  an ) 2( a  b ) 63 lim bn  lim an n �� n �� Ta kí hiệu giới hạn chung M (a, b)  lim bn  lim an n �� n �� Năm 1791, Gauss người đầu M (a, b) tiên ý đến tính lặp lại trung bình số học-hình học (AGM) lúc 14 tuổi điều đưa ông dẫn đầu khám phá hàm elip mơdun Giới hạn có nhiều tính chất thú vị Chúng ta vài đặc điểm tính chất mà khơng chứng minh Giới hạn hàm bậc M (a, b) một, tức M ( a, b)   M (a, b) Giới hạn thỏa mãn phương trình hàm �a  b � , ab � �2 � f ( x)  fM (1, x) (2.15) M (a, b)  M � Nếu ta định nghĩa , thõa mãn f ( x)  Hàm biểu thị  x �2 x � f� � � �  x � � M (1, x) dạng đóng theo quan điểm tích phân elip đầy đủ sau 2 d  � M (1, x)   (1  x )sin  Gauss tìm điều có M (1, x) dạng đóng năm 1866 Giới hạn thỏa mãn phương trình vi phân siêu bội d2y dy  (3x  1)  xy  dx dx  f ( x ), g ( x )  �f ( x)  2g ( x) ( x da)( x  b)( x  c) � dx � � � � 22 M (2a, b)2 a cos  b sin  ( x3  x) Tích phân có dạng , hàm số hữu tỷ a, b, c số phân biệt, khơng thể lấy tích phân 64 theo quan điểm " biết " hàm số Các tích phân gọi tích phân elip chúng xuất gây khó khăn việc tìm độ dài cung elip Euler số nhà toán hoc khác xem xét kỷ lưỡng tích phân elip Tích phân có dạng gọi tích phân elip đầy đủ Ở a b số thực Một tích phân elip đầy đủ , tức  �a d cos  b sin  2   M ( a, b) Vì vậy, tích phân elip có M (a, b) thể đánh giá thơng qua đánh giá Sự thay đổi tính lặp lại số học-hình học Gauss nghiên cứu nhiều tác giả Bản mô tả thay đổi khác có liên quan dẫn cho độc giả sách Bullen, Mitrinovic Vasic (1988) Ở đây, xét hai thay đổi Với hai số dương a b cho trước ta kí hiệu ab0  ba và định nghĩa cách đệ quy an  bn bn 1  G (an 1 , bn )  an 1bn an 1  A(an , bn )  dãy có giới hạn chung cho lim an  lim bn  n �� n �� b2  a a� 1 � cos � � �b � Tương tự, định nghĩa bn 1  G (an , bn )  anbn an 1  A(an , bn 1 )  an  bn 1 , {abn } 65 giới hạn chung dãy lim an  lim bn  n �� n �� a (b  a) �a� cos � � �b� 2.3 SỰ TRÙNG NHAU CÁC GIÁ TRỊ TRUNG BÌNH Trong mục này, mô tả tất hàm số có giá trị trung bình đạo hàm chúng Để chứng minh mô tả định lý, kết sau điều cần thiết Kết gọi Định Lý Bernstein dẫn cho độc giả sách Walter ( 1985) thay cho việc chứng minh định lý n n(n r , r ) Định lý 2.3.1 Cho g khả vi vô (1)DInD D gx (� x))0�0 gxg()I(x� hạn khoảng cho với n đủ lớn với với , g xác định khai triển chuỗi Taylor khoảng I (Ở ký hiệu đạo hàm cấp n g ) f : �� � Tiếp theo định lý chúng tơi nói đến cần thiết phải đưa trùng hàm số (i) khả vi liên tục đến f cấp hai, '( {x ))  1,1}  c1 (ii) sign với x, (c1f � , (c2f � "({x ))1,1}  c2 (iii) sign với x, xw,x(ax� �� , a ) với phép tính vi phân tích phân Định lý giá trị trung bình đối W khẳng định giá trị trung bình phù hợp với định nghĩa với cho ta phương trình sau, với : (2.16) x f (W ( x, a))  f '( w( x, a ))  �f (s)ds a  af (a ) f ( xx)  xa (2.17) 66 )wx( xa f, aa)w(a, a) với ta định nghĩa Nói W (a, aW chung hai giá trị trung bình khơng Do câu hỏi nảy sinh là, hàmcó giá trị trung bình với x a Định lý sau Kranz Thews (1991) trả lời xác cho câu hỏi f x:,� � �Định lý 2.3.2 Cho thỏa mãn (i), a �� (ii) (iii) Nếu với ta có điều sau W ( x, a )  w( x, a ) , (2.18) , �� �0 có cho f ( x)   e  x   Chứng minh : Trước tiên, ta thấy f khả vi vô hạn Cho a cố định Để đơn giản ta viết thay cho Theo ww( x( ,xa) ) ta có x �f (s)ds  a xa �f (a  t ( x  a))dt (2.19) Sử dụng (2.16) (2.18), ta w( x)  f 1  �f (a  t( x  a))dt  , (2.20) dễ dàng ta thấy khả vi vô wf hạn Đạo hàm (2.16) x ta thu �f '(a  t ( x  a))tdt  w '( x)  f '( w( x)) y wxw1 (f(xya) ) a Do tồn khả vi vô hạn Bây ta cho Với , từ (2.17) ta có sau f '( y )  f ( w1 ( y ))  f ( a) w 1 ( y )  a fff 'a , khả vi vơ hạn Vì a tùy ý, Do với , khả vi vô hạn x w điều khắp nơi với 67 Bây kí hiệu đạo f (a ),Df k'(fa(),a)f "(a) hàm cấp k củatại a xác định , k 2, , D k kf (a0,1, )D g (a ) với với "(Bxa) C g ( x)  fAe B , f '( a) Ba ) C Af(af) '(aAe Ba k gBeD2 Từ ta dễ dàng D k f k(a) 0,1, g (a ) thấy sau: tính tốn cách đơn giản ta thấy thực thỏa mãn điều kiện từ (2.16) đến (2.18) với Cuối để trình bày điều là: Từ (2.16) đến (2.18), ta f ( w( x ))  � f (a  t ( x  a ))dt (2.21) f '(a  t ( x  a ))dt (2.22) f '(w( x))  � đạo hàm (2.19), (2.20) n lần với x  a ta (2 23) (2 24) D n ( f ow)(a )  � D n f (a )t n dt  D n ( f 'ow)(a)  � D n 1 f (a)t n dt  D n f (a ) n 1 D n 1 f ( a) n 1 Với , từ (2.22) (2.23) ta thấy n  (( D n f ) ow)(a )(w '(a )) n  S n (a )  (( D1 f ) ow)(a ) D n w(a ) (2.25) D n f (a ) n  n 1 (( D f ) ow)(a)( w '(a)) n  Rn (a )  (( D f ) ow)(a ) D n w(a ) D n 1 f (a)  n 1  (2.26) 68 n  1a�).0, f)n(1 R Sw Trong chứa đạo hàm củavà ffD"('(nnnaw đến cấp lớn chứa đạo hàm củađến cấp lớn đến cấp lớn Do giải (2.24) (2.25) để Từ suy D n f (a )  (( D n f ) ow)(a)( w '( a)) n  S n ( a) n 1 D1 f ( a) Đối với giải (2.26) Dnn1� f 2, (a ), n �1 �1 �� n 1  � ��D f (a )  Rn (a ) � � � (2.27)  �n  �2 �� D f (a ) để đạo hàm xác định đạo hàm cấp thấp ( có từ 2.24) Do tất đạo hàm xác định hết giá trị hàm số B A  fB A(a ) đạo hàm thứ nhất, thứ hai Điều lại để trình bày rằnglà giải tích, theo định lý đồng thức ta thu nghiệm Điều cho ta cách trực tiếp sau, thực sign số Định Lý Bernstein Điều xóa bỏ nhận f định tất đạo hàm củalà dương đan dấu sign 2.4 MỘT SỐ BÀI TOÁN MỞ Trong mục 3, thảo luận ngắn gọn tính lặp lại trung bình số học hình học Độc giả mong muốn hiểu rõ chủ đề tham khảo kỷ sách Borwein Borwein (1987) Borwein đồng nghiệp đưa số toán mở năm 1992 tính lặp lại trung bình Trong mục này, chúng tơi xin giới thiệu số tốn mở dạng V Tính lặp lại liên kết trung bình Cho a b hai số thực dương U Gauss với hai trung bình hai số hạng lặp lại 69 an 1  U (an , bn ) bn1  V (an , bn ) V abn }ba chung tồn gọi với giá trị ban đầu Giới hạn ab{0U đa hợp Gauss và kí hiệu sau U �V  U �V (a, b) b))  H � VA(a, b) Nếu , dạng đóng VU((aa,,bU cho U �V (a, b)  ab  G (a, b) ))� HHVpp((aa,,bb)) Nếu , dạng đóng VU((aa,,bbU cho , U �V (a, b)  ab  G (a, b) p p p ��\{0} p a b H p ( a, b)  , V (a, U b) � G VA( a,2b) Nếu , dạng U đóng cho U �V ( a, b)  M ( a, b) Chú ý thảo M (a, b) luận vài tính chất Gọi a2  b2 Q(a, b)  trung bình bậc hai L2 (a, b)  a  b2 ab trung bình Lehmer A2((aa,,bb)) mở Borwein Borwein Một toán LQ (1992) đồng hóa, dạng đóng, đa hợp Gauss liên kết với trung bình số học trung bình bậc hai Tương tự, dạng đóng đa hợp Gauss liên kết 70 với trung bình số học trung bình Lehmer chưa biết Chúng ta tìm hiểu kỹ để hiểu dạng đóng hai giới hạn V thể mở rộng để nâng cao thứ nguyên Định nghĩa đa hợp Gauss có U cách chọn để hai trung bình n số thực dương Cho ba số dương a, b c, ta kí hiệu , abc0  bca và ta định nghĩa cách đệ quy an  bn  cn a b  an cn  bn cn bn 1  U (an , bn , cn )  n n an  bn  cn an 1  A(an , bn , cn )  cn 1  H (an , bn , cn )  Thì Stieltjes G (a, b, c) 3anbn cn (1891) trình bày anbn  an cn  bn cn giới hạn hàm số , trung bình hình học a, b c Nếu, mặt khác ta định nghĩa cách đệ quy an  bn  cn an  bn2  cn2 bn 1  L2 (an , bn , cn )  an  bn  cn an 1  A(an , bn , cn )  ba dãy , hội tụ giới �a  b  cn2 � cn 1  H (an , bn , cn )  � n n �, � � hạn chung Giới hạn lấy làm giới hạn hàm số hay khơng ? Nói chung, điều lấy làm đa hợp Gauss nhiều chiều hay không ? Nhắc lại trung bình n ( x, y) Stolarsky định nghĩa sau  �0,1  1 �x  y � n ( x, y )  � � Nó giả định   ( x  y) � � với Alzer (1986) L( x, y )  n ( x, y )  n ( x, y)  A( x, y ) {acbn } 71  ��\{0} với Đến không chứng minh mà không phủ định, lấy ví dụ giả định Cuối cùng, kết thúc mục với vấn đề sau Phương trình hàm (2.15) phương trình hàm thú vị Một biến thức (2.15) phương trình có dạng sau : �a  b 2ab � f� , � f (a, b), � ab� (2.28) Haruki Rassias f : � �f� � � (1995) xem xét kỷ lưỡng phương trình hàm Họ trình bày biểu diễn f ( a, b )  2 2 �g (s)d , g "(2� ) hàm s  a sin g: � b cos x�  � , số cho liên tục , nghiệm (2.28) f (a, b)  hai số A  B, ab B A a� ,:b� )� � � (a, b) Haruki Rassias (1995) f f :(� � �  � � đưa toán mở sau Cho hàm số liên tục Nghiệm liên tục phương trình hàm (2.28) có phải , hàm số liên tục hay không ? KẾT LUẬN 72 Qua thời gian tìm hiểu, tiếp cận nghiên cứu định lý giá trị trung bình vi phân tích phân số ứng dụng chúng, luận văn hoàn thành đạt mục tiêu nghiên cứu đề tài với kết cụ thể sau: Tổng quan hệ thống cách đầy đủ định lý giá trị trung bình Lagrange ứng dụng phương trình hàm ba mở rộng cổ điển định lý giá trị trung bình tỉ sai phân, định lý giá trị trung bình Cauchy, định lý giá trị trung bình Pompeiu với ứng dụng việc nghiên cứu phương trình hàm Chúng tơi khảo sát số suy rộng định lý giá trị trung bình Lagrange Cauchy cho hàm hai biến, đồng thời đưa phương trình hàm kiểu giá trị trung bình, số tốn mở phương trình hàm liên quan Trình bày đầy đủ, rõ ràng, chi tiết định lý giá trị trung bình tích phân suy rộng Một số ứng dụng định lý đưa ra, với việc tìm biểu diễn tích phân trung bình số học, hình học, lơgarit, identric mở rộng chúng Chúng bàn luận tính lặp lại trung bình số học hình học, đưa định lý Kranz Thews trùng giá tri trung bình vi phân giá trị trung bình tích phân Bên cạnh chúng tơi đưa số toán mở cho phương trình hàm liên quan Với khảo sát đạt được, luận văn tài liệu tham khảo hữu ích cho thân tiếp tục sâu nghiên cứu sau hi vọng nguồn tư liệu tốt cho quan tâm nghiên cứu định lý giá trị trung bình vi phân tích phân ứng dụng chúng 73 Trong trình làm luận văn, có nhiều cố gắng, song điều kiện khách quan lực có hạn thân nên luận văn khó tránh thiếu sót, tác giả mong nhận góp ý chân thành q thầy bạn đọc để tiếp tục tìm hiểu, nghiên cứu phát triển luận văn sau 74 TÀI LIỆU THAM KHẢO TIẾNG VIỆT [1] Nguyễn Văn Mậu (2003), Phương trình hàm, NXB Giáo dục, Quảng Nam [2] Nguyễn Duy Tiến (2001), Bài giảng giải tích I, II, NXB Đại học Quốc Gia Hà Nội [3] Nguyễn Thị Ngọc Toàn (2013), Các suy rộng định lý giá trị trung bình Lagrange, Luận văn Thạc sĩ chuyên ngành Phương pháp Toán sơ cấp, Đại học Đà Nẵng TIẾNG ANH [4] P.K Sahoo, T Riedel (1998), Mean Value Theorems and Functional Equations, World Scientific Publishing Co Pte Ltd [5] C.G Small (2007), Functional Equations and How to Solve Them, Springer Science + Business Media, New York ... giá trị trung bình Cauchy hàm hai biến 47 1.8 Một số toán mở 48 CHƯƠNG 2: CÁC ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH TÍCH PHÂN VÀ ỨNG DỤNG 50 2.1 Định lý giá trị trung bình tích phân. .. CÁC ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH VI PHÂN VÀ ỨNG DỤNG Chương trình bày định lý giá trị trung bình phép tính vi phân số ứng dụng Hơn bàn đến nhiều phương trình hàm phát triển cách sử dụng định lý giá. .. hàm, chứng minh định lý giá trị trung bình Cauchy, định lý giá trị trung bình Pomeiu phương trình hàm khác động lực sử dụng định lý nói chung 1.1 ĐỊNH LÝ GIÁ TRỊ TRUNG BÌNH LAGRANGE VÀ ỨNG DỤNG TRONG