Khôi phục một lớp hàm nguyên và áp dụng vào phương trình truyền nhiệt

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: KHÔI PHỤC MỘT LỚP HÀM NGUYÊN VÀ ÁP DỤNG VÀO PHƯƠNG TRÌNH TRUYỀN NHIỆT LUẬN VĂN THẠC SĨ Năm: BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC Chuyên ngành: : Mã số: : LUẬN VĂN THẠC SĨ Người hướng dẫn TS 1 PHẦN MỞ ĐẦU Bài toán (1) Calderon xem xét lần vào năm 1980 tính giải cho nghiệm toán Sylvester Uhlman chứng minh không gian rộng với số chiều từ ba trở lên vào năm 1987 Sau đó, có số kết mở rộng khác tính nghiệm chứng minh với biên thuộc C 1,1 hàm C 1,1 () Păavăarinta v cỏc cng s ó chứng minh tính nghiệm với hệ số dẫn điện Lipschitz 414 2 2.1 Một số đặc biệt hóa Jacobson vành Biểu diễn ∆(R) tính chất Trong mục này, khảo sát tập ∆(R) =: {r ∈ R|r+U (R) ⊆ U (R)} vành R Tập vành có quan hệ chặt chẽ với Jacobson R Ta ∆(R) vành Jacobson lớn R đóng với phép tốn nhân phần tử khả nghịch R Các tính chất ∆ cấu trúc vành nghiên cứu, trình bày số họ vành mà ∆(R) = J(R) Các phương pháp cấu trúc vành với ∆(R) ̸= J(R) mô tả Bổ đề Cho R vành bất kỳ, ta có (1) ∆(R) = {r ∈ R | ru + ∈ U (R), ∀u ∈ U (R)} = {r ∈ R | ur + ∈ U (R), ∀u ∈ U (R)}; (2) Với r ∈ ∆(R) u ∈ U (R), ur, ru ∈ ∆(R); (3) ∆(R) vành vành R; (4) ∆(R) idêan R ∆(R) = J(R); Y Y (5) Với họ vành Ri , i ∈ I , ∆( Ri ) = ∆(Ri ) i∈I i∈I Chứng minh (1) Cho r ∈ ∆(R) u thuộc U (R), r + u ∈ U (R) tương đương ru−1 + ∈ U (R) tương đương u−1 r + ∈ U (R) (2) Ta có ruu′ + ∈ U (R), ∀u, u′ ∈ U (R) r ∈ ∆(R), suy ru ∈ ∆(R) Tương tự ur ∈ ∆(R) (3) Lấy r, s ∈ ∆(R) Khi −r + s + U (R) ⊆ −r + U (R) = −r − U (R) ⊆ U (R), hay ∆ nhóm với phép cộng R Hơn rs = r(s+1)−r ∈ ∆(R) r(s + 1) ∈ ∆(R) theo (2) (4) Rõ ràng J(R) ⊆ ∆(R) Ta giả sử ∆(R) iđêan R r ∈ R Khi rx + ∈ U (R), với x thuộc ∆(R) ∆(R) ⊆ J(R) hay ∆(R) = J(R) Chiều ngược lại dễ thấy Hệ Cho R vành: (1) ∆(R) đóng với phép nhân phần tử lũy linh; (2) Nếu ∈ U (R), ∆(R) đóng với phép nhân phần tử lũy đẳng Định lý Cho R vành có đơn vị T vành R sinh U (R) Khi đó: (1) ∆(R) = J(R) ∆(S) = ∆(R), với S vành R thỏa T ⊆ S ; (2) ∆(R) vành Jacobson lớn chứa R đóng với phép nhân phần tử khả nghịch R Chứng minh (1) T vành sinh U (R) nên T vành bao gồm tất tổng hữu hạn đơn vị R Do đó, theo (2) Bổ đề 7, ∆(T ) iđêan T Theo (4) Bổ đề 7, ∆(T ) = J(T ) Nếu r ∈ ∆(R), r + U (R) ⊆ U (R) Điều có nghĩa r biểu diễn thành tổng hai đơn vị Do r ∈ T , suy ∆(R) ⊆ T Giả sử S vành R thỏa mãn T ⊆ S Khi U (S) = U (R), ∆(S) = {r ∈ S | r + U (S) ⊆ U (S)} = {r ∈ S | r + U (R) ⊆ U (R)} = S ∩ ∆(R) = ∆(R), ∆(R) ⊆ T ⊆ S (2) Theo (1), ∆ vành Jacobson R theo Bổ đề (2) ∆(R) đóng với phép nhân phần tử khả nghịch phía trái phải R Bây giờ, ta giả sử S vành Jacobson chứa R đóng với phép nhân phần tử khả nghịch Nếu s ∈ S u ∈ U (R), su ∈ S = J(S) Do su quasi-regular S + su ∈ U (R) Theo Bổ đề (1) s ∈ ∆(R) hay S ⊆ ∆(R) Hệ Giả sử R vành mà phần tử biểu diễn thành tổng đơn vị Khi ∆(R) = J(R) Hệ Giả sử R vành đại số trường F Nếu dimF R < |F |, ∆(R) vành lũy linh Mệnh đề Giả sử R vành có đơn vị Khi (1) Cho S vành R thỏa U (S) = U (R) ∩ S Khi ∆(R) ∩ S ⊆ ∆(S) [ = U (R) ∩ ∆(R) [; (2) U (∆(R)) (3) Cho I iđêan R thỏa I ⊆ J(R) Khi ∆(R/I) = ∆(R)/I Chứng minh (1) suy từ định nghĩa ∆ (2) Nếu r ∈ ∆(R), v = + r ∈ U (R) v −1 = − rv −1 ∈ [ ∩ U (R), −rv −1 ∈ ∆(R), Bổ đề ∆(R) [ = ∆(R), nghĩa ∆ Hệ Cho R vành có đơn vị, ∆(∆(R)) tốn tử đóng Hệ ∆(R) ∩ Z(R) ⊆ ∆(Z(R)) Hệ Cho R vành (1) ∆(Tn (R)) = Dn (∆(R)) + Jn (R); (2) ∆(R[x]/(xn )) = ∆(R)[x]/(xn ); (3) ∆(R[[x]]) = ∆(R)[[x]] Hệ Cho R vành, ∆(R) = J(R) ∆(R/J(R)) = Định lý ∆(R) = J(R) R thỏa mãn điều kiện sau (1) R/J(R) đẳng cấu với phép nhân vành ma trận division rings (2) R vành nửa địa phương (3) R clear ring thỏa ∈ U (R) (4) R U J -vành, nghĩa U (R) = + J(R) (5) R có stable range (6) R = F G nhóm đại số trường F Bổ đề Giả sử G nhóm R Khi G đóng với phép nhân phần tử khả nghịch đóng với phép nhân phần tử quasi-invertible R Định lý Giả sử R vành có đơn vị G nhóm phép cộng R Khi điều kiện sau tương đương (1) G = ∆(R) (2) R vành Jacobson lớn đóng với phép nhân phần tử quasi-invertible R (3) G nhóm lớn R phép cộng bao gồm phần tử quasi-invertible đóng với phép nhân phần tử quasi-invertible R 2.2 Mở rộng toán tử ∆ cho vành khơng có đơn vị Bổ đề Cho R vành khơng thiết phải có đơn vị, ta có ∆◦ (R) = ∆◦ (R1 ) = ∆(R1 ) Mệnh đề Cho R vành bất kỳ, ta có điều sau (1) Cho e2 = e thỏa mãn e∆(R)e ⊆ ∆(R) Khi e∆(R)e ⊆ ∆(eRe) (2) ∆(R) không chứa phần tử lũy đẳng khác không (3) ∆(R) không chứa phần tử unit regular khác không Hệ Cho R vành có unit regular, ∆(R) = Hệ Giả sử ∈ U (R) Khi e∆(R)e ⊆ ∆(eRe) với e phần tử lũy đẳng R Mệnh đề Giả sử R vành 2-primal Khi ∆(R[x]) = ∆(R)+J(R[x]) Định lý tồn cho hệ thống tuyến tính Định lý (Định lý tồn cho hệ thống tuyến tính) Cho I đoạn thực giả sử A ∈ C(I, Mn (F)), B ∈ C(I, F n ) Cho τ ∈ I, ξ ∈ F n tồn giải pháp X (IV P) đoạn I Chứng minh Cho t ∈ I , giả sử J = [c; d] đoạn bị chặn I cho τ, π ∈ J , Bởi định lý 7.3 tồn hàm Xj khác biệt đoạn [a, b] cho XJt (s) = A(s)XJ (s) + B(s), XJ (τ ) = ξ, s∈J Định nghĩa X(t) = Xj(t) Nếu ta chọn J1 = [c1 , c2 ] ⊂ I cho τ, t ∈ J1 , J1 ∩ J đoạn bị chặn chứa τ, t kết áp dụng cho đoạn cho thấy XJ1 (s) = XJ (s), s ∈ J1 ∩ J Đặc biệt, XJ1 (t) = XJ (t) Để định nghĩa X(t) không phụ thuộc vào J chọn Vì X có tính khả vi [a, b] thỏa mãn X ′ (t) = A(t)X(t) + B(t), X(τ ) = ξ, t∈I Nó giải pháp (IV P) đoạn I Nó nhất, Y mơt giải pháp I t thuộc I có đoạn nhỏ J chứa τ, t kết cho J ngụ ý X(t) = Y (t) Trước tiếp tục phát triển lý thuyết, xem xét ví dụ khác Xét toán với n = : x′ = 3t2 x, x(0) = 1, t∈R Phương trình tích phân tương ứng Z t 3s2 x(s)ds = (T x)(t), x(t) = + t ∈ R Nếu x0 (t) = 1, t Z 3s2 xm (s)ds, xm+1 (t) = + m = 0, 1, Do Z x1 (t) = + t 3s2 ds = + t3 , t Z 3s2 [1 + s3 ]ds = + t3 + t6 /2, x2 (t) = + Z x3 (t)1 + t 3s2 [1 + s3 + s6 /2]ds = + t3 + t6 /2 + t9 /6, Và quy nạp cho thấy xm = + t3 + (t3 )2 (t3 )3 (t3 )m + + ··· + 3! m! Chúng ta nhận xm (i) môt tổng riêng cho việc triển khai dãy số hàm x(t) = et Dãy số hội tụ đến x(t) cho t thuộc R, hàm x(t) kết vấn đề Nhìn lại phương pháp chứng minh định lý 7.3, khơng khó để nhận thấy lựa chọn hàm liên tục ban đầu X0 (t) dần đến giải pháp X(t) Thực sự, bất đẳng thức áp dụng Z t |Xm+1 (t) − Xm | ≤ ∥A∥∞ |Xm (s) − Xm−1 (s)|ds, m ≥ 1, t ∈ I τ Sự khác biệt phát sinh khác biệt ban đầu Xi (t) − X0 (t) Ước lượng thu từ lập luận quy nạp sau trở thành h im |Xm+1 (t) − Xm | ≤ ∥X1 − X0 ∥∞ ∥A∥∞ [t − τ ] /m! Phần lại lập luận diễn trước đây, đưa giải pháp X(t) (7.2) Nếu (IV P) xem xét đoạn I nào, ta ước lượng khoảng cách Xm (t) X(t) đoạn nhỏ J = [a, b] nằm I chứa τ Với k > m ∥X − Xm ∥∞,J ≤ ∥X − Xk ∥∞,J + ∥Xk − Xm ∥∞,J ≤ ∥X − Xk ∥∞,J + ∥(Xk − Xk−1 ) + (Xk−1 − Xk−2 ) + · · · + (Xm+1 − Xm )∥∞,J Và sử dụng bất đẳng thức tam giác lấy giới hạn (7.10) ngụ ý ∥X − Xm ∥∞,J ≤ ∞ X ∥Xk+1 − Xk ∥∞,J , (7.11) k=m ≤ ∥X1 − X0 ∥∞,J ∞ h X ∥A∥∞,J [b − τ ] im /m! k=m Tất nhiên, chuỗi cuối lại phần lại chuỗi cho hàm mũ (∥A∥∞,J [b − τ ]) Do (7.11) ngụ ý Xm → X định mức tối đa J Chúng tơi tóm tắt định lý sau Định lý (Định nghĩa xấp xỉ liên tiếp bởi) Z t Xm+1 (t) = ξ + [A(s)Xm (s) + B(s)]ds, t∈I τ Tại X0 ∈ C(I, F n ) tùy ý Nếu X(t) giải pháp (IV P) I , Xm → X đồng ∥X − Xm ∥∞,J → 0, k→∞ Trên đoạn nhỏ J ⊂ I chứa τ Tính liên tục giải pháp Trở lại tình Định lý 7.3, [a, b] đoạn đóng, giải pháp X(t) toán giá trị ban đầu X ′ = A(t)X + B(t), X(τ ) = ξ, t ∈ I, IV P Rõ ràng phụ thuộc vào τ ∈ I, ξ ∈ F n , A ∈ C(I, Mn (F)) B ∈ C(I, F n ) Kết phần khẳng định t ∈ I Giá trị X(t) hàm liên tục biến Phân tích phụ thuộc bắt đầu ước lượng cho ∥X∥∞ điều suy cách sử dụng phương pháp chứng minh Định lý 7.3 Bắt đầu với việc xấp xỉ từ Z t X0 (t) = ξ + B(s)ds, τ Kết X(t) = lim Xk (t) k→∞ Sau đáp ứng ước lượng   k−1 X ∥X∥∞ = ∥ lim Xk ∥ = lim X0 (t) + (Xm+1 (t) − xm (t)) k→∞ k→∞ m=0 ≤ ∥X0 ∥ + ∞ X m=0 ∥Xm+1 − Xm ∥∞ ∞ 31 Do c(4) = Cho nên Pr(A4 , S4 ) = 2c(4) = 4! (iv) Với n = ta có phân hoạch (5), (3, 1, 1), (2, 2, 1), (1, 1, 1, 1, 1) Do c(5) = Cho nên Pr(A5 , S5 ) = 2c(5) = 5! 15 (v) Với n = ta có phân hoạch (5, 1), (4, 2), (3, 3), (3, 1, 1, 1), (2, 2, 1, 1), (1, 1, 1, 1, 1, 1) Do c(6) = Cho nên Pr(A6 , S6 ) = 2c(6) = 6! 60 (vi) Với n = ta có phân hoạch (7), (5, 1, 1), (4, 2, 1), (3, 3, 1), (3, 2, 2), (3, 1, 1, 1, 1), (2, 2, 1, 1, 1), (1, 1, 1, 1, 1, 1, 1) Do c(7) = Cho nên Pr(A7 , S7 ) = 2c(7) = 7! 315 Không gian hàm liên tục C0 (Ω) Định nghĩa (i) Cho tập A ⊂ Rn , C0 (A) := {f : A → R, f liên tục x ∈ A} (ii) Cho K ⊂ Rn tập compact cho f ∈ C0 (K) Ta ký hiệu ∥f ∥∞ số thực không âm xác định ∥f ∥∞ = ∥f ∥∞,K = sup |f (x)| x∈K ∥.∥∞ gọi chuẩn (hay chuẩn vô cùng) 32 Định lý 16 Cho Ω ⊂ Rn tập mở bị chặn Khi (C0 (Ω), ∥.∥∞ ) không gian Banach vô hạn chiều Chứng minh Ta giới hạn n = Ω = (a, b) ta phải chứng minh (C0 (Ω), ∥.∥∞ ) không gian định chuẩn vô hạn chiều R Ta chứng minh khơng gian Banach Nghĩa phải dãy Cauchy (fh )h ⊂ (C0 (Ω), ∥.∥∞ ) hội tụ (tại phần tử thuộc không gian) Giả sử (fh )h dãy Cauchy, theo định nghĩa ta có, ∀ϵ > 0, ∃k ∈ N cho ∥fh − fk ∥∞ = sup |fh (x) − fk (x)| < ϵ ∀h, k ≥ k x∈Ω Điều có nghĩa ∀ϵ > 0, ∃k ∈ N cho |fh (x) − fk (x)| < ϵ ∀h, k ≥ k, ∀x ∈ Ω (20) Từ (39), (fh (x))h ⊂ R dãy Cauchy Do dó: ∃f (x) := lim fh (x), h→∞ ∀x ∈ Ω (21) Từ (40), lấy qua giới hạn (39), cho k → ∞ ta ∀ϵ > 0, ∃k ∈ N cho |fh (x) − f (x)| ≤ ϵ ∀h ≥ k, x ∈ Ω, theo định nghĩa fh → f Ω Do dó f ∈ C0 (Ω) Tính compact (C0 (Ω), ∥.∥∞ ) Bây tìm hiểu đặc trưng tập compact (C0 (Ω), ∥.∥∞ ) Đầu tiên ta nhớ lại số khái niệm kết quan trọng liên quan đến chủ đề compact không gian metric Định nghĩa Cho (X, d) không gian metric ký hiệu B(x, r) hình cầu mở X , tâm x bán kính r > với x ∈ X (i) Điểm x0 ∈ X gọi điểm giới hạn tập A ⊂ X A ∩ (B(x0 , r)\{x0 }) ̸= ∅, ∀r > (ii) Tập A ⊂ X gọi bị chặn tồn R0 > cho d(x, y) ≤ R0 với x, y ∈ A 33 (iii) Tập A ∩ X gọi bị chặn hoàn toàn với ϵ > 0, A phủ họ hữu hạn hình cầu B(x1 , ϵ), B(x2 , ϵ), , B(xN , ϵ), nghĩa A ⊂ ∪N i=1 B(xi , ϵ) (iv) Họ A ⊂ X gọi compact dãy dãy A có dãy hội tụ điểm thuộc A (v) Tập A ⊂ X gọi có tính chất Bolzano-Weierstrass (BW) tập vơ hạn A có điểm giới hạn thuộc A Nhận xét Dễ thấy tập bị chặn hoàn toàn tập bị chặn, điều ngược lại không không gian topo (X, τ ) tập hợp compact tập hợp compact dãy có tính chất (BW) Các tính chất khơng giữ trường hợp tổng quát Định lý 17 (Các tiên đề chuẩn tập compact không gian metric) Nếu A tập không gian metric (X, d), ta có điều sau tương đương: (i) A compact; (ii) A compact dãy; (iii) (A, d) đầy đủ bị chặn hoàn toàn; (iv) A có tính chất BW Nhận xét Nếu (X, d) đầy đủ, A ⊆ X đóng (A, d) đầy đủ Hệ 20 Cho A ⊂ Rn Khi đó: A compact ⇔ A đóng bị chặn Định lý 18 (Riesz) Cho (E, ∥.∥) không gian định chuẩn ta ký hiệu BE := {x ∈ E : ∥x∥ ≤ 1} Khi BE compact dimR E < ∞ Nhận xét Định lý 35 cho tập A bị chặn không gian định chuẩn vô hạn chiều (E, ∥.∥) không thiết phải bị chặn hồn tồn Ví dụ A = BE 34 Định nghĩa Cho A ⊂ Rn Một họ tập F ⊂ C0 (A) gọi tựa liên tục với ϵ > 0, ∃δ(ϵ) > cho f ∈ F, |f (x) − f (y)| < ϵ với x, y ∈ A thỏa |x − y| < δ Ta thêm tiên đề chuẩn tập compact (C0 (K), ∥.∥∞ ) K ⊂ Rn compact Định lý 19 (Arzelà - Ascoli) Cho K ⊂ Rn compact giả sử F ⊂ C0 (K) Khi F compact (C0 (K), ∥.∥∞ ) F là: (i) đóng (C0 (K), ∥.∥∞ ); (ii) bị chặn (C0 (K), ∥.∥∞ ); (iii) liên tục Hệ 21 Cho K ⊂ Rn compact cho F ⊂ C0 (K) Giả sử F bị chặn liên tục Khi F compact (C0 (K), ∥.∥∞ ) Cụ thể hệ cho ta kết đặc biệt sau Hệ 22 Cho fh : [a, b] → R, (h = 1, 2, ) dãy hàm liên tục Giả sử rằng: (i) ∃M > cho |f (x) ≤ M, ∀x ∈ [a, b], ∀h (ii) (fh )h liên tục đều, nghĩa là, ∀ϵ > 0, ∃δ(ϵ) > cho |fh (x) − fh (y)| < ϵ, ∀x, y ∈ [a, b] với |x − y| < δ, ∀h Khi ta có dãy (fhk )k hàm f ∈ C0 ([a, b]) thỏa mãn fhk → f [a, b] Định lý 20 Giả sử M > số cho trước F = {f ∈ C1 ([a, b]) : ∥.∥C1 ≤ M } Khi F tập compact tương đối (C0 ([a, b]), ∥.∥∞ ); Chứng minh định lý 42 Tính đầy đủ: Giả sử có (i), (ii) (iii) ta F compact Theo tính chất tập compact định lý 24 ta F compact dãy Vì dãy (fh )h ∈ F có dãy (fhk )k hội tụ hàm f ∈ F , nghĩa là, ∥fhk − f ∥∞ → k → ∞ 35 Nhớ K compact tách Giả sử D := {xi : i ∈ N} đếm trù mật K F bị chặn nghĩa tồn M1 > thỏa mãn ∥f − g∥∞ ≤ M1 , ∀f, g ∈ F Cụ thể ta thay f0 ∈ F , đó: ∥f0 − fh ∥∞ ≤ M1 , ∀h ∈ N Hơn ∥fh ∥∞ = ∥(fh − f0 ) + f0 ∥∞ ≤ ∥fh − f0 ∥∞ + ∥f0 ∥∞ ≤ M1 + ∥f0 ∥∞ := M2 Do ta có số M2 > thỏa mãn |fh (x)| ≤ M2 , ∀x ∈ K, ∀h Bây ta xây dựng dãy hội tụ theo trình chéo Cantor Bước 1: (fh (x1 ))h dãy số thực [−M2 , M2 ] Suy dãy có dãy (fh(1) (x1 ))h hội tụ R; Bước 2: Xét dãy (fh(1) (x2 ))h ⊂ [−M2 , M2 ] Do dãy (fh(2) (x2 ))h hội tụ Chú ý dãy (fh(2) (x1 ))h hội tụ có dãy (fh(1) (x1 ))h hội tụ Tiếp tục trình ta Bước k: Một dãy (fh(k) )h (fh(k−1) )h thỏa mãn (fhk (xj ))h hội tụ với j = 1, k Ta có tình sau đây: Định nghĩa: gk := fkk : K → R Lưu ý rằng, i = 1, 2, , dãy (gk )k≥i dãy (fki )k≥i Cụ thể, dãy (gk )k dãy (fh )h theo cách xây dựng ∀x ∈ D (22) (gk )k hội tụ (C0 (K), ∥.∥∞ ) (23) (gk (x))k hội tụ R Tiếp tục trình ta 36 Sử dụng giả thiết F liên tục đều, tức ∀ϵ > 0, ∃δ(ϵ) > : x, y ∈ K |x−y| < δ ⇒ |f (x)−f (y)| < ϵ, ∀f ∈ F (24) Với ϵ > thay đổi tùy ý, δ thay đổi Bởi K bị chặn hồn tồn, σ > có họ hữu hạn hình cầu B(x1 , σ), , B(xN , σ) Rn thỏa mãn N = N (σ), xi ∈ K với i = 1, , N n [ K⊂ B(xi , σ) i=1 Do tính trù mật D K , tồn yi ∈ D ∩ B(xi , σ) với i = 1, , N Cụ thể n \ K⊂ B(yi , 2σ) i=1 Vì ta chọn σ = δ/2 Khi tồn N = N (σ) = N (δ) = N (ϵ) D′ := {y1 , , yn } ⊂ D thỏa mãn K⊂ N [ B(yi , δ) (25) i=1 Từ (41) dãy (gk (y1 ))k , , (gk (yN ))k , ¯ hội tụ, có số nguyên k¯ = k(ϵ) với |gk (yi ) − gr (yi )|, ϵ ¯ ∀i = 1, , N ∀k, r > k, Theo (44) (43) ∀x ∈ K, ∃yi ∈ D′ thỏa |x − yi | < δ ⇒ |gk (x) − gk (yi )| < ϵ, ∀k ∈ N Từ ta có |gk (x)−gr (x)| ≤ |gk (x)−gk (yi )|+|gk (yi )−gr (yi )|+|gr (yi )−gr (x)| ≤ ϵ+ϵ+ϵ = 3ϵ ∀x ∈ K ¯ với k, r ≥ k¯ Điều có nghĩa ϵ > tồn k¯ = k(ϵ) thỏa ∥gk − gr ∥∞ ≤ 3ϵ ¯ ∀k, r > k 37 Nghĩa (gk )k dãy Cauchy (C0 (K), ∥.∥∞ ) Từ (C0 (K), ∥.∥∞ ) đầy đủ F đóng, suy tồn f ∈ F thỏa mãn lim ∥gk − f ∥∞ = k→∞ Từ (gk )k dãy dãy (fh )h , phải F compact dãy Sự cần thiết: Cần rằng, F compact (C0 (K), ∥.∥∞ ) ta có (i), (ii) (iii) Giả sử F compact không gian metric (C0 (K), ∥.∥∞ ), đó, theo tính chất tập compact không gian metric, F đóng bị chặn hồn tồn bị chặn Chỉ F liên tục đều, nghĩa ta phải chứng minh (43) Theo phản chứng, giả sử ∃ϵ0 > : ∀ > 0, ∃fδ ∈ F, xδ , yδ ∈ K với |xδ −yδ | < δ |fδ (xδ )−fδ (yδ )| ≥ ϵ0 Chọn δ = 1/h ký hiệu fh := f1/h , xh := x1/h yh := y1/h Khi ta xây dựng ba dãy (fh )h ⊂ F, (xh )h , (yh )h ⊂ K |xh − yh | < 1/h, |fh (xh ) − f (yh )| ≥ ϵ > 0, ∀h (26) Từ F K compact, tồn ba dãy (fh )h ⊂ F, (xh )h , (yh )h ⊂ K thỏa mãn lim xh = lim yh = z ∈ K fh → f ∈ F K h→∞ h→∞ Khi tồn lim fh (xh lim fh (yh ) = f (z) h→∞ h→∞ Lấy qua giới hạn (45) ta có mâu thuẫn Do đó, ta có điều phải chứng minh 10 Không gian hữu hạn chiều Định nghĩa (i) Một không gian vector E trường số thực gọi hữu hạn chiều bao gồm hữu hạn vector độc lập tuyến tính (ii) Số lớn vector độc lập tuyến tính khơng gian vector hữu hạn chiều E gọi chiều ký hiệu dimR E Hệ 38 B ⊂ E sinh dimR E vector độc lập tuyến tính gọi sở Định lý 21 Giả sử E không gian vector hữu hạn chiều dimR E = n (i) Nếu B ⊂ E sở, B sinh E , cụ thể spanR B = E (ii) E Rn đẳng cấu tuyến tính (iii) Giả sử ∥.∥1 ∥.∥2 hai chuẩn E Khi (E, ∥.∥1 ) (E, ∥.∥2 ) đẳng cấu topo (iv) Giả sử ∥.∥ chuẩn E Khi (E, ∥.∥) (E ′ , ∥.∥E ′ ) đẳng cấu topo Theo tập trước, không gian định chuẩn hữu hạn chiều (E, ∥.∥) đẳng cấu topo với không gian Hilbert Rn Đây đặc trưng mạnh, khơng cịn cho khơng gian định chuẩn vô hạn chiều 11 ĐỊNH LÝ LAGRANGE Định lý 22 (Định lý Lagrange) Giả sử hàm số f liên tục đoạn [a, b], khả vi khoảng (a, b) Khi tồn c ∈ (a, b) cho: f ′ (c) = f (b) − f (a) b−a Chứng minh Xét hàm số   f (b) − f (a) g(x) = f (x) − (x − a) + f (a) b−a Do hàm số f (x) x − a liên tục đoạn [a, b], khả vi khoảng (a, b) nên hàm số g(x) liên tục đoạn [a, b] khả vi khoảng (a, b) Mặt khác g(a) = g(b) = Theo định lý Rolle, tồn c ∈ (a, b) cho g ′ (c) = Nhưng ta có g ′ (x) = f ′ (x) − f (b) − f (a) b−a 39 Suy f ′ (c) = f (b) − f (a) b−a Ta có điều phải chứng minh Ý nghĩa hình học định lý Lagrange Cho C đường cong trơn với hai đầu mút A, B Khi C tồn điểm mà tiếp tuyến C điểm song song với AB Nhận xét 10 Thơng qua cách chứng minh định lý Lagrange hệ định lý Rolle Tuy nhiên định lý Rolle lại trường hợp riêng định lý Lagrange giá trị hai đầu mút (tức f (a) = f (b)) Sau ta trình bày cơng thức Lagrange dạng khác Giả sử ξ ∈ (a, b) Đặt θ = ξ−a Khi đó: b−a ξ = a + θ(b − a) 0 h Do đó, theo định lý ?? (i), (ii), gh ∈ C∞ h > h |gh (x)| ≤ ∥g∥L∞ (Rn ) = 1, ∀x ∈ Rn , ∀h ∈ N (32) c Từ (∗) ta Z f gh dx = 0, ∀h ≤ h Ω Mặt khác, từ định lý ?? (iv) (30), ta giả sử, dãy tăng, gh → g hầu khắp nơi Rn Do đó, Z Z Z f gh dx → = 0= Ω |f |dx f g dx = Ω K