Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 52 trang
THÔNG TIN TÀI LIỆU
Nội dung
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN NGỌC VĂN DÃY LỒI VÀ MỘT SỐ ỨNG DỤNG LUẬN VĂN THẠC SỸ TOÁN HỌC HÀ NỘI, NĂM 2012 TIEU LUAN MOI download : skknchat@gmail.com ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN NGUYỄN NGỌC VĂN DÃY LỒI VÀ MỘT SỐ ỨNG DỤNG Chuyên ngành : PHƯƠNG PHÁP TOÁN SƠ CẤP Mã số : 60 46 40 LUẬN VĂN THẠC SỸ TOÁN HỌC Người hướng dẫn khoa học: GS.TSKH NGUYỄN VĂN MẬU HÀ NỘI - NĂM 2012 TIEU LUAN MOI download : skknchat@gmail.com MỤC LỤC Mở đầu Chương Hàm lồi, tập lồi số tính chất liên quan 1.1 Tập lồi 1.2 Một số tính chất hàm lồi 1.3 Một số ký hiệu 16 Chương Dãy lồi dãy lồi logarit 2.1 Dãy lồi 2.1.1 Một số khái niệm tính chất 2.1.2 Một số tiêu chuẩn nhận biết dãy lồi 20 20 20 26 2.2 Dãy lồi logarit 29 Chương Một số ứng dụng 32 3.1 Ứng dụng vào toán tìm phần nguyên 32 3.2 Ứng dụng vào toán dãy số an zn+1 = bn zn + cn zn−1 37 3.3 Ứng dụng vào toán dãy số an zn+1 = bn zn − cn zn−1 40 3.4 Ứng dụng toán bất đẳng thức đại số 43 3.5 Ứng dụng bất đẳng thức lượng giác 48 Tài liệu trích dẫn 51 TIEU LUAN MOI download : skknchat@gmail.com LỜI NÓI ĐẦU Dãy số lĩnh vực khó rộng, đề thi Olympic tốn nước quốc tế ln có tồn dãy số Điều cho thấy tầm quan trọng mảng toán dãy số đề thi học sinh giỏi toán Để giải tốn dãy số địi hỏi người làm tốn phải có kiến thức tổng hợp số học, đại số, giải tích Các vấn đề liên quan đến dãy số đa dạng có nhiều tài liệu viết vấn đề này, tài liệu thường viết rộng vấn đề dãy số, vấn đề quan tâm nhiều tính chất số hoc tính chất giải tích dãy số Là học viên cao học, công tác trường trung học, nhằm đáp ứng cho nhu cầu giảng dạy học tập chọn đề tài ” Dãy số lồi áp dụng” Đây đề tài có ý nghĩa thực tiễn cơng tác giảng dạy, cho ta nhìn nhận sâu hơn, rộng toán dãy số giải tích Nội dung luận văn gồm phần Lời nói đầu, Kết luận phân chia thành ba chương, đề cập đến vấn đề sau Chương Hàm lồi, tập lồi số tính chất liên quan Chương Dãy lồi dãy lồi logarit Chương Một số ứng dụng Tác giả xin bày tỏ kính trọng lịng biết ơn sâu sắc tới GS TSKH Nguyễn Văn Mậu Thầy tận tình hướng dẫn, bảo cho học trị trình học tập, nghiên cứu giúp đỡ tác giả hoàn thành luận văn Tác giả xin gửi lời cảm ơn chân thành tới thầy giáo, giáo khoa Tốn - Cơ - Tin học Seminar Phương pháp Toán sơ cấp trường Đại học Khoa học tự nhiên, Đại học Quốc gia Hà Nội nhận xét góp ý cho luận văn Mặc dù có nhiều cố gắng, song suốt q trình thực khơng TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung tránh khỏi sơ suất Vì tác giả mong muốn thày cô giáo, bạn đồng nghiệp góp ý để luận văn hoàn thiện Tác giả xin chân thành cảm ơn! Hà Nội, năm 2012 Học viên Nguyễn Ngọc Văn (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung CHƯƠNG HÀM LỒI, TẬP LỒI VÀ MỘT SỐ TÍNH CHẤT LIÊN QUAN 1.1 Tập lồi Định nghĩa 1.1 (xem[2]) Tập Ω ⊂ Rn gọi lồi với x, y ∈ Ω λx + (1 − λ)y ∈ Ω với λ ∈ [0, 1] Ví dụ 1.1 Trong R2 , hình trịn hay hình tam giác tập lồi đơn giản Ví dụ 1.2 Xét hệ bất phương trình tuyến tính Ax ≤ b, A ma trận vuông cấp n (n ∈ N∗ ) b ∈ Rn , x véctơ ẩn Gọi Ω tập hợp nghiệm hệ bất phương trình Khi Ω tập lồi Chúng ta có số tính chất sau Giao tùy ý tập lồi tập lồi Cho Ω1 , Ω2 tập lồi Rn A phép biến đổi tuyến tính Rn Khi Ω1 + Ω2 , λΩj , AΩj tập lồi Định lý 1.1 Giả sử D tập Rn Khi D tập lồi với số nguyên dương n, với x1 , x2 , , xn ∈ D, với λj ≥ 0, j = 1, 2, , n n P λj = j=1 n X λj xj ∈ D (1.1) j=1 Chứng minh Giả sử D tập lồi thỏa mãn điều kiện (1.1) Áp dụng (1.1) cho trường hợp n = ta thu D tập lồi (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung Đảo lại giả sử D tập lồi Ta phải chứng minh (1.1) Thật vậy, ta chứng minh quy nạp Hiển nhiên n = 1, Giả sử (1.1) với n = k Xét trường hợp n = k + Lấy x1 , x2 , , xk , xk+1 ∈ D, λj ≥ 0, j = 1, 2, , k + 1, k+1 P λj = Chỉ có hai khả sau xảy j=1 Nếu λk+1 = λj = 0, j = 1, 2, , k Vì k+1 X λj xj = xk+1 ∈ D j=1 Nếu λk+1 < Đặt λ0 := k P λj , λ0 > Mặt khác ta có j=1 k+1 X λj xj = λ0 k X λj j=1 Vì j=1 λ0 xj + λk+1 xk+1 k λ P λj j ∈ [0, 1] = 1, nên từ x1 , x2 , , xk ∈ D theo giả thiết quy λ0 λ j=1 nạp suy x∗ := k X λj j=1 λ0 xj ∈ D Do x∗ ∈ D, xk+1 ∈ D, λ0 > 0, λk+1 ≥ λ0 + λk+1 = nên từ tính lồi D suy λ0 x∗ + λk+1 xk+1 ∈ D Vậy suy k+1 X λj xj ∈ D j=1 Định lý chứng minh Định lý 1.2 (Định lý Kelly) Giả sử Ωj ⊂ Rn tập lồi, j = 1, 2, , m, m ≥ n + Nếu n + tập Ωj có giao khác rỗng ∩m j=1 Ωj tập khác rỗng (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung Chứng minh Ta chứng minh quy nạp Nếu m = n + định lý hiển nhiên Giả sử định lý đến m = k > n + Xét trường hợp m = k + Theo giả thiết quy nạp Aj := ∩k+1 i=1,i6=j Ωi 6= ∅, j = 1, 2, , k + Tồn xj ∈ Aj , j = 1, 2, , k + Xét hệ phương trình tuyến tính k + ẩn sau k+1 P λj xj = 0, j=1 k+1 P λj = j=1 Rõ ràng hệ có nghiệm khơng tầm thường Thật hệ có nghiệm tầm thường véc tơ xj độc lập tuyến tính Do k > n + nên k + > n, mâu thuẫn với việc xj ∈ Rn Vì lẽ nên khơng giảm tổng quát cho λj ≥ 0, j = 1, 2, , r, λj < 0, j = r + 1, , n Khi từ điều kiện k+1 X λj = j=1 suy r X λj = − j=1 k+1 X λj > j=r+1 Theo ta có xi ∈ ∩k+1 j=1,j6=i Ωj , với i = 1, 2, , r Ta có xi ∈ ∩k+1 j=r+1 Ωj , với i = 1, 2, , r Xét điểm x∗ := λ1 r P i=1 λi x1 + + λr r P xr λi i=1 Dễ thấy x∗ ∈ ∩k+1 j=r+1 Ωj (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung Bây xét tiếp điểm y := λr+1 k+1 P λk+1 k+1 P xr+1 + + λi xk+1 λi i=r+1 i=r+1 Theo ta có y ∈ ∩rj=1 Ωj Do r X k+1 X λ j xj + λ j xj = j=r+1 j=1 điều kiện r X λj = − j=1 k+1 X λj > j=r+1 nên ta có x∗ = y Đặt z = x∗ = y , từ z = x∗ ∈ ∩r+1 j=1 Ωj z = y ∈ ∩rj=1 Ωj suy z ∈ ∩k+1 j=1 Ωj Vậy kết luận định lý với n = k + Định lý chứng minh hồn thiện 1.2 Một số tính chất hàm lồi Định nghĩa 1.2 Giả sử f : D → R hàm số xác định tập lồi D ∈ Rn Hàm số gọi lồi D với x1 , x2 ∈ D λ ∈ [0, 1] ta ln có f (λx1 + (1 − λ)x2 ) ≤ λf (x1 ) + (1 − λ)f (x2 ) Định nghĩa 1.3 Giả sử f : D → R hàm số xác định tập lồi D ∈ Rn Hàm số gọi lồi chặt D với x1 , x2 ∈ D λ ∈ [0, 1] ta ln có f (λx1 + (1 − λ)x2 ) < λf (x1 ) + (1 − λ)f (x2 ) (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung Định nghĩa 1.4 Giả sử f : D → R hàm số xác định tập lồi D ∈ Rn Hàm số gọi lõm D với x1 , x2 ∈ D λ ∈ [0, 1] ta ln có f (λx1 + (1 − λ)x2 ) ≥ λf (x1 ) + (1 − λ)f (x2 ) Định nghĩa 1.5 Giả sử f : D → R hàm số xác định tập lồi D ∈ Rn Hàm số gọi lõm chặt D với x1 , x2 ∈ D λ ∈ [0, 1] ta ln có f (λx1 + (1 − λ)x2 ) > λf (x1 ) + (1 − λ)f (x2 ) Tiếp theo có số ví dụ minh họa sau p Ví dụ 1.3 Hàm số f (x, y) = x2 + y lồi R2 Chứng minh Lấy z1 = (x1 , y1 ), z2 = (x2 , y2 ) ∈ R2 λ ∈ [0, 1] Khi ta có f (λz1 + (1 − λ)z2 ) ≤ λf (z1 ) + (1 − λ)f (z2 ) ⇔ p ≤ λ (λx1 + (1 − λ)x2 )2 + (λy1 + (1 − λ)y2 )2 q x21 + y12 + (1 − λ) q x22 + y22 ⇔ (λx1 + (1 − λ)x2 )2 + (λy1 + (1 − λ)y2 )2 ≤ λ(x21 + y12 ) + (1 − λ)(x22 q + y22 ) + 2λ(1 − λ) (x21 + y12 )(x22 + y22 ) Bất đẳng thức cuối hiển nhiên Nhận xét 1.1 Bằng kỹ thuật chứng minh hoàn toàn tương tự, ta thu v uX u n f (x1 , x2 , , xn ) = t xj j=1 hàm lồi Rn Ví dụ 1.4 Giả sử a > b2 − 4ac ≤ 0, hàm số f (x, y) = ax2 + 2bxy + cy lồi toàn R2 Chứng minh Lấy z1 = (x1 , y1 ), z2 = (x2 , y2 ) ∈ R2 λ1 , λ2 ∈ [0, 1], λ1 + λ2 = f (λ1 z1 + λ2 z2 ) ≤ λ1 f (z1 ) + λ2 f (z2 ) ⇔ a(λ1 x1 + λ2 x2 )2 + 2b(λ1 x1 + λ2 x2 )(λ1 y1 + λ2 y2 ) + c(λ1 y1 + λ2 y2 )2 ≤ λ1 (ax21 + 2bx1 y1 + cy12 ) + λ2 (ax22 + 2bx2 y2 + cy22 ) ⇔ a(x1 − x2 )2 + 2b(x1 − x2 )(y1 − y2 ) + c(y1 − y2 )2 ≥ Xét hai trường hợp (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung 37 3.2 Ứng dụng vào toán dãy số anzn+1 = bnzn + cnzn−1 Xét dãy số dương {zj } thỏa mãn điều kiện an zn+1 = bn zn + cn zn−1 , n ≥ 1, (3.8) an , bn , cn số dương Xét phương trình đặc trưng an λ2 = bn λ + cn , phương trình cho nghiệm dương p λn = Sử dụng phép đổi biến xn := bn + b2n + 4an cn 2an zn+1 Khi có nhận xét {zj } lồi zn {xj } dãy tăng Hơn có công thức truy hồi sau an x n = b n + cn , n ≥ xn−1 Điều kiện xn ≥ xn−1 tương đương với việc xn−1 ≤ λn xn ≥ λn Do {xj } tăng tương đương với việc x0 ≤ λ1 ≤ x1 ≤ λ2 ≤ ≤ λn ≤ xn ≤ (3.9) Định lý 3.1 Giả sử z0 , z1 , z2 , z3 lồi logarit bất đẳng thức an λn−1 λn+1 − bn λn−1 − cn ≥ (3.10) với n ≥ Khi dãy {zj } lồi logarit Chứng minh Chúng ta chứng minh quy nạp (3.9) Do điều kiện z0 , z1 , z2 , z3 lồi logarit, nên ta có đánh giá x0 ≤ λ1 ≤ x1 ≤ λ2 Bây giả sử λn−1 ≤ xn ≤ λn Chú ý λn−1 ≤ xn tương đương với xn ≥ λn Mặt khác, xn−1 ≥ λn−1 suy xn = bn cn bn cn + ≤ + ≤ λn+1 an an xn−1 an an λn−1 Do λn ≤ xn ≤ λn+1 Định lý chứng minh (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung 38 Hệ 3.2 (Dãy Fine) Cho dãy số {fj } xác định 2(n + 1)fn = (7n − 5)fn−1 2(2n − 1)fn−2 , f0 = 1, f1 = Khi {fj } dãy lồi logarit Chứng minh Đặt zn = fn+2 , n ≥ Khi z0 = 1, z1 = 2, z2 = 6, z3 = 18 2(n + 4)zn+1 = (7n + 16)zn + 2(2n + 5)zn−1 Bằng việc giải phương trình đặc trưng, thu λn := 2(2n + 5) (n + 4) Dễ dàng kiểm tra 2(n + 4)λn−1 λn+1 − (7n + 6)λn−1 − 2(2n + 5) = 2(20n2 + 151n + 171) ≥ (n + 3)(n + 5) Do {fj } dãy lồi logarit Định lý 3.2 Giả sử {µj } dãy số thỏa mãn điều kiện sau µn ≤ λn , n ≥ 1, z1 ≤ µ1 z0 z2 ≤ µ2 z1 , an µn−1 µn+1 ≥ bn µn−1 + cn , n ≥ Khi {zj } dãy lồi logarit Chứng minh Chúng ta chứng minh quy nạp x0 ≤ µ1 ≤ x1 ≤ µ2 ≤ ≤ µn ≤ xn ≤ (3.11) Điều kiện thứ tương đương với việc x0 ≤ µ1 x1 ≤ µ2 Tuy nhiên µ1 ≤ λ1 Từ x0 ≤ λ1 x1 ≥ λ1 ≥ µ1 Do µ1 ≤ x1 ≤ µ2 Giả sử µn−1 ≤ xn−1 ≤ µn Điều kiện leqxn−1 ≤ µn suy với đánh giá xn ≥ µn Mặt khác xn−1 ≥ µn−1 Suy xn = bn cn bn cn + ≤ + ≤ λn+1 an an xn−1 an an λn−1 Do µn ≤ xn ≤ µn+1 (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung 39 Hệ 3.3 Cho dãy số {dn } xác định công thức truy hồi sau: dn+1 = n(dn + dn−1 ), d0 = 1, d1 = Khi dãy số {dn } dãy số lồi Chứng minh Đặt zn = dn+2 Khi nhận công thức truy hồi zn+1 = (n + 2)(zn + zn1 ), z0 = 1, z1 = 2, z2 = Chúng ta có (n + 2) + √ (n + 2) + (n + 3) 2n + n2 + 8n + 12 ≥ = 2 2n + z z Đặt µn = Khi µn ≤ λn Mặt khác = < = µ1 = = µ2 z0 z1 λn = Hơn µn−1 µn+1 − (n + 2)µn−1 − (n + 2) = 2n + ≥ Do dãy lồi Hệ 3.4 Cho dãy số xác định (n + 1)An+1 = 2(n + 1)An + 3(n − 1)An−1 , A0 = = A1 Khi dãy số lồi logarit Chứng minh Chú ý r λn = + 4n − =1+ n+1 r 4n − 4n 4n − 6n ≥1+ = 2n 2n + 2n + 2n + Đặt µn := Khi µn ≤ λn , µ1 = > = 6n 2n + A1 A µ2 = 2.4 > = Do A0 A1 (n + 1)µn−1 µn+1 − 2(n + 1)µn−1 − 3(n − 1) = 9(n − 1) ≥ (2n − 1)(2n + 3) Do dãy lồi Hồn tồn tương tự có Định lý 3.3 Giả sử z0 , z1 , z2 , z3 lồi logarit bất đẳng thức an λn−1 λn+1 − bn λn−1 − cn ≤ (3.12) với n ≥ Khi dãy {zj } lõm logarit (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung TIEU LUAN MOI download : skknchat@gmail.com (LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung(LUAN.van.THAC.si).day.loi.va.mot.so.ung.dung 40 Ví dụ 3.4 Xét dãy số Fibonacci Fn+2 = Fn+1 + Fn , F0 = F1 = Khi Fn−2 Fn+2 − Fn2 = (−1)n Do kết luận dãy Fibonacci với số chẵn lồi logarit dãy Fibonacci với số lẻ lõm logarit 3.3 Ứng dụng vào toán dãy số anzn+1 = bnzn − cnzn−1 Xét dãy số dương {zj } thỏa mãn điều kiện an zn+1 = bn zn + cn zn−1 , n ≥ 1, (3.13) an , bn , cn số dương Sử dụng phép đổi biến xn := zn+1 Chúng ta zn có cơng thức truy hồi sau an x n = b n − cn xn−1 , n ≥ Xét xn+1 − xn = cn + an bn+1 bn − an+1 an xn−1 − xn + cn cn+1 − an an+1 xn Nhận xét an an+1 bn bn+1 xn + cn cn+1