Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống
1
/ 114 trang
THÔNG TIN TÀI LIỆU
Thông tin cơ bản
Định dạng
Số trang
114
Dung lượng
617,87 KB
Nội dung
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC: ỨNG DỤNG CỦA LÝ THUYẾT NHĨM TRONG MỘT SỐ BÀI TỐN SƠ CẤP 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 Lý thuyết dao động nghiệm hệ phương trình vi phân có đối số lệch nghiên cứu rầm rộ năm 80 trở lại Càng ngày người ta thấy có nhiều ứng dụng thực tế Đặc biệt lĩnh vực: Vật lý, Sinh học, Sinh lý học, Sinh thái học Đóng góp nhiều cho lĩnh vực phải kể đến Gyori, Ferreira, Arino, Gopalsamy Ladas Các tác giả nghiên cứu dao động nghiệm hệ phương trình vi phân có đối số lệch theo hướng hệ phương trình vi phân có đối số lệch tuyến tính sở phương trình đặc trưng Từ với hệ phương trình cụ thể thực tế xét dựa vào hệ phương trình tuyến tính hóa (linearized equation) 308 2 Xấp xỉ tích chập Lp Ta thấy rằng, cho f ∈ Lp (Ω) với ≤ p < ∞, tồn (fh )h ⊂ C0c (Ω) cho fh → f Lp (Ω) Ta chứng minh tính xấp xỉ này, tìm kiếm xấp xỉ theo hàm quy Chính xác Câu hỏi: (i) Có tồn (fh )h ⊂ C1c cho fh → f Lp (Ω)? (ii) Có thể xây dựng cách rõ ràng xấp xỉ thứ h hàm fh cho f ∈ Lp (Ω)? Câu trả lời cho câu hỏi thứ hai có ý nghĩa xấp xỉ số Định nghĩa (Friedrichs’ mollifiers) Một dãy mollifiers dãy hàm ϱh : Rn → R, (h = 1, 2, ) cho, với h, ϱ ∈ C∞ (Rn ); (M o1) spt(ϱh ) ⊂ B(0, 1/h); Z ϱh dx = 1; (M o2) (M o3) Rn ϱh (x) ≥ 0, ∀x ∈ Rn (M o4) Ví dụ mollifiers: Khá đơn giản để xây dựng dãy mollifiers, hàm không biến ϱ : Rn → R thỏa mãn n ϱ ∈ C∞ c (R ), spt(ϱ) ⊂ B(0, 1), ϱ ≥ Ví dụ, cho ϱ(x) := exp |x| − |x| < |x| ≥ n Khi dễ thấy ϱ ∈ C∞ c (R ) Hơn nữa, ta có dãy mollifiers định nghĩa ϱh (x) := c hn ϱ(hx), x ∈ Rn , h ∈ N −1 Z c := ϱdx Rn Chú ý: Nếu A, B ⊂ Rn , A ± B ký hiệu tập A ± B := {a ± b : a ∈ A, b ∈ B} Bài tập Chứng minh (i) Nếu A compact B đóng, A + B đóng; (ii) A B compact A + B Mệnh đề (Định nghĩa tính chất mollifiers đầu tiên) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Định nghĩa, cho h ∈ N x ∈ Rn , Z ϱh (x − y)f (y)dy, ∀x ∈ Rn fh (x) := (ϱ ∗ f )(x) := Rn Khi (i) Hàm fh : Rn → R is well defined; (ii) fh (x) = (ϱh ∗ f )(x) = (f ∗ ϱh )(x) với x ∈ Rn h ∈ N; (iii) fh (x) ∈ C0 (Rn ) với h Hàm fh gọi mollifiers thứ h f Chứng minh Để đơn giản, ta ký hiệu ϱh ≡ ϱ (i) Theo (Mo2) (Mo4), spt(ϱ) ⊂ B(0, 1/h) Khi Z Z |f (y)ϱ(x − y)|dy = Rn |f (y)ϱ(x − y)|dy B(x,1/h) Z ≤ sup ϱ Rn |f (y)|dy < ∞ B(x,1/h) Do đó, ta thay đổi x ∈ Rn , hàm gx (y) := ϱ(x − y)f (y), y ∈ Rn khả tích Rn , xác định tích phân Z Z R∋ gx (y)dy = ϱ(x − y)f (y)dy = (ϱ ∗ f )f (x), ∀x ∈ Rn Rn Rn (ii) cách thay đổi biến Z (f ∗ ϱ)(x) = f (x − y)ϱ(y)dy (z=x=y) Z f (z)ϱ(x − z)dz = (ϱ ∗ f )(x) = Rn Rn (iii) Cho x ∈ Rn xr → x, ta chứng minh (ϱ ∗ f )(xr ) → (ϱ ∗ f )(x) (1) Chú ý Z (ϱ ∗ f )(xr ) − (ϱ ∗ f )(x) = (ϱ(xr − y) − ϱ(x − y))f (y)dy, ∀r ∈ N (2) Rn Từ dãy (xr )r bị chặn Rn , tồn tập compact K ⊂ Rn thỏa mãn B(xr , 1/h) = xr − B(0, 1/h) ⊂ K, B(x, 1/h) ∈ K, ∀r ∈ N Đặc biệt ϱ(xr − y) − ϱ(x − y) = 0, ∀y ∈ / K, ∀r ∈ N (3) Bởi vì, ϱ ∈ Lip(Rn ), theo (28), tồn L > thỏa |ϱ(xr − y) − ϱ(x − y)| ≤ LχK (y)|xr − x|, ∀y ∈ Rn , ∀r ∈ N Vì ta |ϱ(xr − y)ϱ(x − y)||f (y)| ≤ LχK (y)|f (y)||xr − x|, ∀y ∈ Rn , ∀r ∈ N (4) Từ (27), (28) định lý tính hội tụ bị trội, theo (26) Nhận xét Ký hiệu ∗ tích chập hai hàm không gian Rn Lưu ý, kết mệnh đề 56 giữ f ∈ L1loc (Rn ) ϱ ≡ ϱh ∈ C0 (Rn ) thỏa (Mo2) Trên thực tế, xác định tích chập hai hàm g ∈ Lp (Rn ) với ≤ p ≤ ∞ f ∈ L1 (Rn ) Z (g ∗ f )(x) := g(x − y)f (y)dy Rn giữ (g ∗ f ) ∈ Lp (Rn ) ∥g ∗ f ∥Lp (Rn ) ≤ ∥g∥Lp (Rn ) ∥f ∥L1 (Rn ) Định lý (Friedrichs - Sobolev, Xấp xỉ theo tích chập Lp ) Cho f ∈ L1loc (Rn ) (ϱh )h dãy mollifiers Khi (i) f ∗ ϱh ∈ C ∞ (Rn ) với h ∈ N (ii) ∥f ∗ϱ∥Lp (Rn ) ≤ ∥f ∥Lp (Rn ) với h ∈ N, f ∈ Lp (Rn ) với p ∈ [1, ∞] (iii) spt(f ∗ ϱ) ⊂ spte (f ) + B(0, 1/h) với h ∈ N (iv) Nếu f ∈ Lp (Rn ) với ≤ p ≤ ∞, f ∗ ϱh ∈ C ∞ (Rn ) ∩ Lp (Rn ) với h ∈ N, f ∗ ϱh → f h → ∞, Lp (Rn ), biết ≤ p < ∞ Kết cho ta hai kết quan trọng Định lý (Bổ đề tính toán biến) Cho Ω ⊂ Rn tập mở cho f ∈ L1loc (Ω) Giả sử Z f φdx = 0, ∀φ ∈ Cc∞ (Ω) (∗) Ω Khi f = hầu khắp nơi Ω Chứng minh Chứng minh điều kiện đủ Z |f |dx = với tập compact K ∈ Ω K Thật vậy, theo (30), suy f = hầu khắp nơi K, với tập compact K ∈ Ω Ta có kết luận Ta chứng minh (30) Cho tập compact K ∈ Ω, định nghĩa g : Rn → R f (x) x ∈ K, f (x) ̸= g(x) := |f (x)| ngược lại Khi g ∈ L1 (Rn ) spte (g) ⊆ K ⊂ Ω Cho gh := g ∗ ϱh Theo định lý 34 (iii), tồn h = h(K) ∈ N cho spt(g ∗ ϱh ) ⊆ spte (g) + B(0, 1/h) ⊆ K + B(0, 1/h) ⊂ Ω (5) với h > h Do đó, theo định lý ?? (i), (ii), gh ∈ C∞ h > h |gh (x)| ≤ ∥g∥L∞ (Rn ) = 1, ∀x ∈ Rn , ∀h ∈ N (6) c Từ (∗) ta Z f gh dx = 0, ∀h ≤ h Ω Mặt khác, từ định lý 34 (iv) (??), 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 Định lý (Xấp xỉ theo hàm C∞ Lp ) Cho Ω ⊂ Rn tập mở p Khi C∞ c (Ω) trù mật L (Ω), ∥.∥Lp , biết ≤ p < ∞ Chứng minh Cho f ∈ Lp (Ω), định nghĩa fe : Rn → R ( f (x) x ∈ Ω fe(x) := x ∈ Rn \ Ω Chú ý fe ∈ Lp (Rn ) Cho (Ωh )h dãy tăng tập mở bị chặn cho Ω = ∪∞ h=1 Ωh , Ωh ⊂ Ωh ⊂ Ωh+1 , ∀h, định nghĩa gh (x) := χΩh (x)fe(x) fh,r (x) := (ϱr ∗ gh )(x) x ∈ Rn , h, r ∈ N Theo định lý 34 (iii) suy spt(fh,r ) ⊂ B(0, 1/r) + Ωh ⊂ Ω (7) Hơn nữa, cho h ∈ N, tồn rh = r(h) ∈ N cho rh ≥ h B(0, 1/rh ) + Ωh ⊂ Ω Định nghĩa fh (x) := (ϱrh ∗ gh )(x), x ∈ Rn , h ∈ N, (8) để đơn giản, giả sử rh = h Khi đó, theo định lý 34 (i), (ii) (32), (33), fh ∈ C∞ c (Ω) ∥fh − f ∥Lp (Ω) = ∥fh − fe∥Lp (Rn ) ≤ ∥ϱh ∗ gh − ϱh ∗ fe∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp Rn = ∥ϱh ∗ (gh − fe)∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp (Rn ) (9) ≤ ∥gh − fe∥Lp (Rn ) + ∥ϱh ∗ fe − fe∥Lp (Rn ) , ∀h Từ định lý 34 (iv), ϱh ∗ fe → fe Lp (Rn ), theo định lý hội tụ miền gh → fe Lp (Rn ) Khi theo (34), ta có điều phải chứng minh Các khái niệm Định nghĩa Cho tập hợp R khác rỗng, R ta trang bị hai phép toán mà ta gọi phép cộng phép nhân thỏa mãn: R nhóm aben với phép tốn cộng, R nửa nhóm với phép tốn nhân phép toán nhân phân phối với phép toán cộng, nghĩa x(y + z) = xy + xz, (x + y)z = zx + yz, với x, y, z ∈ R Phần tử trung hòa phép cộng ký hiệu (thường gọi phần tử khơng) Phần tử đơn vị phép nhân có ký hiệu Nếu vành có nhiều phần tử có đơn vị ̸= Định nghĩa Tập A vành R gọi vành R A vành hai phép toán cộng nhân R (bao gồm tính đóng hai phép tốn A) Định nghĩa Iđêan trái (phải) vành R vành A thỏa mãn điều kiện ∈ A(ar ∈ A), a ∈ A, r ∈ R Vành I R vừa iđêan trái, vừa iđêan phải gọi iđêan vành R Cho I iđêan vành R, ta ký hiệu R/I =: {r + I|r ∈ R} gọi tập thương R theo I Trên tập thương R/I ta xây dựng hai phép toán (x + I) + (y + I) = (x + y) + I, (x + I)(y + I) = (xy) + I, với x, y ∈ R Định nghĩa Tập thương R/I với hai phép toán xác định lập thành vành gọi vành thương R theo I Định nghĩa Cho R vành có đơn vị 1R Một R-môđun phải M bao gồm (M, +) nhóm aben tốn tử · : M × R → M thỏa mãn (1) (x + y) · r = x · r + y · r, (2) x · (r + s) = x · r + x · s, (3) (xr) · s = x · (rs), (4) x · 1R = x, r, s ∈ R x, y phần tử tùy ý M Lúc R gọi vành sở, M R-môđun phải ta thường ký hiệu MR Tương tự ta đinh nghĩa R-môđun trái Cho R, S hai vành Nhóm aben (M, +) song môđun R-bên phải S -bên trái (ký hiệu S MR ) a) M R-môđun phải M S -mơđun trái b) Ta phải có (sx)r = s(xr), (r ∈ R, s ∈ S, x ∈ M ) Định nghĩa Cho M R-môđun phải Tập A M gọi môđun M (ký hiệu A ≤ M hay AR ≤ MR ), A R-mơđun phải với phép tốn cộng nhân hạn chế A 50 Từ C0c (Rn ) trù mật (Lp (Rn ), ∥.∥Lp ), với ≤ p < ∞, với ϵ > tồn f1 ∈ C0c (Rn ) cho ∥f − f1 ∥Lp ()Rn 0, h→∞ ta (10) 15 Khơng gian hàm p-khả tích Lp (Ω) Ta nhớ lại không gian hàm p-khả tích độ đo Lebesgue n chiều Định nghĩa 23 Cho A ⊂ Rn tập đo Lebesgue p ∈ [1, ∞], Lp (A) := {f : A → R : f đo Lebesgue ∥f ∥Lp < +∞} 51 ∥f ∥Lp Z 1/p p |f (x)| dx = ∥f ∥Lp (A) := A ≤ p ≤ ∞ inf{M > : |f (x)| ≤ M, x ∈ A} p = ∞ Số ∥f ∥Lp gọi chuẩn Lp f A Định lý 32 (Fisher - Riesz) (Lp (A), ∥.∥Lp ) không gian Banach ≤ p ≤ ∞ Hơn L2 (A) khơng gian Hilbert với tích vơ hướng Z (f, g)L2 := f g dx f, g ∈ L2 (A) A Theo kết định lý Riesz - Fisher ta thu kết hữu ích Định lý 33 Cho Ω ⊂ Rn tập mở, (fh )h ⊂ Lp (Ω) f ∈ Lp (Ω) với ≤ p ≤ ∞ Giả sử lim ∥fh − f ∥Lp (Ω) = h→∞ Khi đó, tồn dãy (fhk )k hàm g ∈ Lp (Ω) thỏa mãn (i) fhk (x) → f (x) hầu khắp nơi x ∈ Ω (ii) |fhk (x)| ≤ g(x) hầu khắp nơi x ∈ Ω, ∀k Nhận xét 16 Nó khơng cịn giữ ý nghĩa (MC) ⇒ fh (x) → f (x) hầu khắp nơi x ∈ Ω Nhận xét 17 Chú ý C0 ⊂ Lp (Ω) với p ∈ [1, ∞], với Ω ⊂ Rn tập mở bị chặn, khơng quan hệ bao hàm khơng giữ giữ quan hệ bao hàm C0c (Ω) ⊂ Lp (Ω) với p ∈ [1, ∞] tập mở Ω, C0c (Ω) := {f ∈ C0 (Ω) : spt(f ) compact chứa Ω} spt(f ) := Bao đóng{x ∈ Ω : f (x) ̸= 0} Hơn nhớ lại C0 (Ω, ∥.∥L2 ) khơng gian tuyến tính định chuẩn, không gian Banach 52 Tính compact (Lp (Ω), ∥.∥Lp ) Trong mục thảo luận kết compact không gian Lp Chúng ta nêu kết không chứng minh Cho f : Rn → R v ∈ Rn , ta định nghĩa τv f : Rn → R hàm v -dịch chuyển f định nghĩa (τv f )(x) := f (x + v) Định lý 34 (M.Riesz - Fréchét - Kolmogorov) Cho F tập bị chặn (Lp (Rn ), ∥.∥Lp ) với ≤ p < ∞ Giả sử lim ∥τv f − f ∥Lp = v→0 với f ∈ F , nghĩa ∀ϵ > 0, ∃δ(ϵ) > : ∥τv f − f ∥Lp < ϵ, ∀v ∈ Rn với |v| < δ, ∀f ∈ F (N EF ) Khi F|Ω := {f |Ω : f ∈ F} compact tương đối (Lp (Ω), ∥.∥Lp ), nghĩa bao đóng compact (Lp (Ω), ∥.∥Lp ), với tập mở Ω ⊂ Rn với độ đo Lebesgue hữu hạn Từ định lý ?? ta suy điều kiện compact (Lp (Ω), ∥.∥Lp ) Nếu f : Ω → R, ta ký hiệu fe : Rn → R hàm định nghĩa ( f (x) x ∈ Ω fe(x) := x ∈ /Ω Hệ 10 Cho Ω ⊂ Rn tập mở với độ đo hữu hạn, cho F ⊂ Lp (Ω) cho Fe := {fe : f ∈ F} Giả sử (i) F bị chặn (Lp (Ω), ∥.∥Lp ) với ≤ p < ∞; (ii) lim ∥τv f − f ∥Lp = với f ∈ F , nghĩa Fe thỏa mãn (ENF ) v→0 Khi F compact tương đối (Lp (Ω), ∥.∥Lp ) Chứng minh Từ định lý ??, Fe tập compact tương đối Lưu ý Fe compact dãy tương đối (Lp (Rn ), ∥.∥Lp ) F compact dãy tương đối (Lp (Ω), ∥.∥Lp ) Do đặc tính tập compact khơng gian metric (Định lý ??) có điều phải chứng minh 53 Cuối cùng, nhớ lại đặc tính compact (Lp (Rn ), ∥.∥Lp ) Định lý 35 Cho F ⊂ Lp (Rn ) với ≤ p < ∞ Khi F compact tương đối (Lp (Rn ), ∥.∥Lp ) (i) F bị chặn (Lp (Rn ), ∥.∥Lp ); (ii) với ϵ > 0, tồn rϵ > thỏa mãn ∥f ∥Lp (Rn \B(0,rϵ )) < ϵ ∀f ∈ F; (iii) lim ∥τv f − f ∥Lp = f ∈ F v→∞ Nhận xét 18 (i) Giả thiết (ENF ) cần thiết định lý ?? Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa ≤ x ≤ h fh (x) := h 0 ngược lại Ω := (0, 1) Khi dễ thấy ∥f ∥L1 R = với h ∈ N F|Ω không compact tương đối (L1 (Ω), ∥.∥L1 ), khơng có dãy (fh )h hội tụ L1 (Ω) Mặt khác, v > 0, với h > 1/v Z Z v ∥τv fh − fh ∥L1 (R) ≥ fh (x + v) dx = −∞ fh (x) = Do đó, (ENF ) khơng cịn cho F (ii) Nếu Ω khơng có độ đo hữu hạn, kết định lý ?? khơng cịn Thật vậy, xét họ F := {fh : h ∈ N} fh : R → R định nghĩa fh (x) := f (x + h) f ∈ Lip(R) với spt(f ) = [−a, a], a > 0, f không triệt tiêu Khi ∥f ∥L1 (R) = ∥f ∥L1 (R) > ∀h (38) Hơn F thỏa mãn (ENF ), |τv f − f (x)| = |f (x + v)f (x)| ≤ L|v|X [−a−1,a+1] (x) ∀x ∈ R, v ∈ [−1, 1] ∥τc fh − fh ∥L1 (R) = ∥τv f − f ∥L1 (R) ∀h 54 L := Lip(f ) Cho Ω := R quan sát F = F|Ω không compact tương đối (L1 (R), ∥.∥L1 ) Ngược lại mâu thuẫn nảy sinh (??), từ fh (x) → với x ∈ R Tính tách (Lp (Ω), ∥.∥Lp ) Nhận xét 19 Cho Ω ⊂ tập bị chặn, quan hệ bao hàm C0 (Ω) ⊂ L∞ (Ω) chặt Hơn nữa, với f ∈ C0 (Ω) ∥f ∥∞,Ω = ∥f ∥L∞ (Ω) (∗) Thật ∥f ∥L∞ (Ω) := inf{M > : |f (x)| ≤ M, x ∈ Ω} ≤ sup |f (x)| := ∥f ∥∞,Ω x∈Ω Để chứng minh bất đẳng thức ngược lại, ta quan sát, N ⊂ Ω tập không đáng kể với mối quan hệ đến L, Ω \ N ⊇ Ω Vì thế, theo tính liên tục f , tồn M > cho |f (x)| < M, x ∈ Ω ⇒ |f (x)| ≤ M ∀x ∈ Ω Đặc biệt, từ (∗), C0 (Ω) hóa đóng (L∞ (Ω), ∥.∥L∞ (Ω) ) Khơng gian đối ngẫu Lp (Ω) Định lý 36 (Định lý biểu diễn Riesz) Cho ≤ p < ∞ ký hiệu p < p < ∞ ′ p := p − (số mũ của) p ∞ p = ′ Khi ánh xạ T : Lp (Ω) → (Lp (Ω))′ , định nghĩa Z uf dx, ∀f ∈ Lp (Ω), ⟨T (u), f ⟩(Lp (Ω))×Lp (Ω) := Ω đẳng cấu metric có đặc trưng xác định ′ Lp (Ω) ≡ (Lp (Ω))′ ≤ p < ∞ 55 Chứng minh Ta chia chứng minh thành ba bước Bước 1: Ta chứng minh T phép đẳng cự, nghĩa ′ ∥T (u)∥(Lp (Ω))′ = ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (39) Theo bất đẳng thức Holder, suy bất đẳng thức ′ ∥T (u)∥(Lp (Ω))′ ≤ ∥u∥Lp′ (Ω) , ∀u ∈ Lp (Ω) (40) Ta bất thức ngược lại Đầu tiên, giả sử < p < ∞, điều có nghĩa < p′ < ∞ Nếu ∥u∥Lp′ (Ω) = 0, đó, u = hầu khắp nơi Ω bất đẳng thức rõ ràng Giả sử < ∥u∥Lp′ (Ω) < ∞, ta cần giả sử < |u(x)| < ∞ hầu khắp nơi x ∈ Ω Định nghĩa ′ fu (x) := |u(x)|p −2 u(x) hầu khắp nơi x ∈ Ω Quan sát fn ∈ Lp (Ω), từ ′ 1/p−1 |fu (x)|p = |u(x)|p hầu khắp nơi x ∈ Ω ⇒ ∥fu ∥Lp (Ω) = ∥u∥Lp′ (Ω) Vì Z ⟨T (u), fu ⟩(Lp (Ω))×Lp (Ω) = Ω ′ ′ u|u|p −2 udx = ∥u∥pLp′ (Ω) (41) Từ (??) (??), suy ′ ∥u∥pLp′ (Ω) = ⟨T (u), fu ⟩(Lp (Ω))′ ×Lp (Ω) ≤ ∥T (u)∥(Lp (Ω))′ ∥fu ∥Lp (Ω) 1/p−1 = ∥T (u)∥(Lp (Ω))′ ∥u∥Lp′ (Ω) Điều có nghĩa ∥T (u)∥(Lp (Ω))′ ≥ ∥u∥Lp′ (Ω) ′ ∀u ∈ Lp (Ω) (42) Vì (??) (??) cho ta (??) Cuối cùng, cho trường hợp p = 1, p′ = ∞, giả sử < M < ∥u(x)∥L∞ (Ω) Khi tập hợp EM := {x ∈ Ω : |u(x)| > M } ∈ M |EM | > Từ không gian đo (Ω, Mn ∩ Ω, Ln ) σ−hữu hạn, tồn tập F ∈ Mn ∩ Ω cho < |EM ∩ F | < ∞ 56 Tập hợp fu (x) := sign(u(x))χEM ∩F (x) hầu khắp nơi x ∈ Ω |EM ∩ F | Khi Z ∥fu ∥L1 (Ω) = |fu (x)|dx = Ω ⟨T (u), fu ⟩(L1 (Ω))′ ×L1 (Ω) = |EM ∩ F | Z |u|dx ≥ M, ∀M ∈ (0, ∥u∥L∞ (Ω) ) (43b) EM ∩F Từ (??) (43b), suy M ≤ ⟨T (u), fu ⟩(L1 (Ω))′ ×L1 (Ω) ≤ ∥T (u)∥(L1 (Ω))′ ∥fu ∥L1 (Ω) = ∥T (u)∥(L1 (Ω))′ , ∀M ∈ (0, ∥u∥L∞ (Ω) ), Từ ∥T (u)∥(L1 (Ω))′ ≥ ∥u∥L∞ (Ω) , ∀u ∈ L∞ (Ω) (24b) Từ (??) (44b), đồng (??) p = Bước 2: Đầu tiên giả sử |Ω| < ∞ ta chứng minh T toàn ánh, ′ nghĩa ∀ϕ ∈ (Lp (Ω))′ , ∃u ∈ Lp (Ω) cho T (u) = ϕ ⇔ ⟨T (u), f ⟩(Lp (Ω))′ ×Lp (Ω) = ϕ(f ), ∀f ∈ Lp (Ω) Bởi |Ω| < ∞, χE ∈ Lp (Ω) với E ∈ M := Mn ∩ Ω, p ∈ [1, ∞) Định nghĩa tập hợp hàm ν : M → R ν(E) := ϕ(χE ), E ∈ M Chỉ ν σ -hữu hạn, độ đo có dấu; (43) ν ≪ Ln M (44) Thật |ν(E)| < ∞ với E ∈ M, ν σ -hữu hạn Giả sử (Eh )h ⊂ M dãy rời nhau, ta chưng minh ν(∪∞ h=1 Eh ) = 57 ∞ X ν(Eh ) Tập hợp E := ∪∞ h=1 Eh Với số nguyên m h=1 ! m m m